Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4jPseudoCP 2007-03-23 | SAT (TO) | 524187 | 1800.25 | 1785.27 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-nsrand_ipx.opb |
MD5SUM | 5afe2e688387cc46a3d150d955d27ab1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 294914 |
Best CPU time to get the best result obtained on this benchmark | 1800.19 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 294914 |
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 | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524318 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 527653 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.16/0.52 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.16/0.52 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.16/0.52 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.16/0.53 c no version file found!!! 0.16/0.53 c sun.arch.data.model 32 0.16/0.53 c java.version 1.6.0 0.16/0.53 c os.name Linux 0.16/0.53 c os.version 2.6.9-22.EL.rootsmp 0.16/0.53 c os.arch i386 0.16/0.53 c Free memory 1651659224 0.16/0.53 c Max memory 1654456320 0.16/0.53 c Total memory 1654456320 0.16/0.53 c Number of processors 2 0.16/0.59 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolver) 0.16/0.59 --- Begin Solver configuration --- 0.16/0.59 c Stops conflict analysis at the first Unique Implication Point 0.16/0.59 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.16/0.59 c Learn all clauses as in MiniSAT 0.16/0.59 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 0.16/0.59 c VSIDS like heuristics from MiniSAT using a heap 0.16/0.59 c No reason simplification 0.16/0.59 c --- End Solver configuration --- 0.16/0.59 c solving /tmp/evaluation/350937-1176570004/instance-350937-1176570004.opb 0.16/0.59 c reading problem ... 2.57/2.45 c ... done. Wall clock time 1.86s. 2.57/2.45 c CPU time (experimental) 1.77s. 2.57/2.45 c #vars 6651 2.57/2.45 c #constraints 721 11.75/10.78 c SATISFIABLE 11.75/10.78 c OPTIMIZING... 11.75/10.78 c Got one! Elapsed wall clock time (in seconds):10.192 11.75/10.79 o 524318 12.96/11.87 c Got one! Elapsed wall clock time (in seconds):11.281 12.96/11.87 o 524317 14.21/12.87 c Got one! Elapsed wall clock time (in seconds):12.275 14.21/12.87 o 524316 26.67/24.95 c Got one! Elapsed wall clock time (in seconds):24.356 26.67/24.95 o 524315 28.29/26.57 c Got one! Elapsed wall clock time (in seconds):25.98 28.29/26.57 o 524314 31.11/29.34 c Got one! Elapsed wall clock time (in seconds):28.745 31.11/29.34 o 524313 33.93/32.10 c Got one! Elapsed wall clock time (in seconds):31.51 33.93/32.10 o 524312 37.88/35.90 c Got one! Elapsed wall clock time (in seconds):35.306 37.88/35.90 o 524311 41.90/39.94 c Got one! Elapsed wall clock time (in seconds):39.351 41.90/39.94 o 524310 46.22/44.28 c Got one! Elapsed wall clock time (in seconds):43.689 46.22/44.28 o 524309 47.46/45.43 c Got one! Elapsed wall clock time (in seconds):44.837 47.46/45.43 o 524308 48.46/46.46 c Got one! Elapsed wall clock time (in seconds):45.874 48.46/46.46 o 524307 49.70/47.67 c Got one! Elapsed wall clock time (in seconds):47.084 49.70/47.67 o 524306 50.80/48.78 c Got one! Elapsed wall clock time (in seconds):48.189 50.80/48.78 o 524305 52.02/49.91 c Got one! Elapsed wall clock time (in seconds):49.316 52.02/49.91 o 524304 53.02/50.98 c Got one! Elapsed wall clock time (in seconds):50.385 53.02/50.98 o 524303 54.44/52.36 c Got one! Elapsed wall clock time (in seconds):51.771 54.44/52.36 o 524302 55.96/53.84 c Got one! Elapsed wall clock time (in seconds):53.246 55.96/53.84 o 524301 57.47/55.34 c Got one! Elapsed wall clock time (in seconds):54.753 57.47/55.34 o 524300 58.99/56.86 c Got one! Elapsed wall clock time (in seconds):56.266 58.99/56.86 o 524299 60.50/58.36 c Got one! Elapsed wall clock time (in seconds):57.774 60.50/58.37 o 524298 61.63/59.48 c Got one! Elapsed wall clock time (in seconds):58.887 61.63/59.48 o 524297 64.13/61.92 c Got one! Elapsed wall clock time (in seconds):61.331 64.13/61.92 o 524296 66.06/63.90 c Got one! Elapsed wall clock time (in seconds):63.307 66.06/63.90 o 524295 68.69/66.45 c Got one! Elapsed wall clock time (in seconds):65.863 68.69/66.45 o 524294 76.20/73.93 c Got one! Elapsed wall clock time (in seconds):73.342 76.20/73.93 o 524293 82.72/80.48 c Got one! Elapsed wall clock time (in seconds):79.893 82.72/80.48 o 524292 85.24/82.90 c Got one! Elapsed wall clock time (in seconds):82.31 85.24/82.90 o 524291 88.36/86.09 c Got one! Elapsed wall clock time (in seconds):85.5 88.36/86.09 o 524290 91.68/89.30 c Got one! Elapsed wall clock time (in seconds):88.711 91.68/89.30 o 524289 94.81/92.48 c Got one! Elapsed wall clock time (in seconds):91.894 94.81/92.48 o 524288 98.15/95.78 c Got one! Elapsed wall clock time (in seconds):95.19 98.15/95.78 o 524287 101.97/99.53 c Got one! Elapsed wall clock time (in seconds):98.935 101.97/99.53 o 524286 105.89/103.44 c Got one! Elapsed wall clock time (in seconds):102.85 105.89/103.44 o 524285 110.01/107.50 c Got one! Elapsed wall clock time (in seconds):106.91 110.01/107.50 o 524284 114.54/112.05 c Got one! Elapsed wall clock time (in seconds):111.456 114.54/112.05 o 524283 119.25/116.71 c Got one! Elapsed wall clock time (in seconds):116.117 119.25/116.71 o 524282 125.19/122.68 c Got one! Elapsed wall clock time (in seconds):122.091 125.19/122.68 o 524281 148.88/145.74 c Got one! Elapsed wall clock time (in seconds):145.146 148.88/145.74 o 524280 154.82/151.65 c Got one! Elapsed wall clock time (in seconds):151.057 154.82/151.65 o 524279 161.21/157.99 c Got one! Elapsed wall clock time (in seconds):157.4 161.21/157.99 o 524278 167.43/164.16 c Got one! Elapsed wall clock time (in seconds):163.566 167.43/164.16 o 524277 173.88/170.56 c Got one! Elapsed wall clock time (in seconds):169.965 173.88/170.56 o 524276 196.34/192.76 c Got one! Elapsed wall clock time (in seconds):192.173 196.34/192.76 o 524275 204.39/200.73 c Got one! Elapsed wall clock time (in seconds):200.142 204.39/200.73 o 524274 212.14/208.41 c Got one! Elapsed wall clock time (in seconds):207.816 212.14/208.41 o 524273 220.69/216.93 c Got one! Elapsed wall clock time (in seconds):216.335 220.69/216.93 o 524272 230.16/226.38 c Got one! Elapsed wall clock time (in seconds):225.788 230.16/226.38 o 524271 231.38/227.56 c Got one! Elapsed wall clock time (in seconds):226.971 231.38/227.56 o 524270 232.59/228.78 c Got one! Elapsed wall clock time (in seconds):228.188 232.59/228.78 o 524269 417.64/412.55 c Got one! Elapsed wall clock time (in seconds):411.959 417.64/412.55 o 524253 419.26/414.14 c Got one! Elapsed wall clock time (in seconds):413.549 419.26/414.14 o 524252 420.98/415.83 c Got one! Elapsed wall clock time (in seconds):415.237 420.98/415.83 o 524251 423.20/418.02 c Got one! Elapsed wall clock time (in seconds):417.43 423.20/418.02 o 524250 425.21/420.10 c Got one! Elapsed wall clock time (in seconds):419.505 425.21/420.10 o 524249 427.03/421.87 c Got one! Elapsed wall clock time (in seconds):421.28 427.03/421.87 o 524248 428.85/423.62 c Got one! Elapsed wall clock time (in seconds):423.027 428.85/423.62 o 524247 442.00/436.72 c Got one! Elapsed wall clock time (in seconds):436.127 442.00/436.72 o 524246 453.60/448.27 c Got one! Elapsed wall clock time (in seconds):447.68 453.60/448.27 o 524245 454.95/449.49 c Got one! Elapsed wall clock time (in seconds):448.9 454.95/449.49 o 524244 457.18/451.65 c Got one! Elapsed wall clock time (in seconds):451.061 457.18/451.65 o 524243 464.42/458.86 c Got one! Elapsed wall clock time (in seconds):458.265 464.42/458.86 o 524242 465.93/460.36 c Got one! Elapsed wall clock time (in seconds):459.773 465.93/460.36 o 524241 492.11/486.37 c Got one! Elapsed wall clock time (in seconds):485.784 492.11/486.37 o 524240 524.13/518.10 c Got one! Elapsed wall clock time (in seconds):517.514 524.13/518.10 o 524239 535.81/529.78 c Got one! Elapsed wall clock time (in seconds):529.193 535.81/529.78 o 524238 537.74/531.67 c Got one! Elapsed wall clock time (in seconds):531.082 537.74/531.67 o 524237 610.78/604.23 c Got one! Elapsed wall clock time (in seconds):603.636 610.78/604.23 o 524236 623.95/617.32 c Got one! Elapsed wall clock time (in seconds):616.733 623.95/617.32 o 524235 657.86/651.07 c Got one! Elapsed wall clock time (in seconds):650.474 657.86/651.07 o 524234 692.00/684.99 c Got one! Elapsed wall clock time (in seconds):684.399 692.00/684.99 o 524233 727.32/720.05 c Got one! Elapsed wall clock time (in seconds):719.461 727.32/720.05 o 524232 763.51/755.99 c Got one! Elapsed wall clock time (in seconds):755.4 763.51/755.99 o 524231 797.70/789.85 c Got one! Elapsed wall clock time (in seconds):789.259 797.70/789.85 o 524230 832.13/824.03 c Got one! Elapsed wall clock time (in seconds):823.439 832.13/824.03 o 524229 868.57/860.29 c Got one! Elapsed wall clock time (in seconds):859.704 868.57/860.29 o 524228 901.51/892.99 c Got one! Elapsed wall clock time (in seconds):892.402 901.51/892.99 o 524227 935.87/927.02 c Got one! Elapsed wall clock time (in seconds):926.431 935.87/927.02 o 524226 969.70/960.65 c Got one! Elapsed wall clock time (in seconds):960.064 969.70/960.65 o 524225 1005.91/996.60 c Got one! Elapsed wall clock time (in seconds):996.008 1005.91/996.60 o 524224 1040.37/1030.76 c Got one! Elapsed wall clock time (in seconds):1030.175 1040.37/1030.77 o 524223 1074.63/1064.73 c Got one! Elapsed wall clock time (in seconds):1064.138 1074.63/1064.73 o 524222 1112.91/1102.74 c Got one! Elapsed wall clock time (in seconds):1102.146 1112.91/1102.74 o 524221 1147.53/1137.19 c Got one! Elapsed wall clock time (in seconds):1136.595 1147.53/1137.19 o 524220 1181.88/1171.24 c Got one! Elapsed wall clock time (in seconds):1170.646 1181.88/1171.24 o 524219 1212.13/1201.30 c Got one! Elapsed wall clock time (in seconds):1200.706 1212.13/1201.30 o 524218 1214.35/1203.45 c Got one! Elapsed wall clock time (in seconds):1202.863 1214.35/1203.45 o 524217 1374.99/1363.04 c Got one! Elapsed wall clock time (in seconds):1362.449 1374.99/1363.04 o 524189 1536.27/1523.24 c Got one! Elapsed wall clock time (in seconds):1522.649 1536.27/1523.24 o 524188 1713.63/1699.39 c Got one! Elapsed wall clock time (in seconds):1698.802 1713.63/1699.39 o 524187 1800.03/1785.11 c starts : 91 1800.03/1785.11 c conflicts : 144 1800.03/1785.11 c decisions : 559906 1800.03/1785.11 c propagations : 1152396 1800.03/1785.11 c inspects : 33658425 1800.03/1785.11 c learnt literals : 0 1800.03/1785.11 c learnt binary clauses : 0 1800.03/1785.11 c learnt ternary clauses : 0 1800.03/1785.11 c learnt clauses : 143 1800.03/1785.11 c root simplifications : 0 1800.03/1785.11 c removed literals (reason simplification) : 0 1800.03/1785.11 c reason swapping (by a shorter reason) : 0 1800.03/1785.11 c Calls to reduceDB : 0 1800.03/1785.11 c speed (decisions/second) : 6531.87741340893 1800.03/1785.11 c non guided choices 1955 1800.03/1785.11 s SATISFIABLE 1800.03/1785.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 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.14 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1800.03/1785.14 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1800.03/1785.14 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 1800.03/1785.14 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 1800.03/1785.14 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 1800.03/1785.14 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 1800.03/1785.14 v -x1091 -x1092 -x1093 -x1094 x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 1800.03/1785.14 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 1800.03/1785.14 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 1800.03/1785.14 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1800.03/1785.14 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1800.03/1785.14 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 1800.03/1785.14 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 x1204 -x1205 -x1206 -x1207 -x1208 -x1209 1800.03/1785.14 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 1800.03/1785.14 v x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 1800.03/1785.14 v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 1800.03/1785.14 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 1800.03/1785.14 v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 1800.03/1785.14 v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 1800.03/1785.14 v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 1800.03/1785.14 v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 1800.03/1785.14 v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 1800.03/1785.14 v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 1800.03/1785.14 v x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 1800.03/1785.14 v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 1800.03/1785.14 v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 1800.03/1785.14 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 1800.03/1785.14 v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 1800.03/1785.14 v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 1800.03/1785.14 v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 1800.03/1785.14 v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 1800.03/1785.14 v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 1800.03/1785.14 v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 1800.03/1785.14 v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 1800.03/1785.14 v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 1800.03/1785.14 v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 1800.03/1785.14 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 1800.03/1785.14 v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 1800.03/1785.14 v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 1800.03/1785.14 v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 1800.03/1785.14 v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 1800.03/1785.14 v -x1686 -x1687 -x1688 x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 1800.03/1785.14 v -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 1800.03/1785.14 v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 1800.03/1785.14 v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 1800.03/1785.14 v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 x1769 -x1770 1800.03/1785.14 v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 1800.03/1785.14 v -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 1800.03/1785.14 v -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 1800.03/1785.14 v -x1822 -x1823 x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 1800.03/1785.14 v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 1800.03/1785.14 v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 1800.03/1785.14 v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 1800.03/1785.14 v -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 1800.03/1785.14 v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 1800.03/1785.14 v -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 1800.03/1785.14 v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 1800.03/1785.14 v -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 1800.03/1785.14 v -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 1800.03/1785.14 v -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 1800.03/1785.14 v x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 1800.03/1785.14 v -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 1800.03/1785.14 v -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 1800.03/1785.14 v -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 1800.03/1785.14 v -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 x2092 -x2093 1800.03/1785.14 v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 1800.03/1785.14 v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 1800.03/1785.14 v -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 1800.03/1785.14 v -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 x2159 -x2160 -x2161 1800.03/1785.14 v -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 1800.03/1785.14 v -x2179 -x2180 x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 1800.03/1785.14 v -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 1800.03/1785.14 v -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 x2227 -x2228 -x2229 1800.03/1785.14 v -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 1800.03/1785.14 v -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 1800.03/1785.14 v -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 1800.03/1785.14 v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 1800.03/1785.14 v -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 1800.03/1785.14 v x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 1800.03/1785.14 v -x2332 -x2333 -x2334 -x2335 -x2336 x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 1800.03/1785.14 v -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 1800.03/1785.14 v -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 1800.03/1785.14 v -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 1800.03/1785.14 v -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 1800.03/1785.14 v -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 1800.03/1785.14 v -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 1800.03/1785.14 v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 1800.03/1785.14 v -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 1800.03/1785.14 v -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 1800.03/1785.14 v -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 x2515 -x2516 -x2517 -x2518 1800.03/1785.14 v -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 1800.03/1785.14 v -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 1800.03/1785.14 v -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 1800.03/1785.14 v -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 1800.03/1785.14 v -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 1800.03/1785.14 v -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 1800.03/1785.14 v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 1800.03/1785.14 v -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 1800.03/1785.14 v -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 x2670 -x2671 1800.03/1785.14 v -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 1800.03/1785.14 v -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 1800.03/1785.14 v -x2706 -x2707 -x2708 x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 1800.03/1785.14 v -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 1800.03/1785.14 v -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 1800.03/1785.14 v -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 1800.03/1785.14 v -x2774 -x2775 -x2776 -x2777 -x2778 x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 1800.03/1785.14 v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 1800.03/1785.14 v -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 1800.03/1785.14 v -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 1800.03/1785.14 v -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 1800.03/1785.14 v -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 1800.03/1785.14 v -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 x2892 1800.03/1785.14 v -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 1800.03/1785.14 v -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 1800.03/1785.14 v -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 1800.03/1785.14 v -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 1800.03/1785.14 v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 1800.03/1785.14 v -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 1800.03/1785.14 v -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 1800.03/1785.14 v -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 1800.03/1785.14 v -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 x3042 -x3043 -x3044 -x3045 1800.03/1785.14 v -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 1800.03/1785.14 v -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 1800.03/1785.14 v -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 1800.03/1785.14 v -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 1800.03/1785.14 v x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 x3126 -x3127 -x3128 -x3129 -x3130 -x3131 1800.03/1785.14 v -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 1800.03/1785.14 v -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 1800.03/1785.14 v -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 x3181 -x3182 1800.03/1785.14 v -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 1800.03/1785.14 v -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 1800.03/1785.14 v -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 1800.03/1785.14 v -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 1800.03/1785.14 v -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 1800.03/1785.14 v -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 x3279 -x3280 -x3281 -x3282 -x3283 -x3284 1800.03/1785.14 v -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 1800.03/1785.14 v -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 1800.03/1785.14 v -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 1800.03/1785.14 v -x3336 x3337 x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 1800.03/1785.14 v -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 1800.03/1785.14 v -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 1800.03/1785.14 v -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 x3404 1800.03/1785.14 v -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 1800.03/1785.14 v -x3422 -x3423 -x3424 -x3425 x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 1800.03/1785.14 v -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 1800.03/1785.14 v -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 1800.03/1785.14 v -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 1800.03/1785.14 v -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 1800.03/1785.14 v -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 1800.03/1785.14 v -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 1800.03/1785.14 v -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 1800.03/1785.14 v -x3558 x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 1800.03/1785.14 v -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 1800.03/1785.14 v -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 1800.03/1785.14 v -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 1800.03/1785.14 v -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 1800.03/1785.14 v -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 1800.03/1785.14 v -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 1800.03/1785.14 v -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 1800.03/1785.14 v -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 1800.03/1785.14 v -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 1800.03/1785.14 v -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 1800.03/1785.14 v -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 1800.03/1785.14 v -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 1800.03/1785.14 v -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 1800.03/1785.14 v -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 1800.03/1785.14 v -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 1800.03/1785.14 v -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 1800.03/1785.14 v -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 1800.03/1785.14 v -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 1800.03/1785.14 v -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 1800.03/1785.14 v -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 1800.03/1785.14 v -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 1800.03/1785.14 v -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 1800.03/1785.14 v -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 1800.03/1785.14 v -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 1800.03/1785.14 v -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 1800.03/1785.14 v -x4000 -x4001 -x4002 x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 1800.03/1785.14 v -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 1800.03/1785.14 v -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 1800.03/1785.14 v -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 1800.03/1785.14 v -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 1800.03/1785.14 v -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 1800.03/1785.14 v -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 1800.03/1785.14 v -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 1800.03/1785.14 v -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 1800.03/1785.14 v -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 1800.03/1785.14 v -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 1800.03/1785.14 v -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 1800.03/1785.14 v -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 1800.03/1785.14 v -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 1800.03/1785.14 v -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 1800.03/1785.14 v -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 1800.03/1785.14 v -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 1800.03/1785.14 v -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 1800.03/1785.14 v -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 1800.03/1785.14 v -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 1800.03/1785.14 v -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 1800.03/1785.14 v -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 1800.03/1785.14 v -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 1800.03/1785.14 v -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 1800.03/1785.14 v -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 1800.03/1785.14 v -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 1800.03/1785.14 v -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 1800.03/1785.14 v -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 1800.03/1785.14 v -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 1800.03/1785.14 v -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 1800.03/1785.14 v -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 1800.03/1785.14 v -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 1800.03/1785.14 v -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 1800.03/1785.14 v -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 1800.03/1785.14 v -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 1800.03/1785.14 v -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 1800.03/1785.14 v -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 1800.03/1785.14 v -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 1800.03/1785.14 v -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 1800.03/1785.14 v -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 1800.03/1785.14 v -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 1800.03/1785.14 v -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 1800.03/1785.14 v -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 1800.03/1785.14 v -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 1800.03/1785.14 v -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 1800.03/1785.14 v -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 1800.03/1785.14 v -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 1800.03/1785.14 v -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 1800.03/1785.14 v -x4816 -x4817 -x4818 -x4819 x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 1800.03/1785.14 v -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 1800.03/1785.14 v -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 1800.03/1785.14 v -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 1800.03/1785.14 v -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 1800.03/1785.14 v -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 1800.03/1785.14 v -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 1800.03/1785.14 v -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 1800.03/1785.14 v -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 1800.03/1785.14 v -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 1800.03/1785.14 v -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 1800.03/1785.14 v -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 1800.03/1785.14 v -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 1800.03/1785.14 v -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 1800.03/1785.14 v -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 1800.03/1785.14 v -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 x5086 -x5087 1800.03/1785.14 v -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 1800.03/1785.14 v -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 1800.03/1785.14 v -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 1800.03/1785.14 v -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 1800.03/1785.14 v -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 1800.03/1785.14 v -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 1800.03/1785.14 v -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 1800.03/1785.14 v -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 1800.03/1785.14 v -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 1800.03/1785.14 v -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 1800.03/1785.14 v -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 1800.03/1785.14 v -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 1800.03/1785.14 v -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 1800.03/1785.14 v -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 1800.03/1785.14 v -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 1800.03/1785.14 v -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 1800.03/1785.14 v -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 1800.03/1785.14 v -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 1800.03/1785.14 v -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 1800.03/1785.14 v -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 1800.03/1785.14 v -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 1800.03/1785.14 v -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 1800.03/1785.14 v -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 1800.03/1785.14 v -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 1800.03/1785.14 v -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 1800.03/1785.14 v -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 1800.03/1785.14 v -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 1800.03/1785.14 v -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 x5559 -x5560 -x5561 -x5562 -x5563 1800.03/1785.14 v -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 1800.03/1785.14 v -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 1800.03/1785.14 v -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 1800.03/1785.14 v -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 1800.03/1785.14 v -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 1800.03/1785.14 v -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 1800.03/1785.14 v -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 1800.03/1785.14 v -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 1800.03/1785.14 v -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 1800.03/1785.14 v -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 1800.03/1785.14 v -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 1800.03/1785.14 v -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 1800.03/1785.14 v -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 1800.03/1785.14 v -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 1800.03/1785.14 v -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 1800.03/1785.14 v -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 1800.03/1785.14 v -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 1800.03/1785.14 v -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 1800.03/1785.14 v -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 1800.03/1785.14 v -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 1800.03/1785.14 v -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 1800.03/1785.14 v -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 1800.03/1785.14 v -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 1800.03/1785.14 v -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 1800.03/1785.14 v -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 1800.03/1785.14 v -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 x6003 -x6004 -x6005 1800.03/1785.14 v -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 1800.03/1785.14 v -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 1800.03/1785.14 v -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 1800.03/1785.14 v -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 1800.03/1785.14 v -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 x6087 -x6088 -x6089 -x6090 1800.03/1785.14 v -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 1800.03/1785.14 v x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 1800.03/1785.14 v -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 1800.03/1785.14 v -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 1800.03/1785.14 v -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 1800.03/1785.14 v -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 1800.03/1785.14 v -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 1800.03/1785.14 v -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 x6225 -x6226 1800.03/1785.14 v -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 1800.03/1785.14 v -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 1800.03/1785.14 v -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 1800.03/1785.14 v -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 1800.03/1785.14 v -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 1800.03/1785.14 v -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 1800.03/1785.14 v -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 1800.03/1785.14 v -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 1800.03/1785.14 v -x6363 -x6364 -x6365 -x6366 -x6367 x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 1800.03/1785.14 v -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 1800.03/1785.14 v -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 1800.03/1785.14 v -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 1800.03/1785.14 v -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 1800.03/1785.14 v -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 1800.03/1785.14 v -x6465 -x6466 x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 1800.03/1785.14 v -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 1800.03/1785.14 v -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 1800.03/1785.14 v -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 x6529 -x6530 -x6531 -x6532 -x6533 1800.03/1785.14 v -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 1800.03/1785.14 v -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 1800.03/1785.14 v -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 1800.03/1785.14 v -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 1800.03/1785.14 v -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 1800.03/1785.14 v -x6619 -x6620 x6621 -x6622 -x6623 x6624 x6625 x6626 x6627 x6628 x6629 x6630 x6631 x6632 x6633 x6634 x6635 x6636 x6637 x6638 1800.03/1785.14 v x6639 -x6640 x6641 x6642 x6643 x6644 x6645 x6646 x6647 x6648 x6649 x6650 x6651 1800.03/1785.16 c objective function=524187 1800.03/1785.16 c Total wall clock time (ms): 1784.575
OK 524187
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node30/watcher-350937-1176570004 -o ROOT/results/node30/solver-350937-1176570004 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/350937-1176570004/sat4jPseudoCP.jar /tmp/evaluation/350937-1176570004/instance-350937-1176570004.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.96 0.98 0.99 2/77 6126 /proc/meminfo: memFree=1802488/2055920 swapFree=4186972/4192956 [pid=6126] ppid=6124 vsize=18568 CPUtime=0 /proc/6126/stat : 6126 (runsolver) D 6124 6126 5590 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 104916108 19013632 292 18446744073709551615 4194304 4296420 548682068880 18446744073709551615 264907582759 0 0 4096 24578 18446744071563479169 0 0 17 1 0 0 /proc/6126/statm: 4642 292 257 24 0 2626 0 [startup+0.0512491 s] /proc/loadavg: 0.96 0.98 0.99 2/77 6126 /proc/meminfo: memFree=1802488/2055920 swapFree=4186972/4192956 [pid=6126] ppid=6124 vsize=152 CPUtime=0 /proc/6126/stat : 6126 (java) D 6124 6126 5590 0 -1 0 204 0 1 0 0 0 0 0 18 0 1 0 104916108 155648 26 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 7017252 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0 /proc/6126/statm: 38 26 19 9 0 4 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 152 [startup+0.102251 s] /proc/loadavg: 0.96 0.98 0.99 2/77 6126 /proc/meminfo: memFree=1802488/2055920 swapFree=4186972/4192956 [pid=6126] ppid=6124 vsize=152 CPUtime=0 /proc/6126/stat : 6126 (java) D 6124 6126 5590 0 -1 0 204 0 1 0 0 0 0 0 18 0 1 0 104916108 155648 26 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 7017252 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0 /proc/6126/statm: 38 26 19 9 0 4 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 152 [startup+0.301273 s] /proc/loadavg: 0.96 0.98 0.99 2/77 6126 /proc/meminfo: memFree=1802488/2055920 swapFree=4186972/4192956 [pid=6126] ppid=6124 vsize=1776376 CPUtime=0.06 /proc/6126/stat : 6126 (java) S 6124 6126 5590 0 -1 0 3419 0 34 0 1 5 0 0 18 0 4 0 104916108 1819009024 3197 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0 /proc/6126/statm: 444094 3197 1020 9 0 441730 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 1776376 [startup+0.701295 s] /proc/loadavg: 0.96 0.98 0.99 2/77 6126 /proc/meminfo: memFree=1802488/2055920 swapFree=4186972/4192956 [pid=6126] ppid=6124 vsize=1781448 CPUtime=0.39 /proc/6126/stat : 6126 (java) S 6124 6126 5590 0 -1 0 5113 0 34 0 32 7 0 0 18 0 12 0 104916108 1824202752 4882 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/6126/statm: 445362 4882 1267 9 0 442974 0 Current children cumulated CPU time (s) 0.39 Current children cumulated vsize (KiB) 1781448 [startup+1.50135 s] /proc/loadavg: 0.96 0.98 0.99 2/89 6138 /proc/meminfo: memFree=1772568/2055920 swapFree=4186972/4192956 [pid=6126] ppid=6124 vsize=1783036 CPUtime=1.64 /proc/6126/stat : 6126 (java) S 6124 6126 5590 0 -1 0 14803 0 34 0 153 11 0 0 18 0 12 0 104916108 1825828864 13492 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/6126/statm: 445759 13494 1303 9 0 443371 0 [pid=6126/tid=6128] ppid=6124 vsize=1783036 CPUtime=0.82 /proc/6126/task/6128/stat : 6128 (java) R 6124 6126 5590 0 -1 64 12135 0 9 0 74 8 0 0 18 0 12 0 104916125 1825828864 13495 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109597124 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6126/tid=6129] ppid=6124 vsize=1783036 CPUtime=0 /proc/6126/task/6129/stat : 6129 (java) S 6124 6126 5590 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 104916134 1825828864 13496 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6130] ppid=6124 vsize=1783036 CPUtime=0 /proc/6126/task/6130/stat : 6130 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 104916134 1825828864 13497 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6126/tid=6131] ppid=6124 vsize=1783036 CPUtime=0 /proc/6126/task/6131/stat : 6131 (java) S 6124 6126 5590 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 104916139 1825828864 13498 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6132] ppid=6124 vsize=1783036 CPUtime=0 /proc/6126/task/6132/stat : 6132 (java) S 6124 6126 5590 0 -1 64 10 0 0 0 0 0 0 0 21 0 12 0 104916139 1825828864 13499 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6133] ppid=6124 vsize=1783036 CPUtime=0 /proc/6126/task/6133/stat : 6133 (java) S 6124 6126 5590 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 104916139 1825828864 13500 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6134] ppid=6124 vsize=1783036 CPUtime=0 /proc/6126/task/6134/stat : 6134 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 104916146 1825828864 13501 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6135] ppid=6124 vsize=1783036 CPUtime=0.31 /proc/6126/task/6135/stat : 6135 (java) S 6124 6126 5590 0 -1 64 591 0 0 0 31 0 0 0 16 0 12 0 104916146 1825828864 13502 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6126/tid=6136] ppid=6124 vsize=1783036 CPUtime=0.46 /proc/6126/task/6136/stat : 6136 (java) S 6124 6126 5590 0 -1 64 1382 0 0 0 46 0 0 0 17 0 12 0 104916146 1825828864 13503 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6137] ppid=6124 vsize=1783036 CPUtime=0 /proc/6126/task/6137/stat : 6137 (java) S 6124 6126 5590 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 104916146 1825828864 13504 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6138] ppid=6124 vsize=1783036 CPUtime=0 /proc/6126/task/6138/stat : 6138 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 104916146 1825828864 13505 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1.64 Current children cumulated vsize (KiB) 1783036 [startup+3.10245 s] /proc/loadavg: 0.96 0.98 0.99 3/89 6138 /proc/meminfo: memFree=1679128/2055920 swapFree=4186972/4192956 [pid=6126] ppid=6124 vsize=1785776 CPUtime=3.64 /proc/6126/stat : 6126 (java) S 6124 6126 5590 0 -1 0 44303 0 34 0 339 25 0 0 18 0 13 0 104916108 1828634624 42277 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/6126/statm: 446444 42277 1321 9 0 444056 0 [pid=6126/tid=6128] ppid=6124 vsize=1785776 CPUtime=2.23 /proc/6126/task/6128/stat : 6128 (java) R 6124 6126 5590 0 -1 64 37730 0 9 0 204 19 0 0 22 0 13 0 104916125 1828634624 42277 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109544810 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6126/tid=6129] ppid=6124 vsize=1785776 CPUtime=0.04 /proc/6126/task/6129/stat : 6129 (java) S 6124 6126 5590 0 -1 64 1490 0 0 0 4 0 0 0 16 0 13 0 104916134 1828634624 42277 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6130] ppid=6124 vsize=1785776 CPUtime=0.05 /proc/6126/task/6130/stat : 6130 (java) S 6124 6126 5590 0 -1 64 1353 0 0 0 5 0 0 0 16 0 13 0 104916134 1828634624 42277 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6126/tid=6131] ppid=6124 vsize=1785776 CPUtime=0 /proc/6126/task/6131/stat : 6131 (java) S 6124 6126 5590 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 104916139 1828634624 42277 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6132] ppid=6124 vsize=1785776 CPUtime=0 /proc/6126/task/6132/stat : 6132 (java) S 6124 6126 5590 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 104916139 1828634624 42277 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6133] ppid=6124 vsize=1785776 CPUtime=0 /proc/6126/task/6133/stat : 6133 (java) S 6124 6126 5590 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 104916139 1828634624 42277 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6134] ppid=6124 vsize=1785776 CPUtime=0 /proc/6126/task/6134/stat : 6134 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 104916146 1828634624 42277 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6135] ppid=6124 vsize=1785776 CPUtime=0.51 /proc/6126/task/6135/stat : 6135 (java) R 6124 6126 5590 0 -1 64 1301 0 0 0 51 0 0 0 16 0 13 0 104916146 1828634624 42277 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 105244502 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6136] ppid=6124 vsize=1785776 CPUtime=0.73 /proc/6126/task/6136/stat : 6136 (java) S 6124 6126 5590 0 -1 64 1723 0 0 0 73 0 0 0 16 0 13 0 104916146 1828634624 42277 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6126/tid=6137] ppid=6124 vsize=1785776 CPUtime=0 /proc/6126/task/6137/stat : 6137 (java) S 6124 6126 5590 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 104916146 1828634624 42277 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6138] ppid=6124 vsize=1785776 CPUtime=0 /proc/6126/task/6138/stat : 6138 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 104916146 1828634624 42277 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.64 Current children cumulated vsize (KiB) 1785776 [startup+6.30264 s] /proc/loadavg: 0.97 0.98 0.99 2/90 6139 /proc/meminfo: memFree=1620248/2055920 swapFree=4186972/4192956 [pid=6126] ppid=6124 vsize=1785608 CPUtime=7.19 /proc/6126/stat : 6126 (java) S 6124 6126 5590 0 -1 0 54470 0 34 0 691 28 0 0 18 0 13 0 104916108 1828462592 49730 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/6126/statm: 446402 49730 1321 9 0 444014 0 [pid=6126/tid=6128] ppid=6124 vsize=1785608 CPUtime=5.09 /proc/6126/task/6128/stat : 6128 (java) R 6124 6126 5590 0 -1 64 37737 0 9 0 490 19 0 0 19 0 13 0 104916125 1828462592 49730 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109769443 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6126/tid=6129] ppid=6124 vsize=1785608 CPUtime=0.35 /proc/6126/task/6129/stat : 6129 (java) S 6124 6126 5590 0 -1 64 6816 0 0 0 33 2 0 0 16 0 13 0 104916134 1828462592 49730 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6130] ppid=6124 vsize=1785608 CPUtime=0.35 /proc/6126/task/6130/stat : 6130 (java) S 6124 6126 5590 0 -1 64 6148 0 0 0 34 1 0 0 17 0 13 0 104916134 1828462592 49730 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6126/tid=6131] ppid=6124 vsize=1785608 CPUtime=0 /proc/6126/task/6131/stat : 6131 (java) S 6124 6126 5590 0 -1 64 24 0 0 0 0 0 0 0 17 0 13 0 104916139 1828462592 49730 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6126/tid=6132] ppid=6124 vsize=1785608 CPUtime=0 /proc/6126/task/6132/stat : 6132 (java) S 6124 6126 5590 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 104916139 1828462592 49730 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6133] ppid=6124 vsize=1785608 CPUtime=0 /proc/6126/task/6133/stat : 6133 (java) S 6124 6126 5590 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 104916139 1828462592 49730 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6134] ppid=6124 vsize=1785608 CPUtime=0 /proc/6126/task/6134/stat : 6134 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 104916146 1828462592 49730 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6135] ppid=6124 vsize=1785608 CPUtime=0.55 /proc/6126/task/6135/stat : 6135 (java) S 6124 6126 5590 0 -1 64 1304 0 0 0 55 0 0 0 16 0 13 0 104916146 1828462592 49730 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6136] ppid=6124 vsize=1785608 CPUtime=0.76 /proc/6126/task/6136/stat : 6136 (java) S 6124 6126 5590 0 -1 64 1742 0 0 0 76 0 0 0 16 0 13 0 104916146 1828462592 49730 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6126/tid=6137] ppid=6124 vsize=1785608 CPUtime=0 /proc/6126/task/6137/stat : 6137 (java) S 6124 6126 5590 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 104916146 1828462592 49730 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6138] ppid=6124 vsize=1785608 CPUtime=0 /proc/6126/task/6138/stat : 6138 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 104916146 1828462592 49730 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6139] ppid=6124 vsize=1785608 CPUtime=0 /proc/6126/task/6139/stat : 6139 (java) S 6124 6126 5590 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 104916355 1828462592 49730 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 7.19 Current children cumulated vsize (KiB) 1785608 [startup+12.702 s] /proc/loadavg: 0.97 0.98 0.99 2/90 6141 /proc/meminfo: memFree=1598856/2055920 swapFree=4186972/4192956 [pid=6126] ppid=6124 vsize=1790016 CPUtime=14.11 /proc/6126/stat : 6126 (java) S 6124 6126 5590 0 -1 0 56397 0 34 0 1382 29 0 0 18 0 13 0 104916108 1832976384 50749 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/6126/statm: 447504 50749 1328 9 0 445116 0 [pid=6126/tid=6128] ppid=6124 vsize=1790016 CPUtime=11.3 /proc/6126/task/6128/stat : 6128 (java) R 6124 6126 5590 0 -1 64 37753 0 9 0 1111 19 0 0 25 0 13 0 104916125 1832976384 50749 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109497511 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6126/tid=6129] ppid=6124 vsize=1790016 CPUtime=0.35 /proc/6126/task/6129/stat : 6129 (java) S 6124 6126 5590 0 -1 64 6816 0 0 0 33 2 0 0 16 0 13 0 104916134 1832976384 50749 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6130] ppid=6124 vsize=1790016 CPUtime=0.36 /proc/6126/task/6130/stat : 6130 (java) S 6124 6126 5590 0 -1 64 6148 0 0 0 35 1 0 0 16 0 13 0 104916134 1832976384 50749 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6126/tid=6131] ppid=6124 vsize=1790016 CPUtime=0 /proc/6126/task/6131/stat : 6131 (java) S 6124 6126 5590 0 -1 64 24 0 0 0 0 0 0 0 16 0 13 0 104916139 1832976384 50749 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6132] ppid=6124 vsize=1790016 CPUtime=0 /proc/6126/task/6132/stat : 6132 (java) S 6124 6126 5590 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 104916139 1832976384 50749 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6133] ppid=6124 vsize=1790016 CPUtime=0 /proc/6126/task/6133/stat : 6133 (java) S 6124 6126 5590 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 104916139 1832976384 50749 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6134] ppid=6124 vsize=1790016 CPUtime=0 /proc/6126/task/6134/stat : 6134 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 104916146 1832976384 50749 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6135] ppid=6124 vsize=1790016 CPUtime=0.84 /proc/6126/task/6135/stat : 6135 (java) S 6124 6126 5590 0 -1 64 1336 0 0 0 84 0 0 0 16 0 13 0 104916146 1832976384 50749 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6126/tid=6136] ppid=6124 vsize=1790016 CPUtime=1.16 /proc/6126/task/6136/stat : 6136 (java) S 6124 6126 5590 0 -1 64 3618 0 0 0 115 1 0 0 16 0 13 0 104916146 1832976384 50749 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6137] ppid=6124 vsize=1790016 CPUtime=0 /proc/6126/task/6137/stat : 6137 (java) S 6124 6126 5590 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 104916146 1832976384 50749 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6138] ppid=6124 vsize=1790016 CPUtime=0 /proc/6126/task/6138/stat : 6138 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 104916146 1832976384 50749 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6141] ppid=6124 vsize=1790016 CPUtime=0 /proc/6126/task/6141/stat : 6141 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 104917298 1832976384 50749 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 14.11 Current children cumulated vsize (KiB) 1790016 [startup+25.5028 s] /proc/loadavg: 1.04 1.00 1.00 2/90 6143 /proc/meminfo: memFree=1671800/2055920 swapFree=4186972/4192956 [pid=6126] ppid=6124 vsize=1789880 CPUtime=27.29 /proc/6126/stat : 6126 (java) S 6124 6126 5590 0 -1 0 58163 0 34 0 2697 32 0 0 18 0 13 0 104916108 1832837120 31553 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/6126/statm: 447470 31553 1328 9 0 445082 0 [pid=6126/tid=6128] ppid=6124 vsize=1789880 CPUtime=23.93 /proc/6126/task/6128/stat : 6128 (java) R 6124 6126 5590 0 -1 64 37786 0 9 0 2374 19 0 0 21 0 13 0 104916125 1832837120 31553 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109812101 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6129] ppid=6124 vsize=1789880 CPUtime=0.44 /proc/6126/task/6129/stat : 6129 (java) S 6124 6126 5590 0 -1 64 7670 0 0 0 41 3 0 0 16 0 13 0 104916134 1832837120 31553 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6130] ppid=6124 vsize=1789880 CPUtime=0.44 /proc/6126/task/6130/stat : 6130 (java) S 6124 6126 5590 0 -1 64 6963 0 0 0 42 2 0 0 16 0 13 0 104916134 1832837120 31553 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6126/tid=6131] ppid=6124 vsize=1789880 CPUtime=0.02 /proc/6126/task/6131/stat : 6131 (java) S 6124 6126 5590 0 -1 64 30 0 0 0 1 1 0 0 16 0 13 0 104916139 1832837120 31553 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6132] ppid=6124 vsize=1789880 CPUtime=0 /proc/6126/task/6132/stat : 6132 (java) S 6124 6126 5590 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 104916139 1832837120 31553 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=6126/tid=6131] ppid=6124 vsize=1790204 CPUtime=1.1 /proc/6126/task/6131/stat : 6131 (java) S 6124 6126 5590 0 -1 64 417 0 0 0 60 50 0 0 16 0 13 0 104916139 1833168896 93834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6132] ppid=6124 vsize=1790204 CPUtime=0 /proc/6126/task/6132/stat : 6132 (java) S 6124 6126 5590 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 104916139 1833168896 93834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6133] ppid=6124 vsize=1790204 CPUtime=0 /proc/6126/task/6133/stat : 6133 (java) S 6124 6126 5590 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 104916139 1833168896 93834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6134] ppid=6124 vsize=1790204 CPUtime=0 /proc/6126/task/6134/stat : 6134 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 104916146 1833168896 93834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6135] ppid=6124 vsize=1790204 CPUtime=1.47 /proc/6126/task/6135/stat : 6135 (java) S 6124 6126 5590 0 -1 64 1371 0 0 0 147 0 0 0 17 0 13 0 104916146 1833168896 93834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6126/tid=6136] ppid=6124 vsize=1790204 CPUtime=1.95 /proc/6126/task/6136/stat : 6136 (java) S 6124 6126 5590 0 -1 64 3710 0 0 0 194 1 0 0 17 0 13 0 104916146 1833168896 93834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6137] ppid=6124 vsize=1790204 CPUtime=0 /proc/6126/task/6137/stat : 6137 (java) S 6124 6126 5590 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 104916146 1833168896 93834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6138] ppid=6124 vsize=1790204 CPUtime=0 /proc/6126/task/6138/stat : 6138 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 104916146 1833168896 93834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6126/tid=6426] ppid=6124 vsize=1790204 CPUtime=0 /proc/6126/task/6426/stat : 6426 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 105068432 1833168896 93834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1615.93 Current children cumulated vsize (KiB) 1790204 [startup+1662.3 s] /proc/loadavg: 1.06 1.08 1.03 2/90 6426 /proc/meminfo: memFree=1418384/2055920 swapFree=4186972/4192956 [pid=6126] ppid=6124 vsize=1790204 CPUtime=1676.35 /proc/6126/stat : 6126 (java) S 6124 6126 5590 0 -1 0 210756 0 34 0 167424 211 0 0 18 0 13 0 104916108 1833168896 93935 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/6126/statm: 447551 93935 1329 9 0 445163 0 [pid=6126/tid=6128] ppid=6124 vsize=1790204 CPUtime=1645.37 /proc/6126/task/6128/stat : 6128 (java) R 6124 6126 5590 0 -1 64 137407 0 9 0 164449 88 0 0 25 0 13 0 104916125 1833168896 93935 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109545077 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6129] ppid=6124 vsize=1790204 CPUtime=13.2 /proc/6126/task/6129/stat : 6129 (java) S 6124 6126 5590 0 -1 64 34005 0 0 0 1288 32 0 0 16 0 13 0 104916134 1833168896 93935 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6130] ppid=6124 vsize=1790204 CPUtime=13.13 /proc/6126/task/6130/stat : 6130 (java) S 6124 6126 5590 0 -1 64 33009 0 0 0 1281 32 0 0 16 0 13 0 104916134 1833168896 93935 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6126/tid=6131] ppid=6124 vsize=1790204 CPUtime=1.13 /proc/6126/task/6131/stat : 6131 (java) S 6124 6126 5590 0 -1 64 417 0 0 0 62 51 0 0 15 0 13 0 104916139 1833168896 93935 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6132] ppid=6124 vsize=1790204 CPUtime=0 /proc/6126/task/6132/stat : 6132 (java) S 6124 6126 5590 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 104916139 1833168896 93935 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6133] ppid=6124 vsize=1790204 CPUtime=0 /proc/6126/task/6133/stat : 6133 (java) S 6124 6126 5590 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 104916139 1833168896 93935 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6134] ppid=6124 vsize=1790204 CPUtime=0 /proc/6126/task/6134/stat : 6134 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 104916146 1833168896 93935 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6135] ppid=6124 vsize=1790204 CPUtime=1.47 /proc/6126/task/6135/stat : 6135 (java) S 6124 6126 5590 0 -1 64 1371 0 0 0 147 0 0 0 17 0 13 0 104916146 1833168896 93935 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6126/tid=6136] ppid=6124 vsize=1790204 CPUtime=1.95 /proc/6126/task/6136/stat : 6136 (java) S 6124 6126 5590 0 -1 64 3710 0 0 0 194 1 0 0 17 0 13 0 104916146 1833168896 93935 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6137] ppid=6124 vsize=1790204 CPUtime=0 /proc/6126/task/6137/stat : 6137 (java) S 6124 6126 5590 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 104916146 1833168896 93935 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6138] ppid=6124 vsize=1790204 CPUtime=0 /proc/6126/task/6138/stat : 6138 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 104916146 1833168896 93935 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6126/tid=6426] ppid=6124 vsize=1790204 CPUtime=0 /proc/6126/task/6426/stat : 6426 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 105068432 1833168896 93935 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1676.35 Current children cumulated vsize (KiB) 1790204 [startup+1722.3 s] /proc/loadavg: 1.02 1.06 1.02 2/90 6427 /proc/meminfo: memFree=1416904/2055920 swapFree=4186972/4192956 [pid=6126] ppid=6124 vsize=1790204 CPUtime=1736.8 /proc/6126/stat : 6126 (java) S 6124 6126 5590 0 -1 0 211910 0 34 0 173465 215 0 0 18 0 13 0 104916108 1833168896 94272 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/6126/statm: 447551 94272 1329 9 0 445163 0 [pid=6126/tid=6128] ppid=6124 vsize=1790204 CPUtime=1704.78 /proc/6126/task/6128/stat : 6128 (java) R 6124 6126 5590 0 -1 64 137560 0 9 0 170389 89 0 0 25 0 13 0 104916125 1833168896 94272 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109545228 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6126/tid=6129] ppid=6124 vsize=1790204 CPUtime=13.7 /proc/6126/task/6129/stat : 6129 (java) S 6124 6126 5590 0 -1 64 34360 0 0 0 1337 33 0 0 16 0 13 0 104916134 1833168896 94272 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6130] ppid=6124 vsize=1790204 CPUtime=13.63 /proc/6126/task/6130/stat : 6130 (java) S 6124 6126 5590 0 -1 64 33647 0 0 0 1330 33 0 0 16 0 13 0 104916134 1833168896 94272 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6126/tid=6131] ppid=6124 vsize=1790204 CPUtime=1.16 /proc/6126/task/6131/stat : 6131 (java) S 6124 6126 5590 0 -1 64 423 0 0 0 64 52 0 0 16 0 13 0 104916139 1833168896 94272 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6126/tid=6132] ppid=6124 vsize=1790204 CPUtime=0 /proc/6126/task/6132/stat : 6132 (java) S 6124 6126 5590 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 104916139 1833168896 94272 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6133] ppid=6124 vsize=1790204 CPUtime=0 /proc/6126/task/6133/stat : 6133 (java) S 6124 6126 5590 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 104916139 1833168896 94272 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6134] ppid=6124 vsize=1790204 CPUtime=0 /proc/6126/task/6134/stat : 6134 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 104916146 1833168896 94272 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6135] ppid=6124 vsize=1790204 CPUtime=1.47 /proc/6126/task/6135/stat : 6135 (java) S 6124 6126 5590 0 -1 64 1371 0 0 0 147 0 0 0 17 0 13 0 104916146 1833168896 94272 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6126/tid=6136] ppid=6124 vsize=1790204 CPUtime=1.95 /proc/6126/task/6136/stat : 6136 (java) S 6124 6126 5590 0 -1 64 3710 0 0 0 194 1 0 0 17 0 13 0 104916146 1833168896 94272 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6137] ppid=6124 vsize=1790204 CPUtime=0 /proc/6126/task/6137/stat : 6137 (java) S 6124 6126 5590 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 104916146 1833168896 94272 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6138] ppid=6124 vsize=1790204 CPUtime=0 /proc/6126/task/6138/stat : 6138 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 104916146 1833168896 94272 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6126/tid=6427] ppid=6124 vsize=1790204 CPUtime=0 /proc/6126/task/6427/stat : 6427 (java) S 6124 6126 5590 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 105086048 1833168896 94272 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1736.8 Current children cumulated vsize (KiB) 1790204 [startup+1782.3 s] /proc/loadavg: 1.01 1.05 1.01 2/90 6427 /proc/meminfo: memFree=1413256/2055920 swapFree=4186972/4192956 [pid=6126] ppid=6124 vsize=1790204 CPUtime=1797.2 /proc/6126/stat : 6126 (java) S 6124 6126 5590 0 -1 0 212979 0 34 0 179501 219 0 0 18 0 13 0 104916108 1833168896 95171 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/6126/statm: 447551 95171 1329 9 0 445163 0 [pid=6126/tid=6128] ppid=6124 vsize=1790204 CPUtime=1764.2 /proc/6126/task/6128/stat : 6128 (java) R 6124 6126 5590 0 -1 64 138441 0 9 0 176330 90 0 0 25 0 13 0 104916125 1833168896 95171 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4110025605 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6126/tid=6129] ppid=6124 vsize=1790204 CPUtime=14.18 /proc/6126/task/6129/stat : 6129 (java) S 6124 6126 5590 0 -1 64 34474 0 0 0 1384 34 0 0 16 0 13 0 104916134 1833168896 95171 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6130] ppid=6124 vsize=1790204 CPUtime=14.11 /proc/6126/task/6130/stat : 6130 (java) S 6124 6126 5590 0 -1 64 33721 0 0 0 1377 34 0 0 16 0 13 0 104916134 1833168896 95171 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6126/tid=6131] ppid=6124 vsize=1790204 CPUtime=1.19 /proc/6126/task/6131/stat : 6131 (java) S 6124 6126 5590 0 -1 64 423 0 0 0 66 53 0 0 15 0 13 0 104916139 1833168896 95171 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6126/tid=6132] ppid=6124 vsize=1790204 CPUtime=0 /proc/6126/task/6132/stat : 6132 (java) S 6124 6126 5590 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 104916139 1833168896 95171 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6133] ppid=6124 vsize=1790204 CPUtime=0 /proc/6126/task/6133/stat : 6133 (java) S 6124 6126 5590 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 104916139 1833168896 95171 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6134] ppid=6124 vsize=1790204 CPUtime=0 /proc/6126/task/6134/stat : 6134 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 104916146 1833168896 95171 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6135] ppid=6124 vsize=1790204 CPUtime=1.47 /proc/6126/task/6135/stat : 6135 (java) S 6124 6126 5590 0 -1 64 1371 0 0 0 147 0 0 0 17 0 13 0 104916146 1833168896 95171 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6126/tid=6136] ppid=6124 vsize=1790204 CPUtime=1.95 /proc/6126/task/6136/stat : 6136 (java) S 6124 6126 5590 0 -1 64 3710 0 0 0 194 1 0 0 17 0 13 0 104916146 1833168896 95171 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6137] ppid=6124 vsize=1790204 CPUtime=0 /proc/6126/task/6137/stat : 6137 (java) S 6124 6126 5590 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 104916146 1833168896 95171 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6138] ppid=6124 vsize=1790204 CPUtime=0 /proc/6126/task/6138/stat : 6138 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 104916146 1833168896 95171 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6427] ppid=6124 vsize=1790204 CPUtime=0 /proc/6126/task/6427/stat : 6427 (java) S 6124 6126 5590 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 105086048 1833168896 95171 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.2 Current children cumulated vsize (KiB) 1790204 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1785.1 s] /proc/loadavg: 1.00 1.05 1.01 2/90 6427 /proc/meminfo: memFree=1413192/2055920 swapFree=4186972/4192956 [pid=6126] ppid=6124 vsize=1790204 CPUtime=1800.03 /proc/6126/stat : 6126 (java) S 6124 6126 5590 0 -1 0 212986 0 34 0 179784 219 0 0 18 0 13 0 104916108 1833168896 95156 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/6126/statm: 447551 95156 1329 9 0 445163 0 [pid=6126/tid=6128] ppid=6124 vsize=1790204 CPUtime=1766.98 /proc/6126/task/6128/stat : 6128 (java) R 6124 6126 5590 0 -1 64 138447 0 9 0 176608 90 0 0 25 0 13 0 104916125 1833168896 95156 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109545228 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6126/tid=6129] ppid=6124 vsize=1790204 CPUtime=14.2 /proc/6126/task/6129/stat : 6129 (java) S 6124 6126 5590 0 -1 64 34475 0 0 0 1386 34 0 0 15 0 13 0 104916134 1833168896 95156 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6130] ppid=6124 vsize=1790204 CPUtime=14.13 /proc/6126/task/6130/stat : 6130 (java) S 6124 6126 5590 0 -1 64 33721 0 0 0 1379 34 0 0 16 0 13 0 104916134 1833168896 95156 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6126/tid=6131] ppid=6124 vsize=1790204 CPUtime=1.19 /proc/6126/task/6131/stat : 6131 (java) S 6124 6126 5590 0 -1 64 423 0 0 0 66 53 0 0 16 0 13 0 104916139 1833168896 95156 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6126/tid=6132] ppid=6124 vsize=1790204 CPUtime=0 /proc/6126/task/6132/stat : 6132 (java) S 6124 6126 5590 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 104916139 1833168896 95156 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6133] ppid=6124 vsize=1790204 CPUtime=0 /proc/6126/task/6133/stat : 6133 (java) S 6124 6126 5590 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 104916139 1833168896 95156 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6134] ppid=6124 vsize=1790204 CPUtime=0 /proc/6126/task/6134/stat : 6134 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 104916146 1833168896 95156 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6135] ppid=6124 vsize=1790204 CPUtime=1.47 /proc/6126/task/6135/stat : 6135 (java) S 6124 6126 5590 0 -1 64 1371 0 0 0 147 0 0 0 17 0 13 0 104916146 1833168896 95156 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6126/tid=6136] ppid=6124 vsize=1790204 CPUtime=1.95 /proc/6126/task/6136/stat : 6136 (java) S 6124 6126 5590 0 -1 64 3710 0 0 0 194 1 0 0 17 0 13 0 104916146 1833168896 95156 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6137] ppid=6124 vsize=1790204 CPUtime=0 /proc/6126/task/6137/stat : 6137 (java) S 6124 6126 5590 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 104916146 1833168896 95156 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6138] ppid=6124 vsize=1790204 CPUtime=0 /proc/6126/task/6138/stat : 6138 (java) S 6124 6126 5590 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 104916146 1833168896 95156 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6126/tid=6427] ppid=6124 vsize=1790204 CPUtime=0 /proc/6126/task/6427/stat : 6427 (java) S 6124 6126 5590 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 105086048 1833168896 95156 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) 1790204 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1785.21 s] /proc/loadavg: 1.00 1.05 1.01 2/80 6430 /proc/meminfo: memFree=1487360/2055920 swapFree=4186972/4192956 [pid=6126] ppid=6124 vsize=0 CPUtime=1800.19 /proc/6126/stat : 6126 (java) Z 6124 6126 5590 0 -1 1036 213000 0 34 0 179798 221 0 0 15 0 2 0 104916108 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/6126/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1785.27 CPU time (s): 1800.25 CPU user time (s): 1797.99 CPU system time (s): 2.25966 CPU usage (%): 100.839 Max. virtual memory (cumulated for all children) (KiB): 1790204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.99 system time used= 2.25966 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 213000 page faults= 34 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 91246 involuntary context switches= 60127 runsolver used 2.08068 second user time and 5.54316 second system time The end
Begin job on node30 on Sat Apr 14 17:00:04 UTC 2007 IDJOB= 350937 IDBENCH= 1622 IDSOLVER= 160 FILE ID= node30/350937-1176570004 PBS_JOBID= 4556887 Free space on /tmp= 66559 MiB SOLVER NAME= sat4jPseudoCP 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-nsrand_ipx.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/350937-1176570004/sat4jPseudoCP.jar /tmp/evaluation/350937-1176570004/instance-350937-1176570004.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-350937-1176570004 -o ROOT/results/node30/solver-350937-1176570004 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/350937-1176570004/sat4jPseudoCP.jar /tmp/evaluation/350937-1176570004/instance-350937-1176570004.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 5afe2e688387cc46a3d150d955d27ab1 RANDOM SEED= 368717858 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node30.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.218 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.218 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: 1802960 kB Buffers: 5612 kB Cached: 97448 kB SwapCached: 2204 kB Active: 46900 kB Inactive: 95960 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1802960 kB SwapTotal: 4192956 kB SwapFree: 4186972 kB Dirty: 5688 kB Writeback: 0 kB Mapped: 56428 kB Slab: 95648 kB Committed_AS: 202028 kB PageTables: 1776 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66559 MiB End job on node30 on Sat Apr 14 17:29:51 UTC 2007