Trace number 372469

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)77 1800.02 1800.62

General information on the benchmark

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

Verifier Data (download as text)

OK	77

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node18/watcher-372469-1177099198 -o ROOT/results/node18/solver-372469-1177099198 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372469-1177099198/wildcat-skc /tmp/evaluation/372469-1177099198/instance-372469-1177099198.opb 976741361 

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: 1.00 1.00 1.00 3/77 16682
/proc/meminfo: memFree=1816152/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=5972 CPUtime=0
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 154 0 0 0 0 0 0 0 18 0 1 0 157837228 6115328 138 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 1493 138 105 226 0 1264 0

[startup+0.094625 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 16682
/proc/meminfo: memFree=1816152/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=8480 CPUtime=0.08
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 784 0 0 0 8 0 0 0 18 0 1 0 157837228 8683520 768 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2120 769 107 226 0 1891 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8480

[startup+0.101625 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 16682
/proc/meminfo: memFree=1816152/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=9140 CPUtime=0.09
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 928 0 0 0 9 0 0 0 18 0 1 0 157837228 9359360 912 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2285 913 107 226 0 2056 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9140

[startup+0.301645 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 16682
/proc/meminfo: memFree=1816152/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=10588 CPUtime=0.29
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 29 0 0 0 19 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134551213 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2647 1303 115 226 0 2418 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10588

[startup+0.701684 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 16682
/proc/meminfo: memFree=1816152/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=10588 CPUtime=0.69
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 69 0 0 0 23 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599046 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2647 1303 115 226 0 2418 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10588

[startup+1.50176 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16683
/proc/meminfo: memFree=1811472/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=10588 CPUtime=1.49
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 149 0 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2647 1303 115 226 0 2418 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10588

[startup+3.10292 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16683
/proc/meminfo: memFree=1811344/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=10588 CPUtime=3.09
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 309 0 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2647 1303 115 226 0 2418 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10588

[startup+6.30123 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16683
/proc/meminfo: memFree=1811216/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=10588 CPUtime=6.29
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 629 0 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2647 1303 115 226 0 2418 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10588

[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16683
/proc/meminfo: memFree=1811152/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=10588 CPUtime=12.68
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 1268 0 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2647 1303 115 226 0 2418 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 10588

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16683
/proc/meminfo: memFree=1811152/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=10588 CPUtime=25.48
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 2548 0 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2647 1303 115 226 0 2418 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 10588

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16683
/proc/meminfo: memFree=1811088/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=10588 CPUtime=51.08
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 5107 1 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2647 1303 115 226 0 2418 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 10588

[startup+102.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 16853
/proc/meminfo: memFree=1809616/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=10588 CPUtime=102.19
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 10218 1 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2647 1303 115 226 0 2418 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 10588

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16881
/proc/meminfo: memFree=1810896/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=10588 CPUtime=162.14
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 16213 1 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2647 1303 115 226 0 2418 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 10588

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16881
/proc/meminfo: memFree=1810896/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=10588 CPUtime=222.13
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 22211 2 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2647 1303 115 226 0 2418 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 10588

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16881
/proc/meminfo: memFree=1810896/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=10588 CPUtime=282.11
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 28209 2 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565719 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2647 1303 115 226 0 2418 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 10588

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16881
/proc/meminfo: memFree=1810896/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=10588 CPUtime=342.1
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 34207 3 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599037 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2647 1303 115 226 0 2418 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 10588

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16881
/proc/meminfo: memFree=1810896/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=10588 CPUtime=402.08
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 40205 3 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134516776 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2647 1303 115 226 0 2418 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 10588

[startup+462.301 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 16881
/proc/meminfo: memFree=1810832/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=10588 CPUtime=462.06
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 46203 3 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2647 1303 115 226 0 2418 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 10588

[startup+522.301 s]
/proc/loadavg: 1.08 1.03 1.00 2/78 16881
/proc/meminfo: memFree=1810832/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=10588 CPUtime=522.05
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 52201 4 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599063 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2647 1303 115 226 0 2418 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 10588

[startup+582.302 s]
/proc/loadavg: 1.13 1.05 1.01 2/78 16881
/proc/meminfo: memFree=1810832/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=10588 CPUtime=582.03
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 58199 4 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599009 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2647 1303 115 226 0 2418 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 10588

[startup+642.302 s]
/proc/loadavg: 1.15 1.07 1.01 2/78 16881
/proc/meminfo: memFree=1810960/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=10588 CPUtime=642.02
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 64197 5 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2647 1303 115 226 0 2418 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 10588


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

[startup+822.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/78 16881
/proc/meminfo: memFree=1810960/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=10588 CPUtime=821.96
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 82190 6 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2647 1303 115 226 0 2418 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 10588

[startup+882.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 16881
/proc/meminfo: memFree=1811024/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=10588 CPUtime=881.94
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 88188 6 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565722 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2647 1303 115 226 0 2418 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 10588

[startup+942.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 16881
/proc/meminfo: memFree=1810960/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=10588 CPUtime=941.93
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 94186 7 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134926093 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2647 1303 115 226 0 2418 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 10588

[startup+1002.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/78 16881
/proc/meminfo: memFree=1811024/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=10588 CPUtime=1001.91
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 100184 7 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598373 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2647 1303 115 226 0 2418 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 10588

[startup+1062.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 16881
/proc/meminfo: memFree=1811024/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=10588 CPUtime=1061.9
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 106182 8 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565949 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2647 1303 115 226 0 2418 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 10588

[startup+1122.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 16881
/proc/meminfo: memFree=1811024/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=10588 CPUtime=1121.88
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 112180 8 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599062 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2647 1303 115 226 0 2418 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 10588

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 16881
/proc/meminfo: memFree=1810960/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=10588 CPUtime=1181.86
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 118178 8 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565764 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2647 1303 115 226 0 2418 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 10588

[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 16881
/proc/meminfo: memFree=1810960/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=10588 CPUtime=1241.85
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 124176 9 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565764 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2647 1303 115 226 0 2418 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 10588

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16881
/proc/meminfo: memFree=1810960/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=10588 CPUtime=1301.83
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 130174 9 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599050 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2647 1303 115 226 0 2418 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 10588

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16881
/proc/meminfo: memFree=1811024/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=10588 CPUtime=1361.81
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 136171 10 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598410 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2647 1303 115 226 0 2418 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 10588

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16881
/proc/meminfo: memFree=1811024/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=10588 CPUtime=1421.8
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 142170 10 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599008 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2647 1303 115 226 0 2418 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 10588

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16881
/proc/meminfo: memFree=1811024/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=10588 CPUtime=1481.79
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 148168 11 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599013 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2647 1303 115 226 0 2418 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 10588

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16881
/proc/meminfo: memFree=1810960/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=10588 CPUtime=1541.76
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 154165 11 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598410 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2647 1303 115 226 0 2418 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 10588

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16881
/proc/meminfo: memFree=1811024/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=10588 CPUtime=1601.74
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 160163 11 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598368 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2647 1303 115 226 0 2418 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 10588

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16881
/proc/meminfo: memFree=1810960/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=10588 CPUtime=1661.73
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 166161 12 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134551202 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2647 1303 115 226 0 2418 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 10588

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16881
/proc/meminfo: memFree=1811024/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=10588 CPUtime=1721.71
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 172159 12 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598438 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2647 1303 115 226 0 2418 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 10588

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16881
/proc/meminfo: memFree=1810960/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=10588 CPUtime=1781.7
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 178157 13 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2647 1303 115 226 0 2418 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 10588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 16881
/proc/meminfo: memFree=1810896/2055920 swapFree=4147132/4192956
[pid=16682] ppid=16680 vsize=10588 CPUtime=1800
/proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 179987 13 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565808 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16682/statm: 2647 1303 115 226 0 2418 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 10588

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.62
CPU time (s): 1800.02
CPU user time (s): 1799.89
CPU system time (s): 0.133979
CPU usage (%): 99.9667
Max. virtual memory (cumulated for all children) (KiB): 10588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.133979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1320
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= 10
involuntary context switches= 1921

runsolver used 2.01669 second user time and 4.23536 second system time

The end

Launcher Data (download as text)

Begin job on node18 on Fri Apr 20 19:59:59 UTC 2007

IDJOB= 372469
IDBENCH= 24974
IDSOLVER= 162
FILE ID= node18/372469-1177099198

PBS_JOBID= 4640368

Free space on /tmp= 66482 MiB

SOLVER NAME= wildcat-skc 2007-03-21
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_004_area_delay.opb
COMMAND LINE= /tmp/evaluation/372469-1177099198/wildcat-skc /tmp/evaluation/372469-1177099198/instance-372469-1177099198.opb 976741361
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-372469-1177099198 -o ROOT/results/node18/solver-372469-1177099198 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/372469-1177099198/wildcat-skc /tmp/evaluation/372469-1177099198/instance-372469-1177099198.opb 976741361

META MD5SUM SOLVER= 05d21ee76b90579709a9929b8e99937a
MD5SUM BENCH=  45c2f7ac01d7ade9fbe465857931ee2b

RANDOM SEED= 976741361

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node18.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.234
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.234
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:       1816688 kB
Buffers:         47932 kB
Cached:          93364 kB
SwapCached:      14288 kB
Active:          99856 kB
Inactive:        82040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1816688 kB
SwapTotal:     4192956 kB
SwapFree:      4147132 kB
Dirty:            2820 kB
Writeback:           0 kB
Mapped:          29972 kB
Slab:            42876 kB
Committed_AS:  5326180 kB
PageTables:       1776 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= 66482 MiB

End job on node18 on Fri Apr 20 20:30:01 UTC 2007