Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 63201 | 1800.08 | 1800.52 |
Name | normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir09_trarea_ac.opb |
MD5SUM | 457d573eb873a5d33dddcaaf7d992dd1 |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 59847 |
Best CPU time to get the best result obtained on this benchmark | 1800.42 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 3945 |
Total number of constraints | 8604 |
Number of constraints which are clauses | 8604 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 59 |
Number of terms in the objective function | 1872 |
Biggest coefficient in the objective function | 2110 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 3036193 |
Number of bits of the sum of numbers in the objective function | 22 |
Biggest number in a constraint | 2110 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 3036193 |
Number of bits of the biggest sum of numbers | 22 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/433761-1177963380/instance-433761-1177963380.opb 0.00/0.00 c File size is 270841 bytes. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Highest Coefficient sum: 3.03619e+06 0.00/0.05 c Parsing was ok!! 0.00/0.05 c Total parsing time: 0.049 s 0.00/0.05 c Var: 3945 Constr: 8604 8604/0/0 Lit: 22124 Watch. Lit: 17206 0.00/0.05 c Obj. Vars: 1872 (47.4525 % of total variables) 0.10/0.10 c Pre-processing Time: 0.103 s 0.10/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.11 c 0 3777 7190 18848 2 14380 2396 0 0 0.10 0.10/0.11 o 67506 0.107 0.10/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.11 c 0 3777 7191 20718 2 16210 6136 1 0 0.11 0.10/0.11 o 67204 0.111 67.17/67.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 67.17/67.21 c 1 3777 7193 22658 3 18042 6136 3 8 0.11 67.17/67.21 c 102 3777 7294 30176 4 18246 6750 104 662 0.15 67.17/67.21 c 352 3777 7544 48269 6 18746 7426 354 1413 0.25 67.17/67.21 c 827 3777 8019 93164 11 19696 8169 829 1905 0.43 67.17/67.21 c 1640 3777 8832 135021 15 21322 8986 1642 2255 0.73 67.17/67.21 c 2961 3777 10153 224718 22 23966 9885 2963 1904 1.55 67.17/67.21 c 5042 3777 12234 336314 27 28126 10874 5044 2196 2.29 67.17/67.21 c 8265 3777 15457 547877 35 34569 11962 8267 2251 3.67 67.17/67.21 c 13201 3777 13173 480942 36 28174 13159 5983 1993 6.62 67.17/67.21 c 20709 3777 13772 576442 41 29373 14475 6582 1935 10.70 67.17/67.21 c 32070 3777 15636 608850 38 33102 15923 8446 1742 18.40 67.17/67.21 c 49215 3777 22405 1215476 54 46638 17516 15215 1724 28.54 67.17/67.21 c 75034 3777 15950 1037885 65 33729 19268 8760 1127 66.57 67.17/67.22 o 67176 67.197 70.67/70.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 70.67/70.72 c 76888 3777 17805 1185616 66 39266 6136 10615 1144 67.20 70.67/70.72 c 76988 3777 10360 381138 36 22549 6750 3170 1141 67.42 70.67/70.72 c 77238 3777 10610 396051 37 23048 7426 3420 1143 67.54 70.67/70.72 c 77713 3777 11085 420904 37 24000 8169 3895 1147 67.72 70.67/70.72 c 78526 3777 11898 460482 38 25624 8986 4708 1155 67.94 70.67/70.72 c 79846 3777 13218 534490 40 28265 9885 6028 1166 68.42 70.67/70.72 c 81927 3777 15299 674548 44 32427 10874 8109 1179 69.47 70.67/70.72 c 85151 3777 12629 330349 26 27086 11962 5439 1210 70.33 70.67/70.72 o 67089 70.707 172.65/172.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 172.65/172.76 c 86255 3777 13734 388733 28 31126 6136 6544 1219 70.71 172.65/172.76 c 86355 3777 10360 183099 17 22549 6750 3170 1220 70.78 172.65/172.76 c 86605 3777 10610 198636 18 23050 7426 3420 1221 70.88 172.65/172.76 c 87080 3777 11085 226699 20 23999 8169 3895 1225 71.06 172.65/172.76 c 87893 3777 11898 288421 24 25625 8986 4708 1231 71.37 172.65/172.76 c 89213 3777 13218 376507 28 28264 9885 6028 1240 71.91 172.65/172.76 c 91296 3777 15301 494496 32 32431 10874 8111 1255 72.74 172.65/172.76 c 94519 3777 12629 325573 25 27087 11962 5439 1267 74.57 172.65/172.76 c 99455 3777 17565 650421 37 36958 13159 10375 1297 76.63 172.65/172.76 c 106962 3777 16420 692507 42 34669 14475 9230 1328 80.51 172.65/172.76 c 118323 3777 18242 712812 39 38313 15923 11052 1374 86.07 172.65/172.76 c 135467 3777 15154 599981 39 32137 17516 7964 1351 100.20 172.65/172.76 c 161286 3777 18393 688520 37 38615 19268 11203 1311 122.94 172.65/172.76 c 200118 3777 20859 906831 43 43546 21195 13669 1165 171.66 172.65/172.76 o 67058 172.723 173.64/173.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 173.64/173.72 c 202318 3777 23060 1099543 47 49780 6136 15870 1171 172.73 173.64/173.72 c 202418 3777 10360 282628 27 22549 6750 3170 1166 173.57 173.64/173.72 c 202669 3777 10611 299088 28 23050 7426 3421 1166 173.68 173.64/173.72 o 66870 173.682 215.03/215.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 215.03/215.18 c 202671 3777 10614 301042 28 24886 6136 3424 1166 173.68 215.03/215.18 c 202771 3777 10714 305252 28 25087 6750 3524 1167 173.72 215.03/215.18 c 203022 3777 10965 319031 29 25588 7426 3775 1167 173.88 215.03/215.18 c 203497 3777 11440 350052 30 26538 8169 4250 1168 174.11 215.03/215.18 c 204310 3777 12253 398176 32 28164 8986 5063 1171 174.40 215.03/215.18 c 205630 3777 13573 487896 35 30804 9885 6383 1174 175.13 215.03/215.18 c 207711 3777 15654 617278 39 34966 10874 8464 1178 176.29 215.03/215.18 c 210935 3777 12629 340369 26 27087 11962 5439 1186 177.74 215.03/215.18 c 215871 3777 17565 647957 36 36959 13159 10375 1202 179.56 215.03/215.18 c 223377 3777 16221 862460 53 34271 14475 9031 1205 185.25 215.03/215.18 c 234738 3777 18007 845441 46 37843 15923 10817 1221 192.12 215.03/215.18 c 251882 3777 15154 1055985 69 32136 17516 7964 1170 215.11 215.03/215.18 o 65322 215.127 215.23/215.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 215.23/215.37 c 251882 3777 15155 1057855 69 33971 6136 7965 1170 215.13 215.23/215.37 o 65287 215.316 305.41/305.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 305.41/305.55 c 251977 3777 10356 572366 55 24372 6136 3166 1170 215.32 305.41/305.55 c 252078 3777 10457 580653 55 24574 6750 3267 1170 215.38 305.41/305.55 c 252328 3777 10707 598102 55 25076 7426 3517 1170 215.52 305.41/305.55 c 252803 3777 11182 623123 55 26024 8169 3992 1171 215.73 305.41/305.55 c 253616 3777 11995 666912 55 27650 8986 4805 1173 216.09 305.41/305.55 c 254936 3777 13315 739704 55 30290 9885 6125 1176 216.72 305.41/305.55 c 257017 3777 15396 878618 57 34451 10874 8206 1180 217.65 305.41/305.55 c 260240 3777 12629 366869 29 27088 11962 5439 1185 219.55 305.41/305.55 c 265177 3777 17566 710398 40 36961 13159 10376 1197 221.35 305.41/305.55 c 272683 3777 16419 539392 32 34667 14475 9229 1216 224.22 305.41/305.55 c 284045 3777 18325 1137029 62 38479 15923 11135 1220 232.66 305.41/305.55 c 301189 3777 15154 954275 62 32137 17516 7964 1203 250.18 305.41/305.55 c 327008 3777 18153 878296 48 38136 19268 10963 1202 272.00 305.41/305.55 c 365840 3777 20810 718527 34 43450 21195 13620 1257 290.85 305.41/305.55 o 65210 305.474 395.30/395.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 395.30/395.48 c 380871 3777 22368 927359 41 48394 6136 15178 1246 305.48 395.30/395.48 c 380972 3777 10361 228162 22 22551 6750 3171 1241 306.80 395.30/395.48 c 381222 3777 10611 245824 23 23053 7426 3421 1242 306.91 395.30/395.48 c 381697 3777 11086 273399 24 24002 8169 3896 1243 307.06 395.30/395.48 c 382511 3777 11900 351284 29 25630 8986 4710 1243 307.55 395.30/395.48 c 383831 3777 13220 416705 31 28270 9885 6030 1246 307.98 395.30/395.48 c 385912 3777 15301 581602 38 32432 10874 8111 1248 308.98 395.30/395.48 c 389135 3777 12629 464237 36 27088 11962 5439 1254 310.19 395.30/395.48 c 394071 3777 17565 831040 47 36960 13159 10375 1262 312.26 395.30/395.48 c 401577 3777 16528 669863 40 34886 14475 9338 1271 315.94 395.30/395.48 c 412938 3777 18448 755431 40 38726 15923 11258 1281 322.32 395.30/395.48 c 430083 3777 15154 1188346 78 32137 17516 7964 1268 339.01 395.30/395.48 c 455902 3777 19503 1144903 58 40835 19268 12313 1259 361.93 395.30/395.48 c 494735 3777 20642 1020734 49 43113 21195 13452 1251 395.38 395.30/395.48 o 64813 395.388 414.60/414.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 414.60/414.80 c 494744 3777 20652 1023371 49 44963 6136 13462 1251 395.39 414.60/414.80 c 494844 3777 10360 297260 28 22550 6750 3170 1249 395.94 414.60/414.80 c 495094 3777 10610 309937 29 23051 7426 3420 1250 396.00 414.60/414.80 c 495569 3777 11085 336415 30 24000 8169 3895 1250 396.19 414.60/414.80 c 496382 3777 11898 393070 33 25625 8986 4708 1251 396.70 414.60/414.80 c 497702 3777 13218 468448 35 28265 9885 6028 1253 397.10 414.60/414.80 c 499783 3777 15299 613254 40 32428 10874 8109 1255 398.16 414.60/414.80 c 503006 3777 12629 404752 32 27089 11962 5439 1259 399.45 414.60/414.80 c 507943 3777 17566 686381 39 36962 13159 10376 1264 401.67 414.60/414.80 c 515451 3777 16484 564094 34 34797 14475 9294 1273 404.67 414.60/414.80 c 526812 3777 18549 970698 52 38928 15923 11359 1278 412.06 414.60/414.80 o 64735 414.695 510.27/510.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 510.27/510.49 c 530811 3777 22549 1316636 58 48758 6136 15359 1279 414.70 510.27/510.49 c 530912 3777 10361 292653 28 22552 6750 3171 1279 414.91 510.27/510.49 c 531162 3777 10611 306260 28 23051 7426 3421 1279 415.01 510.27/510.49 c 531639 3777 11088 347233 31 24006 8169 3898 1280 415.28 510.27/510.49 c 532452 3777 11901 407481 34 25631 8986 4711 1281 415.56 510.27/510.49 c 533772 3777 13221 486440 36 28271 9885 6031 1282 416.17 510.27/510.49 c 535853 3777 15302 625053 40 32434 10874 8112 1285 416.99 510.27/510.49 c 539076 3777 12629 392546 31 27087 11962 5439 1287 418.67 510.27/510.49 c 544013 3777 17566 776310 44 36961 13159 10376 1292 420.98 510.27/510.49 c 551519 3777 16284 639410 39 34398 14475 9094 1300 424.16 510.27/510.49 c 562880 3777 18182 931018 51 38194 15923 10992 1305 431.21 510.27/510.49 c 580024 3777 15154 1197721 79 32138 17516 7964 1285 451.36 510.27/510.49 c 605843 3777 18185 1031809 56 38199 19268 10995 1274 475.32 510.27/510.49 c 644675 3777 21869 1133673 51 45569 21195 14679 1263 510.14 510.27/510.49 o 64320 510.362 569.85/570.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 569.85/570.07 c 645249 3777 22444 1179551 52 48550 6136 15254 1264 510.37 569.85/570.07 c 645350 3777 10361 253058 24 22553 6750 3171 1262 511.32 569.85/570.07 c 645600 3777 10611 267013 25 23053 7426 3421 1262 511.45 569.85/570.07 c 646075 3777 11086 288864 26 24003 8169 3896 1262 511.59 569.85/570.07 c 646888 3777 11899 337775 28 25629 8986 4709 1263 511.90 569.85/570.07 c 648208 3777 13219 432858 32 28268 9885 6029 1264 512.70 569.85/570.07 c 650290 3777 15301 551049 36 32432 10874 8111 1266 513.35 569.85/570.07 c 653514 3777 12629 335031 26 27088 11962 5439 1270 514.48 569.85/570.07 c 658450 3777 17565 637990 36 36961 13159 10375 1274 516.70 569.85/570.07 c 665956 3777 16265 754442 46 34360 14475 9075 1277 521.42 569.85/570.07 c 677319 3777 18290 705097 38 38410 15923 11100 1286 526.57 569.85/570.07 c 694463 3777 15752 1136082 72 33335 17516 8562 1275 544.57 569.85/570.07 c 720282 3777 19764 1010378 51 41358 19268 12574 1268 567.73 569.85/570.07 o 64318 569.935 1027.63/1027.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1027.63/1027.99 c 724549 3777 24032 1396442 58 51726 6136 16842 1271 569.94 1027.63/1027.99 c 724651 3777 10362 310384 29 22554 6750 3172 1270 570.27 1027.63/1027.99 c 724901 3777 10612 323893 30 23055 7426 3422 1271 570.33 1027.63/1027.99 c 725376 3777 11087 346256 31 24006 8169 3897 1271 570.43 1027.63/1027.99 c 726189 3777 11900 390772 32 25631 8986 4710 1272 570.63 1027.63/1027.99 c 727509 3777 13220 454942 34 28270 9885 6030 1273 571.14 1027.63/1027.99 c 729591 3777 15302 577012 37 32435 10874 8112 1275 572.05 1027.63/1027.99 c 732815 3777 12629 409291 32 27089 11962 5439 1277 573.60 1027.63/1027.99 c 737751 3777 17565 692656 39 36960 13159 10375 1282 575.38 1027.63/1027.99 c 745257 3777 16269 618504 38 34368 14475 9079 1288 578.56 1027.63/1027.99 c 756618 3777 18426 701827 38 38683 15923 11236 1292 585.59 1027.63/1027.99 c 773762 3777 15154 1024520 67 32139 17516 7964 1269 609.29 1027.63/1027.99 c 799581 3777 18852 937189 49 39535 19268 11662 1256 636.55 1027.63/1027.99 c 838413 3777 22104 1126677 50 46039 21195 14914 1257 666.70 1027.63/1027.99 c 896766 3777 27962 2204627 78 57755 23315 20772 1172 764.67 1027.63/1027.99 c 984399 3777 27445 3368913 122 56720 25647 20255 1114 882.97 1027.63/1027.99 c 1115952 3777 26451 1245597 47 54733 28212 19261 1085 1027.70 1027.63/1027.99 o 63569 1027.74 1123.92/1124.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1123.92/1124.29 c 1116017 3777 26517 1253500 47 56695 6136 19327 1085 1027.74 1123.92/1124.29 c 1116117 3777 10360 222515 21 22550 6750 3170 1084 1028.76 1123.92/1124.29 c 1116367 3777 10610 235541 22 23051 7426 3420 1085 1028.86 1123.92/1124.29 c 1116843 3777 11086 259777 23 24003 8169 3896 1085 1029.05 1123.92/1124.29 c 1117657 3777 11900 302030 25 25632 8986 4710 1085 1029.29 1123.92/1124.29 c 1118977 3777 13220 382000 28 28272 9885 6030 1086 1029.84 1123.92/1124.29 c 1121058 3777 15301 532414 34 32433 10874 8111 1087 1031.08 1123.92/1124.29 c 1124281 3777 12629 385865 30 27089 11962 5439 1089 1032.24 1123.92/1124.29 c 1129217 3777 17565 695658 39 36961 13159 10375 1091 1034.14 1123.92/1124.29 c 1136724 3777 16530 874510 52 34891 14475 9340 1094 1038.31 1123.92/1124.29 c 1148086 3777 18542 895736 48 38915 15923 11352 1096 1046.95 1123.92/1124.29 c 1165230 3777 15154 618583 40 32138 17516 7964 1100 1058.92 1123.92/1124.29 c 1191049 3777 18341 1498943 81 38513 19268 11151 1092 1089.80 1123.92/1124.29 c 1229881 3777 22015 1487276 67 45860 21195 14825 1094 1123.99 1123.92/1124.29 o 63504 1124.02 1180.50/1180.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1180.50/1180.80 c 1229927 3777 22062 1492018 67 47786 6136 14872 1094 1124.02 1180.50/1180.80 c 1230028 3777 10361 189996 18 22553 6750 3171 1093 1124.37 1180.50/1180.80 c 1230278 3777 10611 210906 19 23054 7426 3421 1094 1124.53 1180.50/1180.80 c 1230753 3777 11086 239030 21 24003 8169 3896 1094 1124.80 1180.50/1180.80 c 1231566 3777 11899 285613 24 25629 8986 4709 1094 1125.16 1180.50/1180.80 c 1232886 3777 13219 373846 28 28270 9885 6029 1095 1125.58 1180.50/1180.80 c 1234967 3777 15300 485348 31 32430 10874 8110 1096 1126.25 1180.50/1180.80 c 1238191 3777 12629 344689 27 27089 11962 5439 1098 1127.67 1180.50/1180.80 c 1243127 3777 17565 741346 42 36960 13159 10375 1099 1130.52 1180.50/1180.80 c 1250634 3777 16338 1077903 65 34507 14475 9148 1101 1135.68 1180.50/1180.80 c 1261995 3777 18165 1105270 60 38161 15923 10975 1104 1143.07 1180.50/1180.80 c 1279140 3777 15157 975941 64 32146 17516 7967 1103 1159.42 1180.50/1180.80 c 1304959 3777 19073 1264983 66 39977 19268 11883 1105 1180.50 1180.50/1180.80 o 63201 1180.51 1800.06/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.06/1800.50 c 1304959 3777 19074 1266853 66 41810 6136 11884 1105 1180.52 1800.06/1800.50 c 1305059 3777 10360 454918 43 22550 6750 3170 1105 1180.93 1800.06/1800.50 c 1305310 3777 10611 475850 44 23053 7426 3421 1105 1181.02 1800.06/1800.50 c 1305785 3777 11086 504810 45 24004 8169 3896 1105 1181.26 1800.06/1800.50 c 1306598 3777 11899 555019 46 25630 8986 4709 1105 1181.52 1800.06/1800.50 c 1307919 3777 13220 620402 46 28271 9885 6030 1106 1181.98 1800.06/1800.50 c 1310000 3777 15301 727772 47 32434 10874 8111 1107 1182.64 1800.06/1800.50 c 1313223 3777 12629 334741 26 27089 11962 5439 1109 1183.83 1800.06/1800.50 c 1318159 3777 17565 696553 39 36960 13159 10375 1111 1185.87 1800.06/1800.50 c 1325665 3777 16336 599356 36 34502 14475 9146 1115 1188.60 1800.06/1800.50 c 1337026 3777 18368 764982 41 38567 15923 11178 1119 1194.80 1800.06/1800.50 c 1354170 3777 15372 713422 46 32575 17516 8182 1122 1206.77 1800.06/1800.50 c 1379989 3777 19642 1105210 56 41115 19268 12452 1127 1223.45 1800.06/1800.50 c 1418822 3777 21811 1378546 63 45454 21195 14621 1121 1265.13 1800.06/1800.50 c 1477174 3777 26783 1277120 47 55397 23315 19593 1112 1328.36 1800.06/1800.50 c 1564806 3777 29155 1343581 46 60143 25647 21965 1115 1403.16 1800.06/1800.50 c 1696358 3777 19571 1520272 77 40974 28212 12381 1064 1592.87 1800.06/1800.50 c Caught signal: 15 1800.06/1800.50 v -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 1800.06/1800.50 v -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 1800.06/1800.50 v -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 1800.06/1800.50 v -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 1800.06/1800.50 v -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 1800.06/1800.50 v -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 x468 1800.06/1800.50 v -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 1800.06/1800.50 v -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 1800.06/1800.50 v -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 1800.06/1800.50 v -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 1800.06/1800.50 v -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 x671 -x673 -x675 -x677 1800.06/1800.50 v -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 1800.06/1800.50 v -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 1800.06/1800.50 v -x763 -x765 -x767 -x769 -x771 -x773 x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x798 -x800 -x802 1800.06/1800.50 v -x804 -x806 -x808 -x810 -x812 x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 1800.06/1800.50 v -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 1800.06/1800.50 v -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 1800.06/1800.50 v -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 1800.06/1800.50 v -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 1800.06/1800.50 v -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 1800.06/1800.50 v -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 1800.06/1800.50 v -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 1800.06/1800.50 v -x1114 -x1116 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 1800.06/1800.50 v x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 1800.06/1800.50 v -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 x1203 -x1205 -x1207 -x1209 -x1211 -x1213 1800.06/1800.50 v -x1215 -x1217 -x1219 -x1221 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 1800.06/1800.50 v -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 1800.06/1800.50 v -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 1800.06/1800.50 v -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 1800.06/1800.50 v -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 x1376 -x1378 -x1380 -x1382 1800.06/1800.50 v -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 1800.06/1800.50 v -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 1800.06/1800.50 v -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 1800.06/1800.50 v -x1486 -x1488 -x1490 x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 1800.06/1800.50 v -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 1800.06/1800.50 v -x1554 -x1556 -x1558 x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 1800.06/1800.50 v -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 1800.06/1800.50 v -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 x1646 -x1648 -x1650 -x1652 -x1654 1800.06/1800.50 v -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 1800.06/1800.50 v -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 1800.06/1800.50 v -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 1800.06/1800.50 v x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 1800.06/1800.50 v -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 1800.06/1800.50 v -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 1800.06/1800.50 v -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 1800.06/1800.50 v -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 1800.06/1800.50 v -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 1800.06/1800.50 v -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 1800.06/1800.50 v -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 1800.06/1800.50 v -x2030 -x2032 -x2034 -x2036 -x2038 x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 1800.06/1800.50 v -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 1800.06/1800.50 v -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 1800.06/1800.50 v -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 1800.06/1800.50 v -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 1800.06/1800.50 v -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 1800.06/1800.50 v -x2234 x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 1800.06/1800.50 v -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 1800.06/1800.50 v -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 1800.06/1800.50 v -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 1800.06/1800.50 v -x2370 -x2372 -x2374 -x2376 -x2378 x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 1800.06/1800.50 v -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 1800.06/1800.50 v -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 1800.06/1800.50 v -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 x2504 1800.06/1800.50 v -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 1800.06/1800.50 v -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 1800.06/1800.50 v -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 1800.06/1800.50 v -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 1800.06/1800.50 v -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 1800.06/1800.50 v -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 1800.06/1800.50 v -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 1800.06/1800.50 v -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 1800.06/1800.50 v -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 1800.06/1800.50 v -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 1800.06/1800.50 v -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 1800.06/1800.50 v -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 1800.06/1800.50 v -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 1800.06/1800.50 v -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 1800.06/1800.50 v -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 1800.06/1800.50 v -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 1800.06/1800.50 v -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 1800.06/1800.50 v -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114 1800.06/1800.50 v -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 1800.06/1800.50 v -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 1800.06/1800.50 v -x3184 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 1800.06/1800.50 v -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 1800.06/1800.50 v -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 1800.06/1800.50 v -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 x3313 -x3315 -x3317 1800.06/1800.50 v x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 1800.06/1800.50 v -x3353 -x3355 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 1800.06/1800.50 v -x3387 -x3389 -x3391 -x3393 x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 1800.06/1800.50 v -x3421 -x3423 -x3425 -x3427 -x3429 -x3431 -x3433 x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 1800.06/1800.50 v -x3455 -x3457 -x3459 -x3461 -x3463 x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3487 1800.06/1800.50 v -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 1800.06/1800.50 v -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 1800.06/1800.50 v -x3557 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 1800.06/1800.50 v -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 x3617 -x3619 -x3621 1800.06/1800.50 v -x3623 -x3625 -x3627 -x3629 x3631 -x3633 -x3635 -x3637 x3639 -x3641 -x3643 x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 1800.06/1800.50 v -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 1800.06/1800.50 v -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3719 -x3721 -x3722 1800.06/1800.50 v -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 -x3738 -x3740 -x3742 x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 1800.06/1800.50 v -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x3781 -x3783 -x3784 -x3785 -x3787 1800.06/1800.50 v -x3789 -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 1800.06/1800.50 v -x3823 -x3825 -x3827 x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 x3853 -x3855 -x3857 1800.06/1800.50 v -x3859 -x3861 -x3863 x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 1800.06/1800.50 v -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 x3905 x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 1800.06/1800.50 v x3929 -x3931 -x3933 -x3935 x3937 -x3939 -x3941 -x3943 -x3945 -x217 -x1 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x2 -x233 1800.06/1800.50 v -x235 -x237 -x3 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x4 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x271 1800.06/1800.50 v -x273 -x275 -x277 -x279 -x281 -x283 x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 1800.06/1800.50 v -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x5 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x6 -x351 1800.06/1800.50 v -x353 -x355 -x357 -x359 -x361 -x363 -x7 -x365 -x367 -x369 -x8 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x9 -x385 -x387 -x389 1800.06/1800.50 v -x10 -x391 -x393 -x395 -x11 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x12 -x411 -x413 -x415 -x13 -x417 -x419 -x421 -x14 -x423 1800.06/1800.50 v -x425 -x427 -x15 -x429 -x16 -x431 -x17 -x433 -x435 -x437 -x18 -x439 -x441 -x443 -x19 -x445 -x447 -x449 -x451 -x453 -x455 -x457 1800.06/1800.50 v -x459 -x461 -x463 -x465 x467 -x469 -x471 -x20 -x473 -x475 -x477 -x21 -x479 -x481 -x483 -x22 -x485 -x487 -x489 -x491 -x493 1800.06/1800.50 v -x495 -x497 -x23 -x499 -x501 -x503 -x24 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x25 -x527 -x529 1800.06/1800.50 v -x531 -x533 -x536 -x538 -x26 -x540 -x542 -x544 -x27 -x546 -x548 -x550 -x28 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x29 1800.06/1800.50 v -x566 -x568 -x570 -x30 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x31 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 1800.06/1800.50 v -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 1800.06/1800.50 v -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 x670 -x672 -x674 -x676 -x32 -x678 -x680 -x682 -x684 1800.06/1800.50 v -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x33 -x700 -x702 -x704 -x706 -x708 -x34 -x710 -x712 -x714 -x716 -x718 -x720 -x722 1800.06/1800.50 v -x724 -x726 -x728 -x730 -x35 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 1800.06/1800.50 v -x764 -x766 -x768 -x770 -x772 x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x799 -x801 -x803 -x805 1800.06/1800.50 v -x807 -x809 -x811 x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 1800.06/1800.50 v -x849 -x851 -x853 -x855 -x857 -x859 -x36 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 1800.06/1800.50 v -x889 -x37 -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 x907 -x909 -x38 -x911 -x913 -x915 -x39 -x917 -x919 -x921 -x923 1800.06/1800.50 v -x925 -x927 -x929 -x40 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 x955 -x957 -x959 -x961 -x963 1800.06/1800.50 v -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 1800.06/1800.50 v -x1005 -x1007 -x1009 -x1011 -x1013 -x41 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x42 -x1029 -x1031 -x1033 -x1035 1800.06/1800.50 v -x1037 -x1039 -x1041 -x43 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x44 -x1057 -x1059 -x1061 -x45 -x1063 -x1065 1800.06/1800.50 v -x1067 -x46 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x47 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x48 1800.06/1800.50 v -x1097 -x1099 -x1101 -x49 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1118 -x1120 -x1122 -x50 -x1124 -x1126 -x1128 1800.06/1800.50 v -x51 -x1130 -x1132 -x1134 -x52 -x1136 -x1138 -x1140 -x53 -x1142 -x1144 x1146 x54 -x1148 -x55 -x1150 -x56 -x1152 -x1154 -x1156 1800.06/1800.50 v -x57 -x1158 -x1160 -x1162 -x58 -x1164 -x1166 -x1168 -x59 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x60 -x1184 -x1186 1800.06/1800.50 v -x1188 -x1190 -x1192 -x1194 -x1196 -x61 -x1198 -x1200 x1202 x62 -x1204 -x1206 -x1208 -x63 -x1210 -x1212 -x1214 -x1216 -x1218 1800.06/1800.50 v -x1220 -x64 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x65 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x66 1800.06/1800.50 v -x1251 -x1253 -x1255 -x67 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x68 -x1279 -x1281 1800.06/1800.50 v -x1283 -x1285 -x1287 -x69 -x1289 -x1291 -x1293 -x1295 -x1297 -x70 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 1800.06/1800.50 v -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 1800.06/1800.50 v -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 x1375 -x1377 -x1379 -x1381 1800.06/1800.50 v -x71 -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x72 -x1413 1800.06/1800.50 v -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 1800.06/1800.50 v -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 1800.06/1800.50 v -x1483 -x1485 -x1487 -x1489 x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x73 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 1800.06/1800.50 v -x1517 -x74 -x1519 -x1521 -x1523 -x75 -x1525 -x1527 -x1529 x76 -x1531 x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x77 -x1545 1800.06/1800.50 v -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 1800.06/1800.50 v -x78 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x79 -x1595 -x1597 -x1599 -x80 -x1601 -x1603 -x1605 -x81 -x1607 -x1609 1800.06/1800.50 v -x1611 -x1613 -x1615 -x1617 -x1619 -x82 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x83 -x1635 -x1637 -x1639 -x84 1800.06/1800.50 v -x1641 -x1643 x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x85 -x1669 -x1671 -x1673 1800.06/1800.50 v -x86 -x1675 -x1677 -x1679 -x87 -x1681 -x1683 -x1685 -x88 -x1687 -x89 -x1689 -x90 -x1691 -x1693 -x1695 -x91 -x1697 -x1699 1800.06/1800.50 v -x1701 -x92 -x1703 -x1705 -x1707 -x93 -x1709 -x1711 -x1713 -x94 -x1715 -x1717 -x1719 -x95 -x1721 -x1723 -x1725 -x96 -x1727 1800.06/1800.50 v -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x97 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 x98 -x1755 x1757 -x1759 1800.06/1800.50 v -x1761 -x1763 -x1765 -x1767 -x99 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x100 -x1781 -x1783 -x1785 -x101 -x1787 -x1789 1800.06/1800.50 v -x1791 -x102 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x103 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 1800.06/1800.50 v -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x104 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 1800.06/1800.50 v -x1855 -x1857 -x105 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x106 -x1881 -x1883 -x1885 1800.06/1800.50 v -x1887 -x1889 -x107 -x1891 -x1893 -x1895 -x1897 -x1899 -x108 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 1800.06/1800.50 v -x1919 -x1921 -x109 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x110 -x1945 -x1947 -x1949 1800.06/1800.50 v -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 1800.06/1800.50 v -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 x2007 -x2009 -x2011 -x2013 -x2015 -x2017 1800.06/1800.50 v -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 1800.06/1800.50 v -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 1800.06/1800.50 v -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x111 -x2115 -x2117 1800.06/1800.50 v -x2119 -x2121 -x2123 -x2125 -x2127 -x112 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x113 -x2143 -x2145 -x2147 -x2149 1800.06/1800.50 v -x2151 -x2153 -x2155 -x2157 -x2159 -x2161 -x2163 -x114 -x2165 -x2167 -x2169 -x115 -x2171 -x2173 -x2175 x116 x2177 -x2179 1800.06/1800.50 v -x2181 -x2183 -x2185 -x2187 -x2189 -x117 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x118 -x2205 -x2207 -x2209 -x2211 1800.06/1800.50 v -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 x2235 -x2237 -x2239 -x2241 -x2243 -x2245 1800.06/1800.50 v -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 1800.06/1800.50 v -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x119 -x2305 -x2307 -x2309 -x2311 1800.06/1800.50 v -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x120 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 1800.06/1800.50 v -x2345 -x2347 -x121 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x122 -x2371 -x2373 -x2375 1800.06/1800.50 v x123 -x2377 x2379 -x2381 -x124 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x125 -x2397 -x2399 -x2401 -x2403 -x2405 1800.06/1800.50 v -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x126 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 1800.06/1800.50 v -x2439 -x127 -x2441 -x2443 -x128 -x2445 -x2447 -x2449 -x129 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 1800.06/1800.50 v -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x130 -x2481 -x2483 -x2485 -x131 -x2487 -x2489 -x2491 -x132 -x2493 -x2495 -x2497 1800.06/1800.50 v -x2499 -x2501 -x133 x2503 x134 -x2505 -x135 -x2507 -x2509 -x2511 -x2513 -x2515 -x136 -x2517 -x2519 -x2521 -x137 -x2523 1800.06/1800.50 v -x2525 -x2527 -x138 -x2529 -x2531 -x2533 -x139 -x2535 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 1800.06/1800.50 v -x2557 -x2559 -x2561 -x2563 -x140 -x2565 -x2567 -x2569 -x141 -x2571 -x2573 -x2575 -x142 -x2577 -x2579 -x2581 -x2583 -x2585 1800.06/1800.50 v -x2587 -x2589 -x143 -x2591 -x2593 -x2595 -x144 -x2597 -x2599 -x2601 -x145 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 1800.06/1800.50 v -x2617 -x2619 -x2621 x2623 -x2625 -x2627 -x2629 -x146 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x147 -x2645 -x2647 1800.06/1800.50 v -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 1800.06/1800.50 v -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 1800.06/1800.50 v -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 1800.06/1800.50 v -x2752 x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x148 -x2784 1800.06/1800.50 v -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x149 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 1800.06/1800.50 v -x2818 -x2820 -x2822 -x2824 -x2826 -x150 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 1800.06/1800.50 v -x2850 -x2852 -x2854 -x2856 -x2858 -x2860 -x151 -x2862 -x2864 -x2866 -x2868 -x2870 -x152 -x2872 -x2874 -x2876 -x2878 -x2880 1800.06/1800.50 v -x153 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x154 -x2904 -x2906 -x2908 -x2910 -x2912 1800.06/1800.50 v -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x155 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 1800.06/1800.50 v -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 1800.06/1800.50 v -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 1800.06/1800.50 v -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 1800.06/1800.50 v -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x156 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 1800.06/1800.50 v -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x157 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 1800.06/1800.50 v -x3113 -x3115 -x3117 -x3119 -x3121 -x3123 -x158 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x3137 -x159 -x3139 -x3141 -x3143 1800.06/1800.50 v -x3145 -x3147 -x3149 -x3151 -x160 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x161 -x3175 1800.06/1800.50 v -x3177 -x3179 -x162 -x3181 -x3183 -x163 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x164 1800.06/1800.50 v -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x165 -x3230 -x3232 -x3234 -x166 -x3236 -x3238 1800.06/1800.50 v -x3240 -x167 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 1800.06/1800.50 v -x168 -x3272 -x3274 -x3276 -x169 -x3278 -x3280 -x3282 -x170 -x3284 -x3286 -x3288 -x171 -x3290 -x3292 -x3294 -x3296 -x3298 1800.06/1800.50 v -x172 -x3300 -x173 -x3302 -x174 -x3304 -x3306 -x3308 x175 -x3310 x3312 -x3314 x176 -x3316 x3318 -x3320 -x177 -x3322 -x3324 1800.06/1800.50 v -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x178 -x3352 -x3354 -x3356 1800.06/1800.50 v -x179 -x3358 -x3360 -x3362 -x180 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 1800.06/1800.50 v -x3390 -x3392 x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x181 -x3420 -x3422 1800.06/1800.50 v -x3424 -x3426 -x3428 -x3430 -x3432 x3434 -x3436 -x3438 -x182 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 1800.06/1800.50 v -x3458 -x3460 -x3462 x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x3488 -x3490 1800.06/1800.50 v -x183 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 -x3520 -x184 -x3522 1800.06/1800.50 v -x3524 -x3526 -x185 -x3528 -x3530 -x3532 -x186 -x3534 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x3554 1800.06/1800.50 v -x3556 -x3559 -x3561 -x187 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 1800.06/1800.50 v -x3590 -x188 -x3592 -x3594 -x189 -x3596 -x3598 -x3600 -x190 -x3602 -x3604 -x3606 -x191 -x3608 -x3610 -x3612 -x3614 x3616 1800.06/1800.50 v x192 -x3618 -x193 -x3620 -x194 -x3622 -x3624 -x3626 -x3628 x3630 -x3632 -x3634 -x3636 x3638 -x3640 -x3642 x3644 -x3646 1800.06/1800.50 v -x3648 -x195 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 -x3677 -x3679 1800.06/1800.50 v -x3681 -x3683 -x3685 -x196 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 1800.06/1800.50 v -x3713 -x3715 -x3717 -x3720 -x3723 -x3725 -x197 -x3727 -x3729 -x3731 -x3733 -x3735 x198 -x3737 -x3739 -x3741 x3743 -x3745 1800.06/1800.50 v -x199 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 1800.06/1800.50 v -x3779 -x3782 -x200 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 -x3812 1800.06/1800.50 v -x3814 -x3816 -x3818 -x3820 -x3822 -x201 -x3824 -x3826 x3828 -x3830 -x3832 -x3834 -x202 -x3836 -x3838 -x3840 -x203 -x3842 1800.06/1800.50 v -x3844 -x3846 -x3848 -x3850 -x204 x3852 x205 -x3854 -x206 -x3856 -x3858 -x3860 -x3862 x3864 -x3866 -x3868 -x3870 -x207 1800.06/1800.50 v -x3872 -x3874 -x3876 -x3878 -x3880 -x208 -x3882 -x3884 -x3886 -x3888 -x3890 -x209 -x3892 -x3894 -x210 -x3896 -x3898 -x3900 1800.06/1800.50 v -x3902 x3904 x3906 -x3908 -x211 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926 x3928 -x3930 -x3932 -x3934 1800.06/1800.50 v x3936 x212 -x3938 -x213 -x3940 -x214 -x3942 -x215 -x3944 x216 1800.06/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.06/1800.50 c 179 1861106 1233618 8195400 31786 2425279 24596 1033 1800.07 1800.06/1800.50 c Objective: 63201 1800.06/1800.50 s SATISFIABLE 1800.06/1800.50 c Total time: 1800.07 s
OK 63201
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node51/watcher-433761-1177963380 -o ROOT/results/node51/solver-433761-1177963380 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433761-1177963380/instance-433761-1177963380.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.93 3/64 15608 /proc/meminfo: memFree=1861176/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=12004 CPUtime=0 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 151183163 12292096 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 3001 333 279 324 0 2004 0 [startup+0.104871 s] /proc/loadavg: 0.99 0.97 0.93 3/64 15608 /proc/meminfo: memFree=1861176/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=5904 CPUtime=0.1 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 955 0 0 0 9 1 0 0 18 0 1 0 151183163 6045696 854 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 1476 854 305 324 0 546 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 5904 [startup+0.201877 s] /proc/loadavg: 0.99 0.97 0.93 3/64 15608 /proc/meminfo: memFree=1861176/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=6160 CPUtime=0.19 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 1002 0 0 0 18 1 0 0 18 0 1 0 151183163 6307840 901 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 1540 901 311 324 0 610 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 6160 [startup+0.301885 s] /proc/loadavg: 0.99 0.97 0.93 3/64 15608 /proc/meminfo: memFree=1861176/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=6424 CPUtime=0.29 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 1065 0 0 0 28 1 0 0 19 0 1 0 151183163 6578176 964 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 1606 964 311 324 0 676 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6424 [startup+0.701922 s] /proc/loadavg: 0.99 0.97 0.93 3/64 15608 /proc/meminfo: memFree=1861176/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=7452 CPUtime=0.69 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 1323 0 0 0 68 1 0 0 22 0 1 0 151183163 7630848 1222 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3053179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 1863 1222 311 324 0 933 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7452 [startup+1.50199 s] /proc/loadavg: 0.99 0.97 0.93 2/65 15609 /proc/meminfo: memFree=1856880/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=8748 CPUtime=1.49 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 1645 0 0 0 148 1 0 0 25 0 1 0 151183163 8957952 1544 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3053179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 2187 1544 311 324 0 1257 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8748 [startup+3.10114 s] /proc/loadavg: 0.99 0.97 0.93 2/65 15609 /proc/meminfo: memFree=1854512/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=12424 CPUtime=3.09 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 2572 0 0 0 308 1 0 0 25 0 1 0 151183163 12722176 2471 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3053179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 3106 2471 311 324 0 2176 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12424 [startup+6.30143 s] /proc/loadavg: 0.99 0.97 0.93 2/65 15609 /proc/meminfo: memFree=1847280/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=18552 CPUtime=6.29 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 4120 0 0 0 627 2 0 0 25 0 1 0 151183163 18997248 4019 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572603 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 4638 4019 311 324 0 3708 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18552 [startup+12.702 s] /proc/loadavg: 0.99 0.97 0.93 2/65 15609 /proc/meminfo: memFree=1843312/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=21280 CPUtime=12.69 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 4801 0 0 0 1266 3 0 0 25 0 1 0 151183163 21790720 4700 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3047501 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 5320 4700 311 324 0 4390 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21280 [startup+25.5012 s] /proc/loadavg: 0.99 0.97 0.93 2/65 15609 /proc/meminfo: memFree=1839536/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=25116 CPUtime=25.48 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 5753 0 0 0 2545 3 0 0 25 0 1 0 151183163 25718784 5652 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3051644 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 6279 5652 311 324 0 5349 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 25116 [startup+51.1015 s] /proc/loadavg: 0.99 0.97 0.93 2/65 15609 /proc/meminfo: memFree=1823536/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=41016 CPUtime=51.07 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 9731 0 0 0 5102 5 0 0 25 0 1 0 151183163 42000384 9630 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 10254 9630 311 324 0 9324 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 41016 [startup+102.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 15609 /proc/meminfo: memFree=1823792/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=40664 CPUtime=102.27 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 9731 0 0 0 10222 5 0 0 25 0 1 0 151183163 41639936 9554 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 10166 9554 311 324 0 9236 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 40664 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 15609 /proc/meminfo: memFree=1823792/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=40672 CPUtime=162.25 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 9733 0 0 0 16220 5 0 0 25 0 1 0 151183163 41648128 9556 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 10168 9556 311 324 0 9238 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 40672 [startup+222.306 s] /proc/loadavg: 0.99 0.97 0.93 2/65 15609 /proc/meminfo: memFree=1823792/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=40672 CPUtime=222.24 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 9733 0 0 0 22219 5 0 0 25 0 1 0 151183163 41648128 9556 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572615 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 10168 9556 311 324 0 9238 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 40672 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 15609 /proc/meminfo: memFree=1823792/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=40672 CPUtime=282.22 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 9733 0 0 0 28217 5 0 0 25 0 1 0 151183163 41648128 9556 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546173 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 10168 9556 311 324 0 9238 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 40672 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.93 2/65 15609 /proc/meminfo: memFree=1823792/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=40680 CPUtime=342.21 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 9735 0 0 0 34215 6 0 0 25 0 1 0 151183163 41656320 9558 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 10170 9558 311 324 0 9240 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 40680 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.93 2/65 15609 /proc/meminfo: memFree=1823728/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=40680 CPUtime=402.2 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 9735 0 0 0 40214 6 0 0 25 0 1 0 151183163 41656320 9558 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 10170 9558 311 324 0 9240 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 40680 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 15611 /proc/meminfo: memFree=1823600/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=40680 CPUtime=462.18 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 9735 0 0 0 46212 6 0 0 25 0 1 0 151183163 41656320 9558 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550808 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 10170 9558 311 324 0 9240 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 40680 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.93 2/65 15611 /proc/meminfo: memFree=1823664/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=40680 CPUtime=522.16 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 9735 0 0 0 52210 6 0 0 25 0 1 0 151183163 41656320 9558 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 10170 9558 311 324 0 9240 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 40680 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 15611 /proc/meminfo: memFree=1823728/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=40628 CPUtime=582.15 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 9735 0 0 0 58209 6 0 0 25 0 1 0 151183163 41603072 9545 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 10157 9545 311 324 0 9227 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 40628 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.93 2/65 15611 /proc/meminfo: memFree=1823728/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=40628 CPUtime=642.14 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 9735 0 0 0 64208 6 0 0 25 0 1 0 151183163 41603072 9545 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091745 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 10157 9545 311 324 0 9227 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 40628 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.06 0.99 0.93 2/65 15611 /proc/meminfo: memFree=1821488/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=42956 CPUtime=822.09 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 10315 0 0 0 82203 6 0 0 25 0 1 0 151183163 43986944 10125 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 10739 10125 311 324 0 9809 0 Current children cumulated CPU time (s) 822.09 Current children cumulated vsize (KiB) 42956 [startup+882.305 s] /proc/loadavg: 1.14 1.02 0.94 2/65 15611 /proc/meminfo: memFree=1805296/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=59080 CPUtime=882.07 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 14341 0 0 0 88197 10 0 0 25 0 1 0 151183163 60497920 14151 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 14770 14151 311 324 0 13840 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 59080 [startup+942.302 s] /proc/loadavg: 1.05 1.01 0.94 2/65 15611 /proc/meminfo: memFree=1805360/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=59060 CPUtime=942.06 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 14343 0 0 0 94196 10 0 0 25 0 1 0 151183163 60477440 14153 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 14765 14153 311 324 0 13835 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 59060 [startup+1002.3 s] /proc/loadavg: 1.02 1.01 0.94 2/65 15611 /proc/meminfo: memFree=1805360/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=59060 CPUtime=1002.04 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 14343 0 0 0 100194 10 0 0 25 0 1 0 151183163 60477440 14153 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 14765 14153 311 324 0 13835 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 59060 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 15611 /proc/meminfo: memFree=1806896/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=57368 CPUtime=1062.03 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 14343 0 0 0 106193 10 0 0 25 0 1 0 151183163 58744832 13730 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 14342 13730 311 324 0 13412 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 57368 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 15611 /proc/meminfo: memFree=1806960/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=57368 CPUtime=1122.01 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 14343 0 0 0 112191 10 0 0 25 0 1 0 151183163 58744832 13730 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 14342 13730 311 324 0 13412 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 57368 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 15611 /proc/meminfo: memFree=1806960/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=57368 CPUtime=1182 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 14343 0 0 0 118190 10 0 0 25 0 1 0 151183163 58744832 13730 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3051028 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 14342 13730 311 324 0 13412 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 57368 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 15611 /proc/meminfo: memFree=1807024/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=57364 CPUtime=1241.98 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 14343 0 0 0 124188 10 0 0 25 0 1 0 151183163 58740736 13729 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551383 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 14341 13729 311 324 0 13411 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 57364 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 15611 /proc/meminfo: memFree=1806960/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=57364 CPUtime=1301.97 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 14343 0 0 0 130187 10 0 0 25 0 1 0 151183163 58740736 13729 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 14341 13729 311 324 0 13411 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 57364 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 15611 /proc/meminfo: memFree=1806960/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=57364 CPUtime=1361.95 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 14343 0 0 0 136185 10 0 0 25 0 1 0 151183163 58740736 13729 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 14341 13729 311 324 0 13411 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 57364 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 15611 /proc/meminfo: memFree=1806960/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=57364 CPUtime=1421.94 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 14343 0 0 0 142184 10 0 0 25 0 1 0 151183163 58740736 13729 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 14341 13729 311 324 0 13411 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 57364 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 15611 /proc/meminfo: memFree=1806896/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=57364 CPUtime=1481.93 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 14343 0 0 0 148183 10 0 0 25 0 1 0 151183163 58740736 13729 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 14341 13729 311 324 0 13411 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 57364 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 15611 /proc/meminfo: memFree=1806896/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=57364 CPUtime=1541.91 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 14343 0 0 0 154181 10 0 0 25 0 1 0 151183163 58740736 13729 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 14341 13729 311 324 0 13411 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 57364 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 15611 /proc/meminfo: memFree=1802416/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=61852 CPUtime=1601.9 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 15459 0 0 0 160179 11 0 0 25 0 1 0 151183163 63336448 14845 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 15463 14845 311 324 0 14533 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 61852 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 15611 /proc/meminfo: memFree=1802352/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=61844 CPUtime=1661.88 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 15461 0 0 0 166177 11 0 0 25 0 1 0 151183163 63328256 14847 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 15461 14847 311 324 0 14531 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 61844 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 15611 /proc/meminfo: memFree=1802416/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=61844 CPUtime=1721.87 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 15461 0 0 0 172176 11 0 0 25 0 1 0 151183163 63328256 14847 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 15461 14847 311 324 0 14531 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 61844 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 15611 /proc/meminfo: memFree=1802352/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=61844 CPUtime=1781.86 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 15461 0 0 0 178174 12 0 0 25 0 1 0 151183163 63328256 14847 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 15461 14847 311 324 0 14531 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 61844 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.94 2/65 15611 /proc/meminfo: memFree=1802416/2055920 swapFree=4183264/4192956 [pid=15608] ppid=15606 vsize=61844 CPUtime=1800.06 /proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 15461 0 0 0 179994 12 0 0 25 0 1 0 151183163 63328256 14847 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15608/statm: 15461 14847 311 324 0 14531 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 61844 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.52 CPU time (s): 1800.08 CPU user time (s): 1799.95 CPU system time (s): 0.132979 CPU usage (%): 99.9754 Max. virtual memory (cumulated for all children) (KiB): 61860 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.95 system time used= 0.132979 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15465 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= 12 involuntary context switches= 2067 runsolver used 1.39879 second user time and 3.52646 second system time The end
Begin job on node51 on Mon Apr 30 20:03:00 UTC 2007 IDJOB= 433761 IDBENCH= 25048 IDSOLVER= 199 FILE ID= node51/433761-1177963380 PBS_JOBID= 4727685 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir09_trarea_ac.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433761-1177963380/instance-433761-1177963380.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-433761-1177963380 -o ROOT/results/node51/solver-433761-1177963380 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433761-1177963380/instance-433761-1177963380.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 457d573eb873a5d33dddcaaf7d992dd1 RANDOM SEED= 559458836 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node51.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.223 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.223 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: 1861648 kB Buffers: 12684 kB Cached: 107524 kB SwapCached: 3552 kB Active: 62564 kB Inactive: 69236 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1861648 kB SwapTotal: 4192956 kB SwapFree: 4183264 kB Dirty: 6852 kB Writeback: 0 kB Mapped: 17500 kB Slab: 48508 kB Committed_AS: 3932584 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node51 on Mon Apr 30 20:33:03 UTC 2007