Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 5110 | 1800.37 | 1783.55 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-aflow30a.opb |
MD5SUM | fd717ffc3177aa889b23f16defdc157a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3248 |
Best CPU time to get the best result obtained on this benchmark | 1782.76 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3248 |
Optimality of the best value was proved | NO |
Number of variables | 7195 |
Total number of constraints | 900 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 29 |
Number of constraints which are nor clauses,nor cardinality constraints | 871 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 555 |
Number of terms in the objective function | 421 |
Biggest coefficient in the objective function | 500 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 72290 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 102400 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 524691 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.15 c no version file found!!! 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.9-22.EL.rootsmp 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1651659224 0.08/0.15 c Max memory 1654456320 0.08/0.15 c Total memory 1654456320 0.08/0.15 c Number of processors 2 0.20/0.20 --- Begin Solver configuration --- 0.20/0.20 c Stops conflict analysis at the first Unique Implication Point 0.20/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.20/0.20 c Learn all clauses as in MiniSAT 0.20/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.20/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20/0.20 c No reason simplification 0.20/0.20 c --- End Solver configuration --- 0.20/0.20 c solving /tmp/evaluation/351508-1176603567/instance-351508-1176603567.opb 0.20/0.20 c reading problem ... 2.08/1.37 c ... done. Wall clock time 1.164s. 2.08/1.37 c CPU time (experimental) 0.73s. 2.08/1.37 c #vars 7195 2.08/1.37 c #constraints 958 394.78/390.67 c SATISFIABLE 394.78/390.67 c OPTIMIZING... 394.78/390.67 c Got one! Elapsed wall clock time (in seconds):390.468 394.78/390.68 o 5110 774.90/767.20 c cleaning 203818 clauses out of 407877 for limit 4.146662203954588E11 782.49/774.77 c cleaning 103739 clauses out of 207561 for limit 2.7085842749997765E-7 785.72/777.97 c cleaning 52895 clauses out of 105821 for limit 3.925593105149632E-6 793.12/785.25 c cleaning 29642 clauses out of 59427 for limit 0.004669327971225319 795.76/787.89 c cleaning 16092 clauses out of 32283 for limit 0.10463445382863469 798.92/790.99 c cleaning 9262 clauses out of 18696 for limit 2.2148886230748133 802.36/794.37 c cleaning 6369 clauses out of 12929 for limit 105.71930672217331 805.30/797.26 c cleaning 4178 clauses out of 8563 for limit 1184.1872513672345 849.82/841.34 c cleaning 21167 clauses out of 42382 for limit 0.07744774113342942 852.55/844.02 c cleaning 12074 clauses out of 24218 for limit 2.73458095712825 855.78/847.23 c cleaning 7775 clauses out of 15645 for limit 140.56565264973807 858.51/849.90 c cleaning 5894 clauses out of 11866 for limit 10098.56082965987 860.84/852.21 c cleaning 4683 clauses out of 9477 for limit 421557.3998573936 861.24/852.61 c cleaning 2609 clauses out of 5289 for limit 1239473.822275924 863.36/854.77 c cleaning 2802 clauses out of 5681 for limit 2.3235711228256397E7 863.76/855.11 c cleaning 1648 clauses out of 3378 for limit 6.437874254576226E7 865.88/857.28 c cleaning 2612 clauses out of 5230 for limit 1.379404553105507E9 866.28/857.66 c cleaning 1555 clauses out of 3119 for limit 3.818285234609651E9 868.19/859.58 c cleaning 2011 clauses out of 4063 for limit 3.571756500096143E10 868.59/859.94 c cleaning 1249 clauses out of 2552 for limit 9.37786298159442E10 868.99/860.31 c cleaning 847 clauses out of 1806 for limit 2.1919277224904285E11 871.11/862.48 c cleaning 1722 clauses out of 3459 for limit 1.395959596003595E12 871.41/862.74 c cleaning 1079 clauses out of 2235 for limit 3.55576250835558E12 873.33/864.70 c cleaning 2077 clauses out of 4160 for limit 3.8582495344225086E13 873.73/865.06 c cleaning 1243 clauses out of 2582 for limit 1.0241151253946395E14 875.55/866.89 c cleaning 1854 clauses out of 3836 for limit 8.383055077722419E14 875.94/867.25 c cleaning 1163 clauses out of 2481 for limit 2.1353817612341452E15 876.44/867.71 c cleaning 835 clauses out of 1820 for limit 4.81011894575096E15 920.03/910.94 c cleaning 17047 clauses out of 34483 for limit 9.11795758723045E8 1042.34/1032.05 c cleaning 45161 clauses out of 90436 for limit 1.8218841936283814 1048.30/1037.94 c cleaning 24082 clauses out of 48278 for limit 68.85757124694042 1051.63/1041.29 c cleaning 12794 clauses out of 25695 for limit 579.6762374287432 1055.35/1044.97 c cleaning 7383 clauses out of 14901 for limit 7393.366802545753 1057.98/1047.57 c cleaning 4424 clauses out of 9020 for limit 54889.31549239347 1058.58/1048.11 c cleaning 2469 clauses out of 5095 for limit 160092.70373772702 1061.71/1051.25 c cleaning 2478 clauses out of 5124 for limit 1937835.9926233324 1128.00/1116.95 c cleaning 25470 clauses out of 51145 for limit 2298843.911691066 1204.83/1193.07 c cleaning 41040 clauses out of 82175 for limit 5.075609323431448E10 1213.83/1201.93 c cleaning 24287 clauses out of 48635 for limit 1.556385887333389E-6 1216.35/1204.45 c cleaning 13914 clauses out of 27856 for limit 9.086879183509982E-5 1218.67/1206.75 c cleaning 8440 clauses out of 16939 for limit 0.0029969363981698525 1219.17/1207.26 c cleaning 4439 clauses out of 8994 for limit 0.009261807265328851 1224.32/1212.34 c cleaning 4761 clauses out of 9555 for limit 1.2971099810735292 1226.67/1214.66 c cleaning 4125 clauses out of 8294 for limit 49.5717979180435 1227.07/1215.06 c cleaning 2303 clauses out of 4670 for limit 145.33567092949505 1327.16/1314.25 c cleaning 40862 clauses out of 81867 for limit 2.899120445859578E-5 1330.58/1317.69 c cleaning 21484 clauses out of 43005 for limit 4.0820632612773846E-4 1333.21/1320.29 c cleaning 11508 clauses out of 23032 for limit 0.0034563230014078824 1334.02/1321.01 c cleaning 5940 clauses out of 12013 for limit 0.010808632574709067 1421.42/1407.73 c cleaning 21500 clauses out of 43074 for limit 3.602277600660275E-7 1535.86/1521.32 c cleaning 31431 clauses out of 63072 for limit 2.6443892129801767E11 1540.32/1525.79 c cleaning 16476 clauses out of 33141 for limit 2.2571687649828955E12 1547.05/1532.46 c cleaning 9551 clauses out of 19165 for limit 4.7610226983457156E-7 1550.29/1535.62 c cleaning 5541 clauses out of 11116 for limit 3.6889028852019133E-6 1552.08/1537.43 c cleaning 3194 clauses out of 6573 for limit 1.693264792582128E-5 1554.40/1539.71 c cleaning 2413 clauses out of 4881 for limit 1.0247463675793855E-4 1559.94/1545.22 c cleaning 2606 clauses out of 5466 for limit 0.0018370537623594028 1670.73/1655.00 c cleaning 34633 clauses out of 69362 for limit 113912.63087320444 1674.46/1658.73 c cleaning 17794 clauses out of 35727 for limit 600260.3953366233 1677.57/1661.89 c cleaning 9383 clauses out of 18933 for limit 3080552.2475997624 1766.02/1749.65 c cleaning 18753 clauses out of 37552 for limit 0.022825149865705233 1773.68/1757.27 c cleaning 10617 clauses out of 21310 for limit 0.49604642589723585 1775.82/1759.38 c cleaning 6801 clauses out of 13684 for limit 15.399883134247707 1776.22/1759.73 c cleaning 3656 clauses out of 7382 for limit 47.03030822219809 1778.35/1761.86 c cleaning 3324 clauses out of 6724 for limit 1036.5504859734915 1780.37/1763.80 c cleaning 3152 clauses out of 6413 for limit 22148.325607687933 1782.89/1766.38 c cleaning 2317 clauses out of 4748 for limit 132437.3362717368 1784.81/1768.22 c cleaning 1901 clauses out of 3931 for limit 717440.2941497377 1787.83/1771.20 c cleaning 1939 clauses out of 4030 for limit 5176155.4475022685 1789.55/1772.97 c cleaning 1549 clauses out of 3102 for limit 1.8491066758943498E7 1789.85/1773.24 c cleaning 1019 clauses out of 2041 for limit 4.579335903091428E7 1790.15/1773.59 c cleaning 693 clauses out of 1522 for limit 1.0127138286319444E8 1792.46/1775.84 c cleaning 1118 clauses out of 2333 for limit 2.975036936597681E8 1794.78/1778.14 c cleaning 1351 clauses out of 2713 for limit 1.1451330380122383E9 1800.03/1783.31 c starts : 39 1800.03/1783.31 c conflicts : 1043707 1800.03/1783.31 c decisions : 3363081 1800.03/1783.31 c propagations : 205978494 1800.03/1783.31 c inspects : 1340413820 1800.03/1783.31 c learnt literals : 2 1800.03/1783.31 c learnt binary clauses : 130 1800.03/1783.31 c learnt ternary clauses : 261 1800.03/1783.31 c learnt clauses : 1043705 1800.03/1783.33 c root simplifications : 0 1800.03/1783.34 c removed literals (reason simplification) : 0 1800.03/1783.34 c reason swapping (by a shorter reason) : 0 1800.03/1783.34 c Calls to reduceDB : 74 1800.03/1783.34 c speed (decisions/second) : 2414.9147693613463 1800.03/1783.34 c non guided choices 2763 1800.03/1783.34 s SATISFIABLE 1800.03/1783.36 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 1800.03/1783.36 v -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1800.03/1783.36 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 1800.03/1783.36 v -x81 -x82 x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 1800.03/1783.36 v -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 1800.03/1783.36 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.03/1783.36 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.03/1783.36 v x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.03/1783.36 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.03/1783.36 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.03/1783.36 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.03/1783.36 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.03/1783.36 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 1800.03/1783.36 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.03/1783.36 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 x335 -x336 1800.03/1783.36 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.03/1783.36 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1800.03/1783.36 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1800.03/1783.36 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1800.03/1783.36 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1800.03/1783.36 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1800.03/1783.36 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1800.03/1783.36 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1800.03/1783.36 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1800.03/1783.36 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1800.03/1783.36 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 x557 x558 -x559 x560 x561 x562 x563 x564 x565 -x566 -x567 x568 -x569 1800.03/1783.36 v -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 1800.03/1783.36 v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 1800.03/1783.36 v -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 1800.03/1783.36 v -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 1800.03/1783.36 v -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 1800.03/1783.36 v -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 1800.03/1783.36 v -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 1800.03/1783.36 v -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 1800.03/1783.36 v -x738 x739 x740 x741 -x742 x743 x744 x745 x746 x747 x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 1800.03/1783.36 v -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 1800.03/1783.36 v -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 1800.03/1783.36 v -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 1800.03/1783.36 v -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 1800.03/1783.36 v -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 1800.03/1783.36 v -x865 -x866 -x867 -x868 x869 x870 x871 x872 x873 x874 x875 x876 x877 -x878 x879 x880 x881 x882 -x883 -x884 -x885 -x886 -x887 1800.03/1783.36 v -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 1800.03/1783.36 v -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 1800.03/1783.36 v -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 1800.03/1783.36 v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 1800.03/1783.36 v -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 1800.03/1783.36 v -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 1800.03/1783.36 v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 1800.03/1783.36 v -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 1800.03/1783.36 v -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 1800.03/1783.36 v -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 1800.03/1783.36 v -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 1800.03/1783.36 v -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 1800.03/1783.36 v -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 1800.03/1783.36 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 x1142 x1143 x1144 x1145 x1146 x1147 1800.03/1783.36 v x1148 x1149 x1150 -x1151 -x1152 -x1153 x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 1800.03/1783.36 v -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 1800.03/1783.36 v -x1183 -x1184 -x1185 x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 1800.03/1783.36 v -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 1800.03/1783.36 v -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 1800.03/1783.36 v -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 1800.03/1783.36 v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 1800.03/1783.36 v -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 1800.03/1783.36 v -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 1800.03/1783.36 v -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 1800.03/1783.36 v -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 1800.03/1783.36 v -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 1800.03/1783.36 v -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 1800.03/1783.36 v -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 1800.03/1783.36 v -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 1800.03/1783.36 v -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 1800.03/1783.36 v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 1800.03/1783.36 v -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 1800.03/1783.36 v -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 1800.03/1783.36 v -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 1800.03/1783.36 v -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 1800.03/1783.36 v -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 1800.03/1783.36 v -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 1800.03/1783.36 v -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 1800.03/1783.36 v -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 1800.03/1783.36 v -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 1800.03/1783.36 v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 1800.03/1783.36 v -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 1800.03/1783.36 v -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 1800.03/1783.36 v -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 1800.03/1783.36 v -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 1800.03/1783.36 v -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 1800.03/1783.36 v -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 1800.03/1783.36 v -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 1800.03/1783.36 v -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 1800.03/1783.36 v -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 1800.03/1783.36 v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 1800.03/1783.36 v -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 1800.03/1783.36 v -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 1800.03/1783.36 v -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 1800.03/1783.36 v -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 1800.03/1783.36 v -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 x1859 x1860 x1861 x1862 x1863 1800.03/1783.36 v x1864 x1865 x1866 x1867 x1868 -x1869 -x1870 x1871 x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 1800.03/1783.36 v -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 1800.03/1783.36 v -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 1800.03/1783.36 v -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 1800.03/1783.36 v -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 1800.03/1783.36 v -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 1800.03/1783.36 v -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 1800.03/1783.36 v -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 1800.03/1783.36 v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 x2007 -x2008 -x2009 x2010 -x2011 -x2012 -x2013 -x2014 -x2015 x2016 x2017 -x2018 1800.03/1783.36 v -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 1800.03/1783.36 v -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 1800.03/1783.36 v -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 1800.03/1783.36 v -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 1800.03/1783.36 v -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 1800.03/1783.36 v -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 1800.03/1783.36 v -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 1800.03/1783.36 v -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 1800.03/1783.36 v -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 1800.03/1783.36 v -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 1800.03/1783.36 v -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 1800.03/1783.36 v -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 1800.03/1783.36 v -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 x2235 x2236 x2237 x2238 -x2239 x2240 1800.03/1783.36 v x2241 x2242 x2243 x2244 -x2245 x2246 -x2247 x2248 x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 1800.03/1783.36 v -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 1800.03/1783.36 v -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 1800.03/1783.36 v -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 1800.03/1783.36 v -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 1800.03/1783.36 v -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 1800.03/1783.36 v -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 1800.03/1783.36 v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 1800.03/1783.36 v -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 1800.03/1783.36 v -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 1800.03/1783.36 v -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 1800.03/1783.36 v -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 1800.03/1783.36 v -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 1800.03/1783.36 v -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 1800.03/1783.36 v -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 x2496 1800.03/1783.36 v -x2497 x2498 x2499 x2500 x2501 x2502 x2503 x2504 -x2505 x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 1800.03/1783.36 v -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 1800.03/1783.36 v -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 x2549 1800.03/1783.36 v x2550 x2551 x2552 x2553 x2554 x2555 -x2556 x2557 x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 1800.03/1783.36 v -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 1800.03/1783.36 v -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 1800.03/1783.36 v -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 x2617 x2618 -x2619 x2620 1800.03/1783.36 v x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 1800.03/1783.36 v -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 1800.03/1783.36 v -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 1800.03/1783.36 v -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 1800.03/1783.36 v -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 1800.03/1783.36 v -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 1800.03/1783.36 v -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 1800.03/1783.36 v -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 1800.03/1783.36 v -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 1800.03/1783.36 v -x2774 -x2775 -x2776 -x2777 x2778 x2779 x2780 x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 1800.03/1783.36 v -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 x2798 -x2799 x2800 x2801 -x2802 x2803 x2804 x2805 x2806 x2807 -x2808 -x2809 x2810 1800.03/1783.36 v -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 1800.03/1783.36 v -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 1800.03/1783.36 v -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 1800.03/1783.36 v -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 1800.03/1783.36 v -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 1800.03/1783.36 v -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 1800.03/1783.36 v -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 1800.03/1783.36 v -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 1800.03/1783.36 v -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 1800.03/1783.36 v -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 1800.03/1783.36 v -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 1800.03/1783.36 v -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 1800.03/1783.36 v -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 1800.03/1783.36 v -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 1800.03/1783.36 v -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 1800.03/1783.36 v -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 1800.03/1783.36 v -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 1800.03/1783.36 v -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 1800.03/1783.36 v -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 1800.03/1783.36 v -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 1800.03/1783.36 v -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 1800.03/1783.36 v -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 1800.03/1783.36 v -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 1800.03/1783.36 v -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 1800.03/1783.36 v -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 1800.03/1783.36 v -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 1800.03/1783.36 v -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 1800.03/1783.36 v -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 1800.03/1783.36 v -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 1800.03/1783.36 v -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 1800.03/1783.36 v -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 1800.03/1783.36 v -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 1800.03/1783.36 v -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 x3366 x3367 x3368 x3369 x3370 x3371 x3372 1800.03/1783.36 v x3373 x3374 x3375 -x3376 x3377 x3378 -x3379 -x3380 -x3381 x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 1800.03/1783.36 v -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 1800.03/1783.36 v -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 1800.03/1783.36 v -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 1800.03/1783.36 v -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 1800.03/1783.36 v -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 x3468 -x3469 x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 1800.03/1783.36 v -x3477 x3478 -x3479 -x3480 x3481 x3482 x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 1800.03/1783.36 v -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 1800.03/1783.36 v -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 1800.03/1783.36 v -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 1800.03/1783.36 v -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 1800.03/1783.36 v -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 1800.03/1783.36 v -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 1800.03/1783.36 v -x3597 x3598 -x3599 -x3600 x3601 x3602 x3603 x3604 x3605 x3606 x3607 -x3608 x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 1800.03/1783.36 v -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 1800.03/1783.36 v -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 1800.03/1783.36 v -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 1800.03/1783.36 v -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 1800.03/1783.36 v -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 1800.03/1783.36 v -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 x3709 -x3710 -x3711 x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 1800.03/1783.36 v -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 1800.03/1783.36 v -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 1800.03/1783.36 v -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 1800.03/1783.36 v -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 1800.03/1783.36 v -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 1800.03/1783.36 v -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 1800.03/1783.36 v -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 1800.03/1783.36 v -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 1800.03/1783.36 v -x3855 -x3856 -x3857 -x3858 -x3859 x3860 x3861 -x3862 x3863 -x3864 x3865 x3866 x3867 x3868 x3869 x3870 x3871 -x3872 -x3873 1800.03/1783.36 v -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 1800.03/1783.36 v -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 1800.03/1783.36 v -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 1800.03/1783.36 v -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 1800.03/1783.36 v -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 1800.03/1783.36 v -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 1800.03/1783.36 v -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 1800.03/1783.36 v -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 1800.03/1783.36 v -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 1800.03/1783.36 v -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 1800.03/1783.36 v -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 1800.03/1783.36 v -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 1800.03/1783.36 v -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 1800.03/1783.36 v -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 1800.03/1783.36 v -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 x4121 -x4122 -x4123 -x4124 x4125 x4126 x4127 x4128 x4129 1800.03/1783.36 v x4130 -x4131 x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 1800.03/1783.36 v -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 1800.03/1783.36 v -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 1800.03/1783.36 v -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 1800.03/1783.36 v -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 1800.03/1783.36 v -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 1800.03/1783.36 v -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 1800.03/1783.36 v -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 1800.03/1783.36 v -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 1800.03/1783.36 v -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 1800.03/1783.36 v -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 1800.03/1783.36 v -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 1800.03/1783.36 v -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 1800.03/1783.36 v -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 1800.03/1783.36 v -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 1800.03/1783.36 v -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 1800.03/1783.36 v -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 1800.03/1783.36 v -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 1800.03/1783.36 v -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 1800.03/1783.36 v -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 1800.03/1783.36 v -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 1800.03/1783.36 v -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 1800.03/1783.36 v -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 1800.03/1783.36 v -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 1800.03/1783.36 v -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 1800.03/1783.36 v -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 1800.03/1783.36 v -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 1800.03/1783.36 v -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 1800.03/1783.36 v -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 1800.03/1783.36 v -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 1800.03/1783.36 v -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 1800.03/1783.36 v -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 1800.03/1783.36 v -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 1800.03/1783.36 v -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 1800.03/1783.36 v -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 1800.03/1783.36 v -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 1800.03/1783.36 v -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 1800.03/1783.36 v -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 1800.03/1783.36 v -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 1800.03/1783.36 v -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 1800.03/1783.36 v -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 1800.03/1783.36 v -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 1800.03/1783.36 v -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 1800.03/1783.36 v -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 1800.03/1783.36 v x4879 x4880 x4881 -x4882 x4883 x4884 x4885 x4886 x4887 x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 1800.03/1783.36 v -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 1800.03/1783.36 v -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 1800.03/1783.36 v -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 1800.03/1783.36 v -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 1800.03/1783.36 v -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 1800.03/1783.36 v -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 1800.03/1783.36 v -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 1800.03/1783.36 v -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 1800.03/1783.36 v -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 1800.03/1783.36 v -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 1800.03/1783.36 v -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 1800.03/1783.36 v -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 1800.03/1783.36 v -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 1800.03/1783.36 v -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 1800.03/1783.36 v -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 1800.03/1783.36 v -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 1800.03/1783.36 v -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 1800.03/1783.36 v -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 1800.03/1783.36 v -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 x5211 -x5212 x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 x5221 1800.03/1783.36 v -x5222 -x5223 -x5224 x5225 x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 1800.03/1783.36 v -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 1800.03/1783.36 v -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 1800.03/1783.36 v -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 1800.03/1783.36 v -x5291 x5292 -x5293 -x5294 -x5295 x5296 x5297 x5298 x5299 x5300 x5301 x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 1800.03/1783.36 v -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 1800.03/1783.36 v -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 1800.03/1783.36 v -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 1800.03/1783.36 v -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 1800.03/1783.36 v -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 1800.03/1783.36 v -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 1800.03/1783.36 v -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 1800.03/1783.36 v -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 1800.03/1783.36 v -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 1800.03/1783.36 v -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 1800.03/1783.36 v -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 1800.03/1783.36 v -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 1800.03/1783.36 v -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 1800.03/1783.36 v -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 1800.03/1783.36 v -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 1800.03/1783.36 v -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 1800.03/1783.36 v -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 1800.03/1783.36 v -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 1800.03/1783.36 v -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 1800.03/1783.36 v -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 1800.03/1783.36 v -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 x5663 x5664 x5665 -x5666 -x5667 1800.03/1783.36 v x5668 x5669 x5670 x5671 x5672 x5673 -x5674 -x5675 x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 1800.03/1783.36 v -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 1800.03/1783.36 v -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 1800.03/1783.36 v -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 1800.03/1783.36 v -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 1800.03/1783.36 v -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 1800.03/1783.36 v -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 1800.03/1783.36 v -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 1800.03/1783.36 v -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 1800.03/1783.36 v -x5822 -x5823 -x5824 x5825 x5826 -x5827 x5828 -x5829 x5830 x5831 x5832 x5833 x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 1800.03/1783.36 v -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 1800.03/1783.36 v -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 1800.03/1783.36 v -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 1800.03/1783.36 v -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 1800.03/1783.36 v -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 1800.03/1783.36 v -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 1800.03/1783.36 v -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 1800.03/1783.36 v -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 x5971 -x5972 x5973 x5974 -x5975 -x5976 -x5977 1800.03/1783.36 v -x5978 -x5979 -x5980 -x5981 x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 1800.03/1783.36 v -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 1800.03/1783.36 v -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 1800.03/1783.36 v -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 1800.03/1783.36 v -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 1800.03/1783.36 v -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 1800.03/1783.36 v -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 1800.03/1783.36 v -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 1800.03/1783.36 v -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 1800.03/1783.36 v -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 1800.03/1783.36 v -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 1800.03/1783.36 v -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 1800.03/1783.36 v -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 1800.03/1783.36 v -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 1800.03/1783.36 v -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 1800.03/1783.36 v -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 1800.03/1783.36 v -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 1800.03/1783.36 v -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 1800.03/1783.36 v -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 1800.03/1783.36 v -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 1800.03/1783.36 v -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 1800.03/1783.36 v -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 1800.03/1783.36 v -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 1800.03/1783.36 v -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 1800.03/1783.36 v -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 1800.03/1783.36 v -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 1800.03/1783.36 v -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 1800.03/1783.36 v -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 1800.03/1783.36 v -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 1800.03/1783.36 v -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 1800.03/1783.36 v -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 1800.03/1783.36 v -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 1800.03/1783.36 v -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 1800.03/1783.36 v -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 1800.03/1783.36 v -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 1800.03/1783.36 v -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 1800.03/1783.36 v -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 1800.03/1783.36 v -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 1800.03/1783.36 v -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 1800.03/1783.36 v -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 x6651 -x6652 x6653 -x6654 x6655 -x6656 -x6657 -x6658 1800.03/1783.36 v -x6659 -x6660 x6661 -x6662 x6663 x6664 -x6665 -x6666 x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 1800.03/1783.36 v -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 1800.03/1783.36 v -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 1800.03/1783.36 v -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 1800.03/1783.36 v -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 1800.03/1783.36 v -x6745 x6746 x6747 x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 1800.03/1783.36 v -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 1800.03/1783.36 v -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 1800.03/1783.36 v -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 1800.03/1783.36 v -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 1800.03/1783.36 v -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 1800.03/1783.36 v -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 1800.03/1783.36 v -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 1800.03/1783.36 v -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 1800.03/1783.36 v -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 1800.03/1783.36 v -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 1800.03/1783.36 v -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 1800.03/1783.36 v -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 1800.03/1783.36 v -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 1800.03/1783.36 v -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 1800.03/1783.36 v -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 1800.03/1783.36 v -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 1800.03/1783.36 v -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 x7050 -x7051 1800.03/1783.36 v x7052 x7053 -x7054 x7055 x7056 x7057 x7058 x7059 -x7060 -x7061 x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 1800.03/1783.36 v -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 1800.03/1783.36 v -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 1800.03/1783.36 v -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 1800.03/1783.36 v -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 1800.03/1783.36 v -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 1800.03/1783.36 v -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 1800.03/1783.36 v -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 x7182 -x7183 -x7184 -x7185 x7186 -x7187 -x7188 -x7189 -x7190 1800.03/1783.36 v -x7191 -x7192 x7193 -x7194 x7195 1800.23/1783.41 c objective function=5110 1800.23/1783.41 c Total wall clock time (ms): 1783.208
OK 5110
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node52/watcher-351508-1176603567 -o ROOT/results/node52/solver-351508-1176603567 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351508-1176603567/sat4jPseudoResolution.jar /tmp/evaluation/351508-1176603567/instance-351508-1176603567.opb 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.28 1.07 1.02 2/64 13373 /proc/meminfo: memFree=1833820/2055920 swapFree=4192812/4192956 [pid=13373] ppid=13371 vsize=152 CPUtime=0 /proc/13373/stat : 13373 (java) R 13371 13373 11772 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 15201756 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 4309291 0 0 4096 0 0 0 0 17 1 0 0 /proc/13373/statm: 38 26 19 9 0 4 0 [startup+0.0630841 s] /proc/loadavg: 1.28 1.07 1.02 2/64 13373 /proc/meminfo: memFree=1833820/2055920 swapFree=4192812/4192956 [pid=13373] ppid=13371 vsize=1777708 CPUtime=0.05 /proc/13373/stat : 13373 (java) S 13371 13373 11772 0 -1 0 3625 0 1 0 3 2 0 0 18 0 7 0 15201756 1820372992 3367 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/13373/statm: 444427 3367 1070 9 0 442063 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1777708 [startup+0.101086 s] /proc/loadavg: 1.28 1.07 1.02 2/64 13373 /proc/meminfo: memFree=1833820/2055920 swapFree=4192812/4192956 [pid=13373] ppid=13371 vsize=1780108 CPUtime=0.08 /proc/13373/stat : 13373 (java) S 13371 13373 11772 0 -1 0 3966 0 1 0 5 3 0 0 18 0 12 0 15201756 1822830592 3707 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13373/statm: 445027 3707 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.301099 s] /proc/loadavg: 1.28 1.07 1.02 2/64 13373 /proc/meminfo: memFree=1833820/2055920 swapFree=4192812/4192956 [pid=13373] ppid=13371 vsize=1781392 CPUtime=0.32 /proc/13373/stat : 13373 (java) S 13371 13373 11772 0 -1 0 5181 0 1 0 28 4 0 0 18 0 12 0 15201756 1824145408 4919 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13373/statm: 445348 4919 1264 9 0 442960 0 Current children cumulated CPU time (s) 0.32 Current children cumulated vsize (KiB) 1781392 [startup+0.701125 s] /proc/loadavg: 1.28 1.07 1.02 2/64 13373 /proc/meminfo: memFree=1833820/2055920 swapFree=4192812/4192956 [pid=13373] ppid=13371 vsize=1782720 CPUtime=0.92 /proc/13373/stat : 13373 (java) S 13371 13373 11772 0 -1 0 7495 0 1 0 86 6 0 0 18 0 12 0 15201756 1825505280 6967 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13373/statm: 445680 6967 1306 9 0 443292 0 Current children cumulated CPU time (s) 0.92 Current children cumulated vsize (KiB) 1782720 [startup+1.50219 s] /proc/loadavg: 1.28 1.07 1.02 4/76 13385 /proc/meminfo: memFree=1804476/2055920 swapFree=4192812/4192956 [pid=13373] ppid=13371 vsize=1795016 CPUtime=2.48 /proc/13373/stat : 13373 (java) S 13371 13373 11772 0 -1 0 19078 0 1 0 231 17 0 0 18 0 13 0 15201756 1838096384 14330 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13373/statm: 448754 14330 1318 9 0 446366 0 [pid=13373/tid=13375] ppid=13371 vsize=1795016 CPUtime=0.79 /proc/13373/task/13375/stat : 13375 (java) R 13371 13373 11772 0 -1 64 10475 0 1 0 73 6 0 0 18 0 13 0 15201757 1838096384 14330 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13373/tid=13376] ppid=13371 vsize=1795016 CPUtime=0 /proc/13373/task/13376/stat : 13376 (java) S 13371 13373 11772 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 15201759 1838096384 14330 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13377] ppid=13371 vsize=1795016 CPUtime=0 /proc/13373/task/13377/stat : 13377 (java) S 13371 13373 11772 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 15201759 1838096384 14330 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13373/tid=13378] ppid=13371 vsize=1795016 CPUtime=0.11 /proc/13373/task/13378/stat : 13378 (java) S 13371 13373 11772 0 -1 64 2 0 0 0 5 6 0 0 16 0 13 0 15201761 1838096384 14330 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13373/tid=13379] ppid=13371 vsize=1795016 CPUtime=0 /proc/13373/task/13379/stat : 13379 (java) S 13371 13373 11772 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 15201761 1838096384 14330 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13380] ppid=13371 vsize=1795016 CPUtime=0 /proc/13373/task/13380/stat : 13380 (java) S 13371 13373 11772 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 15201761 1838096384 14330 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13381] ppid=13371 vsize=1795016 CPUtime=0 /proc/13373/task/13381/stat : 13381 (java) S 13371 13373 11772 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 15201765 1838096384 14330 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13382] ppid=13371 vsize=1795016 CPUtime=0.66 /proc/13373/task/13382/stat : 13382 (java) R 13371 13373 11772 0 -1 64 3145 0 0 0 66 0 0 0 17 0 13 0 15201765 1838096384 14330 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105176137 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13373/tid=13383] ppid=13371 vsize=1795016 CPUtime=0.87 /proc/13373/task/13383/stat : 13383 (java) R 13371 13373 11772 0 -1 64 4731 0 0 0 85 2 0 0 21 0 13 0 15201765 1838096384 14330 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103336776 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13384] ppid=13371 vsize=1795016 CPUtime=0 /proc/13373/task/13384/stat : 13384 (java) S 13371 13373 11772 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 15201765 1838096384 14330 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13385] ppid=13371 vsize=1795016 CPUtime=0 /proc/13373/task/13385/stat : 13385 (java) S 13371 13373 11772 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 15201765 1838096384 14330 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.48 Current children cumulated vsize (KiB) 1795016 [startup+3.10229 s] /proc/loadavg: 1.28 1.07 1.02 2/77 13386 /proc/meminfo: memFree=1760820/2055920 swapFree=4192812/4192956 [pid=13373] ppid=13371 vsize=1792848 CPUtime=4.48 /proc/13373/stat : 13373 (java) S 13371 13373 11772 0 -1 0 37515 0 1 0 424 24 0 0 18 0 13 0 15201756 1835876352 32308 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13373/statm: 448212 32308 1323 9 0 445824 0 [pid=13373/tid=13375] ppid=13371 vsize=1792848 CPUtime=2.29 /proc/13373/task/13375/stat : 13375 (java) R 13371 13373 11772 0 -1 64 28705 0 1 0 216 13 0 0 25 0 13 0 15201757 1835876352 32308 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109874019 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13376] ppid=13371 vsize=1792848 CPUtime=0 /proc/13373/task/13376/stat : 13376 (java) S 13371 13373 11772 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 15201759 1835876352 32308 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13377] ppid=13371 vsize=1792848 CPUtime=0 /proc/13373/task/13377/stat : 13377 (java) S 13371 13373 11772 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 15201759 1835876352 32308 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13373/tid=13378] ppid=13371 vsize=1792848 CPUtime=0.11 /proc/13373/task/13378/stat : 13378 (java) S 13371 13373 11772 0 -1 64 2 0 0 0 5 6 0 0 17 0 13 0 15201761 1835876352 32308 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13373/tid=13379] ppid=13371 vsize=1792848 CPUtime=0 /proc/13373/task/13379/stat : 13379 (java) S 13371 13373 11772 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 15201761 1835876352 32308 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13380] ppid=13371 vsize=1792848 CPUtime=0 /proc/13373/task/13380/stat : 13380 (java) S 13371 13373 11772 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 15201761 1835876352 32308 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13381] ppid=13371 vsize=1792848 CPUtime=0 /proc/13373/task/13381/stat : 13381 (java) S 13371 13373 11772 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 15201765 1835876352 32308 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13382] ppid=13371 vsize=1792848 CPUtime=1.01 /proc/13373/task/13382/stat : 13382 (java) S 13371 13373 11772 0 -1 64 3287 0 0 0 101 0 0 0 17 0 13 0 15201765 1835876352 32308 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13383] ppid=13371 vsize=1792848 CPUtime=1.03 /proc/13373/task/13383/stat : 13383 (java) S 13371 13373 11772 0 -1 64 4796 0 0 0 101 2 0 0 16 0 13 0 15201765 1835876352 32308 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13373/tid=13384] ppid=13371 vsize=1792848 CPUtime=0 /proc/13373/task/13384/stat : 13384 (java) S 13371 13373 11772 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 15201765 1835876352 32308 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13385] ppid=13371 vsize=1792848 CPUtime=0 /proc/13373/task/13385/stat : 13385 (java) S 13371 13373 11772 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 15201765 1835876352 32308 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13373/tid=13386] ppid=13371 vsize=1792848 CPUtime=0 /proc/13373/task/13386/stat : 13386 (java) S 13371 13373 11772 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 15201898 1835876352 32308 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 4.48 Current children cumulated vsize (KiB) 1792848 [startup+6.3015 s] /proc/loadavg: 1.26 1.07 1.02 2/77 13386 /proc/meminfo: memFree=1665916/2055920 swapFree=4192812/4192956 [pid=13373] ppid=13371 vsize=1792752 CPUtime=7.75 /proc/13373/stat : 13373 (java) S 13371 13373 11772 0 -1 0 50986 0 1 0 746 29 0 0 18 0 13 0 15201756 1835778048 45665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13373/statm: 448188 45665 1332 9 0 445800 0 [pid=13373/tid=13375] ppid=13371 vsize=1792752 CPUtime=5.42 /proc/13373/task/13375/stat : 13375 (java) R 13371 13373 11772 0 -1 64 37712 0 1 0 526 16 0 0 25 0 13 0 15201757 1835778048 45665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109684952 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13373/tid=13376] ppid=13371 vsize=1792752 CPUtime=0.04 /proc/13373/task/13376/stat : 13376 (java) S 13371 13373 11772 0 -1 64 2064 0 0 0 4 0 0 0 16 0 13 0 15201759 1835778048 45665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13377] ppid=13371 vsize=1792752 CPUtime=0.04 /proc/13373/task/13377/stat : 13377 (java) S 13371 13373 11772 0 -1 64 2393 0 0 0 4 0 0 0 16 0 13 0 15201759 1835778048 45665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13373/tid=13378] ppid=13371 vsize=1792752 CPUtime=0.11 /proc/13373/task/13378/stat : 13378 (java) S 13371 13373 11772 0 -1 64 10 0 0 0 5 6 0 0 15 0 13 0 15201761 1835778048 45665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13379] ppid=13371 vsize=1792752 CPUtime=0 /proc/13373/task/13379/stat : 13379 (java) S 13371 13373 11772 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 15201761 1835778048 45665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13380] ppid=13371 vsize=1792752 CPUtime=0 /proc/13373/task/13380/stat : 13380 (java) S 13371 13373 11772 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 15201761 1835778048 45665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13381] ppid=13371 vsize=1792752 CPUtime=0 /proc/13373/task/13381/stat : 13381 (java) S 13371 13373 11772 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 15201765 1835778048 45665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13382] ppid=13371 vsize=1792752 CPUtime=1.02 /proc/13373/task/13382/stat : 13382 (java) S 13371 13373 11772 0 -1 64 3287 0 0 0 102 0 0 0 15 0 13 0 15201765 1835778048 45665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13383] ppid=13371 vsize=1792752 CPUtime=1.04 /proc/13373/task/13383/stat : 13383 (java) S 13371 13373 11772 0 -1 64 4796 0 0 0 102 2 0 0 16 0 13 0 15201765 1835778048 45665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13373/tid=13384] ppid=13371 vsize=1792752 CPUtime=0 /proc/13373/task/13384/stat : 13384 (java) S 13371 13373 11772 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 15201765 1835778048 45665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13385] ppid=13371 vsize=1792752 CPUtime=0 /proc/13373/task/13385/stat : 13385 (java) S 13371 13373 11772 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 15201765 1835778048 45665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13373/tid=13386] ppid=13371 vsize=1792752 CPUtime=0 /proc/13373/task/13386/stat : 13386 (java) S 13371 13373 11772 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 15201898 1835778048 45665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.75 Current children cumulated vsize (KiB) 1792752 [startup+12.7019 s] /proc/loadavg: 1.24 1.07 1.02 2/77 13386 /proc/meminfo: memFree=1637564/2055920 swapFree=4192812/4192956 [pid=13373] ppid=13371 vsize=1791536 CPUtime=14.28 /proc/13373/stat : 13373 (java) S 13371 13373 11772 0 -1 0 58669 0 1 0 1395 33 0 0 18 0 13 0 15201756 1834532864 52808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13373/statm: 447884 52808 1332 9 0 445496 0 [pid=13373/tid=13375] ppid=13371 vsize=1791536 CPUtime=11.68 /proc/13373/task/13375/stat : 13375 (java) R 13371 13373 11772 0 -1 64 37718 0 1 0 1152 16 0 0 18 0 13 0 15201757 1834532864 52808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109873525 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13373/tid=13376] ppid=13371 vsize=1791536 CPUtime=0.16 /proc/13373/task/13376/stat : 13376 (java) S 13371 13373 11772 0 -1 64 6205 0 0 0 14 2 0 0 17 0 13 0 15201759 1834532864 52808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13377] ppid=13371 vsize=1791536 CPUtime=0.15 /proc/13373/task/13377/stat : 13377 (java) S 13371 13373 11772 0 -1 64 5919 0 0 0 13 2 0 0 17 0 13 0 15201759 1834532864 52808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13378] ppid=13371 vsize=1791536 CPUtime=0.11 /proc/13373/task/13378/stat : 13378 (java) S 13371 13373 11772 0 -1 64 17 0 0 0 5 6 0 0 16 0 13 0 15201761 1834532864 52808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13379] ppid=13371 vsize=1791536 CPUtime=0 /proc/13373/task/13379/stat : 13379 (java) S 13371 13373 11772 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 15201761 1834532864 52808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13380] ppid=13371 vsize=1791536 CPUtime=0 /proc/13373/task/13380/stat : 13380 (java) S 13371 13373 11772 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 15201761 1834532864 52808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13381] ppid=13371 vsize=1791536 CPUtime=0 /proc/13373/task/13381/stat : 13381 (java) S 13371 13373 11772 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 15201765 1834532864 52808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13382] ppid=13371 vsize=1791536 CPUtime=1.05 /proc/13373/task/13382/stat : 13382 (java) S 13371 13373 11772 0 -1 64 3288 0 0 0 105 0 0 0 16 0 13 0 15201765 1834532864 52808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13383] ppid=13371 vsize=1791536 CPUtime=1.06 /proc/13373/task/13383/stat : 13383 (java) S 13371 13373 11772 0 -1 64 4798 0 0 0 104 2 0 0 16 0 13 0 15201765 1834532864 52808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13373/tid=13384] ppid=13371 vsize=1791536 CPUtime=0 /proc/13373/task/13384/stat : 13384 (java) S 13371 13373 11772 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 15201765 1834532864 52808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13385] ppid=13371 vsize=1791536 CPUtime=0 /proc/13373/task/13385/stat : 13385 (java) S 13371 13373 11772 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 15201765 1834532864 52808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13373/tid=13386] ppid=13371 vsize=1791536 CPUtime=0 /proc/13373/task/13386/stat : 13386 (java) S 13371 13373 11772 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 15201898 1834532864 52808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 14.28 Current children cumulated vsize (KiB) 1791536 [startup+25.5028 s] /proc/loadavg: 1.18 1.07 1.02 2/77 13386 /proc/meminfo: memFree=1583612/2055920 swapFree=4192812/4192956 [pid=13373] ppid=13371 vsize=1791536 CPUtime=27.31 /proc/13373/stat : 13373 (java) S 13371 13373 11772 0 -1 0 73896 0 1 0 2689 42 0 0 18 0 13 0 15201756 1834532864 63616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13373/statm: 447884 63616 1332 9 0 445496 0 [pid=13373/tid=13375] ppid=13371 vsize=1791536 CPUtime=24.25 /proc/13373/task/13375/stat : 13375 (java) R 13371 13373 11772 0 -1 64 37724 0 1 0 2409 16 0 0 25 0 13 0 15201757 1834532864 63616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109656180 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13373/tid=13376] ppid=13371 vsize=1791536 CPUtime=0.38 /proc/13373/task/13376/stat : 13376 (java) S 13371 13373 11772 0 -1 64 13501 0 0 0 32 6 0 0 17 0 13 0 15201759 1834532864 63616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13373/tid=13377] ppid=13371 vsize=1791536 CPUtime=0.38 /proc/13373/task/13377/stat : 13377 (java) S 13371 13373 11772 0 -1 64 13842 0 0 0 31 7 0 0 16 0 13 0 15201759 1834532864 63616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13378] ppid=13371 vsize=1791536 CPUtime=0.11 /proc/13373/task/13378/stat : 13378 (java) S 13371 13373 11772 0 -1 64 19 0 0 0 5 6 0 0 16 0 13 0 15201761 1834532864 63616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=13373/tid=13378] ppid=13371 vsize=1791536 CPUtime=2.36 /proc/13373/task/13378/stat : 13378 (java) S 13371 13373 11772 0 -1 64 3343 0 2 0 191 45 0 0 16 0 13 0 15201761 1834532864 140986 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13379] ppid=13371 vsize=1791536 CPUtime=0 /proc/13373/task/13379/stat : 13379 (java) S 13371 13373 11772 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 15201761 1834532864 140986 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13380] ppid=13371 vsize=1791536 CPUtime=0 /proc/13373/task/13380/stat : 13380 (java) S 13371 13373 11772 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 15201761 1834532864 140986 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13381] ppid=13371 vsize=1791536 CPUtime=0 /proc/13373/task/13381/stat : 13381 (java) S 13371 13373 11772 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 15201765 1834532864 140986 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13382] ppid=13371 vsize=1791536 CPUtime=1.14 /proc/13373/task/13382/stat : 13382 (java) S 13371 13373 11772 0 -1 64 3296 0 0 0 114 0 0 0 16 0 13 0 15201765 1834532864 140986 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13383] ppid=13371 vsize=1791536 CPUtime=1.17 /proc/13373/task/13383/stat : 13383 (java) S 13371 13373 11772 0 -1 64 4805 0 0 0 115 2 0 0 17 0 13 0 15201765 1834532864 140986 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13373/tid=13384] ppid=13371 vsize=1791536 CPUtime=0 /proc/13373/task/13384/stat : 13384 (java) S 13371 13373 11772 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 15201765 1834532864 140986 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13385] ppid=13371 vsize=1791536 CPUtime=0 /proc/13373/task/13385/stat : 13385 (java) S 13371 13373 11772 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 15201765 1834532864 140986 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=15659] ppid=13371 vsize=1791536 CPUtime=0 /proc/13373/task/15659/stat : 15659 (java) S 13371 13373 11772 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 15240826 1834532864 140986 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1678.07 Current children cumulated vsize (KiB) 1791536 [startup+1722.3 s] /proc/loadavg: 1.02 1.03 1.02 2/77 15659 /proc/meminfo: memFree=1238068/2055920 swapFree=4192812/4192956 [pid=13373] ppid=13371 vsize=1791536 CPUtime=1738.54 /proc/13373/stat : 13373 (java) S 13371 13373 11772 0 -1 0 752464 0 3 0 173404 450 0 0 18 0 13 0 15201756 1834532864 139024 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13373/statm: 447884 139024 1337 9 0 445496 0 [pid=13373/tid=13375] ppid=13371 vsize=1791536 CPUtime=1701.45 /proc/13373/task/13375/stat : 13375 (java) R 13371 13373 11772 0 -1 64 52987 0 1 0 170103 42 0 0 25 0 13 0 15201757 1834532864 139024 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109569143 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13373/tid=13376] ppid=13371 vsize=1791536 CPUtime=16.09 /proc/13373/task/13376/stat : 13376 (java) S 13371 13373 11772 0 -1 64 340624 0 0 0 1430 179 0 0 17 0 13 0 15201759 1834532864 139024 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13377] ppid=13371 vsize=1791536 CPUtime=16.08 /proc/13373/task/13377/stat : 13377 (java) S 13371 13373 11772 0 -1 64 346622 0 0 0 1430 178 0 0 16 0 13 0 15201759 1834532864 139024 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13373/tid=13378] ppid=13371 vsize=1791536 CPUtime=2.55 /proc/13373/task/13378/stat : 13378 (java) S 13371 13373 11772 0 -1 64 3404 0 2 0 209 46 0 0 16 0 13 0 15201761 1834532864 139024 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13373/tid=13379] ppid=13371 vsize=1791536 CPUtime=0 /proc/13373/task/13379/stat : 13379 (java) S 13371 13373 11772 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 15201761 1834532864 139024 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13380] ppid=13371 vsize=1791536 CPUtime=0 /proc/13373/task/13380/stat : 13380 (java) S 13371 13373 11772 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 15201761 1834532864 139024 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13381] ppid=13371 vsize=1791536 CPUtime=0 /proc/13373/task/13381/stat : 13381 (java) S 13371 13373 11772 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 15201765 1834532864 139024 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13382] ppid=13371 vsize=1791536 CPUtime=1.14 /proc/13373/task/13382/stat : 13382 (java) S 13371 13373 11772 0 -1 64 3296 0 0 0 114 0 0 0 16 0 13 0 15201765 1834532864 139024 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13383] ppid=13371 vsize=1791536 CPUtime=1.17 /proc/13373/task/13383/stat : 13383 (java) S 13371 13373 11772 0 -1 64 4805 0 0 0 115 2 0 0 17 0 13 0 15201765 1834532864 139024 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13373/tid=13384] ppid=13371 vsize=1791536 CPUtime=0 /proc/13373/task/13384/stat : 13384 (java) S 13371 13373 11772 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 15201765 1834532864 139024 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13385] ppid=13371 vsize=1791536 CPUtime=0 /proc/13373/task/13385/stat : 13385 (java) S 13371 13373 11772 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 15201765 1834532864 139024 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13373/tid=15659] ppid=13371 vsize=1791536 CPUtime=0 /proc/13373/task/15659/stat : 15659 (java) S 13371 13373 11772 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 15240826 1834532864 139024 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1738.54 Current children cumulated vsize (KiB) 1791536 [startup+1782.3 s] /proc/loadavg: 1.09 1.05 1.02 2/77 15659 /proc/meminfo: memFree=1269044/2055920 swapFree=4192812/4192956 [pid=13373] ppid=13371 vsize=1791536 CPUtime=1799.02 /proc/13373/stat : 13373 (java) S 13371 13373 11772 0 -1 0 763832 0 3 0 179444 458 0 0 18 0 13 0 15201756 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13373/statm: 447884 131225 1337 9 0 445496 0 [pid=13373/tid=13375] ppid=13371 vsize=1791536 CPUtime=1760.78 /proc/13373/task/13375/stat : 13375 (java) R 13371 13373 11772 0 -1 64 53970 0 1 0 176036 42 0 0 25 0 13 0 15201757 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109873281 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13373/tid=13376] ppid=13371 vsize=1791536 CPUtime=16.58 /proc/13373/task/13376/stat : 13376 (java) S 13371 13373 11772 0 -1 64 345241 0 0 0 1477 181 0 0 16 0 13 0 15201759 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13373/tid=13377] ppid=13371 vsize=1791536 CPUtime=16.59 /proc/13373/task/13377/stat : 13377 (java) S 13371 13373 11772 0 -1 64 352383 0 0 0 1478 181 0 0 16 0 13 0 15201759 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13378] ppid=13371 vsize=1791536 CPUtime=2.69 /proc/13373/task/13378/stat : 13378 (java) S 13371 13373 11772 0 -1 64 3411 0 2 0 222 47 0 0 16 0 13 0 15201761 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13373/tid=13379] ppid=13371 vsize=1791536 CPUtime=0 /proc/13373/task/13379/stat : 13379 (java) S 13371 13373 11772 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 15201761 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13380] ppid=13371 vsize=1791536 CPUtime=0 /proc/13373/task/13380/stat : 13380 (java) S 13371 13373 11772 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 15201761 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13381] ppid=13371 vsize=1791536 CPUtime=0 /proc/13373/task/13381/stat : 13381 (java) S 13371 13373 11772 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 15201765 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13382] ppid=13371 vsize=1791536 CPUtime=1.14 /proc/13373/task/13382/stat : 13382 (java) S 13371 13373 11772 0 -1 64 3296 0 0 0 114 0 0 0 16 0 13 0 15201765 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13383] ppid=13371 vsize=1791536 CPUtime=1.17 /proc/13373/task/13383/stat : 13383 (java) S 13371 13373 11772 0 -1 64 4805 0 0 0 115 2 0 0 17 0 13 0 15201765 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13373/tid=13384] ppid=13371 vsize=1791536 CPUtime=0 /proc/13373/task/13384/stat : 13384 (java) S 13371 13373 11772 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 15201765 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13385] ppid=13371 vsize=1791536 CPUtime=0 /proc/13373/task/13385/stat : 13385 (java) S 13371 13373 11772 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 15201765 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13373/tid=15659] ppid=13371 vsize=1791536 CPUtime=0 /proc/13373/task/15659/stat : 15659 (java) S 13371 13373 11772 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 15240826 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.02 Current children cumulated vsize (KiB) 1791536 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1783.3 s] /proc/loadavg: 1.09 1.05 1.02 2/77 15659 /proc/meminfo: memFree=1269044/2055920 swapFree=4192812/4192956 [pid=13373] ppid=13371 vsize=1791536 CPUtime=1800.03 /proc/13373/stat : 13373 (java) S 13371 13373 11772 0 -1 0 763832 0 3 0 179545 458 0 0 18 0 13 0 15201756 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13373/statm: 447884 131225 1337 9 0 445496 0 [pid=13373/tid=13375] ppid=13371 vsize=1791536 CPUtime=1761.78 /proc/13373/task/13375/stat : 13375 (java) R 13371 13373 11772 0 -1 64 53970 0 1 0 176136 42 0 0 25 0 13 0 15201757 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109684165 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13373/tid=13376] ppid=13371 vsize=1791536 CPUtime=16.58 /proc/13373/task/13376/stat : 13376 (java) S 13371 13373 11772 0 -1 64 345241 0 0 0 1477 181 0 0 16 0 13 0 15201759 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13373/tid=13377] ppid=13371 vsize=1791536 CPUtime=16.59 /proc/13373/task/13377/stat : 13377 (java) S 13371 13373 11772 0 -1 64 352383 0 0 0 1478 181 0 0 16 0 13 0 15201759 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13378] ppid=13371 vsize=1791536 CPUtime=2.69 /proc/13373/task/13378/stat : 13378 (java) S 13371 13373 11772 0 -1 64 3411 0 2 0 222 47 0 0 16 0 13 0 15201761 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13373/tid=13379] ppid=13371 vsize=1791536 CPUtime=0 /proc/13373/task/13379/stat : 13379 (java) S 13371 13373 11772 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 15201761 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13380] ppid=13371 vsize=1791536 CPUtime=0 /proc/13373/task/13380/stat : 13380 (java) S 13371 13373 11772 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 15201761 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13381] ppid=13371 vsize=1791536 CPUtime=0 /proc/13373/task/13381/stat : 13381 (java) S 13371 13373 11772 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 15201765 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13382] ppid=13371 vsize=1791536 CPUtime=1.14 /proc/13373/task/13382/stat : 13382 (java) S 13371 13373 11772 0 -1 64 3296 0 0 0 114 0 0 0 16 0 13 0 15201765 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13383] ppid=13371 vsize=1791536 CPUtime=1.17 /proc/13373/task/13383/stat : 13383 (java) S 13371 13373 11772 0 -1 64 4805 0 0 0 115 2 0 0 17 0 13 0 15201765 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13373/tid=13384] ppid=13371 vsize=1791536 CPUtime=0 /proc/13373/task/13384/stat : 13384 (java) S 13371 13373 11772 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 15201765 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13385] ppid=13371 vsize=1791536 CPUtime=0 /proc/13373/task/13385/stat : 13385 (java) S 13371 13373 11772 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 15201765 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13373/tid=15659] ppid=13371 vsize=1791536 CPUtime=0 /proc/13373/task/15659/stat : 15659 (java) S 13371 13373 11772 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 15240826 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1791536 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1783.41 s] /proc/loadavg: 1.09 1.05 1.02 2/77 15659 /proc/meminfo: memFree=1269044/2055920 swapFree=4192812/4192956 [pid=13373] ppid=13371 vsize=1792184 CPUtime=1800.23 /proc/13373/stat : 13373 (java) S 13371 13373 11772 0 -1 0 763853 0 3 0 179565 458 0 0 16 0 15 0 15201756 1835196416 131245 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/13373/statm: 448046 131245 1337 9 0 445658 0 [pid=13373/tid=13375] ppid=13371 vsize=1792184 CPUtime=1761.87 /proc/13373/task/13375/stat : 13375 (java) R 13371 13373 11772 0 -1 64 53971 0 1 0 176145 42 0 0 16 0 15 0 15201757 1835196416 131245 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109836772 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13373/tid=13376] ppid=13371 vsize=1792184 CPUtime=16.6 /proc/13373/task/13376/stat : 13376 (java) S 13371 13373 11772 0 -1 64 345241 0 0 0 1479 181 0 0 16 0 15 0 15201759 1835196416 131245 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13373/tid=13377] ppid=13371 vsize=1792184 CPUtime=16.61 /proc/13373/task/13377/stat : 13377 (java) S 13371 13373 11772 0 -1 64 352383 0 0 0 1480 181 0 0 16 0 15 0 15201759 1835196416 131245 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13378] ppid=13371 vsize=1792184 CPUtime=2.69 /proc/13373/task/13378/stat : 13378 (java) S 13371 13373 11772 0 -1 64 3413 0 2 0 222 47 0 0 15 0 15 0 15201761 1835196416 131245 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13373/tid=13379] ppid=13371 vsize=1792184 CPUtime=0 /proc/13373/task/13379/stat : 13379 (java) S 13371 13373 11772 0 -1 64 11 0 0 0 0 0 0 0 16 0 15 0 15201761 1835196416 131245 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13380] ppid=13371 vsize=1792184 CPUtime=0 /proc/13373/task/13380/stat : 13380 (java) S 13371 13373 11772 0 -1 64 6 0 0 0 0 0 0 0 16 0 15 0 15201761 1835196416 131245 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13381] ppid=13371 vsize=1792184 CPUtime=0 /proc/13373/task/13381/stat : 13381 (java) S 13371 13373 11772 0 -1 64 5 0 0 0 0 0 0 0 18 0 15 0 15201765 1835196416 131245 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13382] ppid=13371 vsize=1792184 CPUtime=1.15 /proc/13373/task/13382/stat : 13382 (java) S 13371 13373 11772 0 -1 64 3296 0 0 0 115 0 0 0 16 0 15 0 15201765 1835196416 131245 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13383] ppid=13371 vsize=1792184 CPUtime=1.2 /proc/13373/task/13383/stat : 13383 (java) S 13371 13373 11772 0 -1 64 4807 0 0 0 118 2 0 0 16 0 15 0 15201765 1835196416 131245 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13384] ppid=13371 vsize=1792184 CPUtime=0 /proc/13373/task/13384/stat : 13384 (java) S 13371 13373 11772 0 -1 64 2 0 0 0 0 0 0 0 25 0 15 0 15201765 1835196416 131245 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13373/tid=13385] ppid=13371 vsize=1792184 CPUtime=0 /proc/13373/task/13385/stat : 13385 (java) S 13371 13373 11772 0 -1 64 1 0 0 0 0 0 0 0 15 0 15 0 15201765 1835196416 131245 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13373/tid=15659] ppid=13371 vsize=1792184 CPUtime=0 /proc/13373/task/15659/stat : 15659 (java) S 13371 13373 11772 0 -1 64 1 0 0 0 0 0 0 0 25 0 15 0 15240826 1835196416 131245 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 1792184 [startup+1783.5 s] /proc/loadavg: 1.09 1.05 1.02 2/77 15659 /proc/meminfo: memFree=1269044/2055920 swapFree=4192812/4192956 [pid=13373] ppid=13371 vsize=0 CPUtime=1800.32 /proc/13373/stat : 13373 (java) Z 13371 13373 11772 0 -1 1036 763855 0 3 0 179570 462 0 0 15 0 2 0 15201756 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/13373/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.32 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1783.55 CPU time (s): 1800.37 CPU user time (s): 1795.71 CPU system time (s): 4.66429 CPU usage (%): 100.943 Max. virtual memory (cumulated for all children) (KiB): 1795016 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.71 system time used= 4.66429 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 763855 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 41966 involuntary context switches= 34945 runsolver used 1.72174 second user time and 4.90025 second system time The end
Begin job on node52 on Sun Apr 15 02:19:27 UTC 2007 IDJOB= 351508 IDBENCH= 1771 IDSOLVER= 159 FILE ID= node52/351508-1176603567 PBS_JOBID= 4557000 Free space on /tmp= 66561 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-aflow30a.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351508-1176603567/sat4jPseudoResolution.jar /tmp/evaluation/351508-1176603567/instance-351508-1176603567.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-351508-1176603567 -o ROOT/results/node52/solver-351508-1176603567 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351508-1176603567/sat4jPseudoResolution.jar /tmp/evaluation/351508-1176603567/instance-351508-1176603567.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= fd717ffc3177aa889b23f16defdc157a RANDOM SEED= 82388053 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node52.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.236 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.236 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: 1834292 kB Buffers: 18952 kB Cached: 109560 kB SwapCached: 144 kB Active: 63536 kB Inactive: 83916 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1834292 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 3880 kB Writeback: 0 kB Mapped: 26528 kB Slab: 60072 kB Committed_AS: 549836 kB PageTables: 1488 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= 66561 MiB End job on node52 on Sun Apr 15 02:49:12 UTC 2007