Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | 21 | 1800.08 | 1800.73 |
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 Parsing PB file... 0.49/0.58 c Converting 19314 PB-constraints to clauses... 0.49/0.59 c -- Unit propagations: (none) 0.49/0.59 c -- Detecting intervals from adjacent constraints: ====== 0.49/0.59 c -- Clauses(.)/Splits(s): ........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 0.59/0.64 c ---[ 0]---> Adder-cost: 1210 maxlim: 582 bits: 10/10 0.89/0.90 c ==================================[MINISAT+]================================== 0.89/0.90 c | Conflicts | Original | Learnt | Progress | 0.89/0.90 c | | Clauses Literals | Max Clauses Literals LPC | | 0.89/0.90 c ============================================================================== 0.89/0.90 c | 0 | 27693 78422 | 9231 0 0 nan | 0.000 % | 0.89/0.91 c | 101 | 27686 78399 | 10154 100 1140 11.4 | 0.268 % | 0.89/0.97 c | 251 | 27660 78303 | 11169 247 2952 12.0 | 0.328 % | 1.00/1.06 c | 476 | 27635 78222 | 12286 469 4390 9.4 | 0.402 % | 1.19/1.22 c | 813 | 27610 78141 | 13515 802 8038 10.0 | 0.477 % | 1.39/1.41 c | 1321 | 27610 78141 | 14866 1310 24696 18.9 | 0.477 % | 1.49/1.58 c | 2081 | 27610 78141 | 16353 2070 112175 54.2 | 0.477 % | 1.79/1.87 c | 3220 | 27610 78141 | 17988 3209 210778 65.7 | 0.477 % | 2.29/2.35 c | 4928 | 27610 78141 | 19787 4917 453840 92.3 | 0.477 % | 2.79/2.86 c | 7490 | 27610 78141 | 21766 7479 681455 91.1 | 0.477 % | 4.29/4.31 c | 11337 | 27610 78141 | 23942 11326 1533187 135.4 | 0.477 % | 5.29/5.36 c ============================================================================== 5.29/5.36 c [1mFound solution: 29[0m 5.29/5.36 o 29 5.29/5.37 c ---[ 0]---> Sorter-cost:27428 Base: 5.59/5.67 c ==================================[MINISAT+]================================== 5.59/5.67 c | Conflicts | Original | Learnt | Progress | 5.59/5.67 c | | Clauses Literals | Max Clauses Literals LPC | | 5.59/5.67 c ============================================================================== 5.59/5.67 c | 13979 | 57491 147898 | 19163 13968 1969219 141.0 | 0.477 % | 5.68/5.71 c | 14079 | 57491 147898 | 21079 14068 1990996 141.5 | 1.840 % | 5.68/5.79 c | 14230 | 57491 147898 | 23187 14219 2010430 141.4 | 1.840 % | 5.88/5.91 c | 14456 | 57491 147898 | 25505 14445 2026074 140.3 | 1.840 % | 5.98/6.02 c | 14793 | 57491 147898 | 28056 14782 2046671 138.5 | 1.840 % | 6.08/6.11 c | 15299 | 57491 147898 | 30862 15288 2079427 136.0 | 1.840 % | 6.19/6.25 c | 16060 | 57491 147898 | 33948 16049 2114859 131.8 | 1.840 % | 6.39/6.50 c | 17201 | 57491 147898 | 37343 17190 2162169 125.8 | 1.840 % | 6.99/7.05 c ============================================================================== 6.99/7.05 c [1mFound solution: 24[0m 6.99/7.05 o 24 6.99/7.05 c ---[ 0]---> Sorter-cost: 0 Base: 7.29/7.32 c ==================================[MINISAT+]================================== 7.29/7.32 c | Conflicts | Original | Learnt | Progress | 7.29/7.32 c | | Clauses Literals | Max Clauses Literals LPC | | 7.29/7.32 c ============================================================================== 7.29/7.32 c | 18530 | 57520 147967 | 19173 18519 2297217 124.0 | 1.840 % | 7.29/7.39 c | 18630 | 57520 147967 | 21090 18619 2303314 123.7 | 1.842 % | 7.39/7.48 c | 18784 | 57520 147967 | 23199 18773 2315911 123.4 | 1.842 % | 7.49/7.55 c | 19010 | 57520 147967 | 25519 18999 2331514 122.7 | 1.842 % | 7.59/7.68 c | 19349 | 57520 147967 | 28071 19338 2362818 122.2 | 1.842 % | 7.79/7.88 c | 19856 | 57520 147967 | 30878 19845 2408837 121.4 | 1.842 % | 8.09/8.19 c | 20617 | 57520 147967 | 33966 20606 2472360 120.0 | 1.842 % | 8.49/8.56 c | 21759 | 57520 147967 | 37362 21748 2563872 117.9 | 1.842 % | 9.28/9.32 c | 23467 | 57520 147967 | 41099 23456 2736053 116.6 | 1.842 % | 11.08/11.15 c | 26029 | 57520 147967 | 45208 26018 3054712 117.4 | 1.842 % | 13.09/13.11 c | 29873 | 57520 147967 | 49729 29862 3378170 113.1 | 1.842 % | 16.88/16.93 c | 35639 | 57520 147967 | 54702 35628 3949366 110.9 | 1.842 % | 23.98/24.03 c | 44291 | 57520 147967 | 60173 44280 5151441 116.3 | 1.842 % | 35.48/35.57 c | 57266 | 57520 147967 | 66190 57255 6711772 117.2 | 1.842 % | 50.58/50.66 c | 76729 | 57520 147967 | 72809 24909 1847528 74.2 | 1.842 % | 82.56/82.66 c | 105921 | 57520 147967 | 80090 54101 4374971 80.9 | 1.842 % | 132.04/132.17 c | 149710 | 57520 147967 | 88099 36527 2216240 60.7 | 1.842 % | 179.82/179.94 c ============================================================================== 179.82/179.94 c [1mFound solution: 23[0m 179.82/179.94 o 23 179.82/179.95 c ---[ 0]---> Sorter-cost: 0 Base: 180.12/180.28 c ==================================[MINISAT+]================================== 180.12/180.28 c | Conflicts | Original | Learnt | Progress | 180.12/180.28 c | | Clauses Literals | Max Clauses Literals LPC | | 180.12/180.28 c ============================================================================== 180.12/180.28 c | 188966 | 57505 147933 | 19168 75783 5419681 71.5 | 1.842 % | 180.82/180.98 c | 189067 | 57505 147933 | 21084 12233 659667 53.9 | 1.906 % | 180.92/181.04 c | 189217 | 57505 147933 | 23193 12383 677720 54.7 | 1.906 % | 181.12/181.24 c | 189442 | 57505 147933 | 25512 12608 701126 55.6 | 1.906 % | 181.22/181.34 c | 189779 | 57505 147933 | 28063 12945 742350 57.3 | 1.906 % | 181.33/181.47 c | 190288 | 57505 147933 | 30870 13454 775687 57.7 | 1.906 % | 181.72/181.83 c | 191047 | 57505 147933 | 33957 14213 843094 59.3 | 1.906 % | 182.62/182.71 c | 192186 | 57505 147933 | 37353 15352 964940 62.9 | 1.906 % | 183.72/183.80 c | 193896 | 57505 147933 | 41088 17062 1164896 68.3 | 1.906 % | 185.73/185.82 c | 196458 | 57505 147933 | 45197 19624 1501122 76.5 | 1.906 % | 189.52/189.65 c | 200304 | 57505 147933 | 49716 23470 2182583 93.0 | 1.906 % | 194.72/194.89 c | 206070 | 57505 147933 | 54688 29236 3116033 106.6 | 1.906 % | 206.51/206.67 c | 214719 | 57505 147933 | 60157 37885 4315265 113.9 | 1.906 % | 223.21/223.35 c | 227693 | 57505 147933 | 66173 50859 6065911 119.3 | 1.906 % | 244.30/244.42 c | 247154 | 57505 147933 | 72790 19478 1375352 70.6 | 1.906 % | 279.89/280.05 c | 276348 | 57505 147933 | 80069 48672 4173860 85.8 | 1.906 % | 338.87/339.03 c | 320137 | 57505 147933 | 88076 29934 2146909 71.7 | 1.906 % | 410.65/410.80 c | 385821 | 57505 147933 | 96884 23663 1050423 44.4 | 1.906 % | 483.91/484.16 c ============================================================================== 483.91/484.16 c [1mFound solution: 22[0m 483.91/484.16 o 22 483.91/484.17 c ---[ 0]---> Sorter-cost: 0 Base: 484.21/484.50 c ==================================[MINISAT+]================================== 484.21/484.50 c | Conflicts | Original | Learnt | Progress | 484.21/484.50 c | | Clauses Literals | Max Clauses Literals LPC | | 484.21/484.50 c ============================================================================== 484.21/484.50 c | 445325 | 57519 147969 | 19173 83167 6031935 72.5 | 1.906 % | 485.01/485.24 c | 445428 | 57519 147969 | 21090 11565 478342 41.4 | 1.909 % | 485.21/485.44 c | 445579 | 57519 147969 | 23199 11716 488943 41.7 | 1.909 % | 485.41/485.63 c | 445804 | 57519 147969 | 25519 11941 523037 43.8 | 1.909 % | 485.71/485.95 c | 446141 | 57519 147969 | 28071 12278 550261 44.8 | 1.909 % | 486.02/486.28 c | 446647 | 57519 147969 | 30878 12784 591048 46.2 | 1.909 % | 486.61/486.87 c | 447406 | 57519 147969 | 33966 13543 643780 47.5 | 1.909 % | 487.41/487.66 c | 448547 | 57519 147969 | 37362 14684 731766 49.8 | 1.909 % | 488.41/488.64 c | 450255 | 57519 147969 | 41099 16392 883465 53.9 | 1.909 % | 489.61/489.82 c | 452819 | 57519 147969 | 45208 18956 1068754 56.4 | 1.909 % | 493.01/493.21 c | 456664 | 57519 147969 | 49729 22801 1484467 65.1 | 1.909 % | 497.01/497.29 c | 462430 | 57519 147969 | 54702 28567 2067246 72.4 | 1.909 % | 506.20/506.41 c | 471079 | 57519 147969 | 60173 37216 2729691 73.3 | 1.909 % | 519.61/519.86 c | 484054 | 57519 147969 | 66190 50191 3523474 70.2 | 1.909 % | 547.10/547.39 c | 503516 | 57519 147969 | 72809 69653 4573594 65.7 | 1.909 % | 583.48/583.71 c | 532709 | 57519 147969 | 80090 46375 2413032 52.0 | 1.909 % | 642.07/642.36 c | 576498 | 57519 147969 | 88099 29924 1577494 52.7 | 1.909 % | 738.52/738.86 c | 642186 | 57519 147969 | 96909 28233 1274204 45.1 | 1.909 % | 907.47/907.88 c | 740712 | 57519 147969 | 106600 48083 6157809 128.1 | 1.909 % | 1150.58/1151.07 c | 888504 | 57519 147969 | 117260 28682 1592495 55.5 | 1.909 % | 1544.24/1544.88 c | 1110187 | 57519 147969 | 128986 66733 4869179 73.0 | 1.909 % | 1797.54/1798.29 c ============================================================================== 1797.54/1798.29 c [1mFound solution: 21[0m 1797.54/1798.29 o 21 1797.64/1798.30 c ---[ 0]---> Sorter-cost: 0 Base: 1798.04/1798.73 c ==================================[MINISAT+]================================== 1798.04/1798.73 c | Conflicts | Original | Learnt | Progress | 1798.04/1798.73 c | | Clauses Literals | Max Clauses Literals LPC | | 1798.04/1798.73 c ============================================================================== 1798.04/1798.73 c | 1245656 | 52254 135681 | 17418 99727 7052530 70.7 | 1.909 % | 1800.05/1800.71 c 1800.05/1800.71 c *** TERMINATED *** 1800.05/1800.71 s SATISFIABLE 1800.05/1800.71 v x1 x177 x350 x700 x857 -x926 -x953 -x980 -x1007 -x1034 -x1061 x1088 -x10 -x1115 -x13 -x1127 -x16 -x1139 x19 -x1151 -x22 -x1163 1800.05/1800.71 v -x25 -x1175 -x28 -x1187 -x31 -x1199 -x34 -x1211 -x37 -x1223 -x40 -x1235 -x43 -x1247 -x46 -x1259 x49 -x1271 -x52 -x1283 -x55 1800.05/1800.71 v -x1295 -x58 -x1307 -x61 x1319 -x64 -x1331 -x67 -x1343 -x70 -x1355 -x1367 -x1369 -x1374 -x1376 x1381 -x1383 -x1388 -x1390 1800.05/1800.71 v -x1395 -x1397 -x1402 -x1404 -x1409 -x1411 -x1416 -x1418 -x1423 -x1425 -x1430 -x1432 -x1437 -x1439 -x1444 -x1446 -x1451 1800.05/1800.71 v -x1453 -x1458 -x1460 -x1465 -x1467 -x1472 -x1474 -x1479 -x1481 -x1486 -x1488 -x1493 -x1495 -x1500 -x1502 -x1507 -x1509 1800.05/1800.71 v -x1514 -x1516 -x1521 -x1523 -x1528 -x1530 -x1535 -x1537 -x1542 -x1544 -x1549 -x1551 -x1556 -x1558 -x1563 -x1565 -x1570 1800.05/1800.71 v -x1572 -x1577 -x1579 -x1584 -x1586 -x1591 -x1593 -x1598 -x1600 -x1605 -x1607 -x1612 -x1639 -x1666 -x1693 -x1720 -x1747 1800.05/1800.71 v -x1774 x186 -x1801 -x189 -x1813 -x192 -x1825 -x195 -x1837 -x198 -x1849 -x201 -x1861 -x204 -x1873 -x207 -x1885 -x1897 -x212 1800.05/1800.71 v -x1909 -x215 -x1921 -x1933 -x220 -x1945 x223 -x1957 -x226 -x1969 -x229 -x1981 -x232 -x1993 -x2005 -x237 -x2017 -x240 -x2029 1800.05/1800.71 v -x243 -x2041 -x2053 -x2055 -x2060 -x2062 -x2067 -x2069 -x2074 -x2076 -x2081 -x2083 -x2088 -x2090 -x2095 -x2097 -x2102 1800.05/1800.71 v -x2104 -x2109 -x2111 -x2116 -x2118 -x2123 -x2125 -x2130 -x2132 -x2137 -x2139 -x2144 -x2146 -x2151 -x2153 -x2158 -x2160 1800.05/1800.71 v -x2165 -x2167 -x2172 -x2174 -x2179 -x2181 -x2186 -x2188 -x2193 -x2195 -x2200 -x2202 -x2207 -x2209 -x2214 -x2216 -x2221 1800.05/1800.71 v -x2223 -x2228 -x2230 -x2235 -x2237 -x2242 -x2244 -x2249 -x2251 -x2256 -x2258 -x2263 -x2265 -x2270 -x2272 x2277 x2279 -x2284 1800.05/1800.71 v -x2286 -x2291 -x2293 x2298 -x2356 -x2414 -x2472 -x2530 -x2588 -x2646 -x2704 -x2762 -x362 -x2789 -x365 -x2816 x368 -x2843 1800.05/1800.71 v -x2870 -x373 -x2897 -x2924 -x378 -x2951 -x2978 -x3005 -x3032 -x387 -x3059 -x390 -x3086 -x3113 -x395 -x3140 -x3167 -x400 1800.05/1800.71 v -x3194 -x3221 -x3248 -x3275 -x409 -x3302 -x412 -x3329 -x3356 -x3383 -x419 -x3410 -x422 -x3437 -x3464 x427 -x3491 -x3518 1800.05/1800.71 v -x3520 -x3532 -x3534 -x3546 -x3548 -x3560 -x3572 -x3574 -x3586 -x3588 -x3600 -x3602 -x3614 -x3616 -x3628 -x3630 -x3642 1800.05/1800.71 v -x3644 -x3656 -x3658 -x3670 -x3672 -x3684 -x3686 -x3698 -x3700 -x3712 -x3714 -x3726 -x3728 -x3740 -x3742 -x3754 -x3756 1800.05/1800.71 v -x3768 -x3770 -x3782 -x3784 -x3796 -x3798 -x3810 -x3812 -x3824 -x3826 -x3838 -x3840 -x3852 -x3854 -x3866 -x3868 -x3880 1800.05/1800.71 v -x3882 -x3894 -x3896 -x3908 -x3910 -x3922 -x3924 -x3936 -x3938 -x3950 -x3952 -x3964 -x3966 -x3978 -x3980 -x3992 -x3994 1800.05/1800.71 v -x4006 -x4008 -x4020 -x4022 -x4034 -x4046 -x4048 -x4060 -x4062 -x4074 -x4076 -x4088 -x4090 -x4102 -x4104 -x4116 -x4118 1800.05/1800.71 v -x4130 -x4132 -x4144 -x4146 -x4158 -x4160 -x4172 -x4174 -x4186 -x4188 -x4200 -x4202 -x4214 -x4216 -x4228 -x4230 -x4242 1800.05/1800.71 v -x4244 -x4256 -x4258 -x4270 -x4272 -x4284 -x4286 -x4298 -x4303 -x4308 -x4313 -x4318 -x4323 -x4328 -x4333 -x4338 -x4343 1800.05/1800.71 v -x4348 -x4353 -x4358 -x4363 -x4368 -x4373 -x4378 -x4383 -x4388 -x4393 -x4398 -x4403 -x4408 -x4413 -x4418 -x4423 -x4428 1800.05/1800.71 v -x4433 -x4438 -x4443 -x4448 -x4453 -x4458 x4463 -x4468 -x4473 -x4478 -x4483 -x4488 -x4493 -x4498 -x4503 -x4508 -x4513 1800.05/1800.71 v -x4518 -x4523 -x4528 -x4533 -x4538 -x4543 -x4548 -x4553 -x4558 -x4563 -x4568 -x4573 -x4578 -x4583 -x4588 -x4593 -x4598 1800.05/1800.71 v -x4603 -x4608 -x4613 -x4618 -x4623 -x4628 -x4633 -x4638 -x4643 -x4648 -x4675 -x4702 -x4729 -x4756 -x4783 -x4810 -x709 1800.05/1800.71 v -x4837 -x4849 -x714 -x4861 -x4873 -x719 -x4885 -x722 -x4897 -x4909 -x4921 -x4933 -x4945 -x4957 -x735 -x4969 -x4981 -x4993 1800.05/1800.71 v -x5005 -x744 -x5017 -x747 -x5029 -x5041 x5053 -x754 -x5065 -x5077 -x5089 -x5091 -x5096 -x5098 -x5103 -x5105 -x5110 -x5112 1800.05/1800.71 v -x5117 -x5119 -x5124 -x5126 -x5131 -x5133 -x5138 -x5140 x5145 -x5147 -x5152 -x5154 -x5156 -x5161 -x5163 -x5168 -x5170 1800.05/1800.71 v -x5175 -x5177 -x5182 -x5184 -x5189 -x5191 -x5196 -x5198 -x5203 -x5208 -x5213 -x5215 -x5220 -x5222 -x5227 -x5229 -x5234 1800.05/1800.71 v -x5239 -x5241 -x5246 -x5251 -x5253 -x5258 -x5260 -x5265 -x5267 -x5272 -x5274 -x5279 -x5281 -x5286 -x5291 -x5293 -x5298 1800.05/1800.71 v -x5300 -x5305 -x5307 -x5312 -x5314 -x5319 -x5331 -x5343 -x5355 -x5367 -x5379 -x5391 x5396 -x5401 -x5406 -x5411 -x875 -x5416 1800.05/1800.71 v -x5421 -x880 -x5426 -x5431 -x885 -x5436 -x888 -x5441 -x891 -x5446 -x5451 -x5456 -x5461 -x5466 -x5468 -x5470 -x5472 -x5474 1800.05/1800.71 v -x5476 -x5478 -x5480 -x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -x5494 -x5496 -x5498 -x9 -x11 -x12 -x14 -x15 -x17 -x18 -x20 1800.05/1800.71 v -x21 -x23 -x24 -x26 -x27 -x29 -x30 -x32 -x33 -x35 -x36 -x38 -x39 -x41 -x42 -x44 -x45 -x47 -x48 -x50 -x51 -x53 -x54 -x56 -x57 -x59 1800.05/1800.71 v -x60 x62 -x63 -x65 -x66 -x68 -x69 -x71 -x73 -x72 -x74 -x76 -x75 -x77 x79 -x78 -x80 -x82 -x81 -x83 -x85 -x84 -x86 -x88 -x87 -x89 1800.05/1800.71 v -x91 -x90 -x92 -x94 -x93 -x95 -x97 -x96 -x98 -x100 -x99 -x101 -x103 -x102 -x104 -x106 -x105 -x107 -x109 -x108 -x110 -x112 -x111 1800.05/1800.71 v -x113 -x115 -x114 -x116 -x118 -x117 -x119 -x121 -x120 -x122 -x124 -x123 -x125 -x127 -x126 -x128 -x130 -x129 -x131 -x133 -x132 1800.05/1800.71 v -x134 -x136 -x135 -x137 -x139 -x138 -x140 -x142 -x141 -x143 -x145 -x144 -x146 -x148 -x147 -x149 -x151 -x150 -x152 -x154 -x153 1800.05/1800.71 v -x155 -x157 -x156 -x158 -x160 -x159 -x161 -x163 -x162 -x164 -x166 -x165 -x167 -x169 -x168 -x170 -x172 -x171 -x173 -x175 -x174 1800.05/1800.71 v -x176 -x2 -x3 -x4 -x5 -x6 -x7 x8 -x185 -x187 -x188 -x190 -x191 -x193 -x194 -x196 -x197 -x199 -x200 -x202 -x203 -x205 -x206 -x208 1800.05/1800.71 v -x209 -x210 -x211 -x213 -x214 -x216 -x217 -x218 -x219 -x221 -x222 -x224 -x225 -x227 -x228 -x230 -x231 -x233 -x234 -x235 -x236 1800.05/1800.71 v -x238 -x239 -x241 -x242 -x244 -x246 -x245 -x247 -x249 -x248 -x250 -x252 -x251 -x253 -x255 -x254 -x256 -x258 -x257 -x259 -x261 1800.05/1800.71 v -x260 -x262 -x264 -x263 -x265 -x267 -x266 -x268 -x270 -x269 -x271 -x273 -x272 -x274 -x276 -x275 -x277 -x279 -x278 -x280 -x282 1800.05/1800.71 v -x281 -x283 -x285 -x284 -x286 -x288 -x287 -x289 -x291 -x290 -x292 -x294 -x293 -x295 -x297 -x296 -x298 -x300 -x299 -x301 -x303 1800.05/1800.71 v -x302 -x304 -x306 -x305 -x307 -x309 -x308 -x310 -x312 -x311 -x313 -x315 -x314 -x316 -x318 -x317 -x319 -x321 -x320 -x322 -x324 1800.05/1800.71 v -x323 -x325 -x327 -x326 -x328 -x330 -x329 -x331 -x333 -x332 -x334 -x336 -x335 -x337 -x339 -x338 -x340 x342 x341 x343 -x345 1800.05/1800.71 v -x344 -x346 -x348 -x347 -x349 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x359 -x360 -x361 -x363 -x364 -x366 -x367 -x369 -x370 1800.05/1800.71 v -x371 -x372 -x374 -x375 -x376 -x377 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x388 -x389 -x391 -x392 -x393 -x394 -x396 1800.05/1800.71 v -x397 -x398 -x399 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x410 -x411 -x413 -x414 -x415 -x416 -x417 -x418 -x420 -x421 1800.05/1800.71 v -x423 -x424 -x425 -x426 -x428 -x430 -x429 -x431 -x433 -x432 -x434 -x436 -x435 -x437 -x438 -x439 -x441 -x440 -x442 -x444 -x443 1800.05/1800.71 v -x445 -x447 -x446 -x448 -x450 -x449 -x451 -x453 -x452 -x454 -x456 -x455 -x457 -x459 -x458 -x460 -x462 -x461 -x463 -x465 -x464 1800.05/1800.71 v -x466 -x468 -x467 -x469 -x471 -x470 -x472 -x474 -x473 -x475 -x477 -x476 -x478 -x480 -x479 -x481 -x483 -x482 -x484 -x486 -x485 1800.05/1800.71 v -x487 -x489 -x488 -x490 -x492 -x491 -x493 -x495 -x494 -x496 -x498 -x497 -x499 -x501 -x500 -x502 -x504 -x503 -x505 -x507 -x506 1800.05/1800.71 v -x508 -x510 -x509 -x511 -x513 -x512 -x514 -x516 -x515 -x517 -x519 -x518 -x520 -x522 -x521 -x523 -x525 -x524 -x526 -x528 -x527 1800.05/1800.71 v -x529 -x531 -x530 -x532 -x534 -x533 -x535 -x537 -x536 -x538 -x539 -x540 -x542 -x541 -x543 -x545 -x544 -x546 -x548 -x547 -x549 1800.05/1800.71 v -x551 -x550 -x552 -x554 -x553 -x555 -x557 -x556 -x558 -x560 -x559 -x561 -x563 -x562 -x564 -x566 -x565 -x567 -x569 -x568 -x570 1800.05/1800.71 v -x572 -x571 -x573 -x575 -x574 -x576 -x578 -x577 -x579 -x581 -x580 -x582 -x584 -x583 -x585 -x587 -x586 -x588 -x590 -x589 -x591 1800.05/1800.71 v -x593 -x592 -x594 -x596 -x595 -x597 -x599 -x598 -x600 -x602 -x601 -x603 -x605 -x604 -x606 -x608 -x607 -x609 -x611 -x610 -x612 1800.05/1800.71 v -x614 -x613 -x615 -x617 -x616 -x618 -x620 -x619 -x621 -x623 -x622 -x624 -x626 -x625 -x627 -x629 -x628 -x630 -x632 -x631 -x633 1800.05/1800.71 v -x635 -x634 -x636 -x638 -x637 -x639 -x641 -x640 -x642 -x644 -x643 x645 -x647 -x646 -x648 -x650 -x649 -x651 -x653 -x652 -x654 1800.05/1800.71 v -x656 -x655 -x657 -x659 -x658 -x660 -x662 -x661 -x663 -x665 -x664 -x666 -x668 -x667 -x669 -x671 -x670 -x672 -x674 -x673 -x675 1800.05/1800.71 v -x677 -x676 -x678 -x680 -x679 -x681 -x683 -x682 -x684 -x686 -x685 -x687 -x689 -x688 -x690 -x692 -x691 -x693 -x695 -x694 -x696 1800.05/1800.71 v -x698 -x697 -x699 x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x708 -x710 -x711 -x712 -x713 -x715 -x716 -x717 -x718 -x720 1800.05/1800.71 v -x721 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 1800.05/1800.71 v -x745 -x746 -x748 -x749 -x750 x751 x752 -x753 -x755 -x756 -x757 -x759 -x758 -x760 -x762 -x761 -x763 -x765 -x764 -x766 -x768 1800.05/1800.71 v -x767 -x769 -x771 -x770 -x772 -x774 -x773 -x775 -x777 -x776 -x778 -x780 -x779 -x781 x783 -x782 -x784 -x786 -x785 -x788 -x787 1800.05/1800.71 v -x789 -x791 -x790 -x792 -x794 -x793 -x795 -x797 -x796 -x798 -x800 -x799 -x801 -x803 -x802 -x804 -x806 -x805 -x807 -x808 -x809 1800.05/1800.71 v -x810 -x811 -x813 -x812 -x814 -x816 -x815 -x817 -x819 -x818 -x820 -x821 -x822 -x824 -x823 -x825 -x826 -x827 -x829 -x828 -x830 1800.05/1800.71 v -x832 -x831 -x833 -x835 -x834 -x836 -x838 -x837 -x839 -x841 -x840 -x842 -x843 -x844 -x846 -x845 -x847 -x849 -x848 -x850 -x852 1800.05/1800.71 v -x851 -x853 -x855 -x854 -x856 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x864 -x865 x866 x867 -x868 -x869 -x870 -x871 -x872 1800.05/1800.71 v -x873 -x874 -x876 -x877 -x878 -x879 -x881 -x882 -x883 -x884 -x886 -x887 -x889 -x890 -x892 -x893 -x894 -x895 -x896 -x897 -x898 1800.05/1800.71 v -x900 -x899 -x902 -x901 -x903 -x905 -x904 -x906 -x908 -x907 -x909 -x911 -x910 -x912 -x914 -x913 -x916 -x915 -x917 -x919 -x918 1800.05/1800.71 v -x920 -x921 -x922 -x924 -x923 -x925 -x858 -x859 -x860 -x861 -x862 -x863 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 1800.05/1800.71 v -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x954 -x955 -x956 -x957 1800.05/1800.71 v -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 1800.05/1800.71 v -x979 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 1800.05/1800.71 v -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 1800.05/1800.71 v -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1035 -x1036 1800.05/1800.71 v -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 1800.05/1800.71 v -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 1800.05/1800.71 v -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1089 1800.05/1800.71 v -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 1800.05/1800.71 v -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 1800.05/1800.71 v -x1125 -x1126 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1140 -x1141 -x1142 -x1143 1800.05/1800.71 v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 1800.05/1800.71 v -x1162 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1176 -x1177 -x1178 -x1179 -x1180 1800.05/1800.71 v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 1800.05/1800.71 v -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 1800.05/1800.71 v -x1218 -x1219 -x1220 -x1221 -x1222 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1236 1800.05/1800.71 v -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 1800.05/1800.71 v -x1255 -x1256 -x1257 -x1258 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1272 -x1273 1800.05/1800.71 v -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 1800.05/1800.71 v -x1292 -x1293 -x1294 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1308 -x1309 -x1310 1800.05/1800.71 v -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 1800.05/1800.71 v x1329 -x1330 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1344 -x1345 -x1346 -x1347 1800.05/1800.71 v -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 1800.05/1800.71 v -x1366 -x1368 -x1370 -x1371 -x1372 -x1373 -x1375 -x1377 -x1378 -x1379 -x1380 x1382 -x1384 -x1385 -x1386 -x1387 -x1389 1800.05/1800.71 v -x1391 -x1392 -x1393 -x1394 -x1396 -x1398 -x1399 -x1400 -x1401 -x1403 -x1405 -x1406 -x1407 -x1408 x1410 -x1412 -x1413 1800.05/1800.71 v -x1414 -x1415 x1417 -x1419 -x1420 -x1421 -x1422 -x1424 -x1426 -x1427 -x1428 -x1429 x1431 -x1433 -x1434 -x1435 -x1436 -x1438 1800.05/1800.71 v -x1440 -x1441 -x1442 -x1443 -x1445 -x1447 -x1448 -x1449 -x1450 x1452 -x1454 -x1455 -x1456 -x1457 x1459 -x1461 -x1462 -x1463 1800.05/1800.71 v -x1464 -x1466 -x1468 -x1469 -x1470 -x1471 -x1473 -x1475 -x1476 -x1477 -x1478 -x1480 -x1482 -x1483 -x1484 -x1485 x1487 1800.05/1800.71 v -x1489 -x1490 -x1491 -x1492 -x1494 -x1496 -x1497 -x1498 -x1499 -x1501 -x1503 -x1504 -x1505 -x1506 -x1508 -x1510 -x1511 1800.05/1800.71 v -x1512 -x1513 -x1515 x1517 -x1518 x1519 -x1520 -x1522 -x1524 -x1525 -x1526 -x1527 -x1529 -x1531 -x1532 -x1533 -x1534 -x1536 1800.05/1800.71 v -x1538 -x1539 -x1540 -x1541 -x1543 -x1545 -x1546 -x1547 -x1548 x1550 x1552 -x1553 -x1554 -x1555 -x1557 x1559 -x1560 -x1561 1800.05/1800.71 v -x1562 x1564 -x1566 -x1567 -x1568 -x1569 -x1571 -x1573 -x1574 -x1575 -x1576 x1578 x1580 -x1581 -x1582 -x1583 -x1585 -x1587 1800.05/1800.71 v -x1588 -x1589 -x1590 -x1592 -x1594 -x1595 -x1596 -x1597 -x1599 x1601 -x1602 -x1603 -x1604 -x1606 -x1608 -x1609 -x1610 1800.05/1800.71 v -x1611 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 1800.05/1800.71 v -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 1800.05/1800.71 v -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 1800.05/1800.71 v -x1664 -x1665 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 1800.05/1800.71 v -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 1800.05/1800.71 v -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 1800.05/1800.71 v -x1717 -x1718 -x1719 x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 1800.05/1800.71 v x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1748 -x1749 -x1750 -x1751 -x1752 1800.05/1800.71 v -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 1800.05/1800.71 v -x1770 -x1771 -x1772 -x1773 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 1800.05/1800.71 v -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 x1802 -x1803 -x1804 x1805 -x1806 1800.05/1800.71 v -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 1800.05/1800.71 v -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 1800.05/1800.71 v -x1844 -x1845 -x1846 -x1847 -x1848 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1862 1800.05/1800.71 v -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 1800.05/1800.71 v -x1881 -x1882 -x1883 -x1884 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1898 -x1899 1800.05/1800.71 v -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 1800.05/1800.71 v -x1918 -x1919 -x1920 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1934 -x1935 -x1936 1800.05/1800.71 v -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 1800.05/1800.71 v -x1955 -x1956 x1958 x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1970 -x1971 -x1972 -x1973 -x1974 1800.05/1800.71 v -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 1800.05/1800.71 v -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 x2006 -x2007 -x2008 -x2009 -x2010 -x2011 1800.05/1800.71 v -x2012 -x2013 -x2014 -x2015 -x2016 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 x2030 1800.05/1800.71 v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 1800.05/1800.71 v -x2049 -x2050 -x2051 -x2052 x2054 x2056 -x2057 -x2058 -x2059 x2061 -x2063 -x2064 -x2065 -x2066 x2068 x2070 -x2071 x2072 1800.05/1800.71 v -x2073 x2075 x2077 -x2078 -x2079 -x2080 x2082 -x2084 -x2085 -x2086 -x2087 -x2089 -x2091 -x2092 -x2093 -x2094 -x2096 -x2098 1800.05/1800.71 v -x2099 -x2100 -x2101 x2103 x2105 -x2106 -x2107 -x2108 -x2110 -x2112 -x2113 -x2114 -x2115 -x2117 -x2119 -x2120 -x2121 -x2122 1800.05/1800.71 v -x2124 -x2126 -x2127 -x2128 -x2129 x2131 -x2133 -x2134 -x2135 -x2136 -x2138 -x2140 -x2141 -x2142 -x2143 -x2145 -x2147 1800.05/1800.71 v -x2148 -x2149 -x2150 -x2152 -x2154 -x2155 -x2156 -x2157 -x2159 -x2161 -x2162 -x2163 -x2164 -x2166 -x2168 -x2169 -x2170 1800.05/1800.71 v -x2171 x2173 x2175 -x2176 -x2177 -x2178 -x2180 -x2182 -x2183 -x2184 -x2185 -x2187 -x2189 -x2190 -x2191 -x2192 -x2194 -x2196 1800.05/1800.71 v -x2197 -x2198 -x2199 x2201 -x2203 -x2204 -x2205 -x2206 -x2208 -x2210 -x2211 -x2212 -x2213 -x2215 -x2217 -x2218 -x2219 1800.05/1800.71 v -x2220 -x2222 -x2224 -x2225 -x2226 -x2227 -x2229 -x2231 -x2232 -x2233 -x2234 x2236 -x2238 -x2239 -x2240 -x2241 x2243 -x2245 1800.05/1800.71 v -x2246 -x2247 -x2248 x2250 x2252 x2253 -x2254 -x2255 -x2257 -x2259 -x2260 -x2261 -x2262 x2264 -x2266 -x2267 -x2268 -x2269 1800.05/1800.71 v -x2271 -x2273 -x2274 -x2275 -x2276 x2278 x2280 x2281 -x2282 -x2283 x2285 -x2287 -x2288 -x2289 -x2290 -x2292 -x2294 -x2295 1800.05/1800.71 v -x2296 -x2297 x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 1800.05/1800.71 v -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 1800.05/1800.71 v -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 1800.05/1800.71 v -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 1800.05/1800.71 v -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 1800.05/1800.71 v -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 1800.05/1800.71 v -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2415 -x2416 -x2417 1800.05/1800.71 v -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 1800.05/1800.71 v -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 1800.05/1800.71 v -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 1800.05/1800.71 v -x2469 -x2470 -x2471 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 1800.05/1800.71 v -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 1800.05/1800.71 v -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 1800.05/1800.71 v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 1800.05/1800.71 v -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 1800.05/1800.71 v -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 1800.05/1800.71 v -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2589 -x2590 1800.05/1800.71 v -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 1800.05/1800.71 v -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 1800.05/1800.71 v -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 1800.05/1800.71 v -x2642 -x2643 -x2644 -x2645 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 1800.05/1800.71 v -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 1800.05/1800.71 v -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 1800.05/1800.71 v -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 1800.05/1800.71 v -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 1800.05/1800.71 v -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 1800.05/1800.71 v -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2763 1800.05/1800.71 v -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 1800.05/1800.71 v -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 1800.05/1800.71 v -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 1800.05/1800.71 v x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 1800.05/1800.71 v -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 1800.05/1800.71 v -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 1800.05/1800.71 v -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 1800.05/1800.71 v -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 1800.05/1800.71 v -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 1800.05/1800.71 v -x2923 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 1800.05/1800.71 v -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 1800.05/1800.71 v -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 1800.05/1800.71 v -x2976 -x2977 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 1800.05/1800.71 v -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 1800.05/1800.71 v -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 1800.05/1800.71 v -x3029 -x3030 -x3031 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 1800.05/1800.71 v -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3060 -x3061 -x3062 -x3063 -x3064 1800.05/1800.71 v -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 1800.05/1800.71 v -x3082 -x3083 -x3084 -x3085 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 1800.05/1800.71 v -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3114 -x3115 -x3116 -x3117 1800.05/1800.71 v -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 1800.05/1800.71 v -x3135 -x3136 -x3137 -x3138 -x3139 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 1800.05/1800.71 v -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3168 -x3169 -x3170 1800.05/1800.71 v -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 1800.05/1800.71 v -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 1800.05/1800.71 v -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3222 -x3223 1800.05/1800.71 v -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 1800.05/1800.71 v -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 1800.05/1800.71 v -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3276 1800.05/1800.71 v -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 1800.05/1800.71 v -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 1800.05/1800.71 v -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 1800.05/1800.71 v -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 1800.05/1800.71 v -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 1800.05/1800.71 v -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 1800.05/1800.71 v -x3382 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 1800.05/1800.71 v -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 1800.05/1800.71 v -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 1800.05/1800.71 v -x3435 -x3436 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 1800.05/1800.71 v -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 1800.05/1800.71 v -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 1800.05/1800.71 v -x3488 -x3489 -x3490 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 1800.05/1800.71 v -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3519 -x3521 -x3522 -x3523 -x3524 1800.05/1800.71 v -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3533 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 1800.05/1800.71 v -x3544 -x3545 x3547 x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 x3559 -x3561 -x3562 -x3563 -x3564 1800.05/1800.71 v -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3573 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 1800.05/1800.71 v -x3584 -x3585 -x3587 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3601 x3603 -x3604 1800.05/1800.71 v -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 x3615 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 1800.05/1800.71 v -x3624 -x3625 -x3626 -x3627 x3629 x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3643 -x3645 1800.05/1800.71 v -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3657 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 1800.05/1800.71 v -x3665 -x3666 -x3667 -x3668 -x3669 x3671 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 1800.05/1800.71 v -x3685 x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3699 -x3701 -x3702 -x3703 -x3704 1800.05/1800.71 v -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3713 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 1800.05/1800.71 v -x3724 -x3725 x3727 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 x3741 -x3743 -x3744 -x3745 1800.05/1800.71 v -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 x3755 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 1800.05/1800.71 v -x3765 -x3766 -x3767 -x3769 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3783 -x3785 1800.05/1800.71 v -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 x3797 x3799 -x3800 -x3801 x3802 -x3803 -x3804 -x3805 1800.05/1800.71 v -x3806 -x3807 -x3808 -x3809 -x3811 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 x3825 1800.05/1800.71 v -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 x3839 -x3841 -x3842 -x3843 -x3844 -x3845 1800.05/1800.71 v -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3853 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 1800.05/1800.71 v -x3865 -x3867 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 x3881 -x3883 -x3884 -x3885 1800.05/1800.71 v -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3895 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 1800.05/1800.71 v -x3905 -x3906 -x3907 -x3909 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3923 -x3925 1800.05/1800.71 v -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 x3937 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 1800.05/1800.71 v -x3945 -x3946 -x3947 -x3948 -x3949 x3951 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 1800.05/1800.71 v x3965 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3979 -x3981 -x3982 -x3983 -x3984 1800.05/1800.71 v -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3993 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 1800.05/1800.71 v -x4004 -x4005 x4007 x4009 -x4010 -x4011 x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4021 -x4023 -x4024 -x4025 1800.05/1800.71 v -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 1800.05/1800.71 v -x4044 -x4045 -x4047 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4061 -x4063 -x4064 1800.05/1800.71 v -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 x4075 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 1800.05/1800.71 v -x4084 -x4085 -x4086 -x4087 -x4089 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4103 1800.05/1800.71 v -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 x4117 -x4119 -x4120 -x4121 -x4122 -x4123 1800.05/1800.71 v -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 x4131 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 1800.05/1800.71 v -x4143 x4145 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4159 -x4161 -x4162 -x4163 1800.05/1800.71 v -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4173 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 1800.05/1800.71 v -x4183 -x4184 -x4185 -x4187 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4201 -x4203 1800.05/1800.71 v -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4215 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 1800.05/1800.71 v -x4223 -x4224 -x4225 -x4226 -x4227 x4229 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 1800.05/1800.71 v -x4243 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4257 -x4259 -x4260 -x4261 -x4262 1800.05/1800.71 v -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 x4271 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 1800.05/1800.71 v -x4282 -x4283 x4285 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4299 -x4300 -x4301 1800.05/1800.71 v -x4302 -x4304 -x4305 -x4306 -x4307 -x4309 -x4310 -x4311 -x4312 -x4314 -x4315 -x4316 -x4317 -x4319 -x4320 -x4321 -x4322 1800.05/1800.71 v -x4324 -x4325 -x4326 -x4327 -x4329 -x4330 -x4331 -x4332 -x4334 -x4335 -x4336 -x4337 -x4339 -x4340 -x4341 -x4342 -x4344 1800.05/1800.71 v -x4345 -x4346 -x4347 -x4349 -x4350 -x4351 -x4352 x4354 x4355 -x4356 -x4357 -x4359 -x4360 -x4361 -x4362 -x4364 -x4365 -x4366 1800.05/1800.71 v -x4367 -x4369 -x4370 -x4371 -x4372 -x4374 -x4375 -x4376 -x4377 -x4379 -x4380 -x4381 -x4382 -x4384 -x4385 -x4386 -x4387 1800.05/1800.71 v -x4389 -x4390 -x4391 -x4392 -x4394 -x4395 -x4396 -x4397 -x4399 -x4400 -x4401 -x4402 x4404 -x4405 -x4406 -x4407 -x4409 1800.05/1800.71 v -x4410 -x4411 -x4412 x4414 -x4415 -x4416 -x4417 -x4419 -x4420 -x4421 -x4422 -x4424 -x4425 -x4426 -x4427 -x4429 -x4430 1800.05/1800.71 v -x4431 -x4432 -x4434 -x4435 -x4436 -x4437 -x4439 -x4440 -x4441 -x4442 x4444 -x4445 -x4446 -x4447 -x4449 -x4450 -x4451 1800.05/1800.71 v -x4452 -x4454 -x4455 -x4456 -x4457 x4459 -x4460 -x4461 -x4462 x4464 x4465 -x4466 -x4467 -x4469 -x4470 -x4471 -x4472 -x4474 1800.05/1800.71 v -x4475 -x4476 -x4477 -x4479 -x4480 -x4481 -x4482 -x4484 -x4485 -x4486 -x4487 x4489 -x4490 x4491 -x4492 -x4494 -x4495 -x4496 1800.05/1800.71 v -x4497 -x4499 -x4500 -x4501 -x4502 -x4504 -x4505 -x4506 -x4507 -x4509 -x4510 -x4511 -x4512 -x4514 -x4515 -x4516 -x4517 1800.05/1800.71 v -x4519 -x4520 -x4521 -x4522 -x4524 -x4525 -x4526 -x4527 -x4529 -x4530 -x4531 -x4532 -x4534 -x4535 -x4536 -x4537 -x4539 1800.05/1800.71 v -x4540 -x4541 -x4542 -x4544 -x4545 -x4546 -x4547 -x4549 -x4550 -x4551 -x4552 -x4554 -x4555 -x4556 -x4557 -x4559 -x4560 1800.05/1800.71 v -x4561 -x4562 -x4564 -x4565 -x4566 -x4567 -x4569 -x4570 -x4571 -x4572 -x4574 -x4575 -x4576 -x4577 -x4579 -x4580 -x4581 1800.05/1800.71 v -x4582 -x4584 -x4585 -x4586 -x4587 -x4589 -x4590 -x4591 -x4592 -x4594 -x4595 -x4596 -x4597 -x4599 -x4600 -x4601 -x4602 1800.05/1800.71 v x4604 -x4605 x4606 -x4607 -x4609 -x4610 -x4611 -x4612 -x4614 -x4615 -x4616 -x4617 -x4619 -x4620 -x4621 -x4622 -x4624 -x4625 1800.05/1800.71 v -x4626 -x4627 x4629 x4630 -x4631 -x4632 x4634 -x4635 -x4636 -x4637 -x4639 -x4640 -x4641 -x4642 -x4644 -x4645 -x4646 -x4647 1800.05/1800.71 v -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 1800.05/1800.71 v -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 1800.05/1800.71 v -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 1800.05/1800.71 v -x4701 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 1800.05/1800.71 v -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 1800.05/1800.71 v -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 1800.05/1800.71 v -x4754 -x4755 x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 1800.05/1800.71 v -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 x4784 -x4785 -x4786 -x4787 -x4788 -x4789 1800.05/1800.71 v -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 1800.05/1800.71 v -x4807 -x4808 -x4809 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 1800.05/1800.71 v -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4838 -x4839 -x4840 -x4841 -x4842 1800.05/1800.71 v -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 1800.05/1800.71 v -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 1800.05/1800.71 v -x4880 -x4881 -x4882 -x4883 -x4884 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4898 1800.05/1800.71 v -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 1800.05/1800.71 v -x4917 -x4918 -x4919 -x4920 x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 x4930 -x4931 -x4932 -x4934 -x4935 -x4936 1800.05/1800.71 v -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 1800.05/1800.71 v -x4955 -x4956 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4970 -x4971 -x4972 -x4973 1800.05/1800.71 v -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 1800.05/1800.71 v -x4992 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5006 -x5007 -x5008 -x5009 -x5010 1800.05/1800.71 v -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 1800.05/1800.71 v -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 1800.05/1800.71 v -x5048 -x5049 -x5050 -x5051 -x5052 x5054 -x5055 -x5056 -x5057 -x5058 -x5059 x5060 -x5061 -x5062 -x5063 -x5064 -x5066 -x5067 1800.05/1800.71 v -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 1800.05/1800.71 v -x5086 -x5087 -x5088 x5090 -x5092 -x5093 -x5094 -x5095 x5097 -x5099 -x5100 -x5101 -x5102 -x5104 -x5106 -x5107 -x5108 -x5109 1800.05/1800.71 v -x5111 -x5113 -x5114 -x5115 -x5116 -x5118 -x5120 -x5121 -x5122 -x5123 x5125 -x5127 -x5128 -x5129 -x5130 x5132 -x5134 -x5135 1800.05/1800.71 v -x5136 -x5137 x5139 -x5141 -x5142 -x5143 -x5144 x5146 x5148 x5149 -x5150 -x5151 -x5153 -x5155 -x5157 -x5158 -x5159 -x5160 1800.05/1800.71 v -x5162 x5164 x5165 -x5166 -x5167 x5169 -x5171 -x5172 -x5173 -x5174 -x5176 -x5178 -x5179 -x5180 -x5181 -x5183 -x5185 -x5186 1800.05/1800.71 v -x5187 -x5188 x5190 -x5192 -x5193 -x5194 -x5195 x5197 -x5199 -x5200 -x5201 -x5202 -x5204 -x5205 -x5206 -x5207 -x5209 -x5210 1800.05/1800.71 v -x5211 -x5212 x5214 x5216 -x5217 -x5218 -x5219 x5221 x5223 -x5224 -x5225 -x5226 x5228 x5230 x5231 -x5232 -x5233 x5235 -x5236 1800.05/1800.71 v -x5237 -x5238 -x5240 -x5242 -x5243 -x5244 -x5245 -x5247 -x5248 -x5249 -x5250 -x5252 -x5254 -x5255 -x5256 -x5257 -x5259 1800.05/1800.71 v -x5261 -x5262 -x5263 -x5264 -x5266 -x5268 -x5269 -x5270 -x5271 x5273 -x5275 -x5276 -x5277 -x5278 -x5280 -x5282 -x5283 1800.05/1800.71 v -x5284 -x5285 -x5287 -x5288 -x5289 -x5290 x5292 x5294 -x5295 -x5296 -x5297 -x5299 -x5301 -x5302 -x5303 -x5304 -x5306 -x5308 1800.05/1800.71 v -x5309 -x5310 -x5311 x5313 x5315 -x5316 x5317 -x5318 x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 1800.05/1800.71 v -x5330 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 x5344 -x5345 -x5346 -x5347 -x5348 1800.05/1800.71 v -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 1800.05/1800.71 v -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 1800.05/1800.71 v -x5386 -x5387 -x5388 -x5389 -x5390 -x5392 -x5393 -x5394 -x5395 x5397 x5398 -x5399 -x5400 -x5402 -x5403 -x5404 -x5405 -x5407 1800.05/1800.71 v -x5408 -x5409 -x5410 -x5412 -x5413 -x5414 -x5415 -x5417 -x5418 -x5419 -x5420 x5422 x5423 -x5424 -x5425 -x5427 -x5428 -x5429 1800.05/1800.71 v -x5430 -x5432 -x5433 -x5434 -x5435 -x5437 -x5438 -x5439 -x5440 -x5442 -x5443 -x5444 -x5445 -x5447 -x5448 -x5449 -x5450 1800.05/1800.71 v -x5452 -x5453 -x5454 -x5455 -x5457 -x5458 -x5459 -x5460 x5462 -x5463 x5464 -x5465 x5467 x5469 x5471 -x5473 -x5475 -x5477 1800.05/1800.71 v -x5479 x5481 x5483 x5485 x5487 x5489 -x5491 -x5493 -x5495 x5497 x5499
OK 21
/tmp/evaluation/373121-1177168108/instance-373121-1177168108.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node33/watcher-373121-1177168108 -o ROOT/results/node33/solver-373121-1177168108 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/373121-1177168108/minisat+ /tmp/evaluation/373121-1177168108/instance-373121-1177168108.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/77 20755 /proc/meminfo: memFree=1698536/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=1180 CPUtime=0 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 139 0 0 0 0 0 0 0 18 0 1 0 164726288 1208320 124 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 295 124 75 215 0 77 0 [startup+0.0703551 s] /proc/loadavg: 1.00 1.00 1.00 3/77 20755 /proc/meminfo: memFree=1698536/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=1864 CPUtime=0.06 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 308 0 0 0 6 0 0 0 18 0 1 0 164726288 1908736 293 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 466 293 75 215 0 248 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 1864 [startup+0.101361 s] /proc/loadavg: 1.00 1.00 1.00 3/77 20755 /proc/meminfo: memFree=1698536/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=2152 CPUtime=0.09 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 383 0 0 0 9 0 0 0 18 0 1 0 164726288 2203648 368 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 538 368 75 215 0 320 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2152 [startup+0.301403 s] /proc/loadavg: 1.00 1.00 1.00 3/77 20755 /proc/meminfo: memFree=1698536/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=4008 CPUtime=0.29 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 852 0 0 0 29 0 0 0 19 0 1 0 164726288 4104192 837 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 1002 837 75 215 0 784 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4008 [startup+0.701485 s] /proc/loadavg: 1.00 1.00 1.00 3/77 20755 /proc/meminfo: memFree=1698536/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=8160 CPUtime=0.68 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 1868 0 0 0 66 2 0 0 18 0 1 0 164726288 8355840 1853 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005838 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 2040 1853 89 215 0 1822 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 8160 [startup+1.50165 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20756 /proc/meminfo: memFree=1690016/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=9668 CPUtime=1.49 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 2313 0 0 0 146 3 0 0 24 0 1 0 164726288 9900032 2230 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 2417 2230 123 215 0 2199 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9668 [startup+3.10198 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20756 /proc/meminfo: memFree=1689760/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=10720 CPUtime=3.09 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 2570 0 0 0 306 3 0 0 25 0 1 0 164726288 10977280 2487 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576571 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 2680 2487 123 215 0 2462 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10720 [startup+6.30263 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20756 /proc/meminfo: memFree=1683616/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=19328 CPUtime=6.29 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 4710 0 0 0 625 4 0 0 25 0 1 0 164726288 19791872 4614 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 4832 4614 124 215 0 4614 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19328 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20756 /proc/meminfo: memFree=1675064/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=25088 CPUtime=12.69 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 6141 0 0 0 1264 5 0 0 25 0 1 0 164726288 25690112 6045 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576867 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 6272 6045 124 215 0 6054 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25088 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20756 /proc/meminfo: memFree=1665464/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=34296 CPUtime=25.48 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 8467 0 0 0 2541 7 0 0 25 0 1 0 164726288 35119104 8371 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 8574 8371 124 215 0 8356 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 34296 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20756 /proc/meminfo: memFree=1655032/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=44536 CPUtime=51.07 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 11010 0 0 0 5097 10 0 0 25 0 1 0 164726288 45604864 10914 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 11134 10914 124 215 0 10916 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 44536 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 3/78 20756 /proc/meminfo: memFree=1654840/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=44816 CPUtime=102.25 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 11050 0 0 0 10215 10 0 0 25 0 1 0 164726288 45891584 10954 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 11204 10954 124 215 0 10986 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 44816 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20756 /proc/meminfo: memFree=1654456/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=45184 CPUtime=162.23 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 11159 0 0 0 16212 11 0 0 25 0 1 0 164726288 46268416 11063 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581310 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 11296 11063 124 215 0 11078 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 45184 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20756 /proc/meminfo: memFree=1654264/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=45488 CPUtime=222.21 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 11210 0 0 0 22210 11 0 0 25 0 1 0 164726288 46579712 11114 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 11372 11114 124 215 0 11154 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 45488 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20756 /proc/meminfo: memFree=1651832/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=47904 CPUtime=282.19 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 11820 0 0 0 28207 12 0 0 25 0 1 0 164726288 49053696 11724 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 11976 11724 124 215 0 11758 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 47904 [startup+342.302 s] /proc/loadavg: 1.07 1.02 1.00 2/78 20756 /proc/meminfo: memFree=1651448/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=48328 CPUtime=342.17 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 11910 0 0 0 34204 13 0 0 25 0 1 0 164726288 49487872 11814 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580450 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 12082 11814 124 215 0 11864 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 48328 [startup+402.302 s] /proc/loadavg: 1.02 1.01 1.00 2/78 20756 /proc/meminfo: memFree=1650744/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=49080 CPUtime=402.14 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 12088 0 0 0 40201 13 0 0 25 0 1 0 164726288 50257920 11992 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581457 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 12270 11992 124 215 0 12052 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 49080 [startup+462.301 s] /proc/loadavg: 1.01 1.00 1.00 2/78 20756 /proc/meminfo: memFree=1650744/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=49080 CPUtime=462.12 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 12092 0 0 0 46198 14 0 0 25 0 1 0 164726288 50257920 11996 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580888 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 12270 11996 124 215 0 12052 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 49080 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20756 /proc/meminfo: memFree=1650680/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=49080 CPUtime=522.11 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 12092 0 0 0 52196 15 0 0 25 0 1 0 164726288 50257920 11996 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 12270 11996 124 215 0 12052 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 49080 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20756 /proc/meminfo: memFree=1650616/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=49244 CPUtime=582.08 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 12121 0 0 0 58193 15 0 0 25 0 1 0 164726288 50425856 12025 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 12311 12025 124 215 0 12093 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 49244 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20756 /proc/meminfo: memFree=1650424/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=49408 CPUtime=642.07 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 12168 0 0 0 64191 16 0 0 25 0 1 0 164726288 50593792 12072 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 12352 12072 124 215 0 12134 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 49408 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20756 /proc/meminfo: memFree=1631928/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=68092 CPUtime=881.98 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 16764 0 0 0 88175 23 0 0 25 0 1 0 164726288 69726208 16668 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 17023 16668 124 215 0 16805 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 68092 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20756 /proc/meminfo: memFree=1631928/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=68092 CPUtime=941.95 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 16764 0 0 0 94172 23 0 0 25 0 1 0 164726288 69726208 16668 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 17023 16668 124 215 0 16805 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 68092 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20756 /proc/meminfo: memFree=1631992/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=68092 CPUtime=1001.93 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 16777 0 0 0 100169 24 0 0 25 0 1 0 164726288 69726208 16681 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134568543 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 17023 16681 124 215 0 16805 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 68092 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20756 /proc/meminfo: memFree=1631928/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=68092 CPUtime=1061.91 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 16786 0 0 0 106167 24 0 0 25 0 1 0 164726288 69726208 16690 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 17023 16690 124 215 0 16805 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 68092 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20756 /proc/meminfo: memFree=1631608/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=68416 CPUtime=1121.89 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 16879 0 0 0 112164 25 0 0 25 0 1 0 164726288 70057984 16775 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 17104 16775 124 215 0 16886 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 68416 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20756 /proc/meminfo: memFree=1631544/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=68416 CPUtime=1181.87 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 16887 0 0 0 118161 26 0 0 25 0 1 0 164726288 70057984 16783 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580372 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 17104 16783 124 215 0 16886 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 68416 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20756 /proc/meminfo: memFree=1631416/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=68632 CPUtime=1241.85 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 16920 0 0 0 124159 26 0 0 25 0 1 0 164726288 70279168 16816 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 17158 16816 124 215 0 16940 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 68632 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20756 /proc/meminfo: memFree=1631096/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=68932 CPUtime=1301.82 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 17000 0 0 0 130156 26 0 0 25 0 1 0 164726288 70586368 16888 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576571 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 17233 16888 124 215 0 17015 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 68932 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20756 /proc/meminfo: memFree=1631032/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=69012 CPUtime=1361.8 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 17023 0 0 0 136153 27 0 0 25 0 1 0 164726288 70668288 16911 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 17253 16911 124 215 0 17035 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 69012 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20756 /proc/meminfo: memFree=1630904/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=69224 CPUtime=1421.78 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 17047 0 0 0 142151 27 0 0 25 0 1 0 164726288 70885376 16935 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 17306 16935 124 215 0 17088 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 69224 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20756 /proc/meminfo: memFree=1630840/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=69304 CPUtime=1481.76 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 17066 0 0 0 148148 28 0 0 25 0 1 0 164726288 70967296 16954 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 17326 16954 124 215 0 17108 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 69304 [startup+1542.3 s] /proc/loadavg: 1.07 1.02 1.00 2/78 20756 /proc/meminfo: memFree=1630840/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=69304 CPUtime=1541.74 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 17067 0 0 0 154146 28 0 0 25 0 1 0 164726288 70967296 16955 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134573188 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 17326 16955 124 215 0 17108 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 69304 [startup+1602.3 s] /proc/loadavg: 1.10 1.03 1.00 2/78 20756 /proc/meminfo: memFree=1630776/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=69304 CPUtime=1601.72 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 17071 0 0 0 160143 29 0 0 25 0 1 0 164726288 70967296 16959 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581008 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 17326 16959 124 215 0 17108 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 69304 [startup+1662.3 s] /proc/loadavg: 1.03 1.02 1.00 2/78 20756 /proc/meminfo: memFree=1630648/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=69632 CPUtime=1661.69 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 17132 0 0 0 166140 29 0 0 25 0 1 0 164726288 71303168 17020 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 17408 17020 124 215 0 17190 0 Current children cumulated CPU time (s) 1661.69 Current children cumulated vsize (KiB) 69632 [startup+1722.3 s] /proc/loadavg: 1.01 1.01 1.00 2/78 20756 /proc/meminfo: memFree=1630520/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=69632 CPUtime=1721.68 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 17140 0 0 0 172138 30 0 0 25 0 1 0 164726288 71303168 17028 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576727 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 17408 17028 124 215 0 17190 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 69632 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 20756 /proc/meminfo: memFree=1630392/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=69796 CPUtime=1781.65 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 17177 0 0 0 178135 30 0 0 25 0 1 0 164726288 71471104 17065 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574561 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 17449 17065 124 215 0 17231 0 Current children cumulated CPU time (s) 1781.65 Current children cumulated vsize (KiB) 69796 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.01 1.00 2/78 20756 /proc/meminfo: memFree=1630392/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=69796 CPUtime=1800.05 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 17177 0 0 0 179975 30 0 0 25 0 1 0 164726288 71471104 17065 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134568556 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 17449 17065 124 215 0 17231 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 69796 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.01 1.00 2/78 20756 /proc/meminfo: memFree=1630392/2055920 swapFree=4180512/4192956 [pid=20755] ppid=20753 vsize=69796 CPUtime=1800.05 /proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 17177 0 0 0 179975 30 0 0 25 0 1 0 164726288 71471104 17065 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134568556 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20755/statm: 17449 17065 124 215 0 17231 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 69796 Child status: 10 Real time (s): 1800.73 CPU time (s): 1800.08 CPU user time (s): 1799.76 CPU system time (s): 0.32295 CPU usage (%): 99.964 Max. virtual memory (cumulated for all children) (KiB): 69796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.76 system time used= 0.32295 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17179 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= 119 involuntary context switches= 3287 runsolver used 2.21166 second user time and 4.36534 second system time The end
Begin job on node33 on Sat Apr 21 15:08:28 UTC 2007 IDJOB= 373121 IDBENCH= 25021 IDSOLVER= 156 FILE ID= node33/373121-1177168108 PBS_JOBID= 4648934 Free space on /tmp= 66475 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb COMMAND LINE= /tmp/evaluation/373121-1177168108/minisat+ /tmp/evaluation/373121-1177168108/instance-373121-1177168108.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node33/convwatcher-373121-1177168108 -o ROOT/results/node33/conversion-373121-1177168108 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/373121-1177168108/instance-373121-1177168108.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-373121-1177168108 -o ROOT/results/node33/solver-373121-1177168108 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/373121-1177168108/minisat+ /tmp/evaluation/373121-1177168108/instance-373121-1177168108.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 130be24ef6faf784c5a8bf386cbf11b2 RANDOM SEED= 386705818 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node33.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.272 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.272 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: 1698944 kB Buffers: 40780 kB Cached: 217520 kB SwapCached: 2276 kB Active: 218812 kB Inactive: 84004 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1698944 kB SwapTotal: 4192956 kB SwapFree: 4180512 kB Dirty: 2996 kB Writeback: 0 kB Mapped: 59452 kB Slab: 39396 kB Committed_AS: 1751632 kB PageTables: 1992 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= 66475 MiB End job on node33 on Sat Apr 21 15:38:31 UTC 2007