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