Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 18002 | 1800.1 | 1800.67 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-fiber.opb |
MD5SUM | 32662df0ae948242aace0258625ea4cc |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 6358 |
Best CPU time to get the best result obtained on this benchmark | 1800.46 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 6277 |
Optimality of the best value was proved | NO |
Number of variables | 2574 |
Total number of constraints | 363 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 36 |
Number of constraints which are nor clauses,nor cardinality constraints | 327 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 61 |
Number of terms in the objective function | 1254 |
Biggest coefficient in the objective function | 7958 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 524887 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261914 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524887 |
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.05 c Initial problem consists of 2574 variables and 711 constraints. 0.07 c No problem reductions applied in OPT. instance. 0.07 c preprocess terminated. Elapsed time: 0.052 0.07 c After prepocess the problem consists of 2066 variables and 590 constraints. 0.07 c Initial Lower Bound: 76 0.10 c Restart #1 #Var: 2066 LB: 76 @ 0.084 0.18 c Restart #2 #Var: 2066 LB: 76 @ 0.168 0.31 c Restart #3 #Var: 2066 LB: 76 @ 0.295 0.50 c Restart #4 #Var: 2066 LB: 76 @ 0.482 0.71 c Restart #5 #Var: 2066 LB: 76 @ 0.698 0.95 c Restart #6 #Var: 2066 LB: 76 @ 0.931 1.25 c Restart #7 #Var: 2066 LB: 76 @ 1.233 1.42 c Restart #8 #Var: 2066 LB: 76 @ 1.403 1.55 c Restart #9 #Var: 2066 LB: 76 @ 1.533 1.66 c Restart #10 #Var: 2066 LB: 76 @ 1.649 1.75 c Restart #11 #Var: 2066 LB: 76 @ 1.737 1.91 c Restart #12 #Var: 2066 LB: 76 @ 1.899 2.14 c Restart #13 #Var: 2066 LB: 76 @ 2.128 2.35 c Restart #14 #Var: 2066 LB: 76 @ 2.334 3.04 c Restart #15 #Var: 2066 LB: 76 @ 3.027 3.29 c Restart #16 #Var: 2066 LB: 76 @ 3.273 3.49 c Restart #17 #Var: 2066 LB: 76 @ 3.48 3.82 c Restart #18 #Var: 2066 LB: 76 @ 3.807 4.24 c Restart #19 #Var: 2066 LB: 76 @ 4.223 4.63 c Restart #20 #Var: 2066 LB: 76 @ 4.619 4.87 c Restart #21 #Var: 2066 LB: 76 @ 4.857 5.06 c Restart #22 #Var: 2066 LB: 76 @ 5.05 5.33 c Sol. found (all assignments made)... 5.33 o 357266 5.33 c NEW SOLUTION FOUND: 357266 @ 5.312 5.33 c Sol. found (all assignments made)... 5.33 o 353355 5.33 c NEW SOLUTION FOUND: 353355 @ 5.314 5.33 c Sol. found (all assignments made)... 5.33 c Sol. found (all assignments made)... 5.33 o 353021 5.33 c NEW SOLUTION FOUND: 353021 @ 5.316 5.34 c Sol. found (all assignments made)... 5.34 o 351979 5.34 c NEW SOLUTION FOUND: 351979 @ 5.323 5.34 c Sol. found (all assignments made)... 5.35 c Sol. found (all assignments made)... 5.36 c Sol. found (all assignments made)... 5.36 c Sol. found (all assignments made)... 5.36 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.39 c Sol. found (all assignments made)... 5.39 c Sol. found (all assignments made)... 5.39 c Sol. found (all assignments made)... 5.40 c Sol. found (all assignments made)... 5.40 c Sol. found (all assignments made)... 5.40 c Sol. found (all assignments made)... 5.40 c Sol. found (all assignments made)... 5.40 c Sol. found (all assignments made)... 5.40 c Sol. found (all assignments made)... 5.41 c Sol. found (all assignments made)... 5.41 c Sol. found (all assignments made)... 5.41 c Sol. found (all assignments made)... 5.41 c Sol. found (all assignments made)... 5.42 c Sol. found (all assignments made)... 5.42 o 351198 5.42 c NEW SOLUTION FOUND: 351198 @ 5.4 5.43 c Sol. found (all assignments made)... 5.43 c Sol. found (all assignments made)... 5.45 c Sol. found (all assignments made)... 5.47 c Sol. found (all assignments made)... 5.47 c Sol. found (all assignments made)... 5.48 c Sol. found (all assignments made)... 5.48 c Sol. found (all assignments made)... 5.49 c Sol. found (all assignments made)... 5.51 c Sol. found (all assignments made)... 5.52 c Sol. found (all assignments made)... 5.53 c Sol. found (all assignments made)... 5.53 c Sol. found (all assignments made)... 5.56 c Sol. found (all assignments made)... 5.57 c Sol. found (all assignments made)... 5.57 c Sol. found (all assignments made)... 5.57 c Sol. found (all assignments made)... 5.57 c Sol. found (all assignments made)... 5.59 c Sol. found (all assignments made)... 5.59 c Sol. found (all assignments made)... 5.64 c Sol. found (all assignments made)... 5.65 c Sol. found (all assignments made)... 5.65 c Sol. found (all assignments made)... 5.65 o 351169 5.65 c NEW SOLUTION FOUND: 351169 @ 5.636 5.65 c Sol. found (all assignments made)... 5.65 c Sol. found (all assignments made)... 5.66 c Sol. found (all assignments made)... 5.67 c Sol. found (all assignments made)... 5.68 c Sol. found (all assignments made)... 5.68 c Sol. found (all assignments made)... 5.68 c Sol. found (all assignments made)... 5.68 o 351134 5.68 c NEW SOLUTION FOUND: 351134 @ 5.668 5.69 c Sol. found (all assignments made)... 5.69 c Sol. found (all assignments made)... 5.69 c Sol. found (all assignments made)... 5.70 c Sol. found (all assignments made)... 5.70 c Sol. found (all assignments made)... 5.70 o 351100 5.70 c NEW SOLUTION FOUND: 351100 @ 5.682 5.70 c Sol. found (all assignments made)... 5.71 c Sol. found (all assignments made)... 5.71 c Sol. found (all assignments made)... 5.72 c Sol. found (all assignments made)... 5.73 c Sol. found (all assignments made)... 5.74 c Sol. found (all assignments made)... 5.74 c Sol. found (all assignments made)... 5.75 c Sol. found (all assignments made)... 5.76 c Sol. found (all assignments made)... 5.76 o 350748 5.76 c NEW SOLUTION FOUND: 350748 @ 5.747 5.77 c Sol. found (all assignments made)... 5.81 c Sol. found (all assignments made)... 5.81 o 350679 5.81 c NEW SOLUTION FOUND: 350679 @ 5.795 5.81 c Sol. found (all assignments made)... 5.81 o 350661 5.81 c NEW SOLUTION FOUND: 350661 @ 5.799 5.81 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.87 c Sol. found (all assignments made)... 5.87 o 350057 5.87 c NEW SOLUTION FOUND: 350057 @ 5.851 5.88 c Sol. found (all assignments made)... 5.88 o 349619 5.88 c NEW SOLUTION FOUND: 349619 @ 5.86 5.89 c Sol. found (all assignments made)... 5.89 o 348967 5.89 c NEW SOLUTION FOUND: 348967 @ 5.872 6.21 c Sol. found (all assignments made)... 6.21 o 348951 6.21 c NEW SOLUTION FOUND: 348951 @ 6.194 6.21 c Sol. found (all assignments made)... 6.21 o 348949 6.21 c NEW SOLUTION FOUND: 348949 @ 6.198 6.21 c Sol. found (all assignments made)... 6.21 o 348925 6.21 c NEW SOLUTION FOUND: 348925 @ 6.199 6.22 c Sol. found (all assignments made)... 6.22 o 348917 6.22 c NEW SOLUTION FOUND: 348917 @ 6.204 6.22 c Sol. found (all assignments made)... 6.22 o 348914 6.22 c NEW SOLUTION FOUND: 348914 @ 6.207 6.22 c Sol. found (all assignments made)... 6.22 o 348901 6.22 c NEW SOLUTION FOUND: 348901 @ 6.209 6.23 c Sol. found (all assignments made)... 6.23 o 348877 6.23 c NEW SOLUTION FOUND: 348877 @ 6.211 6.24 c Sol. found (all assignments made)... 6.24 o 348875 6.24 c NEW SOLUTION FOUND: 348875 @ 6.229 6.25 c Sol. found (all assignments made)... 6.25 o 348851 6.25 c NEW SOLUTION FOUND: 348851 @ 6.234 6.28 c Sol. found (all assignments made)... 6.28 o 348833 6.28 c NEW SOLUTION FOUND: 348833 @ 6.27 6.34 c Sol. found (all assignments made)... 6.34 o 348807 6.34 c NEW SOLUTION FOUND: 348807 @ 6.326 6.44 c Sol. found (all assignments made)... 6.44 o 348803 6.44 c NEW SOLUTION FOUND: 348803 @ 6.426 6.44 c Sol. found (all assignments made)... 6.44 o 348799 6.44 c NEW SOLUTION FOUND: 348799 @ 6.43 6.45 c Sol. found (all assignments made)... 6.45 o 348781 6.45 c NEW SOLUTION FOUND: 348781 @ 6.436 6.46 c Sol. found (all assignments made)... 6.46 o 348779 6.46 c NEW SOLUTION FOUND: 348779 @ 6.441 6.46 c Sol. found (all assignments made)... 6.46 o 348755 6.46 c NEW SOLUTION FOUND: 348755 @ 6.445 6.75 c Sol. found (all assignments made)... 6.75 o 348235 6.75 c NEW SOLUTION FOUND: 348235 @ 6.735 6.75 c Sol. found (all assignments made)... 6.75 o 348224 6.75 c NEW SOLUTION FOUND: 348224 @ 6.739 6.76 c Sol. found (all assignments made)... 6.76 o 348187 6.76 c NEW SOLUTION FOUND: 348187 @ 6.747 6.77 c Sol. found (all assignments made)... 6.77 o 348139 6.77 c NEW SOLUTION FOUND: 348139 @ 6.759 6.78 c Sol. found (all assignments made)... 6.78 o 348125 6.78 c NEW SOLUTION FOUND: 348125 @ 6.762 6.78 c Sol. found (all assignments made)... 6.78 o 348099 6.78 c NEW SOLUTION FOUND: 348099 @ 6.766 6.79 c Sol. found (all assignments made)... 6.79 o 347959 6.79 c NEW SOLUTION FOUND: 347959 @ 6.777 6.80 c Sol. found (all assignments made)... 6.80 o 347671 6.80 c NEW SOLUTION FOUND: 347671 @ 6.782 6.83 c Sol. found (all assignments made)... 6.83 o 347536 6.83 c NEW SOLUTION FOUND: 347536 @ 6.81 6.84 c Sol. found (all assignments made)... 6.84 o 347454 6.84 c NEW SOLUTION FOUND: 347454 @ 6.828 6.85 c Sol. found (all assignments made)... 6.85 o 347166 6.85 c NEW SOLUTION FOUND: 347166 @ 6.831 6.86 c Sol. found (all assignments made)... 6.86 o 347031 6.86 c NEW SOLUTION FOUND: 347031 @ 6.84 6.91 c Sol. found (all assignments made)... 6.91 o 346972 6.91 c NEW SOLUTION FOUND: 346972 @ 6.89 6.91 c Sol. found (all assignments made)... 6.91 o 346899 6.91 c NEW SOLUTION FOUND: 346899 @ 6.893 6.91 c Sol. found (all assignments made)... 6.91 o 346837 6.91 c NEW SOLUTION FOUND: 346837 @ 6.898 6.92 c Sol. found (all assignments made)... 6.92 o 346764 6.92 c NEW SOLUTION FOUND: 346764 @ 6.9 6.93 c Sol. found (all assignments made)... 6.93 o 346671 6.93 c NEW SOLUTION FOUND: 346671 @ 6.918 7.13 c Sol. found (all assignments made)... 7.13 o 346556 7.13 c NEW SOLUTION FOUND: 346556 @ 7.117 7.14 c Sol. found (all assignments made)... 7.14 o 346463 7.15 c NEW SOLUTION FOUND: 346463 @ 7.129 7.19 c Sol. found (all assignments made)... 7.19 o 346403 7.19 c NEW SOLUTION FOUND: 346403 @ 7.177 7.26 c Sol. found (all assignments made)... 7.26 o 346310 7.26 c NEW SOLUTION FOUND: 346310 @ 7.24 7.31 c Sol. found (all assignments made)... 7.31 o 346246 7.31 c NEW SOLUTION FOUND: 346246 @ 7.29 7.48 c Sol. found (all assignments made)... 7.48 o 346208 7.48 c NEW SOLUTION FOUND: 346208 @ 7.468 8.02 c Sol. found (all assignments made)... 8.02 o 346170 8.02 c NEW SOLUTION FOUND: 346170 @ 8.002 8.06 c Sol. found (all assignments made)... 8.06 o 346093 8.06 c NEW SOLUTION FOUND: 346093 @ 8.043 8.06 c Sol. found (all assignments made)... 8.06 o 346000 8.06 c NEW SOLUTION FOUND: 346000 @ 8.048 8.10 c Sol. found (all assignments made)... 8.10 o 345940 8.10 c NEW SOLUTION FOUND: 345940 @ 8.08 8.10 c Sol. found (all assignments made)... 8.10 o 345847 8.10 c NEW SOLUTION FOUND: 345847 @ 8.084 8.32 c Sol. found (all assignments made)... 8.32 o 345771 8.32 c NEW SOLUTION FOUND: 345771 @ 8.305 8.48 c Sol. found (all assignments made)... 8.48 o 345758 8.48 c NEW SOLUTION FOUND: 345758 @ 8.468 8.58 c Sol. found (all assignments made)... 8.58 o 345632 8.58 c NEW SOLUTION FOUND: 345632 @ 8.561 8.58 c Sol. found (all assignments made)... 8.58 o 345301 8.58 c NEW SOLUTION FOUND: 345301 @ 8.566 8.60 c Sol. found (all assignments made)... 8.60 o 345283 8.60 c NEW SOLUTION FOUND: 345283 @ 8.583 8.61 c Sol. found (all assignments made)... 8.61 o 345148 8.61 c NEW SOLUTION FOUND: 345148 @ 8.596 8.77 c Sol. found (all assignments made)... 8.77 o 344916 8.77 c NEW SOLUTION FOUND: 344916 @ 8.757 8.78 c Sol. found (all assignments made)... 8.78 o 344903 8.78 c NEW SOLUTION FOUND: 344903 @ 8.759 8.78 c Sol. found (all assignments made)... 8.78 o 344879 8.78 c NEW SOLUTION FOUND: 344879 @ 8.762 8.78 c Sol. found (all assignments made)... 8.78 o 344713 8.78 c NEW SOLUTION FOUND: 344713 @ 8.767 8.79 c Sol. found (all assignments made)... 8.79 o 344518 8.79 c NEW SOLUTION FOUND: 344518 @ 8.776 8.80 c Sol. found (all assignments made)... 8.80 o 344425 8.80 c NEW SOLUTION FOUND: 344425 @ 8.78 8.81 c Sol. found (all assignments made)... 8.81 o 344416 8.81 c NEW SOLUTION FOUND: 344416 @ 8.794 8.82 c Sol. found (all assignments made)... 8.82 o 344371 8.82 c NEW SOLUTION FOUND: 344371 @ 8.801 8.82 c Sol. found (all assignments made)... 8.82 o 344331 8.82 c NEW SOLUTION FOUND: 344331 @ 8.802 8.82 c Sol. found (all assignments made)... 8.82 o 344327 8.82 c NEW SOLUTION FOUND: 344327 @ 8.806 8.83 c Sol. found (all assignments made)... 8.83 o 344283 8.83 c NEW SOLUTION FOUND: 344283 @ 8.81 8.83 c Sol. found (all assignments made)... 8.83 o 344274 8.83 c NEW SOLUTION FOUND: 344274 @ 8.815 8.83 c Sol. found (all assignments made)... 8.83 o 344250 8.83 c NEW SOLUTION FOUND: 344250 @ 8.817 8.83 c Sol. found (all assignments made)... 8.83 o 344203 8.83 c NEW SOLUTION FOUND: 344203 @ 8.818 8.84 c Sol. found (all assignments made)... 8.84 o 343765 8.84 c NEW SOLUTION FOUND: 343765 @ 8.819 8.84 c Sol. found (all assignments made)... 8.84 o 343598 8.84 c NEW SOLUTION FOUND: 343598 @ 8.827 8.85 c Sol. found (all assignments made)... 8.85 o 343355 8.85 c NEW SOLUTION FOUND: 343355 @ 8.829 8.85 c Sol. found (all assignments made)... 8.85 o 343331 8.85 c NEW SOLUTION FOUND: 343331 @ 8.83 8.85 c Sol. found (all assignments made)... 8.85 o 343238 8.85 c NEW SOLUTION FOUND: 343238 @ 8.835 8.87 c Sol. found (all assignments made)... 8.87 o 343220 8.87 c NEW SOLUTION FOUND: 343220 @ 8.859 8.88 c Sol. found (all assignments made)... 8.88 o 343178 8.88 c NEW SOLUTION FOUND: 343178 @ 8.866 8.89 c Sol. found (all assignments made)... 8.89 o 343085 8.89 c NEW SOLUTION FOUND: 343085 @ 8.871 8.92 c Sol. found (all assignments made)... 8.92 o 343014 8.92 c NEW SOLUTION FOUND: 343014 @ 8.903 8.94 c Sol. found (all assignments made)... 8.94 o 342996 8.94 c NEW SOLUTION FOUND: 342996 @ 8.924 8.95 c Sol. found (all assignments made)... 8.95 o 342954 8.95 c NEW SOLUTION FOUND: 342954 @ 8.933 8.95 c Sol. found (all assignments made)... 8.95 o 342861 8.95 c NEW SOLUTION FOUND: 342861 @ 8.939 8.99 c Sol. found (all assignments made)... 8.99 o 342837 8.99 c NEW SOLUTION FOUND: 342837 @ 8.977 9.02 c Sol. found (all assignments made)... 9.02 o 342505 9.02 c NEW SOLUTION FOUND: 342505 @ 9.006 9.02 c Sol. found (all assignments made)... 9.02 o 342494 9.02 c NEW SOLUTION FOUND: 342494 @ 9.008 9.03 c Sol. found (all assignments made)... 9.03 o 342468 9.03 c NEW SOLUTION FOUND: 342468 @ 9.01 9.03 c Sol. found (all assignments made)... 9.03 o 342302 9.03 c NEW SOLUTION FOUND: 342302 @ 9.016 9.06 c Sol. found (all assignments made)... 9.06 o 342284 9.06 c NEW SOLUTION FOUND: 342284 @ 9.04 9.06 c Sol. found (all assignments made)... 9.06 o 342242 9.06 c NEW SOLUTION FOUND: 342242 @ 9.046 9.07 c Sol. found (all assignments made)... 9.07 o 342149 9.07 c NEW SOLUTION FOUND: 342149 @ 9.051 9.11 c Sol. found (all assignments made)... 9.11 o 342053 9.11 c NEW SOLUTION FOUND: 342053 @ 9.092 9.62 c Sol. found (all assignments made)... 9.62 o 341670 9.62 c NEW SOLUTION FOUND: 341670 @ 9.6 9.62 c Sol. found (all assignments made)... 9.62 o 341504 9.62 c NEW SOLUTION FOUND: 341504 @ 9.604 9.63 c Sol. found (all assignments made)... 9.63 o 341342 9.63 c NEW SOLUTION FOUND: 341342 @ 9.611 9.64 c Sol. found (all assignments made)... 9.64 o 341216 9.64 c NEW SOLUTION FOUND: 341216 @ 9.62 9.65 c Sol. found (all assignments made)... 9.65 o 341207 9.65 c NEW SOLUTION FOUND: 341207 @ 9.633 9.66 c Sol. found (all assignments made)... 9.66 o 340722 9.66 c NEW SOLUTION FOUND: 340722 @ 9.639 9.66 c Sol. found (all assignments made)... 9.66 o 340649 9.66 c NEW SOLUTION FOUND: 340649 @ 9.643 9.66 c Sol. found (all assignments made)... 9.66 o 340556 9.66 c NEW SOLUTION FOUND: 340556 @ 9.647 9.68 c Sol. found (all assignments made)... 9.68 o 340546 9.68 c NEW SOLUTION FOUND: 340546 @ 9.663 9.70 c Sol. found (all assignments made)... 9.70 o 340195 9.70 c NEW SOLUTION FOUND: 340195 @ 9.679 9.70 c Sol. found (all assignments made)... 9.70 o 340122 9.70 c NEW SOLUTION FOUND: 340122 @ 9.683 9.70 c Sol. found (all assignments made)... 9.70 o 340029 9.70 c NEW SOLUTION FOUND: 340029 @ 9.688 9.72 c Sol. found (all assignments made)... 9.72 o 339876 9.72 c NEW SOLUTION FOUND: 339876 @ 9.705 9.75 c Sol. found (all assignments made)... 9.75 o 339572 9.75 c NEW SOLUTION FOUND: 339572 @ 9.732 9.75 c Sol. found (all assignments made)... 9.75 o 339406 9.75 c NEW SOLUTION FOUND: 339406 @ 9.736 9.79 c Sol. found (all assignments made)... 9.79 o 339388 9.79 c NEW SOLUTION FOUND: 339388 @ 9.771 9.80 c Sol. found (all assignments made)... 9.80 o 339253 9.80 c NEW SOLUTION FOUND: 339253 @ 9.779 9.84 c Sol. found (all assignments made)... 9.84 o 339186 9.84 c NEW SOLUTION FOUND: 339186 @ 9.824 10.39 c Sol. found (all assignments made)... 10.39 o 339168 10.39 c NEW SOLUTION FOUND: 339168 @ 10.371 11.07 c Sol. found (all assignments made)... 11.07 o 339150 11.07 c NEW SOLUTION FOUND: 339150 @ 11.045 11.07 c Sol. found (all assignments made)... 11.07 o 339113 11.07 c NEW SOLUTION FOUND: 339113 @ 11.047 11.63 c Sol. found (all assignments made)... 11.63 o 339106 11.63 c NEW SOLUTION FOUND: 339106 @ 11.607 12.23 c Sol. found (all assignments made)... 12.23 o 339100 12.23 c NEW SOLUTION FOUND: 339100 @ 12.205 12.23 c Sol. found (all assignments made)... 12.23 o 338934 12.23 c NEW SOLUTION FOUND: 338934 @ 12.209 12.31 c Sol. found (all assignments made)... 12.31 o 338916 12.31 c NEW SOLUTION FOUND: 338916 @ 12.285 12.31 c Sol. found (all assignments made)... 12.31 o 338879 12.31 c NEW SOLUTION FOUND: 338879 @ 12.288 12.55 c Sol. found (all assignments made)... 12.55 o 338874 12.55 c NEW SOLUTION FOUND: 338874 @ 12.526 12.55 c Sol. found (all assignments made)... 12.55 o 338781 12.55 c NEW SOLUTION FOUND: 338781 @ 12.531 12.63 c Sol. found (all assignments made)... 12.63 o 338726 12.63 c NEW SOLUTION FOUND: 338726 @ 12.605 13.88 c Sol. found (all assignments made)... 13.88 o 338648 13.88 c NEW SOLUTION FOUND: 338648 @ 13.854 14.00 c Sol. found (all assignments made)... 14.00 o 338630 14.00 c NEW SOLUTION FOUND: 338630 @ 13.979 14.00 c Sol. found (all assignments made)... 14.00 o 338593 14.00 c NEW SOLUTION FOUND: 338593 @ 13.982 14.75 c Sol. found (all assignments made)... 14.75 o 338476 14.75 c NEW SOLUTION FOUND: 338476 @ 14.727 14.77 c Sol. found (all assignments made)... 14.77 o 338447 14.77 c NEW SOLUTION FOUND: 338447 @ 14.745 14.79 c Sol. found (all assignments made)... 14.79 o 338116 14.79 c NEW SOLUTION FOUND: 338116 @ 14.766 14.90 c Sol. found (all assignments made)... 14.90 o 338098 14.90 c NEW SOLUTION FOUND: 338098 @ 14.875 14.91 c Sol. found (all assignments made)... 14.91 o 338061 14.91 c NEW SOLUTION FOUND: 338061 @ 14.886 15.26 c Sol. found (all assignments made)... 15.26 o 338056 15.26 c NEW SOLUTION FOUND: 338056 @ 15.235 15.26 c Sol. found (all assignments made)... 15.26 o 337963 15.26 c NEW SOLUTION FOUND: 337963 @ 15.242 15.30 c Sol. found (all assignments made)... 15.30 o 337945 15.30 c NEW SOLUTION FOUND: 337945 @ 15.273 15.32 c Sol. found (all assignments made)... 15.32 o 337908 15.32 c NEW SOLUTION FOUND: 337908 @ 15.295 15.55 c Sol. found (all assignments made)... 15.55 o 337755 15.55 c NEW SOLUTION FOUND: 337755 @ 15.525 15.55 c Sol. found (all assignments made)... 15.55 o 337662 15.55 c NEW SOLUTION FOUND: 337662 @ 15.53 15.61 c Sol. found (all assignments made)... 15.61 o 337644 15.61 c NEW SOLUTION FOUND: 337644 @ 15.583 15.62 c Sol. found (all assignments made)... 15.62 o 337607 15.62 c NEW SOLUTION FOUND: 337607 @ 15.593 15.97 c Sol. found (all assignments made)... 15.97 o 337509 15.97 c NEW SOLUTION FOUND: 337509 @ 15.949 16.00 c Sol. found (all assignments made)... 16.00 o 337454 16.00 c NEW SOLUTION FOUND: 337454 @ 15.973 16.73 c Sol. found (all assignments made)... 16.73 o 337376 16.73 c NEW SOLUTION FOUND: 337376 @ 16.708 16.77 c Sol. found (all assignments made)... 16.77 o 337321 16.77 c NEW SOLUTION FOUND: 337321 @ 16.746 17.03 c Sol. found (all assignments made)... 17.03 o 337320 17.03 c NEW SOLUTION FOUND: 337320 @ 17.01 17.05 c Sol. found (all assignments made)... 17.05 o 337296 17.05 c NEW SOLUTION FOUND: 337296 @ 17.021 17.05 c Sol. found (all assignments made)... 17.05 o 337058 17.05 c NEW SOLUTION FOUND: 337058 @ 17.028 17.06 c Sol. found (all assignments made)... 17.06 o 336965 17.06 c NEW SOLUTION FOUND: 336965 @ 17.035 17.15 c Sol. found (all assignments made)... 17.15 o 336910 17.15 c NEW SOLUTION FOUND: 336910 @ 17.126 17.49 c Sol. found (all assignments made)... 17.49 o 336812 17.49 c NEW SOLUTION FOUND: 336812 @ 17.463 17.54 c Sol. found (all assignments made)... 17.54 o 336794 17.54 c NEW SOLUTION FOUND: 336794 @ 17.513 17.56 c Sol. found (all assignments made)... 17.56 o 336757 17.56 c NEW SOLUTION FOUND: 336757 @ 17.539 17.82 c Sol. found (all assignments made)... 17.82 o 336746 17.82 c NEW SOLUTION FOUND: 336746 @ 17.794 17.83 c Sol. found (all assignments made)... 17.83 o 336581 17.83 c NEW SOLUTION FOUND: 336581 @ 17.8 17.83 c Sol. found (all assignments made)... 17.83 o 336415 17.83 c NEW SOLUTION FOUND: 336415 @ 17.805 17.89 c Sol. found (all assignments made)... 17.89 o 336397 17.89 c NEW SOLUTION FOUND: 336397 @ 17.864 17.90 c Sol. found (all assignments made)... 17.90 o 336360 17.90 c NEW SOLUTION FOUND: 336360 @ 17.873 18.09 c Sol. found (all assignments made)... 18.09 o 336262 18.09 c NEW SOLUTION FOUND: 336262 @ 18.065 18.31 c Sol. found (all assignments made)... 18.31 o 336244 18.31 c NEW SOLUTION FOUND: 336244 @ 18.287 18.42 c Sol. found (all assignments made)... 18.42 o 336207 18.42 c NEW SOLUTION FOUND: 336207 @ 18.398 20.09 c Restart #23 #Var: 2066 LB: 76 @ 20.065 20.47 c Sol. found (all assignments made)... 20.47 o 86487 20.47 c NEW SOLUTION FOUND: 86487 @ 20.439 20.47 c Sol. found (all assignments made)... 20.47 c Sol. found (all assignments made)... 20.47 o 86459 20.47 c NEW SOLUTION FOUND: 86459 @ 20.44 20.47 c Sol. found (all assignments made)... 20.47 o 86450 20.47 c NEW SOLUTION FOUND: 86450 @ 20.444 20.47 c Sol. found (all assignments made)... 20.47 o 86407 20.47 c NEW SOLUTION FOUND: 86407 @ 20.447 20.48 c Sol. found (all assignments made)... 20.48 o 86336 20.48 c NEW SOLUTION FOUND: 86336 @ 20.449 20.48 c Sol. found (all assignments made)... 20.48 o 85695 20.48 c NEW SOLUTION FOUND: 85695 @ 20.452 20.48 c Sol. found (all assignments made)... 20.48 o 85670 20.48 c NEW SOLUTION FOUND: 85670 @ 20.455 20.48 c Sol. found (all assignments made)... 20.49 o 85661 20.49 c NEW SOLUTION FOUND: 85661 @ 20.457 20.49 c Sol. found (all assignments made)... 20.49 o 85586 20.49 c NEW SOLUTION FOUND: 85586 @ 20.46 20.49 c Sol. found (all assignments made)... 20.49 o 85577 20.49 c NEW SOLUTION FOUND: 85577 @ 20.463 20.49 c Sol. found (all assignments made)... 20.49 o 83809 20.49 c NEW SOLUTION FOUND: 83809 @ 20.465 20.50 c Sol. found (all assignments made)... 20.50 o 83793 20.50 c NEW SOLUTION FOUND: 83793 @ 20.47 20.50 c Sol. found (all assignments made)... 20.50 o 83775 20.50 c NEW SOLUTION FOUND: 83775 @ 20.474 20.51 c Sol. found (all assignments made)... 20.51 o 83740 20.51 c NEW SOLUTION FOUND: 83740 @ 20.481 20.51 c Sol. found (all assignments made)... 20.51 o 83472 20.51 c NEW SOLUTION FOUND: 83472 @ 20.485 20.52 c Sol. found (all assignments made)... 20.52 o 83116 20.52 c NEW SOLUTION FOUND: 83116 @ 20.488 20.52 c Sol. found (all assignments made)... 20.52 o 83084 20.52 c NEW SOLUTION FOUND: 83084 @ 20.492 20.52 c Sol. found (all assignments made)... 20.52 o 83030 20.52 c NEW SOLUTION FOUND: 83030 @ 20.496 20.53 c Sol. found (all assignments made)... 20.53 o 82999 20.53 c NEW SOLUTION FOUND: 82999 @ 20.5 20.53 c Sol. found (all assignments made)... 20.53 o 82990 20.53 c NEW SOLUTION FOUND: 82990 @ 20.504 20.54 c Sol. found (all assignments made)... 20.54 o 82855 20.54 c NEW SOLUTION FOUND: 82855 @ 20.508 20.54 c Sol. found (all assignments made)... 20.54 o 82830 20.54 c NEW SOLUTION FOUND: 82830 @ 20.512 20.54 c Sol. found (all assignments made)... 20.54 o 82821 20.54 c NEW SOLUTION FOUND: 82821 @ 20.515 20.55 c Sol. found (all assignments made)... 20.55 o 82753 20.55 c NEW SOLUTION FOUND: 82753 @ 20.519 20.55 c Sol. found (all assignments made)... 20.55 o 82728 20.55 c NEW SOLUTION FOUND: 82728 @ 20.523 20.55 c Sol. found (all assignments made)... 20.55 o 82719 20.55 c NEW SOLUTION FOUND: 82719 @ 20.526 20.56 c Sol. found (all assignments made)... 20.56 o 82697 20.56 c NEW SOLUTION FOUND: 82697 @ 20.532 20.57 c Sol. found (all assignments made)... 20.57 o 82237 20.57 c NEW SOLUTION FOUND: 82237 @ 20.538 20.57 c Sol. found (all assignments made)... 20.57 o 82183 20.57 c NEW SOLUTION FOUND: 82183 @ 20.543 20.58 c Sol. found (all assignments made)... 20.58 o 82158 20.58 c NEW SOLUTION FOUND: 82158 @ 20.548 20.58 c Sol. found (all assignments made)... 20.58 o 82149 20.58 c NEW SOLUTION FOUND: 82149 @ 20.553 20.59 c Sol. found (all assignments made)... 20.59 o 82135 20.59 c NEW SOLUTION FOUND: 82135 @ 20.558 20.59 c Sol. found (all assignments made)... 20.59 o 82081 20.59 c NEW SOLUTION FOUND: 82081 @ 20.563 20.60 c Sol. found (all assignments made)... 20.60 o 82056 20.60 c NEW SOLUTION FOUND: 82056 @ 20.568 20.60 c Sol. found (all assignments made)... 20.60 o 82047 20.60 c NEW SOLUTION FOUND: 82047 @ 20.573 20.62 c Sol. found (all assignments made)... 20.62 o 81433 20.62 c NEW SOLUTION FOUND: 81433 @ 20.587 20.62 c Sol. found (all assignments made)... 20.62 o 81424 20.62 c NEW SOLUTION FOUND: 81424 @ 20.593 20.63 c Sol. found (all assignments made)... 20.63 o 81289 20.63 c NEW SOLUTION FOUND: 81289 @ 20.598 20.63 c Sol. found (all assignments made)... 20.63 o 81255 20.63 c NEW SOLUTION FOUND: 81255 @ 20.604 20.64 c Sol. found (all assignments made)... 20.64 o 81162 20.64 c NEW SOLUTION FOUND: 81162 @ 20.609 20.64 c Sol. found (all assignments made)... 20.64 o 81153 20.64 c NEW SOLUTION FOUND: 81153 @ 20.615 20.67 c Sol. found (all assignments made)... 20.67 o 81150 20.67 c NEW SOLUTION FOUND: 81150 @ 20.636 20.67 c Sol. found (all assignments made)... 20.67 o 81057 20.67 c NEW SOLUTION FOUND: 81057 @ 20.643 20.68 c Sol. found (all assignments made)... 20.68 o 81048 20.68 c NEW SOLUTION FOUND: 81048 @ 20.649 20.69 c Sol. found (all assignments made)... 20.69 o 80365 20.69 c NEW SOLUTION FOUND: 80365 @ 20.662 20.70 c Sol. found (all assignments made)... 20.70 o 80340 20.70 c NEW SOLUTION FOUND: 80340 @ 20.668 20.70 c Sol. found (all assignments made)... 20.70 o 80331 20.70 c NEW SOLUTION FOUND: 80331 @ 20.674 20.71 c Sol. found (all assignments made)... 20.71 o 80202 20.71 c NEW SOLUTION FOUND: 80202 @ 20.68 20.71 c Sol. found (all assignments made)... 20.71 o 80162 20.71 c NEW SOLUTION FOUND: 80162 @ 20.686 20.72 c Sol. found (all assignments made)... 20.72 o 80100 20.72 c NEW SOLUTION FOUND: 80100 @ 20.692 20.73 c Sol. found (all assignments made)... 20.73 o 80060 20.73 c NEW SOLUTION FOUND: 80060 @ 20.698 20.80 c Sol. found (all assignments made)... 20.80 o 37416 20.80 c NEW SOLUTION FOUND: 37416 @ 20.768 20.85 c Sol. found (all assignments made)... 20.85 o 29271 20.85 c NEW SOLUTION FOUND: 29271 @ 20.82 20.86 c Sol. found (all assignments made)... 20.86 o 29245 20.86 c NEW SOLUTION FOUND: 29245 @ 20.827 20.87 c Sol. found (all assignments made)... 20.87 o 29243 20.87 c NEW SOLUTION FOUND: 29243 @ 20.836 21.08 c Sol. found (all assignments made)... 21.08 o 28363 21.08 c NEW SOLUTION FOUND: 28363 @ 21.055 21.09 c Sol. found (all assignments made)... 21.09 o 28331 21.09 c NEW SOLUTION FOUND: 28331 @ 21.06 21.10 c Sol. found (all assignments made)... 21.10 o 28291 21.10 c NEW SOLUTION FOUND: 28291 @ 21.067 21.11 c Sol. found (all assignments made)... 21.11 o 28217 21.11 c NEW SOLUTION FOUND: 28217 @ 21.084 21.12 c Sol. found (all assignments made)... 21.12 o 28155 21.12 c NEW SOLUTION FOUND: 28155 @ 21.095 21.15 c Sol. found (all assignments made)... 21.15 o 22646 21.15 c NEW SOLUTION FOUND: 22646 @ 21.123 21.16 c Sol. found (all assignments made)... 21.16 o 22307 21.16 c NEW SOLUTION FOUND: 22307 @ 21.132 21.17 c Sol. found (all assignments made)... 21.17 o 22219 21.17 c NEW SOLUTION FOUND: 22219 @ 21.141 21.18 c Sol. found (all assignments made)... 21.18 o 22217 21.18 c NEW SOLUTION FOUND: 22217 @ 21.149 21.19 c Sol. found (all assignments made)... 21.19 o 22193 21.19 c NEW SOLUTION FOUND: 22193 @ 21.158 21.20 c Sol. found (all assignments made)... 21.20 o 22191 21.20 c NEW SOLUTION FOUND: 22191 @ 21.167 21.21 c Sol. found (all assignments made)... 21.21 o 21846 21.21 c NEW SOLUTION FOUND: 21846 @ 21.176 21.22 c Sol. found (all assignments made)... 21.22 o 21777 21.22 c NEW SOLUTION FOUND: 21777 @ 21.186 21.22 c Sol. found (all assignments made)... 21.22 o 21775 21.22 c NEW SOLUTION FOUND: 21775 @ 21.195 21.24 c Sol. found (all assignments made)... 21.24 o 21744 21.24 c NEW SOLUTION FOUND: 21744 @ 21.206 21.25 c Sol. found (all assignments made)... 21.25 o 21718 21.25 c NEW SOLUTION FOUND: 21718 @ 21.218 21.26 c Sol. found (all assignments made)... 21.26 o 21681 21.26 c NEW SOLUTION FOUND: 21681 @ 21.232 21.28 c Sol. found (all assignments made)... 21.28 o 21629 21.28 c NEW SOLUTION FOUND: 21629 @ 21.246 21.29 c Sol. found (all assignments made)... 21.29 o 21589 21.29 c NEW SOLUTION FOUND: 21589 @ 21.26 21.31 c Sol. found (all assignments made)... 21.31 o 21565 21.31 c NEW SOLUTION FOUND: 21565 @ 21.276 21.32 c Sol. found (all assignments made)... 21.32 o 21400 21.32 c NEW SOLUTION FOUND: 21400 @ 21.291 21.33 c Sol. found (all assignments made)... 21.33 o 21237 21.33 c NEW SOLUTION FOUND: 21237 @ 21.304 21.35 c Sol. found (all assignments made)... 21.35 o 21166 21.35 c NEW SOLUTION FOUND: 21166 @ 21.316 21.36 c Sol. found (all assignments made)... 21.36 o 21043 21.36 c NEW SOLUTION FOUND: 21043 @ 21.33 21.37 c Sol. found (all assignments made)... 21.37 o 20861 21.37 c NEW SOLUTION FOUND: 20861 @ 21.344 21.39 c Sol. found (all assignments made)... 21.39 o 20698 21.39 c NEW SOLUTION FOUND: 20698 @ 21.357 21.40 c Sol. found (all assignments made)... 21.40 o 20627 21.40 c NEW SOLUTION FOUND: 20627 @ 21.37 21.42 c Sol. found (all assignments made)... 21.42 o 20571 21.42 c NEW SOLUTION FOUND: 20571 @ 21.388 21.43 c Sol. found (all assignments made)... 21.43 o 20544 21.43 c NEW SOLUTION FOUND: 20544 @ 21.402 21.45 c Sol. found (all assignments made)... 21.45 o 20408 21.45 c NEW SOLUTION FOUND: 20408 @ 21.415 21.46 c Sol. found (all assignments made)... 21.46 o 20337 21.46 c NEW SOLUTION FOUND: 20337 @ 21.429 21.48 c Sol. found (all assignments made)... 21.48 o 20245 21.48 c NEW SOLUTION FOUND: 20245 @ 21.452 21.50 c Sol. found (all assignments made)... 21.50 o 19473 21.50 c NEW SOLUTION FOUND: 19473 @ 21.466 21.51 c Sol. found (all assignments made)... 21.51 o 19291 21.51 c NEW SOLUTION FOUND: 19291 @ 21.485 21.53 c Sol. found (all assignments made)... 21.53 o 19264 21.53 c NEW SOLUTION FOUND: 19264 @ 21.501 21.54 c Sol. found (all assignments made)... 21.54 o 19128 21.54 c NEW SOLUTION FOUND: 19128 @ 21.514 21.56 c Sol. found (all assignments made)... 21.56 o 19057 21.56 c NEW SOLUTION FOUND: 19057 @ 21.53 21.60 c Sol. found (all assignments made)... 21.60 o 18903 21.60 c NEW SOLUTION FOUND: 18903 @ 21.566 21.61 c Sol. found (all assignments made)... 21.61 o 18829 21.61 c NEW SOLUTION FOUND: 18829 @ 21.58 21.62 c Sol. found (all assignments made)... 21.62 o 18540 21.62 c NEW SOLUTION FOUND: 18540 @ 21.595 21.64 c Sol. found (all assignments made)... 21.64 o 18404 21.64 c NEW SOLUTION FOUND: 18404 @ 21.607 21.81 c Sol. found (all assignments made)... 21.81 o 18372 21.81 c NEW SOLUTION FOUND: 18372 @ 21.785 22.04 c Sol. found (all assignments made)... 22.04 o 18368 22.04 c NEW SOLUTION FOUND: 18368 @ 22.007 22.08 c Sol. found (all assignments made)... 22.08 o 18336 22.08 c NEW SOLUTION FOUND: 18336 @ 22.048 22.52 c Sol. found (all assignments made)... 22.52 o 18287 22.52 c NEW SOLUTION FOUND: 18287 @ 22.492 22.54 c Sol. found (all assignments made)... 22.54 o 18271 22.54 c NEW SOLUTION FOUND: 18271 @ 22.511 22.56 c Sol. found (all assignments made)... 22.56 o 18259 22.56 c NEW SOLUTION FOUND: 18259 @ 22.533 22.58 c Sol. found (all assignments made)... 22.58 o 18211 22.58 c NEW SOLUTION FOUND: 18211 @ 22.551 22.60 c Sol. found (all assignments made)... 22.60 o 18161 22.60 c NEW SOLUTION FOUND: 18161 @ 22.571 22.62 c Sol. found (all assignments made)... 22.62 o 18075 22.62 c NEW SOLUTION FOUND: 18075 @ 22.59 22.70 c Sol. found (all assignments made)... 22.70 o 18002 22.70 c NEW SOLUTION FOUND: 18002 @ 22.672 23.74 c Restart #24 #Var: 2066 LB: 76 @ 23.708 24.82 c Restart #25 #Var: 2066 LB: 76 @ 24.786 26.28 c Restart #26 #Var: 2066 LB: 76 @ 26.246 27.21 c Restart #27 #Var: 2066 LB: 76 @ 27.174 30.52 c CHANGE to LPR mode... UB: 18002 MIS: 312 LPR: 1723 (0.0363) Diff: 0.18108 30.52 c Restart #0 #Var: 2066 LB: 76 @ 30.485 49.48 c Restart #1 #Var: 2066 LB: 2124 @ 49.447 93.65 c Restart #2 #Var: 2066 LB: 2125 @ 93.606 165.61 c Restart #3 #Var: 2066 LB: 2125 @ 165.54 257.65 c Restart #4 #Var: 2066 LB: 2125 @ 257.56 378.42 c Restart #5 #Var: 2066 LB: 2126 @ 378.3 526.69 c Restart #6 #Var: 2066 LB: 2126 @ 526.52 703.45 c Restart #7 #Var: 2066 LB: 2126 @ 703.24 906.28 c Restart #8 #Var: 2066 LB: 2165 @ 906.01 1134.79 c Restart #9 #Var: 2066 LB: 2165 @ 1134.4 1419.28 c Restart #10 #Var: 2066 LB: 2165 @ 1418.8 1718.59 c Restart #11 #Var: 2066 LB: 2165 @ 1718.1 1800.64 s SATISFIABLE 1800.64 c Cost: 18002 1800.64 v -x1 -x1687 -x1798 -x1909 -x2020 -x2131 -x2242 -x2353 -x2464 -x2 -x113 -x224 -x1610 -x1621 -x1632 -x1643 -x1654 -x1665 -x1676 1800.64 v -x1688 -x1699 -x1710 -x1721 -x1732 -x1743 -x1754 -x1765 -x1776 -x1787 -x1799 -x1810 -x1821 -x1832 -x1843 -x1854 -x1865 1800.64 v x1876 -x1887 -x1898 -x1910 -x1921 -x1932 -x1943 -x1954 -x1965 -x1976 -x1987 -x1998 -x2009 -x2021 -x2032 -x2043 -x2054 1800.64 v -x2065 -x2076 -x2087 -x2098 -x2109 -x2120 -x2132 -x2143 -x2154 -x2165 -x2176 -x2187 -x2198 -x2209 -x2220 -x2231 -x2243 1800.64 v -x2254 -x2265 -x2276 -x2287 -x2298 -x2309 -x2320 -x2331 -x2342 -x2354 -x2365 -x2376 -x2387 -x2398 -x2409 -x2420 -x2431 1800.64 v -x2442 -x2453 -x2465 -x2476 -x2487 -x2498 -x2509 -x2520 -x2531 -x2542 -x2553 -x2564 -x3 -x14 -x25 -x36 -x47 -x58 -x69 -x80 1800.64 v -x91 -x102 -x114 -x125 -x136 -x147 -x158 x169 -x180 -x191 -x202 -x213 -x225 -x236 -x247 -x258 x269 -x280 -x436 -x737 -x1038 1800.64 v -x1339 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 1800.64 v -x1628 -x1629 -x1630 -x1631 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1644 -x1645 -x1646 1800.64 v -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 1800.64 v -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 1800.64 v -x1684 -x1685 -x1686 -x1689 x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1700 -x1701 -x1702 -x1703 1800.64 v -x1704 -x1705 -x1706 -x1707 -x1708 x1709 -x1711 -x1712 x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1722 -x1723 1800.64 v -x1724 -x1725 -x1726 -x1727 x1728 -x1729 -x1730 -x1731 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 1800.64 v -x1742 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 1800.64 v -x1761 -x1762 -x1763 x1764 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1777 -x1778 -x1779 1800.64 v -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1788 -x1789 -x1790 x1791 -x1792 -x1793 -x1794 -x1795 x1796 x1797 -x1800 1800.64 v -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 1800.64 v -x1819 -x1820 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1833 -x1834 -x1835 -x1836 -x1837 1800.64 v -x1838 -x1839 -x1840 -x1841 x1842 x1844 -x1845 -x1846 x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1855 -x1856 -x1857 1800.64 v -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1866 -x1867 -x1868 x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 1800.64 v -x1877 -x1878 -x1879 x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 1800.64 v x1895 -x1896 -x1897 -x1899 -x1900 -x1901 x1902 -x1903 -x1904 x1905 -x1906 -x1907 -x1908 -x1911 -x1912 -x1913 -x1914 -x1915 1800.64 v -x1916 x1917 x1918 -x1919 -x1920 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1933 -x1934 -x1935 1800.64 v -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 1800.64 v -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 1800.64 v -x1973 -x1974 -x1975 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1988 -x1989 -x1990 -x1991 1800.64 v -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2010 1800.64 v -x2011 -x2012 -x2013 -x2014 -x2015 x2016 -x2017 -x2018 x2019 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 1800.64 v -x2031 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 1800.64 v -x2050 -x2051 -x2052 -x2053 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2066 -x2067 -x2068 1800.64 v -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 1800.64 v -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 1800.64 v -x2106 -x2107 -x2108 -x2110 x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2121 -x2122 -x2123 -x2124 1800.64 v -x2125 -x2126 -x2127 -x2128 x2129 x2130 -x2133 x2134 -x2135 -x2136 x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2144 -x2145 1800.64 v -x2146 -x2147 -x2148 x2149 -x2150 -x2151 -x2152 -x2153 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 1800.64 v -x2164 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 1800.64 v -x2183 -x2184 -x2185 -x2186 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2199 x2200 -x2201 1800.64 v -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 1800.64 v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 1800.64 v -x2239 -x2240 -x2241 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2255 -x2256 -x2257 -x2258 1800.64 v -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 x2277 1800.64 v -x2278 -x2279 x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 1800.64 v -x2296 -x2297 -x2299 -x2300 -x2301 x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2310 -x2311 -x2312 x2313 -x2314 -x2315 1800.64 v -x2316 -x2317 -x2318 -x2319 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 x2328 -x2329 -x2330 x2332 -x2333 -x2334 -x2335 1800.64 v -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2355 1800.64 v -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 1800.64 v x2374 -x2375 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2388 -x2389 -x2390 -x2391 -x2392 1800.64 v -x2393 -x2394 -x2395 -x2396 -x2397 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2410 -x2411 1800.64 v -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2421 -x2422 x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 1800.64 v -x2430 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 x2439 -x2440 -x2441 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 1800.64 v -x2449 -x2450 -x2451 -x2452 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2466 -x2467 -x2468 1800.64 v -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 1800.64 v -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 1800.64 v -x2506 -x2507 -x2508 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2521 -x2522 -x2523 -x2524 1800.64 v -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2543 1800.64 v -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 1800.64 v -x2562 -x2563 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 1800.64 v -x13 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x37 -x38 -x39 -x40 -x41 1800.64 v -x42 -x43 -x44 -x45 -x46 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x70 1800.64 v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x92 -x93 -x94 -x95 -x96 -x97 -x98 1800.64 v -x99 -x100 -x101 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 1800.64 v -x123 -x124 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 1800.64 v -x146 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.64 v -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x192 1800.64 v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x214 -x215 1800.64 v -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x237 -x238 x239 1800.64 v -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x259 -x260 -x261 -x262 1800.64 v -x263 -x264 -x265 -x266 x267 -x268 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x281 -x282 -x283 -x284 -x285 1800.64 v -x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 1800.64 v -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 x557 x558 x559 -x560 -x561 x562 x563 x564 x565 x566 x567 x568 x569 -x570 1800.64 v -x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 1800.64 v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 1800.64 v -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 x630 x631 -x632 -x633 1800.64 v -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 1800.64 v -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 1800.64 v -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 1800.64 v -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 x707 x708 x709 x710 -x711 x712 x713 x714 x715 x716 x717 -x718 -x719 1800.64 v -x720 -x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x738 x739 -x740 x741 1800.64 v -x742 -x743 -x744 -x745 -x746 -x747 x748 x749 -x750 -x751 -x752 x753 -x754 x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 1800.64 v -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 1800.64 v -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 -x799 x800 -x801 x802 x803 -x804 1800.64 v x805 x806 x807 x808 x809 -x810 x811 x812 x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 1800.64 v -x827 x828 -x829 x830 -x831 -x832 x833 -x834 -x835 x836 x837 -x838 -x839 x840 x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 1800.64 v -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x316 -x317 x318 x319 x320 x321 x322 x323 x324 x325 x326 x327 -x328 x329 1800.64 v x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x858 -x859 -x860 -x861 -x862 1800.64 v x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 1800.64 v -x884 -x885 -x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 1800.64 v -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 x919 -x920 -x921 -x922 -x923 -x924 -x925 1800.64 v -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 1800.64 v -x947 x948 -x949 x950 -x951 -x952 -x953 x954 -x955 -x956 -x957 -x958 -x959 x960 x961 -x962 -x963 x964 -x965 -x966 -x967 -x968 1800.64 v -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 x984 x985 -x986 x987 -x988 -x989 1800.64 v -x990 x991 x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 1800.64 v x1009 x1010 -x1011 -x1012 -x1013 -x1014 x1015 x1016 -x1017 x1018 x1019 -x1020 -x1021 x1022 x1023 x1024 -x1025 -x1026 -x1027 1800.64 v -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 x1039 x1040 x1041 x1042 -x1043 x1044 -x1045 x1046 1800.64 v x1047 -x1048 x1049 x1050 x1051 x1052 x1053 x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 1800.64 v -x1065 -x1066 -x1067 -x1068 -x1069 x1070 x1071 -x1072 -x1073 x1074 -x1075 -x1076 x1077 -x1078 x1079 x1080 -x1081 x1082 1800.64 v -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 1800.64 v -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 1800.64 v -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 1800.64 v -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 1800.64 v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x346 -x347 -x348 -x349 x350 -x351 -x352 x353 -x354 -x355 -x356 1800.64 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x1159 1800.64 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 1800.64 v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 x1190 x1191 -x1192 -x1193 -x1194 1800.64 v -x1195 x1196 x1197 x1198 -x1199 x1200 x1201 -x1202 x1203 x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 1800.64 v -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 x1219 x1220 x1221 -x1222 x1223 x1224 -x1225 x1226 -x1227 x1228 -x1229 -x1230 1800.64 v -x1231 -x1232 x1233 -x1234 x1235 x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 1800.64 v x1249 x1250 x1251 x1252 x1253 x1254 -x1255 x1256 x1257 -x1258 x1259 x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 1800.64 v -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 x1279 x1280 x1281 x1282 x1283 -x1284 x1285 1800.64 v x1286 x1287 -x1288 -x1289 -x1290 x1291 x1292 x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 1800.64 v -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 x1311 x1312 x1313 -x1314 x1315 x1316 x1317 -x1318 -x1319 -x1320 x1321 1800.64 v x1322 x1323 -x1324 x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 x1340 1800.64 v x1341 x1342 -x1343 x1344 x1345 x1346 x1347 x1348 -x1349 x1350 -x1351 -x1352 x1353 x1354 -x1355 x1356 -x1357 -x1358 -x1359 1800.64 v -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 x1372 x1373 -x1374 -x1375 x1376 -x1377 1800.64 v -x1378 x1379 -x1380 -x1381 x1382 -x1383 x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 1800.64 v -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 x1404 -x1405 -x1406 -x1407 x1408 -x1409 -x1410 -x1411 x1412 -x1413 1800.64 v x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 1800.64 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 x1445 -x1446 -x1447 1800.64 v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x376 -x377 -x378 -x379 -x380 -x381 1800.64 v x382 x383 -x384 x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 1800.64 v -x403 -x404 -x405 -x1460 -x1461 -x1462 -x1463 x1464 x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 x1472 -x1473 -x1474 1800.64 v -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 x1491 1800.64 v -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 1800.64 v -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 x1523 -x1524 -x1525 1800.64 v -x1526 -x1527 -x1528 -x1529 x1530 x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 1800.64 v -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 1800.64 v -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 1800.64 v -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 x1587 -x1588 x1589 x1590 x1591 -x1592 -x1593 -x1594 -x1595 1800.64 v -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x406 -x407 -x408 -x409 1800.64 v -x410 x411 -x412 -x413 x414 -x415 -x416 x417 -x418 x419 -x420 -x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 1800.64 v -x432 -x433 -x434 -x435 x437 x438 -x439 x440 x441 x442 x443 x444 x445 x446 x447 x448 -x449 x450 x451 -x452 -x453 -x454 -x455 1800.64 v -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 x470 -x471 x472 x473 x474 x475 x476 x477 1800.64 v x478 x479 x480 -x481 x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 x497 -x498 -x499 1800.64 v x500 -x501 -x502 -x503 x504 -x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 1800.64 v -x521 -x522 -x523 -x524 -x525 -x526 x527 x528 -x529 x530 x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 x539 x540 -x541 -x542 1800.64 v -x543 x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 1800.64 c Exit Code: 10 1800.64 c Total time: 1800.1 s
OK 18002
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/node42/watcher-40039-1149360148 -o ROOT/results/node42/solver-40039-1149360148 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node42/40039-1149360148/instance-40039-1149360148.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.97 0.95 2/64 19916 /proc/meminfo: memFree=1609736/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=4660 CPUtime=0 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 82 0 0 0 0 0 0 0 18 0 1 0 201681886 4771840 64 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12390340 0 0 4096 0 0 0 0 17 1 0 0 /proc/19916/statm: 1166 78 61 55 0 46 0 [startup+10.0019 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19916 /proc/meminfo: memFree=1550344/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=63696 CPUtime=9.98 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 15325 0 0 0 973 25 0 0 25 0 1 0 201681886 65224704 15111 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134606453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 15924 15111 301 55 0 14816 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 63696 [startup+20.008 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19916 /proc/meminfo: memFree=1550216/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=63828 CPUtime=19.97 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 15355 0 0 0 1970 27 0 0 25 0 1 0 201681886 65359872 15141 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 15957 15141 301 55 0 14849 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 63828 [startup+30.0141 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19916 /proc/meminfo: memFree=1493832/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=120208 CPUtime=29.97 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 29430 0 0 0 2955 42 0 0 25 0 1 0 201681886 123092992 29216 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 30052 29216 301 55 0 28944 0 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 120208 [startup+40.0202 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19916 /proc/meminfo: memFree=1487176/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=127004 CPUtime=39.98 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 49143 0 0 0 3947 51 0 0 25 0 1 0 201681886 130052096 30951 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 31751 30951 432 55 0 30643 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 127004 [startup+50.0264 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19916 /proc/meminfo: memFree=1484808/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=129360 CPUtime=49.98 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 70993 0 0 0 4937 61 0 0 25 0 1 0 201681886 132464640 31540 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535951 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 32340 31540 432 55 0 31232 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 129360 [startup+60.0325 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19916 /proc/meminfo: memFree=1484872/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=129360 CPUtime=59.98 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 76423 0 0 0 5934 64 0 0 25 0 1 0 201681886 132464640 31541 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158589883 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 32340 31541 433 55 0 31232 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 129360 [startup+70.0386 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19916 /proc/meminfo: memFree=1484872/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=129360 CPUtime=69.99 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 81805 0 0 0 6932 67 0 0 25 0 1 0 201681886 132464640 31541 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535978 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 32340 31541 433 55 0 31232 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 129360 [startup+80.0447 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19916 /proc/meminfo: memFree=1484744/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=129360 CPUtime=79.99 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 88845 0 0 0 7929 70 0 0 25 0 1 0 201681886 132464640 31541 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 32340 31541 433 55 0 31232 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 129360 [startup+90.0509 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19916 /proc/meminfo: memFree=1484872/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=129360 CPUtime=90 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 98319 0 0 0 8926 74 0 0 25 0 1 0 201681886 132464640 31541 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684546 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 32340 31541 433 55 0 31232 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 129360 [startup+100.057 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19916 /proc/meminfo: memFree=1484680/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=130080 CPUtime=100 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 110895 0 0 0 9921 79 0 0 25 0 1 0 201681886 133201920 31636 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159171801 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 32520 31636 434 55 0 31412 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 130080 [startup+110.063 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19916 /proc/meminfo: memFree=1484808/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=129360 CPUtime=110 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 125095 0 0 0 10917 83 0 0 25 0 1 0 201681886 132464640 31542 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 32340 31542 434 55 0 31232 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 129360 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19916 /proc/meminfo: memFree=1484872/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=129360 CPUtime=120 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 146505 0 0 0 11910 90 0 0 25 0 1 0 201681886 132464640 31542 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 32340 31542 434 55 0 31232 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 129360 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19916 /proc/meminfo: memFree=1484168/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=130648 CPUtime=130.01 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 172832 0 0 0 12899 102 0 0 25 0 1 0 201681886 133783552 31770 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159332403 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 32662 31770 442 55 0 31554 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 130648 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19916 /proc/meminfo: memFree=1484296/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=130500 CPUtime=140.02 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 194086 0 0 0 13891 111 0 0 25 0 1 0 201681886 133632000 31747 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159474016 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 32625 31747 442 55 0 31517 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 130500 [startup+150.088 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19916 /proc/meminfo: memFree=1484744/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=130148 CPUtime=150.02 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 216115 0 0 0 14882 120 0 0 25 0 1 0 201681886 133271552 31643 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159216934 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 32537 31643 442 55 0 31429 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 130148 [startup+160.094 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19916 /proc/meminfo: memFree=1484872/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=129360 CPUtime=160.02 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 241442 0 0 0 15872 130 0 0 25 0 1 0 201681886 132464640 31550 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 32340 31550 442 55 0 31232 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 129360 [startup+170.101 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19916 /proc/meminfo: memFree=1484680/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=129472 CPUtime=170.02 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 266723 0 0 0 16862 140 0 0 25 0 1 0 201681886 132579328 31550 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 32340 31550 442 55 0 31232 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 129472 [startup+180.107 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19916 /proc/meminfo: memFree=1484872/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=129360 CPUtime=180.03 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 292267 0 0 0 17853 150 0 0 25 0 1 0 201681886 132464640 31550 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12874716 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 32340 31550 442 55 0 31232 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 129360 [startup+190.113 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19916 /proc/meminfo: memFree=1484872/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=129360 CPUtime=190.03 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 317802 0 0 0 18843 160 0 0 25 0 1 0 201681886 132464640 31550 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535978 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 32340 31550 442 55 0 31232 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 129360 [startup+200.119 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19916 /proc/meminfo: memFree=1484744/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=129464 CPUtime=200.04 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 342836 0 0 0 19835 169 0 0 25 0 1 0 201681886 132571136 31576 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134683236 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 32366 31576 442 55 0 31258 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 129464 [startup+210.125 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19916 /proc/meminfo: memFree=1484808/2055920 swapFree=4181444/4192956 ################ # More data... # ################ /proc/19916/statm: 32575 31790 447 55 0 31467 0 Current children cumulated CPU time (s) 1760.57 Current children cumulated vsize (Kb) 130300 [startup+1771.13 s] /proc/loadavg: 0.99 0.97 0.95 2/64 20112 /proc/meminfo: memFree=1483208/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=130300 CPUtime=1770.57 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 2388144 0 0 0 175978 1079 0 0 25 0 1 0 201681886 133427200 31790 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12846029 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 32575 31790 447 55 0 31467 0 Current children cumulated CPU time (s) 1770.57 Current children cumulated vsize (Kb) 130300 [startup+1781.14 s] /proc/loadavg: 0.99 0.97 0.95 2/64 20112 /proc/meminfo: memFree=1483144/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=131108 CPUtime=1780.58 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 2402455 0 0 0 176973 1085 0 0 25 0 1 0 201681886 134254592 31909 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12873341 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 32777 31909 447 55 0 31669 0 Current children cumulated CPU time (s) 1780.58 Current children cumulated vsize (Kb) 131108 [startup+1782.15 s] /proc/loadavg: 0.99 0.97 0.95 2/64 20112 /proc/meminfo: memFree=1483208/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=130300 CPUtime=1781.58 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 2403879 0 0 0 177073 1085 0 0 25 0 1 0 201681886 133427200 31790 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 32575 31790 447 55 0 31467 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (Kb) 130300 [startup+1783.15 s] /proc/loadavg: 0.99 0.97 0.95 2/64 20112 /proc/meminfo: memFree=1483208/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=130300 CPUtime=1782.59 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 2405405 0 0 0 177173 1086 0 0 25 0 1 0 201681886 133427200 31790 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 32575 31790 447 55 0 31467 0 Current children cumulated CPU time (s) 1782.59 Current children cumulated vsize (Kb) 130300 [startup+1784.16 s] /proc/loadavg: 0.99 0.97 0.95 2/64 20112 /proc/meminfo: memFree=1483208/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=130300 CPUtime=1783.6 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 2406910 0 0 0 177273 1087 0 0 25 0 1 0 201681886 133427200 31790 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 32575 31790 447 55 0 31467 0 Current children cumulated CPU time (s) 1783.6 Current children cumulated vsize (Kb) 130300 [startup+1785.16 s] /proc/loadavg: 0.99 0.97 0.95 2/64 20112 /proc/meminfo: memFree=1483208/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=130300 CPUtime=1784.59 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 2408401 0 0 0 177372 1087 0 0 25 0 1 0 201681886 133427200 31790 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536000 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 32575 31790 447 55 0 31467 0 Current children cumulated CPU time (s) 1784.59 Current children cumulated vsize (Kb) 130300 [startup+1786.17 s] /proc/loadavg: 0.99 0.97 0.95 2/64 20112 /proc/meminfo: memFree=1483208/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=130784 CPUtime=1785.6 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 2409781 0 0 0 177473 1087 0 0 25 0 1 0 201681886 133922816 31853 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159249548 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 32696 31853 447 55 0 31588 0 Current children cumulated CPU time (s) 1785.6 Current children cumulated vsize (Kb) 130784 [startup+1787.17 s] /proc/loadavg: 0.99 0.97 0.95 2/64 20112 /proc/meminfo: memFree=1483208/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=130300 CPUtime=1786.61 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 2411221 0 0 0 177573 1088 0 0 25 0 1 0 201681886 133427200 31790 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536000 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 32575 31790 447 55 0 31467 0 Current children cumulated CPU time (s) 1786.61 Current children cumulated vsize (Kb) 130300 [startup+1788.18 s] /proc/loadavg: 0.99 0.97 0.95 2/64 20112 /proc/meminfo: memFree=1483144/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=131108 CPUtime=1787.61 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 2412652 0 0 0 177672 1089 0 0 25 0 1 0 201681886 134254592 31902 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160350103 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 32777 31902 447 55 0 31669 0 Current children cumulated CPU time (s) 1787.61 Current children cumulated vsize (Kb) 131108 [startup+1789.18 s] /proc/loadavg: 0.99 0.97 0.95 2/64 20112 /proc/meminfo: memFree=1483208/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=130300 CPUtime=1788.62 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 2414076 0 0 0 177772 1090 0 0 25 0 1 0 201681886 133427200 31790 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536030 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 32575 31790 447 55 0 31467 0 Current children cumulated CPU time (s) 1788.62 Current children cumulated vsize (Kb) 130300 [startup+1790.19 s] /proc/loadavg: 0.99 0.97 0.95 2/64 20112 /proc/meminfo: memFree=1483208/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=130300 CPUtime=1789.62 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 2415556 0 0 0 177871 1091 0 0 25 0 1 0 201681886 133427200 31790 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535991 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 32575 31790 447 55 0 31467 0 Current children cumulated CPU time (s) 1789.62 Current children cumulated vsize (Kb) 130300 [startup+1791.19 s] /proc/loadavg: 0.99 0.97 0.95 2/64 20112 /proc/meminfo: memFree=1483016/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=131092 CPUtime=1790.63 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 2416959 0 0 0 177972 1091 0 0 25 0 1 0 201681886 134238208 31910 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159243167 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 32773 31910 447 55 0 31665 0 Current children cumulated CPU time (s) 1790.63 Current children cumulated vsize (Kb) 131092 [startup+1792.2 s] /proc/loadavg: 0.99 0.97 0.95 2/64 20112 /proc/meminfo: memFree=1483272/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=130300 CPUtime=1791.63 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 2418312 0 0 0 178071 1092 0 0 25 0 1 0 201681886 133427200 31790 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684352 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 32575 31790 447 55 0 31467 0 Current children cumulated CPU time (s) 1791.63 Current children cumulated vsize (Kb) 130300 [startup+1793.2 s] /proc/loadavg: 0.99 0.97 0.95 2/64 20112 /proc/meminfo: memFree=1483272/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=130300 CPUtime=1792.64 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 2419818 0 0 0 178171 1093 0 0 25 0 1 0 201681886 133427200 31790 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 32575 31790 447 55 0 31467 0 Current children cumulated CPU time (s) 1792.64 Current children cumulated vsize (Kb) 130300 [startup+1794.21 s] /proc/loadavg: 0.99 0.97 0.95 2/64 20112 /proc/meminfo: memFree=1483208/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=130552 CPUtime=1793.63 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 2421227 0 0 0 178270 1093 0 0 25 0 1 0 201681886 133685248 31853 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 32638 31853 447 55 0 31530 0 Current children cumulated CPU time (s) 1793.63 Current children cumulated vsize (Kb) 130552 [startup+1795.21 s] /proc/loadavg: 0.99 0.97 0.95 2/64 20112 /proc/meminfo: memFree=1483272/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=130300 CPUtime=1794.65 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 2422666 0 0 0 178370 1095 0 0 25 0 1 0 201681886 133427200 31790 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 32575 31790 447 55 0 31467 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (Kb) 130300 [startup+1796.22 s] /proc/loadavg: 0.99 0.97 0.95 2/64 20112 /proc/meminfo: memFree=1482952/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=130640 CPUtime=1795.65 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 2424119 0 0 0 178470 1095 0 0 25 0 1 0 201681886 133775360 31828 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160277200 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 32660 31828 447 55 0 31552 0 Current children cumulated CPU time (s) 1795.65 Current children cumulated vsize (Kb) 130640 [startup+1797.22 s] /proc/loadavg: 0.99 0.97 0.95 2/64 20112 /proc/meminfo: memFree=1483208/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=130548 CPUtime=1796.65 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 2425541 0 0 0 178569 1096 0 0 25 0 1 0 201681886 133681152 31851 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 32637 31851 447 55 0 31529 0 Current children cumulated CPU time (s) 1796.65 Current children cumulated vsize (Kb) 130548 [startup+1798.23 s] /proc/loadavg: 0.99 0.97 0.95 2/64 20112 /proc/meminfo: memFree=1483272/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=130300 CPUtime=1797.66 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 2427021 0 0 0 178669 1097 0 0 25 0 1 0 201681886 133427200 31790 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 32575 31790 447 55 0 31467 0 Current children cumulated CPU time (s) 1797.66 Current children cumulated vsize (Kb) 130300 [startup+1799.23 s] /proc/loadavg: 0.99 0.97 0.95 2/64 20112 /proc/meminfo: memFree=1482952/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=131108 CPUtime=1798.67 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 2428503 0 0 0 178769 1098 0 0 25 0 1 0 201681886 134254592 31916 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12873341 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 32777 31916 447 55 0 31669 0 Current children cumulated CPU time (s) 1798.67 Current children cumulated vsize (Kb) 131108 [startup+1800.24 s] /proc/loadavg: 0.99 0.97 0.95 2/64 20112 /proc/meminfo: memFree=1483208/2055920 swapFree=4181444/4192956 [pid=19916] ppid=19914 vsize=130556 CPUtime=1799.66 /proc/19916/stat : 19916 (bsolo) R 19914 19916 19870 0 -1 0 2429975 0 0 0 178868 1098 0 0 25 0 1 0 201681886 133689344 31854 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159300684 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19916/statm: 32639 31854 447 55 0 31531 0 Current children cumulated CPU time (s) 1799.66 Current children cumulated vsize (Kb) 130556 Child status: 10 Real time (s): 1800.67 CPU time (s): 1800.1 CPU user time (s): 1789.09 CPU system time (s): 11.0113 CPU usage (%): 99.9686 Max. virtual memory (cumulated for all children) (Kb): 131500
Begin job on node42 on Sat Jun 3 18:42:28 UTC 2006 FILE ID= 40039-1149360148 PBS_JOBID= 311461 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-fiber.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node42/40039-1149360148/instance-40039-1149360148.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-40039-1149360148 -o ROOT/results/node42/solver-40039-1149360148 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node42/40039-1149360148/instance-40039-1149360148.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 32662df0ae948242aace0258625ea4cc RANDOM SEED= 578047348 /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.216 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.216 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: 1609944 kB Buffers: 13416 kB Cached: 365328 kB SwapCached: 3212 kB Active: 44688 kB Inactive: 342768 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1609944 kB SwapTotal: 4192956 kB SwapFree: 4181444 kB Dirty: 152 kB Writeback: 0 kB Mapped: 14932 kB Slab: 44528 kB Committed_AS: 349712 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 node42 on Sat Jun 3 19:12:29 UTC 2006