Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | 15 | 1800.11 | 1800.73 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir06_area_delay.opb |
MD5SUM | 21fb64899a6dc4867ccfcbb30d44d536 |
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 | 15 |
Best CPU time to get the best result obtained on this benchmark | 206.965 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 15 |
Optimality of the best value was proved | YES |
Number of variables | 5537 |
Total number of constraints | 15855 |
Number of constraints which are clauses | 15855 |
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 | 2646 |
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 | 2646 |
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 | 2646 |
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.39/0.48 c Converting 15409 PB-constraints to clauses... 0.39/0.49 c -- Unit propagations: pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp 0.39/0.49 c -- Detecting intervals from adjacent constraints: ###########################################################################################=== 0.39/0.50 c -- Clauses(.)/Splits(s): ......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 0.49/0.53 c ---[9863]---> BDD-cost: 1 0.49/0.53 c ---[9612]---> BDD-cost: 1 0.49/0.53 c ---[9502]---> BDD-cost: 1 0.49/0.53 c ---[9416]---> BDD-cost: 1 0.49/0.53 c ---[9412]---> BDD-cost: 1 0.49/0.53 c ---[9403]---> BDD-cost: 1 0.49/0.53 c ---[9295]---> BDD-cost: 1 0.49/0.53 c ---[9213]---> BDD-cost: 1 0.49/0.53 c ---[9211]---> BDD-cost: 1 0.49/0.53 c ---[9205]---> BDD-cost: 1 0.49/0.53 c ---[9182]---> BDD-cost: 1 0.49/0.53 c ---[9154]---> BDD-cost: 1 0.49/0.53 c ---[9151]---> BDD-cost: 1 0.49/0.53 c ---[9146]---> BDD-cost: 1 0.49/0.53 c ---[9141]---> BDD-cost: 1 0.49/0.53 c ---[9134]---> BDD-cost: 1 0.49/0.53 c ---[9124]---> BDD-cost: 1 0.49/0.53 c ---[9121]---> BDD-cost: 1 0.49/0.53 c ---[9119]---> BDD-cost: 1 0.49/0.53 c ---[9116]---> BDD-cost: 1 0.49/0.53 c ---[9016]---> BDD-cost: 1 0.49/0.53 c ---[9006]---> BDD-cost: 1 0.49/0.53 c ---[8948]---> BDD-cost: 1 0.49/0.53 c ---[8939]---> BDD-cost: 1 0.49/0.53 c ---[8936]---> BDD-cost: 1 0.49/0.53 c ---[8923]---> BDD-cost: 1 0.49/0.53 c ---[8911]---> BDD-cost: 1 0.49/0.53 c ---[8897]---> BDD-cost: 1 0.49/0.53 c ---[8891]---> BDD-cost: 1 0.49/0.53 c ---[8888]---> BDD-cost: 1 0.49/0.53 c ---[8869]---> BDD-cost: 1 0.49/0.53 c ---[8866]---> BDD-cost: 1 0.49/0.53 c ---[8850]---> BDD-cost: 1 0.49/0.53 c ---[8847]---> BDD-cost: 1 0.49/0.53 c ---[8844]---> BDD-cost: 1 0.49/0.53 c ---[8838]---> BDD-cost: 1 0.49/0.53 c ---[8832]---> BDD-cost: 1 0.49/0.53 c ---[8829]---> BDD-cost: 1 0.49/0.53 c ---[8826]---> BDD-cost: 1 0.49/0.53 c ---[8820]---> BDD-cost: 1 0.49/0.53 c ---[8817]---> BDD-cost: 1 0.49/0.53 c ---[8644]---> BDD-cost: 1 0.49/0.53 c ---[8611]---> BDD-cost: 1 0.49/0.53 c ---[7964]---> BDD-cost: 1 0.49/0.53 c ---[7662]---> BDD-cost: 1 0.49/0.53 c ---[7631]---> BDD-cost: 1 0.49/0.53 c ---[7399]---> BDD-cost: 1 0.49/0.53 c ---[7311]---> BDD-cost: 1 0.49/0.53 c ---[7269]---> BDD-cost: 1 0.49/0.53 c ---[7200]---> BDD-cost: 1 0.49/0.53 c ---[7184]---> BDD-cost: 1 0.49/0.53 c ---[6767]---> BDD-cost: 1 0.49/0.53 c ---[6591]---> BDD-cost: 1 0.49/0.53 c ---[6582]---> BDD-cost: 1 0.49/0.53 c ---[6570]---> BDD-cost: 1 0.49/0.53 c ---[6121]---> BDD-cost: 1 0.49/0.53 c ---[6102]---> BDD-cost: 1 0.49/0.53 c ---[5902]---> BDD-cost: 1 0.49/0.53 c ---[5841]---> BDD-cost: 1 0.49/0.53 c ---[5837]---> BDD-cost: 1 0.49/0.53 c ---[5834]---> BDD-cost: 1 0.49/0.53 c ---[5824]---> BDD-cost: 1 0.49/0.53 c ---[5817]---> BDD-cost: 1 0.49/0.53 c ---[5814]---> BDD-cost: 1 0.49/0.53 c ---[5598]---> BDD-cost: 1 0.49/0.53 c ---[5571]---> BDD-cost: 1 0.49/0.53 c ---[5506]---> BDD-cost: 1 0.49/0.53 c ---[5243]---> BDD-cost: 1 0.49/0.53 c ---[5049]---> BDD-cost: 1 0.49/0.53 c ---[5046]---> BDD-cost: 1 0.49/0.53 c ---[4972]---> BDD-cost: 1 0.49/0.53 c ---[4898]---> BDD-cost: 1 0.49/0.53 c ---[4793]---> BDD-cost: 1 0.49/0.53 c ---[4711]---> BDD-cost: 1 0.49/0.53 c ---[4648]---> BDD-cost: 1 0.49/0.53 c ---[4645]---> BDD-cost: 1 0.49/0.53 c ---[4642]---> BDD-cost: 1 0.49/0.53 c ---[4180]---> BDD-cost: 1 0.49/0.53 c ---[3852]---> BDD-cost: 1 0.49/0.53 c ---[3399]---> BDD-cost: 1 0.49/0.53 c ---[3025]---> BDD-cost: 1 0.49/0.53 c ---[2981]---> BDD-cost: 1 0.49/0.53 c ---[2362]---> BDD-cost: 1 0.49/0.53 c ---[2225]---> BDD-cost: 1 0.49/0.53 c ---[2098]---> BDD-cost: 1 0.49/0.53 c ---[2087]---> BDD-cost: 1 0.49/0.53 c ---[2073]---> BDD-cost: 1 0.49/0.53 c ---[1856]---> BDD-cost: 1 0.49/0.53 c ---[1837]---> BDD-cost: 1 0.49/0.53 c ---[1119]---> BDD-cost: 1 0.49/0.53 c ---[1064]---> BDD-cost: 1 0.49/0.53 c ==================================[MINISAT+]================================== 0.49/0.54 c | Conflicts | Original | Learnt | Progress | 0.49/0.54 c | | Clauses Literals | Max Clauses Literals LPC | | 0.49/0.54 c ============================================================================== 0.49/0.54 c | 0 | 13983 36059 | 4661 0 0 nan | 0.000 % | 0.49/0.54 c ============================================================================== 0.49/0.54 c [1mFound solution: 17[0m 0.49/0.54 o 17 0.49/0.56 c ---[ 0]---> Adder-cost: 4768 maxlim: 2375 bits: 12/12 4.39/4.43 c ==================================[MINISAT+]================================== 4.39/4.43 c | Conflicts | Original | Learnt | Progress | 4.39/4.43 c | | Clauses Literals | Max Clauses Literals LPC | | 4.39/4.43 c ============================================================================== 4.39/4.43 c | 2 | 47181 154737 | 15727 1 2 2.0 | 0.000 % | 4.39/4.47 c | 102 | 47099 154441 | 17299 93 461 5.0 | 6.060 % | 4.49/4.54 c | 252 | 46926 153832 | 19029 220 1126 5.1 | 6.339 % | 4.59/4.65 c | 477 | 46915 153789 | 20932 444 2006 4.5 | 6.358 % | 4.89/4.93 c | 814 | 46727 153115 | 23025 754 3226 4.3 | 6.676 % | 5.19/5.24 c | 1320 | 46447 152222 | 25328 1232 5306 4.3 | 7.060 % | 5.49/5.57 c | 2082 | 46101 151172 | 27861 1944 35317 18.2 | 7.532 % | 5.89/5.91 c | 3223 | 45909 150548 | 30647 3050 138645 45.5 | 7.878 % | 6.39/6.44 c | 4931 | 45893 150496 | 33712 4755 294490 61.9 | 7.907 % | 7.28/7.32 c | 7495 | 45893 150496 | 37083 7319 599057 81.8 | 7.907 % | 8.99/9.05 c | 11339 | 45893 150496 | 40791 11163 1126850 100.9 | 7.907 % | 12.09/12.16 c | 17109 | 45877 150444 | 44870 16930 1776226 104.9 | 7.936 % | 18.19/18.28 c | 25759 | 45877 150444 | 49358 25580 2638014 103.1 | 7.936 % | 32.48/32.53 c | 38742 | 45877 150444 | 54293 38563 4179341 108.4 | 7.936 % | 62.87/62.94 c | 58204 | 45877 150444 | 59723 17174 1894701 110.3 | 7.936 % | 83.26/83.40 c ============================================================================== 83.26/83.40 c [1mFound solution: 16[0m 83.26/83.40 o 16 83.36/83.43 c ---[ 0]---> Adder-cost: 0 maxlim: 2376 bits: 12/12 87.36/87.49 c ==================================[MINISAT+]================================== 87.36/87.49 c | Conflicts | Original | Learnt | Progress | 87.36/87.49 c | | Clauses Literals | Max Clauses Literals LPC | | 87.36/87.49 c ============================================================================== 87.36/87.49 c | 80340 | 45892 150504 | 15297 39310 4702280 119.6 | 7.936 % | 87.66/87.73 c | 80440 | 45892 150504 | 16826 8339 688307 82.5 | 7.942 % | 87.76/87.81 c | 80590 | 45892 150504 | 18509 8489 689160 81.2 | 7.942 % | 87.86/87.91 c | 80816 | 45892 150504 | 20360 8715 694547 79.7 | 7.942 % | 87.96/88.04 c | 81157 | 45892 150504 | 22396 9056 723341 79.9 | 7.942 % | 88.16/88.24 c | 81664 | 45892 150504 | 24635 9563 776431 81.2 | 7.942 % | 88.46/88.58 c | 82423 | 45892 150504 | 27099 10322 848948 82.2 | 7.942 % | 88.96/89.06 c | 83564 | 45892 150504 | 29809 11463 957159 83.5 | 7.942 % | 89.86/89.91 c | 85272 | 45892 150504 | 32790 13171 1128799 85.7 | 7.942 % | 91.16/91.23 c | 87835 | 45892 150504 | 36069 15734 1436859 91.3 | 7.942 % | 93.86/93.94 c | 91679 | 44706 146379 | 39676 19420 1781410 91.7 | 9.913 % | 98.26/98.32 c | 97447 | 44636 146217 | 43644 25185 2307192 91.6 | 9.962 % | 105.75/105.82 c | 106096 | 44636 146217 | 48008 33834 3308565 97.8 | 9.962 % | 123.15/123.26 c | 119070 | 44636 146217 | 52809 46808 4849641 103.6 | 9.962 % | 144.74/144.86 c | 138531 | 44620 146165 | 58090 28765 2627256 91.3 | 9.990 % | 179.33/179.45 c | 167723 | 44611 146136 | 63899 57955 5434367 93.8 | 10.010 % | 234.01/234.10 c | 211513 | 44611 146136 | 70289 55215 5246709 95.0 | 10.010 % | 319.58/319.72 c | 277199 | 44611 146136 | 77318 66445 6115561 92.0 | 10.010 % | 441.94/442.19 c | 375725 | 44611 146136 | 85050 44846 3401139 75.8 | 10.010 % | 646.58/646.88 c | 523517 | 44611 146136 | 93555 59743 5786023 96.8 | 10.010 % | 963.86/964.24 c | 745203 | 44611 146136 | 102910 53007 4221023 79.6 | 10.010 % | 1198.38/1198.81 c ============================================================================== 1198.38/1198.81 c [1mFound solution: 15[0m 1198.38/1198.81 o 15 1198.38/1198.84 c ---[ 0]---> Adder-cost: 0 maxlim: 2377 bits: 12/12 1202.48/1202.98 c ==================================[MINISAT+]================================== 1202.48/1202.98 c | Conflicts | Original | Learnt | Progress | 1202.48/1202.98 c | | Clauses Literals | Max Clauses Literals LPC | | 1202.48/1202.98 c ============================================================================== 1202.48/1202.98 c | 901261 | 44612 146141 | 14870 41358 2813964 68.0 | 10.010 % | 1202.78/1203.23 c | 901363 | 44612 146141 | 16357 9523 412839 43.4 | 10.018 % | 1202.78/1203.28 c | 901515 | 44612 146141 | 17992 9675 418419 43.2 | 10.018 % | 1202.88/1203.39 c | 901740 | 44612 146141 | 19791 9900 426628 43.1 | 10.018 % | 1202.98/1203.49 c | 902078 | 44612 146141 | 21771 10238 436455 42.6 | 10.018 % | 1203.18/1203.65 c | 902584 | 44612 146141 | 23948 10744 453207 42.2 | 10.018 % | 1203.48/1203.90 c | 903344 | 44612 146141 | 26343 11504 497346 43.2 | 10.018 % | 1203.88/1204.30 c | 904484 | 44612 146141 | 28977 12644 585131 46.3 | 10.018 % | 1204.48/1204.96 c | 906192 | 44612 146141 | 31875 14352 663944 46.3 | 10.018 % | 1205.68/1206.12 c | 908757 | 44612 146141 | 35062 16917 835179 49.4 | 10.018 % | 1207.78/1208.27 c | 912602 | 44612 146141 | 38568 20762 1132483 54.5 | 10.018 % | 1211.38/1211.82 c | 918369 | 44612 146141 | 42425 26529 1681761 63.4 | 10.018 % | 1218.17/1218.61 c | 927018 | 44612 146141 | 46668 35178 2258043 64.2 | 10.018 % | 1232.47/1232.93 c | 939996 | 44612 146141 | 51335 48156 3137622 65.2 | 10.018 % | 1252.06/1252.57 c | 959457 | 44612 146141 | 56468 31881 1915213 60.1 | 10.018 % | 1289.55/1290.06 c | 988649 | 44612 146141 | 62115 21277 1220759 57.4 | 10.018 % | 1344.23/1344.79 c | 1032438 | 44612 146141 | 68327 20411 1150728 56.4 | 10.018 % | 1420.90/1421.45 c | 1098124 | 44612 146141 | 75159 36008 1982380 55.1 | 10.018 % | 1566.15/1566.72 c | 1196650 | 44612 146141 | 82675 20274 1042375 51.4 | 10.018 % | 1756.69/1757.30 c | 1344442 | 44612 146141 | 90943 39461 2761668 70.0 | 10.018 % | 1800.08/1800.71 c 1800.08/1800.71 c *** TERMINATED *** 1800.08/1800.71 s SATISFIABLE 1800.08/1800.71 v -x304 -x306 -x308 -x310 x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 1800.08/1800.71 v -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 1800.08/1800.71 v -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 1800.08/1800.71 v -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 1800.08/1800.71 v -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 1800.08/1800.71 v -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 1800.08/1800.71 v -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 1800.08/1800.71 v -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 1800.08/1800.71 v -x640 -x642 -x644 -x646 -x648 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 1800.08/1800.71 v -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 1800.08/1800.71 v -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 1800.08/1800.71 v -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 1800.08/1800.71 v -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 1800.08/1800.71 v -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 x877 -x879 -x881 -x883 -x885 -x887 -x889 1800.08/1800.71 v -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 1800.08/1800.71 v -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 1800.08/1800.71 v -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1006 -x1008 -x1010 1800.08/1800.71 v -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1041 -x1043 1800.08/1800.71 v -x1045 -x1047 -x1049 -x1051 -x1053 -x1054 -x1056 -x1058 -x1060 -x1061 -x1063 -x1065 -x1066 x1067 -x1069 -x1071 -x1073 1800.08/1800.71 v -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 x1091 -x1093 -x1095 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 1800.08/1800.71 v -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 1800.08/1800.71 v -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 1800.08/1800.71 v -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1189 -x1191 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 x1204 -x1206 1800.08/1800.71 v -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 1800.08/1800.71 v -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 1800.08/1800.71 v -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 1800.08/1800.71 v -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 1800.08/1800.71 v -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 1800.08/1800.71 v -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 1800.08/1800.71 v -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 1800.08/1800.71 v -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 1800.08/1800.71 v -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 1800.08/1800.71 v -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 1800.08/1800.71 v -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 1800.08/1800.71 v -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 1800.08/1800.71 v -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 1800.08/1800.71 v -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 1800.08/1800.71 v -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 1800.08/1800.71 v -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 1800.08/1800.71 v -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 1800.08/1800.71 v -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 1800.08/1800.71 v -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 1800.08/1800.71 v -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 1800.08/1800.71 v -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 1800.08/1800.71 v -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 1800.08/1800.71 v -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 1800.08/1800.71 v -x1988 -x1990 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2017 -x2019 1800.08/1800.71 v -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 1800.08/1800.71 v -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 1800.08/1800.71 v -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 1800.08/1800.71 v -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 1800.08/1800.71 v -x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 1800.08/1800.71 v -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 1800.08/1800.71 v -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 1800.08/1800.71 v -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 1800.08/1800.71 v -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 1800.08/1800.71 v -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 1800.08/1800.71 v -x2361 -x2363 -x2365 -x2367 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 1800.08/1800.71 v -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 1800.08/1800.71 v -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 1800.08/1800.71 v -x2462 -x2464 -x2466 -x2468 -x2470 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 1800.08/1800.71 v -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 1800.08/1800.71 v -x2528 -x2530 -x2532 -x2534 -x2536 -x2537 -x2539 -x2541 -x2543 -x2545 x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 1800.08/1800.71 v -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 1800.08/1800.71 v -x2595 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 1800.08/1800.71 v -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 1800.08/1800.71 v -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 1800.08/1800.71 v -x2696 -x2698 x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 1800.08/1800.71 v -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 1800.08/1800.71 v -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 1800.08/1800.71 v -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 1800.08/1800.71 v -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x2858 -x2860 -x2862 -x2864 1800.08/1800.71 v -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 1800.08/1800.71 v -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 1800.08/1800.71 v -x2934 -x2936 -x2938 -x2940 -x2942 -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2964 1800.08/1800.71 v -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 1800.08/1800.71 v -x3000 -x3002 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 1800.08/1800.71 v -x3033 -x3035 -x3037 -x3039 x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 1800.08/1800.71 v -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 1800.08/1800.71 v -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 1800.08/1800.71 v -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 1800.08/1800.71 v -x3169 -x3171 -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 1800.08/1800.71 v -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 1800.08/1800.71 v -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3261 -x3263 -x3265 -x3267 1800.08/1800.71 v -x3269 -x3271 -x3273 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 -x3298 -x3300 1800.08/1800.71 v -x3302 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 1800.08/1800.71 v -x3334 -x3336 -x3338 -x3339 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3364 1800.08/1800.71 v -x3366 -x3368 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3388 -x3390 -x3392 -x3394 -x3396 1800.08/1800.71 v -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 1800.08/1800.71 v -x3432 -x3434 -x3435 -x3437 -x3439 -x3441 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 1800.08/1800.71 v -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 x3480 -x3482 -x3484 -x3486 -x3488 -x3490 -x3492 -x3494 -x3496 1800.08/1800.71 v -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 1800.08/1800.71 v -x3531 -x3533 -x3535 -x3537 -x3539 -x3540 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x3554 -x3556 -x3558 -x3560 -x3562 1800.08/1800.71 v -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 1800.08/1800.71 v -x3598 -x3600 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 x3616 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 1800.08/1800.71 v -x3632 -x3634 -x3636 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 1800.08/1800.71 v -x3666 -x3668 -x3670 -x3672 -x3674 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 1800.08/1800.71 v -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 1800.08/1800.71 v -x3734 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 1800.08/1800.71 v -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 1800.08/1800.71 v -x3802 -x3804 -x3806 -x3807 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 1800.08/1800.71 v -x3834 -x3836 -x3838 -x3840 -x3842 -x3844 -x3846 -x3848 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 1800.08/1800.71 v -x3868 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894 -x3896 -x3898 -x3900 1800.08/1800.71 v -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926 -x3928 -x3930 -x3932 -x3934 1800.08/1800.71 v -x3936 -x3938 -x3940 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3966 -x3968 1800.08/1800.71 v -x3970 -x3972 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x3986 -x3988 -x3990 -x3992 -x3994 -x3996 -x3998 -x4000 -x4002 1800.08/1800.71 v -x4004 -x4006 -x4008 -x4009 -x4011 -x4013 -x4015 -x4017 -x4019 -x4021 -x4023 -x4025 -x4027 -x4029 -x4031 -x4033 -x4035 1800.08/1800.71 v -x4037 -x4039 -x4041 -x4043 -x4045 -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4067 -x4069 1800.08/1800.71 v -x4071 -x4073 -x4075 -x4077 -x4079 -x4081 -x4083 -x4085 -x4087 -x4089 -x4091 -x4093 -x4094 -x4096 -x4098 -x4100 -x4101 1800.08/1800.71 v -x4102 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x4116 -x4118 -x4120 -x4122 -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 1800.08/1800.71 v -x4136 -x4138 -x4140 -x4142 -x4144 -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -x4158 -x4160 -x4161 -x4163 -x4165 -x4167 1800.08/1800.71 v -x4169 -x4171 -x4173 -x4175 -x4177 -x4179 -x4180 -x4182 -x4184 -x4186 -x4188 -x4190 -x4192 -x4194 -x4196 -x4198 -x4200 1800.08/1800.71 v -x4202 -x4204 -x4206 -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x4234 1800.08/1800.71 v -x4236 -x4238 -x4240 -x4242 -x4244 -x4246 -x4248 -x4250 -x4252 -x4254 -x4256 -x4258 -x4260 -x4262 -x4264 -x4266 -x4268 1800.08/1800.71 v -x4270 -x4272 -x4274 -x4276 -x4278 -x4280 -x4282 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 -x4295 -x4297 -x4299 -x4301 1800.08/1800.71 v -x4303 -x4305 -x4307 -x4309 -x4310 -x4312 -x4314 -x4316 -x4318 -x4320 -x4322 -x4324 -x4326 -x4328 -x4330 -x4332 -x4334 1800.08/1800.71 v -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x4351 -x4353 -x4355 -x4357 -x4359 -x4361 -x4363 -x4365 -x4367 1800.08/1800.71 v -x4369 -x4371 -x4373 -x4375 -x4377 -x4379 -x4381 -x4383 -x4385 -x4386 -x4388 -x4390 -x4392 -x4394 -x4396 -x4398 -x4400 1800.08/1800.71 v -x4402 -x4404 -x4406 -x4407 -x4409 -x4411 -x4413 -x4415 -x4417 -x4418 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 -x4432 1800.08/1800.71 v -x4434 -x4436 -x4438 -x4440 -x4442 -x4444 -x4446 -x4448 -x4449 -x4451 -x4453 -x4455 -x4457 -x4459 -x4461 -x4463 -x4465 1800.08/1800.71 v -x4467 -x4469 -x4471 -x4473 -x4475 -x4477 -x4479 -x4481 -x4483 -x4485 -x4487 -x4489 -x4491 -x4493 -x4495 -x4497 -x4499 1800.08/1800.71 v -x4501 -x4503 -x4505 -x4507 -x4509 -x4511 -x4513 -x4515 -x4517 -x4519 -x4521 -x4523 -x4525 -x4527 -x4529 -x4531 -x4533 1800.08/1800.71 v -x4535 -x4537 -x4539 -x4541 -x4543 -x4545 -x4547 -x4549 -x4551 -x4553 -x4555 -x4557 -x4559 -x4561 -x4563 -x4565 -x4567 1800.08/1800.71 v -x4569 -x4571 -x4573 -x4575 -x4577 -x4579 -x4581 -x4583 -x4585 -x4587 -x4589 -x4591 -x4593 -x4595 -x4597 -x4599 -x4601 1800.08/1800.71 v -x4603 -x4605 -x4607 -x4609 -x4611 -x4613 -x4615 -x4617 -x4619 -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x4635 1800.08/1800.71 v -x4636 -x4638 -x4640 -x4642 -x4644 -x4646 -x4648 -x4650 -x4652 -x4654 -x4656 -x4658 -x4660 -x4662 -x4664 -x4666 -x4668 1800.08/1800.71 v -x4670 -x4672 -x4674 -x4676 -x4678 -x4680 -x4682 -x4684 -x4686 -x4688 -x4690 -x4692 -x4694 -x4696 -x4698 -x4700 -x4702 1800.08/1800.71 v -x4704 -x4706 -x4708 -x4710 -x4712 -x4714 -x4716 -x4718 -x4720 -x4722 -x4724 -x4726 -x4728 -x4730 -x4732 -x4734 -x4736 1800.08/1800.71 v -x4738 -x4740 -x4742 -x4744 -x4746 -x4748 -x4750 -x4752 -x4754 -x4756 -x4758 -x4760 -x4762 -x4764 -x4766 -x4768 -x4770 1800.08/1800.71 v -x4772 -x4774 -x4776 -x4778 -x4780 -x4782 -x4784 -x4786 -x4788 -x4790 -x4792 -x4794 -x4796 -x4798 -x4800 -x4802 -x4804 1800.08/1800.71 v -x4806 -x4808 -x4810 -x4812 -x4814 -x4816 -x4818 -x4820 -x4822 -x4824 -x4826 -x4828 -x4830 -x4832 -x4834 -x4836 -x4838 1800.08/1800.71 v -x4840 -x4842 -x4844 -x4846 -x4848 -x4850 -x4852 -x4854 -x4856 -x4858 -x4860 -x4862 -x4864 -x4866 -x4868 -x4870 -x4872 1800.08/1800.71 v -x4874 -x4876 -x4878 -x4880 -x4882 -x4884 -x4886 -x4888 -x4890 -x4892 -x4894 -x4896 -x4898 -x4900 -x4902 -x4904 -x4905 1800.08/1800.71 v -x4907 -x4909 -x4911 -x4913 -x4915 -x4916 -x4918 -x4920 -x4922 -x4924 -x4926 -x4928 -x4930 -x4932 -x4934 -x4936 -x4938 1800.08/1800.71 v -x4940 -x4942 -x4944 -x4946 -x4948 -x4950 -x4952 -x4954 -x4956 -x4958 -x4960 -x4962 -x4964 -x4966 -x4968 -x4970 -x4972 1800.08/1800.71 v -x4974 -x4976 -x4978 -x4980 -x4982 -x4984 -x4986 -x4988 -x4990 -x4992 -x4994 -x4996 -x4998 -x5000 -x5002 -x5004 -x5006 1800.08/1800.71 v -x5008 -x5010 -x5012 -x5014 -x5016 -x5017 -x5019 -x5021 -x5023 -x5025 -x5027 -x5029 -x5031 -x5033 -x5035 -x5037 -x5039 1800.08/1800.71 v -x5041 -x5043 -x5045 -x5046 -x5048 -x5050 -x5052 -x5054 -x5056 -x5058 -x5060 -x5062 -x5064 -x5066 -x5068 -x5070 -x5072 1800.08/1800.71 v -x5074 -x5076 -x5078 -x5080 -x5082 -x5084 -x5086 -x5088 -x5090 -x5092 -x5094 -x5096 -x5098 -x5100 -x5102 -x5104 -x5106 1800.08/1800.71 v -x5108 -x5110 -x5112 -x5114 -x5116 -x5118 -x5120 -x5122 -x5124 -x5126 -x5128 -x5130 -x5132 -x5134 -x5136 -x5138 -x5140 1800.08/1800.71 v -x5142 -x5144 -x5146 -x5148 -x5150 -x5152 -x5154 -x5156 -x5158 -x5160 -x5162 -x5164 -x5166 -x5168 -x5170 -x5172 -x5174 1800.08/1800.71 v -x5176 -x5178 -x5180 -x5182 -x5184 -x5186 -x5188 -x5190 -x5192 -x5194 -x5196 -x5198 -x5200 -x5202 -x5204 -x5206 -x5208 1800.08/1800.71 v -x5210 -x5212 -x5214 -x5216 -x5218 -x5220 -x5222 -x5224 -x5226 -x5228 -x5230 -x5232 -x5233 -x5235 -x5237 -x5239 -x5241 1800.08/1800.71 v -x5243 -x5245 -x5247 -x5249 -x5251 -x5253 -x5255 -x5257 -x5259 -x5261 -x5263 -x5265 -x5267 -x5269 -x5271 -x5273 -x5275 1800.08/1800.71 v -x5277 -x5279 -x5281 -x5283 -x5284 -x5286 -x5288 -x5290 -x5292 -x5294 -x5296 -x5298 -x5300 -x5302 -x5304 -x5306 -x5308 1800.08/1800.71 v -x5310 -x5312 -x5314 -x5316 -x5318 -x5320 -x5322 -x5324 -x5326 -x5328 -x5330 -x5332 -x5334 -x5336 -x5338 -x5340 -x5342 1800.08/1800.71 v -x5344 -x5346 -x5348 -x5350 -x5352 -x5354 -x5356 -x5358 -x5360 -x5362 -x5364 -x5366 -x5368 -x5370 -x5372 -x5374 -x5376 1800.08/1800.71 v -x5378 -x5380 -x5382 -x5384 -x5386 -x5388 -x5390 -x5392 -x5394 -x5396 -x5398 -x5400 -x5402 -x5404 -x5406 -x5408 -x5410 1800.08/1800.71 v -x5412 -x5414 -x5416 -x5418 -x5420 -x5422 -x5424 -x5426 -x5428 -x5430 -x5432 -x5434 -x5436 -x5438 -x5440 -x5442 -x5444 1800.08/1800.71 v -x5446 -x5448 -x5450 -x5452 -x5454 -x5456 -x5458 -x5460 -x5462 -x5464 -x5466 -x5468 -x5470 -x5472 -x5474 -x5476 -x5478 1800.08/1800.71 v -x5480 -x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -x5494 -x5496 -x5498 -x5500 -x5502 -x5504 -x5506 -x5508 -x5510 -x5512 1800.08/1800.71 v -x5514 -x5516 -x5518 -x5520 -x5522 -x5524 -x5526 -x5528 -x5529 -x5531 -x5533 -x5535 -x5537 -x303 -x305 -x307 -x309 x311 1800.08/1800.71 v -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 1800.08/1800.71 v -x355 -x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 1800.08/1800.71 v -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x1 -x431 -x433 -x435 1800.08/1800.71 v -x437 -x439 -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 1800.08/1800.71 v -x479 -x481 -x483 -x485 -x487 -x489 -x491 -x2 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 1800.08/1800.71 v -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x3 -x553 -x555 -x557 1800.08/1800.71 v -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x4 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 1800.08/1800.71 v -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 1800.08/1800.71 v -x5 -x641 -x643 -x645 -x647 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x6 -x668 -x670 -x672 -x674 -x676 -x678 1800.08/1800.71 v -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 x7 -x696 x698 -x700 -x702 -x704 -x706 -x708 -x8 -x710 -x712 -x714 -x716 -x718 1800.08/1800.71 v -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 1800.08/1800.71 v -x762 -x9 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x10 -x792 -x794 -x796 -x798 1800.08/1800.71 v -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x11 -x816 -x818 -x820 -x822 -x824 -x826 -x12 -x828 -x830 -x832 -x834 -x836 1800.08/1800.71 v -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x13 -x852 -x854 -x856 -x858 -x860 -x862 -x14 -x864 -x866 -x868 -x870 -x872 -x874 1800.08/1800.71 v x15 x876 -x878 -x880 -x16 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 1800.08/1800.71 v -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x17 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 1800.08/1800.71 v -x18 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x19 -x978 -x980 -x982 -x984 -x986 -x20 -x988 1800.08/1800.71 v -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 x21 -x1004 -x22 -x1007 -x1009 -x1011 -x1013 -x1015 -x23 -x1017 -x24 -x1019 -x1021 1800.08/1800.71 v -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x25 -x1039 -x1042 -x1044 -x1046 -x26 -x1048 -x1050 -x1052 -x27 1800.08/1800.71 v -x1055 -x1057 -x28 -x1059 -x1062 x29 -x1064 -x30 x31 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 1800.08/1800.71 v -x1088 x1090 -x1092 -x1094 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 1800.08/1800.71 v -x1123 -x32 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x33 -x1149 -x1151 -x1153 1800.08/1800.71 v -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x34 -x1171 -x1173 -x1175 -x35 -x1177 -x1179 -x1181 -x1183 -x1185 1800.08/1800.71 v -x1187 -x36 -x37 -x1190 -x1193 -x38 -x1195 -x1197 -x1199 -x1201 x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 1800.08/1800.71 v -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 1800.08/1800.71 v -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 1800.08/1800.71 v -x1287 -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 1800.08/1800.71 v -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 1800.08/1800.71 v -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1387 1800.08/1800.71 v -x1389 -x1391 -x1393 -x1395 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 1800.08/1800.71 v -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x39 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 1800.08/1800.71 v -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 1800.08/1800.71 v -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 1800.08/1800.71 v -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 1800.08/1800.71 v -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x40 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 1800.08/1800.71 v -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 1800.08/1800.71 v -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 1800.08/1800.71 v -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 1800.08/1800.71 v -x41 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 1800.08/1800.71 v -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x42 -x1758 -x1760 -x1762 1800.08/1800.71 v -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 1800.08/1800.71 v -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 1800.08/1800.71 v -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 1800.08/1800.71 v -x1867 -x1869 -x1871 -x1873 x43 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 x1899 1800.08/1800.71 v -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 1800.08/1800.71 v -x44 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 1800.08/1800.71 v -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x45 -x1993 -x1995 -x1997 -x1999 -x2001 1800.08/1800.71 v -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2018 -x46 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 1800.08/1800.71 v -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 1800.08/1800.71 v -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 1800.08/1800.71 v -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x47 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 1800.08/1800.71 v -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 1800.08/1800.71 v -x48 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 -x2206 1800.08/1800.71 v -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x49 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2238 -x2240 1800.08/1800.71 v -x2242 -x2244 -x2246 -x50 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 1800.08/1800.71 v -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x51 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 1800.08/1800.71 v -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x52 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 1800.08/1800.71 v -x2344 -x2346 -x53 -x2348 -x2350 -x2352 -x2354 -x2356 -x54 -x2358 -x2360 -x2362 -x2364 -x2366 -x2369 -x2371 -x2373 -x2375 1800.08/1800.71 v -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 1800.08/1800.71 v -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 1800.08/1800.71 v -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x55 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2472 -x2474 -x2476 -x2478 1800.08/1800.71 v -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x56 -x2498 -x2500 -x2502 -x2504 -x2507 -x2509 -x2511 -x2513 1800.08/1800.71 v -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 x57 -x2538 -x2540 -x2542 -x2544 x2546 -x2548 1800.08/1800.71 v -x2550 -x58 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 1800.08/1800.71 v -x2584 -x2586 -x2588 -x59 -x2590 -x2592 -x2594 -x2597 -x2599 x60 -x2601 -x2603 -x2605 -x2607 x2609 -x2611 -x2613 -x2615 1800.08/1800.71 v x61 -x2617 -x2619 -x62 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 1800.08/1800.71 v -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x63 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 1800.08/1800.71 v -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 x64 -x2697 x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x65 -x2713 1800.08/1800.71 v -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x66 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x67 -x2739 -x2741 -x68 -x2743 1800.08/1800.71 v -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x69 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 x70 x2775 1800.08/1800.71 v -x2777 -x71 -x2779 -x2781 -x2783 -x72 -x2785 -x2787 -x2789 x73 -x2791 -x2793 -x74 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 1800.08/1800.71 v -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 1800.08/1800.71 v -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 1800.08/1800.71 v -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x75 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 1800.08/1800.71 v -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x76 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 1800.08/1800.71 v -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x77 -x2962 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 1800.08/1800.71 v -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3004 -x3006 -x3008 -x3010 -x3012 1800.08/1800.71 v -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 x3040 -x3042 -x3044 -x3046 1800.08/1800.71 v -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 1800.08/1800.71 v -x3082 -x3084 x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x78 -x3110 -x3112 -x3114 1800.08/1800.71 v -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 1800.08/1800.71 v -x3150 -x79 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x80 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 1800.08/1800.71 v -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 x81 -x3204 -x3206 -x3208 -x3210 -x3212 -x3215 1800.08/1800.71 v -x82 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x83 -x3229 -x3231 -x3233 -x3235 -x84 -x3237 -x3239 -x3241 -x3243 -x3245 1800.08/1800.71 v -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3262 -x85 -x3264 -x3266 -x3268 -x86 -x3270 -x3272 -x87 -x3275 -x88 -x3277 1800.08/1800.71 v -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x89 -x3309 -x3311 1800.08/1800.71 v -x90 -x3313 -x3315 -x3317 -x91 -x3319 -x3321 -x3324 -x92 -x3326 -x3328 -x3330 -x3332 -x3335 x93 -x3337 -x94 -x95 -x3341 1800.08/1800.71 v -x96 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3370 -x97 -x3372 -x3374 1800.08/1800.71 v -x3376 -x98 -x3378 -x99 -x3380 -x3382 -x3384 -x100 -x3386 -x3389 -x101 -x3391 -x3393 -x3395 -x3397 -x3399 -x3401 -x3403 1800.08/1800.71 v -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x102 -x3423 -x3425 -x3427 x103 -x3429 -x3431 -x3433 -x104 1800.08/1800.71 v -x105 -x3436 -x3438 -x3440 -x106 -x107 -x108 -x109 -x3443 -x3445 -x3447 -x3449 -x110 -x3451 -x3453 -x3455 -x3457 -x3459 1800.08/1800.71 v -x111 x112 -x113 -x114 -x3461 -x115 -x3463 -x3465 -x3467 -x3469 -x3471 -x116 -x3473 -x117 -x3475 -x118 x119 -x3477 x3479 1800.08/1800.71 v x120 -x121 x122 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 1800.08/1800.71 v -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3532 -x3534 -x3536 -x3538 -x3541 -x3543 -x3545 1800.08/1800.71 v -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 1800.08/1800.71 v -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 1800.08/1800.71 v x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 -x3641 -x3643 -x3645 -x3647 1800.08/1800.71 v -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 1800.08/1800.71 v -x3683 -x3685 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 1800.08/1800.71 v -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x123 -x3733 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 1800.08/1800.71 v -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 1800.08/1800.71 v -x3783 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3809 -x3811 -x3813 -x3815 -x3817 1800.08/1800.71 v -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x124 -x3845 -x3847 -x3849 1800.08/1800.71 v -x3851 -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 1800.08/1800.71 v -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 1800.08/1800.71 v -x3919 -x3921 -x3923 -x3925 -x3927 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x3951 1800.08/1800.71 v -x3953 -x125 -x3955 -x3957 -x3959 -x3961 -x3963 -x3965 -x3967 -x3969 -x3971 -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 1800.08/1800.71 v -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x126 -x3999 -x4001 -x4003 -x4005 -x4007 -x4010 -x4012 -x4014 -x4016 1800.08/1800.71 v -x4018 -x4020 -x4022 -x4024 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 1800.08/1800.71 v -x4052 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x4082 -x4084 1800.08/1800.71 v -x4086 -x4088 -x4090 -x4092 -x4095 -x4097 -x4099 -x127 -x4103 -x4105 -x4107 -x4109 -x4111 -x4113 -x4115 -x4117 -x4119 1800.08/1800.71 v -x4121 -x4123 -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x128 -x4139 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 1800.08/1800.71 v -x4153 -x4155 -x4157 -x4159 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 -x4176 -x4178 -x4181 -x129 -x4183 -x4185 1800.08/1800.71 v -x4187 -x4189 -x4191 -x4193 -x4195 -x130 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x4211 -x4213 -x4215 -x4217 1800.08/1800.71 v -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x4241 -x4243 -x4245 -x4247 -x4249 -x4251 1800.08/1800.71 v -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 -x4279 -x4281 -x4283 -x4285 1800.08/1800.71 v -x4287 -x4289 -x4291 -x4293 -x4296 -x4298 -x4300 -x131 -x4302 -x4304 -x4306 -x4308 -x4311 -x4313 -x4315 -x4317 -x4319 1800.08/1800.71 v -x4321 -x4323 -x4325 -x4327 -x132 -x4329 -x4331 -x4333 -x4335 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 -x4352 1800.08/1800.71 v -x4354 -x4356 -x4358 -x4360 -x4362 -x4364 -x4366 -x4368 -x133 -x4370 -x4372 -x4374 -x134 -x4376 -x4378 -x4380 -x4382 -x4384 1800.08/1800.71 v -x4387 -x4389 -x4391 -x4393 -x4395 -x4397 -x4399 -x4401 -x4403 -x4405 -x4408 -x4410 -x4412 -x4414 -x135 -x4416 x136 -x4419 1800.08/1800.71 v -x4421 -x4423 -x4425 -x4427 -x4429 -x137 -x4431 -x4433 -x4435 -x4437 -x4439 -x4441 -x138 -x4443 -x139 -x4445 -x4447 -x4450 1800.08/1800.71 v -x4452 -x4454 -x4456 -x4458 -x4460 -x4462 -x4464 -x4466 -x4468 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4482 -x4484 1800.08/1800.71 v -x4486 -x4488 -x4490 -x4492 -x4494 -x4496 -x4498 -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x4516 -x4518 1800.08/1800.71 v -x4520 -x4522 -x4524 -x4526 -x4528 -x4530 -x4532 -x4534 -x4536 -x4538 -x4540 -x4542 -x140 -x4544 -x4546 -x4548 -x4550 1800.08/1800.71 v -x4552 -x4554 -x4556 -x4558 -x4560 -x4562 -x4564 -x4566 -x4568 -x4570 -x4572 -x4574 -x4576 -x4578 -x141 -x4580 -x4582 1800.08/1800.71 v -x4584 -x4586 -x4588 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x4604 -x4606 -x4608 -x4610 -x4612 -x142 -x4614 1800.08/1800.71 v -x4616 -x4618 -x4620 -x4622 -x4624 -x4626 -x4628 -x4630 -x4632 -x4634 -x143 -x4637 -x4639 -x144 -x145 -x146 -x4641 -x4643 1800.08/1800.71 v -x4645 -x4647 -x4649 -x4651 -x4653 -x4655 -x4657 -x4659 -x4661 -x4663 -x4665 -x4667 -x4669 -x4671 -x147 -x4673 -x4675 1800.08/1800.71 v -x148 -x4677 -x4679 -x4681 -x149 -x150 -x4683 -x4685 -x151 -x152 -x153 -x4687 -x154 -x4689 -x4691 -x4693 -x4695 -x4697 1800.08/1800.71 v -x4699 -x4701 -x4703 -x4705 -x4707 -x4709 -x4711 -x4713 -x4715 -x4717 -x4719 -x4721 -x4723 -x4725 -x4727 -x4729 -x4731 1800.08/1800.71 v -x4733 -x4735 -x4737 -x4739 -x4741 -x4743 -x4745 -x4747 -x4749 -x4751 -x4753 -x4755 -x4757 -x4759 -x4761 -x4763 -x4765 1800.08/1800.71 v -x4767 -x4769 -x4771 -x4773 -x4775 -x4777 -x4779 -x4781 -x4783 -x4785 -x4787 -x155 -x4789 -x4791 -x4793 -x4795 -x4797 1800.08/1800.71 v -x4799 -x4801 -x4803 -x4805 -x4807 -x4809 -x4811 -x4813 -x4815 -x4817 -x4819 -x4821 -x4823 -x156 -x4825 -x4827 -x4829 1800.08/1800.71 v -x4831 -x4833 -x4835 -x4837 -x4839 -x4841 -x4843 x157 -x4845 -x4847 -x158 -x4849 -x4851 -x4853 -x4855 -x4857 -x4859 -x4861 1800.08/1800.71 v -x4863 -x159 -x4865 -x4867 -x160 -x161 -x4869 -x4871 -x4873 -x4875 -x4877 -x4879 -x4881 -x4883 -x4885 -x4887 -x4889 -x4891 1800.08/1800.71 v -x4893 -x4895 -x162 -x4897 -x163 x164 -x165 -x4899 -x166 -x167 x168 -x169 -x4901 -x4903 -x4906 -x4908 -x4910 -x4912 -x4914 1800.08/1800.71 v -x170 x171 -x4917 -x172 -x4919 -x173 -x174 -x175 -x4921 -x176 -x4923 -x4925 -x4927 -x4929 -x4931 -x4933 -x4935 -x4937 -x4939 1800.08/1800.71 v -x4941 -x4943 -x4945 -x4947 -x177 -x4949 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x4951 -x4953 -x4955 x185 -x186 -x187 1800.08/1800.71 v -x188 x189 -x190 x191 -x192 -x4957 -x4959 -x4961 -x4963 -x4965 -x4967 -x4969 -x4971 -x4973 -x4975 -x4977 -x4979 -x4981 1800.08/1800.71 v -x4983 -x4985 -x4987 -x4989 -x4991 -x4993 -x4995 -x4997 -x4999 -x5001 -x5003 -x5005 -x5007 -x5009 -x5011 -x5013 -x5015 1800.08/1800.71 v -x5018 -x5020 -x5022 -x5024 -x5026 -x5028 -x5030 -x5032 -x5034 -x5036 -x5038 -x5040 -x5042 -x193 -x5044 -x5047 -x5049 1800.08/1800.71 v -x5051 -x5053 -x5055 -x5057 -x5059 -x5061 -x5063 -x5065 -x5067 -x194 -x5069 -x5071 -x5073 -x5075 -x5077 -x5079 -x5081 1800.08/1800.71 v -x5083 -x5085 -x5087 -x5089 -x195 -x5091 -x5093 -x5095 -x196 -x5097 -x5099 -x5101 -x5103 -x5105 -x5107 -x5109 -x5111 -x5113 1800.08/1800.71 v -x5115 -x5117 -x5119 -x5121 -x5123 -x5125 -x5127 -x5129 -x5131 -x5133 -x5135 -x5137 -x5139 -x5141 -x5143 -x5145 -x5147 1800.08/1800.71 v -x5149 -x5151 -x5153 -x5155 -x5157 -x5159 -x5161 -x5163 -x5165 -x5167 -x5169 -x5171 -x5173 -x197 -x5175 -x5177 -x5179 1800.08/1800.71 v -x5181 -x5183 -x5185 -x5187 -x5189 -x5191 -x5193 -x5195 -x198 -x5197 -x5199 -x5201 -x5203 -x5205 -x5207 -x5209 -x5211 1800.08/1800.71 v -x199 -x5213 -x5215 -x200 -x5217 -x5219 -x5221 -x5223 -x5225 -x5227 -x5229 -x201 -x5231 -x202 -x5234 -x203 -x5236 -x5238 1800.08/1800.71 v -x5240 -x5242 -x5244 -x5246 -x5248 -x5250 -x5252 -x5254 -x5256 -x5258 -x5260 -x5262 -x5264 -x5266 -x5268 -x5270 -x5272 1800.08/1800.71 v -x5274 -x5276 -x5278 -x5280 -x5282 -x5285 -x5287 -x5289 -x5291 -x5293 -x5295 -x5297 -x5299 -x5301 -x5303 -x5305 -x5307 1800.08/1800.71 v -x5309 -x5311 -x5313 -x5315 -x204 -x5317 -x5319 -x5321 -x5323 -x5325 -x5327 -x205 -x5329 -x5331 -x5333 -x5335 -x5337 -x5339 1800.08/1800.71 v -x5341 -x5343 -x5345 -x5347 x206 -x5349 -x5351 -x207 -x5353 -x5355 -x208 -x5357 -x209 -x210 x211 -x5359 -x5361 -x5363 -x5365 1800.08/1800.71 v -x5367 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x5369 -x219 -x5371 -x5373 -x5375 -x5377 -x5379 -x5381 -x5383 -x5385 -x5387 1800.08/1800.71 v -x5389 -x5391 -x5393 -x5395 -x5397 -x5399 -x5401 -x5403 -x5405 -x5407 -x5409 -x5411 -x5413 -x5415 -x5417 -x5419 -x5421 1800.08/1800.71 v -x5423 -x5425 -x5427 -x5429 -x5431 -x5433 -x5435 -x5437 -x5439 -x5441 -x220 -x5443 -x5445 -x5447 -x5449 -x5451 -x5453 1800.08/1800.71 v -x5455 -x5457 -x5459 -x5461 -x221 -x5463 -x5465 -x5467 -x5469 -x5471 -x5473 x222 -x5475 -x223 -x5477 -x5479 -x5481 -x224 1800.08/1800.71 v -x225 x226 -x227 -x5483 -x5485 -x5487 -x5489 -x5491 -x5493 x228 x229 x230 -x231 -x232 -x233 x234 -x235 -x5495 -x5497 -x5499 1800.08/1800.71 v x236 x237 x238 -x239 x240 -x241 -x242 -x243 -x5501 x244 -x245 -x246 x247 x248 -x249 x250 -x251 -x5503 -x5505 -x5507 -x5509 1800.08/1800.71 v -x252 -x253 -x5511 -x5513 -x5515 -x254 -x255 -x256 -x5517 -x5519 -x5521 -x5523 -x5525 -x257 x258 -x259 -x260 -x261 -x262 1800.08/1800.71 v -x263 -x264 -x5527 -x5530 -x5532 -x265 -x266 x267 -x268 -x269 x270 -x271 x272 -x273 -x274 x275 x276 -x277 x278 -x279 -x5534 1800.08/1800.71 v -x5536 -x280 x281 -x282 -x283 x284 -x285 -x286 x287 -x288 x289 x290 -x291 -x292 x293 -x294 -x295 -x296 x297 -x298 -x299 x300 1800.08/1800.71 v x301 x302
OK 15
/tmp/evaluation/372967-1177151181/instance-372967-1177151181.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node59/watcher-372967-1177151181 -o ROOT/results/node59/solver-372967-1177151181 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372967-1177151181/minisat+ /tmp/evaluation/372967-1177151181/instance-372967-1177151181.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.93 0.97 0.99 3/64 11792 /proc/meminfo: memFree=1726880/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=1352 CPUtime=0 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 187 0 0 0 0 0 0 0 18 0 1 0 163027691 1384448 172 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 338 172 67 215 0 120 0 [startup+0.0523111 s] /proc/loadavg: 0.93 0.97 0.99 3/64 11792 /proc/meminfo: memFree=1726880/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=2044 CPUtime=0.04 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 345 0 0 0 4 0 0 0 18 0 1 0 163027691 2093056 330 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 511 330 74 215 0 293 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2044 [startup+0.101319 s] /proc/loadavg: 0.93 0.97 0.99 3/64 11792 /proc/meminfo: memFree=1726880/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=2488 CPUtime=0.09 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 470 0 0 0 9 0 0 0 18 0 1 0 163027691 2547712 455 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618939 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 622 455 74 215 0 404 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2488 [startup+0.301357 s] /proc/loadavg: 0.93 0.97 0.99 3/64 11792 /proc/meminfo: memFree=1726880/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=4428 CPUtime=0.29 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 928 0 0 0 29 0 0 0 19 0 1 0 163027691 4534272 913 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 1107 913 75 215 0 889 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4428 [startup+0.701434 s] /proc/loadavg: 0.93 0.97 0.99 3/64 11792 /proc/meminfo: memFree=1726880/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=7380 CPUtime=0.7 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 1731 0 0 0 68 2 0 0 18 0 1 0 163027691 7557120 1683 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134666984 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 1845 1683 104 215 0 1627 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 7380 [startup+1.50158 s] /proc/loadavg: 0.93 0.97 0.99 2/65 11793 /proc/meminfo: memFree=1720472/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=7380 CPUtime=1.5 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 1731 0 0 0 148 2 0 0 25 0 1 0 163027691 7557120 1683 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005241 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 1845 1683 104 215 0 1627 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 7380 [startup+3.10189 s] /proc/loadavg: 0.93 0.97 0.99 2/65 11793 /proc/meminfo: memFree=1720344/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=7380 CPUtime=3.1 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 1731 0 0 0 308 2 0 0 25 0 1 0 163027691 7557120 1683 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135003889 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 1845 1683 104 215 0 1627 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 7380 [startup+6.3025 s] /proc/loadavg: 0.93 0.97 0.99 2/65 11793 /proc/meminfo: memFree=1714016/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=15408 CPUtime=6.29 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 3911 0 0 0 627 2 0 0 25 0 1 0 163027691 15777792 3541 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 3852 3541 123 215 0 3634 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15408 [startup+12.7017 s] /proc/loadavg: 0.94 0.97 0.99 2/65 11793 /proc/meminfo: memFree=1706160/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=22504 CPUtime=12.69 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 5699 0 0 0 1265 4 0 0 25 0 1 0 163027691 23044096 5329 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 5626 5329 123 215 0 5408 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22504 [startup+25.5012 s] /proc/loadavg: 0.95 0.97 0.99 2/65 11793 /proc/meminfo: memFree=1698288/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=30192 CPUtime=25.49 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 7599 0 0 0 2543 6 0 0 25 0 1 0 163027691 30916608 7229 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 7548 7229 123 215 0 7330 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 30192 [startup+51.102 s] /proc/loadavg: 0.97 0.97 0.99 2/65 11793 /proc/meminfo: memFree=1687088/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=41384 CPUtime=51.07 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 10411 0 0 0 5098 9 0 0 25 0 1 0 163027691 42377216 10041 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580792 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 10346 10041 123 215 0 10128 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 41384 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.99 2/65 11793 /proc/meminfo: memFree=1684080/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=44240 CPUtime=102.26 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 11135 0 0 0 10216 10 0 0 25 0 1 0 163027691 45301760 10756 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134586325 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 11060 10756 123 215 0 10842 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 44240 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11793 /proc/meminfo: memFree=1683760/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=44548 CPUtime=162.23 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 11192 0 0 0 16213 10 0 0 25 0 1 0 163027691 45617152 10813 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 11137 10813 123 215 0 10919 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 44548 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11793 /proc/meminfo: memFree=1681520/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=46820 CPUtime=222.22 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 11745 0 0 0 22211 11 0 0 25 0 1 0 163027691 47943680 11366 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 11705 11366 123 215 0 11487 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 46820 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11793 /proc/meminfo: memFree=1677488/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=50920 CPUtime=282.2 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 12750 0 0 0 28208 12 0 0 25 0 1 0 163027691 52142080 12371 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 12730 12371 123 215 0 12512 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 50920 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11793 /proc/meminfo: memFree=1674352/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=54120 CPUtime=342.17 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 13531 0 0 0 34204 13 0 0 25 0 1 0 163027691 55418880 13152 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 13530 13152 123 215 0 13312 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 54120 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11793 /proc/meminfo: memFree=1673712/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=54820 CPUtime=402.15 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 13681 0 0 0 40202 13 0 0 25 0 1 0 163027691 56135680 13302 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 13705 13302 123 215 0 13487 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 54820 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11793 /proc/meminfo: memFree=1673648/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=54996 CPUtime=462.13 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 13696 0 0 0 46200 13 0 0 25 0 1 0 163027691 56315904 13317 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 13749 13317 123 215 0 13531 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 54996 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11793 /proc/meminfo: memFree=1673200/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=55316 CPUtime=522.12 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 13802 0 0 0 52198 14 0 0 25 0 1 0 163027691 56643584 13423 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 13829 13423 123 215 0 13611 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 55316 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11793 /proc/meminfo: memFree=1673136/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=55500 CPUtime=582.09 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 13829 0 0 0 58195 14 0 0 25 0 1 0 163027691 56832000 13450 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 13875 13450 123 215 0 13657 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 55500 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11793 /proc/meminfo: memFree=1672816/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=55904 CPUtime=642.08 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 13891 0 0 0 64194 14 0 0 25 0 1 0 163027691 57245696 13512 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 13976 13512 123 215 0 13758 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 55904 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11795 /proc/meminfo: memFree=1665776/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=63168 CPUtime=881.99 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 15640 0 0 0 88183 16 0 0 25 0 1 0 163027691 64684032 15261 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 15792 15261 123 215 0 15574 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 63168 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11795 /proc/meminfo: memFree=1665712/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=63168 CPUtime=941.97 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 15657 0 0 0 94181 16 0 0 25 0 1 0 163027691 64684032 15278 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 15792 15278 123 215 0 15574 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 63168 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11795 /proc/meminfo: memFree=1665456/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=63524 CPUtime=1001.95 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 15709 0 0 0 100179 16 0 0 25 0 1 0 163027691 65048576 15330 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580978 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 15881 15330 123 215 0 15663 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 63524 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11795 /proc/meminfo: memFree=1665200/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=63704 CPUtime=1061.93 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 15763 0 0 0 106177 16 0 0 25 0 1 0 163027691 65232896 15384 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 15926 15384 123 215 0 15708 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 63704 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11795 /proc/meminfo: memFree=1664944/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=64060 CPUtime=1121.91 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 15826 0 0 0 112175 16 0 0 25 0 1 0 163027691 65597440 15447 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 16015 15447 123 215 0 15797 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 64060 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11795 /proc/meminfo: memFree=1664688/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=64224 CPUtime=1181.89 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 15897 0 0 0 118173 16 0 0 25 0 1 0 163027691 65765376 15518 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 16056 15518 123 215 0 15838 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 64224 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11795 /proc/meminfo: memFree=1664688/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=64224 CPUtime=1241.87 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 15897 0 0 0 124171 16 0 0 25 0 1 0 163027691 65765376 15518 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 16056 15518 123 215 0 15838 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 64224 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11795 /proc/meminfo: memFree=1664560/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=64224 CPUtime=1301.85 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 15902 0 0 0 130169 16 0 0 25 0 1 0 163027691 65765376 15523 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 16056 15523 123 215 0 15838 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 64224 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11795 /proc/meminfo: memFree=1664624/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=64224 CPUtime=1361.82 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 15902 0 0 0 136166 16 0 0 25 0 1 0 163027691 65765376 15523 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 16056 15523 123 215 0 15838 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 64224 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11795 /proc/meminfo: memFree=1664624/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=64224 CPUtime=1421.81 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 15902 0 0 0 142165 16 0 0 25 0 1 0 163027691 65765376 15523 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 16056 15523 123 215 0 15838 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 64224 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11795 /proc/meminfo: memFree=1664560/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=64224 CPUtime=1481.78 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 15902 0 0 0 148162 16 0 0 25 0 1 0 163027691 65765376 15523 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 16056 15523 123 215 0 15838 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 64224 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11795 /proc/meminfo: memFree=1664560/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=64224 CPUtime=1541.76 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 15902 0 0 0 154160 16 0 0 25 0 1 0 163027691 65765376 15523 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 16056 15523 123 215 0 15838 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 64224 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11795 /proc/meminfo: memFree=1664304/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=64600 CPUtime=1601.74 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 15959 0 0 0 160158 16 0 0 25 0 1 0 163027691 66150400 15580 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580744 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 16150 15580 123 215 0 15932 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 64600 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11795 /proc/meminfo: memFree=1663792/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=65136 CPUtime=1661.72 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 16080 0 0 0 166156 16 0 0 25 0 1 0 163027691 66699264 15701 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 16284 15701 123 215 0 16066 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 65136 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11795 /proc/meminfo: memFree=1663856/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=65136 CPUtime=1721.7 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 16082 0 0 0 172154 16 0 0 25 0 1 0 163027691 66699264 15703 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 16284 15703 123 215 0 16066 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 65136 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11795 /proc/meminfo: memFree=1663792/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=65136 CPUtime=1781.68 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 16084 0 0 0 178152 16 0 0 25 0 1 0 163027691 66699264 15705 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 16284 15705 123 215 0 16066 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 65136 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11795 /proc/meminfo: memFree=1663728/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=65136 CPUtime=1800.08 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 16084 0 0 0 179992 16 0 0 25 0 1 0 163027691 66699264 15705 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580886 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 16284 15705 123 215 0 16066 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 65136 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11795 /proc/meminfo: memFree=1663728/2055920 swapFree=4184568/4192956 [pid=11792] ppid=11790 vsize=65136 CPUtime=1800.08 /proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 16084 0 0 0 179992 16 0 0 25 0 1 0 163027691 66699264 15705 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580886 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11792/statm: 16284 15705 123 215 0 16066 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 65136 Child status: 10 Real time (s): 1800.73 CPU time (s): 1800.11 CPU user time (s): 1799.93 CPU system time (s): 0.176973 CPU usage (%): 99.9656 Max. virtual memory (cumulated for all children) (KiB): 65136 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.93 system time used= 0.176973 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16086 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= 33 involuntary context switches= 2849 runsolver used 1.12683 second user time and 3.83442 second system time The end
Begin job on node59 on Sat Apr 21 10:26:21 UTC 2007 IDJOB= 372967 IDBENCH= 25010 IDSOLVER= 156 FILE ID= node59/372967-1177151181 PBS_JOBID= 4648859 Free space on /tmp= 66329 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir06_area_delay.opb COMMAND LINE= /tmp/evaluation/372967-1177151181/minisat+ /tmp/evaluation/372967-1177151181/instance-372967-1177151181.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node59/convwatcher-372967-1177151181 -o ROOT/results/node59/conversion-372967-1177151181 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372967-1177151181/instance-372967-1177151181.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-372967-1177151181 -o ROOT/results/node59/solver-372967-1177151181 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372967-1177151181/minisat+ /tmp/evaluation/372967-1177151181/instance-372967-1177151181.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 21fb64899a6dc4867ccfcbb30d44d536 RANDOM SEED= 955697735 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node59.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.268 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.268 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: 1727352 kB Buffers: 26420 kB Cached: 232188 kB SwapCached: 2104 kB Active: 59460 kB Inactive: 217556 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1727352 kB SwapTotal: 4192956 kB SwapFree: 4184568 kB Dirty: 2872 kB Writeback: 0 kB Mapped: 25128 kB Slab: 37536 kB Committed_AS: 2983308 kB PageTables: 1492 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= 66329 MiB End job on node59 on Sat Apr 21 10:56:24 UTC 2007