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