Trace number 40767

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 2006/05SAT-144250 1800.07 1800.7

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mkc.opb
MD5SUMeae2e8a732d92a062f083ccb58900b63
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-144250
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -144250
Optimality of the best value was proved NO
Number of variables5383
Total number of constraints3279
Number of constraints which are clauses2977
Number of constraints which are cardinality constraints (but not clauses)276
Number of constraints which are nor clauses,nor cardinality constraints26
Minimum length of a constraint2
Maximum length of a constraint2952
Number of terms in the objective function 2946
Biggest coefficient in the objective function 20000
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 31442101
Number of bits of the sum of numbers in the objective function 25
Biggest number in a constraint 67108864000
Number of bits of the biggest number in a constraint 36
Biggest sum of numbers in a constraint 138201238403
Number of bits of the biggest sum of numbers38
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00	c Time Limit set via PBTIMEOUT to 1800
0.04	c INFO: OSL Context initialized.
0.06	c BIG Int formula...
0.18	c Initial problem consists of 5383 variables and 3281 constraints.
0.19	c No problem reductions applied in OPT. instance.
0.19	c	preprocess terminated. Elapsed time: 0.162
0.19	c After prepocess the problem consists of 5296 variables and 3214 constraints.
0.19	c Initial Lower Bound: -29981676
4.10	c Restart #1 #Var: 5296 LB: -29981676 @ 4.071
13.46	c Restart #2 #Var: 5296 LB: -29981676 @ 13.418
27.47	c Restart #3 #Var: 5296 LB: -29981676 @ 27.429
47.08	c Restart #4 #Var: 5296 LB: -29981676 @ 47.032
69.09	c Restart #5 #Var: 5296 LB: -29981676 @ 69.036
99.98	c Restart #6 #Var: 5296 LB: -29981676 @ 99.922
133.03	c Restart #7 #Var: 5296 LB: -29981676 @ 132.96
161.43	c Restart #8 #Var: 5296 LB: -29981676 @ 161.35
194.86	c Restart #9 #Var: 5296 LB: -29981676 @ 194.77
242.53	c Restart #10 #Var: 5296 LB: -29981676 @ 242.43
293.08	c Restart #11 #Var: 5296 LB: -29981676 @ 292.96
341.29	c Restart #12 #Var: 5296 LB: -29981676 @ 341.16
394.97	c Restart #13 #Var: 5296 LB: -29981676 @ 394.83
461.11	c Restart #14 #Var: 5296 LB: -29981676 @ 460.95
519.20	c Restart #15 #Var: 5296 LB: -29981676 @ 519.01
602.06	c Restart #16 #Var: 5296 LB: -29981676 @ 601.85
674.50	c Restart #17 #Var: 5296 LB: -29981676 @ 674.28
745.62	c Restart #18 #Var: 5296 LB: -29981676 @ 745.37
844.07	c Restart #19 #Var: 5296 LB: -29981676 @ 843.79
921.31	c CHANGE Heuristic... 
921.31	c Restart #0 #Var: 5296 LB: -29981676 @ 921.01
925.37	c Restart #1 #Var: 5296 LB: -29981676 @ 925.08
931.83	c Restart #2 #Var: 5296 LB: -29981676 @ 931.53
942.49	c Restart #3 #Var: 5296 LB: -29981676 @ 942.19
960.97	c Restart #4 #Var: 5296 LB: -29981676 @ 960.66
967.20	c Sol. found (all assignments made)...
967.20	o -135250
967.20	c NEW SOLUTION FOUND: -135250 @ 966.89
967.20	c Sol. found (all assignments made)...
967.20	o -140250
967.20	c NEW SOLUTION FOUND: -140250 @ 966.9
975.91	c Sol. found (all assignments made)...
975.91	o -144250
975.91	c NEW SOLUTION FOUND: -144250 @ 975.6
979.27	c Restart #5 #Var: 5296 LB: -29981676 @ 978.96
987.34	c Restart #6 #Var: 5296 LB: -29981676 @ 987.02
1001.54	c Restart #7 #Var: 5296 LB: -29981676 @ 1001.2
1020.71	c Restart #8 #Var: 5296 LB: -29981676 @ 1020.4
1045.64	c CHANGE to MIS mode... 	UB: -144250	MIS: -5709556	LPR: -2147483648 (0)	Diff: 0.0026587
1045.64	c Restart #0 #Var: 5296 LB: -29981676 @ 1045.3
1047.08	c Restart #1 #Var: 5296 LB: -5709556 @ 1046.8
1047.63	c Restart #2 #Var: 5296 LB: -5709556 @ 1047.3
1055.73	c Restart #3 #Var: 5296 LB: -5709556 @ 1055.4
1074.03	c Restart #4 #Var: 5296 LB: -5709556 @ 1073.7
1084.26	c Restart #5 #Var: 5296 LB: -5709556 @ 1083.9
1090.70	c Restart #6 #Var: 5296 LB: -5709556 @ 1090.4
1107.84	c Restart #7 #Var: 5296 LB: -5709556 @ 1107.5
1128.28	c Restart #8 #Var: 5296 LB: -5709556 @ 1127.9
1137.52	c Restart #9 #Var: 5296 LB: -5709556 @ 1137.2
1146.67	c Restart #10 #Var: 5296 LB: -5709556 @ 1146.3
1189.97	c Restart #11 #Var: 5296 LB: -5709556 @ 1189.6
1192.95	c Restart #12 #Var: 5296 LB: -5709556 @ 1192.6
1218.27	c Restart #13 #Var: 5296 LB: -5709556 @ 1217.9
1226.04	c Restart #14 #Var: 5296 LB: -5709556 @ 1225.7
1239.57	c Restart #15 #Var: 5296 LB: -5709556 @ 1239.2
1281.54	c Restart #16 #Var: 5296 LB: -5709556 @ 1281.1
1345.04	c Restart #17 #Var: 5296 LB: -5709556 @ 1344.6
1362.29	c Restart #18 #Var: 5296 LB: -5709556 @ 1361.9
1438.93	c Restart #19 #Var: 5296 LB: -5709556 @ 1438.5
1487.83	c Restart #20 #Var: 5296 LB: -5709556 @ 1487.3
1559.37	c Restart #21 #Var: 5296 LB: -5709556 @ 1558.8
1671.71	c Restart #22 #Var: 5296 LB: -5709556 @ 1671.1
1684.41	c Restart #23 #Var: 5296 LB: -5709556 @ 1683.8
1696.07	c Restart #24 #Var: 5296 LB: -5709556 @ 1695.5
1702.39	c Restart #25 #Var: 5296 LB: -5709556 @ 1701.8
1713.55	c Restart #26 #Var: 5296 LB: -5709556 @ 1713
1735.33	c Restart #27 #Var: 5296 LB: -5709556 @ 1734.7
1796.84	c Restart #28 #Var: 5296 LB: -5709556 @ 1796.2
1800.69	s SATISFIABLE
1800.69	c Cost: -144250
1800.69	v -x1 -x1112 -x2281 -x3392 -x4503 -x4940 -x5051 -x5162 -x5273 -x2 -x113 -x224 -x335 -x446 -x557 -x668 -x779 -x890 -x1001 -x1113
1800.69	v -x1224 -x1335 -x1446 -x1557 -x1668 -x1779 -x1890 -x2001 -x2112 -x2282 -x2393 -x2504 -x2615 -x2726 -x2837 -x2948 -x3059
1800.69	v -x3170 -x3281 -x3393 -x3504 -x3615 -x3726 -x3837 -x3948 -x4059 -x4170 -x4281 -x4392 -x4504 -x4615 -x4726 -x4837 -x4874
1800.69	v -x4885 -x4896 -x4907 -x4918 -x4929 -x4941 -x4952 -x4963 -x4974 -x4985 -x4996 -x5007 -x5018 -x5029 -x5040 -x5052 -x5063
1800.69	v -x5074 -x5085 -x5096 -x5107 -x5118 -x5129 -x5140 -x5151 -x5163 -x5174 -x5185 -x5196 -x5207 -x5218 -x5229 -x5240 -x5251
1800.69	v -x5262 -x5274 -x5285 -x5296 -x5307 -x5318 -x5329 -x5340 -x5351 -x5362 -x5373 -x3 -x14 -x25 -x36 -x47 -x58 -x69 -x80 -x91
1800.69	v -x102 -x114 -x125 -x136 -x147 -x158 -x169 -x180 -x191 -x202 -x213 -x225 -x236 -x247 -x258 -x269 -x280 -x291 -x302 -x313 -x324
1800.69	v -x336 -x347 -x358 -x369 -x380 -x391 -x402 -x413 -x424 -x435 -x447 -x458 -x469 -x480 -x491 -x502 -x513 -x524 -x535 -x546 -x558
1800.69	v -x569 -x580 -x591 -x602 -x613 -x624 -x635 -x646 -x657 -x669 -x680 -x691 -x702 -x713 -x724 -x735 -x746 -x757 -x768 -x780 -x791
1800.69	v -x802 -x813 -x824 -x835 -x846 -x857 -x868 -x879 -x891 -x902 -x913 -x924 -x935 -x946 -x957 -x968 -x979 -x990 -x1002 -x1013
1800.69	v -x1024 -x1035 -x1046 -x1057 -x1068 -x1079 -x1090 -x1101 -x1114 -x1125 -x1136 -x1147 -x1158 -x1169 -x1180 -x1191 -x1202
1800.69	v -x1213 -x1225 -x1236 -x1247 -x1258 -x1269 -x1280 -x1291 -x1302 -x1313 -x1324 -x1336 -x1347 -x1358 -x1369 -x1380 -x1391
1800.69	v -x1402 -x1413 -x1424 -x1435 -x1447 -x1458 -x1469 -x1480 -x1491 -x1502 x1513 x1524 x1535 -x1546 -x1558 -x1569 -x1580 -x1591
1800.69	v -x1602 -x1613 -x1624 -x1635 -x1646 -x1657 -x1669 -x1680 -x1691 -x1702 -x1713 -x1724 -x1735 -x1746 -x1757 -x1768 -x1780
1800.69	v -x1791 -x1802 -x1813 -x1824 -x1835 -x1846 -x1857 -x1868 -x1879 -x1891 -x1902 -x1913 -x1924 -x1935 -x1946 -x1957 -x1968
1800.69	v -x1979 -x1990 -x2002 -x2013 -x2024 -x2035 -x2046 -x2057 -x2068 -x2079 -x2090 -x2101 -x2113 -x2124 -x2135 -x2146 -x2157
1800.69	v -x2226 -x2237 -x2248 -x2259 -x2270 -x2283 -x2294 -x2305 -x2316 -x2327 -x2338 -x2349 -x2360 -x2371 -x2382 -x2394 -x2405
1800.69	v -x2416 x2427 -x2438 -x2449 -x2460 -x2471 -x2482 -x2493 -x2505 -x2516 -x2527 -x2538 -x2549 -x2560 -x2571 -x2582 -x2593
1800.69	v -x2604 -x2616 -x2627 -x2638 -x2649 -x2660 -x2671 -x2682 -x2693 -x2704 -x2715 -x2727 -x2738 -x2749 -x2760 -x2771 -x2782
1800.69	v -x2793 -x2804 -x2815 -x2826 -x2838 -x2849 -x2860 -x2871 -x2882 -x2893 -x2904 -x2915 -x2926 -x2937 -x2949 -x2960 -x2971
1800.69	v -x2982 -x2993 -x3004 -x3015 -x3026 -x3037 -x3048 -x3060 -x3071 -x3082 -x3093 -x3104 -x3115 -x3126 -x3137 -x3148 -x3159
1800.69	v -x3171 -x3182 -x3193 -x3204 -x3215 -x3226 -x3237 -x3248 -x3259 -x3270 -x3282 -x3293 -x3304 -x3315 -x3326 -x3337 x3348
1800.69	v -x3359 -x3370 -x3381 -x3394 -x3405 -x3416 -x3427 -x3438 -x3449 -x3460 -x3471 -x3482 -x3493 -x3505 -x3516 -x3527 -x3538
1800.69	v -x3549 -x3560 -x3571 -x3582 -x3593 -x3604 -x3616 -x3627 -x3638 -x3649 -x3660 -x3671 -x3682 -x3693 -x3704 -x3715 -x3727
1800.69	v -x3738 -x3749 -x3760 -x3771 -x3782 -x3793 -x3804 -x3815 -x3826 -x3838 -x3849 -x3860 -x3871 -x3882 -x3893 -x3904 -x3915
1800.69	v -x3926 -x3937 -x3949 -x3960 -x3971 -x3982 -x3993 -x4004 -x4015 -x4026 -x4037 -x4048 -x4060 -x4071 -x4082 -x4093 -x4104
1800.69	v -x4115 -x4126 -x4137 -x4148 -x4159 -x4171 -x4182 -x4193 -x4204 -x4215 -x4226 -x4237 -x4248 -x4259 -x4270 -x4282 -x4293
1800.69	v -x4304 -x4315 -x4326 -x4337 -x4348 -x4359 -x4370 -x4381 -x4393 -x4404 -x4415 -x4426 -x4437 -x4448 -x4459 -x4470 -x4481
1800.69	v -x4492 -x4505 -x4516 -x4527 -x4538 -x4549 -x4560 -x4571 -x4582 -x4593 -x4604 -x4616 -x4627 -x4638 -x4649 -x4660 -x4671
1800.69	v -x4682 -x4693 -x4704 x4715 -x4727 -x4738 -x4749 -x4760 -x4771 -x4782 -x4793 -x4804 -x4815 -x4826 -x4838 -x4849 -x4860
1800.69	v -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884
1800.69	v -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903
1800.69	v -x4904 -x4905 -x4906 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4919 -x4920 -x4921 -x4922
1800.69	v -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 x4938 -x4939 -x4942
1800.69	v -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960
1800.69	v -x4961 -x4962 -x4964 -x4965 -x4966 -x4967 x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4975 -x4976 -x4977 -x4978 -x4979
1800.69	v -x4980 -x4981 -x4982 -x4983 -x4984 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4997 -x4998
1800.69	v -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016
1800.69	v -x5017 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035
1800.69	v -x5036 -x5037 -x5038 -x5039 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5053 -x5054 -x5055
1800.69	v -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073
1800.69	v x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092
1800.69	v -x5093 -x5094 -x5095 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5108 -x5109 -x5110 -x5111
1800.69	v -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5130
1800.69	v -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148
1800.69	v -x5149 -x5150 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5164 -x5165 -x5166 -x5167 -x5168
1800.69	v -x5169 -x5170 -x5171 -x5172 -x5173 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5186 -x5187
1800.69	v -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205
1800.69	v -x5206 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224
1800.69	v -x5225 -x5226 -x5227 -x5228 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5241 -x5242 -x5243
1800.69	v -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261
1800.69	v -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 x5270 -x5271 -x5272 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281
1800.69	v -x5282 -x5283 -x5284 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5297 -x5298 -x5299 -x5300
1800.69	v -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5319
1800.69	v -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337
1800.69	v -x5338 -x5339 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 x5347 -x5348 -x5349 -x5350 -x5352 -x5353 -x5354 -x5355 -x5356
1800.69	v -x5357 -x5358 -x5359 -x5360 -x5361 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5374 -x5375
1800.69	v -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x4 x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x15 -x16 -x17 -x18 -x19 -x20
1800.69	v -x21 -x22 -x23 -x24 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x48 -x49
1800.69	v -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77
1800.69	v -x78 -x79 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x103 -x104 -x105
1800.69	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x126 -x127 -x128 -x129
1800.69	v -x130 -x131 -x132 -x133 -x134 -x135 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x148 -x149 -x150 -x151 -x152
1800.69	v -x153 -x154 -x155 -x156 -x157 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x170 -x171 -x172 -x173 -x174 -x175
1800.69	v -x176 -x177 -x178 -x179 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x192 -x193 -x194 -x195 -x196 -x197 -x198
1800.69	v -x199 x200 -x201 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221
1800.69	v -x222 -x223 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245
1800.69	v -x246 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268
1800.69	v -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x292
1800.69	v -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x314 -x315
1800.69	v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x337 -x338 -x339
1800.69	v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x359 -x360 -x361 -x362
1800.69	v -x363 -x364 -x365 -x366 -x367 -x368 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x381 -x382 -x383 -x384 -x385
1800.69	v -x386 -x387 -x388 -x389 -x390 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x403 -x404 -x405 -x406 -x407 -x408
1800.69	v -x409 -x410 -x411 -x412 -x414 -x415 -x416 x417 x418 -x419 -x420 -x421 -x422 -x423 -x425 -x426 -x427 -x428 -x429 -x430 -x431
1800.69	v -x432 -x433 -x434 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455
1800.69	v -x456 -x457 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478
1800.69	v -x479 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501
1800.69	v -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x525
1800.69	v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x547 -x548
1800.69	v -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x570 -x571 -x572
1800.69	v -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 -x589 -x590 -x592 -x593 -x594 -x595
1800.69	v -x596 -x597 -x598 -x599 -x600 -x601 -x603 -x604 -x605 -x606 x607 -x608 -x609 -x610 -x611 -x612 -x614 -x615 -x616 -x617 -x618
1800.69	v -x619 -x620 -x621 -x622 -x623 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 x636 -x637 -x638 -x639 -x640 x641
1800.69	v -x642 -x643 -x644 -x645 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x658 -x659 -x660 -x661 -x662 -x663 -x664
1800.69	v -x665 -x666 -x667 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688
1800.69	v -x689 -x690 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711
1800.69	v -x712 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734
1800.69	v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x758
1800.69	v -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x781 -x782
1800.69	v -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x803 -x804 -x805
1800.69	v -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x825 -x826 -x827 -x828
1800.69	v -x829 -x830 -x831 -x832 -x833 -x834 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x847 -x848 -x849 -x850 -x851
1800.69	v -x852 -x853 -x854 -x855 -x856 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x869 -x870 -x871 -x872 -x873 -x874
1800.69	v -x875 -x876 -x877 -x878 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x892 x893 -x894 -x895 -x896 -x897 x898
1800.69	v -x899 -x900 -x901 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921
1800.69	v -x922 -x923 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944
1800.69	v -x945 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967
1800.69	v -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x991
1800.69	v -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012
1800.69	v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031
1800.69	v -x1032 -x1033 -x1034 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1047 -x1048 -x1049 -x1050
1800.69	v -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1069
1800.69	v -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087
1800.69	v -x1088 -x1089 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1102 -x1103 -x1104 -x1105 -x1106
1800.69	v -x1107 -x1108 -x1109 -x1110 -x1111 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1126 -x1127
1800.69	v -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145
1800.69	v -x1146 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164
1800.69	v -x1165 -x1166 -x1167 -x1168 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1181 -x1182 -x1183
1800.69	v -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201
1800.69	v -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220
1800.69	v -x1221 -x1222 -x1223 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1237 -x1238 -x1239 -x1240
1800.69	v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1259
1800.69	v -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277
1800.69	v -x1278 x1279 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1292 -x1293 -x1294 -x1295 -x1296
1800.69	v -x1297 -x1298 -x1299 -x1300 -x1301 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1314 -x1315
1800.69	v -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333
1800.69	v -x1334 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353
1800.69	v -x1354 -x1355 -x1356 -x1357 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1370 -x1371 -x1372
1800.69	v -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 x1387 -x1388 -x1389 -x1390
1800.69	v -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 x1409
1800.69	v -x1410 -x1411 -x1412 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1425 -x1426 -x1427 -x1428
1800.69	v -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1448
1800.69	v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466
1800.69	v -x1467 -x1468 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1481 -x1482 -x1483 -x1484 -x1485
1800.69	v -x1486 -x1487 -x1488 -x1489 -x1490 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1503 -x1504
1800.69	v -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522
1800.69	v -x1523 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541
1800.69	v -x1542 -x1543 -x1544 -x1545 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1559 -x1560 -x1561
1800.69	v -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579
1800.69	v -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598
1800.69	v -x1599 -x1600 -x1601 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1614 -x1615 -x1616 -x1617
1800.69	v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1636
1800.69	v -x1637 -x1638 x1639 -x1640 x1641 -x1642 -x1643 -x1644 -x1645 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655
1800.69	v -x1656 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675
1800.69	v -x1676 -x1677 -x1678 -x1679 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1692 -x1693 -x1694
1800.69	v -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712
1800.69	v -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731
1800.69	v -x1732 -x1733 -x1734 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1747 -x1748 -x1749 -x1750
1800.69	v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 x1765 -x1766 -x1767 -x1769
1800.69	v x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788
1800.69	v -x1789 -x1790 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1803 -x1804 -x1805 -x1806 -x1807
1800.69	v -x1808 -x1809 -x1810 -x1811 -x1812 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1825 x1826
1800.69	v -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844
1800.69	v -x1845 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 x1853 -x1854 -x1855 -x1856 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863
1800.69	v -x1864 -x1865 -x1866 -x1867 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1880 -x1881 -x1882
1800.69	v -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901
1800.69	v -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920
1800.69	v -x1921 -x1922 -x1923 -x1925 -x1926 -x1927 x1928 -x1929 -x1930 -x1931 -x1932 x1933 -x1934 -x1936 x1937 -x1938 -x1939 -x1940
1800.69	v -x1941 -x1942 -x1943 -x1944 -x1945 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1958 -x1959
1800.69	v -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977
1800.69	v -x1978 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996
1800.69	v -x1997 -x1998 -x1999 -x2000 -x2003 -x2004 -x2005 x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2014 -x2015 -x2016
1800.69	v -x2017 -x2018 -x2019 -x2020 -x2021 x2022 -x2023 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034
1800.69	v -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 x2044 x2045 -x2047 -x2048 -x2049 x2050 -x2051 -x2052 -x2053 -x2054
1800.69	v -x2055 -x2056 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 x2067 x2069 -x2070 -x2071 -x2072 -x2073 -x2074
1800.69	v -x2075 x2076 -x2077 -x2078 -x2080 -x2081 -x2082 -x2083 x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2091 -x2092 -x2093 -x2094
1800.69	v -x2095 -x2096 x2097 x2098 -x2099 -x2100 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 x2108 -x2109 -x2110 -x2111 x2114 -x2115
1800.69	v x2116 x2117 -x2118 -x2119 -x2120 -x2121 -x2122 x2123 -x2125 -x2126 -x2127 x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134
1800.69	v -x2136 -x2137 -x2138 x2139 x2140 x2141 x2142 x2143 x2144 x2145 x2147 x2148 x2149 x2150 x2151 x2152 x2153 x2154 x2155 x2156
1800.69	v x2158 x2159 x2160 x2161 x2162 x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 x2172 x2173 x2174 -x2175 x2176
1800.69	v x2177 x2178 x2179 x2180 -x2181 x2182 x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194
1800.69	v -x2641 -x2643 -x2644 -x2645 -x2640 -x2646 -x2647 -x2648 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2739 -x2657
1800.69	v -x2658 -x2659 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2592 -x2670 -x2672 -x2673 -x2740 -x2741
1800.69	v -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2674 -x2675 -x2676 -x2677 -x2678 -x2748 -x2750 -x2679 -x2680 -x2751 -x2752
1800.69	v -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2681 -x2683 -x2684 -x2685 -x2686 x2687 -x2688 -x2689 -x2690 -x2691
1800.69	v -x2761 -x2692 -x2694 -x2695 -x2696 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2772 -x2773 -x2774
1800.69	v x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792
1800.69	v -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811
1800.69	v -x2812 x2813 -x2814 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2827 -x2828 -x2829 -x2830
1800.69	v -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2850
1800.69	v -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868
1800.69	v -x2869 -x2870 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2883 -x2884 -x2885 -x2886 -x2887
1800.69	v -x2888 -x2889 -x2890 -x2891 -x2892 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2905 -x2906
1800.69	v -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924
1800.69	v -x2925 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943
1800.69	v -x2944 -x2945 -x2946 -x2947 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2961 -x2962 -x2963
1800.69	v -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981
1800.69	v -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000
1800.69	v -x3001 -x3002 -x3003 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3016 -x3017 -x3018 -x3019
1800.69	v -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3038
1800.69	v -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056
1800.69	v -x3057 -x3058 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3072 -x3073 -x3074 -x3075 -x3076
1800.69	v -x3077 -x3078 -x3079 -x3080 -x3081 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 x3090 -x3091 -x3092 -x3094 -x3095
1800.69	v -x3096 -x3097 -x3098 -x3099 -x3100 x3101 -x3102 -x3103 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113
1800.69	v -x3114 -x3116 -x3117 -x3118 -x3119 x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132
1800.69	v -x3133 -x3134 -x3135 -x3136 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3149 -x3150 -x3151
1800.69	v -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169
1800.69	v -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189
1800.69	v -x3190 -x3191 -x3192 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3205 -x3206 -x3207 -x3208
1800.69	v -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3216 -x3217 x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3227
1800.69	v -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245
1800.69	v -x3246 -x3247 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3260 -x3261 -x3262 -x3263 -x3264
1800.69	v -x3265 -x3266 -x3267 -x3268 -x3269 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3283 -x3284
1800.69	v -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302
1800.69	v -x3303 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321
1800.69	v -x3322 -x3323 -x3324 -x3325 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3338 -x3339 -x3340
1800.69	v -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358
1800.69	v -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377
1800.69	v -x3378 -x3379 -x3380 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3395 -x3396 x3397 x3398 -x3399
1800.69	v -x3400 -x3401 -x3402 -x3403 -x3404 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3417 -x3418
1800.69	v -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436
1800.69	v -x3437 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455
1800.69	v -x3456 -x3457 -x3458 -x3459 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3472 -x3473 -x3474
1800.69	v -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492
1800.69	v -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512
1800.69	v -x3513 -x3514 -x3515 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3528 -x3529 -x3530 -x3531
1800.69	v -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3550
1800.69	v -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568
1800.69	v -x3569 -x3570 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3583 -x3584 -x3585 -x3586 -x3587
1800.69	v -x3588 -x3589 -x3590 -x3591 -x3592 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3605 -x3606
1800.69	v -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3617 -x3618 -x3619 -x3620 -x3621 x3622 -x3623 -x3624 -x3625
1800.69	v -x3626 -x3628 -x3629 -x3630 x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201
1800.69	v x2202 x2203 -x2204 -x2205 x2206 x2207 x2208 x2209 -x2210 -x2211 x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219
1800.69	v -x2220 -x2221 -x2222 -x2223 -x2224 -x3637 -x3639 -x3640 -x3641 -x3642 x3643 -x3644 -x3645 -x3646 -x3647 x3648 -x3650 -x3651
1800.69	v -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669
1800.69	v -x3670 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688
1800.69	v -x3689 -x3690 -x3691 -x3692 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3705 -x3706 -x3707
1800.69	v -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725
1800.69	v -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745
1800.69	v -x3746 -x3747 -x3748 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3761 -x3762 -x3763 -x3764
1800.69	v -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3783
1800.69	v -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801
1800.69	v -x3802 -x3803 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3816 -x3817 -x3818 -x3819 -x3820
1800.69	v -x3821 -x3822 -x3823 -x3824 -x3825 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3839 -x3840
1800.69	v -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3850 -x3851 -x3852 -x3853 -x3854 x3855 -x3856 -x3857 -x3858
1800.69	v -x3859 x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877
1800.69	v -x3878 -x3879 -x3880 -x3881 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3894 -x3895 -x3896
1800.69	v -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914
1800.69	v -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933
1800.69	v -x3934 -x3935 -x3936 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3950 -x3951 -x3952 -x3953
1800.69	v -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3972
1800.69	v -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990
1800.69	v -x3991 -x3992 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4005 -x4006 -x4007 -x4008 -x4009
1800.69	v -x4010 -x4011 -x4012 -x4013 -x4014 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4027 -x4028
1800.69	v -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046
1800.69	v -x4047 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066
1800.69	v -x4067 -x4068 -x4069 -x4070 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4083 -x4084 -x4085
1800.69	v -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103
1800.69	v -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122
1800.69	v -x4123 -x4124 -x4125 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4138 -x4139 -x4140 -x4141
1800.69	v -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4160
1800.69	v -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179
1800.69	v -x4180 -x4181 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4194 -x4195 -x4196 -x4197 -x4198
1800.69	v -x4199 -x4200 -x4201 -x4202 -x4203 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4216 -x4217
1800.69	v -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235
1800.69	v -x4236 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254
1800.69	v -x4255 -x4256 -x4257 x4258 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4271 -x4272 -x4273
1800.69	v -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292
1800.69	v -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311
1800.69	v -x4312 x4313 -x4314 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4327 -x4328 -x4329 -x4330
1800.69	v -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4349
1800.69	v -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367
1800.69	v -x4368 -x4369 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4382 -x4383 -x4384 -x4385 -x4386
1800.69	v -x4387 -x4388 -x4389 -x4390 -x4391 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4405 -x4406
1800.69	v -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424
1800.69	v -x4425 -x4427 -x4428 -x4429 -x4430 x4431 x4432 -x4433 -x4434 -x4435 -x4436 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444
1800.69	v -x4445 -x4446 -x4447 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4460 -x4461 -x4462 -x4463
1800.69	v -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4482
1800.69	v -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500
1800.69	v -x4501 -x4502 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4517 -x4518 -x4519 -x4520 -x4521
1800.69	v -x4522 -x4523 -x4524 -x4525 -x4526 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4539 -x4540
1800.69	v -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558
1800.69	v -x4559 -x4561 -x4562 x4563 -x4564 -x4565 -x4566 x4567 -x4568 -x4569 -x4570 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578
1800.69	v -x4579 -x4580 -x4581 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4594 -x4595 -x4596 -x4597
1800.69	v -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4605 -x4606 -x4607 -x4608 x4609 -x4610 -x4611 -x4612 x4613 -x4614 -x4617 -x4618
1800.69	v -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636
1800.69	v -x4637 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655
1800.69	v -x4656 -x4657 -x4658 -x4659 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4672 -x4673 -x4674
1800.69	v -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692
1800.69	v -x4694 x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 x4702 -x4703 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712
1800.69	v -x4713 -x4714 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4728 -x4729 -x4730 -x4731 -x4732
1800.69	v -x4733 -x4734 -x4735 -x4736 -x4737 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4750 -x4751
1800.69	v -x4752 -x4753 -x4754 x4755 -x4756 -x4757 -x4758 -x4759 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 x4767 -x4768 -x4769 -x4770
1800.69	v -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4783 -x4784 x4785 x4786 -x4787 -x4788 -x4789 -x4790
1800.69	v -x4791 -x4792 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 x4800 x4801 -x4802 -x4803 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810
1800.69	v -x4811 -x4812 -x4813 -x4814 -x4816 x4817 -x4818 -x4819 -x4820 -x4821 -x4822 x4823 -x4824 -x4825 -x4827 -x4828 -x4829 x4830
1800.69	v -x4831 -x4832 -x4833 -x4834 x4835 -x4836 -x4839 -x4840 -x4841 -x4842 x4843 -x4844 -x4845 -x4846 x4847 -x4848 -x4850 -x4851
1800.69	v -x4852 -x4853 -x4854 x4855 -x4856 -x4857 x4858 -x4859 -x4861 x4862 -x4863 -x4864 -x4865 -x4866 -x2225 -x2227 -x2228 -x2229
1800.69	v -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247
1800.69	v -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266
1800.69	v -x2267 -x2268 -x2269 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2284 -x2285 -x2286 -x2287
1800.69	v -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2306
1800.69	v -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324
1800.69	v -x2325 -x2326 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2339 -x2340 -x2341 -x2342 -x2343
1800.69	v -x2344 -x2345 -x2346 -x2347 -x2348 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2361 -x2362
1800.69	v -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380
1800.69	v -x2381 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400
1800.69	v -x2401 -x2402 -x2403 -x2404 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2417 -x2418 -x2419
1800.69	v -x2420 -x2421 -x2422 -x2423 x2424 x2425 -x2426 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2439
1800.69	v -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457
1800.69	v -x2458 -x2459 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2472 -x2473 -x2474 -x2475 -x2476
1800.69	v -x2477 -x2478 -x2479 -x2480 -x2481 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 x2494 -x2495
1800.69	v -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514
1800.69	v -x2515 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533
1800.69	v -x2534 -x2535 -x2536 -x2537 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2550 -x2551 -x2552
1800.69	v -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2561 -x2562 -x2563 -x2564 x2565 -x2566 -x2567 -x2568 -x2569 -x2570
1800.69	v -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589
1800.69	v -x2590 -x2591 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2605 -x2606 -x2607 -x2608 -x2609
1800.69	v -x2610 -x2611 -x2612 -x2613 -x2614 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2628 -x2629
1800.69	v -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2639 -x2642 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703
1800.69	v -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722
1800.69	v -x2723 -x2724 -x2725 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 x2736 -x2737
1800.69	c Exit Code: 10
1800.69	c Total time: 1800.1 s

Verifier Data (download as text)

OK	-144250

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node40/watcher-40767-1149316606 -o ROOT/results/node40/solver-40767-1149316606 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node40/40767-1149316606/instance-40767-1149316606.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.88 0.98 0.99 2/64 20189
/proc/meminfo: memFree=1854856/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=4664 CPUtime=0
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 149 0 0 0 0 0 0 0 18 0 1 0 197327069 4775936 130 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6880545 0 0 4096 0 0 0 0 17 1 0 0
/proc/20189/statm: 1166 135 105 55 0 46 0

[startup+10.0027 s]
/proc/loadavg: 0.90 0.98 0.99 2/64 20189
/proc/meminfo: memFree=1846344/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=13148 CPUtime=9.96
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 2709 0 0 0 994 2 0 0 25 0 1 0 197327069 13463552 2436 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3287 2436 297 55 0 2179 0
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 13148

[startup+20.01 s]
/proc/loadavg: 0.91 0.98 0.99 2/64 20189
/proc/meminfo: memFree=1846224/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=13312 CPUtime=19.96
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 3089 0 0 0 1994 2 0 0 25 0 1 0 197327069 13631488 2476 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3328 2476 297 55 0 2220 0
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 13312

[startup+30.0163 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 20189
/proc/meminfo: memFree=1846544/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=12900 CPUtime=29.96
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 3297 0 0 0 2994 2 0 0 25 0 1 0 197327069 13209600 2374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548233 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3225 2374 297 55 0 2117 0
Current children cumulated CPU time (s) 29.96
Current children cumulated vsize (Kb) 12900

[startup+40.0226 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 20189
/proc/meminfo: memFree=1845712/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=13712 CPUtime=39.97
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 3754 0 0 0 3994 3 0 0 25 0 1 0 197327069 14041088 2572 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3428 2572 297 55 0 2320 0
Current children cumulated CPU time (s) 39.97
Current children cumulated vsize (Kb) 13712

[startup+50.0289 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 20189
/proc/meminfo: memFree=1845648/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=13828 CPUtime=49.97
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 3904 0 0 0 4994 3 0 0 25 0 1 0 197327069 14159872 2606 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3457 2606 297 55 0 2349 0
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (Kb) 13828

[startup+60.0352 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 20189
/proc/meminfo: memFree=1845648/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=13828 CPUtime=59.98
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 3904 0 0 0 5995 3 0 0 25 0 1 0 197327069 14159872 2606 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3457 2606 297 55 0 2349 0
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 13828

[startup+70.0415 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 20189
/proc/meminfo: memFree=1845648/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=13828 CPUtime=69.98
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 3904 0 0 0 6995 3 0 0 25 0 1 0 197327069 14159872 2606 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548222 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3457 2606 297 55 0 2349 0
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 13828

[startup+80.0488 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 20189
/proc/meminfo: memFree=1845648/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=13828 CPUtime=79.98
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 3904 0 0 0 7995 3 0 0 25 0 1 0 197327069 14159872 2606 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3457 2606 297 55 0 2349 0
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 13828

[startup+90.0541 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 20189
/proc/meminfo: memFree=1845648/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=13828 CPUtime=89.99
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 3929 0 0 0 8996 3 0 0 25 0 1 0 197327069 14159872 2606 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3457 2606 297 55 0 2349 0
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 13828

[startup+100.06 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 20189
/proc/meminfo: memFree=1845328/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=14452 CPUtime=99.99
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 4206 0 0 0 9996 3 0 0 25 0 1 0 197327069 14798848 2740 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3613 2740 297 55 0 2505 0
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 14452

[startup+110.067 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 20189
/proc/meminfo: memFree=1845264/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=14396 CPUtime=109.99
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 4206 0 0 0 10996 3 0 0 25 0 1 0 197327069 14741504 2740 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3599 2740 297 55 0 2491 0
Current children cumulated CPU time (s) 109.99
Current children cumulated vsize (Kb) 14396

[startup+120.073 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 20189
/proc/meminfo: memFree=1845264/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=14396 CPUtime=119.99
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 4206 0 0 0 11996 3 0 0 25 0 1 0 197327069 14741504 2740 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3599 2740 297 55 0 2491 0
Current children cumulated CPU time (s) 119.99
Current children cumulated vsize (Kb) 14396

[startup+130.079 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 20189
/proc/meminfo: memFree=1845264/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=14396 CPUtime=130
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 4206 0 0 0 12997 3 0 0 25 0 1 0 197327069 14741504 2740 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3599 2740 297 55 0 2491 0
Current children cumulated CPU time (s) 130
Current children cumulated vsize (Kb) 14396

[startup+140.086 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20189
/proc/meminfo: memFree=1845264/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=14396 CPUtime=140
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 4206 0 0 0 13997 3 0 0 25 0 1 0 197327069 14741504 2740 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3599 2740 297 55 0 2491 0
Current children cumulated CPU time (s) 140
Current children cumulated vsize (Kb) 14396

[startup+150.092 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20189
/proc/meminfo: memFree=1845264/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=14396 CPUtime=150
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 4206 0 0 0 14997 3 0 0 25 0 1 0 197327069 14741504 2740 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3599 2740 297 55 0 2491 0
Current children cumulated CPU time (s) 150
Current children cumulated vsize (Kb) 14396

[startup+160.098 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20189
/proc/meminfo: memFree=1845264/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=14396 CPUtime=160.01
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 4206 0 0 0 15998 3 0 0 25 0 1 0 197327069 14741504 2740 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3599 2740 297 55 0 2491 0
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (Kb) 14396

[startup+170.105 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20189
/proc/meminfo: memFree=1845264/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=14396 CPUtime=170.01
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 4210 0 0 0 16998 3 0 0 25 0 1 0 197327069 14741504 2744 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3599 2744 297 55 0 2491 0
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (Kb) 14396

[startup+180.111 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20189
/proc/meminfo: memFree=1845072/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=14660 CPUtime=180.05
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 4253 0 0 0 18002 3 0 0 25 0 1 0 197327069 15011840 2787 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548211 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3665 2787 297 55 0 2557 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 14660

[startup+190.15 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20189
/proc/meminfo: memFree=1844880/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=14684 CPUtime=190.05
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 4305 0 0 0 19002 3 0 0 25 0 1 0 197327069 15036416 2818 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3671 2818 297 55 0 2563 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 14684

[startup+200.156 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20189
/proc/meminfo: memFree=1844752/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=14820 CPUtime=200.05
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 4374 0 0 0 20002 3 0 0 25 0 1 0 197327069 15175680 2840 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3705 2840 297 55 0 2597 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 14820

[startup+210.162 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20189
/proc/meminfo: memFree=1844752/2055920 swapFree=4181324/4192956

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

/proc/20189/statm: 3837 2988 298 55 0 2729 0
Current children cumulated CPU time (s) 1760.51
Current children cumulated vsize (Kb) 15348

[startup+1771.14 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20384
/proc/meminfo: memFree=1843480/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=15348 CPUtime=1770.52
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 5667 0 0 0 177037 15 0 0 25 0 1 0 197327069 15716352 2988 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3837 2988 298 55 0 2729 0
Current children cumulated CPU time (s) 1770.52
Current children cumulated vsize (Kb) 15348

[startup+1781.15 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20384
/proc/meminfo: memFree=1843480/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=15480 CPUtime=1780.52
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 5713 0 0 0 178037 15 0 0 25 0 1 0 197327069 15851520 3011 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3870 3011 298 55 0 2762 0
Current children cumulated CPU time (s) 1780.52
Current children cumulated vsize (Kb) 15480

[startup+1782.15 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20384
/proc/meminfo: memFree=1843480/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=15676 CPUtime=1781.53
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 5746 0 0 0 178138 15 0 0 25 0 1 0 197327069 16052224 3037 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3919 3037 298 55 0 2811 0
Current children cumulated CPU time (s) 1781.53
Current children cumulated vsize (Kb) 15676

[startup+1783.16 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20384
/proc/meminfo: memFree=1843352/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=15676 CPUtime=1782.53
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 5774 0 0 0 178238 15 0 0 25 0 1 0 197327069 16052224 3065 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3919 3065 298 55 0 2811 0
Current children cumulated CPU time (s) 1782.53
Current children cumulated vsize (Kb) 15676

[startup+1784.16 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20384
/proc/meminfo: memFree=1843352/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=15676 CPUtime=1783.53
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 5775 0 0 0 178338 15 0 0 25 0 1 0 197327069 16052224 3066 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3919 3066 298 55 0 2811 0
Current children cumulated CPU time (s) 1783.53
Current children cumulated vsize (Kb) 15676

[startup+1785.17 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20384
/proc/meminfo: memFree=1843416/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=15388 CPUtime=1784.54
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 5775 0 0 0 178439 15 0 0 25 0 1 0 197327069 15757312 2998 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3847 2998 298 55 0 2739 0
Current children cumulated CPU time (s) 1784.54
Current children cumulated vsize (Kb) 15388

[startup+1786.17 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 20384
/proc/meminfo: memFree=1843416/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=15388 CPUtime=1785.54
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 5775 0 0 0 178539 15 0 0 25 0 1 0 197327069 15757312 2998 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3847 2998 298 55 0 2739 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (Kb) 15388

[startup+1787.18 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20384
/proc/meminfo: memFree=1843416/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=15388 CPUtime=1786.55
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 5775 0 0 0 178640 15 0 0 25 0 1 0 197327069 15757312 2998 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3847 2998 298 55 0 2739 0
Current children cumulated CPU time (s) 1786.55
Current children cumulated vsize (Kb) 15388

[startup+1788.18 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20384
/proc/meminfo: memFree=1843416/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=15388 CPUtime=1787.55
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 5775 0 0 0 178740 15 0 0 25 0 1 0 197327069 15757312 2998 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3847 2998 298 55 0 2739 0
Current children cumulated CPU time (s) 1787.55
Current children cumulated vsize (Kb) 15388

[startup+1789.19 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20384
/proc/meminfo: memFree=1843416/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=15388 CPUtime=1788.56
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 5775 0 0 0 178841 15 0 0 25 0 1 0 197327069 15757312 2998 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3847 2998 298 55 0 2739 0
Current children cumulated CPU time (s) 1788.56
Current children cumulated vsize (Kb) 15388

[startup+1790.19 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20384
/proc/meminfo: memFree=1843480/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=15348 CPUtime=1789.56
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 5775 0 0 0 178941 15 0 0 25 0 1 0 197327069 15716352 2988 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3837 2988 298 55 0 2729 0
Current children cumulated CPU time (s) 1789.56
Current children cumulated vsize (Kb) 15348

[startup+1791.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20384
/proc/meminfo: memFree=1843480/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=15348 CPUtime=1790.57
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 5775 0 0 0 179042 15 0 0 25 0 1 0 197327069 15716352 2988 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3837 2988 298 55 0 2729 0
Current children cumulated CPU time (s) 1790.57
Current children cumulated vsize (Kb) 15348

[startup+1792.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20384
/proc/meminfo: memFree=1843480/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=15348 CPUtime=1791.57
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 5775 0 0 0 179142 15 0 0 25 0 1 0 197327069 15716352 2988 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3837 2988 298 55 0 2729 0
Current children cumulated CPU time (s) 1791.57
Current children cumulated vsize (Kb) 15348

[startup+1793.21 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20384
/proc/meminfo: memFree=1843480/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=15348 CPUtime=1792.58
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 5775 0 0 0 179243 15 0 0 25 0 1 0 197327069 15716352 2988 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3837 2988 298 55 0 2729 0
Current children cumulated CPU time (s) 1792.58
Current children cumulated vsize (Kb) 15348

[startup+1794.21 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20384
/proc/meminfo: memFree=1843480/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=15348 CPUtime=1793.58
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 5775 0 0 0 179343 15 0 0 25 0 1 0 197327069 15716352 2988 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3837 2988 298 55 0 2729 0
Current children cumulated CPU time (s) 1793.58
Current children cumulated vsize (Kb) 15348

[startup+1795.22 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20384
/proc/meminfo: memFree=1843480/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=15348 CPUtime=1794.59
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 5775 0 0 0 179444 15 0 0 25 0 1 0 197327069 15716352 2988 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3837 2988 298 55 0 2729 0
Current children cumulated CPU time (s) 1794.59
Current children cumulated vsize (Kb) 15348

[startup+1796.22 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20384
/proc/meminfo: memFree=1843480/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=15348 CPUtime=1795.59
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 5775 0 0 0 179544 15 0 0 25 0 1 0 197327069 15716352 2988 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3837 2988 298 55 0 2729 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (Kb) 15348

[startup+1797.23 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20384
/proc/meminfo: memFree=1843480/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=15472 CPUtime=1796.59
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 5797 0 0 0 179644 15 0 0 25 0 1 0 197327069 15843328 3010 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3868 3010 298 55 0 2760 0
Current children cumulated CPU time (s) 1796.59
Current children cumulated vsize (Kb) 15472

[startup+1798.23 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20384
/proc/meminfo: memFree=1843480/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=15472 CPUtime=1797.6
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 5797 0 0 0 179745 15 0 0 25 0 1 0 197327069 15843328 3010 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3868 3010 298 55 0 2760 0
Current children cumulated CPU time (s) 1797.6
Current children cumulated vsize (Kb) 15472

[startup+1799.24 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20384
/proc/meminfo: memFree=1843480/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=15472 CPUtime=1798.6
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 5797 0 0 0 179845 15 0 0 25 0 1 0 197327069 15843328 3010 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3868 3010 298 55 0 2760 0
Current children cumulated CPU time (s) 1798.6
Current children cumulated vsize (Kb) 15472

[startup+1800.24 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20384
/proc/meminfo: memFree=1843480/2055920 swapFree=4181324/4192956
[pid=20189] ppid=20187 vsize=15472 CPUtime=1799.61
/proc/20189/stat : 20189 (bsolo) R 20187 20189 20143 0 -1 0 5797 0 0 0 179946 15 0 0 25 0 1 0 197327069 15843328 3010 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20189/statm: 3868 3010 298 55 0 2760 0
Current children cumulated CPU time (s) 1799.61
Current children cumulated vsize (Kb) 15472

Child status: 10
Real time (s): 1800.7
CPU time (s): 1800.07
CPU user time (s): 1799.91
CPU system time (s): 0.160975
CPU usage (%): 99.9652
Max. virtual memory (cumulated for all children) (Kb): 16264

Launcher Data (download as text)

Begin job on node40 on Sat Jun  3 06:36:46 UTC 2006


FILE ID= 40767-1149316606

PBS_JOBID= 308383

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mkc.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node40/40767-1149316606/instance-40767-1149316606.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node40/watcher-40767-1149316606 -o ROOT/results/node40/solver-40767-1149316606 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node40/40767-1149316606/instance-40767-1149316606.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  eae2e8a732d92a062f083ccb58900b63

RANDOM SEED= 765521014


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.245
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.245
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1855128 kB
Buffers:          8628 kB
Cached:         122680 kB
SwapCached:       3400 kB
Active:          28392 kB
Inactive:       111688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1855128 kB
SwapTotal:     4192956 kB
SwapFree:      4181324 kB
Dirty:             212 kB
Writeback:           0 kB
Mapped:          14972 kB
Slab:            46740 kB
Committed_AS:   363096 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node40 on Sat Jun  3 07:06:47 UTC 2006