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