Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | -61428875 | 1800.04 | 1800.65 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-harp2.opb |
MD5SUM | a22cdb58cc05b8a325a786916e6a7ab8 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -65295401 |
Best CPU time to get the best result obtained on this benchmark | 1801.15 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -66737705 |
Optimality of the best value was proved | NO |
Number of variables | 2993 |
Total number of constraints | 112 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 73 |
Number of constraints which are nor clauses,nor cardinality constraints | 39 |
Minimum length of a constraint | 41 |
Maximum length of a constraint | 73 |
Number of terms in the objective function | 2993 |
Biggest coefficient in the objective function | 17006200 |
Number of bits for the biggest coefficient in the objective function | 25 |
Sum of the numbers in the objective function | 4415092451 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 4208540000 |
Number of bits of the biggest number in a constraint | 32 |
Biggest sum of numbers in a constraint | 46909379837 |
Number of bits of the biggest sum of numbers | 36 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.01 c Time Limit set via PBTIMEOUT to 1800 0.02 c INFO: OSL Context initialized. 0.03 c BIG Int formula... 0.07 c Initial problem consists of 2993 variables and 185 constraints. 0.07 c No problem reductions applied in OPT. instance. 0.07 c preprocess terminated. Elapsed time: 0.056 0.07 c After prepocess the problem consists of 1373 variables and 173 constraints. 0.07 c Initial Lower Bound: -1191404891 0.07 c Sol. found (all assignments made)... 0.07 o -47075543 0.07 c NEW SOLUTION FOUND: -47075543 @ 0.058 0.07 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 o -47590919 0.09 c NEW SOLUTION FOUND: -47590919 @ 0.073 0.09 c Sol. found (all assignments made)... 0.09 o -48153441 0.09 c NEW SOLUTION FOUND: -48153441 @ 0.075 0.09 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 o -48694652 0.11 c NEW SOLUTION FOUND: -48694652 @ 0.095 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 o -48735842 0.14 c NEW SOLUTION FOUND: -48735842 @ 0.124 0.17 c Sol. found (all assignments made)... 0.17 o -48770337 0.17 c NEW SOLUTION FOUND: -48770337 @ 0.15 0.17 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 o -49290901 0.18 c NEW SOLUTION FOUND: -49290901 @ 0.169 0.19 c Sol. found (all assignments made)... 0.19 o -49311548 0.19 c NEW SOLUTION FOUND: -49311548 @ 0.176 0.19 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 o -49451395 0.30 c NEW SOLUTION FOUND: -49451395 @ 0.28 0.30 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 o -49966832 0.31 c NEW SOLUTION FOUND: -49966832 @ 0.291 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 o -49987479 0.31 c NEW SOLUTION FOUND: -49987479 @ 0.298 0.33 c Sol. found (all assignments made)... 0.33 o -50116402 0.33 c NEW SOLUTION FOUND: -50116402 @ 0.314 0.33 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 o -50137049 0.34 c NEW SOLUTION FOUND: -50137049 @ 0.322 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 o -50508043 0.36 c NEW SOLUTION FOUND: -50508043 @ 0.347 0.37 c Sol. found (all assignments made)... 0.37 o -50528690 0.37 c NEW SOLUTION FOUND: -50528690 @ 0.353 0.37 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 o -50657613 0.39 c NEW SOLUTION FOUND: -50657613 @ 0.377 0.39 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 o -50678260 0.40 c NEW SOLUTION FOUND: -50678260 @ 0.386 0.60 c Restart #1 #Var: 1373 LB: -1191404891 @ 0.586 0.60 c Sol. found (all assignments made)... 0.60 o -53805510 0.60 c NEW SOLUTION FOUND: -53805510 @ 0.589 0.61 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.61 o -54549930 0.61 c NEW SOLUTION FOUND: -54549930 @ 0.593 0.61 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.62 c Sol. found (all assignments made)... 0.62 o -54561664 0.62 c NEW SOLUTION FOUND: -54561664 @ 0.601 0.62 c Sol. found (all assignments made)... 0.62 o -54799344 0.62 c NEW SOLUTION FOUND: -54799344 @ 0.605 0.62 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 o -55345819 0.63 c NEW SOLUTION FOUND: -55345819 @ 0.614 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 o -55796021 0.66 c NEW SOLUTION FOUND: -55796021 @ 0.641 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.70 c Sol. found (all assignments made)... 0.70 c Sol. found (all assignments made)... 0.71 c Sol. found (all assignments made)... 0.71 c Sol. found (all assignments made)... 0.71 c Sol. found (all assignments made)... 0.71 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 o -55820136 0.73 c NEW SOLUTION FOUND: -55820136 @ 0.717 0.73 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 o -56229148 0.74 c NEW SOLUTION FOUND: -56229148 @ 0.721 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 o -56270338 0.74 c NEW SOLUTION FOUND: -56270338 @ 0.724 0.75 c Sol. found (all assignments made)... 0.75 c Sol. found (all assignments made)... 0.75 c Sol. found (all assignments made)... 0.75 c Sol. found (all assignments made)... 0.76 c Sol. found (all assignments made)... 0.76 c Sol. found (all assignments made)... 0.76 c Sol. found (all assignments made)... 0.77 c Sol. found (all assignments made)... 0.77 c Sol. found (all assignments made)... 0.77 c Sol. found (all assignments made)... 0.77 c Sol. found (all assignments made)... 0.78 c Sol. found (all assignments made)... 0.78 c Sol. found (all assignments made)... 0.79 c Sol. found (all assignments made)... 0.79 c Sol. found (all assignments made)... 0.79 c Sol. found (all assignments made)... 0.80 c Sol. found (all assignments made)... 0.80 c Sol. found (all assignments made)... 0.80 c Sol. found (all assignments made)... 0.80 c Sol. found (all assignments made)... 0.81 c Sol. found (all assignments made)... 0.82 c Sol. found (all assignments made)... 0.82 c Sol. found (all assignments made)... 0.83 c Sol. found (all assignments made)... 0.84 c Sol. found (all assignments made)... 0.84 c Sol. found (all assignments made)... 0.85 c Sol. found (all assignments made)... 0.85 c Sol. found (all assignments made)... 0.86 c Sol. found (all assignments made)... 0.88 c Sol. found (all assignments made)... 0.89 c Sol. found (all assignments made)... 0.89 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.91 c Sol. found (all assignments made)... 0.91 c Sol. found (all assignments made)... 0.92 c Sol. found (all assignments made)... 0.93 c Sol. found (all assignments made)... 0.93 c Sol. found (all assignments made)... 0.93 c Sol. found (all assignments made)... 0.94 c Sol. found (all assignments made)... 0.94 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 1.01 c Sol. found (all assignments made)... 1.02 c Sol. found (all assignments made)... 1.02 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.06 c Sol. found (all assignments made)... 1.07 c Sol. found (all assignments made)... 1.07 c Sol. found (all assignments made)... 1.09 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.15 c Restart #2 #Var: 1373 LB: -1191404891 @ 1.134 1.53 c Sol. found (all assignments made)... 1.53 c Sol. found (all assignments made)... 1.80 c Restart #3 #Var: 1373 LB: -1191404891 @ 1.787 1.81 c Sol. found (all assignments made)... 1.82 c Sol. found (all assignments made)... 1.82 c Sol. found (all assignments made)... 1.83 c Sol. found (all assignments made)... 1.83 c Sol. found (all assignments made)... 1.83 c Sol. found (all assignments made)... 1.86 c Sol. found (all assignments made)... 1.87 c Sol. found (all assignments made)... 1.87 c Sol. found (all assignments made)... 1.88 c Sol. found (all assignments made)... 1.88 c Sol. found (all assignments made)... 1.88 c Sol. found (all assignments made)... 1.89 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.97 c Sol. found (all assignments made)... 1.97 o -56276580 1.97 c NEW SOLUTION FOUND: -56276580 @ 1.953 1.97 c Sol. found (all assignments made)... 1.99 c Sol. found (all assignments made)... 1.99 c Sol. found (all assignments made)... 2.00 c Sol. found (all assignments made)... 2.00 c Sol. found (all assignments made)... 2.01 c Sol. found (all assignments made)... 2.01 c Sol. found (all assignments made)... 2.01 c Sol. found (all assignments made)... 2.02 c Sol. found (all assignments made)... 2.03 c Sol. found (all assignments made)... 2.04 c Sol. found (all assignments made)... 2.04 c Sol. found (all assignments made)... 2.05 c Sol. found (all assignments made)... 2.05 c Sol. found (all assignments made)... 2.09 c Sol. found (all assignments made)... 2.09 c Sol. found (all assignments made)... 2.10 c Sol. found (all assignments made)... 2.11 c Sol. found (all assignments made)... 2.11 c Sol. found (all assignments made)... 2.12 c Sol. found (all assignments made)... 2.12 c Sol. found (all assignments made)... 2.18 c Sol. found (all assignments made)... 2.19 c Sol. found (all assignments made)... 2.19 c Sol. found (all assignments made)... 2.20 c Sol. found (all assignments made)... 2.20 o -56280766 2.20 c NEW SOLUTION FOUND: -56280766 @ 2.183 2.21 c Sol. found (all assignments made)... 2.21 c Sol. found (all assignments made)... 2.22 c Sol. found (all assignments made)... 2.22 c Sol. found (all assignments made)... 2.23 c Sol. found (all assignments made)... 2.24 c Sol. found (all assignments made)... 2.25 c Sol. found (all assignments made)... 2.25 c Sol. found (all assignments made)... 2.31 c Sol. found (all assignments made)... 2.44 c Sol. found (all assignments made)... 2.45 c Sol. found (all assignments made)... 2.45 c Sol. found (all assignments made)... 2.48 c Sol. found (all assignments made)... 2.49 c Sol. found (all assignments made)... 2.49 c Sol. found (all assignments made)... 2.52 c Sol. found (all assignments made)... 2.52 o -56295164 2.52 c NEW SOLUTION FOUND: -56295164 @ 2.505 2.53 c Sol. found (all assignments made)... 2.54 c Sol. found (all assignments made)... 2.55 c Sol. found (all assignments made)... 2.56 c Sol. found (all assignments made)... 2.56 c Sol. found (all assignments made)... 2.56 c Sol. found (all assignments made)... 2.57 c Sol. found (all assignments made)... 2.60 c Sol. found (all assignments made)... 2.60 c Sol. found (all assignments made)... 2.61 c Sol. found (all assignments made)... 2.62 c Sol. found (all assignments made)... 2.62 c Sol. found (all assignments made)... 2.63 c Sol. found (all assignments made)... 2.66 c Sol. found (all assignments made)... 2.66 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.84 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.87 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.89 c Sol. found (all assignments made)... 2.91 c Sol. found (all assignments made)... 2.91 c Sol. found (all assignments made)... 2.91 c Sol. found (all assignments made)... 2.91 c Sol. found (all assignments made)... 2.92 c Sol. found (all assignments made)... 3.00 c Sol. found (all assignments made)... 3.00 c Sol. found (all assignments made)... 3.01 c Sol. found (all assignments made)... 3.02 c Sol. found (all assignments made)... 3.02 c Sol. found (all assignments made)... 3.03 c Sol. found (all assignments made)... 3.05 c Sol. found (all assignments made)... 3.05 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.27 c Sol. found (all assignments made)... 3.27 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.29 c Sol. found (all assignments made)... 3.29 c Sol. found (all assignments made)... 3.32 c Sol. found (all assignments made)... 3.32 c Sol. found (all assignments made)... 3.35 c Sol. found (all assignments made)... 3.35 c Sol. found (all assignments made)... 3.36 c Restart #4 #Var: 1373 LB: -1191404891 @ 3.34 3.36 c Sol. found (all assignments made)... 3.36 o -56417717 3.36 c NEW SOLUTION FOUND: -56417717 @ 3.345 3.36 c Sol. found (all assignments made)... 3.37 c Sol. found (all assignments made)... 3.37 c Sol. found (all assignments made)... 3.37 o -58456145 3.37 c NEW SOLUTION FOUND: -58456145 @ 3.355 3.37 c Sol. found (all assignments made)... 3.37 c Sol. found (all assignments made)... 3.38 c Sol. found (all assignments made)... 3.38 c Sol. found (all assignments made)... 3.39 c Sol. found (all assignments made)... 3.39 c Sol. found (all assignments made)... 3.40 c Sol. found (all assignments made)... 3.40 c Sol. found (all assignments made)... 3.41 c Sol. found (all assignments made)... 3.41 o -58460331 3.41 c NEW SOLUTION FOUND: -58460331 @ 3.39 3.41 c Sol. found (all assignments made)... 3.41 c Sol. found (all assignments made)... 3.41 c Sol. found (all assignments made)... 3.42 c Sol. found (all assignments made)... 3.42 c Sol. found (all assignments made)... 3.42 c Sol. found (all assignments made)... 3.43 c Sol. found (all assignments made)... 3.44 c Sol. found (all assignments made)... 3.46 c Sol. found (all assignments made)... 3.47 c Sol. found (all assignments made)... 3.47 c Sol. found (all assignments made)... 3.47 o -58558695 3.47 c NEW SOLUTION FOUND: -58558695 @ 3.46 3.48 c Sol. found (all assignments made)... 3.49 c Sol. found (all assignments made)... 3.51 c Sol. found (all assignments made)... 3.52 c Sol. found (all assignments made)... 3.53 c Sol. found (all assignments made)... 3.54 c Sol. found (all assignments made)... 3.55 c Sol. found (all assignments made)... 3.57 c Sol. found (all assignments made)... 3.58 c Sol. found (all assignments made)... 3.59 c Sol. found (all assignments made)... 3.59 c Sol. found (all assignments made)... 3.60 c Sol. found (all assignments made)... 3.61 c Sol. found (all assignments made)... 3.62 c Sol. found (all assignments made)... 3.63 c Sol. found (all assignments made)... 3.63 c Sol. found (all assignments made)... 3.65 c Sol. found (all assignments made)... 3.66 c Sol. found (all assignments made)... 3.67 c Sol. found (all assignments made)... 3.68 c Sol. found (all assignments made)... 3.70 c Sol. found (all assignments made)... 3.72 c Sol. found (all assignments made)... 3.72 o -58571987 3.72 c NEW SOLUTION FOUND: -58571987 @ 3.704 3.95 c Sol. found (all assignments made)... 4.73 c Restart #5 #Var: 1373 LB: -1191404891 @ 4.717 5.91 c Restart #6 #Var: 1373 LB: -1191404891 @ 5.897 7.29 c Restart #7 #Var: 1373 LB: -1191404891 @ 7.274 8.92 c Restart #8 #Var: 1373 LB: -1191404891 @ 8.9 10.73 c CHANGE to MIS mode... UB: -58571987 MIS: -120069476 LPR: -2147483648 (0) Diff: 0.055912 10.73 c Restart #0 #Var: 1373 LB: -1191404891 @ 10.711 10.95 c Restart #1 #Var: 1373 LB: -120069476 @ 10.932 11.44 c Restart #2 #Var: 1373 LB: -120069476 @ 11.422 11.55 c Restart #3 #Var: 1373 LB: -120069476 @ 11.528 12.42 c Restart #4 #Var: 1373 LB: -120069476 @ 12.401 13.47 c Restart #5 #Var: 1373 LB: -120069476 @ 13.444 14.74 c Restart #6 #Var: 1373 LB: -120069476 @ 14.714 16.26 c Restart #7 #Var: 1373 LB: -120069476 @ 16.234 17.88 c Restart #8 #Var: 1373 LB: -120069476 @ 17.857 19.82 c Restart #9 #Var: 1373 LB: -120069476 @ 19.798 21.94 c Restart #10 #Var: 1373 LB: -120069476 @ 21.912 24.35 c Restart #11 #Var: 1373 LB: -120069476 @ 24.32 26.92 c Restart #12 #Var: 1373 LB: -120069476 @ 26.888 29.75 c Restart #13 #Var: 1373 LB: -120069476 @ 29.726 32.75 c Restart #14 #Var: 1373 LB: -120069476 @ 32.72 35.95 c Restart #15 #Var: 1373 LB: -120069476 @ 35.923 39.37 c Restart #16 #Var: 1373 LB: -120069476 @ 39.338 41.83 c Restart #17 #Var: 1373 LB: -120069476 @ 41.798 45.81 c Restart #18 #Var: 1373 LB: -120069476 @ 45.78 50.22 c Restart #19 #Var: 1373 LB: -120069476 @ 50.189 54.51 c Restart #20 #Var: 1373 LB: -120069476 @ 54.477 58.23 c Restart #21 #Var: 1373 LB: -120069476 @ 58.195 58.26 c Sol. found (all assignments made)... 58.26 o -58617086 58.26 c NEW SOLUTION FOUND: -58617086 @ 58.228 58.29 c Sol. found (all assignments made)... 58.29 o -58621964 58.29 c NEW SOLUTION FOUND: -58621964 @ 58.25 58.37 c Sol. found (all assignments made)... 58.37 o -58661180 58.37 c NEW SOLUTION FOUND: -58661180 @ 58.33 58.38 c Sol. found (all assignments made)... 58.38 o -58695950 58.38 c NEW SOLUTION FOUND: -58695950 @ 58.347 58.39 c Sol. found (all assignments made)... 58.39 o -58741118 58.39 c NEW SOLUTION FOUND: -58741118 @ 58.352 58.42 c Sol. found (all assignments made)... 58.42 o -58784326 58.42 c NEW SOLUTION FOUND: -58784326 @ 58.386 58.43 c Sol. found (all assignments made)... 58.43 o -58829494 58.43 c NEW SOLUTION FOUND: -58829494 @ 58.39 58.45 c Sol. found (all assignments made)... 58.45 o -58895386 58.45 c NEW SOLUTION FOUND: -58895386 @ 58.409 58.45 c Sol. found (all assignments made)... 58.45 o -58940554 58.45 c NEW SOLUTION FOUND: -58940554 @ 58.414 59.17 c Sol. found (all assignments made)... 59.17 o -58948287 59.17 c NEW SOLUTION FOUND: -58948287 @ 59.129 59.76 c Sol. found (all assignments made)... 59.78 c Sol. found (all assignments made)... 59.82 c Sol. found (all assignments made)... 60.10 c Sol. found (all assignments made)... 60.10 o -58961909 60.10 c NEW SOLUTION FOUND: -58961909 @ 60.066 60.24 c Sol. found (all assignments made)... 60.24 o -58969019 60.24 c NEW SOLUTION FOUND: -58969019 @ 60.203 60.25 c Sol. found (all assignments made)... 60.25 o -59014187 60.25 c NEW SOLUTION FOUND: -59014187 @ 60.209 60.26 c Sol. found (all assignments made)... 60.26 o -59026492 60.26 c NEW SOLUTION FOUND: -59026492 @ 60.227 60.27 c Sol. found (all assignments made)... 60.27 o -59069490 60.27 c NEW SOLUTION FOUND: -59069490 @ 60.235 61.50 c Sol. found (all assignments made)... 61.50 o -59069922 61.50 c NEW SOLUTION FOUND: -59069922 @ 61.457 61.71 c Sol. found (all assignments made)... 61.71 o -59077655 61.71 c NEW SOLUTION FOUND: -59077655 @ 61.667 62.55 c Sol. found (all assignments made)... 62.55 o -59080816 62.55 c NEW SOLUTION FOUND: -59080816 @ 62.515 67.32 c Restart #22 #Var: 1373 LB: -120069476 @ 67.28 72.32 c Restart #23 #Var: 1373 LB: -120069476 @ 72.275 77.55 c Restart #24 #Var: 1373 LB: -120069476 @ 77.507 82.96 c Restart #25 #Var: 1373 LB: -120069476 @ 82.911 88.74 c Restart #26 #Var: 1373 LB: -120069476 @ 88.697 90.81 c Restart #27 #Var: 1373 LB: -120069476 @ 90.763 93.54 c Sol. found (all assignments made)... 93.54 o -59149193 93.54 c NEW SOLUTION FOUND: -59149193 @ 93.493 93.76 c Sol. found (all assignments made)... 93.76 o -59168546 93.76 c NEW SOLUTION FOUND: -59168546 @ 93.708 93.76 c Sol. found (all assignments made)... 93.76 o -59189323 93.76 c NEW SOLUTION FOUND: -59189323 @ 93.71 93.76 c Sol. found (all assignments made)... 93.76 o -59190739 93.76 c NEW SOLUTION FOUND: -59190739 @ 93.713 93.79 c Sol. found (all assignments made)... 93.79 o -59269287 93.79 c NEW SOLUTION FOUND: -59269287 @ 93.742 93.79 c Sol. found (all assignments made)... 93.79 o -59290064 93.79 c NEW SOLUTION FOUND: -59290064 @ 93.744 93.80 c Sol. found (all assignments made)... 93.80 o -59291480 93.80 c NEW SOLUTION FOUND: -59291480 @ 93.746 94.03 c Sol. found (all assignments made)... 94.03 o -59303795 94.03 c NEW SOLUTION FOUND: -59303795 @ 93.985 94.04 c Sol. found (all assignments made)... 94.04 o -59305211 94.04 c NEW SOLUTION FOUND: -59305211 @ 93.988 94.43 c Sol. found (all assignments made)... 94.43 o -59308262 94.43 c NEW SOLUTION FOUND: -59308262 @ 94.381 94.46 c Sol. found (all assignments made)... 94.46 o -59388200 94.46 c NEW SOLUTION FOUND: -59388200 @ 94.413 100.67 c Restart #28 #Var: 1373 LB: -120069476 @ 100.62 100.90 c Sol. found (all assignments made)... 100.90 o -59400680 100.90 c NEW SOLUTION FOUND: -59400680 @ 100.85 100.92 c Sol. found (all assignments made)... 100.92 o -59466539 100.92 c NEW SOLUTION FOUND: -59466539 @ 100.87 100.95 c Sol. found (all assignments made)... 100.95 o -59475129 100.95 c NEW SOLUTION FOUND: -59475129 @ 100.89 100.95 c Sol. found (all assignments made)... 100.95 o -59555067 100.95 c NEW SOLUTION FOUND: -59555067 @ 100.9 100.97 c Sol. found (all assignments made)... 100.97 o -59567607 100.97 c NEW SOLUTION FOUND: -59567607 @ 100.92 101.02 c Sol. found (all assignments made)... 101.02 o -59602404 101.02 c NEW SOLUTION FOUND: -59602404 @ 100.97 101.03 c Sol. found (all assignments made)... 101.03 o -59682342 101.03 c NEW SOLUTION FOUND: -59682342 @ 100.97 101.04 c Sol. found (all assignments made)... 101.04 o -59694882 101.04 c NEW SOLUTION FOUND: -59694882 @ 100.99 101.06 c Sol. found (all assignments made)... 101.06 o -59711401 101.06 c NEW SOLUTION FOUND: -59711401 @ 101.01 101.09 c Sol. found (all assignments made)... 101.09 o -59723941 101.09 c NEW SOLUTION FOUND: -59723941 @ 101.04 101.39 c Sol. found (all assignments made)... 101.39 o -59810921 101.39 c NEW SOLUTION FOUND: -59810921 @ 101.34 101.42 c Sol. found (all assignments made)... 101.42 o -59814737 101.42 c NEW SOLUTION FOUND: -59814737 @ 101.36 101.52 c Sol. found (all assignments made)... 101.52 o -59825471 101.52 c NEW SOLUTION FOUND: -59825471 @ 101.47 101.58 c Sol. found (all assignments made)... 101.58 o -59845214 101.58 c NEW SOLUTION FOUND: -59845214 @ 101.53 101.58 c Sol. found (all assignments made)... 101.58 o -59934186 101.58 c NEW SOLUTION FOUND: -59934186 @ 101.53 101.59 c Sol. found (all assignments made)... 101.59 o -59965308 101.59 c NEW SOLUTION FOUND: -59965308 @ 101.53 101.59 c Sol. found (all assignments made)... 101.59 o -59979039 101.59 c NEW SOLUTION FOUND: -59979039 @ 101.54 101.62 c Sol. found (all assignments made)... 101.62 o -59982855 101.62 c NEW SOLUTION FOUND: -59982855 @ 101.57 104.14 c Sol. found (all assignments made)... 104.14 o -60016980 104.14 c NEW SOLUTION FOUND: -60016980 @ 104.09 104.14 c Sol. found (all assignments made)... 104.14 o -60030711 104.14 c NEW SOLUTION FOUND: -60030711 @ 104.09 104.18 c Sol. found (all assignments made)... 104.18 o -60044275 104.18 c NEW SOLUTION FOUND: -60044275 @ 104.13 104.24 c Sol. found (all assignments made)... 104.24 o -60046365 104.24 c NEW SOLUTION FOUND: -60046365 @ 104.19 104.34 c Sol. found (all assignments made)... 104.34 o -60049416 104.34 c NEW SOLUTION FOUND: -60049416 @ 104.28 104.41 c Sol. found (all assignments made)... 104.41 o -60050607 104.41 c NEW SOLUTION FOUND: -60050607 @ 104.36 104.81 c Sol. found (all assignments made)... 104.81 o -60057667 104.81 c NEW SOLUTION FOUND: -60057667 @ 104.76 104.85 c Sol. found (all assignments made)... 104.85 o -60110986 104.85 c NEW SOLUTION FOUND: -60110986 @ 104.8 104.87 c Sol. found (all assignments made)... 104.87 o -60132116 104.87 c NEW SOLUTION FOUND: -60132116 @ 104.82 104.88 c Sol. found (all assignments made)... 104.88 o -60180932 104.88 c NEW SOLUTION FOUND: -60180932 @ 104.83 104.88 c Sol. found (all assignments made)... 104.88 o -60212054 104.88 c NEW SOLUTION FOUND: -60212054 @ 104.83 104.98 c Sol. found (all assignments made)... 104.98 o -60213965 104.98 c NEW SOLUTION FOUND: -60213965 @ 104.93 108.09 c Sol. found (all assignments made)... 108.09 o -60268149 108.09 c NEW SOLUTION FOUND: -60268149 @ 108.04 108.12 c Sol. found (all assignments made)... 108.12 o -60301439 108.12 c NEW SOLUTION FOUND: -60301439 @ 108.07 108.14 c Sol. found (all assignments made)... 108.14 o -60315170 108.14 c NEW SOLUTION FOUND: -60315170 @ 108.08 108.16 c Sol. found (all assignments made)... 108.16 o -60330935 108.16 c NEW SOLUTION FOUND: -60330935 @ 108.1 108.26 c Sol. found (all assignments made)... 108.26 o -60340491 108.26 c NEW SOLUTION FOUND: -60340491 @ 108.21 109.11 c Sol. found (all assignments made)... 109.11 o -60340521 109.11 c NEW SOLUTION FOUND: -60340521 @ 109.06 115.48 c Restart #29 #Var: 1373 LB: -120069476 @ 115.42 121.44 c Restart #30 #Var: 1373 LB: -120069476 @ 121.38 128.45 c Restart #31 #Var: 1373 LB: -120069476 @ 128.39 135.21 c Restart #32 #Var: 1373 LB: -120069476 @ 135.15 142.40 c Restart #33 #Var: 1373 LB: -120069476 @ 142.34 150.07 c Restart #34 #Var: 1373 LB: -120069476 @ 150.01 157.64 c Restart #35 #Var: 1373 LB: -120069476 @ 157.57 165.31 c Restart #36 #Var: 1373 LB: -120069476 @ 165.24 173.48 c Restart #37 #Var: 1373 LB: -120069476 @ 173.41 181.74 c Restart #38 #Var: 1373 LB: -120069476 @ 181.66 189.62 c Restart #39 #Var: 1373 LB: -120069476 @ 189.54 198.07 c Restart #40 #Var: 1373 LB: -120069476 @ 197.99 206.87 c Restart #41 #Var: 1373 LB: -120069476 @ 206.78 219.46 c Restart #42 #Var: 1373 LB: -120069476 @ 219.37 228.28 c Sol. found (all assignments made)... 228.33 c Sol. found (all assignments made)... 229.53 c Restart #43 #Var: 1373 LB: -120069476 @ 229.44 239.02 c Restart #44 #Var: 1373 LB: -120069476 @ 238.93 242.11 c Sol. found (all assignments made)... 242.11 o -60385563 242.11 c NEW SOLUTION FOUND: -60385563 @ 242.01 242.39 c Sol. found (all assignments made)... 242.39 o -60465501 242.39 c NEW SOLUTION FOUND: -60465501 @ 242.29 242.81 c Sol. found (all assignments made)... 242.81 o -60475951 242.81 c NEW SOLUTION FOUND: -60475951 @ 242.72 242.82 c Sol. found (all assignments made)... 242.82 o -60507073 242.82 c NEW SOLUTION FOUND: -60507073 @ 242.72 242.87 c Sol. found (all assignments made)... 242.87 o -60526434 242.87 c NEW SOLUTION FOUND: -60526434 @ 242.78 252.92 c Restart #45 #Var: 1373 LB: -120069476 @ 252.82 262.67 c Restart #46 #Var: 1373 LB: -120069476 @ 262.56 272.68 c Restart #47 #Var: 1373 LB: -120069476 @ 272.57 282.88 c Restart #48 #Var: 1373 LB: -120069476 @ 282.77 290.24 c Restart #49 #Var: 1373 LB: -120069476 @ 290.12 300.96 c Restart #50 #Var: 1373 LB: -120069476 @ 300.85 312.59 c Restart #51 #Var: 1373 LB: -120069476 @ 312.47 324.38 c Restart #52 #Var: 1373 LB: -120069476 @ 324.26 335.72 c Restart #53 #Var: 1373 LB: -120069476 @ 335.59 347.39 c Restart #54 #Var: 1373 LB: -120069476 @ 347.26 359.76 c Restart #55 #Var: 1373 LB: -120069476 @ 359.63 372.54 c Restart #56 #Var: 1373 LB: -120069476 @ 372.4 385.09 c Restart #57 #Var: 1373 LB: -120069476 @ 384.94 396.97 c Restart #58 #Var: 1373 LB: -120069476 @ 396.83 410.13 c Restart #59 #Var: 1373 LB: -120069476 @ 409.98 423.36 c Restart #60 #Var: 1373 LB: -120069476 @ 423.2 436.61 c Restart #61 #Var: 1373 LB: -120069476 @ 436.45 449.90 c Restart #62 #Var: 1373 LB: -120069476 @ 449.73 476.68 c Restart #63 #Var: 1373 LB: -120069476 @ 476.51 491.13 c Restart #64 #Var: 1373 LB: -120069476 @ 490.96 505.09 c Restart #65 #Var: 1373 LB: -120069476 @ 504.91 520.40 c Restart #66 #Var: 1373 LB: -120069476 @ 520.22 535.77 c Restart #67 #Var: 1373 LB: -120069476 @ 535.58 549.40 c Restart #68 #Var: 1373 LB: -120069476 @ 549.2 549.45 c Sol. found (all assignments made)... 549.45 o -60645037 549.45 c NEW SOLUTION FOUND: -60645037 @ 549.26 549.46 c Sol. found (all assignments made)... 549.46 o -60660597 549.46 c NEW SOLUTION FOUND: -60660597 @ 549.26 549.46 c Sol. found (all assignments made)... 549.46 o -60676159 549.46 c NEW SOLUTION FOUND: -60676159 @ 549.26 549.46 c Sol. found (all assignments made)... 549.46 o -60696936 549.46 c NEW SOLUTION FOUND: -60696936 @ 549.26 549.47 c Sol. found (all assignments made)... 549.47 o -60700161 549.47 c NEW SOLUTION FOUND: -60700161 @ 549.27 549.47 c Sol. found (all assignments made)... 549.47 o -60719522 549.47 c NEW SOLUTION FOUND: -60719522 @ 549.27 549.49 c Sol. found (all assignments made)... 549.49 o -60780097 549.49 c NEW SOLUTION FOUND: -60780097 @ 549.29 549.49 c Sol. found (all assignments made)... 549.49 o -60799458 549.49 c NEW SOLUTION FOUND: -60799458 @ 549.29 549.49 c Sol. found (all assignments made)... 549.50 c Sol. found (all assignments made)... 549.51 c Sol. found (all assignments made)... 549.51 o -60814210 549.51 c NEW SOLUTION FOUND: -60814210 @ 549.31 549.51 c Sol. found (all assignments made)... 549.51 o -60920968 549.51 c NEW SOLUTION FOUND: -60920968 @ 549.32 550.29 c Sol. found (all assignments made)... 550.29 o -60985438 550.29 c NEW SOLUTION FOUND: -60985438 @ 550.1 550.29 c Sol. found (all assignments made)... 550.30 c Sol. found (all assignments made)... 550.31 c Sol. found (all assignments made)... 550.31 o -60997121 550.31 c NEW SOLUTION FOUND: -60997121 @ 550.11 550.31 c Sol. found (all assignments made)... 550.31 o -60998537 550.31 c NEW SOLUTION FOUND: -60998537 @ 550.11 550.34 c Sol. found (all assignments made)... 550.34 c Sol. found (all assignments made)... 550.34 o -61001203 550.34 c NEW SOLUTION FOUND: -61001203 @ 550.15 550.35 c Sol. found (all assignments made)... 550.36 c Sol. found (all assignments made)... 550.36 o -61008987 550.36 c NEW SOLUTION FOUND: -61008987 @ 550.16 550.73 c Sol. found (all assignments made)... 550.73 o -61016433 550.73 c NEW SOLUTION FOUND: -61016433 @ 550.54 550.74 c Sol. found (all assignments made)... 550.75 c Sol. found (all assignments made)... 550.75 c Sol. found (all assignments made)... 550.86 c Sol. found (all assignments made)... 550.88 c Sol. found (all assignments made)... 550.89 c Sol. found (all assignments made)... 550.89 o -61115149 550.89 c NEW SOLUTION FOUND: -61115149 @ 550.7 550.90 c Sol. found (all assignments made)... 550.90 c Sol. found (all assignments made)... 550.90 c Sol. found (all assignments made)... 550.90 o -61116565 550.90 c NEW SOLUTION FOUND: -61116565 @ 550.71 550.91 c Sol. found (all assignments made)... 550.91 o -61128248 550.91 c NEW SOLUTION FOUND: -61128248 @ 550.71 550.91 c Sol. found (all assignments made)... 550.92 c Sol. found (all assignments made)... 550.92 c Sol. found (all assignments made)... 550.92 o -61129664 550.92 c NEW SOLUTION FOUND: -61129664 @ 550.72 550.96 c Sol. found (all assignments made)... 550.96 o -61132330 550.96 c NEW SOLUTION FOUND: -61132330 @ 550.77 550.98 c Sol. found (all assignments made)... 550.98 c Sol. found (all assignments made)... 550.98 o -61138698 550.98 c NEW SOLUTION FOUND: -61138698 @ 550.78 550.99 c Sol. found (all assignments made)... 550.99 o -61140114 550.99 c NEW SOLUTION FOUND: -61140114 @ 550.79 551.18 c Sol. found (all assignments made)... 551.18 c Sol. found (all assignments made)... 551.18 o -61146854 551.18 c NEW SOLUTION FOUND: -61146854 @ 550.99 551.29 c Sol. found (all assignments made)... 551.29 c Sol. found (all assignments made)... 551.29 o -61157304 551.29 c NEW SOLUTION FOUND: -61157304 @ 551.09 555.54 c Sol. found (all assignments made)... 555.54 o -61166147 555.54 c NEW SOLUTION FOUND: -61166147 @ 555.34 555.54 c Sol. found (all assignments made)... 555.56 c Sol. found (all assignments made)... 555.56 o -61174123 555.56 c NEW SOLUTION FOUND: -61174123 @ 555.36 555.58 c Sol. found (all assignments made)... 555.58 o -61192391 555.58 c NEW SOLUTION FOUND: -61192391 @ 555.38 557.30 c Sol. found (all assignments made)... 557.30 o -61226329 557.30 c NEW SOLUTION FOUND: -61226329 @ 557.1 558.13 c Sol. found (all assignments made)... 558.13 o -61283593 558.13 c NEW SOLUTION FOUND: -61283593 @ 557.93 558.14 c Sol. found (all assignments made)... 558.16 c Sol. found (all assignments made)... 558.16 o -61308421 558.16 c NEW SOLUTION FOUND: -61308421 @ 557.96 558.16 c Sol. found (all assignments made)... 558.16 o -61329198 558.16 c NEW SOLUTION FOUND: -61329198 @ 557.96 558.16 c Sol. found (all assignments made)... 558.16 o -61339648 558.16 c NEW SOLUTION FOUND: -61339648 @ 557.96 559.53 c Sol. found (all assignments made)... 559.53 o -61383122 559.53 c NEW SOLUTION FOUND: -61383122 @ 559.34 559.69 c Sol. found (all assignments made)... 559.69 o -61418425 559.69 c NEW SOLUTION FOUND: -61418425 @ 559.49 559.69 c Sol. found (all assignments made)... 559.69 o -61428875 559.69 c NEW SOLUTION FOUND: -61428875 @ 559.5 567.29 c Sol. found (all assignments made)... 570.08 c Sol. found (all assignments made)... 570.92 c Sol. found (all assignments made)... 572.41 c Sol. found (all assignments made)... 574.27 c Sol. found (all assignments made)... 574.29 c Sol. found (all assignments made)... 574.43 c Sol. found (all assignments made)... 574.94 c Restart #69 #Var: 1373 LB: -120069476 @ 574.74 590.78 c Restart #70 #Var: 1373 LB: -120069476 @ 590.57 605.95 c Restart #71 #Var: 1373 LB: -120069476 @ 605.74 622.19 c Restart #72 #Var: 1373 LB: -120069476 @ 621.97 638.63 c Restart #73 #Var: 1373 LB: -120069476 @ 638.41 654.34 c Restart #74 #Var: 1373 LB: -120069476 @ 654.11 673.33 c Restart #75 #Var: 1373 LB: -120069476 @ 673.1 681.77 c Restart #76 #Var: 1373 LB: -120069476 @ 681.53 699.17 c Restart #77 #Var: 1373 LB: -120069476 @ 698.92 718.46 c Restart #78 #Var: 1373 LB: -120069476 @ 718.21 735.46 c Restart #79 #Var: 1373 LB: -120069476 @ 735.2 752.62 c Restart #80 #Var: 1373 LB: -120069476 @ 752.35 770.94 c Restart #81 #Var: 1373 LB: -120069476 @ 770.67 773.31 c Sol. found (all assignments made)... 774.07 c Sol. found (all assignments made)... 774.30 c Sol. found (all assignments made)... 789.72 c Restart #82 #Var: 1373 LB: -120069476 @ 789.44 809.51 c Restart #83 #Var: 1373 LB: -120069476 @ 809.23 829.43 c Restart #84 #Var: 1373 LB: -120069476 @ 829.14 846.63 c Restart #85 #Var: 1373 LB: -120069476 @ 846.34 865.33 c Restart #86 #Var: 1373 LB: -120069476 @ 865.03 943.98 c Restart #87 #Var: 1373 LB: -120069476 @ 943.65 963.07 c Restart #88 #Var: 1373 LB: -120069476 @ 962.74 983.74 c Restart #89 #Var: 1373 LB: -120069476 @ 983.4 1005.45 c Restart #90 #Var: 1373 LB: -120069476 @ 1005.1 1028.20 c Restart #91 #Var: 1373 LB: -120069476 @ 1027.8 1041.57 c Sol. found (all assignments made)... 1042.23 c Sol. found (all assignments made)... 1042.24 c Sol. found (all assignments made)... 1042.25 c Sol. found (all assignments made)... 1042.25 c Sol. found (all assignments made)... 1042.26 c Sol. found (all assignments made)... 1042.28 c Sol. found (all assignments made)... 1042.30 c Sol. found (all assignments made)... 1042.40 c Sol. found (all assignments made)... 1042.40 c Sol. found (all assignments made)... 1042.41 c Sol. found (all assignments made)... 1042.42 c Sol. found (all assignments made)... 1042.43 c Sol. found (all assignments made)... 1042.43 c Sol. found (all assignments made)... 1042.44 c Sol. found (all assignments made)... 1042.45 c Sol. found (all assignments made)... 1042.46 c Sol. found (all assignments made)... 1042.47 c Sol. found (all assignments made)... 1042.48 c Sol. found (all assignments made)... 1047.70 c Sol. found (all assignments made)... 1047.75 c Sol. found (all assignments made)... 1049.46 c Restart #92 #Var: 1373 LB: -120069476 @ 1049.1 1079.96 c Restart #93 #Var: 1373 LB: -120069476 @ 1079.6 1101.22 c Restart #94 #Var: 1373 LB: -120069476 @ 1100.8 1146.23 c Restart #95 #Var: 1373 LB: -120069476 @ 1145.8 1168.43 c Restart #96 #Var: 1373 LB: -120069476 @ 1168 1189.28 c Restart #97 #Var: 1373 LB: -120069476 @ 1188.9 1300.98 c Restart #98 #Var: 1373 LB: -120069476 @ 1300.5 1324.71 c Restart #99 #Var: 1373 LB: -120069476 @ 1324.3 1405.57 c Restart #100 #Var: 1373 LB: -120069476 @ 1405.1 1427.98 c Restart #101 #Var: 1373 LB: -120069476 @ 1427.5 1451.25 c Restart #102 #Var: 1373 LB: -120069476 @ 1450.8 1475.03 c Restart #103 #Var: 1373 LB: -120069476 @ 1474.5 1583.94 c Restart #104 #Var: 1373 LB: -120069476 @ 1583.4 1606.62 c Restart #105 #Var: 1373 LB: -120069476 @ 1606.1 1637.41 c Restart #106 #Var: 1373 LB: -120069476 @ 1636.9 1681.51 c Restart #107 #Var: 1373 LB: -120069476 @ 1680.9 1706.24 c Restart #108 #Var: 1373 LB: -120069476 @ 1705.7 1732.00 c Restart #109 #Var: 1373 LB: -120069476 @ 1731.4 1757.21 c Restart #110 #Var: 1373 LB: -120069476 @ 1756.6 1781.78 c Restart #111 #Var: 1373 LB: -120069476 @ 1781.2 1800.61 s SATISFIABLE 1800.61 c Cost: -61428875 1800.61 v -x1 -x1112 -x2217 -x2328 -x2439 -x2550 -x2661 -x2772 -x2883 -x2 -x113 -x224 -x335 -x446 -x557 -x668 -x779 -x890 -x1001 -x1113 1800.61 v -x1224 -x1335 -x1446 -x1557 -x1668 -x1779 -x1890 -x2001 -x2112 -x2218 -x2229 -x2240 -x2251 -x2262 -x2273 -x2284 -x2295 1800.61 v -x2306 -x2317 -x2329 x2340 -x2351 -x2362 -x2373 -x2384 -x2395 -x2406 -x2417 -x2428 x2440 -x2451 -x2462 -x2473 -x2484 -x2495 1800.61 v -x2506 -x2517 -x2528 -x2539 -x2551 -x2562 -x2573 -x2584 -x2595 -x2606 -x2617 -x2628 -x2639 -x2650 -x2662 -x2673 -x2684 1800.61 v -x2695 -x2706 -x2717 -x2728 -x2739 -x2750 -x2761 -x2773 -x2784 -x2795 -x2806 -x2817 -x2828 -x2839 -x2850 x2861 -x2872 1800.61 v -x2884 -x2895 -x2906 -x2917 -x2928 -x2939 -x2950 -x2961 -x2972 -x2983 -x3 -x14 -x25 -x36 -x47 -x58 -x69 -x80 -x91 -x102 -x114 1800.61 v -x125 -x136 -x147 -x158 -x169 -x180 -x191 -x202 -x213 -x225 -x236 -x247 -x258 -x269 -x280 -x291 -x302 -x313 -x324 -x336 -x347 1800.61 v -x358 -x369 -x380 -x391 -x402 -x413 -x424 -x435 -x447 -x458 -x469 -x480 -x491 -x502 -x513 -x524 -x535 -x546 -x558 -x569 -x580 1800.61 v -x591 -x602 -x613 -x624 -x635 -x646 -x657 -x669 -x680 x691 -x702 -x713 -x724 -x735 -x746 -x757 x768 -x780 -x791 -x802 -x813 1800.61 v -x824 -x835 -x846 -x857 -x868 -x879 -x891 -x902 -x913 -x924 -x935 -x946 -x957 -x968 -x979 -x990 -x1002 -x1013 -x1024 -x1035 1800.61 v -x1046 -x1057 -x1068 -x1079 -x1090 -x1101 -x1114 -x1125 -x1136 -x1147 -x1158 -x1169 -x1180 x1191 -x1202 -x1213 -x1225 1800.61 v -x1236 -x1247 -x1258 -x1269 -x1280 -x1291 -x1302 -x1313 -x1324 -x1336 -x1347 -x1358 -x1369 -x1380 -x1391 -x1402 -x1413 1800.61 v -x1424 -x1435 -x1447 -x1458 -x1469 -x1480 -x1491 -x1502 -x1513 -x1524 -x1535 -x1546 -x1558 -x1569 -x1580 -x1591 -x1602 1800.61 v -x1613 -x1624 -x1635 -x1646 -x1657 -x1669 -x1680 -x1691 -x1702 -x1713 -x1724 -x1735 -x1746 -x1757 -x1768 -x1780 -x1791 1800.61 v -x1802 -x1813 -x1824 -x1835 -x1846 -x1857 -x1868 -x1879 -x1891 -x1902 -x1913 -x1924 -x1935 -x1946 -x1957 -x1968 -x1979 1800.61 v -x1990 -x2002 -x2013 -x2024 -x2035 -x2046 x2057 -x2068 -x2079 -x2090 -x2101 -x2113 -x2124 -x2135 -x2146 -x2157 -x2168 1800.61 v -x2179 x2190 -x2201 -x2212 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2230 -x2231 -x2232 1800.61 v -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 1800.61 v -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 x2260 -x2261 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 1800.61 v -x2270 -x2271 -x2272 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2285 -x2286 -x2287 -x2288 1800.61 v -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2296 -x2297 -x2298 -x2299 x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2307 1800.61 v -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 1800.61 v -x2326 -x2327 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2341 -x2342 -x2343 -x2344 -x2345 1800.61 v -x2346 -x2347 -x2348 -x2349 -x2350 x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2363 -x2364 1800.61 v -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 1800.61 v -x2383 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 1800.61 v -x2402 -x2403 -x2404 -x2405 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2418 -x2419 -x2420 1800.61 v -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2429 -x2430 x2431 -x2432 -x2433 -x2434 -x2435 x2436 -x2437 -x2438 -x2441 1800.61 v -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 1800.61 v -x2460 -x2461 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2474 -x2475 -x2476 -x2477 -x2478 1800.61 v -x2479 -x2480 -x2481 -x2482 -x2483 -x2485 -x2486 x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2496 -x2497 1800.61 v -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 1800.61 v -x2516 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2529 -x2530 x2531 -x2532 -x2533 -x2534 1800.61 v -x2535 -x2536 -x2537 -x2538 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2552 -x2553 -x2554 1800.61 v -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 1800.61 v x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 1800.61 v -x2592 -x2593 -x2594 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2607 -x2608 -x2609 -x2610 1800.61 v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2629 1800.61 v -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 1800.61 v -x2648 -x2649 -x2651 -x2652 -x2653 -x2654 -x2655 x2656 -x2657 -x2658 -x2659 -x2660 -x2663 -x2664 -x2665 -x2666 -x2667 1800.61 v -x2668 -x2669 -x2670 -x2671 -x2672 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2685 -x2686 1800.61 v -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 x2702 -x2703 -x2704 1800.61 v -x2705 -x2707 x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 1800.61 v -x2724 -x2725 -x2726 -x2727 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2740 -x2741 -x2742 1800.61 v -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2751 -x2752 -x2753 -x2754 -x2755 x2756 -x2757 -x2758 -x2759 -x2760 1800.61 v -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 1800.61 v -x2781 -x2782 -x2783 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2796 -x2797 x2798 -x2799 1800.61 v -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2818 1800.61 v -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 1800.61 v -x2837 -x2838 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2851 -x2852 -x2853 -x2854 -x2855 1800.61 v -x2856 -x2857 -x2858 -x2859 -x2860 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2873 -x2874 1800.61 v -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 1800.61 v -x2894 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 1800.61 v -x2913 -x2914 -x2915 -x2916 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2929 x2930 -x2931 1800.61 v -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 1800.61 v -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 1800.61 v -x2969 -x2970 -x2971 -x2973 -x2974 -x2975 -x2976 x2977 -x2978 x2979 -x2980 -x2981 -x2982 -x2984 -x2985 -x2986 -x2987 -x2988 1800.61 v -x2989 -x2990 -x2991 -x2992 -x2993 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 1800.61 v -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 x35 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x48 -x49 -x50 -x51 -x52 -x53 1800.61 v -x54 -x55 -x56 -x57 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x81 -x82 1800.61 v -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x103 -x104 -x105 -x106 -x107 -x108 1800.61 v -x109 -x110 -x111 -x112 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x126 -x127 -x128 -x129 -x130 -x131 -x132 1800.61 v -x133 -x134 -x135 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 1800.61 v -x156 -x157 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 1800.61 v -x179 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 1800.61 v -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x226 1800.61 v -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x248 -x249 1800.61 v -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x270 -x271 -x272 1800.61 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x292 -x293 -x294 -x295 1800.61 v -x296 -x297 -x298 -x299 -x300 -x301 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 -x314 -x315 -x316 -x317 -x318 1800.61 v -x319 -x320 -x321 -x322 -x323 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x337 -x338 -x339 -x340 -x341 -x342 1800.61 v -x343 -x344 -x345 -x346 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x359 x360 -x361 -x362 -x363 -x364 -x365 1800.61 v -x366 -x367 -x368 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 1800.61 v -x389 -x390 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 1800.61 v -x412 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 1800.61 v -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x459 1800.61 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x481 -x482 1800.61 v -x483 -x484 -x485 -x486 -x487 x488 -x489 -x490 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x503 -x504 -x505 1800.61 v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x525 -x526 -x527 -x528 1800.61 v -x529 -x530 -x531 -x532 -x533 -x534 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x547 -x548 -x549 -x550 -x551 1800.61 v -x552 -x553 -x554 -x555 -x556 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x570 -x571 -x572 -x573 -x574 x575 1800.61 v -x576 -x577 -x578 -x579 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 -x589 -x590 -x592 -x593 -x594 -x595 -x596 -x597 -x598 1800.61 v -x599 -x600 -x601 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 1800.61 v -x622 -x623 -x625 -x626 -x627 x628 -x629 -x630 -x631 -x632 -x633 -x634 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 1800.61 v -x645 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 1800.61 v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x692 1800.61 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x714 -x715 1800.61 v -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x736 -x737 -x738 1800.61 v -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 x758 -x759 -x760 -x761 1800.61 v -x762 -x763 x764 -x765 -x766 -x767 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x781 -x782 -x783 -x784 -x785 1800.61 v -x786 -x787 -x788 -x789 -x790 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x803 -x804 -x805 -x806 -x807 -x808 1800.61 v -x809 -x810 -x811 -x812 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x825 -x826 -x827 -x828 -x829 -x830 -x831 1800.61 v -x832 -x833 -x834 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x847 -x848 x849 -x850 -x851 -x852 -x853 -x854 1800.61 v -x855 -x856 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 1800.61 v -x878 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x892 x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 1800.61 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x925 1800.61 v -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x936 -x937 -x938 -x939 x940 -x941 -x942 -x943 -x944 -x945 -x947 -x948 1800.61 v -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x969 -x970 -x971 1800.61 v -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x980 -x981 -x982 -x983 x984 -x985 -x986 -x987 x988 -x989 -x991 -x992 -x993 -x994 1800.61 v -x995 -x996 -x997 -x998 -x999 -x1000 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1014 -x1015 1800.61 v -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 1800.61 v -x1034 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 1800.61 v -x1053 -x1054 -x1055 -x1056 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1069 -x1070 -x1071 1800.61 v -x1072 -x1073 -x1074 x1075 -x1076 -x1077 -x1078 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 1800.61 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 1800.61 v -x1109 -x1110 -x1111 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 x1122 -x1123 -x1124 -x1126 -x1127 -x1128 x1129 -x1130 1800.61 v -x1131 -x1132 -x1133 -x1134 -x1135 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1148 -x1149 1800.61 v -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 1800.61 v -x1168 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 1800.61 v -x1187 -x1188 -x1189 -x1190 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1203 -x1204 -x1205 1800.61 v -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 x1212 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 x1220 -x1221 -x1222 -x1223 -x1226 1800.61 v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 1800.61 v -x1245 -x1246 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1259 -x1260 -x1261 -x1262 -x1263 1800.61 v -x1264 -x1265 -x1266 -x1267 -x1268 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1281 -x1282 1800.61 v -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 1800.61 v -x1301 -x1303 x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 1800.61 v -x1320 -x1321 -x1322 -x1323 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1337 -x1338 -x1339 1800.61 v -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1348 -x1349 x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 1800.61 v -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 1800.61 v -x1377 -x1378 -x1379 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1392 -x1393 -x1394 -x1395 1800.61 v x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1403 -x1404 -x1405 -x1406 -x1407 x1408 -x1409 -x1410 -x1411 -x1412 -x1414 -x1415 1800.61 v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 1800.61 v -x1434 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 1800.61 v -x1454 -x1455 -x1456 -x1457 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1470 -x1471 -x1472 1800.61 v -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1481 -x1482 -x1483 -x1484 -x1485 x1486 -x1487 -x1488 -x1489 -x1490 1800.61 v -x1492 -x1493 -x1494 -x1495 -x1496 x1497 -x1498 -x1499 -x1500 -x1501 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 1800.61 v -x1510 -x1511 -x1512 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1525 -x1526 -x1527 -x1528 1800.61 v -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1547 1800.61 v -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 1800.61 v -x1567 -x1568 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 x1579 -x1581 x1582 -x1583 -x1584 -x1585 -x1586 1800.61 v -x1587 -x1588 -x1589 -x1590 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1603 -x1604 -x1605 1800.61 v -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 1800.61 v -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 1800.61 v -x1643 -x1644 -x1645 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1658 -x1659 -x1660 -x1661 1800.61 v -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1670 x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1681 1800.61 v -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 1800.61 v -x1700 -x1701 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 x1714 -x1715 -x1716 -x1717 x1718 -x1719 1800.61 v -x1720 -x1721 -x1722 -x1723 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1736 -x1737 -x1738 1800.61 v -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 1800.61 v -x1758 -x1759 -x1760 -x1761 -x1762 x1763 -x1764 -x1765 -x1766 -x1767 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 1800.61 v -x1776 -x1777 -x1778 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1792 -x1793 -x1794 -x1795 1800.61 v -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 x1809 -x1810 -x1811 -x1812 -x1814 1800.61 v -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 1800.61 v -x1833 -x1834 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1847 -x1848 -x1849 -x1850 -x1851 1800.61 v -x1852 -x1853 -x1854 -x1855 -x1856 -x1858 -x1859 -x1860 -x1861 x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1869 -x1870 1800.61 v -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 1800.61 v -x1889 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1903 -x1904 -x1905 -x1906 x1907 -x1908 1800.61 v -x1909 -x1910 -x1911 -x1912 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1925 -x1926 -x1927 1800.61 v -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 x1945 1800.61 v -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 1800.61 v -x1965 -x1966 -x1967 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1980 -x1981 -x1982 -x1983 1800.61 v -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2003 1800.61 v -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 1800.61 v -x2022 -x2023 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2036 -x2037 -x2038 -x2039 -x2040 1800.61 v -x2041 -x2042 -x2043 -x2044 -x2045 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2058 -x2059 1800.61 v -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 x2076 -x2077 1800.61 v -x2078 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 x2091 -x2092 -x2093 -x2094 -x2095 -x2096 1800.61 v -x2097 -x2098 -x2099 -x2100 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2114 -x2115 -x2116 1800.61 v -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 1800.61 v -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 1800.61 v -x2154 -x2155 -x2156 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 x2169 -x2170 -x2171 -x2172 1800.61 v -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2180 -x2181 x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2191 1800.61 v -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 1800.61 v -x2210 -x2211 -x2213 -x2214 -x2215 -x2216 1800.61 c Exit Code: 10 1800.61 c Total time: 1800 s
OK -61428875
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/node68/watcher-40741-1149314835 -o ROOT/results/node68/solver-40741-1149314835 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node68/40741-1149314835/instance-40741-1149314835.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.02 1.01 1.00 2/64 19259 /proc/meminfo: memFree=1866184/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=2948 CPUtime=0 /proc/19259/stat : 19259 (bsolo) D 19257 19259 19213 0 -1 0 50 0 0 0 0 0 0 0 19 0 1 0 197153008 3018752 34 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10515236 0 0 4096 0 18446744071563608240 0 0 17 1 0 0 /proc/19259/statm: 737 34 26 55 0 38 0 [startup+10.002 s] /proc/loadavg: 1.01 1.01 1.00 2/64 19259 /proc/meminfo: memFree=1861016/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=9468 CPUtime=9.97 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 6388 0 0 0 994 3 0 0 25 0 1 0 197153008 9695232 1537 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 2367 1537 298 55 0 1259 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 9468 [startup+20.0077 s] /proc/loadavg: 1.01 1.01 1.00 2/64 19259 /proc/meminfo: memFree=1857896/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=12520 CPUtime=19.98 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 9511 0 0 0 1992 6 0 0 25 0 1 0 197153008 12820480 2300 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 3130 2300 298 55 0 2022 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 12520 [startup+30.0134 s] /proc/loadavg: 1.01 1.00 1.00 2/64 19259 /proc/meminfo: memFree=1857960/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=12784 CPUtime=29.97 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 9567 0 0 0 2991 6 0 0 25 0 1 0 197153008 13090816 2356 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10948333 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 3196 2356 298 55 0 2088 0 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 12784 [startup+40.0191 s] /proc/loadavg: 1.01 1.00 1.00 2/64 19259 /proc/meminfo: memFree=1857768/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=12872 CPUtime=39.98 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 9604 0 0 0 3991 7 0 0 25 0 1 0 197153008 13180928 2388 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10956566 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 3218 2388 298 55 0 2110 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 12872 [startup+50.0258 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19259 /proc/meminfo: memFree=1857640/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=13080 CPUtime=49.98 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 9964 0 0 0 4990 8 0 0 25 0 1 0 197153008 13393920 2430 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 3270 2430 298 55 0 2162 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 13080 [startup+60.0316 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19259 /proc/meminfo: memFree=1857192/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=13436 CPUtime=59.99 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 11407 0 0 0 5990 9 0 0 25 0 1 0 197153008 13758464 2507 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604132 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 3359 2507 298 55 0 2251 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 13436 [startup+70.0373 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19259 /proc/meminfo: memFree=1856296/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=14444 CPUtime=69.99 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 12811 0 0 0 6988 11 0 0 25 0 1 0 197153008 14790656 2760 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632654 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 3611 2760 298 55 0 2503 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 14444 [startup+80.044 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19259 /proc/meminfo: memFree=1856296/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=14396 CPUtime=79.99 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 14226 0 0 0 7988 11 0 0 25 0 1 0 197153008 14741504 2761 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158103311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 3599 2761 298 55 0 2491 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 14396 [startup+90.0507 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19259 /proc/meminfo: memFree=1855016/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=15712 CPUtime=89.99 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 14889 0 0 0 8987 12 0 0 25 0 1 0 197153008 16089088 3087 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 3928 3087 298 55 0 2820 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 15712 [startup+100.057 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19259 /proc/meminfo: memFree=1851368/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=19228 CPUtime=100 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 16394 0 0 0 9986 14 0 0 25 0 1 0 197153008 19689472 3974 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 4807 3974 298 55 0 3699 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 19228 [startup+110.064 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19259 /proc/meminfo: memFree=1848808/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=21668 CPUtime=110 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 20723 0 0 0 10984 16 0 0 25 0 1 0 197153008 22188032 4587 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 5417 4587 298 55 0 4309 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 21668 [startup+120.071 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19259 /proc/meminfo: memFree=1848808/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=21668 CPUtime=120.01 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 20723 0 0 0 11984 17 0 0 25 0 1 0 197153008 22188032 4587 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551574 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 5417 4587 298 55 0 4309 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 21668 [startup+130.077 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19259 /proc/meminfo: memFree=1848808/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=21668 CPUtime=130.01 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 20723 0 0 0 12984 17 0 0 25 0 1 0 197153008 22188032 4587 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557793 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 5417 4587 298 55 0 4309 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 21668 [startup+140.082 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19259 /proc/meminfo: memFree=1848808/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=21668 CPUtime=140.01 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 20723 0 0 0 13983 18 0 0 25 0 1 0 197153008 22188032 4587 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10948162 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 5417 4587 298 55 0 4309 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 21668 [startup+150.088 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19259 /proc/meminfo: memFree=1848808/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=21668 CPUtime=150.02 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 20753 0 0 0 14984 18 0 0 25 0 1 0 197153008 22188032 4587 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 5417 4587 298 55 0 4309 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 21668 [startup+160.094 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19259 /proc/meminfo: memFree=1848808/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=21668 CPUtime=160.01 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 21771 0 0 0 15983 18 0 0 25 0 1 0 197153008 22188032 4587 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557720 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 5417 4587 298 55 0 4309 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 21668 [startup+170.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19259 /proc/meminfo: memFree=1848808/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=21668 CPUtime=170.02 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 22177 0 0 0 16982 20 0 0 25 0 1 0 197153008 22188032 4587 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 5417 4587 298 55 0 4309 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 21668 [startup+180.105 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19259 /proc/meminfo: memFree=1848104/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=22616 CPUtime=180.02 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 22741 0 0 0 17982 20 0 0 25 0 1 0 197153008 23158784 4797 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 5654 4797 298 55 0 4546 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 22616 [startup+190.111 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19259 /proc/meminfo: memFree=1847208/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=23496 CPUtime=190.02 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 23051 0 0 0 18981 21 0 0 25 0 1 0 197153008 24059904 5033 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 5874 5033 298 55 0 4766 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 23496 [startup+200.117 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19259 /proc/meminfo: memFree=1846952/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=23496 CPUtime=200.03 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 23379 0 0 0 19981 22 0 0 25 0 1 0 197153008 24059904 5044 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 5874 5044 298 55 0 4766 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 23496 [startup+210.122 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19259 /proc/meminfo: memFree=1846952/2055920 swapFree=4182304/4192956 ################ # More data... # ################ /proc/19259/statm: 51762 50881 298 55 0 50654 0 Current children cumulated CPU time (s) 1760.5 Current children cumulated vsize (Kb) 207048 [startup+1771.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19261 /proc/meminfo: memFree=1662824/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=207048 CPUtime=1770.51 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 110463 0 0 0 176897 154 0 0 25 0 1 0 197153008 212017152 50881 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 51762 50881 298 55 0 50654 0 Current children cumulated CPU time (s) 1770.51 Current children cumulated vsize (Kb) 207048 [startup+1781.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19261 /proc/meminfo: memFree=1662824/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=207048 CPUtime=1780.51 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 110463 0 0 0 177897 154 0 0 25 0 1 0 197153008 212017152 50881 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603621 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 51762 50881 298 55 0 50654 0 Current children cumulated CPU time (s) 1780.51 Current children cumulated vsize (Kb) 207048 [startup+1782.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19261 /proc/meminfo: memFree=1662824/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=207048 CPUtime=1781.51 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 110463 0 0 0 177997 154 0 0 25 0 1 0 197153008 212017152 50881 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533970 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 51762 50881 298 55 0 50654 0 Current children cumulated CPU time (s) 1781.51 Current children cumulated vsize (Kb) 207048 [startup+1783.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19261 /proc/meminfo: memFree=1662824/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=207048 CPUtime=1782.52 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 110463 0 0 0 178098 154 0 0 25 0 1 0 197153008 212017152 50881 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 51762 50881 298 55 0 50654 0 Current children cumulated CPU time (s) 1782.52 Current children cumulated vsize (Kb) 207048 [startup+1784.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19261 /proc/meminfo: memFree=1662824/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=207048 CPUtime=1783.52 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 110463 0 0 0 178198 154 0 0 25 0 1 0 197153008 212017152 50881 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 51762 50881 298 55 0 50654 0 Current children cumulated CPU time (s) 1783.52 Current children cumulated vsize (Kb) 207048 [startup+1785.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19261 /proc/meminfo: memFree=1662824/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=207048 CPUtime=1784.53 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 110463 0 0 0 178299 154 0 0 25 0 1 0 197153008 212017152 50881 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718932 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 51762 50881 298 55 0 50654 0 Current children cumulated CPU time (s) 1784.53 Current children cumulated vsize (Kb) 207048 [startup+1786.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19261 /proc/meminfo: memFree=1662824/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=207048 CPUtime=1785.53 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 110463 0 0 0 178399 154 0 0 25 0 1 0 197153008 212017152 50881 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 51762 50881 298 55 0 50654 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (Kb) 207048 [startup+1787.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19261 /proc/meminfo: memFree=1662824/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=207048 CPUtime=1786.53 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 110463 0 0 0 178499 154 0 0 25 0 1 0 197153008 212017152 50881 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524322 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 51762 50881 298 55 0 50654 0 Current children cumulated CPU time (s) 1786.53 Current children cumulated vsize (Kb) 207048 [startup+1788.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19261 /proc/meminfo: memFree=1662824/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=206964 CPUtime=1787.54 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 110463 0 0 0 178600 154 0 0 25 0 1 0 197153008 211931136 50860 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10948333 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 51741 50860 298 55 0 50633 0 Current children cumulated CPU time (s) 1787.54 Current children cumulated vsize (Kb) 206964 [startup+1789.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19261 /proc/meminfo: memFree=1662824/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=206964 CPUtime=1788.54 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 110463 0 0 0 178700 154 0 0 25 0 1 0 197153008 211931136 50860 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134601119 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 51741 50860 298 55 0 50633 0 Current children cumulated CPU time (s) 1788.54 Current children cumulated vsize (Kb) 206964 [startup+1790.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19261 /proc/meminfo: memFree=1662824/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=206964 CPUtime=1789.55 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 110463 0 0 0 178801 154 0 0 25 0 1 0 197153008 211931136 50860 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547755 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 51741 50860 298 55 0 50633 0 Current children cumulated CPU time (s) 1789.55 Current children cumulated vsize (Kb) 206964 [startup+1791.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19261 /proc/meminfo: memFree=1662824/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=206964 CPUtime=1790.55 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 110529 0 0 0 178901 154 0 0 25 0 1 0 197153008 211931136 50860 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10948303 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 51741 50860 298 55 0 50633 0 Current children cumulated CPU time (s) 1790.55 Current children cumulated vsize (Kb) 206964 [startup+1792.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19261 /proc/meminfo: memFree=1662824/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=206964 CPUtime=1791.55 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 110529 0 0 0 179001 154 0 0 25 0 1 0 197153008 211931136 50860 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618991 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 51741 50860 298 55 0 50633 0 Current children cumulated CPU time (s) 1791.55 Current children cumulated vsize (Kb) 206964 [startup+1793.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19261 /proc/meminfo: memFree=1662824/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=207080 CPUtime=1792.56 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 110558 0 0 0 179102 154 0 0 25 0 1 0 197153008 212049920 50889 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 51770 50889 298 55 0 50662 0 Current children cumulated CPU time (s) 1792.56 Current children cumulated vsize (Kb) 207080 [startup+1794.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19261 /proc/meminfo: memFree=1662824/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=207080 CPUtime=1793.56 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 110558 0 0 0 179202 154 0 0 25 0 1 0 197153008 212049920 50889 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551574 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 51770 50889 298 55 0 50662 0 Current children cumulated CPU time (s) 1793.56 Current children cumulated vsize (Kb) 207080 [startup+1795.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19261 /proc/meminfo: memFree=1662824/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=207120 CPUtime=1794.57 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 110580 0 0 0 179303 154 0 0 25 0 1 0 197153008 212090880 50899 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10948136 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 51780 50899 298 55 0 50672 0 Current children cumulated CPU time (s) 1794.57 Current children cumulated vsize (Kb) 207120 [startup+1796.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19261 /proc/meminfo: memFree=1662824/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=207120 CPUtime=1795.58 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 110616 0 0 0 179403 155 0 0 25 0 1 0 197153008 212090880 50899 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 51780 50899 298 55 0 50672 0 Current children cumulated CPU time (s) 1795.58 Current children cumulated vsize (Kb) 207120 [startup+1797.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19261 /proc/meminfo: memFree=1662824/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=207120 CPUtime=1796.58 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 110616 0 0 0 179503 155 0 0 25 0 1 0 197153008 212090880 50899 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557833 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 51780 50899 298 55 0 50672 0 Current children cumulated CPU time (s) 1796.58 Current children cumulated vsize (Kb) 207120 [startup+1798.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19261 /proc/meminfo: memFree=1662568/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=207472 CPUtime=1797.59 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 110693 0 0 0 179604 155 0 0 25 0 1 0 197153008 212451328 50976 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 51868 50976 298 55 0 50760 0 Current children cumulated CPU time (s) 1797.59 Current children cumulated vsize (Kb) 207472 [startup+1799.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19261 /proc/meminfo: memFree=1662248/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=207556 CPUtime=1798.59 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 110802 0 0 0 179704 155 0 0 25 0 1 0 197153008 212537344 51008 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 51889 51008 298 55 0 50781 0 Current children cumulated CPU time (s) 1798.59 Current children cumulated vsize (Kb) 207556 [startup+1800.21 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19261 /proc/meminfo: memFree=1662440/2055920 swapFree=4182304/4192956 [pid=19259] ppid=19257 vsize=207384 CPUtime=1799.59 /proc/19259/stat : 19259 (bsolo) R 19257 19259 19213 0 -1 0 111012 0 0 0 179804 155 0 0 25 0 1 0 197153008 212361216 50965 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19259/statm: 51846 50965 298 55 0 50738 0 Current children cumulated CPU time (s) 1799.59 Current children cumulated vsize (Kb) 207384 Child status: 10 Real time (s): 1800.65 CPU time (s): 1800.04 CPU user time (s): 1798.45 CPU system time (s): 1.59076 CPU usage (%): 99.9663 Max. virtual memory (cumulated for all children) (Kb): 207556
Begin job on node68 on Sat Jun 3 06:07:15 UTC 2006 FILE ID= 40741-1149314835 PBS_JOBID= 308279 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-harp2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node68/40741-1149314835/instance-40741-1149314835.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-40741-1149314835 -o ROOT/results/node68/solver-40741-1149314835 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node68/40741-1149314835/instance-40741-1149314835.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= a22cdb58cc05b8a325a786916e6a7ab8 RANDOM SEED= 996912063 /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.279 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.279 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: 1866392 kB Buffers: 14600 kB Cached: 112092 kB SwapCached: 2168 kB Active: 25004 kB Inactive: 110148 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1866392 kB SwapTotal: 4192956 kB SwapFree: 4182304 kB Dirty: 148 kB Writeback: 0 kB Mapped: 15504 kB Slab: 40388 kB Committed_AS: 282776 kB PageTables: 1400 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node68 on Sat Jun 3 06:37:52 UTC 2006