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