Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | 26 | 1800.09 | 1800.63 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_5.opb |
MD5SUM | 130be24ef6faf784c5a8bf386cbf11b2 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 21 |
Best CPU time to get the best result obtained on this benchmark | 1800.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 21 |
Optimality of the best value was proved | NO |
Number of variables | 5499 |
Total number of constraints | 19319 |
Number of constraints which are clauses | 19312 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 6 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 613 |
Number of terms in the objective function | 613 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 613 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 30 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 643 |
Number of bits of the biggest sum of numbers | 10 |
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 bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/373128-1177169619/instance-373128-1177169619.opb 0.00/0.00 c File size is 560274 bytes. 0.09/0.10 c Highest Coefficient sum: 643 0.09/0.10 c Parsing was ok!! 0.09/0.10 c Total parsing time: 0.102 s 0.09/0.11 c Var: 5499 Constr: 19319 19318/1/0 Lit: 49111 Watch. Lit: 39215 0.09/0.11 c Obj. Vars: 613 (11.1475 % of total variables) 0.29/0.33 c Pre-processing Time: 0.332 s 0.29/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.33 c 0 5488 19296 49070 2 39174 7431 0 0 0.33 0.29/0.33 c Switching off LPR mode. 0.29/0.34 o 28 0.343 0.49/0.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.50 c 16 5488 19313 51813 2 39793 8431 17 46 0.35 0.49/0.50 c 116 5488 19413 62391 3 39993 9275 117 237 0.49 0.49/0.50 o 27 0.498 1.09/1.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.13 c 125 5488 19423 63409 3 40599 8431 127 249 0.50 1.09/1.13 c 226 5488 19524 71678 3 40801 9275 228 416 0.54 1.09/1.13 c 476 5488 19774 98187 4 41301 10203 478 619 0.77 1.09/1.13 c 953 5488 20251 147797 7 42255 11224 955 1064 0.90 1.09/1.13 o 26 1.132 1799.96/1800.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.96/1800.53 c 1475 5488 20774 215951 10 43888 8431 1478 1298 1.14 1799.96/1800.53 c 1576 5488 20875 226914 10 44090 9275 1579 1329 1.19 1799.96/1800.53 c 1827 5488 21126 246762 11 44592 10203 1830 1445 1.26 1799.96/1800.53 c 2303 5488 21602 288829 13 45544 11224 2306 1481 1.55 1799.96/1800.53 c 3117 5488 22416 635787 28 47172 12347 3120 1402 2.22 1799.96/1800.53 c 4439 5488 23738 882536 37 49816 13582 4442 1616 2.75 1799.96/1800.53 c 6521 5488 25820 1415557 54 53980 14941 6524 1716 3.80 1799.96/1800.53 c 9745 5488 29044 2698452 92 60428 16436 9748 1275 7.64 1799.96/1800.53 c 14682 5488 33981 4044095 119 70302 18080 14685 1192 12.31 1799.96/1800.53 c 22189 5488 29089 1432947 49 59347 19889 9793 810 27.39 1799.96/1800.53 c 33550 5488 29242 2944697 100 59653 21878 9946 880 38.09 1799.96/1800.53 c 50697 5488 30501 2732125 89 62171 24066 11205 776 65.27 1799.96/1800.53 c 76516 5488 39533 7217525 182 80235 26473 20237 676 113.13 1799.96/1800.53 c 115349 5488 39456 8545135 216 80081 29121 20160 501 230.12 1799.96/1800.53 c 173701 5488 32848 7897067 240 66865 32034 13552 341 507.90 1799.96/1800.53 c 261334 5488 47927 7745038 161 97023 35238 28631 346 754.75 1799.96/1800.53 c 392887 5488 41278 10957543 265 83725 38762 21982 265 1480.11 1799.96/1800.53 c Resources Exceeded 1799.96/1800.53 v x1 x177 x350 x700 x857 -x926 -x953 -x980 -x1007 -x1034 -x1061 -x1088 x10 -x1115 -x13 -x1127 -x16 -x1139 -x19 -x1151 -x22 -x1163 1799.96/1800.53 v -x25 -x1175 -x28 -x1187 -x31 -x1199 -x34 -x1211 -x37 -x1223 -x40 -x1235 -x43 -x1247 -x46 -x1259 -x49 -x1271 -x52 -x1283 -x55 1799.96/1800.53 v -x1295 x58 x1307 -x61 -x1319 -x64 -x1331 -x67 -x1343 -x70 -x1355 -x1367 -x1369 -x1374 -x1376 -x1381 -x1383 -x1388 -x1390 1799.96/1800.53 v x1395 -x1397 -x1402 -x1404 -x1409 -x1411 -x1416 -x1418 -x1423 -x1425 -x1430 -x1432 -x1437 -x1439 -x1444 -x1446 -x1451 1799.96/1800.53 v -x1453 -x1458 -x1460 -x1465 -x1467 -x1472 -x1474 -x1479 -x1481 -x1486 -x1488 -x1493 -x1495 -x1500 -x1502 -x1507 -x1509 1799.96/1800.53 v -x1514 -x1516 -x1521 -x1523 -x1528 -x1530 -x1535 -x1537 -x1542 -x1544 -x1549 x1551 -x1556 -x1558 -x1563 -x1565 -x1570 1799.96/1800.53 v -x1572 -x1577 -x1579 -x1584 -x1586 -x1591 -x1593 -x1598 -x1600 -x1605 -x1607 -x1612 x1639 -x1666 -x1693 -x1720 -x1747 1799.96/1800.53 v -x1774 -x186 -x1801 -x189 -x1813 x192 -x1825 -x195 -x1837 -x198 -x1849 -x201 -x1861 -x204 x1873 -x207 -x1885 -x1897 -x212 1799.96/1800.53 v -x1909 -x215 -x1921 -x1933 x220 -x1945 -x223 -x1957 -x226 -x1969 -x229 -x1981 -x232 -x1993 -x2005 -x237 -x2017 -x240 -x2029 1799.96/1800.53 v -x243 -x2041 -x2053 -x2055 -x2060 -x2062 -x2067 -x2069 -x2074 -x2076 -x2081 -x2083 -x2088 -x2090 -x2095 -x2097 -x2102 1799.96/1800.53 v -x2104 -x2109 -x2111 -x2116 -x2118 x2123 -x2125 -x2130 -x2132 -x2137 -x2139 -x2144 -x2146 -x2151 -x2153 -x2158 -x2160 1799.96/1800.53 v -x2165 -x2167 -x2172 -x2174 -x2179 x2181 -x2186 -x2188 -x2193 -x2195 -x2200 -x2202 -x2207 -x2209 -x2214 -x2216 -x2221 1799.96/1800.53 v -x2223 -x2228 -x2230 -x2235 -x2237 -x2242 -x2244 -x2249 -x2251 -x2256 -x2258 -x2263 -x2265 -x2270 -x2272 -x2277 -x2279 1799.96/1800.53 v -x2284 -x2286 -x2291 -x2293 -x2298 -x2356 -x2414 -x2472 x2530 -x2588 -x2646 -x2704 -x2762 -x362 -x2789 -x365 -x2816 -x368 1799.96/1800.53 v -x2843 -x2870 -x373 -x2897 -x2924 -x378 -x2951 -x2978 -x3005 -x3032 -x387 -x3059 -x390 -x3086 -x3113 -x395 -x3140 -x3167 1799.96/1800.53 v -x400 -x3194 -x3221 -x3248 -x3275 -x409 -x3302 -x412 -x3329 -x3356 x3383 -x419 -x3410 -x422 -x3437 -x3464 -x427 -x3491 1799.96/1800.53 v -x3518 -x3520 -x3532 -x3534 -x3546 -x3548 -x3560 -x3572 -x3574 x3586 -x3588 -x3600 -x3602 -x3614 -x3616 -x3628 -x3630 1799.96/1800.53 v -x3642 -x3644 -x3656 -x3658 -x3670 -x3672 -x3684 -x3686 -x3698 -x3700 -x3712 -x3714 -x3726 -x3728 -x3740 -x3742 -x3754 1799.96/1800.53 v -x3756 -x3768 -x3770 -x3782 -x3784 -x3796 -x3798 -x3810 -x3812 -x3824 -x3826 -x3838 -x3840 -x3852 -x3854 -x3866 -x3868 1799.96/1800.53 v -x3880 -x3882 -x3894 -x3896 -x3908 -x3910 -x3922 -x3924 -x3936 -x3938 -x3950 -x3952 -x3964 -x3966 -x3978 -x3980 -x3992 1799.96/1800.53 v -x3994 -x4006 -x4008 -x4020 -x4022 -x4034 -x4046 -x4048 -x4060 -x4062 -x4074 -x4076 -x4088 -x4090 -x4102 -x4104 -x4116 1799.96/1800.53 v -x4118 -x4130 -x4132 -x4144 -x4146 -x4158 -x4160 -x4172 -x4174 -x4186 -x4188 -x4200 -x4202 -x4214 -x4216 -x4228 -x4230 1799.96/1800.53 v -x4242 -x4244 -x4256 -x4258 -x4270 -x4272 -x4284 -x4286 -x4298 -x4303 -x4308 -x4313 -x4318 -x4323 -x4328 -x4333 -x4338 1799.96/1800.53 v -x4343 -x4348 -x4353 -x4358 -x4363 -x4368 -x4373 -x4378 -x4383 -x4388 -x4393 -x4398 -x4403 -x4408 -x4413 -x4418 -x4423 1799.96/1800.53 v x4428 -x4433 -x4438 -x4443 -x4448 -x4453 -x4458 -x4463 -x4468 -x4473 -x4478 -x4483 -x4488 -x4493 -x4498 -x4503 -x4508 1799.96/1800.53 v -x4513 -x4518 -x4523 -x4528 -x4533 -x4538 -x4543 -x4548 -x4553 -x4558 -x4563 -x4568 -x4573 -x4578 -x4583 -x4588 -x4593 1799.96/1800.53 v -x4598 -x4603 -x4608 -x4613 -x4618 -x4623 -x4628 -x4633 -x4638 -x4643 -x4648 -x4675 -x4702 -x4729 -x4756 -x4783 x4810 1799.96/1800.53 v -x709 -x4837 -x4849 -x714 -x4861 -x4873 -x719 -x4885 -x722 -x4897 -x4909 -x4921 -x4933 -x4945 x4957 -x735 -x4969 -x4981 1799.96/1800.53 v -x4993 -x5005 -x744 -x5017 -x747 -x5029 -x5041 -x5053 -x754 -x5065 -x5077 -x5089 -x5091 -x5096 -x5098 -x5103 -x5105 -x5110 1799.96/1800.53 v -x5112 -x5117 -x5119 -x5124 -x5126 -x5131 -x5133 -x5138 -x5140 -x5145 -x5147 -x5152 -x5154 -x5156 -x5161 -x5163 -x5168 1799.96/1800.53 v -x5170 -x5175 -x5177 -x5182 -x5184 -x5189 -x5191 -x5196 -x5198 -x5203 -x5208 -x5213 -x5215 -x5220 -x5222 -x5227 x5229 1799.96/1800.53 v -x5234 -x5239 -x5241 -x5246 -x5251 -x5253 -x5258 -x5260 -x5265 -x5267 x5272 -x5274 -x5279 -x5281 -x5286 -x5291 -x5293 1799.96/1800.53 v -x5298 -x5300 -x5305 -x5307 -x5312 -x5314 -x5319 x5331 -x5343 -x5355 -x5367 -x5379 -x5391 -x5396 -x5401 -x5406 -x5411 1799.96/1800.53 v -x875 x5416 -x5421 -x880 -x5426 -x5431 -x885 -x5436 -x888 -x5441 -x891 -x5446 -x5451 -x5456 -x5461 -x5466 -x5468 -x5470 1799.96/1800.53 v -x5472 -x5474 -x5476 -x5478 -x5480 -x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -x5494 -x5496 -x5498 -x9 -x11 -x12 -x14 -x15 1799.96/1800.53 v -x17 -x18 -x20 -x21 -x23 -x24 -x26 -x27 -x29 -x30 -x32 -x33 -x35 -x36 -x38 -x39 -x41 -x42 -x44 -x45 -x47 -x48 -x50 -x51 -x53 -x54 1799.96/1800.53 v -x56 x57 x59 -x60 -x62 -x63 -x65 -x66 -x68 -x69 -x71 -x73 -x72 -x74 -x76 -x75 -x77 -x79 -x78 -x80 -x82 -x81 -x83 x85 -x84 -x86 1799.96/1800.53 v -x88 -x87 -x89 -x91 -x90 -x92 -x94 -x93 -x95 -x97 -x96 -x98 -x100 -x99 -x101 -x103 -x102 -x104 -x106 -x105 -x107 -x109 -x108 1799.96/1800.53 v -x110 -x112 -x111 -x113 -x115 -x114 -x116 -x118 -x117 -x119 -x121 -x120 -x122 -x124 -x123 -x125 -x127 -x126 -x128 -x130 -x129 1799.96/1800.53 v -x131 -x133 -x132 -x134 -x136 -x135 -x137 -x139 -x138 -x140 -x142 -x141 -x143 -x145 -x144 -x146 -x148 -x147 -x149 -x151 -x150 1799.96/1800.53 v x152 -x154 -x153 -x155 -x157 -x156 -x158 -x160 -x159 -x161 -x163 -x162 -x164 -x166 -x165 -x167 -x169 -x168 -x170 -x172 -x171 1799.96/1800.53 v -x173 -x175 -x174 -x176 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x185 -x187 -x188 -x190 -x191 -x193 -x194 -x196 -x197 -x199 -x200 -x202 1799.96/1800.53 v -x203 x205 -x206 -x208 -x209 -x210 -x211 -x213 -x214 -x216 -x217 -x218 -x219 -x221 -x222 -x224 -x225 -x227 -x228 -x230 -x231 1799.96/1800.53 v -x233 -x234 -x235 -x236 -x238 -x239 -x241 -x242 -x244 -x246 -x245 -x247 -x249 -x248 -x250 -x252 -x251 -x253 -x255 -x254 -x256 1799.96/1800.53 v -x258 -x257 -x259 -x261 -x260 -x262 -x264 -x263 -x265 -x267 -x266 -x268 -x270 -x269 -x271 -x273 -x272 -x274 x276 -x275 -x277 1799.96/1800.53 v -x279 -x278 -x280 -x282 -x281 -x283 -x285 -x284 -x286 -x288 -x287 -x289 -x291 -x290 -x292 -x294 -x293 -x295 -x297 -x296 -x298 1799.96/1800.53 v -x300 -x299 x301 -x303 -x302 -x304 -x306 -x305 -x307 -x309 -x308 -x310 -x312 -x311 -x313 -x315 -x314 -x316 -x318 -x317 -x319 1799.96/1800.53 v -x321 -x320 -x322 -x324 -x323 -x325 -x327 -x326 -x328 -x330 -x329 -x331 -x333 -x332 -x334 -x336 -x335 -x337 -x339 -x338 -x340 1799.96/1800.53 v -x342 -x341 -x343 -x345 -x344 -x346 -x348 -x347 -x349 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x359 -x360 -x361 -x363 -x364 1799.96/1800.53 v -x366 -x367 -x369 -x370 -x371 -x372 -x374 -x375 -x376 -x377 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x388 -x389 -x391 1799.96/1800.53 v -x392 -x393 -x394 -x396 -x397 -x398 -x399 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x410 -x411 -x413 -x414 -x415 -x416 1799.96/1800.53 v x417 -x418 -x420 -x421 -x423 -x424 -x425 -x426 -x428 -x430 -x429 -x431 -x433 -x432 -x434 -x436 -x435 -x437 -x438 -x439 -x441 1799.96/1800.53 v -x440 -x442 x444 -x443 -x445 -x447 -x446 -x448 -x450 -x449 -x451 -x453 -x452 -x454 -x456 -x455 -x457 -x459 -x458 -x460 -x462 1799.96/1800.53 v -x461 -x463 -x465 -x464 -x466 -x468 -x467 -x469 -x471 -x470 -x472 -x474 -x473 -x475 -x477 -x476 -x478 -x480 -x479 -x481 -x483 1799.96/1800.53 v -x482 -x484 -x486 -x485 -x487 -x489 -x488 -x490 -x492 -x491 -x493 -x495 -x494 -x496 -x498 -x497 -x499 -x501 -x500 -x502 -x504 1799.96/1800.53 v -x503 -x505 -x507 -x506 -x508 -x510 -x509 -x511 -x513 -x512 -x514 -x516 -x515 -x517 -x519 -x518 -x520 -x522 -x521 -x523 -x525 1799.96/1800.53 v -x524 -x526 -x528 -x527 -x529 -x531 -x530 -x532 -x534 -x533 -x535 -x537 -x536 -x538 -x539 -x540 -x542 -x541 -x543 -x545 -x544 1799.96/1800.53 v -x546 -x548 -x547 -x549 -x551 -x550 -x552 -x554 -x553 -x555 -x557 -x556 -x558 -x560 -x559 -x561 -x563 -x562 -x564 -x566 -x565 1799.96/1800.53 v -x567 -x569 -x568 -x570 -x572 -x571 -x573 -x575 -x574 -x576 -x578 -x577 -x579 -x581 -x580 -x582 -x584 -x583 -x585 -x587 -x586 1799.96/1800.53 v -x588 -x590 -x589 -x591 -x593 -x592 -x594 -x596 -x595 -x597 -x599 -x598 -x600 -x602 -x601 -x603 -x605 -x604 -x606 -x608 -x607 1799.96/1800.53 v -x609 -x611 -x610 -x612 -x614 -x613 -x615 -x617 -x616 -x618 -x620 -x619 -x621 -x623 -x622 -x624 -x626 -x625 -x627 -x629 -x628 1799.96/1800.53 v -x630 -x632 -x631 -x633 x635 -x634 -x636 -x638 -x637 -x639 -x641 -x640 -x642 -x644 -x643 -x645 -x647 -x646 -x648 -x650 -x649 1799.96/1800.53 v -x651 -x653 -x652 -x654 -x656 -x655 -x657 -x659 -x658 -x660 -x662 -x661 -x663 -x665 -x664 -x666 -x668 -x667 -x669 -x671 -x670 1799.96/1800.53 v -x672 -x674 -x673 -x675 -x677 -x676 -x678 -x680 -x679 -x681 -x683 -x682 -x684 -x686 -x685 -x687 -x689 -x688 -x690 -x692 -x691 1799.96/1800.53 v -x693 -x695 -x694 -x696 -x698 -x697 -x699 -x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 -x708 -x710 -x711 -x712 -x713 -x715 1799.96/1800.53 v -x716 -x717 -x718 -x720 -x721 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 -x736 -x737 -x738 -x739 1799.96/1800.53 v -x740 -x741 -x742 -x743 -x745 -x746 -x748 -x749 -x750 -x751 -x752 -x753 -x755 -x756 -x757 -x759 -x758 -x760 -x762 -x761 -x763 1799.96/1800.53 v -x765 -x764 -x766 -x768 -x767 -x769 -x771 -x770 -x772 -x774 -x773 -x775 -x777 -x776 -x778 -x780 -x779 -x781 -x783 -x782 -x784 1799.96/1800.53 v -x786 -x785 -x788 -x787 -x789 -x791 -x790 -x792 -x794 -x793 -x795 -x797 -x796 -x798 -x800 -x799 -x801 -x803 -x802 -x804 -x806 1799.96/1800.53 v -x805 -x807 -x808 -x809 -x810 -x811 -x813 -x812 -x814 -x816 -x815 -x817 -x819 -x818 x820 -x821 -x822 -x824 -x823 -x825 -x826 1799.96/1800.53 v -x827 -x829 -x828 -x830 -x832 -x831 -x833 -x835 -x834 -x836 x838 -x837 -x839 -x841 -x840 -x842 -x843 -x844 -x846 -x845 -x847 1799.96/1800.53 v -x849 -x848 -x850 -x852 -x851 -x853 -x855 -x854 -x856 -x701 -x702 -x703 -x704 -x705 -x706 x707 -x864 -x865 -x866 -x867 -x868 1799.96/1800.53 v -x869 -x870 -x871 -x872 -x873 -x874 x876 -x877 -x878 -x879 -x881 -x882 -x883 -x884 -x886 -x887 -x889 -x890 -x892 -x893 -x894 1799.96/1800.53 v -x895 -x896 -x897 -x898 -x900 -x899 -x902 -x901 -x903 -x905 -x904 -x906 -x908 -x907 -x909 -x911 -x910 -x912 -x914 -x913 -x916 1799.96/1800.53 v -x915 -x917 -x919 -x918 -x920 -x921 -x922 -x924 -x923 -x925 -x858 x859 -x860 -x861 -x862 -x863 -x927 -x928 -x929 -x930 -x931 1799.96/1800.53 v -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 1799.96/1800.53 v -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 1799.96/1800.53 v -x975 -x976 -x977 -x978 -x979 x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 x992 -x993 -x994 -x995 -x996 1799.96/1800.53 v -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 1799.96/1800.53 v -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 1799.96/1800.53 v -x1033 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 1799.96/1800.53 v -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 1799.96/1800.53 v -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 1799.96/1800.53 v -x1086 -x1087 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 1799.96/1800.53 v -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 1799.96/1800.53 v -x1122 -x1123 -x1124 -x1125 -x1126 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1140 1799.96/1800.53 v -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1799.96/1800.53 v -x1159 -x1160 -x1161 -x1162 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1176 -x1177 1799.96/1800.53 v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 1799.96/1800.53 v -x1196 -x1197 -x1198 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1212 -x1213 -x1214 1799.96/1800.53 v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 1799.96/1800.53 v -x1233 -x1234 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 x1248 -x1249 -x1250 -x1251 1799.96/1800.53 v -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 x1268 -x1269 -x1270 1799.96/1800.53 v x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 1799.96/1800.53 v -x1290 -x1291 -x1292 -x1293 -x1294 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 x1308 1799.96/1800.53 v -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 1799.96/1800.53 v -x1327 -x1328 -x1329 -x1330 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1344 -x1345 1799.96/1800.53 v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 1799.96/1800.53 v -x1364 -x1365 -x1366 x1368 -x1370 -x1371 -x1372 -x1373 x1375 -x1377 -x1378 -x1379 -x1380 x1382 -x1384 -x1385 -x1386 -x1387 1799.96/1800.53 v x1389 -x1391 -x1392 -x1393 -x1394 x1396 -x1398 -x1399 -x1400 -x1401 -x1403 -x1405 -x1406 -x1407 -x1408 -x1410 -x1412 -x1413 1799.96/1800.53 v -x1414 -x1415 -x1417 -x1419 -x1420 -x1421 -x1422 -x1424 -x1426 -x1427 -x1428 -x1429 -x1431 -x1433 -x1434 -x1435 -x1436 1799.96/1800.53 v x1438 -x1440 -x1441 -x1442 -x1443 -x1445 -x1447 -x1448 -x1449 -x1450 -x1452 -x1454 -x1455 -x1456 -x1457 -x1459 -x1461 1799.96/1800.53 v -x1462 -x1463 -x1464 -x1466 -x1468 -x1469 -x1470 -x1471 -x1473 -x1475 -x1476 -x1477 -x1478 -x1480 -x1482 -x1483 -x1484 1799.96/1800.53 v -x1485 -x1487 -x1489 -x1490 -x1491 -x1492 -x1494 -x1496 -x1497 -x1498 -x1499 -x1501 -x1503 -x1504 -x1505 -x1506 x1508 1799.96/1800.53 v -x1510 -x1511 -x1512 -x1513 -x1515 -x1517 -x1518 -x1519 -x1520 -x1522 -x1524 -x1525 -x1526 -x1527 -x1529 -x1531 -x1532 1799.96/1800.53 v -x1533 -x1534 -x1536 -x1538 -x1539 -x1540 -x1541 -x1543 x1545 -x1546 -x1547 -x1548 x1550 x1552 -x1553 -x1554 -x1555 -x1557 1799.96/1800.53 v -x1559 -x1560 -x1561 -x1562 -x1564 x1566 -x1567 -x1568 -x1569 -x1571 x1573 x1574 -x1575 -x1576 -x1578 -x1580 -x1581 -x1582 1799.96/1800.53 v -x1583 x1585 x1587 -x1588 -x1589 -x1590 -x1592 -x1594 -x1595 -x1596 -x1597 x1599 -x1601 -x1602 -x1603 -x1604 -x1606 -x1608 1799.96/1800.53 v -x1609 -x1610 -x1611 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 1799.96/1800.53 v -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 x1640 -x1641 -x1642 -x1643 -x1644 1799.96/1800.53 v -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 1799.96/1800.53 v -x1662 -x1663 -x1664 -x1665 x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 1799.96/1800.53 v -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1694 -x1695 -x1696 -x1697 1799.96/1800.53 v -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 1799.96/1800.53 v -x1715 -x1716 -x1717 -x1718 -x1719 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 1799.96/1800.53 v -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1748 -x1749 -x1750 1799.96/1800.53 v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 1799.96/1800.53 v -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 1799.96/1800.53 v -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1802 -x1803 1799.96/1800.53 v -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 1799.96/1800.53 v -x1822 -x1823 -x1824 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1838 -x1839 -x1840 1799.96/1800.53 v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 1799.96/1800.53 v -x1859 -x1860 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 x1874 -x1875 -x1876 -x1877 1799.96/1800.53 v -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 1799.96/1800.53 v -x1896 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1910 -x1911 -x1912 -x1913 -x1914 1799.96/1800.53 v -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1922 -x1923 -x1924 -x1925 -x1926 -x1927 x1928 -x1929 -x1930 -x1931 -x1932 -x1934 1799.96/1800.53 v -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 1799.96/1800.53 v -x1953 -x1954 -x1955 -x1956 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 x1970 -x1971 1799.96/1800.53 v -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 1799.96/1800.53 v -x1990 -x1991 -x1992 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2006 -x2007 -x2008 1799.96/1800.53 v -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 1799.96/1800.53 v -x2027 -x2028 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2042 -x2043 -x2044 -x2045 1799.96/1800.53 v -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2054 -x2056 -x2057 -x2058 -x2059 x2061 -x2063 -x2064 -x2065 -x2066 1799.96/1800.53 v -x2068 -x2070 -x2071 -x2072 -x2073 -x2075 -x2077 -x2078 -x2079 -x2080 -x2082 -x2084 -x2085 -x2086 -x2087 x2089 -x2091 1799.96/1800.53 v -x2092 -x2093 -x2094 x2096 -x2098 -x2099 -x2100 -x2101 -x2103 -x2105 -x2106 -x2107 -x2108 -x2110 -x2112 -x2113 -x2114 1799.96/1800.53 v -x2115 x2117 -x2119 -x2120 -x2121 -x2122 x2124 -x2126 -x2127 -x2128 -x2129 x2131 -x2133 -x2134 -x2135 -x2136 -x2138 -x2140 1799.96/1800.53 v -x2141 -x2142 -x2143 -x2145 -x2147 -x2148 -x2149 -x2150 -x2152 -x2154 -x2155 -x2156 -x2157 -x2159 -x2161 -x2162 -x2163 1799.96/1800.53 v -x2164 x2166 x2168 -x2169 -x2170 -x2171 -x2173 -x2175 -x2176 -x2177 -x2178 -x2180 x2182 -x2183 -x2184 -x2185 -x2187 -x2189 1799.96/1800.53 v -x2190 -x2191 -x2192 -x2194 -x2196 -x2197 -x2198 -x2199 -x2201 -x2203 -x2204 -x2205 -x2206 -x2208 -x2210 -x2211 -x2212 1799.96/1800.53 v -x2213 -x2215 x2217 -x2218 -x2219 -x2220 -x2222 x2224 -x2225 x2226 -x2227 x2229 -x2231 -x2232 -x2233 -x2234 -x2236 -x2238 1799.96/1800.53 v -x2239 -x2240 -x2241 -x2243 -x2245 -x2246 -x2247 -x2248 x2250 -x2252 -x2253 -x2254 -x2255 x2257 x2259 -x2260 -x2261 -x2262 1799.96/1800.53 v -x2264 -x2266 -x2267 -x2268 -x2269 -x2271 -x2273 -x2274 -x2275 -x2276 -x2278 -x2280 -x2281 -x2282 -x2283 -x2285 -x2287 1799.96/1800.53 v -x2288 -x2289 -x2290 -x2292 -x2294 -x2295 -x2296 -x2297 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 1799.96/1800.53 v -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 1799.96/1800.53 v -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 1799.96/1800.53 v -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2357 -x2358 -x2359 1799.96/1800.53 v -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 1799.96/1800.53 v -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 1799.96/1800.53 v -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 1799.96/1800.53 v -x2411 -x2412 -x2413 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 1799.96/1800.53 v -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 1799.96/1800.53 v -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 1799.96/1800.53 v -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 1799.96/1800.53 v -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 1799.96/1800.53 v -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 1799.96/1800.53 v -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 x2531 -x2532 1799.96/1800.53 v -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 1799.96/1800.53 v -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 1799.96/1800.53 v -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 1799.96/1800.53 v -x2584 -x2585 -x2586 -x2587 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 1799.96/1800.53 v -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 1799.96/1800.53 v -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 1799.96/1800.53 v -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 1799.96/1800.53 v -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 1799.96/1800.53 v -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 1799.96/1800.53 v -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2705 1799.96/1800.53 v -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 1799.96/1800.53 v -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 1799.96/1800.53 v -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 1799.96/1800.53 v -x2757 -x2758 -x2759 -x2760 -x2761 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 1799.96/1800.53 v -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2790 -x2791 -x2792 1799.96/1800.53 v -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 1799.96/1800.53 v -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 1799.96/1800.53 v -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2844 -x2845 1799.96/1800.53 v -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 1799.96/1800.53 v -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 1799.96/1800.53 v -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2898 1799.96/1800.53 v -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 1799.96/1800.53 v -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 1799.96/1800.53 v -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 1799.96/1800.53 v -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 1799.96/1800.53 v -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 1799.96/1800.53 v -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 1799.96/1800.53 v -x3004 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 1799.96/1800.53 v -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 1799.96/1800.53 v -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 1799.96/1800.53 v -x3057 -x3058 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 1799.96/1800.53 v -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 1799.96/1800.53 v -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 1799.96/1800.53 v -x3110 -x3111 -x3112 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 1799.96/1800.53 v -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3141 -x3142 -x3143 -x3144 -x3145 1799.96/1800.53 v -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 1799.96/1800.53 v -x3163 -x3164 -x3165 -x3166 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 1799.96/1800.53 v -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3195 -x3196 -x3197 -x3198 1799.96/1800.53 v -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 1799.96/1800.53 v -x3216 -x3217 -x3218 -x3219 -x3220 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 1799.96/1800.53 v -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3249 -x3250 -x3251 1799.96/1800.53 v -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 1799.96/1800.53 v -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 1799.96/1800.53 v -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3303 -x3304 1799.96/1800.53 v -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 1799.96/1800.53 v -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 1799.96/1800.53 v -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3357 1799.96/1800.53 v -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 1799.96/1800.53 v -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 1799.96/1800.53 v -x3393 x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 1799.96/1800.53 v -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 1799.96/1800.53 v -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 1799.96/1800.53 v -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 1799.96/1800.53 v -x3463 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 1799.96/1800.53 v -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 1799.96/1800.53 v -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 1799.96/1800.53 v -x3516 -x3517 x3519 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 x3533 -x3535 -x3536 -x3537 1799.96/1800.53 v -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 x3547 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 1799.96/1800.53 v -x3557 -x3558 -x3559 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 x3573 -x3575 -x3576 1799.96/1800.53 v -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 x3587 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 1799.96/1800.53 v -x3596 -x3597 -x3598 -x3599 x3601 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3615 1799.96/1800.53 v -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3629 -x3631 -x3632 -x3633 -x3634 -x3635 1799.96/1800.53 v -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3643 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 1799.96/1800.53 v -x3655 -x3657 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3671 -x3673 -x3674 -x3675 1799.96/1800.53 v -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3685 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 1799.96/1800.53 v -x3695 -x3696 -x3697 -x3699 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3713 -x3715 1799.96/1800.53 v -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3727 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 1799.96/1800.53 v -x3735 -x3736 -x3737 -x3738 -x3739 -x3741 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 1799.96/1800.53 v -x3755 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3769 -x3771 -x3772 -x3773 -x3774 1799.96/1800.53 v -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3783 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 1799.96/1800.53 v -x3794 -x3795 -x3797 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 x3811 -x3813 -x3814 1799.96/1800.53 v -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3825 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 1799.96/1800.53 v -x3834 -x3835 -x3836 -x3837 -x3839 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3853 1799.96/1800.53 v -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3867 -x3869 -x3870 -x3871 -x3872 -x3873 1799.96/1800.53 v -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3881 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 1799.96/1800.53 v -x3893 -x3895 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3909 -x3911 -x3912 -x3913 1799.96/1800.53 v -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3923 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 1799.96/1800.53 v -x3933 -x3934 -x3935 -x3937 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3951 -x3953 1799.96/1800.53 v -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3965 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 1799.96/1800.53 v -x3973 -x3974 -x3975 -x3976 -x3977 -x3979 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 1799.96/1800.53 v -x3993 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4007 -x4009 -x4010 -x4011 -x4012 1799.96/1800.53 v -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 x4021 x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 1799.96/1800.53 v -x4033 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 x4047 x4049 -x4050 -x4051 -x4052 -x4053 1799.96/1800.53 v -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 x4061 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 1799.96/1800.53 v -x4073 -x4075 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4089 x4091 -x4092 -x4093 1799.96/1800.53 v -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4103 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 1799.96/1800.53 v -x4113 -x4114 -x4115 -x4117 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4131 -x4133 1799.96/1800.53 v -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4145 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 1799.96/1800.53 v -x4153 -x4154 -x4155 -x4156 -x4157 -x4159 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 1799.96/1800.53 v -x4173 x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4187 -x4189 -x4190 -x4191 -x4192 1799.96/1800.53 v -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4201 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 1799.96/1800.53 v -x4212 -x4213 -x4215 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4229 -x4231 -x4232 1799.96/1800.53 v -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4243 x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 1799.96/1800.53 v -x4252 x4253 -x4254 -x4255 -x4257 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4271 1799.96/1800.53 v -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4285 -x4287 -x4288 -x4289 -x4290 -x4291 1799.96/1800.53 v -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 x4299 x4300 -x4301 -x4302 -x4304 -x4305 -x4306 -x4307 -x4309 -x4310 -x4311 -x4312 1799.96/1800.53 v -x4314 -x4315 -x4316 -x4317 -x4319 -x4320 -x4321 -x4322 -x4324 -x4325 -x4326 -x4327 -x4329 -x4330 -x4331 -x4332 -x4334 1799.96/1800.53 v -x4335 -x4336 -x4337 x4339 -x4340 -x4341 -x4342 -x4344 -x4345 -x4346 -x4347 -x4349 -x4350 -x4351 -x4352 -x4354 -x4355 1799.96/1800.53 v -x4356 -x4357 -x4359 -x4360 -x4361 -x4362 -x4364 -x4365 -x4366 -x4367 -x4369 -x4370 -x4371 -x4372 -x4374 -x4375 -x4376 1799.96/1800.53 v -x4377 x4379 -x4380 -x4381 -x4382 -x4384 -x4385 -x4386 -x4387 -x4389 -x4390 -x4391 -x4392 -x4394 -x4395 -x4396 -x4397 1799.96/1800.53 v -x4399 -x4400 -x4401 -x4402 -x4404 -x4405 -x4406 -x4407 x4409 -x4410 -x4411 -x4412 -x4414 -x4415 -x4416 -x4417 -x4419 1799.96/1800.53 v -x4420 -x4421 -x4422 -x4424 -x4425 -x4426 -x4427 x4429 -x4430 -x4431 -x4432 -x4434 -x4435 -x4436 -x4437 x4439 -x4440 -x4441 1799.96/1800.53 v -x4442 -x4444 -x4445 -x4446 -x4447 -x4449 -x4450 -x4451 -x4452 -x4454 -x4455 -x4456 -x4457 -x4459 -x4460 -x4461 -x4462 1799.96/1800.53 v -x4464 -x4465 -x4466 -x4467 -x4469 -x4470 -x4471 -x4472 -x4474 -x4475 -x4476 -x4477 -x4479 -x4480 -x4481 -x4482 -x4484 1799.96/1800.53 v -x4485 -x4486 -x4487 -x4489 -x4490 -x4491 -x4492 -x4494 -x4495 -x4496 -x4497 -x4499 -x4500 -x4501 -x4502 -x4504 -x4505 1799.96/1800.53 v -x4506 -x4507 -x4509 -x4510 -x4511 -x4512 -x4514 -x4515 -x4516 -x4517 -x4519 -x4520 -x4521 -x4522 -x4524 -x4525 -x4526 1799.96/1800.53 v -x4527 -x4529 -x4530 -x4531 -x4532 -x4534 -x4535 -x4536 -x4537 -x4539 -x4540 -x4541 -x4542 -x4544 -x4545 -x4546 -x4547 1799.96/1800.53 v -x4549 -x4550 -x4551 -x4552 -x4554 -x4555 -x4556 -x4557 -x4559 -x4560 -x4561 -x4562 -x4564 -x4565 -x4566 -x4567 -x4569 1799.96/1800.53 v -x4570 -x4571 -x4572 -x4574 -x4575 -x4576 -x4577 -x4579 -x4580 -x4581 -x4582 -x4584 -x4585 -x4586 -x4587 -x4589 -x4590 1799.96/1800.53 v -x4591 -x4592 -x4594 -x4595 -x4596 -x4597 -x4599 -x4600 -x4601 -x4602 -x4604 -x4605 -x4606 -x4607 -x4609 -x4610 -x4611 1799.96/1800.53 v -x4612 -x4614 -x4615 -x4616 -x4617 -x4619 -x4620 -x4621 -x4622 -x4624 -x4625 -x4626 -x4627 -x4629 -x4630 -x4631 -x4632 1799.96/1800.53 v -x4634 -x4635 -x4636 -x4637 -x4639 -x4640 -x4641 -x4642 -x4644 -x4645 -x4646 -x4647 -x4649 -x4650 -x4651 -x4652 -x4653 1799.96/1800.53 v -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 1799.96/1800.53 v -x4671 -x4672 -x4673 -x4674 x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 1799.96/1800.53 v -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4703 -x4704 -x4705 -x4706 1799.96/1800.53 v -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 1799.96/1800.53 v -x4724 -x4725 -x4726 -x4727 -x4728 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 1799.96/1800.53 v -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4757 -x4758 -x4759 1799.96/1800.53 v -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 1799.96/1800.53 v -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 1799.96/1800.53 v -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 x4811 -x4812 1799.96/1800.53 v -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 1799.96/1800.53 v -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 1799.96/1800.53 v -x4848 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4862 -x4863 -x4864 -x4865 -x4866 1799.96/1800.53 v -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 1799.96/1800.53 v -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 1799.96/1800.53 v -x4904 -x4905 -x4906 -x4907 -x4908 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 x4922 1799.96/1800.53 v -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 1799.96/1800.53 v -x4941 -x4942 -x4943 -x4944 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 x4958 -x4959 1799.96/1800.53 v -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 1799.96/1800.53 v -x4978 -x4979 -x4980 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4994 -x4995 -x4996 1799.96/1800.53 v -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 1799.96/1800.53 v -x5015 -x5016 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5030 -x5031 -x5032 -x5033 1799.96/1800.53 v -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 1799.96/1800.53 v -x5052 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5066 -x5067 -x5068 -x5069 -x5070 1799.96/1800.53 v -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 1799.96/1800.53 v -x5090 -x5092 -x5093 -x5094 -x5095 -x5097 x5099 -x5100 -x5101 -x5102 -x5104 -x5106 -x5107 -x5108 -x5109 -x5111 -x5113 1799.96/1800.53 v -x5114 -x5115 -x5116 -x5118 x5120 -x5121 -x5122 -x5123 -x5125 -x5127 -x5128 -x5129 -x5130 x5132 -x5134 -x5135 -x5136 -x5137 1799.96/1800.53 v -x5139 -x5141 -x5142 -x5143 -x5144 -x5146 -x5148 -x5149 -x5150 -x5151 -x5153 -x5155 -x5157 -x5158 -x5159 -x5160 -x5162 1799.96/1800.53 v x5164 -x5165 -x5166 -x5167 -x5169 -x5171 -x5172 -x5173 -x5174 -x5176 -x5178 -x5179 -x5180 -x5181 -x5183 -x5185 -x5186 1799.96/1800.53 v -x5187 -x5188 -x5190 -x5192 -x5193 -x5194 -x5195 x5197 -x5199 -x5200 -x5201 -x5202 -x5204 -x5205 -x5206 -x5207 -x5209 1799.96/1800.53 v -x5210 -x5211 -x5212 -x5214 -x5216 -x5217 -x5218 -x5219 -x5221 -x5223 -x5224 -x5225 -x5226 -x5228 x5230 -x5231 -x5232 1799.96/1800.53 v -x5233 -x5235 -x5236 -x5237 -x5238 -x5240 -x5242 -x5243 -x5244 -x5245 -x5247 -x5248 -x5249 -x5250 x5252 -x5254 -x5255 1799.96/1800.53 v -x5256 -x5257 -x5259 -x5261 -x5262 -x5263 -x5264 -x5266 -x5268 -x5269 -x5270 -x5271 x5273 -x5275 -x5276 -x5277 -x5278 1799.96/1800.53 v x5280 -x5282 -x5283 -x5284 -x5285 -x5287 -x5288 -x5289 -x5290 -x5292 -x5294 -x5295 -x5296 -x5297 -x5299 -x5301 -x5302 1799.96/1800.53 v -x5303 -x5304 -x5306 -x5308 -x5309 -x5310 -x5311 -x5313 -x5315 -x5316 -x5317 -x5318 -x5320 -x5321 -x5322 -x5323 -x5324 1799.96/1800.53 v -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 1799.96/1800.53 v x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 1799.96/1800.53 v -x5362 -x5363 -x5364 -x5365 -x5366 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5380 1799.96/1800.53 v -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 x5392 -x5393 -x5394 -x5395 x5397 -x5398 -x5399 -x5400 1799.96/1800.53 v -x5402 -x5403 -x5404 -x5405 -x5407 -x5408 -x5409 -x5410 -x5412 -x5413 -x5414 -x5415 x5417 -x5418 -x5419 -x5420 -x5422 1799.96/1800.53 v -x5423 -x5424 -x5425 -x5427 -x5428 -x5429 -x5430 -x5432 -x5433 -x5434 -x5435 -x5437 -x5438 -x5439 -x5440 -x5442 -x5443 1799.96/1800.53 v -x5444 -x5445 -x5447 -x5448 -x5449 -x5450 -x5452 -x5453 -x5454 -x5455 -x5457 -x5458 -x5459 -x5460 -x5462 -x5463 -x5464 1799.96/1800.53 v -x5465 -x5467 -x5469 -x5471 -x5473 -x5475 -x5477 x5479 -x5481 -x5483 -x5485 -x5487 x5489 x5491 -x5493 -x5495 -x5497 -x5499 1799.96/1800.54 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.96/1800.54 c 23 514836 206519 1234133 40913 8532489 21617 286 1800.01 1799.96/1800.54 c Objective: 26 1799.96/1800.54 s SATISFIABLE 1799.96/1800.54 c Total time: 1800.01 s
OK 26
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node30/watcher-373128-1177169619 -o ROOT/results/node30/solver-373128-1177169619 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/373128-1177169619/instance-373128-1177169619.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 0.97 0.98 3/77 519 /proc/meminfo: memFree=1859760/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=12284 CPUtime=0 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 164877613 12578816 336 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 3071 336 281 324 0 2003 0 [startup+0.097109 s] /proc/loadavg: 0.92 0.97 0.98 3/77 519 /proc/meminfo: memFree=1859760/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=6676 CPUtime=0.08 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 1037 0 0 0 8 0 0 0 18 0 1 0 164877613 6836224 1005 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7452283 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 1669 1005 409 324 0 601 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 6676 [startup+0.101108 s] /proc/loadavg: 0.92 0.97 0.98 3/77 519 /proc/meminfo: memFree=1859760/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=6812 CPUtime=0.09 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 1063 0 0 0 9 0 0 0 18 0 1 0 164877613 6975488 1031 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7452283 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 1703 1031 414 324 0 635 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6812 [startup+0.301121 s] /proc/loadavg: 0.92 0.97 0.98 3/77 519 /proc/meminfo: memFree=1859760/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=8528 CPUtime=0.29 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 1667 0 0 0 28 1 0 0 19 0 1 0 164877613 8732672 1498 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 2132 1498 308 324 0 1201 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8528 [startup+0.701145 s] /proc/loadavg: 0.92 0.97 0.98 3/77 519 /proc/meminfo: memFree=1859760/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=8432 CPUtime=0.68 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 1833 0 0 0 66 2 0 0 23 0 1 0 164877613 8634368 1480 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 2108 1480 313 324 0 1177 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 8432 [startup+1.5022 s] /proc/loadavg: 0.92 0.97 0.98 2/78 520 /proc/meminfo: memFree=1853864/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=11016 CPUtime=1.48 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 2467 0 0 0 145 3 0 0 25 0 1 0 164877613 11280384 2114 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551907 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 2754 2114 313 324 0 1823 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 11016 [startup+3.1013 s] /proc/loadavg: 0.92 0.97 0.98 2/78 520 /proc/meminfo: memFree=1848232/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=21256 CPUtime=3.09 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 5046 0 0 0 304 5 0 0 25 0 1 0 164877613 21766144 4693 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 5314 4693 313 324 0 4383 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21256 [startup+6.3015 s] /proc/loadavg: 0.93 0.97 0.98 2/78 520 /proc/meminfo: memFree=1830056/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=37064 CPUtime=6.29 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 9001 0 0 0 622 7 0 0 25 0 1 0 164877613 37953536 8648 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 9266 8648 313 324 0 8335 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37064 [startup+12.7019 s] /proc/loadavg: 0.93 0.97 0.98 2/78 520 /proc/meminfo: memFree=1803696/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=60364 CPUtime=12.68 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 14819 0 0 0 1258 10 0 0 25 0 1 0 164877613 61812736 14466 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 15091 14466 313 324 0 14160 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 60364 [startup+25.5017 s] /proc/loadavg: 0.95 0.97 0.98 2/78 520 /proc/meminfo: memFree=1793648/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=69828 CPUtime=25.49 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 17171 0 0 0 2533 16 0 0 25 0 1 0 164877613 71503872 16818 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 17457 16818 313 324 0 16526 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 69828 [startup+51.1013 s] /proc/loadavg: 0.96 0.97 0.98 2/78 520 /proc/meminfo: memFree=1790320/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=74048 CPUtime=51.08 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 18227 0 0 0 5086 22 0 0 25 0 1 0 164877613 75825152 17874 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7452283 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 18512 17874 313 324 0 17581 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 74048 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.98 2/78 520 /proc/meminfo: memFree=1737840/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=125228 CPUtime=102.27 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 31039 0 0 0 10191 36 0 0 25 0 1 0 164877613 128233472 30686 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 31307 30686 313 324 0 30376 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 125228 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 520 /proc/meminfo: memFree=1727984/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=135020 CPUtime=162.25 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 33490 0 0 0 16182 43 0 0 25 0 1 0 164877613 138260480 33137 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 33755 33137 313 324 0 32824 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 135020 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 520 /proc/meminfo: memFree=1708912/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=154048 CPUtime=222.24 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 38247 0 0 0 22173 51 0 0 25 0 1 0 164877613 157745152 37894 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 38512 37894 313 324 0 37581 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 154048 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 522 /proc/meminfo: memFree=1663344/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=199344 CPUtime=282.22 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 49589 0 0 0 28159 63 0 0 25 0 1 0 164877613 204128256 49202 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 49836 49202 313 324 0 48905 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 199344 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 522 /proc/meminfo: memFree=1653680/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=209280 CPUtime=342.21 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 52073 0 0 0 34153 68 0 0 25 0 1 0 164877613 214302720 51686 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 52320 51686 313 324 0 51389 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 209280 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 522 /proc/meminfo: memFree=1624432/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=238124 CPUtime=402.19 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 59328 0 0 0 40144 75 0 0 25 0 1 0 164877613 243838976 58907 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 59531 58907 313 324 0 58600 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 238124 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 522 /proc/meminfo: memFree=1621232/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=242080 CPUtime=462.18 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 60303 0 0 0 46139 79 0 0 25 0 1 0 164877613 247889920 59882 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 60520 59882 313 324 0 59589 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 242080 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 522 /proc/meminfo: memFree=1583728/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=278712 CPUtime=522.17 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 69503 0 0 0 52129 88 0 0 25 0 1 0 164877613 285401088 69048 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 69678 69048 313 324 0 68747 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 278712 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 522 /proc/meminfo: memFree=1583728/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=278684 CPUtime=582.15 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 69505 0 0 0 58122 93 0 0 25 0 1 0 164877613 285372416 69050 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 69671 69050 313 324 0 68740 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 278684 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 522 /proc/meminfo: memFree=1583728/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=278684 CPUtime=642.14 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 69505 0 0 0 64113 101 0 0 25 0 1 0 164877613 285372416 69050 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551609 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 69671 69050 313 324 0 68740 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 278684 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 522 /proc/meminfo: memFree=1583856/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=278696 CPUtime=822.1 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 69508 0 0 0 82093 117 0 0 25 0 1 0 164877613 285384704 69053 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 69674 69053 313 324 0 68743 0 Current children cumulated CPU time (s) 822.1 Current children cumulated vsize (KiB) 278696 [startup+882.301 s] /proc/loadavg: 1.07 0.99 0.99 2/78 522 /proc/meminfo: memFree=1583792/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=278696 CPUtime=882.07 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 69508 0 0 0 88087 120 0 0 25 0 1 0 164877613 285384704 69053 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 69674 69053 313 324 0 68743 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 278696 [startup+942.302 s] /proc/loadavg: 1.09 1.00 0.99 2/78 522 /proc/meminfo: memFree=1583856/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=278664 CPUtime=942.06 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 69508 0 0 0 94083 123 0 0 25 0 1 0 164877613 285351936 69049 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 69666 69049 313 324 0 68735 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 278664 [startup+1002.3 s] /proc/loadavg: 1.03 1.00 0.99 2/78 522 /proc/meminfo: memFree=1543600/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=319436 CPUtime=1002.05 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 79690 0 0 0 100074 131 0 0 25 0 1 0 164877613 327102464 79231 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 79859 79231 313 324 0 78928 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 319436 [startup+1062.3 s] /proc/loadavg: 1.01 1.00 0.99 2/78 522 /proc/meminfo: memFree=1459888/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=403584 CPUtime=1062.04 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 100731 0 0 0 106061 143 0 0 25 0 1 0 164877613 413270016 100272 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 100896 100272 313 324 0 99965 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 403584 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 522 /proc/meminfo: memFree=1418096/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=443892 CPUtime=1122.02 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 110851 0 0 0 112052 150 0 0 25 0 1 0 164877613 454545408 110353 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 110973 110353 313 324 0 110042 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 443892 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 522 /proc/meminfo: memFree=1418096/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=443892 CPUtime=1182 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 110851 0 0 0 118047 153 0 0 25 0 1 0 164877613 454545408 110353 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 110973 110353 313 324 0 110042 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 443892 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 522 /proc/meminfo: memFree=1406192/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=456496 CPUtime=1241.99 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 114002 0 0 0 124042 157 0 0 25 0 1 0 164877613 467451904 113504 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7450356 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 114124 113504 313 324 0 113193 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 456496 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 522 /proc/meminfo: memFree=1347632/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=514348 CPUtime=1301.97 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 128455 0 0 0 130031 166 0 0 25 0 1 0 164877613 526692352 127957 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 128587 127957 313 324 0 127656 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 514348 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 522 /proc/meminfo: memFree=1334576/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=527236 CPUtime=1361.96 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 131705 0 0 0 136026 170 0 0 25 0 1 0 164877613 539889664 131167 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 131809 131167 313 324 0 130878 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 527236 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/78 522 /proc/meminfo: memFree=1334576/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=527236 CPUtime=1421.95 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 131705 0 0 0 142020 175 0 0 25 0 1 0 164877613 539889664 131167 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 131809 131167 313 324 0 130878 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 527236 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 522 /proc/meminfo: memFree=1334640/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=526984 CPUtime=1481.93 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 131706 0 0 0 148011 182 0 0 25 0 1 0 164877613 539631616 131129 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7448449 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 131746 131129 313 324 0 130815 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 526984 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 522 /proc/meminfo: memFree=1334704/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=526996 CPUtime=1541.92 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 131709 0 0 0 154001 191 0 0 25 0 1 0 164877613 539643904 131132 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 131749 131132 313 324 0 130818 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 526996 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 522 /proc/meminfo: memFree=1334768/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=526996 CPUtime=1601.9 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 131709 0 0 0 159992 198 0 0 25 0 1 0 164877613 539643904 131132 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 131749 131132 313 324 0 130818 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 526996 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/84 638 /proc/meminfo: memFree=1333496/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=526996 CPUtime=1661.83 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 131709 0 0 0 165978 205 0 0 25 0 1 0 164877613 539643904 131132 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 131749 131132 313 324 0 130818 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 526996 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 720 /proc/meminfo: memFree=1334640/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=526996 CPUtime=1721.78 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 131709 0 0 0 171969 209 0 0 25 0 1 0 164877613 539643904 131132 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7447905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 131749 131132 313 324 0 130818 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 526996 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 720 /proc/meminfo: memFree=1334768/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=526996 CPUtime=1781.77 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 131709 0 0 0 177964 213 0 0 25 0 1 0 164877613 539643904 131132 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134575015 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 131749 131132 313 324 0 130818 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 526996 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.99 2/78 720 /proc/meminfo: memFree=1731312/2055920 swapFree=4157100/4192956 [pid=519] ppid=517 vsize=0 CPUtime=1800.07 /proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194308 131710 0 0 0 179786 221 0 0 17 0 1 0 164877613 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/519/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.63 CPU time (s): 1800.09 CPU user time (s): 1797.86 CPU system time (s): 2.23166 CPU usage (%): 99.9703 Max. virtual memory (cumulated for all children) (KiB): 527240 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.86 system time used= 2.23166 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 131710 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= 15 involuntary context switches= 26071 runsolver used 2.14767 second user time and 4.27835 second system time The end
Begin job on node30 on Sat Apr 21 15:33:39 UTC 2007 IDJOB= 373128 IDBENCH= 25021 IDSOLVER= 163 FILE ID= node30/373128-1177169619 PBS_JOBID= 4648939 Free space on /tmp= 66391 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/373128-1177169619/instance-373128-1177169619.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-373128-1177169619 -o ROOT/results/node30/solver-373128-1177169619 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/373128-1177169619/instance-373128-1177169619.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 130be24ef6faf784c5a8bf386cbf11b2 RANDOM SEED= 266033631 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: 1860104 kB Buffers: 32136 kB Cached: 74900 kB SwapCached: 15024 kB Active: 43524 kB Inactive: 88900 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1860104 kB SwapTotal: 4192956 kB SwapFree: 4157100 kB Dirty: 4956 kB Writeback: 0 kB Mapped: 32436 kB Slab: 48852 kB Committed_AS: 3474828 kB PageTables: 1780 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= 66391 MiB End job on node30 on Sat Apr 21 16:03:42 UTC 2007