Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 7265285 | 1800.02 | 1800.63 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x12.opb |
MD5SUM | 9d08937c2a2ec73e4fca19adadace920 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3449843 |
Best CPU time to get the best result obtained on this benchmark | 1800.52 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3208192 |
Optimality of the best value was proved | NO |
Number of variables | 3720 |
Total number of constraints | 142 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 142 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 360 |
Number of terms in the objective function | 3720 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 679702048135 |
Number of bits of the sum of numbers in the objective function | 40 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 679702048135 |
Number of bits of the biggest sum of numbers | 40 |
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.01 c BIG Int formula... 0.10 c Initial problem consists of 3720 variables and 164 constraints. 0.10 c No problem reductions applied in OPT. instance. 0.10 c preprocess terminated. Elapsed time: 0.094 0.10 c After prepocess the problem consists of 1686 variables and 164 constraints. 0.10 c Initial Lower Bound: 0 0.15 c Restart #1 #Var: 1686 LB: 0 @ 0.143 0.24 c Restart #2 #Var: 1686 LB: 0 @ 0.236 0.38 c Restart #3 #Var: 1686 LB: 0 @ 0.367 0.55 c Restart #4 #Var: 1686 LB: 0 @ 0.545 0.78 c Restart #5 #Var: 1686 LB: 0 @ 0.769 1.04 c Restart #6 #Var: 1686 LB: 0 @ 1.032 1.35 c Restart #7 #Var: 1686 LB: 0 @ 1.34 1.71 c Restart #8 #Var: 1686 LB: 0 @ 1.693 2.13 c Restart #9 #Var: 1686 LB: 0 @ 2.117 2.56 c Restart #10 #Var: 1686 LB: 0 @ 2.55 3.13 c Restart #11 #Var: 1686 LB: 0 @ 3.116 3.59 c Restart #12 #Var: 1686 LB: 0 @ 3.58 4.07 c Restart #13 #Var: 1686 LB: 0 @ 4.056 4.74 c Restart #14 #Var: 1686 LB: 0 @ 4.722 5.47 c Restart #15 #Var: 1686 LB: 0 @ 5.458 6.49 c Restart #16 #Var: 1686 LB: 0 @ 6.475 7.34 c Restart #17 #Var: 1686 LB: 0 @ 7.325 8.08 c Restart #18 #Var: 1686 LB: 0 @ 8.061 8.91 c Restart #19 #Var: 1686 LB: 0 @ 8.896 9.03 c Sol. found (all assignments made)... 9.03 o 16271816 9.03 c NEW SOLUTION FOUND: 16271816 @ 9.018 9.04 c Sol. found (all assignments made)... 9.09 c Sol. found (all assignments made)... 9.09 c Sol. found (all assignments made)... 9.10 c Sol. found (all assignments made)... 9.10 c Sol. found (all assignments made)... 9.13 c Sol. found (all assignments made)... 9.13 c Sol. found (all assignments made)... 9.24 c Sol. found (all assignments made)... 9.24 c Sol. found (all assignments made)... 9.25 c Sol. found (all assignments made)... 9.25 c Sol. found (all assignments made)... 9.28 c Sol. found (all assignments made)... 9.28 o 16271813 9.28 c NEW SOLUTION FOUND: 16271813 @ 9.264 9.28 c Sol. found (all assignments made)... 9.29 c Sol. found (all assignments made)... 9.30 c Sol. found (all assignments made)... 9.30 c Sol. found (all assignments made)... 9.31 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.45 c Sol. found (all assignments made)... 9.45 c Sol. found (all assignments made)... 9.54 c Sol. found (all assignments made)... 9.54 c Sol. found (all assignments made)... 9.55 c Sol. found (all assignments made)... 9.55 c Sol. found (all assignments made)... 9.59 c Sol. found (all assignments made)... 9.59 o 16271810 9.59 c NEW SOLUTION FOUND: 16271810 @ 9.57 9.59 c Sol. found (all assignments made)... 9.60 c Sol. found (all assignments made)... 9.60 o 16271804 9.60 c NEW SOLUTION FOUND: 16271804 @ 9.58 9.60 c Sol. found (all assignments made)... 9.61 c Sol. found (all assignments made)... 9.62 c Sol. found (all assignments made)... 9.63 c Sol. found (all assignments made)... 9.73 c Sol. found (all assignments made)... 9.73 c Sol. found (all assignments made)... 9.78 c Sol. found (all assignments made)... 9.79 c Sol. found (all assignments made)... 9.80 c Sol. found (all assignments made)... 9.81 c Sol. found (all assignments made)... 9.84 c Sol. found (all assignments made)... 9.85 c Sol. found (all assignments made)... 9.89 c Sol. found (all assignments made)... 9.89 c Sol. found (all assignments made)... 10.00 c Sol. found (all assignments made)... 10.01 c Sol. found (all assignments made)... 10.11 c Sol. found (all assignments made)... 10.12 c Sol. found (all assignments made)... 10.15 c Sol. found (all assignments made)... 10.15 o 16271150 10.15 c NEW SOLUTION FOUND: 16271150 @ 10.133 10.15 c Sol. found (all assignments made)... 10.16 c Sol. found (all assignments made)... 10.16 c Sol. found (all assignments made)... 10.19 c Sol. found (all assignments made)... 10.19 o 16271144 10.19 c NEW SOLUTION FOUND: 16271144 @ 10.174 10.20 c Sol. found (all assignments made)... 10.20 c Sol. found (all assignments made)... 10.20 c Sol. found (all assignments made)... 10.25 c Sol. found (all assignments made)... 10.25 o 16271141 10.25 c NEW SOLUTION FOUND: 16271141 @ 10.239 10.26 c Sol. found (all assignments made)... 10.27 c Sol. found (all assignments made)... 10.27 c Sol. found (all assignments made)... 10.29 c Sol. found (all assignments made)... 10.29 c Sol. found (all assignments made)... 10.30 c Sol. found (all assignments made)... 10.30 c Sol. found (all assignments made)... 10.35 c Sol. found (all assignments made)... 10.35 o 16271138 10.35 c NEW SOLUTION FOUND: 16271138 @ 10.333 10.35 c Sol. found (all assignments made)... 10.36 c Sol. found (all assignments made)... 10.36 c Sol. found (all assignments made)... 10.38 c Sol. found (all assignments made)... 10.38 o 16271132 10.38 c NEW SOLUTION FOUND: 16271132 @ 10.359 10.38 c Sol. found (all assignments made)... 10.39 c Sol. found (all assignments made)... 10.39 c Sol. found (all assignments made)... 10.42 c Sol. found (all assignments made)... 10.42 c Sol. found (all assignments made)... 10.43 c Sol. found (all assignments made)... 10.43 c Sol. found (all assignments made)... 10.56 c Sol. found (all assignments made)... 10.57 c Sol. found (all assignments made)... 10.57 c Sol. found (all assignments made)... 10.58 c Sol. found (all assignments made)... 10.71 c Sol. found (all assignments made)... 10.71 c Sol. found (all assignments made)... 10.72 c Sol. found (all assignments made)... 10.72 c Sol. found (all assignments made)... 10.74 c Sol. found (all assignments made)... 10.75 c Sol. found (all assignments made)... 10.75 c Sol. found (all assignments made)... 10.76 c Sol. found (all assignments made)... 10.82 c Sol. found (all assignments made)... 10.83 c Sol. found (all assignments made)... 10.83 c Sol. found (all assignments made)... 10.84 c Sol. found (all assignments made)... 10.92 c Sol. found (all assignments made)... 10.92 c Sol. found (all assignments made)... 10.92 c Sol. found (all assignments made)... 10.93 c Sol. found (all assignments made)... 11.01 c Sol. found (all assignments made)... 11.01 c Sol. found (all assignments made)... 11.02 c Sol. found (all assignments made)... 11.02 c Sol. found (all assignments made)... 11.12 c Sol. found (all assignments made)... 11.13 c Sol. found (all assignments made)... 11.14 c Sol. found (all assignments made)... 11.14 c Sol. found (all assignments made)... 11.33 c Sol. found (all assignments made)... 11.34 c Sol. found (all assignments made)... 11.34 c Sol. found (all assignments made)... 11.34 c Sol. found (all assignments made)... 11.57 c Sol. found (all assignments made)... 11.58 c Sol. found (all assignments made)... 11.58 c Sol. found (all assignments made)... 11.59 c Sol. found (all assignments made)... 11.62 c Sol. found (all assignments made)... 11.63 c Sol. found (all assignments made)... 11.63 c Sol. found (all assignments made)... 11.64 c Sol. found (all assignments made)... 11.69 c Sol. found (all assignments made)... 11.70 c Sol. found (all assignments made)... 11.70 c Sol. found (all assignments made)... 11.71 c Sol. found (all assignments made)... 11.76 c Sol. found (all assignments made)... 11.76 c Sol. found (all assignments made)... 11.77 c Sol. found (all assignments made)... 11.77 c Sol. found (all assignments made)... 11.85 c Sol. found (all assignments made)... 11.85 c Sol. found (all assignments made)... 11.86 c Sol. found (all assignments made)... 11.86 c Sol. found (all assignments made)... 11.88 c Sol. found (all assignments made)... 11.89 c Sol. found (all assignments made)... 11.89 c Sol. found (all assignments made)... 11.90 c Sol. found (all assignments made)... 11.98 c Sol. found (all assignments made)... 11.99 c Sol. found (all assignments made)... 11.99 c Sol. found (all assignments made)... 12.00 c Sol. found (all assignments made)... 12.37 c Sol. found (all assignments made)... 12.38 c Sol. found (all assignments made)... 12.39 c Sol. found (all assignments made)... 12.39 c Sol. found (all assignments made)... 12.51 c Sol. found (all assignments made)... 12.52 c Sol. found (all assignments made)... 12.52 c Sol. found (all assignments made)... 12.53 c Sol. found (all assignments made)... 12.62 c Sol. found (all assignments made)... 12.63 c Sol. found (all assignments made)... 12.63 c Sol. found (all assignments made)... 12.63 c Sol. found (all assignments made)... 12.70 c Sol. found (all assignments made)... 12.71 c Sol. found (all assignments made)... 12.71 c Sol. found (all assignments made)... 12.72 c Sol. found (all assignments made)... 12.75 c Sol. found (all assignments made)... 12.76 c Sol. found (all assignments made)... 12.76 c Sol. found (all assignments made)... 12.77 c Sol. found (all assignments made)... 12.81 c Sol. found (all assignments made)... 12.82 c Sol. found (all assignments made)... 12.82 c Sol. found (all assignments made)... 12.82 c Sol. found (all assignments made)... 13.08 c Sol. found (all assignments made)... 13.09 c Sol. found (all assignments made)... 13.09 c Sol. found (all assignments made)... 13.09 c Sol. found (all assignments made)... 13.15 c Sol. found (all assignments made)... 13.16 c Sol. found (all assignments made)... 13.16 c Sol. found (all assignments made)... 13.17 c Sol. found (all assignments made)... 13.48 c Sol. found (all assignments made)... 13.49 c Sol. found (all assignments made)... 13.49 c Sol. found (all assignments made)... 13.49 c Sol. found (all assignments made)... 13.90 c Restart #20 #Var: 1686 LB: 0 @ 13.88 15.44 c Sol. found (all assignments made)... 15.44 o 10529231 15.44 c NEW SOLUTION FOUND: 10529231 @ 15.426 15.44 c Sol. found (all assignments made)... 15.44 o 10529217 15.44 c NEW SOLUTION FOUND: 10529217 @ 15.427 15.45 c Sol. found (all assignments made)... 15.45 c Sol. found (all assignments made)... 15.45 o 10529210 15.45 c NEW SOLUTION FOUND: 10529210 @ 15.432 15.48 c Sol. found (all assignments made)... 15.48 o 10529119 15.48 c NEW SOLUTION FOUND: 10529119 @ 15.459 15.48 c Sol. found (all assignments made)... 15.48 o 10529098 15.48 c NEW SOLUTION FOUND: 10529098 @ 15.46 15.48 c Sol. found (all assignments made)... 15.48 c Sol. found (all assignments made)... 15.50 c Sol. found (all assignments made)... 15.50 o 10529063 15.50 c NEW SOLUTION FOUND: 10529063 @ 15.481 15.50 c Sol. found (all assignments made)... 15.50 o 10529049 15.50 c NEW SOLUTION FOUND: 10529049 @ 15.482 15.50 c Sol. found (all assignments made)... 15.50 o 10529042 15.50 c NEW SOLUTION FOUND: 10529042 @ 15.484 15.50 c Sol. found (all assignments made)... 15.53 c Sol. found (all assignments made)... 15.53 o 10529035 15.53 c NEW SOLUTION FOUND: 10529035 @ 15.517 15.54 c Sol. found (all assignments made)... 15.54 o 10529021 15.54 c NEW SOLUTION FOUND: 10529021 @ 15.522 15.54 c Sol. found (all assignments made)... 15.55 c Sol. found (all assignments made)... 15.55 o 10529014 15.55 c NEW SOLUTION FOUND: 10529014 @ 15.528 15.56 c Sol. found (all assignments made)... 15.57 c Sol. found (all assignments made)... 15.58 c Sol. found (all assignments made)... 15.59 c Sol. found (all assignments made)... 15.62 c Sol. found (all assignments made)... 15.62 o 10398959 15.62 c NEW SOLUTION FOUND: 10398959 @ 15.606 15.66 c Sol. found (all assignments made)... 15.66 o 10273602 15.66 c NEW SOLUTION FOUND: 10273602 @ 15.645 15.72 c Sol. found (all assignments made)... 15.72 o 10273593 15.72 c NEW SOLUTION FOUND: 10273593 @ 15.703 15.94 c Sol. found (all assignments made)... 15.94 o 10273305 15.94 c NEW SOLUTION FOUND: 10273305 @ 15.922 15.94 c Sol. found (all assignments made)... 15.97 c Sol. found (all assignments made)... 15.97 c Sol. found (all assignments made)... 15.99 c Sol. found (all assignments made)... 15.99 c Sol. found (all assignments made)... 16.60 c Sol. found (all assignments made)... 16.60 o 10273233 16.60 c NEW SOLUTION FOUND: 10273233 @ 16.58 16.60 c Sol. found (all assignments made)... 16.62 c Sol. found (all assignments made)... 17.40 c Sol. found (all assignments made)... 17.40 o 10273197 17.40 c NEW SOLUTION FOUND: 10273197 @ 17.383 17.40 c Sol. found (all assignments made)... 17.43 c Sol. found (all assignments made)... 18.10 c Sol. found (all assignments made)... 18.27 c Sol. found (all assignments made)... 18.27 c Sol. found (all assignments made)... 18.35 c Sol. found (all assignments made)... 18.35 c Sol. found (all assignments made)... 18.76 c Sol. found (all assignments made)... 18.92 c Sol. found (all assignments made)... 18.92 o 10273179 18.92 c NEW SOLUTION FOUND: 10273179 @ 18.898 18.92 c Sol. found (all assignments made)... 18.92 c Sol. found (all assignments made)... 18.92 c Sol. found (all assignments made)... 18.99 c Sol. found (all assignments made)... 19.01 c Sol. found (all assignments made)... 19.19 c Sol. found (all assignments made)... 19.41 c Sol. found (all assignments made)... 19.41 o 10019486 19.41 c NEW SOLUTION FOUND: 10019486 @ 19.395 19.44 c Sol. found (all assignments made)... 19.46 c Sol. found (all assignments made)... 19.46 o 9893688 19.46 c NEW SOLUTION FOUND: 9893688 @ 19.441 19.46 c Sol. found (all assignments made)... 19.49 c Sol. found (all assignments made)... 19.51 c Sol. found (all assignments made)... 19.52 c Sol. found (all assignments made)... 20.02 c Sol. found (all assignments made)... 20.03 c Sol. found (all assignments made)... 20.04 c Sol. found (all assignments made)... 20.04 c Sol. found (all assignments made)... 20.05 c Sol. found (all assignments made)... 20.06 c Sol. found (all assignments made)... 20.07 c Sol. found (all assignments made)... 20.07 c Sol. found (all assignments made)... 20.12 c Sol. found (all assignments made)... 20.13 c Sol. found (all assignments made)... 20.13 c Sol. found (all assignments made)... 20.14 c Sol. found (all assignments made)... 20.14 c Sol. found (all assignments made)... 20.14 c Sol. found (all assignments made)... 20.14 c Sol. found (all assignments made)... 20.36 c Sol. found (all assignments made)... 20.37 c Sol. found (all assignments made)... 20.37 c Sol. found (all assignments made)... 20.40 c Sol. found (all assignments made)... 22.05 c Sol. found (all assignments made)... 22.08 c Sol. found (all assignments made)... 22.08 c Sol. found (all assignments made)... 22.08 c Sol. found (all assignments made)... 22.08 c Sol. found (all assignments made)... 22.08 c Sol. found (all assignments made)... 22.09 c Sol. found (all assignments made)... 22.15 c Sol. found (all assignments made)... 22.16 c Sol. found (all assignments made)... 22.17 c Sol. found (all assignments made)... 22.17 c Sol. found (all assignments made)... 22.17 c Sol. found (all assignments made)... 23.57 c Restart #21 #Var: 1686 LB: 0 @ 23.548 25.44 c Restart #22 #Var: 1686 LB: 0 @ 25.422 25.50 c Sol. found (all assignments made)... 25.50 o 7860730 25.50 c NEW SOLUTION FOUND: 7860730 @ 25.476 25.50 c Sol. found (all assignments made)... 25.50 c Sol. found (all assignments made)... 25.51 c Sol. found (all assignments made)... 25.51 c Sol. found (all assignments made)... 25.52 c Sol. found (all assignments made)... 25.53 c Sol. found (all assignments made)... 25.66 c Sol. found (all assignments made)... 25.67 c Sol. found (all assignments made)... 25.67 o 7771250 25.67 c NEW SOLUTION FOUND: 7771250 @ 25.648 25.73 c Sol. found (all assignments made)... 25.74 c Sol. found (all assignments made)... 25.75 c Sol. found (all assignments made)... 25.77 c Sol. found (all assignments made)... 25.87 c Sol. found (all assignments made)... 25.87 o 7709711 25.87 c NEW SOLUTION FOUND: 7709711 @ 25.85 25.87 c Sol. found (all assignments made)... 25.90 c Sol. found (all assignments made)... 25.90 c Sol. found (all assignments made)... 25.93 c Sol. found (all assignments made)... 25.94 c Sol. found (all assignments made)... 25.97 c Sol. found (all assignments made)... 25.97 c Sol. found (all assignments made)... 25.99 c Sol. found (all assignments made)... 25.99 o 7700495 25.99 c NEW SOLUTION FOUND: 7700495 @ 25.97 25.99 c Sol. found (all assignments made)... 26.03 c Sol. found (all assignments made)... 26.03 c Sol. found (all assignments made)... 26.06 c Sol. found (all assignments made)... 26.07 c Sol. found (all assignments made)... 26.10 c Sol. found (all assignments made)... 26.11 c Sol. found (all assignments made)... 26.52 c Sol. found (all assignments made)... 26.55 c Sol. found (all assignments made)... 26.57 c Sol. found (all assignments made)... 26.59 c Sol. found (all assignments made)... 26.64 c Sol. found (all assignments made)... 26.65 c Sol. found (all assignments made)... 26.68 c Sol. found (all assignments made)... 26.68 c Sol. found (all assignments made)... 26.71 c Sol. found (all assignments made)... 26.71 c Sol. found (all assignments made)... 26.73 c Sol. found (all assignments made)... 26.73 c Sol. found (all assignments made)... 26.77 c Sol. found (all assignments made)... 26.77 c Sol. found (all assignments made)... 26.80 c Sol. found (all assignments made)... 26.80 c Sol. found (all assignments made)... 26.84 c Sol. found (all assignments made)... 26.84 c Sol. found (all assignments made)... 26.86 c Sol. found (all assignments made)... 26.86 c Sol. found (all assignments made)... 26.88 c Sol. found (all assignments made)... 26.89 c Sol. found (all assignments made)... 26.90 c Sol. found (all assignments made)... 26.90 c Sol. found (all assignments made)... 26.94 c Sol. found (all assignments made)... 26.95 c Sol. found (all assignments made)... 26.97 c Sol. found (all assignments made)... 26.97 c Sol. found (all assignments made)... 26.99 c Sol. found (all assignments made)... 26.99 c Sol. found (all assignments made)... 27.00 c Sol. found (all assignments made)... 27.01 c Sol. found (all assignments made)... 27.04 c Sol. found (all assignments made)... 27.04 c Sol. found (all assignments made)... 27.05 c Sol. found (all assignments made)... 27.05 c Sol. found (all assignments made)... 27.10 c Sol. found (all assignments made)... 27.10 c Sol. found (all assignments made)... 27.11 c Sol. found (all assignments made)... 27.11 c Sol. found (all assignments made)... 27.15 c Sol. found (all assignments made)... 27.15 c Sol. found (all assignments made)... 27.16 c Sol. found (all assignments made)... 27.17 c Sol. found (all assignments made)... 27.18 c Sol. found (all assignments made)... 27.19 c Sol. found (all assignments made)... 27.21 c Sol. found (all assignments made)... 27.22 c Sol. found (all assignments made)... 27.24 c Sol. found (all assignments made)... 27.24 c Sol. found (all assignments made)... 27.26 c Sol. found (all assignments made)... 27.26 c Sol. found (all assignments made)... 27.28 c Sol. found (all assignments made)... 27.28 c Sol. found (all assignments made)... 27.32 c Sol. found (all assignments made)... 27.32 c Sol. found (all assignments made)... 27.33 c Sol. found (all assignments made)... 27.33 c Sol. found (all assignments made)... 27.36 c Sol. found (all assignments made)... 27.36 c Sol. found (all assignments made)... 27.39 c Sol. found (all assignments made)... 27.39 c Sol. found (all assignments made)... 27.40 c Sol. found (all assignments made)... 27.40 c Sol. found (all assignments made)... 27.43 c Sol. found (all assignments made)... 27.43 c Sol. found (all assignments made)... 27.44 c Sol. found (all assignments made)... 27.44 c Sol. found (all assignments made)... 27.48 c Sol. found (all assignments made)... 27.48 c Sol. found (all assignments made)... 27.49 c Sol. found (all assignments made)... 27.49 c Sol. found (all assignments made)... 27.52 c Sol. found (all assignments made)... 27.52 c Sol. found (all assignments made)... 27.53 c Sol. found (all assignments made)... 27.54 c Sol. found (all assignments made)... 27.56 c Sol. found (all assignments made)... 27.56 c Sol. found (all assignments made)... 27.57 c Sol. found (all assignments made)... 27.57 c Sol. found (all assignments made)... 27.60 c Sol. found (all assignments made)... 27.61 c Sol. found (all assignments made)... 27.62 c Sol. found (all assignments made)... 27.62 c Sol. found (all assignments made)... 27.65 c Sol. found (all assignments made)... 27.66 c Sol. found (all assignments made)... 27.68 c Sol. found (all assignments made)... 27.68 c Sol. found (all assignments made)... 27.71 c Sol. found (all assignments made)... 27.72 c Sol. found (all assignments made)... 27.73 c Sol. found (all assignments made)... 27.73 c Sol. found (all assignments made)... 27.76 c Sol. found (all assignments made)... 27.76 c Sol. found (all assignments made)... 27.78 c Sol. found (all assignments made)... 27.78 c Sol. found (all assignments made)... 27.82 c Sol. found (all assignments made)... 27.83 c Sol. found (all assignments made)... 27.83 c Sol. found (all assignments made)... 27.84 c Sol. found (all assignments made)... 27.86 c Sol. found (all assignments made)... 27.86 c Sol. found (all assignments made)... 27.87 c Sol. found (all assignments made)... 27.87 c Sol. found (all assignments made)... 27.89 c Sol. found (all assignments made)... 27.90 c Sol. found (all assignments made)... 27.90 c Sol. found (all assignments made)... 27.91 c Sol. found (all assignments made)... 27.95 c Sol. found (all assignments made)... 27.95 c Sol. found (all assignments made)... 27.97 c Sol. found (all assignments made)... 27.97 c Sol. found (all assignments made)... 28.00 c Sol. found (all assignments made)... 28.00 c Sol. found (all assignments made)... 28.03 c Sol. found (all assignments made)... 28.03 c Sol. found (all assignments made)... 28.05 c Sol. found (all assignments made)... 28.06 c Sol. found (all assignments made)... 28.07 c Sol. found (all assignments made)... 28.07 c Sol. found (all assignments made)... 28.08 c Sol. found (all assignments made)... 28.08 c Sol. found (all assignments made)... 28.10 c Sol. found (all assignments made)... 28.11 c Sol. found (all assignments made)... 28.14 c Sol. found (all assignments made)... 28.14 c Sol. found (all assignments made)... 28.18 c Sol. found (all assignments made)... 28.18 c Sol. found (all assignments made)... 28.19 c Sol. found (all assignments made)... 28.19 c Sol. found (all assignments made)... 28.23 c Sol. found (all assignments made)... 28.23 c Sol. found (all assignments made)... 28.25 c Sol. found (all assignments made)... 28.25 c Sol. found (all assignments made)... 28.28 c Sol. found (all assignments made)... 28.29 c Sol. found (all assignments made)... 28.31 c Sol. found (all assignments made)... 28.31 c Sol. found (all assignments made)... 28.33 c Sol. found (all assignments made)... 28.33 c Sol. found (all assignments made)... 28.34 c Sol. found (all assignments made)... 28.34 c Sol. found (all assignments made)... 28.36 c Sol. found (all assignments made)... 28.37 c Sol. found (all assignments made)... 28.38 c Sol. found (all assignments made)... 28.38 c Sol. found (all assignments made)... 28.39 c Sol. found (all assignments made)... 28.40 c Sol. found (all assignments made)... 28.41 c Sol. found (all assignments made)... 28.42 c Sol. found (all assignments made)... 28.43 c Sol. found (all assignments made)... 28.43 c Sol. found (all assignments made)... 28.49 c Sol. found (all assignments made)... 28.49 c Sol. found (all assignments made)... 28.51 c Sol. found (all assignments made)... 28.51 c Sol. found (all assignments made)... 28.55 c Sol. found (all assignments made)... 28.55 c Sol. found (all assignments made)... 28.57 c Sol. found (all assignments made)... 28.57 c Sol. found (all assignments made)... 28.61 c Sol. found (all assignments made)... 28.61 c Sol. found (all assignments made)... 28.62 c Sol. found (all assignments made)... 28.62 c Sol. found (all assignments made)... 28.65 c Sol. found (all assignments made)... 28.65 c Sol. found (all assignments made)... 28.66 c Sol. found (all assignments made)... 28.66 c Sol. found (all assignments made)... 28.69 c Sol. found (all assignments made)... 28.69 c Sol. found (all assignments made)... 28.71 c Sol. found (all assignments made)... 28.71 c Sol. found (all assignments made)... 28.73 c Sol. found (all assignments made)... 28.74 c Sol. found (all assignments made)... 28.78 c Sol. found (all assignments made)... 28.78 c Sol. found (all assignments made)... 28.80 c Sol. found (all assignments made)... 28.80 c Sol. found (all assignments made)... 28.81 c Sol. found (all assignments made)... 28.81 c Sol. found (all assignments made)... 28.84 c Sol. found (all assignments made)... 28.84 c Sol. found (all assignments made)... 28.85 c Sol. found (all assignments made)... 28.85 c Sol. found (all assignments made)... 28.88 c Sol. found (all assignments made)... 28.89 c Sol. found (all assignments made)... 28.90 c Sol. found (all assignments made)... 28.91 c Sol. found (all assignments made)... 28.94 c Sol. found (all assignments made)... 28.95 c Sol. found (all assignments made)... 28.97 c Sol. found (all assignments made)... 28.97 c Sol. found (all assignments made)... 28.98 c Sol. found (all assignments made)... 28.99 c Sol. found (all assignments made)... 29.01 c Sol. found (all assignments made)... 29.01 c Sol. found (all assignments made)... 29.02 c Sol. found (all assignments made)... 29.03 c Sol. found (all assignments made)... 29.06 c Sol. found (all assignments made)... 29.06 c Sol. found (all assignments made)... 29.08 c Sol. found (all assignments made)... 29.09 c Sol. found (all assignments made)... 29.11 c Sol. found (all assignments made)... 29.11 c Sol. found (all assignments made)... 29.12 c Sol. found (all assignments made)... 29.12 c Sol. found (all assignments made)... 29.15 c Sol. found (all assignments made)... 29.15 c Sol. found (all assignments made)... 29.17 c Sol. found (all assignments made)... 29.17 c Sol. found (all assignments made)... 29.18 c Sol. found (all assignments made)... 29.18 c Sol. found (all assignments made)... 29.22 c Sol. found (all assignments made)... 29.22 c Sol. found (all assignments made)... 29.23 c Sol. found (all assignments made)... 29.23 c Sol. found (all assignments made)... 29.27 c Sol. found (all assignments made)... 29.27 c Sol. found (all assignments made)... 29.28 c Sol. found (all assignments made)... 29.28 c Sol. found (all assignments made)... 29.33 c Sol. found (all assignments made)... 29.33 c Sol. found (all assignments made)... 29.34 c Sol. found (all assignments made)... 29.35 c Sol. found (all assignments made)... 29.35 c Sol. found (all assignments made)... 29.36 c Sol. found (all assignments made)... 29.39 c Sol. found (all assignments made)... 29.39 c Sol. found (all assignments made)... 29.42 c Sol. found (all assignments made)... 29.42 c Sol. found (all assignments made)... 29.45 c Sol. found (all assignments made)... 29.45 c Sol. found (all assignments made)... 29.48 c Sol. found (all assignments made)... 29.49 c Sol. found (all assignments made)... 29.51 c Sol. found (all assignments made)... 29.51 c Sol. found (all assignments made)... 29.53 c Sol. found (all assignments made)... 29.53 c Sol. found (all assignments made)... 29.57 c Sol. found (all assignments made)... 29.58 c Sol. found (all assignments made)... 29.61 c Sol. found (all assignments made)... 29.62 c Sol. found (all assignments made)... 29.63 c Sol. found (all assignments made)... 29.63 c Sol. found (all assignments made)... 29.66 c Sol. found (all assignments made)... 29.66 c Sol. found (all assignments made)... 29.68 c Sol. found (all assignments made)... 29.68 c Sol. found (all assignments made)... 29.71 c Sol. found (all assignments made)... 29.71 c Sol. found (all assignments made)... 29.76 c Sol. found (all assignments made)... 29.76 c Sol. found (all assignments made)... 29.79 c Sol. found (all assignments made)... 29.80 c Sol. found (all assignments made)... 29.82 c Sol. found (all assignments made)... 29.82 c Sol. found (all assignments made)... 29.87 c Sol. found (all assignments made)... 29.87 c Sol. found (all assignments made)... 31.16 c Sol. found (all assignments made)... 31.16 c Sol. found (all assignments made)... 31.22 c Sol. found (all assignments made)... 31.22 c Sol. found (all assignments made)... 31.24 c Sol. found (all assignments made)... 31.24 c Sol. found (all assignments made)... 31.27 c Sol. found (all assignments made)... 31.27 c Sol. found (all assignments made)... 31.29 c Sol. found (all assignments made)... 31.29 c Sol. found (all assignments made)... 31.30 c Sol. found (all assignments made)... 31.31 c Sol. found (all assignments made)... 31.33 c Sol. found (all assignments made)... 31.33 c Sol. found (all assignments made)... 31.35 c Sol. found (all assignments made)... 31.35 c Sol. found (all assignments made)... 31.38 c Sol. found (all assignments made)... 31.38 c Sol. found (all assignments made)... 31.39 c Sol. found (all assignments made)... 31.40 c Sol. found (all assignments made)... 31.49 c Sol. found (all assignments made)... 31.49 c Sol. found (all assignments made)... 31.50 c Sol. found (all assignments made)... 31.51 c Sol. found (all assignments made)... 31.52 c Sol. found (all assignments made)... 31.53 c Sol. found (all assignments made)... 31.53 c Sol. found (all assignments made)... 31.54 c Sol. found (all assignments made)... 31.59 c Sol. found (all assignments made)... 31.60 c Sol. found (all assignments made)... 31.63 c Sol. found (all assignments made)... 31.63 c Sol. found (all assignments made)... 31.66 c Sol. found (all assignments made)... 31.67 c Sol. found (all assignments made)... 31.68 c Sol. found (all assignments made)... 31.68 c Sol. found (all assignments made)... 31.70 c Sol. found (all assignments made)... 31.70 c Sol. found (all assignments made)... 31.73 c Sol. found (all assignments made)... 31.73 c Sol. found (all assignments made)... 31.74 c Restart #23 #Var: 1686 LB: 0 @ 31.713 33.16 c Restart #24 #Var: 1686 LB: 0 @ 33.139 36.27 c Restart #25 #Var: 1686 LB: 0 @ 36.242 36.31 c Sol. found (all assignments made)... 36.31 o 7383045 36.31 c NEW SOLUTION FOUND: 7383045 @ 36.286 36.31 c Sol. found (all assignments made)... 36.31 o 7265285 36.31 c NEW SOLUTION FOUND: 7265285 @ 36.288 36.33 c Sol. found (all assignments made)... 36.33 c Sol. found (all assignments made)... 36.34 c Sol. found (all assignments made)... 36.35 c Sol. found (all assignments made)... 36.36 c Sol. found (all assignments made)... 36.37 c Sol. found (all assignments made)... 36.38 c Sol. found (all assignments made)... 36.38 c Sol. found (all assignments made)... 36.39 c Sol. found (all assignments made)... 36.39 c Sol. found (all assignments made)... 36.43 c Sol. found (all assignments made)... 36.46 c Sol. found (all assignments made)... 36.50 c Sol. found (all assignments made)... 36.52 c Sol. found (all assignments made)... 36.57 c Sol. found (all assignments made)... 36.58 c Sol. found (all assignments made)... 36.64 c Sol. found (all assignments made)... 36.65 c Sol. found (all assignments made)... 36.68 c Sol. found (all assignments made)... 36.80 c Sol. found (all assignments made)... 36.80 c Sol. found (all assignments made)... 36.81 c Sol. found (all assignments made)... 36.83 c Sol. found (all assignments made)... 36.83 c Sol. found (all assignments made)... 36.83 c Sol. found (all assignments made)... 36.84 c Sol. found (all assignments made)... 36.84 c Sol. found (all assignments made)... 36.84 c Sol. found (all assignments made)... 37.44 c Sol. found (all assignments made)... 38.48 c Sol. found (all assignments made)... 38.85 c Sol. found (all assignments made)... 38.97 c Sol. found (all assignments made)... 39.35 c Sol. found (all assignments made)... 39.36 c Sol. found (all assignments made)... 39.43 c Sol. found (all assignments made)... 39.44 c Sol. found (all assignments made)... 39.75 c Sol. found (all assignments made)... 39.81 c Sol. found (all assignments made)... 39.85 c Sol. found (all assignments made)... 39.98 c Sol. found (all assignments made)... 40.01 c Sol. found (all assignments made)... 40.05 c Sol. found (all assignments made)... 40.35 c Sol. found (all assignments made)... 40.38 c Sol. found (all assignments made)... 40.41 c Sol. found (all assignments made)... 40.65 c Sol. found (all assignments made)... 40.66 c Sol. found (all assignments made)... 40.70 c Sol. found (all assignments made)... 40.78 c Sol. found (all assignments made)... 41.02 c Sol. found (all assignments made)... 41.09 c Sol. found (all assignments made)... 41.32 c Sol. found (all assignments made)... 41.39 c Sol. found (all assignments made)... 41.52 c Sol. found (all assignments made)... 41.70 c Sol. found (all assignments made)... 41.73 c Sol. found (all assignments made)... 41.80 c Sol. found (all assignments made)... 41.91 c Sol. found (all assignments made)... 42.01 c Sol. found (all assignments made)... 42.16 c Sol. found (all assignments made)... 42.65 c Sol. found (all assignments made)... 42.76 c Sol. found (all assignments made)... 42.88 c Sol. found (all assignments made)... 42.97 c Sol. found (all assignments made)... 43.15 c Restart #26 #Var: 1686 LB: 0 @ 43.128 45.73 c Restart #27 #Var: 1686 LB: 0 @ 45.706 48.04 c Sol. found (all assignments made)... 48.08 c Sol. found (all assignments made)... 48.13 c Sol. found (all assignments made)... 48.17 c Restart #28 #Var: 1686 LB: 0 @ 48.138 49.63 c Restart #29 #Var: 1686 LB: 0 @ 49.602 51.38 c CHANGE to MIS mode... UB: 7265285 MIS: 42 LPR: -2147483648 (0) Diff: -1.9558e-08 51.38 c Restart #0 #Var: 1686 LB: 0 @ 51.349 51.52 c Restart #1 #Var: 1686 LB: 42 @ 51.491 52.03 c Restart #2 #Var: 1686 LB: 42 @ 52.004 52.80 c Restart #3 #Var: 1686 LB: 42 @ 52.776 54.77 c Restart #4 #Var: 1686 LB: 42 @ 54.744 57.20 c Restart #5 #Var: 1686 LB: 42 @ 57.171 59.64 c Restart #6 #Var: 1686 LB: 42 @ 59.606 62.95 c Restart #7 #Var: 1686 LB: 42 @ 62.924 66.37 c Restart #8 #Var: 1686 LB: 42 @ 66.336 70.31 c Restart #9 #Var: 1686 LB: 42 @ 70.278 74.20 c Restart #10 #Var: 1686 LB: 42 @ 74.169 79.42 c Restart #11 #Var: 1686 LB: 42 @ 79.381 85.66 c Restart #12 #Var: 1686 LB: 42 @ 85.619 92.48 c Restart #13 #Var: 1686 LB: 42 @ 92.436 98.81 c Restart #14 #Var: 1686 LB: 42 @ 98.766 101.75 c Restart #15 #Var: 1686 LB: 42 @ 101.71 105.25 c Restart #16 #Var: 1686 LB: 42 @ 105.21 110.36 c Restart #17 #Var: 1686 LB: 42 @ 110.32 117.37 c Restart #18 #Var: 1686 LB: 42 @ 117.32 121.55 c Restart #19 #Var: 1686 LB: 42 @ 121.5 131.03 c Restart #20 #Var: 1686 LB: 42 @ 130.96 140.24 c Restart #21 #Var: 1686 LB: 42 @ 140.13 146.92 c Restart #22 #Var: 1686 LB: 42 @ 146.78 153.94 c Restart #23 #Var: 1686 LB: 42 @ 153.79 165.25 c Restart #24 #Var: 1686 LB: 42 @ 165.1 167.20 c Restart #25 #Var: 1686 LB: 42 @ 167.05 180.60 c Restart #26 #Var: 1686 LB: 42 @ 180.45 193.06 c Restart #27 #Var: 1686 LB: 42 @ 192.9 199.65 c Restart #28 #Var: 1686 LB: 42 @ 199.48 210.95 c Restart #29 #Var: 1686 LB: 42 @ 210.78 227.82 c Restart #30 #Var: 1686 LB: 42 @ 227.65 242.55 c Restart #31 #Var: 1686 LB: 0 @ 242.37 258.06 c Restart #32 #Var: 1686 LB: 42 @ 257.88 259.82 c Restart #33 #Var: 1686 LB: 0 @ 259.64 282.12 c Restart #34 #Var: 1686 LB: 42 @ 281.94 300.59 c Restart #35 #Var: 1686 LB: 42 @ 300.4 320.39 c Restart #36 #Var: 1686 LB: 42 @ 320.2 343.41 c Restart #37 #Var: 1686 LB: 42 @ 343.2 366.40 c Restart #38 #Var: 1686 LB: 42 @ 366.19 371.84 c Restart #39 #Var: 1686 LB: 42 @ 371.63 405.20 c Restart #40 #Var: 1686 LB: 42 @ 404.98 432.07 c Restart #41 #Var: 1686 LB: 42 @ 431.85 455.13 c Restart #42 #Var: 1686 LB: 42 @ 454.89 472.22 c Restart #43 #Var: 1686 LB: 42 @ 471.98 515.73 c Restart #44 #Var: 1686 LB: 42 @ 515.48 534.77 c Restart #45 #Var: 1686 LB: 42 @ 534.51 540.10 c Restart #46 #Var: 1686 LB: 42 @ 539.84 548.45 c Restart #47 #Var: 1686 LB: 42 @ 548.19 565.05 c Restart #48 #Var: 1686 LB: 42 @ 564.79 570.24 c Restart #49 #Var: 1686 LB: 42 @ 569.98 573.83 c Restart #50 #Var: 1686 LB: 42 @ 573.56 587.32 c Restart #51 #Var: 1686 LB: 0 @ 587.05 617.46 c Restart #52 #Var: 1686 LB: 42 @ 617.18 620.46 c Restart #53 #Var: 1686 LB: 42 @ 620.18 646.50 c Restart #54 #Var: 1686 LB: 42 @ 646.21 667.51 c Restart #55 #Var: 1686 LB: 42 @ 667.22 683.60 c Restart #56 #Var: 1686 LB: 42 @ 683.3 687.41 c Restart #57 #Var: 1686 LB: 42 @ 687.11 714.03 c Restart #58 #Var: 1686 LB: 42 @ 713.72 746.62 c Restart #59 #Var: 1686 LB: 42 @ 746.3 796.29 c Restart #60 #Var: 1686 LB: 42 @ 795.96 816.37 c Restart #61 #Var: 1686 LB: 42 @ 816.03 824.08 c Restart #62 #Var: 1686 LB: 42 @ 823.74 842.47 c Restart #63 #Var: 1686 LB: 42 @ 842.12 882.37 c Restart #64 #Var: 1686 LB: 42 @ 882.01 911.93 c Restart #65 #Var: 1686 LB: 42 @ 911.57 962.76 c Restart #66 #Var: 1686 LB: 42 @ 962.39 1000.36 c Restart #67 #Var: 1686 LB: 42 @ 999.97 1032.82 c Restart #68 #Var: 1686 LB: 42 @ 1032.4 1038.47 c Restart #69 #Var: 1686 LB: 0 @ 1038.1 1050.45 c Restart #70 #Var: 1686 LB: 0 @ 1050 1056.39 c Restart #71 #Var: 1686 LB: 0 @ 1056 1075.67 c Restart #72 #Var: 1686 LB: 0 @ 1075.3 1109.90 c Restart #73 #Var: 1686 LB: 0 @ 1109.5 1132.97 c Restart #74 #Var: 1686 LB: 0 @ 1132.5 1138.14 c Restart #75 #Var: 1686 LB: 0 @ 1137.7 1188.87 c Restart #76 #Var: 1686 LB: 0 @ 1188.4 1226.32 c Restart #77 #Var: 1686 LB: 42 @ 1225.9 1260.14 c Restart #78 #Var: 1686 LB: 0 @ 1259.7 1299.50 c Restart #79 #Var: 1686 LB: 0 @ 1299 1339.96 c Restart #80 #Var: 1686 LB: 0 @ 1339.5 1348.16 c Restart #81 #Var: 1686 LB: 42 @ 1347.7 1381.57 c Restart #82 #Var: 1686 LB: 0 @ 1381.1 1405.63 c Restart #83 #Var: 1686 LB: 42 @ 1405.1 1440.83 c Restart #84 #Var: 1686 LB: 42 @ 1440.3 1467.92 c Restart #85 #Var: 1686 LB: 0 @ 1467.4 1511.63 c Restart #86 #Var: 1686 LB: 42 @ 1511.1 1543.17 c Restart #87 #Var: 1686 LB: 0 @ 1542.6 1580.06 c Restart #88 #Var: 1686 LB: 42 @ 1579.5 1624.51 c Restart #89 #Var: 1686 LB: 42 @ 1623.9 1685.60 c Restart #90 #Var: 1686 LB: 0 @ 1685 1733.06 c Restart #91 #Var: 1686 LB: 0 @ 1732.5 1793.33 c Restart #92 #Var: 1686 LB: 0 @ 1792.7 1800.62 s SATISFIABLE 1800.62 c Cost: 7265285 1800.62 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1800.62 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1800.62 v -x55 -x56 -x57 -x58 -x59 -x60 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 1800.62 v -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 1800.62 v -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 1800.62 v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 1800.62 v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 1800.62 v -x1648 -x1649 -x1650 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 1800.62 v -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x2281 1800.62 v -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 1800.62 v -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2611 -x2612 -x2613 -x2614 -x2615 1800.62 v -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 1800.62 v -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 x2941 x2942 x2943 x2944 x2945 x2946 x2947 x2948 x2949 x2950 x2951 1800.62 v -x2952 -x2953 x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 1800.62 v -x2969 -x2970 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 1800.62 v -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x61 -x62 -x63 1800.62 v -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 1800.62 v -x90 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 1800.62 v -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 1800.62 v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 1800.62 v -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 1800.62 v -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x791 -x792 -x793 -x794 1800.62 v -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 1800.62 v -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 1800.62 v -x837 -x838 -x839 -x840 x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 x852 x853 -x854 -x855 -x856 -x857 1800.62 v -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 x873 x874 x875 x876 x877 x878 x879 1800.62 v x880 x881 -x882 x883 x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 1800.62 v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 1800.62 v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 1800.62 v -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x991 -x992 -x993 1800.62 v -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 1800.62 v -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 1800.62 v -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 1800.62 v -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 1800.62 v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 1800.62 v -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 1800.62 v -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 1800.62 v -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 1800.62 v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 1800.62 v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 1800.62 v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 1800.62 v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 1800.62 v -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 x1211 x1212 -x1213 -x1214 -x1215 -x1216 1800.62 v -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 x1232 x1233 x1234 1800.62 v x1235 x1236 x1237 x1238 x1239 x1240 -x1241 -x1242 x1243 -x1244 x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 1800.62 v -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 1800.62 v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 1800.62 v -x1288 -x1289 -x1290 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 1800.62 v -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 1800.62 v -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 1800.62 v -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 x1382 -x1383 -x1384 -x1385 1800.62 v -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 1800.62 v -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 1800.62 v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 1800.62 v -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 1800.62 v -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 1800.62 v -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 1800.62 v -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 1800.62 v -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 1800.62 v -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 1800.62 v -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 1800.62 v -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 1800.62 v -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 1800.62 v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 1800.62 v -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1651 -x1652 -x1653 -x1654 1800.62 v -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 1800.62 v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 x1683 -x1684 -x1685 -x1686 -x1687 -x1688 1800.62 v -x1689 -x1690 -x1691 x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 1800.62 v -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 1800.62 v -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 1800.62 v -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 x1752 -x1753 -x1754 -x1755 -x1756 1800.62 v -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 x1772 x1773 x1774 1800.62 v x1775 x1776 x1777 x1778 x1779 x1780 -x1781 x1782 -x1783 x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 1800.62 v -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 x1802 x1803 x1804 x1805 x1806 x1807 x1808 x1809 x1810 x1811 -x1812 1800.62 v -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 1800.62 v -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 1800.62 v -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 1800.62 v -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 1800.62 v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 1800.62 v -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 1800.62 v -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 x1922 x1923 x1924 x1925 x1926 x1927 x1928 x1929 x1930 -x1931 x1932 x1933 1800.62 v -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 1800.62 v x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 1800.62 v -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 1800.62 v -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 1800.62 v -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 1800.62 v -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 1800.62 v -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 1800.62 v -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 1800.62 v -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 1800.62 v -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 1800.62 v -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 1800.62 v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 1800.62 v -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 1800.62 v -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 1800.62 v -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 1800.62 v -x2219 -x2220 x2221 x2222 x2223 x2224 x2225 x2226 x2227 x2228 x2229 x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 1800.62 v -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 1800.62 v -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 1800.62 v -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 1800.62 v -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 1800.62 v -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 1800.62 v -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 1800.62 v -x2370 x2371 x2372 x2373 x2374 x2375 x2376 x2377 x2378 x2379 x2380 x2381 x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 1800.62 v -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 1800.62 v -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 1800.62 v -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 1800.62 v -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 1800.62 v -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 1800.62 v -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 1800.62 v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 x2502 -x2503 -x2504 -x2505 -x2506 -x2507 1800.62 v -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 1800.62 v -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 1800.62 v -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 1800.62 v -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 1800.62 v -x2576 -x2577 -x2578 -x2579 -x2580 x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 1800.62 v -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 1800.62 v -x2610 x2641 x2642 x2643 x2644 x2645 x2646 x2647 x2648 x2649 x2650 x2651 x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 1800.62 v -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 1800.62 v -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 1800.62 v -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 1800.62 v -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 1800.62 v -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 1800.62 v -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 1800.62 v -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 x2773 -x2774 -x2775 -x2776 -x2777 1800.62 v -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 1800.62 v -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 1800.62 v -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 1800.62 v -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 1800.62 v -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 1800.62 v -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 1800.62 v -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 1800.62 v -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 1800.62 v -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 1800.62 v -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 1800.62 v -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 1800.62 v -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 1800.62 v -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 1800.62 v -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 1800.62 v -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 1800.62 v -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 x3074 x3075 -x3076 -x3077 -x3078 -x3079 -x3080 1800.62 v -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 1800.62 v -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 1800.62 v -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 1800.62 v -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 1800.62 v -x3149 -x3150 x3151 x3152 x3153 x3154 x3155 x3156 x3157 x3158 x3159 x3160 x3161 x3162 -x3163 -x3164 -x3165 -x3166 -x3167 1800.62 v -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 1800.62 v -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 1800.62 v -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 1800.62 v -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 1800.62 v -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 1800.62 v -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 1800.62 v -x3270 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 1800.62 v -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 1800.62 v -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 1800.62 v -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 1800.62 v -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 1800.62 v -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 1800.62 v -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 1800.62 v -x3419 -x3420 x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 1800.62 v -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 1800.62 v -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 1800.62 v -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 1800.62 v -x3487 -x3488 -x3489 -x3490 -x3491 x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 1800.62 v -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 1800.62 v -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 1800.62 v -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 1800.62 v -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 1800.62 v -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 1800.62 v -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 1800.62 v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 1800.62 v -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 1800.62 v -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 1800.62 v -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 1800.62 v -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 1800.62 v -x206 -x207 -x208 -x209 -x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 1800.62 v -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 1800.62 v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 1800.62 v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 1800.62 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 1800.62 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 1800.62 v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 1800.62 v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 1800.62 v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x421 -x422 -x423 -x424 -x425 -x426 1800.62 v -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 1800.62 v -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 1800.62 v -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 1800.62 v -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 1800.62 v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 1800.62 v -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 1800.62 v -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 1800.62 v -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 1800.62 v -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 1800.62 v -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 1800.62 v -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 1800.62 v -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 1800.62 v -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 x691 x692 x693 x694 x695 x696 x697 x698 x699 x700 x701 1800.62 v x702 -x703 x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x3601 -x3602 1800.62 v -x3633 -x3644 -x3655 -x3666 -x3677 -x3688 x3699 -x3710 -x3603 x3614 -x3625 -x3626 x3627 -x3628 x3629 x3630 -x3631 -x3632 1800.62 v -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 x3641 x3642 -x3643 -x3645 -x3646 x3647 -x3648 -x3649 -x3650 -x3651 -x3652 1800.62 v -x3653 -x3654 -x3656 x3657 -x3658 x3659 x3660 x3661 -x3662 -x3663 -x3664 x3665 x3667 -x3668 -x3669 -x3670 -x3671 -x3672 1800.62 v x3673 -x3674 x3675 -x3676 -x3678 -x3679 x3680 -x3681 -x3682 -x3683 x3684 -x3685 x3686 x3687 x3689 -x3690 -x3691 -x3692 1800.62 v x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3700 -x3701 -x3702 x3703 -x3704 -x3705 x3706 -x3707 -x3708 -x3709 -x3711 -x3712 1800.62 v -x3713 -x3714 x3715 x3716 x3717 x3718 -x3719 -x3720 x3604 -x3605 -x3606 -x3607 x3608 x3609 -x3610 -x3611 -x3612 -x3613 1800.62 v -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 x3623 x3624 1800.62 c Exit Code: 10 1800.62 c Total time: 1800 s
OK 7265285
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/node7/watcher-40543-1149303534 -o ROOT/results/node7/solver-40543-1149303534 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node7/40543-1149303534/instance-40543-1149303534.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.94 2/64 15244 /proc/meminfo: memFree=1569176/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=4932 CPUtime=0 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 366 0 0 0 0 0 0 0 19 0 1 0 196015613 5050368 330 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 1233 330 226 55 0 125 0 [startup+10.0022 s] /proc/loadavg: 0.93 0.97 0.94 2/64 15244 /proc/meminfo: memFree=1563672/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=10036 CPUtime=9.98 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 1760 0 0 0 992 6 0 0 25 0 1 0 196015613 10276864 1675 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 2509 1675 298 55 0 1401 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 10036 [startup+20.0093 s] /proc/loadavg: 0.94 0.97 0.94 2/64 15244 /proc/meminfo: memFree=1563416/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=10064 CPUtime=19.98 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 2220 0 0 0 1992 6 0 0 25 0 1 0 196015613 10305536 1684 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 2516 1684 298 55 0 1408 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 10064 [startup+30.0163 s] /proc/loadavg: 0.95 0.97 0.94 2/64 15244 /proc/meminfo: memFree=1562840/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=10972 CPUtime=29.99 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 2817 0 0 0 2992 7 0 0 25 0 1 0 196015613 11235328 1882 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548389 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 2743 1882 298 55 0 1635 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 10972 [startup+40.0224 s] /proc/loadavg: 0.95 0.97 0.94 2/64 15244 /proc/meminfo: memFree=1562776/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=10860 CPUtime=39.99 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 2855 0 0 0 3991 8 0 0 25 0 1 0 196015613 11120640 1865 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557734 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 2715 1865 298 55 0 1607 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 10860 [startup+50.0284 s] /proc/loadavg: 0.96 0.97 0.94 2/64 15244 /proc/meminfo: memFree=1562776/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=10728 CPUtime=50 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 2855 0 0 0 4991 9 0 0 25 0 1 0 196015613 10985472 1850 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548389 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 2682 1850 298 55 0 1574 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 10728 [startup+60.0345 s] /proc/loadavg: 0.97 0.97 0.94 2/64 15244 /proc/meminfo: memFree=1562520/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=11036 CPUtime=60 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 2985 0 0 0 5990 10 0 0 25 0 1 0 196015613 11300864 1927 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 2759 1927 298 55 0 1651 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 11036 [startup+70.0405 s] /proc/loadavg: 0.97 0.97 0.94 2/64 15244 /proc/meminfo: memFree=1562328/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=11404 CPUtime=70 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 3071 0 0 0 6990 10 0 0 25 0 1 0 196015613 11677696 2013 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548225 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 2851 2013 298 55 0 1743 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 11404 [startup+80.0466 s] /proc/loadavg: 0.98 0.97 0.94 2/64 15244 /proc/meminfo: memFree=1562328/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=11404 CPUtime=80.01 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 3071 0 0 0 7990 11 0 0 25 0 1 0 196015613 11677696 2013 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548225 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 2851 2013 298 55 0 1743 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 11404 [startup+90.0527 s] /proc/loadavg: 0.98 0.97 0.94 2/64 15244 /proc/meminfo: memFree=1561752/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=11940 CPUtime=90 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 3309 0 0 0 8989 11 0 0 25 0 1 0 196015613 12226560 2153 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 2985 2153 298 55 0 1877 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 11940 [startup+100.058 s] /proc/loadavg: 0.98 0.97 0.94 2/64 15244 /proc/meminfo: memFree=1561752/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=11920 CPUtime=100.01 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 3309 0 0 0 9989 12 0 0 25 0 1 0 196015613 12206080 2148 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 2980 2148 298 55 0 1872 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 11920 [startup+110.064 s] /proc/loadavg: 0.98 0.97 0.94 2/64 15244 /proc/meminfo: memFree=1561752/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=11920 CPUtime=110.01 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 3309 0 0 0 10989 12 0 0 25 0 1 0 196015613 12206080 2148 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134629295 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 2980 2148 298 55 0 1872 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 11920 [startup+120.07 s] /proc/loadavg: 0.99 0.97 0.94 2/64 15244 /proc/meminfo: memFree=1561752/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=11920 CPUtime=120.02 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 3309 0 0 0 11989 13 0 0 25 0 1 0 196015613 12206080 2148 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134630808 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 2980 2148 298 55 0 1872 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 11920 [startup+130.076 s] /proc/loadavg: 0.99 0.97 0.94 2/70 15299 /proc/meminfo: memFree=1560232/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=12052 CPUtime=129.99 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 3332 0 0 0 12986 13 0 0 25 0 1 0 196015613 12341248 2171 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 3013 2171 298 55 0 1905 0 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 12052 [startup+140.083 s] /proc/loadavg: 0.99 0.97 0.94 2/70 15357 /proc/meminfo: memFree=1559720/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=12388 CPUtime=139.97 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 3423 0 0 0 13984 13 0 0 25 0 1 0 196015613 12685312 2262 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 3097 2262 298 55 0 1989 0 Current children cumulated CPU time (s) 139.97 Current children cumulated vsize (Kb) 12388 [startup+150.089 s] /proc/loadavg: 0.99 0.97 0.94 2/64 15439 /proc/meminfo: memFree=1559960/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=13196 CPUtime=149.93 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 3701 0 0 0 14979 14 0 0 25 0 1 0 196015613 13512704 2455 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15244/statm: 3299 2455 298 55 0 2191 0 Current children cumulated CPU time (s) 149.93 Current children cumulated vsize (Kb) 13196 [startup+160.095 s] /proc/loadavg: 0.99 0.97 0.94 2/64 15439 /proc/meminfo: memFree=1559960/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=13196 CPUtime=159.94 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 3701 0 0 0 15980 14 0 0 25 0 1 0 196015613 13512704 2455 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134606487 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 3299 2455 298 55 0 2191 0 Current children cumulated CPU time (s) 159.94 Current children cumulated vsize (Kb) 13196 [startup+170.101 s] /proc/loadavg: 0.99 0.97 0.94 2/64 15439 /proc/meminfo: memFree=1560216/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=13128 CPUtime=169.94 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 3760 0 0 0 16979 15 0 0 25 0 1 0 196015613 13443072 2443 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 3282 2443 298 55 0 2174 0 Current children cumulated CPU time (s) 169.94 Current children cumulated vsize (Kb) 13128 [startup+180.107 s] /proc/loadavg: 0.99 0.97 0.94 2/64 15439 /proc/meminfo: memFree=1559960/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=13392 CPUtime=179.94 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 3820 0 0 0 17979 15 0 0 25 0 1 0 196015613 13713408 2503 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 3348 2503 298 55 0 2240 0 Current children cumulated CPU time (s) 179.94 Current children cumulated vsize (Kb) 13392 [startup+190.113 s] /proc/loadavg: 0.99 0.97 0.94 2/64 15439 /proc/meminfo: memFree=1560024/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=13152 CPUtime=189.95 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 3820 0 0 0 18980 15 0 0 25 0 1 0 196015613 13467648 2456 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 3288 2456 298 55 0 2180 0 Current children cumulated CPU time (s) 189.95 Current children cumulated vsize (Kb) 13152 [startup+200.12 s] /proc/loadavg: 0.99 0.97 0.94 2/64 15439 /proc/meminfo: memFree=1560024/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=13152 CPUtime=199.95 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 3820 0 0 0 19980 15 0 0 25 0 1 0 196015613 13467648 2456 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 3288 2456 298 55 0 2180 0 Current children cumulated CPU time (s) 199.95 Current children cumulated vsize (Kb) 13152 [startup+210.126 s] /proc/loadavg: 0.99 0.97 0.94 2/64 15439 /proc/meminfo: memFree=1560024/2055920 swapFree=4181500/4192956 ################ # More data... # ################ /proc/15244/statm: 3828 2996 298 55 0 2720 0 Current children cumulated CPU time (s) 1760.44 Current children cumulated vsize (Kb) 15312 [startup+1771.05 s] /proc/loadavg: 0.99 0.97 0.94 2/64 15439 /proc/meminfo: memFree=1557856/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=15312 CPUtime=1770.44 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 176979 65 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 3828 2996 298 55 0 2720 0 Current children cumulated CPU time (s) 1770.44 Current children cumulated vsize (Kb) 15312 [startup+1781.06 s] /proc/loadavg: 0.99 0.97 0.94 2/64 15439 /proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=15312 CPUtime=1780.44 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 177979 65 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134619927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 3828 2996 298 55 0 2720 0 Current children cumulated CPU time (s) 1780.44 Current children cumulated vsize (Kb) 15312 [startup+1782.07 s] /proc/loadavg: 0.99 0.97 0.94 2/64 15439 /proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=15312 CPUtime=1781.45 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 178080 65 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 3828 2996 298 55 0 2720 0 Current children cumulated CPU time (s) 1781.45 Current children cumulated vsize (Kb) 15312 [startup+1783.07 s] /proc/loadavg: 0.99 0.97 0.94 2/64 15439 /proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=15312 CPUtime=1782.45 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 178180 65 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 3828 2996 298 55 0 2720 0 Current children cumulated CPU time (s) 1782.45 Current children cumulated vsize (Kb) 15312 [startup+1784.08 s] /proc/loadavg: 0.99 0.97 0.94 2/64 15439 /proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=15312 CPUtime=1783.45 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 178280 65 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 3828 2996 298 55 0 2720 0 Current children cumulated CPU time (s) 1783.45 Current children cumulated vsize (Kb) 15312 [startup+1785.08 s] /proc/loadavg: 0.99 0.97 0.94 2/64 15439 /proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=15312 CPUtime=1784.46 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 178381 65 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 3828 2996 298 55 0 2720 0 Current children cumulated CPU time (s) 1784.46 Current children cumulated vsize (Kb) 15312 [startup+1786.09 s] /proc/loadavg: 0.99 0.97 0.94 2/64 15439 /proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=15312 CPUtime=1785.46 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 178481 65 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 3828 2996 298 55 0 2720 0 Current children cumulated CPU time (s) 1785.46 Current children cumulated vsize (Kb) 15312 [startup+1787.09 s] /proc/loadavg: 0.99 0.97 0.94 2/64 15439 /proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=15312 CPUtime=1786.47 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 178582 65 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 3828 2996 298 55 0 2720 0 Current children cumulated CPU time (s) 1786.47 Current children cumulated vsize (Kb) 15312 [startup+1788.1 s] /proc/loadavg: 0.99 0.97 0.94 2/64 15439 /proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=15312 CPUtime=1787.47 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 178682 65 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 3828 2996 298 55 0 2720 0 Current children cumulated CPU time (s) 1787.47 Current children cumulated vsize (Kb) 15312 [startup+1789.1 s] /proc/loadavg: 0.99 0.97 0.94 2/64 15439 /proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=15312 CPUtime=1788.49 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 178783 66 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 3828 2996 298 55 0 2720 0 Current children cumulated CPU time (s) 1788.49 Current children cumulated vsize (Kb) 15312 [startup+1790.11 s] /proc/loadavg: 0.99 0.97 0.94 2/64 15439 /proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=15312 CPUtime=1789.49 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 178883 66 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 3828 2996 298 55 0 2720 0 Current children cumulated CPU time (s) 1789.49 Current children cumulated vsize (Kb) 15312 [startup+1791.11 s] /proc/loadavg: 0.99 0.97 0.94 2/64 15439 /proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=15312 CPUtime=1790.49 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 178983 66 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 3828 2996 298 55 0 2720 0 Current children cumulated CPU time (s) 1790.49 Current children cumulated vsize (Kb) 15312 [startup+1792.12 s] /proc/loadavg: 0.99 0.97 0.94 2/64 15439 /proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=15312 CPUtime=1791.5 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 179084 66 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 3828 2996 298 55 0 2720 0 Current children cumulated CPU time (s) 1791.5 Current children cumulated vsize (Kb) 15312 [startup+1793.12 s] /proc/loadavg: 0.99 0.97 0.94 2/64 15439 /proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=15312 CPUtime=1792.5 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 179184 66 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 3828 2996 298 55 0 2720 0 Current children cumulated CPU time (s) 1792.5 Current children cumulated vsize (Kb) 15312 [startup+1794.12 s] /proc/loadavg: 0.99 0.97 0.94 2/64 15439 /proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=15312 CPUtime=1793.5 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 179284 66 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548222 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 3828 2996 298 55 0 2720 0 Current children cumulated CPU time (s) 1793.5 Current children cumulated vsize (Kb) 15312 [startup+1795.13 s] /proc/loadavg: 0.99 0.97 0.94 2/64 15439 /proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=15312 CPUtime=1794.51 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 179385 66 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 3828 2996 298 55 0 2720 0 Current children cumulated CPU time (s) 1794.51 Current children cumulated vsize (Kb) 15312 [startup+1796.13 s] /proc/loadavg: 0.99 0.97 0.94 2/64 15439 /proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=15312 CPUtime=1795.51 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 179485 66 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10850894 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 3828 2996 298 55 0 2720 0 Current children cumulated CPU time (s) 1795.51 Current children cumulated vsize (Kb) 15312 [startup+1797.14 s] /proc/loadavg: 0.99 0.97 0.94 2/64 15439 /proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=15312 CPUtime=1796.52 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 179586 66 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134620470 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 3828 2996 298 55 0 2720 0 Current children cumulated CPU time (s) 1796.52 Current children cumulated vsize (Kb) 15312 [startup+1798.14 s] /proc/loadavg: 0.99 0.97 0.94 2/64 15439 /proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=15312 CPUtime=1797.52 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 179686 66 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 3828 2996 298 55 0 2720 0 Current children cumulated CPU time (s) 1797.52 Current children cumulated vsize (Kb) 15312 [startup+1799.15 s] /proc/loadavg: 0.99 0.97 0.94 2/64 15439 /proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=15312 CPUtime=1798.53 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 179787 66 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548247 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 3828 2996 298 55 0 2720 0 Current children cumulated CPU time (s) 1798.53 Current children cumulated vsize (Kb) 15312 [startup+1800.15 s] /proc/loadavg: 0.99 0.97 0.94 2/64 15439 /proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956 [pid=15244] ppid=15242 vsize=15312 CPUtime=1799.53 /proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 179887 66 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548239 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15244/statm: 3828 2996 298 55 0 2720 0 Current children cumulated CPU time (s) 1799.53 Current children cumulated vsize (Kb) 15312 Child status: 10 Real time (s): 1800.63 CPU time (s): 1800.02 CPU user time (s): 1799.35 CPU system time (s): 0.669898 CPU usage (%): 99.9658 Max. virtual memory (cumulated for all children) (Kb): 15496
Begin job on node7 on Sat Jun 3 02:58:54 UTC 2006 FILE ID= 40543-1149303534 PBS_JOBID= 307484 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x12.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node7/40543-1149303534/instance-40543-1149303534.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-40543-1149303534 -o ROOT/results/node7/solver-40543-1149303534 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node7/40543-1149303534/instance-40543-1149303534.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 9d08937c2a2ec73e4fca19adadace920 RANDOM SEED= 13568878 /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.232 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.232 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: 1569448 kB Buffers: 26876 kB Cached: 387552 kB SwapCached: 3432 kB Active: 32780 kB Inactive: 390612 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1569448 kB SwapTotal: 4192956 kB SwapFree: 4181500 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14972 kB Slab: 49076 kB Committed_AS: 280708 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 node7 on Sat Jun 3 03:28:55 UTC 2006