Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | SAT (TO) | -4099 | 1800.37 | 1794.71 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-mkc.opb |
MD5SUM | 7ddc5796bc843f2bf9bc94a0b22fd8e4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -4362 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -4362 |
Optimality of the best value was proved | NO |
Number of variables | 5383 |
Total number of constraints | 3279 |
Number of constraints which are clauses | 2977 |
Number of constraints which are cardinality constraints (but not clauses) | 276 |
Number of constraints which are nor clauses,nor cardinality constraints | 26 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2952 |
Number of terms in the objective function | 2946 |
Biggest coefficient in the objective function | 334 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 526119 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 254588 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 526119 |
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.09/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.09/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.09/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.09/0.15 c no version file found!!! 0.09/0.15 c sun.arch.data.model 32 0.09/0.15 c java.version 1.6.0 0.09/0.15 c os.name Linux 0.09/0.15 c os.version 2.6.9-22.EL.rootsmp 0.09/0.15 c os.arch i386 0.09/0.15 c Free memory 1651659224 0.09/0.15 c Max memory 1654456320 0.09/0.15 c Total memory 1654456320 0.09/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/351781-1176613342/instance-351781-1176613342.opb 0.20/0.20 c reading problem ... 2.00/1.22 c ... done. Wall clock time 1.019s. 2.00/1.22 c CPU time (experimental) 0.7s. 2.00/1.22 c #vars 5383 2.00/1.22 c #constraints 3225 2.98/1.80 c SATISFIABLE 2.98/1.80 c OPTIMIZING... 2.98/1.80 c Got one! Elapsed wall clock time (in seconds):1.596 2.98/1.82 o -4099 1633.12/1628.20 c cleaning 60317 clauses out of 120649 for limit 2.1972895833020855E7 1640.13/1635.29 c cleaning 30402 clauses out of 60827 for limit 7.15151335682306E7 1646.04/1641.14 c cleaning 15453 clauses out of 30926 for limit 2.3219934955168644E8 1649.73/1644.87 c cleaning 7980 clauses out of 15971 for limit 7.400132641184145E8 1651.43/1646.57 c cleaning 4239 clauses out of 8491 for limit 2.295454348195904E9 1653.23/1648.34 c cleaning 2368 clauses out of 4751 for limit 6.758710519182204E9 1664.18/1659.21 c cleaning 2184 clauses out of 4382 for limit 5.414589529736118E10 1667.08/1662.12 c cleaning 1346 clauses out of 2704 for limit 1.4557747511442297E11 1669.77/1664.86 c cleaning 926 clauses out of 1853 for limit 3.4858506728088416E11 1671.82/1666.81 c cleaning 714 clauses out of 1429 for limit 7.469248007505317E11 1674.12/1669.10 c cleaning 602 clauses out of 1212 for limit 1.447967588145575E12 1675.12/1670.18 c cleaning 549 clauses out of 1113 for limit 2.608108883449727E12 1676.52/1671.57 c cleaning 524 clauses out of 1064 for limit 4.499198371080791E12 1677.92/1672.97 c cleaning 510 clauses out of 1037 for limit 7.59015011045714E12 1679.52/1674.50 c cleaning 506 clauses out of 1031 for limit 1.2640503995044959E13 1688.16/1683.11 c cleaning 1253 clauses out of 2522 for limit 3.8106405623732164E13 1690.16/1685.19 c cleaning 895 clauses out of 1791 for limit 9.046125913536253E13 1691.06/1686.02 c cleaning 687 clauses out of 1374 for limit 1.9022522634348062E14 1691.92/1686.86 c cleaning 595 clauses out of 1190 for limit 3.6330159386468975E14 1693.02/1687.93 c cleaning 544 clauses out of 1095 for limit 6.511124991613639E14 1694.02/1688.97 c cleaning 520 clauses out of 1062 for limit 1.11938930026965E15 1695.22/1690.14 c cleaning 507 clauses out of 1031 for limit 1.8807161776997552E15 1696.22/1691.17 c cleaning 511 clauses out of 1031 for limit 3.123350547414315E15 1697.48/1692.38 c cleaning 504 clauses out of 1009 for limit 5.2055243975353E15 1698.68/1693.52 c cleaning 503 clauses out of 1006 for limit 8.618825156327313E15 1699.78/1694.68 c cleaning 474 clauses out of 1013 for limit 1.4257310591903842E16 1700.98/1695.80 c cleaning 520 clauses out of 1041 for limit 2.2925627789231672E16 1701.88/1696.77 c cleaning 512 clauses out of 1025 for limit 3.8551566989427376E16 1742.74/1737.39 c cleaning 5505 clauses out of 11017 for limit 1.314662350057375 1744.84/1739.44 c cleaning 2987 clauses out of 6010 for limit 3.9663402437729256 1747.84/1742.42 c cleaning 1751 clauses out of 3509 for limit 11.047240084352962 1749.34/1743.97 c cleaning 1125 clauses out of 2260 for limit 28.343510045820096 1751.15/1745.72 c cleaning 773 clauses out of 1629 for limit 64.45992609589624 1756.46/1751.05 c cleaning 1173 clauses out of 2355 for limit 199.78051362803498 1757.96/1752.50 c cleaning 833 clauses out of 1688 for limit 462.4178095858824 1759.46/1754.02 c cleaning 667 clauses out of 1353 for limit 949.5023880090664 1760.77/1755.33 c cleaning 598 clauses out of 1202 for limit 1791.0077522003376 1761.97/1756.50 c cleaning 514 clauses out of 1084 for limit 3210.245919696914 1763.17/1757.80 c cleaning 540 clauses out of 1087 for limit 5370.078421503549 1764.17/1758.74 c cleaning 502 clauses out of 1035 for limit 9189.916554159112 1765.57/1760.15 c cleaning 492 clauses out of 1029 for limit 15182.887808361058 1769.88/1764.48 c cleaning 1023 clauses out of 2052 for limit 34663.9251974046 1771.28/1765.83 c cleaning 741 clauses out of 1524 for limit 76586.71755686332 1772.87/1767.45 c cleaning 634 clauses out of 1274 for limit 149731.87963604636 1774.19/1768.73 c cleaning 564 clauses out of 1150 for limit 276303.80703882023 1775.78/1770.34 c cleaning 535 clauses out of 1077 for limit 482185.65607491706 1776.89/1771.43 c cleaning 521 clauses out of 1049 for limit 822151.7233875345 1777.99/1772.57 c cleaning 487 clauses out of 1032 for limit 1383699.2211979893 1779.28/1773.81 c cleaning 511 clauses out of 1031 for limit 2252347.7845690297 1783.49/1778.06 c cleaning 1003 clauses out of 2024 for limit 5166415.325097023 1785.09/1779.68 c cleaning 753 clauses out of 1522 for limit 1.1341632489287114E7 1786.41/1780.94 c cleaning 642 clauses out of 1284 for limit 2.2506023227756698E7 1787.60/1782.18 c cleaning 566 clauses out of 1132 for limit 4.168004017513951E7 1788.81/1783.35 c cleaning 527 clauses out of 1061 for limit 7.296968979315352E7 1789.91/1784.41 c cleaning 507 clauses out of 1048 for limit 1.2354798113202202E8 1791.01/1785.52 c cleaning 512 clauses out of 1025 for limit 2.0501081350877187E8 1795.23/1789.76 c cleaning 1005 clauses out of 2017 for limit 4.691378187546392E8 1796.52/1791.01 c cleaning 728 clauses out of 1509 for limit 1.0310256133058227E9 1797.82/1792.37 c cleaning 641 clauses out of 1289 for limit 2.0064935038828351E9 1798.93/1793.41 c cleaning 561 clauses out of 1150 for limit 3.7163597309387302E9 1800.03/1794.51 c starts : 19 1800.03/1794.51 c conflicts : 167610 1800.03/1794.51 c decisions : 171883 1800.03/1794.51 c propagations : 6234765 1800.03/1794.51 c inspects : 270071057 1800.03/1794.51 c learnt literals : 0 1800.03/1794.51 c learnt binary clauses : 0 1800.03/1794.51 c learnt ternary clauses : 0 1800.03/1794.51 c learnt clauses : 167610 1800.03/1794.51 c root simplifications : 0 1800.03/1794.51 c removed literals (reason simplification) : 0 1800.03/1794.51 c reason swapping (by a shorter reason) : 0 1800.03/1794.51 c Calls to reduceDB : 60 1800.03/1794.51 c speed (decisions/second) : 95.8851228360258 1800.03/1794.51 c non guided choices 1226 1800.03/1794.51 s SATISFIABLE 1800.03/1794.58 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/1794.58 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/1794.58 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/1794.58 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 1800.03/1794.58 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.03/1794.58 v -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1800.03/1794.58 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1800.03/1794.58 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.03/1794.58 v -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1800.03/1794.58 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1800.03/1794.58 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1800.03/1794.58 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1800.03/1794.58 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1800.03/1794.58 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1800.03/1794.58 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1800.03/1794.58 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1800.03/1794.58 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1800.03/1794.58 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1800.03/1794.58 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 1800.03/1794.58 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1800.03/1794.58 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1800.03/1794.58 v -x462 -x463 -x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1800.03/1794.58 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1800.03/1794.58 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1800.03/1794.58 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1800.03/1794.58 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.03/1794.58 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1800.03/1794.58 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1800.03/1794.58 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1800.03/1794.58 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1800.03/1794.58 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1800.03/1794.58 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1800.03/1794.58 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1800.03/1794.58 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1800.03/1794.58 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1800.03/1794.58 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1800.03/1794.58 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1800.03/1794.58 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1800.03/1794.58 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1800.03/1794.58 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1800.03/1794.58 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1800.03/1794.58 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1800.03/1794.58 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1800.03/1794.58 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1800.03/1794.58 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1800.03/1794.58 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1800.03/1794.58 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1800.03/1794.58 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1800.03/1794.58 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 1800.03/1794.58 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 1800.03/1794.58 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 1800.03/1794.58 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 1800.03/1794.58 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 1800.03/1794.58 v -x1108 -x1109 x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 1800.03/1794.58 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 1800.03/1794.58 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1800.03/1794.58 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1800.03/1794.58 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 1800.03/1794.58 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 1800.03/1794.58 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 1800.03/1794.58 v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 1800.03/1794.58 v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 1800.03/1794.58 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 x1272 -x1273 -x1274 -x1275 -x1276 -x1277 1800.03/1794.58 v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 1800.03/1794.58 v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 1800.03/1794.58 v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 1800.03/1794.58 v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 1800.03/1794.58 v -x1346 -x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 1800.03/1794.58 v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 1800.03/1794.58 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 1800.03/1794.58 v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 1800.03/1794.58 v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 x1425 -x1426 -x1427 -x1428 -x1429 -x1430 1800.03/1794.58 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 1800.03/1794.58 v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 1800.03/1794.58 v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 1800.03/1794.58 v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 1800.03/1794.58 v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 1800.03/1794.58 v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 1800.03/1794.58 v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 1800.03/1794.58 v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 1800.03/1794.58 v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 1800.03/1794.58 v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 1800.03/1794.58 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 1800.03/1794.58 v -x1618 -x1619 -x1620 -x1621 -x1622 x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 x1630 -x1631 -x1632 -x1633 -x1634 -x1635 1800.03/1794.58 v -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 1800.03/1794.58 v -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 1800.03/1794.58 v -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 1800.03/1794.58 v -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 1800.03/1794.58 v -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 1800.03/1794.58 v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 1800.03/1794.58 v -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 1800.03/1794.58 v -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 1800.03/1794.58 v -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 x1786 -x1787 -x1788 1800.03/1794.58 v -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 1800.03/1794.58 v -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 1800.03/1794.58 v -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 1800.03/1794.58 v -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 1800.03/1794.58 v -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 1800.03/1794.58 v x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 1800.03/1794.58 v -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 1800.03/1794.58 v -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 1800.03/1794.58 v -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 1800.03/1794.58 v -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 x1958 -x1959 1800.03/1794.58 v -x1960 -x1961 x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 1800.03/1794.58 v -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 1800.03/1794.58 v -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 x2009 -x2010 1800.03/1794.58 v -x2011 -x2012 -x2013 x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 1800.03/1794.58 v -x2028 -x2029 -x2030 -x2031 -x2032 x2033 -x2034 -x2035 -x2036 -x2037 -x2038 x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 1800.03/1794.58 v -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 x2053 -x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 1800.03/1794.58 v -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 x2077 -x2078 -x2079 -x2080 1800.03/1794.58 v -x2081 x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 1800.03/1794.58 v -x2098 -x2099 -x2100 -x2101 -x2102 x2103 -x2104 -x2105 x2106 -x2107 -x2108 -x2109 x2110 -x2111 -x2112 -x2113 -x2114 -x2115 1800.03/1794.58 v -x2116 -x2117 x2118 -x2119 -x2120 -x2121 x2122 x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 x2133 1800.03/1794.58 v x2134 -x2135 -x2136 -x2137 -x2138 x2139 x2140 x2141 x2142 x2143 x2144 x2145 -x2146 x2147 x2148 x2149 x2150 x2151 x2152 x2153 1800.03/1794.58 v x2154 x2155 x2156 -x2157 x2158 x2159 x2160 x2161 x2162 x2163 x2164 x2165 x2166 -x2167 x2168 x2169 -x2170 x2171 x2172 x2173 1800.03/1794.58 v x2174 x2175 -x2176 -x2177 x2178 -x2179 -x2180 x2181 -x2182 -x2183 x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 1800.03/1794.58 v -x2192 -x2193 -x2194 x2195 x2196 -x2197 x2198 x2199 x2200 -x2201 x2202 -x2203 x2204 -x2205 -x2206 x2207 x2208 -x2209 x2210 1800.03/1794.58 v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 1800.03/1794.58 v -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 1800.03/1794.58 v -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 1800.03/1794.58 v -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 1800.03/1794.58 v -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 1800.03/1794.58 v -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 1800.03/1794.58 v -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 x2328 -x2329 1800.03/1794.58 v -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 1800.03/1794.58 v -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 1800.03/1794.58 v -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 1800.03/1794.58 v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 1800.03/1794.58 v -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 1800.03/1794.58 v -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 1800.03/1794.58 v -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 1800.03/1794.58 v -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 1800.03/1794.58 v -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 1800.03/1794.58 v -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 1800.03/1794.58 v -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 1800.03/1794.58 v -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 1800.03/1794.58 v -x2534 -x2535 x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 1800.03/1794.58 v -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 1800.03/1794.58 v -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 1800.03/1794.58 v -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 1800.03/1794.58 v -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 1800.03/1794.58 v -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 1800.03/1794.58 v -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 1800.03/1794.58 v -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 1800.03/1794.58 v -x2670 -x2671 -x2672 -x2673 -x2674 x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 1800.03/1794.58 v -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 1800.03/1794.58 v -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 1800.03/1794.58 v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 1800.03/1794.58 v -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 1800.03/1794.58 v -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 1800.03/1794.58 v -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 x2787 -x2788 1800.03/1794.58 v -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 1800.03/1794.58 v -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 1800.03/1794.58 v -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 1800.03/1794.58 v -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 1800.03/1794.58 v -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 1800.03/1794.58 v -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 1800.03/1794.58 v -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 1800.03/1794.58 v -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 x2921 -x2922 -x2923 -x2924 1800.03/1794.58 v -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 1800.03/1794.58 v -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 1800.03/1794.58 v -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 1800.03/1794.58 v -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 1800.03/1794.58 v -x2993 -x2994 -x2995 x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 1800.03/1794.58 v -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 1800.03/1794.58 v -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 1800.03/1794.58 v -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 1800.03/1794.58 v -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 1800.03/1794.58 v -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 1800.03/1794.58 v -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 1800.03/1794.58 v -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 1800.03/1794.58 v -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 1800.03/1794.58 v -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 1800.03/1794.58 v -x3163 -x3164 -x3165 -x3166 x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 1800.03/1794.58 v -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 1800.03/1794.58 v -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 1800.03/1794.58 v -x3214 -x3215 -x3216 -x3217 x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 1800.03/1794.58 v -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 1800.03/1794.58 v -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 1800.03/1794.58 v -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 1800.03/1794.58 v -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 1800.03/1794.58 v -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 1800.03/1794.58 v -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 1800.03/1794.58 v -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 1800.03/1794.58 v -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 1800.03/1794.58 v -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 1800.03/1794.58 v -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 1800.03/1794.58 v -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 1800.03/1794.58 v -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 1800.03/1794.58 v -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 1800.03/1794.58 v -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 x3463 -x3464 -x3465 -x3466 -x3467 -x3468 1800.03/1794.58 v -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 1800.03/1794.58 v -x3486 -x3487 -x3488 x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 1800.03/1794.58 v -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 1800.03/1794.58 v -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 1800.03/1794.58 v -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 1800.03/1794.58 v -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 1800.03/1794.58 v -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 1800.03/1794.58 v -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 1800.03/1794.58 v -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 1800.03/1794.58 v -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 1800.03/1794.58 v -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 1800.03/1794.58 v -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 1800.03/1794.58 v -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 1800.03/1794.58 v -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 x3706 1800.03/1794.58 v -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 1800.03/1794.58 v -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 1800.03/1794.58 v -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 1800.03/1794.58 v -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 1800.03/1794.58 v -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 1800.03/1794.58 v -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 1800.03/1794.58 v -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 1800.03/1794.58 v -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 1800.03/1794.58 v -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 1800.03/1794.58 v -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 1800.03/1794.58 v -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 1800.03/1794.58 v -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 1800.03/1794.58 v -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 1800.03/1794.58 v -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 1800.03/1794.58 v -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 1800.03/1794.58 v -x3962 -x3963 -x3964 -x3965 -x3966 x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 1800.03/1794.58 v -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 1800.03/1794.58 v -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 1800.03/1794.58 v -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 1800.03/1794.58 v -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 1800.03/1794.58 v -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 1800.03/1794.58 v -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 1800.03/1794.58 v -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 1800.03/1794.58 v -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 1800.03/1794.58 v -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 1800.03/1794.58 v -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 1800.03/1794.58 v -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 1800.03/1794.58 v -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 x4182 1800.03/1794.58 v -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 1800.03/1794.58 v -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 x4213 -x4214 -x4215 -x4216 1800.03/1794.58 v -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 x4231 -x4232 -x4233 1800.03/1794.58 v -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 1800.03/1794.58 v -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 1800.03/1794.58 v -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 1800.03/1794.58 v -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 1800.03/1794.58 v -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 1800.03/1794.58 v -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 1800.03/1794.58 v -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 1800.03/1794.58 v -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 1800.03/1794.58 v -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 1800.03/1794.58 v -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 1800.03/1794.58 v -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 x4418 -x4419 -x4420 1800.03/1794.58 v -x4421 -x4422 x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 1800.03/1794.58 v -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 1800.03/1794.58 v -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 1800.03/1794.58 v -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 1800.03/1794.58 v -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 1800.03/1794.58 v -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 1800.03/1794.58 v -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 1800.03/1794.58 v -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 x4555 -x4556 1800.03/1794.58 v -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 1800.03/1794.58 v -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 1800.03/1794.58 v -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 1800.03/1794.58 v -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 1800.03/1794.58 v -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 1800.03/1794.58 v x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 1800.03/1794.58 v -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 1800.03/1794.58 v -x4676 -x4677 -x4678 x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 1800.03/1794.58 v -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 1800.03/1794.58 v -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 x4716 -x4717 -x4718 x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 1800.03/1794.58 v -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 1800.03/1794.58 v -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 x4758 -x4759 -x4760 -x4761 1800.03/1794.58 v x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 1800.03/1794.58 v -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 x4790 -x4791 -x4792 -x4793 -x4794 -x4795 1800.03/1794.58 v -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 x4807 -x4808 -x4809 -x4810 -x4811 -x4812 1800.03/1794.58 v -x4813 -x4814 -x4815 x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 1800.03/1794.58 v -x4831 -x4832 x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 x4848 1800.03/1794.58 v -x4849 x4850 x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 x4858 -x4859 -x4860 x4861 x4862 -x4863 -x4864 -x4865 -x4866 1800.03/1794.58 v -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 1800.03/1794.58 v -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 1800.03/1794.58 v -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 x4912 -x4913 -x4914 -x4915 -x4916 -x4917 1800.03/1794.58 v -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 1800.03/1794.58 v -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 1800.03/1794.58 v -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 1800.03/1794.58 v -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 1800.03/1794.58 v -x4986 -x4987 x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 1800.03/1794.58 v -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 1800.03/1794.58 v -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 1800.03/1794.58 v -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 1800.03/1794.58 v -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 1800.03/1794.58 v -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 1800.03/1794.58 v -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 1800.03/1794.58 v -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 1800.03/1794.58 v -x5122 -x5123 -x5124 -x5125 x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 1800.03/1794.58 v -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 1800.03/1794.58 v -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 1800.03/1794.58 v -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 1800.03/1794.58 v -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 1800.03/1794.58 v -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 1800.03/1794.58 v -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 1800.03/1794.58 v -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 1800.03/1794.58 v -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 1800.03/1794.58 v -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 1800.03/1794.58 v -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 1800.03/1794.58 v -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 1800.03/1794.58 v -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 1800.03/1794.58 v -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 1800.03/1794.58 v -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 1800.03/1794.58 v -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 1800.24/1794.61 c cleaning 521 clauses out of 1076 for limit 6.465625538993231E9 1800.24/1794.63 c objective function=-4099 1800.24/1794.63 c Total wall clock time (ms): 1794.424
OK -4099
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node19/watcher-351781-1176613342 -o ROOT/results/node19/solver-351781-1176613342 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351781-1176613342/sat4jPseudoResolution.jar /tmp/evaluation/351781-1176613342/instance-351781-1176613342.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: 0.93 1.01 0.99 2/77 21051 /proc/meminfo: memFree=1780736/2055920 swapFree=4159528/4192956 [pid=21051] ppid=21049 vsize=152 CPUtime=0 /proc/21051/stat : 21051 (java) R 21049 21051 19837 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 109251638 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 7483691 0 0 4096 0 0 0 0 17 1 0 0 /proc/21051/statm: 38 26 19 9 0 4 0 [startup+0.072621 s] /proc/loadavg: 0.93 1.01 0.99 2/77 21051 /proc/meminfo: memFree=1780736/2055920 swapFree=4159528/4192956 [pid=21051] ppid=21049 vsize=1777708 CPUtime=0.05 /proc/21051/stat : 21051 (java) S 21049 21051 19837 0 -1 0 3710 0 1 0 3 2 0 0 18 0 7 0 109251638 1820372992 3453 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/21051/statm: 444427 3453 1082 9 0 442063 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1777708 [startup+0.101601 s] /proc/loadavg: 0.93 1.01 0.99 2/77 21051 /proc/meminfo: memFree=1780736/2055920 swapFree=4159528/4192956 [pid=21051] ppid=21049 vsize=1780108 CPUtime=0.09 /proc/21051/stat : 21051 (java) S 21049 21051 19837 0 -1 0 3969 0 1 0 6 3 0 0 18 0 12 0 109251638 1822830592 3711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21051/statm: 445027 3711 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1780108 [startup+0.301625 s] /proc/loadavg: 0.93 1.01 0.99 2/77 21051 /proc/meminfo: memFree=1780736/2055920 swapFree=4159528/4192956 [pid=21051] ppid=21049 vsize=1781428 CPUtime=0.33 /proc/21051/stat : 21051 (java) S 21049 21051 19837 0 -1 0 5093 0 1 0 30 3 0 0 18 0 12 0 109251638 1824182272 4832 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21051/statm: 445357 4832 1267 9 0 442969 0 Current children cumulated CPU time (s) 0.33 Current children cumulated vsize (KiB) 1781428 [startup+0.701668 s] /proc/loadavg: 0.93 1.01 0.99 2/77 21051 /proc/meminfo: memFree=1780736/2055920 swapFree=4159528/4192956 [pid=21051] ppid=21049 vsize=1788724 CPUtime=1.01 /proc/21051/stat : 21051 (java) S 21049 21051 19837 0 -1 0 8477 0 1 0 97 4 0 0 18 0 12 0 109251638 1831653376 7545 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21051/statm: 447181 7545 1302 9 0 444793 0 Current children cumulated CPU time (s) 1.01 Current children cumulated vsize (KiB) 1788724 [startup+1.50276 s] /proc/loadavg: 0.93 1.01 0.99 4/89 21063 /proc/meminfo: memFree=1746528/2055920 swapFree=4159528/4192956 [pid=21051] ppid=21049 vsize=1794000 CPUtime=2.54 /proc/21051/stat : 21051 (java) S 21049 21051 19837 0 -1 0 16525 0 1 0 246 8 0 0 18 0 13 0 109251638 1837056000 12363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21051/statm: 448500 12363 1315 9 0 446112 0 [pid=21051/tid=21053] ppid=21049 vsize=1794000 CPUtime=0.88 /proc/21051/task/21053/stat : 21053 (java) R 21049 21051 19837 0 -1 64 8334 0 1 0 83 5 0 0 19 0 13 0 109251639 1837056000 12363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21051/tid=21054] ppid=21049 vsize=1794000 CPUtime=0 /proc/21051/task/21054/stat : 21054 (java) S 21049 21051 19837 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 109251641 1837056000 12363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21055] ppid=21049 vsize=1794000 CPUtime=0 /proc/21051/task/21055/stat : 21055 (java) S 21049 21051 19837 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 109251641 1837056000 12363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21056] ppid=21049 vsize=1794000 CPUtime=0 /proc/21051/task/21056/stat : 21056 (java) S 21049 21051 19837 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 109251643 1837056000 12363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21057] ppid=21049 vsize=1794000 CPUtime=0 /proc/21051/task/21057/stat : 21057 (java) S 21049 21051 19837 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 109251643 1837056000 12363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21058] ppid=21049 vsize=1794000 CPUtime=0 /proc/21051/task/21058/stat : 21058 (java) S 21049 21051 19837 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 109251644 1837056000 12363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21059] ppid=21049 vsize=1794000 CPUtime=0 /proc/21051/task/21059/stat : 21059 (java) S 21049 21051 19837 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 109251647 1837056000 12363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21060] ppid=21049 vsize=1794000 CPUtime=0.98 /proc/21051/task/21060/stat : 21060 (java) R 21049 21051 19837 0 -1 64 5344 0 0 0 97 1 0 0 16 0 13 0 109251647 1837056000 12363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105864945 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21061] ppid=21049 vsize=1794000 CPUtime=0.65 /proc/21051/task/21061/stat : 21061 (java) R 21049 21051 19837 0 -1 64 2124 0 0 0 65 0 0 0 17 0 13 0 109251647 1837056000 12363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102915117 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21051/tid=21062] ppid=21049 vsize=1794000 CPUtime=0 /proc/21051/task/21062/stat : 21062 (java) S 21049 21051 19837 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 109251647 1837056000 12363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21063] ppid=21049 vsize=1794000 CPUtime=0 /proc/21051/task/21063/stat : 21063 (java) S 21049 21051 19837 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 109251647 1837056000 12363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.54 Current children cumulated vsize (KiB) 1794000 [startup+3.10293 s] /proc/loadavg: 0.93 1.01 0.99 2/90 21065 /proc/meminfo: memFree=1728728/2055920 swapFree=4159528/4192956 [pid=21051] ppid=21049 vsize=1794000 CPUtime=4.57 /proc/21051/stat : 21051 (java) S 21049 21051 19837 0 -1 0 21275 0 1 0 446 11 0 0 18 0 13 0 109251638 1837056000 17111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21051/statm: 448500 17111 1318 9 0 446112 0 [pid=21051/tid=21053] ppid=21049 vsize=1794000 CPUtime=2.35 /proc/21051/task/21053/stat : 21053 (java) R 21049 21051 19837 0 -1 64 13021 0 1 0 228 7 0 0 25 0 13 0 109251639 1837056000 17111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109927296 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21054] ppid=21049 vsize=1794000 CPUtime=0 /proc/21051/task/21054/stat : 21054 (java) S 21049 21051 19837 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 109251641 1837056000 17111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21055] ppid=21049 vsize=1794000 CPUtime=0 /proc/21051/task/21055/stat : 21055 (java) S 21049 21051 19837 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 109251641 1837056000 17111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21056] ppid=21049 vsize=1794000 CPUtime=0 /proc/21051/task/21056/stat : 21056 (java) S 21049 21051 19837 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 109251643 1837056000 17111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21057] ppid=21049 vsize=1794000 CPUtime=0 /proc/21051/task/21057/stat : 21057 (java) S 21049 21051 19837 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 109251643 1837056000 17111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21058] ppid=21049 vsize=1794000 CPUtime=0 /proc/21051/task/21058/stat : 21058 (java) S 21049 21051 19837 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 109251644 1837056000 17111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21059] ppid=21049 vsize=1794000 CPUtime=0 /proc/21051/task/21059/stat : 21059 (java) S 21049 21051 19837 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 109251647 1837056000 17111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21060] ppid=21049 vsize=1794000 CPUtime=1.3 /proc/21051/task/21060/stat : 21060 (java) S 21049 21051 19837 0 -1 64 5394 0 0 0 129 1 0 0 16 0 13 0 109251647 1837056000 17111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21051/tid=21061] ppid=21049 vsize=1794000 CPUtime=0.88 /proc/21051/task/21061/stat : 21061 (java) S 21049 21051 19837 0 -1 64 2135 0 0 0 88 0 0 0 16 0 13 0 109251647 1837056000 17111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21062] ppid=21049 vsize=1794000 CPUtime=0 /proc/21051/task/21062/stat : 21062 (java) S 21049 21051 19837 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 109251647 1837056000 17111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21063] ppid=21049 vsize=1794000 CPUtime=0 /proc/21051/task/21063/stat : 21063 (java) S 21049 21051 19837 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 109251647 1837056000 17111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21051/tid=21065] ppid=21049 vsize=1794000 CPUtime=0 /proc/21051/task/21065/stat : 21065 (java) S 21049 21051 19837 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 109251830 1837056000 17111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 4.57 Current children cumulated vsize (KiB) 1794000 [startup+6.30127 s] /proc/loadavg: 0.94 1.01 0.99 2/90 21065 /proc/meminfo: memFree=1691560/2055920 swapFree=4159528/4192956 [pid=21051] ppid=21049 vsize=1793968 CPUtime=7.77 /proc/21051/stat : 21051 (java) S 21049 21051 19837 0 -1 0 29957 0 1 0 762 15 0 0 18 0 13 0 109251638 1837023232 25784 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21051/statm: 448492 25784 1318 9 0 446104 0 [pid=21051/tid=21053] ppid=21049 vsize=1793968 CPUtime=5.54 /proc/21051/task/21053/stat : 21053 (java) R 21049 21051 19837 0 -1 64 21703 0 1 0 543 11 0 0 25 0 13 0 109251639 1837023232 25784 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105880117 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21051/tid=21054] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21054/stat : 21054 (java) S 21049 21051 19837 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 109251641 1837023232 25784 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21055] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21055/stat : 21055 (java) S 21049 21051 19837 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 109251641 1837023232 25784 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21056] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21056/stat : 21056 (java) S 21049 21051 19837 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 109251643 1837023232 25784 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21051/tid=21057] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21057/stat : 21057 (java) S 21049 21051 19837 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 109251643 1837023232 25784 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21058] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21058/stat : 21058 (java) S 21049 21051 19837 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 109251644 1837023232 25784 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21059] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21059/stat : 21059 (java) S 21049 21051 19837 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 109251647 1837023232 25784 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21060] ppid=21049 vsize=1793968 CPUtime=1.31 /proc/21051/task/21060/stat : 21060 (java) S 21049 21051 19837 0 -1 64 5394 0 0 0 130 1 0 0 17 0 13 0 109251647 1837023232 25784 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21051/tid=21061] ppid=21049 vsize=1793968 CPUtime=0.88 /proc/21051/task/21061/stat : 21061 (java) S 21049 21051 19837 0 -1 64 2135 0 0 0 88 0 0 0 16 0 13 0 109251647 1837023232 25784 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21062] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21062/stat : 21062 (java) S 21049 21051 19837 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 109251647 1837023232 25784 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21063] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21063/stat : 21063 (java) S 21049 21051 19837 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 109251647 1837023232 25784 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21051/tid=21065] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21065/stat : 21065 (java) S 21049 21051 19837 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 109251830 1837023232 25784 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.77 Current children cumulated vsize (KiB) 1793968 [startup+12.703 s] /proc/loadavg: 0.94 1.01 0.99 2/90 21065 /proc/meminfo: memFree=1618280/2055920 swapFree=4159528/4192956 [pid=21051] ppid=21049 vsize=1793968 CPUtime=14.26 /proc/21051/stat : 21051 (java) S 21049 21051 19837 0 -1 0 61518 0 1 0 1394 32 0 0 18 0 13 0 109251638 1837023232 56057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21051/statm: 448492 56057 1325 9 0 446104 0 [pid=21051/tid=21053] ppid=21049 vsize=1793968 CPUtime=11.85 /proc/21051/task/21053/stat : 21053 (java) R 21049 21051 19837 0 -1 64 37695 0 1 0 1166 19 0 0 25 0 13 0 109251639 1837023232 56057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109523588 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21051/tid=21054] ppid=21049 vsize=1793968 CPUtime=0.08 /proc/21051/task/21054/stat : 21054 (java) S 21049 21051 19837 0 -1 64 8226 0 0 0 4 4 0 0 16 0 13 0 109251641 1837023232 56057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21055] ppid=21049 vsize=1793968 CPUtime=0.08 /proc/21051/task/21055/stat : 21055 (java) S 21049 21051 19837 0 -1 64 7342 0 0 0 4 4 0 0 17 0 13 0 109251641 1837023232 56057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21051/tid=21056] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21056/stat : 21056 (java) S 21049 21051 19837 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 109251643 1837023232 56057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21051/tid=21057] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21057/stat : 21057 (java) S 21049 21051 19837 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 109251643 1837023232 56057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21058] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21058/stat : 21058 (java) S 21049 21051 19837 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 109251644 1837023232 56057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21059] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21059/stat : 21059 (java) S 21049 21051 19837 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 109251647 1837023232 56057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21060] ppid=21049 vsize=1793968 CPUtime=1.31 /proc/21051/task/21060/stat : 21060 (java) S 21049 21051 19837 0 -1 64 5394 0 0 0 130 1 0 0 17 0 13 0 109251647 1837023232 56057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21051/tid=21061] ppid=21049 vsize=1793968 CPUtime=0.89 /proc/21051/task/21061/stat : 21061 (java) S 21049 21051 19837 0 -1 64 2135 0 0 0 89 0 0 0 16 0 13 0 109251647 1837023232 56057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21062] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21062/stat : 21062 (java) S 21049 21051 19837 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 109251647 1837023232 56057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21063] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21063/stat : 21063 (java) S 21049 21051 19837 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 109251647 1837023232 56057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21051/tid=21065] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21065/stat : 21065 (java) S 21049 21051 19837 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 109251830 1837023232 56057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 14.26 Current children cumulated vsize (KiB) 1793968 [startup+25.5024 s] /proc/loadavg: 0.96 1.00 0.99 2/90 21065 /proc/meminfo: memFree=1560616/2055920 swapFree=4159528/4192956 [pid=21051] ppid=21049 vsize=1793968 CPUtime=27.14 /proc/21051/stat : 21051 (java) S 21049 21051 19837 0 -1 0 61552 0 1 0 2682 32 0 0 18 0 13 0 109251638 1837023232 56090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21051/statm: 448492 56090 1325 9 0 446104 0 [pid=21051/tid=21053] ppid=21049 vsize=1793968 CPUtime=24.63 /proc/21051/task/21053/stat : 21053 (java) R 21049 21051 19837 0 -1 64 37709 0 1 0 2444 19 0 0 25 0 13 0 109251639 1837023232 56090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109927344 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21051/tid=21054] ppid=21049 vsize=1793968 CPUtime=0.08 /proc/21051/task/21054/stat : 21054 (java) S 21049 21051 19837 0 -1 64 8226 0 0 0 4 4 0 0 16 0 13 0 109251641 1837023232 56090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21055] ppid=21049 vsize=1793968 CPUtime=0.08 /proc/21051/task/21055/stat : 21055 (java) S 21049 21051 19837 0 -1 64 7342 0 0 0 4 4 0 0 17 0 13 0 109251641 1837023232 56090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21051/tid=21056] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21056/stat : 21056 (java) S 21049 21051 19837 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 109251643 1837023232 56090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=21051/tid=21056] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21056/stat : 21056 (java) S 21049 21051 19837 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 109251643 1837023232 390004 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21051/tid=21057] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21057/stat : 21057 (java) S 21049 21051 19837 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 109251643 1837023232 390004 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21058] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21058/stat : 21058 (java) S 21049 21051 19837 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 109251644 1837023232 390004 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21059] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21059/stat : 21059 (java) S 21049 21051 19837 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 109251647 1837023232 390004 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21060] ppid=21049 vsize=1793968 CPUtime=1.49 /proc/21051/task/21060/stat : 21060 (java) S 21049 21051 19837 0 -1 64 5423 0 0 0 148 1 0 0 17 0 13 0 109251647 1837023232 390004 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21051/tid=21061] ppid=21049 vsize=1793968 CPUtime=1.03 /proc/21051/task/21061/stat : 21061 (java) S 21049 21051 19837 0 -1 64 2142 0 0 0 103 0 0 0 16 0 13 0 109251647 1837023232 390004 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21062] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21062/stat : 21062 (java) S 21049 21051 19837 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 109251647 1837023232 390004 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21063] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21063/stat : 21063 (java) S 21049 21051 19837 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 109251647 1837023232 390004 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21051/tid=21065] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21065/stat : 21065 (java) S 21049 21051 19837 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 109251830 1837023232 390004 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1667.28 Current children cumulated vsize (KiB) 1793968 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 21065 /proc/meminfo: memFree=1324264/2055920 swapFree=4159528/4192956 [pid=21051] ppid=21049 vsize=1793968 CPUtime=1727.62 /proc/21051/stat : 21051 (java) S 21049 21051 19837 0 -1 0 435147 0 1 0 172476 286 0 0 18 0 13 0 109251638 1837023232 114338 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21051/statm: 448492 114338 1333 9 0 446104 0 [pid=21051/tid=21053] ppid=21049 vsize=1793968 CPUtime=1716.45 /proc/21051/task/21053/stat : 21053 (java) R 21049 21051 19837 0 -1 64 37763 0 1 0 171613 32 0 0 25 0 13 0 109251639 1837023232 114338 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109816268 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21051/tid=21054] ppid=21049 vsize=1793968 CPUtime=4.14 /proc/21051/task/21054/stat : 21054 (java) S 21049 21051 19837 0 -1 64 192161 0 0 0 299 115 0 0 16 0 13 0 109251641 1837023232 114338 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21051/tid=21055] ppid=21049 vsize=1793968 CPUtime=4.12 /proc/21051/task/21055/stat : 21055 (java) S 21049 21051 19837 0 -1 64 196927 0 0 0 295 117 0 0 16 0 13 0 109251641 1837023232 114338 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21056] ppid=21049 vsize=1793968 CPUtime=0.33 /proc/21051/task/21056/stat : 21056 (java) S 21049 21051 19837 0 -1 64 10 0 0 0 15 18 0 0 16 0 13 0 109251643 1837023232 114338 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21057] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21057/stat : 21057 (java) S 21049 21051 19837 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 109251643 1837023232 114338 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21058] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21058/stat : 21058 (java) S 21049 21051 19837 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 109251644 1837023232 114338 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21059] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21059/stat : 21059 (java) S 21049 21051 19837 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 109251647 1837023232 114338 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21060] ppid=21049 vsize=1793968 CPUtime=1.49 /proc/21051/task/21060/stat : 21060 (java) S 21049 21051 19837 0 -1 64 5423 0 0 0 148 1 0 0 17 0 13 0 109251647 1837023232 114338 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21051/tid=21061] ppid=21049 vsize=1793968 CPUtime=1.03 /proc/21051/task/21061/stat : 21061 (java) S 21049 21051 19837 0 -1 64 2142 0 0 0 103 0 0 0 16 0 13 0 109251647 1837023232 114338 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21062] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21062/stat : 21062 (java) S 21049 21051 19837 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 109251647 1837023232 114338 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21063] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21063/stat : 21063 (java) S 21049 21051 19837 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 109251647 1837023232 114338 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21065] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21065/stat : 21065 (java) S 21049 21051 19837 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 109251830 1837023232 114338 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1727.62 Current children cumulated vsize (KiB) 1793968 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 21065 /proc/meminfo: memFree=1347496/2055920 swapFree=4159528/4192956 [pid=21051] ppid=21049 vsize=1793968 CPUtime=1787.8 /proc/21051/stat : 21051 (java) S 21049 21051 19837 0 -1 0 435155 0 1 0 178493 287 0 0 18 0 13 0 109251638 1837023232 108519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21051/statm: 448492 108519 1333 9 0 446104 0 [pid=21051/tid=21053] ppid=21049 vsize=1793968 CPUtime=1776.22 /proc/21051/task/21053/stat : 21053 (java) R 21049 21051 19837 0 -1 64 37771 0 1 0 177590 32 0 0 25 0 13 0 109251639 1837023232 108519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109816297 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21051/tid=21054] ppid=21049 vsize=1793968 CPUtime=4.35 /proc/21051/task/21054/stat : 21054 (java) S 21049 21051 19837 0 -1 64 192161 0 0 0 320 115 0 0 16 0 13 0 109251641 1837023232 108519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21055] ppid=21049 vsize=1793968 CPUtime=4.32 /proc/21051/task/21055/stat : 21055 (java) S 21049 21051 19837 0 -1 64 196927 0 0 0 315 117 0 0 16 0 13 0 109251641 1837023232 108519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21051/tid=21056] ppid=21049 vsize=1793968 CPUtime=0.33 /proc/21051/task/21056/stat : 21056 (java) S 21049 21051 19837 0 -1 64 10 0 0 0 15 18 0 0 16 0 13 0 109251643 1837023232 108519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21057] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21057/stat : 21057 (java) S 21049 21051 19837 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 109251643 1837023232 108519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21058] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21058/stat : 21058 (java) S 21049 21051 19837 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 109251644 1837023232 108519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21059] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21059/stat : 21059 (java) S 21049 21051 19837 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 109251647 1837023232 108519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21060] ppid=21049 vsize=1793968 CPUtime=1.49 /proc/21051/task/21060/stat : 21060 (java) S 21049 21051 19837 0 -1 64 5423 0 0 0 148 1 0 0 17 0 13 0 109251647 1837023232 108519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21051/tid=21061] ppid=21049 vsize=1793968 CPUtime=1.03 /proc/21051/task/21061/stat : 21061 (java) S 21049 21051 19837 0 -1 64 2142 0 0 0 103 0 0 0 16 0 13 0 109251647 1837023232 108519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21062] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21062/stat : 21062 (java) S 21049 21051 19837 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 109251647 1837023232 108519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21063] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21063/stat : 21063 (java) S 21049 21051 19837 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 109251647 1837023232 108519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21051/tid=21065] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21065/stat : 21065 (java) S 21049 21051 19837 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 109251830 1837023232 108519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1787.8 Current children cumulated vsize (KiB) 1793968 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1794.5 s] /proc/loadavg: 1.00 1.00 1.00 2/90 21065 /proc/meminfo: memFree=1352680/2055920 swapFree=4159528/4192956 [pid=21051] ppid=21049 vsize=1793968 CPUtime=1800.03 /proc/21051/stat : 21051 (java) S 21049 21051 19837 0 -1 0 435157 0 1 0 179715 288 0 0 18 0 13 0 109251638 1837023232 107237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21051/statm: 448492 107237 1333 9 0 446104 0 [pid=21051/tid=21053] ppid=21049 vsize=1793968 CPUtime=1788.39 /proc/21051/task/21053/stat : 21053 (java) R 21049 21051 19837 0 -1 64 37773 0 1 0 178807 32 0 0 25 0 13 0 109251639 1837023232 107237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109816402 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21051/tid=21054] ppid=21049 vsize=1793968 CPUtime=4.37 /proc/21051/task/21054/stat : 21054 (java) S 21049 21051 19837 0 -1 64 192161 0 0 0 322 115 0 0 16 0 13 0 109251641 1837023232 107237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21055] ppid=21049 vsize=1793968 CPUtime=4.35 /proc/21051/task/21055/stat : 21055 (java) S 21049 21051 19837 0 -1 64 196927 0 0 0 318 117 0 0 16 0 13 0 109251641 1837023232 107237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21051/tid=21056] ppid=21049 vsize=1793968 CPUtime=0.33 /proc/21051/task/21056/stat : 21056 (java) S 21049 21051 19837 0 -1 64 10 0 0 0 15 18 0 0 16 0 13 0 109251643 1837023232 107237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21051/tid=21057] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21057/stat : 21057 (java) S 21049 21051 19837 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 109251643 1837023232 107237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21058] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21058/stat : 21058 (java) S 21049 21051 19837 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 109251644 1837023232 107237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21059] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21059/stat : 21059 (java) S 21049 21051 19837 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 109251647 1837023232 107237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21060] ppid=21049 vsize=1793968 CPUtime=1.49 /proc/21051/task/21060/stat : 21060 (java) S 21049 21051 19837 0 -1 64 5423 0 0 0 148 1 0 0 17 0 13 0 109251647 1837023232 107237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21051/tid=21061] ppid=21049 vsize=1793968 CPUtime=1.03 /proc/21051/task/21061/stat : 21061 (java) S 21049 21051 19837 0 -1 64 2142 0 0 0 103 0 0 0 16 0 13 0 109251647 1837023232 107237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21062] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21062/stat : 21062 (java) S 21049 21051 19837 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 109251647 1837023232 107237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21063] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21063/stat : 21063 (java) S 21049 21051 19837 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 109251647 1837023232 107237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21051/tid=21065] ppid=21049 vsize=1793968 CPUtime=0 /proc/21051/task/21065/stat : 21065 (java) S 21049 21051 19837 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 109251830 1837023232 107237 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) 1793968 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1794.61 s] /proc/loadavg: 1.00 1.00 1.00 2/90 21065 /proc/meminfo: memFree=1352680/2055920 swapFree=4159528/4192956 [pid=21051] ppid=21049 vsize=1794616 CPUtime=1800.24 /proc/21051/stat : 21051 (java) S 21049 21051 19837 0 -1 0 435178 0 1 0 179736 288 0 0 16 0 15 0 109251638 1837686784 107258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/21051/statm: 448654 107258 1333 9 0 446266 0 [pid=21051/tid=21053] ppid=21049 vsize=1794616 CPUtime=1788.5 /proc/21051/task/21053/stat : 21053 (java) R 21049 21051 19837 0 -1 64 37773 0 1 0 178818 32 0 0 25 0 15 0 109251639 1837686784 107258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109816337 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21051/tid=21054] ppid=21049 vsize=1794616 CPUtime=4.37 /proc/21051/task/21054/stat : 21054 (java) S 21049 21051 19837 0 -1 64 192161 0 0 0 322 115 0 0 16 0 15 0 109251641 1837686784 107258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21055] ppid=21049 vsize=1794616 CPUtime=4.35 /proc/21051/task/21055/stat : 21055 (java) S 21049 21051 19837 0 -1 64 196927 0 0 0 318 117 0 0 16 0 15 0 109251641 1837686784 107258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21051/tid=21056] ppid=21049 vsize=1794616 CPUtime=0.33 /proc/21051/task/21056/stat : 21056 (java) S 21049 21051 19837 0 -1 64 10 0 0 0 15 18 0 0 16 0 15 0 109251643 1837686784 107258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21051/tid=21057] ppid=21049 vsize=1794616 CPUtime=0 /proc/21051/task/21057/stat : 21057 (java) S 21049 21051 19837 0 -1 64 9 0 0 0 0 0 0 0 17 0 15 0 109251643 1837686784 107258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21058] ppid=21049 vsize=1794616 CPUtime=0 /proc/21051/task/21058/stat : 21058 (java) S 21049 21051 19837 0 -1 64 6 0 0 0 0 0 0 0 16 0 15 0 109251644 1837686784 107258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21059] ppid=21049 vsize=1794616 CPUtime=0 /proc/21051/task/21059/stat : 21059 (java) S 21049 21051 19837 0 -1 64 6 0 0 0 0 0 0 0 18 0 15 0 109251647 1837686784 107258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21060] ppid=21049 vsize=1794616 CPUtime=1.55 /proc/21051/task/21060/stat : 21060 (java) R 21049 21051 19837 0 -1 64 5427 0 0 0 154 1 0 0 16 0 15 0 109251647 1837686784 107258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 104809817 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21061] ppid=21049 vsize=1794616 CPUtime=1.04 /proc/21051/task/21061/stat : 21061 (java) S 21049 21051 19837 0 -1 64 2142 0 0 0 104 0 0 0 16 0 15 0 109251647 1837686784 107258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21062] ppid=21049 vsize=1794616 CPUtime=0 /proc/21051/task/21062/stat : 21062 (java) S 21049 21051 19837 0 -1 64 2 0 0 0 0 0 0 0 25 0 15 0 109251647 1837686784 107258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21051/tid=21063] ppid=21049 vsize=1794616 CPUtime=0 /proc/21051/task/21063/stat : 21063 (java) S 21049 21051 19837 0 -1 64 0 0 0 0 0 0 0 0 15 0 15 0 109251647 1837686784 107258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21051/tid=21065] ppid=21049 vsize=1794616 CPUtime=0 /proc/21051/task/21065/stat : 21065 (java) S 21049 21051 19837 0 -1 64 0 0 0 0 0 0 0 0 24 0 15 0 109251830 1837686784 107258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 1794616 [startup+1794.7 s] /proc/loadavg: 1.00 1.00 1.00 2/90 21065 /proc/meminfo: memFree=1352680/2055920 swapFree=4159528/4192956 [pid=21051] ppid=21049 vsize=0 CPUtime=1800.35 /proc/21051/stat : 21051 (java) Z 21049 21051 19837 0 -1 1036 435181 0 1 0 179741 294 0 0 15 0 2 0 109251638 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/21051/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.35 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1794.71 CPU time (s): 1800.37 CPU user time (s): 1797.42 CPU system time (s): 2.94955 CPU usage (%): 100.315 Max. virtual memory (cumulated for all children) (KiB): 1795884 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.42 system time used= 2.94955 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 435181 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 37541 involuntary context switches= 38566 runsolver used 1.53377 second user time and 5.03923 second system time The end
Begin job on node19 on Sun Apr 15 05:02:23 UTC 2007 IDJOB= 351781 IDBENCH= 1810 IDSOLVER= 159 FILE ID= node19/351781-1176613342 PBS_JOBID= 4556822 Free space on /tmp= 66542 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-mkc.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351781-1176613342/sat4jPseudoResolution.jar /tmp/evaluation/351781-1176613342/instance-351781-1176613342.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-351781-1176613342 -o ROOT/results/node19/solver-351781-1176613342 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351781-1176613342/sat4jPseudoResolution.jar /tmp/evaluation/351781-1176613342/instance-351781-1176613342.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 7ddc5796bc843f2bf9bc94a0b22fd8e4 RANDOM SEED= 635268932 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node19.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.213 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.213 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: 1781080 kB Buffers: 44064 kB Cached: 140860 kB SwapCached: 2960 kB Active: 69696 kB Inactive: 147804 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1781080 kB SwapTotal: 4192956 kB SwapFree: 4159528 kB Dirty: 3904 kB Writeback: 0 kB Mapped: 31980 kB Slab: 42812 kB Committed_AS: 2862488 kB PageTables: 1792 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= 66542 MiB End job on node19 on Sun Apr 15 05:32:19 UTC 2007