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