Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | 27 | 1800.05 | 1800.52 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_030_area_delay.opb |
MD5SUM | 55bd571d186b9003e67d2301a4d2bce5 |
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 | 25 |
Best CPU time to get the best result obtained on this benchmark | 26.8039 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | YES |
Number of variables | 4666 |
Total number of constraints | 12693 |
Number of constraints which are clauses | 12693 |
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 | 63 |
Number of terms in the objective function | 2273 |
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 | 2273 |
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 | 2273 |
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.29/0.37 c Converting 12529 PB-constraints to clauses... 0.29/0.37 c -- Unit propagations: ppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp 0.29/0.38 c -- Detecting intervals from adjacent constraints: ######### 0.29/0.38 c -- Clauses(.)/Splits(s): ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. 0.39/0.41 c ---[11565]---> BDD-cost: 1 0.39/0.41 c ---[10965]---> BDD-cost: 1 0.39/0.41 c ---[10660]---> BDD-cost: 1 0.39/0.41 c ---[10526]---> BDD-cost: 1 0.39/0.41 c ---[10477]---> BDD-cost: 1 0.39/0.41 c ---[10447]---> BDD-cost: 1 0.39/0.41 c ---[10430]---> BDD-cost: 1 0.39/0.41 c ---[10427]---> BDD-cost: 1 0.39/0.41 c ---[10425]---> BDD-cost: 1 0.39/0.41 c ==================================[MINISAT+]================================== 0.39/0.41 c | Conflicts | Original | Learnt | Progress | 0.39/0.41 c | | Clauses Literals | Max Clauses Literals LPC | | 0.39/0.41 c ============================================================================== 0.39/0.41 c | 0 | 11935 29020 | 3978 0 0 nan | 0.000 % | 0.39/0.41 c ============================================================================== 0.39/0.41 c [1mFound solution: 31[0m 0.39/0.41 o 31 0.39/0.44 c ---[ 0]---> Adder-cost: 4206 maxlim: 2078 bits: 12/12 3.39/3.43 c ==================================[MINISAT+]================================== 3.39/3.43 c | Conflicts | Original | Learnt | Progress | 3.39/3.43 c | | Clauses Literals | Max Clauses Literals LPC | | 3.39/3.43 c ============================================================================== 3.39/3.43 c | 5 | 41292 133881 | 13764 5 73 14.6 | 0.000 % | 3.39/3.44 c | 105 | 41292 133881 | 15140 105 456 4.3 | 3.883 % | 3.39/3.48 c | 255 | 41276 133829 | 16654 253 1063 4.2 | 3.916 % | 3.49/3.56 c | 480 | 41276 133829 | 18319 478 1987 4.2 | 3.916 % | 3.59/3.67 c | 817 | 40996 132863 | 20151 774 3344 4.3 | 4.501 % | 3.69/3.78 c | 1325 | 40837 132324 | 22167 1248 10543 8.4 | 4.828 % | 3.99/4.01 c | 2084 | 40837 132324 | 24383 2007 24451 12.2 | 4.828 % | 4.19/4.20 c | 3223 | 40837 132324 | 26822 3146 64940 20.6 | 4.828 % | 4.59/4.60 c | 4933 | 40837 132324 | 29504 4856 157830 32.5 | 4.828 % | 5.18/5.26 c | 7498 | 40837 132324 | 32454 7421 361542 48.7 | 4.828 % | 6.19/6.30 c | 11342 | 40837 132324 | 35700 11265 711823 63.2 | 4.828 % | 8.48/8.58 c | 17108 | 40837 132324 | 39270 17031 1204126 70.7 | 4.828 % | 13.38/13.42 c | 25758 | 40837 132324 | 43197 25681 2183907 85.0 | 4.828 % | 23.69/23.77 c | 38733 | 40837 132324 | 47517 38656 4070217 105.3 | 4.828 % | 36.68/36.78 c | 58194 | 40837 132324 | 52268 25736 2313613 89.9 | 4.828 % | 61.97/62.02 c | 87388 | 40837 132324 | 57495 17706 2547755 143.9 | 4.828 % | 97.67/97.71 c | 131177 | 40837 132324 | 63245 20429 2695731 132.0 | 4.828 % | 163.25/163.34 c | 196863 | 40837 132324 | 69569 39452 4456810 113.0 | 4.828 % | 279.82/279.96 c | 295389 | 40837 132324 | 76526 28829 2636625 91.5 | 4.828 % | 438.68/438.85 c | 443179 | 40837 132324 | 84179 59885 5140566 85.8 | 4.828 % | 694.31/694.52 c ============================================================================== 694.31/694.52 c [1mFound solution: 30[0m 694.31/694.52 o 30 694.31/694.55 c ---[ 0]---> Adder-cost: 0 maxlim: 2079 bits: 12/12 697.50/697.74 c ==================================[MINISAT+]================================== 697.50/697.74 c | Conflicts | Original | Learnt | Progress | 697.50/697.74 c | | Clauses Literals | Max Clauses Literals LPC | | 697.50/697.74 c ============================================================================== 697.50/697.74 c | 610826 | 40509 131148 | 13503 34953 4455771 127.5 | 4.828 % | 697.80/698.01 c | 610927 | 40289 130388 | 14853 8813 758158 86.0 | 5.930 % | 697.80/698.06 c | 611077 | 40289 130388 | 16338 8963 763551 85.2 | 5.930 % | 697.90/698.13 c | 611303 | 40289 130388 | 17972 9189 788816 85.8 | 5.930 % | 698.00/698.23 c | 611640 | 40289 130388 | 19769 9526 818577 85.9 | 5.930 % | 698.21/698.40 c | 612147 | 40289 130388 | 21746 10033 863108 86.0 | 5.930 % | 698.41/698.62 c | 612909 | 40289 130388 | 23921 10795 943618 87.4 | 5.930 % | 698.71/699.00 c | 614050 | 40289 130388 | 26313 11936 1099355 92.1 | 5.930 % | 699.41/699.67 c | 615760 | 40289 130388 | 28944 13646 1282129 94.0 | 5.930 % | 700.41/700.70 c | 618325 | 40289 130388 | 31839 16211 1540613 95.0 | 5.930 % | 702.61/702.89 c | 622169 | 40289 130388 | 35023 20055 1929450 96.2 | 5.930 % | 706.20/706.46 c | 627935 | 40289 130388 | 38525 25821 2654819 102.8 | 5.930 % | 714.31/714.53 c | 636584 | 40289 130388 | 42378 34470 3598865 104.4 | 5.930 % | 727.11/727.38 c | 649558 | 40289 130388 | 46616 20505 1815534 88.5 | 5.930 % | 739.30/739.57 c ============================================================================== 739.30/739.57 c [1mFound solution: 29[0m 739.30/739.57 o 29 739.30/739.60 c ---[ 0]---> Adder-cost: 0 maxlim: 2080 bits: 12/12 742.50/742.73 c ==================================[MINISAT+]================================== 742.50/742.73 c | Conflicts | Original | Learnt | Progress | 742.50/742.73 c | | Clauses Literals | Max Clauses Literals LPC | | 742.50/742.73 c ============================================================================== 742.50/742.73 c | 664782 | 40290 130394 | 13430 35729 3564194 99.8 | 5.930 % | 742.70/742.99 c | 664882 | 40290 130394 | 14773 8593 607166 70.7 | 5.941 % | 742.80/743.06 c | 665033 | 40290 130394 | 16250 8744 610035 69.8 | 5.941 % | 742.90/743.14 c | 665259 | 40290 130394 | 17875 8970 623643 69.5 | 5.941 % | 743.00/743.24 c | 665597 | 40290 130394 | 19662 9308 653799 70.2 | 5.941 % | 743.10/743.37 c | 666104 | 40290 130394 | 21629 9815 693136 70.6 | 5.941 % | 743.41/743.63 c | 666867 | 40290 130394 | 23792 10578 770506 72.8 | 5.941 % | 743.70/743.95 c | 668010 | 40290 130394 | 26171 11721 870779 74.3 | 5.941 % | 744.30/744.57 c | 669718 | 40290 130394 | 28788 13429 1027472 76.5 | 5.941 % | 745.30/745.54 c | 672282 | 40290 130394 | 31667 15993 1318797 82.5 | 5.941 % | 747.30/747.52 c | 676131 | 40290 130394 | 34833 19842 1776361 89.5 | 5.941 % | 750.70/750.90 c | 681897 | 40290 130394 | 38317 25608 2514239 98.2 | 5.941 % | 758.70/758.93 c | 690551 | 40290 130394 | 42149 34262 3454212 100.8 | 5.941 % | 772.39/772.68 c | 703525 | 40290 130394 | 46364 20807 1989165 95.6 | 5.941 % | 785.19/785.48 c | 722987 | 40290 130394 | 51000 40269 4327539 107.5 | 5.941 % | 812.08/812.37 c | 752180 | 40290 130394 | 56100 38299 3969453 103.6 | 5.941 % | 863.37/863.66 c | 795971 | 40290 130394 | 61710 43916 4422908 100.7 | 5.941 % | 947.54/947.87 c | 861657 | 40290 130394 | 67881 26209 2384527 91.0 | 5.941 % | 978.34/978.67 c ============================================================================== 978.34/978.67 c [1mFound solution: 28[0m 978.34/978.67 o 28 978.44/978.70 c ---[ 0]---> Adder-cost: 0 maxlim: 2081 bits: 12/12 981.73/982.04 c ==================================[MINISAT+]================================== 981.73/982.04 c | Conflicts | Original | Learnt | Progress | 981.73/982.04 c | | Clauses Literals | Max Clauses Literals LPC | | 981.73/982.04 c ============================================================================== 981.73/982.04 c | 890939 | 40291 130399 | 13430 55491 5521882 99.5 | 5.941 % | 982.13/982.44 c | 891039 | 40291 130399 | 14773 10322 731423 70.9 | 5.951 % | 982.23/982.52 c | 891189 | 40291 130399 | 16250 10472 743594 71.0 | 5.951 % | 982.33/982.63 c | 891414 | 40291 130399 | 17875 10697 761359 71.2 | 5.951 % | 982.43/982.78 c | 891751 | 40291 130399 | 19662 11034 790053 71.6 | 5.951 % | 982.63/982.99 c | 892259 | 40291 130399 | 21629 11542 841092 72.9 | 5.951 % | 983.04/983.39 c | 893018 | 40291 130399 | 23792 12301 910498 74.0 | 5.951 % | 983.63/983.96 c | 894159 | 40291 130399 | 26171 13442 998646 74.3 | 5.951 % | 984.53/984.85 c | 895867 | 40291 130399 | 28788 15150 1154998 76.2 | 5.951 % | 986.34/986.63 c | 898429 | 40291 130399 | 31667 17712 1399855 79.0 | 5.951 % | 988.93/989.23 c | 902273 | 40291 130399 | 34833 21556 1826033 84.7 | 5.951 % | 994.23/994.60 c | 908042 | 40291 130399 | 38317 27325 2464240 90.2 | 5.951 % | 1002.43/1002.79 c | 916692 | 40291 130399 | 42149 35975 3431042 95.4 | 5.951 % | 1014.63/1014.96 c | 929668 | 40291 130399 | 46364 24131 2235895 92.7 | 5.951 % | 1038.32/1038.65 c | 949130 | 40291 130399 | 51000 43593 4339483 99.5 | 5.951 % | 1069.61/1069.90 c | 978322 | 40291 130399 | 56100 39818 3915151 98.3 | 5.951 % | 1114.30/1114.66 c | 1022115 | 40291 130399 | 61710 46846 4962098 105.9 | 5.951 % | 1192.58/1192.94 c | 1087801 | 40291 130399 | 67881 29829 2474224 82.9 | 5.951 % | 1253.66/1254.02 c ============================================================================== 1253.66/1254.02 c [1mFound solution: 27[0m 1253.66/1254.02 o 27 1253.66/1254.05 c ---[ 0]---> Adder-cost: 0 maxlim: 2082 bits: 12/12 1256.86/1257.24 c ==================================[MINISAT+]================================== 1256.86/1257.24 c | Conflicts | Original | Learnt | Progress | 1256.86/1257.24 c | | Clauses Literals | Max Clauses Literals LPC | | 1256.86/1257.24 c ============================================================================== 1256.86/1257.24 c | 1139830 | 40292 130405 | 13430 33240 3074803 92.5 | 5.951 % | 1257.06/1257.46 c | 1139932 | 40292 130405 | 14773 8412 556706 66.2 | 5.962 % | 1257.16/1257.51 c | 1140086 | 40292 130405 | 16250 8566 568622 66.4 | 5.962 % | 1257.16/1257.58 c | 1140313 | 40292 130405 | 17875 8793 591736 67.3 | 5.962 % | 1257.26/1257.68 c | 1140651 | 40292 130405 | 19662 9131 624833 68.4 | 5.962 % | 1257.46/1257.83 c | 1141160 | 40292 130405 | 21629 9640 672828 69.8 | 5.962 % | 1257.66/1258.05 c | 1141919 | 40292 130405 | 23792 10399 740900 71.2 | 5.962 % | 1258.06/1258.45 c | 1143058 | 40292 130405 | 26171 11538 846463 73.4 | 5.962 % | 1258.76/1259.10 c | 1144766 | 40292 130405 | 28788 13246 1028761 77.7 | 5.962 % | 1259.76/1260.19 c | 1147328 | 40292 130405 | 31667 15808 1286044 81.4 | 5.962 % | 1261.96/1262.33 c | 1151173 | 40292 130405 | 34833 19653 1741502 88.6 | 5.962 % | 1265.26/1265.68 c | 1156940 | 40292 130405 | 38317 25420 2375801 93.5 | 5.962 % | 1272.85/1273.26 c | 1165592 | 40292 130405 | 42149 34072 3295722 96.7 | 5.962 % | 1284.15/1284.55 c | 1178567 | 40292 130405 | 46364 19641 1721116 87.6 | 5.962 % | 1299.56/1299.99 c | 1198029 | 40292 130405 | 51000 39103 3727449 95.3 | 5.962 % | 1329.75/1330.19 c | 1227223 | 40292 130405 | 56100 32318 2904189 89.9 | 5.962 % | 1370.54/1370.91 c | 1271012 | 40292 130405 | 61710 35425 3355213 94.7 | 5.962 % | 1442.52/1442.99 c | 1336700 | 40292 130405 | 67881 54471 6068435 111.4 | 5.962 % | 1568.08/1568.50 c | 1435229 | 40292 130405 | 74669 51813 5115779 98.7 | 5.962 % | 1765.73/1766.21 c | 1583018 | 40292 130405 | 82136 31378 2848790 90.8 | 5.962 % | 1800.03/1800.50 c 1800.03/1800.50 c *** TERMINATED *** 1800.03/1800.50 s SATISFIABLE 1800.03/1800.50 v -x189 -x191 -x193 -x195 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 1800.03/1800.50 v -x231 -x233 x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 x265 -x267 -x269 -x271 1800.03/1800.50 v -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 1800.03/1800.50 v -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 1800.03/1800.50 v -x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 1800.03/1800.50 v -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 1800.03/1800.50 v -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 1800.03/1800.50 v -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 1800.03/1800.50 v -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 1800.03/1800.50 v -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 1800.03/1800.50 v -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 1800.03/1800.50 v -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 1800.03/1800.50 v -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 1800.03/1800.50 v -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 1800.03/1800.50 v -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 -x809 -x811 x813 -x815 -x817 1800.03/1800.50 v -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 1800.03/1800.50 v -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x901 1800.03/1800.50 v -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 1800.03/1800.50 v -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 1800.03/1800.50 v -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 1800.03/1800.50 v -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 1800.03/1800.50 v -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 1800.03/1800.50 v -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 1800.03/1800.50 v -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1156 1800.03/1800.50 v -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 1800.03/1800.50 v -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 1800.03/1800.50 v -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 1800.03/1800.50 v -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 1800.03/1800.50 v -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 1800.03/1800.50 v -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 1800.03/1800.50 v -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1386 -x1388 -x1390 -x1392 1800.03/1800.50 v -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 1800.03/1800.50 v -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 1800.03/1800.50 v -x1462 -x1464 -x1466 -x1468 x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 1800.03/1800.50 v -x1496 -x1498 x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 1800.03/1800.50 v -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 1800.03/1800.50 v -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 1800.03/1800.50 v -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 1800.03/1800.50 v -x1632 -x1634 -x1636 -x1638 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 1800.03/1800.50 v -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 1800.03/1800.50 v -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 1800.03/1800.50 v -x1733 -x1735 -x1737 -x1739 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764 1800.03/1800.50 v -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 1800.03/1800.50 v -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 1800.03/1800.50 v -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 1800.03/1800.50 v -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 1800.03/1800.50 v -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 x1930 -x1932 -x1934 1800.03/1800.50 v -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 1800.03/1800.50 v -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1993 -x1995 -x1997 -x1999 -x2001 1800.03/1800.50 v -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 1800.03/1800.50 v -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 1800.03/1800.50 v -x2071 -x2073 -x2075 -x2077 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 1800.03/1800.50 v -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 1800.03/1800.50 v -x2138 -x2140 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 1800.03/1800.50 v -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 1800.03/1800.50 v -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 1800.03/1800.50 v -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 1800.03/1800.50 v -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 1800.03/1800.50 v -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2334 -x2336 1800.03/1800.50 v -x2338 -x2340 -x2342 -x2344 -x2346 x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 1800.03/1800.50 v -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 1800.03/1800.50 v -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 1800.03/1800.50 v -x2439 -x2441 -x2443 -x2445 x2447 -x2449 -x2451 -x2453 -x2455 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 1800.03/1800.50 v -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2497 -x2499 -x2501 -x2503 1800.03/1800.50 v -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 1800.03/1800.50 v -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 1800.03/1800.50 v -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2598 -x2600 -x2602 -x2604 1800.03/1800.50 v -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 1800.03/1800.50 v -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2665 -x2667 -x2669 -x2671 1800.03/1800.50 v -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705 1800.03/1800.50 v -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 1800.03/1800.50 v -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2764 -x2766 -x2768 -x2770 -x2772 1800.03/1800.50 v x2774 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 1800.03/1800.50 v -x2808 -x2810 -x2812 -x2814 x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 1800.03/1800.50 v -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 1800.03/1800.50 v -x2874 -x2876 x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906 1800.03/1800.50 v -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 1800.03/1800.50 v -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 1800.03/1800.50 v -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 1800.03/1800.50 v -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 1800.03/1800.50 v -x3043 -x3045 -x3047 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 1800.03/1800.50 v -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 1800.03/1800.50 v -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 1800.03/1800.50 v -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x3175 1800.03/1800.50 v -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 1800.03/1800.50 v -x3211 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 1800.03/1800.50 v -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3266 -x3268 -x3270 -x3272 -x3274 1800.03/1800.50 v -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 1800.03/1800.50 v -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 1800.03/1800.50 v -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3374 1800.03/1800.50 v -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 -x3393 -x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 1800.03/1800.50 v -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440 1800.03/1800.50 v -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 1800.03/1800.50 v -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 x3486 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 1800.03/1800.50 v -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 -x3537 -x3539 1800.03/1800.50 v -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 1800.03/1800.50 v -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 x3603 -x3605 1800.03/1800.50 v -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 1800.03/1800.50 v -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 1800.03/1800.50 v -x3675 -x3677 -x3679 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 1800.03/1800.50 v -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 -x3738 -x3740 1800.03/1800.50 v -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 1800.03/1800.50 v -x3776 -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3803 -x3805 -x3807 1800.03/1800.50 v -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 1800.03/1800.50 v -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875 1800.03/1800.50 v -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 1800.03/1800.50 v -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 1800.03/1800.50 v -x3945 -x3947 -x3949 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3965 -x3967 -x3969 -x3971 -x3973 -x3975 1800.03/1800.50 v -x3977 -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x3999 -x4000 -x4002 -x4004 -x4006 -x4008 1800.03/1800.50 v -x4010 -x4012 -x4014 -x4016 -x4018 -x4020 -x4021 -x4023 -x4025 -x4027 -x4029 -x4031 -x4033 -x4034 -x4036 -x4038 -x4040 1800.03/1800.50 v -x4042 -x4044 -x4045 -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4067 -x4069 -x4071 -x4073 1800.03/1800.50 v -x4075 -x4077 -x4079 -x4081 x4083 -x4085 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 -x4099 -x4101 -x4103 -x4105 -x4107 1800.03/1800.50 v -x4109 -x4111 -x4113 -x4115 -x4117 -x4119 -x4121 -x4122 -x4124 -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 1800.03/1800.50 v -x4141 -x4142 -x4144 -x4146 x4148 -x4150 -x4152 -x4153 -x4155 -x4157 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171 1800.03/1800.50 v -x4173 -x4175 -x4177 -x4178 -x4180 -x4182 -x4184 -x4186 x4188 -x4190 -x4192 -x4194 -x4196 -x4198 -x4200 -x4202 -x4204 1800.03/1800.50 v -x4206 -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x4234 -x4236 -x4238 1800.03/1800.50 v -x4240 -x4242 -x4243 -x4245 -x4247 -x4249 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 -x4271 1800.03/1800.50 v -x4273 -x4275 -x4277 -x4279 -x4281 -x4283 -x4285 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x4298 -x4300 -x4302 -x4304 1800.03/1800.50 v -x4306 -x4308 -x4310 -x4312 -x4314 -x4316 -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4333 -x4335 -x4337 1800.03/1800.50 v -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 x4351 -x4353 -x4355 -x4357 -x4359 -x4361 -x4363 -x4365 -x4367 -x4369 -x4371 1800.03/1800.50 v -x4373 -x4375 -x4377 -x4379 -x4381 -x4383 -x4385 -x4387 -x4389 -x4391 -x4393 -x4395 -x4397 -x4399 -x4401 -x4403 -x4405 1800.03/1800.50 v -x4407 -x4409 -x4411 -x4413 -x4415 -x4417 -x4419 -x4421 -x4423 -x4425 -x4427 -x4429 -x4431 -x4433 -x4435 -x4437 -x4439 1800.03/1800.50 v -x4441 -x4442 -x4444 -x4446 -x4447 -x4449 -x4451 -x4453 -x4455 -x4457 -x4459 -x4460 -x4462 -x4464 -x4466 -x4468 -x4470 1800.03/1800.50 v -x4472 -x4474 -x4476 -x4478 -x4480 x4481 -x4483 -x4485 -x4487 -x4489 -x4491 -x4493 -x4495 -x4497 -x4498 -x4500 -x4502 1800.03/1800.50 v -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x4516 -x4518 -x4520 -x4522 -x4524 -x4526 -x4528 -x4529 -x4531 -x4533 -x4535 1800.03/1800.50 v -x4537 -x4539 -x4541 -x4543 -x4545 -x4546 -x4548 -x4550 -x4552 -x4554 x4556 -x4558 -x4559 -x4560 -x4562 -x4564 -x4566 1800.03/1800.50 v -x4568 -x4570 -x4572 -x4574 -x4576 x4578 -x4579 -x4581 -x4583 -x4584 -x4586 x4588 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 1800.03/1800.50 v -x4602 -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4615 -x4617 -x4619 -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 1800.03/1800.50 v -x4635 -x4636 -x4638 -x4640 -x4641 -x4643 -x4645 -x4647 -x4649 -x4651 -x4653 -x4655 -x4657 -x4659 x4660 x4662 -x4664 x4665 1800.03/1800.50 v x4666 -x188 -x190 -x192 -x194 -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 1800.03/1800.50 v -x228 -x230 -x232 x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x1 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 1800.03/1800.50 v -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 x298 -x300 -x302 -x304 -x306 -x308 1800.03/1800.50 v -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 1800.03/1800.50 v -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 1800.03/1800.50 v -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x2 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 1800.03/1800.50 v -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x3 -x470 -x472 1800.03/1800.50 v -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 1800.03/1800.50 v -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x4 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 1800.03/1800.50 v -x556 -x558 -x560 -x5 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 1800.03/1800.50 v -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x6 -x624 -x626 -x628 -x630 -x632 -x634 1800.03/1800.50 v -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x7 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 1800.03/1800.50 v -x676 -x678 -x680 -x682 -x8 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 1800.03/1800.50 v -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 1800.03/1800.50 v -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 1800.03/1800.50 v -x800 -x802 -x804 -x806 -x808 -x810 x812 -x814 -x816 -x818 -x820 -x822 -x9 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 1800.03/1800.50 v -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 1800.03/1800.50 v -x882 -x884 -x10 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 1800.03/1800.50 v -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x11 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 1800.03/1800.50 v -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x12 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 1800.03/1800.50 v -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 1800.03/1800.50 v -x1036 -x13 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x14 1800.03/1800.50 v -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x15 -x1098 -x1100 1800.03/1800.50 v -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x16 -x1128 -x1130 -x1132 -x1134 1800.03/1800.50 v -x1136 -x1138 -x1140 -x17 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 1800.03/1800.50 v -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x18 -x1203 1800.03/1800.50 v -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x19 -x1233 -x1235 -x1237 1800.03/1800.50 v -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 1800.03/1800.50 v -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x20 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 1800.03/1800.50 v -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x21 -x1325 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 1800.03/1800.50 v -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x22 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x23 -x1368 -x1370 -x1372 1800.03/1800.50 v -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1387 -x1389 -x1391 -x1393 -x1395 -x24 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 1800.03/1800.50 v -x1409 -x25 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x26 1800.03/1800.50 v -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x27 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 x28 x1469 -x1471 1800.03/1800.50 v -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 x1499 -x1501 -x1503 -x1505 1800.03/1800.50 v -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x29 -x1537 -x1539 1800.03/1800.50 v -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x30 -x1567 -x1569 -x1571 -x1573 1800.03/1800.50 v -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x31 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 1800.03/1800.50 v -x1609 -x32 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x33 -x1640 1800.03/1800.50 v -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x34 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x35 -x1668 -x1670 -x1672 1800.03/1800.50 v -x36 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x37 -x1704 1800.03/1800.50 v -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x38 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 1800.03/1800.50 v -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 1800.03/1800.50 v -x1775 -x1777 -x39 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 1800.03/1800.50 v -x40 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x41 -x1839 1800.03/1800.50 v -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x42 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 1800.03/1800.50 v -x1875 -x1877 -x1879 -x1881 -x43 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x44 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 1800.03/1800.50 v -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 x45 -x1925 -x1927 x1929 -x1931 -x1933 -x1935 -x1937 -x46 1800.03/1800.50 v -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 x1951 x47 -x1953 -x1955 -x1957 -x48 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 1800.03/1800.50 v -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 1800.03/1800.50 v -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x49 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 1800.03/1800.50 v -x2040 -x2042 -x2044 -x2046 -x2048 -x50 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 1800.03/1800.50 v -x2074 -x2076 -x51 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x52 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 1800.03/1800.50 v -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x53 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x54 -x2137 1800.03/1800.50 v -x2139 -x2142 -x2144 -x2146 -x2148 -x55 -x2150 -x2152 -x2154 -x2156 -x2159 -x2161 -x56 -x2163 -x2165 -x2167 -x57 -x2169 1800.03/1800.50 v -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x58 -x2199 -x2201 -x2203 1800.03/1800.50 v -x2205 -x2207 -x2209 -x2211 -x59 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 1800.03/1800.50 v -x2239 -x2241 -x60 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x61 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 1800.03/1800.50 v -x62 -x2271 -x2273 -x2275 -x63 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x64 -x2291 -x2293 -x2295 -x2297 -x2299 1800.03/1800.50 v -x2301 -x2303 -x65 -x2305 -x2307 -x2309 -x66 -x2311 -x2313 -x2315 -x2317 -x2320 -x2322 -x67 -x2324 -x2326 -x2328 -x68 -x2330 1800.03/1800.50 v -x2332 -x69 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 1800.03/1800.50 v -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2390 -x2392 -x2394 -x2396 -x70 -x2398 -x2400 1800.03/1800.50 v -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 1800.03/1800.50 v -x2436 -x2438 -x2440 -x2442 -x2444 x2446 -x2448 -x2450 -x2452 -x2454 -x71 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 1800.03/1800.50 v -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x72 -x2487 -x2489 -x2491 -x2493 -x2495 -x2498 -x73 -x2500 -x2502 1800.03/1800.50 v -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 1800.03/1800.50 v -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x74 -x2562 -x2564 -x2566 -x2568 -x2570 1800.03/1800.50 v -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x75 -x2592 -x2594 -x2596 -x2599 -x2601 -x2603 -x2605 1800.03/1800.50 v -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x76 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 1800.03/1800.50 v -x2641 -x2643 -x2645 -x2647 -x2649 -x77 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x78 -x2666 -x2668 -x2670 -x2672 1800.03/1800.50 v -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 1800.03/1800.50 v -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x79 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 1800.03/1800.50 v -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x80 -x2756 -x2758 -x2760 -x2762 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 1800.03/1800.50 v -x2777 -x2779 -x2781 -x2783 -x81 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 1800.03/1800.50 v -x2811 -x2813 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x82 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 1800.03/1800.50 v -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x83 -x2858 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 x2877 -x2879 1800.03/1800.50 v -x2881 -x2883 -x84 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x85 -x2899 -x2901 -x2903 -x86 -x2905 -x2907 -x2909 1800.03/1800.50 v -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x87 -x2935 -x2937 -x2939 -x2941 -x2943 1800.03/1800.50 v -x2945 -x2947 -x88 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 1800.03/1800.50 v -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x89 -x3010 -x3012 1800.03/1800.50 v -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x90 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 1800.03/1800.50 v -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x91 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x92 -x3079 1800.03/1800.50 v -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x93 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 1800.03/1800.50 v -x3115 -x3117 -x3119 -x3121 -x94 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x95 -x3137 -x3139 -x3141 -x3143 -x3145 1800.03/1800.50 v -x3147 -x3149 -x96 -x3151 -x3153 -x3155 -x97 -x3157 -x3159 -x3161 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 1800.03/1800.50 v -x3180 -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3213 1800.03/1800.50 v -x3215 -x98 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x99 -x3246 1800.03/1800.50 v -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3267 -x3269 -x3271 -x3273 -x100 -x3275 -x3277 -x3279 1800.03/1800.50 v -x3281 -x3283 -x3285 -x3287 -x101 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 1800.03/1800.50 v -x3313 -x3315 -x3317 -x102 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x103 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 1800.03/1800.50 v -x3345 -x104 -x3347 -x3349 -x3351 -x3353 -x3355 -x3358 -x105 -x3360 -x3362 -x3364 -x106 -x3366 -x3368 -x3370 -x3372 -x3375 1800.03/1800.50 v -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x107 -x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 1800.03/1800.50 v -x3410 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x108 -x3425 -x3427 -x3429 -x3431 -x3433 -x3435 -x109 -x3437 -x3439 -x3441 1800.03/1800.50 v -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3464 -x110 -x3466 -x3468 -x3470 -x3472 -x3474 1800.03/1800.50 v -x3476 -x3478 -x3480 -x3482 -x3484 -x3487 -x3489 -x3491 -x111 -x3493 -x3495 -x112 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 1800.03/1800.50 v -x3509 -x113 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x114 -x3525 -x3527 -x3529 -x115 -x3531 -x3533 -x3535 -x3538 1800.03/1800.50 v -x3540 -x3542 -x116 -x3544 -x3546 -x3548 -x117 -x3550 -x3552 -x118 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 1800.03/1800.50 v -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3604 1800.03/1800.50 v -x3606 -x3608 -x3610 -x3612 -x3614 -x119 -x3616 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 -x3636 1800.03/1800.50 v -x3638 -x3640 -x3642 -x3644 -x120 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 1800.03/1800.50 v -x3670 -x3672 -x3674 -x121 -x3676 -x3678 -x3681 -x3683 -x3685 -x3687 -x122 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 1800.03/1800.50 v -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x123 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733 1800.03/1800.50 v -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x124 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x125 -x3763 -x3765 1800.03/1800.50 v -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x126 -x3793 -x3795 -x3797 1800.03/1800.50 v -x3799 -x3801 -x3804 -x127 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 1800.03/1800.50 v -x3832 -x3834 -x128 -x3836 -x3838 -x3840 -x3842 -x3844 -x3846 -x3848 -x129 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862 1800.03/1800.50 v -x130 -x3864 -x3866 -x3868 -x131 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894 1800.03/1800.50 v -x3896 -x3898 -x132 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x133 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926 1800.03/1800.50 v -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x134 -x3944 -x3946 -x3948 -x3951 -x3953 -x3955 -x135 -x3957 -x3959 1800.03/1800.50 v -x3961 -x3963 -x3966 -x3968 -x3970 -x3972 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x136 -x3986 -x3988 -x3990 -x3992 1800.03/1800.50 v -x3994 -x3996 -x3998 -x137 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011 -x138 -x4013 -x4015 -x4017 -x139 -x4019 -x4022 -x4024 1800.03/1800.50 v -x4026 -x4028 -x4030 -x4032 -x4035 -x4037 -x4039 -x4041 -x4043 -x140 -x4046 -x4048 -x4050 -x4052 -x4054 -x4056 -x4058 1800.03/1800.50 v -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 x4082 -x4084 -x4086 -x4088 -x141 -x4090 -x4092 1800.03/1800.50 v -x4094 -x4096 -x4098 -x4100 -x4102 -x142 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x4116 -x143 -x4118 -x4120 -x144 -x4123 1800.03/1800.50 v -x4126 -x4128 -x4130 -x4132 -x4134 -x145 -x4136 -x4138 -x4140 -x4143 -x4145 x4147 -x4149 -x4151 -x146 -x4154 -x4156 -x4158 1800.03/1800.50 v -x4160 -x4162 -x4164 -x4166 -x147 -x4168 -x4170 -x4172 -x148 -x4174 -x4176 -x149 -x4179 -x4181 -x4183 -x4185 x4187 -x4189 1800.03/1800.50 v -x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x150 -x4211 -x4213 -x4215 -x4217 -x4219 -x4221 1800.03/1800.50 v -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x151 -x4241 -x4244 -x4246 -x4248 -x4250 -x4252 -x152 -x4254 1800.03/1800.50 v -x4256 -x4258 -x4260 -x4262 -x4264 -x4266 -x153 -x4268 -x4270 -x4272 -x4274 -x4276 -x4278 -x4280 -x4282 -x4284 -x4287 1800.03/1800.50 v -x4289 -x4291 -x4293 -x4295 -x154 -x4297 -x4299 -x4301 -x4303 -x4305 -x4307 -x4309 -x155 -x4311 -x4313 -x4315 -x4318 -x4320 1800.03/1800.50 v -x4322 -x156 -x4324 -x4326 -x4328 -x157 -x4330 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 x4350 -x4352 1800.03/1800.50 v -x4354 -x4356 -x4358 -x4360 -x4362 -x4364 -x4366 -x4368 -x4370 -x4372 -x158 -x4374 -x4376 -x4378 -x4380 -x4382 -x4384 1800.03/1800.50 v -x159 -x4386 -x4388 -x4390 -x4392 -x4394 -x4396 -x4398 -x160 -x4400 -x4402 -x4404 -x161 -x4406 -x4408 -x4410 -x4412 -x4414 1800.03/1800.50 v -x4416 -x4418 -x162 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 -x4432 -x163 -x4434 -x4436 -x164 -x4438 -x4440 -x4443 -x4445 1800.03/1800.50 v -x4448 -x165 -x4450 -x4452 -x4454 -x166 -x4456 -x4458 -x167 -x4461 -x4463 -x4465 -x4467 -x4469 -x4471 -x4473 -x4475 -x4477 1800.03/1800.50 v -x4479 -x4482 -x4484 -x4486 -x4488 -x4490 -x168 -x4492 -x4494 -x4496 -x4499 -x4501 -x4503 -x169 -x4505 -x4507 -x4509 -x4511 1800.03/1800.50 v -x4513 -x4515 -x4517 -x170 -x4519 -x4521 -x4523 -x4525 -x4527 -x4530 -x171 -x4532 -x4534 -x4536 -x172 -x4538 -x4540 -x4542 1800.03/1800.50 v -x4544 -x4547 -x4549 -x173 -x4551 -x4553 x4555 -x4557 -x4561 -x4563 -x4565 -x4567 -x174 -x4569 -x4571 -x4573 -x4575 x4577 1800.03/1800.50 v -x175 -x4580 -x4582 -x4585 x4587 -x4589 -x4591 -x4593 -x176 -x4595 -x4597 -x4599 -x4601 -x4603 -x4605 -x4607 -x177 -x4609 1800.03/1800.50 v -x4611 -x4613 -x178 -x4616 -x4618 -x4620 -x4622 -x4624 -x4626 -x179 -x4628 -x4630 -x180 -x4632 -x4634 -x181 -x4637 -x182 1800.03/1800.50 v -x4639 -x4642 -x4644 -x4646 -x4648 -x183 -x4650 -x4652 -x4654 -x184 -x4656 -x4658 x185 x4661 -x4663 x186 x187
OK 27
/tmp/evaluation/372575-1177107572/instance-372575-1177107572.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node65/watcher-372575-1177107572 -o ROOT/results/node65/solver-372575-1177107572 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372575-1177107572/minisat+ /tmp/evaluation/372575-1177107572/instance-372575-1177107572.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.04 1.01 1.00 3/64 22254 /proc/meminfo: memFree=1821896/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=1352 CPUtime=0 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 187 0 0 0 0 0 0 0 18 0 1 0 186746854 1384448 172 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 338 172 67 215 0 120 0 [startup+0.0627899 s] /proc/loadavg: 1.04 1.01 1.00 3/64 22254 /proc/meminfo: memFree=1821896/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=2240 CPUtime=0.06 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 395 0 0 0 6 0 0 0 18 0 1 0 186746854 2293760 380 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 560 380 74 215 0 342 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2240 [startup+0.101793 s] /proc/loadavg: 1.04 1.01 1.00 3/64 22254 /proc/meminfo: memFree=1821896/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=2536 CPUtime=0.09 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 465 0 0 0 9 0 0 0 18 0 1 0 186746854 2596864 450 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 634 450 74 215 0 416 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2536 [startup+0.301809 s] /proc/loadavg: 1.04 1.01 1.00 3/64 22254 /proc/meminfo: memFree=1821896/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=4240 CPUtime=0.29 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 892 0 0 0 29 0 0 0 19 0 1 0 186746854 4341760 877 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 1060 877 74 215 0 842 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4240 [startup+0.701843 s] /proc/loadavg: 1.04 1.01 1.00 3/64 22254 /proc/meminfo: memFree=1821896/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=6224 CPUtime=0.69 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 1395 0 0 0 67 2 0 0 19 0 1 0 186746854 6373376 1380 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 1556 1380 104 215 0 1338 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6224 [startup+1.50191 s] /proc/loadavg: 1.04 1.01 1.00 2/65 22255 /proc/meminfo: memFree=1816704/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=6224 CPUtime=1.49 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 1395 0 0 0 147 2 0 0 25 0 1 0 186746854 6373376 1380 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134648433 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 1556 1380 104 215 0 1338 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6224 [startup+3.10104 s] /proc/loadavg: 1.04 1.01 1.00 2/65 22255 /proc/meminfo: memFree=1816384/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=6588 CPUtime=3.09 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 1484 0 0 0 307 2 0 0 25 0 1 0 186746854 6746112 1469 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134809823 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 1647 1469 104 215 0 1429 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6588 [startup+6.30231 s] /proc/loadavg: 1.04 1.01 1.00 2/65 22255 /proc/meminfo: memFree=1808704/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=16108 CPUtime=6.29 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 4027 0 0 0 626 3 0 0 25 0 1 0 186746854 16494592 3675 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 4027 3675 123 215 0 3809 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16108 [startup+12.7018 s] /proc/loadavg: 1.04 1.01 1.00 2/65 22255 /proc/meminfo: memFree=1801920/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=22148 CPUtime=12.68 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 5525 0 0 0 1264 4 0 0 25 0 1 0 186746854 22679552 5173 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580372 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 5537 5173 123 215 0 5319 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 22148 [startup+25.5019 s] /proc/loadavg: 1.03 1.01 1.00 2/65 22255 /proc/meminfo: memFree=1791680/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=31928 CPUtime=25.48 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 7958 0 0 0 2542 6 0 0 25 0 1 0 186746854 32694272 7606 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 7982 7606 123 215 0 7764 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 31928 [startup+51.101 s] /proc/loadavg: 1.02 1.01 1.00 2/65 22255 /proc/meminfo: memFree=1787456/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=36612 CPUtime=51.08 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 9122 0 0 0 5100 8 0 0 25 0 1 0 186746854 37490688 8770 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 9153 8770 123 215 0 8935 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 36612 [startup+102.305 s] /proc/loadavg: 1.01 1.00 1.00 2/65 22255 /proc/meminfo: memFree=1771584/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=51856 CPUtime=102.27 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 12959 0 0 0 10216 11 0 0 25 0 1 0 186746854 53100544 12607 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134584053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 12964 12607 123 215 0 12746 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 51856 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22255 /proc/meminfo: memFree=1771520/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=51976 CPUtime=162.25 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 12964 0 0 0 16214 11 0 0 25 0 1 0 186746854 53223424 12612 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 12994 12612 123 215 0 12776 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 51976 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22255 /proc/meminfo: memFree=1771520/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=51976 CPUtime=222.24 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 12971 0 0 0 22213 11 0 0 25 0 1 0 186746854 53223424 12619 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 12994 12619 123 215 0 12776 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 51976 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22255 /proc/meminfo: memFree=1771392/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=52120 CPUtime=282.22 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 12988 0 0 0 28211 11 0 0 25 0 1 0 186746854 53370880 12636 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580744 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 13030 12636 123 215 0 12812 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 52120 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22255 /proc/meminfo: memFree=1771392/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=52120 CPUtime=342.2 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 13006 0 0 0 34209 11 0 0 25 0 1 0 186746854 53370880 12654 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 13030 12654 123 215 0 12812 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 52120 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22255 /proc/meminfo: memFree=1770560/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=52952 CPUtime=402.18 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 13194 0 0 0 40207 11 0 0 25 0 1 0 186746854 54222848 12842 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 13238 12842 123 215 0 13020 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 52952 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22255 /proc/meminfo: memFree=1769472/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=54284 CPUtime=462.17 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 13521 0 0 0 46206 11 0 0 25 0 1 0 186746854 55586816 13169 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 13571 13169 123 215 0 13353 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 54284 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22255 /proc/meminfo: memFree=1764736/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=58800 CPUtime=522.15 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 14647 0 0 0 52203 12 0 0 25 0 1 0 186746854 60211200 14295 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 14700 14295 123 215 0 14482 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 58800 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22255 /proc/meminfo: memFree=1751296/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=72416 CPUtime=582.13 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18026 0 0 0 58198 15 0 0 25 0 1 0 186746854 74153984 17674 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 18104 17674 123 215 0 17886 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 72416 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22255 /proc/meminfo: memFree=1750400/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=73336 CPUtime=642.13 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18240 0 0 0 64197 16 0 0 25 0 1 0 186746854 75096064 17888 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 18334 17888 123 215 0 18116 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 73336 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22255 /proc/meminfo: memFree=1750208/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=73480 CPUtime=882.06 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18278 0 0 0 88189 17 0 0 25 0 1 0 186746854 75243520 17926 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 18370 17926 123 215 0 18152 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 73480 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22255 /proc/meminfo: memFree=1750208/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=73480 CPUtime=942.04 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18278 0 0 0 94187 17 0 0 25 0 1 0 186746854 75243520 17926 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 18370 17926 123 215 0 18152 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 73480 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22255 /proc/meminfo: memFree=1750144/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=73480 CPUtime=1002.03 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18278 0 0 0 100186 17 0 0 25 0 1 0 186746854 75243520 17926 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 18370 17926 123 215 0 18152 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 73480 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22255 /proc/meminfo: memFree=1750144/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=73480 CPUtime=1062.01 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18279 0 0 0 106184 17 0 0 25 0 1 0 186746854 75243520 17927 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134573010 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 18370 17927 123 215 0 18152 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 73480 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22255 /proc/meminfo: memFree=1750208/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=73480 CPUtime=1122 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18279 0 0 0 112183 17 0 0 25 0 1 0 186746854 75243520 17927 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 18370 17927 123 215 0 18152 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 73480 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22255 /proc/meminfo: memFree=1750144/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=73480 CPUtime=1181.98 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18282 0 0 0 118181 17 0 0 25 0 1 0 186746854 75243520 17930 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 18370 17930 123 215 0 18152 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 73480 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22257 /proc/meminfo: memFree=1750144/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=73480 CPUtime=1241.96 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18282 0 0 0 124179 17 0 0 25 0 1 0 186746854 75243520 17930 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 18370 17930 123 215 0 18152 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 73480 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22257 /proc/meminfo: memFree=1750080/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=73480 CPUtime=1301.96 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18282 0 0 0 130178 18 0 0 25 0 1 0 186746854 75243520 17930 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 18370 17930 123 215 0 18152 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 73480 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22257 /proc/meminfo: memFree=1750080/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=73480 CPUtime=1361.94 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18282 0 0 0 136176 18 0 0 25 0 1 0 186746854 75243520 17930 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576849 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 18370 17930 123 215 0 18152 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 73480 [startup+1422.31 s] /proc/loadavg: 1.06 1.01 1.00 2/65 22257 /proc/meminfo: memFree=1750080/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=73480 CPUtime=1421.93 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18284 0 0 0 142175 18 0 0 25 0 1 0 186746854 75243520 17932 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 18370 17932 123 215 0 18152 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 73480 [startup+1482.3 s] /proc/loadavg: 1.07 1.03 1.00 2/65 22257 /proc/meminfo: memFree=1750016/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=73480 CPUtime=1481.9 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18285 0 0 0 148172 18 0 0 25 0 1 0 186746854 75243520 17933 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 18370 17933 123 215 0 18152 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 73480 [startup+1542.3 s] /proc/loadavg: 1.06 1.03 1.00 2/65 22257 /proc/meminfo: memFree=1750080/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=73480 CPUtime=1541.89 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18285 0 0 0 154171 18 0 0 25 0 1 0 186746854 75243520 17933 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 18370 17933 123 215 0 18152 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 73480 [startup+1602.3 s] /proc/loadavg: 1.02 1.02 1.00 2/65 22257 /proc/meminfo: memFree=1750016/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=73480 CPUtime=1601.87 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18285 0 0 0 160169 18 0 0 25 0 1 0 186746854 75243520 17933 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 18370 17933 123 215 0 18152 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 73480 [startup+1662.3 s] /proc/loadavg: 1.01 1.02 1.00 2/65 22257 /proc/meminfo: memFree=1750016/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=73480 CPUtime=1661.85 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18285 0 0 0 166167 18 0 0 25 0 1 0 186746854 75243520 17933 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134584053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 18370 17933 123 215 0 18152 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 73480 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 22257 /proc/meminfo: memFree=1750016/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=73480 CPUtime=1721.85 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18287 0 0 0 172166 19 0 0 25 0 1 0 186746854 75243520 17935 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 18370 17935 123 215 0 18152 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 73480 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 22257 /proc/meminfo: memFree=1750016/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=73480 CPUtime=1781.83 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18287 0 0 0 178164 19 0 0 25 0 1 0 186746854 75243520 17935 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 18370 17935 123 215 0 18152 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 73480 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22257 /proc/meminfo: memFree=1750016/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=73480 CPUtime=1800.03 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18287 0 0 0 179984 19 0 0 25 0 1 0 186746854 75243520 17935 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134577218 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 18370 17935 123 215 0 18152 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 73480 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22257 /proc/meminfo: memFree=1750016/2055920 swapFree=4184000/4192956 [pid=22254] ppid=22252 vsize=73480 CPUtime=1800.03 /proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18287 0 0 0 179984 19 0 0 25 0 1 0 186746854 75243520 17935 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134577218 0 0 4096 16386 0 0 0 17 1 0 0 /proc/22254/statm: 18370 17935 123 215 0 18152 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 73480 Child status: 10 Real time (s): 1800.52 CPU time (s): 1800.05 CPU user time (s): 1799.85 CPU system time (s): 0.204968 CPU usage (%): 99.9738 Max. virtual memory (cumulated for all children) (KiB): 73480 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.85 system time used= 0.204968 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18289 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= 173 involuntary context switches= 2739 runsolver used 1.21981 second user time and 3.74643 second system time The end
Begin job on node65 on Fri Apr 20 22:19:32 UTC 2007 IDJOB= 372575 IDBENCH= 24982 IDSOLVER= 156 FILE ID= node65/372575-1177107572 PBS_JOBID= 4640410 Free space on /tmp= 66399 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_030_area_delay.opb COMMAND LINE= /tmp/evaluation/372575-1177107572/minisat+ /tmp/evaluation/372575-1177107572/instance-372575-1177107572.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node65/convwatcher-372575-1177107572 -o ROOT/results/node65/conversion-372575-1177107572 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372575-1177107572/instance-372575-1177107572.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-372575-1177107572 -o ROOT/results/node65/solver-372575-1177107572 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372575-1177107572/minisat+ /tmp/evaluation/372575-1177107572/instance-372575-1177107572.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 55bd571d186b9003e67d2301a4d2bce5 RANDOM SEED= 789890160 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node65.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.245 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.245 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: 1822368 kB Buffers: 28364 kB Cached: 153972 kB SwapCached: 2624 kB Active: 50444 kB Inactive: 142376 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1822368 kB SwapTotal: 4192956 kB SwapFree: 4184000 kB Dirty: 2700 kB Writeback: 0 kB Mapped: 16552 kB Slab: 26760 kB Committed_AS: 2373472 kB PageTables: 1460 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= 66399 MiB End job on node65 on Fri Apr 20 22:49:35 UTC 2007