Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | 32 | 1800.12 | 1800.93 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_022_area_delay.opb |
MD5SUM | 8e8463c13e61e1a22058cdf603119640 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 26 |
Best CPU time to get the best result obtained on this benchmark | 273.442 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 26 |
Optimality of the best value was proved | YES |
Number of variables | 7926 |
Total number of constraints | 23835 |
Number of constraints which are clauses | 23835 |
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 | 127 |
Number of terms in the objective function | 3885 |
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 | 3885 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 3885 |
Number of bits of the biggest sum of numbers | 12 |
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.69/0.71 c Converting 23218 PB-constraints to clauses... 0.69/0.72 c -- Unit propagations: ppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp 0.69/0.73 c -- Detecting intervals from adjacent constraints: ######### 0.69/0.73 c -- Clauses(.)/Splits(s): .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. 0.69/0.78 c ---[22447]---> BDD-cost: 1 0.69/0.78 c ---[20908]---> BDD-cost: 1 0.69/0.78 c ---[20079]---> BDD-cost: 1 0.69/0.78 c ---[19779]---> BDD-cost: 1 0.69/0.78 c ---[19620]---> BDD-cost: 1 0.69/0.78 c ---[19569]---> BDD-cost: 1 0.69/0.78 c ---[19552]---> BDD-cost: 1 0.69/0.78 c ---[19549]---> BDD-cost: 1 0.69/0.78 c ---[19547]---> BDD-cost: 1 0.69/0.79 c ==================================[MINISAT+]================================== 0.69/0.79 c | Conflicts | Original | Learnt | Progress | 0.69/0.79 c | | Clauses Literals | Max Clauses Literals LPC | | 0.69/0.79 c ============================================================================== 0.69/0.79 c | 0 | 20676 49734 | 6892 0 0 nan | 0.000 % | 0.69/0.79 c ============================================================================== 0.69/0.79 c [1mFound solution: 37[0m 0.69/0.79 o 37 0.79/0.83 c ---[ 0]---> Adder-cost: 6526 maxlim: 3231 bits: 12/12 7.88/7.92 c ==================================[MINISAT+]================================== 7.88/7.92 c | Conflicts | Original | Learnt | Progress | 7.88/7.92 c | | Clauses Literals | Max Clauses Literals LPC | | 7.88/7.92 c ============================================================================== 7.88/7.92 c | 15 | 66270 212542 | 22090 15 143 9.5 | 0.000 % | 7.88/7.93 c | 115 | 66263 212519 | 24299 114 457 4.0 | 8.555 % | 7.98/8.02 c | 265 | 65972 211515 | 26728 227 834 3.7 | 8.929 % | 8.08/8.10 c | 490 | 65936 211391 | 29401 447 1561 3.5 | 8.977 % | 8.28/8.33 c | 827 | 65676 210482 | 32341 745 2747 3.7 | 9.288 % | 8.58/8.67 c | 1333 | 65600 210230 | 35576 1239 4722 3.8 | 9.385 % | 9.08/9.10 c | 2092 | 65584 210178 | 39133 1995 10465 5.2 | 9.406 % | 9.49/9.58 c | 3231 | 65575 210147 | 43047 3131 40586 13.0 | 9.413 % | 10.19/10.26 c | 4939 | 65575 210147 | 47351 4839 141268 29.2 | 9.413 % | 11.08/11.16 c | 7501 | 65575 210147 | 52087 7401 484491 65.5 | 9.413 % | 13.19/13.23 c | 11345 | 65575 210147 | 57295 11245 1035034 92.0 | 9.413 % | 15.68/15.71 c | 17111 | 65575 210147 | 63025 17011 1904446 112.0 | 9.413 % | 21.18/21.26 c | 25760 | 65575 210147 | 69327 25660 3750157 146.1 | 9.413 % | 31.08/31.12 c | 38734 | 65575 210147 | 76260 38634 6023451 155.9 | 9.413 % | 34.08/34.11 c ============================================================================== 34.08/34.11 c [1mFound solution: 36[0m 34.08/34.11 o 36 34.08/34.15 c ---[ 0]---> Adder-cost: 0 maxlim: 3232 bits: 12/12 41.17/41.27 c ==================================[MINISAT+]================================== 41.17/41.27 c | Conflicts | Original | Learnt | Progress | 41.17/41.27 c | | Clauses Literals | Max Clauses Literals LPC | | 41.17/41.27 c ============================================================================== 41.17/41.27 c | 42040 | 65590 210201 | 21863 41940 6603005 157.4 | 9.413 % | 41.37/41.42 c | 42141 | 65590 210201 | 24049 16676 2234639 134.0 | 9.416 % | 41.47/41.51 c | 42292 | 65590 210201 | 26454 16827 2239237 133.1 | 9.416 % | 41.57/41.66 c | 42519 | 65590 210201 | 29099 17054 2252424 132.1 | 9.416 % | 41.78/41.85 c | 42856 | 65590 210201 | 32009 17391 2303541 132.5 | 9.416 % | 42.07/42.12 c | 43364 | 65590 210201 | 35210 17899 2390921 133.6 | 9.416 % | 42.47/42.51 c | 44123 | 65590 210201 | 38731 18658 2475462 132.7 | 9.416 % | 43.07/43.16 c | 45262 | 65590 210201 | 42604 19797 2649178 133.8 | 9.416 % | 43.87/43.92 c | 46971 | 65590 210201 | 46865 21506 2844998 132.3 | 9.416 % | 45.47/45.55 c | 49537 | 65590 210201 | 51551 24072 3277321 136.1 | 9.416 % | 48.07/48.12 c | 53381 | 65590 210201 | 56706 27916 3913159 140.2 | 9.416 % | 51.97/52.05 c | 59147 | 65590 210201 | 62377 33682 5035487 149.5 | 9.416 % | 58.96/59.02 c | 67796 | 65590 210201 | 68615 42331 6454710 152.5 | 9.416 % | 74.76/74.88 c | 80770 | 65590 210201 | 75477 55305 9663725 174.7 | 9.416 % | 100.95/101.03 c | 100233 | 65590 210201 | 83024 74768 13924604 186.2 | 9.416 % | 134.63/134.71 c | 129426 | 65590 210201 | 91327 36149 5710721 158.0 | 9.416 % | 204.81/204.93 c | 173215 | 65590 210201 | 100459 79938 14433470 180.6 | 9.416 % | 299.77/299.96 c | 238899 | 65590 210201 | 110505 61349 10073349 164.2 | 9.416 % | 351.45/351.65 c ============================================================================== 351.45/351.65 c [1mFound solution: 35[0m 351.45/351.65 o 35 351.55/351.70 c ---[ 0]---> Adder-cost: 0 maxlim: 3233 bits: 12/12 359.05/359.28 c ==================================[MINISAT+]================================== 359.05/359.28 c | Conflicts | Original | Learnt | Progress | 359.05/359.28 c | | Clauses Literals | Max Clauses Literals LPC | | 359.05/359.28 c ============================================================================== 359.05/359.28 c | 267240 | 65517 209952 | 21839 89679 14940393 166.6 | 9.416 % | 359.75/359.91 c | 267340 | 65517 209952 | 24022 17863 2378616 133.2 | 9.512 % | 359.95/360.10 c | 267490 | 65517 209952 | 26425 18013 2379948 132.1 | 9.512 % | 360.05/360.24 c | 267716 | 65517 209952 | 29067 18239 2392974 131.2 | 9.512 % | 360.25/360.40 c | 268053 | 65517 209952 | 31974 18576 2416370 130.1 | 9.512 % | 360.35/360.57 c | 268559 | 65517 209952 | 35171 19082 2438425 127.8 | 9.512 % | 360.95/361.10 c | 269318 | 65517 209952 | 38689 19841 2549558 128.5 | 9.512 % | 361.65/361.90 c | 270457 | 65517 209952 | 42558 20980 2684666 128.0 | 9.512 % | 362.85/363.08 c | 272166 | 65517 209952 | 46813 22689 2906166 128.1 | 9.512 % | 364.55/364.77 c | 274731 | 65517 209952 | 51495 25254 3226704 127.8 | 9.512 % | 367.35/367.58 c | 278577 | 65517 209952 | 56644 29100 3824254 131.4 | 9.512 % | 373.24/373.42 c | 284347 | 65517 209952 | 62309 34870 5013025 143.8 | 9.512 % | 380.14/380.33 c | 292996 | 65517 209952 | 68540 43519 6151181 141.3 | 9.512 % | 396.23/396.42 c | 305970 | 65517 209952 | 75394 56493 8414293 148.9 | 9.512 % | 427.43/427.64 c | 325431 | 65517 209952 | 82933 75954 11484518 151.2 | 9.512 % | 468.71/468.99 c | 354623 | 65517 209952 | 91226 37440 4166026 111.3 | 9.512 % | 565.76/566.18 c | 398416 | 65517 209952 | 100349 81233 9696365 119.4 | 9.512 % | 680.92/681.32 c | 464104 | 65517 209952 | 110384 61357 7817128 127.4 | 9.512 % | 890.03/890.55 c | 562632 | 65517 209952 | 121423 65944 7794753 118.2 | 9.512 % | 1166.53/1167.13 c ============================================================================== 1166.53/1167.13 c [1mFound solution: 32[0m 1166.53/1167.13 o 32 1166.53/1167.18 c ---[ 0]---> Adder-cost: 0 maxlim: 3236 bits: 12/12 1174.42/1175.04 c ==================================[MINISAT+]================================== 1174.42/1175.04 c | Conflicts | Original | Learnt | Progress | 1174.42/1175.04 c | | Clauses Literals | Max Clauses Literals LPC | | 1174.42/1175.04 c ============================================================================== 1174.42/1175.04 c | 676228 | 65523 209982 | 21841 77006 8970393 116.5 | 9.512 % | 1175.52/1176.13 c | 676330 | 65523 209982 | 24025 21562 1912906 88.7 | 9.524 % | 1175.72/1176.32 c | 676480 | 65523 209982 | 26427 21712 1913762 88.1 | 9.525 % | 1176.02/1176.67 c | 676705 | 65523 209982 | 29070 21937 1914924 87.3 | 9.524 % | 1176.42/1177.04 c | 677042 | 65523 209982 | 31977 22274 1917430 86.1 | 9.524 % | 1176.92/1177.54 c | 677549 | 65523 209982 | 35175 22781 1929551 84.7 | 9.524 % | 1177.52/1178.13 c | 678309 | 65523 209982 | 38692 23541 2002569 85.1 | 9.524 % | 1178.22/1178.88 c | 679448 | 65523 209982 | 42561 24680 2160840 87.6 | 9.524 % | 1179.32/1179.93 c | 681158 | 65523 209982 | 46818 26390 2425023 91.9 | 9.524 % | 1181.22/1181.88 c | 683720 | 65523 209982 | 51499 28952 2935852 101.4 | 9.524 % | 1184.72/1185.32 c | 687566 | 65523 209982 | 56649 32798 3754234 114.5 | 9.524 % | 1190.01/1190.60 c | 693332 | 65523 209982 | 62314 38564 4727786 122.6 | 9.524 % | 1198.71/1199.32 c | 701981 | 65523 209982 | 68546 47213 6045971 128.1 | 9.524 % | 1215.31/1215.95 c | 714956 | 65523 209982 | 75401 60188 8216810 136.5 | 9.524 % | 1249.00/1249.68 c | 734419 | 65523 209982 | 82941 18274 2398612 131.3 | 9.524 % | 1282.78/1283.42 c | 763613 | 65523 209982 | 91235 47468 7043892 148.4 | 9.524 % | 1372.85/1373.58 c | 807402 | 65523 209982 | 100358 91257 14738386 161.5 | 9.524 % | 1494.90/1495.63 c | 873093 | 65523 209982 | 110394 70721 14160731 200.2 | 9.524 % | 1660.73/1661.53 c | 971624 | 65523 209982 | 121434 73634 13525122 183.7 | 9.524 % | 1800.08/1800.90 c 1800.08/1800.90 c *** TERMINATED *** 1800.08/1800.90 s SATISFIABLE 1800.08/1800.90 v -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x271 -x273 -x275 -x277 1800.08/1800.90 v -x279 x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 1800.08/1800.90 v -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x359 -x361 1800.08/1800.90 v -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 1800.08/1800.90 v -x405 -x407 -x409 x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 1800.08/1800.90 v -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x485 -x487 1800.08/1800.90 v -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529 1800.08/1800.90 v -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 1800.08/1800.90 v -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 1800.08/1800.90 v -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 1800.08/1800.90 v -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x691 -x693 -x695 1800.08/1800.90 v -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 1800.08/1800.90 v -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 1800.08/1800.90 v -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 1800.08/1800.90 v -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 1800.08/1800.90 v -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x903 1800.08/1800.90 v -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x938 -x940 -x942 -x944 1800.08/1800.90 v -x946 -x948 -x950 x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 1800.08/1800.90 v -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 1800.08/1800.90 v -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 1800.08/1800.90 v -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 1800.08/1800.90 v -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 1800.08/1800.90 v -x1126 x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 1800.08/1800.90 v -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 1800.08/1800.90 v -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 1800.08/1800.90 v -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 1800.08/1800.90 v -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1289 -x1291 -x1293 1800.08/1800.90 v -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 1800.08/1800.90 v -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 1800.08/1800.90 v -x1363 -x1365 -x1367 -x1369 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 1800.08/1800.90 v -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 1800.08/1800.90 v -x1430 -x1432 -x1434 x1436 x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 1800.08/1800.90 v -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 1800.08/1800.90 v -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1531 1800.08/1800.90 v -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 1800.08/1800.90 v -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 1800.08/1800.90 v -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 1800.08/1800.90 v -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 1800.08/1800.90 v -x1669 -x1671 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 1800.08/1800.90 v -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 1800.08/1800.90 v -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 1800.08/1800.90 v -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 1800.08/1800.90 v -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 1800.08/1800.90 v -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 1800.08/1800.90 v -x1872 -x1874 -x1876 -x1878 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1898 -x1900 -x1902 1800.08/1800.90 v -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 1800.08/1800.90 v -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 1800.08/1800.90 v -x1972 -x1974 -x1975 -x1977 -x1979 -x1981 -x1982 -x1984 -x1986 -x1988 -x1990 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 1800.08/1800.90 v -x2003 x2005 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 1800.08/1800.90 v -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 1800.08/1800.90 v -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 1800.08/1800.90 v -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 1800.08/1800.90 v -x2137 -x2139 x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 1800.08/1800.90 v -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 1800.08/1800.90 v -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 1800.08/1800.90 v -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 1800.08/1800.90 v -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 1800.08/1800.90 v -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2337 1800.08/1800.90 v -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 1800.08/1800.90 v -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 1800.08/1800.90 v -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 1800.08/1800.90 v -x2441 -x2443 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 1800.08/1800.90 v -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2500 -x2502 -x2504 -x2506 1800.08/1800.90 v -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 1800.08/1800.90 v -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 1800.08/1800.90 v -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 1800.08/1800.90 v -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 1800.08/1800.90 v -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 1800.08/1800.90 v -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 1800.08/1800.90 v -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 1800.08/1800.90 v -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 1800.08/1800.90 v -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 1800.08/1800.90 v -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 1800.08/1800.90 v -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 1800.08/1800.90 v -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 1800.08/1800.90 v -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 1800.08/1800.90 v -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x2981 1800.08/1800.90 v -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 1800.08/1800.90 v -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 1800.08/1800.90 v -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 1800.08/1800.90 v -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 1800.08/1800.90 v -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 1800.08/1800.90 v -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 1800.08/1800.90 v -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 1800.08/1800.90 v -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 1800.08/1800.90 v -x3254 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 1800.08/1800.90 v -x3287 -x3289 -x3290 -x3292 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 1800.08/1800.90 v -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 1800.08/1800.90 v -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 1800.08/1800.90 v -x3386 -x3388 -x3390 -x3392 -x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 1800.08/1800.90 v -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 1800.08/1800.90 v -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 1800.08/1800.90 v -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 -x3520 1800.08/1800.90 v -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x3554 1800.08/1800.90 v -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3576 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 1800.08/1800.90 v -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 1800.08/1800.90 v -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 1800.08/1800.90 v -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x3687 -x3689 1800.08/1800.90 v -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 1800.08/1800.90 v x3725 -x3727 -x3729 -x3731 -x3733 -x3734 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 1800.08/1800.90 v -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 -x3790 1800.08/1800.90 v -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 1800.08/1800.90 v -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x3842 -x3844 -x3846 -x3848 -x3850 -x3852 -x3854 -x3856 -x3858 1800.08/1800.90 v -x3860 -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 1800.08/1800.90 v -x3892 -x3894 -x3896 -x3898 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 1800.08/1800.90 v -x3926 -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x3956 -x3958 1800.08/1800.90 v -x3960 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x3985 -x3987 -x3989 -x3991 1800.08/1800.90 v -x3993 -x3995 -x3997 -x3999 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011 -x4013 -x4015 -x4017 -x4019 -x4021 -x4023 -x4025 1800.08/1800.90 v -x4027 -x4029 -x4031 -x4033 -x4035 -x4037 -x4039 -x4041 -x4043 -x4045 -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059 1800.08/1800.90 v -x4061 -x4063 -x4065 -x4067 -x4069 -x4071 -x4073 -x4075 -x4077 -x4079 -x4081 -x4083 -x4085 -x4087 -x4089 -x4091 -x4093 1800.08/1800.90 v -x4095 -x4097 -x4099 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 -x4113 -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 1800.08/1800.90 v -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4153 -x4155 -x4157 -x4159 -x4161 1800.08/1800.90 v -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4173 -x4175 -x4177 -x4179 -x4181 -x4183 -x4185 -x4187 -x4189 -x4191 -x4193 1800.08/1800.90 v -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x4211 -x4213 -x4215 -x4217 -x4219 -x4221 -x4223 -x4225 -x4227 1800.08/1800.90 v -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x4241 -x4243 -x4245 -x4247 -x4249 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 1800.08/1800.90 v -x4263 -x4265 -x4266 -x4268 -x4270 -x4272 x4274 -x4276 -x4278 -x4280 -x4282 -x4284 -x4286 x4288 -x4290 -x4292 -x4294 -x4296 1800.08/1800.90 v -x4298 -x4300 -x4302 -x4304 -x4306 -x4307 -x4309 -x4311 -x4313 -x4315 -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 1800.08/1800.90 v -x4331 -x4333 -x4335 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 -x4351 -x4353 -x4355 -x4357 -x4359 -x4361 -x4363 1800.08/1800.90 v -x4365 -x4367 -x4369 -x4371 -x4373 -x4375 -x4377 -x4379 -x4381 -x4383 -x4385 -x4387 -x4389 -x4391 -x4393 -x4395 -x4397 1800.08/1800.90 v -x4399 -x4401 -x4403 -x4405 -x4407 -x4409 -x4411 -x4413 -x4415 -x4417 -x4419 -x4421 -x4423 -x4425 -x4427 -x4429 -x4431 1800.08/1800.90 v -x4433 -x4435 -x4437 -x4439 -x4441 -x4443 -x4445 -x4447 -x4449 -x4451 -x4453 -x4455 -x4457 -x4459 -x4461 -x4463 -x4465 1800.08/1800.90 v -x4467 -x4469 -x4471 -x4473 -x4475 -x4477 -x4479 -x4481 -x4483 -x4485 -x4487 -x4489 -x4491 -x4493 -x4495 -x4497 -x4499 1800.08/1800.90 v -x4501 -x4503 -x4505 -x4507 -x4509 -x4511 -x4513 -x4515 -x4517 -x4519 -x4521 -x4523 -x4525 -x4527 -x4529 -x4531 -x4533 1800.08/1800.90 v -x4535 -x4537 -x4539 -x4541 -x4543 -x4545 -x4547 -x4549 -x4551 -x4553 -x4555 -x4557 -x4559 -x4561 -x4563 -x4565 -x4567 1800.08/1800.90 v -x4569 -x4571 -x4573 -x4575 -x4577 -x4579 -x4581 -x4583 -x4585 -x4587 -x4589 -x4591 -x4593 -x4595 -x4597 -x4599 -x4601 1800.08/1800.90 v -x4603 -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4616 -x4618 -x4620 -x4622 -x4624 -x4626 -x4628 -x4630 -x4632 -x4634 1800.08/1800.90 v -x4636 -x4638 -x4640 -x4642 -x4644 -x4646 -x4648 -x4650 -x4652 -x4654 -x4656 -x4658 -x4660 -x4662 -x4664 -x4666 -x4668 1800.08/1800.90 v -x4670 -x4672 -x4674 -x4676 -x4678 -x4680 -x4682 -x4684 -x4686 -x4688 -x4690 -x4692 -x4694 -x4696 -x4698 -x4700 -x4702 1800.08/1800.90 v -x4704 -x4706 -x4708 -x4710 -x4712 -x4714 -x4716 -x4718 -x4720 -x4722 -x4723 -x4725 -x4727 -x4729 -x4731 -x4733 -x4735 1800.08/1800.90 v -x4737 -x4739 -x4741 -x4743 -x4745 -x4747 -x4749 -x4751 -x4753 -x4755 -x4757 -x4759 -x4761 -x4763 -x4765 -x4767 -x4769 1800.08/1800.90 v -x4771 -x4773 -x4775 -x4777 -x4779 -x4781 -x4783 -x4785 -x4787 -x4789 -x4791 -x4793 -x4795 -x4797 -x4799 -x4801 -x4803 1800.08/1800.90 v -x4805 -x4807 -x4809 -x4811 -x4813 -x4815 -x4817 -x4819 -x4821 -x4823 -x4825 -x4827 -x4829 -x4831 x4833 -x4835 -x4837 1800.08/1800.90 v -x4839 -x4841 -x4843 -x4845 -x4847 -x4849 -x4851 -x4853 -x4855 -x4857 -x4859 -x4861 -x4863 -x4865 -x4867 -x4869 -x4871 1800.08/1800.90 v -x4873 -x4875 -x4877 -x4879 -x4881 -x4883 -x4885 -x4887 -x4889 -x4891 -x4893 -x4895 -x4897 -x4899 -x4901 -x4903 -x4905 1800.08/1800.90 v -x4907 -x4909 -x4911 -x4913 -x4915 -x4917 -x4919 -x4921 -x4923 -x4925 -x4927 -x4929 -x4931 -x4933 -x4935 -x4937 -x4939 1800.08/1800.90 v -x4941 -x4943 -x4945 -x4947 -x4949 -x4950 -x4952 -x4954 -x4956 -x4958 -x4960 -x4962 -x4964 -x4966 -x4968 -x4970 -x4972 1800.08/1800.90 v -x4974 -x4976 -x4978 -x4980 -x4982 -x4984 -x4986 -x4988 -x4990 -x4992 -x4994 -x4996 -x4998 -x5000 -x5002 -x5004 -x5006 1800.08/1800.90 v -x5008 -x5010 -x5012 -x5014 -x5016 -x5018 -x5020 -x5022 -x5024 -x5026 -x5028 -x5030 -x5032 -x5034 -x5036 -x5038 -x5040 1800.08/1800.90 v -x5042 -x5044 -x5046 -x5048 -x5050 -x5052 -x5054 -x5056 -x5058 -x5060 -x5062 -x5064 -x5066 -x5068 -x5070 -x5072 -x5074 1800.08/1800.90 v -x5076 -x5078 -x5080 -x5082 -x5084 -x5086 -x5088 -x5090 -x5092 -x5094 -x5096 -x5098 -x5100 -x5102 -x5104 -x5106 -x5108 1800.08/1800.90 v -x5110 -x5112 -x5114 -x5116 -x5118 -x5120 -x5122 -x5124 -x5126 -x5128 -x5130 -x5132 -x5134 -x5136 -x5138 -x5140 -x5142 1800.08/1800.90 v -x5144 -x5146 -x5148 -x5150 -x5152 -x5154 -x5156 -x5158 -x5160 -x5162 -x5164 -x5166 -x5168 -x5170 -x5172 -x5174 -x5176 1800.08/1800.90 v -x5178 -x5180 -x5182 -x5184 -x5186 -x5188 -x5190 -x5192 -x5194 -x5196 -x5198 -x5200 -x5202 -x5204 -x5206 -x5207 -x5209 1800.08/1800.90 v -x5211 -x5213 -x5215 -x5217 -x5219 -x5221 -x5223 -x5225 -x5226 -x5228 -x5230 -x5232 -x5234 -x5236 -x5238 -x5240 -x5242 1800.08/1800.90 v -x5244 x5246 -x5248 -x5250 -x5252 -x5254 -x5256 -x5258 -x5260 -x5262 -x5264 -x5266 -x5268 -x5270 -x5272 -x5274 -x5276 1800.08/1800.90 v -x5278 -x5280 -x5282 -x5284 -x5286 -x5288 -x5290 -x5292 -x5294 -x5296 -x5298 -x5300 -x5302 -x5304 -x5306 -x5308 -x5310 1800.08/1800.90 v -x5312 -x5314 -x5316 -x5318 -x5320 -x5322 -x5324 -x5325 -x5327 -x5329 -x5331 -x5333 -x5335 -x5337 -x5339 -x5341 x5342 1800.08/1800.90 v -x5344 -x5346 -x5348 -x5350 -x5351 -x5353 -x5355 -x5357 -x5359 -x5361 -x5363 -x5365 -x5367 -x5369 -x5371 -x5373 -x5375 1800.08/1800.90 v -x5377 -x5379 -x5381 -x5383 -x5385 -x5387 -x5389 -x5391 -x5393 -x5395 -x5397 -x5399 -x5401 -x5403 -x5405 -x5407 -x5409 1800.08/1800.90 v -x5411 -x5413 -x5415 -x5417 -x5419 -x5421 -x5423 -x5425 -x5427 -x5429 -x5431 -x5433 -x5435 -x5437 -x5439 -x5441 -x5443 1800.08/1800.90 v -x5445 -x5447 -x5449 -x5451 -x5453 -x5455 -x5457 -x5459 -x5461 -x5463 -x5465 -x5467 -x5469 -x5471 -x5473 -x5475 -x5477 1800.08/1800.90 v -x5479 -x5481 -x5483 -x5485 -x5487 -x5489 -x5491 -x5493 -x5495 -x5497 -x5499 -x5501 -x5503 -x5505 -x5507 -x5509 -x5511 1800.08/1800.90 v -x5513 -x5515 -x5517 -x5519 -x5521 -x5523 -x5525 -x5527 -x5529 -x5531 -x5533 -x5535 -x5537 -x5539 -x5541 -x5543 -x5545 1800.08/1800.90 v -x5547 -x5549 -x5551 -x5553 -x5555 -x5557 -x5559 -x5561 -x5563 -x5565 -x5567 -x5569 -x5571 -x5573 -x5575 -x5577 -x5579 1800.08/1800.90 v -x5581 -x5583 -x5585 -x5587 -x5589 -x5591 -x5593 -x5595 -x5597 -x5599 -x5601 -x5603 -x5605 -x5607 -x5609 -x5611 -x5613 1800.08/1800.90 v -x5615 -x5617 -x5619 -x5621 -x5623 -x5625 -x5627 -x5629 -x5631 -x5633 -x5635 -x5636 -x5638 -x5640 -x5642 -x5644 -x5646 1800.08/1800.90 v -x5648 -x5650 -x5652 -x5654 -x5656 -x5658 -x5660 -x5662 -x5664 -x5666 -x5668 -x5670 -x5672 -x5674 -x5676 -x5678 -x5680 1800.08/1800.90 v -x5682 -x5684 -x5686 -x5688 -x5690 -x5692 -x5694 -x5696 -x5698 -x5700 -x5702 -x5704 -x5706 -x5708 -x5710 -x5712 -x5714 1800.08/1800.90 v -x5716 -x5718 -x5720 -x5722 -x5724 -x5726 -x5728 -x5730 -x5732 -x5734 -x5736 -x5738 -x5740 -x5742 -x5744 -x5746 -x5748 1800.08/1800.90 v -x5750 -x5752 -x5754 -x5756 -x5758 -x5760 -x5762 -x5764 -x5766 -x5768 -x5770 -x5772 -x5774 -x5776 -x5778 -x5780 -x5782 1800.08/1800.90 v -x5784 -x5785 -x5787 -x5789 -x5791 -x5793 -x5795 -x5797 -x5799 -x5801 -x5803 -x5805 -x5807 -x5809 -x5811 -x5813 -x5815 1800.08/1800.90 v -x5817 -x5819 -x5821 -x5823 -x5825 -x5827 -x5829 -x5831 -x5833 -x5835 -x5837 -x5839 -x5841 -x5843 -x5845 -x5847 -x5849 1800.08/1800.90 v -x5851 -x5853 -x5855 -x5857 -x5859 -x5861 -x5863 -x5865 -x5867 -x5869 -x5871 -x5873 -x5875 -x5877 -x5879 -x5881 -x5883 1800.08/1800.90 v -x5885 -x5887 -x5889 -x5891 -x5893 -x5895 -x5897 -x5899 -x5901 -x5903 -x5905 -x5907 -x5909 -x5911 -x5913 -x5915 -x5917 1800.08/1800.90 v -x5919 -x5921 -x5923 -x5925 -x5927 -x5929 -x5931 -x5933 -x5935 -x5937 -x5939 -x5941 -x5943 -x5945 -x5947 -x5949 -x5950 1800.08/1800.90 v -x5952 -x5954 -x5956 -x5958 -x5960 -x5962 -x5964 -x5965 -x5967 -x5969 -x5971 -x5973 -x5975 -x5976 -x5978 -x5980 -x5982 1800.08/1800.90 v -x5984 -x5986 -x5988 -x5990 -x5992 -x5994 -x5996 -x5998 -x6000 -x6002 -x6004 -x6006 -x6008 -x6010 -x6011 -x6013 -x6015 1800.08/1800.90 v -x6017 x6019 -x6021 -x6023 -x6024 -x6026 -x6028 -x6030 -x6032 -x6034 -x6036 -x6038 -x6040 -x6042 -x6044 -x6046 -x6048 1800.08/1800.90 v -x6050 -x6052 -x6054 -x6056 -x6058 -x6060 -x6062 -x6064 -x6066 -x6067 -x6069 -x6071 -x6073 -x6075 -x6077 -x6079 -x6081 1800.08/1800.90 v -x6083 -x6085 -x6087 -x6089 -x6091 -x6093 -x6095 -x6097 -x6099 -x6101 -x6103 -x6105 -x6107 -x6109 -x6111 -x6113 -x6114 1800.08/1800.90 v -x6116 -x6118 -x6120 -x6122 -x6124 -x6126 -x6128 -x6130 -x6132 -x6134 -x6136 -x6138 -x6140 -x6142 -x6144 -x6146 -x6148 1800.08/1800.90 v -x6150 -x6152 -x6154 -x6156 -x6158 -x6160 -x6162 -x6164 -x6166 -x6168 -x6170 x6172 -x6174 -x6176 -x6177 -x6179 -x6181 1800.08/1800.90 v -x6183 -x6185 -x6187 -x6189 -x6191 -x6193 -x6195 -x6197 -x6199 -x6201 -x6203 -x6205 -x6206 -x6208 -x6210 -x6212 -x6214 1800.08/1800.90 v -x6216 -x6218 -x6220 -x6222 -x6224 -x6226 -x6228 -x6230 -x6232 -x6234 -x6236 -x6238 -x6240 -x6242 -x6244 -x6246 -x6248 1800.08/1800.90 v -x6250 -x6252 -x6254 -x6256 -x6258 -x6260 -x6262 -x6264 -x6266 -x6268 -x6270 -x6272 -x6273 -x6275 -x6277 -x6279 -x6281 1800.08/1800.90 v -x6283 -x6285 -x6287 -x6289 -x6291 -x6293 -x6295 -x6297 -x6299 -x6301 -x6303 -x6305 -x6307 -x6309 -x6311 -x6313 -x6315 1800.08/1800.90 v -x6317 -x6319 -x6321 -x6322 -x6324 -x6326 -x6327 -x6329 -x6331 -x6333 -x6335 -x6337 -x6339 -x6341 -x6343 -x6345 -x6347 1800.08/1800.90 v -x6349 -x6351 -x6353 -x6355 -x6357 -x6359 -x6360 -x6362 -x6364 -x6366 -x6368 -x6370 -x6372 x6374 -x6376 -x6378 -x6380 1800.08/1800.90 v -x6382 -x6384 -x6386 -x6388 -x6390 -x6391 -x6393 -x6395 -x6397 -x6399 -x6401 -x6403 -x6405 -x6407 -x6409 -x6411 -x6413 1800.08/1800.90 v x6415 -x6417 -x6419 -x6421 -x6423 -x6425 -x6427 -x6429 -x6431 -x6433 -x6435 -x6437 -x6439 -x6441 x6443 -x6445 -x6447 -x6449 1800.08/1800.90 v -x6451 -x6453 -x6455 -x6457 -x6459 -x6461 -x6463 -x6465 -x6467 -x6469 -x6471 -x6473 -x6475 -x6477 -x6479 -x6481 -x6483 1800.08/1800.90 v -x6485 -x6487 -x6489 -x6491 -x6493 -x6495 -x6497 -x6499 -x6501 -x6503 -x6505 -x6507 -x6509 -x6511 -x6513 -x6515 -x6517 1800.08/1800.90 v -x6519 -x6521 -x6523 -x6525 -x6527 -x6529 -x6531 -x6533 -x6535 -x6537 -x6539 -x6541 -x6543 -x6545 -x6547 -x6549 -x6551 1800.08/1800.90 v -x6553 -x6555 -x6557 -x6559 -x6561 -x6563 -x6565 -x6567 -x6569 -x6571 -x6573 -x6575 -x6577 -x6579 -x6581 -x6583 -x6585 1800.08/1800.90 v -x6587 -x6589 -x6591 -x6593 -x6595 -x6597 -x6599 -x6600 -x6602 -x6604 -x6606 -x6608 -x6610 -x6612 -x6614 -x6616 -x6618 1800.08/1800.90 v -x6620 -x6622 -x6624 -x6626 -x6628 -x6630 -x6632 -x6634 -x6636 -x6638 -x6640 -x6642 -x6644 -x6646 -x6648 -x6650 -x6652 1800.08/1800.90 v -x6654 -x6656 -x6658 -x6660 -x6662 -x6664 -x6666 -x6668 -x6670 -x6672 -x6674 -x6676 -x6678 -x6680 -x6682 -x6684 -x6686 1800.08/1800.90 v -x6688 -x6690 -x6691 -x6693 -x6695 -x6697 -x6699 -x6701 -x6703 -x6705 -x6707 -x6709 -x6711 -x6713 -x6715 -x6717 -x6719 1800.08/1800.90 v -x6721 -x6723 -x6725 -x6727 -x6729 -x6731 -x6733 -x6735 -x6737 -x6739 -x6741 -x6743 -x6745 -x6747 -x6749 -x6751 -x6753 1800.08/1800.90 v -x6755 -x6757 x6759 -x6761 -x6763 -x6765 -x6767 -x6769 -x6771 -x6773 x6775 -x6777 -x6779 -x6781 -x6783 -x6785 -x6787 -x6789 1800.08/1800.90 v -x6791 -x6793 -x6795 -x6797 -x6799 -x6801 -x6803 -x6805 -x6807 -x6809 -x6811 -x6813 -x6815 -x6817 -x6819 -x6821 -x6823 1800.08/1800.90 v -x6825 -x6827 -x6829 -x6831 -x6833 -x6835 -x6837 -x6839 -x6841 -x6843 -x6845 -x6847 -x6849 -x6851 -x6853 -x6855 -x6857 1800.08/1800.90 v -x6859 -x6861 -x6863 -x6865 -x6867 -x6869 -x6871 -x6873 -x6875 -x6877 -x6879 -x6881 -x6883 -x6885 -x6887 -x6889 -x6891 1800.08/1800.90 v -x6893 -x6895 -x6897 x6899 -x6901 -x6903 -x6905 -x6907 -x6909 -x6911 -x6913 -x6915 -x6917 -x6919 -x6921 -x6923 -x6925 1800.08/1800.90 v -x6927 -x6929 -x6931 -x6933 -x6935 -x6937 -x6939 -x6941 -x6943 -x6945 -x6947 -x6949 -x6951 -x6952 -x6954 -x6956 -x6958 1800.08/1800.90 v -x6960 x6962 -x6964 -x6966 -x6968 -x6970 x6972 -x6974 -x6976 -x6977 -x6979 -x6981 -x6983 -x6985 -x6987 -x6989 -x6991 -x6993 1800.08/1800.90 v -x6995 -x6997 -x6999 -x7001 -x7003 -x7005 -x7007 -x7009 -x7011 -x7013 -x7015 -x7017 -x7019 -x7021 -x7023 -x7025 -x7027 1800.08/1800.90 v -x7029 -x7031 -x7033 -x7035 -x7037 -x7039 -x7041 -x7043 -x7045 -x7047 -x7049 -x7051 -x7053 -x7055 -x7057 -x7059 -x7061 1800.08/1800.90 v -x7063 -x7065 -x7067 -x7069 -x7071 -x7073 -x7075 -x7077 -x7079 -x7081 -x7083 -x7085 -x7087 -x7089 -x7091 -x7093 -x7095 1800.08/1800.90 v -x7097 -x7099 -x7101 -x7103 -x7104 -x7106 -x7108 -x7110 -x7112 -x7114 -x7116 -x7118 -x7120 -x7122 -x7124 -x7126 -x7128 1800.08/1800.90 v -x7130 -x7132 -x7134 -x7136 -x7138 -x7140 -x7142 -x7144 -x7146 -x7147 -x7149 -x7151 -x7153 -x7155 -x7157 -x7159 -x7161 1800.08/1800.90 v -x7163 -x7165 -x7167 -x7169 -x7171 -x7173 -x7175 -x7177 -x7179 -x7181 -x7183 -x7185 -x7186 -x7188 -x7190 -x7192 x7193 1800.08/1800.90 v -x7195 -x7197 -x7199 -x7201 -x7203 -x7205 -x7207 -x7209 -x7211 -x7213 -x7215 -x7217 -x7219 -x7221 -x7223 -x7225 -x7227 1800.08/1800.90 v -x7229 -x7231 -x7233 -x7235 -x7237 -x7239 -x7241 -x7243 -x7245 -x7247 -x7249 -x7251 -x7253 -x7255 -x7257 -x7259 -x7261 1800.08/1800.90 v -x7263 -x7265 -x7267 -x7269 -x7271 -x7273 -x7275 -x7277 -x7279 -x7281 -x7283 -x7285 -x7287 -x7289 -x7291 -x7293 -x7295 1800.08/1800.90 v -x7297 -x7299 -x7301 -x7303 -x7305 -x7307 -x7309 -x7311 -x7313 -x7315 -x7317 -x7319 -x7321 -x7323 -x7325 -x7327 -x7329 1800.08/1800.90 v -x7331 -x7333 -x7335 -x7337 -x7339 -x7341 -x7343 -x7345 -x7347 -x7349 -x7351 -x7353 -x7355 -x7357 -x7359 -x7361 -x7363 1800.08/1800.90 v -x7365 -x7367 -x7369 -x7371 -x7373 -x7375 -x7377 -x7379 -x7381 -x7383 -x7385 -x7387 -x7389 -x7391 -x7393 -x7395 -x7397 1800.08/1800.90 v -x7399 -x7401 -x7403 -x7405 -x7407 -x7409 -x7411 -x7413 -x7415 -x7417 -x7419 -x7421 -x7423 -x7425 -x7427 -x7429 -x7431 1800.08/1800.90 v -x7433 -x7435 -x7437 -x7439 -x7441 -x7443 -x7445 -x7447 -x7449 -x7451 -x7453 -x7455 -x7457 -x7459 -x7461 -x7463 -x7465 1800.08/1800.90 v -x7467 -x7469 -x7471 -x7473 -x7475 -x7477 -x7479 -x7481 -x7483 -x7485 -x7487 -x7489 -x7491 -x7493 -x7495 -x7497 -x7499 1800.08/1800.90 v -x7501 x7503 -x7505 -x7507 -x7509 -x7511 -x7513 -x7515 -x7517 -x7518 -x7520 -x7522 -x7524 -x7526 -x7528 -x7530 x7531 -x7533 1800.08/1800.90 v -x7535 -x7537 -x7539 -x7541 -x7543 -x7545 -x7547 -x7549 -x7551 -x7553 -x7555 -x7557 -x7559 -x7561 -x7563 -x7565 -x7567 1800.08/1800.90 v -x7569 -x7571 -x7573 -x7575 -x7577 -x7579 -x7581 -x7582 -x7584 -x7586 -x7588 -x7590 -x7592 -x7594 -x7596 -x7598 -x7600 1800.08/1800.90 v -x7602 -x7604 -x7606 -x7608 -x7610 -x7612 -x7614 -x7616 -x7618 -x7620 -x7622 -x7624 -x7626 -x7628 -x7630 -x7632 -x7634 1800.08/1800.90 v -x7636 -x7638 -x7640 -x7642 -x7644 -x7646 -x7648 -x7650 -x7652 -x7654 -x7655 -x7657 x7659 -x7661 -x7663 -x7665 -x7667 1800.08/1800.90 v -x7669 -x7671 -x7673 -x7675 -x7677 -x7679 -x7681 -x7683 -x7685 -x7687 -x7689 -x7691 -x7693 -x7695 -x7697 -x7699 -x7701 1800.08/1800.90 v -x7703 -x7705 -x7707 -x7709 -x7711 -x7713 -x7715 -x7717 -x7719 -x7721 -x7723 -x7725 -x7727 -x7729 -x7731 -x7733 -x7735 1800.08/1800.90 v -x7737 -x7739 -x7741 -x7743 -x7745 -x7747 -x7749 -x7751 -x7753 -x7755 -x7757 -x7759 -x7761 -x7763 -x7765 -x7767 -x7769 1800.08/1800.90 v -x7771 -x7773 -x7775 -x7777 -x7779 -x7781 -x7783 -x7785 -x7787 -x7789 -x7791 -x7793 -x7794 -x7796 -x7798 -x7800 -x7802 1800.08/1800.90 v -x7804 -x7806 -x7808 -x7810 -x7812 x7813 -x7815 x7817 -x7819 -x7821 -x7823 -x7825 -x7827 -x7829 -x7831 -x7833 -x7835 -x7837 1800.08/1800.90 v -x7839 -x7841 -x7843 -x7844 -x7846 -x7848 -x7850 -x7852 -x7854 -x7856 -x7858 -x7860 -x7862 -x7864 -x7866 -x7868 -x7870 1800.08/1800.90 v -x7872 -x7874 -x7875 -x7877 -x7879 -x7881 -x7883 -x7885 -x7887 -x7889 -x7891 -x7893 -x7895 -x7896 -x7898 -x7900 -x7901 1800.08/1800.90 v -x7903 -x7905 -x7907 -x7909 -x7911 -x7913 -x7915 -x7917 -x7919 -x7920 -x7922 x7924 -x7925 x7926 -x236 -x238 -x240 -x242 1800.08/1800.90 v -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 x280 -x282 -x284 1800.08/1800.90 v -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 1800.08/1800.90 v -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 1800.08/1800.90 v -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 x410 1800.08/1800.90 v -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x1 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 1800.08/1800.90 v -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x2 -x488 -x490 1800.08/1800.90 v -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 1800.08/1800.90 v -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x3 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 1800.08/1800.90 v -x574 -x576 -x578 -x4 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x5 -x610 1800.08/1800.90 v -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 1800.08/1800.90 v -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x6 -x672 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x692 -x694 1800.08/1800.90 v -x696 -x698 -x7 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x8 -x730 -x732 1800.08/1800.90 v -x734 -x736 -x739 -x741 -x9 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x769 -x771 -x10 1800.08/1800.90 v -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 -x809 -x811 -x813 1800.08/1800.90 v -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x11 -x835 -x837 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 1800.08/1800.90 v -x856 -x858 -x860 -x862 -x12 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x13 1800.08/1800.90 v -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x14 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x15 -x922 -x924 -x926 -x928 -x930 1800.08/1800.90 v -x932 -x934 -x936 -x939 -x941 -x943 -x945 -x947 -x949 x951 -x953 -x955 -x957 -x959 -x961 -x963 -x16 -x965 -x967 -x969 -x971 1800.08/1800.90 v -x973 -x975 -x977 -x17 -x979 -x981 -x983 -x18 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 1800.08/1800.90 v -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 1800.08/1800.90 v -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 1800.08/1800.90 v -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 1800.08/1800.90 v -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x19 -x1141 -x1143 1800.08/1800.90 v -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 1800.08/1800.90 v -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x20 -x1203 -x1205 -x1207 -x1209 -x1211 1800.08/1800.90 v -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 1800.08/1800.90 v -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x21 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 1800.08/1800.90 v -x1281 -x1283 -x1285 -x1287 -x1290 -x1292 -x22 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 1800.08/1800.90 v -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 1800.08/1800.90 v -x1350 -x1352 -x1354 -x23 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 1800.08/1800.90 v -x24 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x25 -x1415 1800.08/1800.90 v -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 1800.08/1800.90 v -x1451 -x1453 -x1455 -x1457 -x26 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x27 -x1473 -x1475 -x1477 -x1479 -x1481 1800.08/1800.90 v -x1483 -x1485 -x28 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 1800.08/1800.90 v -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x29 -x1548 -x1550 1800.08/1800.90 v -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x30 -x1578 -x1580 -x1582 -x1584 1800.08/1800.90 v -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x31 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 1800.08/1800.90 v -x1620 -x32 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x33 1800.08/1800.90 v -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x34 -x1666 -x1668 -x1670 -x1673 -x1675 -x1677 -x35 -x1679 -x1681 -x1683 1800.08/1800.90 v -x36 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x37 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 1800.08/1800.90 v -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 1800.08/1800.90 v -x1751 -x1753 -x1755 -x1757 -x1759 -x38 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 1800.08/1800.90 v -x1785 -x1787 -x1789 -x39 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 1800.08/1800.90 v -x1819 -x40 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x41 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 1800.08/1800.90 v -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x42 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x43 -x1877 -x1880 -x1882 1800.08/1800.90 v -x1884 -x1886 -x1888 -x44 -x1890 -x1892 -x1894 -x45 -x1896 -x1899 -x1901 -x1903 -x1905 -x1907 -x46 -x1909 -x1911 -x1913 1800.08/1800.90 v -x47 -x1915 -x1917 -x1919 -x48 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 1800.08/1800.90 v -x1947 -x1949 -x49 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x50 -x1965 -x1967 -x1969 -x1971 -x1973 -x1976 -x51 1800.08/1800.90 v -x1978 -x1980 -x52 -x1983 -x1985 -x1987 -x1989 -x1992 -x1994 -x53 -x1996 -x1998 -x2000 -x2002 x2004 -x54 -x2007 -x2009 1800.08/1800.90 v -x2011 -x2013 -x2015 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 1800.08/1800.90 v -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 1800.08/1800.90 v -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 1800.08/1800.90 v -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 x2140 -x2142 -x2144 -x2146 1800.08/1800.90 v -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 1800.08/1800.90 v -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 1800.08/1800.90 v -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 1800.08/1800.90 v -x2250 -x2252 -x2254 -x2257 -x2259 -x55 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 1800.08/1800.90 v -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 1800.08/1800.90 v -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2335 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 1800.08/1800.90 v -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x56 -x2386 1800.08/1800.90 v -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 1800.08/1800.90 v -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 1800.08/1800.90 v -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 1800.08/1800.90 v -x2490 -x2492 -x2494 -x2496 -x2498 -x2501 -x2503 -x2505 -x2507 -x2509 -x57 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2524 1800.08/1800.90 v -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 1800.08/1800.90 v -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x58 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 1800.08/1800.90 v -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 1800.08/1800.90 v -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 1800.08/1800.90 v -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 1800.08/1800.90 v -x2696 -x59 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 1800.08/1800.90 v -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x2758 -x60 -x2760 -x2762 1800.08/1800.90 v -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 1800.08/1800.90 v -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 -x2818 -x2820 -x61 -x2822 -x2824 -x2826 -x2828 -x2830 1800.08/1800.90 v -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x62 -x2852 -x2854 -x2856 -x2858 -x2860 -x2862 -x2864 1800.08/1800.90 v -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 1800.08/1800.90 v -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 1800.08/1800.90 v -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2964 -x2966 1800.08/1800.90 v -x2968 -x2970 -x2972 -x2974 -x2976 -x63 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3001 1800.08/1800.90 v -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 1800.08/1800.90 v -x3037 -x64 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 1800.08/1800.90 v -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x65 -x3101 -x3103 1800.08/1800.90 v -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x66 -x3131 -x3133 -x3135 -x3137 1800.08/1800.90 v -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 1800.08/1800.90 v -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x67 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 1800.08/1800.90 v -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 1800.08/1800.90 v -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x68 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 1800.08/1800.90 v -x3276 -x3278 -x3280 -x3282 -x69 -x3284 -x3286 -x3288 -x3291 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 1800.08/1800.90 v -x70 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x71 -x3342 1800.08/1800.90 v -x3344 -x3346 -x3348 -x3350 -x3353 -x72 -x3355 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 1800.08/1800.90 v -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 1800.08/1800.90 v -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 1800.08/1800.90 v -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 1800.08/1800.90 v -x73 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 1800.08/1800.90 v -x3515 -x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x74 -x3543 -x3545 -x3547 1800.08/1800.90 v -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x3578 -x3580 -x3582 1800.08/1800.90 v -x3584 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 -x75 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 1800.08/1800.90 v -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x76 -x3634 -x3636 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650 1800.08/1800.90 v -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 -x3676 -x3678 -x3680 -x3682 -x3684 1800.08/1800.90 v -x3686 -x3688 -x3690 -x3692 -x3694 -x77 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 1800.08/1800.90 v -x3720 -x3722 x3724 -x3726 -x3728 -x3730 -x3732 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 1800.08/1800.90 v -x78 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x79 -x3785 1800.08/1800.90 v -x3787 -x3789 -x3791 -x3793 -x3795 -x3797 -x80 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 1800.08/1800.90 v -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 1800.08/1800.90 v -x3855 -x3857 -x3859 -x81 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 1800.08/1800.90 v -x82 -x3890 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x83 -x3919 -x3921 1800.08/1800.90 v -x3923 -x3925 -x3927 -x3929 -x3931 -x84 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x3951 -x3953 -x3955 1800.08/1800.90 v -x3957 -x3959 -x3961 -x85 -x3963 -x3965 -x3967 -x3969 -x3971 -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 -x3986 -x3988 -x3990 1800.08/1800.90 v -x86 -x3992 -x3994 -x3996 -x3998 -x4000 -x4002 -x4004 -x87 -x4006 -x4008 -x4010 -x4012 -x4014 -x4016 -x4018 -x88 -x4020 1800.08/1800.90 v -x4022 -x4024 -x4026 -x4028 -x4030 -x4032 -x89 -x4034 -x4036 -x4038 -x90 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 1800.08/1800.90 v -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x4082 -x4084 -x4086 1800.08/1800.90 v -x4088 -x4090 -x4092 -x4094 -x4096 -x4098 -x4100 -x4102 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x4116 -x4118 -x4120 1800.08/1800.90 v -x4122 -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 -x4144 -x4146 -x4148 -x4150 -x4152 -x4154 1800.08/1800.90 v -x4156 -x4158 -x4160 -x4163 -x91 -x4165 -x4167 -x4169 -x4171 -x4174 -x4176 -x4178 -x4180 -x4182 -x4184 -x4186 -x4188 -x4190 1800.08/1800.90 v -x4192 -x4194 -x4196 -x4198 -x4200 -x4202 -x4204 -x4206 -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x4220 -x4222 -x4224 1800.08/1800.90 v -x4226 -x4228 -x4230 -x4232 -x4234 -x4236 -x4238 -x4240 -x4242 -x4244 -x4246 -x4248 -x4250 -x4252 -x4254 -x4256 -x4258 1800.08/1800.90 v -x4260 -x4262 -x4264 -x4267 -x4269 -x4271 x4273 -x4275 -x4277 -x4279 -x4281 -x4283 -x4285 x4287 -x4289 -x4291 -x4293 -x4295 1800.08/1800.90 v -x4297 -x4299 -x4301 -x4303 -x4305 -x4308 -x4310 -x4312 -x4314 -x92 -x4316 -x4318 -x4320 -x4322 -x4324 -x4326 -x4328 -x4330 1800.08/1800.90 v -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x4352 -x4354 -x4356 -x4358 -x4360 -x4362 -x4364 1800.08/1800.90 v -x4366 -x4368 -x4370 -x4372 -x4374 -x4376 -x93 -x4378 -x4380 -x4382 -x4384 -x4386 -x4388 -x4390 -x4392 -x4394 -x4396 -x4398 1800.08/1800.90 v -x4400 -x4402 -x4404 -x4406 -x94 -x4408 -x4410 -x4412 -x4414 -x4416 -x4418 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 -x4432 1800.08/1800.90 v -x4434 -x4436 -x4438 -x4440 -x4442 -x4444 -x4446 -x4448 -x4450 -x4452 -x4454 -x4456 -x4458 -x4460 -x4462 -x4464 -x4466 1800.08/1800.90 v -x4468 -x95 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4482 -x4484 -x4486 -x4488 -x4490 -x4492 -x4494 -x4496 -x4498 -x96 1800.08/1800.90 v -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x4516 -x4518 -x4520 -x4522 -x4524 -x4526 -x4528 -x97 -x4530 -x4532 1800.08/1800.90 v -x4534 -x4536 -x4538 -x4540 -x4542 -x98 -x4544 -x4546 -x4548 -x4550 -x4552 -x4554 -x4556 -x4558 -x4560 -x4562 -x4564 -x4566 1800.08/1800.90 v -x4568 -x4570 -x4572 -x4574 -x4576 -x4578 -x4580 -x4582 -x4584 -x4586 -x4588 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 1800.08/1800.90 v -x4602 -x99 -x4605 -x4607 -x4609 -x4611 -x4613 -x4615 -x4617 -x4619 -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x100 1800.08/1800.90 v -x4635 -x4637 -x4639 -x4641 -x4643 -x4645 -x4647 -x4649 -x4651 -x4653 -x4655 -x4657 -x4659 -x4661 -x4663 -x101 -x4665 1800.08/1800.90 v -x4667 -x4669 -x4671 -x4673 -x4675 -x4677 -x102 -x4679 -x4681 -x4683 -x4685 -x4687 -x4689 -x4691 -x4693 -x4695 -x4697 1800.08/1800.90 v -x4699 -x4701 -x4703 -x4705 -x4707 -x103 -x4709 -x4711 -x4713 -x4715 -x4717 -x4719 -x4721 -x4724 -x4726 -x4728 -x4730 1800.08/1800.90 v -x4732 -x4734 -x4736 -x104 -x4738 -x4740 -x4742 -x4744 -x4746 -x4748 -x4750 -x105 -x4752 -x4754 -x4756 -x4758 -x4760 -x4762 1800.08/1800.90 v -x4764 -x4766 -x4768 -x4770 -x4772 -x4774 -x4776 -x4778 -x4780 -x106 -x4782 -x4784 -x4786 -x4788 -x4790 -x4792 -x4794 1800.08/1800.90 v -x107 -x4796 -x4798 -x4800 -x4802 -x4804 -x4806 -x4808 -x108 -x4810 -x4812 -x4814 -x4816 -x4818 -x4820 -x4822 -x4824 -x4826 1800.08/1800.90 v -x4828 -x4830 x4832 -x4834 -x4836 -x4838 -x4840 -x4842 -x4844 -x4846 -x4848 -x4850 -x4852 -x4854 -x4856 -x4858 -x4860 1800.08/1800.90 v -x4862 -x4864 -x4866 -x4868 -x4870 -x4872 -x4874 -x4876 -x109 -x4878 -x4880 -x4882 -x4884 -x4886 -x4888 -x4890 -x4892 1800.08/1800.90 v -x4894 -x4896 -x4898 -x4900 -x4902 -x4904 -x4906 -x4908 -x4910 -x4912 -x4914 -x4916 -x4918 -x4920 -x4922 -x4924 -x4926 1800.08/1800.90 v -x4928 -x4930 -x4932 -x4934 -x4936 -x4938 -x110 -x4940 -x4942 -x4944 -x4946 -x4948 -x4951 -x4953 -x4955 -x4957 -x4959 1800.08/1800.90 v -x4961 -x4963 -x4965 -x4967 -x111 -x4969 -x4971 -x4973 -x4975 -x4977 -x4979 -x4981 -x4983 -x4985 -x4987 -x4989 -x4991 1800.08/1800.90 v -x4993 -x4995 -x4997 -x112 -x4999 -x5001 -x5003 -x5005 -x5007 -x5009 -x5011 -x5013 -x5015 -x5017 -x5019 -x5021 -x5023 1800.08/1800.90 v -x5025 -x5027 -x113 -x5029 -x5031 -x5033 -x5035 -x5037 -x5039 -x5041 -x114 -x5043 -x5045 -x5047 -x5049 -x5051 -x5053 -x5055 1800.08/1800.90 v -x5057 -x5059 -x5061 -x5063 -x5065 -x5067 -x5069 -x5071 -x115 -x5073 -x5075 -x5077 -x5079 -x5081 -x5083 -x5085 -x5087 1800.08/1800.90 v -x5089 -x5091 -x5093 -x5095 -x5097 -x5099 -x5101 -x116 -x5103 -x5105 -x5107 -x5109 -x5111 -x5113 -x5115 -x117 -x5117 -x5119 1800.08/1800.90 v -x5121 -x5123 -x5125 -x5127 -x5129 -x5131 -x5133 -x5135 -x5137 -x5139 -x5141 -x5143 -x5145 -x118 -x5147 -x5149 -x5151 1800.08/1800.90 v -x5153 -x5155 -x5157 -x5159 -x119 -x5161 -x5163 -x5165 -x5167 -x5169 -x5171 -x5173 -x120 -x5175 -x5177 -x5179 -x121 -x5181 1800.08/1800.90 v -x5183 -x5185 -x5187 -x5189 -x5191 -x5193 -x5195 -x5197 -x5199 -x5201 -x5203 -x5205 -x5208 -x122 -x5210 -x5212 -x5214 1800.08/1800.90 v -x5216 -x5218 -x5220 -x5222 -x5224 -x5227 -x5229 -x5231 -x5233 -x5235 -x5237 -x5239 -x5241 -x5243 x5245 -x5247 -x5249 1800.08/1800.90 v -x5251 -x123 -x5253 -x5255 -x5257 -x5259 -x5261 -x5263 -x5265 -x124 -x5267 -x5269 -x5271 -x5273 -x5275 -x5277 -x5279 -x125 1800.08/1800.90 v -x5281 -x5283 -x126 -x5285 -x5287 -x5289 -x5291 -x5293 -x5295 -x5297 -x127 -x5299 -x5301 -x5303 -x5305 -x5307 -x5309 -x5311 1800.08/1800.90 v -x128 -x5313 -x5315 -x5317 -x129 -x5319 -x5321 -x5323 -x5326 -x5328 -x5330 -x130 -x5332 -x5334 -x5336 -x131 -x5338 -x5340 1800.08/1800.90 v x132 -x5343 -x133 -x5345 -x5347 -x5349 -x5352 -x5354 -x5356 -x5358 -x5360 -x5362 -x5364 -x5366 -x5368 -x5370 -x5372 -x5374 1800.08/1800.90 v -x5376 -x5378 -x5380 -x5382 -x5384 -x5386 -x5388 -x5390 -x5392 -x5394 -x5396 -x5398 -x5400 -x5402 -x5404 -x5406 -x5408 1800.08/1800.90 v -x5410 -x5412 -x5414 -x5416 -x5418 -x5420 -x5422 -x5424 -x5426 -x5428 -x5430 -x5432 -x5434 -x5436 -x5438 -x5440 -x5442 1800.08/1800.90 v -x5444 -x5446 -x5448 -x5450 -x5452 -x5454 -x5456 -x5458 -x5460 -x5462 -x5464 -x5466 -x5468 -x134 -x5470 -x5472 -x5474 1800.08/1800.90 v -x5476 -x5478 -x5480 -x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -x5494 -x5496 -x5498 -x5500 -x5502 -x5504 -x5506 -x5508 1800.08/1800.90 v -x5510 -x5512 -x5514 -x5516 -x5518 -x5520 -x5522 -x5524 -x5526 -x5528 -x5530 -x5532 -x5534 -x5536 -x5538 -x5540 -x5542 1800.08/1800.90 v -x5544 -x5546 -x5548 -x5550 -x5552 -x5554 -x5556 -x5558 -x5560 -x5562 -x5564 -x5566 -x5568 -x5570 -x5572 -x5574 -x5576 1800.08/1800.90 v -x5578 -x5580 -x5582 -x5584 -x5586 -x5588 -x5590 -x5592 -x5594 -x135 -x5596 -x5598 -x5600 -x5602 -x5604 -x5606 -x5608 1800.08/1800.90 v -x5610 -x5612 -x5614 -x5616 -x5618 -x5620 -x5622 -x5624 -x5626 -x5628 -x5630 -x5632 -x5634 -x5637 -x5639 -x5641 -x5643 1800.08/1800.90 v -x5645 -x5647 -x5649 -x5651 -x5653 -x5655 -x136 -x5657 -x5659 -x5661 -x5663 -x5665 -x5667 -x5669 -x5671 -x5673 -x5675 1800.08/1800.90 v -x5677 -x5679 -x5681 -x5683 -x5685 -x5687 -x5689 -x5691 -x5693 -x5695 -x5697 -x5699 -x5701 -x5703 -x5705 -x5707 -x5709 1800.08/1800.90 v -x5711 -x5713 -x5715 -x5717 -x137 -x5719 -x5721 -x5723 -x5725 -x5727 -x5729 -x5731 -x5733 -x5735 -x5737 -x5739 -x5741 1800.08/1800.90 v -x5743 -x5745 -x5747 -x5749 -x5751 -x5753 -x5755 -x5757 -x5759 -x5761 -x5763 -x5765 -x5767 -x5769 -x5771 -x5773 -x5775 1800.08/1800.90 v -x5777 -x5779 -x138 -x5781 -x5783 -x5786 -x5788 -x5790 -x5792 -x5794 -x5796 -x5798 -x5800 -x5802 -x5804 -x5806 -x5808 1800.08/1800.90 v -x139 -x5810 -x5812 -x5814 -x5816 -x5818 -x5820 -x5822 -x5824 -x5826 -x5828 -x5830 -x5832 -x5834 -x5836 -x5838 -x5840 1800.08/1800.90 v -x5842 -x5844 -x5846 -x5848 -x5850 -x5852 -x5854 -x5856 -x5858 -x5860 -x5862 -x5864 -x5866 -x5868 -x5870 -x140 -x5872 1800.08/1800.90 v -x5874 -x5876 -x5878 -x5880 -x5882 -x5884 -x5886 -x5888 -x5890 -x5892 -x5894 -x5896 -x5898 -x5900 -x5902 -x5904 -x5906 1800.08/1800.90 v -x5908 -x5910 -x5912 -x5914 -x5916 -x5918 -x5920 -x5922 -x5924 -x5926 -x5928 -x5930 -x5932 -x141 -x5934 -x5936 -x5938 1800.08/1800.90 v -x5940 -x5942 -x5944 -x5946 -x5948 -x5951 -x5953 -x5955 -x5957 -x5959 -x5961 -x142 -x5963 -x5966 -x5968 -x5970 -x5972 1800.08/1800.90 v -x5974 -x5977 -x5979 -x5981 -x5983 -x5985 -x5987 -x5989 -x143 -x5991 -x5993 -x5995 -x5997 -x5999 -x6001 -x6003 -x6005 1800.08/1800.90 v -x6007 -x6009 -x6012 -x6014 -x6016 x6018 x144 -x6020 -x6022 -x6025 -x6027 -x6029 -x6031 -x145 -x6033 -x6035 -x6037 -x6039 1800.08/1800.90 v -x6041 -x6043 -x6045 -x6047 -x6049 -x6051 -x6053 -x6055 -x6057 -x6059 -x6061 -x6063 -x6065 -x6068 -x6070 -x6072 -x6074 1800.08/1800.90 v -x6076 -x6078 -x6080 -x6082 -x6084 -x6086 -x6088 -x6090 -x6092 -x146 -x6094 -x6096 -x6098 -x6100 -x6102 -x6104 -x6106 1800.08/1800.90 v -x6108 -x6110 -x6112 -x6115 -x6117 -x6119 -x6121 -x6123 -x6125 -x6127 -x6129 -x6131 -x6133 -x6135 -x6137 -x6139 -x6141 1800.08/1800.90 v -x6143 -x6145 -x6147 -x6149 -x6151 -x6153 -x6155 -x6157 -x6159 -x6161 -x6163 -x6165 -x6167 -x6169 x6171 -x6173 -x6175 1800.08/1800.90 v -x6178 -x6180 -x147 -x6182 -x6184 -x6186 -x6188 -x6190 -x6192 -x6194 -x6196 -x6198 -x6200 -x6202 -x6204 -x6207 -x6209 1800.08/1800.90 v -x148 -x6211 -x6213 -x6215 -x6217 -x6219 -x6221 -x6223 -x6225 -x6227 -x6229 -x6231 -x6233 -x6235 -x6237 -x6239 -x149 -x6241 1800.08/1800.90 v -x6243 -x6245 -x6247 -x6249 -x6251 -x6253 -x150 -x6255 -x6257 -x6259 -x6261 -x6263 -x6265 -x6267 -x6269 -x6271 -x6274 1800.08/1800.90 v -x6276 -x6278 -x6280 -x6282 -x6284 -x6286 -x6288 -x6290 -x6292 -x6294 -x6296 -x6298 -x6300 -x6302 -x6304 -x6306 -x6308 1800.08/1800.90 v -x6310 -x6312 -x6314 -x151 -x6316 -x6318 -x6320 -x6323 -x6325 -x6328 -x6330 -x6332 -x6334 -x6336 -x6338 -x6340 -x6342 1800.08/1800.90 v -x152 -x6344 -x6346 -x6348 -x6350 -x6352 -x6354 -x6356 -x6358 -x6361 -x6363 -x6365 -x6367 -x6369 -x6371 x6373 -x6375 -x6377 1800.08/1800.90 v -x6379 -x6381 -x6383 -x6385 -x153 -x6387 -x6389 -x6392 -x6394 -x6396 -x6398 -x6400 -x6402 -x6404 -x6406 -x6408 -x6410 1800.08/1800.90 v -x6412 x6414 -x6416 -x6418 -x6420 -x6422 -x6424 -x6426 -x6428 -x154 -x6430 -x6432 -x6434 -x6436 -x6438 -x6440 x6442 x155 1800.08/1800.90 v -x6444 -x6446 -x6448 -x156 -x6450 -x6452 -x6454 -x6456 -x6458 -x6460 -x6462 -x6464 -x6466 -x6468 -x6470 -x6472 -x6474 1800.08/1800.90 v -x6476 -x6478 -x6480 -x6482 -x6484 -x6486 -x6488 -x6490 -x6492 -x6494 -x6496 -x6498 -x6500 -x6502 -x6504 -x6506 -x6508 1800.08/1800.90 v -x157 -x6510 -x6512 -x6514 -x6516 -x6518 -x6520 -x6522 -x6524 -x6526 -x6528 -x6530 -x6532 -x6534 -x6536 -x6538 -x6540 1800.08/1800.90 v -x6542 -x6544 -x6546 -x6548 -x6550 -x6552 -x6554 -x6556 -x6558 -x6560 -x6562 -x6564 -x6566 -x6568 -x6570 -x158 -x6572 1800.08/1800.90 v -x6574 -x6576 -x6578 -x6580 -x6582 -x6584 -x6586 -x6588 -x6590 -x6592 -x6594 -x6596 -x6598 -x159 -x6601 -x6603 -x6605 1800.08/1800.90 v -x6607 -x6609 -x6611 -x6613 -x6615 -x6617 -x6619 -x6621 -x6623 -x6625 -x6627 -x6629 -x160 -x6631 -x6633 -x6635 -x6637 1800.08/1800.90 v -x6639 -x6641 -x6643 -x6645 -x6647 -x6649 -x6651 -x6653 -x6655 -x6657 -x6659 -x161 -x6661 -x6663 -x6665 -x6667 -x6669 1800.08/1800.90 v -x6671 -x6673 -x162 -x6675 -x6677 -x6679 -x6681 -x6683 -x6685 -x6687 -x6689 -x6692 -x6694 -x6696 -x6698 -x6700 -x6702 1800.08/1800.90 v -x163 -x6704 -x6706 -x6708 -x6710 -x6712 -x6714 -x6716 -x6718 -x6720 -x6722 -x6724 -x6726 -x6728 -x6730 -x6732 -x164 -x6734 1800.08/1800.90 v -x6736 -x6738 -x6740 -x6742 -x6744 -x6746 -x6748 -x6750 -x6752 -x6754 -x6756 x6758 -x6760 -x165 -x6762 -x6764 -x6766 -x6768 1800.08/1800.90 v -x6770 -x6772 x6774 x166 -x6776 -x6778 -x6780 -x167 -x6782 -x6784 -x6786 -x6788 -x6790 -x6792 -x6794 -x6796 -x6798 -x6800 1800.08/1800.90 v -x6802 -x6804 -x6806 -x6808 -x6810 -x168 -x6812 -x6814 -x6816 -x6818 -x6820 -x6822 -x6824 -x6826 -x6828 -x6830 -x6832 1800.08/1800.90 v -x6834 -x6836 -x6838 -x6840 -x169 -x6842 -x6844 -x6846 -x6848 -x6850 -x6852 -x6854 -x170 -x6856 -x6858 -x6860 -x6862 -x6864 1800.08/1800.90 v -x6866 -x6868 -x171 -x6870 -x6872 -x6874 -x6876 -x6878 -x6880 -x6882 -x172 -x6884 -x6886 -x6888 -x6890 -x6892 -x6894 -x6896 1800.08/1800.90 v x6898 -x6900 -x6902 -x6904 -x6906 -x6908 -x6910 -x6912 -x6914 -x6916 -x6918 -x173 -x6920 -x6922 -x6924 -x6926 -x6928 -x6930 1800.08/1800.90 v -x6932 -x174 -x6934 -x6936 -x6938 -x6940 -x6942 -x6944 -x6946 -x175 -x6948 -x6950 x176 -x6953 -x6955 -x6957 -x6959 x6961 1800.08/1800.90 v -x6963 -x6965 -x177 -x6967 -x6969 x6971 x178 -x6973 -x6975 -x179 -x6978 -x180 -x6980 -x6982 -x6984 -x6986 -x6988 -x6990 1800.08/1800.90 v -x6992 -x6994 -x6996 -x6998 -x7000 -x7002 -x7004 -x7006 -x7008 -x7010 -x7012 -x7014 -x7016 -x7018 -x7020 -x7022 -x7024 1800.08/1800.90 v -x7026 -x7028 -x7030 -x7032 -x7034 -x7036 -x7038 -x7040 -x181 -x7042 -x7044 -x7046 -x7048 -x7050 -x7052 -x7054 -x7056 1800.08/1800.90 v -x7058 -x7060 -x7062 -x7064 -x7066 -x7068 -x7070 -x7072 -x7074 -x7076 -x7078 -x7080 -x7082 -x7084 -x7086 -x7088 -x7090 1800.08/1800.90 v -x7092 -x7094 -x7096 -x7098 -x7100 -x7102 -x182 -x7105 -x7107 -x7109 -x7111 -x7113 -x7115 -x7117 -x7119 -x7121 -x7123 1800.08/1800.90 v -x7125 -x7127 -x7129 -x7131 -x183 -x7133 -x7135 -x7137 -x7139 -x7141 -x7143 -x7145 -x7148 -x7150 -x7152 -x7154 -x7156 1800.08/1800.90 v -x7158 -x7160 -x184 -x7162 -x7164 -x7166 -x7168 -x7170 -x7172 -x7174 -x7176 -x7178 -x7180 -x7182 -x7184 -x7187 -x7189 1800.08/1800.90 v -x7191 -x7194 -x7196 -x7198 -x7200 -x7202 -x185 -x7204 -x7206 -x7208 -x7210 -x7212 -x7214 -x7216 -x7218 -x7220 -x7222 1800.08/1800.90 v -x7224 -x7226 -x7228 -x7230 -x7232 -x186 -x7234 -x7236 -x7238 -x7240 -x7242 -x7244 -x7246 -x7248 -x7250 -x7252 -x7254 1800.08/1800.90 v -x7256 -x7258 -x7260 -x7262 -x187 -x7264 -x7266 -x7268 -x7270 -x7272 -x7274 -x7276 -x188 -x7278 -x7280 -x7282 -x7284 -x7286 1800.08/1800.90 v -x7288 -x7290 -x7292 -x7294 -x7296 -x7298 -x7300 -x7302 -x7304 -x7306 -x189 -x7308 -x7310 -x7312 -x7314 -x7316 -x7318 1800.08/1800.90 v -x7320 -x190 -x7322 -x7324 -x7326 -x7328 -x7330 -x7332 -x7334 -x191 -x7336 -x7338 -x7340 -x192 -x7342 -x7344 -x7346 -x7348 1800.08/1800.90 v -x7350 -x7352 -x7354 -x7356 -x7358 -x7360 -x7362 -x7364 -x7366 -x7368 -x193 -x7370 -x7372 -x7374 -x7376 -x7378 -x7380 1800.08/1800.90 v -x7382 -x7384 -x7386 -x7388 -x7390 -x7392 -x7394 -x7396 -x7398 -x194 -x7400 -x7402 -x7404 -x7406 -x7408 -x7410 -x7412 1800.08/1800.90 v -x195 -x7414 -x7416 -x7418 -x7420 -x7422 -x7424 -x196 -x7426 -x7428 -x7430 -x7432 -x7434 -x7436 -x7438 -x197 -x7440 -x7442 1800.08/1800.90 v -x7444 -x198 -x7446 -x7448 -x7450 -x7452 -x7454 -x7456 -x7458 -x7460 -x7462 -x7464 -x7466 -x7468 -x7470 -x7472 -x7474 1800.08/1800.90 v -x199 -x7476 -x7478 -x7480 -x7482 -x7484 -x7486 -x7488 -x200 -x7490 -x7492 -x7494 -x7496 -x7498 -x7500 x7502 x201 -x7504 1800.08/1800.90 v -x7506 -x202 -x7508 -x7510 -x7512 -x7514 -x7516 -x7519 -x203 -x7521 -x7523 -x7525 -x204 -x7527 -x7529 x205 -x7532 -x206 1800.08/1800.90 v -x7534 -x7536 -x7538 -x7540 -x7542 -x7544 -x7546 -x7548 -x7550 -x7552 -x7554 -x7556 -x7558 -x7560 -x7562 -x7564 -x7566 1800.08/1800.90 v -x7568 -x7570 -x7572 -x7574 -x7576 -x7578 -x7580 -x7583 -x7585 -x7587 -x207 -x7589 -x7591 -x7593 -x7595 -x7597 -x7599 1800.08/1800.90 v -x7601 -x7603 -x7605 -x7607 -x7609 -x7611 -x7613 -x7615 -x7617 -x208 -x7619 -x7621 -x7623 -x7625 -x7627 -x7629 -x7631 1800.08/1800.90 v -x7633 -x7635 -x7637 -x7639 -x7641 -x7643 -x7645 -x7647 x209 -x7649 -x7651 -x7653 -x7656 x7658 -x7660 -x210 -x7662 -x7664 1800.08/1800.90 v -x7666 -x7668 -x7670 -x7672 -x7674 -x7676 -x7678 -x7680 -x7682 -x7684 -x7686 -x7688 -x7690 -x211 -x7692 -x7694 -x7696 1800.08/1800.90 v -x7698 -x7700 -x7702 -x7704 -x212 -x7706 -x7708 -x7710 -x7712 -x7714 -x7716 -x7718 -x213 -x7720 -x7722 -x7724 -x214 -x7726 1800.08/1800.90 v -x7728 -x7730 -x7732 -x7734 -x7736 -x7738 -x7740 -x7742 -x7744 -x7746 -x7748 -x7750 -x7752 -x7754 -x215 -x7756 -x7758 1800.08/1800.90 v -x7760 -x7762 -x7764 -x7766 -x7768 -x216 -x7770 -x7772 -x7774 -x7776 -x7778 -x7780 -x7782 -x217 -x7784 -x7786 -x7788 -x218 1800.08/1800.90 v -x7790 -x7792 -x7795 -x7797 -x7799 -x7801 -x219 -x7803 -x7805 -x7807 -x220 -x7809 -x7811 x221 -x7814 -x222 -x7816 -x7818 1800.08/1800.90 v -x7820 -x7822 -x7824 -x7826 -x7828 -x7830 -x7832 -x7834 -x7836 -x7838 -x7840 -x223 -x7842 -x7845 -x7847 -x7849 -x7851 1800.08/1800.90 v -x7853 -x224 -x7855 -x7857 -x7859 -x7861 -x7863 -x7865 -x7867 -x225 -x7869 -x7871 -x7873 -x226 -x7876 -x7878 -x7880 -x7882 1800.08/1800.90 v -x7884 -x7886 -x227 -x7888 -x7890 -x228 -x7892 -x7894 -x229 -x7897 -x230 -x7899 -x7902 -x7904 -x7906 -x7908 -x231 -x7910 1800.08/1800.90 v -x7912 -x7914 -x232 -x7916 -x7918 -x233 -x7921 x7923 -x234 x235
OK 32
/tmp/evaluation/372799-1177134765/instance-372799-1177134765.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node40/watcher-372799-1177134765 -o ROOT/results/node40/solver-372799-1177134765 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372799-1177134765/minisat+ /tmp/evaluation/372799-1177134765/instance-372799-1177134765.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 21615 /proc/meminfo: memFree=1753192/2055920 swapFree=4120544/4192956 [pid=21615] ppid=21613 vsize=1352 CPUtime=0 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 188 0 0 0 0 0 0 0 18 0 1 0 42356043 1384448 173 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134569953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 338 173 67 215 0 120 0 [startup+0.0878521 s] /proc/loadavg: 0.92 0.98 0.99 3/77 21615 /proc/meminfo: memFree=1753192/2055920 swapFree=4120544/4192956 [pid=21615] ppid=21613 vsize=2656 CPUtime=0.08 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 501 0 0 0 8 0 0 0 18 0 1 0 42356043 2719744 486 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 664 486 74 215 0 446 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2656 [startup+0.101855 s] /proc/loadavg: 0.92 0.98 0.99 3/77 21615 /proc/meminfo: memFree=1753192/2055920 swapFree=4120544/4192956 [pid=21615] ppid=21613 vsize=2788 CPUtime=0.09 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 542 0 0 0 9 0 0 0 18 0 1 0 42356043 2854912 527 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 697 527 74 215 0 479 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2788 [startup+0.301897 s] /proc/loadavg: 0.92 0.98 0.99 3/77 21615 /proc/meminfo: memFree=1753192/2055920 swapFree=4120544/4192956 [pid=21615] ppid=21613 vsize=4632 CPUtime=0.29 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 980 0 0 0 29 0 0 0 19 0 1 0 42356043 4743168 965 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 1158 965 74 215 0 940 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4632 [startup+0.701981 s] /proc/loadavg: 0.92 0.98 0.99 3/77 21615 /proc/meminfo: memFree=1753192/2055920 swapFree=4120544/4192956 [pid=21615] ppid=21613 vsize=7728 CPUtime=0.69 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 1776 0 0 0 69 0 0 0 23 0 1 0 42356043 7913472 1761 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 1932 1761 75 215 0 1714 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7728 [startup+1.50115 s] /proc/loadavg: 0.92 0.98 0.99 2/78 21616 /proc/meminfo: memFree=1744224/2055920 swapFree=4120544/4192956 [pid=21615] ppid=21613 vsize=9956 CPUtime=1.48 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 2390 0 0 0 145 3 0 0 22 0 1 0 42356043 10194944 2328 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134530481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 2489 2328 104 215 0 2271 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 9956 [startup+3.10248 s] /proc/loadavg: 0.92 0.98 0.99 2/78 21616 /proc/meminfo: memFree=1743968/2055920 swapFree=4120544/4192956 [pid=21615] ppid=21613 vsize=10108 CPUtime=3.09 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 2421 0 0 0 306 3 0 0 25 0 1 0 42356043 10350592 2359 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134648473 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 2527 2359 104 215 0 2309 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10108 [startup+6.30115 s] /proc/loadavg: 0.93 0.98 0.99 2/78 21616 /proc/meminfo: memFree=1743584/2055920 swapFree=4120544/4192956 [pid=21615] ppid=21613 vsize=10396 CPUtime=6.28 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 2510 0 0 0 625 3 0 0 25 0 1 0 42356043 10645504 2448 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134530490 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 2599 2448 104 215 0 2381 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 10396 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 0.99 2/78 21616 /proc/meminfo: memFree=1731744/2055920 swapFree=4120544/4192956 [pid=21615] ppid=21613 vsize=24312 CPUtime=12.69 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 6404 0 0 0 1263 6 0 0 25 0 1 0 42356043 24895488 5621 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134579520 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 6078 5621 123 215 0 5860 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24312 [startup+25.5012 s] /proc/loadavg: 0.95 0.98 0.99 2/78 21616 /proc/meminfo: memFree=1714592/2055920 swapFree=4120544/4192956 [pid=21615] ppid=21613 vsize=40772 CPUtime=25.48 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 10502 0 0 0 2540 8 0 0 25 0 1 0 42356043 41750528 9719 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 10193 9719 123 215 0 9975 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 40772 [startup+51.1015 s] /proc/loadavg: 0.96 0.98 0.99 2/78 21616 /proc/meminfo: memFree=1705952/2055920 swapFree=4120544/4192956 [pid=21615] ppid=21613 vsize=49168 CPUtime=51.07 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 12866 0 0 0 5098 9 0 0 25 0 1 0 42356043 50348032 11817 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 12292 11817 123 215 0 12074 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49168 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/78 21616 /proc/meminfo: memFree=1674592/2055920 swapFree=4120608/4192956 [pid=21615] ppid=21613 vsize=80564 CPUtime=102.25 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 20706 0 0 0 10207 18 0 0 25 0 1 0 42356043 82497536 19657 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 20141 19657 123 215 0 19923 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 80564 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21616 /proc/meminfo: memFree=1668384/2055920 swapFree=4120608/4192956 [pid=21615] ppid=21613 vsize=86624 CPUtime=162.22 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 22228 0 0 0 16202 20 0 0 25 0 1 0 42356043 88702976 21179 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134579770 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 21656 21179 123 215 0 21438 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 86624 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21616 /proc/meminfo: memFree=1664736/2055920 swapFree=4120608/4192956 [pid=21615] ppid=21613 vsize=90312 CPUtime=222.21 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 23178 0 0 0 22199 22 0 0 25 0 1 0 42356043 92479488 22129 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581436 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 22578 22129 123 215 0 22360 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 90312 [startup+282.303 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21616 /proc/meminfo: memFree=1655840/2055920 swapFree=4120672/4192956 [pid=21615] ppid=21613 vsize=99168 CPUtime=282.18 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 25351 0 0 0 28194 24 0 0 25 0 1 0 42356043 101548032 24302 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 24792 24302 123 215 0 24574 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 99168 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21616 /proc/meminfo: memFree=1655840/2055920 swapFree=4120672/4192956 [pid=21615] ppid=21613 vsize=99168 CPUtime=342.16 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 25351 0 0 0 34191 25 0 0 25 0 1 0 42356043 101548032 24302 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 24792 24302 123 215 0 24574 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 99168 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21616 /proc/meminfo: memFree=1655840/2055920 swapFree=4120672/4192956 [pid=21615] ppid=21613 vsize=99168 CPUtime=402.13 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 25351 0 0 0 40188 25 0 0 25 0 1 0 42356043 101548032 24302 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 24792 24302 123 215 0 24574 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 99168 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21616 /proc/meminfo: memFree=1655840/2055920 swapFree=4120736/4192956 [pid=21615] ppid=21613 vsize=99168 CPUtime=462.11 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 25351 0 0 0 46185 26 0 0 25 0 1 0 42356043 101548032 24302 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 24792 24302 123 215 0 24574 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 99168 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/84 21754 /proc/meminfo: memFree=1654440/2055920 swapFree=4120736/4192956 [pid=21615] ppid=21613 vsize=99168 CPUtime=522.01 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 25352 0 0 0 52174 27 0 0 25 0 1 0 42356043 101548032 24303 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 24792 24303 123 215 0 24574 0 Current children cumulated CPU time (s) 522.01 Current children cumulated vsize (KiB) 99168 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21814 /proc/meminfo: memFree=1655456/2055920 swapFree=4120736/4192956 [pid=21615] ppid=21613 vsize=99168 CPUtime=581.95 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 25352 0 0 0 58168 27 0 0 25 0 1 0 42356043 101548032 24303 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 24792 24303 123 215 0 24574 0 Current children cumulated CPU time (s) 581.95 Current children cumulated vsize (KiB) 99168 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21814 /proc/meminfo: memFree=1655520/2055920 swapFree=4120800/4192956 [pid=21615] ppid=21613 vsize=99168 CPUtime=641.93 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 25352 0 0 0 64166 27 0 0 25 0 1 0 42356043 101548032 24303 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 24792 24303 123 215 0 24574 0 Current children cumulated CPU time (s) 641.93 Current children cumulated vsize (KiB) 99168 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21814 /proc/meminfo: memFree=1655584/2055920 swapFree=4120864/4192956 [pid=21615] ppid=21613 vsize=99168 CPUtime=881.83 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 25363 0 0 0 88154 29 0 0 25 0 1 0 42356043 101548032 24314 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 24792 24314 123 215 0 24574 0 Current children cumulated CPU time (s) 881.83 Current children cumulated vsize (KiB) 99168 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21814 /proc/meminfo: memFree=1655712/2055920 swapFree=4120928/4192956 [pid=21615] ppid=21613 vsize=99168 CPUtime=941.81 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 25363 0 0 0 94151 30 0 0 25 0 1 0 42356043 101548032 24314 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 24792 24314 123 215 0 24574 0 Current children cumulated CPU time (s) 941.81 Current children cumulated vsize (KiB) 99168 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21814 /proc/meminfo: memFree=1655840/2055920 swapFree=4120928/4192956 [pid=21615] ppid=21613 vsize=99168 CPUtime=1001.79 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 25363 0 0 0 100149 30 0 0 25 0 1 0 42356043 101548032 24314 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 24792 24314 123 215 0 24574 0 Current children cumulated CPU time (s) 1001.79 Current children cumulated vsize (KiB) 99168 [startup+1062.3 s] /proc/loadavg: 1.07 1.00 1.00 2/78 21814 /proc/meminfo: memFree=1655776/2055920 swapFree=4120928/4192956 [pid=21615] ppid=21613 vsize=99168 CPUtime=1061.77 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 25373 0 0 0 106146 31 0 0 25 0 1 0 42356043 101548032 24324 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 24792 24324 123 215 0 24574 0 Current children cumulated CPU time (s) 1061.77 Current children cumulated vsize (KiB) 99168 [startup+1122.3 s] /proc/loadavg: 1.02 1.00 1.00 2/78 21814 /proc/meminfo: memFree=1654880/2055920 swapFree=4120992/4192956 [pid=21615] ppid=21613 vsize=100100 CPUtime=1121.75 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 25601 0 0 0 112143 32 0 0 25 0 1 0 42356043 102502400 24552 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 25025 24552 123 215 0 24807 0 Current children cumulated CPU time (s) 1121.75 Current children cumulated vsize (KiB) 100100 [startup+1182.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 21814 /proc/meminfo: memFree=1654112/2055920 swapFree=4120992/4192956 [pid=21615] ppid=21613 vsize=100784 CPUtime=1181.72 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 25798 0 0 0 118140 32 0 0 25 0 1 0 42356043 103202816 24692 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574387 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 25196 24692 123 215 0 24978 0 Current children cumulated CPU time (s) 1181.72 Current children cumulated vsize (KiB) 100784 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21814 /proc/meminfo: memFree=1654112/2055920 swapFree=4121056/4192956 [pid=21615] ppid=21613 vsize=100784 CPUtime=1241.7 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 25798 0 0 0 124137 33 0 0 25 0 1 0 42356043 103202816 24692 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 25196 24692 123 215 0 24978 0 Current children cumulated CPU time (s) 1241.7 Current children cumulated vsize (KiB) 100784 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21814 /proc/meminfo: memFree=1654176/2055920 swapFree=4121056/4192956 [pid=21615] ppid=21613 vsize=100784 CPUtime=1301.67 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 25798 0 0 0 130134 33 0 0 25 0 1 0 42356043 103202816 24692 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 25196 24692 123 215 0 24978 0 Current children cumulated CPU time (s) 1301.67 Current children cumulated vsize (KiB) 100784 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21814 /proc/meminfo: memFree=1654176/2055920 swapFree=4121056/4192956 [pid=21615] ppid=21613 vsize=100784 CPUtime=1361.65 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 25798 0 0 0 136131 34 0 0 25 0 1 0 42356043 103202816 24692 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 25196 24692 123 215 0 24978 0 Current children cumulated CPU time (s) 1361.65 Current children cumulated vsize (KiB) 100784 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21816 /proc/meminfo: memFree=1648608/2055920 swapFree=4121120/4192956 [pid=21615] ppid=21613 vsize=106464 CPUtime=1421.63 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 27223 0 0 0 142127 36 0 0 25 0 1 0 42356043 109019136 26117 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 26616 26117 123 215 0 26398 0 Current children cumulated CPU time (s) 1421.63 Current children cumulated vsize (KiB) 106464 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21816 /proc/meminfo: memFree=1648544/2055920 swapFree=4121120/4192956 [pid=21615] ppid=21613 vsize=106636 CPUtime=1481.6 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 27236 0 0 0 148124 36 0 0 25 0 1 0 42356043 109195264 26130 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 26659 26130 123 215 0 26441 0 Current children cumulated CPU time (s) 1481.6 Current children cumulated vsize (KiB) 106636 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21816 /proc/meminfo: memFree=1644448/2055920 swapFree=4121184/4192956 [pid=21615] ppid=21613 vsize=110748 CPUtime=1541.58 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 28285 0 0 0 154120 38 0 0 25 0 1 0 42356043 113405952 27179 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 27687 27179 123 215 0 27469 0 Current children cumulated CPU time (s) 1541.58 Current children cumulated vsize (KiB) 110748 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21816 /proc/meminfo: memFree=1631584/2055920 swapFree=4121184/4192956 [pid=21615] ppid=21613 vsize=123644 CPUtime=1601.56 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 31472 0 0 0 160113 43 0 0 25 0 1 0 42356043 126611456 30366 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 30911 30366 123 215 0 30693 0 Current children cumulated CPU time (s) 1601.56 Current children cumulated vsize (KiB) 123644 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21816 /proc/meminfo: memFree=1631520/2055920 swapFree=4121184/4192956 [pid=21615] ppid=21613 vsize=123644 CPUtime=1661.53 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 31473 0 0 0 166110 43 0 0 25 0 1 0 42356043 126611456 30367 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 30911 30367 123 215 0 30693 0 Current children cumulated CPU time (s) 1661.53 Current children cumulated vsize (KiB) 123644 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21816 /proc/meminfo: memFree=1631584/2055920 swapFree=4121248/4192956 [pid=21615] ppid=21613 vsize=123644 CPUtime=1721.51 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 31473 0 0 0 172107 44 0 0 25 0 1 0 42356043 126611456 30367 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 30911 30367 123 215 0 30693 0 Current children cumulated CPU time (s) 1721.51 Current children cumulated vsize (KiB) 123644 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21816 /proc/meminfo: memFree=1617120/2055920 swapFree=4121248/4192956 [pid=21615] ppid=21613 vsize=138036 CPUtime=1781.49 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 35078 0 0 0 178101 48 0 0 25 0 1 0 42356043 141348864 33972 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 34509 33972 123 215 0 34291 0 Current children cumulated CPU time (s) 1781.49 Current children cumulated vsize (KiB) 138036 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21816 /proc/meminfo: memFree=1617120/2055920 swapFree=4121248/4192956 [pid=21615] ppid=21613 vsize=138036 CPUtime=1800.08 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 35078 0 0 0 179960 48 0 0 25 0 1 0 42356043 141348864 33972 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 34509 33972 123 215 0 34291 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 138036 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21816 /proc/meminfo: memFree=1617120/2055920 swapFree=4121248/4192956 [pid=21615] ppid=21613 vsize=138036 CPUtime=1800.08 /proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 35078 0 0 0 179960 48 0 0 25 0 1 0 42356043 141348864 33972 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21615/statm: 34509 33972 123 215 0 34291 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 138036 Child status: 10 Real time (s): 1800.93 CPU time (s): 1800.12 CPU user time (s): 1799.61 CPU system time (s): 0.513921 CPU usage (%): 99.955 Max. virtual memory (cumulated for all children) (KiB): 138036 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.61 system time used= 0.513921 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35080 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= 111 involuntary context switches= 4687 runsolver used 2.32765 second user time and 4.16437 second system time The end
Begin job on node40 on Sat Apr 21 05:52:45 UTC 2007 IDJOB= 372799 IDBENCH= 24998 IDSOLVER= 156 FILE ID= node40/372799-1177134765 PBS_JOBID= 4648777 Free space on /tmp= 66527 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_022_area_delay.opb COMMAND LINE= /tmp/evaluation/372799-1177134765/minisat+ /tmp/evaluation/372799-1177134765/instance-372799-1177134765.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node40/convwatcher-372799-1177134765 -o ROOT/results/node40/conversion-372799-1177134765 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372799-1177134765/instance-372799-1177134765.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-372799-1177134765 -o ROOT/results/node40/solver-372799-1177134765 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372799-1177134765/minisat+ /tmp/evaluation/372799-1177134765/instance-372799-1177134765.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 8e8463c13e61e1a22058cdf603119640 RANDOM SEED= 538101101 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node40.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.283 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.283 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: 1753600 kB Buffers: 62220 kB Cached: 160276 kB SwapCached: 2312 kB Active: 149452 kB Inactive: 99544 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1753600 kB SwapTotal: 4192956 kB SwapFree: 4120544 kB Dirty: 3036 kB Writeback: 0 kB Mapped: 35236 kB Slab: 38676 kB Committed_AS: 958460 kB PageTables: 1936 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= 66527 MiB End job on node40 on Sat Apr 21 06:22:48 UTC 2007