Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | Signal | 1392.8 | 1393.34 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-sctap1.opb |
MD5SUM | 6b31328f3b1919c6fa8863a0d0ba0bd8 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 10169175305 |
Best CPU time to get the best result obtained on this benchmark | 1801.31 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2348791542 |
Optimality of the best value was proved | NO |
Number of variables | 14400 |
Total number of constraints | 284 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 284 |
Minimum length of a constraint | 90 |
Maximum length of a constraint | 660 |
Number of terms in the objective function | 10800 |
Biggest coefficient in the objective function | 42949672960 |
Number of bits for the biggest coefficient in the objective function | 36 |
Sum of the numbers in the objective function | 6356551592160 |
Number of bits of the sum of numbers in the objective function | 43 |
Biggest number in a constraint | 42949672960 |
Number of bits of the biggest number in a constraint | 36 |
Biggest sum of numbers in a constraint | 6356551592160 |
Number of bits of the biggest sum of numbers | 43 |
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.04 c INFO: OSL Context initialized. 0.04 c BIG Int formula... 0.36 c Initial problem consists of 14400 variables and 404 constraints. 0.39 c No problem reductions applied in OPT. instance. 0.39 c preprocess terminated. Elapsed time: 0.354 0.39 c After prepocess the problem consists of 7560 variables and 404 constraints. 0.39 c Initial Lower Bound: 0 0.67 c Restart #1 #Var: 7560 LB: 0 @ 0.631 1.27 c Restart #2 #Var: 7560 LB: 0 @ 1.228 2.16 c Restart #3 #Var: 7560 LB: 0 @ 2.12 3.34 c Restart #4 #Var: 7560 LB: 0 @ 3.299 4.84 c Restart #5 #Var: 7560 LB: 0 @ 4.797 6.69 c Restart #6 #Var: 7560 LB: 0 @ 6.642 8.83 c Restart #7 #Var: 7560 LB: 0 @ 8.785 11.25 c Restart #8 #Var: 7560 LB: 0 @ 11.203 13.93 c Restart #9 #Var: 7560 LB: 0 @ 13.888 17.24 c Restart #10 #Var: 7560 LB: 0 @ 17.191 18.53 c Restart #11 #Var: 7560 LB: 0 @ 18.485 19.25 c Restart #12 #Var: 7560 LB: 0 @ 19.204 19.48 c Restart #13 #Var: 7560 LB: 0 @ 19.432 19.66 c Restart #14 #Var: 7560 LB: 0 @ 19.608 19.89 c Restart #15 #Var: 7560 LB: 0 @ 19.845 20.09 c Restart #16 #Var: 7560 LB: 0 @ 20.047 20.35 c Restart #17 #Var: 7560 LB: 0 @ 20.307 20.59 c Restart #18 #Var: 7560 LB: 0 @ 20.543 20.88 c Restart #19 #Var: 7560 LB: 0 @ 20.837 21.14 c Restart #20 #Var: 7560 LB: 0 @ 21.093 21.46 c Restart #21 #Var: 7560 LB: 0 @ 21.415 21.74 c Restart #22 #Var: 7560 LB: 0 @ 21.691 22.09 c Restart #23 #Var: 7560 LB: 0 @ 22.044 22.40 c Restart #24 #Var: 7560 LB: 0 @ 22.351 22.81 c Restart #25 #Var: 7560 LB: 0 @ 22.76 23.20 c Restart #26 #Var: 7560 LB: 0 @ 23.155 23.70 c Restart #27 #Var: 7560 LB: 0 @ 23.648 24.19 c Restart #28 #Var: 7560 LB: 0 @ 24.143 25.06 c Restart #29 #Var: 7560 LB: 0 @ 25.01 25.66 c Restart #30 #Var: 7560 LB: 0 @ 25.609 26.17 c Restart #31 #Var: 7560 LB: 0 @ 26.124 26.70 c Restart #32 #Var: 7560 LB: 0 @ 26.653 27.59 c Restart #33 #Var: 7560 LB: 0 @ 27.539 28.35 c Restart #34 #Var: 7560 LB: 0 @ 28.298 28.72 c Restart #35 #Var: 7560 LB: 0 @ 28.674 29.88 c Restart #36 #Var: 7560 LB: 0 @ 29.831 30.28 c Sol. found (all assignments made)... 30.28 o 57880503761 30.28 c NEW SOLUTION FOUND: 57880503761 @ 30.233 30.29 c Sol. found (all assignments made)... 30.29 o 57880495569 30.29 c NEW SOLUTION FOUND: 57880495569 @ 30.237 30.29 c Sol. found (all assignments made)... 30.29 o 57880495057 30.29 c NEW SOLUTION FOUND: 57880495057 @ 30.242 30.30 c Sol. found (all assignments made)... 30.30 o 57880490961 30.30 c NEW SOLUTION FOUND: 57880490961 @ 30.247 30.30 c Sol. found (all assignments made)... 30.30 o 57880490945 30.30 c NEW SOLUTION FOUND: 57880490945 @ 30.252 30.31 c Sol. found (all assignments made)... 30.31 o 57880490943 30.31 c NEW SOLUTION FOUND: 57880490943 @ 30.257 30.31 c Sol. found (all assignments made)... 30.31 o 57880490911 30.31 c NEW SOLUTION FOUND: 57880490911 @ 30.262 30.32 c Sol. found (all assignments made)... 30.32 o 57880490907 30.32 c NEW SOLUTION FOUND: 57880490907 @ 30.267 30.32 c Sol. found (all assignments made)... 30.32 o 57880490843 30.32 c NEW SOLUTION FOUND: 57880490843 @ 30.272 30.33 c Sol. found (all assignments made)... 30.33 o 57880490839 30.33 c NEW SOLUTION FOUND: 57880490839 @ 30.277 30.33 c Sol. found (all assignments made)... 30.33 o 57880490837 30.33 c NEW SOLUTION FOUND: 57880490837 @ 30.283 30.34 c Sol. found (all assignments made)... 30.34 o 57880489813 30.34 c NEW SOLUTION FOUND: 57880489813 @ 30.288 30.34 c Sol. found (all assignments made)... 30.34 o 57880489685 30.34 c NEW SOLUTION FOUND: 57880489685 @ 30.293 30.35 c Sol. found (all assignments made)... 30.35 o 57880489653 30.35 c NEW SOLUTION FOUND: 57880489653 @ 30.298 30.35 c Sol. found (all assignments made)... 30.35 o 57879441077 30.35 c NEW SOLUTION FOUND: 57879441077 @ 30.303 30.36 c Sol. found (all assignments made)... 30.36 o 57879441045 30.36 c NEW SOLUTION FOUND: 57879441045 @ 30.308 30.36 c Sol. found (all assignments made)... 30.36 o 57879440917 30.36 c NEW SOLUTION FOUND: 57879440917 @ 30.313 30.37 c Sol. found (all assignments made)... 30.37 o 57879309845 30.37 c NEW SOLUTION FOUND: 57879309845 @ 30.318 30.37 c Sol. found (all assignments made)... 30.37 o 57879301653 30.37 c NEW SOLUTION FOUND: 57879301653 @ 30.323 30.38 c Sol. found (all assignments made)... 30.38 o 57879293461 30.38 c NEW SOLUTION FOUND: 57879293461 @ 30.328 30.38 c Sol. found (all assignments made)... 30.38 o 57879292437 30.38 c NEW SOLUTION FOUND: 57879292437 @ 30.333 30.39 c Sol. found (all assignments made)... 30.39 o 57862515221 30.39 c NEW SOLUTION FOUND: 57862515221 @ 30.338 30.39 c Sol. found (all assignments made)... 30.39 o 57862515217 30.39 c NEW SOLUTION FOUND: 57862515217 @ 30.343 30.40 c Sol. found (all assignments made)... 30.40 o 57862515201 30.40 c NEW SOLUTION FOUND: 57862515201 @ 30.348 30.40 c Sol. found (all assignments made)... 30.40 o 57862384129 30.40 c NEW SOLUTION FOUND: 57862384129 @ 30.354 30.41 c Sol. found (all assignments made)... 30.41 o 57862375937 30.41 c NEW SOLUTION FOUND: 57862375937 @ 30.359 30.41 c Sol. found (all assignments made)... 30.41 o 57862374913 30.41 c NEW SOLUTION FOUND: 57862374913 @ 30.364 30.42 c Sol. found (all assignments made)... 30.42 o 57862366721 30.42 c NEW SOLUTION FOUND: 57862366721 @ 30.369 30.42 c Sol. found (all assignments made)... 30.42 o 57860269569 30.42 c NEW SOLUTION FOUND: 57860269569 @ 30.374 30.43 c Sol. found (all assignments made)... 30.43 o 57856075265 30.43 c NEW SOLUTION FOUND: 57856075265 @ 30.379 30.43 c Sol. found (all assignments made)... 30.43 o 57853978113 30.43 c NEW SOLUTION FOUND: 57853978113 @ 30.384 30.44 c Sol. found (all assignments made)... 30.44 o 57853978097 30.44 c NEW SOLUTION FOUND: 57853978097 @ 30.389 30.44 c Sol. found (all assignments made)... 30.44 o 57853977073 30.44 c NEW SOLUTION FOUND: 57853977073 @ 30.394 30.45 c Sol. found (all assignments made)... 30.45 o 57853968881 30.45 c NEW SOLUTION FOUND: 57853968881 @ 30.399 30.45 c Sol. found (all assignments made)... 30.45 o 57853964785 30.46 c NEW SOLUTION FOUND: 57853964785 @ 30.405 30.46 c Sol. found (all assignments made)... 30.46 o 57853964783 30.46 c NEW SOLUTION FOUND: 57853964783 @ 30.41 30.47 c Sol. found (all assignments made)... 30.47 o 57853833711 30.47 c NEW SOLUTION FOUND: 57853833711 @ 30.415 30.47 c Sol. found (all assignments made)... 30.47 o 57853829615 30.47 c NEW SOLUTION FOUND: 57853829615 @ 30.42 30.48 c Sol. found (all assignments made)... 30.48 o 57851732463 30.48 c NEW SOLUTION FOUND: 57851732463 @ 30.425 30.48 c Sol. found (all assignments made)... 30.48 o 57849635311 30.48 c NEW SOLUTION FOUND: 57849635311 @ 30.43 30.49 c Sol. found (all assignments made)... 30.49 o 57849635055 30.49 c NEW SOLUTION FOUND: 57849635055 @ 30.435 30.49 c Sol. found (all assignments made)... 30.49 o 57849630959 30.49 c NEW SOLUTION FOUND: 57849630959 @ 30.44 30.50 c Sol. found (all assignments made)... 30.50 o 57849368815 30.50 c NEW SOLUTION FOUND: 57849368815 @ 30.445 30.50 c Sol. found (all assignments made)... 30.50 o 57849368303 30.50 c NEW SOLUTION FOUND: 57849368303 @ 30.451 30.51 c Sol. found (all assignments made)... 30.51 o 57849368287 30.51 c NEW SOLUTION FOUND: 57849368287 @ 30.456 30.51 c Sol. found (all assignments made)... 30.51 o 57849367775 30.51 c NEW SOLUTION FOUND: 57849367775 @ 30.461 30.52 c Sol. found (all assignments made)... 30.52 o 57849367771 30.52 c NEW SOLUTION FOUND: 57849367771 @ 30.466 30.52 c Sol. found (all assignments made)... 30.52 o 57849351387 30.52 c NEW SOLUTION FOUND: 57849351387 @ 30.471 30.53 c Sol. found (all assignments made)... 30.53 o 57849351355 30.53 c NEW SOLUTION FOUND: 57849351355 @ 30.476 30.53 c Sol. found (all assignments made)... 30.53 o 57849351323 30.53 c NEW SOLUTION FOUND: 57849351323 @ 30.481 30.54 c Sol. found (all assignments made)... 30.54 o 57849351315 30.54 c NEW SOLUTION FOUND: 57849351315 @ 30.487 30.54 c Sol. found (all assignments made)... 30.54 o 57849285779 30.54 c NEW SOLUTION FOUND: 57849285779 @ 30.492 30.55 c Sol. found (all assignments made)... 30.55 o 57849285651 30.55 c NEW SOLUTION FOUND: 57849285651 @ 30.497 30.55 c Sol. found (all assignments made)... 30.55 o 57849023507 30.55 c NEW SOLUTION FOUND: 57849023507 @ 30.502 30.56 c Sol. found (all assignments made)... 30.56 o 57849015315 30.56 c NEW SOLUTION FOUND: 57849015315 @ 30.507 30.56 c Sol. found (all assignments made)... 30.56 o 57849015059 30.56 c NEW SOLUTION FOUND: 57849015059 @ 30.512 30.57 c Sol. found (all assignments made)... 30.57 o 57849014547 30.57 c NEW SOLUTION FOUND: 57849014547 @ 30.518 30.57 c Sol. found (all assignments made)... 30.57 o 57849014419 30.57 c NEW SOLUTION FOUND: 57849014419 @ 30.523 30.58 c Sol. found (all assignments made)... 30.58 o 57848883347 30.58 c NEW SOLUTION FOUND: 57848883347 @ 30.528 30.58 c Sol. found (all assignments made)... 30.58 o 57848359059 30.58 c NEW SOLUTION FOUND: 57848359059 @ 30.533 30.59 c Sol. found (all assignments made)... 30.59 o 57848359058 30.59 c NEW SOLUTION FOUND: 57848359058 @ 30.538 30.59 c Sol. found (all assignments made)... 30.59 o 57848359054 30.59 c NEW SOLUTION FOUND: 57848359054 @ 30.543 30.60 c Sol. found (all assignments made)... 30.60 o 57848342670 30.60 c NEW SOLUTION FOUND: 57848342670 @ 30.548 30.60 c Sol. found (all assignments made)... 30.60 o 57848080526 30.60 c NEW SOLUTION FOUND: 57848080526 @ 30.554 30.61 c Sol. found (all assignments made)... 30.61 c Sol. found (all assignments made)... 30.61 o 57845987470 30.61 c NEW SOLUTION FOUND: 57845987470 @ 30.562 30.62 c Sol. found (all assignments made)... 30.62 o 57845983374 30.62 c NEW SOLUTION FOUND: 57845983374 @ 30.566 30.62 c Sol. found (all assignments made)... 30.62 o 57845463182 30.62 c NEW SOLUTION FOUND: 57845463182 @ 30.572 30.63 c Sol. found (all assignments made)... 30.63 o 57845459086 30.63 c NEW SOLUTION FOUND: 57845459086 @ 30.577 30.63 c Sol. found (all assignments made)... 30.63 c Sol. found (all assignments made)... 30.63 o 57845458062 30.63 c NEW SOLUTION FOUND: 57845458062 @ 30.584 30.64 c Sol. found (all assignments made)... 30.64 c Sol. found (all assignments made)... 30.64 o 57845457806 30.64 c NEW SOLUTION FOUND: 57845457806 @ 30.592 30.65 c Sol. found (all assignments made)... 30.65 o 57845429134 30.65 c NEW SOLUTION FOUND: 57845429134 @ 30.598 30.65 c Sol. found (all assignments made)... 30.65 o 57845425038 30.65 c NEW SOLUTION FOUND: 57845425038 @ 30.602 30.66 c Sol. found (all assignments made)... 30.66 o 57845412750 30.66 c NEW SOLUTION FOUND: 57845412750 @ 30.608 30.66 c Sol. found (all assignments made)... 30.66 o 57845408654 30.66 c NEW SOLUTION FOUND: 57845408654 @ 30.613 30.67 c Sol. found (all assignments made)... 30.67 c Sol. found (all assignments made)... 30.67 o 57845404558 30.67 c NEW SOLUTION FOUND: 57845404558 @ 30.62 30.68 c Sol. found (all assignments made)... 30.68 c Sol. found (all assignments made)... 30.68 o 57845404494 30.68 c NEW SOLUTION FOUND: 57845404494 @ 30.628 30.68 c Sol. found (all assignments made)... 30.69 c Sol. found (all assignments made)... 30.69 o 57845404474 30.69 c NEW SOLUTION FOUND: 57845404474 @ 30.635 30.69 c Sol. found (all assignments made)... 30.69 c Sol. found (all assignments made)... 30.69 o 57845404218 30.69 c NEW SOLUTION FOUND: 57845404218 @ 30.643 30.70 c Sol. found (all assignments made)... 30.70 c Sol. found (all assignments made)... 30.70 o 57845404090 30.70 c NEW SOLUTION FOUND: 57845404090 @ 30.651 30.71 c Sol. found (all assignments made)... 30.71 c Sol. found (all assignments made)... 30.71 o 57845404058 30.71 c NEW SOLUTION FOUND: 57845404058 @ 30.659 30.72 c Sol. found (all assignments made)... 30.72 c Sol. found (all assignments made)... 30.72 o 57845403546 30.72 c NEW SOLUTION FOUND: 57845403546 @ 30.667 30.72 c Sol. found (all assignments made)... 30.73 c Sol. found (all assignments made)... 30.73 o 57845403530 30.73 c NEW SOLUTION FOUND: 57845403530 @ 30.675 30.73 c Sol. found (all assignments made)... 30.73 o 57828630410 30.73 c NEW SOLUTION FOUND: 57828630410 @ 30.681 30.74 c Sol. found (all assignments made)... 30.74 o 57828626314 30.74 c NEW SOLUTION FOUND: 57828626314 @ 30.685 30.74 c Sol. found (all assignments made)... 30.74 c Sol. found (all assignments made)... 30.74 o 57828626282 30.74 c NEW SOLUTION FOUND: 57828626282 @ 30.693 30.75 c Sol. found (all assignments made)... 30.75 c Sol. found (all assignments made)... 30.75 o 57828626218 30.75 c NEW SOLUTION FOUND: 57828626218 @ 30.701 30.78 c Sol. found (all assignments made)... 30.78 o 57828615324 30.78 c NEW SOLUTION FOUND: 57828615324 @ 30.73 30.79 c Sol. found (all assignments made)... 30.79 o 57828607132 30.79 c NEW SOLUTION FOUND: 57828607132 @ 30.735 30.79 c Sol. found (all assignments made)... 30.79 o 57828606904 30.79 c NEW SOLUTION FOUND: 57828606904 @ 30.742 30.80 c Sol. found (all assignments made)... 30.80 o 57828606884 30.80 c NEW SOLUTION FOUND: 57828606884 @ 30.746 30.80 c Sol. found (all assignments made)... 30.80 o 57828606876 30.80 c NEW SOLUTION FOUND: 57828606876 @ 30.751 30.81 c Sol. found (all assignments made)... 30.81 o 57828605852 30.81 c NEW SOLUTION FOUND: 57828605852 @ 30.757 30.81 c Sol. found (all assignments made)... 30.81 o 57828603804 30.81 c NEW SOLUTION FOUND: 57828603804 @ 30.763 30.82 c Sol. found (all assignments made)... 30.82 o 57828603292 30.82 c NEW SOLUTION FOUND: 57828603292 @ 30.768 30.82 c Sol. found (all assignments made)... 30.82 o 57828603284 30.82 c NEW SOLUTION FOUND: 57828603284 @ 30.773 30.83 c Sol. found (all assignments made)... 30.83 o 57828601236 30.83 c NEW SOLUTION FOUND: 57828601236 @ 30.778 30.83 c Sol. found (all assignments made)... 30.83 o 57828601234 30.83 c NEW SOLUTION FOUND: 57828601234 @ 30.783 30.84 c Sol. found (all assignments made)... 30.84 o 57828601226 30.84 c NEW SOLUTION FOUND: 57828601226 @ 30.788 30.84 c Sol. found (all assignments made)... 30.84 o 57828600714 30.84 c NEW SOLUTION FOUND: 57828600714 @ 30.794 30.85 c Sol. found (all assignments made)... 30.85 o 57828600698 30.85 c NEW SOLUTION FOUND: 57828600698 @ 30.799 30.85 c Sol. found (all assignments made)... 30.85 o 57828600697 30.85 c NEW SOLUTION FOUND: 57828600697 @ 30.804 30.86 c Sol. found (all assignments made)... 30.86 o 57828596601 30.86 c NEW SOLUTION FOUND: 57828596601 @ 30.81 30.87 c Sol. found (all assignments made)... 30.87 o 57828596537 30.87 c NEW SOLUTION FOUND: 57828596537 @ 30.816 30.87 c Sol. found (all assignments made)... 30.87 o 57828588345 30.87 c NEW SOLUTION FOUND: 57828588345 @ 30.821 30.88 c Sol. found (all assignments made)... 30.88 o 57828588337 30.88 c NEW SOLUTION FOUND: 57828588337 @ 30.827 30.88 c Sol. found (all assignments made)... 30.88 o 57828584241 30.88 c NEW SOLUTION FOUND: 57828584241 @ 30.832 30.89 c Sol. found (all assignments made)... 30.89 o 57828584233 30.89 c NEW SOLUTION FOUND: 57828584233 @ 30.837 30.89 c Sol. found (all assignments made)... 30.89 o 57828583977 30.89 c NEW SOLUTION FOUND: 57828583977 @ 30.842 30.90 c Sol. found (all assignments made)... 30.90 o 57828583913 30.90 c NEW SOLUTION FOUND: 57828583913 @ 30.847 30.90 c Sol. found (all assignments made)... 30.90 o 57828583785 30.90 c NEW SOLUTION FOUND: 57828583785 @ 30.852 30.91 c Sol. found (all assignments made)... 30.91 o 57828583753 30.91 c NEW SOLUTION FOUND: 57828583753 @ 30.857 30.91 c Sol. found (all assignments made)... 30.91 o 57828583752 30.91 c NEW SOLUTION FOUND: 57828583752 @ 30.862 30.92 c Sol. found (all assignments made)... 30.92 o 57828583744 30.92 c NEW SOLUTION FOUND: 57828583744 @ 30.867 30.92 c Sol. found (all assignments made)... 30.92 o 57828582720 30.92 c NEW SOLUTION FOUND: 57828582720 @ 30.872 30.93 c Sol. found (all assignments made)... 30.93 o 57828582718 30.93 c NEW SOLUTION FOUND: 57828582718 @ 30.877 30.93 c Sol. found (all assignments made)... 30.93 o 57828582714 30.93 c NEW SOLUTION FOUND: 57828582714 @ 30.882 30.94 c Sol. found (all assignments made)... 30.94 o 57828574522 30.94 c NEW SOLUTION FOUND: 57828574522 @ 30.888 30.94 c Sol. found (all assignments made)... 30.94 o 57828574506 30.94 c NEW SOLUTION FOUND: 57828574506 @ 30.893 30.95 c Sol. found (all assignments made)... 30.95 o 57828573994 30.95 c NEW SOLUTION FOUND: 57828573994 @ 30.899 30.95 c Sol. found (all assignments made)... 30.95 o 57828572970 30.95 c NEW SOLUTION FOUND: 57828572970 @ 30.904 30.96 c Sol. found (all assignments made)... 30.96 o 57828564778 30.96 c NEW SOLUTION FOUND: 57828564778 @ 30.909 30.97 c Sol. found (all assignments made)... 30.97 o 57828560682 30.97 c NEW SOLUTION FOUND: 57828560682 @ 30.915 30.97 c Sol. found (all assignments made)... 30.97 o 57828560681 30.97 c NEW SOLUTION FOUND: 57828560681 @ 30.922 30.98 c Sol. found (all assignments made)... 30.98 o 57828544297 30.98 c NEW SOLUTION FOUND: 57828544297 @ 30.93 30.99 c Sol. found (all assignments made)... 30.99 o 57828542249 30.99 c NEW SOLUTION FOUND: 57828542249 @ 30.94 31.00 c Sol. found (all assignments made)... 31.00 o 57761433385 31.00 c NEW SOLUTION FOUND: 57761433385 @ 30.946 31.01 c Sol. found (all assignments made)... 31.01 o 57761433383 31.01 c NEW SOLUTION FOUND: 57761433383 @ 30.956 31.01 c Sol. found (all assignments made)... 31.01 o 57761433382 31.01 c NEW SOLUTION FOUND: 57761433382 @ 30.963 31.02 c Sol. found (all assignments made)... 31.02 o 57761433366 31.02 c NEW SOLUTION FOUND: 57761433366 @ 30.973 31.03 c Sol. found (all assignments made)... 31.03 o 57761400598 31.03 c NEW SOLUTION FOUND: 57761400598 @ 30.979 31.04 c Sol. found (all assignments made)... 31.04 o 57761396502 31.04 c NEW SOLUTION FOUND: 57761396502 @ 30.989 31.05 c Sol. found (all assignments made)... 31.05 o 57761134358 31.05 c NEW SOLUTION FOUND: 57761134358 @ 30.996 31.06 c Sol. found (all assignments made)... 31.06 o 57761130262 31.06 c NEW SOLUTION FOUND: 57761130262 @ 31.006 31.06 c Sol. found (all assignments made)... 31.06 o 57761130258 31.06 c NEW SOLUTION FOUND: 57761130258 @ 31.012 31.07 c Sol. found (all assignments made)... 31.07 o 57761126162 31.07 c NEW SOLUTION FOUND: 57761126162 @ 31.022 31.08 c Sol. found (all assignments made)... 31.08 o 57761126130 31.08 c NEW SOLUTION FOUND: 57761126130 @ 31.028 31.09 c Sol. found (all assignments made)... 31.09 o 57761113842 31.09 c NEW SOLUTION FOUND: 57761113842 @ 31.036 31.09 c Sol. found (all assignments made)... 31.09 o 57761109746 31.09 c NEW SOLUTION FOUND: 57761109746 @ 31.042 31.10 c Sol. found (all assignments made)... 31.10 o 57761109490 31.10 c NEW SOLUTION FOUND: 57761109490 @ 31.048 31.11 c Sol. found (all assignments made)... 31.11 o 57761048050 31.11 c NEW SOLUTION FOUND: 57761048050 @ 31.056 31.11 c Sol. found (all assignments made)... 31.11 o 57761043954 31.11 c NEW SOLUTION FOUND: 57761043954 @ 31.061 31.12 c Sol. found (all assignments made)... 31.12 o 57761011186 31.12 c NEW SOLUTION FOUND: 57761011186 @ 31.068 31.13 c Sol. found (all assignments made)... 31.13 o 57760998898 31.13 c NEW SOLUTION FOUND: 57760998898 @ 31.076 31.13 c Sol. found (all assignments made)... 31.13 o 57760994802 31.13 c NEW SOLUTION FOUND: 57760994802 @ 31.081 31.14 c Sol. found (all assignments made)... 31.14 o 57760994770 31.14 c NEW SOLUTION FOUND: 57760994770 @ 31.088 31.15 c Sol. found (all assignments made)... 31.15 o 57760992722 31.15 c NEW SOLUTION FOUND: 57760992722 @ 31.098 31.15 c Sol. found (all assignments made)... 31.15 o 57760992706 31.15 c NEW SOLUTION FOUND: 57760992706 @ 31.104 31.16 c Sol. found (all assignments made)... 31.16 o 57760992705 31.16 c NEW SOLUTION FOUND: 57760992705 @ 31.114 31.17 c Sol. found (all assignments made)... 31.17 o 57760992577 31.17 c NEW SOLUTION FOUND: 57760992577 @ 31.121 31.18 c Sol. found (all assignments made)... 31.18 o 57760963905 31.18 c NEW SOLUTION FOUND: 57760963905 @ 31.129 31.18 c Sol. found (all assignments made)... 31.18 o 57760959809 31.18 c NEW SOLUTION FOUND: 57760959809 @ 31.134 31.19 c Sol. found (all assignments made)... 31.19 o 57760959808 31.19 c NEW SOLUTION FOUND: 57760959808 @ 31.14 31.20 c Sol. found (all assignments made)... 31.20 o 57756769600 31.20 c NEW SOLUTION FOUND: 57756769600 @ 31.149 31.20 c Sol. found (all assignments made)... 31.20 o 57756765504 31.20 c NEW SOLUTION FOUND: 57756765504 @ 31.154 31.21 c Sol. found (all assignments made)... 31.21 o 57755716928 31.21 c NEW SOLUTION FOUND: 57755716928 @ 31.16 31.22 c Sol. found (all assignments made)... 31.22 o 57755715904 31.22 c NEW SOLUTION FOUND: 57755715904 @ 31.17 31.23 c Sol. found (all assignments made)... 31.23 o 57751521600 31.23 c NEW SOLUTION FOUND: 57751521600 @ 31.177 31.24 c Sol. found (all assignments made)... 31.24 o 57751521568 31.24 c NEW SOLUTION FOUND: 57751521568 @ 31.187 31.24 c Sol. found (all assignments made)... 31.24 o 57751517472 31.24 c NEW SOLUTION FOUND: 57751517472 @ 31.193 31.25 c Sol. found (all assignments made)... 31.25 o 57734744352 31.25 c NEW SOLUTION FOUND: 57734744352 @ 31.201 31.26 c Sol. found (all assignments made)... 31.26 o 57734740256 31.26 c NEW SOLUTION FOUND: 57734740256 @ 31.206 31.26 c Sol. found (all assignments made)... 31.26 o 57734738208 31.26 c NEW SOLUTION FOUND: 57734738208 @ 31.213 31.27 c Sol. found (all assignments made)... 31.27 o 57726353696 31.27 c NEW SOLUTION FOUND: 57726353696 @ 31.221 31.28 c Sol. found (all assignments made)... 31.28 o 57726349600 31.28 c NEW SOLUTION FOUND: 57726349600 @ 31.226 31.28 c Sol. found (all assignments made)... 31.28 o 57726349344 31.28 c NEW SOLUTION FOUND: 57726349344 @ 31.233 31.29 c Sol. found (all assignments made)... 31.29 o 57726349216 31.29 c NEW SOLUTION FOUND: 57726349216 @ 31.243 31.30 c Sol. found (all assignments made)... 31.30 o 57726345120 31.30 c NEW SOLUTION FOUND: 57726345120 @ 31.249 31.31 c Sol. found (all assignments made)... 31.31 o 57726316448 31.31 c NEW SOLUTION FOUND: 57726316448 @ 31.258 31.31 c Sol. found (all assignments made)... 31.31 o 57726312352 31.31 c NEW SOLUTION FOUND: 57726312352 @ 31.263 31.32 c Sol. found (all assignments made)... 31.32 o 57726312344 31.32 c NEW SOLUTION FOUND: 57726312344 @ 31.269 31.33 c Sol. found (all assignments made)... 31.33 o 57725792152 31.33 c NEW SOLUTION FOUND: 57725792152 @ 31.278 31.33 c Sol. found (all assignments made)... 31.33 o 57725788056 31.33 c NEW SOLUTION FOUND: 57725788056 @ 31.283 31.34 c Sol. found (all assignments made)... 31.34 o 57725788052 31.34 c NEW SOLUTION FOUND: 57725788052 @ 31.289 31.35 c Sol. found (all assignments made)... 31.35 o 57725530004 31.35 c NEW SOLUTION FOUND: 57725530004 @ 31.297 31.35 c Sol. found (all assignments made)... 31.35 o 57725525908 31.35 c NEW SOLUTION FOUND: 57725525908 @ 31.303 31.36 c Sol. found (all assignments made)... 31.36 o 57725524884 31.36 c NEW SOLUTION FOUND: 57725524884 @ 31.309 31.37 c Sol. found (all assignments made)... 31.37 o 57725524868 31.37 c NEW SOLUTION FOUND: 57725524868 @ 31.319 31.38 c Sol. found (all assignments made)... 31.38 o 57725524864 31.38 c NEW SOLUTION FOUND: 57725524864 @ 31.326 31.39 c Sol. found (all assignments made)... 31.39 o 57725524800 31.39 c NEW SOLUTION FOUND: 57725524800 @ 31.336 31.39 c Sol. found (all assignments made)... 31.39 o 57725524792 31.39 c NEW SOLUTION FOUND: 57725524792 @ 31.342 31.40 c Sol. found (all assignments made)... 31.40 o 57725524536 31.40 c NEW SOLUTION FOUND: 57725524536 @ 31.352 31.41 c Sol. found (all assignments made)... 31.41 o 57725524535 31.41 c NEW SOLUTION FOUND: 57725524535 @ 31.359 31.42 c Sol. found (all assignments made)... 31.42 o 57725524503 31.42 c NEW SOLUTION FOUND: 57725524503 @ 31.369 31.43 c Sol. found (all assignments made)... 31.43 o 57725524487 31.43 c NEW SOLUTION FOUND: 57725524487 @ 31.375 31.44 c Sol. found (all assignments made)... 31.44 o 57725522439 31.44 c NEW SOLUTION FOUND: 57725522439 @ 31.385 31.44 c Sol. found (all assignments made)... 31.44 o 57725489671 31.44 c NEW SOLUTION FOUND: 57725489671 @ 31.392 31.45 c Sol. found (all assignments made)... 31.45 o 57725489669 31.45 c NEW SOLUTION FOUND: 57725489669 @ 31.402 31.46 c Sol. found (all assignments made)... 31.46 o 57725489667 31.46 c NEW SOLUTION FOUND: 57725489667 @ 31.409 31.47 c Sol. found (all assignments made)... 31.47 o 57725489155 31.47 c NEW SOLUTION FOUND: 57725489155 @ 31.419 31.48 c Sol. found (all assignments made)... 31.48 o 57725423619 31.48 c NEW SOLUTION FOUND: 57725423619 @ 31.425 31.49 c Sol. found (all assignments made)... 31.49 o 57725423603 31.49 c NEW SOLUTION FOUND: 57725423603 @ 31.435 31.49 c Sol. found (all assignments made)... 31.49 o 57712840691 31.49 c NEW SOLUTION FOUND: 57712840691 @ 31.442 31.50 c Sol. found (all assignments made)... 31.50 o 57679290355 31.50 c NEW SOLUTION FOUND: 57679290355 @ 31.451 31.51 c Sol. found (all assignments made)... 31.51 o 57679286259 31.51 c NEW SOLUTION FOUND: 57679286259 @ 31.456 31.51 c Sol. found (all assignments made)... 31.51 o 57679286258 31.51 c NEW SOLUTION FOUND: 57679286258 @ 31.462 31.52 c Sol. found (all assignments made)... 31.52 o 57679286250 31.52 c NEW SOLUTION FOUND: 57679286250 @ 31.472 31.53 c Sol. found (all assignments made)... 31.53 o 57678761962 31.53 c NEW SOLUTION FOUND: 57678761962 @ 31.479 31.54 c Sol. found (all assignments made)... 31.54 o 57678700522 31.54 c NEW SOLUTION FOUND: 57678700522 @ 31.487 31.54 c Sol. found (all assignments made)... 31.54 o 57678696426 31.54 c NEW SOLUTION FOUND: 57678696426 @ 31.492 31.55 c Sol. found (all assignments made)... 31.55 o 57678696170 31.55 c NEW SOLUTION FOUND: 57678696170 @ 31.499 31.56 c Sol. found (all assignments made)... 31.56 o 57678438122 31.56 c NEW SOLUTION FOUND: 57678438122 @ 31.507 31.56 c Sol. found (all assignments made)... 31.56 o 57678434026 31.56 c NEW SOLUTION FOUND: 57678434026 @ 31.512 31.57 c Sol. found (all assignments made)... 31.57 o 57678417642 31.57 c NEW SOLUTION FOUND: 57678417642 @ 31.521 31.58 c Sol. found (all assignments made)... 31.58 o 57678417640 31.58 c NEW SOLUTION FOUND: 57678417640 @ 31.533 31.59 c Sol. found (all assignments made)... 31.59 o 57678417638 31.59 c NEW SOLUTION FOUND: 57678417638 @ 31.542 31.60 c Sol. found (all assignments made)... 31.60 o 57678417637 31.60 c NEW SOLUTION FOUND: 57678417637 @ 31.551 31.61 c Sol. found (all assignments made)... 31.61 o 57611308773 31.61 c NEW SOLUTION FOUND: 57611308773 @ 31.557 31.62 c Sol. found (all assignments made)... 31.62 o 57611308645 31.62 c NEW SOLUTION FOUND: 57611308645 @ 31.568 31.62 c Sol. found (all assignments made)... 31.62 o 57611308637 31.62 c NEW SOLUTION FOUND: 57611308637 @ 31.574 31.63 c Sol. found (all assignments made)... 31.63 o 57611308509 31.63 c NEW SOLUTION FOUND: 57611308509 @ 31.584 31.64 c Sol. found (all assignments made)... 31.64 o 57611308253 31.64 c NEW SOLUTION FOUND: 57611308253 @ 31.591 31.65 c Sol. found (all assignments made)... 31.65 o 57611306205 31.65 c NEW SOLUTION FOUND: 57611306205 @ 31.601 31.66 c Sol. found (all assignments made)... 31.66 o 57611305693 31.66 c NEW SOLUTION FOUND: 57611305693 @ 31.608 31.67 c Sol. found (all assignments made)... 31.67 o 57611293405 31.67 c NEW SOLUTION FOUND: 57611293405 @ 31.616 31.67 c Sol. found (all assignments made)... 31.67 o 57611289309 31.67 c NEW SOLUTION FOUND: 57611289309 @ 31.621 31.68 c Sol. found (all assignments made)... 31.68 o 57611289181 31.68 c NEW SOLUTION FOUND: 57611289181 @ 31.628 31.69 c Sol. found (all assignments made)... 31.69 o 57611289165 31.69 c NEW SOLUTION FOUND: 57611289165 @ 31.638 31.70 c Sol. found (all assignments made)... 31.70 o 57611223629 31.70 c NEW SOLUTION FOUND: 57611223629 @ 31.645 31.71 c Sol. found (all assignments made)... 31.71 o 57611223373 31.71 c NEW SOLUTION FOUND: 57611223373 @ 31.655 31.71 c Sol. found (all assignments made)... 31.71 o 57611223372 31.71 c NEW SOLUTION FOUND: 57611223372 @ 31.661 31.72 c Sol. found (all assignments made)... 31.72 o 57609130316 31.72 c NEW SOLUTION FOUND: 57609130316 @ 31.67 31.73 c Sol. found (all assignments made)... 31.73 o 57609126220 31.73 c NEW SOLUTION FOUND: 57609126220 @ 31.675 31.73 c Sol. found (all assignments made)... 31.73 o 57609126216 31.73 c NEW SOLUTION FOUND: 57609126216 @ 31.682 31.74 c Sol. found (all assignments made)... 31.74 o 57609126200 31.74 c NEW SOLUTION FOUND: 57609126200 @ 31.692 31.75 c Sol. found (all assignments made)... 31.75 o 57609125176 31.75 c NEW SOLUTION FOUND: 57609125176 @ 31.698 31.76 c Sol. found (all assignments made)... 31.76 o 57609063736 31.76 c NEW SOLUTION FOUND: 57609063736 @ 31.707 31.76 c Sol. found (all assignments made)... 31.76 o 57609059640 31.76 c NEW SOLUTION FOUND: 57609059640 @ 31.712 31.77 c Sol. found (all assignments made)... 31.77 o 57609059608 31.77 c NEW SOLUTION FOUND: 57609059608 @ 31.719 31.78 c Sol. found (all assignments made)... 31.78 o 57608998168 31.78 c NEW SOLUTION FOUND: 57608998168 @ 31.727 31.78 c Sol. found (all assignments made)... 31.78 o 57608994072 31.78 c NEW SOLUTION FOUND: 57608994072 @ 31.732 31.79 c Sol. found (all assignments made)... 31.79 o 57608994064 31.79 c NEW SOLUTION FOUND: 57608994064 @ 31.739 31.80 c Sol. found (all assignments made)... 31.80 o 57604803856 31.80 c NEW SOLUTION FOUND: 57604803856 @ 31.747 31.80 c Sol. found (all assignments made)... 31.80 o 57604799760 31.80 c NEW SOLUTION FOUND: 57604799760 @ 31.752 31.81 c Sol. found (all assignments made)... 31.81 o 57604766992 31.81 c NEW SOLUTION FOUND: 57604766992 @ 31.759 31.82 c Sol. found (all assignments made)... 31.82 o 57537662224 31.82 c NEW SOLUTION FOUND: 57537662224 @ 31.767 31.82 c Sol. found (all assignments made)... 31.82 o 57537658128 31.82 c NEW SOLUTION FOUND: 57537658128 @ 31.773 31.83 c Sol. found (all assignments made)... 31.83 o 57537658120 31.83 c NEW SOLUTION FOUND: 57537658120 @ 31.779 31.85 c Sol. found (all assignments made)... 31.85 o 57537586192 31.85 c NEW SOLUTION FOUND: 57537586192 @ 31.796 31.85 c Sol. found (all assignments made)... 31.85 o 57537586092 31.85 c NEW SOLUTION FOUND: 57537586092 @ 31.8 31.86 c Sol. found (all assignments made)... 31.86 o 57537585068 31.86 c NEW SOLUTION FOUND: 57537585068 @ 31.805 31.86 c Sol. found (all assignments made)... 31.86 o 57537584940 31.86 c NEW SOLUTION FOUND: 57537584940 @ 31.81 31.87 c Sol. found (all assignments made)... 31.87 o 57537568556 31.87 c NEW SOLUTION FOUND: 57537568556 @ 31.815 31.87 c Sol. found (all assignments made)... 31.87 o 57537568552 31.87 c NEW SOLUTION FOUND: 57537568552 @ 31.821 31.88 c Sol. found (all assignments made)... 31.88 o 57537568296 31.88 c NEW SOLUTION FOUND: 57537568296 @ 31.826 31.88 c Sol. found (all assignments made)... 31.88 o 57536519720 31.88 c NEW SOLUTION FOUND: 57536519720 @ 31.83 31.89 c Sol. found (all assignments made)... 31.89 o 57536519592 31.89 c NEW SOLUTION FOUND: 57536519592 @ 31.836 31.89 c Sol. found (all assignments made)... 31.89 o 57536517544 31.89 c NEW SOLUTION FOUND: 57536517544 @ 31.841 31.90 c Sol. found (all assignments made)... 31.90 o 57536517480 31.90 c NEW SOLUTION FOUND: 57536517480 @ 31.846 31.90 c Sol. found (all assignments made)... 31.90 o 57536517479 31.90 c NEW SOLUTION FOUND: 57536517479 @ 31.851 31.91 c Sol. found (all assignments made)... 31.91 o 57536516455 31.91 c NEW SOLUTION FOUND: 57536516455 @ 31.856 31.91 c Sol. found (all assignments made)... 31.91 o 57536385383 31.91 c NEW SOLUTION FOUND: 57536385383 @ 31.861 31.92 c Sol. found (all assignments made)... 31.92 o 57536385381 31.92 c NEW SOLUTION FOUND: 57536385381 @ 31.866 31.92 c Sol. found (all assignments made)... 31.92 o 57536383333 31.92 c NEW SOLUTION FOUND: 57536383333 @ 31.871 31.93 c Sol. found (all assignments made)... 31.93 o 57536383331 31.93 c NEW SOLUTION FOUND: 57536383331 @ 31.876 31.93 c Sol. found (all assignments made)... 31.93 o 57536383203 31.93 c NEW SOLUTION FOUND: 57536383203 @ 31.881 31.94 c Sol. found (all assignments made)... 31.94 o 57535334627 31.94 c NEW SOLUTION FOUND: 57535334627 @ 31.886 31.94 c Sol. found (all assignments made)... 31.94 o 57535333603 31.94 c NEW SOLUTION FOUND: 57535333603 @ 31.891 31.95 c Sol. found (all assignments made)... 31.95 o 57534285027 31.95 c NEW SOLUTION FOUND: 57534285027 @ 31.896 31.95 c Sol. found (all assignments made)... 31.95 o 57534284515 31.95 c NEW SOLUTION FOUND: 57534284515 @ 31.901 31.96 c Sol. found (all assignments made)... 31.96 o 57534218979 31.96 c NEW SOLUTION FOUND: 57534218979 @ 31.906 31.96 c Sol. found (all assignments made)... 31.96 o 57534214883 31.96 c NEW SOLUTION FOUND: 57534214883 @ 31.911 31.97 c Sol. found (all assignments made)... 31.97 o 57534214879 31.97 c NEW SOLUTION FOUND: 57534214879 @ 31.916 31.97 c Sol. found (all assignments made)... 31.97 o 57533690591 31.97 c NEW SOLUTION FOUND: 57533690591 @ 31.921 31.98 c Sol. found (all assignments made)... 31.98 o 57533690527 31.98 c NEW SOLUTION FOUND: 57533690527 @ 31.926 31.98 c Sol. found (all assignments made)... 31.98 o 57533690015 31.98 c NEW SOLUTION FOUND: 57533690015 @ 31.931 31.99 c Sol. found (all assignments made)... 31.99 o 57533688991 31.99 c NEW SOLUTION FOUND: 57533688991 @ 31.936 31.99 c Sol. found (all assignments made)... 31.99 o 57533656223 31.99 c NEW SOLUTION FOUND: 57533656223 @ 31.941 32.00 c Sol. found (all assignments made)... 32.00 o 57533655711 32.00 c NEW SOLUTION FOUND: 57533655711 @ 31.946 32.00 c Sol. found (all assignments made)... 32.00 o 57533639327 32.00 c NEW SOLUTION FOUND: 57533639327 @ 31.951 32.01 c Sol. found (all assignments made)... 32.01 o 57533115039 32.01 c NEW SOLUTION FOUND: 57533115039 @ 31.956 32.01 c Sol. found (all assignments made)... 32.01 o 57533114015 32.01 c NEW SOLUTION FOUND: 57533114015 @ 31.961 32.02 c Sol. found (all assignments made)... 32.02 o 57533113951 32.02 c NEW SOLUTION FOUND: 57533113951 @ 31.966 32.02 c Sol. found (all assignments made)... 32.02 o 57533113887 32.02 c NEW SOLUTION FOUND: 57533113887 @ 31.971 32.03 c Sol. found (all assignments made)... 32.03 o 57532851743 32.03 c NEW SOLUTION FOUND: 57532851743 @ 31.976 32.03 c Sol. found (all assignments made)... 32.03 o 57532851231 32.03 c NEW SOLUTION FOUND: 57532851231 @ 31.981 32.04 c Sol. found (all assignments made)... 32.04 o 57532851230 32.04 c NEW SOLUTION FOUND: 57532851230 @ 31.986 32.04 c Sol. found (all assignments made)... 32.04 o 57532851222 32.04 c NEW SOLUTION FOUND: 57532851222 @ 31.991 32.05 c Sol. found (all assignments made)... 32.05 o 57532851158 32.05 c NEW SOLUTION FOUND: 57532851158 @ 31.996 32.05 c Sol. found (all assignments made)... 32.05 o 57532834774 32.05 c NEW SOLUTION FOUND: 57532834774 @ 32.001 32.06 c Sol. found (all assignments made)... 32.06 o 57532818390 32.06 c NEW SOLUTION FOUND: 57532818390 @ 32.006 32.06 c Sol. found (all assignments made)... 32.06 o 57532818389 32.06 c NEW SOLUTION FOUND: 57532818389 @ 32.011 32.07 c Sol. found (all assignments made)... 32.07 o 57532818385 32.07 c NEW SOLUTION FOUND: 57532818385 @ 32.016 32.07 c Sol. found (all assignments made)... 32.07 o 57532802001 32.07 c NEW SOLUTION FOUND: 57532802001 @ 32.021 32.08 c Sol. found (all assignments made)... 32.08 o 57532802000 32.08 c NEW SOLUTION FOUND: 57532802000 @ 32.026 32.08 c Sol. found (all assignments made)... 32.08 o 57531753424 32.08 c NEW SOLUTION FOUND: 57531753424 @ 32.031 32.09 c Sol. found (all assignments made)... 32.09 o 57531753420 32.09 c NEW SOLUTION FOUND: 57531753420 @ 32.036 32.09 c Sol. found (all assignments made)... 32.09 o 57531752908 32.09 c NEW SOLUTION FOUND: 57531752908 @ 32.041 32.10 c Sol. found (all assignments made)... 32.10 o 57531720140 32.10 c NEW SOLUTION FOUND: 57531720140 @ 32.046 32.10 c Sol. found (all assignments made)... 32.10 o 57531720108 32.10 c NEW SOLUTION FOUND: 57531720108 @ 32.051 32.11 c Sol. found (all assignments made)... 32.11 o 57527525804 32.11 c NEW SOLUTION FOUND: 57527525804 @ 32.056 32.11 c Sol. found (all assignments made)... 32.11 o 57527525796 32.11 c NEW SOLUTION FOUND: 57527525796 @ 32.061 32.12 c Sol. found (all assignments made)... 32.12 o 57527525795 32.12 c NEW SOLUTION FOUND: 57527525795 @ 32.066 32.12 c Sol. found (all assignments made)... 32.12 o 57527525763 32.12 c NEW SOLUTION FOUND: 57527525763 @ 32.071 32.13 c Sol. found (all assignments made)... 32.13 o 57527525759 32.13 c NEW SOLUTION FOUND: 57527525759 @ 32.076 32.13 c Sol. found (all assignments made)... 32.13 o 57527525758 32.13 c NEW SOLUTION FOUND: 57527525758 @ 32.081 32.14 c Sol. found (all assignments made)... 32.14 o 57527525757 32.14 c NEW SOLUTION FOUND: 57527525757 @ 32.086 32.14 c Sol. found (all assignments made)... 32.14 o 57527525245 32.14 c NEW SOLUTION FOUND: 57527525245 @ 32.091 32.15 c Sol. found (all assignments made)... 32.15 o 57527524733 32.15 c NEW SOLUTION FOUND: 57527524733 @ 32.096 32.15 c Sol. found (all assignments made)... 32.15 o 57527524701 32.15 c NEW SOLUTION FOUND: 57527524701 @ 32.102 32.16 c Sol. found (all assignments made)... 32.16 o 57527524699 32.16 c NEW SOLUTION FOUND: 57527524699 @ 32.107 32.16 c Sol. found (all assignments made)... 32.16 o 57527524571 32.16 c NEW SOLUTION FOUND: 57527524571 @ 32.112 32.17 c Sol. found (all assignments made)... 32.17 o 57527520475 32.17 c NEW SOLUTION FOUND: 57527520475 @ 32.118 32.18 c Sol. found (all assignments made)... 32.18 o 57527519995 32.18 c NEW SOLUTION FOUND: 57527519995 @ 32.125 32.19 c Sol. found (all assignments made)... 32.19 o 57493599686 32.19 c NEW SOLUTION FOUND: 57493599686 @ 32.135 32.20 c Sol. found (all assignments made)... 32.20 o 57074336293 32.20 c NEW SOLUTION FOUND: 57074336293 @ 32.148 32.20 c Sol. found (all assignments made)... 32.20 o 57074336283 32.20 c NEW SOLUTION FOUND: 57074336283 @ 32.153 32.21 c Sol. found (all assignments made)... 32.21 c Sol. found (all assignments made)... 32.21 c Sol. found (all assignments made)... 32.21 c Sol. found (all assignments made)... 32.22 c Sol. found (all assignments made)... 32.22 o 57074336279 32.22 c NEW SOLUTION FOUND: 57074336279 @ 32.165 32.22 c Sol. found (all assignments made)... 32.22 o 57074334301 32.22 c NEW SOLUTION FOUND: 57074334301 @ 32.171 32.23 c Sol. found (all assignments made)... 32.23 o 57074334271 32.23 c NEW SOLUTION FOUND: 57074334271 @ 32.176 32.23 c Sol. found (all assignments made)... 32.23 o 57074334231 32.23 c NEW SOLUTION FOUND: 57074334231 @ 32.181 32.24 c Sol. found (all assignments made)... 32.24 c Sol. found (all assignments made)... 32.24 c Sol. found (all assignments made)... 32.24 o 57074334177 32.24 c NEW SOLUTION FOUND: 57074334177 @ 32.19 32.25 c Sol. found (all assignments made)... 32.25 o 57074334167 32.25 c NEW SOLUTION FOUND: 57074334167 @ 32.195 32.25 c Sol. found (all assignments made)... 32.25 c Sol. found (all assignments made)... 32.25 o 57074334113 32.25 c NEW SOLUTION FOUND: 57074334113 @ 32.202 32.26 c Sol. found (all assignments made)... 32.26 c Sol. found (all assignments made)... 32.26 o 57074334103 32.26 c NEW SOLUTION FOUND: 57074334103 @ 32.209 32.27 c Sol. found (all assignments made)... 32.27 o 57073809885 32.27 c NEW SOLUTION FOUND: 57073809885 @ 32.215 32.27 c Sol. found (all assignments made)... 32.27 o 57073809825 32.27 c NEW SOLUTION FOUND: 57073809825 @ 32.22 32.28 c Sol. found (all assignments made)... 32.28 o 57073809815 32.28 c NEW SOLUTION FOUND: 57073809815 @ 32.224 32.28 c Sol. found (all assignments made)... 32.28 o 57073808861 32.28 c NEW SOLUTION FOUND: 57073808861 @ 32.23 32.29 c Sol. found (all assignments made)... 32.29 o 57073808791 32.29 c NEW SOLUTION FOUND: 57073808791 @ 32.235 32.29 c Sol. found (all assignments made)... 32.29 c Sol. found (all assignments made)... 32.29 c Sol. found (all assignments made)... 32.29 o 57073808785 32.29 c NEW SOLUTION FOUND: 57073808785 @ 32.244 32.30 c Sol. found (all assignments made)... 32.30 o 57073808775 32.30 c NEW SOLUTION FOUND: 57073808775 @ 32.249 32.31 c Sol. found (all assignments made)... 32.31 o 57073792461 32.31 c NEW SOLUTION FOUND: 57073792461 @ 32.255 32.31 c Sol. found (all assignments made)... 32.31 o 57073792391 32.31 c NEW SOLUTION FOUND: 57073792391 @ 32.259 32.31 c Sol. found (all assignments made)... 32.32 c Sol. found (all assignments made)... 32.32 o 57073792135 32.32 c NEW SOLUTION FOUND: 57073792135 @ 32.267 32.32 c Sol. found (all assignments made)... 32.32 c Sol. found (all assignments made)... 32.33 c Sol. found (all assignments made)... 32.33 c Sol. found (all assignments made)... 32.33 c Sol. found (all assignments made)... 32.33 o 57073792134 32.33 c NEW SOLUTION FOUND: 57073792134 @ 32.28 32.34 c Sol. found (all assignments made)... 32.34 o 57073775820 32.34 c NEW SOLUTION FOUND: 57073775820 @ 32.286 32.34 c Sol. found (all assignments made)... 32.34 o 57073775750 32.34 c NEW SOLUTION FOUND: 57073775750 @ 32.291 32.35 c Sol. found (all assignments made)... 32.35 c Sol. found (all assignments made)... 32.35 c Sol. found (all assignments made)... 32.35 o 57073775742 32.35 c NEW SOLUTION FOUND: 57073775742 @ 32.3 32.36 c Sol. found (all assignments made)... 32.36 c Sol. found (all assignments made)... 32.36 c Sol. found (all assignments made)... 32.36 o 57073251454 32.36 c NEW SOLUTION FOUND: 57073251454 @ 32.31 32.37 c Sol. found (all assignments made)... 32.37 c Sol. found (all assignments made)... 32.37 c Sol. found (all assignments made)... 32.37 o 57073247428 32.37 c NEW SOLUTION FOUND: 57073247428 @ 32.319 32.37 c Sol. found (all assignments made)... 32.37 o 57073247358 32.37 c NEW SOLUTION FOUND: 57073247358 @ 32.324 32.38 c Sol. found (all assignments made)... 32.38 c Sol. found (all assignments made)... 32.38 o 57072198792 32.38 c NEW SOLUTION FOUND: 57072198792 @ 32.331 32.39 c Sol. found (all assignments made)... 32.39 o 57072198782 32.39 c NEW SOLUTION FOUND: 57072198782 @ 32.336 32.39 c Sol. found (all assignments made)... 32.39 c Sol. found (all assignments made)... 32.40 c Sol. found (all assignments made)... 32.40 o 57072198280 32.40 c NEW SOLUTION FOUND: 57072198280 @ 32.346 32.40 c Sol. found (all assignments made)... 32.40 o 57072198270 32.40 c NEW SOLUTION FOUND: 57072198270 @ 32.351 32.41 c Sol. found (all assignments made)... 32.41 c Sol. found (all assignments made)... 32.41 c Sol. found (all assignments made)... 32.41 o 57072067208 32.41 c NEW SOLUTION FOUND: 57072067208 @ 32.36 32.42 c Sol. found (all assignments made)... 32.42 o 57072067198 32.42 c NEW SOLUTION FOUND: 57072067198 @ 32.365 32.42 c Sol. found (all assignments made)... 32.42 c Sol. found (all assignments made)... 32.42 c Sol. found (all assignments made)... 32.42 o 57072066696 32.42 c NEW SOLUTION FOUND: 57072066696 @ 32.374 32.43 c Sol. found (all assignments made)... 32.43 o 57072066686 32.43 c NEW SOLUTION FOUND: 57072066686 @ 32.379 32.43 c Sol. found (all assignments made)... 32.44 c Sol. found (all assignments made)... 32.44 c Sol. found (all assignments made)... 32.44 o 57072066184 32.44 c NEW SOLUTION FOUND: 57072066184 @ 32.389 32.44 c Sol. found (all assignments made)... 32.44 o 57072066174 32.44 c NEW SOLUTION FOUND: 57072066174 @ 32.394 32.45 c Sol. found (all assignments made)... 32.45 c Sol. found (all assignments made)... 32.45 c Sol. found (all assignments made)... 32.45 o 57072058052 32.45 c NEW SOLUTION FOUND: 57072058052 @ 32.403 32.46 c Sol. found (all assignments made)... 32.46 o 57072057982 32.46 c NEW SOLUTION FOUND: 57072057982 @ 32.408 32.46 c Sol. found (all assignments made)... 32.47 c Sol. found (all assignments made)... 32.47 o 57072057924 32.47 c NEW SOLUTION FOUND: 57072057924 @ 32.415 32.47 c Sol. found (all assignments made)... 32.47 o 57072057864 32.47 c NEW SOLUTION FOUND: 57072057864 @ 32.42 32.48 c Sol. found (all assignments made)... 32.48 o 57072057854 32.48 c NEW SOLUTION FOUND: 57072057854 @ 32.425 32.48 c Sol. found (all assignments made)... 32.48 o 57072057412 32.48 c NEW SOLUTION FOUND: 57072057412 @ 32.431 32.49 c Sol. found (all assignments made)... 32.49 o 57072057352 32.49 c NEW SOLUTION FOUND: 57072057352 @ 32.435 32.49 c Sol. found (all assignments made)... 32.49 o 57072057342 32.49 c NEW SOLUTION FOUND: 57072057342 @ 32.44 32.50 c Sol. found (all assignments made)... 32.50 o 57072053316 32.50 c NEW SOLUTION FOUND: 57072053316 @ 32.446 32.50 c Sol. found (all assignments made)... 32.50 o 57072053246 32.50 c NEW SOLUTION FOUND: 57072053246 @ 32.45 32.51 c Sol. found (all assignments made)... 32.51 c Sol. found (all assignments made)... 32.51 o 57072045054 32.51 c NEW SOLUTION FOUND: 57072045054 @ 32.458 32.51 c Sol. found (all assignments made)... 32.52 c Sol. found (all assignments made)... 32.52 c Sol. found (all assignments made)... 32.52 o 57071520836 32.52 c NEW SOLUTION FOUND: 57071520836 @ 32.467 32.52 c Sol. found (all assignments made)... 32.52 o 57071520766 32.52 c NEW SOLUTION FOUND: 57071520766 @ 32.472 32.53 c Sol. found (all assignments made)... 32.53 c Sol. found (all assignments made)... 32.53 o 57071519752 32.53 c NEW SOLUTION FOUND: 57071519752 @ 32.479 32.53 c Sol. found (all assignments made)... 32.53 o 57071519742 32.53 c NEW SOLUTION FOUND: 57071519742 @ 32.484 32.54 c Sol. found (all assignments made)... 32.54 c Sol. found (all assignments made)... 32.54 c Sol. found (all assignments made)... 32.54 o 57071519720 32.54 c NEW SOLUTION FOUND: 57071519720 @ 32.494 32.55 c Sol. found (all assignments made)... 32.55 o 57071519710 32.55 c NEW SOLUTION FOUND: 57071519710 @ 32.498 32.55 c Sol. found (all assignments made)... 32.56 c Sol. found (all assignments made)... 32.56 c Sol. found (all assignments made)... 32.56 o 57071519652 32.56 c NEW SOLUTION FOUND: 57071519652 @ 32.508 32.56 c Sol. found (all assignments made)... 32.56 o 57071519592 32.56 c NEW SOLUTION FOUND: 57071519592 @ 32.512 32.57 c Sol. found (all assignments made)... 32.57 o 57071519582 32.57 c NEW SOLUTION FOUND: 57071519582 @ 32.517 32.57 c Sol. found (all assignments made)... 32.57 o 57071519396 32.57 c NEW SOLUTION FOUND: 57071519396 @ 32.523 32.58 c Sol. found (all assignments made)... 32.58 o 57071519326 32.58 c NEW SOLUTION FOUND: 57071519326 @ 32.528 32.58 c Sol. found (all assignments made)... 32.59 c Sol. found (all assignments made)... 32.59 o 57071519268 32.59 c NEW SOLUTION FOUND: 57071519268 @ 32.535 32.59 c Sol. found (all assignments made)... 32.59 o 57071519198 32.59 c NEW SOLUTION FOUND: 57071519198 @ 32.54 32.59 c Sol. found (all assignments made)... 32.60 c Sol. found (all assignments made)... 32.60 c Sol. found (all assignments made)... 32.60 o 57071519194 32.60 c NEW SOLUTION FOUND: 57071519194 @ 32.549 32.60 c Sol. found (all assignments made)... 32.61 c Sol. found (all assignments made)... 32.61 c Sol. found (all assignments made)... 32.61 o 57071515168 32.61 c NEW SOLUTION FOUND: 57071515168 @ 32.559 32.61 c Sol. found (all assignments made)... 32.61 o 57071515108 32.61 c NEW SOLUTION FOUND: 57071515108 @ 32.563 32.62 c Sol. found (all assignments made)... 32.62 o 57071515098 32.62 c NEW SOLUTION FOUND: 57071515098 @ 32.568 32.62 c Sol. found (all assignments made)... 32.62 o 57071449632 32.62 c NEW SOLUTION FOUND: 57071449632 @ 32.574 32.63 c Sol. found (all assignments made)... 32.63 o 57071449562 32.63 c NEW SOLUTION FOUND: 57071449562 @ 32.579 32.63 c Sol. found (all assignments made)... 32.64 c Sol. found (all assignments made)... 32.64 c Sol. found (all assignments made)... 32.64 o 57071449560 32.64 c NEW SOLUTION FOUND: 57071449560 @ 32.588 32.64 c Sol. found (all assignments made)... 32.65 c Sol. found (all assignments made)... 32.65 o 57071445474 32.65 c NEW SOLUTION FOUND: 57071445474 @ 32.595 32.65 c Sol. found (all assignments made)... 32.65 o 57071445464 32.65 c NEW SOLUTION FOUND: 57071445464 @ 32.6 32.66 c Sol. found (all assignments made)... 32.66 c Sol. found (all assignments made)... 32.66 c Sol. found (all assignments made)... 32.66 o 57071445218 32.66 c NEW SOLUTION FOUND: 57071445218 @ 32.609 32.67 c Sol. found (all assignments made)... 32.67 o 57071445208 32.67 c NEW SOLUTION FOUND: 57071445208 @ 32.615 32.67 c Sol. found (all assignments made)... 32.67 c Sol. found (all assignments made)... 32.67 c Sol. found (all assignments made)... 32.67 o 57071445022 32.67 c NEW SOLUTION FOUND: 57071445022 @ 32.624 32.68 c Sol. found (all assignments made)... 32.68 o 57071444952 32.68 c NEW SOLUTION FOUND: 57071444952 @ 32.629 32.68 c Sol. found (all assignments made)... 32.69 c Sol. found (all assignments made)... 32.69 o 57071182878 32.69 c NEW SOLUTION FOUND: 57071182878 @ 32.636 32.69 c Sol. found (all assignments made)... 32.69 o 57071182818 32.69 c NEW SOLUTION FOUND: 57071182818 @ 32.641 32.70 c Sol. found (all assignments made)... 32.70 o 57071182808 32.70 c NEW SOLUTION FOUND: 57071182808 @ 32.646 32.70 c Sol. found (all assignments made)... 32.70 o 57071182750 32.70 c NEW SOLUTION FOUND: 57071182750 @ 32.651 32.71 c Sol. found (all assignments made)... 32.71 o 57071182680 32.71 c NEW SOLUTION FOUND: 57071182680 @ 32.656 32.71 c Sol. found (all assignments made)... 32.71 c Sol. found (all assignments made)... 32.71 o 57071182178 32.71 c NEW SOLUTION FOUND: 57071182178 @ 32.663 32.72 c Sol. found (all assignments made)... 32.72 o 57071182168 32.72 c NEW SOLUTION FOUND: 57071182168 @ 32.668 32.72 c Sol. found (all assignments made)... 32.73 c Sol. found (all assignments made)... 32.73 c Sol. found (all assignments made)... 32.73 o 57071116642 32.73 c NEW SOLUTION FOUND: 57071116642 @ 32.677 32.73 c Sol. found (all assignments made)... 32.73 o 57071116632 32.73 c NEW SOLUTION FOUND: 57071116632 @ 32.683 32.74 c Sol. found (all assignments made)... 32.74 c Sol. found (all assignments made)... 32.74 c Sol. found (all assignments made)... 32.74 o 57071115618 32.74 c NEW SOLUTION FOUND: 57071115618 @ 32.692 32.75 c Sol. found (all assignments made)... 32.75 o 57071115608 32.75 c NEW SOLUTION FOUND: 57071115608 @ 32.697 32.75 c Sol. found (all assignments made)... 32.75 c Sol. found (all assignments made)... 32.76 c Sol. found (all assignments made)... 32.76 o 57071115106 32.76 c NEW SOLUTION FOUND: 57071115106 @ 32.706 32.76 c Sol. found (all assignments made)... 32.76 o 57071115096 32.76 c NEW SOLUTION FOUND: 57071115096 @ 32.711 32.77 c Sol. found (all assignments made)... 32.77 c Sol. found (all assignments made)... 32.77 c Sol. found (all assignments made)... 32.77 o 57070852962 32.77 c NEW SOLUTION FOUND: 57070852962 @ 32.72 32.78 c Sol. found (all assignments made)... 32.78 o 57070852952 32.78 c NEW SOLUTION FOUND: 57070852952 @ 32.725 32.78 c Sol. found (all assignments made)... 32.78 c Sol. found (all assignments made)... 32.79 c Sol. found (all assignments made)... 32.79 o 57070852930 32.79 c NEW SOLUTION FOUND: 57070852930 @ 32.734 32.79 c Sol. found (all assignments made)... 32.79 o 57070852920 32.79 c NEW SOLUTION FOUND: 57070852920 @ 32.739 32.79 c Sol. found (all assignments made)... 32.80 c Sol. found (all assignments made)... 32.80 c Sol. found (all assignments made)... 32.80 c Sol. found (all assignments made)... 32.80 c Sol. found (all assignments made)... 32.80 o 57070852918 32.80 c NEW SOLUTION FOUND: 57070852918 @ 32.753 32.81 c Sol. found (all assignments made)... 32.81 o 57069804412 32.81 c NEW SOLUTION FOUND: 57069804412 @ 32.759 32.81 c Sol. found (all assignments made)... 32.81 o 57069804342 32.81 c NEW SOLUTION FOUND: 57069804342 @ 32.763 32.82 c Sol. found (all assignments made)... 32.82 c Sol. found (all assignments made)... 32.82 o 57069788028 32.82 c NEW SOLUTION FOUND: 57069788028 @ 32.771 32.83 c Sol. found (all assignments made)... 32.83 o 57069787958 32.83 c NEW SOLUTION FOUND: 57069787958 @ 32.775 32.83 c Sol. found (all assignments made)... 32.83 c Sol. found (all assignments made)... 32.83 o 57069786944 32.83 c NEW SOLUTION FOUND: 57069786944 @ 32.783 32.84 c Sol. found (all assignments made)... 32.84 o 57069786934 32.84 c NEW SOLUTION FOUND: 57069786934 @ 32.788 32.84 c Sol. found (all assignments made)... 32.84 c Sol. found (all assignments made)... 32.85 c Sol. found (all assignments made)... 32.85 o 57069754176 32.85 c NEW SOLUTION FOUND: 57069754176 @ 32.797 32.85 c Sol. found (all assignments made)... 32.85 o 57069754166 32.85 c NEW SOLUTION FOUND: 57069754166 @ 32.802 32.86 c Sol. found (all assignments made)... 32.86 c Sol. found (all assignments made)... 32.86 c Sol. found (all assignments made)... 32.86 o 57069750080 32.86 c NEW SOLUTION FOUND: 57069750080 @ 32.811 32.87 c Sol. found (all assignments made)... 32.87 o 57069750070 32.87 c NEW SOLUTION FOUND: 57069750070 @ 32.816 32.87 c Sol. found (all assignments made)... 32.87 c Sol. found (all assignments made)... 32.88 c Sol. found (all assignments made)... 32.88 c Sol. found (all assignments made)... 32.88 o 57069750066 32.88 c NEW SOLUTION FOUND: 57069750066 @ 32.828 32.88 c Sol. found (all assignments made)... 32.89 c Sol. found (all assignments made)... 32.89 o 57069749880 32.89 c NEW SOLUTION FOUND: 57069749880 @ 32.835 32.89 c Sol. found (all assignments made)... 32.89 o 57069749820 32.89 c NEW SOLUTION FOUND: 57069749820 @ 32.84 32.90 c Sol. found (all assignments made)... 32.90 o 57069749810 32.90 c NEW SOLUTION FOUND: 57069749810 @ 32.845 32.90 c Sol. found (all assignments made)... 32.90 o 57061361272 32.90 c NEW SOLUTION FOUND: 57061361272 @ 32.85 32.91 c Sol. found (all assignments made)... 32.91 o 57061361212 32.91 c NEW SOLUTION FOUND: 57061361212 @ 32.855 32.91 c Sol. found (all assignments made)... 32.91 o 57061361202 32.91 c NEW SOLUTION FOUND: 57061361202 @ 32.86 32.92 c Sol. found (all assignments made)... 32.92 o 57061295736 32.92 c NEW SOLUTION FOUND: 57061295736 @ 32.866 32.92 c Sol. found (all assignments made)... 32.92 o 57061295666 32.92 c NEW SOLUTION FOUND: 57061295666 @ 32.87 32.93 c Sol. found (all assignments made)... 32.93 c Sol. found (all assignments made)... 32.93 o 57061295658 32.93 c NEW SOLUTION FOUND: 57061295658 @ 32.878 32.93 c Sol. found (all assignments made)... 32.94 c Sol. found (all assignments made)... 32.94 c Sol. found (all assignments made)... 32.94 o 57061294704 32.94 c NEW SOLUTION FOUND: 57061294704 @ 32.888 32.94 c Sol. found (all assignments made)... 32.94 o 57061294644 32.94 c NEW SOLUTION FOUND: 57061294644 @ 32.892 32.95 c Sol. found (all assignments made)... 32.95 o 57061294634 32.95 c NEW SOLUTION FOUND: 57061294634 @ 32.897 32.95 c Sol. found (all assignments made)... 32.95 o 57061286442 32.95 c NEW SOLUTION FOUND: 57061286442 @ 32.903 32.96 c Sol. found (all assignments made)... 32.96 c Sol. found (all assignments made)... 32.96 c Sol. found (all assignments made)... 32.96 o 57061285418 32.96 c NEW SOLUTION FOUND: 57061285418 @ 32.912 32.97 c Sol. found (all assignments made)... 32.97 c Sol. found (all assignments made)... 32.97 c Sol. found (all assignments made)... 32.97 o 57061023344 32.97 c NEW SOLUTION FOUND: 57061023344 @ 32.922 32.98 c Sol. found (all assignments made)... 32.98 o 57061023274 32.98 c NEW SOLUTION FOUND: 57061023274 @ 32.926 32.98 c Sol. found (all assignments made)... 32.98 c Sol. found (all assignments made)... 32.98 o 57061023220 32.98 c NEW SOLUTION FOUND: 57061023220 @ 32.933 32.99 c Sol. found (all assignments made)... 32.99 o 57061023210 32.99 c NEW SOLUTION FOUND: 57061023210 @ 32.939 32.99 c Sol. found (all assignments made)... 33.00 c Sol. found (all assignments made)... 33.00 c Sol. found (all assignments made)... 33.00 o 57061015028 33.00 c NEW SOLUTION FOUND: 57061015028 @ 32.948 33.00 c Sol. found (all assignments made)... 33.00 o 57061015018 33.00 c NEW SOLUTION FOUND: 57061015018 @ 32.953 33.01 c Sol. found (all assignments made)... 33.01 c Sol. found (all assignments made)... 33.01 c Sol. found (all assignments made)... 33.01 o 57061015012 33.01 c NEW SOLUTION FOUND: 57061015012 @ 32.962 33.02 c Sol. found (all assignments made)... 33.02 o 57061015002 33.02 c NEW SOLUTION FOUND: 57061015002 @ 32.967 33.02 c Sol. found (all assignments made)... 33.02 c Sol. found (all assignments made)... 33.03 c Sol. found (all assignments made)... 33.03 o 57061014756 33.03 c NEW SOLUTION FOUND: 57061014756 @ 32.976 33.03 c Sol. found (all assignments made)... 33.03 o 57061014746 33.03 c NEW SOLUTION FOUND: 57061014746 @ 32.981 33.04 c Sol. found (all assignments made)... 33.04 c Sol. found (all assignments made)... 33.04 c Sol. found (all assignments made)... 33.04 o 57061014628 33.04 c NEW SOLUTION FOUND: 57061014628 @ 32.991 33.05 c Sol. found (all assignments made)... 33.05 o 57061014618 33.05 c NEW SOLUTION FOUND: 57061014618 @ 32.996 33.05 c Sol. found (all assignments made)... 33.05 c Sol. found (all assignments made)... 33.06 c Sol. found (all assignments made)... 33.06 o 57060752484 33.06 c NEW SOLUTION FOUND: 57060752484 @ 33.005 33.06 c Sol. found (all assignments made)... 33.06 o 57060752474 33.06 c NEW SOLUTION FOUND: 57060752474 @ 33.01 33.07 c Sol. found (all assignments made)... 33.07 c Sol. found (all assignments made)... 33.07 c Sol. found (all assignments made)... 33.07 o 57060750436 33.07 c NEW SOLUTION FOUND: 57060750436 @ 33.02 33.08 c Sol. found (all assignments made)... 33.08 o 57060750426 33.08 c NEW SOLUTION FOUND: 57060750426 @ 33.025 33.08 c Sol. found (all assignments made)... 33.08 c Sol. found (all assignments made)... 33.08 c Sol. found (all assignments made)... 33.08 o 57060750372 33.08 c NEW SOLUTION FOUND: 57060750372 @ 33.034 33.09 c Sol. found (all assignments made)... 33.09 o 57060750362 33.09 c NEW SOLUTION FOUND: 57060750362 @ 33.039 33.09 c Sol. found (all assignments made)... 33.10 c Sol. found (all assignments made)... 33.10 c Sol. found (all assignments made)... 33.10 o 57060734048 33.10 c NEW SOLUTION FOUND: 57060734048 @ 33.049 33.10 c Sol. found (all assignments made)... 33.10 o 57060733978 33.10 c NEW SOLUTION FOUND: 57060733978 @ 33.053 33.11 c Sol. found (all assignments made)... 33.11 c Sol. found (all assignments made)... 33.11 o 57060602976 33.11 c NEW SOLUTION FOUND: 57060602976 @ 33.061 33.12 c Sol. found (all assignments made)... 33.12 o 57060602916 33.12 c NEW SOLUTION FOUND: 57060602916 @ 33.065 33.12 c Sol. found (all assignments made)... 33.12 o 57060602906 33.12 c NEW SOLUTION FOUND: 57060602906 @ 33.07 33.13 c Sol. found (all assignments made)... 33.13 o 57060537440 33.13 c NEW SOLUTION FOUND: 57060537440 @ 33.076 33.13 c Sol. found (all assignments made)... 33.13 o 57060537370 33.13 c NEW SOLUTION FOUND: 57060537370 @ 33.081 33.14 c Sol. found (all assignments made)... 33.14 c Sol. found (all assignments made)... 33.14 o 57060406308 33.14 c NEW SOLUTION FOUND: 57060406308 @ 33.088 33.14 c Sol. found (all assignments made)... 33.14 o 57060406298 33.14 c NEW SOLUTION FOUND: 57060406298 @ 33.093 33.15 c Sol. found (all assignments made)... 33.15 c Sol. found (all assignments made)... 33.16 c Sol. found (all assignments made)... 33.16 o 57060406297 33.16 c NEW SOLUTION FOUND: 57060406297 @ 33.105 33.17 c Sol. found (all assignments made)... 33.17 o 57060373539 33.17 c NEW SOLUTION FOUND: 57060373539 @ 33.115 33.17 c Sol. found (all assignments made)... 33.17 o 57060373529 33.17 c NEW SOLUTION FOUND: 57060373529 @ 33.121 33.20 c Sol. found (all assignments made)... 33.20 o 57060348516 33.20 c NEW SOLUTION FOUND: 57060348516 @ 33.148 33.21 c Sol. found (all assignments made)... 33.21 o 57060348446 33.21 c NEW SOLUTION FOUND: 57060348446 @ 33.154 33.22 c Sol. found (all assignments made)... 33.22 o 57060348441 33.22 c NEW SOLUTION FOUND: 57060348441 @ 33.168 33.23 c Sol. found (all assignments made)... 33.23 o 57060344932 33.23 c NEW SOLUTION FOUND: 57060344932 @ 33.176 33.23 c Sol. found (all assignments made)... 33.23 o 57060344862 33.23 c NEW SOLUTION FOUND: 57060344862 @ 33.182 33.24 c Sol. found (all assignments made)... 33.24 o 57060344857 33.24 c NEW SOLUTION FOUND: 57060344857 @ 33.193 33.41 c Sol. found (all assignments made)... 33.41 o 57015002454 33.41 c NEW SOLUTION FOUND: 57015002454 @ 33.359 33.41 c Sol. found (all assignments made)... 33.41 o 56956282198 33.41 c NEW SOLUTION FOUND: 56956282198 @ 33.364 33.42 c Sol. found (all assignments made)... 33.42 o 56956151126 33.42 c NEW SOLUTION FOUND: 56956151126 @ 33.368 33.42 c Sol. found (all assignments made)... 33.42 o 56956150998 33.42 c NEW SOLUTION FOUND: 56956150998 @ 33.373 33.43 c Sol. found (all assignments made)... 33.43 o 56956150994 33.43 c NEW SOLUTION FOUND: 56956150994 @ 33.377 33.43 c Sol. found (all assignments made)... 33.43 o 56956146898 33.43 c NEW SOLUTION FOUND: 56956146898 @ 33.383 33.44 c Sol. found (all assignments made)... 33.44 o 56956138706 33.44 c NEW SOLUTION FOUND: 56956138706 @ 33.388 33.44 c Sol. found (all assignments made)... 33.44 o 56956122322 33.44 c NEW SOLUTION FOUND: 56956122322 @ 33.392 33.45 c Sol. found (all assignments made)... 33.45 o 56956118226 33.45 c NEW SOLUTION FOUND: 56956118226 @ 33.397 33.45 c Sol. found (all assignments made)... 33.45 o 56956116178 33.45 c NEW SOLUTION FOUND: 56956116178 @ 33.402 33.46 c Sol. found (all assignments made)... 33.46 o 56956099794 33.46 c NEW SOLUTION FOUND: 56956099794 @ 33.406 33.46 c Sol. found (all assignments made)... 33.46 o 56956099730 33.46 c NEW SOLUTION FOUND: 56956099730 @ 33.411 33.47 c Sol. found (all assignments made)... 33.47 o 56956099728 33.47 c NEW SOLUTION FOUND: 56956099728 @ 33.416 33.47 c Sol. found (all assignments made)... 33.47 o 56956091536 33.47 c NEW SOLUTION FOUND: 56956091536 @ 33.42 33.48 c Sol. found (all assignments made)... 33.48 o 56951897232 33.48 c NEW SOLUTION FOUND: 56951897232 @ 33.425 33.48 c Sol. found (all assignments made)... 33.48 o 56951831696 33.48 c NEW SOLUTION FOUND: 56951831696 @ 33.43 33.49 c Sol. found (all assignments made)... 33.49 o 56951831695 33.49 c NEW SOLUTION FOUND: 56951831695 @ 33.434 33.49 c Sol. found (all assignments made)... 33.49 o 56951831183 33.49 c NEW SOLUTION FOUND: 56951831183 @ 33.439 33.49 c Sol. found (all assignments made)... 33.49 o 56951831175 33.49 c NEW SOLUTION FOUND: 56951831175 @ 33.444 33.50 c Sol. found (all assignments made)... 33.50 o 56951831143 33.50 c NEW SOLUTION FOUND: 56951831143 @ 33.449 33.50 c Sol. found (all assignments made)... 33.50 o 56951306855 33.50 c NEW SOLUTION FOUND: 56951306855 @ 33.453 33.51 c Sol. found (all assignments made)... 33.51 o 56951241319 33.51 c NEW SOLUTION FOUND: 56951241319 @ 33.458 33.51 c Sol. found (all assignments made)... 33.51 o 56951241191 33.51 c NEW SOLUTION FOUND: 56951241191 @ 33.463 33.52 c Sol. found (all assignments made)... 33.52 o 56951241127 33.52 c NEW SOLUTION FOUND: 56951241127 @ 33.468 33.52 c Sol. found (all assignments made)... 33.52 o 56951237031 33.52 c NEW SOLUTION FOUND: 56951237031 @ 33.472 33.53 c Sol. found (all assignments made)... 33.53 o 56951237015 33.53 c NEW SOLUTION FOUND: 56951237015 @ 33.477 33.53 c Sol. found (all assignments made)... 33.53 o 56951237011 33.53 c NEW SOLUTION FOUND: 56951237011 @ 33.482 33.54 c Sol. found (all assignments made)... 33.54 o 56951232915 33.54 c NEW SOLUTION FOUND: 56951232915 @ 33.486 33.54 c Sol. found (all assignments made)... 33.54 o 56951232913 33.54 c NEW SOLUTION FOUND: 56951232913 @ 33.491 33.55 c Sol. found (all assignments made)... 33.55 o 56951228817 33.55 c NEW SOLUTION FOUND: 56951228817 @ 33.496 33.55 c Sol. found (all assignments made)... 33.55 o 56951228813 33.55 c NEW SOLUTION FOUND: 56951228813 @ 33.501 33.56 c Sol. found (all assignments made)... 33.56 o 56951228749 33.56 c NEW SOLUTION FOUND: 56951228749 @ 33.505 33.56 c Sol. found (all assignments made)... 33.56 o 56951228685 33.56 c NEW SOLUTION FOUND: 56951228685 @ 33.51 33.57 c Sol. found (all assignments made)... 33.57 o 56950966541 33.57 c NEW SOLUTION FOUND: 56950966541 @ 33.515 33.57 c Sol. found (all assignments made)... 33.57 o 56950966029 33.57 c NEW SOLUTION FOUND: 56950966029 @ 33.52 33.58 c Sol. found (all assignments made)... 33.58 o 56950963981 33.58 c NEW SOLUTION FOUND: 56950963981 @ 33.524 33.58 c Sol. found (all assignments made)... 33.58 o 56948866829 33.58 c NEW SOLUTION FOUND: 56948866829 @ 33.529 33.58 c Sol. found (all assignments made)... 33.58 o 56948866827 33.58 c NEW SOLUTION FOUND: 56948866827 @ 33.534 33.59 c Sol. found (all assignments made)... 33.59 o 56948342539 33.59 c NEW SOLUTION FOUND: 56948342539 @ 33.539 33.59 c Sol. found (all assignments made)... 33.59 o 56948342523 33.59 c NEW SOLUTION FOUND: 56948342523 @ 33.543 33.60 c Sol. found (all assignments made)... 33.60 o 56948342011 33.60 c NEW SOLUTION FOUND: 56948342011 @ 33.548 33.60 c Sol. found (all assignments made)... 33.60 o 56948337915 33.60 c NEW SOLUTION FOUND: 56948337915 @ 33.553 33.61 c Sol. found (all assignments made)... 33.61 o 56948329723 33.61 c NEW SOLUTION FOUND: 56948329723 @ 33.558 33.61 c Sol. found (all assignments made)... 33.61 o 56944135419 33.61 c NEW SOLUTION FOUND: 56944135419 @ 33.562 33.62 c Sol. found (all assignments made)... 33.62 o 56944135387 33.62 c NEW SOLUTION FOUND: 56944135387 @ 33.568 33.63 c Sol. found (all assignments made)... 33.63 o 56944135372 33.63 c NEW SOLUTION FOUND: 56944135372 @ 33.579 33.64 c Sol. found (all assignments made)... 33.64 o 56944135362 33.64 c NEW SOLUTION FOUND: 56944135362 @ 33.585 33.66 c Sol. found (all assignments made)... 33.66 o 56944131336 33.66 c NEW SOLUTION FOUND: 56944131336 @ 33.61 33.67 c Sol. found (all assignments made)... 33.67 o 56944131266 33.67 c NEW SOLUTION FOUND: 56944131266 @ 33.616 33.70 c Sol. found (all assignments made)... 33.70 o 56944131176 33.70 c NEW SOLUTION FOUND: 56944131176 @ 33.646 33.70 c Sol. found (all assignments made)... 33.70 o 56944131106 33.70 c NEW SOLUTION FOUND: 56944131106 @ 33.652 33.93 c Sol. found (all assignments made)... 33.93 o 56877055255 33.93 c NEW SOLUTION FOUND: 56877055255 @ 33.874 33.93 c Sol. found (all assignments made)... 33.93 o 56877055185 33.93 c NEW SOLUTION FOUND: 56877055185 @ 33.88 33.94 c Sol. found (all assignments made)... 33.94 o 56877055180 33.94 c NEW SOLUTION FOUND: 56877055180 @ 33.892 33.97 c Sol. found (all assignments made)... 33.97 o 56877026578 33.97 c NEW SOLUTION FOUND: 56877026578 @ 33.916 33.97 c Sol. found (all assignments made)... 33.97 o 56877026508 33.97 c NEW SOLUTION FOUND: 56877026508 @ 33.922 34.00 c Sol. found (all assignments made)... 34.00 o 56877022487 34.00 c NEW SOLUTION FOUND: 56877022487 @ 33.946 34.00 c Sol. found (all assignments made)... 34.00 o 56877022417 34.00 c NEW SOLUTION FOUND: 56877022417 @ 33.952 34.02 c Sol. found (all assignments made)... 34.02 o 56877022412 34.02 c NEW SOLUTION FOUND: 56877022412 @ 33.966 34.07 c Sol. found (all assignments made)... 34.07 o 56877022327 34.07 c NEW SOLUTION FOUND: 56877022327 @ 34.015 34.07 c Sol. found (all assignments made)... 34.07 o 56877022257 34.07 c NEW SOLUTION FOUND: 56877022257 @ 34.021 34.09 c Sol. found (all assignments made)... 34.09 o 56877022252 34.09 c NEW SOLUTION FOUND: 56877022252 @ 34.035 34.15 c Sol. found (all assignments made)... 34.15 o 56877022242 34.15 c NEW SOLUTION FOUND: 56877022242 @ 34.1 34.21 c Sol. found (all assignments made)... 34.21 o 56863329975 34.21 c NEW SOLUTION FOUND: 56863329975 @ 34.155 34.21 c Sol. found (all assignments made)... 34.21 o 56863329971 34.21 c NEW SOLUTION FOUND: 56863329971 @ 34.161 34.22 c Sol. found (all assignments made)... 34.22 o 56863329961 34.22 c NEW SOLUTION FOUND: 56863329961 @ 34.168 34.23 c Sol. found (all assignments made)... 34.23 o 56863329956 34.23 c NEW SOLUTION FOUND: 56863329956 @ 34.182 34.25 c Sol. found (all assignments made)... 34.25 o 56863301294 34.25 c NEW SOLUTION FOUND: 56863301294 @ 34.196 34.25 c Sol. found (all assignments made)... 34.25 o 56863301284 34.25 c NEW SOLUTION FOUND: 56863301284 @ 34.203 34.28 c Sol. found (all assignments made)... 34.28 o 56863297198 34.28 c NEW SOLUTION FOUND: 56863297198 @ 34.228 34.29 c Sol. found (all assignments made)... 34.29 o 56863297188 34.29 c NEW SOLUTION FOUND: 56863297188 @ 34.235 34.34 c Sol. found (all assignments made)... 34.34 o 56863297038 34.34 c NEW SOLUTION FOUND: 56863297038 @ 34.294 34.35 c Sol. found (all assignments made)... 34.35 o 56863297028 34.35 c NEW SOLUTION FOUND: 56863297028 @ 34.3 34.42 c Sol. found (all assignments made)... 34.42 o 56863297018 34.42 c NEW SOLUTION FOUND: 56863297018 @ 34.368 34.63 c Sol. found (all assignments made)... 34.63 o 56863297003 34.63 c NEW SOLUTION FOUND: 56863297003 @ 34.573 34.63 c Sol. found (all assignments made)... 34.63 o 56863296993 34.63 c NEW SOLUTION FOUND: 56863296993 @ 34.58 34.65 c Sol. found (all assignments made)... 34.65 o 56863296988 34.65 c NEW SOLUTION FOUND: 56863296988 @ 34.595 34.85 c Sol. found (all assignments made)... 34.85 o 56863296974 34.85 c NEW SOLUTION FOUND: 56863296974 @ 34.795 34.85 c Sol. found (all assignments made)... 34.85 o 56863296964 34.85 c NEW SOLUTION FOUND: 56863296964 @ 34.802 34.88 c Sol. found (all assignments made)... 34.88 o 56863296934 34.88 c NEW SOLUTION FOUND: 56863296934 @ 34.83 34.89 c Sol. found (all assignments made)... 34.89 o 56863296924 34.89 c NEW SOLUTION FOUND: 56863296924 @ 34.837 34.94 c Sol. found (all assignments made)... 34.94 o 56646921231 34.94 c NEW SOLUTION FOUND: 56646921231 @ 34.891 35.12 c Sol. found (all assignments made)... 35.12 c Sol. found (all assignments made)... 35.12 o 56646921230 35.12 c NEW SOLUTION FOUND: 56646921230 @ 35.069 35.16 c Sol. found (all assignments made)... 35.16 o 56646921229 35.16 c NEW SOLUTION FOUND: 56646921229 @ 35.103 35.17 c Sol. found (all assignments made)... 35.17 o 56646921225 35.17 c NEW SOLUTION FOUND: 56646921225 @ 35.12 35.18 c Sol. found (all assignments made)... 35.18 o 56646921223 35.18 c NEW SOLUTION FOUND: 56646921223 @ 35.126 35.18 c Sol. found (all assignments made)... 35.18 o 56646921191 35.18 c NEW SOLUTION FOUND: 56646921191 @ 35.133 35.19 c Sol. found (all assignments made)... 35.19 o 56642726887 35.19 c NEW SOLUTION FOUND: 56642726887 @ 35.138 35.19 c Sol. found (all assignments made)... 35.19 o 56642694119 35.19 c NEW SOLUTION FOUND: 56642694119 @ 35.143 35.20 c Sol. found (all assignments made)... 35.20 o 56642694055 35.20 c NEW SOLUTION FOUND: 56642694055 @ 35.147 35.20 c Sol. found (all assignments made)... 35.20 o 56642693927 35.20 c NEW SOLUTION FOUND: 56642693927 @ 35.152 35.21 c Sol. found (all assignments made)... 35.21 o 56642169639 35.21 c NEW SOLUTION FOUND: 56642169639 @ 35.156 35.21 c Sol. found (all assignments made)... 35.21 o 56642169383 35.21 c NEW SOLUTION FOUND: 56642169383 @ 35.161 35.22 c Sol. found (all assignments made)... 35.22 o 56642169367 35.22 c NEW SOLUTION FOUND: 56642169367 @ 35.166 35.22 c Sol. found (all assignments made)... 35.22 o 56642169351 35.22 c NEW SOLUTION FOUND: 56642169351 @ 35.17 35.23 c Sol. found (all assignments made)... 35.23 o 56642169343 35.23 c NEW SOLUTION FOUND: 56642169343 @ 35.175 35.23 c Sol. found (all assignments made)... 35.23 o 56633780735 35.23 c NEW SOLUTION FOUND: 56633780735 @ 35.179 35.24 c Sol. found (all assignments made)... 35.24 o 56633780734 35.24 c NEW SOLUTION FOUND: 56633780734 @ 35.184 35.24 c Sol. found (all assignments made)... 35.24 o 56633780702 35.24 c NEW SOLUTION FOUND: 56633780702 @ 35.188 35.25 c Sol. found (all assignments made)... 35.25 o 56633780638 35.25 c NEW SOLUTION FOUND: 56633780638 @ 35.193 35.25 c Sol. found (all assignments made)... 35.25 o 56633778590 35.25 c NEW SOLUTION FOUND: 56633778590 @ 35.198 35.25 c Sol. found (all assignments made)... 35.25 o 56633778078 35.25 c NEW SOLUTION FOUND: 56633778078 @ 35.202 35.26 c Sol. found (all assignments made)... 35.26 o 56633647006 35.26 c NEW SOLUTION FOUND: 56633647006 @ 35.207 35.26 c Sol. found (all assignments made)... 35.26 o 56633644958 35.26 c NEW SOLUTION FOUND: 56633644958 @ 35.211 35.27 c Sol. found (all assignments made)... 35.27 o 56633120670 35.27 c NEW SOLUTION FOUND: 56633120670 @ 35.216 35.27 c Sol. found (all assignments made)... 35.27 o 56633120666 35.27 c NEW SOLUTION FOUND: 56633120666 @ 35.221 35.28 c Sol. found (all assignments made)... 35.28 o 56633119642 35.28 c NEW SOLUTION FOUND: 56633119642 @ 35.226 35.28 c Sol. found (all assignments made)... 35.28 o 56633119627 35.28 c NEW SOLUTION FOUND: 56633119627 @ 35.232 35.29 c Sol. found (all assignments made)... 35.29 o 56633119617 35.29 c NEW SOLUTION FOUND: 56633119617 @ 35.24 35.30 c Sol. found (all assignments made)... 35.30 o 56633119612 35.30 c NEW SOLUTION FOUND: 56633119612 @ 35.252 35.32 c Sol. found (all assignments made)... 35.32 o 56633119572 35.32 c NEW SOLUTION FOUND: 56633119572 @ 35.271 35.35 c Sol. found (all assignments made)... 35.35 o 56633090930 35.35 c NEW SOLUTION FOUND: 56633090930 @ 35.301 35.39 c Sol. found (all assignments made)... 35.39 o 56633090900 35.39 c NEW SOLUTION FOUND: 56633090900 @ 35.338 35.43 c Sol. found (all assignments made)... 35.43 o 56633090770 35.43 c NEW SOLUTION FOUND: 56633090770 @ 35.381 35.48 c Sol. found (all assignments made)... 35.48 o 56633090740 35.48 c NEW SOLUTION FOUND: 56633090740 @ 35.426 35.55 c Sol. found (all assignments made)... 35.55 o 56633066194 35.55 c NEW SOLUTION FOUND: 56633066194 @ 35.495 35.56 c Sol. found (all assignments made)... 35.56 o 56633062098 35.56 c NEW SOLUTION FOUND: 56633062098 @ 35.507 35.63 c Sol. found (all assignments made)... 35.63 o 56633062068 35.63 c NEW SOLUTION FOUND: 56633062068 @ 35.58 35.87 c Sol. found (all assignments made)... 35.87 o 56633062058 35.87 c NEW SOLUTION FOUND: 56633062058 @ 35.818 36.03 c Sol. found (all assignments made)... 36.03 o 56599565170 36.03 c NEW SOLUTION FOUND: 56599565170 @ 35.981 36.05 c Sol. found (all assignments made)... 36.05 o 56599565160 36.05 c NEW SOLUTION FOUND: 56599565160 @ 35.994 36.06 c Sol. found (all assignments made)... 36.06 o 56599565000 36.06 c NEW SOLUTION FOUND: 56599565000 @ 36.011 36.14 c Sol. found (all assignments made)... 36.14 o 56599564970 36.14 c NEW SOLUTION FOUND: 56599564970 @ 36.085 36.22 c Sol. found (all assignments made)... 36.22 o 56599536498 36.22 c NEW SOLUTION FOUND: 56599536498 @ 36.163 36.23 c Sol. found (all assignments made)... 36.23 o 56599536488 36.23 c NEW SOLUTION FOUND: 56599536488 @ 36.182 36.29 c Sol. found (all assignments made)... 36.29 o 56599536378 36.29 c NEW SOLUTION FOUND: 56599536378 @ 36.239 36.30 c Sol. found (all assignments made)... 36.30 o 56599536368 36.30 c NEW SOLUTION FOUND: 56599536368 @ 36.252 36.32 c Sol. found (all assignments made)... 36.32 o 56599536338 36.32 c NEW SOLUTION FOUND: 56599536338 @ 36.266 36.33 c Sol. found (all assignments made)... 36.33 o 56599536328 36.33 c NEW SOLUTION FOUND: 56599536328 @ 36.281 36.42 c Sol. found (all assignments made)... 36.42 o 56599536318 36.42 c NEW SOLUTION FOUND: 56599536318 @ 36.369 36.43 c Sol. found (all assignments made)... 36.43 o 56599536308 36.43 c NEW SOLUTION FOUND: 56599536308 @ 36.376 36.45 c Sol. found (all assignments made)... 36.45 o 56599536298 36.45 c NEW SOLUTION FOUND: 56599536298 @ 36.398 36.90 c Sol. found (all assignments made)... 36.90 o 56599511932 36.90 c NEW SOLUTION FOUND: 56599511932 @ 36.845 36.91 c Sol. found (all assignments made)... 36.91 o 56599511922 36.91 c NEW SOLUTION FOUND: 56599511922 @ 36.853 36.91 c Sol. found (all assignments made)... 36.91 o 56599511912 36.91 c NEW SOLUTION FOUND: 56599511912 @ 36.862 36.92 c Sol. found (all assignments made)... 36.92 o 56599507836 36.92 c NEW SOLUTION FOUND: 56599507836 @ 36.872 36.93 c Sol. found (all assignments made)... 36.93 o 56599507826 36.93 c NEW SOLUTION FOUND: 56599507826 @ 36.879 36.94 c Sol. found (all assignments made)... 36.94 o 56599507816 36.94 c NEW SOLUTION FOUND: 56599507816 @ 36.888 37.06 c Sol. found (all assignments made)... 37.06 o 56599507806 37.06 c NEW SOLUTION FOUND: 56599507806 @ 37.011 37.07 c Sol. found (all assignments made)... 37.07 o 56599507796 37.07 c NEW SOLUTION FOUND: 56599507796 @ 37.02 37.09 c Sol. found (all assignments made)... 37.09 o 56599507786 37.09 c NEW SOLUTION FOUND: 56599507786 @ 37.038 37.20 c Sol. found (all assignments made)... 37.20 o 56599507691 37.20 c NEW SOLUTION FOUND: 56599507691 @ 37.144 37.20 c Sol. found (all assignments made)... 37.20 o 56599507681 37.20 c NEW SOLUTION FOUND: 56599507681 @ 37.151 37.21 c Sol. found (all assignments made)... 37.21 o 56599507671 37.21 c NEW SOLUTION FOUND: 56599507671 @ 37.16 37.23 c Sol. found (all assignments made)... 37.23 o 56599507661 37.23 c NEW SOLUTION FOUND: 56599507661 @ 37.177 37.29 c Sol. found (all assignments made)... 37.29 o 56599507656 37.29 c NEW SOLUTION FOUND: 56599507656 @ 37.233 37.36 c Sol. found (all assignments made)... 37.36 o 56599507651 37.36 c NEW SOLUTION FOUND: 56599507651 @ 37.308 37.37 c Sol. found (all assignments made)... 37.37 o 56599507641 37.37 c NEW SOLUTION FOUND: 56599507641 @ 37.315 37.38 c Sol. found (all assignments made)... 37.38 o 56599507631 37.38 c NEW SOLUTION FOUND: 56599507631 @ 37.324 37.45 c Sol. found (all assignments made)... 37.45 o 56599507626 37.45 c NEW SOLUTION FOUND: 56599507626 @ 37.4 37.48 c Sol. found (all assignments made)... 37.48 o 56442274166 37.48 c NEW SOLUTION FOUND: 56442274166 @ 37.43 37.49 c Sol. found (all assignments made)... 37.49 o 56439128438 37.49 c NEW SOLUTION FOUND: 56439128438 @ 37.435 37.49 c Sol. found (all assignments made)... 37.49 o 56438866294 37.49 c NEW SOLUTION FOUND: 56438866294 @ 37.439 37.50 c Sol. found (all assignments made)... 37.50 o 56438862198 37.50 c NEW SOLUTION FOUND: 56438862198 @ 37.444 37.50 c Sol. found (all assignments made)... 37.50 o 56438862182 37.50 c NEW SOLUTION FOUND: 56438862182 @ 37.448 37.51 c Sol. found (all assignments made)... 37.51 o 56438731110 37.51 c NEW SOLUTION FOUND: 56438731110 @ 37.453 37.51 c Sol. found (all assignments made)... 37.51 o 56438722918 37.51 c NEW SOLUTION FOUND: 56438722918 @ 37.457 37.51 c Sol. found (all assignments made)... 37.51 o 56438722886 37.51 c NEW SOLUTION FOUND: 56438722886 @ 37.462 37.52 c Sol. found (all assignments made)... 37.52 o 56438718790 37.52 c NEW SOLUTION FOUND: 56438718790 @ 37.466 37.52 c Sol. found (all assignments made)... 37.52 o 56436621638 37.52 c NEW SOLUTION FOUND: 56436621638 @ 37.471 37.53 c Sol. found (all assignments made)... 37.53 o 56436621382 37.53 c NEW SOLUTION FOUND: 56436621382 @ 37.475 37.53 c Sol. found (all assignments made)... 37.53 o 56436604998 37.53 c NEW SOLUTION FOUND: 56436604998 @ 37.48 37.54 c Sol. found (all assignments made)... 37.54 o 56436604486 37.54 c NEW SOLUTION FOUND: 56436604486 @ 37.484 37.54 c Sol. found (all assignments made)... 37.54 o 56436604485 37.54 c NEW SOLUTION FOUND: 56436604485 @ 37.489 37.55 c Sol. found (all assignments made)... 37.55 o 56432410181 37.55 c NEW SOLUTION FOUND: 56432410181 @ 37.493 37.55 c Sol. found (all assignments made)... 37.55 o 56432279109 37.55 c NEW SOLUTION FOUND: 56432279109 @ 37.498 37.55 c Sol. found (all assignments made)... 37.55 o 56432246341 37.55 c NEW SOLUTION FOUND: 56432246341 @ 37.502 37.56 c Sol. found (all assignments made)... 37.56 o 56431197765 37.56 c NEW SOLUTION FOUND: 56431197765 @ 37.507 37.56 c Sol. found (all assignments made)... 37.56 o 56431197749 37.56 c NEW SOLUTION FOUND: 56431197749 @ 37.511 37.57 c Sol. found (all assignments made)... 37.57 o 56431066677 37.57 c NEW SOLUTION FOUND: 56431066677 @ 37.516 37.57 c Sol. found (all assignments made)... 37.57 o 56431064629 37.57 c NEW SOLUTION FOUND: 56431064629 @ 37.52 37.58 c Sol. found (all assignments made)... 37.58 o 56431064117 37.58 c NEW SOLUTION FOUND: 56431064117 @ 37.525 37.58 c Sol. found (all assignments made)... 37.58 o 56431063093 37.58 c NEW SOLUTION FOUND: 56431063093 @ 37.529 37.59 c Sol. found (all assignments made)... 37.59 o 56431046709 37.59 c NEW SOLUTION FOUND: 56431046709 @ 37.534 37.59 c Sol. found (all assignments made)... 37.59 o 56430981173 37.59 c NEW SOLUTION FOUND: 56430981173 @ 37.539 37.60 c Sol. found (all assignments made)... 37.60 o 56430981157 37.60 c NEW SOLUTION FOUND: 56430981157 @ 37.543 37.60 c Sol. found (all assignments made)... 37.60 o 56430980901 37.60 c NEW SOLUTION FOUND: 56430980901 @ 37.548 37.60 c Sol. found (all assignments made)... 37.60 o 56430972709 37.60 c NEW SOLUTION FOUND: 56430972709 @ 37.552 37.61 c Sol. found (all assignments made)... 37.61 o 56430972707 37.61 c NEW SOLUTION FOUND: 56430972707 @ 37.557 37.61 c Sol. found (all assignments made)... 37.61 o 56430972451 37.61 c NEW SOLUTION FOUND: 56430972451 @ 37.561 37.62 c Sol. found (all assignments made)... 37.62 o 56430841379 37.62 c NEW SOLUTION FOUND: 56430841379 @ 37.566 37.62 c Sol. found (all assignments made)... 37.62 o 56430841363 37.62 c NEW SOLUTION FOUND: 56430841363 @ 37.57 37.63 c Sol. found (all assignments made)... 37.63 o 56430710291 37.63 c NEW SOLUTION FOUND: 56430710291 @ 37.575 37.63 c Sol. found (all assignments made)... 37.63 o 56430186003 37.63 c NEW SOLUTION FOUND: 56430186003 @ 37.58 37.64 c Sol. found (all assignments made)... 37.64 o 56430184979 37.64 c NEW SOLUTION FOUND: 56430184979 @ 37.584 37.64 c Sol. found (all assignments made)... 37.64 o 56295967251 37.64 c NEW SOLUTION FOUND: 56295967251 @ 37.589 37.65 c Sol. found (all assignments made)... 37.65 o 56295959059 37.65 c NEW SOLUTION FOUND: 56295959059 @ 37.593 37.65 c Sol. found (all assignments made)... 37.65 o 56295762451 37.65 c NEW SOLUTION FOUND: 56295762451 @ 37.598 37.65 c Sol. found (all assignments made)... 37.65 o 56295696915 37.65 c NEW SOLUTION FOUND: 56295696915 @ 37.602 37.66 c Sol. found (all assignments made)... 37.66 o 56295696914 37.66 c NEW SOLUTION FOUND: 56295696914 @ 37.607 37.66 c Sol. found (all assignments made)... 37.66 o 56293665298 37.66 c NEW SOLUTION FOUND: 56293665298 @ 37.612 37.67 c Sol. found (all assignments made)... 37.67 o 56293599762 37.67 c NEW SOLUTION FOUND: 56293599762 @ 37.616 37.67 c Sol. found (all assignments made)... 37.67 o 56293597714 37.67 c NEW SOLUTION FOUND: 56293597714 @ 37.621 37.68 c Sol. found (all assignments made)... 37.68 o 56293597710 37.68 c NEW SOLUTION FOUND: 56293597710 @ 37.625 37.68 c Sol. found (all assignments made)... 37.68 o 56293597706 37.68 c NEW SOLUTION FOUND: 56293597706 @ 37.63 37.69 c Sol. found (all assignments made)... 37.69 o 56293597642 37.69 c NEW SOLUTION FOUND: 56293597642 @ 37.634 37.69 c Sol. found (all assignments made)... 37.69 o 56260043210 37.69 c NEW SOLUTION FOUND: 56260043210 @ 37.639 37.70 c Sol. found (all assignments made)... 37.70 o 56260010442 37.70 c NEW SOLUTION FOUND: 56260010442 @ 37.644 37.70 c Sol. found (all assignments made)... 37.70 o 56260010438 37.70 c NEW SOLUTION FOUND: 56260010438 @ 37.648 37.71 c Sol. found (all assignments made)... 37.71 o 56259989958 37.71 c NEW SOLUTION FOUND: 56259989958 @ 37.654 37.71 c Sol. found (all assignments made)... 37.71 o 56259989830 37.71 c NEW SOLUTION FOUND: 56259989830 @ 37.659 37.72 c Sol. found (all assignments made)... 37.72 o 56259432710 37.72 c NEW SOLUTION FOUND: 56259432710 @ 37.664 37.72 c Sol. found (all assignments made)... 37.72 o 56242360550 37.72 c NEW SOLUTION FOUND: 56242360550 @ 37.669 37.73 c Sol. found (all assignments made)... 37.73 o 56242360520 37.73 c NEW SOLUTION FOUND: 56242360520 @ 37.675 37.74 c Sol. found (all assignments made)... 37.74 o 56242360008 37.74 c NEW SOLUTION FOUND: 56242360008 @ 37.683 37.74 c Sol. found (all assignments made)... 37.74 o 56242359948 37.74 c NEW SOLUTION FOUND: 56242359948 @ 37.691 37.75 c Sol. found (all assignments made)... 37.75 o 56238181004 37.75 c NEW SOLUTION FOUND: 56238181004 @ 37.697 37.75 c Sol. found (all assignments made)... 37.75 o 56238170764 37.75 c NEW SOLUTION FOUND: 56238170764 @ 37.701 37.76 c Sol. found (all assignments made)... 37.76 o 56238165644 37.76 c NEW SOLUTION FOUND: 56238165644 @ 37.707 37.77 c Sol. found (all assignments made)... 37.77 o 56238165628 37.77 c NEW SOLUTION FOUND: 56238165628 @ 37.715 37.77 c Sol. found (all assignments made)... 37.77 o 56221393532 37.77 c NEW SOLUTION FOUND: 56221393532 @ 37.72 37.78 c Sol. found (all assignments made)... 37.78 o 56221388412 37.78 c NEW SOLUTION FOUND: 56221388412 @ 37.725 37.78 c Sol. found (all assignments made)... 37.78 o 56220344956 37.78 c NEW SOLUTION FOUND: 56220344956 @ 37.73 37.79 c Sol. found (all assignments made)... 37.79 o 56220339836 37.79 c NEW SOLUTION FOUND: 56220339836 @ 37.735 37.79 c Sol. found (all assignments made)... 37.79 o 56220314948 37.79 c NEW SOLUTION FOUND: 56220314948 @ 37.742 37.80 c Sol. found (all assignments made)... 37.80 o 56220314436 37.80 c NEW SOLUTION FOUND: 56220314436 @ 37.748 37.81 c Sol. found (all assignments made)... 37.81 o 56220314308 37.81 c NEW SOLUTION FOUND: 56220314308 @ 37.755 37.81 c Sol. found (all assignments made)... 37.81 o 56220314300 37.81 c NEW SOLUTION FOUND: 56220314300 @ 37.761 37.82 c Sol. found (all assignments made)... 37.82 o 56220312252 37.82 c NEW SOLUTION FOUND: 56220312252 @ 37.768 37.83 c Sol. found (all assignments made)... 37.83 o 56220312188 37.83 c NEW SOLUTION FOUND: 56220312188 @ 37.775 37.83 c Sol. found (all assignments made)... 37.83 o 56220307068 37.83 c NEW SOLUTION FOUND: 56220307068 @ 37.782 37.84 c Sol. found (all assignments made)... 37.84 o 56220306556 37.84 c NEW SOLUTION FOUND: 56220306556 @ 37.79 37.85 c Sol. found (all assignments made)... 37.85 o 56169974908 37.85 c NEW SOLUTION FOUND: 56169974908 @ 37.798 37.86 c Sol. found (all assignments made)... 37.86 o 56144809084 37.86 c NEW SOLUTION FOUND: 56144809084 @ 37.807 37.87 c Sol. found (all assignments made)... 37.87 o 56144809074 37.87 c NEW SOLUTION FOUND: 56144809074 @ 37.818 37.88 c Sol. found (all assignments made)... 37.88 o 56144809064 37.88 c NEW SOLUTION FOUND: 56144809064 @ 37.828 37.90 c Sol. found (all assignments made)... 37.90 o 56143760498 37.90 c NEW SOLUTION FOUND: 56143760498 @ 37.85 37.91 c Sol. found (all assignments made)... 37.91 o 56143760488 37.91 c NEW SOLUTION FOUND: 56143760488 @ 37.859 37.96 c Sol. found (all assignments made)... 37.96 o 56143760478 37.96 c NEW SOLUTION FOUND: 56143760478 @ 37.903 38.15 c Sol. found (all assignments made)... 38.15 o 56143760443 38.15 c NEW SOLUTION FOUND: 56143760443 @ 38.1 38.16 c Sol. found (all assignments made)... 38.16 o 56143760373 38.16 c NEW SOLUTION FOUND: 56143760373 @ 38.108 38.18 c Sol. found (all assignments made)... 38.18 o 56143760363 38.18 c NEW SOLUTION FOUND: 56143760363 @ 38.126 38.23 c Sol. found (all assignments made)... 38.23 o 56143760323 38.23 c NEW SOLUTION FOUND: 56143760323 @ 38.176 38.31 c Sol. found (all assignments made)... 38.31 o 56143760318 38.31 c NEW SOLUTION FOUND: 56143760318 @ 38.259 38.38 c Sol. found (all assignments made)... 38.38 o 56143760293 38.38 c NEW SOLUTION FOUND: 56143760293 @ 38.332 38.48 c Sol. found (all assignments made)... 38.48 o 56143760288 38.48 c NEW SOLUTION FOUND: 56143760288 @ 38.427 38.60 c Sol. found (all assignments made)... 38.60 o 56143731931 38.60 c NEW SOLUTION FOUND: 56143731931 @ 38.548 38.61 c Sol. found (all assignments made)... 38.61 o 56143731861 38.61 c NEW SOLUTION FOUND: 56143731861 @ 38.556 38.63 c Sol. found (all assignments made)... 38.63 o 56143731851 38.63 c NEW SOLUTION FOUND: 56143731851 @ 38.573 38.66 c Sol. found (all assignments made)... 38.66 o 56143731821 38.66 c NEW SOLUTION FOUND: 56143731821 @ 38.606 38.69 c Sol. found (all assignments made)... 38.69 o 56143731781 38.69 c NEW SOLUTION FOUND: 56143731781 @ 38.633 38.75 c Sol. found (all assignments made)... 38.75 o 56143731771 38.75 c NEW SOLUTION FOUND: 56143731771 @ 38.697 38.76 c Sol. found (all assignments made)... 38.76 o 56143731701 38.76 c NEW SOLUTION FOUND: 56143731701 @ 38.705 38.77 c Sol. found (all assignments made)... 38.77 o 56143731691 38.77 c NEW SOLUTION FOUND: 56143731691 @ 38.721 38.80 c Sol. found (all assignments made)... 38.80 o 56143731661 38.80 c NEW SOLUTION FOUND: 56143731661 @ 38.75 38.82 c Sol. found (all assignments made)... 38.82 o 56143731651 38.82 c NEW SOLUTION FOUND: 56143731651 @ 38.763 38.86 c Sol. found (all assignments made)... 38.86 o 56143731641 38.86 c NEW SOLUTION FOUND: 56143731641 @ 38.811 38.87 c Sol. found (all assignments made)... 38.87 o 56143731631 38.87 c NEW SOLUTION FOUND: 56143731631 @ 38.822 38.89 c Sol. found (all assignments made)... 38.89 o 56143731621 38.89 c NEW SOLUTION FOUND: 56143731621 @ 38.837 39.00 c Sol. found (all assignments made)... 39.00 o 56143731616 39.00 c NEW SOLUTION FOUND: 56143731616 @ 38.95 39.32 c Sol. found (all assignments made)... 39.32 o 56137469087 39.32 c NEW SOLUTION FOUND: 56137469087 @ 39.267 39.33 c Sol. found (all assignments made)... 39.33 o 56137469077 39.33 c NEW SOLUTION FOUND: 56137469077 @ 39.278 39.34 c Sol. found (all assignments made)... 39.34 o 56103914655 39.34 c NEW SOLUTION FOUND: 56103914655 @ 39.289 39.35 c Sol. found (all assignments made)... 39.35 o 56103914645 39.35 c NEW SOLUTION FOUND: 56103914645 @ 39.3 39.37 c Sol. found (all assignments made)... 39.37 o 56103914635 39.37 c NEW SOLUTION FOUND: 56103914635 @ 39.317 39.39 c Sol. found (all assignments made)... 39.39 o 56078748831 39.39 c NEW SOLUTION FOUND: 56078748831 @ 39.342 39.41 c Sol. found (all assignments made)... 39.41 o 56078748821 39.41 c NEW SOLUTION FOUND: 56078748821 @ 39.353 39.42 c Sol. found (all assignments made)... 39.42 o 56078748811 39.42 c NEW SOLUTION FOUND: 56078748811 @ 39.37 39.46 c Sol. found (all assignments made)... 39.46 o 56078748781 39.46 c NEW SOLUTION FOUND: 56078748781 @ 39.408 39.47 c Sol. found (all assignments made)... 39.47 o 56078748771 39.47 c NEW SOLUTION FOUND: 56078748771 @ 39.419 39.51 c Sol. found (all assignments made)... 39.51 o 56070360183 39.51 c NEW SOLUTION FOUND: 56070360183 @ 39.456 39.52 c Sol. found (all assignments made)... 39.52 o 56070360173 39.52 c NEW SOLUTION FOUND: 56070360173 @ 39.467 39.54 c Sol. found (all assignments made)... 39.54 o 56070360163 39.54 c NEW SOLUTION FOUND: 56070360163 @ 39.484 39.56 c Sol. found (all assignments made)... 39.56 o 56045194359 39.56 c NEW SOLUTION FOUND: 56045194359 @ 39.509 39.57 c Sol. found (all assignments made)... 39.57 o 56045194349 39.57 c NEW SOLUTION FOUND: 56045194349 @ 39.52 39.59 c Sol. found (all assignments made)... 39.59 o 56045194339 39.59 c NEW SOLUTION FOUND: 56045194339 @ 39.537 39.63 c Sol. found (all assignments made)... 39.63 o 56028417183 39.63 c NEW SOLUTION FOUND: 56028417183 @ 39.578 39.64 c Sol. found (all assignments made)... 39.64 o 56028417173 39.64 c NEW SOLUTION FOUND: 56028417173 @ 39.588 39.66 c Sol. found (all assignments made)... 39.66 o 56028417163 39.66 c NEW SOLUTION FOUND: 56028417163 @ 39.612 39.68 c Sol. found (all assignments made)... 39.68 o 56028417143 39.68 c NEW SOLUTION FOUND: 56028417143 @ 39.632 39.70 c Sol. found (all assignments made)... 39.70 o 56028417133 39.70 c NEW SOLUTION FOUND: 56028417133 @ 39.642 39.71 c Sol. found (all assignments made)... 39.71 o 56028417123 39.71 c NEW SOLUTION FOUND: 56028417123 @ 39.657 39.79 c Sol. found (all assignments made)... 39.79 o 56028417118 39.79 c NEW SOLUTION FOUND: 56028417118 @ 39.736 39.89 c Sol. found (all assignments made)... 39.89 o 56028417108 39.89 c NEW SOLUTION FOUND: 56028417108 @ 39.833 39.90 c Sol. found (all assignments made)... 39.90 o 56028417098 39.90 c NEW SOLUTION FOUND: 56028417098 @ 39.844 39.91 c Sol. found (all assignments made)... 39.91 o 56028417088 39.91 c NEW SOLUTION FOUND: 56028417088 @ 39.859 40.06 c Sol. found (all assignments made)... 40.06 o 56028388466 40.06 c NEW SOLUTION FOUND: 56028388466 @ 40.006 40.07 c Sol. found (all assignments made)... 40.07 o 56028388456 40.07 c NEW SOLUTION FOUND: 56028388456 @ 40.017 40.09 c Sol. found (all assignments made)... 40.09 o 56028388446 40.09 c NEW SOLUTION FOUND: 56028388446 @ 40.04 40.15 c Sol. found (all assignments made)... 40.15 o 56028388436 40.15 c NEW SOLUTION FOUND: 56028388436 @ 40.099 40.16 c Sol. found (all assignments made)... 40.16 o 56028388426 40.16 c NEW SOLUTION FOUND: 56028388426 @ 40.11 40.18 c Sol. found (all assignments made)... 40.18 o 56028388416 40.18 c NEW SOLUTION FOUND: 56028388416 @ 40.125 40.21 c Sol. found (all assignments made)... 40.21 o 56011611240 40.21 c NEW SOLUTION FOUND: 56011611240 @ 40.157 40.22 c Sol. found (all assignments made)... 40.22 o 56011611230 40.22 c NEW SOLUTION FOUND: 56011611230 @ 40.168 40.29 c Sol. found (all assignments made)... 40.29 o 56011611220 40.29 c NEW SOLUTION FOUND: 56011611220 @ 40.236 40.30 c Sol. found (all assignments made)... 40.30 o 56011611210 40.30 c NEW SOLUTION FOUND: 56011611210 @ 40.247 40.32 c Sol. found (all assignments made)... 40.32 o 56011611200 40.32 c NEW SOLUTION FOUND: 56011611200 @ 40.27 40.68 c Sol. found (all assignments made)... 40.68 o 56011611095 40.68 c NEW SOLUTION FOUND: 56011611095 @ 40.628 40.69 c Sol. found (all assignments made)... 40.69 o 56011611085 40.69 c NEW SOLUTION FOUND: 56011611085 @ 40.639 40.71 c Sol. found (all assignments made)... 40.71 o 56011611075 40.71 c NEW SOLUTION FOUND: 56011611075 @ 40.662 40.81 c Sol. found (all assignments made)... 40.81 o 56011611065 40.81 c NEW SOLUTION FOUND: 56011611065 @ 40.755 40.82 c Sol. found (all assignments made)... 40.82 o 56011611055 40.82 c NEW SOLUTION FOUND: 56011611055 @ 40.766 40.84 c Sol. found (all assignments made)... 40.84 o 56011611045 40.84 c NEW SOLUTION FOUND: 56011611045 @ 40.79 41.20 c Sol. found (all assignments made)... 41.20 o 56011611040 41.20 c NEW SOLUTION FOUND: 56011611040 @ 41.15 43.15 c Sol. found (all assignments made)... 43.15 o 56007445653 43.15 c NEW SOLUTION FOUND: 56007445653 @ 43.098 43.16 c Sol. found (all assignments made)... 43.16 o 56007445643 43.16 c NEW SOLUTION FOUND: 56007445643 @ 43.109 43.20 c Sol. found (all assignments made)... 43.20 o 56007445623 43.20 c NEW SOLUTION FOUND: 56007445623 @ 43.15 43.22 c Sol. found (all assignments made)... 43.22 o 56007445613 43.22 c NEW SOLUTION FOUND: 56007445613 @ 43.161 43.23 c Sol. found (all assignments made)... 43.23 o 56007445603 43.23 c NEW SOLUTION FOUND: 56007445603 @ 43.18 43.34 c Sol. found (all assignments made)... 43.34 o 56007445598 43.34 c NEW SOLUTION FOUND: 56007445598 @ 43.284 43.44 c Sol. found (all assignments made)... 43.44 o 56007416981 43.44 c NEW SOLUTION FOUND: 56007416981 @ 43.387 43.45 c Sol. found (all assignments made)... 43.45 o 56007416971 43.45 c NEW SOLUTION FOUND: 56007416971 @ 43.398 43.49 c Sol. found (all assignments made)... 43.49 o 56007416951 43.49 c NEW SOLUTION FOUND: 56007416951 @ 43.439 43.50 c Sol. found (all assignments made)... 43.50 o 56007416941 43.50 c NEW SOLUTION FOUND: 56007416941 @ 43.45 43.52 c Sol. found (all assignments made)... 43.52 o 56007416931 43.52 c NEW SOLUTION FOUND: 56007416931 @ 43.469 43.65 c Sol. found (all assignments made)... 43.65 o 56007416926 43.65 c NEW SOLUTION FOUND: 56007416926 @ 43.598 43.89 c Sol. found (all assignments made)... 43.89 o 56007416821 43.89 c NEW SOLUTION FOUND: 56007416821 @ 43.837 43.90 c Sol. found (all assignments made)... 43.90 o 56007416811 43.90 c NEW SOLUTION FOUND: 56007416811 @ 43.848 43.95 c Sol. found (all assignments made)... 43.95 o 56007416791 43.95 c NEW SOLUTION FOUND: 56007416791 @ 43.891 43.96 c Sol. found (all assignments made)... 43.96 o 56007416781 43.96 c NEW SOLUTION FOUND: 56007416781 @ 43.902 43.98 c Sol. found (all assignments made)... 43.98 o 56007416771 43.98 c NEW SOLUTION FOUND: 56007416771 @ 43.921 44.10 c Sol. found (all assignments made)... 44.10 o 56007416766 44.10 c NEW SOLUTION FOUND: 56007416766 @ 44.049 44.96 c Sol. found (all assignments made)... 44.96 o 56007416756 44.96 c NEW SOLUTION FOUND: 56007416756 @ 44.909 44.97 c Sol. found (all assignments made)... 44.97 o 56007416746 44.97 c NEW SOLUTION FOUND: 56007416746 @ 44.92 44.99 c Sol. found (all assignments made)... 44.99 o 56007416736 44.99 c NEW SOLUTION FOUND: 56007416736 @ 44.939 52.43 c Restart #37 #Var: 7560 LB: 0 @ 52.376 53.11 c Restart #38 #Var: 7560 LB: 0 @ 53.052 54.30 c Restart #39 #Var: 7560 LB: 0 @ 54.242 54.92 c Restart #40 #Var: 7560 LB: 0 @ 54.864 58.02 c CHANGE to MIS mode... UB: 56007416736 MIS: 0 LPR: -2147483648 (0) Diff: -0 58.02 c Restart #0 #Var: 7560 LB: 0 @ 57.962 58.88 c Restart #1 #Var: 7560 LB: 0 @ 58.823 59.91 c Restart #2 #Var: 7560 LB: 0 @ 59.855 61.32 c Restart #3 #Var: 7560 LB: 0 @ 61.256 64.05 c Restart #4 #Var: 7560 LB: 0 @ 63.988 64.81 c Restart #5 #Var: 7560 LB: 0 @ 64.752 65.38 c Restart #6 #Var: 7560 LB: 2 @ 65.316 67.74 c Restart #7 #Var: 7560 LB: 2 @ 67.683 68.63 c Restart #8 #Var: 7560 LB: 0 @ 68.569 71.14 c Restart #9 #Var: 7560 LB: 0 @ 71.078 73.20 c Restart #10 #Var: 7560 LB: 0 @ 73.133 75.23 c Restart #11 #Var: 7560 LB: 2 @ 75.163 77.03 c Restart #12 #Var: 7560 LB: 0 @ 76.97 79.51 c Restart #13 #Var: 7560 LB: 0 @ 79.448 82.34 c Restart #14 #Var: 7560 LB: 0 @ 82.272 83.19 c Restart #15 #Var: 7560 LB: 0 @ 83.127 84.16 c Restart #16 #Var: 7560 LB: 0 @ 84.097 84.93 c Restart #17 #Var: 7560 LB: 0 @ 84.861 86.14 c Restart #18 #Var: 7560 LB: 0 @ 86.078 87.29 c Restart #19 #Var: 7560 LB: 0 @ 87.223 88.74 c Restart #20 #Var: 7560 LB: 0 @ 88.676 92.28 c Restart #21 #Var: 7560 LB: 0 @ 92.213 94.66 c Restart #22 #Var: 7560 LB: 0 @ 94.593 96.85 c Restart #23 #Var: 7560 LB: 0 @ 96.777 97.89 c Restart #24 #Var: 7560 LB: 0 @ 97.816 102.55 c Restart #25 #Var: 7560 LB: 0 @ 102.48 105.66 c Sol. found (all assignments made)... 105.66 o 56003057660 105.66 c NEW SOLUTION FOUND: 56003057660 @ 105.59 105.67 c Sol. found (all assignments made)... 105.67 o 56003057650 105.67 c NEW SOLUTION FOUND: 56003057650 @ 105.59 105.67 c Sol. found (all assignments made)... 105.67 o 56003056626 105.67 c NEW SOLUTION FOUND: 56003056626 @ 105.6 105.68 c Sol. found (all assignments made)... 105.68 c Sol. found (all assignments made)... 105.68 o 56003056594 105.68 c NEW SOLUTION FOUND: 56003056594 @ 105.61 105.68 c Sol. found (all assignments made)... 105.68 c Sol. found (all assignments made)... 105.68 o 56003054556 105.68 c NEW SOLUTION FOUND: 56003054556 @ 105.61 105.69 c Sol. found (all assignments made)... 105.69 o 56003054546 105.69 c NEW SOLUTION FOUND: 56003054546 @ 105.62 105.69 c Sol. found (all assignments made)... 105.69 o 56002005980 105.69 c NEW SOLUTION FOUND: 56002005980 @ 105.62 105.70 c Sol. found (all assignments made)... 105.70 o 56002005970 105.70 c NEW SOLUTION FOUND: 56002005970 @ 105.63 105.70 c Sol. found (all assignments made)... 105.70 o 56002001874 105.70 c NEW SOLUTION FOUND: 56002001874 @ 105.63 105.71 c Sol. found (all assignments made)... 105.71 c Sol. found (all assignments made)... 105.71 o 56002001810 105.71 c NEW SOLUTION FOUND: 56002001810 @ 105.64 105.71 c Sol. found (all assignments made)... 105.72 c Sol. found (all assignments made)... 105.72 c Sol. found (all assignments made)... 105.72 o 56002001808 105.72 c NEW SOLUTION FOUND: 56002001808 @ 105.65 105.72 c Sol. found (all assignments made)... 105.73 c Sol. found (all assignments made)... 105.73 o 56002001804 105.73 c NEW SOLUTION FOUND: 56002001804 @ 105.65 105.73 c Sol. found (all assignments made)... 105.73 o 56001999756 105.73 c NEW SOLUTION FOUND: 56001999756 @ 105.66 105.73 c Sol. found (all assignments made)... 105.74 c Sol. found (all assignments made)... 105.74 o 56001999740 105.74 c NEW SOLUTION FOUND: 56001999740 @ 105.67 105.74 c Sol. found (all assignments made)... 105.74 c Sol. found (all assignments made)... 105.74 o 56001999686 105.74 c NEW SOLUTION FOUND: 56001999686 @ 105.67 105.75 c Sol. found (all assignments made)... 105.75 o 56001999676 105.75 c NEW SOLUTION FOUND: 56001999676 @ 105.68 105.75 c Sol. found (all assignments made)... 105.75 o 56001983302 105.75 c NEW SOLUTION FOUND: 56001983302 @ 105.68 105.76 c Sol. found (all assignments made)... 105.76 o 56001983292 105.76 c NEW SOLUTION FOUND: 56001983292 @ 105.69 105.76 c Sol. found (all assignments made)... 105.76 o 56000934716 105.76 c NEW SOLUTION FOUND: 56000934716 @ 105.69 105.77 c Sol. found (all assignments made)... 105.77 c Sol. found (all assignments made)... 105.77 o 56000934708 105.77 c NEW SOLUTION FOUND: 56000934708 @ 105.7 105.77 c Sol. found (all assignments made)... 105.78 c Sol. found (all assignments made)... 105.78 c Sol. found (all assignments made)... 105.78 o 56000934704 105.78 c NEW SOLUTION FOUND: 56000934704 @ 105.71 105.78 c Sol. found (all assignments made)... 105.78 o 56000934698 105.78 c NEW SOLUTION FOUND: 56000934698 @ 105.71 105.79 c Sol. found (all assignments made)... 105.79 o 56000934688 105.79 c NEW SOLUTION FOUND: 56000934688 @ 105.72 105.79 c Sol. found (all assignments made)... 105.79 o 56000934656 105.79 c NEW SOLUTION FOUND: 56000934656 @ 105.72 105.80 c Sol. found (all assignments made)... 105.80 c Sol. found (all assignments made)... 105.80 o 56000934655 105.80 c NEW SOLUTION FOUND: 56000934655 @ 105.73 105.80 c Sol. found (all assignments made)... 105.81 c Sol. found (all assignments made)... 105.81 c Sol. found (all assignments made)... 105.81 o 56000934651 105.81 c NEW SOLUTION FOUND: 56000934651 @ 105.74 105.81 c Sol. found (all assignments made)... 105.81 o 56000934629 105.81 c NEW SOLUTION FOUND: 56000934629 @ 105.74 105.82 c Sol. found (all assignments made)... 105.82 o 56000934619 105.82 c NEW SOLUTION FOUND: 56000934619 @ 105.75 105.82 c Sol. found (all assignments made)... 105.82 o 56000934617 105.82 c NEW SOLUTION FOUND: 56000934617 @ 105.75 105.83 c Sol. found (all assignments made)... 105.83 c Sol. found (all assignments made)... 105.83 o 56000934616 105.83 c NEW SOLUTION FOUND: 56000934616 @ 105.76 105.83 c Sol. found (all assignments made)... 105.84 c Sol. found (all assignments made)... 105.84 o 56000803554 105.84 c NEW SOLUTION FOUND: 56000803554 @ 105.77 105.84 c Sol. found (all assignments made)... 105.84 o 56000803544 105.84 c NEW SOLUTION FOUND: 56000803544 @ 105.77 105.85 c Sol. found (all assignments made)... 105.85 o 56000803538 105.85 c NEW SOLUTION FOUND: 56000803538 @ 105.77 105.85 c Sol. found (all assignments made)... 105.85 o 56000803528 105.85 c NEW SOLUTION FOUND: 56000803528 @ 105.78 105.86 c Sol. found (all assignments made)... 105.86 o 56000541640 105.86 c NEW SOLUTION FOUND: 56000541640 @ 105.79 105.86 c Sol. found (all assignments made)... 105.87 c Sol. found (all assignments made)... 105.87 o 56000541384 105.87 c NEW SOLUTION FOUND: 56000541384 @ 105.79 105.87 c Sol. found (all assignments made)... 105.87 c Sol. found (all assignments made)... 105.87 o 56000476114 105.87 c NEW SOLUTION FOUND: 56000476114 @ 105.8 105.88 c Sol. found (all assignments made)... 105.88 o 56000476104 105.88 c NEW SOLUTION FOUND: 56000476104 @ 105.81 105.88 c Sol. found (all assignments made)... 105.88 o 56000475858 105.88 c NEW SOLUTION FOUND: 56000475858 @ 105.81 105.89 c Sol. found (all assignments made)... 105.89 o 56000475848 105.89 c NEW SOLUTION FOUND: 56000475848 @ 105.81 105.90 c Sol. found (all assignments made)... 105.90 o 56000475847 105.90 c NEW SOLUTION FOUND: 56000475847 @ 105.82 105.90 c Sol. found (all assignments made)... 105.91 c Sol. found (all assignments made)... 105.91 o 56000475843 105.91 c NEW SOLUTION FOUND: 56000475843 @ 105.83 105.91 c Sol. found (all assignments made)... 105.92 c Sol. found (all assignments made)... 105.92 o 55929175267 105.92 c NEW SOLUTION FOUND: 55929175267 @ 105.84 105.92 c Sol. found (all assignments made)... 105.92 o 55929175263 105.92 c NEW SOLUTION FOUND: 55929175263 @ 105.85 105.92 c Sol. found (all assignments made)... 105.92 o 55929175199 105.92 c NEW SOLUTION FOUND: 55929175199 @ 105.85 105.93 c Sol. found (all assignments made)... 105.93 o 55929142431 105.93 c NEW SOLUTION FOUND: 55929142431 @ 105.86 105.93 c Sol. found (all assignments made)... 105.93 o 55929142175 105.93 c NEW SOLUTION FOUND: 55929142175 @ 105.86 105.94 c Sol. found (all assignments made)... 105.94 o 55929141663 105.94 c NEW SOLUTION FOUND: 55929141663 @ 105.87 105.94 c Sol. found (all assignments made)... 105.94 o 55929141655 105.94 c NEW SOLUTION FOUND: 55929141655 @ 105.87 106.02 c Sol. found (all assignments made)... 106.02 o 55929141654 106.02 c NEW SOLUTION FOUND: 55929141654 @ 105.95 106.04 c Sol. found (all assignments made)... 106.04 c Sol. found (all assignments made)... 106.04 o 55929141653 106.04 c NEW SOLUTION FOUND: 55929141653 @ 105.97 106.04 c Sol. found (all assignments made)... 106.04 o 55929141652 106.04 c NEW SOLUTION FOUND: 55929141652 @ 105.97 106.05 c Sol. found (all assignments made)... 106.05 o 55929141651 106.05 c NEW SOLUTION FOUND: 55929141651 @ 105.98 106.06 c Sol. found (all assignments made)... 106.06 o 55929141649 106.06 c NEW SOLUTION FOUND: 55929141649 @ 105.98 106.06 c Sol. found (all assignments made)... 106.06 o 55929141645 106.06 c NEW SOLUTION FOUND: 55929141645 @ 105.99 106.07 c Sol. found (all assignments made)... 106.07 o 55929141629 106.07 c NEW SOLUTION FOUND: 55929141629 @ 106 106.07 c Sol. found (all assignments made)... 106.07 o 55929141565 106.07 c NEW SOLUTION FOUND: 55929141565 @ 106 106.08 c Sol. found (all assignments made)... 106.08 o 55929141564 106.08 c NEW SOLUTION FOUND: 55929141564 @ 106 106.08 c Sol. found (all assignments made)... 106.08 o 55929141548 106.08 c NEW SOLUTION FOUND: 55929141548 @ 106.01 106.09 c Sol. found (all assignments made)... 106.09 o 55929141547 106.09 c NEW SOLUTION FOUND: 55929141547 @ 106.02 106.09 c Sol. found (all assignments made)... 106.09 o 55929141546 106.09 c NEW SOLUTION FOUND: 55929141546 @ 106.02 106.10 c Sol. found (all assignments made)... 106.10 o 55929141482 106.10 c NEW SOLUTION FOUND: 55929141482 @ 106.03 106.10 c Sol. found (all assignments made)... 106.10 o 55929141480 106.10 c NEW SOLUTION FOUND: 55929141480 @ 106.03 106.11 c Sol. found (all assignments made)... 106.11 o 55929141448 106.11 c NEW SOLUTION FOUND: 55929141448 @ 106.03 106.11 c Sol. found (all assignments made)... 106.11 o 55929141432 106.11 c NEW SOLUTION FOUND: 55929141432 @ 106.04 106.12 c Sol. found (all assignments made)... 106.12 o 55929141428 106.12 c NEW SOLUTION FOUND: 55929141428 @ 106.04 106.12 c Sol. found (all assignments made)... 106.12 o 55929141424 106.12 c NEW SOLUTION FOUND: 55929141424 @ 106.05 106.13 c Sol. found (all assignments made)... 106.13 o 55929141416 106.13 c NEW SOLUTION FOUND: 55929141416 @ 106.05 106.13 c Sol. found (all assignments made)... 106.13 o 55929141415 106.13 c NEW SOLUTION FOUND: 55929141415 @ 106.06 106.13 c Sol. found (all assignments made)... 106.13 o 55929141399 106.13 c NEW SOLUTION FOUND: 55929141399 @ 106.06 106.14 c Sol. found (all assignments made)... 106.14 o 55929141271 106.14 c NEW SOLUTION FOUND: 55929141271 @ 106.07 106.14 c Sol. found (all assignments made)... 106.14 o 55929141015 106.14 c NEW SOLUTION FOUND: 55929141015 @ 106.07 106.15 c Sol. found (all assignments made)... 106.15 o 55929140503 106.15 c NEW SOLUTION FOUND: 55929140503 @ 106.08 106.15 c Sol. found (all assignments made)... 106.15 o 55929140247 106.15 c NEW SOLUTION FOUND: 55929140247 @ 106.08 106.16 c Sol. found (all assignments made)... 106.16 o 55929140183 106.16 c NEW SOLUTION FOUND: 55929140183 @ 106.09 106.16 c Sol. found (all assignments made)... 106.16 o 55929131991 106.16 c NEW SOLUTION FOUND: 55929131991 @ 106.09 106.17 c Sol. found (all assignments made)... 106.17 o 55929131989 106.17 c NEW SOLUTION FOUND: 55929131989 @ 106.1 106.17 c Sol. found (all assignments made)... 106.17 o 55929129941 106.17 c NEW SOLUTION FOUND: 55929129941 @ 106.1 106.18 c Sol. found (all assignments made)... 106.18 o 55929129937 106.18 c NEW SOLUTION FOUND: 55929129937 @ 106.11 106.19 c Sol. found (all assignments made)... 106.19 o 55929129876 106.19 c NEW SOLUTION FOUND: 55929129876 @ 106.12 106.20 c Sol. found (all assignments made)... 106.20 o 55929129850 106.20 c NEW SOLUTION FOUND: 55929129850 @ 106.13 106.20 c Sol. found (all assignments made)... 106.20 o 55929129846 106.20 c NEW SOLUTION FOUND: 55929129846 @ 106.13 106.21 c Sol. found (all assignments made)... 106.21 o 55929129844 106.21 c NEW SOLUTION FOUND: 55929129844 @ 106.14 106.21 c Sol. found (all assignments made)... 106.21 o 55929129840 106.21 c NEW SOLUTION FOUND: 55929129840 @ 106.14 106.22 c Sol. found (all assignments made)... 106.22 o 55929129776 106.22 c NEW SOLUTION FOUND: 55929129776 @ 106.15 106.22 c Sol. found (all assignments made)... 106.22 o 55929129772 106.22 c NEW SOLUTION FOUND: 55929129772 @ 106.15 106.23 c Sol. found (all assignments made)... 106.23 o 55929129771 106.23 c NEW SOLUTION FOUND: 55929129771 @ 106.16 106.23 c Sol. found (all assignments made)... 106.23 o 55929129259 106.23 c NEW SOLUTION FOUND: 55929129259 @ 106.16 106.24 c Sol. found (all assignments made)... 106.24 o 55929129131 106.24 c NEW SOLUTION FOUND: 55929129131 @ 106.17 106.24 c Sol. found (all assignments made)... 106.24 o 55929129067 106.24 c NEW SOLUTION FOUND: 55929129067 @ 106.17 106.25 c Sol. found (all assignments made)... 106.25 o 55929129051 106.25 c NEW SOLUTION FOUND: 55929129051 @ 106.18 106.25 c Sol. found (all assignments made)... 106.25 o 55929129049 106.25 c NEW SOLUTION FOUND: 55929129049 @ 106.18 106.26 c Sol. found (all assignments made)... 106.26 o 55929129041 106.26 c NEW SOLUTION FOUND: 55929129041 @ 106.19 106.26 c Sol. found (all assignments made)... 106.26 o 55929128913 106.26 c NEW SOLUTION FOUND: 55929128913 @ 106.19 106.27 c Sol. found (all assignments made)... 106.27 o 55929128849 106.27 c NEW SOLUTION FOUND: 55929128849 @ 106.2 106.27 c Sol. found (all assignments made)... 106.27 o 55929128848 106.27 c NEW SOLUTION FOUND: 55929128848 @ 106.2 106.28 c Sol. found (all assignments made)... 106.28 o 55929128262 106.28 c NEW SOLUTION FOUND: 55929128262 @ 106.21 106.31 c Sol. found (all assignments made)... 106.31 o 55929124166 106.31 c NEW SOLUTION FOUND: 55929124166 @ 106.24 106.50 c Sol. found (all assignments made)... 106.50 o 55929004595 106.50 c NEW SOLUTION FOUND: 55929004595 @ 106.42 106.50 c Sol. found (all assignments made)... 106.50 o 55929004591 106.50 c NEW SOLUTION FOUND: 55929004591 @ 106.43 106.51 c Sol. found (all assignments made)... 106.51 o 55929004589 106.51 c NEW SOLUTION FOUND: 55929004589 @ 106.44 106.51 c Sol. found (all assignments made)... 106.51 o 55929004585 106.51 c NEW SOLUTION FOUND: 55929004585 @ 106.44 106.52 c Sol. found (all assignments made)... 106.52 o 55928988201 106.52 c NEW SOLUTION FOUND: 55928988201 @ 106.44 106.52 c Sol. found (all assignments made)... 106.52 c Sol. found (all assignments made)... 106.52 o 55928988193 106.52 c NEW SOLUTION FOUND: 55928988193 @ 106.45 106.53 c Sol. found (all assignments made)... 106.53 o 55928988161 106.53 c NEW SOLUTION FOUND: 55928988161 @ 106.46 106.53 c Sol. found (all assignments made)... 106.53 o 55928987905 106.53 c NEW SOLUTION FOUND: 55928987905 @ 106.46 106.54 c Sol. found (all assignments made)... 106.54 o 55928971521 106.54 c NEW SOLUTION FOUND: 55928971521 @ 106.47 106.54 c Sol. found (all assignments made)... 106.54 o 55928971520 106.54 c NEW SOLUTION FOUND: 55928971520 @ 106.47 106.55 c Sol. found (all assignments made)... 106.55 o 55928971456 106.55 c NEW SOLUTION FOUND: 55928971456 @ 106.47 106.55 c Sol. found (all assignments made)... 106.55 o 55928970944 106.55 c NEW SOLUTION FOUND: 55928970944 @ 106.48 106.55 c Sol. found (all assignments made)... 106.55 o 55928968896 106.55 c NEW SOLUTION FOUND: 55928968896 @ 106.48 106.56 c Sol. found (all assignments made)... 106.56 o 55928968894 106.56 c NEW SOLUTION FOUND: 55928968894 @ 106.49 106.57 c Sol. found (all assignments made)... 106.57 o 55928968893 106.57 c NEW SOLUTION FOUND: 55928968893 @ 106.49 106.57 c Sol. found (all assignments made)... 106.57 o 55928968829 106.57 c NEW SOLUTION FOUND: 55928968829 @ 106.5 106.58 c Sol. found (all assignments made)... 106.58 o 55928961661 106.58 c NEW SOLUTION FOUND: 55928961661 @ 106.51 106.58 c Sol. found (all assignments made)... 106.58 o 55928961149 106.58 c NEW SOLUTION FOUND: 55928961149 @ 106.51 106.59 c Sol. found (all assignments made)... 106.59 o 55928957053 106.59 c NEW SOLUTION FOUND: 55928957053 @ 106.52 106.61 c Sol. found (all assignments made)... 106.61 o 55928956893 106.61 c NEW SOLUTION FOUND: 55928956893 @ 106.54 107.15 c Sol. found (all assignments made)... 107.15 o 55928956829 107.15 c NEW SOLUTION FOUND: 55928956829 @ 107.08 107.53 c Sol. found (all assignments made)... 107.53 o 55928676914 107.53 c NEW SOLUTION FOUND: 55928676914 @ 107.45 107.53 c Sol. found (all assignments made)... 107.53 o 55928676912 107.53 c NEW SOLUTION FOUND: 55928676912 @ 107.46 107.53 c Sol. found (all assignments made)... 107.53 o 55928611376 107.53 c NEW SOLUTION FOUND: 55928611376 @ 107.46 107.54 c Sol. found (all assignments made)... 107.54 o 55928611375 107.54 c NEW SOLUTION FOUND: 55928611375 @ 107.47 107.54 c Sol. found (all assignments made)... 107.54 o 55928611374 107.54 c NEW SOLUTION FOUND: 55928611374 @ 107.47 107.55 c Sol. found (all assignments made)... 107.55 o 55928607278 107.55 c NEW SOLUTION FOUND: 55928607278 @ 107.47 107.55 c Sol. found (all assignments made)... 107.55 o 55928607022 107.55 c NEW SOLUTION FOUND: 55928607022 @ 107.48 107.56 c Sol. found (all assignments made)... 107.56 o 55911829806 107.56 c NEW SOLUTION FOUND: 55911829806 @ 107.48 107.56 c Sol. found (all assignments made)... 107.56 o 55643394350 107.56 c NEW SOLUTION FOUND: 55643394350 @ 107.49 107.57 c Sol. found (all assignments made)... 107.57 o 55643393966 107.57 c NEW SOLUTION FOUND: 55643393966 @ 107.49 107.57 c Sol. found (all assignments made)... 107.57 o 55643393166 107.57 c NEW SOLUTION FOUND: 55643393166 @ 107.5 107.67 c Sol. found (all assignments made)... 107.67 o 55643393058 107.67 c NEW SOLUTION FOUND: 55643393058 @ 107.6 107.68 c Sol. found (all assignments made)... 107.68 o 55643392674 107.68 c NEW SOLUTION FOUND: 55643392674 @ 107.6 107.69 c Sol. found (all assignments made)... 107.69 o 55643392654 107.69 c NEW SOLUTION FOUND: 55643392654 @ 107.62 107.72 c Sol. found (all assignments made)... 107.72 o 55643392558 107.72 c NEW SOLUTION FOUND: 55643392558 @ 107.65 107.78 c Sol. found (all assignments made)... 107.78 o 55643392548 107.78 c NEW SOLUTION FOUND: 55643392548 @ 107.71 107.91 c Sol. found (all assignments made)... 107.91 o 55643391426 107.91 c NEW SOLUTION FOUND: 55643391426 @ 107.83 107.92 c Sol. found (all assignments made)... 107.92 o 55643391330 107.92 c NEW SOLUTION FOUND: 55643391330 @ 107.85 107.94 c Sol. found (all assignments made)... 107.94 o 55643391300 107.94 c NEW SOLUTION FOUND: 55643391300 @ 107.86 107.99 c Sol. found (all assignments made)... 107.99 o 55643391042 107.99 c NEW SOLUTION FOUND: 55643391042 @ 107.92 108.00 c Sol. found (all assignments made)... 108.00 o 55643390914 108.00 c NEW SOLUTION FOUND: 55643390914 @ 107.92 108.01 c Sol. found (all assignments made)... 108.01 o 55643390818 108.01 c NEW SOLUTION FOUND: 55643390818 @ 107.94 108.03 c Sol. found (all assignments made)... 108.03 o 55643390788 108.03 c NEW SOLUTION FOUND: 55643390788 @ 107.95 108.14 c Sol. found (all assignments made)... 108.14 o 55643390778 108.14 c NEW SOLUTION FOUND: 55643390778 @ 108.06 108.25 c Sol. found (all assignments made)... 108.25 o 55643390744 108.25 c NEW SOLUTION FOUND: 55643390744 @ 108.18 108.27 c Sol. found (all assignments made)... 108.27 o 55643390618 108.27 c NEW SOLUTION FOUND: 55643390618 @ 108.19 111.15 c Sol. found (all assignments made)... 111.15 o 55643389584 111.15 c NEW SOLUTION FOUND: 55643389584 @ 111.08 111.15 c Sol. found (all assignments made)... 111.15 o 55643389554 111.15 c NEW SOLUTION FOUND: 55643389554 @ 111.08 111.16 c Sol. found (all assignments made)... 111.16 o 55643389328 111.16 c NEW SOLUTION FOUND: 55643389328 @ 111.09 111.17 c Sol. found (all assignments made)... 111.17 o 55643389200 111.17 c NEW SOLUTION FOUND: 55643389200 @ 111.1 111.18 c Sol. found (all assignments made)... 111.18 o 55643389170 111.18 c NEW SOLUTION FOUND: 55643389170 @ 111.1 111.21 c Sol. found (all assignments made)... 111.21 o 55643389104 111.21 c NEW SOLUTION FOUND: 55643389104 @ 111.14 111.22 c Sol. found (all assignments made)... 111.22 o 55643389074 111.22 c NEW SOLUTION FOUND: 55643389074 @ 111.14 111.23 c Sol. found (all assignments made)... 111.23 o 55643387824 111.23 c NEW SOLUTION FOUND: 55643387824 @ 111.16 111.24 c Sol. found (all assignments made)... 111.24 o 55643387794 111.24 c NEW SOLUTION FOUND: 55643387794 @ 111.17 111.25 c Sol. found (all assignments made)... 111.25 o 55643387440 111.25 c NEW SOLUTION FOUND: 55643387440 @ 111.18 111.26 c Sol. found (all assignments made)... 111.26 o 55643387410 111.26 c NEW SOLUTION FOUND: 55643387410 @ 111.19 111.27 c Sol. found (all assignments made)... 111.27 o 55643387344 111.27 c NEW SOLUTION FOUND: 55643387344 @ 111.2 111.28 c Sol. found (all assignments made)... 111.28 o 55643387314 111.28 c NEW SOLUTION FOUND: 55643387314 @ 111.2 111.32 c Sol. found (all assignments made)... 111.32 o 55643387312 111.32 c NEW SOLUTION FOUND: 55643387312 @ 111.25 111.33 c Sol. found (all assignments made)... 111.33 o 55643387282 111.33 c NEW SOLUTION FOUND: 55643387282 @ 111.25 111.34 c Sol. found (all assignments made)... 111.34 o 55643387056 111.34 c NEW SOLUTION FOUND: 55643387056 @ 111.27 111.35 c Sol. found (all assignments made)... 111.35 o 55643386928 111.35 c NEW SOLUTION FOUND: 55643386928 @ 111.27 111.36 c Sol. found (all assignments made)... 111.36 o 55643386898 111.36 c NEW SOLUTION FOUND: 55643386898 @ 111.28 111.37 c Sol. found (all assignments made)... 111.37 o 55643386832 111.37 c NEW SOLUTION FOUND: 55643386832 @ 111.29 111.37 c Sol. found (all assignments made)... 111.37 o 55643386802 111.37 c NEW SOLUTION FOUND: 55643386802 @ 111.3 111.55 c Sol. found (all assignments made)... 111.55 o 55643386778 111.55 c NEW SOLUTION FOUND: 55643386778 @ 111.47 111.56 c Sol. found (all assignments made)... 111.56 o 55643386748 111.56 c NEW SOLUTION FOUND: 55643386748 @ 111.49 111.57 c Sol. found (all assignments made)... 111.57 o 55643386682 111.57 c NEW SOLUTION FOUND: 55643386682 @ 111.5 111.58 c Sol. found (all assignments made)... 111.58 o 55643386652 111.58 c NEW SOLUTION FOUND: 55643386652 @ 111.5 111.66 c Sol. found (all assignments made)... 111.66 o 55643386642 111.66 c NEW SOLUTION FOUND: 55643386642 @ 111.59 111.75 c Sol. found (all assignments made)... 111.75 o 55643386628 111.75 c NEW SOLUTION FOUND: 55643386628 @ 111.68 111.76 c Sol. found (all assignments made)... 111.76 o 55643386562 111.76 c NEW SOLUTION FOUND: 55643386562 @ 111.69 111.77 c Sol. found (all assignments made)... 111.77 o 55643386532 111.77 c NEW SOLUTION FOUND: 55643386532 @ 111.69 111.85 c Sol. found (all assignments made)... 111.85 o 55643386522 111.85 c NEW SOLUTION FOUND: 55643386522 @ 111.78 116.08 c Sol. found (all assignments made)... 116.08 o 55643386502 116.08 c NEW SOLUTION FOUND: 55643386502 @ 116 122.28 c Restart #26 #Var: 7560 LB: 0 @ 122.2 124.16 c Restart #27 #Var: 7560 LB: 0 @ 124.08 129.14 c Restart #28 #Var: 7560 LB: 2 @ 129.06 131.75 c Restart #29 #Var: 7560 LB: 0 @ 131.67 135.11 c Restart #30 #Var: 7560 LB: 0 @ 135.03 138.72 c Restart #31 #Var: 7560 LB: 0 @ 138.64 145.91 c Restart #32 #Var: 7560 LB: 0 @ 145.82 148.09 c Restart #33 #Var: 7560 LB: 0 @ 148 151.12 c Restart #34 #Var: 7560 LB: 0 @ 151.03 152.56 c Sol. found (all assignments made)... 152.56 o 29771937524 152.56 c NEW SOLUTION FOUND: 29771937524 @ 152.48 152.57 c Sol. found (all assignments made)... 152.57 c Sol. found (all assignments made)... 152.57 o 29771937076 152.57 c NEW SOLUTION FOUND: 29771937076 @ 152.48 152.57 c Sol. found (all assignments made)... 152.57 o 29771937012 152.57 c NEW SOLUTION FOUND: 29771937012 @ 152.49 152.58 c Sol. found (all assignments made)... 152.58 o 29771937004 152.58 c NEW SOLUTION FOUND: 29771937004 @ 152.49 152.58 c Sol. found (all assignments made)... 152.58 o 29771937003 152.58 c NEW SOLUTION FOUND: 29771937003 @ 152.49 152.58 c Sol. found (all assignments made)... 152.58 o 29769839851 152.58 c NEW SOLUTION FOUND: 29769839851 @ 152.5 152.59 c Sol. found (all assignments made)... 152.59 o 29769839847 152.59 c NEW SOLUTION FOUND: 29769839847 @ 152.5 152.60 c Sol. found (all assignments made)... 152.60 o 29769835757 152.60 c NEW SOLUTION FOUND: 29769835757 @ 152.51 152.60 c Sol. found (all assignments made)... 152.60 c Sol. found (all assignments made)... 152.60 o 29769835755 152.60 c NEW SOLUTION FOUND: 29769835755 @ 152.52 152.61 c Sol. found (all assignments made)... 152.61 o 29769835751 152.61 c NEW SOLUTION FOUND: 29769835751 @ 152.52 152.61 c Sol. found (all assignments made)... 152.61 o 29769835239 152.61 c NEW SOLUTION FOUND: 29769835239 @ 152.53 152.61 c Sol. found (all assignments made)... 152.61 o 29769818855 152.61 c NEW SOLUTION FOUND: 29769818855 @ 152.53 152.62 c Sol. found (all assignments made)... 152.62 o 29769818853 152.62 c NEW SOLUTION FOUND: 29769818853 @ 152.53 152.62 c Sol. found (all assignments made)... 152.62 o 29769817829 152.62 c NEW SOLUTION FOUND: 29769817829 @ 152.54 152.63 c Sol. found (all assignments made)... 152.63 o 29769817828 152.63 c NEW SOLUTION FOUND: 29769817828 @ 152.54 152.63 c Sol. found (all assignments made)... 152.63 o 29769817826 152.63 c NEW SOLUTION FOUND: 29769817826 @ 152.55 152.63 c Sol. found (all assignments made)... 152.63 o 29769817570 152.63 c NEW SOLUTION FOUND: 29769817570 @ 152.55 152.64 c Sol. found (all assignments made)... 152.64 o 29769817566 152.64 c NEW SOLUTION FOUND: 29769817566 @ 152.55 152.64 c Sol. found (all assignments made)... 152.64 o 29769817564 152.64 c NEW SOLUTION FOUND: 29769817564 @ 152.56 152.65 c Sol. found (all assignments made)... 152.65 o 29769817532 152.65 c NEW SOLUTION FOUND: 29769817532 @ 152.56 152.65 c Sol. found (all assignments made)... 152.65 o 29769817516 152.65 c NEW SOLUTION FOUND: 29769817516 @ 152.57 152.65 c Sol. found (all assignments made)... 152.65 o 29769815468 152.65 c NEW SOLUTION FOUND: 29769815468 @ 152.57 152.66 c Sol. found (all assignments made)... 152.66 o 29769815212 152.66 c NEW SOLUTION FOUND: 29769815212 @ 152.57 152.66 c Sol. found (all assignments made)... 152.66 o 29769813164 152.66 c NEW SOLUTION FOUND: 29769813164 @ 152.58 152.67 c Sol. found (all assignments made)... 152.67 o 29769813036 152.67 c NEW SOLUTION FOUND: 29769813036 @ 152.58 152.67 c Sol. found (all assignments made)... 152.67 o 29769812908 152.67 c NEW SOLUTION FOUND: 29769812908 @ 152.59 152.67 c Sol. found (all assignments made)... 152.68 o 29769812652 152.68 c NEW SOLUTION FOUND: 29769812652 @ 152.59 152.68 c Sol. found (all assignments made)... 152.68 o 29769810604 152.68 c NEW SOLUTION FOUND: 29769810604 @ 152.59 152.68 c Sol. found (all assignments made)... 152.68 o 29769802412 152.68 c NEW SOLUTION FOUND: 29769802412 @ 152.6 152.69 c Sol. found (all assignments made)... 152.69 o 29769671340 152.69 c NEW SOLUTION FOUND: 29769671340 @ 152.6 152.69 c Sol. found (all assignments made)... 152.69 o 29769671339 152.69 c NEW SOLUTION FOUND: 29769671339 @ 152.61 152.70 c Sol. found (all assignments made)... 152.70 o 29769669291 152.70 c NEW SOLUTION FOUND: 29769669291 @ 152.61 152.70 c Sol. found (all assignments made)... 152.70 o 29769668267 152.70 c NEW SOLUTION FOUND: 29769668267 @ 152.61 152.71 c Sol. found (all assignments made)... 152.71 c Sol. found (all assignments made)... 152.71 o 29769664427 152.71 c NEW SOLUTION FOUND: 29769664427 @ 152.62 152.71 c Sol. found (all assignments made)... 152.71 o 29769664363 152.71 c NEW SOLUTION FOUND: 29769664363 @ 152.63 152.72 c Sol. found (all assignments made)... 152.72 o 29769664331 152.72 c NEW SOLUTION FOUND: 29769664331 @ 152.63 152.72 c Sol. found (all assignments made)... 152.72 o 29769664203 152.72 c NEW SOLUTION FOUND: 29769664203 @ 152.64 152.72 c Sol. found (all assignments made)... 152.72 o 29769664195 152.72 c NEW SOLUTION FOUND: 29769664195 @ 152.64 152.73 c Sol. found (all assignments made)... 152.73 o 29769664187 152.73 c NEW SOLUTION FOUND: 29769664187 @ 152.64 152.73 c Sol. found (all assignments made)... 152.73 o 29769664171 152.73 c NEW SOLUTION FOUND: 29769664171 @ 152.65 152.74 c Sol. found (all assignments made)... 152.74 o 29769660075 152.74 c NEW SOLUTION FOUND: 29769660075 @ 152.65 152.74 c Sol. found (all assignments made)... 152.74 o 29769660011 152.74 c NEW SOLUTION FOUND: 29769660011 @ 152.66 152.75 c Sol. found (all assignments made)... 152.75 o 29769657963 152.75 c NEW SOLUTION FOUND: 29769657963 @ 152.66 152.75 c Sol. found (all assignments made)... 152.75 o 29769657707 152.75 c NEW SOLUTION FOUND: 29769657707 @ 152.67 152.76 c Sol. found (all assignments made)... 152.76 o 29769657643 152.76 c NEW SOLUTION FOUND: 29769657643 @ 152.67 152.76 c Sol. found (all assignments made)... 152.76 o 29769649451 152.76 c NEW SOLUTION FOUND: 29769649451 @ 152.68 152.76 c Sol. found (all assignments made)... 152.76 o 29769633067 152.76 c NEW SOLUTION FOUND: 29769633067 @ 152.68 152.77 c Sol. found (all assignments made)... 152.77 o 29769108779 152.77 c NEW SOLUTION FOUND: 29769108779 @ 152.68 152.78 c Sol. found (all assignments made)... 152.78 o 29768846635 152.78 c NEW SOLUTION FOUND: 29768846635 @ 152.69 152.78 c Sol. found (all assignments made)... 152.78 o 29768845611 152.78 c NEW SOLUTION FOUND: 29768845611 @ 152.7 152.79 c Sol. found (all assignments made)... 152.79 o 29768845609 152.79 c NEW SOLUTION FOUND: 29768845609 @ 152.7 152.80 c Sol. found (all assignments made)... 152.80 o 29768843561 152.80 c NEW SOLUTION FOUND: 29768843561 @ 152.71 152.80 c Sol. found (all assignments made)... 152.80 o 29768843545 152.80 c NEW SOLUTION FOUND: 29768843545 @ 152.72 152.81 c Sol. found (all assignments made)... 152.81 o 29768843544 152.81 c NEW SOLUTION FOUND: 29768843544 @ 152.72 152.82 c Sol. found (all assignments made)... 152.82 o 29768839448 152.82 c NEW SOLUTION FOUND: 29768839448 @ 152.73 152.82 c Sol. found (all assignments made)... 152.82 o 29767790872 152.82 c NEW SOLUTION FOUND: 29767790872 @ 152.74 152.83 c Sol. found (all assignments made)... 152.83 o 29767789848 152.83 c NEW SOLUTION FOUND: 29767789848 @ 152.74 152.84 c Sol. found (all assignments made)... 152.84 o 29767789832 152.84 c NEW SOLUTION FOUND: 29767789832 @ 152.75 152.84 c Sol. found (all assignments made)... 152.84 o 29767789824 152.84 c NEW SOLUTION FOUND: 29767789824 @ 152.76 152.85 c Sol. found (all assignments made)... 152.85 o 29767773440 152.85 c NEW SOLUTION FOUND: 29767773440 @ 152.76 152.86 c Sol. found (all assignments made)... 152.86 o 29767772416 152.86 c NEW SOLUTION FOUND: 29767772416 @ 152.77 152.86 c Sol. found (all assignments made)... 152.86 o 29767772400 152.86 c NEW SOLUTION FOUND: 29767772400 @ 152.78 152.87 c Sol. found (all assignments made)... 152.87 o 29767772368 152.87 c NEW SOLUTION FOUND: 29767772368 @ 152.78 152.88 c Sol. found (all assignments made)... 152.88 o 29767772112 152.88 c NEW SOLUTION FOUND: 29767772112 @ 152.79 152.88 c Sol. found (all assignments made)... 152.88 o 29700663248 152.88 c NEW SOLUTION FOUND: 29700663248 @ 152.8 152.89 c Sol. found (all assignments made)... 152.89 o 29700662992 152.89 c NEW SOLUTION FOUND: 29700662992 @ 152.81 152.90 c Sol. found (all assignments made)... 152.90 o 29700658896 152.90 c NEW SOLUTION FOUND: 29700658896 @ 152.82 152.91 c Sol. found (all assignments made)... 152.91 o 29700658864 152.91 c NEW SOLUTION FOUND: 29700658864 @ 152.82 152.92 c Sol. found (all assignments made)... 152.92 o 29700658862 152.92 c NEW SOLUTION FOUND: 29700658862 @ 152.83 152.93 c Sol. found (all assignments made)... 152.93 o 29700658846 152.93 c NEW SOLUTION FOUND: 29700658846 @ 152.84 152.93 c Sol. found (all assignments made)... 152.93 o 29700658844 152.93 c NEW SOLUTION FOUND: 29700658844 @ 152.85 152.94 c Sol. found (all assignments made)... 152.94 o 29700396700 152.94 c NEW SOLUTION FOUND: 29700396700 @ 152.86 152.95 c Sol. found (all assignments made)... 152.95 o 29700396444 152.95 c NEW SOLUTION FOUND: 29700396444 @ 152.87 152.96 c Sol. found (all assignments made)... 152.96 o 29700396436 152.96 c NEW SOLUTION FOUND: 29700396436 @ 152.87 152.97 c Sol. found (all assignments made)... 152.97 o 29700265364 152.97 c NEW SOLUTION FOUND: 29700265364 @ 152.88 152.97 c Sol. found (all assignments made)... 152.97 o 29700264340 152.97 c NEW SOLUTION FOUND: 29700264340 @ 152.89 152.98 c Sol. found (all assignments made)... 152.98 o 29700260244 152.98 c NEW SOLUTION FOUND: 29700260244 @ 152.9 152.99 c Sol. found (all assignments made)... 152.99 o 29700252052 152.99 c NEW SOLUTION FOUND: 29700252052 @ 152.91 153.00 c Sol. found (all assignments made)... 153.00 o 29700251796 153.00 c NEW SOLUTION FOUND: 29700251796 @ 152.91 153.01 c Sol. found (all assignments made)... 153.01 o 29700243604 153.01 c NEW SOLUTION FOUND: 29700243604 @ 152.92 153.02 c Sol. found (all assignments made)... 153.02 o 29700243540 153.02 c NEW SOLUTION FOUND: 29700243540 @ 152.93 153.02 c Sol. found (all assignments made)... 153.02 o 29700243532 153.02 c NEW SOLUTION FOUND: 29700243532 @ 152.94 153.03 c Sol. found (all assignments made)... 153.03 o 29699719244 153.03 c NEW SOLUTION FOUND: 29699719244 @ 152.94 153.04 c Sol. found (all assignments made)... 153.04 o 29699719240 153.04 c NEW SOLUTION FOUND: 29699719240 @ 152.95 153.04 c Sol. found (all assignments made)... 153.04 o 29699588168 153.04 c NEW SOLUTION FOUND: 29699588168 @ 152.96 153.05 c Sol. found (all assignments made)... 153.05 o 29699588152 153.05 c NEW SOLUTION FOUND: 29699588152 @ 152.96 153.06 c Sol. found (all assignments made)... 153.06 o 29699588136 153.06 c NEW SOLUTION FOUND: 29699588136 @ 152.97 153.06 c Sol. found (all assignments made)... 153.06 o 29682810936 153.06 c NEW SOLUTION FOUND: 29682810936 @ 152.98 153.07 c Sol. found (all assignments made)... 153.07 o 29682810920 153.07 c NEW SOLUTION FOUND: 29682810920 @ 152.99 153.08 c Sol. found (all assignments made)... 153.08 o 29682810916 153.08 c NEW SOLUTION FOUND: 29682810916 @ 153 153.09 c Sol. found (all assignments made)... 153.09 o 29682810908 153.09 c NEW SOLUTION FOUND: 29682810908 @ 153.01 153.10 c Sol. found (all assignments made)... 153.10 o 29682810412 153.10 c NEW SOLUTION FOUND: 29682810412 @ 153.01 153.11 c Sol. found (all assignments made)... 153.11 o 29682810396 153.11 c NEW SOLUTION FOUND: 29682810396 @ 153.02 153.11 c Sol. found (all assignments made)... 153.11 o 29682802220 153.11 c NEW SOLUTION FOUND: 29682802220 @ 153.03 153.12 c Sol. found (all assignments made)... 153.12 o 29682802204 153.12 c NEW SOLUTION FOUND: 29682802204 @ 153.03 153.13 c Sol. found (all assignments made)... 153.13 o 29682802203 153.13 c NEW SOLUTION FOUND: 29682802203 @ 153.04 153.14 c Sol. found (all assignments made)... 153.14 o 29682785835 153.14 c NEW SOLUTION FOUND: 29682785835 @ 153.06 153.15 c Sol. found (all assignments made)... 153.15 o 29682769451 153.15 c NEW SOLUTION FOUND: 29682769451 @ 153.06 153.15 c Sol. found (all assignments made)... 153.15 o 29682769435 153.15 c NEW SOLUTION FOUND: 29682769435 @ 153.07 153.17 c Sol. found (all assignments made)... 153.17 o 29682523691 153.17 c NEW SOLUTION FOUND: 29682523691 @ 153.08 153.17 c Sol. found (all assignments made)... 153.17 o 29682507307 153.17 c NEW SOLUTION FOUND: 29682507307 @ 153.09 153.18 c Sol. found (all assignments made)... 153.18 o 29682507291 153.18 c NEW SOLUTION FOUND: 29682507291 @ 153.09 153.20 c Sol. found (all assignments made)... 153.20 o 29682507289 153.20 c NEW SOLUTION FOUND: 29682507289 @ 153.11 153.21 c Sol. found (all assignments made)... 153.21 o 29682507288 153.21 c NEW SOLUTION FOUND: 29682507288 @ 153.13 153.23 c Sol. found (all assignments made)... 153.23 o 29682507272 153.23 c NEW SOLUTION FOUND: 29682507272 @ 153.14 153.23 c Sol. found (all assignments made)... 153.23 o 29682507256 153.23 c NEW SOLUTION FOUND: 29682507256 @ 153.15 153.25 c Sol. found (all assignments made)... 153.25 o 29682499080 153.25 c NEW SOLUTION FOUND: 29682499080 @ 153.16 153.25 c Sol. found (all assignments made)... 153.25 o 29682499064 153.25 c NEW SOLUTION FOUND: 29682499064 @ 153.17 153.27 c Sol. found (all assignments made)... 153.27 o 29682449928 153.27 c NEW SOLUTION FOUND: 29682449928 @ 153.18 153.27 c Sol. found (all assignments made)... 153.27 o 29682433544 153.27 c NEW SOLUTION FOUND: 29682433544 @ 153.19 153.28 c Sol. found (all assignments made)... 153.28 o 29682433528 153.28 c NEW SOLUTION FOUND: 29682433528 @ 153.19 153.29 c Sol. found (all assignments made)... 153.29 o 29674463526 153.29 c NEW SOLUTION FOUND: 29674463526 @ 153.21 153.30 c Sol. found (all assignments made)... 153.30 o 29674397990 153.30 c NEW SOLUTION FOUND: 29674397990 @ 153.21 153.30 c Sol. found (all assignments made)... 153.30 o 29674397988 153.30 c NEW SOLUTION FOUND: 29674397988 @ 153.22 153.30 c Sol. found (all assignments made)... 153.30 o 29674397986 153.30 c NEW SOLUTION FOUND: 29674397986 @ 153.22 153.31 c Sol. found (all assignments made)... 153.31 o 29674397970 153.31 c NEW SOLUTION FOUND: 29674397970 @ 153.22 153.31 c Sol. found (all assignments made)... 153.31 o 29674397962 153.31 c NEW SOLUTION FOUND: 29674397962 @ 153.23 153.32 c Sol. found (all assignments made)... 153.32 o 29674397898 153.32 c NEW SOLUTION FOUND: 29674397898 @ 153.23 153.32 c Sol. found (all assignments made)... 153.32 o 29674397894 153.32 c NEW SOLUTION FOUND: 29674397894 @ 153.24 153.32 c Sol. found (all assignments made)... 153.32 o 29674332358 153.32 c NEW SOLUTION FOUND: 29674332358 @ 153.24 153.33 c Sol. found (all assignments made)... 153.33 o 29674332342 153.33 c NEW SOLUTION FOUND: 29674332342 @ 153.24 153.33 c Sol. found (all assignments made)... 153.33 o 29674332338 153.33 c NEW SOLUTION FOUND: 29674332338 @ 153.25 153.34 c Sol. found (all assignments made)... 153.34 o 29674201266 153.34 c NEW SOLUTION FOUND: 29674201266 @ 153.25 153.34 c Sol. found (all assignments made)... 153.34 o 29674201265 153.34 c NEW SOLUTION FOUND: 29674201265 @ 153.25 153.34 c Sol. found (all assignments made)... 153.34 o 29674193073 153.34 c NEW SOLUTION FOUND: 29674193073 @ 153.26 153.35 c Sol. found (all assignments made)... 153.35 o 29674192945 153.35 c NEW SOLUTION FOUND: 29674192945 @ 153.26 153.35 c Sol. found (all assignments made)... 153.35 o 29674192937 153.35 c NEW SOLUTION FOUND: 29674192937 @ 153.27 153.36 c Sol. found (all assignments made)... 153.36 o 29674192905 153.36 c NEW SOLUTION FOUND: 29674192905 @ 153.27 153.36 c Sol. found (all assignments made)... 153.36 o 29674192904 153.36 c NEW SOLUTION FOUND: 29674192904 @ 153.28 153.36 c Sol. found (all assignments made)... 153.36 o 29674061832 153.36 c NEW SOLUTION FOUND: 29674061832 @ 153.28 153.37 c Sol. found (all assignments made)... 153.37 o 29674061320 153.37 c NEW SOLUTION FOUND: 29674061320 @ 153.28 153.37 c Sol. found (all assignments made)... 153.37 o 29674044936 153.37 c NEW SOLUTION FOUND: 29674044936 @ 153.29 153.38 c Sol. found (all assignments made)... 153.38 o 29674044920 153.38 c NEW SOLUTION FOUND: 29674044920 @ 153.29 153.39 c Sol. found (all assignments made)... 153.39 o 29673520648 153.39 c NEW SOLUTION FOUND: 29673520648 @ 153.31 153.40 c Sol. found (all assignments made)... 153.40 o 29673520632 153.40 c NEW SOLUTION FOUND: 29673520632 @ 153.31 153.42 c Sol. found (all assignments made)... 153.42 o 29673520631 153.42 c NEW SOLUTION FOUND: 29673520631 @ 153.33 153.44 c Sol. found (all assignments made)... 153.44 o 29673520630 153.44 c NEW SOLUTION FOUND: 29673520630 @ 153.35 153.45 c Sol. found (all assignments made)... 153.45 o 29673516550 153.45 c NEW SOLUTION FOUND: 29673516550 @ 153.37 153.46 c Sol. found (all assignments made)... 153.46 o 29673516534 153.46 c NEW SOLUTION FOUND: 29673516534 @ 153.37 153.48 c Sol. found (all assignments made)... 153.48 o 29673516532 153.48 c NEW SOLUTION FOUND: 29673516532 @ 153.39 153.50 c Sol. found (all assignments made)... 153.50 o 29673008644 153.50 c NEW SOLUTION FOUND: 29673008644 @ 153.42 153.51 c Sol. found (all assignments made)... 153.51 o 29672992260 153.51 c NEW SOLUTION FOUND: 29672992260 @ 153.42 153.52 c Sol. found (all assignments made)... 153.52 o 29672992244 153.52 c NEW SOLUTION FOUND: 29672992244 @ 153.43 153.54 c Sol. found (all assignments made)... 153.54 o 29672861252 153.54 c NEW SOLUTION FOUND: 29672861252 @ 153.45 153.54 c Sol. found (all assignments made)... 153.54 o 29672861220 153.54 c NEW SOLUTION FOUND: 29672861220 @ 153.46 153.55 c Sol. found (all assignments made)... 153.55 c Sol. found (all assignments made)... 153.55 o 29672861189 153.55 c NEW SOLUTION FOUND: 29672861189 @ 153.47 153.56 c Sol. found (all assignments made)... 153.56 o 29672861188 153.56 c NEW SOLUTION FOUND: 29672861188 @ 153.47 153.56 c Sol. found (all assignments made)... 153.56 o 29672861172 153.56 c NEW SOLUTION FOUND: 29672861172 @ 153.48 153.59 c Sol. found (all assignments made)... 153.59 o 29672861171 153.59 c NEW SOLUTION FOUND: 29672861171 @ 153.5 153.61 c Sol. found (all assignments made)... 153.61 o 29672861123 153.61 c NEW SOLUTION FOUND: 29672861123 @ 153.53 153.62 c Sol. found (all assignments made)... 153.62 o 29672861107 153.62 c NEW SOLUTION FOUND: 29672861107 @ 153.53 153.64 c Sol. found (all assignments made)... 153.64 o 29672860979 153.64 c NEW SOLUTION FOUND: 29672860979 @ 153.56 153.67 c Sol. found (all assignments made)... 153.67 o 29668683059 153.67 c NEW SOLUTION FOUND: 29668683059 @ 153.58 153.67 c Sol. found (all assignments made)... 153.67 o 29668666675 153.67 c NEW SOLUTION FOUND: 29668666675 @ 153.59 153.69 c Sol. found (all assignments made)... 153.69 o 29668666419 153.69 c NEW SOLUTION FOUND: 29668666419 @ 153.6 153.72 c Sol. found (all assignments made)... 153.72 o 29668551735 153.72 c NEW SOLUTION FOUND: 29668551735 @ 153.64 153.73 c Sol. found (all assignments made)... 153.73 o 29668535351 153.73 c NEW SOLUTION FOUND: 29668535351 @ 153.64 153.74 c Sol. found (all assignments made)... 153.74 o 29668535347 153.74 c NEW SOLUTION FOUND: 29668535347 @ 153.65 153.83 c Sol. found (all assignments made)... 153.83 o 29668535345 153.83 c NEW SOLUTION FOUND: 29668535345 @ 153.74 153.85 c Sol. found (all assignments made)... 153.85 o 29668519205 153.85 c NEW SOLUTION FOUND: 29668519205 @ 153.77 153.86 c Sol. found (all assignments made)... 153.86 o 29668519201 153.86 c NEW SOLUTION FOUND: 29668519201 @ 153.77 153.87 c Sol. found (all assignments made)... 153.87 o 29668518965 153.87 c NEW SOLUTION FOUND: 29668518965 @ 153.78 153.88 c Sol. found (all assignments made)... 153.88 o 29668518961 153.88 c NEW SOLUTION FOUND: 29668518961 @ 153.79 153.88 c Sol. found (all assignments made)... 153.88 o 29668515109 153.88 c NEW SOLUTION FOUND: 29668515109 @ 153.8 153.89 c Sol. found (all assignments made)... 153.89 o 29668515105 153.89 c NEW SOLUTION FOUND: 29668515105 @ 153.81 153.90 c Sol. found (all assignments made)... 153.90 o 29668514869 153.90 c NEW SOLUTION FOUND: 29668514869 @ 153.81 153.91 c Sol. found (all assignments made)... 153.91 o 29668514865 153.91 c NEW SOLUTION FOUND: 29668514865 @ 153.82 153.92 c Sol. found (all assignments made)... 153.92 o 29668514805 153.92 c NEW SOLUTION FOUND: 29668514805 @ 153.83 153.93 c Sol. found (all assignments made)... 153.93 o 29668514801 153.93 c NEW SOLUTION FOUND: 29668514801 @ 153.84 153.94 c Sol. found (all assignments made)... 153.94 o 29668514773 153.94 c NEW SOLUTION FOUND: 29668514773 @ 153.86 153.95 c Sol. found (all assignments made)... 153.95 o 29668514769 153.95 c NEW SOLUTION FOUND: 29668514769 @ 153.87 153.96 c Sol. found (all assignments made)... 153.96 o 29668512965 153.96 c NEW SOLUTION FOUND: 29668512965 @ 153.87 153.96 c Sol. found (all assignments made)... 153.96 o 29668512961 153.96 c NEW SOLUTION FOUND: 29668512961 @ 153.88 153.97 c Sol. found (all assignments made)... 153.97 o 29668512725 153.97 c NEW SOLUTION FOUND: 29668512725 @ 153.89 153.98 c Sol. found (all assignments made)... 153.98 o 29668512721 153.98 c NEW SOLUTION FOUND: 29668512721 @ 153.9 154.00 c Sol. found (all assignments made)... 154.00 o 29668512717 154.00 c NEW SOLUTION FOUND: 29668512717 @ 153.91 154.00 c Sol. found (all assignments made)... 154.00 o 29668512713 154.00 c NEW SOLUTION FOUND: 29668512713 @ 153.91 154.01 c Sol. found (all assignments made)... 154.01 o 29668510909 154.01 c NEW SOLUTION FOUND: 29668510909 @ 153.92 154.02 c Sol. found (all assignments made)... 154.02 o 29668510905 154.02 c NEW SOLUTION FOUND: 29668510905 @ 153.93 154.03 c Sol. found (all assignments made)... 154.03 o 29668510669 154.03 c NEW SOLUTION FOUND: 29668510669 @ 153.94 154.03 c Sol. found (all assignments made)... 154.03 o 29668510665 154.03 c NEW SOLUTION FOUND: 29668510665 @ 153.95 154.04 c Sol. found (all assignments made)... 154.04 o 29668510653 154.04 c NEW SOLUTION FOUND: 29668510653 @ 153.96 154.05 c Sol. found (all assignments made)... 154.05 o 29668510649 154.05 c NEW SOLUTION FOUND: 29668510649 @ 153.96 154.06 c Sol. found (all assignments made)... 154.06 o 29668510413 154.06 c NEW SOLUTION FOUND: 29668510413 @ 153.97 154.06 c Sol. found (all assignments made)... 154.06 o 29668510409 154.06 c NEW SOLUTION FOUND: 29668510409 @ 153.98 154.08 c Sol. found (all assignments made)... 154.08 o 29668510285 154.08 c NEW SOLUTION FOUND: 29668510285 @ 153.99 154.09 c Sol. found (all assignments made)... 154.09 o 29668510281 154.09 c NEW SOLUTION FOUND: 29668510281 @ 154 154.10 c Sol. found (all assignments made)... 154.10 o 29667461949 154.10 c NEW SOLUTION FOUND: 29667461949 @ 154.01 154.10 c Sol. found (all assignments made)... 154.10 o 29667461945 154.10 c NEW SOLUTION FOUND: 29667461945 @ 154.02 154.11 c Sol. found (all assignments made)... 154.11 o 29667461709 154.11 c NEW SOLUTION FOUND: 29667461709 @ 154.02 154.12 c Sol. found (all assignments made)... 154.12 o 29667461705 154.12 c NEW SOLUTION FOUND: 29667461705 @ 154.03 154.13 c Sol. found (all assignments made)... 154.13 o 29659073341 154.13 c NEW SOLUTION FOUND: 29659073341 @ 154.04 154.13 c Sol. found (all assignments made)... 154.13 o 29659073337 154.13 c NEW SOLUTION FOUND: 29659073337 @ 154.05 154.14 c Sol. found (all assignments made)... 154.14 o 29659073101 154.14 c NEW SOLUTION FOUND: 29659073101 @ 154.05 154.15 c Sol. found (all assignments made)... 154.15 o 29659073097 154.15 c NEW SOLUTION FOUND: 29659073097 @ 154.06 154.16 c Sol. found (all assignments made)... 154.16 o 29659072829 154.16 c NEW SOLUTION FOUND: 29659072829 @ 154.07 154.16 c Sol. found (all assignments made)... 154.16 o 29659072825 154.16 c NEW SOLUTION FOUND: 29659072825 @ 154.08 154.17 c Sol. found (all assignments made)... 154.17 o 29659072589 154.17 c NEW SOLUTION FOUND: 29659072589 @ 154.09 154.18 c Sol. found (all assignments made)... 154.18 o 29659072585 154.18 c NEW SOLUTION FOUND: 29659072585 @ 154.09 154.19 c Sol. found (all assignments made)... 154.19 o 29659072317 154.19 c NEW SOLUTION FOUND: 29659072317 @ 154.1 154.20 c Sol. found (all assignments made)... 154.20 o 29659072313 154.20 c NEW SOLUTION FOUND: 29659072313 @ 154.11 154.20 c Sol. found (all assignments made)... 154.20 o 29659072077 154.20 c NEW SOLUTION FOUND: 29659072077 @ 154.11 154.21 c Sol. found (all assignments made)... 154.21 o 29659072073 154.21 c NEW SOLUTION FOUND: 29659072073 @ 154.12 154.23 c Sol. found (all assignments made)... 154.23 o 29659072037 154.23 c NEW SOLUTION FOUND: 29659072037 @ 154.14 154.23 c Sol. found (all assignments made)... 154.23 o 29659072033 154.23 c NEW SOLUTION FOUND: 29659072033 @ 154.15 154.25 c Sol. found (all assignments made)... 154.25 o 29659072032 154.25 c NEW SOLUTION FOUND: 29659072032 @ 154.17 154.27 c Sol. found (all assignments made)... 154.27 o 29659072028 154.27 c NEW SOLUTION FOUND: 29659072028 @ 154.19 154.29 c Sol. found (all assignments made)... 154.29 o 29659071904 154.29 c NEW SOLUTION FOUND: 29659071904 @ 154.2 154.29 c Sol. found (all assignments made)... 154.29 o 29659071900 154.29 c NEW SOLUTION FOUND: 29659071900 @ 154.21 154.31 c Sol. found (all assignments made)... 154.31 o 29659071896 154.31 c NEW SOLUTION FOUND: 29659071896 @ 154.23 154.33 c Sol. found (all assignments made)... 154.33 o 29659071892 154.33 c NEW SOLUTION FOUND: 29659071892 @ 154.25 154.34 c Sol. found (all assignments made)... 154.34 o 29658023560 154.34 c NEW SOLUTION FOUND: 29658023560 @ 154.25 154.35 c Sol. found (all assignments made)... 154.35 o 29658023556 154.35 c NEW SOLUTION FOUND: 29658023556 @ 154.26 154.35 c Sol. found (all assignments made)... 154.35 o 29658023320 154.35 c NEW SOLUTION FOUND: 29658023320 @ 154.27 154.36 c Sol. found (all assignments made)... 154.36 o 29658023316 154.36 c NEW SOLUTION FOUND: 29658023316 @ 154.28 154.40 c Sol. found (all assignments made)... 154.40 c Sol. found (all assignments made)... 154.40 o 29658023315 154.40 c NEW SOLUTION FOUND: 29658023315 @ 154.31 154.41 c Sol. found (all assignments made)... 154.41 o 29658023314 154.41 c NEW SOLUTION FOUND: 29658023314 @ 154.32 154.43 c Sol. found (all assignments made)... 154.43 o 29658023282 154.43 c NEW SOLUTION FOUND: 29658023282 @ 154.34 154.45 c Sol. found (all assignments made)... 154.45 o 29658023246 154.45 c NEW SOLUTION FOUND: 29658023246 @ 154.36 154.46 c Sol. found (all assignments made)... 154.46 o 29658023242 154.46 c NEW SOLUTION FOUND: 29658023242 @ 154.37 154.48 c Sol. found (all assignments made)... 154.48 o 29658023196 154.48 c NEW SOLUTION FOUND: 29658023196 @ 154.39 154.48 c Sol. found (all assignments made)... 154.48 o 29658023192 154.48 c NEW SOLUTION FOUND: 29658023192 @ 154.4 154.50 c Sol. found (all assignments made)... 154.50 o 29658023064 154.50 c NEW SOLUTION FOUND: 29658023064 @ 154.41 154.52 c Sol. found (all assignments made)... 154.52 o 29658023062 154.52 c NEW SOLUTION FOUND: 29658023062 @ 154.44 154.54 c Sol. found (all assignments made)... 154.54 o 29658023046 154.54 c NEW SOLUTION FOUND: 29658023046 @ 154.46 154.56 c Sol. found (all assignments made)... 154.56 o 29658022878 154.56 c NEW SOLUTION FOUND: 29658022878 @ 154.47 154.56 c Sol. found (all assignments made)... 154.56 c Sol. found (all assignments made)... 154.56 o 29658022874 154.56 c NEW SOLUTION FOUND: 29658022874 @ 154.48 154.57 c Sol. found (all assignments made)... 154.57 o 29658022858 154.57 c NEW SOLUTION FOUND: 29658022858 @ 154.48 154.57 c Sol. found (all assignments made)... 154.57 o 29658022854 154.57 c NEW SOLUTION FOUND: 29658022854 @ 154.49 154.58 c Sol. found (all assignments made)... 154.58 o 29658022822 154.58 c NEW SOLUTION FOUND: 29658022822 @ 154.49 154.58 c Sol. found (all assignments made)... 154.58 o 29658022820 154.58 c NEW SOLUTION FOUND: 29658022820 @ 154.5 154.59 c Sol. found (all assignments made)... 154.59 o 29658022818 154.59 c NEW SOLUTION FOUND: 29658022818 @ 154.5 154.59 c Sol. found (all assignments made)... 154.59 o 29658022810 154.59 c NEW SOLUTION FOUND: 29658022810 @ 154.5 154.60 c Sol. found (all assignments made)... 154.60 o 29658022778 154.60 c NEW SOLUTION FOUND: 29658022778 @ 154.51 154.61 c Sol. found (all assignments made)... 154.61 o 29658022774 154.61 c NEW SOLUTION FOUND: 29658022774 @ 154.52 154.61 c Sol. found (all assignments made)... 154.61 o 29658022534 154.61 c NEW SOLUTION FOUND: 29658022534 @ 154.53 154.63 c Sol. found (all assignments made)... 154.63 o 29658022494 154.63 c NEW SOLUTION FOUND: 29658022494 @ 154.54 154.65 c Sol. found (all assignments made)... 154.65 o 29658022366 154.65 c NEW SOLUTION FOUND: 29658022366 @ 154.56 154.65 c Sol. found (all assignments made)... 154.65 o 29658022094 154.65 c NEW SOLUTION FOUND: 29658022094 @ 154.57 154.66 c Sol. found (all assignments made)... 154.66 o 29658021854 154.66 c NEW SOLUTION FOUND: 29658021854 @ 154.58 154.67 c Sol. found (all assignments made)... 154.67 o 29654749390 154.67 c NEW SOLUTION FOUND: 29654749390 @ 154.59 154.68 c Sol. found (all assignments made)... 154.68 o 29654745294 154.68 c NEW SOLUTION FOUND: 29654745294 @ 154.59 154.69 c Sol. found (all assignments made)... 154.69 o 29654745054 154.69 c NEW SOLUTION FOUND: 29654745054 @ 154.6 154.71 c Sol. found (all assignments made)... 154.71 o 29654745046 154.71 c NEW SOLUTION FOUND: 29654745046 @ 154.62 154.72 c Sol. found (all assignments made)... 154.72 o 29654352070 154.72 c NEW SOLUTION FOUND: 29654352070 @ 154.63 154.72 c Sol. found (all assignments made)... 154.72 o 29654220998 154.72 c NEW SOLUTION FOUND: 29654220998 @ 154.64 154.74 c Sol. found (all assignments made)... 154.74 o 29654220758 154.74 c NEW SOLUTION FOUND: 29654220758 @ 154.65 154.78 c Sol. found (all assignments made)... 154.78 o 29654220726 154.78 c NEW SOLUTION FOUND: 29654220726 @ 154.69 154.82 c Sol. found (all assignments made)... 154.82 o 29654220724 154.82 c NEW SOLUTION FOUND: 29654220724 @ 154.73 154.86 c Sol. found (all assignments made)... 154.86 o 29654220660 154.86 c NEW SOLUTION FOUND: 29654220660 @ 154.77 154.88 c Sol. found (all assignments made)... 154.88 o 29654216804 154.88 c NEW SOLUTION FOUND: 29654216804 @ 154.79 154.90 c Sol. found (all assignments made)... 154.90 o 29654216564 154.90 c NEW SOLUTION FOUND: 29654216564 @ 154.81 154.93 c Sol. found (all assignments made)... 154.93 o 29654216548 154.93 c NEW SOLUTION FOUND: 29654216548 @ 154.85 154.96 c Sol. found (all assignments made)... 154.96 o 29654216546 154.96 c NEW SOLUTION FOUND: 29654216546 @ 154.88 154.98 c Sol. found (all assignments made)... 154.98 o 29654214738 154.98 c NEW SOLUTION FOUND: 29654214738 @ 154.89 154.99 c Sol. found (all assignments made)... 154.99 o 29654214498 154.99 c NEW SOLUTION FOUND: 29654214498 @ 154.9 155.00 c Sol. found (all assignments made)... 155.01 o 29654214482 155.01 c NEW SOLUTION FOUND: 29654214482 @ 154.92 155.02 c Sol. found (all assignments made)... 155.02 o 29654214242 155.02 c NEW SOLUTION FOUND: 29654214242 @ 154.93 155.04 c Sol. found (all assignments made)... 155.04 o 29654214240 155.04 c NEW SOLUTION FOUND: 29654214240 @ 154.96 155.07 c Sol. found (all assignments made)... 155.07 c Sol. found (all assignments made)... 155.07 o 29654214238 155.07 c NEW SOLUTION FOUND: 29654214238 @ 154.99 155.12 c Sol. found (all assignments made)... 155.12 o 29654214222 155.12 c NEW SOLUTION FOUND: 29654214222 @ 155.04 155.14 c Sol. found (all assignments made)... 155.14 o 29654213982 155.14 c NEW SOLUTION FOUND: 29654213982 @ 155.05 155.19 c Sol. found (all assignments made)... 155.19 o 29654213902 155.19 c NEW SOLUTION FOUND: 29654213902 @ 155.11 155.24 c Sol. found (all assignments made)... 155.24 o 29654213630 155.24 c NEW SOLUTION FOUND: 29654213630 @ 155.16 155.26 c Sol. found (all assignments made)... 155.26 o 29654213390 155.26 c NEW SOLUTION FOUND: 29654213390 @ 155.17 155.35 c Sol. found (all assignments made)... 155.35 o 29654213334 155.35 c NEW SOLUTION FOUND: 29654213334 @ 155.26 155.37 c Sol. found (all assignments made)... 155.37 o 29654213326 155.37 c NEW SOLUTION FOUND: 29654213326 @ 155.29 155.43 c Sol. found (all assignments made)... 155.43 o 29654213270 155.43 c NEW SOLUTION FOUND: 29654213270 @ 155.34 155.45 c Sol. found (all assignments made)... 155.45 o 29654213262 155.45 c NEW SOLUTION FOUND: 29654213262 @ 155.37 155.50 c Sol. found (all assignments made)... 155.50 o 29649363846 155.50 c NEW SOLUTION FOUND: 29649363846 @ 155.41 155.51 c Sol. found (all assignments made)... 155.51 o 29649363838 155.51 c NEW SOLUTION FOUND: 29649363838 @ 155.42 155.52 c Sol. found (all assignments made)... 155.52 o 29649363606 155.52 c NEW SOLUTION FOUND: 29649363606 @ 155.43 155.52 c Sol. found (all assignments made)... 155.52 o 29649363598 155.52 c NEW SOLUTION FOUND: 29649363598 @ 155.44 155.53 c Sol. found (all assignments made)... 155.53 o 29645824902 155.53 c NEW SOLUTION FOUND: 29645824902 @ 155.44 155.54 c Sol. found (all assignments made)... 155.54 o 29645824894 155.54 c NEW SOLUTION FOUND: 29645824894 @ 155.46 155.56 c Sol. found (all assignments made)... 155.56 o 29645824662 155.56 c NEW SOLUTION FOUND: 29645824662 @ 155.47 155.57 c Sol. found (all assignments made)... 155.57 o 29645824654 155.57 c NEW SOLUTION FOUND: 29645824654 @ 155.48 155.62 c Sol. found (all assignments made)... 155.62 o 29645822854 155.62 c NEW SOLUTION FOUND: 29645822854 @ 155.53 155.63 c Sol. found (all assignments made)... 155.63 o 29645822846 155.63 c NEW SOLUTION FOUND: 29645822846 @ 155.54 155.64 c Sol. found (all assignments made)... 155.64 o 29645822614 155.64 c NEW SOLUTION FOUND: 29645822614 @ 155.55 155.65 c Sol. found (all assignments made)... 155.65 o 29645822606 155.65 c NEW SOLUTION FOUND: 29645822606 @ 155.57 155.73 c Sol. found (all assignments made)... 155.73 o 29645822604 155.73 c NEW SOLUTION FOUND: 29645822604 @ 155.64 155.77 c Sol. found (all assignments made)... 155.77 o 29645820804 155.77 c NEW SOLUTION FOUND: 29645820804 @ 155.69 155.79 c Sol. found (all assignments made)... 155.79 o 29645820796 155.79 c NEW SOLUTION FOUND: 29645820796 @ 155.7 155.80 c Sol. found (all assignments made)... 155.80 o 29645820564 155.80 c NEW SOLUTION FOUND: 29645820564 @ 155.71 155.81 c Sol. found (all assignments made)... 155.81 o 29645820556 155.81 c NEW SOLUTION FOUND: 29645820556 @ 155.72 155.86 c Sol. found (all assignments made)... 155.86 o 29645820532 155.86 c NEW SOLUTION FOUND: 29645820532 @ 155.77 155.87 c Sol. found (all assignments made)... 155.87 o 29645820524 155.87 c NEW SOLUTION FOUND: 29645820524 @ 155.79 155.96 c Sol. found (all assignments made)... 155.96 o 29645820522 155.96 c NEW SOLUTION FOUND: 29645820522 @ 155.88 156.01 c Sol. found (all assignments made)... 156.01 o 29645820290 156.01 c NEW SOLUTION FOUND: 29645820290 @ 155.93 156.02 c Sol. found (all assignments made)... 156.02 o 29645820258 156.02 c NEW SOLUTION FOUND: 29645820258 @ 155.93 156.03 c Sol. found (all assignments made)... 156.03 o 29645820250 156.03 c NEW SOLUTION FOUND: 29645820250 @ 155.95 156.05 c Sol. found (all assignments made)... 156.05 o 29645820018 156.05 c NEW SOLUTION FOUND: 29645820018 @ 155.96 156.05 c Sol. found (all assignments made)... 156.05 o 29645820010 156.05 c NEW SOLUTION FOUND: 29645820010 @ 155.97 156.10 c Sol. found (all assignments made)... 156.10 o 29645819882 156.10 c NEW SOLUTION FOUND: 29645819882 @ 156.02 156.15 c Sol. found (all assignments made)... 156.15 o 29645819626 156.15 c NEW SOLUTION FOUND: 29645819626 @ 156.07 156.24 c Sol. found (all assignments made)... 156.24 o 29645819466 156.24 c NEW SOLUTION FOUND: 29645819466 @ 156.15 156.36 c Sol. found (all assignments made)... 156.36 o 29645819338 156.36 c NEW SOLUTION FOUND: 29645819338 @ 156.27 156.47 c Sol. found (all assignments made)... 156.47 o 29645819336 156.47 c NEW SOLUTION FOUND: 29645819336 @ 156.38 156.53 c Sol. found (all assignments made)... 156.53 o 29632581944 156.53 c NEW SOLUTION FOUND: 29632581944 @ 156.44 156.54 c Sol. found (all assignments made)... 156.54 o 29632581704 156.54 c NEW SOLUTION FOUND: 29632581704 @ 156.45 156.55 c Sol. found (all assignments made)... 156.55 o 29629042760 156.55 c NEW SOLUTION FOUND: 29629042760 @ 156.46 156.59 c Sol. found (all assignments made)... 156.59 o 29629042120 156.59 c NEW SOLUTION FOUND: 29629042120 @ 156.5 156.80 c Sol. found (all assignments made)... 156.80 o 29629042104 156.80 c NEW SOLUTION FOUND: 29629042104 @ 156.72 159.05 c Sol. found (all assignments made)... 159.05 o 29629042072 159.05 c NEW SOLUTION FOUND: 29629042072 @ 158.96 160.78 c Sol. found (all assignments made)... 160.78 c Sol. found (all assignments made)... 160.78 c Sol. found (all assignments made)... 160.78 c Sol. found (all assignments made)... 160.79 c Sol. found (all assignments made)... 160.79 c Sol. found (all assignments made)... 160.79 c Sol. found (all assignments made)... 160.79 c Sol. found (all assignments made)... 160.79 c Sol. found (all assignments made)... 160.80 c Sol. found (all assignments made)... 160.80 c Sol. found (all assignments made)... 160.80 c Sol. found (all assignments made)... 160.80 c Sol. found (all assignments made)... 160.80 c Sol. found (all assignments made)... 160.81 c Sol. found (all assignments made)... 160.81 c Sol. found (all assignments made)... 160.82 c Sol. found (all assignments made)... 160.82 o 29629010141 160.82 c NEW SOLUTION FOUND: 29629010141 @ 160.73 160.83 c Sol. found (all assignments made)... 160.83 o 29629010061 160.83 c NEW SOLUTION FOUND: 29629010061 @ 160.74 160.84 c Sol. found (all assignments made)... 160.84 o 29629010053 160.84 c NEW SOLUTION FOUND: 29629010053 @ 160.75 160.86 c Sol. found (all assignments made)... 160.86 o 29629009989 160.86 c NEW SOLUTION FOUND: 29629009989 @ 160.77 161.08 c Sol. found (all assignments made)... 161.08 o 29629009969 161.08 c NEW SOLUTION FOUND: 29629009969 @ 161 161.15 c Sol. found (all assignments made)... 161.15 o 29629009944 161.15 c NEW SOLUTION FOUND: 29629009944 @ 161.07 161.22 c Sol. found (all assignments made)... 161.22 o 29629009544 161.22 c NEW SOLUTION FOUND: 29629009544 @ 161.13 161.23 c Sol. found (all assignments made)... 161.23 o 29629009304 161.23 c NEW SOLUTION FOUND: 29629009304 @ 161.14 161.91 c Sol. found (all assignments made)... 161.91 o 29629008344 161.91 c NEW SOLUTION FOUND: 29629008344 @ 161.82 164.73 c Sol. found (all assignments made)... 164.73 o 29629003816 164.73 c NEW SOLUTION FOUND: 29629003816 @ 164.64 165.30 c Sol. found (all assignments made)... 165.30 o 29629003576 165.30 c NEW SOLUTION FOUND: 29629003576 @ 165.21 165.33 c Sol. found (all assignments made)... 165.33 o 29629003336 165.33 c NEW SOLUTION FOUND: 29629003336 @ 165.24 165.90 c Sol. found (all assignments made)... 165.90 o 29629003176 165.90 c NEW SOLUTION FOUND: 29629003176 @ 165.81 167.08 c Sol. found (all assignments made)... 167.08 o 29629003160 167.08 c NEW SOLUTION FOUND: 29629003160 @ 166.99 172.74 c Restart #35 #Var: 7560 LB: 0 @ 172.65 173.23 c Restart #36 #Var: 7560 LB: 0 @ 173.14 176.16 c Restart #37 #Var: 7560 LB: 0 @ 176.06 195.76 c Restart #38 #Var: 7560 LB: 0 @ 195.66 199.55 c Restart #39 #Var: 7560 LB: 0 @ 199.45 201.10 c Restart #40 #Var: 7560 LB: 0 @ 201 213.01 c Restart #41 #Var: 7560 LB: 0 @ 212.91 225.78 c Restart #42 #Var: 7560 LB: 0 @ 225.67 230.73 c Restart #43 #Var: 7560 LB: 0 @ 230.62 238.40 c Restart #44 #Var: 7560 LB: 0 @ 238.29 248.23 c Restart #45 #Var: 7560 LB: 0 @ 248.12 254.69 c Restart #46 #Var: 7560 LB: 0 @ 254.57 258.76 c Restart #47 #Var: 7560 LB: 0 @ 258.65 267.14 c Restart #48 #Var: 7560 LB: 0 @ 267.03 273.46 c Restart #49 #Var: 7560 LB: 0 @ 273.34 284.03 c Restart #50 #Var: 7560 LB: 0 @ 283.91 290.60 c Restart #51 #Var: 7560 LB: 0 @ 290.48 307.70 c Restart #52 #Var: 7560 LB: 0 @ 307.57 312.57 c Restart #53 #Var: 7560 LB: 0 @ 312.44 324.01 c Restart #54 #Var: 7560 LB: 0 @ 323.88 333.03 c Restart #55 #Var: 7560 LB: 0 @ 332.89 340.05 c Restart #56 #Var: 7560 LB: 0 @ 339.91 341.58 c Restart #57 #Var: 7560 LB: 0 @ 341.44 349.04 c Restart #58 #Var: 7560 LB: 0 @ 348.9 352.50 c Restart #59 #Var: 7560 LB: 0 @ 352.36 357.84 c Restart #60 #Var: 7560 LB: 0 @ 357.69 364.76 c Restart #61 #Var: 7560 LB: 2 @ 364.62 370.29 c Restart #62 #Var: 7560 LB: 0 @ 370.14 373.33 c Restart #63 #Var: 7560 LB: 0 @ 373.18 378.09 c Restart #64 #Var: 7560 LB: 0 @ 377.94 382.39 c Restart #65 #Var: 7560 LB: 0 @ 382.24 391.42 c Restart #66 #Var: 7560 LB: 0 @ 391.27 398.51 c Restart #67 #Var: 7560 LB: 0 @ 398.36 410.59 c Restart #68 #Var: 7560 LB: 0 @ 410.43 416.52 c Restart #69 #Var: 7560 LB: 0 @ 416.36 417.90 c Restart #70 #Var: 7560 LB: 0 @ 417.74 422.07 c Restart #71 #Var: 7560 LB: 0 @ 421.9 427.84 c Restart #72 #Var: 7560 LB: 0 @ 427.68 431.92 c Restart #73 #Var: 7560 LB: 0 @ 431.76 450.54 c Restart #74 #Var: 7560 LB: 0 @ 450.37 461.15 c Restart #75 #Var: 7560 LB: 0 @ 460.98 468.68 c Restart #76 #Var: 7560 LB: 0 @ 468.51 484.89 c Restart #77 #Var: 7560 LB: 0 @ 484.71 493.68 c Restart #78 #Var: 7560 LB: 0 @ 493.5 501.38 c Restart #79 #Var: 7560 LB: 0 @ 501.19 519.46 c Restart #80 #Var: 7560 LB: 0 @ 519.27 528.50 c Restart #81 #Var: 7560 LB: 0 @ 528.31 530.27 c Restart #82 #Var: 7560 LB: 0 @ 530.07 540.64 c Restart #83 #Var: 7560 LB: 0 @ 540.45 550.23 c Restart #84 #Var: 7560 LB: 0 @ 550.03 557.27 c Restart #85 #Var: 7560 LB: 0 @ 557.07 567.57 c Restart #86 #Var: 7560 LB: 0 @ 567.37 578.75 c Restart #87 #Var: 7560 LB: 0 @ 578.54 583.15 c Restart #88 #Var: 7560 LB: 0 @ 582.94 603.10 c Restart #89 #Var: 7560 LB: 0 @ 602.89 607.57 c Restart #90 #Var: 7560 LB: 0 @ 607.35 623.22 c Restart #91 #Var: 7560 LB: 0 @ 623 634.63 c Restart #92 #Var: 7560 LB: 0 @ 634.41 649.15 c Restart #93 #Var: 7560 LB: 0 @ 648.93 663.00 c Restart #94 #Var: 7560 LB: 0 @ 662.77 667.90 c Restart #95 #Var: 7560 LB: 0 @ 667.67 669.60 c Restart #96 #Var: 7560 LB: 0 @ 669.37 672.14 c Restart #97 #Var: 7560 LB: 0 @ 671.9 675.39 c Restart #98 #Var: 7560 LB: 0 @ 675.15 678.06 c Restart #99 #Var: 7560 LB: 0 @ 677.82 681.29 c Restart #100 #Var: 7560 LB: 0 @ 681.06 701.95 c Restart #101 #Var: 7560 LB: 0 @ 701.71 705.27 c Restart #102 #Var: 7560 LB: 0 @ 705.03 709.74 c Restart #103 #Var: 7560 LB: 2 @ 709.49 720.06 c Restart #104 #Var: 7560 LB: 0 @ 719.81 723.72 c Restart #105 #Var: 7560 LB: 0 @ 723.47 737.30 c Restart #106 #Var: 7560 LB: 0 @ 737.04 746.42 c Restart #107 #Var: 7560 LB: 0 @ 746.16 750.60 c Restart #108 #Var: 7560 LB: 0 @ 750.35 762.15 c Restart #109 #Var: 7560 LB: 0 @ 761.89 768.14 c Restart #110 #Var: 7560 LB: 0 @ 767.88 771.45 c Restart #111 #Var: 7560 LB: 0 @ 771.18 775.49 c Restart #112 #Var: 7560 LB: 0 @ 775.22 782.44 c Restart #113 #Var: 7560 LB: 0 @ 782.17 790.84 c Restart #114 #Var: 7560 LB: 0 @ 790.58 794.68 c Restart #115 #Var: 7560 LB: 0 @ 794.41 837.23 c Restart #116 #Var: 7560 LB: 0 @ 836.95 847.83 c Restart #117 #Var: 7560 LB: 1 @ 847.54 864.23 c Restart #118 #Var: 7560 LB: 0 @ 863.94 883.00 c Restart #119 #Var: 7560 LB: 0 @ 882.71 896.43 c Restart #120 #Var: 7560 LB: 0 @ 896.13 927.98 c Restart #121 #Var: 7560 LB: 0 @ 927.67 951.35 c Restart #122 #Var: 7560 LB: 0 @ 951.03 967.65 c Restart #123 #Var: 7560 LB: 0 @ 967.34 982.44 c Restart #124 #Var: 7560 LB: 0 @ 982.12 1003.96 c Restart #125 #Var: 7560 LB: 0 @ 1003.6 1010.28 c Restart #126 #Var: 7560 LB: 0 @ 1009.9 1045.88 c Restart #127 #Var: 7560 LB: 0 @ 1045.5 1064.95 c Restart #128 #Var: 7560 LB: 0 @ 1064.6 1072.31 c Restart #129 #Var: 7560 LB: 0 @ 1072 1096.12 c Restart #130 #Var: 7560 LB: 0 @ 1095.8 1108.62 c Restart #131 #Var: 7560 LB: 0 @ 1108.3 1118.61 c Restart #132 #Var: 7560 LB: 0 @ 1118.2 1130.27 c Restart #133 #Var: 7560 LB: 0 @ 1129.9 1142.80 c Restart #134 #Var: 7560 LB: 0 @ 1142.4 1189.56 c Restart #135 #Var: 7560 LB: 0 @ 1189.2 1215.51 c Restart #136 #Var: 7560 LB: 0 @ 1215.1 1220.24 c Restart #137 #Var: 7560 LB: 0 @ 1219.8 1227.05 c Restart #138 #Var: 7560 LB: 0 @ 1226.6 1266.78 c Restart #139 #Var: 7560 LB: 0 @ 1266.4 1287.30 c Restart #140 #Var: 7560 LB: 0 @ 1286.9 1293.23 c Restart #141 #Var: 7560 LB: 0 @ 1292.8 1344.92 c Restart #142 #Var: 7560 LB: 0 @ 1344.5 1375.89 c Restart #143 #Var: 7560 LB: 0 @ 1375.4 1380.90 c Restart #144 #Var: 7560 LB: 0 @ 1380.4 1384.03 c Restart #145 #Var: 7560 LB: 0 @ 1383.5 1388.51 c Restart #146 #Var: 7560 LB: 0 @ 1388
ERROR: no interpretation found !
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/node13/watcher-40679-1149311496 -o ROOT/results/node13/solver-40679-1149311496 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node13/40679-1149311496/instance-40679-1149311496.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.86 1.01 0.99 3/64 24185 /proc/meminfo: memFree=1566920/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=4664 CPUtime=0 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 143 0 0 0 0 0 0 0 19 0 1 0 196812198 4775936 123 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11847350 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 1166 131 104 55 0 46 0 [startup+10.0019 s] /proc/loadavg: 0.88 1.01 0.99 2/64 24185 /proc/meminfo: memFree=1538904/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=32916 CPUtime=9.95 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 7370 0 0 0 930 65 0 0 25 0 1 0 196812198 33705984 7285 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 8229 7285 297 55 0 7121 0 Current children cumulated CPU time (s) 9.95 Current children cumulated vsize (Kb) 32916 [startup+20.0083 s] /proc/loadavg: 0.90 1.01 0.99 2/64 24185 /proc/meminfo: memFree=1504856/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=67100 CPUtime=19.95 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 15897 0 0 0 1876 119 0 0 25 0 1 0 196812198 68710400 15810 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540685 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 16775 15811 297 55 0 15667 0 Current children cumulated CPU time (s) 19.95 Current children cumulated vsize (Kb) 67100 [startup+30.0146 s] /proc/loadavg: 0.91 1.01 0.99 2/64 24185 /proc/meminfo: memFree=1325656/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=246088 CPUtime=29.95 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 60637 0 0 0 2844 151 0 0 25 0 1 0 196812198 251994112 60550 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 61522 60550 297 55 0 60414 0 Current children cumulated CPU time (s) 29.95 Current children cumulated vsize (Kb) 246088 [startup+40.021 s] /proc/loadavg: 0.93 1.01 0.99 2/64 24185 /proc/meminfo: memFree=1299736/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=271816 CPUtime=39.96 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 67187 0 0 0 3830 166 0 0 25 0 1 0 196812198 278339584 66979 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632654 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 67954 66979 299 55 0 66846 0 Current children cumulated CPU time (s) 39.96 Current children cumulated vsize (Kb) 271816 [startup+50.0283 s] /proc/loadavg: 0.94 1.01 0.99 2/64 24185 /proc/meminfo: memFree=1299736/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=271816 CPUtime=49.96 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 67187 0 0 0 4827 169 0 0 25 0 1 0 196812198 278339584 66979 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524685 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 67954 66979 299 55 0 66846 0 Current children cumulated CPU time (s) 49.96 Current children cumulated vsize (Kb) 271816 [startup+60.0347 s] /proc/loadavg: 0.95 1.01 0.99 2/64 24185 /proc/meminfo: memFree=1279896/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=291624 CPUtime=59.96 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 72204 0 0 0 5820 176 0 0 25 0 1 0 196812198 298622976 71939 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 72906 71939 299 55 0 71798 0 Current children cumulated CPU time (s) 59.96 Current children cumulated vsize (Kb) 291624 [startup+70.041 s] /proc/loadavg: 0.95 1.01 0.99 2/64 24185 /proc/meminfo: memFree=1273112/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=298344 CPUtime=69.97 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 73895 0 0 0 6815 182 0 0 25 0 1 0 196812198 305504256 73630 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134629206 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 74586 73630 299 55 0 73478 0 Current children cumulated CPU time (s) 69.97 Current children cumulated vsize (Kb) 298344 [startup+80.0474 s] /proc/loadavg: 0.96 1.01 0.99 2/64 24185 /proc/meminfo: memFree=1268248/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=303184 CPUtime=79.97 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 75115 0 0 0 7810 187 0 0 25 0 1 0 196812198 310460416 74850 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 75796 74850 299 55 0 74688 0 Current children cumulated CPU time (s) 79.97 Current children cumulated vsize (Kb) 303184 [startup+90.0537 s] /proc/loadavg: 0.97 1.00 0.99 2/64 24185 /proc/meminfo: memFree=1260888/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=310580 CPUtime=89.98 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 76947 0 0 0 8806 192 0 0 25 0 1 0 196812198 318033920 76682 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 77645 76682 299 55 0 76537 0 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 310580 [startup+100.06 s] /proc/loadavg: 0.97 1.00 0.99 2/64 24185 /proc/meminfo: memFree=1251096/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=320288 CPUtime=99.98 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 79398 0 0 0 9802 196 0 0 25 0 1 0 196812198 327974912 79118 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548382 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 80072 79118 299 55 0 78964 0 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 320288 [startup+110.066 s] /proc/loadavg: 0.97 1.00 0.99 2/64 24185 /proc/meminfo: memFree=1244312/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=326848 CPUtime=109.99 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 81536 0 0 0 10798 201 0 0 25 0 1 0 196812198 334692352 80767 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 81712 80767 299 55 0 80604 0 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 326848 [startup+120.073 s] /proc/loadavg: 0.98 1.00 0.99 2/64 24185 /proc/meminfo: memFree=1244312/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=326848 CPUtime=119.99 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 81536 0 0 0 11797 202 0 0 25 0 1 0 196812198 334692352 80767 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 81712 80767 299 55 0 80604 0 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 326848 [startup+130.079 s] /proc/loadavg: 0.98 1.00 0.99 2/64 24185 /proc/meminfo: memFree=1244312/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=326848 CPUtime=129.99 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 81536 0 0 0 12793 206 0 0 25 0 1 0 196812198 334692352 80767 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 81712 80767 299 55 0 80604 0 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 326848 [startup+140.085 s] /proc/loadavg: 0.98 1.00 0.99 2/64 24185 /proc/meminfo: memFree=1233496/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=337808 CPUtime=139.99 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 84276 0 0 0 13789 210 0 0 25 0 1 0 196812198 345915392 83507 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 84452 83507 299 55 0 83344 0 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 337808 [startup+150.092 s] /proc/loadavg: 0.99 1.00 0.99 2/64 24185 /proc/meminfo: memFree=1233496/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=337808 CPUtime=150 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 84276 0 0 0 14787 213 0 0 25 0 1 0 196812198 345915392 83507 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 84452 83507 299 55 0 83344 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 337808 [startup+160.098 s] /proc/loadavg: 0.99 1.00 0.99 2/64 24185 /proc/meminfo: memFree=1228888/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=342200 CPUtime=160 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 85723 0 0 0 15783 217 0 0 25 0 1 0 196812198 350412800 84605 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134525055 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 85550 84605 299 55 0 84442 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 342200 [startup+170.104 s] /proc/loadavg: 0.99 1.00 0.99 2/64 24185 /proc/meminfo: memFree=1228888/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=342200 CPUtime=170 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 85866 0 0 0 16780 220 0 0 25 0 1 0 196812198 350412800 84605 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158102984 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 85550 84605 299 55 0 84442 0 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 342200 [startup+180.111 s] /proc/loadavg: 0.99 1.00 0.99 2/64 24185 /proc/meminfo: memFree=1205016/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=366276 CPUtime=180.01 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 92249 0 0 0 17773 228 0 0 25 0 1 0 196812198 375066624 90618 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 91569 90618 299 55 0 90461 0 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 366276 [startup+190.117 s] /proc/loadavg: 0.99 1.00 0.99 2/64 24185 /proc/meminfo: memFree=1204760/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=366540 CPUtime=190.01 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 92309 0 0 0 18773 228 0 0 25 0 1 0 196812198 375336960 90678 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603636 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 91635 90678 299 55 0 90527 0 Current children cumulated CPU time (s) 190.01 Current children cumulated vsize (Kb) 366540 [startup+200.124 s] /proc/loadavg: 0.99 1.00 0.99 2/64 24185 /proc/meminfo: memFree=1203736/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=367548 CPUtime=200.01 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 92810 0 0 0 19772 229 0 0 25 0 1 0 196812198 376369152 90933 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 91887 90933 299 55 0 90779 0 Current children cumulated CPU time (s) 200.01 Current children cumulated vsize (Kb) 367548 [startup+210.13 s] /proc/loadavg: 0.99 1.00 0.99 2/64 24185 /proc/meminfo: memFree=1187800/2055920 swapFree=4181416/4192956 ################ # More data... # ################ Current children cumulated CPU time (s) 1180.36 Current children cumulated vsize (Kb) 1517628 [startup+1190.75 s] /proc/loadavg: 0.99 1.00 0.99 2/64 24185 /proc/meminfo: memFree=52888/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=1517760 CPUtime=1190.36 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 382945 0 0 0 118439 597 0 0 25 0 1 0 196812198 1554186240 378033 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12312292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 379440 378033 299 55 0 378332 0 Current children cumulated CPU time (s) 1190.36 Current children cumulated vsize (Kb) 1517760 [startup+1200.76 s] /proc/loadavg: 0.99 1.00 0.99 2/64 24185 /proc/meminfo: memFree=52696/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=1518024 CPUtime=1200.36 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 382988 0 0 0 119439 597 0 0 25 0 1 0 196812198 1554456576 378076 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551564 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 379506 378076 299 55 0 378398 0 Current children cumulated CPU time (s) 1200.36 Current children cumulated vsize (Kb) 1518024 [startup+1210.77 s] /proc/loadavg: 0.99 1.00 0.99 2/64 24185 /proc/meminfo: memFree=52696/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=1518024 CPUtime=1210.37 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 382996 0 0 0 120439 598 0 0 25 0 1 0 196812198 1554456576 378084 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524677 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 379506 378084 299 55 0 378398 0 Current children cumulated CPU time (s) 1210.37 Current children cumulated vsize (Kb) 1518024 [startup+1220.77 s] /proc/loadavg: 0.99 1.00 0.99 2/64 24185 /proc/meminfo: memFree=15896/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=1570212 CPUtime=1220.36 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 396015 0 0 0 121430 606 0 0 25 0 1 0 196812198 1607897088 391099 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 392553 391099 299 55 0 391445 0 Current children cumulated CPU time (s) 1220.36 Current children cumulated vsize (Kb) 1570212 [startup+1230.78 s] /proc/loadavg: 0.99 1.00 0.99 2/64 24185 /proc/meminfo: memFree=15832/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=1614956 CPUtime=1230.37 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 407212 0 0 0 122422 615 0 0 25 0 1 0 196812198 1653714944 402290 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 403739 402290 299 55 0 402631 0 Current children cumulated CPU time (s) 1230.37 Current children cumulated vsize (Kb) 1614956 [startup+1240.79 s] /proc/loadavg: 0.99 1.00 0.99 2/64 24185 /proc/meminfo: memFree=15832/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=1614956 CPUtime=1240.37 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 407212 0 0 0 123419 618 0 0 25 0 1 0 196812198 1653714944 402290 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537690 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 403739 402290 299 55 0 402631 0 Current children cumulated CPU time (s) 1240.37 Current children cumulated vsize (Kb) 1614956 [startup+1250.79 s] /proc/loadavg: 0.99 1.00 0.99 2/64 24185 /proc/meminfo: memFree=15832/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=1615088 CPUtime=1250.37 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 407247 0 0 0 124417 620 0 0 25 0 1 0 196812198 1653850112 402323 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529381 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 403772 402323 299 55 0 402664 0 Current children cumulated CPU time (s) 1250.37 Current children cumulated vsize (Kb) 1615088 [startup+1260.8 s] /proc/loadavg: 0.99 1.00 0.99 2/64 24185 /proc/meminfo: memFree=15640/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=1615352 CPUtime=1260.37 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 407314 0 0 0 125416 621 0 0 25 0 1 0 196812198 1654120448 402390 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 403838 402390 299 55 0 402730 0 Current children cumulated CPU time (s) 1260.37 Current children cumulated vsize (Kb) 1615352 [startup+1270.8 s] /proc/loadavg: 0.99 1.00 0.99 2/64 24185 /proc/meminfo: memFree=15192/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=1617396 CPUtime=1270.37 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 407844 0 0 0 126414 623 0 0 25 0 1 0 196812198 1656213504 402903 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 404349 402903 299 55 0 403241 0 Current children cumulated CPU time (s) 1270.37 Current children cumulated vsize (Kb) 1617396 [startup+1280.81 s] /proc/loadavg: 0.99 1.00 0.99 2/64 24185 /proc/meminfo: memFree=15192/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=1617396 CPUtime=1280.38 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 407844 0 0 0 127412 626 0 0 25 0 1 0 196812198 1656213504 402903 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 404349 402903 299 55 0 403241 0 Current children cumulated CPU time (s) 1280.38 Current children cumulated vsize (Kb) 1617396 [startup+1290.82 s] /proc/loadavg: 0.99 1.00 0.99 2/64 24185 /proc/meminfo: memFree=16280/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=1625612 CPUtime=1290.38 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 409878 0 0 0 128408 630 0 0 25 0 1 0 196812198 1664626688 404933 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 406403 404933 299 55 0 405295 0 Current children cumulated CPU time (s) 1290.38 Current children cumulated vsize (Kb) 1625612 [startup+1300.82 s] /proc/loadavg: 0.99 1.00 0.99 2/64 24185 /proc/meminfo: memFree=16344/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=1665620 CPUtime=1300.38 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 419874 0 0 0 129403 635 0 0 25 0 1 0 196812198 1705594880 414925 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134629211 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 416405 414925 299 55 0 415297 0 Current children cumulated CPU time (s) 1300.38 Current children cumulated vsize (Kb) 1665620 [startup+1310.83 s] /proc/loadavg: 0.99 1.00 0.99 2/64 24185 /proc/meminfo: memFree=16344/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=1665744 CPUtime=1310.37 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 419895 0 0 0 130402 635 0 0 25 0 1 0 196812198 1705721856 414946 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 416436 414946 299 55 0 415328 0 Current children cumulated CPU time (s) 1310.37 Current children cumulated vsize (Kb) 1665744 [startup+1320.84 s] /proc/loadavg: 0.99 1.00 0.99 2/64 24185 /proc/meminfo: memFree=16344/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=1665744 CPUtime=1320.38 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 419895 0 0 0 131402 636 0 0 25 0 1 0 196812198 1705721856 414946 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134633165 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 416436 414946 299 55 0 415328 0 Current children cumulated CPU time (s) 1320.38 Current children cumulated vsize (Kb) 1665744 [startup+1330.84 s] /proc/loadavg: 0.99 1.00 0.99 2/64 24185 /proc/meminfo: memFree=16344/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=1665744 CPUtime=1330.38 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 419899 0 0 0 132402 636 0 0 25 0 1 0 196812198 1705721856 414950 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 416436 414950 299 55 0 415328 0 Current children cumulated CPU time (s) 1330.38 Current children cumulated vsize (Kb) 1665744 [startup+1340.85 s] /proc/loadavg: 0.99 1.00 0.99 2/64 24185 /proc/meminfo: memFree=16344/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=1665744 CPUtime=1340.39 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 419900 0 0 0 133402 637 0 0 25 0 1 0 196812198 1705721856 414951 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 416436 414951 299 55 0 415328 0 Current children cumulated CPU time (s) 1340.39 Current children cumulated vsize (Kb) 1665744 [startup+1350.85 s] /proc/loadavg: 0.99 1.00 0.99 2/64 24185 /proc/meminfo: memFree=15000/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=1670312 CPUtime=1350.39 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 421022 0 0 0 134400 639 0 0 25 0 1 0 196812198 1710399488 416072 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134523845 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 417578 416072 299 55 0 416470 0 Current children cumulated CPU time (s) 1350.39 Current children cumulated vsize (Kb) 1670312 [startup+1360.86 s] /proc/loadavg: 0.99 1.00 0.99 2/64 24185 /proc/meminfo: memFree=14872/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=1670448 CPUtime=1360.39 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 421061 0 0 0 135400 639 0 0 25 0 1 0 196812198 1710538752 416111 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 417612 416111 299 55 0 416504 0 Current children cumulated CPU time (s) 1360.39 Current children cumulated vsize (Kb) 1670448 [startup+1370.87 s] /proc/loadavg: 0.99 1.00 0.99 2/64 24185 /proc/meminfo: memFree=16344/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=1670448 CPUtime=1370.39 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 421074 0 0 0 136399 640 0 0 25 0 1 0 196812198 1710538752 416124 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 417612 416124 299 55 0 416504 0 Current children cumulated CPU time (s) 1370.39 Current children cumulated vsize (Kb) 1670448 [startup+1380.87 s] /proc/loadavg: 0.99 1.00 0.99 2/64 24185 /proc/meminfo: memFree=15832/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=1717036 CPUtime=1380.37 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 432793 0 0 0 137391 646 0 0 25 0 1 0 196812198 1758244864 427727 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24185/statm: 429259 427727 299 55 0 428151 0 Current children cumulated CPU time (s) 1380.37 Current children cumulated vsize (Kb) 1717036 [startup+1390.88 s] /proc/loadavg: 0.99 1.00 0.99 2/64 24185 /proc/meminfo: memFree=15640/2055920 swapFree=4181416/4192956 [pid=24185] ppid=24183 vsize=1833048 CPUtime=1390.35 /proc/24185/stat : 24185 (bsolo) R 24183 24185 24139 0 -1 0 461735 0 0 0 138370 665 0 0 25 0 1 0 196812198 1877041152 456646 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24185/statm: 458262 456646 299 55 0 457154 0 Current children cumulated CPU time (s) 1390.35 Current children cumulated vsize (Kb) 1833048 Child ended because it received signal 6 (SIGABRT) Real time (s): 1393.34 CPU time (s): 1392.8 CPU user time (s): 1385.85 CPU system time (s): 6.95394 CPU usage (%): 99.9613 Max. virtual memory (cumulated for all children) (Kb): 1833048 The end
Begin job on node13 on Sat Jun 3 05:11:36 UTC 2006 FILE ID= 40679-1149311496 PBS_JOBID= 308030 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sctap1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node13/40679-1149311496/instance-40679-1149311496.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-40679-1149311496 -o ROOT/results/node13/solver-40679-1149311496 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node13/40679-1149311496/instance-40679-1149311496.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 6b31328f3b1919c6fa8863a0d0ba0bd8 RANDOM SEED= 823026862 /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.234 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.234 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: 1567128 kB Buffers: 29820 kB Cached: 386752 kB SwapCached: 3056 kB Active: 31520 kB Inactive: 393580 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1567128 kB SwapTotal: 4192956 kB SwapFree: 4181416 kB Dirty: 208 kB Writeback: 0 kB Mapped: 14664 kB Slab: 49628 kB Committed_AS: 321808 kB PageTables: 1492 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node13 on Sat Jun 3 05:34:49 UTC 2006