Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| bsolo 2006/05 | SAT | -149664621032 | 1800.07 | 1800.69 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-israel.opb |
| MD5SUM | eda4269ba1a2bb6f24002a9139c11119 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -276360520335 |
| Best CPU time to get the best result obtained on this benchmark | 1800.41 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -305132355000 |
| Optimality of the best value was proved | NO |
| Number of variables | 4260 |
| Total number of constraints | 174 |
| 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 | 174 |
| Minimum length of a constraint | 30 |
| Maximum length of a constraint | 3540 |
| Number of terms in the objective function | 2670 |
| Biggest coefficient in the objective function | 807185416192000 |
| Number of bits for the biggest coefficient in the objective function | 50 |
| Sum of the numbers in the objective function | 9901243932822396 |
| Number of bits of the sum of numbers in the objective function | 54 |
| Biggest number in a constraint | 807185416192000 |
| Number of bits of the biggest number in a constraint | 50 |
| Biggest sum of numbers in a constraint | 9901243932822396 |
| Number of bits of the biggest sum of numbers | 54 |
| 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.02 c BIG Int formula... 0.42 c Initial problem consists of 4260 variables and 174 constraints. 0.44 c preprocess terminated. Elapsed time: 0.433 0.44 c After prepocess the problem consists of 3071 variables and 173 constraints. 0.44 c Initial Lower Bound: -4412930299500 2.99 c Restart #1 #Var: 3071 LB: -4412930299500 @ 2.982 5.46 c Restart #2 #Var: 3071 LB: -4412930299500 @ 5.45 8.15 c Restart #3 #Var: 3071 LB: -4412930299500 @ 8.143 11.03 c Restart #4 #Var: 3071 LB: -4412930299500 @ 11.013 14.06 c Restart #5 #Var: 3071 LB: -4412930299500 @ 14.041 17.48 c Restart #6 #Var: 3071 LB: -4412930299500 @ 17.46 21.02 c Restart #7 #Var: 3071 LB: -4412930299500 @ 21.004 24.90 c Restart #8 #Var: 3071 LB: -4412930299500 @ 24.885 36.37 c Restart #9 #Var: 3071 LB: -4412930299500 @ 36.345 45.63 c Restart #10 #Var: 3071 LB: -4412930299500 @ 45.6 49.79 c Restart #11 #Var: 3071 LB: -4412930299500 @ 49.767 54.72 c Restart #12 #Var: 3071 LB: -4412930299500 @ 54.686 60.74 c Restart #13 #Var: 3071 LB: -4412930299500 @ 60.706 64.56 c Restart #14 #Var: 3071 LB: -4412930299500 @ 64.533 73.06 c Restart #15 #Var: 3071 LB: -4412930299500 @ 73.028 78.58 c Restart #16 #Var: 3071 LB: -4412930299500 @ 78.542 88.60 c Restart #17 #Var: 3058 LB: -4376230139500 @ 88.564 92.12 c Restart #18 #Var: 3058 LB: -4376230139500 @ 92.086 108.23 c Restart #19 #Var: 3058 LB: -4376230139500 @ 108.19 120.89 c Restart #20 #Var: 3058 LB: -4376230139500 @ 120.85 131.72 c Restart #21 #Var: 3057 LB: -4267178235500 @ 131.67 144.17 c Restart #22 #Var: 3057 LB: -4267178235500 @ 144.12 156.63 c Restart #23 #Var: 3057 LB: -4267178235500 @ 156.57 172.42 c Restart #24 #Var: 3057 LB: -4267178235500 @ 172.36 184.04 c Restart #25 #Var: 3057 LB: -4267178235500 @ 183.97 194.07 c Restart #26 #Var: 3057 LB: -4267178235500 @ 194 207.11 c Restart #27 #Var: 3057 LB: -4267178235500 @ 207.03 225.42 c Restart #28 #Var: 3057 LB: -4267178235500 @ 225.34 236.83 c Restart #29 #Var: 3057 LB: -4267178235500 @ 236.75 253.20 c Restart #30 #Var: 3057 LB: -4267178235500 @ 253.11 264.50 c Restart #31 #Var: 3057 LB: -4267178235500 @ 264.41 282.54 c Restart #32 #Var: 3057 LB: -4267178235500 @ 282.44 290.97 c Restart #33 #Var: 3057 LB: -4267178235500 @ 290.87 311.98 c Restart #34 #Var: 3057 LB: -4267178235500 @ 311.88 320.62 c Restart #35 #Var: 3057 LB: -4267178235500 @ 320.51 339.16 c Restart #36 #Var: 3057 LB: -4267178235500 @ 339.04 356.62 c Restart #37 #Var: 3057 LB: -4267178235500 @ 356.5 370.97 c Restart #38 #Var: 3057 LB: -4267178235500 @ 370.85 394.80 c Restart #39 #Var: 3057 LB: -4267178235500 @ 394.67 414.59 c Restart #40 #Var: 3057 LB: -4267178235500 @ 414.45 433.42 c Restart #41 #Var: 3057 LB: -4267178235500 @ 433.28 439.77 c Restart #42 #Var: 3057 LB: -4267178235500 @ 439.63 456.28 c Restart #43 #Var: 3057 LB: -4267178235500 @ 456.13 506.47 c Restart #44 #Var: 3057 LB: -4267178235500 @ 506.31 530.95 c Restart #45 #Var: 3057 LB: -4267178235500 @ 530.78 589.07 c Restart #46 #Var: 3057 LB: -4267178235500 @ 588.88 616.14 c Restart #47 #Var: 3057 LB: -4267178235500 @ 615.94 643.56 c Restart #48 #Var: 3057 LB: -4267178235500 @ 643.36 667.43 c Restart #49 #Var: 3057 LB: -4267178235500 @ 667.22 698.59 c Restart #50 #Var: 3057 LB: -4267178235500 @ 698.37 736.64 c Restart #51 #Var: 3057 LB: -4267178235500 @ 736.41 749.66 c Restart #52 #Var: 3057 LB: -4267178235500 @ 749.43 788.63 c Restart #53 #Var: 3057 LB: -4267178235500 @ 788.39 800.88 c Restart #54 #Var: 3057 LB: -4267178235500 @ 800.63 834.08 c Restart #55 #Var: 3057 LB: -4267178235500 @ 833.82 869.15 c Restart #56 #Var: 3057 LB: -4267178235500 @ 868.89 900.24 c Restart #57 #Var: 3057 LB: -4267178235500 @ 899.97 921.49 c CHANGE Heuristic... 921.49 c Restart #0 #Var: 3057 LB: -4267178235500 @ 921.21 967.22 c Restart #1 #Var: 3057 LB: -4267178235500 @ 966.92 971.03 c Restart #2 #Var: 3057 LB: -4267178235500 @ 970.73 975.88 c Restart #3 #Var: 3057 LB: -4267178235500 @ 975.58 980.91 c Restart #4 #Var: 3057 LB: -4267178235500 @ 980.61 991.98 c Restart #5 #Var: 3057 LB: -4267178235500 @ 991.67 996.78 c Restart #6 #Var: 3057 LB: -4267178235500 @ 996.48 1002.97 c Restart #7 #Var: 3057 LB: -4267178235500 @ 1002.7 1009.49 c Restart #8 #Var: 3057 LB: -4267178235500 @ 1009.2 1015.57 c Restart #9 #Var: 3057 LB: -4267178235500 @ 1015.3 1024.14 c Restart #10 #Var: 3057 LB: -4267178235500 @ 1023.8 1032.85 c Restart #11 #Var: 3057 LB: -4267178235500 @ 1032.5 1039.23 c Restart #12 #Var: 3057 LB: -4267178235500 @ 1038.9 1046.93 c Restart #13 #Var: 3057 LB: -4267178235500 @ 1046.6 1059.24 c Restart #14 #Var: 3057 LB: -4267178235500 @ 1058.9 1099.21 c Restart #15 #Var: 3056 LB: -4267178235500 @ 1098.9 1103.92 c Sol. found (all assignments made)... 1103.92 o -142004037400 1103.92 c NEW SOLUTION FOUND: -142004037400 @ 1103.6 1103.93 c Sol. found (all assignments made)... 1103.93 o -142004180800 1103.93 c NEW SOLUTION FOUND: -142004180800 @ 1103.6 1103.94 c Sol. found (all assignments made)... 1103.94 o -142004181250 1103.94 c NEW SOLUTION FOUND: -142004181250 @ 1103.6 1103.95 c Sol. found (all assignments made)... 1103.95 o -142004181400 1103.95 c NEW SOLUTION FOUND: -142004181400 @ 1103.6 1103.97 c Sol. found (all assignments made)... 1103.97 o -142063163800 1103.97 c NEW SOLUTION FOUND: -142063163800 @ 1103.6 1103.98 c Sol. found (all assignments made)... 1103.98 o -142063165736 1103.98 c NEW SOLUTION FOUND: -142063165736 @ 1103.6 1104.00 c Sol. found (all assignments made)... 1104.00 o -142063169608 1104.00 c NEW SOLUTION FOUND: -142063169608 @ 1103.7 1104.02 c Sol. found (all assignments made)... 1104.02 o -142063179208 1104.02 c NEW SOLUTION FOUND: -142063179208 @ 1103.7 1104.05 c Sol. found (all assignments made)... 1104.05 o -142063832008 1104.05 c NEW SOLUTION FOUND: -142063832008 @ 1103.7 1104.06 c Sol. found (all assignments made)... 1104.06 o -142064408008 1104.06 c NEW SOLUTION FOUND: -142064408008 @ 1103.7 1104.09 c Sol. found (all assignments made)... 1104.09 o -142064408976 1104.09 c NEW SOLUTION FOUND: -142064408976 @ 1103.8 1104.13 c Sol. found (all assignments made)... 1104.13 o -142064523280 1104.13 c NEW SOLUTION FOUND: -142064523280 @ 1103.8 1104.14 c Sol. found (all assignments made)... 1104.14 o -142064532880 1104.14 c NEW SOLUTION FOUND: -142064532880 @ 1103.8 1104.18 c Sol. found (all assignments made)... 1104.18 o -142064817256 1104.18 c NEW SOLUTION FOUND: -142064817256 @ 1103.8 1104.19 c Sol. found (all assignments made)... 1104.19 o -142064817856 1104.19 c NEW SOLUTION FOUND: -142064817856 @ 1103.8 1104.20 c Sol. found (all assignments made)... 1104.20 o -142064822172 1104.20 c NEW SOLUTION FOUND: -142064822172 @ 1103.9 1104.21 c Sol. found (all assignments made)... 1104.21 o -142064822656 1104.21 c NEW SOLUTION FOUND: -142064822656 @ 1103.9 1104.22 c Sol. found (all assignments made)... 1104.22 o -142064824592 1104.22 c NEW SOLUTION FOUND: -142064824592 @ 1103.9 1104.24 c Sol. found (all assignments made)... 1104.24 o -142064837680 1104.24 c NEW SOLUTION FOUND: -142064837680 @ 1103.9 1104.26 c Sol. found (all assignments made)... 1104.26 o -142064840080 1104.26 c NEW SOLUTION FOUND: -142064840080 @ 1103.9 1104.30 c Sol. found (all assignments made)... 1104.30 o -142064851696 1104.30 c NEW SOLUTION FOUND: -142064851696 @ 1104 1104.31 c Sol. found (all assignments made)... 1104.31 o -142064855568 1104.31 c NEW SOLUTION FOUND: -142064855568 @ 1104 1104.35 c Sol. found (all assignments made)... 1104.35 o -142065691664 1104.35 c NEW SOLUTION FOUND: -142065691664 @ 1104 1104.37 c Sol. found (all assignments made)... 1104.37 o -142065753616 1104.37 c NEW SOLUTION FOUND: -142065753616 @ 1104 1104.38 c Sol. found (all assignments made)... 1104.38 o -142065815568 1104.38 c NEW SOLUTION FOUND: -142065815568 @ 1104 1104.53 c Sol. found (all assignments made)... 1104.53 o -142065816018 1104.53 c NEW SOLUTION FOUND: -142065816018 @ 1104.2 1104.55 c Sol. found (all assignments made)... 1104.55 o -142065816618 1104.55 c NEW SOLUTION FOUND: -142065816618 @ 1104.2 1104.58 c Sol. found (all assignments made)... 1104.58 o -142065816768 1104.58 c NEW SOLUTION FOUND: -142065816768 @ 1104.2 1104.76 c Sol. found (all assignments made)... 1104.76 o -148810624090 1104.76 c NEW SOLUTION FOUND: -148810624090 @ 1104.4 1104.77 c Sol. found (all assignments made)... 1104.77 o -149261184090 1104.77 c NEW SOLUTION FOUND: -149261184090 @ 1104.4 1104.81 c Sol. found (all assignments made)... 1104.81 o -149261246042 1104.81 c NEW SOLUTION FOUND: -149261246042 @ 1104.5 1104.82 c Sol. found (all assignments made)... 1104.82 o -149266161242 1104.82 c NEW SOLUTION FOUND: -149266161242 @ 1104.5 1104.89 c Sol. found (all assignments made)... 1104.89 o -149266869578 1104.89 c NEW SOLUTION FOUND: -149266869578 @ 1104.6 1105.10 c Sol. found (all assignments made)... 1105.10 o -149266892190 1105.10 c NEW SOLUTION FOUND: -149266892190 @ 1104.8 1105.12 c Sol. found (all assignments made)... 1105.12 o -149266903826 1105.12 c NEW SOLUTION FOUND: -149266903826 @ 1104.8 1105.12 c Sol. found (all assignments made)... 1105.12 o -149266904794 1105.12 c NEW SOLUTION FOUND: -149266904794 @ 1104.8 1105.14 c Sol. found (all assignments made)... 1105.14 o -149266907194 1105.14 c NEW SOLUTION FOUND: -149266907194 @ 1104.8 1105.15 c Sol. found (all assignments made)... 1105.15 o -149266907678 1105.15 c NEW SOLUTION FOUND: -149266907678 @ 1104.8 1105.16 c Sol. found (all assignments made)... 1105.16 o -149266907978 1105.16 c NEW SOLUTION FOUND: -149266907978 @ 1104.8 1105.26 c Sol. found (all assignments made)... 1105.26 o -149266983936 1105.26 c NEW SOLUTION FOUND: -149266983936 @ 1104.9 1105.27 c Sol. found (all assignments made)... 1105.27 o -149266984178 1105.27 c NEW SOLUTION FOUND: -149266984178 @ 1104.9 1105.28 c Sol. found (all assignments made)... 1105.28 o -149266984778 1105.28 c NEW SOLUTION FOUND: -149266984778 @ 1104.9 1105.34 c Sol. found (all assignments made)... 1105.34 o -149403697378 1105.34 c NEW SOLUTION FOUND: -149403697378 @ 1105 1105.37 c Sol. found (all assignments made)... 1105.37 o -149404324578 1105.37 c NEW SOLUTION FOUND: -149404324578 @ 1105 1105.37 c Sol. found (all assignments made)... 1105.37 o -149404397506 1105.37 c NEW SOLUTION FOUND: -149404397506 @ 1105 1105.38 c Sol. found (all assignments made)... 1105.38 o -149404401378 1105.38 c NEW SOLUTION FOUND: -149404401378 @ 1105 1105.44 c Sol. found (all assignments made)... 1105.44 o -149404610378 1105.44 c NEW SOLUTION FOUND: -149404610378 @ 1105.1 1105.51 c Sol. found (all assignments made)... 1105.51 o -149404610528 1105.51 c NEW SOLUTION FOUND: -149404610528 @ 1105.2 1106.30 c Sol. found (all assignments made)... 1106.30 o -149414258528 1106.30 c NEW SOLUTION FOUND: -149414258528 @ 1106 1106.31 c Sol. found (all assignments made)... 1106.31 o -149414296928 1106.31 c NEW SOLUTION FOUND: -149414296928 @ 1106 1106.33 c Sol. found (all assignments made)... 1106.33 o -149414440928 1106.33 c NEW SOLUTION FOUND: -149414440928 @ 1106 1106.49 c Sol. found (all assignments made)... 1106.49 o -149414456256 1106.49 c NEW SOLUTION FOUND: -149414456256 @ 1106.2 1106.51 c Sol. found (all assignments made)... 1106.51 o -149414460128 1106.51 c NEW SOLUTION FOUND: -149414460128 @ 1106.2 1106.56 c Sol. found (all assignments made)... 1106.56 o -149414680920 1106.56 c NEW SOLUTION FOUND: -149414680920 @ 1106.2 1106.57 c Sol. found (all assignments made)... 1106.57 o -149414684792 1106.57 c NEW SOLUTION FOUND: -149414684792 @ 1106.2 1106.59 c Sol. found (all assignments made)... 1106.59 o -149414742872 1106.59 c NEW SOLUTION FOUND: -149414742872 @ 1106.2 1106.60 c Sol. found (all assignments made)... 1106.60 o -149414746744 1106.60 c NEW SOLUTION FOUND: -149414746744 @ 1106.3 1106.61 c Sol. found (all assignments made)... 1106.61 o -149414889920 1106.61 c NEW SOLUTION FOUND: -149414889920 @ 1106.3 1106.62 c Sol. found (all assignments made)... 1106.62 o -149414893792 1106.62 c NEW SOLUTION FOUND: -149414893792 @ 1106.3 1106.63 c Sol. found (all assignments made)... 1106.63 o -149414951872 1106.63 c NEW SOLUTION FOUND: -149414951872 @ 1106.3 1106.65 c Sol. found (all assignments made)... 1106.65 o -149414955744 1106.65 c NEW SOLUTION FOUND: -149414955744 @ 1106.3 1106.70 c Sol. found (all assignments made)... 1106.70 o -149414956344 1106.70 c NEW SOLUTION FOUND: -149414956344 @ 1106.4 1107.01 c Sol. found (all assignments made)... 1107.01 o -149462902456 1107.01 c NEW SOLUTION FOUND: -149462902456 @ 1106.7 1107.02 c Sol. found (all assignments made)... 1107.02 o -149463516856 1107.02 c NEW SOLUTION FOUND: -149463516856 @ 1106.7 1107.04 c Sol. found (all assignments made)... 1107.04 o -149463532344 1107.04 c NEW SOLUTION FOUND: -149463532344 @ 1106.7 1107.05 c Sol. found (all assignments made)... 1107.05 o -149483177656 1107.05 c NEW SOLUTION FOUND: -149483177656 @ 1106.7 1107.05 c Sol. found (all assignments made)... 1107.05 o -149483193144 1107.05 c NEW SOLUTION FOUND: -149483193144 @ 1106.7 1107.06 c Sol. found (all assignments made)... 1107.06 o -149493008056 1107.06 c NEW SOLUTION FOUND: -149493008056 @ 1106.7 1107.07 c Sol. found (all assignments made)... 1107.07 o -149493023544 1107.07 c NEW SOLUTION FOUND: -149493023544 @ 1106.7 1107.09 c Sol. found (all assignments made)... 1107.09 o -149493584056 1107.09 c NEW SOLUTION FOUND: -149493584056 @ 1106.7 1107.09 c Sol. found (all assignments made)... 1107.09 o -149493599544 1107.09 c NEW SOLUTION FOUND: -149493599544 @ 1106.7 1107.58 c Sol. found (all assignments made)... 1107.58 o -149511455394 1107.58 c NEW SOLUTION FOUND: -149511455394 @ 1107.2 1107.59 c Sol. found (all assignments made)... 1107.59 o -149512684194 1107.59 c NEW SOLUTION FOUND: -149512684194 @ 1107.2 1107.60 c Sol. found (all assignments made)... 1107.60 o -149512684344 1107.60 c NEW SOLUTION FOUND: -149512684344 @ 1107.3 1107.63 c Sol. found (all assignments made)... 1107.63 o -149513260194 1107.63 c NEW SOLUTION FOUND: -149513260194 @ 1107.3 1107.65 c Sol. found (all assignments made)... 1107.65 o -149513260344 1107.65 c NEW SOLUTION FOUND: -149513260344 @ 1107.3 1107.84 c Sol. found (all assignments made)... 1107.84 o -149560607544 1107.84 c NEW SOLUTION FOUND: -149560607544 @ 1107.5 1107.86 c Sol. found (all assignments made)... 1107.86 o -149561836344 1107.86 c NEW SOLUTION FOUND: -149561836344 @ 1107.5 1107.89 c Sol. found (all assignments made)... 1107.89 o -149590098744 1107.89 c NEW SOLUTION FOUND: -149590098744 @ 1107.5 1107.91 c Sol. found (all assignments made)... 1107.91 o -149591327544 1107.91 c NEW SOLUTION FOUND: -149591327544 @ 1107.6 1107.95 c Sol. found (all assignments made)... 1107.95 o -149591903544 1107.95 c NEW SOLUTION FOUND: -149591903544 @ 1107.6 1108.38 c Sol. found (all assignments made)... 1108.38 o -149611087198 1108.38 c NEW SOLUTION FOUND: -149611087198 @ 1108 1108.42 c Sol. found (all assignments made)... 1108.42 o -149611211102 1108.42 c NEW SOLUTION FOUND: -149611211102 @ 1108.1 1108.45 c Sol. found (all assignments made)... 1108.45 o -149620553849 1108.45 c NEW SOLUTION FOUND: -149620553849 @ 1108.1 1108.46 c Sol. found (all assignments made)... 1108.46 o -149620553970 1108.46 c NEW SOLUTION FOUND: -149620553970 @ 1108.1 1108.47 c Sol. found (all assignments made)... 1108.47 o -149620561714 1108.47 c NEW SOLUTION FOUND: -149620561714 @ 1108.1 1108.53 c Sol. found (all assignments made)... 1108.53 o -149620562014 1108.53 c NEW SOLUTION FOUND: -149620562014 @ 1108.2 1108.54 c Sol. found (all assignments made)... 1108.54 o -149620571390 1108.54 c NEW SOLUTION FOUND: -149620571390 @ 1108.2 1108.55 c Sol. found (all assignments made)... 1108.55 o -149620573790 1108.55 c NEW SOLUTION FOUND: -149620573790 @ 1108.2 1108.57 c Sol. found (all assignments made)... 1108.57 o -149620588190 1108.57 c NEW SOLUTION FOUND: -149620588190 @ 1108.2 1108.59 c Sol. found (all assignments made)... 1108.59 o -149620592990 1108.59 c NEW SOLUTION FOUND: -149620592990 @ 1108.2 1108.63 c Sol. found (all assignments made)... 1108.63 o -149620660130 1108.63 c NEW SOLUTION FOUND: -149620660130 @ 1108.3 1108.65 c Sol. found (all assignments made)... 1108.65 o -149620661098 1108.65 c NEW SOLUTION FOUND: -149620661098 @ 1108.3 1108.67 c Sol. found (all assignments made)... 1108.67 o -149620662066 1108.67 c NEW SOLUTION FOUND: -149620662066 @ 1108.3 1108.69 c Sol. found (all assignments made)... 1108.69 o -149620663034 1108.69 c NEW SOLUTION FOUND: -149620663034 @ 1108.3 1108.71 c Sol. found (all assignments made)... 1108.71 o -149620666906 1108.71 c NEW SOLUTION FOUND: -149620666906 @ 1108.4 1108.74 c Sol. found (all assignments made)... 1108.74 o -149620669185 1108.74 c NEW SOLUTION FOUND: -149620669185 @ 1108.4 1108.77 c Sol. found (all assignments made)... 1108.77 o -149620669306 1108.77 c NEW SOLUTION FOUND: -149620669306 @ 1108.4 1108.80 c Sol. found (all assignments made)... 1108.80 o -149620669790 1108.80 c NEW SOLUTION FOUND: -149620669790 @ 1108.4 1108.83 c Sol. found (all assignments made)... 1108.83 o -149620917598 1108.83 c NEW SOLUTION FOUND: -149620917598 @ 1108.5 1108.87 c Sol. found (all assignments made)... 1108.87 o -149621041502 1108.87 c NEW SOLUTION FOUND: -149621041502 @ 1108.5 1108.92 c Sol. found (all assignments made)... 1108.92 o -149621250502 1108.92 c NEW SOLUTION FOUND: -149621250502 @ 1108.6 1108.96 c Sol. found (all assignments made)... 1108.96 o -149621394502 1108.96 c NEW SOLUTION FOUND: -149621394502 @ 1108.6 1109.02 c Sol. found (all assignments made)... 1109.02 o -149621394744 1109.02 c NEW SOLUTION FOUND: -149621394744 @ 1108.7 1109.12 c Sol. found (all assignments made)... 1109.12 o -149630649144 1109.12 c NEW SOLUTION FOUND: -149630649144 @ 1108.8 1109.20 c Sol. found (all assignments made)... 1109.20 o -149640479544 1109.20 c NEW SOLUTION FOUND: -149640479544 @ 1108.8 1109.31 c Sol. found (all assignments made)... 1109.31 o -149641055544 1109.31 c NEW SOLUTION FOUND: -149641055544 @ 1109 1109.52 c Sol. found (all assignments made)... 1109.52 o -149644944952 1109.52 c NEW SOLUTION FOUND: -149644944952 @ 1109.2 1109.53 c Sol. found (all assignments made)... 1109.53 o -149644950840 1109.53 c NEW SOLUTION FOUND: -149644950840 @ 1109.2 1109.53 c Sol. found (all assignments made)... 1109.53 o -149644958264 1109.53 c NEW SOLUTION FOUND: -149644958264 @ 1109.2 1109.56 c Sol. found (all assignments made)... 1109.56 o -149644960024 1109.56 c NEW SOLUTION FOUND: -149644960024 @ 1109.2 1109.57 c Sol. found (all assignments made)... 1109.57 o -149644960140 1109.57 c NEW SOLUTION FOUND: -149644960140 @ 1109.2 1109.73 c Sol. found (all assignments made)... 1109.73 o -149644960232 1109.73 c NEW SOLUTION FOUND: -149644960232 @ 1109.4 1109.82 c Sol. found (all assignments made)... 1109.82 o -149653128422 1109.82 c NEW SOLUTION FOUND: -149653128422 @ 1109.5 1109.84 c Sol. found (all assignments made)... 1109.84 o -149653252326 1109.84 c NEW SOLUTION FOUND: -149653252326 @ 1109.5 1109.85 c Sol. found (all assignments made)... 1109.85 o -149653329126 1109.85 c NEW SOLUTION FOUND: -149653329126 @ 1109.5 1109.87 c Sol. found (all assignments made)... 1109.87 o -149653344614 1109.87 c NEW SOLUTION FOUND: -149653344614 @ 1109.5 1109.89 c Sol. found (all assignments made)... 1109.89 o -149654568528 1109.89 c NEW SOLUTION FOUND: -149654568528 @ 1109.5 1109.91 c Sol. found (all assignments made)... 1109.91 o -149654573414 1109.91 c NEW SOLUTION FOUND: -149654573414 @ 1109.6 1109.93 c Sol. found (all assignments made)... 1109.93 o -149654573530 1109.93 c NEW SOLUTION FOUND: -149654573530 @ 1109.6 1109.96 c Sol. found (all assignments made)... 1109.96 o -149654575952 1109.96 c NEW SOLUTION FOUND: -149654575952 @ 1109.6 1109.98 c Sol. found (all assignments made)... 1109.98 o -149654580228 1109.98 c NEW SOLUTION FOUND: -149654580228 @ 1109.6 1110.00 c Sol. found (all assignments made)... 1110.00 o -149654580954 1110.00 c NEW SOLUTION FOUND: -149654580954 @ 1109.6 1110.06 c Sol. found (all assignments made)... 1110.06 o -149654581046 1110.06 c NEW SOLUTION FOUND: -149654581046 @ 1109.7 1110.09 c Sol. found (all assignments made)... 1110.09 o -149654767928 1110.09 c NEW SOLUTION FOUND: -149654767928 @ 1109.7 1110.11 c Sol. found (all assignments made)... 1110.11 o -149654777528 1110.11 c NEW SOLUTION FOUND: -149654777528 @ 1109.8 1110.13 c Sol. found (all assignments made)... 1110.13 o -149654779404 1110.13 c NEW SOLUTION FOUND: -149654779404 @ 1109.8 1110.15 c Sol. found (all assignments made)... 1110.15 o -149654779496 1110.15 c NEW SOLUTION FOUND: -149654779496 @ 1109.8 1110.18 c Sol. found (all assignments made)... 1110.18 o -149654784952 1110.18 c NEW SOLUTION FOUND: -149654784952 @ 1109.8 1110.20 c Sol. found (all assignments made)... 1110.20 o -149654786828 1110.20 c NEW SOLUTION FOUND: -149654786828 @ 1109.8 1110.22 c Sol. found (all assignments made)... 1110.22 o -149654786920 1110.22 c NEW SOLUTION FOUND: -149654786920 @ 1109.9 1110.26 c Sol. found (all assignments made)... 1110.26 o -149654788664 1110.26 c NEW SOLUTION FOUND: -149654788664 @ 1109.9 1110.28 c Sol. found (all assignments made)... 1110.28 o -149654790540 1110.28 c NEW SOLUTION FOUND: -149654790540 @ 1109.9 1110.30 c Sol. found (all assignments made)... 1110.30 o -149654790632 1110.30 c NEW SOLUTION FOUND: -149654790632 @ 1109.9 1110.64 c Sol. found (all assignments made)... 1110.64 o -149664396752 1110.64 c NEW SOLUTION FOUND: -149664396752 @ 1110.3 1110.66 c Sol. found (all assignments made)... 1110.66 o -149664605752 1110.66 c NEW SOLUTION FOUND: -149664605752 @ 1110.3 1110.70 c Sol. found (all assignments made)... 1110.70 o -149664607928 1110.70 c NEW SOLUTION FOUND: -149664607928 @ 1110.3 1110.74 c Sol. found (all assignments made)... 1110.74 o -149664615352 1110.74 c NEW SOLUTION FOUND: -149664615352 @ 1110.4 1110.80 c Sol. found (all assignments made)... 1110.80 o -149664617228 1110.80 c NEW SOLUTION FOUND: -149664617228 @ 1110.4 1110.83 c Sol. found (all assignments made)... 1110.83 o -149664617320 1110.83 c NEW SOLUTION FOUND: -149664617320 @ 1110.5 1110.90 c Sol. found (all assignments made)... 1110.90 o -149664619064 1110.90 c NEW SOLUTION FOUND: -149664619064 @ 1110.6 1110.94 c Sol. found (all assignments made)... 1110.94 o -149664620940 1110.94 c NEW SOLUTION FOUND: -149664620940 @ 1110.6 1110.97 c Sol. found (all assignments made)... 1110.97 o -149664621032 1110.97 c NEW SOLUTION FOUND: -149664621032 @ 1110.6 1114.38 c Restart #16 #Var: 3056 LB: -4267178235500 @ 1114 1176.10 c Restart #17 #Var: 3056 LB: -4267178235500 @ 1175.7 1194.08 c Restart #18 #Var: 3056 LB: -4267178235500 @ 1193.7 1219.27 c Restart #19 #Var: 3056 LB: -4267178235500 @ 1218.9 1236.14 c CHANGE to MIS mode... UB: -149664621032 MIS: -4240389155000 LPR: -2147483648 (0) Diff: 1974.6 1236.14 c Restart #0 #Var: 3056 LB: -4267178235500 @ 1235.7 1243.62 c Restart #1 #Var: 3056 LB: -4240389155000 @ 1243.2 1253.20 c Restart #2 #Var: 3056 LB: -4240389155000 @ 1252.8 1257.11 c Restart #3 #Var: 3056 LB: -4240389155000 @ 1256.7 1262.38 c Restart #4 #Var: 3056 LB: -4240389155000 @ 1262 1268.14 c Restart #5 #Var: 3056 LB: -4240389155000 @ 1267.7 1274.20 c Restart #6 #Var: 3056 LB: -4240389155000 @ 1273.8 1281.12 c Restart #7 #Var: 3056 LB: -4240389155000 @ 1280.7 1289.88 c Restart #8 #Var: 3056 LB: -4240389155000 @ 1289.5 1299.11 c Restart #9 #Var: 3056 LB: -4240389155000 @ 1298.7 1311.82 c Restart #10 #Var: 3056 LB: -4240389155000 @ 1311.4 1316.82 c Restart #11 #Var: 3056 LB: -4240389155000 @ 1316.4 1335.52 c Restart #12 #Var: 3055 LB: -4177474602500 @ 1335.1 1342.80 c Restart #13 #Var: 3055 LB: -4177474602500 @ 1342.4 1379.52 c Restart #14 #Var: 3055 LB: -4177474602500 @ 1379.1 1397.43 c Restart #15 #Var: 3055 LB: -4177474602500 @ 1397 1409.53 c Restart #16 #Var: 3055 LB: -4177474602500 @ 1409.1 1427.67 c Restart #17 #Var: 3055 LB: -4177474602500 @ 1427.2 1447.53 c Restart #18 #Var: 3055 LB: -4177474602500 @ 1447.1 1461.91 c Restart #19 #Var: 3055 LB: -4177474602500 @ 1461.5 1589.01 c Restart #20 #Var: 3055 LB: -4177474602500 @ 1588.5 1603.74 c Restart #21 #Var: 3055 LB: -4177474602500 @ 1603.2 1624.73 c Restart #22 #Var: 3055 LB: -4177474602500 @ 1624.2 1689.17 c Restart #23 #Var: 3055 LB: -4177474602500 @ 1688.6 1709.18 c Restart #24 #Var: 3055 LB: -4177474602500 @ 1708.6 1728.03 c Restart #25 #Var: 3055 LB: -4177474602500 @ 1727.4 1749.15 c Restart #26 #Var: 3055 LB: -4177474602500 @ 1748.5 1772.24 c Restart #27 #Var: 3055 LB: -4177474602500 @ 1771.6 1800.62 s SATISFIABLE 1800.62 c Cost: -149664621032 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 x61 -x62 x63 -x64 -x65 x66 x67 x68 x69 x70 x71 x72 x73 -x74 x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 1800.62 v -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 1800.62 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 1800.62 v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 1800.62 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 1800.62 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 1800.62 v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 1800.62 v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 1800.62 v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 1800.62 v -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 1800.62 v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 1800.62 v -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 1800.62 v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 1800.62 v -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 1800.62 v -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 1800.62 v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 1800.62 v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 1800.62 v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 1800.62 v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 1800.62 v -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 1800.62 v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 1800.62 v -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 x527 1800.62 v -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 1800.62 v -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 1800.62 v -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 1800.62 v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 1800.62 v -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 1800.62 v -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 1800.62 v -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 1800.62 v -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 x695 1800.62 v -x696 -x697 -x698 -x699 -x700 x701 x702 x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 1800.62 v -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 1800.62 v -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 1800.62 v -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 1800.62 v -x780 -x781 -x782 -x783 -x784 -x785 x786 x787 x788 x789 x790 x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 1800.62 v -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 x821 -x822 1800.62 v -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 x841 -x842 -x843 1800.62 v x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 1800.62 v -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 1800.62 v -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 x903 -x904 -x905 -x906 1800.62 v -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 1800.62 v -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 1800.62 v -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 1800.62 v -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 1800.62 v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 1800.62 v -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 1800.62 v -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 1800.62 v -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 1800.62 v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 1800.62 v -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 1800.62 v -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 1800.62 v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 1800.62 v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 1800.62 v -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 1800.62 v -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 1800.62 v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 1800.62 v -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 1800.62 v -x1214 -x1215 -x1216 -x1217 x1218 -x1219 x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 1800.62 v -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 x1243 x1244 -x1245 -x1246 x1247 -x1248 -x1249 1800.62 v -x1250 x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 1800.62 v -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 1800.62 v -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 1800.62 v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 1800.62 v -x1318 -x1319 -x1320 -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 -x1386 1800.62 v -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 -x1438 1800.62 v -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 1800.62 v -x1456 -x1457 x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 1800.62 v -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 x1481 -x1482 -x1483 x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 1800.62 v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 x1505 -x1506 -x1507 1800.62 v -x1508 -x1509 x1510 x1511 -x1512 -x1513 -x1514 -x1515 x1516 -x1517 -x1518 -x1519 -x1520 x1521 -x1522 -x1523 -x1524 -x1525 1800.62 v -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 1800.62 v x1543 x1544 x1545 x1546 -x1547 -x1548 x1549 x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 1800.62 v -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 1800.62 v -x1578 -x1579 -x1580 x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 x1591 -x1592 x1593 -x1594 x1595 1800.62 v x1596 -x1597 -x1598 -x1599 -x1600 -x1601 x1602 -x1603 x1604 -x1605 -x1606 -x1607 -x1608 -x1609 x1610 -x1611 -x1612 -x1613 1800.62 v -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 x1621 x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 1800.62 v -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 1800.62 v -x1649 -x1650 -x1651 x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 x1662 -x1663 -x1664 -x1665 -x1666 1800.62 v -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 1800.62 v x1684 -x1685 -x1686 -x1687 -x1688 x1689 -x1690 -x1691 x1692 -x1693 -x1694 -x1695 x1696 x1697 -x1698 -x1699 -x1700 -x1701 1800.62 v -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 x1715 -x1716 x1717 -x1718 x1719 1800.62 v -x1720 -x1721 x1722 x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 1800.62 v -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 1800.62 v -x1755 -x1756 x1757 -x1758 -x1759 x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 1800.62 v -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 x1780 x1781 x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 1800.62 v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 x1803 x1804 -x1805 -x1806 -x1807 -x1808 1800.62 v x1809 -x1810 -x1811 x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 1800.62 v -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 x1840 x1841 -x1842 -x1843 -x1844 1800.62 v -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 1800.62 v -x1862 -x1863 -x1864 -x1865 -x1866 x1867 -x1868 x1869 x1870 -x1871 -x1872 -x1873 x1874 -x1875 -x1876 -x1877 -x1878 -x1879 1800.62 v -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 x1891 -x1892 -x1893 -x1894 -x1895 -x1896 1800.62 v -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 1800.62 v -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 x1929 -x1930 1800.62 v x1931 -x1932 -x1933 x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 1800.62 v -x1949 -x1950 x1951 x1952 -x1953 x1954 -x1955 x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 1800.62 v -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 1800.62 v -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 1800.62 v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 1800.62 v -x2018 -x2019 x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 1800.62 v -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 x2049 -x2050 -x2051 1800.62 v x2052 -x2053 x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 1800.62 v -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 x2084 -x2085 -x2086 1800.62 v -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 x2102 -x2103 1800.62 v x2104 -x2105 x2106 -x2107 x2108 x2109 -x2110 -x2111 -x2112 x2113 -x2114 x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 1800.62 v -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 x2134 -x2135 -x2136 -x2137 -x2138 1800.62 v x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 1800.62 v -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 x2167 -x2168 -x2169 x2170 -x2171 -x2172 -x2173 1800.62 v x2174 -x2175 -x2176 -x2177 -x2178 -x2179 x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 1800.62 v -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 x2204 -x2205 x2206 x2207 -x2208 -x2209 1800.62 v x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 1800.62 v -x2227 -x2228 x2229 x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 1800.62 v -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 x2255 -x2256 -x2257 x2258 x2259 -x2260 -x2261 -x2262 1800.62 v x2263 -x2264 -x2265 x2266 -x2267 x2268 -x2269 -x2270 x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 1800.62 v -x2281 -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 -x2311 -x2312 -x2313 -x2314 -x2315 1800.62 v -x2316 -x2317 -x2318 -x2319 -x2320 x2321 x2322 -x2323 -x2324 -x2325 x2326 x2327 -x2328 -x2329 -x2330 x2331 -x2332 -x2333 1800.62 v -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 x2348 x2349 -x2350 -x2351 1800.62 v -x2352 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 1800.62 v x2387 x2388 -x2389 x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 x2402 -x2403 -x2404 1800.62 v -x2405 -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 -x2440 1800.62 v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 x2448 x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 1800.62 v -x2459 -x2460 x2461 -x2462 -x2463 -x2464 x2465 x2466 -x2467 -x2468 x2469 -x2470 x2471 x2472 x2473 x2474 x2475 -x2476 x2477 1800.62 v x2478 x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 1800.62 v -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 x2504 x2505 x2506 -x2507 -x2508 -x2509 x2510 -x2511 -x2512 -x2513 1800.62 v -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x3961 x3962 x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 1800.62 v -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 1800.62 v -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 1800.62 v -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 1800.62 v x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 1800.62 v -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 x4056 1800.62 v -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 1800.62 v -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 x4086 -x4087 -x4088 x4089 x4090 -x4091 1800.62 v x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 1800.62 v -x4109 -x4110 -x3421 -x3422 -x3423 -x3424 x3425 x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 1800.62 v -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 x3452 x3453 -x3454 1800.62 v x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 1800.62 v -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 x3485 x3486 -x3487 -x3488 -x3489 1800.62 v -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 1800.62 v -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 x3514 x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 1800.62 v -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 1800.62 v x3542 -x3543 x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 1800.62 v -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 1800.62 v -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 1800.62 v -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 x2915 -x2916 -x2917 -x2918 -x2919 -x2920 1800.62 v -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 1800.62 v -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 x2949 -x2950 -x2951 -x2952 -x2953 -x2954 1800.62 v -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 x2971 1800.62 v -x2972 x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 1800.62 v -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 x3001 -x3002 -x3003 -x3004 -x3005 1800.62 v -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 1800.62 v -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 1800.62 v -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 1800.62 v -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 1800.62 v -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 1800.62 v -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 1800.62 v -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 1800.62 v -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 1800.62 v -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 x3153 -x3154 x3155 -x3156 -x3157 x3158 -x3159 1800.62 v -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 1800.62 v -x3177 -x3178 -x3179 -x3180 -x3181 x3182 -x3183 -x3184 -x3185 -x3186 -x3187 x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 1800.62 v -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 x3211 1800.62 v -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 1800.62 v -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x2521 -x2522 -x2523 -x2524 x2525 1800.62 v -x2526 -x2527 x2528 x2529 x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 1800.62 v -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 1800.62 v -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 1800.62 v -x3268 -x3269 -x3270 x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 1800.62 v -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x2551 1800.62 v -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 1800.62 v -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 x3271 -x3272 x3273 -x3274 -x3275 -x3276 1800.62 v -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 1800.62 v -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 1800.62 v -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 1800.62 v -x3658 -x3659 -x3660 -x2581 -x2582 x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 x2591 -x2592 -x2593 -x2594 -x2595 1800.62 v -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x3301 -x3302 1800.62 v x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 1800.62 v -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 1800.62 v -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 1800.62 v -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x2611 -x2612 -x2613 -x2614 -x2615 x2616 -x2617 x2618 -x2619 -x2620 -x2621 1800.62 v -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 1800.62 v -x2639 -x2640 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 1800.62 v -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3691 -x3692 1800.62 v -x3693 -x3694 x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 1800.62 v -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x2641 -x2642 x2643 -x2644 -x2645 -x2646 1800.62 v -x2647 x2648 x2649 x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 1800.62 v -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x3361 x3362 x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 1800.62 v -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 1800.62 v -x3390 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 1800.62 v -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x2671 -x2672 -x2673 1800.62 v -x2674 -x2675 -x2676 x2677 x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 1800.62 v -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 1800.62 v -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 1800.62 v -x3416 -x3417 -x3418 -x3419 -x3420 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 1800.62 v -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 1800.62 v -x3780 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 1800.62 v -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x3781 -x3782 -x3783 1800.62 v -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 1800.62 v -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 x2731 x2732 x2733 x2734 -x2735 x2736 x2737 -x2738 1800.62 v -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 1800.62 v -x2756 -x2757 -x2758 -x2759 -x2760 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 1800.62 v -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 1800.62 v -x3840 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 -x3841 -x3842 -x3843 -x3844 1800.62 v x3845 -x3846 -x3847 -x3848 x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 1800.62 v -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x2791 -x2792 x2793 x2794 x2795 x2796 -x2797 -x2798 -x2799 -x2800 1800.62 v x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 1800.62 v -x2818 -x2819 -x2820 -x3871 -x3872 -x3873 -x3874 x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 1800.62 v -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 x2821 1800.62 v x2822 -x2823 -x2824 -x2825 -x2826 x2827 x2828 -x2829 x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 1800.62 v -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 1800.62 v -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 1800.62 v -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x2851 -x2852 -x2853 x2854 -x2855 -x2856 -x2857 -x2858 -x2859 x2860 -x2861 1800.62 v -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 1800.62 v -x2879 -x2880 -x3571 -x3572 -x3573 -x3574 -x3575 x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 1800.62 v -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3931 -x3932 1800.62 v x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 1800.62 v -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 1800.62 v -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 1800.62 v -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 x4148 -x4149 x4150 x4151 1800.62 v -x4152 -x4153 x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 1800.62 v -x4169 -x4170 -x4171 -x4172 x4173 -x4174 -x4175 -x4176 -x4177 x4178 -x4179 -x4180 x4181 x4182 -x4183 -x4184 -x4185 x4186 1800.62 v -x4187 -x4188 x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 1800.62 v -x4204 -x4205 -x4206 -x4207 x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 1800.62 v -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 1800.62 v -x4238 -x4239 -x4240 -x4241 -x4242 x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 1800.62 v -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 1800.62 c Exit Code: 10 1800.62 c Total time: 1800 s
OK -149664621032
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/node84/watcher-40627-1149309265 -o ROOT/results/node84/solver-40627-1149309265 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node84/40627-1149309265/instance-40627-1149309265.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.85 0.99 0.99 2/67 22245 /proc/meminfo: memFree=1571688/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=3440 CPUtime=0 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 63 0 0 0 0 0 0 0 19 0 1 0 196565763 3522560 46 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8106932 0 0 4096 0 0 0 0 17 1 0 0 /proc/22245/statm: 860 46 33 55 0 42 0 [startup+10.0022 s] /proc/loadavg: 0.87 0.99 0.99 2/67 22245 /proc/meminfo: memFree=1555880/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=20732 CPUtime=9.98 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 4377 0 0 0 995 3 0 0 25 0 1 0 196565763 21229568 4293 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 0 0 0 /proc/22245/statm: 5183 4293 294 55 0 4074 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 20732 [startup+20.0083 s] /proc/loadavg: 0.89 0.99 0.99 2/67 22245 /proc/meminfo: memFree=1555880/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=20732 CPUtime=19.98 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 4386 0 0 0 1994 4 0 0 25 0 1 0 196565763 21229568 4302 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555987 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 5183 4302 294 55 0 4074 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 20732 [startup+30.0144 s] /proc/loadavg: 0.91 0.99 0.99 2/67 22245 /proc/meminfo: memFree=1555752/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=20852 CPUtime=29.98 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 4416 0 0 0 2992 6 0 0 25 0 1 0 196565763 21352448 4332 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 5213 4332 294 55 0 4104 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 20852 [startup+40.0194 s] /proc/loadavg: 0.92 0.99 0.99 2/67 22245 /proc/meminfo: memFree=1555048/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=21484 CPUtime=39.99 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 4623 0 0 0 3990 9 0 0 25 0 1 0 196565763 21999616 4498 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533780 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 5371 4498 294 55 0 4262 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 21484 [startup+50.0255 s] /proc/loadavg: 0.93 0.99 0.99 2/67 22245 /proc/meminfo: memFree=1554152/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=22460 CPUtime=49.98 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 4876 0 0 0 4988 10 0 0 25 0 1 0 196565763 22999040 4746 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644452 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 5615 4746 294 55 0 4506 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 22460 [startup+60.0316 s] /proc/loadavg: 0.94 0.99 0.99 2/67 22245 /proc/meminfo: memFree=1552488/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=24048 CPUtime=60 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 5281 0 0 0 5988 12 0 0 25 0 1 0 196565763 24625152 5151 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 6012 5151 294 55 0 4903 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 24048 [startup+70.0377 s] /proc/loadavg: 0.95 0.99 0.99 2/67 22245 /proc/meminfo: memFree=1552488/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=24048 CPUtime=70 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 5281 0 0 0 6987 13 0 0 25 0 1 0 196565763 24625152 5151 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644452 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 6012 5151 294 55 0 4903 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 24048 [startup+80.0438 s] /proc/loadavg: 0.96 0.99 0.99 2/67 22245 /proc/meminfo: memFree=1552488/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=24048 CPUtime=80 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 5281 0 0 0 7986 14 0 0 25 0 1 0 196565763 24625152 5151 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644452 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 6012 5151 294 55 0 4903 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 24048 [startup+90.0498 s] /proc/loadavg: 0.96 0.99 0.99 2/67 22245 /proc/meminfo: memFree=1552488/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=24048 CPUtime=90 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 5281 0 0 0 8986 14 0 0 25 0 1 0 196565763 24625152 5151 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 6012 5151 294 55 0 4903 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 24048 [startup+100.055 s] /proc/loadavg: 0.97 0.99 0.99 2/67 22245 /proc/meminfo: memFree=1552488/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=24048 CPUtime=100.01 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 5281 0 0 0 9985 16 0 0 25 0 1 0 196565763 24625152 5151 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555987 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 6012 5151 294 55 0 4903 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 24048 [startup+110.061 s] /proc/loadavg: 0.97 0.99 0.99 2/67 22245 /proc/meminfo: memFree=1550568/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=26048 CPUtime=110.01 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 5757 0 0 0 10984 17 0 0 25 0 1 0 196565763 26673152 5627 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 6512 5627 294 55 0 5403 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 26048 [startup+120.067 s] /proc/loadavg: 0.98 0.99 0.99 2/67 22245 /proc/meminfo: memFree=1545832/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=30808 CPUtime=120.01 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 6948 0 0 0 11981 20 0 0 25 0 1 0 196565763 31547392 6817 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557876 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 7702 6817 294 55 0 6593 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 30808 [startup+130.073 s] /proc/loadavg: 0.98 0.99 0.99 2/67 22245 /proc/meminfo: memFree=1543208/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=33468 CPUtime=130.01 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 7601 0 0 0 12980 21 0 0 25 0 1 0 196565763 34271232 7467 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 8367 7467 294 55 0 7258 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 33468 [startup+140.079 s] /proc/loadavg: 0.98 0.99 0.99 2/67 22245 /proc/meminfo: memFree=1536360/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=40380 CPUtime=140.01 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 9313 0 0 0 13978 23 0 0 25 0 1 0 196565763 41349120 9178 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 10095 9178 294 55 0 8986 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 40380 [startup+150.085 s] /proc/loadavg: 0.98 0.99 0.99 2/67 22245 /proc/meminfo: memFree=1532776/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=43916 CPUtime=150.02 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 10213 0 0 0 14978 24 0 0 25 0 1 0 196565763 44969984 10078 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 10979 10078 294 55 0 9870 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 43916 [startup+160.09 s] /proc/loadavg: 0.99 0.99 0.99 2/67 22245 /proc/meminfo: memFree=1531496/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=45236 CPUtime=160.02 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 10529 0 0 0 15977 25 0 0 25 0 1 0 196565763 46321664 10394 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541683 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 11309 10394 294 55 0 10200 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 45236 [startup+170.096 s] /proc/loadavg: 0.99 0.99 0.99 2/67 22245 /proc/meminfo: memFree=1527976/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=48796 CPUtime=170.02 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 11406 0 0 0 16976 26 0 0 25 0 1 0 196565763 49967104 11269 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541672 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 12199 11269 294 55 0 11090 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 48796 [startup+180.103 s] /proc/loadavg: 0.99 0.99 0.99 2/67 22245 /proc/meminfo: memFree=1527464/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=49324 CPUtime=180.03 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 11537 0 0 0 17976 27 0 0 25 0 1 0 196565763 50507776 11400 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 12331 11400 294 55 0 11222 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 49324 [startup+190.109 s] /proc/loadavg: 0.99 0.99 0.99 2/67 22245 /proc/meminfo: memFree=1524392/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=52532 CPUtime=190.03 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 12307 0 0 0 18975 28 0 0 25 0 1 0 196565763 53792768 12166 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644452 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 13133 12166 294 55 0 12024 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 52532 [startup+200.115 s] /proc/loadavg: 0.99 0.99 0.99 2/67 22245 /proc/meminfo: memFree=1518056/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=59048 CPUtime=200.04 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 13883 0 0 0 19974 30 0 0 25 0 1 0 196565763 60465152 13735 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 14762 13735 294 55 0 13653 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 59048 [startup+210.121 s] /proc/loadavg: 0.99 0.99 0.99 2/67 22245 /proc/meminfo: memFree=1514344/2055892 swapFree=4085292/4096564 ################ # More data... # ################ /proc/22245/statm: 107229 103147 295 55 0 106120 0 Current children cumulated CPU time (s) 1760.42 Current children cumulated vsize (Kb) 428916 [startup+1771.03 s] /proc/loadavg: 1.00 1.00 0.99 2/67 22442 /proc/meminfo: memFree=1159208/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=428916 CPUtime=1770.42 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 105617 0 0 0 176879 163 0 0 25 0 1 0 196565763 439209984 103147 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 107229 103147 295 55 0 106120 0 Current children cumulated CPU time (s) 1770.42 Current children cumulated vsize (Kb) 428916 [startup+1781.04 s] /proc/loadavg: 1.00 1.00 0.99 2/67 22442 /proc/meminfo: memFree=1158184/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=429844 CPUtime=1780.42 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 105868 0 0 0 177879 163 0 0 25 0 1 0 196565763 440160256 103398 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541526 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 107461 103398 295 55 0 106352 0 Current children cumulated CPU time (s) 1780.42 Current children cumulated vsize (Kb) 429844 [startup+1782.05 s] /proc/loadavg: 1.00 1.00 0.99 2/67 22442 /proc/meminfo: memFree=1158056/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=429976 CPUtime=1781.43 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 105901 0 0 0 177980 163 0 0 25 0 1 0 196565763 440295424 103431 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541588 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 107494 103431 295 55 0 106385 0 Current children cumulated CPU time (s) 1781.43 Current children cumulated vsize (Kb) 429976 [startup+1783.05 s] /proc/loadavg: 1.00 1.00 0.99 2/67 22442 /proc/meminfo: memFree=1157928/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=430108 CPUtime=1782.43 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 105934 0 0 0 178080 163 0 0 25 0 1 0 196565763 440430592 103464 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 107527 103464 295 55 0 106418 0 Current children cumulated CPU time (s) 1782.43 Current children cumulated vsize (Kb) 430108 [startup+1784.06 s] /proc/loadavg: 1.00 1.00 0.99 2/67 22442 /proc/meminfo: memFree=1157800/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=430240 CPUtime=1783.43 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 105966 0 0 0 178180 163 0 0 25 0 1 0 196565763 440565760 103496 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 107560 103496 295 55 0 106451 0 Current children cumulated CPU time (s) 1783.43 Current children cumulated vsize (Kb) 430240 [startup+1785.06 s] /proc/loadavg: 1.00 1.00 0.99 2/67 22442 /proc/meminfo: memFree=1157672/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=430372 CPUtime=1784.44 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 105999 0 0 0 178281 163 0 0 25 0 1 0 196565763 440700928 103529 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 107593 103529 295 55 0 106484 0 Current children cumulated CPU time (s) 1784.44 Current children cumulated vsize (Kb) 430372 [startup+1786.06 s] /proc/loadavg: 1.00 1.00 0.99 2/67 22442 /proc/meminfo: memFree=1157544/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=430504 CPUtime=1785.44 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 106032 0 0 0 178381 163 0 0 25 0 1 0 196565763 440836096 103562 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628628 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 107626 103562 295 55 0 106517 0 Current children cumulated CPU time (s) 1785.44 Current children cumulated vsize (Kb) 430504 [startup+1787.07 s] /proc/loadavg: 1.00 1.00 0.99 2/67 22442 /proc/meminfo: memFree=1157416/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=430636 CPUtime=1786.44 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 106064 0 0 0 178481 163 0 0 25 0 1 0 196565763 440971264 103594 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 107659 103594 295 55 0 106550 0 Current children cumulated CPU time (s) 1786.44 Current children cumulated vsize (Kb) 430636 [startup+1788.07 s] /proc/loadavg: 1.00 1.00 0.99 2/67 22442 /proc/meminfo: memFree=1157288/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=430768 CPUtime=1787.45 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 106093 0 0 0 178582 163 0 0 25 0 1 0 196565763 441106432 103623 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540611 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 107692 103623 295 55 0 106583 0 Current children cumulated CPU time (s) 1787.45 Current children cumulated vsize (Kb) 430768 [startup+1789.08 s] /proc/loadavg: 1.00 1.00 0.99 2/67 22442 /proc/meminfo: memFree=1157224/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=430900 CPUtime=1788.46 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 106111 0 0 0 178682 164 0 0 25 0 1 0 196565763 441241600 103641 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 107725 103641 295 55 0 106616 0 Current children cumulated CPU time (s) 1788.46 Current children cumulated vsize (Kb) 430900 [startup+1790.08 s] /proc/loadavg: 1.00 1.00 0.99 2/67 22442 /proc/meminfo: memFree=1156840/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=431164 CPUtime=1789.47 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 106202 0 0 0 178783 164 0 0 25 0 1 0 196565763 441511936 103732 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540912 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 107791 103732 295 55 0 106682 0 Current children cumulated CPU time (s) 1789.47 Current children cumulated vsize (Kb) 431164 [startup+1791.09 s] /proc/loadavg: 1.00 1.00 0.99 2/67 22442 /proc/meminfo: memFree=1156456/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=431560 CPUtime=1790.47 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 106307 0 0 0 178883 164 0 0 25 0 1 0 196565763 441917440 103837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134631059 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 107890 103837 295 55 0 106781 0 Current children cumulated CPU time (s) 1790.47 Current children cumulated vsize (Kb) 431560 [startup+1792.09 s] /proc/loadavg: 1.00 1.00 0.99 2/67 22442 /proc/meminfo: memFree=1155944/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=432408 CPUtime=1791.47 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 106508 0 0 0 178983 164 0 0 25 0 1 0 196565763 442785792 103956 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557885 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 108102 103956 295 55 0 106993 0 Current children cumulated CPU time (s) 1791.47 Current children cumulated vsize (Kb) 432408 [startup+1793.1 s] /proc/loadavg: 1.00 1.00 0.99 2/67 22442 /proc/meminfo: memFree=1155432/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=432804 CPUtime=1792.48 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 106633 0 0 0 179084 164 0 0 25 0 1 0 196565763 443191296 104081 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649082 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 108201 104081 295 55 0 107092 0 Current children cumulated CPU time (s) 1792.48 Current children cumulated vsize (Kb) 432804 [startup+1794.1 s] /proc/loadavg: 1.00 1.00 0.99 2/67 22442 /proc/meminfo: memFree=1154728/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=433616 CPUtime=1793.48 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 106811 0 0 0 179184 164 0 0 25 0 1 0 196565763 444022784 104258 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 108404 104258 295 55 0 107295 0 Current children cumulated CPU time (s) 1793.48 Current children cumulated vsize (Kb) 433616 [startup+1795.11 s] /proc/loadavg: 1.08 1.02 1.00 2/67 22442 /proc/meminfo: memFree=1153832/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=434408 CPUtime=1794.48 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 107037 0 0 0 179284 164 0 0 25 0 1 0 196565763 444833792 104484 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644465 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 108602 104484 295 55 0 107493 0 Current children cumulated CPU time (s) 1794.48 Current children cumulated vsize (Kb) 434408 [startup+1796.11 s] /proc/loadavg: 1.08 1.02 1.00 2/67 22442 /proc/meminfo: memFree=1153000/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=435200 CPUtime=1795.49 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 107251 0 0 0 179384 165 0 0 25 0 1 0 196565763 445644800 104698 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644452 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 108800 104698 295 55 0 107691 0 Current children cumulated CPU time (s) 1795.49 Current children cumulated vsize (Kb) 435200 [startup+1797.12 s] /proc/loadavg: 1.08 1.02 1.00 2/67 22442 /proc/meminfo: memFree=1151912/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=436484 CPUtime=1796.49 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 107596 0 0 0 179484 165 0 0 25 0 1 0 196565763 446959616 104957 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 109121 104957 295 55 0 108012 0 Current children cumulated CPU time (s) 1796.49 Current children cumulated vsize (Kb) 436484 [startup+1798.12 s] /proc/loadavg: 1.08 1.02 1.00 2/67 22442 /proc/meminfo: memFree=1151080/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=437408 CPUtime=1797.5 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 107811 0 0 0 179584 166 0 0 25 0 1 0 196565763 447905792 105172 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 109352 105172 295 55 0 108243 0 Current children cumulated CPU time (s) 1797.5 Current children cumulated vsize (Kb) 437408 [startup+1799.13 s] /proc/loadavg: 1.07 1.02 1.00 2/67 22442 /proc/meminfo: memFree=1150632/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=437804 CPUtime=1798.51 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 107920 0 0 0 179685 166 0 0 25 0 1 0 196565763 448311296 105281 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557799 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 109451 105281 295 55 0 108342 0 Current children cumulated CPU time (s) 1798.51 Current children cumulated vsize (Kb) 437804 [startup+1800.13 s] /proc/loadavg: 1.07 1.02 1.00 2/67 22442 /proc/meminfo: memFree=1149544/2055892 swapFree=4085292/4096564 [pid=22245] ppid=22243 vsize=438872 CPUtime=1799.51 /proc/22245/stat : 22245 (bsolo) R 22243 22245 22199 0 -1 0 108203 0 0 0 179785 166 0 0 25 0 1 0 196565763 449404928 105560 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22245/statm: 109718 105560 295 55 0 108609 0 Current children cumulated CPU time (s) 1799.51 Current children cumulated vsize (Kb) 438872 Child status: 10 Real time (s): 1800.69 CPU time (s): 1800.07 CPU user time (s): 1798.34 CPU system time (s): 1.72874 CPU usage (%): 99.9655 Max. virtual memory (cumulated for all children) (Kb): 438872
Begin job on node84 on Sat Jun 3 04:34:25 UTC 2006 FILE ID= 40627-1149309265 PBS_JOBID= 307820 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-israel.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node84/40627-1149309265/instance-40627-1149309265.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node84/watcher-40627-1149309265 -o ROOT/results/node84/solver-40627-1149309265 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node84/40627-1149309265/instance-40627-1149309265.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= eda4269ba1a2bb6f24002a9139c11119 RANDOM SEED= 286068487 /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.231 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 : 6006.15 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.231 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 : 5999.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1572216 kB Buffers: 31016 kB Cached: 381772 kB SwapCached: 2420 kB Active: 29020 kB Inactive: 392384 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1572216 kB SwapTotal: 4096564 kB SwapFree: 4085292 kB Dirty: 196 kB Writeback: 0 kB Mapped: 16424 kB Slab: 48948 kB Committed_AS: 379848 kB PageTables: 1272 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node84 on Sat Jun 3 05:04:26 UTC 2006