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