Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4jPseudoCP 2007-03-23 | SAT (TO) | 2147483575 | 1800.28 | 1786.57 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb |
MD5SUM | 6eba7367ef128fb0872fe815e4ef2398 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1207959552 |
Best CPU time to get the best result obtained on this benchmark | 1800.19 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1207959552 |
Optimality of the best value was proved | NO |
Number of variables | 6651 |
Total number of constraints | 721 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 331 |
Number of constraints which are nor clauses,nor cardinality constraints | 390 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 6651 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 1073741824 |
Number of bits of the biggest number in a constraint | 31 |
Biggest sum of numbers in a constraint | 26715880447 |
Number of bits of the biggest sum of numbers | 35 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.15 c no version file found!!! 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.9-22.EL.rootsmp 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1651659224 0.08/0.15 c Max memory 1654456320 0.08/0.15 c Total memory 1654456320 0.08/0.15 c Number of processors 2 0.20/0.20 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolver) 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=10000.0 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/354439-1176709491/instance-354439-1176709491.opb 0.20/0.20 c reading problem ... 2.47/2.08 c ... done. Wall clock time 1.876s. 2.47/2.08 c CPU time (experimental) 1.75s. 2.47/2.08 c #vars 6651 2.47/2.08 c #constraints 721 4.36/3.33 c SATISFIABLE 4.36/3.34 c OPTIMIZING... 4.36/3.34 c Got one! Elapsed wall clock time (in seconds):3.134 4.36/3.34 o 2147483647 5.95/4.69 c Got one! Elapsed wall clock time (in seconds):4.492 5.95/4.69 o 2147483646 250.23/247.25 c Got one! Elapsed wall clock time (in seconds):247.045 250.23/247.25 o 2147483645 251.44/248.41 c Got one! Elapsed wall clock time (in seconds):248.212 251.44/248.41 o 2147483644 252.45/249.42 c Got one! Elapsed wall clock time (in seconds):249.223 252.45/249.42 o 2147483643 253.26/250.26 c Got one! Elapsed wall clock time (in seconds):250.056 253.26/250.26 o 2147483642 265.95/262.82 c Got one! Elapsed wall clock time (in seconds):262.622 265.95/262.82 o 2147483641 267.05/263.92 c Got one! Elapsed wall clock time (in seconds):263.714 267.05/263.92 o 2147483640 306.49/303.12 c Got one! Elapsed wall clock time (in seconds):302.913 306.49/303.12 o 2147483639 335.97/332.45 c Got one! Elapsed wall clock time (in seconds):332.245 335.97/332.45 o 2147483638 337.29/333.72 c Got one! Elapsed wall clock time (in seconds):333.514 337.29/333.72 o 2147483637 338.40/334.86 c Got one! Elapsed wall clock time (in seconds):334.662 338.40/334.86 o 2147483636 351.87/348.24 c Got one! Elapsed wall clock time (in seconds):348.041 351.87/348.24 o 2147483635 353.08/349.47 c Got one! Elapsed wall clock time (in seconds):349.269 353.08/349.47 o 2147483634 366.78/363.04 c Got one! Elapsed wall clock time (in seconds):362.834 366.78/363.04 o 2147483633 367.99/364.21 c Got one! Elapsed wall clock time (in seconds):364.004 367.99/364.21 o 2147483632 381.45/377.69 c Got one! Elapsed wall clock time (in seconds):377.484 381.45/377.69 o 2147483631 382.76/378.97 c Got one! Elapsed wall clock time (in seconds):378.768 382.76/378.97 o 2147483630 384.17/380.35 c Got one! Elapsed wall clock time (in seconds):380.15 384.17/380.35 o 2147483629 385.59/381.71 c Got one! Elapsed wall clock time (in seconds):381.508 385.59/381.71 o 2147483628 386.59/382.73 c Got one! Elapsed wall clock time (in seconds):382.53 386.59/382.73 o 2147483627 387.90/384.03 c Got one! Elapsed wall clock time (in seconds):383.831 387.90/384.03 o 2147483626 389.00/385.14 c Got one! Elapsed wall clock time (in seconds):384.941 389.00/385.14 o 2147483625 390.31/386.44 c Got one! Elapsed wall clock time (in seconds):386.238 390.31/386.44 o 2147483624 391.53/387.60 c Got one! Elapsed wall clock time (in seconds):387.403 391.53/387.61 o 2147483623 392.85/388.92 c Got one! Elapsed wall clock time (in seconds):388.72 392.85/388.92 o 2147483622 394.05/390.10 c Got one! Elapsed wall clock time (in seconds):389.898 394.05/390.10 o 2147483621 395.26/391.34 c Got one! Elapsed wall clock time (in seconds):391.137 395.26/391.34 o 2147483620 396.47/392.58 c Got one! Elapsed wall clock time (in seconds):392.379 396.47/392.58 o 2147483619 408.54/404.58 c Got one! Elapsed wall clock time (in seconds):404.382 408.54/404.58 o 2147483618 409.75/405.75 c Got one! Elapsed wall clock time (in seconds):405.548 409.75/405.75 o 2147483617 411.07/407.01 c Got one! Elapsed wall clock time (in seconds):406.812 411.07/407.01 o 2147483616 412.37/408.30 c Got one! Elapsed wall clock time (in seconds):408.103 412.37/408.30 o 2147483615 413.58/409.50 c Got one! Elapsed wall clock time (in seconds):409.298 413.58/409.50 o 2147483614 414.70/410.62 c Got one! Elapsed wall clock time (in seconds):410.418 414.70/410.62 o 2147483613 415.82/411.74 c Got one! Elapsed wall clock time (in seconds):411.536 415.82/411.74 o 2147483612 416.82/412.71 c Got one! Elapsed wall clock time (in seconds):412.507 416.82/412.71 o 2147483611 417.93/413.84 c Got one! Elapsed wall clock time (in seconds):413.642 417.93/413.84 o 2147483610 419.03/414.95 c Got one! Elapsed wall clock time (in seconds):414.752 419.03/414.95 o 2147483609 420.14/416.09 c Got one! Elapsed wall clock time (in seconds):415.886 420.14/416.09 o 2147483608 421.36/417.28 c Got one! Elapsed wall clock time (in seconds):417.079 421.36/417.28 o 2147483607 448.90/444.69 c Got one! Elapsed wall clock time (in seconds):444.493 448.90/444.69 o 2147483606 450.22/445.97 c Got one! Elapsed wall clock time (in seconds):445.77 450.22/445.97 o 2147483605 451.63/447.39 c Got one! Elapsed wall clock time (in seconds):447.191 451.63/447.39 o 2147483604 467.74/463.36 c Got one! Elapsed wall clock time (in seconds):463.154 467.74/463.36 o 2147483603 469.16/464.75 c Got one! Elapsed wall clock time (in seconds):464.544 469.16/464.75 o 2147483602 470.57/466.15 c Got one! Elapsed wall clock time (in seconds):465.948 470.57/466.15 o 2147483601 472.08/467.60 c Got one! Elapsed wall clock time (in seconds):467.402 472.08/467.60 o 2147483600 473.31/468.86 c Got one! Elapsed wall clock time (in seconds):468.661 473.31/468.86 o 2147483599 474.61/470.17 c Got one! Elapsed wall clock time (in seconds):469.965 474.61/470.17 o 2147483598 483.27/478.73 c Got one! Elapsed wall clock time (in seconds):478.529 483.27/478.73 o 2147483597 504.07/499.41 c Got one! Elapsed wall clock time (in seconds):499.204 504.07/499.41 o 2147483596 505.58/500.90 c Got one! Elapsed wall clock time (in seconds):500.696 505.58/500.90 o 2147483595 507.00/502.31 c Got one! Elapsed wall clock time (in seconds):502.104 507.00/502.31 o 2147483594 508.42/503.73 c Got one! Elapsed wall clock time (in seconds):503.528 508.42/503.73 o 2147483593 509.98/505.22 c Got one! Elapsed wall clock time (in seconds):505.017 509.98/505.22 o 2147483592 511.49/506.74 c Got one! Elapsed wall clock time (in seconds):506.54 511.49/506.74 o 2147483591 513.11/508.33 c Got one! Elapsed wall clock time (in seconds):508.133 513.11/508.33 o 2147483590 514.53/509.75 c Got one! Elapsed wall clock time (in seconds):509.55 514.53/509.75 o 2147483589 516.03/511.28 c Got one! Elapsed wall clock time (in seconds):511.081 516.03/511.28 o 2147483588 565.75/560.62 c Got one! Elapsed wall clock time (in seconds):560.424 565.75/560.63 o 2147483587 613.48/608.08 c Got one! Elapsed wall clock time (in seconds):607.883 613.48/608.08 o 2147483586 658.22/652.45 c Got one! Elapsed wall clock time (in seconds):652.252 658.22/652.45 o 2147483585 701.66/695.51 c Got one! Elapsed wall clock time (in seconds):695.304 701.66/695.51 o 2147483584 749.27/742.87 c Got one! Elapsed wall clock time (in seconds):742.667 749.27/742.87 o 2147483583 750.78/744.40 c Got one! Elapsed wall clock time (in seconds):744.194 750.78/744.40 o 2147483582 799.54/792.86 c Got one! Elapsed wall clock time (in seconds):792.658 799.54/792.86 o 2147483581 800.95/794.22 c Got one! Elapsed wall clock time (in seconds):794.017 800.95/794.22 o 2147483580 1206.26/1196.84 c Got one! Elapsed wall clock time (in seconds):1196.642 1206.26/1196.84 o 2147483579 1250.71/1240.99 c Got one! Elapsed wall clock time (in seconds):1240.787 1250.71/1240.99 o 2147483578 1365.85/1355.25 c Got one! Elapsed wall clock time (in seconds):1355.045 1365.85/1355.25 o 2147483577 1549.55/1537.80 c Got one! Elapsed wall clock time (in seconds):1537.597 1549.55/1537.80 o 2147483576 1736.46/1723.30 c Got one! Elapsed wall clock time (in seconds):1723.103 1736.46/1723.30 o 2147483575 1800.03/1786.42 c starts : 74 1800.03/1786.42 c conflicts : 272 1800.03/1786.42 c decisions : 476979 1800.03/1786.42 c propagations : 960829 1800.03/1786.42 c inspects : 28045752 1800.03/1786.42 c learnt literals : 0 1800.03/1786.42 c learnt binary clauses : 0 1800.03/1786.42 c learnt ternary clauses : 0 1800.03/1786.42 c learnt clauses : 271 1800.03/1786.44 c root simplifications : 0 1800.03/1786.44 c removed literals (reason simplification) : 0 1800.03/1786.44 c reason swapping (by a shorter reason) : 0 1800.03/1786.44 c Calls to reduceDB : 0 1800.03/1786.44 c speed (decisions/second) : 7554.7864926507855 1800.03/1786.44 c non guided choices 3054 1800.03/1786.44 s SATISFIABLE 1800.03/1786.47 v x1 x2 x3 -x4 x5 x6 -x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 -x32 -x33 -x34 -x35 1800.03/1786.47 v -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 1800.03/1786.47 v -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 1800.03/1786.47 v -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 1800.03/1786.47 v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 1800.03/1786.47 v -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 1800.03/1786.47 v -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 1800.03/1786.47 v -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 1800.03/1786.47 v -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 1800.03/1786.47 v -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 1800.03/1786.47 v -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 1800.03/1786.47 v -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 1800.03/1786.47 v -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 1800.03/1786.47 v -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 1800.03/1786.47 v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 1800.03/1786.47 v -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 1800.03/1786.47 v -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 1800.03/1786.47 v -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 1800.03/1786.47 v -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 1800.03/1786.47 v -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 1800.03/1786.47 v -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 1800.03/1786.47 v -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 1800.03/1786.47 v -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 1800.03/1786.47 v -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 1800.03/1786.47 v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 1800.03/1786.47 v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 1800.03/1786.47 v -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 1800.03/1786.47 v -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 1800.03/1786.47 v -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 1800.03/1786.47 v -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 1800.03/1786.47 v -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 1800.03/1786.47 v -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 1800.03/1786.47 v -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 1800.03/1786.47 v -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 1800.03/1786.47 v -x741 -x742 -x743 -x744 -x745 x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 1800.03/1786.47 v -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 1800.03/1786.47 v -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 1800.03/1786.47 v -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 x819 -x820 -x821 -x822 -x823 -x824 1800.03/1786.47 v -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 1800.03/1786.47 v -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 1800.03/1786.47 v -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 1800.03/1786.47 v -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 x900 -x901 -x902 -x903 -x904 -x905 x906 -x907 -x908 1800.03/1786.47 v -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 1800.03/1786.47 v -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 1800.03/1786.47 v -x951 -x952 -x953 -x954 x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 1800.03/1786.47 v -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 1800.03/1786.47 v -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 1800.03/1786.47 v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 1800.03/1786.47 v -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 1800.03/1786.47 v -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 1800.03/1786.47 v -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 1800.03/1786.47 v x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 1800.03/1786.47 v -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 1800.03/1786.47 v -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 1800.03/1786.47 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 1800.03/1786.47 v -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 1800.03/1786.47 v -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 1800.03/1786.47 v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 1800.03/1786.47 v -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 1800.03/1786.47 v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 1800.03/1786.47 v -x1232 -x1233 -x1234 x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 1800.03/1786.47 v -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 1800.03/1786.47 v -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 1800.03/1786.47 v -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 1800.03/1786.47 v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 1800.03/1786.47 v -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 1800.03/1786.47 v -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 1800.03/1786.47 v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 1800.03/1786.47 v -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 1800.03/1786.47 v -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 1800.03/1786.47 v -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 1800.03/1786.47 v -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 1800.03/1786.47 v -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 1800.03/1786.47 v -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 1800.03/1786.47 v -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 1800.03/1786.47 v -x1487 -x1488 -x1489 -x1490 x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 1800.03/1786.47 v -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 1800.03/1786.47 v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 1800.03/1786.47 v -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 1800.03/1786.47 v -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 1800.03/1786.47 v -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 1800.03/1786.47 v -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 1800.03/1786.47 v -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 1800.03/1786.47 v -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 1800.03/1786.47 v -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 1800.03/1786.47 v -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 1800.03/1786.47 v -x1674 -x1675 -x1676 x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 1800.03/1786.47 v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 1800.03/1786.47 v -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 1800.03/1786.47 v -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 1800.03/1786.47 v -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 1800.03/1786.47 v -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 1800.03/1786.47 v -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 1800.03/1786.47 v -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 1800.03/1786.47 v -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 1800.03/1786.47 v -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 1800.03/1786.47 v -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 1800.03/1786.47 v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 1800.03/1786.47 v x1878 x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 1800.03/1786.47 v -x1896 -x1897 -x1898 -x1899 -x1900 x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 1800.03/1786.47 v -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 1800.03/1786.47 v -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 1800.03/1786.47 v -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 1800.03/1786.47 v -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 1800.03/1786.47 v -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 1800.03/1786.47 v -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 1800.03/1786.47 v -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 1800.03/1786.47 v -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 x2043 -x2044 -x2045 -x2046 -x2047 -x2048 1800.03/1786.47 v -x2049 -x2050 -x2051 -x2052 -x2053 x2054 -x2055 -x2056 x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 1800.03/1786.47 v -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 1800.03/1786.47 v -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 1800.03/1786.47 v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 1800.03/1786.47 v -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 1800.03/1786.47 v -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 1800.03/1786.47 v -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 1800.03/1786.47 v -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 1800.03/1786.47 v -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 1800.03/1786.47 v -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 1800.03/1786.47 v -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 1800.03/1786.47 v -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 1800.03/1786.47 v -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 1800.03/1786.47 v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 1800.03/1786.47 v -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 1800.03/1786.47 v -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 1800.03/1786.47 v -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 1800.03/1786.47 v -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 1800.03/1786.47 v -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 1800.03/1786.47 v -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 1800.03/1786.47 v -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 1800.03/1786.47 v -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 1800.03/1786.47 v -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 1800.03/1786.47 v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 1800.03/1786.47 v -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 1800.03/1786.47 v -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 1800.03/1786.47 v -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 1800.03/1786.47 v -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 1800.03/1786.47 v -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 1800.03/1786.47 v -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 1800.03/1786.47 v -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 1800.03/1786.47 v -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 1800.03/1786.47 v -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 1800.03/1786.47 v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 1800.03/1786.47 v -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 1800.03/1786.47 v -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 1800.03/1786.47 v x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 1800.03/1786.47 v -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 x2691 -x2692 -x2693 -x2694 -x2695 1800.03/1786.47 v -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 1800.03/1786.47 v -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 1800.03/1786.47 v -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 x2741 -x2742 -x2743 -x2744 -x2745 -x2746 1800.03/1786.47 v -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 1800.03/1786.47 v -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 1800.03/1786.47 v -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 1800.03/1786.47 v -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 x2813 -x2814 1800.03/1786.47 v -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 1800.03/1786.47 v -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 1800.03/1786.47 v -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 1800.03/1786.47 v -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 1800.03/1786.47 v -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 1800.03/1786.47 v -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 1800.03/1786.47 v -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 1800.03/1786.47 v -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 1800.03/1786.47 v -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 1800.03/1786.47 v -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 1800.03/1786.47 v -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 1800.03/1786.47 v -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 1800.03/1786.47 v -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 1800.03/1786.47 v -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 1800.03/1786.47 v -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 1800.03/1786.47 v -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 1800.03/1786.47 v -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 1800.03/1786.47 v -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 1800.03/1786.47 v -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 1800.03/1786.47 v -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 1800.03/1786.47 v -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 1800.03/1786.47 v -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 1800.03/1786.47 v -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 1800.03/1786.47 v -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 1800.03/1786.47 v -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 1800.03/1786.47 v -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 1800.03/1786.47 v -x3257 -x3258 x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 1800.03/1786.47 v -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 1800.03/1786.47 v -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 1800.03/1786.47 v -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 1800.03/1786.47 v -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 1800.03/1786.47 v -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 1800.03/1786.47 v -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 1800.03/1786.47 v -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 x3390 -x3391 -x3392 1800.03/1786.47 v -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 1800.03/1786.47 v -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 1800.03/1786.47 v -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 1800.03/1786.47 v -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 1800.03/1786.47 v -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 1800.03/1786.47 v -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 1800.03/1786.47 v -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 1800.03/1786.47 v -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 1800.03/1786.47 v -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 1800.03/1786.47 v -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 1800.03/1786.47 v -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 1800.03/1786.47 v -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 1800.03/1786.47 v -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 1800.03/1786.47 v -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 1800.03/1786.47 v -x3631 -x3632 -x3633 x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 1800.03/1786.47 v -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 1800.03/1786.47 v -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 1800.03/1786.47 v -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 1800.03/1786.47 v -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 1800.03/1786.47 v -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 1800.03/1786.47 v -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 1800.03/1786.47 v -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 1800.03/1786.47 v -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 1800.03/1786.47 v -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 1800.03/1786.47 v -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 1800.03/1786.47 v -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 1800.03/1786.47 v -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 1800.03/1786.47 v -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 1800.03/1786.47 v -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 1800.03/1786.47 v -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 1800.03/1786.47 v -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 1800.03/1786.47 v -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 1800.03/1786.47 v -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 1800.03/1786.47 v -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 1800.03/1786.47 v -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 1800.03/1786.47 v -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 1800.03/1786.47 v -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 1800.03/1786.47 v -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 1800.03/1786.47 v -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 1800.03/1786.47 v -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 1800.03/1786.47 v -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 1800.03/1786.47 v -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 1800.03/1786.47 v -x4107 -x4108 x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 1800.03/1786.47 v -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 1800.03/1786.47 v -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 1800.03/1786.47 v -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 1800.03/1786.47 v -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 1800.03/1786.47 v -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 1800.03/1786.47 v -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 1800.03/1786.47 v -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 1800.03/1786.47 v -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 1800.03/1786.47 v -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 x4276 1800.03/1786.47 v -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 1800.03/1786.47 v -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 1800.03/1786.47 v -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 1800.03/1786.47 v -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 1800.03/1786.47 v -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 1800.03/1786.47 v -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 1800.03/1786.47 v -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 1800.03/1786.47 v -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 1800.03/1786.47 v -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 1800.03/1786.47 v -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 1800.03/1786.47 v -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 1800.03/1786.47 v -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 1800.03/1786.47 v -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 1800.03/1786.47 v -x4498 x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 1800.03/1786.47 v -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 1800.03/1786.47 v -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 1800.03/1786.47 v -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 1800.03/1786.47 v -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 1800.03/1786.47 v -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 1800.03/1786.47 v -x4600 -x4601 -x4602 x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 1800.03/1786.47 v -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 1800.03/1786.47 v -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 1800.03/1786.47 v -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 1800.03/1786.47 v -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 1800.03/1786.47 v -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 1800.03/1786.47 v -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 1800.03/1786.47 v -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 1800.03/1786.47 v -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 1800.03/1786.47 v -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 1800.03/1786.47 v -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 1800.03/1786.47 v -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 1800.03/1786.47 v -x4804 -x4805 x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 1800.03/1786.47 v -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 1800.03/1786.47 v -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 x4851 -x4852 -x4853 -x4854 1800.03/1786.47 v -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 1800.03/1786.47 v -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 1800.03/1786.47 v -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 1800.03/1786.47 v -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 1800.03/1786.47 v -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 1800.03/1786.47 v -x4940 -x4941 -x4942 x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 1800.03/1786.47 v -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 1800.03/1786.47 v -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 1800.03/1786.47 v -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 1800.03/1786.47 v -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 1800.03/1786.47 v -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 1800.03/1786.47 v -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 1800.03/1786.47 v -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 1800.03/1786.47 v -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 1800.03/1786.47 v -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 1800.03/1786.47 v -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 1800.03/1786.47 v -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 1800.03/1786.47 v -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 1800.03/1786.47 v -x5161 -x5162 -x5163 -x5164 x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 1800.03/1786.47 v -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 1800.03/1786.47 v -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 1800.03/1786.47 v -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 1800.03/1786.47 v -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 1800.03/1786.47 v -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 1800.03/1786.47 v -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 1800.03/1786.47 v -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 1800.03/1786.47 v -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 1800.03/1786.47 v -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 1800.03/1786.47 v -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 1800.03/1786.47 v -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 1800.03/1786.47 v -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 1800.03/1786.47 v -x5382 -x5383 -x5384 -x5385 -x5386 x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 1800.03/1786.47 v -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 1800.03/1786.47 v -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 1800.03/1786.47 v -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 1800.03/1786.47 v -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 1800.03/1786.47 v -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 1800.03/1786.47 v -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 1800.03/1786.47 v -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 1800.03/1786.47 v -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 1800.03/1786.47 v -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 1800.03/1786.47 v -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 1800.03/1786.47 v -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 1800.03/1786.47 v -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 1800.03/1786.47 v -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 1800.03/1786.47 v -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 1800.03/1786.47 v -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 1800.03/1786.47 v -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 1800.03/1786.47 v -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 1800.03/1786.47 v -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 1800.03/1786.47 v -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 1800.03/1786.47 v -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 1800.03/1786.47 v -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 1800.03/1786.47 v -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 1800.03/1786.47 v -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 1800.03/1786.47 v -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 1800.03/1786.47 v -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 1800.03/1786.47 v -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 1800.03/1786.47 v -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 x5852 -x5853 -x5854 -x5855 -x5856 -x5857 1800.03/1786.47 v -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 1800.03/1786.47 v -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 1800.03/1786.47 v -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 1800.03/1786.47 v -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 1800.03/1786.47 v -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 1800.03/1786.47 v -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 1800.03/1786.47 v -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 1800.03/1786.47 v -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 1800.03/1786.47 v -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 1800.03/1786.47 v -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 1800.03/1786.47 v -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 1800.03/1786.47 v -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 1800.03/1786.47 v -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 1800.03/1786.47 v -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 1800.03/1786.47 v -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 1800.03/1786.47 v -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 1800.03/1786.47 v -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 1800.03/1786.47 v -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 1800.03/1786.47 v -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 1800.03/1786.47 v -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 1800.03/1786.47 v -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 1800.03/1786.47 v -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 1800.03/1786.47 v -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 1800.03/1786.47 v -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 1800.03/1786.47 v -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 1800.03/1786.47 v -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 1800.03/1786.47 v -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 1800.03/1786.47 v -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 1800.03/1786.47 v -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 1800.03/1786.47 v -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 1800.03/1786.47 v -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 1800.03/1786.47 v -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 1800.03/1786.47 v -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 1800.03/1786.47 v -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 1800.03/1786.47 v -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 1800.03/1786.47 v -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 x6464 -x6465 -x6466 -x6467 -x6468 -x6469 1800.03/1786.47 v -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 1800.03/1786.47 v -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 x6500 -x6501 -x6502 -x6503 1800.03/1786.47 v -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 1800.03/1786.47 v -x6521 x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 1800.03/1786.47 v -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 1800.03/1786.47 v -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 x6570 -x6571 1800.03/1786.47 v -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 1800.03/1786.47 v -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 1800.03/1786.47 v -x6606 -x6607 -x6608 -x6609 -x6610 x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 1800.03/1786.47 v -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 1800.03/1786.47 v -x6640 -x6641 -x6642 -x6643 x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 1800.03/1786.50 c objective function=2147483575 1800.03/1786.50 c Total wall clock time (ms): 1786.297
OK 2147483575
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node25/watcher-354439-1176709491 -o ROOT/results/node25/solver-354439-1176709491 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354439-1176709491/sat4jPseudoCP.jar /tmp/evaluation/354439-1176709491/instance-354439-1176709491.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.92 0.98 0.99 2/64 4635 /proc/meminfo: memFree=1794936/2055920 swapFree=4184672/4192956 [pid=4635] ppid=4633 vsize=152 CPUtime=0 /proc/4635/stat : 4635 (java) D 4633 4635 4084 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 118866139 155648 26 18446744073709551615 134512640 134550740 4294956608 18446744073709551615 10027812 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/4635/statm: 38 26 19 9 0 4 0 [startup+0.0747541 s] /proc/loadavg: 0.92 0.98 0.99 2/64 4635 /proc/meminfo: memFree=1794936/2055920 swapFree=4184672/4192956 [pid=4635] ppid=4633 vsize=1777708 CPUtime=0.05 /proc/4635/stat : 4635 (java) S 4633 4635 4084 0 -1 0 3740 0 1 0 4 1 0 0 18 0 7 0 118866139 1820372992 3482 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/4635/statm: 444427 3482 1082 9 0 442063 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1777708 [startup+0.101757 s] /proc/loadavg: 0.92 0.98 0.99 2/64 4635 /proc/meminfo: memFree=1794936/2055920 swapFree=4184672/4192956 [pid=4635] ppid=4633 vsize=1780108 CPUtime=0.08 /proc/4635/stat : 4635 (java) S 4633 4635 4084 0 -1 0 3970 0 1 0 6 2 0 0 18 0 12 0 118866139 1822830592 3711 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4635/statm: 445027 3711 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.301791 s] /proc/loadavg: 0.92 0.98 0.99 2/64 4635 /proc/meminfo: memFree=1794936/2055920 swapFree=4184672/4192956 [pid=4635] ppid=4633 vsize=1782660 CPUtime=0.34 /proc/4635/stat : 4635 (java) S 4633 4635 4084 0 -1 0 5147 0 1 0 31 3 0 0 18 0 12 0 118866139 1825443840 4885 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4635/statm: 445665 4885 1267 9 0 443277 0 Current children cumulated CPU time (s) 0.34 Current children cumulated vsize (KiB) 1782660 [startup+0.701859 s] /proc/loadavg: 0.92 0.98 0.99 2/64 4635 /proc/meminfo: memFree=1794936/2055920 swapFree=4184672/4192956 [pid=4635] ppid=4633 vsize=1783440 CPUtime=0.93 /proc/4635/stat : 4635 (java) S 4633 4635 4084 0 -1 0 7255 0 1 0 89 4 0 0 18 0 12 0 118866139 1826242560 6729 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4635/statm: 445860 6730 1302 9 0 443472 0 Current children cumulated CPU time (s) 0.93 Current children cumulated vsize (KiB) 1783440 [startup+1.503 s] /proc/loadavg: 0.92 0.98 0.99 3/76 4647 /proc/meminfo: memFree=1759576/2055920 swapFree=4184672/4192956 [pid=4635] ppid=4633 vsize=1783720 CPUtime=1.96 /proc/4635/stat : 4635 (java) S 4633 4635 4084 0 -1 0 23979 0 1 0 186 10 0 0 18 0 12 0 118866139 1826529280 22703 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4635/statm: 445930 22703 1304 9 0 443542 0 [pid=4635/tid=4637] ppid=4633 vsize=1783720 CPUtime=1.18 /proc/4635/task/4637/stat : 4637 (java) R 4633 4635 4084 0 -1 64 21412 0 1 0 109 9 0 0 21 0 12 0 118866141 1826529280 22703 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109474896 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4638] ppid=4633 vsize=1783720 CPUtime=0 /proc/4635/task/4638/stat : 4638 (java) S 4633 4635 4084 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 118866142 1826529280 22703 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4639] ppid=4633 vsize=1783720 CPUtime=0 /proc/4635/task/4639/stat : 4639 (java) S 4633 4635 4084 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 118866142 1826529280 22703 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4635/tid=4640] ppid=4633 vsize=1783720 CPUtime=0 /proc/4635/task/4640/stat : 4640 (java) S 4633 4635 4084 0 -1 64 1 0 0 0 0 0 0 0 17 0 12 0 118866144 1826529280 22703 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4641] ppid=4633 vsize=1783720 CPUtime=0 /proc/4635/task/4641/stat : 4641 (java) S 4633 4635 4084 0 -1 64 9 0 0 0 0 0 0 0 22 0 12 0 118866145 1826529280 22703 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4642] ppid=4633 vsize=1783720 CPUtime=0 /proc/4635/task/4642/stat : 4642 (java) S 4633 4635 4084 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 118866145 1826529280 22703 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4643] ppid=4633 vsize=1783720 CPUtime=0 /proc/4635/task/4643/stat : 4643 (java) S 4633 4635 4084 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 118866149 1826529280 22703 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4644] ppid=4633 vsize=1783720 CPUtime=0.45 /proc/4635/task/4644/stat : 4644 (java) S 4633 4635 4084 0 -1 64 1488 0 0 0 45 0 0 0 16 0 12 0 118866149 1826529280 22703 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4635/tid=4645] ppid=4633 vsize=1783720 CPUtime=0.31 /proc/4635/task/4645/stat : 4645 (java) S 4633 4635 4084 0 -1 64 359 0 0 0 31 0 0 0 15 0 12 0 118866149 1826529280 22703 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4646] ppid=4633 vsize=1783720 CPUtime=0 /proc/4635/task/4646/stat : 4646 (java) S 4633 4635 4084 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 118866149 1826529280 22703 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4647] ppid=4633 vsize=1783720 CPUtime=0 /proc/4635/task/4647/stat : 4647 (java) R 4633 4635 4084 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 118866149 1826529280 22703 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1.96 Current children cumulated vsize (KiB) 1783720 [startup+3.10127 s] /proc/loadavg: 0.92 0.98 0.99 3/76 4647 /proc/meminfo: memFree=1644056/2055920 swapFree=4184672/4192956 [pid=4635] ppid=4633 vsize=1786328 CPUtime=4.12 /proc/4635/stat : 4635 (java) S 4633 4635 4084 0 -1 0 44548 0 1 0 394 18 0 0 18 0 13 0 118866139 1829199872 42439 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4635/statm: 446582 42439 1325 9 0 444194 0 [pid=4635/tid=4637] ppid=4633 vsize=1786328 CPUtime=2.51 /proc/4635/task/4637/stat : 4637 (java) R 4633 4635 4084 0 -1 64 37749 0 1 0 236 15 0 0 21 0 13 0 118866141 1829199872 42439 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109706909 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4638] ppid=4633 vsize=1786328 CPUtime=0.04 /proc/4635/task/4638/stat : 4638 (java) S 4633 4635 4084 0 -1 64 1485 0 0 0 4 0 0 0 16 0 13 0 118866142 1829199872 42439 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4639] ppid=4633 vsize=1786328 CPUtime=0.05 /proc/4635/task/4639/stat : 4639 (java) S 4633 4635 4084 0 -1 64 1351 0 0 0 5 0 0 0 16 0 13 0 118866142 1829199872 42439 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4635/tid=4640] ppid=4633 vsize=1786328 CPUtime=0 /proc/4635/task/4640/stat : 4640 (java) S 4633 4635 4084 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 118866144 1829199872 42439 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4635/tid=4641] ppid=4633 vsize=1786328 CPUtime=0 /proc/4635/task/4641/stat : 4641 (java) S 4633 4635 4084 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 118866145 1829199872 42439 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4635/tid=4642] ppid=4633 vsize=1786328 CPUtime=0 /proc/4635/task/4642/stat : 4642 (java) S 4633 4635 4084 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 118866145 1829199872 42439 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4643] ppid=4633 vsize=1786328 CPUtime=0 /proc/4635/task/4643/stat : 4643 (java) S 4633 4635 4084 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118866149 1829199872 42439 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4644] ppid=4633 vsize=1786328 CPUtime=0.82 /proc/4635/task/4644/stat : 4644 (java) S 4633 4635 4084 0 -1 64 2067 0 0 0 82 0 0 0 17 0 13 0 118866149 1829199872 42439 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4635/tid=4645] ppid=4633 vsize=1786328 CPUtime=0.65 /proc/4635/task/4645/stat : 4645 (java) S 4633 4635 4084 0 -1 64 1168 0 0 0 65 0 0 0 16 0 13 0 118866149 1829199872 42439 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4635/tid=4646] ppid=4633 vsize=1786328 CPUtime=0 /proc/4635/task/4646/stat : 4646 (java) S 4633 4635 4084 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118866149 1829199872 42439 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4647] ppid=4633 vsize=1786328 CPUtime=0 /proc/4635/task/4647/stat : 4647 (java) S 4633 4635 4084 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 118866149 1829199872 42439 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4648] ppid=4633 vsize=1786328 CPUtime=0 /proc/4635/task/4648/stat : 4648 (java) S 4633 4635 4084 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 118866349 1829199872 42439 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.12 Current children cumulated vsize (KiB) 1786328 [startup+6.30281 s] /proc/loadavg: 0.93 0.98 0.99 2/77 4650 /proc/meminfo: memFree=1612864/2055920 swapFree=4184672/4192956 [pid=4635] ppid=4633 vsize=1787552 CPUtime=8.02 /proc/4635/stat : 4635 (java) S 4633 4635 4084 0 -1 0 49951 0 1 0 781 21 0 0 18 0 13 0 118866139 1830453248 44776 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4635/statm: 446888 44776 1328 9 0 444500 0 [pid=4635/tid=4637] ppid=4633 vsize=1787552 CPUtime=5.29 /proc/4635/task/4637/stat : 4637 (java) R 4633 4635 4084 0 -1 64 37758 0 1 0 514 15 0 0 17 0 13 0 118866141 1830453248 44776 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109541846 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4635/tid=4638] ppid=4633 vsize=1787552 CPUtime=0.3 /proc/4635/task/4638/stat : 4638 (java) S 4633 4635 4084 0 -1 64 3328 0 0 0 29 1 0 0 16 0 13 0 118866142 1830453248 44776 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4639] ppid=4633 vsize=1787552 CPUtime=0.31 /proc/4635/task/4639/stat : 4639 (java) S 4633 4635 4084 0 -1 64 3332 0 0 0 30 1 0 0 16 0 13 0 118866142 1830453248 44776 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4635/tid=4640] ppid=4633 vsize=1787552 CPUtime=0 /proc/4635/task/4640/stat : 4640 (java) S 4633 4635 4084 0 -1 64 16 0 0 0 0 0 0 0 15 0 13 0 118866144 1830453248 44776 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4641] ppid=4633 vsize=1787552 CPUtime=0 /proc/4635/task/4641/stat : 4641 (java) S 4633 4635 4084 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 118866145 1830453248 44776 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4642] ppid=4633 vsize=1787552 CPUtime=0 /proc/4635/task/4642/stat : 4642 (java) S 4633 4635 4084 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 118866145 1830453248 44776 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4643] ppid=4633 vsize=1787552 CPUtime=0 /proc/4635/task/4643/stat : 4643 (java) S 4633 4635 4084 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118866149 1830453248 44776 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4644] ppid=4633 vsize=1787552 CPUtime=1.16 /proc/4635/task/4644/stat : 4644 (java) S 4633 4635 4084 0 -1 64 2619 0 0 0 116 0 0 0 17 0 13 0 118866149 1830453248 44776 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4645] ppid=4633 vsize=1787552 CPUtime=0.9 /proc/4635/task/4645/stat : 4645 (java) S 4633 4635 4084 0 -1 64 2175 0 0 0 90 0 0 0 16 0 13 0 118866149 1830453248 44776 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4635/tid=4646] ppid=4633 vsize=1787552 CPUtime=0 /proc/4635/task/4646/stat : 4646 (java) S 4633 4635 4084 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118866149 1830453248 44776 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4647] ppid=4633 vsize=1787552 CPUtime=0 /proc/4635/task/4647/stat : 4647 (java) S 4633 4635 4084 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 118866149 1830453248 44776 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4650] ppid=4633 vsize=1787552 CPUtime=0 /proc/4635/task/4650/stat : 4650 (java) S 4633 4635 4084 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 118866612 1830453248 44776 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 8.02 Current children cumulated vsize (KiB) 1787552 [startup+12.7019 s] /proc/loadavg: 0.93 0.98 0.99 3/77 4650 /proc/meminfo: memFree=1595464/2055920 swapFree=4184672/4192956 [pid=4635] ppid=4633 vsize=1788576 CPUtime=14.71 /proc/4635/stat : 4635 (java) S 4633 4635 4084 0 -1 0 57388 0 1 0 1446 25 0 0 18 0 13 0 118866139 1831501824 50945 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4635/statm: 447144 50945 1328 9 0 444756 0 [pid=4635/tid=4637] ppid=4633 vsize=1788576 CPUtime=11.46 /proc/4635/task/4637/stat : 4637 (java) R 4633 4635 4084 0 -1 64 37772 0 1 0 1131 15 0 0 17 0 13 0 118866141 1831501824 50945 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109835415 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4635/tid=4638] ppid=4633 vsize=1788576 CPUtime=0.47 /proc/4635/task/4638/stat : 4638 (java) S 4633 4635 4084 0 -1 64 6555 0 0 0 44 3 0 0 15 0 13 0 118866142 1831501824 50945 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4639] ppid=4633 vsize=1788576 CPUtime=0.47 /proc/4635/task/4639/stat : 4639 (java) S 4633 4635 4084 0 -1 64 6530 0 0 0 44 3 0 0 16 0 13 0 118866142 1831501824 50945 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4635/tid=4640] ppid=4633 vsize=1788576 CPUtime=0 /proc/4635/task/4640/stat : 4640 (java) S 4633 4635 4084 0 -1 64 24 0 0 0 0 0 0 0 15 0 13 0 118866144 1831501824 50945 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4641] ppid=4633 vsize=1788576 CPUtime=0 /proc/4635/task/4641/stat : 4641 (java) S 4633 4635 4084 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 118866145 1831501824 50945 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4642] ppid=4633 vsize=1788576 CPUtime=0 /proc/4635/task/4642/stat : 4642 (java) S 4633 4635 4084 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 118866145 1831501824 50945 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4643] ppid=4633 vsize=1788576 CPUtime=0 /proc/4635/task/4643/stat : 4643 (java) S 4633 4635 4084 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118866149 1831501824 50945 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4644] ppid=4633 vsize=1788576 CPUtime=1.28 /proc/4635/task/4644/stat : 4644 (java) S 4633 4635 4084 0 -1 64 3601 0 0 0 127 1 0 0 16 0 13 0 118866149 1831501824 50945 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4645] ppid=4633 vsize=1788576 CPUtime=0.97 /proc/4635/task/4645/stat : 4645 (java) S 4633 4635 4084 0 -1 64 2183 0 0 0 97 0 0 0 17 0 13 0 118866149 1831501824 50945 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4635/tid=4646] ppid=4633 vsize=1788576 CPUtime=0 /proc/4635/task/4646/stat : 4646 (java) S 4633 4635 4084 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118866149 1831501824 50945 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4647] ppid=4633 vsize=1788576 CPUtime=0 /proc/4635/task/4647/stat : 4647 (java) R 4633 4635 4084 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 118866149 1831501824 50945 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4650] ppid=4633 vsize=1788576 CPUtime=0 /proc/4635/task/4650/stat : 4650 (java) S 4633 4635 4084 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 118866612 1831501824 50945 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 14.71 Current children cumulated vsize (KiB) 1788576 [startup+25.5021 s] /proc/loadavg: 0.95 0.98 0.99 2/77 4650 /proc/meminfo: memFree=1665544/2055920 swapFree=4184672/4192956 [pid=4635] ppid=4633 vsize=1789600 CPUtime=27.7 /proc/4635/stat : 4635 (java) S 4633 4635 4084 0 -1 0 58927 0 1 0 2742 28 0 0 18 0 13 0 118866139 1832550400 33212 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4635/statm: 447400 33212 1328 9 0 445012 0 [pid=4635/tid=4637] ppid=4633 vsize=1789600 CPUtime=24.11 /proc/4635/task/4637/stat : 4637 (java) R 4633 4635 4084 0 -1 64 37818 0 1 0 2396 15 0 0 17 0 13 0 118866141 1832550400 33212 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109966307 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4635/tid=4638] ppid=4633 vsize=1789600 CPUtime=0.5 /proc/4635/task/4638/stat : 4638 (java) S 4633 4635 4084 0 -1 64 6888 0 0 0 47 3 0 0 16 0 13 0 118866142 1832550400 33212 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4639] ppid=4633 vsize=1789600 CPUtime=0.51 /proc/4635/task/4639/stat : 4639 (java) S 4633 4635 4084 0 -1 64 6706 0 0 0 47 4 0 0 15 0 13 0 118866142 1832550400 33212 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4640] ppid=4633 vsize=1789600 CPUtime=0.01 /proc/4635/task/4640/stat : 4640 (java) S 4633 4635 4084 0 -1 64 37 0 0 0 0 1 0 0 16 0 13 0 118866144 1832550400 33212 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=4635/tid=4640] ppid=4633 vsize=1789924 CPUtime=1.17 /proc/4635/task/4640/stat : 4640 (java) S 4633 4635 4084 0 -1 64 293 0 0 0 66 51 0 0 16 0 13 0 118866144 1832882176 88913 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4641] ppid=4633 vsize=1789924 CPUtime=0 /proc/4635/task/4641/stat : 4641 (java) S 4633 4635 4084 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 118866145 1832882176 88913 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4642] ppid=4633 vsize=1789924 CPUtime=0 /proc/4635/task/4642/stat : 4642 (java) S 4633 4635 4084 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 118866145 1832882176 88913 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4643] ppid=4633 vsize=1789924 CPUtime=0 /proc/4635/task/4643/stat : 4643 (java) S 4633 4635 4084 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118866149 1832882176 88913 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4644] ppid=4633 vsize=1789924 CPUtime=1.56 /proc/4635/task/4644/stat : 4644 (java) S 4633 4635 4084 0 -1 64 4734 0 0 0 155 1 0 0 17 0 13 0 118866149 1832882176 88913 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4645] ppid=4633 vsize=1789924 CPUtime=1.28 /proc/4635/task/4645/stat : 4645 (java) S 4633 4635 4084 0 -1 64 2212 0 0 0 128 0 0 0 16 0 13 0 118866149 1832882176 88913 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4635/tid=4646] ppid=4633 vsize=1789924 CPUtime=0 /proc/4635/task/4646/stat : 4646 (java) S 4633 4635 4084 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118866149 1832882176 88913 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4647] ppid=4633 vsize=1789924 CPUtime=0 /proc/4635/task/4647/stat : 4647 (java) S 4633 4635 4084 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 118866149 1832882176 88913 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4635/tid=4918] ppid=4633 vsize=1789924 CPUtime=0 /proc/4635/task/4918/stat : 4918 (java) S 4633 4635 4084 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 119019920 1832882176 88913 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1614.57 Current children cumulated vsize (KiB) 1789924 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 4918 /proc/meminfo: memFree=1442072/2055920 swapFree=4184672/4192956 [pid=4635] ppid=4633 vsize=1789924 CPUtime=1674.99 /proc/4635/stat : 4635 (java) S 4633 4635 4084 0 -1 0 186708 0 1 0 167308 191 0 0 18 0 13 0 118866139 1832882176 88795 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4635/statm: 447481 88795 1328 9 0 445093 0 [pid=4635/tid=4637] ppid=4633 vsize=1789924 CPUtime=1645.7 /proc/4635/task/4637/stat : 4637 (java) R 4633 4635 4084 0 -1 64 113872 0 1 0 164508 62 0 0 25 0 13 0 118866141 1832882176 88795 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109891965 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4638] ppid=4633 vsize=1789924 CPUtime=12.55 /proc/4635/task/4638/stat : 4638 (java) S 4633 4635 4084 0 -1 64 32578 0 0 0 1219 36 0 0 16 0 13 0 118866142 1832882176 88795 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4635/tid=4639] ppid=4633 vsize=1789924 CPUtime=12.61 /proc/4635/task/4639/stat : 4639 (java) S 4633 4635 4084 0 -1 64 32174 0 0 0 1226 35 0 0 15 0 13 0 118866142 1832882176 88795 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4640] ppid=4633 vsize=1789924 CPUtime=1.21 /proc/4635/task/4640/stat : 4640 (java) S 4633 4635 4084 0 -1 64 305 0 0 0 68 53 0 0 16 0 13 0 118866144 1832882176 88795 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4635/tid=4641] ppid=4633 vsize=1789924 CPUtime=0 /proc/4635/task/4641/stat : 4641 (java) S 4633 4635 4084 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 118866145 1832882176 88795 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4642] ppid=4633 vsize=1789924 CPUtime=0 /proc/4635/task/4642/stat : 4642 (java) S 4633 4635 4084 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 118866145 1832882176 88795 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4643] ppid=4633 vsize=1789924 CPUtime=0 /proc/4635/task/4643/stat : 4643 (java) S 4633 4635 4084 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118866149 1832882176 88795 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4644] ppid=4633 vsize=1789924 CPUtime=1.56 /proc/4635/task/4644/stat : 4644 (java) S 4633 4635 4084 0 -1 64 4734 0 0 0 155 1 0 0 17 0 13 0 118866149 1832882176 88795 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4645] ppid=4633 vsize=1789924 CPUtime=1.28 /proc/4635/task/4645/stat : 4645 (java) S 4633 4635 4084 0 -1 64 2212 0 0 0 128 0 0 0 16 0 13 0 118866149 1832882176 88795 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4635/tid=4646] ppid=4633 vsize=1789924 CPUtime=0 /proc/4635/task/4646/stat : 4646 (java) S 4633 4635 4084 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118866149 1832882176 88795 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4647] ppid=4633 vsize=1789924 CPUtime=0 /proc/4635/task/4647/stat : 4647 (java) S 4633 4635 4084 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 118866149 1832882176 88795 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4635/tid=4918] ppid=4633 vsize=1789924 CPUtime=0 /proc/4635/task/4918/stat : 4918 (java) S 4633 4635 4084 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 119019920 1832882176 88795 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1674.99 Current children cumulated vsize (KiB) 1789924 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 4918 /proc/meminfo: memFree=1433880/2055920 swapFree=4184672/4192956 [pid=4635] ppid=4633 vsize=1789924 CPUtime=1735.44 /proc/4635/stat : 4635 (java) S 4633 4635 4084 0 -1 0 189150 0 1 0 173349 195 0 0 18 0 13 0 118866139 1832882176 90834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4635/statm: 447481 90834 1328 9 0 445093 0 [pid=4635/tid=4637] ppid=4633 vsize=1789924 CPUtime=1705.12 /proc/4635/task/4637/stat : 4637 (java) R 4633 4635 4084 0 -1 64 115594 0 1 0 170449 63 0 0 25 0 13 0 118866141 1832882176 90834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109710667 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4635/tid=4638] ppid=4633 vsize=1789924 CPUtime=13.05 /proc/4635/task/4638/stat : 4638 (java) S 4633 4635 4084 0 -1 64 32935 0 0 0 1268 37 0 0 16 0 13 0 118866142 1832882176 90834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4635/tid=4639] ppid=4633 vsize=1789924 CPUtime=13.12 /proc/4635/task/4639/stat : 4639 (java) S 4633 4635 4084 0 -1 64 32537 0 0 0 1276 36 0 0 16 0 13 0 118866142 1832882176 90834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4640] ppid=4633 vsize=1789924 CPUtime=1.24 /proc/4635/task/4640/stat : 4640 (java) S 4633 4635 4084 0 -1 64 305 0 0 0 70 54 0 0 16 0 13 0 118866144 1832882176 90834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4635/tid=4641] ppid=4633 vsize=1789924 CPUtime=0 /proc/4635/task/4641/stat : 4641 (java) S 4633 4635 4084 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 118866145 1832882176 90834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4642] ppid=4633 vsize=1789924 CPUtime=0 /proc/4635/task/4642/stat : 4642 (java) S 4633 4635 4084 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 118866145 1832882176 90834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4643] ppid=4633 vsize=1789924 CPUtime=0 /proc/4635/task/4643/stat : 4643 (java) S 4633 4635 4084 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118866149 1832882176 90834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4644] ppid=4633 vsize=1789924 CPUtime=1.56 /proc/4635/task/4644/stat : 4644 (java) S 4633 4635 4084 0 -1 64 4734 0 0 0 155 1 0 0 17 0 13 0 118866149 1832882176 90834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4645] ppid=4633 vsize=1789924 CPUtime=1.28 /proc/4635/task/4645/stat : 4645 (java) S 4633 4635 4084 0 -1 64 2212 0 0 0 128 0 0 0 16 0 13 0 118866149 1832882176 90834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4635/tid=4646] ppid=4633 vsize=1789924 CPUtime=0 /proc/4635/task/4646/stat : 4646 (java) S 4633 4635 4084 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118866149 1832882176 90834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4647] ppid=4633 vsize=1789924 CPUtime=0 /proc/4635/task/4647/stat : 4647 (java) S 4633 4635 4084 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 118866149 1832882176 90834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4635/tid=4918] ppid=4633 vsize=1789924 CPUtime=0 /proc/4635/task/4918/stat : 4918 (java) S 4633 4635 4084 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 119019920 1832882176 90834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1735.44 Current children cumulated vsize (KiB) 1789924 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 4919 /proc/meminfo: memFree=1423760/2055920 swapFree=4184672/4192956 [pid=4635] ppid=4633 vsize=1789924 CPUtime=1795.9 /proc/4635/stat : 4635 (java) S 4633 4635 4084 0 -1 0 193173 0 1 0 179391 199 0 0 18 0 13 0 118866139 1832882176 93324 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4635/statm: 447481 93324 1328 9 0 445093 0 [pid=4635/tid=4637] ppid=4633 vsize=1789924 CPUtime=1764.52 /proc/4635/task/4637/stat : 4637 (java) R 4633 4635 4084 0 -1 64 117789 0 1 0 176387 65 0 0 25 0 13 0 118866141 1832882176 93324 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109892098 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4638] ppid=4633 vsize=1789924 CPUtime=13.57 /proc/4635/task/4638/stat : 4638 (java) S 4633 4635 4084 0 -1 64 33831 0 0 0 1319 38 0 0 15 0 13 0 118866142 1832882176 93324 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4639] ppid=4633 vsize=1789924 CPUtime=13.63 /proc/4635/task/4639/stat : 4639 (java) S 4633 4635 4084 0 -1 64 33463 0 0 0 1327 36 0 0 16 0 13 0 118866142 1832882176 93324 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4635/tid=4640] ppid=4633 vsize=1789924 CPUtime=1.26 /proc/4635/task/4640/stat : 4640 (java) S 4633 4635 4084 0 -1 64 309 0 0 0 71 55 0 0 16 0 13 0 118866144 1832882176 93324 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4635/tid=4641] ppid=4633 vsize=1789924 CPUtime=0 /proc/4635/task/4641/stat : 4641 (java) S 4633 4635 4084 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 118866145 1832882176 93324 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4642] ppid=4633 vsize=1789924 CPUtime=0 /proc/4635/task/4642/stat : 4642 (java) S 4633 4635 4084 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 118866145 1832882176 93324 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4643] ppid=4633 vsize=1789924 CPUtime=0 /proc/4635/task/4643/stat : 4643 (java) S 4633 4635 4084 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118866149 1832882176 93324 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4644] ppid=4633 vsize=1789924 CPUtime=1.56 /proc/4635/task/4644/stat : 4644 (java) S 4633 4635 4084 0 -1 64 4734 0 0 0 155 1 0 0 16 0 13 0 118866149 1832882176 93324 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4645] ppid=4633 vsize=1789924 CPUtime=1.28 /proc/4635/task/4645/stat : 4645 (java) S 4633 4635 4084 0 -1 64 2212 0 0 0 128 0 0 0 16 0 13 0 118866149 1832882176 93324 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4635/tid=4646] ppid=4633 vsize=1789924 CPUtime=0 /proc/4635/task/4646/stat : 4646 (java) S 4633 4635 4084 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118866149 1832882176 93324 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4647] ppid=4633 vsize=1789924 CPUtime=0 /proc/4635/task/4647/stat : 4647 (java) S 4633 4635 4084 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 118866149 1832882176 93324 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4635/tid=4919] ppid=4633 vsize=1789924 CPUtime=0 /proc/4635/task/4919/stat : 4919 (java) S 4633 4635 4084 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 119038470 1832882176 93324 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1795.9 Current children cumulated vsize (KiB) 1789924 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1786.41 s] /proc/loadavg: 1.00 1.00 1.00 2/77 4919 /proc/meminfo: memFree=1423952/2055920 swapFree=4184672/4192956 [pid=4635] ppid=4633 vsize=1789924 CPUtime=1800.03 /proc/4635/stat : 4635 (java) S 4633 4635 4084 0 -1 0 193183 0 1 0 179803 200 0 0 18 0 13 0 118866139 1832882176 93292 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4635/statm: 447481 93292 1328 9 0 445093 0 [pid=4635/tid=4637] ppid=4633 vsize=1789924 CPUtime=1768.58 /proc/4635/task/4637/stat : 4637 (java) R 4633 4635 4084 0 -1 64 117799 0 1 0 176793 65 0 0 25 0 13 0 118866141 1832882176 93292 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109542419 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4638] ppid=4633 vsize=1789924 CPUtime=13.6 /proc/4635/task/4638/stat : 4638 (java) S 4633 4635 4084 0 -1 64 33831 0 0 0 1322 38 0 0 15 0 13 0 118866142 1832882176 93292 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4639] ppid=4633 vsize=1789924 CPUtime=13.66 /proc/4635/task/4639/stat : 4639 (java) S 4633 4635 4084 0 -1 64 33463 0 0 0 1330 36 0 0 16 0 13 0 118866142 1832882176 93292 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4635/tid=4640] ppid=4633 vsize=1789924 CPUtime=1.26 /proc/4635/task/4640/stat : 4640 (java) S 4633 4635 4084 0 -1 64 309 0 0 0 71 55 0 0 16 0 13 0 118866144 1832882176 93292 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4635/tid=4641] ppid=4633 vsize=1789924 CPUtime=0 /proc/4635/task/4641/stat : 4641 (java) S 4633 4635 4084 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 118866145 1832882176 93292 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4642] ppid=4633 vsize=1789924 CPUtime=0 /proc/4635/task/4642/stat : 4642 (java) S 4633 4635 4084 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 118866145 1832882176 93292 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4643] ppid=4633 vsize=1789924 CPUtime=0 /proc/4635/task/4643/stat : 4643 (java) S 4633 4635 4084 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118866149 1832882176 93292 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4644] ppid=4633 vsize=1789924 CPUtime=1.56 /proc/4635/task/4644/stat : 4644 (java) S 4633 4635 4084 0 -1 64 4734 0 0 0 155 1 0 0 16 0 13 0 118866149 1832882176 93292 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4645] ppid=4633 vsize=1789924 CPUtime=1.28 /proc/4635/task/4645/stat : 4645 (java) S 4633 4635 4084 0 -1 64 2212 0 0 0 128 0 0 0 16 0 13 0 118866149 1832882176 93292 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4635/tid=4646] ppid=4633 vsize=1789924 CPUtime=0 /proc/4635/task/4646/stat : 4646 (java) S 4633 4635 4084 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118866149 1832882176 93292 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4647] ppid=4633 vsize=1789924 CPUtime=0 /proc/4635/task/4647/stat : 4647 (java) S 4633 4635 4084 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 118866149 1832882176 93292 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4635/tid=4919] ppid=4633 vsize=1789924 CPUtime=0 /proc/4635/task/4919/stat : 4919 (java) S 4633 4635 4084 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 119038470 1832882176 93292 18446744073709551615 134512640 134550740 4294956464 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) 1789924 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1786.51 s] /proc/loadavg: 1.00 1.00 1.00 2/77 4919 /proc/meminfo: memFree=1423952/2055920 swapFree=4184672/4192956 [pid=4635] ppid=4633 vsize=0 CPUtime=1800.21 /proc/4635/stat : 4635 (java) Z 4633 4635 4084 0 -1 1036 193196 0 1 0 179821 200 0 0 15 0 2 0 118866139 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4635/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1786.57 CPU time (s): 1800.28 CPU user time (s): 1798.22 CPU system time (s): 2.06369 CPU usage (%): 100.767 Max. virtual memory (cumulated for all children) (KiB): 1790244 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.22 system time used= 2.06369 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 193196 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= 103411 involuntary context switches= 55819 runsolver used 2.10068 second user time and 5.31419 second system time The end
Begin job on node25 on Mon Apr 16 07:44:51 UTC 2007 IDJOB= 354439 IDBENCH= 2527 IDSOLVER= 160 FILE ID= node25/354439-1176709491 PBS_JOBID= 4560072 Free space on /tmp= 66537 MiB SOLVER NAME= sat4jPseudoCP 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354439-1176709491/sat4jPseudoCP.jar /tmp/evaluation/354439-1176709491/instance-354439-1176709491.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-354439-1176709491 -o ROOT/results/node25/solver-354439-1176709491 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354439-1176709491/sat4jPseudoCP.jar /tmp/evaluation/354439-1176709491/instance-354439-1176709491.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 6eba7367ef128fb0872fe815e4ef2398 RANDOM SEED= 302090017 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node25.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.261 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.261 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: 1795472 kB Buffers: 38216 kB Cached: 151072 kB SwapCached: 2472 kB Active: 115948 kB Inactive: 84140 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1795472 kB SwapTotal: 4192956 kB SwapFree: 4184672 kB Dirty: 5604 kB Writeback: 0 kB Mapped: 16868 kB Slab: 46452 kB Committed_AS: 2088096 kB PageTables: 1476 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= 66537 MiB End job on node25 on Mon Apr 16 08:14:39 UTC 2007