Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 354355213278995 | 1800.18 | 1800.75 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-bell4.opb |
MD5SUM | 7a334409ec63774b2ae9bf0271f87fd8 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 265972200281973 |
Best CPU time to get the best result obtained on this benchmark | 1800.79 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 212944791655785 |
Optimality of the best value was proved | NO |
Number of variables | 1996 |
Total number of constraints | 134 |
Number of constraints which are clauses | 18 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 116 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 135 |
Number of terms in the objective function | 1527 |
Biggest coefficient in the objective function | 4949278720000000 |
Number of bits for the biggest coefficient in the objective function | 53 |
Sum of the numbers in the objective function | 114314457147588882 |
Number of bits of the sum of numbers in the objective function | 57 |
Biggest number in a constraint | 4949278720000000 |
Number of bits of the biggest number in a constraint | 53 |
Biggest sum of numbers in a constraint | 114314457147588882 |
Number of bits of the biggest sum of numbers | 57 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.01 c BIG Int formula... 0.05 c Initial problem consists of 1996 variables and 134 constraints. 0.05 c preprocess terminated. Elapsed time: 0.036 0.05 c After prepocess the problem consists of 1584 variables and 117 constraints. 0.05 c Initial Lower Bound: 0 0.68 c Restart #1 #Var: 1584 LB: 0 @ 0.664 1.68 c Restart #2 #Var: 1584 LB: 0 @ 1.662 3.03 c Restart #3 #Var: 1584 LB: 0 @ 3.016 4.81 c Restart #4 #Var: 1584 LB: 0 @ 4.798 6.09 c Sol. found (all assignments made)... 6.09 o 1045661779230720 6.09 c NEW SOLUTION FOUND: 1045661779230720 @ 6.078 6.09 c Sol. found (all assignments made)... 6.09 o 1043245139230720 6.09 c NEW SOLUTION FOUND: 1043245139230720 @ 6.078 6.09 c Sol. found (all assignments made)... 6.09 o 1014614099230720 6.09 c NEW SOLUTION FOUND: 1014614099230720 @ 6.08 6.09 c Sol. found (all assignments made)... 6.09 o 1012197459230720 6.09 c NEW SOLUTION FOUND: 1012197459230720 @ 6.08 6.10 c Sol. found (all assignments made)... 6.10 c Sol. found (all assignments made)... 6.10 o 983566419230720 6.10 c NEW SOLUTION FOUND: 983566419230720 @ 6.084 6.10 c Sol. found (all assignments made)... 6.10 c Sol. found (all assignments made)... 6.10 o 981149779230720 6.10 c NEW SOLUTION FOUND: 981149779230720 @ 6.087 6.10 c Sol. found (all assignments made)... 6.11 c Sol. found (all assignments made)... 6.11 c Sol. found (all assignments made)... 6.11 c Sol. found (all assignments made)... 6.11 c Sol. found (all assignments made)... 6.11 c Sol. found (all assignments made)... 6.12 c Sol. found (all assignments made)... 6.12 c Sol. found (all assignments made)... 6.12 c Sol. found (all assignments made)... 6.12 c Sol. found (all assignments made)... 6.12 c Sol. found (all assignments made)... 6.12 c Sol. found (all assignments made)... 6.13 c Sol. found (all assignments made)... 6.13 c Sol. found (all assignments made)... 6.13 c Sol. found (all assignments made)... 6.13 c Sol. found (all assignments made)... 6.13 c Sol. found (all assignments made)... 6.13 o 967018579230720 6.13 c NEW SOLUTION FOUND: 967018579230720 @ 6.119 6.14 c Sol. found (all assignments made)... 6.14 o 962185299230720 6.14 c NEW SOLUTION FOUND: 962185299230720 @ 6.121 6.14 c Sol. found (all assignments made)... 6.14 c Sol. found (all assignments made)... 6.14 c Sol. found (all assignments made)... 6.14 c Sol. found (all assignments made)... 6.14 o 957352019230720 6.14 c NEW SOLUTION FOUND: 957352019230720 @ 6.126 6.14 c Sol. found (all assignments made)... 6.14 c Sol. found (all assignments made)... 6.15 c Sol. found (all assignments made)... 6.15 c Sol. found (all assignments made)... 6.15 c Sol. found (all assignments made)... 6.15 c Sol. found (all assignments made)... 6.15 o 954935379230720 6.15 c NEW SOLUTION FOUND: 954935379230720 @ 6.137 6.15 c Sol. found (all assignments made)... 6.15 c Sol. found (all assignments made)... 6.16 c Sol. found (all assignments made)... 6.16 c Sol. found (all assignments made)... 6.16 c Sol. found (all assignments made)... 6.16 c Sol. found (all assignments made)... 6.17 c Sol. found (all assignments made)... 6.17 c Sol. found (all assignments made)... 6.17 c Sol. found (all assignments made)... 6.17 c Sol. found (all assignments made)... 6.17 c Sol. found (all assignments made)... 6.17 c Sol. found (all assignments made)... 6.17 c Sol. found (all assignments made)... 6.17 c Sol. found (all assignments made)... 6.18 c Sol. found (all assignments made)... 6.18 c Sol. found (all assignments made)... 6.18 c Sol. found (all assignments made)... 6.18 c Sol. found (all assignments made)... 6.18 c Sol. found (all assignments made)... 6.19 c Sol. found (all assignments made)... 6.19 c Sol. found (all assignments made)... 6.19 c Sol. found (all assignments made)... 6.19 c Sol. found (all assignments made)... 6.19 c Sol. found (all assignments made)... 6.19 c Sol. found (all assignments made)... 6.19 c Sol. found (all assignments made)... 6.19 c Sol. found (all assignments made)... 6.20 c Sol. found (all assignments made)... 6.20 o 952518739230720 6.20 c NEW SOLUTION FOUND: 952518739230720 @ 6.182 6.20 c Sol. found (all assignments made)... 6.20 c Sol. found (all assignments made)... 6.21 c Sol. found (all assignments made)... 6.21 c Sol. found (all assignments made)... 6.21 c Sol. found (all assignments made)... 6.21 o 935970899230720 6.21 c NEW SOLUTION FOUND: 935970899230720 @ 6.193 6.21 c Sol. found (all assignments made)... 6.21 o 931137619230720 6.21 c NEW SOLUTION FOUND: 931137619230720 @ 6.194 6.21 c Sol. found (all assignments made)... 6.21 c Sol. found (all assignments made)... 6.21 o 926304339230720 6.21 c NEW SOLUTION FOUND: 926304339230720 @ 6.197 6.21 c Sol. found (all assignments made)... 6.21 c Sol. found (all assignments made)... 6.22 c Sol. found (all assignments made)... 6.23 c Sol. found (all assignments made)... 6.23 c Sol. found (all assignments made)... 6.23 c Sol. found (all assignments made)... 6.23 o 922863699230720 6.23 c NEW SOLUTION FOUND: 922863699230720 @ 6.22 6.25 c Sol. found (all assignments made)... 6.25 c Sol. found (all assignments made)... 6.25 c Sol. found (all assignments made)... 6.25 c Sol. found (all assignments made)... 6.25 c Sol. found (all assignments made)... 6.25 o 918030419230720 6.25 c NEW SOLUTION FOUND: 918030419230720 @ 6.235 6.25 c Sol. found (all assignments made)... 6.28 c Sol. found (all assignments made)... 6.28 c Sol. found (all assignments made)... 6.29 c Sol. found (all assignments made)... 6.29 c Sol. found (all assignments made)... 6.30 c Sol. found (all assignments made)... 6.30 c Sol. found (all assignments made)... 6.30 o 913197139230720 6.30 c NEW SOLUTION FOUND: 913197139230720 @ 6.284 6.30 c Sol. found (all assignments made)... 6.31 c Sol. found (all assignments made)... 6.31 c Sol. found (all assignments made)... 6.32 c Sol. found (all assignments made)... 6.32 c Sol. found (all assignments made)... 6.32 c Sol. found (all assignments made)... 6.32 c Sol. found (all assignments made)... 6.32 o 909756499230720 6.32 c NEW SOLUTION FOUND: 909756499230720 @ 6.308 6.33 c Sol. found (all assignments made)... 6.33 c Sol. found (all assignments made)... 6.33 c Sol. found (all assignments made)... 6.33 c Sol. found (all assignments made)... 6.33 c Sol. found (all assignments made)... 6.34 c Sol. found (all assignments made)... 6.34 o 904923219230720 6.34 c NEW SOLUTION FOUND: 904923219230720 @ 6.322 6.34 c Sol. found (all assignments made)... 6.34 c Sol. found (all assignments made)... 6.35 c Sol. found (all assignments made)... 6.36 c Sol. found (all assignments made)... 6.36 c Sol. found (all assignments made)... 6.36 c Sol. found (all assignments made)... 6.36 c Sol. found (all assignments made)... 6.37 c Sol. found (all assignments made)... 6.37 c Sol. found (all assignments made)... 6.37 c Sol. found (all assignments made)... 6.37 c Sol. found (all assignments made)... 6.37 o 900089939230720 6.37 c NEW SOLUTION FOUND: 900089939230720 @ 6.358 6.38 c Sol. found (all assignments made)... 6.38 c Sol. found (all assignments made)... 6.42 c Sol. found (all assignments made)... 6.42 c Sol. found (all assignments made)... 6.43 c Sol. found (all assignments made)... 6.43 c Sol. found (all assignments made)... 6.45 c Sol. found (all assignments made)... 6.45 c Sol. found (all assignments made)... 6.46 c Sol. found (all assignments made)... 6.46 c Sol. found (all assignments made)... 6.46 c Sol. found (all assignments made)... 6.47 c Sol. found (all assignments made)... 6.47 c Sol. found (all assignments made)... 6.47 c Sol. found (all assignments made)... 6.47 c Sol. found (all assignments made)... 6.47 c Sol. found (all assignments made)... 6.48 c Sol. found (all assignments made)... 6.48 c Sol. found (all assignments made)... 6.48 c Sol. found (all assignments made)... 6.48 o 896649299230720 6.48 c NEW SOLUTION FOUND: 896649299230720 @ 6.462 6.48 c Sol. found (all assignments made)... 6.48 c Sol. found (all assignments made)... 6.48 c Sol. found (all assignments made)... 6.48 c Sol. found (all assignments made)... 6.48 c Sol. found (all assignments made)... 6.49 c Sol. found (all assignments made)... 6.49 c Sol. found (all assignments made)... 6.49 c Sol. found (all assignments made)... 6.49 c Sol. found (all assignments made)... 6.49 o 891816019230720 6.49 c NEW SOLUTION FOUND: 891816019230720 @ 6.477 6.50 c Sol. found (all assignments made)... 6.50 c Sol. found (all assignments made)... 6.51 c Sol. found (all assignments made)... 6.51 c Sol. found (all assignments made)... 6.51 c Sol. found (all assignments made)... 6.51 c Sol. found (all assignments made)... 6.51 c Sol. found (all assignments made)... 6.51 c Sol. found (all assignments made)... 6.52 c Sol. found (all assignments made)... 6.52 c Sol. found (all assignments made)... 6.52 c Sol. found (all assignments made)... 6.52 c Sol. found (all assignments made)... 6.52 c Sol. found (all assignments made)... 6.52 o 886982739230720 6.52 c NEW SOLUTION FOUND: 886982739230720 @ 6.51 6.52 c Sol. found (all assignments made)... 6.58 c Sol. found (all assignments made)... 6.58 c Sol. found (all assignments made)... 6.58 c Sol. found (all assignments made)... 6.58 c Sol. found (all assignments made)... 6.59 c Sol. found (all assignments made)... 6.59 c Sol. found (all assignments made)... 6.59 c Sol. found (all assignments made)... 6.59 c Sol. found (all assignments made)... 6.65 c Sol. found (all assignments made)... 6.65 c Sol. found (all assignments made)... 6.65 c Sol. found (all assignments made)... 6.65 c Sol. found (all assignments made)... 6.66 c Sol. found (all assignments made)... 6.66 c Sol. found (all assignments made)... 6.66 c Sol. found (all assignments made)... 6.66 c Sol. found (all assignments made)... 6.66 c Sol. found (all assignments made)... 6.79 c Sol. found (all assignments made)... 6.79 c Sol. found (all assignments made)... 6.79 c Sol. found (all assignments made)... 6.79 c Sol. found (all assignments made)... 6.80 c Sol. found (all assignments made)... 6.80 c Sol. found (all assignments made)... 6.80 c Sol. found (all assignments made)... 6.81 c Sol. found (all assignments made)... 6.81 c Sol. found (all assignments made)... 6.87 c Restart #5 #Var: 1584 LB: 0 @ 6.851 7.89 c Restart #6 #Var: 1584 LB: 0 @ 7.879 8.35 c Sol. found (all assignments made)... 8.35 c Sol. found (all assignments made)... 8.35 o 860068669679616 8.35 c NEW SOLUTION FOUND: 860068669679616 @ 8.332 8.35 c Sol. found (all assignments made)... 8.35 o 860067432359936 8.35 c NEW SOLUTION FOUND: 860067432359936 @ 8.335 8.37 c Sol. found (all assignments made)... 8.37 o 826932011329536 8.37 c NEW SOLUTION FOUND: 826932011329536 @ 8.352 8.37 c Sol. found (all assignments made)... 8.37 o 826625827137536 8.37 c NEW SOLUTION FOUND: 826625827137536 @ 8.357 8.38 c Sol. found (all assignments made)... 8.38 o 826503353460736 8.38 c NEW SOLUTION FOUND: 826503353460736 @ 8.364 8.39 c Sol. found (all assignments made)... 8.39 o 826442116622336 8.39 c NEW SOLUTION FOUND: 826442116622336 @ 8.376 8.40 c Sol. found (all assignments made)... 8.40 o 826380879783936 8.40 c NEW SOLUTION FOUND: 826380879783936 @ 8.388 8.41 c Sol. found (all assignments made)... 8.41 o 826135932430336 8.41 c NEW SOLUTION FOUND: 826135932430336 @ 8.397 8.42 c Sol. found (all assignments made)... 8.42 o 826074695591936 8.42 c NEW SOLUTION FOUND: 826074695591936 @ 8.404 8.43 c Sol. found (all assignments made)... 8.43 o 825894046918656 8.43 c NEW SOLUTION FOUND: 825894046918656 @ 8.417 8.44 c Sol. found (all assignments made)... 8.44 o 825407214053376 8.44 c NEW SOLUTION FOUND: 825407214053376 @ 8.428 8.46 c Sol. found (all assignments made)... 8.46 o 825101029861376 8.46 c NEW SOLUTION FOUND: 825101029861376 @ 8.441 8.47 c Sol. found (all assignments made)... 8.47 o 824857613428736 8.47 c NEW SOLUTION FOUND: 824857613428736 @ 8.456 8.49 c Sol. found (all assignments made)... 8.49 o 824781067380736 8.49 c NEW SOLUTION FOUND: 824781067380736 @ 8.478 8.52 c Sol. found (all assignments made)... 8.52 o 724735897757696 8.52 c NEW SOLUTION FOUND: 724735897757696 @ 8.508 8.53 c Sol. found (all assignments made)... 8.53 o 567449497757696 8.53 c NEW SOLUTION FOUND: 567449497757696 @ 8.51 8.53 c Sol. found (all assignments made)... 8.54 c Sol. found (all assignments made)... 8.54 c Sol. found (all assignments made)... 8.54 c Sol. found (all assignments made)... 8.54 c Sol. found (all assignments made)... 8.55 c Sol. found (all assignments made)... 8.55 c Sol. found (all assignments made)... 8.56 c Sol. found (all assignments made)... 8.56 c Sol. found (all assignments made)... 8.58 c Sol. found (all assignments made)... 8.58 o 544573134596096 8.58 c NEW SOLUTION FOUND: 544573134596096 @ 8.566 8.59 c Sol. found (all assignments made)... 8.59 o 492083097757696 8.59 c NEW SOLUTION FOUND: 492083097757696 @ 8.569 8.59 c Sol. found (all assignments made)... 8.61 c Sol. found (all assignments made)... 8.62 c Sol. found (all assignments made)... 8.62 o 492021860919296 8.62 c NEW SOLUTION FOUND: 492021860919296 @ 8.609 8.66 c Sol. found (all assignments made)... 8.66 o 491945314871296 8.66 c NEW SOLUTION FOUND: 491945314871296 @ 8.647 8.67 c Sol. found (all assignments made)... 8.67 o 491884078032896 8.67 c NEW SOLUTION FOUND: 491884078032896 @ 8.654 8.77 c Sol. found (all assignments made)... 8.77 o 465807460919296 8.77 c NEW SOLUTION FOUND: 465807460919296 @ 8.754 8.78 c Sol. found (all assignments made)... 8.78 o 465730914871296 8.78 c NEW SOLUTION FOUND: 465730914871296 @ 8.76 8.78 c Sol. found (all assignments made)... 8.78 o 465669678032896 8.78 c NEW SOLUTION FOUND: 465669678032896 @ 8.765 8.84 c Sol. found (all assignments made)... 8.84 o 463508326967296 8.84 c NEW SOLUTION FOUND: 463508326967296 @ 8.826 8.85 c Sol. found (all assignments made)... 8.85 o 463431780919296 8.85 c NEW SOLUTION FOUND: 463431780919296 @ 8.833 8.86 c Sol. found (all assignments made)... 8.86 o 463370544080896 8.86 c NEW SOLUTION FOUND: 463370544080896 @ 8.84 8.97 c Sol. found (all assignments made)... 8.97 o 455050086967296 8.97 c NEW SOLUTION FOUND: 455050086967296 @ 8.958 8.99 c Sol. found (all assignments made)... 8.99 o 454973540919296 8.99 c NEW SOLUTION FOUND: 454973540919296 @ 8.971 9.00 c Sol. found (all assignments made)... 9.00 o 454912304080896 9.00 c NEW SOLUTION FOUND: 454912304080896 @ 8.987 10.02 c Restart #7 #Var: 1584 LB: 0 @ 10.002 11.66 c Restart #8 #Var: 1584 LB: 0 @ 11.642 13.02 c Restart #9 #Var: 1584 LB: 0 @ 13 15.72 c Restart #10 #Var: 1584 LB: 0 @ 15.701 19.49 c CHANGE to MIS mode... UB: 454912304080896 MIS: 4745000 LPR: -2147483648 (0) Diff: -0.0022096 19.49 c Restart #0 #Var: 1584 LB: 0 @ 19.47 19.93 c Restart #1 #Var: 1584 LB: 4745000 @ 19.912 21.33 c Restart #2 #Var: 1584 LB: 4745000 @ 21.307 21.86 c Restart #3 #Var: 1556 LB: 2181562441000 @ 21.837 22.61 c Restart #4 #Var: 1556 LB: 2181562441000 @ 22.584 25.76 c Restart #5 #Var: 1556 LB: 2181567113000 @ 25.733 26.67 c Restart #6 #Var: 1556 LB: 2181567113000 @ 26.65 27.86 c Restart #7 #Var: 1556 LB: 2181567113000 @ 27.841 31.80 c Restart #8 #Var: 1555 LB: 2181567113000 @ 31.78 34.03 c Restart #9 #Var: 1555 LB: 2181567113000 @ 34.006 35.36 c Restart #10 #Var: 1555 LB: 2181567113000 @ 35.339 37.12 c Restart #11 #Var: 1555 LB: 2181567113000 @ 37.1 39.72 c Restart #12 #Var: 1555 LB: 2181567113000 @ 39.691 42.02 c Restart #13 #Var: 1555 LB: 2181567113000 @ 41.99 43.57 c Restart #14 #Var: 1551 LB: 2219840137000 @ 43.543 45.50 c Restart #15 #Var: 1551 LB: 2219840137000 @ 45.475 48.48 c Restart #16 #Var: 1551 LB: 2219840137000 @ 48.453 52.03 c Restart #17 #Var: 1551 LB: 2219840137000 @ 51.998 56.33 c Restart #18 #Var: 1551 LB: 2219840137000 @ 56.301 60.60 c Restart #19 #Var: 1551 LB: 2219840137000 @ 60.573 65.67 c Restart #20 #Var: 1551 LB: 2219840137000 @ 65.643 69.33 c Restart #21 #Var: 1549 LB: 2219840721000 @ 69.293 75.13 c Restart #22 #Var: 1549 LB: 2219840721000 @ 75.1 78.11 c Restart #23 #Var: 1547 LB: 2258109073000 @ 78.077 83.40 c Restart #24 #Var: 1547 LB: 2258109073000 @ 83.363 87.81 c Restart #25 #Var: 1545 LB: 2334655121000 @ 87.773 92.12 c Restart #26 #Var: 1545 LB: 2334655121000 @ 92.082 103.58 c Restart #27 #Var: 1545 LB: 2334655121000 @ 103.54 113.31 c Restart #28 #Var: 1545 LB: 2334655121000 @ 113.27 119.74 c Restart #29 #Var: 1545 LB: 2334655121000 @ 119.7 130.67 c Restart #30 #Var: 1545 LB: 2334655121000 @ 130.62 135.36 c Restart #31 #Var: 1545 LB: 2334655121000 @ 135.31 143.74 c Restart #32 #Var: 1543 LB: 2334655121000 @ 143.69 152.64 c Restart #33 #Var: 1543 LB: 2334655121000 @ 152.59 163.58 c Restart #34 #Var: 1543 LB: 2334655121000 @ 163.53 177.72 c Restart #35 #Var: 1543 LB: 2334655121000 @ 177.66 199.26 c Restart #36 #Var: 1543 LB: 2334655121000 @ 199.2 212.74 c Restart #37 #Var: 1543 LB: 2334655121000 @ 212.67 227.51 c Restart #38 #Var: 1543 LB: 2334655121000 @ 227.43 249.27 c Restart #39 #Var: 1542 LB: 2376755447400 @ 249.19 264.26 c Restart #40 #Var: 1542 LB: 2376755447400 @ 264.18 274.34 c Restart #41 #Var: 1542 LB: 2376755447400 @ 274.25 291.85 c Restart #42 #Var: 1542 LB: 2376755447400 @ 291.76 305.97 c Restart #43 #Var: 1542 LB: 2376755447400 @ 305.88 321.89 c Restart #44 #Var: 1542 LB: 2376755447400 @ 321.79 347.97 c Restart #45 #Var: 1542 LB: 2376755447400 @ 347.87 380.51 c Restart #46 #Var: 1542 LB: 2376755447400 @ 380.4 395.38 c Restart #47 #Var: 1542 LB: 2376755447400 @ 395.27 414.46 c Restart #48 #Var: 1542 LB: 2395891959400 @ 414.34 428.99 c Sol. found (all assignments made)... 428.99 o 354475752789115 428.99 c NEW SOLUTION FOUND: 354475752789115 @ 428.87 428.99 c Sol. found (all assignments made)... 428.99 o 354475747182715 428.99 c NEW SOLUTION FOUND: 354475747182715 @ 428.87 429.00 c Sol. found (all assignments made)... 429.00 o 354475702448315 429.00 c NEW SOLUTION FOUND: 354475702448315 @ 428.88 429.00 c Sol. found (all assignments made)... 429.00 o 354475701163515 429.00 c NEW SOLUTION FOUND: 354475701163515 @ 428.88 429.00 c Sol. found (all assignments made)... 429.00 o 354475700462715 429.00 c NEW SOLUTION FOUND: 354475700462715 @ 428.88 429.01 c Sol. found (all assignments made)... 429.01 o 354475700418915 429.01 c NEW SOLUTION FOUND: 354475700418915 @ 428.89 429.02 c Sol. found (all assignments made)... 429.02 o 354475696914915 429.02 c NEW SOLUTION FOUND: 354475696914915 @ 428.9 429.04 c Sol. found (all assignments made)... 429.04 o 354475695980515 429.04 c NEW SOLUTION FOUND: 354475695980515 @ 428.92 429.06 c Sol. found (all assignments made)... 429.06 o 354475182060515 429.06 c NEW SOLUTION FOUND: 354475182060515 @ 428.94 429.07 c Sol. found (all assignments made)... 429.07 o 354475135340515 429.07 c NEW SOLUTION FOUND: 354475135340515 @ 428.95 429.09 c Sol. found (all assignments made)... 429.09 o 354474948460515 429.09 c NEW SOLUTION FOUND: 354474948460515 @ 428.97 429.24 c Sol. found (all assignments made)... 429.24 o 354474948022515 429.24 c NEW SOLUTION FOUND: 354474948022515 @ 429.12 429.24 c Sol. found (all assignments made)... 429.24 c Sol. found (all assignments made)... 429.24 o 354474946562515 429.24 c NEW SOLUTION FOUND: 354474946562515 @ 429.12 429.25 c Sol. found (all assignments made)... 429.25 o 354474945686515 429.25 c NEW SOLUTION FOUND: 354474945686515 @ 429.12 429.25 c Sol. found (all assignments made)... 429.25 o 354474945540515 429.25 c NEW SOLUTION FOUND: 354474945540515 @ 429.13 429.29 c Sol. found (all assignments made)... 429.29 o 354474945423715 429.29 c NEW SOLUTION FOUND: 354474945423715 @ 429.17 429.54 c Sol. found (all assignments made)... 429.54 o 354474945358015 429.54 c NEW SOLUTION FOUND: 354474945358015 @ 429.42 429.54 c Sol. found (all assignments made)... 429.54 o 354474945343415 429.54 c NEW SOLUTION FOUND: 354474945343415 @ 429.42 429.55 c Sol. found (all assignments made)... 429.55 o 354474945306915 429.55 c NEW SOLUTION FOUND: 354474945306915 @ 429.43 429.59 c Sol. found (all assignments made)... 429.59 o 354474945168215 429.59 c NEW SOLUTION FOUND: 354474945168215 @ 429.47 429.61 c Sol. found (all assignments made)... 429.61 o 354474942832215 429.61 c NEW SOLUTION FOUND: 354474942832215 @ 429.48 429.62 c Sol. found (all assignments made)... 429.62 o 354474942540215 429.62 c NEW SOLUTION FOUND: 354474942540215 @ 429.49 429.63 c Sol. found (all assignments made)... 429.63 o 354474942503715 429.63 c NEW SOLUTION FOUND: 354474942503715 @ 429.51 429.66 c Sol. found (all assignments made)... 429.66 o 354474941313815 429.66 c NEW SOLUTION FOUND: 354474941313815 @ 429.54 429.67 c Sol. found (all assignments made)... 429.67 o 354474940087415 429.67 c NEW SOLUTION FOUND: 354474940087415 @ 429.55 429.68 c Sol. found (all assignments made)... 429.68 o 354474940050915 429.68 c NEW SOLUTION FOUND: 354474940050915 @ 429.56 429.69 c Sol. found (all assignments made)... 429.69 o 354474938919415 429.69 c NEW SOLUTION FOUND: 354474938919415 @ 429.57 429.70 c Sol. found (all assignments made)... 429.70 o 354474936583415 429.70 c NEW SOLUTION FOUND: 354474936583415 @ 429.58 429.71 c Sol. found (all assignments made)... 429.71 o 354474936546915 429.71 c NEW SOLUTION FOUND: 354474936546915 @ 429.59 429.74 c Sol. found (all assignments made)... 429.74 o 354474936079715 429.74 c NEW SOLUTION FOUND: 354474936079715 @ 429.62 429.75 c Sol. found (all assignments made)... 429.75 o 354474933743715 429.75 c NEW SOLUTION FOUND: 354474933743715 @ 429.63 430.11 c Sol. found (all assignments made)... 430.11 o 354474933422515 430.11 c NEW SOLUTION FOUND: 354474933422515 @ 429.98 430.27 c Sol. found (all assignments made)... 430.27 o 354474933349515 430.27 c NEW SOLUTION FOUND: 354474933349515 @ 430.15 430.66 c Sol. found (all assignments made)... 430.66 o 354474933203515 430.66 c NEW SOLUTION FOUND: 354474933203515 @ 430.54 431.11 c Sol. found (all assignments made)... 431.11 o 354474931816515 431.11 c NEW SOLUTION FOUND: 354474931816515 @ 430.99 431.12 c Sol. found (all assignments made)... 431.12 o 354474931466115 431.12 c NEW SOLUTION FOUND: 354474931466115 @ 431 431.13 c Sol. found (all assignments made)... 431.13 o 354474931429615 431.13 c NEW SOLUTION FOUND: 354474931429615 @ 431 431.15 c Sol. found (all assignments made)... 431.15 o 354474930612015 431.15 c NEW SOLUTION FOUND: 354474930612015 @ 431.03 431.26 c Sol. found (all assignments made)... 431.26 o 354474912661315 431.26 c NEW SOLUTION FOUND: 354474912661315 @ 431.14 431.27 c Sol. found (all assignments made)... 431.27 o 354474912624815 431.27 c NEW SOLUTION FOUND: 354474912624815 @ 431.15 431.28 c Sol. found (all assignments made)... 431.28 o 354474909821615 431.28 c NEW SOLUTION FOUND: 354474909821615 @ 431.16 431.29 c Sol. found (all assignments made)... 431.29 o 354474909040515 431.29 c NEW SOLUTION FOUND: 354474909040515 @ 431.17 431.30 c Sol. found (all assignments made)... 431.30 o 354474909004015 431.30 c NEW SOLUTION FOUND: 354474909004015 @ 431.17 431.32 c Sol. found (all assignments made)... 431.32 o 354474786480815 431.32 c NEW SOLUTION FOUND: 354474786480815 @ 431.2 431.33 c Sol. found (all assignments made)... 431.33 o 354474778569805 431.33 c NEW SOLUTION FOUND: 354474778569805 @ 431.21 431.33 c Sol. found (all assignments made)... 431.33 o 354474774855565 431.33 c NEW SOLUTION FOUND: 354474774855565 @ 431.21 431.34 c Sol. found (all assignments made)... 431.34 o 354474774837315 431.34 c NEW SOLUTION FOUND: 354474774837315 @ 431.21 431.34 c Sol. found (all assignments made)... 431.35 c Sol. found (all assignments made)... 431.35 o 354474774800815 431.35 c NEW SOLUTION FOUND: 354474774800815 @ 431.23 431.35 c Sol. found (all assignments made)... 431.36 c Sol. found (all assignments made)... 431.36 o 354474766040815 431.36 c NEW SOLUTION FOUND: 354474766040815 @ 431.24 431.38 c Sol. found (all assignments made)... 431.38 o 354474763274115 431.38 c NEW SOLUTION FOUND: 354474763274115 @ 431.25 431.39 c Sol. found (all assignments made)... 431.39 o 354474763237615 431.39 c NEW SOLUTION FOUND: 354474763237615 @ 431.26 431.41 c Sol. found (all assignments made)... 431.41 o 354474762420015 431.41 c NEW SOLUTION FOUND: 354474762420015 @ 431.29 431.43 c Sol. found (all assignments made)... 431.43 o 354474749141315 431.43 c NEW SOLUTION FOUND: 354474749141315 @ 431.31 431.43 c Sol. found (all assignments made)... 431.43 o 354474749104815 431.43 c NEW SOLUTION FOUND: 354474749104815 @ 431.31 431.44 c Sol. found (all assignments made)... 431.44 o 354474737424815 431.44 c NEW SOLUTION FOUND: 354474737424815 @ 431.32 431.45 c Sol. found (all assignments made)... 431.45 o 354474728701315 431.45 c NEW SOLUTION FOUND: 354474728701315 @ 431.32 431.45 c Sol. found (all assignments made)... 431.45 o 354474728664815 431.45 c NEW SOLUTION FOUND: 354474728664815 @ 431.33 431.46 c Sol. found (all assignments made)... 431.46 o 354474725861615 431.46 c NEW SOLUTION FOUND: 354474725861615 @ 431.34 431.48 c Sol. found (all assignments made)... 431.48 o 354474725080515 431.48 c NEW SOLUTION FOUND: 354474725080515 @ 431.36 431.49 c Sol. found (all assignments made)... 431.49 o 354474725044015 431.49 c NEW SOLUTION FOUND: 354474725044015 @ 431.37 431.57 c Sol. found (all assignments made)... 431.57 o 354474723976755 431.57 c NEW SOLUTION FOUND: 354474723976755 @ 431.45 431.58 c Sol. found (all assignments made)... 431.58 o 354474723757755 431.58 c NEW SOLUTION FOUND: 354474723757755 @ 431.46 431.59 c Sol. found (all assignments made)... 431.59 o 354474723525615 431.59 c NEW SOLUTION FOUND: 354474723525615 @ 431.46 431.60 c Sol. found (all assignments made)... 431.60 o 354474722744515 431.60 c NEW SOLUTION FOUND: 354474722744515 @ 431.48 431.61 c Sol. found (all assignments made)... 431.61 o 354474722708015 431.61 c NEW SOLUTION FOUND: 354474722708015 @ 431.49 431.92 c Sol. found (all assignments made)... 431.92 o 354474718474015 431.92 c NEW SOLUTION FOUND: 354474718474015 @ 431.79 431.93 c Sol. found (all assignments made)... 431.93 o 354474718415615 431.93 c NEW SOLUTION FOUND: 354474718415615 @ 431.8 431.96 c Sol. found (all assignments made)... 431.96 o 354474713619515 431.96 c NEW SOLUTION FOUND: 354474713619515 @ 431.84 431.97 c Sol. found (all assignments made)... 431.97 o 354474713561115 431.97 c NEW SOLUTION FOUND: 354474713561115 @ 431.85 431.98 c Sol. found (all assignments made)... 431.98 o 354474713378615 431.98 c NEW SOLUTION FOUND: 354474713378615 @ 431.86 431.99 c Sol. found (all assignments made)... 431.99 o 354474713342115 431.99 c NEW SOLUTION FOUND: 354474713342115 @ 431.87 432.05 c Sol. found (all assignments made)... 432.05 o 354474702341015 432.05 c NEW SOLUTION FOUND: 354474702341015 @ 431.93 432.06 c Sol. found (all assignments made)... 432.06 o 354474690661015 432.06 c NEW SOLUTION FOUND: 354474690661015 @ 431.94 432.07 c Sol. found (all assignments made)... 432.07 o 354474681901015 432.07 c NEW SOLUTION FOUND: 354474681901015 @ 431.95 432.09 c Sol. found (all assignments made)... 432.09 o 354474681039615 432.09 c NEW SOLUTION FOUND: 354474681039615 @ 431.96 432.14 c Sol. found (all assignments made)... 432.14 o 354474676185115 432.14 c NEW SOLUTION FOUND: 354474676185115 @ 432.02 432.15 c Sol. found (all assignments made)... 432.15 o 354474676002615 432.15 c NEW SOLUTION FOUND: 354474676002615 @ 432.03 432.16 c Sol. found (all assignments made)... 432.16 o 354474675966115 432.16 c NEW SOLUTION FOUND: 354474675966115 @ 432.03 432.33 c Sol. found (all assignments made)... 432.33 o 354474675886545 432.33 c NEW SOLUTION FOUND: 354474675886545 @ 432.21 432.34 c Sol. found (all assignments made)... 432.34 o 354474675850045 432.34 c NEW SOLUTION FOUND: 354474675850045 @ 432.22 432.44 c Sol. found (all assignments made)... 432.44 o 354462698031945 432.44 c NEW SOLUTION FOUND: 354462698031945 @ 432.32 432.45 c Sol. found (all assignments made)... 432.45 o 354462686351945 432.45 c NEW SOLUTION FOUND: 354462686351945 @ 432.33 432.46 c Sol. found (all assignments made)... 432.46 o 354462686264345 432.46 c NEW SOLUTION FOUND: 354462686264345 @ 432.34 432.47 c Sol. found (all assignments made)... 432.47 o 354462686249745 432.47 c NEW SOLUTION FOUND: 354462686249745 @ 432.35 432.51 c Sol. found (all assignments made)... 432.51 o 354462683811545 432.51 c NEW SOLUTION FOUND: 354462683811545 @ 432.39 432.52 c Sol. found (all assignments made)... 432.52 o 354462683796945 432.52 c NEW SOLUTION FOUND: 354462683796945 @ 432.4 432.55 c Sol. found (all assignments made)... 432.55 o 354462683504945 432.55 c NEW SOLUTION FOUND: 354462683504945 @ 432.43 432.61 c Sol. found (all assignments made)... 432.61 o 354462683490345 432.61 c NEW SOLUTION FOUND: 354462683490345 @ 432.49 432.63 c Sol. found (all assignments made)... 432.63 o 354462683198345 432.63 c NEW SOLUTION FOUND: 354462683198345 @ 432.51 432.71 c Sol. found (all assignments made)... 432.71 o 354462681723745 432.71 c NEW SOLUTION FOUND: 354462681723745 @ 432.59 432.72 c Sol. found (all assignments made)... 432.72 o 354462681563145 432.72 c NEW SOLUTION FOUND: 354462681563145 @ 432.6 432.74 c Sol. found (all assignments made)... 432.74 o 354462681519345 432.74 c NEW SOLUTION FOUND: 354462681519345 @ 432.62 432.77 c Sol. found (all assignments made)... 432.77 o 354462680745545 432.77 c NEW SOLUTION FOUND: 354462680745545 @ 432.64 432.78 c Sol. found (all assignments made)... 432.78 o 354462680701745 432.78 c NEW SOLUTION FOUND: 354462680701745 @ 432.66 432.87 c Sol. found (all assignments made)... 432.87 o 354462651311945 432.87 c NEW SOLUTION FOUND: 354462651311945 @ 432.74 432.87 c Sol. found (all assignments made)... 432.87 o 354462651224345 432.87 c NEW SOLUTION FOUND: 354462651224345 @ 432.75 432.87 c Sol. found (all assignments made)... 432.87 o 354462651209745 432.87 c NEW SOLUTION FOUND: 354462651209745 @ 432.75 432.89 c Sol. found (all assignments made)... 432.89 o 354462650581945 432.89 c NEW SOLUTION FOUND: 354462650581945 @ 432.76 432.89 c Sol. found (all assignments made)... 432.89 o 354462650479745 432.89 c NEW SOLUTION FOUND: 354462650479745 @ 432.77 432.90 c Sol. found (all assignments made)... 432.90 o 354462650114745 432.90 c NEW SOLUTION FOUND: 354462650114745 @ 432.78 432.93 c Sol. found (all assignments made)... 432.93 o 354462649676745 432.93 c NEW SOLUTION FOUND: 354462649676745 @ 432.81 432.94 c Sol. found (all assignments made)... 432.94 o 354462649589145 432.94 c NEW SOLUTION FOUND: 354462649589145 @ 432.82 432.95 c Sol. found (all assignments made)... 432.95 o 354462649574545 432.95 c NEW SOLUTION FOUND: 354462649574545 @ 432.83 432.96 c Sol. found (all assignments made)... 432.96 o 354462648523345 432.96 c NEW SOLUTION FOUND: 354462648523345 @ 432.84 432.96 c Sol. found (all assignments made)... 432.96 o 354462648494145 432.96 c NEW SOLUTION FOUND: 354462648494145 @ 432.84 432.97 c Sol. found (all assignments made)... 432.97 o 354462648479545 432.97 c NEW SOLUTION FOUND: 354462648479545 @ 432.84 432.98 c Sol. found (all assignments made)... 432.98 o 354462648070745 432.98 c NEW SOLUTION FOUND: 354462648070745 @ 432.86 432.99 c Sol. found (all assignments made)... 432.99 o 354462648026945 432.99 c NEW SOLUTION FOUND: 354462648026945 @ 432.87 433.00 c Sol. found (all assignments made)... 433.00 o 354462647764145 433.00 c NEW SOLUTION FOUND: 354462647764145 @ 432.88 433.01 c Sol. found (all assignments made)... 433.01 o 354462647705745 433.01 c NEW SOLUTION FOUND: 354462647705745 @ 432.89 433.02 c Sol. found (all assignments made)... 433.02 o 354462647676545 433.02 c NEW SOLUTION FOUND: 354462647676545 @ 432.9 433.03 c Sol. found (all assignments made)... 433.03 o 354462647661945 433.03 c NEW SOLUTION FOUND: 354462647661945 @ 432.9 433.06 c Sol. found (all assignments made)... 433.06 o 354462647413745 433.06 c NEW SOLUTION FOUND: 354462647413745 @ 432.94 433.07 c Sol. found (all assignments made)... 433.07 o 354462647384545 433.07 c NEW SOLUTION FOUND: 354462647384545 @ 432.95 433.08 c Sol. found (all assignments made)... 433.08 o 354462647369945 433.08 c NEW SOLUTION FOUND: 354462647369945 @ 432.96 433.11 c Sol. found (all assignments made)... 433.11 o 354462601949345 433.11 c NEW SOLUTION FOUND: 354462601949345 @ 432.99 433.11 c Sol. found (all assignments made)... 433.11 o 354462601730345 433.11 c NEW SOLUTION FOUND: 354462601730345 @ 432.99 433.12 c Sol. found (all assignments made)... 433.12 o 354462601482145 433.12 c NEW SOLUTION FOUND: 354462601482145 @ 433 433.12 c Sol. found (all assignments made)... 433.12 o 354462601438345 433.12 c NEW SOLUTION FOUND: 354462601438345 @ 433 433.14 c Sol. found (all assignments made)... 433.14 o 354462601058745 433.14 c NEW SOLUTION FOUND: 354462601058745 @ 433.01 433.14 c Sol. found (all assignments made)... 433.14 c Sol. found (all assignments made)... 433.14 o 354462600795945 433.14 c NEW SOLUTION FOUND: 354462600795945 @ 433.02 433.14 c Sol. found (all assignments made)... 433.14 o 354462600752145 433.14 c NEW SOLUTION FOUND: 354462600752145 @ 433.02 433.14 c Sol. found (all assignments made)... 433.15 c Sol. found (all assignments made)... 433.15 c Sol. found (all assignments made)... 433.15 o 354462600722945 433.15 c NEW SOLUTION FOUND: 354462600722945 @ 433.02 433.15 c Sol. found (all assignments made)... 433.15 c Sol. found (all assignments made)... 433.15 c Sol. found (all assignments made)... 433.15 c Sol. found (all assignments made)... 433.15 c Sol. found (all assignments made)... 433.15 o 354462600708345 433.15 c NEW SOLUTION FOUND: 354462600708345 @ 433.03 433.16 c Sol. found (all assignments made)... 433.16 o 354462600445545 433.16 c NEW SOLUTION FOUND: 354462600445545 @ 433.04 433.17 c Sol. found (all assignments made)... 433.17 c Sol. found (all assignments made)... 433.18 c Sol. found (all assignments made)... 433.18 o 354462600430945 433.18 c NEW SOLUTION FOUND: 354462600430945 @ 433.05 433.18 c Sol. found (all assignments made)... 433.18 o 354462600387145 433.18 c NEW SOLUTION FOUND: 354462600387145 @ 433.05 433.19 c Sol. found (all assignments made)... 433.19 c Sol. found (all assignments made)... 433.19 o 354462600357945 433.19 c NEW SOLUTION FOUND: 354462600357945 @ 433.07 433.19 c Sol. found (all assignments made)... 433.19 c Sol. found (all assignments made)... 433.20 c Sol. found (all assignments made)... 433.21 c Sol. found (all assignments made)... 433.22 c Sol. found (all assignments made)... 433.22 o 354462600343345 433.22 c NEW SOLUTION FOUND: 354462600343345 @ 433.09 433.24 c Sol. found (all assignments made)... 433.24 o 354462599861545 433.24 c NEW SOLUTION FOUND: 354462599861545 @ 433.11 433.25 c Sol. found (all assignments made)... 433.25 o 354462599803145 433.25 c NEW SOLUTION FOUND: 354462599803145 @ 433.12 433.26 c Sol. found (all assignments made)... 433.26 o 354462599773945 433.26 c NEW SOLUTION FOUND: 354462599773945 @ 433.14 433.27 c Sol. found (all assignments made)... 433.27 o 354462599759345 433.27 c NEW SOLUTION FOUND: 354462599759345 @ 433.15 433.28 c Sol. found (all assignments made)... 433.28 o 354462599131545 433.28 c NEW SOLUTION FOUND: 354462599131545 @ 433.16 433.29 c Sol. found (all assignments made)... 433.29 o 354462599073145 433.29 c NEW SOLUTION FOUND: 354462599073145 @ 433.17 433.30 c Sol. found (all assignments made)... 433.30 o 354462599043945 433.30 c NEW SOLUTION FOUND: 354462599043945 @ 433.18 433.31 c Sol. found (all assignments made)... 433.31 o 354462599029345 433.31 c NEW SOLUTION FOUND: 354462599029345 @ 433.19 433.33 c Sol. found (all assignments made)... 433.33 o 354462598766545 433.33 c NEW SOLUTION FOUND: 354462598766545 @ 433.2 433.34 c Sol. found (all assignments made)... 433.34 o 354462598708145 433.34 c NEW SOLUTION FOUND: 354462598708145 @ 433.21 433.35 c Sol. found (all assignments made)... 433.35 o 354462598678945 433.35 c NEW SOLUTION FOUND: 354462598678945 @ 433.23 433.36 c Sol. found (all assignments made)... 433.36 o 354462598664345 433.36 c NEW SOLUTION FOUND: 354462598664345 @ 433.24 433.39 c Sol. found (all assignments made)... 433.39 o 354462598313945 433.39 c NEW SOLUTION FOUND: 354462598313945 @ 433.27 433.40 c Sol. found (all assignments made)... 433.40 o 354462598255545 433.40 c NEW SOLUTION FOUND: 354462598255545 @ 433.27 433.40 c Sol. found (all assignments made)... 433.40 o 354462598211745 433.40 c NEW SOLUTION FOUND: 354462598211745 @ 433.28 433.42 c Sol. found (all assignments made)... 433.42 o 354462597948945 433.42 c NEW SOLUTION FOUND: 354462597948945 @ 433.3 433.43 c Sol. found (all assignments made)... 433.43 o 354462597890545 433.43 c NEW SOLUTION FOUND: 354462597890545 @ 433.31 433.44 c Sol. found (all assignments made)... 433.44 o 354462597846745 433.44 c NEW SOLUTION FOUND: 354462597846745 @ 433.32 433.60 c Sol. found (all assignments made)... 433.60 o 354462595831945 433.60 c NEW SOLUTION FOUND: 354462595831945 @ 433.48 433.60 c Sol. found (all assignments made)... 433.60 o 354462595773545 433.60 c NEW SOLUTION FOUND: 354462595773545 @ 433.48 433.61 c Sol. found (all assignments made)... 433.61 o 354462595744345 433.61 c NEW SOLUTION FOUND: 354462595744345 @ 433.48 433.61 c Sol. found (all assignments made)... 433.61 o 354462595729745 433.61 c NEW SOLUTION FOUND: 354462595729745 @ 433.49 433.65 c Sol. found (all assignments made)... 433.65 o 354462594196745 433.65 c NEW SOLUTION FOUND: 354462594196745 @ 433.53 433.66 c Sol. found (all assignments made)... 433.66 o 354462594094545 433.66 c NEW SOLUTION FOUND: 354462594094545 @ 433.54 433.72 c Sol. found (all assignments made)... 433.72 o 354462593379145 433.72 c NEW SOLUTION FOUND: 354462593379145 @ 433.6 433.73 c Sol. found (all assignments made)... 433.73 o 354462593276945 433.73 c NEW SOLUTION FOUND: 354462593276945 @ 433.61 433.87 c Sol. found (all assignments made)... 433.87 o 354462593087145 433.87 c NEW SOLUTION FOUND: 354462593087145 @ 433.74 433.88 c Sol. found (all assignments made)... 433.88 o 354462592984945 433.88 c NEW SOLUTION FOUND: 354462592984945 @ 433.75 433.97 c Sol. found (all assignments made)... 433.97 o 354462592970345 433.97 c NEW SOLUTION FOUND: 354462592970345 @ 433.85 434.01 c Sol. found (all assignments made)... 434.01 o 354462591393545 434.01 c NEW SOLUTION FOUND: 354462591393545 @ 433.88 434.02 c Sol. found (all assignments made)... 434.02 o 354462591335145 434.02 c NEW SOLUTION FOUND: 354462591335145 @ 433.9 434.04 c Sol. found (all assignments made)... 434.04 o 354462591291345 434.04 c NEW SOLUTION FOUND: 354462591291345 @ 433.92 434.09 c Sol. found (all assignments made)... 434.09 o 354462590575945 434.09 c NEW SOLUTION FOUND: 354462590575945 @ 433.96 434.10 c Sol. found (all assignments made)... 434.10 o 354462590473745 434.10 c NEW SOLUTION FOUND: 354462590473745 @ 433.98 434.17 c Sol. found (all assignments made)... 434.17 o 354462590283945 434.17 c NEW SOLUTION FOUND: 354462590283945 @ 434.05 434.19 c Sol. found (all assignments made)... 434.19 o 354462590225545 434.19 c NEW SOLUTION FOUND: 354462590225545 @ 434.06 434.20 c Sol. found (all assignments made)... 434.20 o 354462590181745 434.20 c NEW SOLUTION FOUND: 354462590181745 @ 434.08 434.23 c Sol. found (all assignments made)... 434.23 o 354462563711945 434.23 c NEW SOLUTION FOUND: 354462563711945 @ 434.11 434.24 c Sol. found (all assignments made)... 434.24 o 354462563624345 434.24 c NEW SOLUTION FOUND: 354462563624345 @ 434.12 434.26 c Sol. found (all assignments made)... 434.26 o 354462563609745 434.26 c NEW SOLUTION FOUND: 354462563609745 @ 434.13 434.28 c Sol. found (all assignments made)... 434.28 o 354462562981945 434.28 c NEW SOLUTION FOUND: 354462562981945 @ 434.16 434.29 c Sol. found (all assignments made)... 434.29 o 354462562879745 434.29 c NEW SOLUTION FOUND: 354462562879745 @ 434.17 434.30 c Sol. found (all assignments made)... 434.30 o 354462562616945 434.30 c NEW SOLUTION FOUND: 354462562616945 @ 434.18 434.31 c Sol. found (all assignments made)... 434.31 o 354462562529345 434.31 c NEW SOLUTION FOUND: 354462562529345 @ 434.19 434.32 c Sol. found (all assignments made)... 434.32 o 354462562514745 434.32 c NEW SOLUTION FOUND: 354462562514745 @ 434.2 434.35 c Sol. found (all assignments made)... 434.35 o 354462560791945 434.35 c NEW SOLUTION FOUND: 354462560791945 @ 434.22 434.36 c Sol. found (all assignments made)... 434.36 o 354462560689745 434.36 c NEW SOLUTION FOUND: 354462560689745 @ 434.24 434.38 c Sol. found (all assignments made)... 434.38 o 354462560003545 434.38 c NEW SOLUTION FOUND: 354462560003545 @ 434.25 434.39 c Sol. found (all assignments made)... 434.39 o 354462559959745 434.39 c NEW SOLUTION FOUND: 354462559959745 @ 434.26 434.41 c Sol. found (all assignments made)... 434.41 o 354462559696945 434.41 c NEW SOLUTION FOUND: 354462559696945 @ 434.28 434.42 c Sol. found (all assignments made)... 434.42 o 354462559609345 434.42 c NEW SOLUTION FOUND: 354462559609345 @ 434.3 434.43 c Sol. found (all assignments made)... 434.43 o 354462559594745 434.43 c NEW SOLUTION FOUND: 354462559594745 @ 434.31 434.45 c Sol. found (all assignments made)... 434.45 o 354462559156745 434.45 c NEW SOLUTION FOUND: 354462559156745 @ 434.33 434.47 c Sol. found (all assignments made)... 434.47 o 354462559054545 434.47 c NEW SOLUTION FOUND: 354462559054545 @ 434.34 434.49 c Sol. found (all assignments made)... 434.49 o 354462558426745 434.49 c NEW SOLUTION FOUND: 354462558426745 @ 434.37 434.51 c Sol. found (all assignments made)... 434.51 o 354462558368345 434.51 c NEW SOLUTION FOUND: 354462558368345 @ 434.38 434.52 c Sol. found (all assignments made)... 434.52 o 354462558324545 434.52 c NEW SOLUTION FOUND: 354462558324545 @ 434.39 434.53 c Sol. found (all assignments made)... 434.53 o 354462558061745 434.53 c NEW SOLUTION FOUND: 354462558061745 @ 434.41 434.55 c Sol. found (all assignments made)... 434.55 o 354462557974145 434.55 c NEW SOLUTION FOUND: 354462557974145 @ 434.42 434.56 c Sol. found (all assignments made)... 434.56 o 354462557959545 434.56 c NEW SOLUTION FOUND: 354462557959545 @ 434.43 434.58 c Sol. found (all assignments made)... 434.58 o 354462557506945 434.58 c NEW SOLUTION FOUND: 354462557506945 @ 434.46 434.60 c Sol. found (all assignments made)... 434.60 o 354462557141945 434.60 c NEW SOLUTION FOUND: 354462557141945 @ 434.48 434.65 c Sol. found (all assignments made)... 434.65 o 354462556849945 434.65 c NEW SOLUTION FOUND: 354462556849945 @ 434.53 434.68 c Sol. found (all assignments made)... 434.68 o 354462514495345 434.68 c NEW SOLUTION FOUND: 354462514495345 @ 434.56 434.69 c Sol. found (all assignments made)... 434.69 o 354462513882145 434.69 c NEW SOLUTION FOUND: 354462513882145 @ 434.57 434.70 c Sol. found (all assignments made)... 434.70 o 354462513838345 434.70 c NEW SOLUTION FOUND: 354462513838345 @ 434.57 434.78 c Sol. found (all assignments made)... 434.78 o 354462511619145 434.78 c NEW SOLUTION FOUND: 354462511619145 @ 434.66 434.79 c Sol. found (all assignments made)... 434.79 o 354462511005945 434.79 c NEW SOLUTION FOUND: 354462511005945 @ 434.67 434.80 c Sol. found (all assignments made)... 434.80 o 354462510962145 434.80 c NEW SOLUTION FOUND: 354462510962145 @ 434.68 434.83 c Sol. found (all assignments made)... 434.83 o 354462510918345 434.83 c NEW SOLUTION FOUND: 354462510918345 @ 434.71 434.87 c Sol. found (all assignments made)... 434.87 o 354462510896445 434.87 c NEW SOLUTION FOUND: 354462510896445 @ 434.75 434.89 c Sol. found (all assignments made)... 434.89 o 354462510334345 434.89 c NEW SOLUTION FOUND: 354462510334345 @ 434.77 434.90 c Sol. found (all assignments made)... 434.90 o 354462510290545 434.90 c NEW SOLUTION FOUND: 354462510290545 @ 434.78 434.92 c Sol. found (all assignments made)... 434.93 c Sol. found (all assignments made)... 434.93 o 354462510275945 434.93 c NEW SOLUTION FOUND: 354462510275945 @ 434.81 434.93 c Sol. found (all assignments made)... 434.93 o 354462510232145 434.93 c NEW SOLUTION FOUND: 354462510232145 @ 434.81 434.94 c Sol. found (all assignments made)... 434.95 c Sol. found (all assignments made)... 434.96 c Sol. found (all assignments made)... 434.96 c Sol. found (all assignments made)... 434.96 o 354462510202945 434.96 c NEW SOLUTION FOUND: 354462510202945 @ 434.84 434.97 c Sol. found (all assignments made)... 434.97 o 354462510188345 434.97 c NEW SOLUTION FOUND: 354462510188345 @ 434.85 434.98 c Sol. found (all assignments made)... 434.99 c Sol. found (all assignments made)... 435.00 c Sol. found (all assignments made)... 435.00 o 354462509969345 435.00 c NEW SOLUTION FOUND: 354462509969345 @ 434.87 435.01 c Sol. found (all assignments made)... 435.01 o 354462509925545 435.01 c NEW SOLUTION FOUND: 354462509925545 @ 434.88 435.02 c Sol. found (all assignments made)... 435.03 c Sol. found (all assignments made)... 435.03 o 354462509910945 435.03 c NEW SOLUTION FOUND: 354462509910945 @ 434.91 435.04 c Sol. found (all assignments made)... 435.04 o 354462509867145 435.04 c NEW SOLUTION FOUND: 354462509867145 @ 434.92 435.05 c Sol. found (all assignments made)... 435.06 c Sol. found (all assignments made)... 435.06 c Sol. found (all assignments made)... 435.06 c Sol. found (all assignments made)... 435.06 o 354462509823345 435.06 c NEW SOLUTION FOUND: 354462509823345 @ 434.94 435.07 c Sol. found (all assignments made)... 435.08 c Sol. found (all assignments made)... 435.09 c Sol. found (all assignments made)... 435.10 c Sol. found (all assignments made)... 435.10 o 354462509816045 435.10 c NEW SOLUTION FOUND: 354462509816045 @ 434.98 435.11 c Sol. found (all assignments made)... 435.11 o 354462509801445 435.11 c NEW SOLUTION FOUND: 354462509801445 @ 434.99 435.13 c Sol. found (all assignments made)... 435.13 o 354462509341545 435.13 c NEW SOLUTION FOUND: 354462509341545 @ 435.01 435.15 c Sol. found (all assignments made)... 435.15 o 354462509283145 435.15 c NEW SOLUTION FOUND: 354462509283145 @ 435.03 435.16 c Sol. found (all assignments made)... 435.16 o 354462509253945 435.16 c NEW SOLUTION FOUND: 354462509253945 @ 435.04 435.18 c Sol. found (all assignments made)... 435.18 o 354462509239345 435.18 c NEW SOLUTION FOUND: 354462509239345 @ 435.05 435.20 c Sol. found (all assignments made)... 435.20 o 354462508523945 435.20 c NEW SOLUTION FOUND: 354462508523945 @ 435.08 435.21 c Sol. found (all assignments made)... 435.21 o 354462508465545 435.21 c NEW SOLUTION FOUND: 354462508465545 @ 435.09 435.22 c Sol. found (all assignments made)... 435.22 o 354462508421745 435.22 c NEW SOLUTION FOUND: 354462508421745 @ 435.1 435.25 c Sol. found (all assignments made)... 435.25 o 354462508246545 435.25 c NEW SOLUTION FOUND: 354462508246545 @ 435.13 435.26 c Sol. found (all assignments made)... 435.26 o 354462508188145 435.26 c NEW SOLUTION FOUND: 354462508188145 @ 435.14 435.27 c Sol. found (all assignments made)... 435.27 o 354462508158945 435.27 c NEW SOLUTION FOUND: 354462508158945 @ 435.15 435.28 c Sol. found (all assignments made)... 435.28 o 354462508144345 435.28 c NEW SOLUTION FOUND: 354462508144345 @ 435.16 435.31 c Sol. found (all assignments made)... 435.31 o 354462507793945 435.31 c NEW SOLUTION FOUND: 354462507793945 @ 435.19 435.32 c Sol. found (all assignments made)... 435.32 o 354462507735545 435.32 c NEW SOLUTION FOUND: 354462507735545 @ 435.2 435.33 c Sol. found (all assignments made)... 435.33 o 354462507691745 435.33 c NEW SOLUTION FOUND: 354462507691745 @ 435.2 435.34 c Sol. found (all assignments made)... 435.34 o 354462507428945 435.34 c NEW SOLUTION FOUND: 354462507428945 @ 435.22 435.35 c Sol. found (all assignments made)... 435.35 o 354462507370545 435.35 c NEW SOLUTION FOUND: 354462507370545 @ 435.23 435.35 c Sol. found (all assignments made)... 435.35 o 354462507341345 435.35 c NEW SOLUTION FOUND: 354462507341345 @ 435.23 435.36 c Sol. found (all assignments made)... 435.36 o 354462507326745 435.36 c NEW SOLUTION FOUND: 354462507326745 @ 435.24 436.22 c Sol. found (all assignments made)... 436.22 o 354462490854660 436.22 c NEW SOLUTION FOUND: 354462490854660 @ 436.1 436.22 c Sol. found (all assignments made)... 436.22 o 354462490796625 436.22 c NEW SOLUTION FOUND: 354462490796625 @ 436.1 436.22 c Sol. found (all assignments made)... 436.22 o 354462490332345 436.22 c NEW SOLUTION FOUND: 354462490332345 @ 436.1 436.23 c Sol. found (all assignments made)... 436.23 o 354462490288545 436.23 c NEW SOLUTION FOUND: 354462490288545 @ 436.11 436.25 c Sol. found (all assignments made)... 436.25 o 354462490266645 436.25 c NEW SOLUTION FOUND: 354462490266645 @ 436.13 436.27 c Sol. found (all assignments made)... 436.27 o 354462488609545 436.27 c NEW SOLUTION FOUND: 354462488609545 @ 436.15 436.29 c Sol. found (all assignments made)... 436.29 o 354462487791945 436.29 c NEW SOLUTION FOUND: 354462487791945 @ 436.16 436.34 c Sol. found (all assignments made)... 436.34 o 354462487499945 436.34 c NEW SOLUTION FOUND: 354462487499945 @ 436.21 436.52 c Sol. found (all assignments made)... 436.52 o 354462487222545 436.52 c NEW SOLUTION FOUND: 354462487222545 @ 436.4 436.53 c Sol. found (all assignments made)... 436.53 o 354462486769945 436.53 c NEW SOLUTION FOUND: 354462486769945 @ 436.41 436.55 c Sol. found (all assignments made)... 436.55 o 354462486404945 436.55 c NEW SOLUTION FOUND: 354462486404945 @ 436.42 436.67 c Sol. found (all assignments made)... 436.67 o 354462486375745 436.67 c NEW SOLUTION FOUND: 354462486375745 @ 436.54 436.68 c Sol. found (all assignments made)... 436.68 o 354462486025345 436.68 c NEW SOLUTION FOUND: 354462486025345 @ 436.55 436.68 c Sol. found (all assignments made)... 436.68 o 354462486010745 436.68 c NEW SOLUTION FOUND: 354462486010745 @ 436.56 436.75 c Sol. found (all assignments made)... 436.75 o 354462485762545 436.75 c NEW SOLUTION FOUND: 354462485762545 @ 436.63 436.76 c Sol. found (all assignments made)... 436.76 o 354462485733345 436.76 c NEW SOLUTION FOUND: 354462485733345 @ 436.63 436.76 c Sol. found (all assignments made)... 436.76 o 354462485718745 436.76 c NEW SOLUTION FOUND: 354462485718745 @ 436.63 436.80 c Sol. found (all assignments made)... 436.80 c Sol. found (all assignments made)... 436.80 c Sol. found (all assignments made)... 436.80 c Sol. found (all assignments made)... 436.80 c Sol. found (all assignments made)... 436.81 c Sol. found (all assignments made)... 436.81 o 354462485645745 436.81 c NEW SOLUTION FOUND: 354462485645745 @ 436.68 436.81 c Sol. found (all assignments made)... 436.81 o 354462484331745 436.81 c NEW SOLUTION FOUND: 354462484331745 @ 436.69 436.81 c Sol. found (all assignments made)... 436.82 c Sol. found (all assignments made)... 436.82 c Sol. found (all assignments made)... 436.82 o 354462484185745 436.82 c NEW SOLUTION FOUND: 354462484185745 @ 436.69 436.83 c Sol. found (all assignments made)... 436.83 c Sol. found (all assignments made)... 436.84 c Sol. found (all assignments made)... 436.84 c Sol. found (all assignments made)... 436.86 c Sol. found (all assignments made)... 436.87 c Sol. found (all assignments made)... 436.87 c Sol. found (all assignments made)... 436.93 c Sol. found (all assignments made)... 436.93 c Sol. found (all assignments made)... 436.93 c Sol. found (all assignments made)... 436.94 c Sol. found (all assignments made)... 436.94 o 354462484054345 436.94 c NEW SOLUTION FOUND: 354462484054345 @ 436.81 436.95 c Sol. found (all assignments made)... 436.95 o 354462482594345 436.95 c NEW SOLUTION FOUND: 354462482594345 @ 436.82 436.97 c Sol. found (all assignments made)... 436.97 o 354462482550545 436.97 c NEW SOLUTION FOUND: 354462482550545 @ 436.85 437.07 c Sol. found (all assignments made)... 437.07 o 354462481835145 437.07 c NEW SOLUTION FOUND: 354462481835145 @ 436.94 437.08 c Sol. found (all assignments made)... 437.08 o 354462481776745 437.08 c NEW SOLUTION FOUND: 354462481776745 @ 436.96 437.10 c Sol. found (all assignments made)... 437.10 o 354462481747545 437.10 c NEW SOLUTION FOUND: 354462481747545 @ 436.98 437.12 c Sol. found (all assignments made)... 437.12 o 354462481732945 437.12 c NEW SOLUTION FOUND: 354462481732945 @ 437 437.60 c Sol. found (all assignments made)... 437.60 o 354462480725545 437.60 c NEW SOLUTION FOUND: 354462480725545 @ 437.47 437.66 c Sol. found (all assignments made)... 437.66 o 354462479907945 437.66 c NEW SOLUTION FOUND: 354462479907945 @ 437.53 437.79 c Sol. found (all assignments made)... 437.79 o 354462479615945 437.79 c NEW SOLUTION FOUND: 354462479615945 @ 437.67 438.03 c Sol. found (all assignments made)... 438.23 o 354462479236345 438.23 c NEW SOLUTION FOUND: 354462479236345 @ 437.91 438.23 c Sol. found (all assignments made)... 438.23 o 354462479221745 438.23 c NEW SOLUTION FOUND: 354462479221745 @ 438.01 438.48 c Sol. found (all assignments made)... 438.48 o 354462479031945 438.48 c NEW SOLUTION FOUND: 354462479031945 @ 438.36 438.51 c Sol. found (all assignments made)... 438.51 o 354462478944345 438.51 c NEW SOLUTION FOUND: 354462478944345 @ 438.39 438.53 c Sol. found (all assignments made)... 438.53 o 354462478929745 438.53 c NEW SOLUTION FOUND: 354462478929745 @ 438.41 438.71 c Sol. found (all assignments made)... 438.71 o 354462456854545 438.71 c NEW SOLUTION FOUND: 354462456854545 @ 438.58 438.72 c Sol. found (all assignments made)... 438.72 o 354462456832645 438.72 c NEW SOLUTION FOUND: 354462456832645 @ 438.6 438.73 c Sol. found (all assignments made)... 438.73 o 354462456489545 438.73 c NEW SOLUTION FOUND: 354462456489545 @ 438.61 438.77 c Sol. found (all assignments made)... 438.77 o 354462456467645 438.77 c NEW SOLUTION FOUND: 354462456467645 @ 438.65 438.79 c Sol. found (all assignments made)... 438.79 o 354462445882645 438.79 c NEW SOLUTION FOUND: 354462445882645 @ 438.66 438.83 c Sol. found (all assignments made)... 438.83 o 354462444853345 438.83 c NEW SOLUTION FOUND: 354462444853345 @ 438.7 438.83 c Sol. found (all assignments made)... 438.83 o 354462444787645 438.83 c NEW SOLUTION FOUND: 354462444787645 @ 438.71 438.85 c Sol. found (all assignments made)... 438.85 o 354462440721545 438.85 c NEW SOLUTION FOUND: 354462440721545 @ 438.72 438.86 c Sol. found (all assignments made)... 438.86 o 354462440108345 438.86 c NEW SOLUTION FOUND: 354462440108345 @ 438.74 438.87 c Sol. found (all assignments made)... 438.87 o 354462440042645 438.87 c NEW SOLUTION FOUND: 354462440042645 @ 438.75 438.89 c Sol. found (all assignments made)... 438.89 o 354462439641145 438.89 c NEW SOLUTION FOUND: 354462439641145 @ 438.77 438.91 c Sol. found (all assignments made)... 438.91 o 354462439378345 438.91 c NEW SOLUTION FOUND: 354462439378345 @ 438.79 438.92 c Sol. found (all assignments made)... 438.92 o 354462439312645 438.92 c NEW SOLUTION FOUND: 354462439312645 @ 438.8 438.94 c Sol. found (all assignments made)... 438.94 o 354462438969545 438.94 c NEW SOLUTION FOUND: 354462438969545 @ 438.81 438.96 c Sol. found (all assignments made)... 438.96 o 354462438947645 438.96 c NEW SOLUTION FOUND: 354462438947645 @ 438.83 438.99 c Sol. found (all assignments made)... 438.99 o 354462437567945 438.99 c NEW SOLUTION FOUND: 354462437567945 @ 438.86 439.00 c Sol. found (all assignments made)... 439.00 o 354462436837945 439.00 c NEW SOLUTION FOUND: 354462436837945 @ 438.88 439.02 c Sol. found (all assignments made)... 439.02 o 354462436472945 439.02 c NEW SOLUTION FOUND: 354462436472945 @ 438.89 439.06 c Sol. found (all assignments made)... 439.06 o 354462436392645 439.06 c NEW SOLUTION FOUND: 354462436392645 @ 438.93 439.09 c Sol. found (all assignments made)... 439.09 o 354462436093345 439.09 c NEW SOLUTION FOUND: 354462436093345 @ 438.96 439.10 c Sol. found (all assignments made)... 439.10 o 354462436027645 439.10 c NEW SOLUTION FOUND: 354462436027645 @ 438.97 439.13 c Sol. found (all assignments made)... 439.13 o 354462434647945 439.13 c NEW SOLUTION FOUND: 354462434647945 @ 439 439.16 c Sol. found (all assignments made)... 439.16 o 354462433917945 439.16 c NEW SOLUTION FOUND: 354462433917945 @ 439.03 439.17 c Sol. found (all assignments made)... 439.17 o 354462433552945 439.17 c NEW SOLUTION FOUND: 354462433552945 @ 439.04 439.27 c Sol. found (all assignments made)... 439.27 o 354462433260945 439.27 c NEW SOLUTION FOUND: 354462433260945 @ 439.14 439.43 c Sol. found (all assignments made)... 439.43 o 354462432676945 439.43 c NEW SOLUTION FOUND: 354462432676945 @ 439.3 439.44 c Sol. found (all assignments made)... 439.44 o 354462432574745 439.44 c NEW SOLUTION FOUND: 354462432574745 @ 439.31 439.65 c Sol. found (all assignments made)... 439.65 o 354462409185545 439.65 c NEW SOLUTION FOUND: 354462409185545 @ 439.52 439.67 c Sol. found (all assignments made)... 439.67 o 354462408572345 439.67 c NEW SOLUTION FOUND: 354462408572345 @ 439.54 439.68 c Sol. found (all assignments made)... 439.68 o 354462408506645 439.68 c NEW SOLUTION FOUND: 354462408506645 @ 439.55 439.70 c Sol. found (all assignments made)... 439.70 o 354462402995145 439.70 c NEW SOLUTION FOUND: 354462402995145 @ 439.57 439.72 c Sol. found (all assignments made)... 439.72 o 354462402732345 439.72 c NEW SOLUTION FOUND: 354462402732345 @ 439.59 439.73 c Sol. found (all assignments made)... 439.73 o 354462402666645 439.73 c NEW SOLUTION FOUND: 354462402666645 @ 439.6 439.75 c Sol. found (all assignments made)... 439.75 o 354462399768545 439.75 c NEW SOLUTION FOUND: 354462399768545 @ 439.62 439.78 c Sol. found (all assignments made)... 439.78 o 354462399746645 439.78 c NEW SOLUTION FOUND: 354462399746645 @ 439.65 439.82 c Sol. found (all assignments made)... 439.82 o 354462399016645 439.82 c NEW SOLUTION FOUND: 354462399016645 @ 439.69 439.84 c Sol. found (all assignments made)... 439.84 o 354462398717345 439.84 c NEW SOLUTION FOUND: 354462398717345 @ 439.71 439.85 c Sol. found (all assignments made)... 439.85 o 354462398651645 439.85 c NEW SOLUTION FOUND: 354462398651645 @ 439.72 439.90 c Sol. found (all assignments made)... 439.90 o 354462398089545 439.90 c NEW SOLUTION FOUND: 354462398089545 @ 439.77 439.93 c Sol. found (all assignments made)... 439.93 o 354462397271945 439.93 c NEW SOLUTION FOUND: 354462397271945 @ 439.8 439.97 c Sol. found (all assignments made)... 439.97 o 354462396994545 439.97 c NEW SOLUTION FOUND: 354462396994545 @ 439.84 440.00 c Sol. found (all assignments made)... 440.00 o 354462396541945 440.00 c NEW SOLUTION FOUND: 354462396541945 @ 439.87 440.02 c Sol. found (all assignments made)... 440.02 o 354462396176945 440.02 c NEW SOLUTION FOUND: 354462396176945 @ 439.88 440.08 c Sol. found (all assignments made)... 440.08 o 354462395884945 440.08 c NEW SOLUTION FOUND: 354462395884945 @ 439.95 440.22 c Sol. found (all assignments made)... 440.22 o 354462395665945 440.22 c NEW SOLUTION FOUND: 354462395665945 @ 440.09 440.23 c Sol. found (all assignments made)... 440.23 o 354462395300945 440.23 c NEW SOLUTION FOUND: 354462395300945 @ 440.09 440.23 c Sol. found (all assignments made)... 440.23 o 354462395242545 440.23 c NEW SOLUTION FOUND: 354462395242545 @ 440.1 440.24 c Sol. found (all assignments made)... 440.24 o 354462395213345 440.24 c NEW SOLUTION FOUND: 354462395213345 @ 440.11 440.25 c Sol. found (all assignments made)... 440.25 o 354462395198745 440.25 c NEW SOLUTION FOUND: 354462395198745 @ 440.12 441.80 c Sol. found (all assignments made)... 441.80 o 354371032039545 441.80 c NEW SOLUTION FOUND: 354371032039545 @ 441.66 441.80 c Sol. found (all assignments made)... 441.80 o 354371031017545 441.80 c NEW SOLUTION FOUND: 354371031017545 @ 441.67 441.82 c Sol. found (all assignments made)... 441.82 o 354370880199545 441.82 c NEW SOLUTION FOUND: 354370880199545 @ 441.68 441.82 c Sol. found (all assignments made)... 441.82 c Sol. found (all assignments made)... 441.82 o 354370847057545 441.82 c NEW SOLUTION FOUND: 354370847057545 @ 441.69 441.84 c Sol. found (all assignments made)... 441.84 o 354370835888545 441.84 c NEW SOLUTION FOUND: 354370835888545 @ 441.71 441.85 c Sol. found (all assignments made)... 441.85 o 354370835012545 441.85 c NEW SOLUTION FOUND: 354370835012545 @ 441.71 441.85 c Sol. found (all assignments made)... 441.85 o 354370820996545 441.85 c NEW SOLUTION FOUND: 354370820996545 @ 441.72 441.87 c Sol. found (all assignments made)... 441.87 o 354370820777545 441.87 c NEW SOLUTION FOUND: 354370820777545 @ 441.74 441.90 c Sol. found (all assignments made)... 441.90 o 354370809097545 441.90 c NEW SOLUTION FOUND: 354370809097545 @ 441.77 441.92 c Sol. found (all assignments made)... 441.92 o 354370680756245 441.92 c NEW SOLUTION FOUND: 354370680756245 @ 441.79 441.93 c Sol. found (all assignments made)... 441.93 o 354370680405845 441.93 c NEW SOLUTION FOUND: 354370680405845 @ 441.8 441.94 c Sol. found (all assignments made)... 441.94 o 354370679836445 441.94 c NEW SOLUTION FOUND: 354370679836445 @ 441.8 441.94 c Sol. found (all assignments made)... 441.94 o 354370679792645 441.94 c NEW SOLUTION FOUND: 354370679792645 @ 441.81 441.95 c Sol. found (all assignments made)... 441.95 o 354370679705045 441.95 c NEW SOLUTION FOUND: 354370679705045 @ 441.81 442.00 c Sol. found (all assignments made)... 442.00 o 354370679683145 442.00 c NEW SOLUTION FOUND: 354370679683145 @ 441.87 442.03 c Sol. found (all assignments made)... 442.03 o 354370668090745 442.03 c NEW SOLUTION FOUND: 354370668090745 @ 441.89 442.05 c Sol. found (all assignments made)... 442.05 o 354370668046945 442.05 c NEW SOLUTION FOUND: 354370668046945 @ 441.91 442.07 c Sol. found (all assignments made)... 442.07 o 354370668025045 442.07 c NEW SOLUTION FOUND: 354370668025045 @ 441.94 442.10 c Sol. found (all assignments made)... 442.10 o 354370668003145 442.10 c NEW SOLUTION FOUND: 354370668003145 @ 441.97 442.13 c Sol. found (all assignments made)... 442.13 o 354370666367945 442.13 c NEW SOLUTION FOUND: 354370666367945 @ 442 442.16 c Sol. found (all assignments made)... 442.16 o 354370665550345 442.16 c NEW SOLUTION FOUND: 354370665550345 @ 442.02 442.18 c Sol. found (all assignments made)... 442.18 o 354370664615945 442.18 c NEW SOLUTION FOUND: 354370664615945 @ 442.05 442.21 c Sol. found (all assignments made)... 442.21 o 354370663798345 442.21 c NEW SOLUTION FOUND: 354370663798345 @ 442.07 442.24 c Sol. found (all assignments made)... 442.24 o 354370663506345 442.24 c NEW SOLUTION FOUND: 354370663506345 @ 442.11 442.28 c Sol. found (all assignments made)... 442.28 o 354370663155945 442.28 c NEW SOLUTION FOUND: 354370663155945 @ 442.14 442.30 c Sol. found (all assignments made)... 442.30 o 354370663112145 442.30 c NEW SOLUTION FOUND: 354370663112145 @ 442.17 442.33 c Sol. found (all assignments made)... 442.33 o 354370662834745 442.33 c NEW SOLUTION FOUND: 354370662834745 @ 442.19 442.37 c Sol. found (all assignments made)... 442.37 o 354370662820145 442.37 c NEW SOLUTION FOUND: 354370662820145 @ 442.24 442.40 c Sol. found (all assignments made)... 442.40 o 354370661126545 442.40 c NEW SOLUTION FOUND: 354370661126545 @ 442.27 442.44 c Sol. found (all assignments made)... 442.44 o 354370660411145 442.44 c NEW SOLUTION FOUND: 354370660411145 @ 442.31 442.46 c Sol. found (all assignments made)... 442.46 o 354370660308945 442.46 c NEW SOLUTION FOUND: 354370660308945 @ 442.32 442.49 c Sol. found (all assignments made)... 442.49 o 354370660060745 442.49 c NEW SOLUTION FOUND: 354370660060745 @ 442.35 442.52 c Sol. found (all assignments made)... 442.52 o 354370660016945 442.52 c NEW SOLUTION FOUND: 354370660016945 @ 442.39 442.66 c Sol. found (all assignments made)... 442.66 o 354370659009545 442.66 c NEW SOLUTION FOUND: 354370659009545 @ 442.53 442.69 c Sol. found (all assignments made)... 442.69 o 354370658191945 442.69 c NEW SOLUTION FOUND: 354370658191945 @ 442.55 442.72 c Sol. found (all assignments made)... 442.72 o 354370657899945 442.72 c NEW SOLUTION FOUND: 354370657899945 @ 442.58 442.75 c Sol. found (all assignments made)... 442.75 o 354370657505745 442.75 c NEW SOLUTION FOUND: 354370657505745 @ 442.61 442.79 c Sol. found (all assignments made)... 442.79 o 354370657315945 442.79 c NEW SOLUTION FOUND: 354370657315945 @ 442.65 442.81 c Sol. found (all assignments made)... 442.81 o 354370657213745 442.81 c NEW SOLUTION FOUND: 354370657213745 @ 442.67 442.86 c Sol. found (all assignments made)... 442.86 o 354370643007945 442.86 c NEW SOLUTION FOUND: 354370643007945 @ 442.72 442.88 c Sol. found (all assignments made)... 442.88 o 354370631327945 442.88 c NEW SOLUTION FOUND: 354370631327945 @ 442.74 442.90 c Sol. found (all assignments made)... 442.90 o 354370630510345 442.90 c NEW SOLUTION FOUND: 354370630510345 @ 442.77 442.96 c Sol. found (all assignments made)... 442.96 o 354370630232945 442.96 c NEW SOLUTION FOUND: 354370630232945 @ 442.82 442.98 c Sol. found (all assignments made)... 442.98 o 354370629780345 442.98 c NEW SOLUTION FOUND: 354370629780345 @ 442.85 443.00 c Sol. found (all assignments made)... 443.00 o 354370629415345 443.00 c NEW SOLUTION FOUND: 354370629415345 @ 442.86 443.03 c Sol. found (all assignments made)... 443.03 o 354370628758345 443.03 c NEW SOLUTION FOUND: 354370628758345 @ 442.89 443.07 c Sol. found (all assignments made)... 443.07 o 354370628466345 443.07 c NEW SOLUTION FOUND: 354370628466345 @ 442.93 443.15 c Sol. found (all assignments made)... 443.15 o 354370627663345 443.15 c NEW SOLUTION FOUND: 354370627663345 @ 443.01 443.20 c Sol. found (all assignments made)... 443.20 o 354370627371345 443.20 c NEW SOLUTION FOUND: 354370627371345 @ 443.07 443.37 c Sol. found (all assignments made)... 443.37 o 354370626728945 443.37 c NEW SOLUTION FOUND: 354370626728945 @ 443.24 443.39 c Sol. found (all assignments made)... 443.39 o 354370626685145 443.39 c NEW SOLUTION FOUND: 354370626685145 @ 443.25 443.91 c Sol. found (all assignments made)... 443.91 o 354370625955145 443.91 c NEW SOLUTION FOUND: 354370625955145 @ 443.77 443.95 c Sol. found (all assignments made)... 443.95 o 354370625663145 443.95 c NEW SOLUTION FOUND: 354370625663145 @ 443.81 444.03 c Sol. found (all assignments made)... 444.03 o 354370625385745 444.03 c NEW SOLUTION FOUND: 354370625385745 @ 443.89 444.05 c Sol. found (all assignments made)... 444.05 o 354370624568145 444.05 c NEW SOLUTION FOUND: 354370624568145 @ 443.92 444.37 c Sol. found (all assignments made)... 444.37 o 354370623881945 444.37 c NEW SOLUTION FOUND: 354370623881945 @ 444.23 444.57 c Sol. found (all assignments made)... 444.57 o 354370583483745 444.57 c NEW SOLUTION FOUND: 354370583483745 @ 444.43 444.60 c Sol. found (all assignments made)... 444.60 o 354370583461845 444.60 c NEW SOLUTION FOUND: 354370583461845 @ 444.46 444.62 c Sol. found (all assignments made)... 444.62 o 354370581804745 444.62 c NEW SOLUTION FOUND: 354370581804745 @ 444.48 444.64 c Sol. found (all assignments made)... 444.64 o 354370580987145 444.64 c NEW SOLUTION FOUND: 354370580987145 @ 444.5 444.66 c Sol. found (all assignments made)... 444.66 o 354370580052745 444.66 c NEW SOLUTION FOUND: 354370580052745 @ 444.52 444.68 c Sol. found (all assignments made)... 444.68 o 354370579235145 444.68 c NEW SOLUTION FOUND: 354370579235145 @ 444.55 444.71 c Sol. found (all assignments made)... 444.71 o 354370578943145 444.71 c NEW SOLUTION FOUND: 354370578943145 @ 444.57 444.83 c Sol. found (all assignments made)... 444.83 o 354370578140145 444.83 c NEW SOLUTION FOUND: 354370578140145 @ 444.69 444.86 c Sol. found (all assignments made)... 444.86 o 354370577848145 444.86 c NEW SOLUTION FOUND: 354370577848145 @ 444.72 444.95 c Sol. found (all assignments made)... 444.95 o 354370577249545 444.95 c NEW SOLUTION FOUND: 354370577249545 @ 444.81 444.98 c Sol. found (all assignments made)... 444.98 o 354370576431945 444.98 c NEW SOLUTION FOUND: 354370576431945 @ 444.84 445.01 c Sol. found (all assignments made)... 445.01 o 354370576139945 445.01 c NEW SOLUTION FOUND: 354370576139945 @ 444.87 445.11 c Sol. found (all assignments made)... 445.11 o 354370575862545 445.11 c NEW SOLUTION FOUND: 354370575862545 @ 444.97 445.14 c Sol. found (all assignments made)... 445.14 o 354370575044945 445.14 c NEW SOLUTION FOUND: 354370575044945 @ 445 445.53 c Sol. found (all assignments made)... 445.53 o 354370574694545 445.53 c NEW SOLUTION FOUND: 354370574694545 @ 445.39 445.54 c Sol. found (all assignments made)... 445.54 o 354370574650745 445.54 c NEW SOLUTION FOUND: 354370574650745 @ 445.4 445.57 c Sol. found (all assignments made)... 445.57 o 354370574358745 445.57 c NEW SOLUTION FOUND: 354370574358745 @ 445.43 445.71 c Sol. found (all assignments made)... 445.71 o 354370574241945 445.71 c NEW SOLUTION FOUND: 354370574241945 @ 445.57 445.74 c Sol. found (all assignments made)... 445.74 o 354370573424345 445.74 c NEW SOLUTION FOUND: 354370573424345 @ 445.6 445.80 c Sol. found (all assignments made)... 445.80 o 354370573132345 445.80 c NEW SOLUTION FOUND: 354370573132345 @ 445.65 446.00 c Sol. found (all assignments made)... 446.00 o 354370572986345 446.00 c NEW SOLUTION FOUND: 354370572986345 @ 445.86 446.05 c Sol. found (all assignments made)... 446.05 o 354370572781945 446.05 c NEW SOLUTION FOUND: 354370572781945 @ 445.91 446.10 c Sol. found (all assignments made)... 446.10 o 354370571146745 446.10 c NEW SOLUTION FOUND: 354370571146745 @ 445.95 446.13 c Sol. found (all assignments made)... 446.13 o 354370570329145 446.13 c NEW SOLUTION FOUND: 354370570329145 @ 445.99 446.28 c Sol. found (all assignments made)... 446.28 o 354370570183145 446.28 c NEW SOLUTION FOUND: 354370570183145 @ 446.14 446.80 c Sol. found (all assignments made)... 446.80 o 354370569686745 446.80 c NEW SOLUTION FOUND: 354370569686745 @ 446.66 446.81 c Sol. found (all assignments made)... 446.81 o 354370569642945 446.81 c NEW SOLUTION FOUND: 354370569642945 @ 446.67 447.03 c Sol. found (all assignments made)... 447.03 o 354370569511545 447.03 c NEW SOLUTION FOUND: 354370569511545 @ 446.89 447.05 c Sol. found (all assignments made)... 447.05 o 354370569496945 447.05 c NEW SOLUTION FOUND: 354370569496945 @ 446.91 447.55 c Sol. found (all assignments made)... 447.55 o 354370568635545 447.55 c NEW SOLUTION FOUND: 354370568635545 @ 447.41 447.58 c Sol. found (all assignments made)... 447.58 o 354370567817945 447.58 c NEW SOLUTION FOUND: 354370567817945 @ 447.44 447.63 c Sol. found (all assignments made)... 447.63 o 354370567525945 447.63 c NEW SOLUTION FOUND: 354370567525945 @ 447.49 447.68 c Sol. found (all assignments made)... 447.68 o 354370567379945 447.68 c NEW SOLUTION FOUND: 354370567379945 @ 447.54 447.75 c Sol. found (all assignments made)... 447.75 o 354370566941945 447.75 c NEW SOLUTION FOUND: 354370566941945 @ 447.61 447.77 c Sol. found (all assignments made)... 447.77 o 354370566839745 447.77 c NEW SOLUTION FOUND: 354370566839745 @ 447.63 447.85 c Sol. found (all assignments made)... 447.85 o 354370566737545 447.85 c NEW SOLUTION FOUND: 354370566737545 @ 447.71 447.87 c Sol. found (all assignments made)... 447.87 o 354370566693745 447.87 c NEW SOLUTION FOUND: 354370566693745 @ 447.73 447.93 c Sol. found (all assignments made)... 447.93 o 354370545509145 447.93 c NEW SOLUTION FOUND: 354370545509145 @ 447.79 447.96 c Sol. found (all assignments made)... 447.96 o 354370542589145 447.96 c NEW SOLUTION FOUND: 354370542589145 @ 447.82 447.98 c Sol. found (all assignments made)... 447.98 o 354370541859145 447.98 c NEW SOLUTION FOUND: 354370541859145 @ 447.84 448.00 c Sol. found (all assignments made)... 448.00 o 354370541494145 448.00 c NEW SOLUTION FOUND: 354370541494145 @ 447.85 448.03 c Sol. found (all assignments made)... 448.03 o 354370540953945 448.03 c NEW SOLUTION FOUND: 354370540953945 @ 447.88 448.05 c Sol. found (all assignments made)... 448.05 o 354370539858945 448.05 c NEW SOLUTION FOUND: 354370539858945 @ 447.91 448.08 c Sol. found (all assignments made)... 448.08 o 354370539406345 448.08 c NEW SOLUTION FOUND: 354370539406345 @ 447.94 448.09 c Sol. found (all assignments made)... 448.09 o 354370539041345 448.09 c NEW SOLUTION FOUND: 354370539041345 @ 447.95 448.15 c Sol. found (all assignments made)... 448.15 o 354370538909945 448.15 c NEW SOLUTION FOUND: 354370538909945 @ 448 448.17 c Sol. found (all assignments made)... 448.17 o 354370537814945 448.17 c NEW SOLUTION FOUND: 354370537814945 @ 448.02 448.21 c Sol. found (all assignments made)... 448.21 o 354370537362345 448.21 c NEW SOLUTION FOUND: 354370537362345 @ 448.06 448.22 c Sol. found (all assignments made)... 448.22 o 354370536997345 448.22 c NEW SOLUTION FOUND: 354370536997345 @ 448.08 448.36 c Sol. found (all assignments made)... 448.36 o 354370536851345 448.36 c NEW SOLUTION FOUND: 354370536851345 @ 448.22 448.49 c Sol. found (all assignments made)... 448.49 o 354370536544745 448.49 c NEW SOLUTION FOUND: 354370536544745 @ 448.34 448.50 c Sol. found (all assignments made)... 448.50 o 354370536530145 448.50 c NEW SOLUTION FOUND: 354370536530145 @ 448.36 448.51 c Sol. found (all assignments made)... 448.51 o 354370536165145 448.51 c NEW SOLUTION FOUND: 354370536165145 @ 448.37 448.84 c Sol. found (all assignments made)... 448.84 o 354370535435145 448.84 c NEW SOLUTION FOUND: 354370535435145 @ 448.69 448.89 c Sol. found (all assignments made)... 448.89 o 354370535143145 448.89 c NEW SOLUTION FOUND: 354370535143145 @ 448.74 448.95 c Sol. found (all assignments made)... 448.95 o 354370534705145 448.95 c NEW SOLUTION FOUND: 354370534705145 @ 448.8 448.96 c Sol. found (all assignments made)... 448.96 o 354370534340145 448.96 c NEW SOLUTION FOUND: 354370534340145 @ 448.82 449.02 c Sol. found (all assignments made)... 449.02 o 354370534048145 449.02 c NEW SOLUTION FOUND: 354370534048145 @ 448.88 449.25 c Sol. found (all assignments made)... 449.25 o 354370533756145 449.25 c NEW SOLUTION FOUND: 354370533756145 @ 449.11 449.26 c Sol. found (all assignments made)... 449.26 o 354370533653945 449.26 c NEW SOLUTION FOUND: 354370533653945 @ 449.12 449.33 c Sol. found (all assignments made)... 449.33 o 354370533405745 449.33 c NEW SOLUTION FOUND: 354370533405745 @ 449.18 449.34 c Sol. found (all assignments made)... 449.34 o 354370533361945 449.34 c NEW SOLUTION FOUND: 354370533361945 @ 449.19 449.49 c Sol. found (all assignments made)... 449.49 o 354370513381845 449.49 c NEW SOLUTION FOUND: 354370513381845 @ 449.34 449.51 c Sol. found (all assignments made)... 449.51 o 354370507607545 449.51 c NEW SOLUTION FOUND: 354370507607545 @ 449.37 449.53 c Sol. found (all assignments made)... 449.53 o 354370507541845 449.53 c NEW SOLUTION FOUND: 354370507541845 @ 449.38 449.55 c Sol. found (all assignments made)... 449.55 o 354370505300745 449.55 c NEW SOLUTION FOUND: 354370505300745 @ 449.4 449.57 c Sol. found (all assignments made)... 449.57 o 354370504687545 449.57 c NEW SOLUTION FOUND: 354370504687545 @ 449.42 449.58 c Sol. found (all assignments made)... 449.58 o 354370504621845 449.58 c NEW SOLUTION FOUND: 354370504621845 @ 449.44 449.60 c Sol. found (all assignments made)... 449.60 o 354370502030345 449.60 c NEW SOLUTION FOUND: 354370502030345 @ 449.46 449.62 c Sol. found (all assignments made)... 449.62 o 354370501767545 449.62 c NEW SOLUTION FOUND: 354370501767545 @ 449.48 449.64 c Sol. found (all assignments made)... 449.64 o 354370501701845 449.64 c NEW SOLUTION FOUND: 354370501701845 @ 449.49 449.65 c Sol. found (all assignments made)... 449.65 o 354370492963745 449.65 c NEW SOLUTION FOUND: 354370492963745 @ 449.51 449.67 c Sol. found (all assignments made)... 449.67 o 354370492941845 449.67 c NEW SOLUTION FOUND: 354370492941845 @ 449.53 449.70 c Sol. found (all assignments made)... 449.70 o 354370491284745 449.70 c NEW SOLUTION FOUND: 354370491284745 @ 449.55 449.72 c Sol. found (all assignments made)... 449.72 o 354370490467145 449.72 c NEW SOLUTION FOUND: 354370490467145 @ 449.57 449.75 c Sol. found (all assignments made)... 449.75 o 354370489532745 449.75 c NEW SOLUTION FOUND: 354370489532745 @ 449.6 449.77 c Sol. found (all assignments made)... 449.77 o 354370488715145 449.77 c NEW SOLUTION FOUND: 354370488715145 @ 449.63 449.82 c Sol. found (all assignments made)... 449.82 o 354370488423145 449.82 c NEW SOLUTION FOUND: 354370488423145 @ 449.68 449.94 c Sol. found (all assignments made)... 449.94 o 354370488131145 449.94 c NEW SOLUTION FOUND: 354370488131145 @ 449.79 449.95 c Sol. found (all assignments made)... 449.95 o 354370487766145 449.95 c NEW SOLUTION FOUND: 354370487766145 @ 449.81 450.01 c Sol. found (all assignments made)... 450.01 o 354370487474145 450.01 c NEW SOLUTION FOUND: 354370487474145 @ 449.87 450.15 c Sol. found (all assignments made)... 450.15 o 354370487328145 450.15 c NEW SOLUTION FOUND: 354370487328145 @ 450 450.35 c Sol. found (all assignments made)... 450.35 o 354370487094545 450.35 c NEW SOLUTION FOUND: 354370487094545 @ 450.21 450.37 c Sol. found (all assignments made)... 450.37 o 354370487079945 450.37 c NEW SOLUTION FOUND: 354370487079945 @ 450.22 450.44 c Sol. found (all assignments made)... 450.44 o 354370486787945 450.44 c NEW SOLUTION FOUND: 354370486787945 @ 450.29 450.60 c Sol. found (all assignments made)... 450.60 o 354370486744145 450.60 c NEW SOLUTION FOUND: 354370486744145 @ 450.45 450.62 c Sol. found (all assignments made)... 450.62 o 354370486641945 450.62 c NEW SOLUTION FOUND: 354370486641945 @ 450.47 450.67 c Sol. found (all assignments made)... 450.67 o 354370486057945 450.67 c NEW SOLUTION FOUND: 354370486057945 @ 450.52 450.71 c Sol. found (all assignments made)... 450.71 o 354370485765945 450.71 c NEW SOLUTION FOUND: 354370485765945 @ 450.57 450.78 c Sol. found (all assignments made)... 450.78 o 354370485619945 450.78 c NEW SOLUTION FOUND: 354370485619945 @ 450.63 450.82 c Sol. found (all assignments made)... 450.82 o 354370485415545 450.82 c NEW SOLUTION FOUND: 354370485415545 @ 450.67 450.83 c Sol. found (all assignments made)... 450.83 o 354370485371745 450.83 c NEW SOLUTION FOUND: 354370485371745 @ 450.68 450.87 c Sol. found (all assignments made)... 450.87 o 354370485094345 450.87 c NEW SOLUTION FOUND: 354370485094345 @ 450.72 450.88 c Sol. found (all assignments made)... 450.88 o 354370485079745 450.88 c NEW SOLUTION FOUND: 354370485079745 @ 450.73 450.94 c Sol. found (all assignments made)... 450.94 o 354370484933745 450.94 c NEW SOLUTION FOUND: 354370484933745 @ 450.79 450.99 c Sol. found (all assignments made)... 450.99 o 354370484670945 451.00 c NEW SOLUTION FOUND: 354370484670945 @ 450.85 451.06 c Sol. found (all assignments made)... 451.06 o 354370484524945 451.06 c NEW SOLUTION FOUND: 354370484524945 @ 450.92 451.16 c Sol. found (all assignments made)... 451.16 o 354370484378945 451.16 c NEW SOLUTION FOUND: 354370484378945 @ 451.02 451.17 c Sol. found (all assignments made)... 451.17 o 354370484276745 451.17 c NEW SOLUTION FOUND: 354370484276745 @ 451.03 451.23 c Sol. found (all assignments made)... 451.23 o 354370484028545 451.23 c NEW SOLUTION FOUND: 354370484028545 @ 451.08 451.25 c Sol. found (all assignments made)... 451.25 o 354370483984745 451.25 c NEW SOLUTION FOUND: 354370483984745 @ 451.1 451.38 c Sol. found (all assignments made)... 451.38 o 354370483853345 451.38 c NEW SOLUTION FOUND: 354370483853345 @ 451.24 451.40 c Sol. found (all assignments made)... 451.40 o 354370483838745 451.40 c NEW SOLUTION FOUND: 354370483838745 @ 451.26 453.48 c Sol. found (all assignments made)... 453.48 o 354370481327545 453.48 c NEW SOLUTION FOUND: 354370481327545 @ 453.34 453.50 c Sol. found (all assignments made)... 453.50 o 354370463807545 453.50 c NEW SOLUTION FOUND: 354370463807545 @ 453.35 453.52 c Sol. found (all assignments made)... 453.52 o 354370460887545 453.52 c NEW SOLUTION FOUND: 354370460887545 @ 453.37 453.58 c Sol. found (all assignments made)... 453.58 o 354370460069945 453.58 c NEW SOLUTION FOUND: 354370460069945 @ 453.44 453.71 c Sol. found (all assignments made)... 453.71 o 354370451309945 453.71 c NEW SOLUTION FOUND: 354370451309945 @ 453.56 453.71 c Sol. found (all assignments made)... 453.71 o 354370448389945 453.71 c NEW SOLUTION FOUND: 354370448389945 @ 453.57 453.88 c Sol. found (all assignments made)... 453.88 o 354370447659945 453.88 c NEW SOLUTION FOUND: 354370447659945 @ 453.73 453.88 c Sol. found (all assignments made)... 453.88 o 354370447294945 453.88 c NEW SOLUTION FOUND: 354370447294945 @ 453.73 454.04 c Sol. found (all assignments made)... 454.04 o 354370447148945 454.04 c NEW SOLUTION FOUND: 354370447148945 @ 453.89 454.25 c Sol. found (all assignments made)... 454.25 o 354370446608745 454.25 c NEW SOLUTION FOUND: 354370446608745 @ 454.1 454.48 c Sol. found (all assignments made)... 454.48 o 354370446564945 454.48 c NEW SOLUTION FOUND: 354370446564945 @ 454.33 454.48 c Sol. found (all assignments made)... 454.48 o 354370446462745 454.48 c NEW SOLUTION FOUND: 354370446462745 @ 454.33 454.73 c Sol. found (all assignments made)... 454.73 o 354368765243545 454.73 c NEW SOLUTION FOUND: 354368765243545 @ 454.58 454.75 c Sol. found (all assignments made)... 454.75 o 354368742350745 454.75 c NEW SOLUTION FOUND: 354368742350745 @ 454.6 454.76 c Sol. found (all assignments made)... 454.76 o 354368740715545 454.76 c NEW SOLUTION FOUND: 354368740715545 @ 454.61 454.78 c Sol. found (all assignments made)... 454.78 o 354368612469145 454.78 c NEW SOLUTION FOUND: 354368612469145 @ 454.63 454.80 c Sol. found (all assignments made)... 454.80 o 354368610833945 454.80 c NEW SOLUTION FOUND: 354368610833945 @ 454.65 454.83 c Sol. found (all assignments made)... 454.83 o 354368610016345 454.83 c NEW SOLUTION FOUND: 354368610016345 @ 454.68 454.86 c Sol. found (all assignments made)... 454.86 o 354368609081945 454.86 c NEW SOLUTION FOUND: 354368609081945 @ 454.7 454.88 c Sol. found (all assignments made)... 454.88 o 354368608264345 454.88 c NEW SOLUTION FOUND: 354368608264345 @ 454.73 454.90 c Sol. found (all assignments made)... 454.90 o 354368607972345 454.90 c NEW SOLUTION FOUND: 354368607972345 @ 454.75 454.94 c Sol. found (all assignments made)... 454.94 o 354368607826345 454.94 c NEW SOLUTION FOUND: 354368607826345 @ 454.79 454.96 c Sol. found (all assignments made)... 454.96 o 354368607621945 454.96 c NEW SOLUTION FOUND: 354368607621945 @ 454.81 454.99 c Sol. found (all assignments made)... 454.99 o 354368605986745 454.99 c NEW SOLUTION FOUND: 354368605986745 @ 454.83 455.01 c Sol. found (all assignments made)... 455.01 o 354368605169145 455.01 c NEW SOLUTION FOUND: 354368605169145 @ 454.86 455.04 c Sol. found (all assignments made)... 455.04 o 354368605023145 455.04 c NEW SOLUTION FOUND: 354368605023145 @ 454.89 455.08 c Sol. found (all assignments made)... 455.08 o 354368604526745 455.08 c NEW SOLUTION FOUND: 354368604526745 @ 454.93 455.11 c Sol. found (all assignments made)... 455.11 o 354368604482945 455.11 c NEW SOLUTION FOUND: 354368604482945 @ 454.95 455.13 c Sol. found (all assignments made)... 455.13 o 354368604351545 455.13 c NEW SOLUTION FOUND: 354368604351545 @ 454.98 455.17 c Sol. found (all assignments made)... 455.17 o 354368604336945 455.17 c NEW SOLUTION FOUND: 354368604336945 @ 455.02 455.25 c Sol. found (all assignments made)... 455.26 o 354368603475545 455.26 c NEW SOLUTION FOUND: 354368603475545 @ 455.1 455.28 c Sol. found (all assignments made)... 455.28 o 354368602657945 455.28 c NEW SOLUTION FOUND: 354368602657945 @ 455.12 455.30 c Sol. found (all assignments made)... 455.30 o 354368602365945 455.30 c NEW SOLUTION FOUND: 354368602365945 @ 455.15 455.33 c Sol. found (all assignments made)... 455.33 o 354368602219945 455.33 c NEW SOLUTION FOUND: 354368602219945 @ 455.18 455.36 c Sol. found (all assignments made)... 455.36 o 354368601971745 455.36 c NEW SOLUTION FOUND: 354368601971745 @ 455.2 455.40 c Sol. found (all assignments made)... 455.40 o 354368601781945 455.40 c NEW SOLUTION FOUND: 354368601781945 @ 455.25 455.41 c Sol. found (all assignments made)... 455.41 o 354368601679745 455.41 c NEW SOLUTION FOUND: 354368601679745 @ 455.26 455.45 c Sol. found (all assignments made)... 455.45 o 354368601577545 455.45 c NEW SOLUTION FOUND: 354368601577545 @ 455.3 455.47 c Sol. found (all assignments made)... 455.47 o 354368601533745 455.47 c NEW SOLUTION FOUND: 354368601533745 @ 455.32 455.69 c Sol. found (all assignments made)... 455.69 o 354368565303845 455.69 c NEW SOLUTION FOUND: 354368565303845 @ 455.53 455.70 c Sol. found (all assignments made)... 455.70 o 354368563646745 455.70 c NEW SOLUTION FOUND: 354368563646745 @ 455.55 455.72 c Sol. found (all assignments made)... 455.72 o 354368562829145 455.72 c NEW SOLUTION FOUND: 354368562829145 @ 455.57 455.74 c Sol. found (all assignments made)... 455.74 o 354368561894745 455.74 c NEW SOLUTION FOUND: 354368561894745 @ 455.59 455.76 c Sol. found (all assignments made)... 455.76 o 354368561077145 455.76 c NEW SOLUTION FOUND: 354368561077145 @ 455.61 455.78 c Sol. found (all assignments made)... 455.78 o 354368560785145 455.78 c NEW SOLUTION FOUND: 354368560785145 @ 455.63 455.81 c Sol. found (all assignments made)... 455.81 o 354368560639145 455.81 c NEW SOLUTION FOUND: 354368560639145 @ 455.65 455.83 c Sol. found (all assignments made)... 455.83 o 354368558653545 455.83 c NEW SOLUTION FOUND: 354368558653545 @ 455.68 455.85 c Sol. found (all assignments made)... 455.85 o 354368557835945 455.85 c NEW SOLUTION FOUND: 354368557835945 @ 455.7 455.91 c Sol. found (all assignments made)... 455.91 o 354368557456345 455.91 c NEW SOLUTION FOUND: 354368557456345 @ 455.75 455.93 c Sol. found (all assignments made)... 455.93 o 354368557441745 455.93 c NEW SOLUTION FOUND: 354368557441745 @ 455.78 455.95 c Sol. found (all assignments made)... 455.95 o 354368557149745 455.95 c NEW SOLUTION FOUND: 354368557149745 @ 455.8 456.05 c Sol. found (all assignments made)... 456.05 o 354368556886945 456.05 c NEW SOLUTION FOUND: 354368556886945 @ 455.9 456.08 c Sol. found (all assignments made)... 456.08 o 354368556740945 456.08 c NEW SOLUTION FOUND: 354368556740945 @ 455.93 456.12 c Sol. found (all assignments made)... 456.12 o 354368556711745 456.12 c NEW SOLUTION FOUND: 354368556711745 @ 455.96 456.13 c Sol. found (all assignments made)... 456.13 o 354368556390545 456.13 c NEW SOLUTION FOUND: 354368556390545 @ 455.98 456.15 c Sol. found (all assignments made)... 456.15 o 354368556346745 456.15 c NEW SOLUTION FOUND: 354368556346745 @ 456 456.17 c Sol. found (all assignments made)... 456.17 o 354368556069345 456.17 c NEW SOLUTION FOUND: 354368556069345 @ 456.01 456.18 c Sol. found (all assignments made)... 456.18 o 354368556054745 456.18 c NEW SOLUTION FOUND: 354368556054745 @ 456.02 456.30 c Sol. found (all assignments made)... 456.30 o 354368521277545 456.30 c NEW SOLUTION FOUND: 354368521277545 @ 456.14 456.32 c Sol. found (all assignments made)... 456.32 o 354368520459945 456.32 c NEW SOLUTION FOUND: 354368520459945 @ 456.16 456.40 c Sol. found (all assignments made)... 456.40 o 354368519875945 456.40 c NEW SOLUTION FOUND: 354368519875945 @ 456.24 456.41 c Sol. found (all assignments made)... 456.41 o 354368519773745 456.41 c NEW SOLUTION FOUND: 354368519773745 @ 456.25 456.50 c Sol. found (all assignments made)... 456.50 o 354368519656945 456.50 c NEW SOLUTION FOUND: 354368519656945 @ 456.34 456.53 c Sol. found (all assignments made)... 456.53 o 354368519364945 456.53 c NEW SOLUTION FOUND: 354368519364945 @ 456.37 456.64 c Sol. found (all assignments made)... 456.64 o 354368519160545 456.64 c NEW SOLUTION FOUND: 354368519160545 @ 456.48 456.65 c Sol. found (all assignments made)... 456.65 o 354368519116745 456.65 c NEW SOLUTION FOUND: 354368519116745 @ 456.5 456.68 c Sol. found (all assignments made)... 456.68 o 354368518824745 456.68 c NEW SOLUTION FOUND: 354368518824745 @ 456.52 456.73 c Sol. found (all assignments made)... 456.73 o 354368518722545 456.73 c NEW SOLUTION FOUND: 354368518722545 @ 456.57 456.75 c Sol. found (all assignments made)... 456.75 o 354368518678745 456.75 c NEW SOLUTION FOUND: 354368518678745 @ 456.59 456.86 c Sol. found (all assignments made)... 456.86 o 354368517247945 456.86 c NEW SOLUTION FOUND: 354368517247945 @ 456.71 456.91 c Sol. found (all assignments made)... 456.91 o 354368515612745 456.91 c NEW SOLUTION FOUND: 354368515612745 @ 456.75 456.93 c Sol. found (all assignments made)... 456.93 o 354368515320745 456.93 c NEW SOLUTION FOUND: 354368515320745 @ 456.78 457.02 c Sol. found (all assignments made)... 457.02 o 354368514795145 457.02 c NEW SOLUTION FOUND: 354368514795145 @ 456.86 457.08 c Sol. found (all assignments made)... 457.08 o 354368514503145 457.08 c NEW SOLUTION FOUND: 354368514503145 @ 456.92 457.66 c Sol. found (all assignments made)... 457.66 o 354368513816945 457.66 c NEW SOLUTION FOUND: 354368513816945 @ 457.5 458.96 c Sol. found (all assignments made)... 458.96 o 354368512517545 458.96 c NEW SOLUTION FOUND: 354368512517545 @ 458.8 459.07 c Sol. found (all assignments made)... 459.07 o 354368511991945 459.07 c NEW SOLUTION FOUND: 354368511991945 @ 458.91 459.13 c Sol. found (all assignments made)... 459.13 o 354368511699945 459.13 c NEW SOLUTION FOUND: 354368511699945 @ 458.98 459.80 c Sol. found (all assignments made)... 459.80 o 354368511115945 459.80 c NEW SOLUTION FOUND: 354368511115945 @ 459.65 459.82 c Sol. found (all assignments made)... 459.82 o 354368511013745 459.82 c NEW SOLUTION FOUND: 354368511013745 @ 459.66 461.80 c Sol. found (all assignments made)... 461.80 o 354368494501145 461.80 c NEW SOLUTION FOUND: 354368494501145 @ 461.64 461.80 c Sol. found (all assignments made)... 461.80 o 354368494435445 461.80 c NEW SOLUTION FOUND: 354368494435445 @ 461.65 461.82 c Sol. found (all assignments made)... 461.82 o 354368494413545 461.82 c NEW SOLUTION FOUND: 354368494413545 @ 461.66 461.83 c Sol. found (all assignments made)... 461.83 o 354368494406245 461.83 c NEW SOLUTION FOUND: 354368494406245 @ 461.67 461.84 c Sol. found (all assignments made)... 461.84 o 354368494391645 461.84 c NEW SOLUTION FOUND: 354368494391645 @ 461.68 461.85 c Sol. found (all assignments made)... 461.85 o 354368483390545 461.85 c NEW SOLUTION FOUND: 354368483390545 @ 461.69 461.86 c Sol. found (all assignments made)... 461.86 o 354368482791945 461.86 c NEW SOLUTION FOUND: 354368482791945 @ 461.7 461.87 c Sol. found (all assignments made)... 461.87 o 354368482777345 461.87 c NEW SOLUTION FOUND: 354368482777345 @ 461.7 461.88 c Sol. found (all assignments made)... 461.88 o 354368482711645 461.88 c NEW SOLUTION FOUND: 354368482711645 @ 461.71 461.90 c Sol. found (all assignments made)... 461.90 o 354368476995745 461.90 c NEW SOLUTION FOUND: 354368476995745 @ 461.74 461.91 c Sol. found (all assignments made)... 461.91 o 354368476973845 461.91 c NEW SOLUTION FOUND: 354368476973845 @ 461.75 461.92 c Sol. found (all assignments made)... 461.92 o 354368476937345 461.92 c NEW SOLUTION FOUND: 354368476937345 @ 461.76 461.93 c Sol. found (all assignments made)... 461.93 o 354368476915445 461.93 c NEW SOLUTION FOUND: 354368476915445 @ 461.77 461.94 c Sol. found (all assignments made)... 461.94 o 354368476893545 461.94 c NEW SOLUTION FOUND: 354368476893545 @ 461.78 461.95 c Sol. found (all assignments made)... 461.95 o 354368476871645 461.95 c NEW SOLUTION FOUND: 354368476871645 @ 461.79 461.97 c Sol. found (all assignments made)... 461.97 o 354368474119545 461.97 c NEW SOLUTION FOUND: 354368474119545 @ 461.81 461.98 c Sol. found (all assignments made)... 461.98 o 354368474053845 461.98 c NEW SOLUTION FOUND: 354368474053845 @ 461.82 461.99 c Sol. found (all assignments made)... 461.99 o 354368474017345 461.99 c NEW SOLUTION FOUND: 354368474017345 @ 461.83 462.00 c Sol. found (all assignments made)... 462.00 o 354368473995445 462.00 c NEW SOLUTION FOUND: 354368473995445 @ 461.84 462.01 c Sol. found (all assignments made)... 462.01 o 354368473988145 462.01 c NEW SOLUTION FOUND: 354368473988145 @ 461.85 462.02 c Sol. found (all assignments made)... 462.02 o 354368473966245 462.02 c NEW SOLUTION FOUND: 354368473966245 @ 461.86 462.03 c Sol. found (all assignments made)... 462.03 o 354368473951645 462.03 c NEW SOLUTION FOUND: 354368473951645 @ 461.87 462.05 c Sol. found (all assignments made)... 462.05 o 354368472396745 462.05 c NEW SOLUTION FOUND: 354368472396745 @ 461.89 462.06 c Sol. found (all assignments made)... 462.06 o 354368472338345 462.06 c NEW SOLUTION FOUND: 354368472338345 @ 461.9 462.07 c Sol. found (all assignments made)... 462.07 o 354368472294545 462.07 c NEW SOLUTION FOUND: 354368472294545 @ 461.91 462.09 c Sol. found (all assignments made)... 462.09 o 354368471579145 462.09 c NEW SOLUTION FOUND: 354368471579145 @ 461.93 462.10 c Sol. found (all assignments made)... 462.10 o 354368471520745 462.10 c NEW SOLUTION FOUND: 354368471520745 @ 461.94 462.11 c Sol. found (all assignments made)... 462.11 o 354368471491545 462.11 c NEW SOLUTION FOUND: 354368471491545 @ 461.95 462.12 c Sol. found (all assignments made)... 462.12 o 354368471476945 462.12 c NEW SOLUTION FOUND: 354368471476945 @ 461.96 462.13 c Sol. found (all assignments made)... 462.13 o 354368470644745 462.13 c NEW SOLUTION FOUND: 354368470644745 @ 461.97 462.15 c Sol. found (all assignments made)... 462.15 o 354368470586345 462.15 c NEW SOLUTION FOUND: 354368470586345 @ 461.99 462.16 c Sol. found (all assignments made)... 462.16 o 354368470542545 462.16 c NEW SOLUTION FOUND: 354368470542545 @ 462 462.18 c Sol. found (all assignments made)... 462.18 o 354368469827145 462.18 c NEW SOLUTION FOUND: 354368469827145 @ 462.01 462.19 c Sol. found (all assignments made)... 462.19 o 354368469768745 462.19 c NEW SOLUTION FOUND: 354368469768745 @ 462.02 462.20 c Sol. found (all assignments made)... 462.20 o 354368469739545 462.20 c NEW SOLUTION FOUND: 354368469739545 @ 462.04 462.21 c Sol. found (all assignments made)... 462.21 o 354368469724945 462.21 c NEW SOLUTION FOUND: 354368469724945 @ 462.04 462.23 c Sol. found (all assignments made)... 462.23 o 354368469535145 462.23 c NEW SOLUTION FOUND: 354368469535145 @ 462.07 462.24 c Sol. found (all assignments made)... 462.24 o 354368469476745 462.24 c NEW SOLUTION FOUND: 354368469476745 @ 462.08 462.25 c Sol. found (all assignments made)... 462.25 o 354368469432945 462.25 c NEW SOLUTION FOUND: 354368469432945 @ 462.09 462.31 c Sol. found (all assignments made)... 462.31 o 354368469097145 462.31 c NEW SOLUTION FOUND: 354368469097145 @ 462.14 462.31 c Sol. found (all assignments made)... 462.31 o 354368468732145 462.32 c NEW SOLUTION FOUND: 354368468732145 @ 462.15 462.32 c Sol. found (all assignments made)... 462.32 o 354368468673745 462.32 c NEW SOLUTION FOUND: 354368468673745 @ 462.16 462.33 c Sol. found (all assignments made)... 462.33 o 354368468629945 462.33 c NEW SOLUTION FOUND: 354368468629945 @ 462.17 462.36 c Sol. found (all assignments made)... 462.36 o 354368468440145 462.36 c NEW SOLUTION FOUND: 354368468440145 @ 462.2 462.37 c Sol. found (all assignments made)... 462.37 o 354368468352545 462.37 c NEW SOLUTION FOUND: 354368468352545 @ 462.21 462.38 c Sol. found (all assignments made)... 462.38 o 354368468337945 462.38 c NEW SOLUTION FOUND: 354368468337945 @ 462.22 462.86 c Sol. found (all assignments made)... 462.86 o 354368467987545 462.86 c NEW SOLUTION FOUND: 354368467987545 @ 462.69 462.87 c Sol. found (all assignments made)... 462.87 o 354368467929145 462.87 c NEW SOLUTION FOUND: 354368467929145 @ 462.71 462.88 c Sol. found (all assignments made)... 462.88 o 354368467885345 462.88 c NEW SOLUTION FOUND: 354368467885345 @ 462.72 462.90 c Sol. found (all assignments made)... 462.90 o 354368467607945 462.90 c NEW SOLUTION FOUND: 354368467607945 @ 462.74 462.92 c Sol. found (all assignments made)... 462.92 o 354368467593345 462.92 c NEW SOLUTION FOUND: 354368467593345 @ 462.75 462.95 c Sol. found (all assignments made)... 462.95 o 354368467067745 462.95 c NEW SOLUTION FOUND: 354368467067745 @ 462.79 462.99 c Sol. found (all assignments made)... 462.99 o 354368466819545 462.99 c NEW SOLUTION FOUND: 354368466819545 @ 462.83 463.01 c Sol. found (all assignments made)... 463.01 o 354368466775745 463.01 c NEW SOLUTION FOUND: 354368466775745 @ 462.85 463.06 c Sol. found (all assignments made)... 463.06 o 354368466731945 463.06 c NEW SOLUTION FOUND: 354368466731945 @ 462.9 463.07 c Sol. found (all assignments made)... 463.07 o 354368466673545 463.07 c NEW SOLUTION FOUND: 354368466673545 @ 462.91 463.08 c Sol. found (all assignments made)... 463.08 o 354368466629745 463.08 c NEW SOLUTION FOUND: 354368466629745 @ 462.92 463.21 c Sol. found (all assignments made)... 463.21 o 354368466512945 463.21 c NEW SOLUTION FOUND: 354368466512945 @ 463.05 463.25 c Sol. found (all assignments made)... 463.25 o 354368466220945 463.25 c NEW SOLUTION FOUND: 354368466220945 @ 463.09 463.42 c Sol. found (all assignments made)... 463.42 o 354368465987345 463.42 c NEW SOLUTION FOUND: 354368465987345 @ 463.26 463.43 c Sol. found (all assignments made)... 463.43 o 354368465972745 463.43 c NEW SOLUTION FOUND: 354368465972745 @ 463.27 463.49 c Sol. found (all assignments made)... 463.49 o 354368465680745 463.49 c NEW SOLUTION FOUND: 354368465680745 @ 463.33 463.58 c Sol. found (all assignments made)... 463.58 o 354368465636945 463.58 c NEW SOLUTION FOUND: 354368465636945 @ 463.42 463.59 c Sol. found (all assignments made)... 463.59 o 354368465578545 463.59 c NEW SOLUTION FOUND: 354368465578545 @ 463.42 463.59 c Sol. found (all assignments made)... 463.59 o 354368465534745 463.59 c NEW SOLUTION FOUND: 354368465534745 @ 463.43 464.34 c Sol. found (all assignments made)... 464.34 o 354368458526745 464.34 c NEW SOLUTION FOUND: 354368458526745 @ 464.18 464.35 c Sol. found (all assignments made)... 464.35 o 354368457847845 464.35 c NEW SOLUTION FOUND: 354368457847845 @ 464.19 464.37 c Sol. found (all assignments made)... 464.37 o 354368452073545 464.37 c NEW SOLUTION FOUND: 354368452073545 @ 464.21 464.38 c Sol. found (all assignments made)... 464.38 o 354368452007845 464.38 c NEW SOLUTION FOUND: 354368452007845 @ 464.22 464.40 c Sol. found (all assignments made)... 464.40 o 354368449109745 464.40 c NEW SOLUTION FOUND: 354368449109745 @ 464.23 464.41 c Sol. found (all assignments made)... 464.41 o 354368449087845 464.41 c NEW SOLUTION FOUND: 354368449087845 @ 464.25 464.42 c Sol. found (all assignments made)... 464.42 o 354368446189745 464.42 c NEW SOLUTION FOUND: 354368446189745 @ 464.26 464.44 c Sol. found (all assignments made)... 464.44 o 354368446167845 464.44 c NEW SOLUTION FOUND: 354368446167845 @ 464.27 464.45 c Sol. found (all assignments made)... 464.45 o 354368440349745 464.45 c NEW SOLUTION FOUND: 354368440349745 @ 464.29 464.46 c Sol. found (all assignments made)... 464.46 o 354368440327845 464.46 c NEW SOLUTION FOUND: 354368440327845 @ 464.3 464.48 c Sol. found (all assignments made)... 464.48 o 354368438086745 464.48 c NEW SOLUTION FOUND: 354368438086745 @ 464.32 464.49 c Sol. found (all assignments made)... 464.49 o 354368437429745 464.49 c NEW SOLUTION FOUND: 354368437429745 @ 464.33 464.50 c Sol. found (all assignments made)... 464.50 o 354368437407845 464.50 c NEW SOLUTION FOUND: 354368437407845 @ 464.34 464.52 c Sol. found (all assignments made)... 464.52 o 354368435750745 464.52 c NEW SOLUTION FOUND: 354368435750745 @ 464.36 464.54 c Sol. found (all assignments made)... 464.54 o 354368434933145 464.54 c NEW SOLUTION FOUND: 354368434933145 @ 464.38 464.57 c Sol. found (all assignments made)... 464.57 o 354368433998745 464.57 c NEW SOLUTION FOUND: 354368433998745 @ 464.41 464.59 c Sol. found (all assignments made)... 464.59 o 354368433181145 464.59 c NEW SOLUTION FOUND: 354368433181145 @ 464.43 464.63 c Sol. found (all assignments made)... 464.63 o 354368432889145 464.63 c NEW SOLUTION FOUND: 354368432889145 @ 464.46 464.70 c Sol. found (all assignments made)... 464.70 o 354368432743145 464.70 c NEW SOLUTION FOUND: 354368432743145 @ 464.54 464.77 c Sol. found (all assignments made)... 464.77 o 354368432597145 464.77 c NEW SOLUTION FOUND: 354368432597145 @ 464.61 464.78 c Sol. found (all assignments made)... 464.78 o 354368432538745 464.78 c NEW SOLUTION FOUND: 354368432538745 @ 464.62 464.79 c Sol. found (all assignments made)... 464.79 o 354368432494945 464.79 c NEW SOLUTION FOUND: 354368432494945 @ 464.63 464.84 c Sol. found (all assignments made)... 464.84 o 354368432217545 464.84 c NEW SOLUTION FOUND: 354368432217545 @ 464.68 464.85 c Sol. found (all assignments made)... 464.85 o 354368432202945 464.85 c NEW SOLUTION FOUND: 354368432202945 @ 464.69 464.94 c Sol. found (all assignments made)... 464.94 o 354368432056945 464.94 c NEW SOLUTION FOUND: 354368432056945 @ 464.78 465.03 c Sol. found (all assignments made)... 465.03 o 354368431794145 465.03 c NEW SOLUTION FOUND: 354368431794145 @ 464.87 465.16 c Sol. found (all assignments made)... 465.16 o 354368431648145 465.16 c NEW SOLUTION FOUND: 354368431648145 @ 465 465.29 c Sol. found (all assignments made)... 465.29 o 354368431443745 465.29 c NEW SOLUTION FOUND: 354368431443745 @ 465.13 465.30 c Sol. found (all assignments made)... 465.30 o 354368431399945 465.30 c NEW SOLUTION FOUND: 354368431399945 @ 465.14 465.38 c Sol. found (all assignments made)... 465.38 o 354368431210145 465.38 c NEW SOLUTION FOUND: 354368431210145 @ 465.21 465.39 c Sol. found (all assignments made)... 465.39 o 354368431151745 465.39 c NEW SOLUTION FOUND: 354368431151745 @ 465.23 465.40 c Sol. found (all assignments made)... 465.40 o 354368431107945 465.40 c NEW SOLUTION FOUND: 354368431107945 @ 465.24 465.60 c Sol. found (all assignments made)... 465.60 o 354368430976545 465.60 c NEW SOLUTION FOUND: 354368430976545 @ 465.44 465.61 c Sol. found (all assignments made)... 465.61 o 354368430961945 465.61 c NEW SOLUTION FOUND: 354368430961945 @ 465.44 465.66 c Sol. found (all assignments made)... 465.66 o 354368430903545 465.66 c NEW SOLUTION FOUND: 354368430903545 @ 465.5 465.72 c Sol. found (all assignments made)... 465.72 o 354368430377945 465.72 c NEW SOLUTION FOUND: 354368430377945 @ 465.56 465.76 c Sol. found (all assignments made)... 465.76 o 354368430085945 465.76 c NEW SOLUTION FOUND: 354368430085945 @ 465.6 465.86 c Sol. found (all assignments made)... 465.86 o 354368429939945 465.86 c NEW SOLUTION FOUND: 354368429939945 @ 465.7 465.93 c Sol. found (all assignments made)... 465.93 o 354368429399745 465.93 c NEW SOLUTION FOUND: 354368429399745 @ 465.77 466.04 c Sol. found (all assignments made)... 466.04 o 354368429297545 466.04 c NEW SOLUTION FOUND: 354368429297545 @ 465.88 466.05 c Sol. found (all assignments made)... 466.05 o 354368429253745 466.05 c NEW SOLUTION FOUND: 354368429253745 @ 465.89 466.14 c Sol. found (all assignments made)... 466.14 o 354368428990945 466.14 c NEW SOLUTION FOUND: 354368428990945 @ 465.98 466.21 c Sol. found (all assignments made)... 466.21 o 354368428698945 466.21 c NEW SOLUTION FOUND: 354368428698945 @ 466.05 466.22 c Sol. found (all assignments made)... 466.22 o 354368428640545 466.22 c NEW SOLUTION FOUND: 354368428640545 @ 466.06 466.23 c Sol. found (all assignments made)... 466.23 o 354368428596745 466.23 c NEW SOLUTION FOUND: 354368428596745 @ 466.07 466.33 c Sol. found (all assignments made)... 466.33 o 354368428319345 466.33 c NEW SOLUTION FOUND: 354368428319345 @ 466.17 466.34 c Sol. found (all assignments made)... 466.34 o 354368428304745 466.34 c NEW SOLUTION FOUND: 354368428304745 @ 466.18 466.59 c Sol. found (all assignments made)... 466.59 o 354368428158745 466.59 c NEW SOLUTION FOUND: 354368428158745 @ 466.43 466.64 c Sol. found (all assignments made)... 466.64 o 354358860603545 466.64 c NEW SOLUTION FOUND: 354358860603545 @ 466.48 466.66 c Sol. found (all assignments made)... 466.66 o 354358848923545 466.66 c NEW SOLUTION FOUND: 354358848923545 @ 466.5 466.69 c Sol. found (all assignments made)... 466.69 o 354358707829145 466.69 c NEW SOLUTION FOUND: 354358707829145 @ 466.53 466.71 c Sol. found (all assignments made)... 466.71 o 354358706193945 466.71 c NEW SOLUTION FOUND: 354358706193945 @ 466.55 466.74 c Sol. found (all assignments made)... 466.74 o 354358705376345 466.74 c NEW SOLUTION FOUND: 354358705376345 @ 466.58 466.77 c Sol. found (all assignments made)... 466.77 o 354358704441945 466.77 c NEW SOLUTION FOUND: 354358704441945 @ 466.61 466.79 c Sol. found (all assignments made)... 466.79 o 354358703624345 466.79 c NEW SOLUTION FOUND: 354358703624345 @ 466.63 466.82 c Sol. found (all assignments made)... 466.82 o 354358703332345 466.82 c NEW SOLUTION FOUND: 354358703332345 @ 466.66 466.85 c Sol. found (all assignments made)... 466.85 o 354358702981945 466.85 c NEW SOLUTION FOUND: 354358702981945 @ 466.69 466.87 c Sol. found (all assignments made)... 466.87 o 354358702938145 466.87 c NEW SOLUTION FOUND: 354358702938145 @ 466.71 466.91 c Sol. found (all assignments made)... 466.91 o 354358702748345 466.91 c NEW SOLUTION FOUND: 354358702748345 @ 466.75 466.93 c Sol. found (all assignments made)... 466.93 o 354358702689945 466.93 c NEW SOLUTION FOUND: 354358702689945 @ 466.77 466.95 c Sol. found (all assignments made)... 466.95 o 354358702646145 466.95 c NEW SOLUTION FOUND: 354358702646145 @ 466.79 466.99 c Sol. found (all assignments made)... 466.99 o 354358702514745 466.99 c NEW SOLUTION FOUND: 354358702514745 @ 466.83 467.04 c Sol. found (all assignments made)... 467.04 o 354358702500145 467.04 c NEW SOLUTION FOUND: 354358702500145 @ 466.87 467.09 c Sol. found (all assignments made)... 467.09 o 354358701638745 467.09 c NEW SOLUTION FOUND: 354358701638745 @ 466.93 467.12 c Sol. found (all assignments made)... 467.12 o 354358700821145 467.12 c NEW SOLUTION FOUND: 354358700821145 @ 466.95 467.15 c Sol. found (all assignments made)... 467.15 o 354358700529145 467.15 c NEW SOLUTION FOUND: 354358700529145 @ 466.98 467.18 c Sol. found (all assignments made)... 467.18 o 354358700383145 467.18 c NEW SOLUTION FOUND: 354358700383145 @ 467.02 467.21 c Sol. found (all assignments made)... 467.21 o 354358700134945 467.21 c NEW SOLUTION FOUND: 354358700134945 @ 467.04 467.26 c Sol. found (all assignments made)... 467.26 o 354358699886745 467.26 c NEW SOLUTION FOUND: 354358699886745 @ 467.1 467.28 c Sol. found (all assignments made)... 467.28 o 354358699842945 467.28 c NEW SOLUTION FOUND: 354358699842945 @ 467.12 467.33 c Sol. found (all assignments made)... 467.33 o 354358699799145 467.33 c NEW SOLUTION FOUND: 354358699799145 @ 467.16 467.35 c Sol. found (all assignments made)... 467.35 o 354358699740745 467.35 c NEW SOLUTION FOUND: 354358699740745 @ 467.18 467.37 c Sol. found (all assignments made)... 467.37 o 354358699696945 467.37 c NEW SOLUTION FOUND: 354358699696945 @ 467.2 467.48 c Sol. found (all assignments made)... 467.48 o 354358698835545 467.48 c NEW SOLUTION FOUND: 354358698835545 @ 467.32 467.50 c Sol. found (all assignments made)... 467.50 o 354358698017945 467.50 c NEW SOLUTION FOUND: 354358698017945 @ 467.34 467.53 c Sol. found (all assignments made)... 467.53 o 354358697725945 467.53 c NEW SOLUTION FOUND: 354358697725945 @ 467.37 467.57 c Sol. found (all assignments made)... 467.57 o 354358697579945 467.57 c NEW SOLUTION FOUND: 354358697579945 @ 467.41 467.60 c Sol. found (all assignments made)... 467.60 o 354358697331745 467.60 c NEW SOLUTION FOUND: 354358697331745 @ 467.44 467.65 c Sol. found (all assignments made)... 467.65 o 354358697083545 467.65 c NEW SOLUTION FOUND: 354358697083545 @ 467.48 467.67 c Sol. found (all assignments made)... 467.67 o 354358697039745 467.67 c NEW SOLUTION FOUND: 354358697039745 @ 467.5 467.71 c Sol. found (all assignments made)... 467.71 o 354358696995945 467.71 c NEW SOLUTION FOUND: 354358696995945 @ 467.54 467.73 c Sol. found (all assignments made)... 467.73 o 354358696937545 467.73 c NEW SOLUTION FOUND: 354358696937545 @ 467.56 467.75 c Sol. found (all assignments made)... 467.75 o 354358696893745 467.75 c NEW SOLUTION FOUND: 354358696893745 @ 467.58 467.78 c Sol. found (all assignments made)... 467.78 o 354358684469145 467.78 c NEW SOLUTION FOUND: 354358684469145 @ 467.62 467.80 c Sol. found (all assignments made)... 467.80 o 354358672789145 467.80 c NEW SOLUTION FOUND: 354358672789145 @ 467.64 467.82 c Sol. found (all assignments made)... 467.82 o 354358671153945 467.82 c NEW SOLUTION FOUND: 354358671153945 @ 467.66 467.86 c Sol. found (all assignments made)... 467.86 o 354358670336345 467.86 c NEW SOLUTION FOUND: 354358670336345 @ 467.7 467.89 c Sol. found (all assignments made)... 467.89 o 354358669401945 467.89 c NEW SOLUTION FOUND: 354358669401945 @ 467.73 467.92 c Sol. found (all assignments made)... 467.92 o 354358668584345 467.92 c NEW SOLUTION FOUND: 354358668584345 @ 467.76 467.96 c Sol. found (all assignments made)... 467.96 o 354358668292345 467.96 c NEW SOLUTION FOUND: 354358668292345 @ 467.8 468.08 c Sol. found (all assignments made)... 468.08 o 354358667854345 468.08 c NEW SOLUTION FOUND: 354358667854345 @ 467.92 468.10 c Sol. found (all assignments made)... 468.10 o 354358667489345 468.10 c NEW SOLUTION FOUND: 354358667489345 @ 467.94 468.17 c Sol. found (all assignments made)... 468.17 o 354358667197345 468.17 c NEW SOLUTION FOUND: 354358667197345 @ 468 468.49 c Sol. found (all assignments made)... 468.49 o 354358667051345 468.49 c NEW SOLUTION FOUND: 354358667051345 @ 468.33 468.79 c Sol. found (all assignments made)... 468.79 o 354358666817745 468.79 c NEW SOLUTION FOUND: 354358666817745 @ 468.62 468.80 c Sol. found (all assignments made)... 468.80 o 354358666803145 468.80 c NEW SOLUTION FOUND: 354358666803145 @ 468.64 468.88 c Sol. found (all assignments made)... 468.88 o 354358666511145 468.88 c NEW SOLUTION FOUND: 354358666511145 @ 468.71 469.16 c Sol. found (all assignments made)... 469.16 o 354358666408945 469.16 c NEW SOLUTION FOUND: 354358666408945 @ 468.99 469.17 c Sol. found (all assignments made)... 469.17 o 354358666365145 469.17 c NEW SOLUTION FOUND: 354358666365145 @ 469 469.24 c Sol. found (all assignments made)... 469.24 o 354358665781145 469.24 c NEW SOLUTION FOUND: 354358665781145 @ 469.07 469.28 c Sol. found (all assignments made)... 469.28 o 354358665489145 469.28 c NEW SOLUTION FOUND: 354358665489145 @ 469.12 469.45 c Sol. found (all assignments made)... 469.45 o 354358665051145 469.45 c NEW SOLUTION FOUND: 354358665051145 @ 469.29 469.47 c Sol. found (all assignments made)... 469.47 o 354358664686145 469.47 c NEW SOLUTION FOUND: 354358664686145 @ 469.31 469.51 c Sol. found (all assignments made)... 469.51 o 354358664394145 469.51 c NEW SOLUTION FOUND: 354358664394145 @ 469.34 469.73 c Sol. found (all assignments made)... 469.73 o 354358664248145 469.73 c NEW SOLUTION FOUND: 354358664248145 @ 469.56 470.08 c Sol. found (all assignments made)... 470.08 o 354358664102145 470.08 c NEW SOLUTION FOUND: 354358664102145 @ 469.91 470.09 c Sol. found (all assignments made)... 470.09 o 354358664043745 470.09 c NEW SOLUTION FOUND: 354358664043745 @ 469.93 470.10 c Sol. found (all assignments made)... 470.10 o 354358663999945 470.10 c NEW SOLUTION FOUND: 354358663999945 @ 469.94 470.14 c Sol. found (all assignments made)... 470.14 o 354358663722545 470.14 c NEW SOLUTION FOUND: 354358663722545 @ 469.98 470.16 c Sol. found (all assignments made)... 470.16 o 354358663707945 470.16 c NEW SOLUTION FOUND: 354358663707945 @ 469.99 470.26 c Sol. found (all assignments made)... 470.26 o 354358663561945 470.26 c NEW SOLUTION FOUND: 354358663561945 @ 470.09 470.32 c Sol. found (all assignments made)... 470.32 o 354358623353545 470.32 c NEW SOLUTION FOUND: 354358623353545 @ 470.16 470.34 c Sol. found (all assignments made)... 470.34 o 354358623287845 470.34 c NEW SOLUTION FOUND: 354358623287845 @ 470.18 470.37 c Sol. found (all assignments made)... 470.37 o 354358621630745 470.37 c NEW SOLUTION FOUND: 354358621630745 @ 470.2 470.39 c Sol. found (all assignments made)... 470.39 o 354358620813145 470.39 c NEW SOLUTION FOUND: 354358620813145 @ 470.22 470.41 c Sol. found (all assignments made)... 470.41 o 354358619878745 470.41 c NEW SOLUTION FOUND: 354358619878745 @ 470.25 470.44 c Sol. found (all assignments made)... 470.44 o 354358619061145 470.44 c NEW SOLUTION FOUND: 354358619061145 @ 470.27 470.47 c Sol. found (all assignments made)... 470.47 o 354358618769145 470.47 c NEW SOLUTION FOUND: 354358618769145 @ 470.3 470.55 c Sol. found (all assignments made)... 470.55 o 354358618623145 470.55 c NEW SOLUTION FOUND: 354358618623145 @ 470.39 470.67 c Sol. found (all assignments made)... 470.67 o 354358618491745 470.67 c NEW SOLUTION FOUND: 354358618491745 @ 470.5 470.69 c Sol. found (all assignments made)... 470.69 o 354358618039145 470.69 c NEW SOLUTION FOUND: 354358618039145 @ 470.52 470.71 c Sol. found (all assignments made)... 470.71 o 354358617674145 470.71 c NEW SOLUTION FOUND: 354358617674145 @ 470.54 470.81 c Sol. found (all assignments made)... 470.81 o 354358617528145 470.81 c NEW SOLUTION FOUND: 354358617528145 @ 470.64 471.03 c Sol. found (all assignments made)... 471.03 o 354358617396745 471.03 c NEW SOLUTION FOUND: 354358617396745 @ 470.86 471.04 c Sol. found (all assignments made)... 471.04 o 354358617352945 471.04 c NEW SOLUTION FOUND: 354358617352945 @ 470.87 471.06 c Sol. found (all assignments made)... 471.06 o 354358617090145 471.06 c NEW SOLUTION FOUND: 354358617090145 @ 470.89 471.07 c Sol. found (all assignments made)... 471.07 o 354358617031745 471.07 c NEW SOLUTION FOUND: 354358617031745 @ 470.9 471.09 c Sol. found (all assignments made)... 471.09 o 354358616987945 471.09 c NEW SOLUTION FOUND: 354358616987945 @ 470.92 471.19 c Sol. found (all assignments made)... 471.19 o 354358616856545 471.19 c NEW SOLUTION FOUND: 354358616856545 @ 471.02 471.20 c Sol. found (all assignments made)... 471.20 o 354358616841945 471.20 c NEW SOLUTION FOUND: 354358616841945 @ 471.03 471.23 c Sol. found (all assignments made)... 471.23 o 354358616257945 471.23 c NEW SOLUTION FOUND: 354358616257945 @ 471.06 471.26 c Sol. found (all assignments made)... 471.26 o 354358615965945 471.26 c NEW SOLUTION FOUND: 354358615965945 @ 471.09 471.34 c Sol. found (all assignments made)... 471.34 o 354358615819945 471.34 c NEW SOLUTION FOUND: 354358615819945 @ 471.17 471.46 c Sol. found (all assignments made)... 471.46 o 354358615235945 471.46 c NEW SOLUTION FOUND: 354358615235945 @ 471.29 471.48 c Sol. found (all assignments made)... 471.48 o 354358614870945 471.48 c NEW SOLUTION FOUND: 354358614870945 @ 471.31 471.56 c Sol. found (all assignments made)... 471.56 o 354358614724945 471.56 c NEW SOLUTION FOUND: 354358614724945 @ 471.4 471.77 c Sol. found (all assignments made)... 471.77 o 354358614476745 471.77 c NEW SOLUTION FOUND: 354358614476745 @ 471.6 471.79 c Sol. found (all assignments made)... 471.79 o 354358614228545 471.79 c NEW SOLUTION FOUND: 354358614228545 @ 471.62 471.81 c Sol. found (all assignments made)... 471.81 o 354358614184745 471.81 c NEW SOLUTION FOUND: 354358614184745 @ 471.64 471.89 c Sol. found (all assignments made)... 471.89 o 354358614140945 471.89 c NEW SOLUTION FOUND: 354358614140945 @ 471.72 471.91 c Sol. found (all assignments made)... 471.91 o 354358614082545 471.91 c NEW SOLUTION FOUND: 354358614082545 @ 471.74 471.92 c Sol. found (all assignments made)... 471.92 o 354358614038745 471.92 c NEW SOLUTION FOUND: 354358614038745 @ 471.75 472.01 c Sol. found (all assignments made)... 472.01 o 354358613921945 472.01 c NEW SOLUTION FOUND: 354358613921945 @ 471.83 472.03 c Sol. found (all assignments made)... 472.03 o 354358613104345 472.03 c NEW SOLUTION FOUND: 354358613104345 @ 471.86 472.09 c Sol. found (all assignments made)... 472.09 o 354358612812345 472.09 c NEW SOLUTION FOUND: 354358612812345 @ 471.92 472.35 c Sol. found (all assignments made)... 472.35 o 354358612666345 472.35 c NEW SOLUTION FOUND: 354358612666345 @ 472.18 472.65 c Sol. found (all assignments made)... 472.65 o 354358612286745 472.65 c NEW SOLUTION FOUND: 354358612286745 @ 472.48 472.67 c Sol. found (all assignments made)... 472.67 o 354358612272145 472.67 c NEW SOLUTION FOUND: 354358612272145 @ 472.5 472.76 c Sol. found (all assignments made)... 472.76 o 354358611980145 472.76 c NEW SOLUTION FOUND: 354358611980145 @ 472.59 473.10 c Sol. found (all assignments made)... 473.10 o 354358611118745 473.10 c NEW SOLUTION FOUND: 354358611118745 @ 472.93 473.14 c Sol. found (all assignments made)... 473.14 o 354358610301145 473.14 c NEW SOLUTION FOUND: 354358610301145 @ 472.97 473.23 c Sol. found (all assignments made)... 473.23 o 354358610009145 473.23 c NEW SOLUTION FOUND: 354358610009145 @ 473.06 473.31 c Sol. found (all assignments made)... 473.31 o 354358609863145 473.31 c NEW SOLUTION FOUND: 354358609863145 @ 473.14 473.45 c Sol. found (all assignments made)... 473.45 o 354358609366745 473.45 c NEW SOLUTION FOUND: 354358609366745 @ 473.28 473.47 c Sol. found (all assignments made)... 473.47 o 354358609322945 473.47 c NEW SOLUTION FOUND: 354358609322945 @ 473.29 473.66 c Sol. found (all assignments made)... 473.66 o 354358609279145 473.66 c NEW SOLUTION FOUND: 354358609279145 @ 473.49 473.68 c Sol. found (all assignments made)... 473.68 o 354358609220745 473.68 c NEW SOLUTION FOUND: 354358609220745 @ 473.51 473.69 c Sol. found (all assignments made)... 473.69 o 354358609176945 473.69 c NEW SOLUTION FOUND: 354358609176945 @ 473.52 473.90 c Sol. found (all assignments made)... 473.91 o 354358608315545 473.91 c NEW SOLUTION FOUND: 354358608315545 @ 473.73 473.93 c Sol. found (all assignments made)... 473.93 o 354358607497945 473.93 c NEW SOLUTION FOUND: 354358607497945 @ 473.76 473.97 c Sol. found (all assignments made)... 473.97 o 354358607205945 473.97 c NEW SOLUTION FOUND: 354358607205945 @ 473.8 474.04 c Sol. found (all assignments made)... 474.04 o 354358607059945 474.04 c NEW SOLUTION FOUND: 354358607059945 @ 473.87 474.14 c Sol. found (all assignments made)... 474.14 o 354358606534345 474.14 c NEW SOLUTION FOUND: 354358606534345 @ 473.97 474.17 c Sol. found (all assignments made)... 474.17 o 354358606519745 474.17 c NEW SOLUTION FOUND: 354358606519745 @ 474 474.25 c Sol. found (all assignments made)... 474.25 o 354358606373745 474.25 c NEW SOLUTION FOUND: 354358606373745 @ 474.08 474.30 c Sol. found (all assignments made)... 474.30 o 354358602709145 474.30 c NEW SOLUTION FOUND: 354358602709145 @ 474.13 474.32 c Sol. found (all assignments made)... 474.32 o 354358591029145 474.32 c NEW SOLUTION FOUND: 354358591029145 @ 474.15 474.34 c Sol. found (all assignments made)... 474.34 o 354358585189145 474.34 c NEW SOLUTION FOUND: 354358585189145 @ 474.17 474.36 c Sol. found (all assignments made)... 474.36 o 354358582269145 474.36 c NEW SOLUTION FOUND: 354358582269145 @ 474.19 474.38 c Sol. found (all assignments made)... 474.38 o 354358581539145 474.38 c NEW SOLUTION FOUND: 354358581539145 @ 474.21 474.40 c Sol. found (all assignments made)... 474.40 o 354358581174145 474.40 c NEW SOLUTION FOUND: 354358581174145 @ 474.23 474.43 c Sol. found (all assignments made)... 474.43 o 354358580633945 474.43 c NEW SOLUTION FOUND: 354358580633945 @ 474.26 474.45 c Sol. found (all assignments made)... 474.45 o 354358579903945 474.45 c NEW SOLUTION FOUND: 354358579903945 @ 474.28 474.47 c Sol. found (all assignments made)... 474.47 o 354358579538945 474.47 c NEW SOLUTION FOUND: 354358579538945 @ 474.3 474.50 c Sol. found (all assignments made)... 474.50 o 354358578721345 474.50 c NEW SOLUTION FOUND: 354358578721345 @ 474.33 474.56 c Sol. found (all assignments made)... 474.56 o 354358578151945 474.56 c NEW SOLUTION FOUND: 354358578151945 @ 474.39 474.58 c Sol. found (all assignments made)... 474.58 o 354358577786945 474.58 c NEW SOLUTION FOUND: 354358577786945 @ 474.41 474.62 c Sol. found (all assignments made)... 474.62 o 354358577334345 474.62 c NEW SOLUTION FOUND: 354358577334345 @ 474.44 474.63 c Sol. found (all assignments made)... 474.63 o 354358576969345 474.63 c NEW SOLUTION FOUND: 354358576969345 @ 474.46 474.71 c Sol. found (all assignments made)... 474.71 o 354358576677345 474.71 c NEW SOLUTION FOUND: 354358576677345 @ 474.54 474.92 c Sol. found (all assignments made)... 474.92 o 354358576531345 474.92 c NEW SOLUTION FOUND: 354358576531345 @ 474.75 475.09 c Sol. found (all assignments made)... 475.09 o 354358576326945 475.09 c NEW SOLUTION FOUND: 354358576326945 @ 474.92 475.11 c Sol. found (all assignments made)... 475.11 o 354358576283145 475.11 c NEW SOLUTION FOUND: 354358576283145 @ 474.93 475.16 c Sol. found (all assignments made)... 475.16 o 354358576093345 475.16 c NEW SOLUTION FOUND: 354358576093345 @ 474.99 475.17 c Sol. found (all assignments made)... 475.17 o 354358576034945 475.17 c NEW SOLUTION FOUND: 354358576034945 @ 475 475.19 c Sol. found (all assignments made)... 475.19 o 354358575991145 475.19 c NEW SOLUTION FOUND: 354358575991145 @ 475.01 475.36 c Sol. found (all assignments made)... 475.36 o 354358575859745 475.36 c NEW SOLUTION FOUND: 354358575859745 @ 475.19 475.38 c Sol. found (all assignments made)... 475.38 o 354358575845145 475.38 c NEW SOLUTION FOUND: 354358575845145 @ 475.2 475.43 c Sol. found (all assignments made)... 475.43 o 354358575261145 475.43 c NEW SOLUTION FOUND: 354358575261145 @ 475.25 475.48 c Sol. found (all assignments made)... 475.48 o 354358574969145 475.48 c NEW SOLUTION FOUND: 354358574969145 @ 475.3 475.54 c Sol. found (all assignments made)... 475.54 o 354358574531145 475.54 c NEW SOLUTION FOUND: 354358574531145 @ 475.36 475.55 c Sol. found (all assignments made)... 475.55 o 354358574166145 475.55 c NEW SOLUTION FOUND: 354358574166145 @ 475.38 475.62 c Sol. found (all assignments made)... 475.62 o 354358573874145 475.62 c NEW SOLUTION FOUND: 354358573874145 @ 475.44 475.76 c Sol. found (all assignments made)... 475.76 o 354358573728145 475.76 c NEW SOLUTION FOUND: 354358573728145 @ 475.59 475.91 c Sol. found (all assignments made)... 475.91 o 354358573479945 475.91 c NEW SOLUTION FOUND: 354358573479945 @ 475.74 475.97 c Sol. found (all assignments made)... 475.97 o 354358573231745 475.97 c NEW SOLUTION FOUND: 354358573231745 @ 475.79 475.98 c Sol. found (all assignments made)... 475.98 o 354358573187945 475.98 c NEW SOLUTION FOUND: 354358573187945 @ 475.81 476.08 c Sol. found (all assignments made)... 476.08 o 354358573144145 476.08 c NEW SOLUTION FOUND: 354358573144145 @ 475.9 476.09 c Sol. found (all assignments made)... 476.09 o 354358573085745 476.09 c NEW SOLUTION FOUND: 354358573085745 @ 475.92 476.10 c Sol. found (all assignments made)... 476.10 o 354358573041945 476.10 c NEW SOLUTION FOUND: 354358573041945 @ 475.93 476.13 c Sol. found (all assignments made)... 476.13 o 354358547389745 476.13 c NEW SOLUTION FOUND: 354358547389745 @ 475.96 476.15 c Sol. found (all assignments made)... 476.15 o 354358547367845 476.15 c NEW SOLUTION FOUND: 354358547367845 @ 475.98 476.17 c Sol. found (all assignments made)... 476.17 o 354358544776345 476.17 c NEW SOLUTION FOUND: 354358544776345 @ 476 476.19 c Sol. found (all assignments made)... 476.19 o 354358544469745 476.19 c NEW SOLUTION FOUND: 354358544469745 @ 476.01 476.21 c Sol. found (all assignments made)... 476.21 o 354358544447845 476.21 c NEW SOLUTION FOUND: 354358544447845 @ 476.03 476.23 c Sol. found (all assignments made)... 476.23 o 354358541856345 476.23 c NEW SOLUTION FOUND: 354358541856345 @ 476.05 476.24 c Sol. found (all assignments made)... 476.24 o 354358541527845 476.24 c NEW SOLUTION FOUND: 354358541527845 @ 476.07 476.27 c Sol. found (all assignments made)... 476.27 o 354358536016345 476.27 c NEW SOLUTION FOUND: 354358536016345 @ 476.09 476.28 c Sol. found (all assignments made)... 476.28 o 354358535687845 476.28 c NEW SOLUTION FOUND: 354358535687845 @ 476.11 476.30 c Sol. found (all assignments made)... 476.30 o 354358532833545 476.30 c NEW SOLUTION FOUND: 354358532833545 @ 476.13 476.32 c Sol. found (all assignments made)... 476.32 o 354358532767845 476.32 c NEW SOLUTION FOUND: 354358532767845 @ 476.14 476.34 c Sol. found (all assignments made)... 476.34 o 354358531110745 476.34 c NEW SOLUTION FOUND: 354358531110745 @ 476.17 476.37 c Sol. found (all assignments made)... 476.37 o 354358530293145 476.37 c NEW SOLUTION FOUND: 354358530293145 @ 476.19 476.40 c Sol. found (all assignments made)... 476.40 o 354358529358745 476.40 c NEW SOLUTION FOUND: 354358529358745 @ 476.22 476.44 c Sol. found (all assignments made)... 476.44 o 354358528541145 476.44 c NEW SOLUTION FOUND: 354358528541145 @ 476.26 476.48 c Sol. found (all assignments made)... 476.48 o 354358528249145 476.48 c NEW SOLUTION FOUND: 354358528249145 @ 476.31 476.57 c Sol. found (all assignments made)... 476.57 o 354358528103145 476.57 c NEW SOLUTION FOUND: 354358528103145 @ 476.39 476.62 c Sol. found (all assignments made)... 476.62 o 354358527811145 476.62 c NEW SOLUTION FOUND: 354358527811145 @ 476.44 476.64 c Sol. found (all assignments made)... 476.64 o 354358527446145 476.64 c NEW SOLUTION FOUND: 354358527446145 @ 476.46 476.67 c Sol. found (all assignments made)... 476.67 o 354358527154145 476.67 c NEW SOLUTION FOUND: 354358527154145 @ 476.49 476.78 c Sol. found (all assignments made)... 476.78 o 354358527008145 476.78 c NEW SOLUTION FOUND: 354358527008145 @ 476.6 477.04 c Sol. found (all assignments made)... 477.04 o 354358526774545 477.04 c NEW SOLUTION FOUND: 354358526774545 @ 476.86 477.05 c Sol. found (all assignments made)... 477.05 o 354358526759945 477.05 c NEW SOLUTION FOUND: 354358526759945 @ 476.88 477.10 c Sol. found (all assignments made)... 477.10 o 354358526467945 477.10 c NEW SOLUTION FOUND: 354358526467945 @ 476.92 477.27 c Sol. found (all assignments made)... 477.27 o 354358526365745 477.27 c NEW SOLUTION FOUND: 354358526365745 @ 477.09 477.28 c Sol. found (all assignments made)... 477.28 o 354358526321945 477.28 c NEW SOLUTION FOUND: 354358526321945 @ 477.1 477.33 c Sol. found (all assignments made)... 477.33 o 354358526263545 477.33 c NEW SOLUTION FOUND: 354358526263545 @ 477.15 477.36 c Sol. found (all assignments made)... 477.36 o 354358525737945 477.36 c NEW SOLUTION FOUND: 354358525737945 @ 477.19 477.40 c Sol. found (all assignments made)... 477.40 o 354358525445945 477.40 c NEW SOLUTION FOUND: 354358525445945 @ 477.23 477.48 c Sol. found (all assignments made)... 477.48 o 354358525299945 477.48 c NEW SOLUTION FOUND: 354358525299945 @ 477.31 477.52 c Sol. found (all assignments made)... 477.52 o 354358525153945 477.52 c NEW SOLUTION FOUND: 354358525153945 @ 477.34 477.53 c Sol. found (all assignments made)... 477.53 o 354358525095545 477.53 c NEW SOLUTION FOUND: 354358525095545 @ 477.36 477.55 c Sol. found (all assignments made)... 477.55 o 354358525051745 477.55 c NEW SOLUTION FOUND: 354358525051745 @ 477.37 477.58 c Sol. found (all assignments made)... 477.58 o 354358524774345 477.58 c NEW SOLUTION FOUND: 354358524774345 @ 477.4 477.59 c Sol. found (all assignments made)... 477.59 o 354358524759745 477.59 c NEW SOLUTION FOUND: 354358524759745 @ 477.42 477.66 c Sol. found (all assignments made)... 477.66 o 354358524613745 477.66 c NEW SOLUTION FOUND: 354358524613745 @ 477.48 477.72 c Sol. found (all assignments made)... 477.72 o 354358524350945 477.72 c NEW SOLUTION FOUND: 354358524350945 @ 477.54 477.83 c Sol. found (all assignments made)... 477.83 o 354358524204945 477.83 c NEW SOLUTION FOUND: 354358524204945 @ 477.65 477.91 c Sol. found (all assignments made)... 477.91 o 354358524000545 477.91 c NEW SOLUTION FOUND: 354358524000545 @ 477.73 477.92 c Sol. found (all assignments made)... 477.92 o 354358523956745 477.92 c NEW SOLUTION FOUND: 354358523956745 @ 477.74 478.00 c Sol. found (all assignments made)... 478.00 o 354358523766945 478.00 c NEW SOLUTION FOUND: 354358523766945 @ 477.82 478.01 c Sol. found (all assignments made)... 478.01 o 354358523708545 478.01 c NEW SOLUTION FOUND: 354358523708545 @ 477.83 478.03 c Sol. found (all assignments made)... 478.03 o 354358523664745 478.03 c NEW SOLUTION FOUND: 354358523664745 @ 477.85 478.14 c Sol. found (all assignments made)... 478.14 o 354358523533345 478.14 c NEW SOLUTION FOUND: 354358523533345 @ 477.96 478.15 c Sol. found (all assignments made)... 478.15 o 354358523518745 478.15 c NEW SOLUTION FOUND: 354358523518745 @ 477.98 480.64 c Sol. found (all assignments made)... 480.64 o 354358521299545 480.64 c NEW SOLUTION FOUND: 354358521299545 @ 480.46 480.66 c Sol. found (all assignments made)... 480.66 o 354358509619545 480.66 c NEW SOLUTION FOUND: 354358509619545 @ 480.48 480.67 c Sol. found (all assignments made)... 480.67 o 354358500859545 480.67 c NEW SOLUTION FOUND: 354358500859545 @ 480.49 480.73 c Sol. found (all assignments made)... 480.73 o 354358500041945 480.73 c NEW SOLUTION FOUND: 354358500041945 @ 480.55 480.77 c Sol. found (all assignments made)... 480.77 o 354358499749945 480.77 c NEW SOLUTION FOUND: 354358499749945 @ 480.6 480.86 c Sol. found (all assignments made)... 480.86 o 354358499326545 480.86 c NEW SOLUTION FOUND: 354358499326545 @ 480.68 480.87 c Sol. found (all assignments made)... 480.87 o 354358499304645 480.87 c NEW SOLUTION FOUND: 354358499304645 @ 480.69 480.88 c Sol. found (all assignments made)... 480.88 o 354358491223545 480.88 c NEW SOLUTION FOUND: 354358491223545 @ 480.7 480.89 c Sol. found (all assignments made)... 480.89 o 354358490566545 480.89 c NEW SOLUTION FOUND: 354358490566545 @ 480.71 480.89 c Sol. found (all assignments made)... 480.89 o 354358490544645 480.89 c NEW SOLUTION FOUND: 354358490544645 @ 480.71 480.92 c Sol. found (all assignments made)... 480.92 o 354358488069945 480.92 c NEW SOLUTION FOUND: 354358488069945 @ 480.74 481.07 c Sol. found (all assignments made)... 481.07 o 354358487923945 481.07 c NEW SOLUTION FOUND: 354358487923945 @ 480.89 481.12 c Sol. found (all assignments made)... 481.12 o 354358487529745 481.12 c NEW SOLUTION FOUND: 354358487529745 @ 480.94 481.17 c Sol. found (all assignments made)... 481.17 o 354358487281545 481.17 c NEW SOLUTION FOUND: 354358487281545 @ 480.99 481.17 c Sol. found (all assignments made)... 481.17 o 354358487237745 481.17 c NEW SOLUTION FOUND: 354358487237745 @ 480.99 481.28 c Sol. found (all assignments made)... 481.28 o 354358487120945 481.28 c NEW SOLUTION FOUND: 354358487120945 @ 481.1 481.32 c Sol. found (all assignments made)... 481.32 o 354358486828945 481.32 c NEW SOLUTION FOUND: 354358486828945 @ 481.14 481.36 c Sol. found (all assignments made)... 481.36 o 354358486478545 481.36 c NEW SOLUTION FOUND: 354358486478545 @ 481.18 481.36 c Sol. found (all assignments made)... 481.36 o 354358486434745 481.36 c NEW SOLUTION FOUND: 354358486434745 @ 481.18 481.40 c Sol. found (all assignments made)... 481.40 o 354358486186545 481.40 c NEW SOLUTION FOUND: 354358486186545 @ 481.22 481.40 c Sol. found (all assignments made)... 481.40 o 354358486157345 481.40 c NEW SOLUTION FOUND: 354358486157345 @ 481.22 481.41 c Sol. found (all assignments made)... 481.41 o 354358486142745 481.41 c NEW SOLUTION FOUND: 354358486142745 @ 481.23 481.86 c Sol. found (all assignments made)... 481.86 o 354356804777545 481.86 c NEW SOLUTION FOUND: 354356804777545 @ 481.68 481.87 c Sol. found (all assignments made)... 481.87 o 354356781884745 481.87 c NEW SOLUTION FOUND: 354356781884745 @ 481.69 481.89 c Sol. found (all assignments made)... 481.89 o 354356780249545 481.89 c NEW SOLUTION FOUND: 354356780249545 @ 481.71 481.91 c Sol. found (all assignments made)... 481.91 o 354356652003145 481.91 c NEW SOLUTION FOUND: 354356652003145 @ 481.73 481.93 c Sol. found (all assignments made)... 481.93 o 354356650367945 481.93 c NEW SOLUTION FOUND: 354356650367945 @ 481.75 481.96 c Sol. found (all assignments made)... 481.96 o 354356649550345 481.96 c NEW SOLUTION FOUND: 354356649550345 @ 481.78 481.98 c Sol. found (all assignments made)... 481.98 o 354356648615945 481.98 c NEW SOLUTION FOUND: 354356648615945 @ 481.8 482.00 c Sol. found (all assignments made)... 482.00 o 354356647798345 482.00 c NEW SOLUTION FOUND: 354356647798345 @ 481.82 482.03 c Sol. found (all assignments made)... 482.03 o 354356647506345 482.03 c NEW SOLUTION FOUND: 354356647506345 @ 481.84 482.06 c Sol. found (all assignments made)... 482.06 o 354356647301945 482.06 c NEW SOLUTION FOUND: 354356647301945 @ 481.88 482.08 c Sol. found (all assignments made)... 482.08 o 354356647258145 482.08 c NEW SOLUTION FOUND: 354356647258145 @ 481.9 482.11 c Sol. found (all assignments made)... 482.11 o 354356647068345 482.11 c NEW SOLUTION FOUND: 354356647068345 @ 481.93 482.13 c Sol. found (all assignments made)... 482.13 o 354356647009945 482.13 c NEW SOLUTION FOUND: 354356647009945 @ 481.95 482.14 c Sol. found (all assignments made)... 482.14 o 354356646966145 482.14 c NEW SOLUTION FOUND: 354356646966145 @ 481.96 482.17 c Sol. found (all assignments made)... 482.17 o 354356646834745 482.17 c NEW SOLUTION FOUND: 354356646834745 @ 481.99 482.20 c Sol. found (all assignments made)... 482.20 o 354356646820145 482.20 c NEW SOLUTION FOUND: 354356646820145 @ 482.02 482.23 c Sol. found (all assignments made)... 482.23 o 354356645812745 482.23 c NEW SOLUTION FOUND: 354356645812745 @ 482.05 482.25 c Sol. found (all assignments made)... 482.25 o 354356644995145 482.25 c NEW SOLUTION FOUND: 354356644995145 @ 482.07 482.28 c Sol. found (all assignments made)... 482.28 o 354356644703145 482.28 c NEW SOLUTION FOUND: 354356644703145 @ 482.1 482.31 c Sol. found (all assignments made)... 482.31 o 354356644308945 482.31 c NEW SOLUTION FOUND: 354356644308945 @ 482.13 482.35 c Sol. found (all assignments made)... 482.35 o 354356644060745 482.35 c NEW SOLUTION FOUND: 354356644060745 @ 482.17 482.37 c Sol. found (all assignments made)... 482.37 o 354356644016945 482.37 c NEW SOLUTION FOUND: 354356644016945 @ 482.18 482.47 c Sol. found (all assignments made)... 482.47 o 354356643155545 482.47 c NEW SOLUTION FOUND: 354356643155545 @ 482.28 482.49 c Sol. found (all assignments made)... 482.49 o 354356642337945 482.49 c NEW SOLUTION FOUND: 354356642337945 @ 482.3 482.51 c Sol. found (all assignments made)... 482.51 o 354356642045945 482.51 c NEW SOLUTION FOUND: 354356642045945 @ 482.33 482.54 c Sol. found (all assignments made)... 482.54 o 354356641899945 482.54 c NEW SOLUTION FOUND: 354356641899945 @ 482.36 482.57 c Sol. found (all assignments made)... 482.57 o 354356641753945 482.57 c NEW SOLUTION FOUND: 354356641753945 @ 482.38 482.59 c Sol. found (all assignments made)... 482.59 o 354356641695545 482.59 c NEW SOLUTION FOUND: 354356641695545 @ 482.4 482.60 c Sol. found (all assignments made)... 482.60 o 354356641651745 482.60 c NEW SOLUTION FOUND: 354356641651745 @ 482.42 482.63 c Sol. found (all assignments made)... 482.63 o 354356641374345 482.63 c NEW SOLUTION FOUND: 354356641374345 @ 482.44 482.65 c Sol. found (all assignments made)... 482.65 o 354356641359745 482.65 c NEW SOLUTION FOUND: 354356641359745 @ 482.47 482.68 c Sol. found (all assignments made)... 482.68 o 354356641213745 482.68 c NEW SOLUTION FOUND: 354356641213745 @ 482.49 482.90 c Sol. found (all assignments made)... 482.90 o 354356604837845 482.90 c NEW SOLUTION FOUND: 354356604837845 @ 482.72 482.92 c Sol. found (all assignments made)... 482.92 o 354356603180745 482.92 c NEW SOLUTION FOUND: 354356603180745 @ 482.74 482.94 c Sol. found (all assignments made)... 482.94 o 354356602363145 482.94 c NEW SOLUTION FOUND: 354356602363145 @ 482.75 482.95 c Sol. found (all assignments made)... 482.95 o 354356601428745 482.95 c NEW SOLUTION FOUND: 354356601428745 @ 482.77 482.97 c Sol. found (all assignments made)... 482.97 o 354356600611145 482.97 c NEW SOLUTION FOUND: 354356600611145 @ 482.79 482.99 c Sol. found (all assignments made)... 482.99 o 354356600319145 482.99 c NEW SOLUTION FOUND: 354356600319145 @ 482.81 483.02 c Sol. found (all assignments made)... 483.02 o 354356599822745 483.02 c NEW SOLUTION FOUND: 354356599822745 @ 482.84 483.04 c Sol. found (all assignments made)... 483.04 o 354356599778945 483.04 c NEW SOLUTION FOUND: 354356599778945 @ 482.85 483.07 c Sol. found (all assignments made)... 483.07 o 354356599735145 483.07 c NEW SOLUTION FOUND: 354356599735145 @ 482.88 483.08 c Sol. found (all assignments made)... 483.08 o 354356599676745 483.08 c NEW SOLUTION FOUND: 354356599676745 @ 482.9 483.10 c Sol. found (all assignments made)... 483.10 o 354356599632945 483.10 c NEW SOLUTION FOUND: 354356599632945 @ 482.91 483.16 c Sol. found (all assignments made)... 483.16 o 354356599370145 483.16 c NEW SOLUTION FOUND: 354356599370145 @ 482.98 483.21 c Sol. found (all assignments made)... 483.21 o 354356599224145 483.21 c NEW SOLUTION FOUND: 354356599224145 @ 483.03 483.26 c Sol. found (all assignments made)... 483.26 o 354356599063545 483.26 c NEW SOLUTION FOUND: 354356599063545 @ 483.07 483.27 c Sol. found (all assignments made)... 483.27 o 354356599048945 483.27 c NEW SOLUTION FOUND: 354356599048945 @ 483.08 483.28 c Sol. found (all assignments made)... 483.28 o 354356598683945 483.28 c NEW SOLUTION FOUND: 354356598683945 @ 483.09 483.33 c Sol. found (all assignments made)... 483.33 o 354356598640145 483.33 c NEW SOLUTION FOUND: 354356598640145 @ 483.15 483.35 c Sol. found (all assignments made)... 483.35 o 354356598581745 483.35 c NEW SOLUTION FOUND: 354356598581745 @ 483.16 483.36 c Sol. found (all assignments made)... 483.36 o 354356598537945 483.36 c NEW SOLUTION FOUND: 354356598537945 @ 483.17 483.40 c Sol. found (all assignments made)... 483.40 o 354356597807945 483.40 c NEW SOLUTION FOUND: 354356597807945 @ 483.21 483.42 c Sol. found (all assignments made)... 483.42 o 354356597515945 483.42 c NEW SOLUTION FOUND: 354356597515945 @ 483.24 483.46 c Sol. found (all assignments made)... 483.46 o 354356597121745 483.46 c NEW SOLUTION FOUND: 354356597121745 @ 483.27 483.49 c Sol. found (all assignments made)... 483.49 o 354356596873545 483.49 c NEW SOLUTION FOUND: 354356596873545 @ 483.3 483.50 c Sol. found (all assignments made)... 483.50 o 354356596829745 483.50 c NEW SOLUTION FOUND: 354356596829745 @ 483.31 483.55 c Sol. found (all assignments made)... 483.55 o 354356596566945 483.55 c NEW SOLUTION FOUND: 354356596566945 @ 483.37 483.59 c Sol. found (all assignments made)... 483.59 o 354356596420945 483.59 c NEW SOLUTION FOUND: 354356596420945 @ 483.4 483.61 c Sol. found (all assignments made)... 483.61 o 354356596128945 483.61 c NEW SOLUTION FOUND: 354356596128945 @ 483.43 483.63 c Sol. found (all assignments made)... 483.63 o 354356596070545 483.63 c NEW SOLUTION FOUND: 354356596070545 @ 483.44 483.64 c Sol. found (all assignments made)... 483.64 o 354356596026745 483.64 c NEW SOLUTION FOUND: 354356596026745 @ 483.45 483.67 c Sol. found (all assignments made)... 483.67 o 354356595734745 483.67 c NEW SOLUTION FOUND: 354356595734745 @ 483.49 483.74 c Sol. found (all assignments made)... 483.74 o 354356577630745 483.74 c NEW SOLUTION FOUND: 354356577630745 @ 483.55 483.75 c Sol. found (all assignments made)... 483.75 o 354356565950745 483.75 c NEW SOLUTION FOUND: 354356565950745 @ 483.57 483.77 c Sol. found (all assignments made)... 483.77 o 354356565921545 483.77 c NEW SOLUTION FOUND: 354356565921545 @ 483.58 483.78 c Sol. found (all assignments made)... 483.78 o 354356565855845 483.78 c NEW SOLUTION FOUND: 354356565855845 @ 483.6 483.80 c Sol. found (all assignments made)... 483.80 o 354356564198745 483.80 c NEW SOLUTION FOUND: 354356564198745 @ 483.61 483.82 c Sol. found (all assignments made)... 483.82 o 354356563381145 483.82 c NEW SOLUTION FOUND: 354356563381145 @ 483.63 483.84 c Sol. found (all assignments made)... 483.84 o 354356563089145 483.84 c NEW SOLUTION FOUND: 354356563089145 @ 483.65 483.87 c Sol. found (all assignments made)... 483.87 o 354356562943145 483.87 c NEW SOLUTION FOUND: 354356562943145 @ 483.69 483.90 c Sol. found (all assignments made)... 483.90 o 354356561395545 483.90 c NEW SOLUTION FOUND: 354356561395545 @ 483.71 483.92 c Sol. found (all assignments made)... 483.92 o 354356561103545 483.92 c NEW SOLUTION FOUND: 354356561103545 @ 483.73 483.94 c Sol. found (all assignments made)... 483.94 o 354356560577945 483.94 c NEW SOLUTION FOUND: 354356560577945 @ 483.75 483.96 c Sol. found (all assignments made)... 483.96 o 354356560285945 483.96 c NEW SOLUTION FOUND: 354356560285945 @ 483.77 483.99 c Sol. found (all assignments made)... 483.99 o 354356560139945 483.99 c NEW SOLUTION FOUND: 354356560139945 @ 483.8 484.05 c Sol. found (all assignments made)... 484.05 o 354356559701945 484.05 c NEW SOLUTION FOUND: 354356559701945 @ 483.86 484.06 c Sol. found (all assignments made)... 484.06 o 354356559643545 484.06 c NEW SOLUTION FOUND: 354356559643545 @ 483.88 484.08 c Sol. found (all assignments made)... 484.08 o 354356559599745 484.08 c NEW SOLUTION FOUND: 354356559599745 @ 483.89 484.11 c Sol. found (all assignments made)... 484.11 o 354356559468345 484.11 c NEW SOLUTION FOUND: 354356559468345 @ 483.92 484.13 c Sol. found (all assignments made)... 484.13 o 354356559453745 484.13 c NEW SOLUTION FOUND: 354356559453745 @ 483.94 484.21 c Sol. found (all assignments made)... 484.21 o 354356559409945 484.21 c NEW SOLUTION FOUND: 354356559409945 @ 484.02 484.22 c Sol. found (all assignments made)... 484.22 o 354356559044945 484.22 c NEW SOLUTION FOUND: 354356559044945 @ 484.04 484.28 c Sol. found (all assignments made)... 484.28 o 354356558650745 484.28 c NEW SOLUTION FOUND: 354356558650745 @ 484.09 484.31 c Sol. found (all assignments made)... 484.31 o 354356558460945 484.31 c NEW SOLUTION FOUND: 354356558460945 @ 484.13 484.33 c Sol. found (all assignments made)... 484.33 o 354356558402545 484.33 c NEW SOLUTION FOUND: 354356558402545 @ 484.14 484.34 c Sol. found (all assignments made)... 484.34 o 354356558358745 484.34 c NEW SOLUTION FOUND: 354356558358745 @ 484.15 484.47 c Sol. found (all assignments made)... 484.47 o 354356555438745 484.47 c NEW SOLUTION FOUND: 354356555438745 @ 484.28 484.55 c Sol. found (all assignments made)... 484.55 o 354356555146745 484.55 c NEW SOLUTION FOUND: 354356555146745 @ 484.36 484.61 c Sol. found (all assignments made)... 484.61 o 354356554621145 484.61 c NEW SOLUTION FOUND: 354356554621145 @ 484.42 484.67 c Sol. found (all assignments made)... 484.67 o 354356554329145 484.67 c NEW SOLUTION FOUND: 354356554329145 @ 484.49 484.84 c Sol. found (all assignments made)... 484.84 o 354356554183145 484.84 c NEW SOLUTION FOUND: 354356554183145 @ 484.65 485.23 c Sol. found (all assignments made)... 485.23 o 354356553934945 485.23 c NEW SOLUTION FOUND: 354356553934945 @ 485.05 485.33 c Sol. found (all assignments made)... 485.33 o 354356553686745 485.33 c NEW SOLUTION FOUND: 354356553686745 @ 485.14 485.34 c Sol. found (all assignments made)... 485.34 o 354356553642945 485.34 c NEW SOLUTION FOUND: 354356553642945 @ 485.15 485.52 c Sol. found (all assignments made)... 485.52 o 354356553599145 485.52 c NEW SOLUTION FOUND: 354356553599145 @ 485.33 485.54 c Sol. found (all assignments made)... 485.54 o 354356553540745 485.54 c NEW SOLUTION FOUND: 354356553540745 @ 485.35 485.55 c Sol. found (all assignments made)... 485.55 o 354356553496945 485.55 c NEW SOLUTION FOUND: 354356553496945 @ 485.37 487.12 c Sol. found (all assignments made)... 487.12 o 354356552635545 487.13 c NEW SOLUTION FOUND: 354356552635545 @ 486.94 487.17 c Sol. found (all assignments made)... 487.17 o 354356552343545 487.17 c NEW SOLUTION FOUND: 354356552343545 @ 486.98 487.23 c Sol. found (all assignments made)... 487.23 o 354356551817945 487.23 c NEW SOLUTION FOUND: 354356551817945 @ 487.04 487.29 c Sol. found (all assignments made)... 487.29 o 354356551525945 487.29 c NEW SOLUTION FOUND: 354356551525945 @ 487.1 487.47 c Sol. found (all assignments made)... 487.47 o 354356551379945 487.47 c NEW SOLUTION FOUND: 354356551379945 @ 487.28 487.60 c Sol. found (all assignments made)... 487.60 o 354356551131745 487.60 c NEW SOLUTION FOUND: 354356551131745 @ 487.41 487.67 c Sol. found (all assignments made)... 487.67 o 354356550883545 487.67 c NEW SOLUTION FOUND: 354356550883545 @ 487.49 487.70 c Sol. found (all assignments made)... 487.70 o 354356550839745 487.70 c NEW SOLUTION FOUND: 354356550839745 @ 487.51 487.89 c Sol. found (all assignments made)... 487.89 o 354356550795945 487.89 c NEW SOLUTION FOUND: 354356550795945 @ 487.7 487.91 c Sol. found (all assignments made)... 487.91 o 354356550737545 487.91 c NEW SOLUTION FOUND: 354356550737545 @ 487.72 487.93 c Sol. found (all assignments made)... 487.93 o 354356550693745 487.93 c NEW SOLUTION FOUND: 354356550693745 @ 487.74 489.83 c Sol. found (all assignments made)... 489.83 o 354356535232345 489.83 c NEW SOLUTION FOUND: 354356535232345 @ 489.64 489.85 c Sol. found (all assignments made)... 489.85 o 354356534969545 489.85 c NEW SOLUTION FOUND: 354356534969545 @ 489.66 489.86 c Sol. found (all assignments made)... 489.86 o 354356534903845 489.86 c NEW SOLUTION FOUND: 354356534903845 @ 489.67 489.88 c Sol. found (all assignments made)... 489.88 o 354356523902745 489.88 c NEW SOLUTION FOUND: 354356523902745 @ 489.69 489.89 c Sol. found (all assignments made)... 489.89 o 354356523245745 489.89 c NEW SOLUTION FOUND: 354356523245745 @ 489.7 489.91 c Sol. found (all assignments made)... 489.91 o 354356523223845 489.91 c NEW SOLUTION FOUND: 354356523223845 @ 489.71 489.92 c Sol. found (all assignments made)... 489.92 o 354356518062745 489.92 c NEW SOLUTION FOUND: 354356518062745 @ 489.73 489.93 c Sol. found (all assignments made)... 489.93 o 354356517383845 489.93 c NEW SOLUTION FOUND: 354356517383845 @ 489.74 489.95 c Sol. found (all assignments made)... 489.95 o 354356514529545 489.95 c NEW SOLUTION FOUND: 354356514529545 @ 489.76 489.97 c Sol. found (all assignments made)... 489.97 o 354356514463845 489.97 c NEW SOLUTION FOUND: 354356514463845 @ 489.77 489.99 c Sol. found (all assignments made)... 489.99 o 354356511989145 489.99 c NEW SOLUTION FOUND: 354356511989145 @ 489.8 490.02 c Sol. found (all assignments made)... 490.02 o 354356511054745 490.02 c NEW SOLUTION FOUND: 354356511054745 @ 489.82 490.04 c Sol. found (all assignments made)... 490.04 o 354356510237145 490.04 c NEW SOLUTION FOUND: 354356510237145 @ 489.85 490.07 c Sol. found (all assignments made)... 490.07 o 354356509945145 490.07 c NEW SOLUTION FOUND: 354356509945145 @ 489.88 490.15 c Sol. found (all assignments made)... 490.15 o 354356509507145 490.15 c NEW SOLUTION FOUND: 354356509507145 @ 489.96 490.17 c Sol. found (all assignments made)... 490.17 o 354356509142145 490.17 c NEW SOLUTION FOUND: 354356509142145 @ 489.97 490.22 c Sol. found (all assignments made)... 490.22 o 354356508850145 490.22 c NEW SOLUTION FOUND: 354356508850145 @ 490.03 490.35 c Sol. found (all assignments made)... 490.35 o 354356508704145 490.35 c NEW SOLUTION FOUND: 354356508704145 @ 490.16 490.53 c Sol. found (all assignments made)... 490.53 o 354356508178545 490.53 c NEW SOLUTION FOUND: 354356508178545 @ 490.34 490.54 c Sol. found (all assignments made)... 490.54 o 354356508163945 490.54 c NEW SOLUTION FOUND: 354356508163945 @ 490.35 490.67 c Sol. found (all assignments made)... 490.67 o 354356508017945 490.67 c NEW SOLUTION FOUND: 354356508017945 @ 490.48 490.72 c Sol. found (all assignments made)... 490.72 o 354356507433945 490.72 c NEW SOLUTION FOUND: 354356507433945 @ 490.52 490.75 c Sol. found (all assignments made)... 490.75 o 354356507141945 490.75 c NEW SOLUTION FOUND: 354356507141945 @ 490.56 490.81 c Sol. found (all assignments made)... 490.81 o 354356506995945 490.81 c NEW SOLUTION FOUND: 354356506995945 @ 490.61 490.84 c Sol. found (all assignments made)... 490.84 o 354356506791545 490.84 c NEW SOLUTION FOUND: 354356506791545 @ 490.65 490.85 c Sol. found (all assignments made)... 490.85 o 354356506747745 490.85 c NEW SOLUTION FOUND: 354356506747745 @ 490.65 490.88 c Sol. found (all assignments made)... 490.88 o 354356506557945 490.88 c NEW SOLUTION FOUND: 354356506557945 @ 490.69 490.89 c Sol. found (all assignments made)... 490.89 o 354356506499545 490.89 c NEW SOLUTION FOUND: 354356506499545 @ 490.7 490.90 c Sol. found (all assignments made)... 490.90 o 354356506455745 490.90 c NEW SOLUTION FOUND: 354356506455745 @ 490.71 490.98 c Sol. found (all assignments made)... 490.98 o 354356506324345 490.98 c NEW SOLUTION FOUND: 354356506324345 @ 490.79 491.00 c Sol. found (all assignments made)... 491.00 o 354356506309745 491.00 c NEW SOLUTION FOUND: 354356506309745 @ 490.81 491.10 c Sol. found (all assignments made)... 491.10 o 354356506046945 491.10 c NEW SOLUTION FOUND: 354356506046945 @ 490.91 491.24 c Sol. found (all assignments made)... 491.24 o 354356505900945 491.24 c NEW SOLUTION FOUND: 354356505900945 @ 491.05 491.30 c Sol. found (all assignments made)... 491.30 o 354356505652745 491.30 c NEW SOLUTION FOUND: 354356505652745 @ 491.11 491.39 c Sol. found (all assignments made)... 491.39 o 354356505404545 491.39 c NEW SOLUTION FOUND: 354356505404545 @ 491.2 491.40 c Sol. found (all assignments made)... 491.40 o 354356505360745 491.40 c NEW SOLUTION FOUND: 354356505360745 @ 491.21 491.50 c Sol. found (all assignments made)... 491.50 o 354356505316945 491.50 c NEW SOLUTION FOUND: 354356505316945 @ 491.31 491.51 c Sol. found (all assignments made)... 491.51 o 354356505258545 491.51 c NEW SOLUTION FOUND: 354356505258545 @ 491.31 491.51 c Sol. found (all assignments made)... 491.51 o 354356505214745 491.52 c NEW SOLUTION FOUND: 354356505214745 @ 491.32 491.59 c Sol. found (all assignments made)... 491.59 o 354356497856345 491.59 c NEW SOLUTION FOUND: 354356497856345 @ 491.4 491.60 c Sol. found (all assignments made)... 491.60 o 354356497593545 491.60 c NEW SOLUTION FOUND: 354356497593545 @ 491.41 491.62 c Sol. found (all assignments made)... 491.62 o 354356497527845 491.62 c NEW SOLUTION FOUND: 354356497527845 @ 491.42 491.63 c Sol. found (all assignments made)... 491.63 o 354356491709745 491.63 c NEW SOLUTION FOUND: 354356491709745 @ 491.44 491.64 c Sol. found (all assignments made)... 491.64 o 354356491687845 491.64 c NEW SOLUTION FOUND: 354356491687845 @ 491.45 491.66 c Sol. found (all assignments made)... 491.66 o 354356488767845 491.66 c NEW SOLUTION FOUND: 354356488767845 @ 491.46 491.68 c Sol. found (all assignments made)... 491.68 o 354356487110745 491.68 c NEW SOLUTION FOUND: 354356487110745 @ 491.48 491.70 c Sol. found (all assignments made)... 491.70 o 354356484190745 491.70 c NEW SOLUTION FOUND: 354356484190745 @ 491.5 491.71 c Sol. found (all assignments made)... 491.71 o 354356475430745 491.71 c NEW SOLUTION FOUND: 354356475430745 @ 491.52 491.76 c Sol. found (all assignments made)... 491.76 o 354356474613145 491.76 c NEW SOLUTION FOUND: 354356474613145 @ 491.56 491.78 c Sol. found (all assignments made)... 491.78 o 354356473678745 491.78 c NEW SOLUTION FOUND: 354356473678745 @ 491.59 491.83 c Sol. found (all assignments made)... 491.83 o 354356472861145 491.83 c NEW SOLUTION FOUND: 354356472861145 @ 491.64 491.89 c Sol. found (all assignments made)... 491.89 o 354356472569145 491.89 c NEW SOLUTION FOUND: 354356472569145 @ 491.69 491.98 c Sol. found (all assignments made)... 491.98 o 354356472423145 491.98 c NEW SOLUTION FOUND: 354356472423145 @ 491.79 492.08 c Sol. found (all assignments made)... 492.08 o 354356471751545 492.08 c NEW SOLUTION FOUND: 354356471751545 @ 491.88 492.09 c Sol. found (all assignments made)... 492.09 o 354356471736945 492.09 c NEW SOLUTION FOUND: 354356471736945 @ 491.89 492.26 c Sol. found (all assignments made)... 492.26 o 354356471620145 492.26 c NEW SOLUTION FOUND: 354356471620145 @ 492.07 492.29 c Sol. found (all assignments made)... 492.29 o 354356471328145 492.29 c NEW SOLUTION FOUND: 354356471328145 @ 492.1 492.40 c Sol. found (all assignments made)... 492.40 o 354356470933945 492.40 c NEW SOLUTION FOUND: 354356470933945 @ 492.21 492.46 c Sol. found (all assignments made)... 492.46 o 354356470685745 492.46 c NEW SOLUTION FOUND: 354356470685745 @ 492.27 492.47 c Sol. found (all assignments made)... 492.47 o 354356470641945 492.47 c NEW SOLUTION FOUND: 354356470641945 @ 492.28 492.77 c Sol. found (all assignments made)... 492.77 o 354356470437545 492.77 c NEW SOLUTION FOUND: 354356470437545 @ 492.57 492.79 c Sol. found (all assignments made)... 492.79 o 354356469619945 492.79 c NEW SOLUTION FOUND: 354356469619945 @ 492.6 492.91 c Sol. found (all assignments made)... 492.91 o 354356469327945 492.91 c NEW SOLUTION FOUND: 354356469327945 @ 492.72 492.92 c Sol. found (all assignments made)... 492.92 o 354356469269545 492.92 c NEW SOLUTION FOUND: 354356469269545 @ 492.73 492.93 c Sol. found (all assignments made)... 492.93 o 354356469225745 492.93 c NEW SOLUTION FOUND: 354356469225745 @ 492.74 493.00 c Sol. found (all assignments made)... 493.00 o 354356468948345 493.00 c NEW SOLUTION FOUND: 354356468948345 @ 492.81 493.01 c Sol. found (all assignments made)... 493.01 o 354356468933745 493.01 c NEW SOLUTION FOUND: 354356468933745 @ 492.82 493.33 c Sol. found (all assignments made)... 493.33 o 354356468816945 493.33 c NEW SOLUTION FOUND: 354356468816945 @ 493.13 493.42 c Sol. found (all assignments made)... 493.42 o 354356468524945 493.42 c NEW SOLUTION FOUND: 354356468524945 @ 493.23 493.50 c Sol. found (all assignments made)... 493.50 o 354356468130745 493.50 c NEW SOLUTION FOUND: 354356468130745 @ 493.31 493.59 c Sol. found (all assignments made)... 493.59 o 354356467882545 493.59 c NEW SOLUTION FOUND: 354356467882545 @ 493.39 493.59 c Sol. found (all assignments made)... 493.59 o 354356467838745 493.59 c NEW SOLUTION FOUND: 354356467838745 @ 493.4 501.89 c Sol. found (all assignments made)... 501.89 o 354356456074795 501.89 c NEW SOLUTION FOUND: 354356456074795 @ 501.69 501.91 c Sol. found (all assignments made)... 501.91 o 354356453154795 501.91 c NEW SOLUTION FOUND: 354356453154795 @ 501.71 501.93 c Sol. found (all assignments made)... 501.93 o 354356452424795 501.93 c NEW SOLUTION FOUND: 354356452424795 @ 501.73 501.94 c Sol. found (all assignments made)... 501.94 o 354356452059795 501.94 c NEW SOLUTION FOUND: 354356452059795 @ 501.74 502.13 c Sol. found (all assignments made)... 502.13 o 354356451650995 502.13 c NEW SOLUTION FOUND: 354356451650995 @ 501.93 502.18 c Sol. found (all assignments made)... 502.18 o 354356451358995 502.18 c NEW SOLUTION FOUND: 354356451358995 @ 501.99 502.29 c Sol. found (all assignments made)... 502.29 o 354356447373195 502.29 c NEW SOLUTION FOUND: 354356447373195 @ 502.09 502.31 c Sol. found (all assignments made)... 502.31 o 354356446694295 502.31 c NEW SOLUTION FOUND: 354356446694295 @ 502.11 502.33 c Sol. found (all assignments made)... 502.33 o 354356443839995 502.33 c NEW SOLUTION FOUND: 354356443839995 @ 502.13 502.35 c Sol. found (all assignments made)... 502.35 o 354356443796195 502.35 c NEW SOLUTION FOUND: 354356443796195 @ 502.15 502.37 c Sol. found (all assignments made)... 502.37 o 354356443774295 502.37 c NEW SOLUTION FOUND: 354356443774295 @ 502.17 502.39 c Sol. found (all assignments made)... 502.39 o 354356443109995 502.39 c NEW SOLUTION FOUND: 354356443109995 @ 502.2 502.41 c Sol. found (all assignments made)... 502.41 o 354356443066195 502.41 c NEW SOLUTION FOUND: 354356443066195 @ 502.21 502.43 c Sol. found (all assignments made)... 502.43 o 354356443044295 502.43 c NEW SOLUTION FOUND: 354356443044295 @ 502.23 502.45 c Sol. found (all assignments made)... 502.45 o 354356442679295 502.45 c NEW SOLUTION FOUND: 354356442679295 @ 502.25 502.48 c Sol. found (all assignments made)... 502.48 o 354356442117195 502.48 c NEW SOLUTION FOUND: 354356442117195 @ 502.28 502.50 c Sol. found (all assignments made)... 502.50 o 354356441299595 502.50 c NEW SOLUTION FOUND: 354356441299595 @ 502.31 502.55 c Sol. found (all assignments made)... 502.55 o 354356440204595 502.55 c NEW SOLUTION FOUND: 354356440204595 @ 502.35 502.62 c Sol. found (all assignments made)... 502.62 o 354356439912595 502.62 c NEW SOLUTION FOUND: 354356439912595 @ 502.42 502.64 c Sol. found (all assignments made)... 502.64 o 354356438248195 502.64 c NEW SOLUTION FOUND: 354356438248195 @ 502.45 502.66 c Sol. found (all assignments made)... 502.66 o 354356438226295 502.66 c NEW SOLUTION FOUND: 354356438226295 @ 502.46 502.69 c Sol. found (all assignments made)... 502.69 o 354356427225195 502.69 c NEW SOLUTION FOUND: 354356427225195 @ 502.49 502.70 c Sol. found (all assignments made)... 502.70 o 354356426568195 502.70 c NEW SOLUTION FOUND: 354356426568195 @ 502.51 502.72 c Sol. found (all assignments made)... 502.72 o 354356426546295 502.72 c NEW SOLUTION FOUND: 354356426546295 @ 502.52 502.74 c Sol. found (all assignments made)... 502.74 o 354356421034795 502.74 c NEW SOLUTION FOUND: 354356421034795 @ 502.55 502.76 c Sol. found (all assignments made)... 502.76 o 354356420706295 502.76 c NEW SOLUTION FOUND: 354356420706295 @ 502.56 502.78 c Sol. found (all assignments made)... 502.78 o 354356418114795 502.78 c NEW SOLUTION FOUND: 354356418114795 @ 502.59 502.80 c Sol. found (all assignments made)... 502.80 o 354356417851995 502.80 c NEW SOLUTION FOUND: 354356417851995 @ 502.61 502.82 c Sol. found (all assignments made)... 502.82 o 354356417808195 502.82 c NEW SOLUTION FOUND: 354356417808195 @ 502.62 502.84 c Sol. found (all assignments made)... 502.84 o 354356417786295 502.84 c NEW SOLUTION FOUND: 354356417786295 @ 502.64 502.86 c Sol. found (all assignments made)... 502.86 o 354356414866295 502.86 c NEW SOLUTION FOUND: 354356414866295 @ 502.66 502.88 c Sol. found (all assignments made)... 502.88 o 354356406106295 502.88 c NEW SOLUTION FOUND: 354356406106295 @ 502.69 502.91 c Sol. found (all assignments made)... 502.91 o 354356404449195 502.91 c NEW SOLUTION FOUND: 354356404449195 @ 502.71 502.96 c Sol. found (all assignments made)... 502.96 o 354356403631595 502.96 c NEW SOLUTION FOUND: 354356403631595 @ 502.76 502.99 c Sol. found (all assignments made)... 502.99 o 354356403354195 502.99 c NEW SOLUTION FOUND: 354356403354195 @ 502.79 503.01 c Sol. found (all assignments made)... 503.01 o 354356402901595 503.01 c NEW SOLUTION FOUND: 354356402901595 @ 502.81 503.03 c Sol. found (all assignments made)... 503.03 o 354356402536595 503.03 c NEW SOLUTION FOUND: 354356402536595 @ 502.83 503.29 c Sol. found (all assignments made)... 503.29 o 354356402273795 503.29 c NEW SOLUTION FOUND: 354356402273795 @ 503.09 503.36 c Sol. found (all assignments made)... 503.36 o 354356401981795 503.36 c NEW SOLUTION FOUND: 354356401981795 @ 503.16 503.54 c Sol. found (all assignments made)... 503.54 o 354356401835795 503.54 c NEW SOLUTION FOUND: 354356401835795 @ 503.34 510.14 c Sol. found (all assignments made)... 510.14 o 354356390754395 510.14 c NEW SOLUTION FOUND: 354356390754395 @ 509.94 510.16 c Sol. found (all assignments made)... 510.16 o 354356367861595 510.16 c NEW SOLUTION FOUND: 354356367861595 @ 509.96 510.18 c Sol. found (all assignments made)... 510.18 o 354356366226395 510.18 c NEW SOLUTION FOUND: 354356366226395 @ 509.98 510.20 c Sol. found (all assignments made)... 510.20 o 354356365408795 510.20 c NEW SOLUTION FOUND: 354356365408795 @ 510 510.27 c Sol. found (all assignments made)... 510.27 o 354356331419995 510.27 c NEW SOLUTION FOUND: 354356331419995 @ 510.07 510.30 c Sol. found (all assignments made)... 510.30 o 354356330602395 510.30 c NEW SOLUTION FOUND: 354356330602395 @ 510.1 510.38 c Sol. found (all assignments made)... 510.38 o 354356330368795 510.38 c NEW SOLUTION FOUND: 354356330368795 @ 510.18 510.43 c Sol. found (all assignments made)... 510.43 o 354356330310395 510.43 c NEW SOLUTION FOUND: 354356330310395 @ 510.23 510.46 c Sol. found (all assignments made)... 510.46 o 354356330076795 510.46 c NEW SOLUTION FOUND: 354356330076795 @ 510.26 510.52 c Sol. found (all assignments made)... 510.52 o 354356330047595 510.52 c NEW SOLUTION FOUND: 354356330047595 @ 510.32 510.54 c Sol. found (all assignments made)... 510.54 o 354356329682595 510.54 c NEW SOLUTION FOUND: 354356329682595 @ 510.34 510.58 c Sol. found (all assignments made)... 510.58 o 354356329580395 510.58 c NEW SOLUTION FOUND: 354356329580395 @ 510.38 510.60 c Sol. found (all assignments made)... 510.60 o 354356329215395 510.60 c NEW SOLUTION FOUND: 354356329215395 @ 510.4 510.63 c Sol. found (all assignments made)... 510.63 o 354356328981795 510.63 c NEW SOLUTION FOUND: 354356328981795 @ 510.43 510.87 c Sol. found (all assignments made)... 510.87 o 354356328835795 510.87 c NEW SOLUTION FOUND: 354356328835795 @ 510.67 511.95 c Sol. found (all assignments made)... 511.95 o 354356246623195 511.95 c NEW SOLUTION FOUND: 354356246623195 @ 511.75 511.98 c Sol. found (all assignments made)... 511.98 o 354356244987995 511.98 c NEW SOLUTION FOUND: 354356244987995 @ 511.78 512.00 c Sol. found (all assignments made)... 512.00 o 354356244170395 512.00 c NEW SOLUTION FOUND: 354356244170395 @ 511.8 512.03 c Sol. found (all assignments made)... 512.03 o 354356209247195 512.03 c NEW SOLUTION FOUND: 354356209247195 @ 511.83 512.07 c Sol. found (all assignments made)... 512.07 o 354356207611995 512.07 c NEW SOLUTION FOUND: 354356207611995 @ 511.87 512.09 c Sol. found (all assignments made)... 512.09 o 354356206794395 512.09 c NEW SOLUTION FOUND: 354356206794395 @ 511.89 512.15 c Sol. found (all assignments made)... 512.15 o 354356206560795 512.15 c NEW SOLUTION FOUND: 354356206560795 @ 511.95 512.19 c Sol. found (all assignments made)... 512.19 o 354356206268795 512.19 c NEW SOLUTION FOUND: 354356206268795 @ 511.99 512.26 c Sol. found (all assignments made)... 512.26 o 354356206122795 512.26 c NEW SOLUTION FOUND: 354356206122795 @ 512.06 512.64 c Sol. found (all assignments made)... 512.64 o 354355427942795 512.64 c NEW SOLUTION FOUND: 354355427942795 @ 512.43 512.66 c Sol. found (all assignments made)... 512.66 o 354355425139595 512.66 c NEW SOLUTION FOUND: 354355425139595 @ 512.45 512.68 c Sol. found (all assignments made)... 512.68 o 354355424321995 512.68 c NEW SOLUTION FOUND: 354355424321995 @ 512.47 512.71 c Sol. found (all assignments made)... 512.71 o 354355392201995 512.71 c NEW SOLUTION FOUND: 354355392201995 @ 512.5 512.72 c Sol. found (all assignments made)... 512.72 o 354355390099595 512.72 c NEW SOLUTION FOUND: 354355390099595 @ 512.52 512.74 c Sol. found (all assignments made)... 512.74 o 354355389442595 512.74 c NEW SOLUTION FOUND: 354355389442595 @ 512.54 512.78 c Sol. found (all assignments made)... 512.78 o 354355389420695 512.78 c NEW SOLUTION FOUND: 354355389420695 @ 512.57 512.80 c Sol. found (all assignments made)... 512.80 o 354355387763595 512.80 c NEW SOLUTION FOUND: 354355387763595 @ 512.6 512.82 c Sol. found (all assignments made)... 512.82 o 354355386945995 512.82 c NEW SOLUTION FOUND: 354355386945995 @ 512.62 512.91 c Sol. found (all assignments made)... 512.91 o 354355386887595 512.91 c NEW SOLUTION FOUND: 354355386887595 @ 512.7 512.95 c Sol. found (all assignments made)... 512.95 o 354355386653995 512.95 c NEW SOLUTION FOUND: 354355386653995 @ 512.74 513.39 c Sol. found (all assignments made)... 513.39 o 354355382565995 513.39 c NEW SOLUTION FOUND: 354355382565995 @ 513.19 513.41 c Sol. found (all assignments made)... 513.41 o 354355359205995 513.41 c NEW SOLUTION FOUND: 354355359205995 @ 513.21 513.43 c Sol. found (all assignments made)... 513.43 o 354355347525995 513.43 c NEW SOLUTION FOUND: 354355347525995 @ 513.22 513.45 c Sol. found (all assignments made)... 513.45 o 354355341685995 513.45 c NEW SOLUTION FOUND: 354355341685995 @ 513.24 513.46 c Sol. found (all assignments made)... 513.46 o 354355338765995 513.46 c NEW SOLUTION FOUND: 354355338765995 @ 513.26 513.48 c Sol. found (all assignments made)... 513.48 o 354355335984695 513.48 c NEW SOLUTION FOUND: 354355335984695 @ 513.27 513.52 c Sol. found (all assignments made)... 513.52 o 354355333509995 513.52 c NEW SOLUTION FOUND: 354355333509995 @ 513.32 513.55 c Sol. found (all assignments made)... 513.55 o 354355302674795 513.55 c NEW SOLUTION FOUND: 354355302674795 @ 513.35 513.57 c Sol. found (all assignments made)... 513.57 o 354355299754795 513.57 c NEW SOLUTION FOUND: 354355299754795 @ 513.36 513.60 c Sol. found (all assignments made)... 513.60 o 354355298937195 513.60 c NEW SOLUTION FOUND: 354355298937195 @ 513.39 513.62 c Sol. found (all assignments made)... 513.62 o 354355296133995 513.62 c NEW SOLUTION FOUND: 354355296133995 @ 513.42 516.67 c Sol. found (all assignments made)... 516.67 o 354355289607795 516.67 c NEW SOLUTION FOUND: 354355289607795 @ 516.46 516.69 c Sol. found (all assignments made)... 516.69 o 354355278292795 516.69 c NEW SOLUTION FOUND: 354355278292795 @ 516.48 516.71 c Sol. found (all assignments made)... 516.71 o 354355277927795 516.71 c NEW SOLUTION FOUND: 354355277927795 @ 516.5 516.72 c Sol. found (all assignments made)... 516.72 o 354355272087795 516.72 c NEW SOLUTION FOUND: 354355272087795 @ 516.52 516.74 c Sol. found (all assignments made)... 516.74 o 354355269532795 516.74 c NEW SOLUTION FOUND: 354355269532795 @ 516.53 516.76 c Sol. found (all assignments made)... 516.76 o 354355269167795 516.76 c NEW SOLUTION FOUND: 354355269167795 @ 516.55 516.88 c Sol. found (all assignments made)... 516.88 o 354355268715195 516.88 c NEW SOLUTION FOUND: 354355268715195 @ 516.68 516.90 c Sol. found (all assignments made)... 516.90 o 354355268350195 516.90 c NEW SOLUTION FOUND: 354355268350195 @ 516.69 517.01 c Sol. found (all assignments made)... 517.01 o 354355267649395 517.01 c NEW SOLUTION FOUND: 354355267649395 @ 516.8 517.75 c Sol. found (all assignments made)... 517.75 o 354355265838995 517.75 c NEW SOLUTION FOUND: 354355265838995 @ 517.54 517.91 c Sol. found (all assignments made)... 517.91 o 354355265605395 517.91 c NEW SOLUTION FOUND: 354355265605395 @ 517.7 519.12 c Sol. found (all assignments made)... 519.12 o 354355265546995 519.13 c NEW SOLUTION FOUND: 354355265546995 @ 518.91 519.20 c Sol. found (all assignments made)... 519.20 o 354355265006795 519.20 c NEW SOLUTION FOUND: 354355265006795 @ 518.99 519.24 c Sol. found (all assignments made)... 519.24 o 354355263911795 519.24 c NEW SOLUTION FOUND: 354355263911795 @ 519.03 519.51 c Sol. found (all assignments made)... 519.51 o 354355263094195 519.51 c NEW SOLUTION FOUND: 354355263094195 @ 519.3 519.98 c Sol. found (all assignments made)... 519.98 o 354355262802195 519.98 c NEW SOLUTION FOUND: 354355262802195 @ 519.77 524.03 c Sol. found (all assignments made)... 524.03 o 354355262758395 524.03 c NEW SOLUTION FOUND: 354355262758395 @ 523.82 524.04 c Sol. found (all assignments made)... 524.04 o 354355262714595 524.05 c NEW SOLUTION FOUND: 354355262714595 @ 523.83 524.06 c Sol. found (all assignments made)... 524.06 o 354355262692695 524.06 c NEW SOLUTION FOUND: 354355262692695 @ 523.85 524.08 c Sol. found (all assignments made)... 524.08 o 354355260101195 524.08 c NEW SOLUTION FOUND: 354355260101195 @ 523.87 524.10 c Sol. found (all assignments made)... 524.10 o 354355259794595 524.10 c NEW SOLUTION FOUND: 354355259794595 @ 523.89 524.12 c Sol. found (all assignments made)... 524.12 o 354355259772695 524.12 c NEW SOLUTION FOUND: 354355259772695 @ 523.91 524.15 c Sol. found (all assignments made)... 524.15 o 354355258115595 524.15 c NEW SOLUTION FOUND: 354355258115595 @ 523.94 524.23 c Sol. found (all assignments made)... 524.23 o 354355257779795 524.23 c NEW SOLUTION FOUND: 354355257779795 @ 524.02 524.24 c Sol. found (all assignments made)... 524.24 o 354355257662995 524.24 c NEW SOLUTION FOUND: 354355257662995 @ 524.02 524.25 c Sol. found (all assignments made)... 524.25 o 354355257648395 524.25 c NEW SOLUTION FOUND: 354355257648395 @ 524.04 524.28 c Sol. found (all assignments made)... 524.28 o 354355257414795 524.28 c NEW SOLUTION FOUND: 354355257414795 @ 524.07 524.34 c Sol. found (all assignments made)... 524.34 o 354355255896395 524.34 c NEW SOLUTION FOUND: 354355255896395 @ 524.13 524.36 c Sol. found (all assignments made)... 524.36 o 354355255662795 524.36 c NEW SOLUTION FOUND: 354355255662795 @ 524.15 524.60 c Sol. found (all assignments made)... 524.60 o 354355255078795 524.60 c NEW SOLUTION FOUND: 354355255078795 @ 524.38 524.63 c Sol. found (all assignments made)... 524.63 o 354355254845195 524.63 c NEW SOLUTION FOUND: 354355254845195 @ 524.42 524.71 c Sol. found (all assignments made)... 524.71 o 354355252392395 524.71 c NEW SOLUTION FOUND: 354355252392395 @ 524.5 524.73 c Sol. found (all assignments made)... 524.73 o 354355235105995 524.73 c NEW SOLUTION FOUND: 354355235105995 @ 524.52 524.75 c Sol. found (all assignments made)... 524.75 o 354355234872395 524.75 c NEW SOLUTION FOUND: 354355234872395 @ 524.54 524.78 c Sol. found (all assignments made)... 524.78 o 354355231952395 524.78 c NEW SOLUTION FOUND: 354355231952395 @ 524.57 524.89 c Sol. found (all assignments made)... 524.89 o 354355231718795 524.89 c NEW SOLUTION FOUND: 354355231718795 @ 524.68 524.99 c Sol. found (all assignments made)... 524.99 o 354355231134795 524.99 c NEW SOLUTION FOUND: 354355231134795 @ 524.78 525.07 c Sol. found (all assignments made)... 525.07 o 354355230901195 525.07 c NEW SOLUTION FOUND: 354355230901195 @ 524.86 525.14 c Sol. found (all assignments made)... 525.14 o 354355220272395 525.14 c NEW SOLUTION FOUND: 354355220272395 @ 524.93 525.26 c Sol. found (all assignments made)... 525.26 o 354355220038795 525.26 c NEW SOLUTION FOUND: 354355220038795 @ 525.04 525.35 c Sol. found (all assignments made)... 525.35 o 354355219454795 525.35 c NEW SOLUTION FOUND: 354355219454795 @ 525.14 525.42 c Sol. found (all assignments made)... 525.42 o 354355219221195 525.42 c NEW SOLUTION FOUND: 354355219221195 @ 525.21 525.53 c Sol. found (all assignments made)... 525.53 o 354355218520395 525.53 c NEW SOLUTION FOUND: 354355218520395 @ 525.32 525.58 c Sol. found (all assignments made)... 525.58 o 354355218286795 525.58 c NEW SOLUTION FOUND: 354355218286795 @ 525.37 525.70 c Sol. found (all assignments made)... 525.70 o 354355217702795 525.70 c NEW SOLUTION FOUND: 354355217702795 @ 525.49 525.77 c Sol. found (all assignments made)... 525.77 o 354355217469195 525.77 c NEW SOLUTION FOUND: 354355217469195 @ 525.56 526.22 c Sol. found (all assignments made)... 526.22 o 354355217177195 526.22 c NEW SOLUTION FOUND: 354355217177195 @ 526.01 527.11 c Sol. found (all assignments made)... 527.11 o 354355217074995 527.11 c NEW SOLUTION FOUND: 354355217074995 @ 526.9 527.19 c Sol. found (all assignments made)... 527.19 o 354355216374195 527.19 c NEW SOLUTION FOUND: 354355216374195 @ 526.98 527.49 c Sol. found (all assignments made)... 527.49 o 354355216082195 527.49 c NEW SOLUTION FOUND: 354355216082195 @ 527.27 528.41 c Sol. found (all assignments made)... 528.41 o 354355215483595 528.41 c NEW SOLUTION FOUND: 354355215483595 @ 528.2 528.53 c Sol. found (all assignments made)... 528.53 o 354355215366795 528.53 c NEW SOLUTION FOUND: 354355215366795 @ 528.32 528.61 c Sol. found (all assignments made)... 528.61 o 354355214899595 528.61 c NEW SOLUTION FOUND: 354355214899595 @ 528.39 528.68 c Sol. found (all assignments made)... 528.68 o 354355214665995 528.68 c NEW SOLUTION FOUND: 354355214665995 @ 528.47 528.92 c Sol. found (all assignments made)... 528.92 o 354355214607595 528.92 c NEW SOLUTION FOUND: 354355214607595 @ 528.71 528.99 c Sol. found (all assignments made)... 528.99 o 354355214373995 528.99 c NEW SOLUTION FOUND: 354355214373995 @ 528.77 529.53 c Sol. found (all assignments made)... 529.53 o 354355214271795 529.53 c NEW SOLUTION FOUND: 354355214271795 @ 529.32 529.63 c Sol. found (all assignments made)... 529.63 o 354355213935995 529.63 c NEW SOLUTION FOUND: 354355213935995 @ 529.41 529.65 c Sol. found (all assignments made)... 529.65 o 354355213570995 529.65 c NEW SOLUTION FOUND: 354355213570995 @ 529.43 529.91 c Sol. found (all assignments made)... 529.91 o 354355213278995 529.91 c NEW SOLUTION FOUND: 354355213278995 @ 529.7 549.68 c Restart #49 #Var: 1540 LB: 2376755447400 @ 549.46 568.44 c Restart #50 #Var: 1540 LB: 2376755447400 @ 568.22 583.73 c Restart #51 #Var: 1538 LB: 2376755447400 @ 583.5 602.19 c Restart #52 #Var: 1538 LB: 2376755447400 @ 601.96 622.75 c Restart #53 #Var: 1538 LB: 2376755447400 @ 622.52 637.38 c Restart #54 #Var: 1538 LB: 2376755447400 @ 637.14 652.30 c Restart #55 #Var: 1538 LB: 2376755447400 @ 652.05 670.02 c Restart #56 #Var: 1538 LB: 2395892003200 @ 669.77 739.40 c Restart #57 #Var: 1538 LB: 2395892003200 @ 739.14 753.56 c Restart #58 #Var: 1538 LB: 2395892003200 @ 753.29 803.74 c Restart #59 #Var: 1538 LB: 2395892003200 @ 803.46 839.60 c Restart #60 #Var: 1538 LB: 2395892003200 @ 839.31 856.28 c Restart #61 #Var: 1538 LB: 2376755491200 @ 855.98 879.29 c Restart #62 #Var: 1538 LB: 2395892003200 @ 878.99 902.93 c Restart #63 #Var: 1538 LB: 2376755491200 @ 902.62 930.60 c Restart #64 #Var: 1538 LB: 2376755528960 @ 930.28 945.50 c Restart #65 #Var: 1538 LB: 2395892040960 @ 945.18 953.58 c Restart #66 #Var: 1538 LB: 2395892040960 @ 953.26 992.73 c Restart #67 #Var: 1538 LB: 2395892040960 @ 992.4 1012.91 c Restart #68 #Var: 1538 LB: 2395892040960 @ 1012.6 1053.43 c Restart #69 #Var: 1538 LB: 2395892040960 @ 1053.1 1072.52 c Restart #70 #Var: 1538 LB: 2395892040960 @ 1072.2 1107.33 c Restart #71 #Var: 1538 LB: 2395892040960 @ 1107 1188.00 c Restart #72 #Var: 1536 LB: 2395892040960 @ 1187.6 1211.32 c Restart #73 #Var: 1536 LB: 2395892040960 @ 1210.9 1256.70 c Restart #74 #Var: 1536 LB: 2395892040960 @ 1256.3 1274.78 c Restart #75 #Var: 1536 LB: 2395892040960 @ 1274.4 1301.44 c Restart #76 #Var: 1536 LB: 2395892040960 @ 1301 1319.11 c Restart #77 #Var: 1536 LB: 2395892040960 @ 1318.7 1345.74 c Restart #78 #Var: 1536 LB: 2395892040960 @ 1345.3 1395.60 c Restart #79 #Var: 1536 LB: 2395892040960 @ 1395.2 1420.06 c Restart #80 #Var: 1536 LB: 2395892040960 @ 1419.6 1439.19 c Restart #81 #Var: 1536 LB: 2395892040960 @ 1438.8 1466.93 c Restart #82 #Var: 1536 LB: 2395892040960 @ 1466.5 1486.71 c Restart #83 #Var: 1536 LB: 2395892040960 @ 1486.2 1525.21 c Restart #84 #Var: 1536 LB: 2434165021160 @ 1524.7 1544.00 c Restart #85 #Var: 1536 LB: 2434165021160 @ 1543.5 1570.19 c Restart #86 #Var: 1536 LB: 2434165021160 @ 1569.7 1621.35 c Restart #87 #Var: 1536 LB: 2434165021160 @ 1620.8 1800.65 s SATISFIABLE 1800.65 c Cost: 354355213278995 1800.65 v -x1160 x1167 -x1168 x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 x1811 -x1812 -x1813 1800.65 v x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 x1885 -x1886 x1887 -x1888 -x1889 -x1890 -x1891 1800.65 v -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x1900 -x1901 -x1902 x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 1800.65 v -x1910 -x1911 -x1912 x1913 x1914 -x1915 x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 1800.65 v -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 1800.65 v -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 1800.65 v -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 1800.65 v -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 1800.65 v -x1996 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 1800.65 v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 1800.65 v -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 1800.65 v -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1625 -x1626 x1627 x1628 -x1629 x1630 -x1631 x1632 1800.65 v -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 x1709 1800.65 v -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 x1722 -x1723 -x1724 -x1725 -x1726 1800.65 v -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 1800.65 v -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 x1750 -x1751 -x1752 -x1753 -x1754 x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 1800.65 v -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 x1769 -x1770 x1771 x1772 -x1773 x1774 -x1775 -x1776 -x1777 -x1778 -x1779 1800.65 v -x1780 -x1781 -x1782 -x1783 x1784 -x1785 x1786 -x1787 x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 1800.65 v -x1798 -x1799 x1800 x1801 -x1802 x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 x1639 -x1640 -x1641 -x1642 -x1643 1800.65 v -x1644 -x1645 -x1646 -x1647 -x1648 x1649 x1650 x1651 -x1652 x1653 x1654 x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 1800.65 v x1662 x1663 -x1664 -x1665 -x1666 -x1667 -x1668 x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 1800.65 v -x1680 x1681 x1682 x1683 x1684 x1685 -x1686 x1687 -x1688 x1689 x1690 x1691 x1692 -x1693 -x1694 x1695 x1696 -x1697 -x1698 1800.65 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.65 v -x29 -x30 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 1800.65 v -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 1800.65 v -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 1800.65 v -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 x410 -x411 -x412 1800.65 v -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 1800.65 v -x434 -x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 1800.65 v -x455 x456 -x457 -x458 x459 -x460 -x461 x462 -x463 -x464 -x465 x466 x467 -x468 x469 x470 x471 -x472 -x473 -x474 -x475 -x476 1800.65 v -x477 -x478 -x479 -x480 x481 x482 -x483 x484 x485 x486 -x487 -x488 -x489 x490 x491 x492 -x493 x494 x495 x496 x497 x498 -x499 1800.65 v x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 x515 x516 -x517 -x518 x519 -x520 -x521 1800.65 v x522 -x523 -x524 -x525 x526 x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 -x542 -x543 1800.65 v x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 1800.65 v -x565 -x566 -x567 -x568 -x569 -x570 -x31 x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 1800.65 v -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 x76 1800.65 v x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 x98 -x99 x100 -x101 -x102 1800.65 v -x103 -x104 x105 x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 1800.65 v -x124 -x125 x126 -x127 -x128 -x129 -x130 -x131 x132 x133 x134 x135 x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 1800.65 v -x146 -x147 -x148 -x149 -x150 -x151 x152 x153 -x154 -x155 -x156 -x157 x158 x159 -x160 x161 x162 -x163 -x164 -x165 -x166 -x167 1800.65 v x168 x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 x188 x189 1800.65 v -x190 x191 x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.65 v -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 1800.65 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 -x252 1800.65 v -x253 x254 x255 -x256 x257 x258 x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 1800.65 v -x275 -x276 -x277 -x278 -x279 x280 -x281 x282 x283 x284 -x285 -x286 -x287 -x288 x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 1800.65 v -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 x316 -x317 1800.65 v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x571 -x572 -x573 -x574 -x575 x576 -x577 -x578 1800.65 v x579 x580 x581 x582 -x583 -x584 x585 x586 x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 1800.65 v -x901 -x902 -x903 -x904 -x905 x906 -x907 x908 -x909 x910 x911 -x912 -x913 -x914 x915 x916 -x917 -x918 -x919 -x920 -x921 -x922 1800.65 v -x923 x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 x934 -x935 -x936 -x937 x938 -x939 -x940 -x941 -x942 -x943 1800.65 v -x944 x945 -x946 -x947 -x948 x949 -x950 x951 -x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 1800.65 v -x965 -x966 -x967 -x968 -x969 -x970 -x971 x972 x973 x974 -x975 x976 -x977 x978 x979 x980 -x981 -x982 -x983 -x984 x985 -x986 1800.65 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 x999 x1000 x1001 x1002 -x1003 x1004 -x1005 -x1006 1800.65 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1800.65 v -x1024 -x1025 -x1026 x1027 -x1028 x1029 -x1030 -x1031 x1032 -x1033 x1034 x1035 x1036 -x1037 x1038 x1039 x1040 x1041 x1042 1800.65 v -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1051 x1052 x1053 x1054 x1055 x1056 x1057 x1058 x1059 x1060 -x1061 1800.65 v -x1062 x1063 -x1064 -x1065 x1066 -x1067 x1068 x1069 x1070 x1071 x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 1800.65 v -x1080 -x1081 -x1082 -x1083 x1084 -x1085 -x1086 x1087 x1088 -x1089 -x1090 -x1091 x1092 -x1093 -x1094 -x1095 -x1096 -x1097 1800.65 v x1098 x1099 x1100 -x1101 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 x1115 1800.65 v -x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 x1132 -x1133 1800.65 v -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x601 -x602 -x603 -x604 -x605 x606 -x607 x608 x609 -x610 -x611 -x612 x613 1800.65 v -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 -x633 -x634 1800.65 v x635 -x636 x637 -x638 -x639 x640 x641 x642 x643 x644 x645 x646 -x647 -x648 -x649 -x650 -x651 -x652 x653 -x654 x655 -x656 -x657 1800.65 v -x658 -x659 -x660 -x661 -x662 x663 x664 -x665 x666 -x667 -x668 -x669 x670 x671 -x672 x673 x674 x675 -x676 -x677 -x678 x679 1800.65 v -x680 x681 -x682 -x683 x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 1800.65 v -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 1800.65 v -x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 x731 -x732 x733 x734 x735 -x736 -x737 x738 x739 x740 -x741 -x742 -x743 x744 1800.65 v -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 x761 -x762 x763 x764 x765 -x766 1800.65 v -x767 x768 x769 x770 -x771 -x772 -x773 x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 1800.65 v -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 1800.65 v -x809 -x810 x811 x812 x813 x814 x815 x816 x817 x818 x819 x820 x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 1800.65 v -x832 -x833 x834 -x835 -x836 -x837 -x838 -x839 -x840 x841 x842 x843 x844 x845 x846 x847 x848 x849 x850 x851 -x852 -x853 -x854 1800.65 v -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 x872 x873 x874 x875 x876 1800.65 v x877 x878 x879 x880 x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 x894 -x895 -x896 -x897 -x898 1800.65 v -x899 -x900 x1141 x1152 -x1155 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 x1153 x1154 -x1156 -x1157 1800.65 v -x1158 -x1159 -x1142 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 x1182 -x1183 -x1184 -x1185 x1186 -x1187 -x1188 -x1189 1800.65 v -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 1800.65 v x1207 -x1208 -x1209 x1210 -x1211 -x1212 x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 1800.65 v -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 x1239 -x1240 -x1241 -x1242 1800.65 v -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 x1250 -x1251 -x1252 x1253 x1254 -x1255 x1256 -x1257 -x1258 -x1259 -x1260 1800.65 v -x1261 -x1262 -x1263 -x1264 x1265 x1266 -x1267 -x1268 x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 1800.65 v -x1279 -x1280 -x1281 x1282 x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 x1296 1800.65 v x1297 -x1298 x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 1800.65 v -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 1800.65 v -x1332 x1333 -x1334 x1335 -x1336 x1337 x1338 x1339 -x1340 -x1341 x1342 x1343 x1344 -x1345 -x1346 -x1347 x1348 -x1349 -x1350 1800.65 v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 1800.65 v x1368 -x1369 x1370 x1371 -x1372 x1373 x1374 -x1375 -x1376 x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 1800.65 v x1386 -x1387 -x1388 -x1389 x1390 -x1391 -x1392 x1393 -x1394 x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 1800.65 v -x1404 -x1405 x1406 -x1407 x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 1800.65 v -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 x1432 -x1433 x1434 -x1435 x1436 x1437 -x1438 -x1439 1800.65 v -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 1800.65 v -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 1800.65 v -x1474 x1475 -x1476 x1477 -x1478 x1479 -x1480 -x1481 x1482 -x1483 x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 1800.65 v -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 x1505 -x1506 -x1507 -x1508 -x1509 1800.65 v -x1510 x1511 x1512 x1513 -x1514 -x1515 -x1516 -x1517 -x1518 x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 1800.65 v -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 x1535 -x1536 x1537 x1538 x1539 x1540 x1541 x1542 -x1543 x1544 -x1545 x1546 1800.65 v -x1547 -x1548 -x1549 x1550 -x1551 -x1552 -x1553 -x1554 x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 1800.65 v x1565 -x1566 -x1567 x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 x1576 x1577 x1578 -x1579 x1580 x1581 -x1582 1800.65 v x1583 x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 x1595 -x1596 x1597 -x1598 -x1599 -x1600 1800.65 v -x1601 x1602 -x1603 -x1604 -x1605 -x1606 x1607 -x1608 x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 x1616 -x1617 -x1618 1800.65 v -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 1800.65 c Exit Code: 10 1800.65 c Total time: 1800.1 s
OK 354355213278995
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/node14/watcher-40713-1149312990 -o ROOT/results/node14/solver-40713-1149312990 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node14/40713-1149312990/instance-40713-1149312990.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.02 1.02 1.00 2/64 32307 /proc/meminfo: memFree=1524640/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=4664 CPUtime=0 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 155 0 0 0 0 0 0 0 18 0 1 0 196961710 4775936 135 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6896916 0 0 4096 0 0 0 0 17 1 0 0 /proc/32307/statm: 1166 135 105 55 0 46 0 [startup+10.0013 s] /proc/loadavg: 1.02 1.02 1.00 2/64 32307 /proc/meminfo: memFree=1514472/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=14700 CPUtime=9.98 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 2937 0 0 0 995 3 0 0 25 0 1 0 196961710 15052800 2852 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7360150 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 3675 2852 298 55 0 2567 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 14700 [startup+20.0073 s] /proc/loadavg: 1.02 1.02 1.00 2/64 32307 /proc/meminfo: memFree=1513464/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=15672 CPUtime=19.98 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 3192 0 0 0 1993 5 0 0 25 0 1 0 196961710 16048128 3101 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557876 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 3918 3101 298 55 0 2810 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 15672 [startup+30.0132 s] /proc/loadavg: 1.01 1.02 1.00 2/64 32307 /proc/meminfo: memFree=1502200/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=27028 CPUtime=29.98 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 6051 0 0 0 2990 8 0 0 25 0 1 0 196961710 27676672 5923 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 6757 5923 298 55 0 5649 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 27028 [startup+40.0192 s] /proc/loadavg: 1.01 1.02 1.00 2/64 32307 /proc/meminfo: memFree=1493688/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=35672 CPUtime=39.99 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 8207 0 0 0 3988 11 0 0 25 0 1 0 196961710 36528128 8064 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 8918 8064 298 55 0 7810 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 35672 [startup+50.0251 s] /proc/loadavg: 1.01 1.02 1.00 2/64 32307 /proc/meminfo: memFree=1471608/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=57772 CPUtime=49.99 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 13732 0 0 0 4983 16 0 0 25 0 1 0 196961710 59158528 13563 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 14443 13563 298 55 0 13335 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 57772 [startup+60.0311 s] /proc/loadavg: 1.01 1.02 1.00 2/64 32307 /proc/meminfo: memFree=1471608/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=57772 CPUtime=60 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 13736 0 0 0 5982 18 0 0 25 0 1 0 196961710 59158528 13567 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 14443 13567 298 55 0 13335 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 57772 [startup+70.037 s] /proc/loadavg: 1.00 1.02 1.00 2/64 32307 /proc/meminfo: memFree=1471608/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=57772 CPUtime=69.99 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 13738 0 0 0 6980 19 0 0 25 0 1 0 196961710 59158528 13569 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 14443 13569 298 55 0 13335 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 57772 [startup+80.043 s] /proc/loadavg: 1.00 1.01 1.00 2/64 32307 /proc/meminfo: memFree=1460856/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=68896 CPUtime=80 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 16434 0 0 0 7979 21 0 0 25 0 1 0 196961710 70549504 16261 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 17224 16261 298 55 0 16116 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 68896 [startup+90.0489 s] /proc/loadavg: 1.00 1.01 1.00 2/64 32307 /proc/meminfo: memFree=1446136/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=83784 CPUtime=90 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 20104 0 0 0 8976 24 0 0 25 0 1 0 196961710 85794816 19926 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 20946 19926 298 55 0 19838 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 83784 [startup+100.055 s] /proc/loadavg: 1.00 1.01 1.00 2/64 32307 /proc/meminfo: memFree=1434232/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=96108 CPUtime=100 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 23096 0 0 0 9974 26 0 0 25 0 1 0 196961710 98414592 22904 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7359934 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 24027 22904 298 55 0 22919 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 96108 [startup+110.061 s] /proc/loadavg: 1.00 1.01 1.00 2/64 32307 /proc/meminfo: memFree=1429304/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=101204 CPUtime=110.01 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 24349 0 0 0 10973 28 0 0 25 0 1 0 196961710 103632896 24136 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7360353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 25301 24136 298 55 0 24193 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 101204 [startup+120.068 s] /proc/loadavg: 1.00 1.01 1.00 2/64 32307 /proc/meminfo: memFree=1415352/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=115592 CPUtime=120.02 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 27853 0 0 0 11971 31 0 0 25 0 1 0 196961710 118366208 27618 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628967 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 28898 27618 298 55 0 27790 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 115592 [startup+130.073 s] /proc/loadavg: 1.00 1.01 1.00 2/64 32307 /proc/meminfo: memFree=1398648/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=132668 CPUtime=130.02 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 32073 0 0 0 12968 34 0 0 25 0 1 0 196961710 135852032 31772 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7360212 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 33167 31772 298 55 0 32059 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 132668 [startup+140.079 s] /proc/loadavg: 1.00 1.01 1.00 2/64 32307 /proc/meminfo: memFree=1390072/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=141324 CPUtime=140.02 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 34235 0 0 0 13965 37 0 0 25 0 1 0 196961710 144715776 33911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 35331 33911 298 55 0 34223 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 141324 [startup+150.085 s] /proc/loadavg: 1.00 1.01 1.00 2/64 32307 /proc/meminfo: memFree=1383416/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=148188 CPUtime=150.03 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 35958 0 0 0 14964 39 0 0 25 0 1 0 196961710 151744512 35575 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 37047 35575 298 55 0 35939 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 148188 [startup+160.091 s] /proc/loadavg: 1.00 1.01 1.00 2/64 32307 /proc/meminfo: memFree=1375288/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=156540 CPUtime=160.03 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 38019 0 0 0 15962 41 0 0 25 0 1 0 196961710 160296960 37607 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 39135 37607 298 55 0 38027 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 156540 [startup+170.097 s] /proc/loadavg: 1.00 1.01 1.00 2/64 32307 /proc/meminfo: memFree=1359416/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=172988 CPUtime=170.03 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 42003 0 0 0 16960 43 0 0 25 0 1 0 196961710 177139712 41561 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541664 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 43247 41561 298 55 0 42139 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 172988 [startup+180.103 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32307 /proc/meminfo: memFree=1350200/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=182692 CPUtime=180.03 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 44329 0 0 0 17957 46 0 0 25 0 1 0 196961710 187076608 43859 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 45673 43859 298 55 0 44565 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 182692 [startup+190.108 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32307 /proc/meminfo: memFree=1343864/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=189716 CPUtime=190.04 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 45966 0 0 0 18956 48 0 0 25 0 1 0 196961710 194269184 45451 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535086 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 47429 45451 298 55 0 46321 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 189716 [startup+200.114 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32307 /proc/meminfo: memFree=1336248/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=197668 CPUtime=200.04 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 47898 0 0 0 19954 50 0 0 25 0 1 0 196961710 202412032 47350 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 49417 47350 298 55 0 48309 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 197668 [startup+210.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32307 /proc/meminfo: memFree=1305848/2055920 swapFree=4181448/4192956 ################ # More data... # ################ /proc/32307/statm: 151830 145215 298 55 0 150722 0 Current children cumulated CPU time (s) 1760.47 Current children cumulated vsize (Kb) 607320 [startup+1771.04 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32502 /proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=607320 CPUtime=1770.47 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 176818 229 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 151830 145215 298 55 0 150722 0 Current children cumulated CPU time (s) 1770.47 Current children cumulated vsize (Kb) 607320 [startup+1781.05 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32502 /proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=607320 CPUtime=1780.48 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 177818 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 151830 145215 298 55 0 150722 0 Current children cumulated CPU time (s) 1780.48 Current children cumulated vsize (Kb) 607320 [startup+1782.05 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32502 /proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=607320 CPUtime=1781.49 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 177919 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628618 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 151830 145215 298 55 0 150722 0 Current children cumulated CPU time (s) 1781.49 Current children cumulated vsize (Kb) 607320 [startup+1783.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32502 /proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=607320 CPUtime=1782.49 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 178019 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534923 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 151830 145215 298 55 0 150722 0 Current children cumulated CPU time (s) 1782.49 Current children cumulated vsize (Kb) 607320 [startup+1784.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32502 /proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=607320 CPUtime=1783.5 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 178120 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 151830 145215 298 55 0 150722 0 Current children cumulated CPU time (s) 1783.5 Current children cumulated vsize (Kb) 607320 [startup+1785.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32502 /proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=607320 CPUtime=1784.5 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 178220 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 151830 145215 298 55 0 150722 0 Current children cumulated CPU time (s) 1784.5 Current children cumulated vsize (Kb) 607320 [startup+1786.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32502 /proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=607320 CPUtime=1785.51 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 178321 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 151830 145215 298 55 0 150722 0 Current children cumulated CPU time (s) 1785.51 Current children cumulated vsize (Kb) 607320 [startup+1787.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32502 /proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=607320 CPUtime=1786.51 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 178421 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 151830 145215 298 55 0 150722 0 Current children cumulated CPU time (s) 1786.51 Current children cumulated vsize (Kb) 607320 [startup+1788.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32502 /proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=607320 CPUtime=1787.52 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 178522 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 151830 145215 298 55 0 150722 0 Current children cumulated CPU time (s) 1787.52 Current children cumulated vsize (Kb) 607320 [startup+1789.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32502 /proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=607320 CPUtime=1788.52 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 178622 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 151830 145215 298 55 0 150722 0 Current children cumulated CPU time (s) 1788.52 Current children cumulated vsize (Kb) 607320 [startup+1790.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32502 /proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=607320 CPUtime=1789.53 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 178723 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 151830 145215 298 55 0 150722 0 Current children cumulated CPU time (s) 1789.53 Current children cumulated vsize (Kb) 607320 [startup+1791.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32502 /proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=607320 CPUtime=1790.53 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 178823 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 151830 145215 298 55 0 150722 0 Current children cumulated CPU time (s) 1790.53 Current children cumulated vsize (Kb) 607320 [startup+1792.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32502 /proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=607320 CPUtime=1791.53 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 178923 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628628 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 151830 145215 298 55 0 150722 0 Current children cumulated CPU time (s) 1791.53 Current children cumulated vsize (Kb) 607320 [startup+1793.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32502 /proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=607320 CPUtime=1792.54 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 179024 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 151830 145215 298 55 0 150722 0 Current children cumulated CPU time (s) 1792.54 Current children cumulated vsize (Kb) 607320 [startup+1794.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32502 /proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=607320 CPUtime=1793.54 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 179124 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 151830 145215 298 55 0 150722 0 Current children cumulated CPU time (s) 1793.54 Current children cumulated vsize (Kb) 607320 [startup+1795.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32502 /proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=607320 CPUtime=1794.55 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 179225 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529320 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 151830 145215 298 55 0 150722 0 Current children cumulated CPU time (s) 1794.55 Current children cumulated vsize (Kb) 607320 [startup+1796.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32502 /proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=607320 CPUtime=1795.55 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 179325 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542283 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 151830 145215 298 55 0 150722 0 Current children cumulated CPU time (s) 1795.55 Current children cumulated vsize (Kb) 607320 [startup+1797.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32502 /proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=607320 CPUtime=1796.56 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 179426 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 151830 145215 298 55 0 150722 0 Current children cumulated CPU time (s) 1796.56 Current children cumulated vsize (Kb) 607320 [startup+1798.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32502 /proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=607320 CPUtime=1797.56 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 179526 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 151830 145215 298 55 0 150722 0 Current children cumulated CPU time (s) 1797.56 Current children cumulated vsize (Kb) 607320 [startup+1799.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32502 /proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=607320 CPUtime=1798.56 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 179626 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541526 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 151830 145215 298 55 0 150722 0 Current children cumulated CPU time (s) 1798.56 Current children cumulated vsize (Kb) 607320 [startup+1800.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32502 /proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956 [pid=32307] ppid=32305 vsize=607320 CPUtime=1799.57 /proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 179727 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628612 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32307/statm: 151830 145215 298 55 0 150722 0 Current children cumulated CPU time (s) 1799.57 Current children cumulated vsize (Kb) 607320 Child status: 10 Real time (s): 1800.75 CPU time (s): 1800.18 CPU user time (s): 1797.78 CPU system time (s): 2.39764 CPU usage (%): 99.9684 Max. virtual memory (cumulated for all children) (Kb): 607320
Begin job on node14 on Sat Jun 3 05:36:30 UTC 2006 FILE ID= 40713-1149312990 PBS_JOBID= 308165 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell4.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node14/40713-1149312990/instance-40713-1149312990.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-40713-1149312990 -o ROOT/results/node14/solver-40713-1149312990 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node14/40713-1149312990/instance-40713-1149312990.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 7a334409ec63774b2ae9bf0271f87fd8 RANDOM SEED= 466112577 /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.241 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.241 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: 1524848 kB Buffers: 30904 kB Cached: 429532 kB SwapCached: 3188 kB Active: 36568 kB Inactive: 432592 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1524848 kB SwapTotal: 4192956 kB SwapFree: 4181448 kB Dirty: 196 kB Writeback: 0 kB Mapped: 14740 kB Slab: 47848 kB Committed_AS: 320044 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node14 on Sat Jun 3 06:06:31 UTC 2006