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