Trace number 432772

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.17SAT (TO)4324 1800.35 1800.87

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-air05.opb
MD5SUM2b7e03ead6dfd4071784021865da4458
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4324
Best CPU time to get the best result obtained on this benchmark1800.35
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4324
Optimality of the best value was proved NO
Number of variables7195
Total number of constraints426
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)426
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint404
Number of terms in the objective function 7195
Biggest coefficient in the objective function 360
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 527812
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 360
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 527812
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/432772-1177949369/instance-432772-1177949369.opb
0.00/0.00	c File size is 536059 bytes.
0.09/0.11	c Highest Coefficient sum: 527812
0.09/0.11	c Parsing was ok!!
0.09/0.11	c Total parsing time: 0.108 s
0.09/0.12	c Var: 7195 Constr: 852 426/426/0 Lit: 104242 Watch. Lit: 52973
0.09/0.12	c Obj. Vars: 7195 (100 % of total variables)
2.19/2.21	c Pre-processing Time: 2.213 s
2.19/2.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.21	c        0   6334      694    89093  128    45997  304220      0      0 2.21
2.19/2.21	c Switching off LPR mode.
2.19/2.22	o 4324	2.218
1800.09/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.09/1800.60	c        3   6334      698    96054  137    52268  316888      4      1 2.22
1800.09/1800.60	c      103   6334      798   137006  171    52457  348577    104     45 2.28
1800.09/1800.60	c      353   6334     1048   156065  148    52934  383435    354    138 2.55
1800.09/1800.60	c      828   6334     1523   198851  130    53883  421779    829    266 3.11
1800.09/1800.60	c     1642   6334     2337   284775  121    55551  463957   1643    447 3.67
1800.09/1800.60	c     2962   6334     3657   821273  224    58210  510353   2963    550 5.38
1800.09/1800.60	c     5043   6333     5738  1376980  239    62373  561389   5044    702 7.18
1800.09/1800.60	c     8266   6325     8961  1885741  210    68751  617528   8267    712 11.60
1800.09/1800.60	c    13202   6325    13897  2861613  205    78657  679281  13203    681 19.37
1800.09/1800.60	c    20708   6324    21403  5238910  244    93689  747210  20709    636 32.55
1800.09/1800.60	c    32070   6320    32765  8330598  254   116415  821932  32071    526 60.88
1800.09/1800.60	c    49214   6317    49909 15441960  309   150695  904126  49215    412 119.24
1800.09/1800.60	c    75033   6311    75728 22938037  302   202302  994539  75034    286 262.02
1800.09/1800.60	c   113866   6308   114561 41948051  366   279994  500000 113867    218 520.46
1800.09/1800.60	c   172219   6304   172914 81154672  469   396696  550001 172220    171 1003.38
1800.09/1800.60	c Caught signal: 15
1800.09/1800.60	v -x1 x1112 x2223 x3334 x4445 x5556 x6667 x6974 x7085 -x2 x113 x224 x335 x446 x557 x668 x779 x890 x1001 x1113 x1224 x1335 x1446
1800.09/1800.60	v x1557 x1668 x1779 -x1890 -x2001 x2112 x2224 x2335 -x2446 x2557 x2668 x2779 -x2890 x3001 -x3112 x3223 x3335 x3446 -x3557
1800.09/1800.60	v x3668 -x3779 -x3890 x4001 x4112 x4223 x4334 x4446 x4557 x4668 x4779 x4890 x5001 x5112 x5223 x5334 x5445 x5557 x5668 x5779
1800.09/1800.60	v x5890 x6001 x6112 -x6223 x6334 x6445 x6556 -x6668 x6779 -x6886 -x6897 -x6908 -x6919 -x6930 -x6941 -x6952 -x6963 -x6975
1800.09/1800.60	v -x6986 -x6997 -x7008 -x7019 -x7030 -x7041 -x7052 -x7063 -x7074 -x7086 -x7097 -x7108 -x7119 -x7130 -x7141 -x7152 -x7163
1800.09/1800.60	v -x7174 x7185 -x3 -x14 -x25 -x36 -x47 -x58 -x69 -x80 -x91 -x102 -x114 -x125 -x136 -x147 -x158 x169 x180 -x191 -x202 -x213 -x225
1800.09/1800.60	v -x236 -x247 -x258 -x269 x280 -x291 -x302 -x313 -x324 -x336 -x347 -x358 -x369 -x380 -x391 -x402 -x413 -x424 -x435 -x447 -x458
1800.09/1800.60	v -x469 -x480 -x491 -x502 -x513 -x524 -x535 -x546 -x558 -x569 -x580 -x591 -x602 -x613 -x624 -x635 -x646 -x657 -x669 -x680 -x691
1800.09/1800.60	v -x702 -x713 -x724 -x735 -x746 -x757 -x768 -x780 -x791 -x802 -x813 -x824 -x835 -x846 -x857 -x868 -x879 -x891 -x902 -x913 -x924
1800.09/1800.60	v -x935 -x946 -x957 -x968 -x979 -x990 -x1002 -x1013 -x1024 -x1035 -x1046 -x1057 -x1068 -x1079 -x1090 -x1101 -x1114 -x1125
1800.09/1800.60	v -x1136 -x1147 -x1158 -x1169 -x1180 -x1191 -x1202 -x1213 -x1225 -x1236 -x1247 -x1258 -x1269 -x1280 -x1291 -x1302 -x1313
1800.09/1800.60	v -x1324 -x1336 -x1347 -x1358 -x1369 -x1380 -x1391 -x1402 -x1413 -x1424 -x1435 -x1447 -x1458 -x1469 -x1480 -x1491 -x1502
1800.09/1800.60	v -x1513 -x1524 -x1535 -x1546 -x1558 -x1569 -x1580 -x1591 -x1602 -x1613 -x1624 -x1635 -x1646 x1657 -x1669 -x1680 -x1691
1800.09/1800.60	v -x1702 -x1713 -x1724 -x1735 -x1746 -x1757 -x1768 -x1780 -x1791 -x1802 -x1813 x1824 -x1835 -x1846 -x1857 -x1868 -x1879
1800.09/1800.60	v -x1891 x1902 x1913 -x1924 -x1935 -x1946 -x1957 -x1968 -x1979 -x1990 -x2002 -x2013 -x2024 -x2035 -x2046 -x2057 -x2068 -x2079
1800.09/1800.60	v -x2090 -x2101 x2113 -x2124 -x2135 -x2146 -x2157 -x2168 -x2179 -x2190 x2201 x2212 -x2225 -x2236 -x2247 -x2258 -x2269 -x2280
1800.09/1800.60	v -x2291 -x2302 -x2313 -x2324 -x2336 -x2347 -x2358 -x2369 -x2380 -x2391 -x2402 -x2413 -x2424 -x2435 -x2447 -x2458 -x2469
1800.09/1800.60	v -x2480 -x2491 -x2502 -x2513 -x2524 -x2535 -x2546 -x2558 -x2569 -x2580 -x2591 -x2602 -x2613 -x2624 -x2635 -x2646 -x2657
1800.09/1800.60	v -x2669 -x2680 -x2691 -x2702 -x2713 -x2724 -x2735 -x2746 -x2757 -x2768 -x2780 -x2791 -x2802 -x2813 -x2824 -x2835 -x2846
1800.09/1800.60	v -x2857 -x2868 x2879 -x2891 -x2902 -x2913 -x2924 -x2935 -x2946 -x2957 -x2968 -x2979 -x2990 -x3002 -x3013 -x3024 -x3035
1800.09/1800.60	v -x3046 -x3057 -x3068 -x3079 -x3090 -x3101 -x3113 -x3124 x3135 -x3146 -x3157 -x3168 -x3179 -x3190 -x3201 -x3212 -x3224
1800.09/1800.60	v -x3235 -x3246 -x3257 -x3268 -x3279 -x3290 -x3301 -x3312 -x3323 -x3336 -x3347 -x3358 -x3369 -x3380 -x3391 -x3402 -x3413
1800.09/1800.60	v -x3424 -x3435 -x3447 -x3458 -x3469 -x3480 -x3491 -x3502 -x3513 -x3524 -x3535 -x3546 -x3558 -x3569 -x3580 -x3591 -x3602
1800.09/1800.60	v -x3613 -x3624 -x3635 -x3646 -x3657 -x3669 -x3680 -x3691 -x3702 -x3713 -x3724 -x3735 -x3746 -x3757 -x3768 -x3780 -x3791
1800.09/1800.60	v -x3802 -x3813 x3824 -x3835 -x3846 -x3857 -x3868 -x3879 -x3891 -x3902 -x3913 -x3924 -x3935 -x3946 -x3957 -x3968 -x3979
1800.09/1800.60	v -x3990 -x4002 -x4013 -x4024 -x4035 x4046 -x4057 -x4068 -x4079 -x4090 -x4101 -x4113 -x4124 -x4135 -x4146 -x4157 -x4168
1800.09/1800.60	v -x4179 -x4190 -x4201 -x4212 -x4224 -x4235 -x4246 -x4257 -x4268 -x4279 -x4290 -x4301 -x4312 -x4323 -x4335 -x4346 -x4357
1800.09/1800.60	v -x4368 -x4379 -x4390 -x4401 -x4412 -x4423 -x4434 -x4447 -x4458 -x4469 -x4480 -x4491 -x4502 -x4513 -x4524 -x4535 -x4546
1800.09/1800.60	v -x4558 -x4569 -x4580 -x4591 -x4602 -x4613 -x4624 -x4635 -x4646 -x4657 -x4669 -x4680 -x4691 -x4702 -x4713 -x4724 -x4735
1800.09/1800.60	v -x4746 -x4757 -x4768 -x4780 -x4791 -x4802 -x4813 -x4824 -x4835 -x4846 -x4857 -x4868 -x4879 -x4891 -x4902 -x4913 -x4924
1800.09/1800.60	v -x4935 -x4946 -x4957 -x4968 -x4979 -x4990 -x5002 -x5013 -x5024 -x5035 -x5046 -x5057 -x5068 -x5079 -x5090 -x5101 -x5113
1800.09/1800.60	v -x5124 -x5135 -x5146 -x5157 -x5168 -x5179 -x5190 -x5201 -x5212 -x5224 -x5235 -x5246 -x5257 -x5268 -x5279 -x5290 -x5301
1800.09/1800.60	v -x5312 -x5323 -x5335 -x5346 -x5357 -x5368 -x5379 -x5390 -x5401 -x5412 -x5423 -x5434 -x5446 -x5457 -x5468 -x5479 -x5490
1800.09/1800.60	v -x5501 -x5512 -x5523 -x5534 -x5545 -x5558 -x5569 -x5580 -x5591 -x5602 -x5613 -x5624 -x5635 -x5646 -x5657 -x5669 -x5680
1800.09/1800.60	v -x5691 -x5702 -x5713 -x5724 -x5735 -x5746 -x5757 -x5768 -x5780 -x5791 -x5802 -x5813 -x5824 -x5835 -x5846 -x5857 -x5868
1800.09/1800.60	v -x5879 -x5891 -x5902 -x5913 -x5924 -x5935 -x5946 -x5957 -x5968 -x5979 -x5990 -x6002 -x6013 -x6024 -x6035 -x6046 -x6057
1800.09/1800.60	v -x6068 -x6079 -x6090 -x6101 -x6113 -x6124 -x6135 -x6146 -x6157 -x6168 -x6179 -x6190 -x6201 -x6212 -x6224 -x6235 -x6246
1800.09/1800.60	v -x6257 -x6268 -x6279 -x6290 -x6301 -x6312 -x6323 -x6335 -x6346 -x6357 -x6368 -x6379 -x6390 -x6401 -x6412 -x6423 -x6434
1800.09/1800.60	v -x6446 -x6457 -x6468 -x6479 -x6490 -x6501 -x6512 -x6523 -x6534 -x6545 -x6557 -x6568 -x6579 -x6590 -x6601 -x6612 -x6623
1800.09/1800.60	v -x6634 -x6645 -x6656 -x6669 -x6680 -x6691 -x6702 -x6713 -x6724 -x6735 -x6746 -x6757 -x6768 -x6780 -x6791 -x6802 -x6813
1800.09/1800.60	v -x6824 -x6835 -x6846 -x6857 -x6868 -x6879 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6898
1800.09/1800.60	v -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916
1800.09/1800.60	v -x6917 -x6918 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6931 -x6932 -x6933 -x6934 -x6935
1800.09/1800.60	v -x6936 -x6937 -x6938 -x6939 -x6940 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6953 -x6954
1800.09/1800.60	v -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972
1800.09/1800.60	v -x6973 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992
1800.09/1800.60	v -x6993 -x6994 -x6995 -x6996 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7009 -x7010 -x7011
1800.09/1800.60	v -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029
1800.09/1800.60	v -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048
1800.09/1800.60	v -x7049 -x7050 -x7051 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7064 -x7065 -x7066 -x7067
1800.09/1800.60	v -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7087
1800.09/1800.60	v -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105
1800.09/1800.60	v -x7106 -x7107 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7120 -x7121 -x7122 -x7123 -x7124
1800.09/1800.60	v -x7125 -x7126 -x7127 -x7128 -x7129 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7142 -x7143
1800.09/1800.60	v -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161
1800.09/1800.60	v -x7162 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180
1800.09/1800.60	v -x7181 -x7182 -x7183 -x7184 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x4 -x5 -x6 -x7 -x8 -x9
1800.09/1800.60	v -x10 -x11 -x12 -x13 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x37 -x38
1800.09/1800.60	v -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66
1800.09/1800.60	v -x67 -x68 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x92 -x93 -x94 -x95
1800.09/1800.60	v -x96 -x97 -x98 -x99 -x100 -x101 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x115 -x116 -x117 -x118 -x119
1800.09/1800.60	v -x120 -x121 -x122 -x123 -x124 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x137 -x138 -x139 -x140 -x141 -x142
1800.09/1800.60	v -x143 -x144 -x145 -x146 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x159 -x160 -x161 -x162 -x163 -x164 -x165
1800.09/1800.60	v -x166 -x167 -x168 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188
1800.09/1800.60	v -x189 -x190 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211
1800.09/1800.60	v -x212 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235
1800.09/1800.60	v -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x259
1800.09/1800.60	v -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x281 -x282
1800.09/1800.60	v -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x303 -x304 -x305
1800.09/1800.60	v -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x325 -x326 -x327 -x328
1800.09/1800.60	v -x329 -x330 -x331 -x332 -x333 -x334 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x348 -x349 -x350 -x351 -x352
1800.09/1800.60	v -x353 -x354 -x355 -x356 -x357 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x370 -x371 -x372 -x373 -x374 -x375
1800.09/1800.60	v -x376 -x377 -x378 -x379 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x392 -x393 -x394 -x395 -x396 -x397 -x398
1800.09/1800.60	v -x399 -x400 -x401 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421
1800.09/1800.60	v -x422 -x423 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444
1800.09/1800.60	v -x445 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468
1800.09/1800.60	v -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x492
1800.09/1800.60	v -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x514 -x515
1800.09/1800.60	v -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x536 -x537 -x538
1800.09/1800.60	v -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x559 -x560 -x561 -x562
1800.09/1800.60	v -x563 -x564 -x565 -x566 -x567 -x568 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x581 -x582 -x583 -x584 -x585
1800.09/1800.60	v -x586 -x587 -x588 -x589 -x590 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x603 -x604 -x605 -x606 -x607 -x608
1800.09/1800.60	v -x609 -x610 -x611 -x612 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x625 -x626 -x627 -x628 -x629 -x630 -x631
1800.09/1800.60	v -x632 -x633 -x634 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654
1800.09/1800.60	v -x655 -x656 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678
1800.09/1800.60	v -x679 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701
1800.09/1800.60	v -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x725
1800.09/1800.60	v -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x747 -x748
1800.09/1800.60	v -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x769 -x770 -x771
1800.09/1800.60	v -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x792 -x793 -x794 -x795
1800.09/1800.60	v -x796 -x797 -x798 -x799 -x800 -x801 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x814 -x815 -x816 -x817 -x818
1800.09/1800.60	v -x819 -x820 -x821 -x822 -x823 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x836 -x837 -x838 -x839 -x840 -x841
1800.09/1800.60	v -x842 -x843 -x844 -x845 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x858 -x859 -x860 -x861 -x862 -x863 -x864
1800.09/1800.60	v -x865 -x866 -x867 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887
1800.09/1800.60	v -x888 -x889 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911
1800.09/1800.60	v -x912 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934
1800.09/1800.60	v -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x958
1800.09/1800.60	v -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x980 -x981
1800.09/1800.60	v -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1003 -x1004
1800.09/1800.60	v -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022
1800.09/1800.60	v -x1023 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041
1800.09/1800.60	v -x1042 -x1043 -x1044 -x1045 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1058 -x1059 -x1060
1800.09/1800.60	v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078
1800.09/1800.60	v -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097
1800.09/1800.60	v -x1098 -x1099 -x1100 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1115 -x1116 -x1117 -x1118
1800.09/1800.60	v -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1137
1800.09/1800.60	v -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155
1800.09/1800.60	v -x1156 -x1157 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1170 -x1171 -x1172 -x1173 -x1174
1800.09/1800.60	v -x1175 -x1176 -x1177 -x1178 -x1179 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1192 -x1193
1800.09/1800.60	v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211
1800.09/1800.60	v -x1212 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231
1800.09/1800.60	v -x1232 -x1233 -x1234 -x1235 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1248 -x1249 -x1250
1800.09/1800.60	v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268
1800.09/1800.60	v -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287
1800.09/1800.60	v -x1288 -x1289 -x1290 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1303 -x1304 -x1305 -x1306
1800.09/1800.60	v -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1325
1800.09/1800.60	v -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344
1800.09/1800.60	v -x1345 -x1346 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1359 -x1360 -x1361 -x1362 -x1363
1800.09/1800.60	v -x1364 -x1365 -x1366 -x1367 -x1368 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1381 -x1382
1800.09/1800.60	v -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400
1800.09/1800.60	v -x1401 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419
1800.09/1800.60	v -x1420 -x1421 -x1422 -x1423 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1436 -x1437 -x1438
1800.09/1800.60	v -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457
1800.09/1800.60	v -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476
1800.09/1800.60	v -x1477 -x1478 -x1479 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1492 -x1493 -x1494 -x1495
1800.09/1800.60	v -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1514
1800.09/1800.60	v -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532
1800.09/1800.60	v -x1533 -x1534 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1547 -x1548 -x1549 -x1550 -x1551
1800.09/1800.60	v -x1552 -x1553 -x1554 -x1555 -x1556 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1570 -x1571
1800.09/1800.60	v -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589
1800.09/1800.60	v -x1590 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608
1800.09/1800.60	v -x1609 -x1610 -x1611 -x1612 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1625 -x1626 -x1627
1800.09/1800.60	v -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645
1800.09/1800.60	v -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664
1800.09/1800.60	v -x1665 -x1666 -x1667 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1681 -x1682 -x1683 -x1684
1800.09/1800.60	v -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1703
1800.09/1800.60	v -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721
1800.09/1800.60	v -x1722 -x1723 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1736 -x1737 -x1738 -x1739 -x1740
1800.09/1800.60	v -x1741 -x1742 -x1743 -x1744 -x1745 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1758 -x1759
1800.09/1800.60	v -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777
1800.09/1800.60	v -x1778 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797
1800.09/1800.60	v -x1798 -x1799 -x1800 -x1801 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1814 -x1815 -x1816
1800.09/1800.60	v -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834
1800.09/1800.60	v -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853
1800.09/1800.60	v -x1854 -x1855 -x1856 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1869 -x1870 -x1871 -x1872
1800.09/1800.60	v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1892
1800.09/1800.60	v -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910
1800.09/1800.60	v -x1911 -x1912 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1925 -x1926 -x1927 -x1928 -x1929
1800.09/1800.60	v -x1930 -x1931 -x1932 -x1933 -x1934 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1947 -x1948
1800.09/1800.60	v -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966
1800.09/1800.60	v -x1967 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985
1800.09/1800.60	v -x1986 -x1987 -x1988 -x1989 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2003 -x2004 -x2005
1800.09/1800.60	v -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023
1800.09/1800.60	v -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042
1800.09/1800.60	v -x2043 -x2044 -x2045 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2058 -x2059 -x2060 -x2061
1800.09/1800.60	v -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2080
1800.09/1800.60	v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098
1800.09/1800.60	v -x2099 -x2100 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2114 -x2115 -x2116 -x2117 -x2118
1800.09/1800.60	v -x2119 -x2120 -x2121 -x2122 -x2123 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2136 -x2137
1800.09/1800.60	v -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155
1800.09/1800.60	v -x2156 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174
1800.09/1800.60	v -x2175 -x2176 -x2177 -x2178 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2191 -x2192 -x2193
1800.09/1800.60	v -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211
1800.09/1800.60	v -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232
1800.09/1800.60	v -x2233 -x2234 -x2235 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2248 -x2249 -x2250 -x2251
1800.09/1800.60	v -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2270
1800.09/1800.60	v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288
1800.09/1800.60	v -x2289 -x2290 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2303 -x2304 -x2305 -x2306 -x2307
1800.09/1800.60	v -x2308 -x2309 -x2310 -x2311 -x2312 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2325 -x2326
1800.09/1800.60	v -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345
1800.09/1800.60	v -x2346 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364
1800.09/1800.60	v -x2365 -x2366 -x2367 -x2368 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2381 -x2382 -x2383
1800.09/1800.60	v -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401
1800.09/1800.60	v -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420
1800.09/1800.60	v -x2421 -x2422 -x2423 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2436 -x2437 -x2438 -x2439
1800.09/1800.60	v -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2459
1800.09/1800.60	v -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477
1800.09/1800.60	v -x2478 -x2479 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2492 -x2493 -x2494 -x2495 -x2496
1800.09/1800.60	v -x2497 -x2498 -x2499 -x2500 -x2501 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2514 -x2515
1800.09/1800.60	v -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533
1800.09/1800.60	v -x2534 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552
1800.09/1800.60	v -x2553 -x2554 -x2555 -x2556 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2570 -x2571 -x2572
1800.09/1800.60	v -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590
1800.09/1800.60	v -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609
1800.09/1800.60	v -x2610 -x2611 -x2612 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2625 -x2626 -x2627 -x2628
1800.09/1800.60	v -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2647
1800.09/1800.60	v -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665
1800.09/1800.60	v -x2666 -x2667 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2681 -x2682 -x2683 -x2684 -x2685
1800.09/1800.60	v -x2686 -x2687 -x2688 -x2689 -x2690 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2703 -x2704
1800.09/1800.60	v -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722
1800.09/1800.60	v -x2723 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741
1800.09/1800.60	v -x2742 -x2743 -x2744 -x2745 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2758 -x2759 -x2760
1800.09/1800.60	v -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778
1800.09/1800.60	v -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798
1800.09/1800.60	v -x2799 -x2800 -x2801 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2814 -x2815 -x2816 -x2817
1800.09/1800.60	v -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2836
1800.09/1800.60	v -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854
1800.09/1800.60	v -x2855 -x2856 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2869 -x2870 -x2871 -x2872 -x2873
1800.09/1800.60	v -x2874 -x2875 -x2876 -x2877 -x2878 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2892 -x2893
1800.09/1800.60	v -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911
1800.09/1800.60	v -x2912 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930
1800.09/1800.60	v -x2931 -x2932 -x2933 -x2934 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2947 -x2948 -x2949
1800.09/1800.60	v -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967
1800.09/1800.60	v -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986
1800.09/1800.60	v -x2987 -x2988 -x2989 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3003 -x3004 -x3005 -x3006
1800.09/1800.60	v -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3025
1800.09/1800.60	v -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043
1800.09/1800.60	v -x3044 -x3045 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3058 -x3059 -x3060 -x3061 -x3062
1800.09/1800.60	v -x3063 -x3064 -x3065 -x3066 -x3067 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3080 -x3081
1800.09/1800.60	v -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099
1800.09/1800.60	v -x3100 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119
1800.09/1800.60	v -x3120 -x3121 -x3122 -x3123 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3136 -x3137 -x3138
1800.09/1800.60	v -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156
1800.09/1800.60	v -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175
1800.09/1800.60	v -x3176 -x3177 -x3178 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3191 -x3192 -x3193 -x3194
1800.09/1800.60	v -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3213
1800.09/1800.60	v -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232
1800.09/1800.60	v -x3233 -x3234 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3247 -x3248 -x3249 -x3250 -x3251
1800.09/1800.60	v -x3252 -x3253 -x3254 -x3255 -x3256 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3269 -x3270
1800.09/1800.60	v -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288
1800.09/1800.60	v -x3289 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307
1800.09/1800.60	v -x3308 -x3309 -x3310 -x3311 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3324 -x3325 -x3326
1800.09/1800.60	v -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346
1800.09/1800.60	v -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365
1800.09/1800.60	v -x3366 -x3367 -x3368 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3381 -x3382 -x3383 -x3384
1800.09/1800.60	v -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3403
1800.09/1800.60	v -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421
1800.09/1800.60	v -x3422 -x3423 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3436 -x3437 -x3438 -x3439 -x3440
1800.09/1800.60	v -x3441 -x3442 -x3443 -x3444 -x3445 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3459 -x3460
1800.09/1800.60	v -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478
1800.09/1800.60	v -x3479 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497
1800.09/1800.60	v -x3498 -x3499 -x3500 -x3501 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3514 -x3515 -x3516
1800.09/1800.60	v -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534
1800.09/1800.60	v -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553
1800.09/1800.60	v -x3554 -x3555 -x3556 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3570 -x3571 -x3572 -x3573
1800.09/1800.60	v -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3592
1800.09/1800.60	v -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610
1800.09/1800.60	v -x3611 -x3612 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3625 -x3626 -x3627 -x3628 -x3629
1800.09/1800.60	v -x3630 -x3631 -x3632 -x3633 -x3634 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3647 -x3648
1800.09/1800.60	v -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666
1800.09/1800.60	v -x3667 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686
1800.09/1800.60	v -x3687 -x3688 -x3689 -x3690 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3703 -x3704 -x3705
1800.09/1800.60	v -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723
1800.09/1800.60	v -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742
1800.09/1800.60	v -x3743 -x3744 -x3745 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3758 -x3759 -x3760 -x3761
1800.09/1800.60	v -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3781
1800.09/1800.60	v -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799
1800.09/1800.60	v -x3800 -x3801 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3814 -x3815 -x3816 -x3817 -x3818
1800.09/1800.60	v -x3819 -x3820 -x3821 -x3822 -x3823 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3836 -x3837
1800.09/1800.60	v -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855
1800.09/1800.60	v -x3856 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874
1800.09/1800.60	v -x3875 -x3876 -x3877 -x3878 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3892 -x3893 -x3894
1800.09/1800.60	v -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912
1800.09/1800.60	v -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931
1800.09/1800.60	v -x3932 -x3933 -x3934 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3947 -x3948 -x3949 -x3950
1800.09/1800.60	v -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3969
1800.09/1800.60	v -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987
1800.09/1800.60	v -x3988 -x3989 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4003 -x4004 -x4005 -x4006 -x4007
1800.09/1800.60	v -x4008 -x4009 -x4010 -x4011 -x4012 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4025 -x4026
1800.09/1800.60	v -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044
1800.09/1800.60	v -x4045 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063
1800.09/1800.60	v -x4064 -x4065 -x4066 -x4067 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4080 -x4081 -x4082
1800.09/1800.60	v -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100
1800.09/1800.60	v -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120
1800.09/1800.60	v -x4121 -x4122 -x4123 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4136 -x4137 -x4138 -x4139
1800.09/1800.60	v -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4158
1800.09/1800.60	v -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176
1800.09/1800.60	v -x4177 -x4178 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4191 -x4192 -x4193 -x4194 -x4195
1800.09/1800.60	v -x4196 -x4197 -x4198 -x4199 -x4200 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4213 -x4214
1800.09/1800.60	v -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233
1800.09/1800.60	v -x4234 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252
1800.09/1800.60	v -x4253 -x4254 -x4255 -x4256 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4269 -x4270 -x4271
1800.09/1800.60	v -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289
1800.09/1800.60	v -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308
1800.09/1800.60	v -x4309 -x4310 -x4311 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4324 -x4325 -x4326 -x4327
1800.09/1800.60	v -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4347
1800.09/1800.60	v -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365
1800.09/1800.60	v -x4366 -x4367 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4380 -x4381 -x4382 -x4383 -x4384
1800.09/1800.60	v -x4385 -x4386 -x4387 -x4388 -x4389 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4402 -x4403
1800.09/1800.60	v -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421
1800.09/1800.60	v -x4422 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440
1800.09/1800.60	v -x4441 -x4442 -x4443 -x4444 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4459 -x4460 -x4461
1800.09/1800.60	v -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479
1800.09/1800.60	v -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498
1800.09/1800.60	v -x4499 -x4500 -x4501 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4514 -x4515 -x4516 -x4517
1800.09/1800.60	v -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4536
1800.09/1800.60	v -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554
1800.09/1800.60	v -x4555 -x4556 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4570 -x4571 -x4572 -x4573 -x4574
1800.09/1800.60	v -x4575 -x4576 -x4577 -x4578 -x4579 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4592 -x4593
1800.09/1800.60	v -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611
1800.09/1800.60	v -x4612 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630
1800.09/1800.60	v -x4631 -x4632 -x4633 -x4634 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4647 -x4648 -x4649
1800.09/1800.60	v -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667
1800.09/1800.60	v -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687
1800.09/1800.60	v -x4688 -x4689 -x4690 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4703 -x4704 -x4705 -x4706
1800.09/1800.60	v -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4725
1800.09/1800.60	v -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743
1800.09/1800.60	v -x4744 -x4745 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4758 -x4759 -x4760 -x4761 -x4762
1800.09/1800.60	v -x4763 -x4764 -x4765 -x4766 -x4767 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4781 -x4782
1800.09/1800.60	v -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800
1800.09/1800.60	v -x4801 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819
1800.09/1800.60	v -x4820 -x4821 -x4822 -x4823 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4836 -x4837 -x4838
1800.09/1800.60	v -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856
1800.09/1800.60	v -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875
1800.09/1800.60	v -x4876 -x4877 -x4878 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4892 -x4893 -x4894 -x4895
1800.09/1800.60	v -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4914
1800.09/1800.60	v -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932
1800.09/1800.60	v -x4933 -x4934 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4947 -x4948 -x4949 -x4950 -x4951
1800.09/1800.60	v -x4952 -x4953 -x4954 -x4955 -x4956 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4969 -x4970
1800.09/1800.60	v -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988
1800.09/1800.60	v -x4989 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008
1800.09/1800.60	v -x5009 -x5010 -x5011 -x5012 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5025 -x5026 -x5027
1800.09/1800.60	v -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045
1800.09/1800.60	v -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064
1800.09/1800.60	v -x5065 -x5066 -x5067 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5080 -x5081 -x5082 -x5083
1800.09/1800.60	v -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5102
1800.09/1800.60	v -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121
1800.09/1800.60	v -x5122 -x5123 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5136 -x5137 -x5138 -x5139 -x5140
1800.09/1800.60	v -x5141 -x5142 -x5143 -x5144 -x5145 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5158 -x5159
1800.09/1800.60	v -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177
1800.09/1800.60	v -x5178 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196
1800.09/1800.60	v -x5197 -x5198 -x5199 -x5200 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5213 -x5214 -x5215
1800.09/1800.60	v -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234
1800.09/1800.60	v -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253
1800.09/1800.60	v -x5254 -x5255 -x5256 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5269 -x5270 -x5271 -x5272
1800.09/1800.60	v -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5291
1800.09/1800.60	v -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309
1800.09/1800.60	v -x5310 -x5311 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5324 -x5325 -x5326 -x5327 -x5328
1800.09/1800.60	v -x5329 -x5330 -x5331 -x5332 -x5333 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5347 -x5348
1800.09/1800.60	v -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366
1800.09/1800.60	v -x5367 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385
1800.09/1800.60	v -x5386 -x5387 -x5388 -x5389 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5402 -x5403 -x5404
1800.09/1800.60	v -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422
1800.09/1800.60	v -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441
1800.09/1800.60	v -x5442 -x5443 -x5444 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5458 -x5459 -x5460 -x5461
1800.09/1800.60	v -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5480
1800.09/1800.60	v -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498
1800.09/1800.60	v -x5499 -x5500 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5513 -x5514 -x5515 -x5516 -x5517
1800.09/1800.60	v -x5518 -x5519 -x5520 -x5521 -x5522 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5535 -x5536
1800.09/1800.60	v -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554
1800.09/1800.60	v -x5555 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575
1800.09/1800.60	v -x5576 -x5577 -x5578 -x5579 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5592 -x5593 -x5594
1800.09/1800.60	v -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612
1800.09/1800.60	v -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631
1800.09/1800.60	v -x5632 -x5633 -x5634 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5647 -x5648 -x5649 -x5650
1800.09/1800.60	v -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5670
1800.09/1800.60	v -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688
1800.09/1800.60	v -x5689 -x5690 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5703 -x5704 -x5705 -x5706 -x5707
1800.09/1800.60	v -x5708 -x5709 -x5710 -x5711 -x5712 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5725 -x5726
1800.09/1800.60	v -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744
1800.09/1800.60	v -x5745 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763
1800.09/1800.60	v -x5764 -x5765 -x5766 -x5767 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5781 -x5782 -x5783
1800.09/1800.60	v -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801
1800.09/1800.60	v -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820
1800.09/1800.60	v -x5821 -x5822 -x5823 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5836 -x5837 -x5838 -x5839
1800.09/1800.60	v -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5858
1800.09/1800.60	v -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876
1800.09/1800.60	v -x5877 -x5878 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5892 -x5893 -x5894 -x5895 -x5896
1800.09/1800.60	v -x5897 -x5898 -x5899 -x5900 -x5901 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5914 -x5915
1800.09/1800.60	v -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933
1800.09/1800.60	v -x5934 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952
1800.09/1800.60	v -x5953 -x5954 -x5955 -x5956 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5969 -x5970 -x5971
1800.09/1800.60	v -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989
1800.09/1800.60	v -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009
1800.09/1800.60	v -x6010 -x6011 -x6012 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6025 -x6026 -x6027 -x6028
1800.09/1800.60	v -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6047
1800.09/1800.60	v -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065
1800.09/1800.60	v -x6066 -x6067 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6080 -x6081 -x6082 -x6083 -x6084
1800.09/1800.60	v -x6085 -x6086 -x6087 -x6088 -x6089 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6102 -x6103
1800.09/1800.60	v -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122
1800.09/1800.60	v -x6123 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141
1800.09/1800.60	v -x6142 -x6143 -x6144 -x6145 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6158 -x6159 -x6160
1800.09/1800.60	v -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178
1800.09/1800.60	v -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197
1800.09/1800.60	v -x6198 -x6199 -x6200 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6213 -x6214 -x6215 -x6216
1800.09/1800.60	v -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6236
1800.09/1800.60	v -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254
1800.09/1800.60	v -x6255 -x6256 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6269 -x6270 -x6271 -x6272 -x6273
1800.09/1800.60	v -x6274 -x6275 -x6276 -x6277 -x6278 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6291 -x6292
1800.09/1800.60	v -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310
1800.09/1800.60	v -x6311 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329
1800.09/1800.60	v -x6330 -x6331 -x6332 -x6333 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6347 -x6348 -x6349
1800.09/1800.60	v -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367
1800.09/1800.60	v -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386
1800.09/1800.60	v -x6387 -x6388 -x6389 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6402 -x6403 -x6404 -x6405
1800.09/1800.60	v -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6424
1800.09/1800.60	v -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442
1800.09/1800.60	v -x6443 -x6444 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6458 -x6459 -x6460 -x6461 -x6462
1800.09/1800.60	v -x6463 -x6464 -x6465 -x6466 -x6467 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6480 -x6481
1800.09/1800.60	v -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499
1800.09/1800.60	v -x6500 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518
1800.09/1800.60	v -x6519 -x6520 -x6521 -x6522 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6535 -x6536 -x6537
1800.09/1800.60	v -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555
1800.09/1800.60	v -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575
1800.09/1800.60	v -x6576 -x6577 -x6578 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6591 -x6592 -x6593 -x6594
1800.09/1800.60	v -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6613
1800.09/1800.60	v -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631
1800.09/1800.60	v -x6632 -x6633 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6646 -x6647 -x6648 -x6649 -x6650
1800.09/1800.60	v -x6651 -x6652 -x6653 -x6654 -x6655 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6670 -x6671
1800.09/1800.60	v -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689
1800.09/1800.60	v -x6690 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708
1800.09/1800.60	v -x6709 -x6710 -x6711 -x6712 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6725 -x6726 -x6727
1800.09/1800.60	v -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745
1800.09/1800.60	v -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764
1800.09/1800.60	v -x6765 -x6766 -x6767 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6781 -x6782 -x6783 -x6784
1800.09/1800.60	v -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6803
1800.09/1800.60	v -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821
1800.09/1800.60	v -x6822 -x6823 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6836 -x6837 -x6838 -x6839 -x6840
1800.09/1800.60	v -x6841 -x6842 -x6843 -x6844 -x6845 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6858 -x6859
1800.09/1800.60	v -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877
1800.09/1800.60	v -x6878 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885
1800.09/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.09/1800.61	c   15   244045 123774  6359833   244740 133262712 244046    135 1800.09
1800.09/1800.61	c Objective: 4324
1800.09/1800.61	s SATISFIABLE
1800.09/1800.61	c Total time: 1800.09 s

Verifier Data (download as text)

OK	4324

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node44/watcher-432772-1177949369 -o ROOT/results/node44/solver-432772-1177949369 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432772-1177949369/instance-432772-1177949369.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.97 0.91 3/77 9198
/proc/meminfo: memFree=1779648/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=12260 CPUtime=0
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 242848664 12554240 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 3065 332 279 324 0 2004 0

[startup+0.089626 s]
/proc/loadavg: 0.92 0.97 0.91 3/77 9198
/proc/meminfo: memFree=1779648/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=6016 CPUtime=0.08
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 865 0 0 0 8 0 0 0 18 0 1 0 242848664 6160384 835 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 1504 836 384 324 0 443 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6016

[startup+0.101626 s]
/proc/loadavg: 0.92 0.97 0.91 3/77 9198
/proc/meminfo: memFree=1779648/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=6272 CPUtime=0.09
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 925 0 0 0 9 0 0 0 18 0 1 0 242848664 6422528 895 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 1568 895 398 324 0 507 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6272

[startup+0.301647 s]
/proc/loadavg: 0.92 0.97 0.91 3/77 9198
/proc/meminfo: memFree=1779648/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=7660 CPUtime=0.29
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 1432 0 0 0 29 0 0 0 20 0 1 0 242848664 7843840 1271 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 1915 1271 303 324 0 985 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7660

[startup+0.701688 s]
/proc/loadavg: 0.92 0.97 0.91 3/77 9198
/proc/meminfo: memFree=1779648/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=7660 CPUtime=0.69
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 1432 0 0 0 69 0 0 0 24 0 1 0 242848664 7843840 1271 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 1915 1271 303 324 0 985 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7660

[startup+1.50177 s]
/proc/loadavg: 0.92 0.97 0.91 2/78 9199
/proc/meminfo: memFree=1775864/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=7660 CPUtime=1.49
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 1434 0 0 0 149 0 0 0 25 0 1 0 242848664 7843840 1273 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 1915 1273 303 324 0 985 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7660

[startup+3.10193 s]
/proc/loadavg: 0.92 0.97 0.91 2/78 9199
/proc/meminfo: memFree=1775736/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=8920 CPUtime=3.09
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 2291 0 0 0 308 1 0 0 25 0 1 0 242848664 9134080 1599 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 2230 1599 310 324 0 1300 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8920

[startup+6.30126 s]
/proc/loadavg: 0.93 0.97 0.91 2/78 9199
/proc/meminfo: memFree=1766072/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=20508 CPUtime=6.29
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 5202 0 0 0 626 3 0 0 25 0 1 0 242848664 21000192 4510 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 5127 4510 310 324 0 4197 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20508

[startup+12.7019 s]
/proc/loadavg: 0.93 0.97 0.91 2/78 9199
/proc/meminfo: memFree=1751544/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=33376 CPUtime=12.69
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 8395 0 0 0 1264 5 0 0 25 0 1 0 242848664 34177024 7703 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 8344 7703 310 324 0 7414 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33376

[startup+25.5022 s]
/proc/loadavg: 0.95 0.97 0.91 2/78 9199
/proc/meminfo: memFree=1731256/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=53344 CPUtime=25.48
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 13391 0 0 0 2539 9 0 0 25 0 1 0 242848664 54624256 12699 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586828 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 13336 12699 310 324 0 12406 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 53344

[startup+51.1029 s]
/proc/loadavg: 0.96 0.97 0.91 2/78 9199
/proc/meminfo: memFree=1684088/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=99496 CPUtime=51.07
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 24933 0 0 0 5091 16 0 0 25 0 1 0 242848664 101883904 24241 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 24874 24241 310 324 0 23944 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 99496

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.91 2/78 9199
/proc/meminfo: memFree=1609976/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=173272 CPUtime=102.26
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 43396 0 0 0 10197 29 0 0 25 0 1 0 242848664 177430528 42704 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 43318 42704 310 324 0 42388 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 173272

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9199
/proc/meminfo: memFree=1538680/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=245268 CPUtime=162.24
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 61376 0 0 0 16184 40 0 0 25 0 1 0 242848664 251154432 60684 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 61317 60684 310 324 0 60387 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 245268

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9199
/proc/meminfo: memFree=1494456/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=288320 CPUtime=222.23
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 72144 0 0 0 22176 47 0 0 25 0 1 0 242848664 295239680 71452 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 72080 71452 310 324 0 71150 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 288320

[startup+282.303 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9199
/proc/meminfo: memFree=1457528/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=327316 CPUtime=282.21
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 81899 0 0 0 28169 52 0 0 25 0 1 0 242848664 335171584 81207 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 81829 81207 310 324 0 80899 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 327316

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9199
/proc/meminfo: memFree=1392440/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=390324 CPUtime=342.18
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 97642 0 0 0 34159 59 0 0 25 0 1 0 242848664 399691776 96950 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11710533 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 97581 96950 310 324 0 96651 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 390324

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9199
/proc/meminfo: memFree=1344568/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=438520 CPUtime=402.18
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 109684 0 0 0 40151 67 0 0 25 0 1 0 242848664 449044480 108992 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 109630 108992 310 324 0 108700 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 438520

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9199
/proc/meminfo: memFree=1292728/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=490360 CPUtime=462.16
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 122659 0 0 0 46142 74 0 0 25 0 1 0 242848664 502128640 121967 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 122590 121967 310 324 0 121660 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 490360

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9199
/proc/meminfo: memFree=1229816/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=552644 CPUtime=522.13
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 138238 0 0 0 52132 81 0 0 25 0 1 0 242848664 565907456 137546 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 138161 137546 310 324 0 137231 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 552644

[startup+582.301 s]
/proc/loadavg: 1.05 0.99 0.91 2/78 9199
/proc/meminfo: memFree=1203000/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=579376 CPUtime=582.11
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 144904 0 0 0 58126 85 0 0 25 0 1 0 242848664 593281024 144212 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 144844 144212 310 324 0 143914 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 579376

[startup+642.301 s]
/proc/loadavg: 1.02 0.99 0.91 2/78 9199
/proc/meminfo: memFree=1146936/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=635320 CPUtime=642.11
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 158889 0 0 0 64118 93 0 0 25 0 1 0 242848664 650567680 158197 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 158830 158197 310 324 0 157900 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 635320


################
# More data... #
################

[startup+882.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 9199
/proc/meminfo: memFree=840248/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=941492 CPUtime=882.04
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 235436 0 0 0 88075 129 0 0 25 0 1 0 242848664 964087808 234744 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 235373 234744 310 324 0 234443 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 941492

[startup+942.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 9199
/proc/meminfo: memFree=779704/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=1002432 CPUtime=942.01
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 250673 0 0 0 94065 136 0 0 25 0 1 0 242848664 1026490368 249981 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 250608 249981 310 324 0 249678 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 1002432

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 9199
/proc/meminfo: memFree=726200/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=1055672 CPUtime=1002
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 263989 0 0 0 100057 143 0 0 25 0 1 0 242848664 1081008128 263297 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 263918 263297 310 324 0 262988 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 1055672

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 9199
/proc/meminfo: memFree=700408/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=1081840 CPUtime=1061.98
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 270517 0 0 0 106051 147 0 0 25 0 1 0 242848664 1107804160 269825 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 270460 269825 310 324 0 269530 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 1081840

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 9199
/proc/meminfo: memFree=646264/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=1135504 CPUtime=1121.97
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 283933 0 0 0 112044 153 0 0 25 0 1 0 242848664 1162756096 283241 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 283876 283241 310 324 0 282946 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 1135504

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 9199
/proc/meminfo: memFree=588152/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=1193704 CPUtime=1181.95
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 298507 0 0 0 118034 161 0 0 25 0 1 0 242848664 1222352896 297815 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 298426 297815 310 324 0 297496 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 1193704

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 9199
/proc/meminfo: memFree=543608/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=1237444 CPUtime=1241.93
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 309424 0 0 0 124026 167 0 0 25 0 1 0 242848664 1267142656 308732 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 309361 308732 310 324 0 308431 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 1237444

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 9199
/proc/meminfo: memFree=516600/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=1264224 CPUtime=1301.92
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 316131 0 0 0 130020 172 0 0 25 0 1 0 242848664 1294565376 315439 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 316056 315439 310 324 0 315126 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1264224

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 9199
/proc/meminfo: memFree=461496/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=1319988 CPUtime=1361.9
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 330062 0 0 0 136010 180 0 0 25 0 1 0 242848664 1351667712 329370 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 329997 329370 310 324 0 329067 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1319988

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 9199
/proc/meminfo: memFree=401400/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=1379180 CPUtime=1421.89
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 344871 0 0 0 142003 186 0 0 25 0 1 0 242848664 1412280320 344179 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 344795 344179 310 324 0 343865 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1379180

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 9199
/proc/meminfo: memFree=339448/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=1441800 CPUtime=1481.87
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 360512 0 0 0 147992 195 0 0 25 0 1 0 242848664 1476403200 359820 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 360450 359820 310 324 0 359520 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1441800

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 9199
/proc/meminfo: memFree=284600/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=1495996 CPUtime=1541.85
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 374076 0 0 0 153984 201 0 0 25 0 1 0 242848664 1531899904 373384 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11714710 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 373999 373384 310 324 0 373069 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1495996

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 9199
/proc/meminfo: memFree=220600/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=1560336 CPUtime=1601.83
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 390146 0 0 0 159975 208 0 0 25 0 1 0 242848664 1597784064 389454 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 390084 389454 310 324 0 389154 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1560336

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 9199
/proc/meminfo: memFree=157752/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=1622720 CPUtime=1661.82
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 405740 0 0 0 165967 215 0 0 25 0 1 0 242848664 1661665280 405048 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 405680 405048 310 324 0 404750 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1622720

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 9199
/proc/meminfo: memFree=111736/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=1669188 CPUtime=1721.8
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 417356 0 0 0 171959 221 0 0 25 0 1 0 242848664 1709248512 416664 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 417297 416664 310 324 0 416367 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1669188

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 9199
/proc/meminfo: memFree=59896/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=1720296 CPUtime=1781.78
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 430146 0 0 0 177950 228 0 0 25 0 1 0 242848664 1761583104 429454 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 430074 429454 310 324 0 429144 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1720296



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 9199
/proc/meminfo: memFree=52984/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=1726952 CPUtime=1800.09
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194304 431817 0 0 0 179780 229 0 0 25 0 1 0 242848664 1768398848 431125 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9198/statm: 431738 431125 310 324 0 430808 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1726952

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.8 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 9199
/proc/meminfo: memFree=52984/2055920 swapFree=4156240/4192956
[pid=9198] ppid=9196 vsize=0 CPUtime=1800.28
/proc/9198/stat : 9198 (bsolo3.0.17) R 9196 9198 7909 0 -1 4194308 431821 0 0 0 179780 248 0 0 25 0 1 0 242848664 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 0 0 0
/proc/9198/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.87
CPU time (s): 1800.35
CPU user time (s): 1797.8
CPU system time (s): 2.54661
CPU usage (%): 99.9713
Max. virtual memory (cumulated for all children) (KiB): 1726952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.8
system time used= 2.54661
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 431821
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= 13
involuntary context switches= 38539

runsolver used 1.44878 second user time and 3.84441 second system time

The end

Launcher Data (download as text)

Begin job on node44 on Mon Apr 30 16:09:30 UTC 2007

IDJOB= 432772
IDBENCH= 1779
IDSOLVER= 199
FILE ID= node44/432772-1177949369

PBS_JOBID= 4727603

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-air05.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432772-1177949369/instance-432772-1177949369.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node44/watcher-432772-1177949369 -o ROOT/results/node44/solver-432772-1177949369 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432772-1177949369/instance-432772-1177949369.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  2b7e03ead6dfd4071784021865da4458

RANDOM SEED= 63383344

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node44.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.234
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.234
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:       1780256 kB
Buffers:         37868 kB
Cached:         141244 kB
SwapCached:      13940 kB
Active:          92852 kB
Inactive:       113324 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1780256 kB
SwapTotal:     4192956 kB
SwapFree:      4156240 kB
Dirty:            7196 kB
Writeback:           0 kB
Mapped:          35064 kB
Slab:            55000 kB
Committed_AS:  1551160 kB
PageTables:       1740 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node44 on Mon Apr 30 16:39:32 UTC 2007