Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| bsolo 2006/05 | SAT | 1955183806343750 | 1800.25 | 1800.92 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-bell3a.opb |
| MD5SUM | efa7fb1a840e9d48ac9b28aadc8f53ba |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1265489823134155 |
| Best CPU time to get the best result obtained on this benchmark | 1800.34 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 257546671029920 |
| Optimality of the best value was proved | NO |
| Number of variables | 2219 |
| Total number of constraints | 151 |
| Number of constraints which are clauses | 22 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 129 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 191 |
| Number of terms in the objective function | 1716 |
| Biggest coefficient in the objective function | 5134096531456000 |
| Number of bits for the biggest coefficient in the objective function | 53 |
| Sum of the numbers in the objective function | 216401520151185266 |
| Number of bits of the sum of numbers in the objective function | 58 |
| Biggest number in a constraint | 5134096531456000 |
| Number of bits of the biggest number in a constraint | 53 |
| Biggest sum of numbers in a constraint | 216401520151185266 |
| Number of bits of the biggest sum of numbers | 58 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.01 c BIG Int formula... 0.05 c Initial problem consists of 2219 variables and 151 constraints. 0.05 c No problem reductions applied in OPT. instance. 0.05 c preprocess terminated. Elapsed time: 0.045 0.05 c After prepocess the problem consists of 1757 variables and 133 constraints. 0.05 c Initial Lower Bound: 0 0.16 c Restart #1 #Var: 1757 LB: 0 @ 0.147 0.37 c Restart #2 #Var: 1757 LB: 0 @ 0.358 0.69 c Restart #3 #Var: 1757 LB: 0 @ 0.679 1.18 c Restart #4 #Var: 1757 LB: 0 @ 1.175 1.75 c Restart #5 #Var: 1757 LB: 0 @ 1.742 2.36 c Restart #6 #Var: 1757 LB: 0 @ 2.351 2.37 c Sol. found (all assignments made)... 2.37 o 9573355297245680 2.37 c NEW SOLUTION FOUND: 9573355297245680 @ 2.357 2.37 c Sol. found (all assignments made)... 2.37 c Sol. found (all assignments made)... 2.37 c Sol. found (all assignments made)... 2.37 o 9311211297245680 2.37 c NEW SOLUTION FOUND: 9311211297245680 @ 2.358 2.37 c Sol. found (all assignments made)... 2.37 c Sol. found (all assignments made)... 2.37 o 9049067297245680 2.37 c NEW SOLUTION FOUND: 9049067297245680 @ 2.358 2.37 c Sol. found (all assignments made)... 2.37 o 8786923297245680 2.37 c NEW SOLUTION FOUND: 8786923297245680 @ 2.358 2.37 c Sol. found (all assignments made)... 2.37 c Sol. found (all assignments made)... 2.37 o 8524779297245680 2.37 c NEW SOLUTION FOUND: 8524779297245680 @ 2.359 2.37 c Sol. found (all assignments made)... 2.37 o 8262635297245680 2.37 c NEW SOLUTION FOUND: 8262635297245680 @ 2.359 2.37 c Sol. found (all assignments made)... 2.37 o 8000491297245680 2.37 c NEW SOLUTION FOUND: 8000491297245680 @ 2.36 2.37 c Sol. found (all assignments made)... 2.37 o 7738347297245680 2.37 c NEW SOLUTION FOUND: 7738347297245680 @ 2.36 2.37 c Sol. found (all assignments made)... 2.37 o 7476203297245680 2.37 c NEW SOLUTION FOUND: 7476203297245680 @ 2.361 2.37 c Sol. found (all assignments made)... 2.37 o 7214059297245680 2.37 c NEW SOLUTION FOUND: 7214059297245680 @ 2.361 2.37 c Sol. found (all assignments made)... 2.37 o 6951915297245680 2.37 c NEW SOLUTION FOUND: 6951915297245680 @ 2.362 2.37 c Sol. found (all assignments made)... 2.37 o 6689771297245680 2.37 c NEW SOLUTION FOUND: 6689771297245680 @ 2.362 2.37 c Sol. found (all assignments made)... 2.37 o 6427627297245680 2.37 c NEW SOLUTION FOUND: 6427627297245680 @ 2.363 2.37 c Sol. found (all assignments made)... 2.37 o 6296555297245680 2.37 c NEW SOLUTION FOUND: 6296555297245680 @ 2.364 2.37 c Sol. found (all assignments made)... 2.37 o 6165483297245680 2.37 c NEW SOLUTION FOUND: 6165483297245680 @ 2.364 2.37 c Sol. found (all assignments made)... 2.37 o 6034411297245680 2.37 c NEW SOLUTION FOUND: 6034411297245680 @ 2.365 2.38 c Sol. found (all assignments made)... 2.38 o 5903339297245680 2.38 c NEW SOLUTION FOUND: 5903339297245680 @ 2.365 2.38 c Sol. found (all assignments made)... 2.38 o 5772267297245680 2.38 c NEW SOLUTION FOUND: 5772267297245680 @ 2.366 2.38 c Sol. found (all assignments made)... 2.38 o 5641195297245680 2.38 c NEW SOLUTION FOUND: 5641195297245680 @ 2.366 2.38 c Sol. found (all assignments made)... 2.38 o 5510123297245680 2.38 c NEW SOLUTION FOUND: 5510123297245680 @ 2.367 2.38 c Sol. found (all assignments made)... 2.38 o 5379051297245680 2.38 c NEW SOLUTION FOUND: 5379051297245680 @ 2.367 2.38 c Sol. found (all assignments made)... 2.38 o 5247979297245680 2.38 c NEW SOLUTION FOUND: 5247979297245680 @ 2.369 2.38 c Sol. found (all assignments made)... 2.38 o 5116907297245680 2.38 c NEW SOLUTION FOUND: 5116907297245680 @ 2.37 2.38 c Sol. found (all assignments made)... 2.38 o 4985835297245680 2.38 c NEW SOLUTION FOUND: 4985835297245680 @ 2.37 2.39 c Sol. found (all assignments made)... 2.39 o 4854763297245680 2.39 c NEW SOLUTION FOUND: 4854763297245680 @ 2.375 2.39 c Sol. found (all assignments made)... 2.39 c Sol. found (all assignments made)... 2.39 c Sol. found (all assignments made)... 2.39 c Sol. found (all assignments made)... 2.39 c Sol. found (all assignments made)... 2.39 c Sol. found (all assignments made)... 2.39 c Sol. found (all assignments made)... 2.39 o 4723691297245680 2.39 c NEW SOLUTION FOUND: 4723691297245680 @ 2.378 2.39 c Sol. found (all assignments made)... 2.39 c Sol. found (all assignments made)... 2.39 o 4545105697245680 2.39 c NEW SOLUTION FOUND: 4545105697245680 @ 2.379 2.39 c Sol. found (all assignments made)... 2.39 o 4414033697245680 2.39 c NEW SOLUTION FOUND: 4414033697245680 @ 2.38 2.39 c Sol. found (all assignments made)... 2.39 c Sol. found (all assignments made)... 2.39 o 4282961697245680 2.39 c NEW SOLUTION FOUND: 4282961697245680 @ 2.38 2.39 c Sol. found (all assignments made)... 2.39 o 4235448097245680 2.39 c NEW SOLUTION FOUND: 4235448097245680 @ 2.382 2.39 c Sol. found (all assignments made)... 2.39 o 3973304097245680 2.39 c NEW SOLUTION FOUND: 3973304097245680 @ 2.382 2.39 c Sol. found (all assignments made)... 2.39 o 3842232097245680 2.39 c NEW SOLUTION FOUND: 3842232097245680 @ 2.382 2.39 c Sol. found (all assignments made)... 2.39 o 3663646497245680 2.39 c NEW SOLUTION FOUND: 3663646497245680 @ 2.384 2.39 c Sol. found (all assignments made)... 2.39 o 3401502497245680 2.39 c NEW SOLUTION FOUND: 3401502497245680 @ 2.384 2.40 c Sol. found (all assignments made)... 2.40 c Sol. found (all assignments made)... 2.47 c Sol. found (all assignments made)... 2.47 o 3383480097245680 2.47 c NEW SOLUTION FOUND: 3383480097245680 @ 2.456 2.47 c Sol. found (all assignments made)... 2.47 o 3359723297245680 2.47 c NEW SOLUTION FOUND: 3359723297245680 @ 2.461 2.49 c Sol. found (all assignments made)... 2.49 o 3335966497245680 2.49 c NEW SOLUTION FOUND: 3335966497245680 @ 2.479 2.50 c Sol. found (all assignments made)... 2.50 o 3317944097245680 2.50 c NEW SOLUTION FOUND: 3317944097245680 @ 2.494 2.51 c Sol. found (all assignments made)... 2.51 o 3294187297245680 2.51 c NEW SOLUTION FOUND: 3294187297245680 @ 2.498 2.52 c Sol. found (all assignments made)... 2.52 o 3270430497245680 2.52 c NEW SOLUTION FOUND: 3270430497245680 @ 2.511 2.58 c Sol. found (all assignments made)... 2.58 o 3252408097245680 2.58 c NEW SOLUTION FOUND: 3252408097245680 @ 2.574 2.58 c Sol. found (all assignments made)... 2.58 o 3228651297245680 2.58 c NEW SOLUTION FOUND: 3228651297245680 @ 2.575 2.59 c Sol. found (all assignments made)... 2.59 o 3204894497245680 2.59 c NEW SOLUTION FOUND: 3204894497245680 @ 2.583 2.63 c Sol. found (all assignments made)... 2.63 o 3186872097245680 2.63 c NEW SOLUTION FOUND: 3186872097245680 @ 2.622 2.63 c Sol. found (all assignments made)... 2.63 o 3163115297245680 2.63 c NEW SOLUTION FOUND: 3163115297245680 @ 2.625 2.64 c Sol. found (all assignments made)... 2.64 o 3139358497245680 2.64 c NEW SOLUTION FOUND: 3139358497245680 @ 2.63 2.73 c Sol. found (all assignments made)... 2.73 o 3097579297245680 2.73 c NEW SOLUTION FOUND: 3097579297245680 @ 2.716 2.74 c Sol. found (all assignments made)... 2.74 o 3073822497245680 2.74 c NEW SOLUTION FOUND: 3073822497245680 @ 2.732 2.89 c Restart #7 #Var: 1757 LB: 0 @ 2.885 3.25 c Restart #8 #Var: 1757 LB: 0 @ 3.238 3.62 c Restart #9 #Var: 1757 LB: 0 @ 3.612 3.85 c Restart #10 #Var: 1757 LB: 0 @ 3.838 4.04 c CHANGE to MIS mode... UB: 3073822497245680 MIS: 5808220 LPR: -2147483648 (0) Diff: -0.0027047 4.04 c Restart #0 #Var: 1757 LB: 0 @ 4.031 4.08 c Restart #1 #Var: 1757 LB: 5808220 @ 4.075 4.14 c Restart #2 #Var: 1757 LB: 5808220 @ 4.128 4.23 c Restart #3 #Var: 1757 LB: 5808220 @ 4.215 4.47 c Restart #4 #Var: 1757 LB: 5808220 @ 4.456 4.51 c Sol. found (all assignments made)... 4.51 o 2825141158245240 4.51 c NEW SOLUTION FOUND: 2825141158245240 @ 4.502 4.51 c Sol. found (all assignments made)... 4.51 o 2562997158245240 4.51 c NEW SOLUTION FOUND: 2562997158245240 @ 4.502 4.51 c Sol. found (all assignments made)... 4.51 o 2551630070117240 4.51 c NEW SOLUTION FOUND: 2551630070117240 @ 4.503 4.51 c Sol. found (all assignments made)... 4.51 o 2425571836261240 4.51 c NEW SOLUTION FOUND: 2425571836261240 @ 4.505 4.52 c Sol. found (all assignments made)... 4.52 o 2420558070117240 4.52 c NEW SOLUTION FOUND: 2420558070117240 @ 4.506 4.52 c Sol. found (all assignments made)... 4.52 o 2300853158245240 4.52 c NEW SOLUTION FOUND: 2300853158245240 @ 4.507 4.52 c Sol. found (all assignments made)... 4.52 o 2295839392101240 4.52 c NEW SOLUTION FOUND: 2295839392101240 @ 4.508 4.52 c Sol. found (all assignments made)... 4.52 o 2294499836261240 4.52 c NEW SOLUTION FOUND: 2294499836261240 @ 4.51 4.52 c Sol. found (all assignments made)... 4.52 o 2289486070117240 4.52 c NEW SOLUTION FOUND: 2289486070117240 @ 4.51 4.53 c Sol. found (all assignments made)... 4.53 o 2289484156466040 4.53 c NEW SOLUTION FOUND: 2289484156466040 @ 4.517 4.53 c Sol. found (all assignments made)... 4.53 o 2288481403237240 4.53 c NEW SOLUTION FOUND: 2288481403237240 @ 4.521 4.55 c Sol. found (all assignments made)... 4.55 o 2177474036069240 4.55 c NEW SOLUTION FOUND: 2177474036069240 @ 4.544 4.55 c Sol. found (all assignments made)... 4.55 o 2164767392101240 4.55 c NEW SOLUTION FOUND: 2164767392101240 @ 4.544 4.56 c Sol. found (all assignments made)... 4.56 o 2158414070117240 4.56 c NEW SOLUTION FOUND: 2158414070117240 @ 4.545 4.56 c Sol. found (all assignments made)... 4.56 o 2157409403237240 4.56 c NEW SOLUTION FOUND: 2157409403237240 @ 4.546 4.58 c Sol. found (all assignments made)... 4.58 o 2036366849176440 4.58 c NEW SOLUTION FOUND: 2036366849176440 @ 4.567 4.58 c Sol. found (all assignments made)... 4.58 o 2030348416152440 4.58 c NEW SOLUTION FOUND: 2030348416152440 @ 4.568 4.71 c Restart #5 #Var: 1757 LB: 5808220 @ 4.699 4.87 c Restart #6 #Var: 1757 LB: 5808220 @ 4.857 5.16 c Restart #7 #Var: 1757 LB: 5808220 @ 5.154 5.48 c Restart #8 #Var: 1757 LB: 5808220 @ 5.467 5.72 c Restart #9 #Var: 1757 LB: 5808220 @ 5.712 6.62 c Restart #10 #Var: 1757 LB: 5808220 @ 6.607 6.66 c Sol. found (all assignments made)... 6.66 o 1984548524232780 6.66 c NEW SOLUTION FOUND: 1984548524232780 @ 6.643 6.66 c Sol. found (all assignments made)... 6.66 o 1982634873032780 6.66 c NEW SOLUTION FOUND: 1982634873032780 @ 6.644 6.66 c Sol. found (all assignments made)... 6.66 o 1982539190472780 6.66 c NEW SOLUTION FOUND: 1982539190472780 @ 6.644 6.66 c Sol. found (all assignments made)... 6.66 o 1982419587272780 6.66 c NEW SOLUTION FOUND: 1982419587272780 @ 6.645 6.66 c Sol. found (all assignments made)... 6.66 o 1982333472968780 6.66 c NEW SOLUTION FOUND: 1982333472968780 @ 6.645 6.66 c Sol. found (all assignments made)... 6.66 o 1982285631688780 6.66 c NEW SOLUTION FOUND: 1982285631688780 @ 6.645 6.66 c Sol. found (all assignments made)... 6.66 o 1982237790408780 6.66 c NEW SOLUTION FOUND: 1982237790408780 @ 6.646 6.66 c Sol. found (all assignments made)... 6.66 o 1982225830088780 6.66 c NEW SOLUTION FOUND: 1982225830088780 @ 6.646 6.66 c Sol. found (all assignments made)... 6.66 o 1982177988808780 6.66 c NEW SOLUTION FOUND: 1982177988808780 @ 6.646 6.66 c Sol. found (all assignments made)... 6.66 o 1982166028488780 6.66 c NEW SOLUTION FOUND: 1982166028488780 @ 6.646 6.66 c Sol. found (all assignments made)... 6.66 o 1982118187208780 6.66 c NEW SOLUTION FOUND: 1982118187208780 @ 6.646 6.66 c Sol. found (all assignments made)... 6.66 o 1982088286408780 6.66 c NEW SOLUTION FOUND: 1982088286408780 @ 6.646 6.66 c Sol. found (all assignments made)... 6.66 o 1982073336008780 6.66 c NEW SOLUTION FOUND: 1982073336008780 @ 6.647 6.67 c Sol. found (all assignments made)... 6.67 o 1981537513672780 6.67 c NEW SOLUTION FOUND: 1981537513672780 @ 6.653 6.67 c Sol. found (all assignments made)... 6.67 o 1981001691336780 6.67 c NEW SOLUTION FOUND: 1981001691336780 @ 6.654 6.91 c Restart #11 #Var: 1757 LB: 5808220 @ 6.89 7.59 c Restart #12 #Var: 1757 LB: 5808220 @ 7.576 8.25 c Restart #13 #Var: 1757 LB: 5808220 @ 8.231 8.76 c Restart #14 #Var: 1748 LB: 5808220 @ 8.747 9.02 c Restart #15 #Var: 1748 LB: 5808220 @ 9 9.49 c Restart #16 #Var: 1730 LB: 5808220 @ 9.476 10.08 c Restart #17 #Var: 1730 LB: 5808220 @ 10.061 10.41 c Restart #18 #Var: 1730 LB: 5808220 @ 10.391 11.44 c Restart #19 #Var: 1730 LB: 5808220 @ 11.419 12.03 c Restart #20 #Var: 1730 LB: 5808220 @ 12.012 12.62 c Restart #21 #Var: 1730 LB: 5808220 @ 12.603 13.26 c Restart #22 #Var: 1730 LB: 5808220 @ 13.246 14.02 c Restart #23 #Var: 1730 LB: 5808220 @ 14.006 14.77 c Restart #24 #Var: 1730 LB: 5808220 @ 14.748 15.66 c Restart #25 #Var: 1730 LB: 5808220 @ 15.646 16.80 c Restart #26 #Var: 1730 LB: 5808220 @ 16.78 17.62 c Restart #27 #Var: 1730 LB: 5808220 @ 17.603 18.51 c Restart #28 #Var: 1730 LB: 5808220 @ 18.491 19.65 c Restart #29 #Var: 1730 LB: 5808220 @ 19.633 20.76 c Restart #30 #Var: 1730 LB: 5808220 @ 20.744 22.48 c Restart #31 #Var: 1730 LB: 5808220 @ 22.463 23.51 c Restart #32 #Var: 1730 LB: 5808220 @ 23.485 24.95 c Restart #33 #Var: 1730 LB: 5808220 @ 24.93 25.85 c Restart #34 #Var: 1730 LB: 5808220 @ 25.832 27.43 c Restart #35 #Var: 1730 LB: 5808220 @ 27.404 30.95 c Sol. found (all assignments made)... 30.95 o 1977819873579805 30.95 c NEW SOLUTION FOUND: 1977819873579805 @ 30.922 30.95 c Sol. found (all assignments made)... 30.95 o 1977817774829805 30.95 c NEW SOLUTION FOUND: 1977817774829805 @ 30.923 30.95 c Sol. found (all assignments made)... 30.95 o 1977817772639805 30.95 c NEW SOLUTION FOUND: 1977817772639805 @ 30.923 30.95 c Sol. found (all assignments made)... 30.95 o 1977817631019805 30.95 c NEW SOLUTION FOUND: 1977817631019805 @ 30.924 30.95 c Sol. found (all assignments made)... 30.95 o 1977817603732405 30.95 c NEW SOLUTION FOUND: 1977817603732405 @ 30.925 30.95 c Sol. found (all assignments made)... 30.95 o 1977817601819805 30.95 c NEW SOLUTION FOUND: 1977817601819805 @ 30.925 30.95 c Sol. found (all assignments made)... 30.95 o 1977817485019805 30.95 c NEW SOLUTION FOUND: 1977817485019805 @ 30.925 30.95 c Sol. found (all assignments made)... 30.95 o 1977816635737805 30.95 c NEW SOLUTION FOUND: 1977816635737805 @ 30.926 30.95 c Sol. found (all assignments made)... 30.95 o 1977816402137805 30.95 c NEW SOLUTION FOUND: 1977816402137805 @ 30.927 30.95 c Sol. found (all assignments made)... 30.95 o 1977816261977805 30.95 c NEW SOLUTION FOUND: 1977816261977805 @ 30.927 30.95 c Sol. found (all assignments made)... 30.95 o 1977816260955805 30.95 c NEW SOLUTION FOUND: 1977816260955805 @ 30.927 30.95 c Sol. found (all assignments made)... 30.95 o 1977815326555805 30.95 c NEW SOLUTION FOUND: 1977815326555805 @ 30.928 30.95 c Sol. found (all assignments made)... 30.95 o 1977815321445805 30.95 c NEW SOLUTION FOUND: 1977815321445805 @ 30.928 30.95 c Sol. found (all assignments made)... 30.95 o 1977815312594555 30.95 c NEW SOLUTION FOUND: 1977815312594555 @ 30.929 30.95 c Sol. found (all assignments made)... 30.95 o 1977815032274555 30.95 c NEW SOLUTION FOUND: 1977815032274555 @ 30.931 30.96 c Sol. found (all assignments made)... 30.96 o 1977815031179555 30.96 c NEW SOLUTION FOUND: 1977815031179555 @ 30.932 30.96 c Sol. found (all assignments made)... 30.96 c Sol. found (all assignments made)... 30.96 o 1977815028624555 30.96 c NEW SOLUTION FOUND: 1977815028624555 @ 30.935 30.96 c Sol. found (all assignments made)... 30.96 o 1977815019864555 30.96 c NEW SOLUTION FOUND: 1977815019864555 @ 30.936 30.96 c Sol. found (all assignments made)... 30.96 o 1977815019736805 30.96 c NEW SOLUTION FOUND: 1977815019736805 @ 30.937 30.96 c Sol. found (all assignments made)... 30.96 o 1977814552536805 30.96 c NEW SOLUTION FOUND: 1977814552536805 @ 30.938 30.96 c Sol. found (all assignments made)... 30.96 o 1977814550346805 30.96 c NEW SOLUTION FOUND: 1977814550346805 @ 30.939 30.96 c Sol. found (all assignments made)... 30.96 o 1977814538666805 30.96 c NEW SOLUTION FOUND: 1977814538666805 @ 30.94 30.96 c Sol. found (all assignments made)... 30.96 o 1977812296106805 30.96 c NEW SOLUTION FOUND: 1977812296106805 @ 30.941 30.97 c Sol. found (all assignments made)... 30.97 o 1977812233618805 30.97 c NEW SOLUTION FOUND: 1977812233618805 @ 30.943 30.97 c Sol. found (all assignments made)... 30.97 o 1977812225442805 30.97 c NEW SOLUTION FOUND: 1977812225442805 @ 30.943 30.97 c Sol. found (all assignments made)... 30.97 o 1977812219602805 30.97 c NEW SOLUTION FOUND: 1977812219602805 @ 30.945 30.97 c Sol. found (all assignments made)... 30.97 o 1977812172882805 30.97 c NEW SOLUTION FOUND: 1977812172882805 @ 30.946 30.97 c Sol. found (all assignments made)... 30.97 o 1977812098568805 30.97 c NEW SOLUTION FOUND: 1977812098568805 @ 30.947 30.97 c Sol. found (all assignments made)... 30.97 o 1977812079442805 30.97 c NEW SOLUTION FOUND: 1977812079442805 @ 30.947 30.97 c Sol. found (all assignments made)... 30.97 o 1977770218322805 30.97 c NEW SOLUTION FOUND: 1977770218322805 @ 30.948 30.97 c Sol. found (all assignments made)... 30.97 o 1977770124882805 30.97 c NEW SOLUTION FOUND: 1977770124882805 @ 30.95 30.97 c Sol. found (all assignments made)... 30.97 o 1977770092178805 30.97 c NEW SOLUTION FOUND: 1977770092178805 @ 30.951 30.98 c Sol. found (all assignments made)... 30.98 o 1977770091923305 30.98 c NEW SOLUTION FOUND: 1977770091923305 @ 30.953 30.98 c Sol. found (all assignments made)... 30.98 o 1977769525443305 30.98 c NEW SOLUTION FOUND: 1977769525443305 @ 30.954 30.98 c Sol. found (all assignments made)... 30.98 o 1977769510011105 30.98 c NEW SOLUTION FOUND: 1977769510011105 @ 30.956 30.98 c Sol. found (all assignments made)... 30.98 o 1977769508098505 30.98 c NEW SOLUTION FOUND: 1977769508098505 @ 30.959 30.98 c Sol. found (all assignments made)... 30.98 o 1977769506054505 30.98 c NEW SOLUTION FOUND: 1977769506054505 @ 30.961 30.99 c Sol. found (all assignments made)... 30.99 o 1977769465174505 30.99 c NEW SOLUTION FOUND: 1977769465174505 @ 30.964 30.99 c Sol. found (all assignments made)... 30.99 o 1977768904534505 30.99 c NEW SOLUTION FOUND: 1977768904534505 @ 30.966 30.99 c Sol. found (all assignments made)... 30.99 o 1977768857814505 30.99 c NEW SOLUTION FOUND: 1977768857814505 @ 30.969 30.99 c Sol. found (all assignments made)... 30.99 o 1977767549654505 30.99 c NEW SOLUTION FOUND: 1977767549654505 @ 30.971 31.00 c Sol. found (all assignments made)... 31.00 o 1977767549399005 31.00 c NEW SOLUTION FOUND: 1977767549399005 @ 30.972 31.00 c Sol. found (all assignments made)... 31.00 o 1977747366359005 31.00 c NEW SOLUTION FOUND: 1977747366359005 @ 30.974 31.00 c Sol. found (all assignments made)... 31.00 o 1977743628759005 31.00 c NEW SOLUTION FOUND: 1977743628759005 @ 30.975 31.00 c Sol. found (all assignments made)... 31.00 o 1977742694359005 31.00 c NEW SOLUTION FOUND: 1977742694359005 @ 30.976 31.00 c Sol. found (all assignments made)... 31.00 o 1977478520791005 31.00 c NEW SOLUTION FOUND: 1977478520791005 @ 30.978 31.00 c Sol. found (all assignments made)... 31.00 o 1977474800711005 31.00 c NEW SOLUTION FOUND: 1977474800711005 @ 30.979 31.00 c Sol. found (all assignments made)... 31.00 o 1977474783191005 31.00 c NEW SOLUTION FOUND: 1977474783191005 @ 30.979 31.00 c Sol. found (all assignments made)... 31.00 o 1977474713111005 31.00 c NEW SOLUTION FOUND: 1977474713111005 @ 30.981 31.01 c Sol. found (all assignments made)... 31.01 o 1977474703548005 31.01 c NEW SOLUTION FOUND: 1977474703548005 @ 30.982 31.01 c Sol. found (all assignments made)... 31.01 o 1976450703548005 31.01 c NEW SOLUTION FOUND: 1976450703548005 @ 30.984 31.01 c Sol. found (all assignments made)... 31.01 o 1976450329788005 31.01 c NEW SOLUTION FOUND: 1976450329788005 @ 30.986 31.01 c Sol. found (all assignments made)... 31.01 o 1976449395388005 31.01 c NEW SOLUTION FOUND: 1976449395388005 @ 30.986 31.01 c Sol. found (all assignments made)... 31.01 o 1976448872124005 31.01 c NEW SOLUTION FOUND: 1976448872124005 @ 30.988 31.01 c Sol. found (all assignments made)... 31.01 o 1976448124604005 31.01 c NEW SOLUTION FOUND: 1976448124604005 @ 30.991 31.02 c Sol. found (all assignments made)... 31.02 o 1976448117304005 31.02 c NEW SOLUTION FOUND: 1976448117304005 @ 30.994 31.02 c Sol. found (all assignments made)... 31.02 o 1976448088104005 31.02 c NEW SOLUTION FOUND: 1976448088104005 @ 30.998 31.03 c Sol. found (all assignments made)... 31.03 o 1976448070584005 31.03 c NEW SOLUTION FOUND: 1976448070584005 @ 31.003 31.03 c Sol. found (all assignments made)... 31.03 o 1976448023864005 31.03 c NEW SOLUTION FOUND: 1976448023864005 @ 31.006 31.03 c Sol. found (all assignments made)... 31.03 o 1976447429717005 31.03 c NEW SOLUTION FOUND: 1976447429717005 @ 31.011 31.03 c Sol. found (all assignments made)... 31.03 o 1976447419314505 31.03 c NEW SOLUTION FOUND: 1976447419314505 @ 31.011 31.03 c Sol. found (all assignments made)... 31.03 o 1976447412014505 31.03 c NEW SOLUTION FOUND: 1976447412014505 @ 31.012 31.04 c Sol. found (all assignments made)... 31.04 o 1976447411832005 31.04 c NEW SOLUTION FOUND: 1976447411832005 @ 31.012 31.04 c Sol. found (all assignments made)... 31.04 o 1976447346424005 31.04 c NEW SOLUTION FOUND: 1976447346424005 @ 31.013 31.04 c Sol. found (all assignments made)... 31.04 o 1976447182904005 31.04 c NEW SOLUTION FOUND: 1976447182904005 @ 31.013 31.04 c Sol. found (all assignments made)... 31.04 o 1976446902584005 31.04 c NEW SOLUTION FOUND: 1976446902584005 @ 31.014 31.04 c Sol. found (all assignments made)... 31.04 o 1976446435384005 31.04 c NEW SOLUTION FOUND: 1976446435384005 @ 31.016 31.04 c Sol. found (all assignments made)... 31.04 o 1976446431558805 31.04 c NEW SOLUTION FOUND: 1976446431558805 @ 31.019 31.04 c Sol. found (all assignments made)... 31.04 o 1975661637958805 31.04 c NEW SOLUTION FOUND: 1975661637958805 @ 31.021 31.05 c Sol. found (all assignments made)... 31.05 o 1975422431558805 31.05 c NEW SOLUTION FOUND: 1975422431558805 @ 31.023 31.06 c Sol. found (all assignments made)... 31.06 o 1975418097767805 31.06 c NEW SOLUTION FOUND: 1975418097767805 @ 31.04 31.06 c Sol. found (all assignments made)... 31.06 o 1975418095942805 31.06 c NEW SOLUTION FOUND: 1975418095942805 @ 31.041 31.07 c Sol. found (all assignments made)... 31.07 o 1975410622567805 31.07 c NEW SOLUTION FOUND: 1975410622567805 @ 31.052 31.08 c Sol. found (all assignments made)... 31.08 o 1975410620742805 31.08 c NEW SOLUTION FOUND: 1975410620742805 @ 31.052 31.08 c Sol. found (all assignments made)... 31.08 o 1975410614917405 31.08 c NEW SOLUTION FOUND: 1975410614917405 @ 31.058 31.08 c Sol. found (all assignments made)... 31.08 o 1975410613092405 31.08 c NEW SOLUTION FOUND: 1975410613092405 @ 31.059 31.09 c Sol. found (all assignments made)... 31.09 o 1975410474757405 31.09 c NEW SOLUTION FOUND: 1975410474757405 @ 31.065 31.09 c Sol. found (all assignments made)... 31.09 o 1975410472932405 31.09 c NEW SOLUTION FOUND: 1975410472932405 @ 31.068 31.21 c Sol. found (all assignments made)... 31.21 o 1975032332993705 31.21 c NEW SOLUTION FOUND: 1975032332993705 @ 31.186 31.21 c Sol. found (all assignments made)... 31.21 o 1974985986753705 31.21 c NEW SOLUTION FOUND: 1974985986753705 @ 31.186 31.21 c Sol. found (all assignments made)... 31.21 o 1974985985797405 31.21 c NEW SOLUTION FOUND: 1974985985797405 @ 31.187 31.21 c Sol. found (all assignments made)... 31.21 o 1974984885139905 31.21 c NEW SOLUTION FOUND: 1974984885139905 @ 31.189 31.21 c Sol. found (all assignments made)... 31.21 o 1974984873459905 31.21 c NEW SOLUTION FOUND: 1974984873459905 @ 31.189 31.21 c Sol. found (all assignments made)... 31.21 o 1974984867619905 31.21 c NEW SOLUTION FOUND: 1974984867619905 @ 31.19 31.21 c Sol. found (all assignments made)... 31.21 o 1974984867437405 31.21 c NEW SOLUTION FOUND: 1974984867437405 @ 31.19 31.21 c Sol. found (all assignments made)... 31.21 o 1974984864517405 31.21 c NEW SOLUTION FOUND: 1974984864517405 @ 31.191 31.21 c Sol. found (all assignments made)... 31.21 o 1974984490757405 31.21 c NEW SOLUTION FOUND: 1974984490757405 @ 31.191 31.22 c Sol. found (all assignments made)... 31.22 o 1974984488932405 31.22 c NEW SOLUTION FOUND: 1974984488932405 @ 31.192 31.22 c Sol. found (all assignments made)... 31.22 o 1974506076132405 31.22 c NEW SOLUTION FOUND: 1974506076132405 @ 31.193 31.22 c Sol. found (all assignments made)... 31.22 o 1974386472932405 31.22 c NEW SOLUTION FOUND: 1974386472932405 @ 31.194 31.22 c Sol. found (all assignments made)... 31.22 o 1973482076132405 31.22 c NEW SOLUTION FOUND: 1973482076132405 @ 31.196 31.22 c Sol. found (all assignments made)... 31.22 o 1973362472932405 31.22 c NEW SOLUTION FOUND: 1973362472932405 @ 31.198 31.22 c Sol. found (all assignments made)... 31.22 o 1972458076132405 31.22 c NEW SOLUTION FOUND: 1972458076132405 @ 31.201 31.23 c Sol. found (all assignments made)... 31.23 o 1972338472932405 31.23 c NEW SOLUTION FOUND: 1972338472932405 @ 31.202 31.96 c Restart #36 #Var: 1730 LB: 5808220 @ 31.94 33.47 c Restart #37 #Var: 1730 LB: 5808220 @ 33.441 37.47 c Restart #38 #Var: 1730 LB: 5808220 @ 37.442 39.46 c Restart #39 #Var: 1730 LB: 5808220 @ 39.434 41.88 c Restart #40 #Var: 1730 LB: 5808220 @ 41.849 51.11 c Restart #41 #Var: 1730 LB: 5808220 @ 51.075 57.67 c Restart #42 #Var: 1730 LB: 5808220 @ 57.641 63.48 c Restart #43 #Var: 1730 LB: 5808220 @ 63.445 67.28 c Restart #44 #Var: 1730 LB: 5808220 @ 67.239 69.35 c Restart #45 #Var: 1730 LB: 5808220 @ 69.315 71.51 c Restart #46 #Var: 1730 LB: 5808220 @ 71.473 73.31 c Restart #47 #Var: 1730 LB: 5808220 @ 73.27 76.32 c Restart #48 #Var: 1730 LB: 5808220 @ 76.282 78.74 c Restart #49 #Var: 1730 LB: 5808220 @ 78.702 80.43 c Restart #50 #Var: 1730 LB: 5808220 @ 80.393 88.28 c Restart #51 #Var: 1730 LB: 5808220 @ 88.236 101.42 c Restart #52 #Var: 1730 LB: 5808220 @ 101.37 104.91 c Restart #53 #Var: 1730 LB: 5808220 @ 104.86 110.45 c Restart #54 #Var: 1730 LB: 5808220 @ 110.4 114.25 c Restart #55 #Var: 1730 LB: 5808220 @ 114.2 116.78 c Restart #56 #Var: 1730 LB: 5808220 @ 116.73 119.38 c Restart #57 #Var: 1730 LB: 5808220 @ 119.32 122.11 c Restart #58 #Var: 1730 LB: 5808220 @ 122.06 125.48 c Restart #59 #Var: 1730 LB: 5808220 @ 125.42 128.31 c Restart #60 #Var: 1730 LB: 5808220 @ 128.25 132.76 c Restart #61 #Var: 1730 LB: 5808220 @ 132.7 135.49 c Restart #62 #Var: 1730 LB: 5808220 @ 135.42 140.41 c Restart #63 #Var: 1730 LB: 5808220 @ 140.34 146.20 c Restart #64 #Var: 1730 LB: 5808220 @ 146.13 152.26 c Restart #65 #Var: 1730 LB: 5808220 @ 152.19 161.21 c Restart #66 #Var: 1730 LB: 5808220 @ 161.14 168.10 c Restart #67 #Var: 1730 LB: 5808220 @ 168.03 172.58 c Restart #68 #Var: 1730 LB: 5808220 @ 172.51 176.98 c Restart #69 #Var: 1730 LB: 5808220 @ 176.91 201.21 c Restart #70 #Var: 1730 LB: 5808220 @ 201.12 204.31 c Restart #71 #Var: 1730 LB: 5808220 @ 204.22 208.01 c Restart #72 #Var: 1729 LB: 5808220 @ 207.92 217.06 c Restart #73 #Var: 1729 LB: 5808220 @ 216.97 224.00 c Restart #74 #Var: 1729 LB: 5808220 @ 223.91 231.37 c Restart #75 #Var: 1729 LB: 5808220 @ 231.28 234.69 c Restart #76 #Var: 1729 LB: 5808220 @ 234.59 240.76 c Restart #77 #Var: 1729 LB: 5808220 @ 240.66 248.42 c Restart #78 #Var: 1729 LB: 5808220 @ 248.32 262.09 c Restart #79 #Var: 1729 LB: 5808220 @ 261.98 273.54 c Restart #80 #Var: 1729 LB: 5808220 @ 273.43 325.14 c Restart #81 #Var: 1729 LB: 5808220 @ 325.01 329.33 c Restart #82 #Var: 1729 LB: 5808220 @ 329.2 333.51 c Restart #83 #Var: 1729 LB: 5808220 @ 333.38 395.43 c Restart #84 #Var: 1729 LB: 5808220 @ 395.27 434.53 c Restart #85 #Var: 1729 LB: 5808220 @ 434.37 497.76 c Restart #86 #Var: 1729 LB: 5808220 @ 497.56 512.78 c Restart #87 #Var: 1729 LB: 5808220 @ 512.59 520.60 c Restart #88 #Var: 1729 LB: 5808220 @ 520.4 527.18 c Restart #89 #Var: 1729 LB: 5808220 @ 526.98 538.28 c Restart #90 #Var: 1729 LB: 5808220 @ 538.07 563.28 c Restart #91 #Var: 1729 LB: 5808220 @ 563.07 568.44 c Restart #92 #Var: 1729 LB: 5808220 @ 568.22 586.42 c Restart #93 #Var: 1729 LB: 5808220 @ 586.19 593.75 c Restart #94 #Var: 1729 LB: 5808220 @ 593.52 602.21 c Restart #95 #Var: 1729 LB: 5808220 @ 601.98 619.84 c Restart #96 #Var: 1729 LB: 5808220 @ 619.6 704.48 c Restart #97 #Var: 1729 LB: 5808220 @ 704.22 714.67 c Restart #98 #Var: 1729 LB: 5808220 @ 714.4 738.32 c Restart #99 #Var: 1729 LB: 5808220 @ 738.04 743.91 c Restart #100 #Var: 1729 LB: 5808220 @ 743.63 754.88 c Restart #101 #Var: 1729 LB: 5808220 @ 754.6 794.77 c Restart #102 #Var: 1729 LB: 5808220 @ 794.47 866.27 c Restart #103 #Var: 1729 LB: 5808220 @ 865.94 898.22 c Restart #104 #Var: 1729 LB: 5808220 @ 897.88 915.19 c Restart #105 #Var: 1729 LB: 5808220 @ 914.85 975.03 c Restart #106 #Var: 1729 LB: 5808220 @ 974.66 1028.81 c Restart #107 #Var: 1729 LB: 5808220 @ 1028.4 1035.25 c Restart #108 #Var: 1729 LB: 5808220 @ 1034.9 1040.21 c Restart #109 #Var: 1729 LB: 5808220 @ 1039.8 1047.76 c Restart #110 #Var: 1729 LB: 5808220 @ 1047.4 1065.77 c Restart #111 #Var: 1729 LB: 5808220 @ 1065.4 1074.49 c Restart #112 #Var: 1729 LB: 5808220 @ 1074.1 1116.11 c Restart #113 #Var: 1729 LB: 5808220 @ 1115.7 1120.55 c Restart #114 #Var: 1729 LB: 5808220 @ 1120.1 1126.73 c Restart #115 #Var: 1729 LB: 5808220 @ 1126.3 1134.02 c Restart #116 #Var: 1729 LB: 5808220 @ 1133.6 1197.99 c Restart #117 #Var: 1729 LB: 5808220 @ 1197.5 1215.19 c Restart #118 #Var: 1729 LB: 5808220 @ 1214.7 1221.92 c Restart #119 #Var: 1729 LB: 5808220 @ 1221.5 1228.96 c Restart #120 #Var: 1729 LB: 5808220 @ 1228.5 1423.50 c Restart #121 #Var: 1729 LB: 5808220 @ 1423 1434.90 c Restart #122 #Var: 1729 LB: 5808220 @ 1434.4 1513.73 c Restart #123 #Var: 1729 LB: 5808220 @ 1513.2 1519.54 c Sol. found (all assignments made)... 1519.54 o 1972181889993257 1519.54 c NEW SOLUTION FOUND: 1972181889993257 @ 1519 1519.54 c Sol. found (all assignments made)... 1519.54 o 1972181879335257 1519.54 c NEW SOLUTION FOUND: 1972181879335257 @ 1519 1519.54 c Sol. found (all assignments made)... 1519.54 c Sol. found (all assignments made)... 1519.54 o 1972181878313257 1519.54 c NEW SOLUTION FOUND: 1972181878313257 @ 1519 1519.54 c Sol. found (all assignments made)... 1519.54 o 1972181355049257 1519.54 c NEW SOLUTION FOUND: 1972181355049257 @ 1519 1519.54 c Sol. found (all assignments made)... 1519.54 o 1972181352859257 1519.54 c NEW SOLUTION FOUND: 1972181352859257 @ 1519 1519.54 c Sol. found (all assignments made)... 1519.54 o 1972181345559257 1519.54 c NEW SOLUTION FOUND: 1972181345559257 @ 1519 1519.55 c Sol. found (all assignments made)... 1519.55 o 1972181344829257 1519.55 c NEW SOLUTION FOUND: 1972181344829257 @ 1519 1519.55 c Sol. found (all assignments made)... 1519.55 o 1972181338989257 1519.55 c NEW SOLUTION FOUND: 1972181338989257 @ 1519 1519.55 c Sol. found (all assignments made)... 1519.55 o 1972181337529257 1519.55 c NEW SOLUTION FOUND: 1972181337529257 @ 1519 1519.55 c Sol. found (all assignments made)... 1519.55 o 1972181332419257 1519.55 c NEW SOLUTION FOUND: 1972181332419257 @ 1519 1519.55 c Sol. found (all assignments made)... 1519.55 o 1972179933272057 1519.55 c NEW SOLUTION FOUND: 1972179933272057 @ 1519 1519.55 c Sol. found (all assignments made)... 1519.55 o 1972176493979257 1519.55 c NEW SOLUTION FOUND: 1972176493979257 @ 1519 1519.55 c Sol. found (all assignments made)... 1519.55 o 1972176464779257 1519.55 c NEW SOLUTION FOUND: 1972176464779257 @ 1519 1519.55 c Sol. found (all assignments made)... 1519.55 o 1972176181539257 1519.55 c NEW SOLUTION FOUND: 1972176181539257 @ 1519 1519.55 c Sol. found (all assignments made)... 1519.55 o 1972176099779257 1519.55 c NEW SOLUTION FOUND: 1972176099779257 @ 1519 1519.55 c Sol. found (all assignments made)... 1519.55 o 1972159542211257 1519.55 c NEW SOLUTION FOUND: 1972159542211257 @ 1519 1519.55 c Sol. found (all assignments made)... 1519.55 o 1972157807964857 1519.55 c NEW SOLUTION FOUND: 1972157807964857 @ 1519 1519.55 c Sol. found (all assignments made)... 1519.55 o 1972157800372857 1519.55 c NEW SOLUTION FOUND: 1972157800372857 @ 1519 1519.55 c Sol. found (all assignments made)... 1519.55 o 1972157799350857 1519.55 c NEW SOLUTION FOUND: 1972157799350857 @ 1519 1519.55 c Sol. found (all assignments made)... 1519.55 o 1972157788729357 1519.55 c NEW SOLUTION FOUND: 1972157788729357 @ 1519 1519.56 c Sol. found (all assignments made)... 1519.56 o 1972157787670857 1519.56 c NEW SOLUTION FOUND: 1972157787670857 @ 1519 1519.56 c Sol. found (all assignments made)... 1519.56 o 1972157554070857 1519.56 c NEW SOLUTION FOUND: 1972157554070857 @ 1519 1519.56 c Sol. found (all assignments made)... 1519.56 o 1972157434350857 1519.56 c NEW SOLUTION FOUND: 1972157434350857 @ 1519 1519.56 c Sol. found (all assignments made)... 1519.56 o 1972157434168357 1519.56 c NEW SOLUTION FOUND: 1972157434168357 @ 1519 1519.56 c Sol. found (all assignments made)... 1519.56 o 1972157432890857 1519.56 c NEW SOLUTION FOUND: 1972157432890857 @ 1519 1519.56 c Sol. found (all assignments made)... 1519.56 o 1972157431430857 1519.56 c NEW SOLUTION FOUND: 1972157431430857 @ 1519 1519.56 c Sol. found (all assignments made)... 1519.56 o 1972148367750857 1519.56 c NEW SOLUTION FOUND: 1972148367750857 @ 1519 1519.56 c Sol. found (all assignments made)... 1519.56 o 1972148362144457 1519.56 c NEW SOLUTION FOUND: 1972148362144457 @ 1519 1519.56 c Sol. found (all assignments made)... 1519.56 o 1972148360450857 1519.56 c NEW SOLUTION FOUND: 1972148360450857 @ 1519 1519.56 c Sol. found (all assignments made)... 1519.56 o 1972148359939857 1519.56 c NEW SOLUTION FOUND: 1972148359939857 @ 1519 1519.57 c Sol. found (all assignments made)... 1519.57 o 1972141011759857 1519.57 c NEW SOLUTION FOUND: 1972141011759857 @ 1519 1519.57 c Sol. found (all assignments made)... 1519.57 o 1972140892039857 1519.57 c NEW SOLUTION FOUND: 1972140892039857 @ 1519 1519.57 c Sol. found (all assignments made)... 1519.57 o 1972140884739857 1519.57 c NEW SOLUTION FOUND: 1972140884739857 @ 1519 1519.57 c Sol. found (all assignments made)... 1519.57 o 1972140883046257 1519.57 c NEW SOLUTION FOUND: 1972140883046257 @ 1519 1519.57 c Sol. found (all assignments made)... 1519.57 o 1972140882261507 1519.57 c NEW SOLUTION FOUND: 1972140882261507 @ 1519 1519.57 c Sol. found (all assignments made)... 1519.57 o 1972140874961507 1519.57 c NEW SOLUTION FOUND: 1972140874961507 @ 1519 1519.57 c Sol. found (all assignments made)... 1519.57 o 1972140874538107 1519.57 c NEW SOLUTION FOUND: 1972140874538107 @ 1519 1519.58 c Sol. found (all assignments made)... 1519.58 o 1972140871618107 1519.58 c NEW SOLUTION FOUND: 1972140871618107 @ 1519 1519.58 c Sol. found (all assignments made)... 1519.58 o 1972140842418107 1519.58 c NEW SOLUTION FOUND: 1972140842418107 @ 1519 1519.58 c Sol. found (all assignments made)... 1519.58 o 1972140820518107 1519.58 c NEW SOLUTION FOUND: 1972140820518107 @ 1519 1519.58 c Sol. found (all assignments made)... 1519.58 o 1972140813218107 1519.58 c NEW SOLUTION FOUND: 1972140813218107 @ 1519 1519.58 c Sol. found (all assignments made)... 1519.58 o 1972140812488107 1519.58 c NEW SOLUTION FOUND: 1972140812488107 @ 1519 1519.59 c Sol. found (all assignments made)... 1519.59 o 1972140810152107 1519.59 c NEW SOLUTION FOUND: 1972140810152107 @ 1519 1519.59 c Sol. found (all assignments made)... 1519.59 o 1972140690432107 1519.59 c NEW SOLUTION FOUND: 1972140690432107 @ 1519 1519.59 c Sol. found (all assignments made)... 1519.59 o 1972140683132107 1519.59 c NEW SOLUTION FOUND: 1972140683132107 @ 1519 1519.59 c Sol. found (all assignments made)... 1519.59 o 1972140566332107 1519.59 c NEW SOLUTION FOUND: 1972140566332107 @ 1519 1519.59 c Sol. found (all assignments made)... 1519.59 o 1972140565456107 1519.59 c NEW SOLUTION FOUND: 1972140565456107 @ 1519 1519.59 c Sol. found (all assignments made)... 1519.59 o 1972140558156107 1519.59 c NEW SOLUTION FOUND: 1972140558156107 @ 1519 1519.60 c Sol. found (all assignments made)... 1519.60 o 1972139818052907 1519.60 c NEW SOLUTION FOUND: 1972139818052907 @ 1519 1519.60 c Sol. found (all assignments made)... 1519.60 o 1972139691032907 1519.60 c NEW SOLUTION FOUND: 1972139691032907 @ 1519 1519.60 c Sol. found (all assignments made)... 1519.60 o 1972139673512907 1519.60 c NEW SOLUTION FOUND: 1972139673512907 @ 1519 1519.61 c Sol. found (all assignments made)... 1519.61 o 1972139670592907 1519.61 c NEW SOLUTION FOUND: 1972139670592907 @ 1519 1519.61 c Sol. found (all assignments made)... 1519.61 o 1972139663292907 1519.61 c NEW SOLUTION FOUND: 1972139663292907 @ 1519 1519.61 c Sol. found (all assignments made)... 1519.61 o 1972136052712907 1519.61 c NEW SOLUTION FOUND: 1972136052712907 @ 1519.1 1519.61 c Sol. found (all assignments made)... 1519.61 o 1972135925692907 1519.61 c NEW SOLUTION FOUND: 1972135925692907 @ 1519.1 1519.62 c Sol. found (all assignments made)... 1519.62 o 1972135920582907 1519.62 c NEW SOLUTION FOUND: 1972135920582907 @ 1519.1 1519.62 c Sol. found (all assignments made)... 1519.62 o 1972135920477057 1519.62 c NEW SOLUTION FOUND: 1972135920477057 @ 1519.1 1519.63 c Sol. found (all assignments made)... 1519.63 o 1972135895073057 1519.63 c NEW SOLUTION FOUND: 1972135895073057 @ 1519.1 1519.63 c Sol. found (all assignments made)... 1519.63 o 1972135887773057 1519.63 c NEW SOLUTION FOUND: 1972135887773057 @ 1519.1 1519.63 c Sol. found (all assignments made)... 1519.63 o 1972135887225557 1519.63 c NEW SOLUTION FOUND: 1972135887225557 @ 1519.1 1519.63 c Sol. found (all assignments made)... 1519.63 o 1972135887043057 1519.63 c NEW SOLUTION FOUND: 1972135887043057 @ 1519.1 1519.64 c Sol. found (all assignments made)... 1519.64 o 1972135861182807 1519.64 c NEW SOLUTION FOUND: 1972135861182807 @ 1519.1 1519.64 c Sol. found (all assignments made)... 1519.64 o 1972135861055057 1519.64 c NEW SOLUTION FOUND: 1972135861055057 @ 1519.1 1519.64 c Sol. found (all assignments made)... 1519.64 o 1972135741335057 1519.64 c NEW SOLUTION FOUND: 1972135741335057 @ 1519.1 1519.64 c Sol. found (all assignments made)... 1519.64 o 1972135734035057 1519.64 c NEW SOLUTION FOUND: 1972135734035057 @ 1519.1 1519.65 c Sol. found (all assignments made)... 1519.65 o 1972135733078757 1519.65 c NEW SOLUTION FOUND: 1972135733078757 @ 1519.1 1519.66 c Sol. found (all assignments made)... 1519.66 o 1972135663115557 1519.66 c NEW SOLUTION FOUND: 1972135663115557 @ 1519.1 1519.66 c Sol. found (all assignments made)... 1519.66 o 1972135662268757 1519.66 c NEW SOLUTION FOUND: 1972135662268757 @ 1519.1 1519.66 c Sol. found (all assignments made)... 1519.66 o 1972135654968757 1519.66 c NEW SOLUTION FOUND: 1972135654968757 @ 1519.1 1519.66 c Sol. found (all assignments made)... 1519.66 o 1972135651318757 1519.66 c NEW SOLUTION FOUND: 1972135651318757 @ 1519.1 1519.67 c Sol. found (all assignments made)... 1519.67 o 1972135629418757 1519.67 c NEW SOLUTION FOUND: 1972135629418757 @ 1519.1 1519.67 c Sol. found (all assignments made)... 1519.67 o 1972135622118757 1519.67 c NEW SOLUTION FOUND: 1972135622118757 @ 1519.1 1519.67 c Sol. found (all assignments made)... 1519.67 o 1972135621907057 1519.67 c NEW SOLUTION FOUND: 1972135621907057 @ 1519.1 1519.68 c Sol. found (all assignments made)... 1519.68 o 1972135616797057 1519.68 c NEW SOLUTION FOUND: 1972135616797057 @ 1519.1 1519.68 c Sol. found (all assignments made)... 1519.68 o 1972135613877057 1519.68 c NEW SOLUTION FOUND: 1972135613877057 @ 1519.1 1519.68 c Sol. found (all assignments made)... 1519.68 o 1972135610227057 1519.68 c NEW SOLUTION FOUND: 1972135610227057 @ 1519.1 1519.69 c Sol. found (all assignments made)... 1519.69 o 1972135609341932 1519.69 c NEW SOLUTION FOUND: 1972135609341932 @ 1519.1 1519.69 c Sol. found (all assignments made)... 1519.69 o 1972134690563932 1519.69 c NEW SOLUTION FOUND: 1972134690563932 @ 1519.1 1519.69 c Sol. found (all assignments made)... 1519.69 o 1972130504451932 1519.69 c NEW SOLUTION FOUND: 1972130504451932 @ 1519.1 1519.70 c Sol. found (all assignments made)... 1519.70 o 1972130503721932 1519.70 c NEW SOLUTION FOUND: 1972130503721932 @ 1519.1 1519.70 c Sol. found (all assignments made)... 1519.70 o 1972130418019932 1519.70 c NEW SOLUTION FOUND: 1972130418019932 @ 1519.1 1519.70 c Sol. found (all assignments made)... 1519.70 o 1972130387651932 1519.70 c NEW SOLUTION FOUND: 1972130387651932 @ 1519.1 1519.70 c Sol. found (all assignments made)... 1519.70 o 1972130380351932 1519.70 c NEW SOLUTION FOUND: 1972130380351932 @ 1519.1 1519.71 c Sol. found (all assignments made)... 1519.71 o 1972130376701932 1519.71 c NEW SOLUTION FOUND: 1972130376701932 @ 1519.1 1519.71 c Sol. found (all assignments made)... 1519.71 o 1972128055593932 1519.71 c NEW SOLUTION FOUND: 1972128055593932 @ 1519.2 1519.71 c Sol. found (all assignments made)... 1519.71 o 1972127935143932 1519.71 c NEW SOLUTION FOUND: 1972127935143932 @ 1519.2 1519.72 c Sol. found (all assignments made)... 1519.72 o 1972127932223932 1519.72 c NEW SOLUTION FOUND: 1972127932223932 @ 1519.2 1519.72 c Sol. found (all assignments made)... 1519.72 o 1972127928573932 1519.72 c NEW SOLUTION FOUND: 1972127928573932 @ 1519.2 1519.72 c Sol. found (all assignments made)... 1519.72 o 1971793167363932 1519.72 c NEW SOLUTION FOUND: 1971793167363932 @ 1519.2 1519.73 c Sol. found (all assignments made)... 1519.73 o 1971793166633932 1519.73 c NEW SOLUTION FOUND: 1971793166633932 @ 1519.2 1519.73 c Sol. found (all assignments made)... 1519.73 o 1971793047643932 1519.73 c NEW SOLUTION FOUND: 1971793047643932 @ 1519.2 1519.73 c Sol. found (all assignments made)... 1519.73 o 1971793040343932 1519.73 c NEW SOLUTION FOUND: 1971793040343932 @ 1519.2 1519.74 c Sol. found (all assignments made)... 1519.74 o 1971793039613932 1519.74 c NEW SOLUTION FOUND: 1971793039613932 @ 1519.2 1519.74 c Sol. found (all assignments made)... 1519.74 o 1971793039102932 1519.74 c NEW SOLUTION FOUND: 1971793039102932 @ 1519.2 1519.74 c Sol. found (all assignments made)... 1519.74 o 1971759677226932 1519.74 c NEW SOLUTION FOUND: 1971759677226932 @ 1519.2 1519.75 c Sol. found (all assignments made)... 1519.75 o 1971759557506932 1519.75 c NEW SOLUTION FOUND: 1971759557506932 @ 1519.2 1519.75 c Sol. found (all assignments made)... 1519.75 o 1971759550206932 1519.75 c NEW SOLUTION FOUND: 1971759550206932 @ 1519.2 1519.76 c Sol. found (all assignments made)... 1519.76 o 1971759549995232 1519.76 c NEW SOLUTION FOUND: 1971759549995232 @ 1519.2 1519.76 c Sol. found (all assignments made)... 1519.76 o 1971729776215232 1519.76 c NEW SOLUTION FOUND: 1971729776215232 @ 1519.2 1519.76 c Sol. found (all assignments made)... 1519.76 o 1971729656495232 1519.76 c NEW SOLUTION FOUND: 1971729656495232 @ 1519.2 1519.77 c Sol. found (all assignments made)... 1519.77 o 1971729649195232 1519.77 c NEW SOLUTION FOUND: 1971729649195232 @ 1519.2 1519.77 c Sol. found (all assignments made)... 1519.77 o 1971729540804832 1519.77 c NEW SOLUTION FOUND: 1971729540804832 @ 1519.2 1519.78 c Sol. found (all assignments made)... 1519.78 o 1971727051504832 1519.78 c NEW SOLUTION FOUND: 1971727051504832 @ 1519.2 1519.78 c Sol. found (all assignments made)... 1519.78 o 1971726931784832 1519.78 c NEW SOLUTION FOUND: 1971726931784832 @ 1519.2 1519.78 c Sol. found (all assignments made)... 1519.78 o 1971726924484832 1519.78 c NEW SOLUTION FOUND: 1971726924484832 @ 1519.2 1519.79 c Sol. found (all assignments made)... 1519.79 o 1971726677744832 1519.79 c NEW SOLUTION FOUND: 1971726677744832 @ 1519.2 1519.80 c Sol. found (all assignments made)... 1519.80 o 1971726550724832 1519.80 c NEW SOLUTION FOUND: 1971726550724832 @ 1519.2 1519.81 c Sol. found (all assignments made)... 1519.81 o 1971726549400826 1519.81 c NEW SOLUTION FOUND: 1971726549400826 @ 1519.2 1519.81 c Sol. found (all assignments made)... 1519.81 o 1971726549399882 1519.81 c NEW SOLUTION FOUND: 1971726549399882 @ 1519.2 1519.81 c Sol. found (all assignments made)... 1519.81 o 1971726549107882 1519.81 c NEW SOLUTION FOUND: 1971726549107882 @ 1519.3 1519.82 c Sol. found (all assignments made)... 1519.82 o 1971726519615882 1519.82 c NEW SOLUTION FOUND: 1971726519615882 @ 1519.3 1519.83 c Sol. found (all assignments made)... 1519.83 o 1971726515527882 1519.83 c NEW SOLUTION FOUND: 1971726515527882 @ 1519.3 1519.83 c Sol. found (all assignments made)... 1519.83 o 1971726508227882 1519.83 c NEW SOLUTION FOUND: 1971726508227882 @ 1519.3 1519.84 c Sol. found (all assignments made)... 1519.84 o 1971725411183882 1519.84 c NEW SOLUTION FOUND: 1971725411183882 @ 1519.3 1519.86 c Sol. found (all assignments made)... 1519.86 o 1971725291463882 1519.86 c NEW SOLUTION FOUND: 1971725291463882 @ 1519.3 1519.86 c Sol. found (all assignments made)... 1519.86 o 1971725284163882 1519.86 c NEW SOLUTION FOUND: 1971725284163882 @ 1519.3 1519.88 c Sol. found (all assignments made)... 1519.88 o 1971725254963882 1519.88 c NEW SOLUTION FOUND: 1971725254963882 @ 1519.3 1519.88 c Sol. found (all assignments made)... 1519.88 o 1971725247663882 1519.88 c NEW SOLUTION FOUND: 1971725247663882 @ 1519.3 1519.89 c Sol. found (all assignments made)... 1519.89 o 1971725226493882 1519.89 c NEW SOLUTION FOUND: 1971725226493882 @ 1519.3 1519.90 c Sol. found (all assignments made)... 1519.90 o 1971725226128882 1519.90 c NEW SOLUTION FOUND: 1971725226128882 @ 1519.3 1519.90 c Sol. found (all assignments made)... 1519.90 o 1971725225763882 1519.90 c NEW SOLUTION FOUND: 1971725225763882 @ 1519.3 1519.91 c Sol. found (all assignments made)... 1519.91 o 1971715007953882 1519.91 c NEW SOLUTION FOUND: 1971715007953882 @ 1519.3 1519.92 c Sol. found (all assignments made)... 1519.92 o 1971715005033882 1519.92 c NEW SOLUTION FOUND: 1971715005033882 @ 1519.4 1519.93 c Sol. found (all assignments made)... 1519.93 o 1971715004303882 1519.93 c NEW SOLUTION FOUND: 1971715004303882 @ 1519.4 1519.93 c Sol. found (all assignments made)... 1519.93 o 1971714888233882 1519.93 c NEW SOLUTION FOUND: 1971714888233882 @ 1519.4 1519.94 c Sol. found (all assignments made)... 1519.94 o 1971714887503882 1519.94 c NEW SOLUTION FOUND: 1971714887503882 @ 1519.4 1519.95 c Sol. found (all assignments made)... 1519.95 o 1971714876553882 1519.95 c NEW SOLUTION FOUND: 1971714876553882 @ 1519.4 1519.95 c Sol. found (all assignments made)... 1519.95 o 1971714872641082 1519.95 c NEW SOLUTION FOUND: 1971714872641082 @ 1519.4 1519.96 c Sol. found (all assignments made)... 1519.96 o 1971714869253882 1519.96 c NEW SOLUTION FOUND: 1971714869253882 @ 1519.4 1519.96 c Sol. found (all assignments made)... 1519.96 o 1971714865603882 1519.96 c NEW SOLUTION FOUND: 1971714865603882 @ 1519.4 1519.97 c Sol. found (all assignments made)... 1519.97 o 1971714783113882 1519.97 c NEW SOLUTION FOUND: 1971714783113882 @ 1519.4 1519.98 c Sol. found (all assignments made)... 1519.98 o 1971714782383882 1519.98 c NEW SOLUTION FOUND: 1971714782383882 @ 1519.4 1519.98 c Sol. found (all assignments made)... 1519.98 o 1971714760483882 1519.98 c NEW SOLUTION FOUND: 1971714760483882 @ 1519.4 1520.00 c Sol. found (all assignments made)... 1520.00 o 1971714747343882 1520.00 c NEW SOLUTION FOUND: 1971714747343882 @ 1519.4 1520.00 c Sol. found (all assignments made)... 1520.00 o 1971714732743882 1520.00 c NEW SOLUTION FOUND: 1971714732743882 @ 1519.4 1520.01 c Sol. found (all assignments made)... 1520.01 o 1971714725443882 1520.01 c NEW SOLUTION FOUND: 1971714725443882 @ 1519.4 1520.02 c Sol. found (all assignments made)... 1520.02 o 1971714725312482 1520.02 c NEW SOLUTION FOUND: 1971714725312482 @ 1519.5 1520.03 c Sol. found (all assignments made)... 1520.03 o 1971714724932882 1520.03 c NEW SOLUTION FOUND: 1971714724932882 @ 1519.5 1520.04 c Sol. found (all assignments made)... 1520.04 o 1971714718684082 1520.04 c NEW SOLUTION FOUND: 1971714718684082 @ 1519.5 1520.05 c Sol. found (all assignments made)... 1520.05 o 1971714711384082 1520.05 c NEW SOLUTION FOUND: 1971714711384082 @ 1519.5 1520.07 c Sol. found (all assignments made)... 1520.07 o 1971714693754582 1520.07 c NEW SOLUTION FOUND: 1971714693754582 @ 1519.5 1520.07 c Sol. found (all assignments made)... 1520.07 o 1971714693572082 1520.07 c NEW SOLUTION FOUND: 1971714693572082 @ 1519.5 1520.08 c Sol. found (all assignments made)... 1520.08 o 1971714576772082 1520.08 c NEW SOLUTION FOUND: 1971714576772082 @ 1519.5 1520.09 c Sol. found (all assignments made)... 1520.09 o 1971714562172082 1520.09 c NEW SOLUTION FOUND: 1971714562172082 @ 1519.5 1520.10 c Sol. found (all assignments made)... 1520.10 o 1971714554872082 1520.10 c NEW SOLUTION FOUND: 1971714554872082 @ 1519.5 1520.10 c Sol. found (all assignments made)... 1520.10 o 1971714471652082 1520.10 c NEW SOLUTION FOUND: 1971714471652082 @ 1519.5 1520.11 c Sol. found (all assignments made)... 1520.11 o 1971714449752082 1520.11 c NEW SOLUTION FOUND: 1971714449752082 @ 1519.6 1520.13 c Sol. found (all assignments made)... 1520.13 o 1971714359991282 1520.13 c NEW SOLUTION FOUND: 1971714359991282 @ 1519.6 1520.14 c Sol. found (all assignments made)... 1520.14 o 1971714349041282 1520.14 c NEW SOLUTION FOUND: 1971714349041282 @ 1519.6 1520.15 c Sol. found (all assignments made)... 1520.15 o 1971714341741282 1520.15 c NEW SOLUTION FOUND: 1971714341741282 @ 1519.6 1520.15 c Sol. found (all assignments made)... 1520.15 o 1971714338091282 1520.15 c NEW SOLUTION FOUND: 1971714338091282 @ 1519.6 1520.16 c Sol. found (all assignments made)... 1520.16 o 1971714255601282 1520.16 c NEW SOLUTION FOUND: 1971714255601282 @ 1519.6 1520.17 c Sol. found (all assignments made)... 1520.17 o 1971714254871282 1520.17 c NEW SOLUTION FOUND: 1971714254871282 @ 1519.6 1520.18 c Sol. found (all assignments made)... 1520.18 o 1971714246841282 1520.18 c NEW SOLUTION FOUND: 1971714246841282 @ 1519.6 1520.18 c Sol. found (all assignments made)... 1520.18 o 1971714239541282 1520.18 c NEW SOLUTION FOUND: 1971714239541282 @ 1519.6 1520.19 c Sol. found (all assignments made)... 1520.19 o 1971714236621282 1520.19 c NEW SOLUTION FOUND: 1971714236621282 @ 1519.6 1520.20 c Sol. found (all assignments made)... 1520.20 o 1971714232971282 1520.20 c NEW SOLUTION FOUND: 1971714232971282 @ 1519.6 1520.22 c Sol. found (all assignments made)... 1520.22 o 1971714232752282 1520.22 c NEW SOLUTION FOUND: 1971714232752282 @ 1519.7 1520.23 c Sol. found (all assignments made)... 1520.23 o 1971714228324832 1520.23 c NEW SOLUTION FOUND: 1971714228324832 @ 1519.7 1520.24 c Sol. found (all assignments made)... 1520.24 o 1971714227594832 1520.24 c NEW SOLUTION FOUND: 1971714227594832 @ 1519.7 1520.25 c Sol. found (all assignments made)... 1520.25 o 1971714225977882 1520.25 c NEW SOLUTION FOUND: 1971714225977882 @ 1519.7 1520.27 c Sol. found (all assignments made)... 1520.27 o 1971714219710832 1520.27 c NEW SOLUTION FOUND: 1971714219710832 @ 1519.7 1520.27 c Sol. found (all assignments made)... 1520.27 o 1971714212410832 1520.27 c NEW SOLUTION FOUND: 1971714212410832 @ 1519.7 1520.29 c Sol. found (all assignments made)... 1520.29 o 1971714210793882 1520.29 c NEW SOLUTION FOUND: 1971714210793882 @ 1519.7 1520.31 c Sol. found (all assignments made)... 1520.31 o 1971714210063882 1520.31 c NEW SOLUTION FOUND: 1971714210063882 @ 1519.8 1520.33 c Sol. found (all assignments made)... 1520.33 o 1971546900060832 1520.33 c NEW SOLUTION FOUND: 1971546900060832 @ 1519.8 1520.33 c Sol. found (all assignments made)... 1520.33 o 1971546894220832 1520.33 c NEW SOLUTION FOUND: 1971546894220832 @ 1519.8 1520.34 c Sol. found (all assignments made)... 1520.34 o 1971546892603882 1520.34 c NEW SOLUTION FOUND: 1971546892603882 @ 1519.8 1520.35 c Sol. found (all assignments made)... 1520.35 o 1971546879620832 1520.35 c NEW SOLUTION FOUND: 1971546879620832 @ 1519.8 1520.36 c Sol. found (all assignments made)... 1520.36 o 1971546872320832 1520.36 c NEW SOLUTION FOUND: 1971546872320832 @ 1519.8 1520.37 c Sol. found (all assignments made)... 1520.37 o 1971546870703882 1520.37 c NEW SOLUTION FOUND: 1971546870703882 @ 1519.8 1520.38 c Sol. found (all assignments made)... 1520.38 o 1971546789100832 1520.38 c NEW SOLUTION FOUND: 1971546789100832 @ 1519.8 1520.39 c Sol. found (all assignments made)... 1520.39 o 1971546774500832 1520.39 c NEW SOLUTION FOUND: 1971546774500832 @ 1519.8 1520.40 c Sol. found (all assignments made)... 1520.40 o 1971546767200832 1520.40 c NEW SOLUTION FOUND: 1971546767200832 @ 1519.8 1520.41 c Sol. found (all assignments made)... 1520.41 o 1971546765583882 1520.41 c NEW SOLUTION FOUND: 1971546765583882 @ 1519.8 1520.43 c Sol. found (all assignments made)... 1520.43 o 1971546719020832 1520.43 c NEW SOLUTION FOUND: 1971546719020832 @ 1519.9 1520.44 c Sol. found (all assignments made)... 1520.44 c Sol. found (all assignments made)... 1520.44 o 1971546704420832 1520.44 c NEW SOLUTION FOUND: 1971546704420832 @ 1519.9 1520.45 c Sol. found (all assignments made)... 1520.45 o 1971546697120832 1520.45 c NEW SOLUTION FOUND: 1971546697120832 @ 1519.9 1520.47 c Sol. found (all assignments made)... 1520.47 o 1971546695503882 1520.47 c NEW SOLUTION FOUND: 1971546695503882 @ 1519.9 1520.50 c Sol. found (all assignments made)... 1520.50 o 1971546695314082 1520.50 c NEW SOLUTION FOUND: 1971546695314082 @ 1519.9 1520.52 c Sol. found (all assignments made)... 1520.52 o 1971546695106032 1520.52 c NEW SOLUTION FOUND: 1971546695106032 @ 1520 1520.53 c Sol. found (all assignments made)... 1520.53 o 1971546693489082 1520.53 c NEW SOLUTION FOUND: 1971546693489082 @ 1520 1520.55 c Sol. found (all assignments made)... 1520.55 o 1971546691950607 1520.55 c NEW SOLUTION FOUND: 1971546691950607 @ 1520 1520.58 c Sol. found (all assignments made)... 1520.58 o 1970522857222607 1520.58 c NEW SOLUTION FOUND: 1970522857222607 @ 1520 1520.62 c Sol. found (all assignments made)... 1520.62 o 1970522818970607 1520.62 c NEW SOLUTION FOUND: 1970522818970607 @ 1520.1 1520.64 c Sol. found (all assignments made)... 1520.64 o 1970522804662607 1520.64 c NEW SOLUTION FOUND: 1970522804662607 @ 1520.1 1520.66 c Sol. found (all assignments made)... 1520.66 o 1970522797362607 1520.66 c NEW SOLUTION FOUND: 1970522797362607 @ 1520.1 1520.68 c Sol. found (all assignments made)... 1520.69 o 1970522797070607 1520.69 c NEW SOLUTION FOUND: 1970522797070607 @ 1520.1 1520.71 c Sol. found (all assignments made)... 1520.71 o 1970522714580607 1520.71 c NEW SOLUTION FOUND: 1970522714580607 @ 1520.1 1520.72 c Sol. found (all assignments made)... 1520.72 o 1970522714142607 1520.72 c NEW SOLUTION FOUND: 1970522714142607 @ 1520.2 1520.76 c Sol. found (all assignments made)... 1520.76 o 1970522713850607 1520.76 c NEW SOLUTION FOUND: 1970522713850607 @ 1520.2 1520.78 c Sol. found (all assignments made)... 1520.78 o 1970522699542607 1520.78 c NEW SOLUTION FOUND: 1970522699542607 @ 1520.2 1520.80 c Sol. found (all assignments made)... 1520.80 o 1970522692242607 1520.80 c NEW SOLUTION FOUND: 1970522692242607 @ 1520.2 1520.82 c Sol. found (all assignments made)... 1520.82 o 1970522691950607 1520.82 c NEW SOLUTION FOUND: 1970522691950607 @ 1520.3 1520.84 c Sol. found (all assignments made)... 1520.84 o 1970522662312607 1520.84 c NEW SOLUTION FOUND: 1970522662312607 @ 1520.3 1520.86 c Sol. found (all assignments made)... 1520.86 o 1970522659392607 1520.86 c NEW SOLUTION FOUND: 1970522659392607 @ 1520.3 1520.88 c Sol. found (all assignments made)... 1520.88 o 1970522655012607 1520.88 c NEW SOLUTION FOUND: 1970522655012607 @ 1520.3 1520.90 c Sol. found (all assignments made)... 1520.90 o 1970522654720607 1520.90 c NEW SOLUTION FOUND: 1970522654720607 @ 1520.3 1520.92 c Sol. found (all assignments made)... 1520.92 o 1970522640120607 1520.92 c NEW SOLUTION FOUND: 1970522640120607 @ 1520.4 1520.94 c Sol. found (all assignments made)... 1520.94 o 1970522633842607 1520.94 c NEW SOLUTION FOUND: 1970522633842607 @ 1520.4 1520.96 c Sol. found (all assignments made)... 1520.96 o 1970522633550607 1520.96 c NEW SOLUTION FOUND: 1970522633550607 @ 1520.4 1520.98 c Sol. found (all assignments made)... 1520.98 o 1970522619680607 1520.98 c NEW SOLUTION FOUND: 1970522619680607 @ 1520.4 1521.00 c Sol. found (all assignments made)... 1521.00 o 1970522605372607 1521.00 c NEW SOLUTION FOUND: 1970522605372607 @ 1520.4 1521.02 c Sol. found (all assignments made)... 1521.02 o 1970522605080607 1521.02 c NEW SOLUTION FOUND: 1970522605080607 @ 1520.5 1521.04 c Sol. found (all assignments made)... 1521.04 o 1970522598510607 1521.04 c NEW SOLUTION FOUND: 1970522598510607 @ 1520.5 1521.07 c Sol. found (all assignments made)... 1521.07 o 1970522549892607 1521.07 c NEW SOLUTION FOUND: 1970522549892607 @ 1520.5 1521.09 c Sol. found (all assignments made)... 1521.09 o 1970522549600607 1521.09 c NEW SOLUTION FOUND: 1970522549600607 @ 1520.5 1521.11 c Sol. found (all assignments made)... 1521.11 o 1970522535292607 1521.11 c NEW SOLUTION FOUND: 1970522535292607 @ 1520.5 1521.12 c Sol. found (all assignments made)... 1521.12 o 1970522528722607 1521.12 c NEW SOLUTION FOUND: 1970522528722607 @ 1520.6 1521.14 c Sol. found (all assignments made)... 1521.14 o 1970522528430607 1521.14 c NEW SOLUTION FOUND: 1970522528430607 @ 1520.6 1521.57 c Sol. found (all assignments made)... 1521.57 o 1970522495086032 1521.57 c NEW SOLUTION FOUND: 1970522495086032 @ 1521 1521.59 c Sol. found (all assignments made)... 1521.59 o 1970522493626032 1521.59 c NEW SOLUTION FOUND: 1970522493626032 @ 1521 1521.61 c Sol. found (all assignments made)... 1521.61 o 1970522493469082 1521.61 c NEW SOLUTION FOUND: 1970522493469082 @ 1521 1521.63 c Sol. found (all assignments made)... 1521.63 o 1970522492009082 1521.63 c NEW SOLUTION FOUND: 1970522492009082 @ 1521.1 1521.64 c Sol. found (all assignments made)... 1521.64 o 1970522491200607 1521.64 c NEW SOLUTION FOUND: 1970522491200607 @ 1521.1 1521.67 c Sol. found (all assignments made)... 1521.67 o 1970522473186032 1521.67 c NEW SOLUTION FOUND: 1970522473186032 @ 1521.1 1521.68 c Sol. found (all assignments made)... 1521.68 o 1970522472456032 1521.68 c NEW SOLUTION FOUND: 1970522472456032 @ 1521.1 1521.70 c Sol. found (all assignments made)... 1521.70 o 1970522470839082 1521.70 c NEW SOLUTION FOUND: 1970522470839082 @ 1521.1 1521.72 c Sol. found (all assignments made)... 1521.72 o 1970522470030607 1521.72 c NEW SOLUTION FOUND: 1970522470030607 @ 1521.2 1521.79 c Sol. found (all assignments made)... 1521.79 o 1969498596612607 1521.79 c NEW SOLUTION FOUND: 1969498596612607 @ 1521.2 1521.82 c Sol. found (all assignments made)... 1521.82 o 1969498596320607 1521.82 c NEW SOLUTION FOUND: 1969498596320607 @ 1521.3 1521.89 c Sol. found (all assignments made)... 1521.89 o 1969498568086032 1521.89 c NEW SOLUTION FOUND: 1969498568086032 @ 1521.3 1521.90 c Sol. found (all assignments made)... 1521.90 o 1969498565166032 1521.90 c NEW SOLUTION FOUND: 1969498565166032 @ 1521.3 1521.92 c Sol. found (all assignments made)... 1521.92 o 1969498563706032 1521.92 c NEW SOLUTION FOUND: 1969498563706032 @ 1521.4 1521.94 c Sol. found (all assignments made)... 1521.94 o 1969498562089082 1521.94 c NEW SOLUTION FOUND: 1969498562089082 @ 1521.4 1521.95 c Sol. found (all assignments made)... 1521.95 o 1969498561280607 1521.95 c NEW SOLUTION FOUND: 1969498561280607 @ 1521.4 1521.97 c Sol. found (all assignments made)... 1521.97 o 1969498546186032 1521.97 c NEW SOLUTION FOUND: 1969498546186032 @ 1521.4 1521.99 c Sol. found (all assignments made)... 1521.99 o 1969498543266032 1521.99 c NEW SOLUTION FOUND: 1969498543266032 @ 1521.4 1522.01 c Sol. found (all assignments made)... 1522.01 o 1969498542536032 1522.01 c NEW SOLUTION FOUND: 1969498542536032 @ 1521.4 1522.02 c Sol. found (all assignments made)... 1522.02 o 1969498540919082 1522.02 c NEW SOLUTION FOUND: 1969498540919082 @ 1521.5 1522.04 c Sol. found (all assignments made)... 1522.04 o 1969498540110607 1522.04 c NEW SOLUTION FOUND: 1969498540110607 @ 1521.5 1522.10 c Sol. found (all assignments made)... 1522.10 o 1969498492301082 1522.10 c NEW SOLUTION FOUND: 1969498492301082 @ 1521.5 1522.12 c Sol. found (all assignments made)... 1522.12 o 1969498491492607 1522.12 c NEW SOLUTION FOUND: 1969498491492607 @ 1521.6 1522.14 c Sol. found (all assignments made)... 1522.14 o 1969498491200607 1522.14 c NEW SOLUTION FOUND: 1969498491200607 @ 1521.6 1522.16 c Sol. found (all assignments made)... 1522.16 o 1969498473478032 1522.16 c NEW SOLUTION FOUND: 1969498473478032 @ 1521.6 1522.18 c Sol. found (all assignments made)... 1522.18 o 1969498472748032 1522.18 c NEW SOLUTION FOUND: 1969498472748032 @ 1521.6 1522.20 c Sol. found (all assignments made)... 1522.20 o 1969498470322607 1522.20 c NEW SOLUTION FOUND: 1969498470322607 @ 1521.6 1522.23 c Sol. found (all assignments made)... 1522.23 o 1969498470030607 1522.23 c NEW SOLUTION FOUND: 1969498470030607 @ 1521.7 1522.30 c Sol. found (all assignments made)... 1522.30 o 1969498455228032 1522.30 c NEW SOLUTION FOUND: 1969498455228032 @ 1521.7 1522.33 c Sol. found (all assignments made)... 1522.33 o 1969498453611082 1522.33 c NEW SOLUTION FOUND: 1969498453611082 @ 1521.8 1522.35 c Sol. found (all assignments made)... 1522.35 o 1969498453532607 1522.35 c NEW SOLUTION FOUND: 1969498453532607 @ 1521.8 1522.39 c Sol. found (all assignments made)... 1522.39 o 1969498452802607 1522.39 c NEW SOLUTION FOUND: 1969498452802607 @ 1521.8 1522.41 c Sol. found (all assignments made)... 1522.41 o 1969498452510607 1522.41 c NEW SOLUTION FOUND: 1969498452510607 @ 1521.9 1522.54 c Sol. found (all assignments made)... 1522.54 o 1969498221159007 1522.54 c NEW SOLUTION FOUND: 1969498221159007 @ 1522 1522.55 c Sol. found (all assignments made)... 1522.55 o 1969498215319007 1522.55 c NEW SOLUTION FOUND: 1969498215319007 @ 1522 1522.62 c Sol. found (all assignments made)... 1522.62 o 1969498145531007 1522.62 c NEW SOLUTION FOUND: 1969498145531007 @ 1522.1 1522.65 c Sol. found (all assignments made)... 1522.65 o 1969498145239007 1522.65 c NEW SOLUTION FOUND: 1969498145239007 @ 1522.1 1522.72 c Sol. found (all assignments made)... 1522.72 o 1969498125607482 1522.72 c NEW SOLUTION FOUND: 1969498125607482 @ 1522.2 1522.74 c Sol. found (all assignments made)... 1522.74 o 1969498124877482 1522.74 c NEW SOLUTION FOUND: 1969498124877482 @ 1522.2 1522.78 c Sol. found (all assignments made)... 1522.78 o 1969498124069007 1522.78 c NEW SOLUTION FOUND: 1969498124069007 @ 1522.2 1522.86 c Sol. found (all assignments made)... 1522.86 o 1969498112624432 1522.86 c NEW SOLUTION FOUND: 1969498112624432 @ 1522.3 1522.88 c Sol. found (all assignments made)... 1522.88 o 1969498112467482 1522.88 c NEW SOLUTION FOUND: 1969498112467482 @ 1522.3 1522.90 c Sol. found (all assignments made)... 1522.90 o 1969498111007482 1522.90 c NEW SOLUTION FOUND: 1969498111007482 @ 1522.3 1522.92 c Sol. found (all assignments made)... 1522.92 o 1969498110199007 1522.92 c NEW SOLUTION FOUND: 1969498110199007 @ 1522.4 1522.95 c Sol. found (all assignments made)... 1522.95 o 1969498042544432 1522.95 c NEW SOLUTION FOUND: 1969498042544432 @ 1522.4 1522.97 c Sol. found (all assignments made)... 1522.97 o 1969498042387482 1522.97 c NEW SOLUTION FOUND: 1969498042387482 @ 1522.4 1522.99 c Sol. found (all assignments made)... 1522.99 o 1969498040927482 1522.99 c NEW SOLUTION FOUND: 1969498040927482 @ 1522.4 1523.01 c Sol. found (all assignments made)... 1523.01 o 1969498040119007 1523.01 c NEW SOLUTION FOUND: 1969498040119007 @ 1522.4 1523.07 c Sol. found (all assignments made)... 1523.07 o 1969498025024432 1523.07 c NEW SOLUTION FOUND: 1969498025024432 @ 1522.5 1523.09 c Sol. found (all assignments made)... 1523.09 o 1969498022104432 1523.09 c NEW SOLUTION FOUND: 1969498022104432 @ 1522.5 1523.11 c Sol. found (all assignments made)... 1523.11 o 1969498021374432 1523.11 c NEW SOLUTION FOUND: 1969498021374432 @ 1522.5 1523.13 c Sol. found (all assignments made)... 1523.13 o 1969498019757482 1523.13 c NEW SOLUTION FOUND: 1969498019757482 @ 1522.6 1523.15 c Sol. found (all assignments made)... 1523.15 o 1969498018949007 1523.15 c NEW SOLUTION FOUND: 1969498018949007 @ 1522.6 1523.36 c Sol. found (all assignments made)... 1523.36 o 1969498017912407 1523.36 c NEW SOLUTION FOUND: 1969498017912407 @ 1522.8 1523.42 c Sol. found (all assignments made)... 1523.42 o 1969498017430607 1523.42 c NEW SOLUTION FOUND: 1969498017430607 @ 1522.9 1523.63 c Sol. found (all assignments made)... 1523.63 o 1969498016720682 1523.63 c NEW SOLUTION FOUND: 1969498016720682 @ 1523.1 1523.66 c Sol. found (all assignments made)... 1523.66 o 1969498015722407 1523.66 c NEW SOLUTION FOUND: 1969498015722407 @ 1523.1 1523.69 c Sol. found (all assignments made)... 1523.69 o 1969497951020682 1523.69 c NEW SOLUTION FOUND: 1969497951020682 @ 1523.1 1523.73 c Sol. found (all assignments made)... 1523.73 o 1969497946640682 1523.73 c NEW SOLUTION FOUND: 1969497946640682 @ 1523.2 1523.75 c Sol. found (all assignments made)... 1523.75 o 1969497945642407 1523.75 c NEW SOLUTION FOUND: 1969497945642407 @ 1523.2 1523.82 c Sol. found (all assignments made)... 1523.82 o 1969497928122407 1523.82 c NEW SOLUTION FOUND: 1969497928122407 @ 1523.3 1523.84 c Sol. found (all assignments made)... 1523.84 o 1969497924472407 1523.84 c NEW SOLUTION FOUND: 1969497924472407 @ 1523.3 1524.02 c Sol. found (all assignments made)... 1524.02 o 1969497923990607 1524.02 c NEW SOLUTION FOUND: 1969497923990607 @ 1523.5 1524.11 c Sol. found (all assignments made)... 1524.11 o 1969496834120682 1524.11 c NEW SOLUTION FOUND: 1969496834120682 @ 1523.6 1524.13 c Sol. found (all assignments made)... 1524.13 o 1969496819520682 1524.13 c NEW SOLUTION FOUND: 1969496819520682 @ 1523.6 1524.15 c Sol. found (all assignments made)... 1524.15 o 1969496813680682 1524.15 c NEW SOLUTION FOUND: 1969496813680682 @ 1523.6 1524.19 c Sol. found (all assignments made)... 1524.19 o 1969496812682407 1524.19 c NEW SOLUTION FOUND: 1969496812682407 @ 1523.6 1524.23 c Sol. found (all assignments made)... 1524.23 o 1969496749440682 1524.23 c NEW SOLUTION FOUND: 1969496749440682 @ 1523.7 1524.25 c Sol. found (all assignments made)... 1524.25 o 1969496743600682 1524.25 c NEW SOLUTION FOUND: 1969496743600682 @ 1523.7 1524.27 c Sol. found (all assignments made)... 1524.27 o 1969496742602407 1524.27 c NEW SOLUTION FOUND: 1969496742602407 @ 1523.7 1524.35 c Sol. found (all assignments made)... 1524.35 o 1969496742120607 1524.35 c NEW SOLUTION FOUND: 1969496742120607 @ 1523.8 1524.50 c Sol. found (all assignments made)... 1524.50 o 1969496739682407 1524.50 c NEW SOLUTION FOUND: 1969496739682407 @ 1523.9 1524.52 c Sol. found (all assignments made)... 1524.52 o 1969496738952407 1524.52 c NEW SOLUTION FOUND: 1969496738952407 @ 1524 1524.56 c Sol. found (all assignments made)... 1524.56 o 1969496691040682 1524.56 c NEW SOLUTION FOUND: 1969496691040682 @ 1524 1524.58 c Sol. found (all assignments made)... 1524.58 o 1969496670600682 1524.58 c NEW SOLUTION FOUND: 1969496670600682 @ 1524 1524.60 c Sol. found (all assignments made)... 1524.60 o 1969496669870682 1524.60 c NEW SOLUTION FOUND: 1969496669870682 @ 1524 1524.63 c Sol. found (all assignments made)... 1524.63 o 1969496668872407 1524.63 c NEW SOLUTION FOUND: 1969496668872407 @ 1524.1 1524.83 c Sol. found (all assignments made)... 1524.83 o 1969496668390607 1524.83 c NEW SOLUTION FOUND: 1969496668390607 @ 1524.3 1524.97 c Sol. found (all assignments made)... 1524.97 o 1969496656000682 1524.97 c NEW SOLUTION FOUND: 1969496656000682 @ 1524.4 1525.00 c Sol. found (all assignments made)... 1525.00 o 1969496655002407 1525.00 c NEW SOLUTION FOUND: 1969496655002407 @ 1524.4 1525.02 c Sol. found (all assignments made)... 1525.02 o 1969496585920682 1525.02 c NEW SOLUTION FOUND: 1969496585920682 @ 1524.5 1525.04 c Sol. found (all assignments made)... 1525.04 o 1969496584922407 1525.04 c NEW SOLUTION FOUND: 1969496584922407 @ 1524.5 1525.15 c Sol. found (all assignments made)... 1525.15 o 1969496564750682 1525.15 c NEW SOLUTION FOUND: 1969496564750682 @ 1524.6 1525.17 c Sol. found (all assignments made)... 1525.17 o 1969496563752407 1525.17 c NEW SOLUTION FOUND: 1969496563752407 @ 1524.6 1525.34 c Sol. found (all assignments made)... 1525.34 o 1969496563270607 1525.34 c NEW SOLUTION FOUND: 1969496563270607 @ 1524.8 1525.43 c Sol. found (all assignments made)... 1525.43 o 1969496173202407 1525.43 c NEW SOLUTION FOUND: 1969496173202407 @ 1524.9 1525.45 c Sol. found (all assignments made)... 1525.45 o 1969496158602407 1525.45 c NEW SOLUTION FOUND: 1969496158602407 @ 1524.9 1525.47 c Sol. found (all assignments made)... 1525.47 o 1969496090980682 1525.47 c NEW SOLUTION FOUND: 1969496090980682 @ 1524.9 1525.49 c Sol. found (all assignments made)... 1525.49 o 1969496089520682 1525.49 c NEW SOLUTION FOUND: 1969496089520682 @ 1524.9 1525.51 c Sol. found (all assignments made)... 1525.51 o 1969496088522407 1525.51 c NEW SOLUTION FOUND: 1969496088522407 @ 1525 1525.60 c Sol. found (all assignments made)... 1525.60 o 1969496088040607 1525.60 c NEW SOLUTION FOUND: 1969496088040607 @ 1525 1525.74 c Sol. found (all assignments made)... 1525.74 o 1969496086600682 1525.74 c NEW SOLUTION FOUND: 1969496086600682 @ 1525.2 1525.77 c Sol. found (all assignments made)... 1525.77 o 1969496085870682 1525.77 c NEW SOLUTION FOUND: 1969496085870682 @ 1525.2 1525.79 c Sol. found (all assignments made)... 1525.79 o 1969496084872407 1525.79 c NEW SOLUTION FOUND: 1969496084872407 @ 1525.2 1525.82 c Sol. found (all assignments made)... 1525.82 o 1969496074920682 1525.82 c NEW SOLUTION FOUND: 1969496074920682 @ 1525.3 1525.84 c Sol. found (all assignments made)... 1525.84 o 1969496068350682 1525.84 c NEW SOLUTION FOUND: 1969496068350682 @ 1525.3 1525.86 c Sol. found (all assignments made)... 1525.86 o 1969496036960682 1525.86 c NEW SOLUTION FOUND: 1969496036960682 @ 1525.3 1525.88 c Sol. found (all assignments made)... 1525.88 o 1969496023820682 1525.88 c NEW SOLUTION FOUND: 1969496023820682 @ 1525.3 1525.90 c Sol. found (all assignments made)... 1525.90 o 1969496016520682 1525.90 c NEW SOLUTION FOUND: 1969496016520682 @ 1525.3 1525.92 c Sol. found (all assignments made)... 1525.92 o 1969496015790682 1525.92 c NEW SOLUTION FOUND: 1969496015790682 @ 1525.4 1525.95 c Sol. found (all assignments made)... 1525.95 o 1969496014792407 1525.95 c NEW SOLUTION FOUND: 1969496014792407 @ 1525.4 1526.09 c Sol. found (all assignments made)... 1526.09 o 1969496014310607 1526.09 c NEW SOLUTION FOUND: 1969496014310607 @ 1525.5 1526.20 c Sol. found (all assignments made)... 1526.20 o 1969495969800682 1526.20 c NEW SOLUTION FOUND: 1969495969800682 @ 1525.6 1526.22 c Sol. found (all assignments made)... 1526.22 o 1969495963230682 1526.22 c NEW SOLUTION FOUND: 1969495963230682 @ 1525.7 1526.25 c Sol. found (all assignments made)... 1526.25 o 1969495962232407 1526.25 c NEW SOLUTION FOUND: 1969495962232407 @ 1525.7 1526.31 c Sol. found (all assignments made)... 1526.31 o 1969495931840682 1526.31 c NEW SOLUTION FOUND: 1969495931840682 @ 1525.8 1526.33 c Sol. found (all assignments made)... 1526.33 o 1969495930842407 1526.33 c NEW SOLUTION FOUND: 1969495930842407 @ 1525.8 1526.38 c Sol. found (all assignments made)... 1526.38 o 1969495917240682 1526.38 c NEW SOLUTION FOUND: 1969495917240682 @ 1525.8 1526.40 c Sol. found (all assignments made)... 1526.40 o 1969495910670682 1526.40 c NEW SOLUTION FOUND: 1969495910670682 @ 1525.8 1526.42 c Sol. found (all assignments made)... 1526.42 o 1969495909672407 1526.42 c NEW SOLUTION FOUND: 1969495909672407 @ 1525.9 1526.53 c Sol. found (all assignments made)... 1526.53 o 1969495909190607 1526.53 c NEW SOLUTION FOUND: 1969495909190607 @ 1526 1526.83 c Sol. found (all assignments made)... 1526.83 o 1969495888040682 1526.83 c NEW SOLUTION FOUND: 1969495888040682 @ 1526.3 1526.85 c Sol. found (all assignments made)... 1526.85 o 1969495881470682 1526.85 c NEW SOLUTION FOUND: 1969495881470682 @ 1526.3 1526.88 c Sol. found (all assignments made)... 1526.88 o 1969495880472407 1526.88 c NEW SOLUTION FOUND: 1969495880472407 @ 1526.3 1527.07 c Sol. found (all assignments made)... 1527.07 o 1969495879990607 1527.07 c NEW SOLUTION FOUND: 1969495879990607 @ 1526.5 1527.17 c Sol. found (all assignments made)... 1527.17 o 1967464901128682 1527.17 c NEW SOLUTION FOUND: 1967464901128682 @ 1526.6 1527.19 c Sol. found (all assignments made)... 1527.19 o 1967464831048682 1527.19 c NEW SOLUTION FOUND: 1967464831048682 @ 1526.6 1527.21 c Sol. found (all assignments made)... 1527.21 o 1967464830050407 1527.21 c NEW SOLUTION FOUND: 1967464830050407 @ 1526.6 1527.23 c Sol. found (all assignments made)... 1527.23 o 1967448156680682 1527.23 c NEW SOLUTION FOUND: 1967448156680682 @ 1526.7 1527.25 c Sol. found (all assignments made)... 1527.25 o 1967448086600682 1527.25 c NEW SOLUTION FOUND: 1967448086600682 @ 1526.7 1527.27 c Sol. found (all assignments made)... 1527.27 o 1967448085602407 1527.27 c NEW SOLUTION FOUND: 1967448085602407 @ 1526.7 1527.35 c Sol. found (all assignments made)... 1527.35 o 1967448085120607 1527.35 c NEW SOLUTION FOUND: 1967448085120607 @ 1526.8 1527.43 c Sol. found (all assignments made)... 1527.43 o 1967448065162407 1527.43 c NEW SOLUTION FOUND: 1967448065162407 @ 1526.9 1527.46 c Sol. found (all assignments made)... 1527.46 o 1967448064432407 1527.46 c NEW SOLUTION FOUND: 1967448064432407 @ 1526.9 1527.48 c Sol. found (all assignments made)... 1527.48 o 1967448039150682 1527.48 c NEW SOLUTION FOUND: 1967448039150682 @ 1526.9 1527.51 c Sol. found (all assignments made)... 1527.51 o 1967448038152407 1527.51 c NEW SOLUTION FOUND: 1967448038152407 @ 1526.9 1527.55 c Sol. found (all assignments made)... 1527.55 o 1967448013600682 1527.55 c NEW SOLUTION FOUND: 1967448013600682 @ 1527 1527.58 c Sol. found (all assignments made)... 1527.58 o 1967448012602407 1527.58 c NEW SOLUTION FOUND: 1967448012602407 @ 1527 1527.61 c Sol. found (all assignments made)... 1527.61 o 1967448011872407 1527.61 c NEW SOLUTION FOUND: 1967448011872407 @ 1527 1527.64 c Sol. found (all assignments made)... 1527.64 o 1967447986590682 1527.64 c NEW SOLUTION FOUND: 1967447986590682 @ 1527.1 1527.66 c Sol. found (all assignments made)... 1527.66 o 1967447985592407 1527.66 c NEW SOLUTION FOUND: 1967447985592407 @ 1527.1 1527.79 c Sol. found (all assignments made)... 1527.79 o 1967447968340682 1527.79 c NEW SOLUTION FOUND: 1967447968340682 @ 1527.2 1527.81 c Sol. found (all assignments made)... 1527.81 o 1967447961040682 1527.81 c NEW SOLUTION FOUND: 1967447961040682 @ 1527.2 1527.83 c Sol. found (all assignments made)... 1527.83 o 1967447960042407 1527.83 c NEW SOLUTION FOUND: 1967447960042407 @ 1527.3 1527.86 c Sol. found (all assignments made)... 1527.86 o 1967447959312407 1527.86 c NEW SOLUTION FOUND: 1967447959312407 @ 1527.3 1527.89 c Sol. found (all assignments made)... 1527.89 o 1967447940600682 1527.89 c NEW SOLUTION FOUND: 1967447940600682 @ 1527.3 1527.91 c Sol. found (all assignments made)... 1527.91 o 1967447934030682 1527.91 c NEW SOLUTION FOUND: 1967447934030682 @ 1527.3 1527.94 c Sol. found (all assignments made)... 1527.94 o 1967447933032407 1527.94 c NEW SOLUTION FOUND: 1967447933032407 @ 1527.4 1528.01 c Sol. found (all assignments made)... 1528.01 o 1967447915780682 1528.01 c NEW SOLUTION FOUND: 1967447915780682 @ 1527.5 1528.03 c Sol. found (all assignments made)... 1528.03 o 1967447908480682 1528.03 c NEW SOLUTION FOUND: 1967447908480682 @ 1527.5 1528.06 c Sol. found (all assignments made)... 1528.06 o 1967447907482407 1528.06 c NEW SOLUTION FOUND: 1967447907482407 @ 1527.5 1528.11 c Sol. found (all assignments made)... 1528.11 o 1967447906752407 1528.11 c NEW SOLUTION FOUND: 1967447906752407 @ 1527.5 1528.15 c Sol. found (all assignments made)... 1528.15 o 1967447881470682 1528.15 c NEW SOLUTION FOUND: 1967447881470682 @ 1527.6 1528.18 c Sol. found (all assignments made)... 1528.18 o 1967447880472407 1528.18 c NEW SOLUTION FOUND: 1967447880472407 @ 1527.6 1528.48 c Sol. found (all assignments made)... 1528.48 o 1967447879990607 1528.48 c NEW SOLUTION FOUND: 1967447879990607 @ 1527.9 1529.09 c Sol. found (all assignments made)... 1529.09 o 1966440902588682 1529.09 c NEW SOLUTION FOUND: 1966440902588682 @ 1528.5 1529.11 c Sol. found (all assignments made)... 1529.11 o 1966424158140682 1529.11 c NEW SOLUTION FOUND: 1966424158140682 @ 1528.5 1529.13 c Sol. found (all assignments made)... 1529.13 o 1966424089199482 1529.13 c NEW SOLUTION FOUND: 1966424089199482 @ 1528.6 1529.16 c Sol. found (all assignments made)... 1529.16 o 1966424088060682 1529.16 c NEW SOLUTION FOUND: 1966424088060682 @ 1528.6 1529.19 c Sol. found (all assignments made)... 1529.19 o 1966424087062407 1529.19 c NEW SOLUTION FOUND: 1966424087062407 @ 1528.6 1529.22 c Sol. found (all assignments made)... 1529.22 o 1966424086600682 1529.22 c NEW SOLUTION FOUND: 1966424086600682 @ 1528.7 1529.25 c Sol. found (all assignments made)... 1529.25 o 1966424085602407 1529.25 c NEW SOLUTION FOUND: 1966424085602407 @ 1528.7 1529.36 c Sol. found (all assignments made)... 1529.36 o 1966424085120607 1529.36 c NEW SOLUTION FOUND: 1966424085120607 @ 1528.8 1529.45 c Sol. found (all assignments made)... 1529.45 o 1966424039880682 1529.45 c NEW SOLUTION FOUND: 1966424039880682 @ 1528.9 1529.49 c Sol. found (all assignments made)... 1529.49 o 1966424038882407 1529.49 c NEW SOLUTION FOUND: 1966424038882407 @ 1528.9 1529.54 c Sol. found (all assignments made)... 1529.54 o 1966424013600682 1529.54 c NEW SOLUTION FOUND: 1966424013600682 @ 1529 1529.58 c Sol. found (all assignments made)... 1529.58 o 1966424012602407 1529.58 c NEW SOLUTION FOUND: 1966424012602407 @ 1529 1529.66 c Sol. found (all assignments made)... 1529.66 o 1966424011872407 1529.66 c NEW SOLUTION FOUND: 1966424011872407 @ 1529.1 1529.72 c Sol. found (all assignments made)... 1529.72 o 1966423987729482 1529.72 c NEW SOLUTION FOUND: 1966423987729482 @ 1529.2 1529.75 c Sol. found (all assignments made)... 1529.75 o 1966423986590682 1529.75 c NEW SOLUTION FOUND: 1966423986590682 @ 1529.2 1529.78 c Sol. found (all assignments made)... 1529.78 o 1966423985592407 1529.78 c NEW SOLUTION FOUND: 1966423985592407 @ 1529.2 1529.82 c Sol. found (all assignments made)... 1529.82 o 1966423943199482 1529.82 c NEW SOLUTION FOUND: 1966423943199482 @ 1529.3 1529.84 c Sol. found (all assignments made)... 1529.84 o 1966423935899482 1529.84 c NEW SOLUTION FOUND: 1966423935899482 @ 1529.3 1529.87 c Sol. found (all assignments made)... 1529.87 o 1966423934760682 1529.87 c NEW SOLUTION FOUND: 1966423934760682 @ 1529.3 1529.90 c Sol. found (all assignments made)... 1529.90 o 1966423933762407 1529.90 c NEW SOLUTION FOUND: 1966423933762407 @ 1529.3 1529.97 c Sol. found (all assignments made)... 1529.97 o 1966423916919482 1529.97 c NEW SOLUTION FOUND: 1966423916919482 @ 1529.4 1529.99 c Sol. found (all assignments made)... 1529.99 o 1966423909619482 1529.99 c NEW SOLUTION FOUND: 1966423909619482 @ 1529.4 1530.01 c Sol. found (all assignments made)... 1530.01 o 1966423908480682 1530.01 c NEW SOLUTION FOUND: 1966423908480682 @ 1529.4 1530.04 c Sol. found (all assignments made)... 1530.04 o 1966423907482407 1530.04 c NEW SOLUTION FOUND: 1966423907482407 @ 1529.5 1530.13 c Sol. found (all assignments made)... 1530.13 o 1966423906752407 1530.13 c NEW SOLUTION FOUND: 1966423906752407 @ 1529.6 1530.17 c Sol. found (all assignments made)... 1530.17 o 1966423882609482 1530.17 c NEW SOLUTION FOUND: 1966423882609482 @ 1529.6 1530.19 c Sol. found (all assignments made)... 1530.19 o 1966423881470682 1530.19 c NEW SOLUTION FOUND: 1966423881470682 @ 1529.6 1530.22 c Sol. found (all assignments made)... 1530.22 o 1966423880472407 1530.22 c NEW SOLUTION FOUND: 1966423880472407 @ 1529.7 1530.55 c Sol. found (all assignments made)... 1530.55 o 1966423879990607 1530.55 c NEW SOLUTION FOUND: 1966423879990607 @ 1530 1531.71 c Sol. found (all assignments made)... 1531.71 o 1966423848036682 1531.71 c NEW SOLUTION FOUND: 1966423848036682 @ 1531.1 1531.73 c Sol. found (all assignments made)... 1531.73 o 1966423847038407 1531.73 c NEW SOLUTION FOUND: 1966423847038407 @ 1531.2 1531.76 c Sol. found (all assignments made)... 1531.76 o 1966423843656682 1531.76 c NEW SOLUTION FOUND: 1966423843656682 @ 1531.2 1531.80 c Sol. found (all assignments made)... 1531.80 o 1966423842658407 1531.80 c NEW SOLUTION FOUND: 1966423842658407 @ 1531.2 1531.84 c Sol. found (all assignments made)... 1531.84 o 1966423842176607 1531.84 c NEW SOLUTION FOUND: 1966423842176607 @ 1531.3 1531.87 c Sol. found (all assignments made)... 1531.87 o 1966423823216682 1531.87 c NEW SOLUTION FOUND: 1966423823216682 @ 1531.3 1531.89 c Sol. found (all assignments made)... 1531.89 o 1966423822218407 1531.89 c NEW SOLUTION FOUND: 1966423822218407 @ 1531.3 1531.91 c Sol. found (all assignments made)... 1531.91 o 1966423796936682 1531.91 c NEW SOLUTION FOUND: 1966423796936682 @ 1531.3 1531.94 c Sol. found (all assignments made)... 1531.94 o 1966423795938407 1531.94 c NEW SOLUTION FOUND: 1966423795938407 @ 1531.4 1531.96 c Sol. found (all assignments made)... 1531.96 o 1966423770656682 1531.96 c NEW SOLUTION FOUND: 1966423770656682 @ 1531.4 1531.98 c Sol. found (all assignments made)... 1531.98 o 1966423769658407 1531.98 c NEW SOLUTION FOUND: 1966423769658407 @ 1531.4 1532.02 c Sol. found (all assignments made)... 1532.02 o 1966423768928407 1532.02 c NEW SOLUTION FOUND: 1966423768928407 @ 1531.5 1532.05 c Sol. found (all assignments made)... 1532.05 o 1966423743646682 1532.05 c NEW SOLUTION FOUND: 1966423743646682 @ 1531.5 1532.07 c Sol. found (all assignments made)... 1532.07 o 1966423742648407 1532.07 c NEW SOLUTION FOUND: 1966423742648407 @ 1531.5 1532.10 c Sol. found (all assignments made)... 1532.10 o 1966423723936682 1532.10 c NEW SOLUTION FOUND: 1966423723936682 @ 1531.5 1532.12 c Sol. found (all assignments made)... 1532.12 o 1966423717366682 1532.12 c NEW SOLUTION FOUND: 1966423717366682 @ 1531.6 1532.14 c Sol. found (all assignments made)... 1532.14 o 1966423716368407 1532.14 c NEW SOLUTION FOUND: 1966423716368407 @ 1531.6 1532.18 c Sol. found (all assignments made)... 1532.18 o 1966423691086682 1532.18 c NEW SOLUTION FOUND: 1966423691086682 @ 1531.6 1532.20 c Sol. found (all assignments made)... 1532.20 o 1966423690088407 1532.20 c NEW SOLUTION FOUND: 1966423690088407 @ 1531.6 1532.23 c Sol. found (all assignments made)... 1532.23 o 1966423664806682 1532.23 c NEW SOLUTION FOUND: 1966423664806682 @ 1531.7 1532.25 c Sol. found (all assignments made)... 1532.25 o 1966423663808407 1532.25 c NEW SOLUTION FOUND: 1966423663808407 @ 1531.7 1532.29 c Sol. found (all assignments made)... 1532.29 o 1966423645096682 1532.29 c NEW SOLUTION FOUND: 1966423645096682 @ 1531.7 1532.31 c Sol. found (all assignments made)... 1532.31 o 1966423638526682 1532.31 c NEW SOLUTION FOUND: 1966423638526682 @ 1531.7 1532.33 c Sol. found (all assignments made)... 1532.33 o 1966423637528407 1532.33 c NEW SOLUTION FOUND: 1966423637528407 @ 1531.8 1532.42 c Sol. found (all assignments made)... 1532.42 o 1966423637046607 1532.42 c NEW SOLUTION FOUND: 1966423637046607 @ 1531.9 1534.15 c Sol. found (all assignments made)... 1534.15 o 1966423634876682 1534.15 c NEW SOLUTION FOUND: 1966423634876682 @ 1533.6 1534.20 c Sol. found (all assignments made)... 1534.20 o 1966423633878407 1534.20 c NEW SOLUTION FOUND: 1966423633878407 @ 1533.6 1534.51 c Sol. found (all assignments made)... 1534.51 o 1966423633396607 1534.51 c NEW SOLUTION FOUND: 1966423633396607 @ 1533.9 1535.46 c Sol. found (all assignments made)... 1535.46 o 1966423633358282 1535.46 c NEW SOLUTION FOUND: 1966423633358282 @ 1534.9 1535.49 c Sol. found (all assignments made)... 1535.49 o 1966423632549807 1535.49 c NEW SOLUTION FOUND: 1966423632549807 @ 1534.9 1538.25 c Sol. found (all assignments made)... 1538.25 o 1966423624373807 1538.25 c NEW SOLUTION FOUND: 1966423624373807 @ 1537.7 1538.29 c Sol. found (all assignments made)... 1538.29 o 1966423598823807 1538.29 c NEW SOLUTION FOUND: 1966423598823807 @ 1537.7 1538.34 c Sol. found (all assignments made)... 1538.34 o 1966423598093807 1538.34 c NEW SOLUTION FOUND: 1966423598093807 @ 1537.8 1538.41 c Sol. found (all assignments made)... 1538.41 o 1966423578383807 1538.41 c NEW SOLUTION FOUND: 1966423578383807 @ 1537.8 1538.43 c Sol. found (all assignments made)... 1538.43 o 1966423571813807 1538.43 c NEW SOLUTION FOUND: 1966423571813807 @ 1537.9 1539.47 c Sol. found (all assignments made)... 1539.47 o 1966423480448832 1539.47 c NEW SOLUTION FOUND: 1966423480448832 @ 1538.9 1539.52 c Sol. found (all assignments made)... 1539.52 o 1966423477528832 1539.52 c NEW SOLUTION FOUND: 1966423477528832 @ 1538.9 1539.54 c Sol. found (all assignments made)... 1539.54 o 1966423476068832 1539.54 c NEW SOLUTION FOUND: 1966423476068832 @ 1539 1539.56 c Sol. found (all assignments made)... 1539.56 o 1966423474072282 1539.56 c NEW SOLUTION FOUND: 1966423474072282 @ 1539 1539.59 c Sol. found (all assignments made)... 1539.59 o 1966423410368832 1539.59 c NEW SOLUTION FOUND: 1966423410368832 @ 1539 1539.61 c Sol. found (all assignments made)... 1539.61 o 1966423405988832 1539.61 c NEW SOLUTION FOUND: 1966423405988832 @ 1539 1539.64 c Sol. found (all assignments made)... 1539.64 o 1966423405452282 1539.64 c NEW SOLUTION FOUND: 1966423405452282 @ 1539.1 1539.66 c Sol. found (all assignments made)... 1539.66 o 1966423403992282 1539.66 c NEW SOLUTION FOUND: 1966423403992282 @ 1539.1 1539.69 c Sol. found (all assignments made)... 1539.69 o 1966423403183807 1539.69 c NEW SOLUTION FOUND: 1966423403183807 @ 1539.1 1539.78 c Sol. found (all assignments made)... 1539.78 o 1966423402338832 1539.78 c NEW SOLUTION FOUND: 1966423402338832 @ 1539.2 1539.81 c Sol. found (all assignments made)... 1539.81 o 1966423376058832 1539.81 c NEW SOLUTION FOUND: 1966423376058832 @ 1539.2 1539.84 c Sol. found (all assignments made)... 1539.84 o 1966423374062282 1539.84 c NEW SOLUTION FOUND: 1966423374062282 @ 1539.3 1539.87 c Sol. found (all assignments made)... 1539.87 o 1966423329532282 1539.87 c NEW SOLUTION FOUND: 1966423329532282 @ 1539.3 1539.89 c Sol. found (all assignments made)... 1539.89 o 1966423322232282 1539.89 c NEW SOLUTION FOUND: 1966423322232282 @ 1539.3 1539.91 c Sol. found (all assignments made)... 1539.91 o 1966423295222282 1539.91 c NEW SOLUTION FOUND: 1966423295222282 @ 1539.3 1539.94 c Sol. found (all assignments made)... 1539.94 o 1966423268942282 1539.94 c NEW SOLUTION FOUND: 1966423268942282 @ 1539.4 1539.97 c Sol. found (all assignments made)... 1539.97 o 1966423261448832 1539.97 c NEW SOLUTION FOUND: 1966423261448832 @ 1539.4 1540.00 c Sol. found (all assignments made)... 1540.00 o 1966423254148832 1540.00 c NEW SOLUTION FOUND: 1966423254148832 @ 1539.4 1540.02 c Sol. found (all assignments made)... 1540.02 o 1966423227138832 1540.02 c NEW SOLUTION FOUND: 1966423227138832 @ 1539.5 1540.05 c Sol. found (all assignments made)... 1540.05 o 1966423200858832 1540.05 c NEW SOLUTION FOUND: 1966423200858832 @ 1539.5 1540.07 c Sol. found (all assignments made)... 1540.07 o 1966423198862282 1540.07 c NEW SOLUTION FOUND: 1966423198862282 @ 1539.5 1540.11 c Sol. found (all assignments made)... 1540.11 o 1966423198053807 1540.11 c NEW SOLUTION FOUND: 1966423198053807 @ 1539.5 1542.29 c Sol. found (all assignments made)... 1542.29 o 1965884134365582 1542.29 c NEW SOLUTION FOUND: 1965884134365582 @ 1541.7 1542.29 c Sol. found (all assignments made)... 1542.29 c Sol. found (all assignments made)... 1542.29 o 1965881891805582 1542.29 c NEW SOLUTION FOUND: 1965881891805582 @ 1541.7 1542.29 c Sol. found (all assignments made)... 1542.29 o 1965881885965582 1542.29 c NEW SOLUTION FOUND: 1965881885965582 @ 1541.7 1542.29 c Sol. found (all assignments made)... 1542.29 o 1965881868445582 1542.29 c NEW SOLUTION FOUND: 1965881868445582 @ 1541.7 1542.29 c Sol. found (all assignments made)... 1542.29 o 1965876635805582 1542.29 c NEW SOLUTION FOUND: 1965876635805582 @ 1541.7 1542.29 c Sol. found (all assignments made)... 1542.29 o 1965876620621582 1542.29 c NEW SOLUTION FOUND: 1965876620621582 @ 1541.7 1542.29 c Sol. found (all assignments made)... 1542.29 o 1965876615511582 1542.29 c NEW SOLUTION FOUND: 1965876615511582 @ 1541.7 1542.29 c Sol. found (all assignments made)... 1542.29 o 1965709171031582 1542.29 c NEW SOLUTION FOUND: 1965709171031582 @ 1541.7 1542.29 c Sol. found (all assignments made)... 1542.29 o 1965709138327582 1542.29 c NEW SOLUTION FOUND: 1965709138327582 @ 1541.7 1542.29 c Sol. found (all assignments made)... 1542.29 o 1965709100075582 1542.29 c NEW SOLUTION FOUND: 1965709100075582 @ 1541.7 1542.29 c Sol. found (all assignments made)... 1542.29 o 1965706651947582 1542.29 c NEW SOLUTION FOUND: 1965706651947582 @ 1541.7 1542.30 c Sol. found (all assignments made)... 1542.30 o 1965646855092582 1542.30 c NEW SOLUTION FOUND: 1965646855092582 @ 1541.7 1542.30 c Sol. found (all assignments made)... 1542.30 c Sol. found (all assignments made)... 1542.30 o 1965646852902582 1542.30 c NEW SOLUTION FOUND: 1965646852902582 @ 1541.7 1542.30 c Sol. found (all assignments made)... 1542.30 o 1965646850347582 1542.30 c NEW SOLUTION FOUND: 1965646850347582 @ 1541.7 1542.30 c Sol. found (all assignments made)... 1542.30 o 1965646791947582 1542.30 c NEW SOLUTION FOUND: 1965646791947582 @ 1541.7 1542.30 c Sol. found (all assignments made)... 1542.30 o 1965646662591582 1542.30 c NEW SOLUTION FOUND: 1965646662591582 @ 1541.7 1542.30 c Sol. found (all assignments made)... 1542.30 o 1965646662372582 1542.30 c NEW SOLUTION FOUND: 1965646662372582 @ 1541.7 1542.30 c Sol. found (all assignments made)... 1542.30 o 1965646656532582 1542.30 c NEW SOLUTION FOUND: 1965646656532582 @ 1541.7 1542.30 c Sol. found (all assignments made)... 1542.30 o 1965646548142182 1542.30 c NEW SOLUTION FOUND: 1965646548142182 @ 1541.7 1542.30 c Sol. found (all assignments made)... 1542.30 o 1965646547047182 1542.30 c NEW SOLUTION FOUND: 1965646547047182 @ 1541.7 1542.30 c Sol. found (all assignments made)... 1542.30 o 1965646546200382 1542.30 c NEW SOLUTION FOUND: 1965646546200382 @ 1541.7 1542.30 c Sol. found (all assignments made)... 1542.30 o 1965646545988682 1542.30 c NEW SOLUTION FOUND: 1965646545988682 @ 1541.7 1542.30 c Sol. found (all assignments made)... 1542.30 o 1965646545477682 1542.30 c NEW SOLUTION FOUND: 1965646545477682 @ 1541.7 1542.30 c Sol. found (all assignments made)... 1542.30 o 1965646544966682 1542.30 c NEW SOLUTION FOUND: 1965646544966682 @ 1541.7 1542.31 c Sol. found (all assignments made)... 1542.31 o 1965646538951482 1542.31 c NEW SOLUTION FOUND: 1965646538951482 @ 1541.7 1542.31 c Sol. found (all assignments made)... 1542.31 c Sol. found (all assignments made)... 1542.31 o 1965646509751482 1542.31 c NEW SOLUTION FOUND: 1965646509751482 @ 1541.7 1542.31 c Sol. found (all assignments made)... 1542.31 o 1965646508291482 1542.31 c NEW SOLUTION FOUND: 1965646508291482 @ 1541.7 1542.31 c Sol. found (all assignments made)... 1542.31 o 1965646494742682 1542.31 c NEW SOLUTION FOUND: 1965646494742682 @ 1541.7 1542.31 c Sol. found (all assignments made)... 1542.31 o 1965646486566682 1542.31 c NEW SOLUTION FOUND: 1965646486566682 @ 1541.7 1542.31 c Sol. found (all assignments made)... 1542.31 o 1965646418822682 1542.31 c NEW SOLUTION FOUND: 1965646418822682 @ 1541.7 1542.31 c Sol. found (all assignments made)... 1542.31 o 1965646337062682 1542.31 c NEW SOLUTION FOUND: 1965646337062682 @ 1541.7 1542.31 c Sol. found (all assignments made)... 1542.31 c Sol. found (all assignments made)... 1542.31 o 1965645872782682 1542.31 c NEW SOLUTION FOUND: 1965645872782682 @ 1541.7 1542.31 c Sol. found (all assignments made)... 1542.31 o 1965645869862682 1542.31 c NEW SOLUTION FOUND: 1965645869862682 @ 1541.7 1542.31 c Sol. found (all assignments made)... 1542.31 o 1965645867307682 1542.31 c NEW SOLUTION FOUND: 1965645867307682 @ 1541.7 1542.31 c Sol. found (all assignments made)... 1542.31 o 1965645860007682 1542.31 c NEW SOLUTION FOUND: 1965645860007682 @ 1541.7 1542.31 c Sol. found (all assignments made)... 1542.31 o 1965645576767682 1542.31 c NEW SOLUTION FOUND: 1965645576767682 @ 1541.7 1542.31 c Sol. found (all assignments made)... 1542.31 o 1965645576344282 1542.31 c NEW SOLUTION FOUND: 1965645576344282 @ 1541.7 1542.32 c Sol. found (all assignments made)... 1542.32 o 1965636603567532 1542.32 c NEW SOLUTION FOUND: 1965636603567532 @ 1541.7 1542.32 c Sol. found (all assignments made)... 1542.32 o 1965636602509032 1542.32 c NEW SOLUTION FOUND: 1965636602509032 @ 1541.7 1542.32 c Sol. found (all assignments made)... 1542.32 o 1965636520749032 1542.32 c NEW SOLUTION FOUND: 1965636520749032 @ 1541.7 1542.32 c Sol. found (all assignments made)... 1542.32 o 1965636512664282 1542.32 c NEW SOLUTION FOUND: 1965636512664282 @ 1541.7 1542.32 c Sol. found (all assignments made)... 1542.32 o 1965636509277082 1542.32 c NEW SOLUTION FOUND: 1965636509277082 @ 1541.8 1542.32 c Sol. found (all assignments made)... 1542.32 o 1965632323165082 1542.32 c NEW SOLUTION FOUND: 1965632323165082 @ 1541.8 1542.32 c Sol. found (all assignments made)... 1542.32 o 1965464878685082 1542.32 c NEW SOLUTION FOUND: 1965464878685082 @ 1541.8 1542.32 c Sol. found (all assignments made)... 1542.32 o 1965464876860082 1542.32 c NEW SOLUTION FOUND: 1965464876860082 @ 1541.8 1542.32 c Sol. found (all assignments made)... 1542.32 o 1965464835980082 1542.32 c NEW SOLUTION FOUND: 1965464835980082 @ 1541.8 1542.33 c Sol. found (all assignments made)... 1542.33 o 1965464835454482 1542.33 c NEW SOLUTION FOUND: 1965464835454482 @ 1541.8 1542.33 c Sol. found (all assignments made)... 1542.33 o 1965464828680082 1542.33 c NEW SOLUTION FOUND: 1965464828680082 @ 1541.8 1542.33 c Sol. found (all assignments made)... 1542.33 o 1965464809554082 1542.33 c NEW SOLUTION FOUND: 1965464809554082 @ 1541.8 1542.33 c Sol. found (all assignments made)... 1542.33 o 1965464375992482 1542.33 c NEW SOLUTION FOUND: 1965464375992482 @ 1541.8 1542.33 c Sol. found (all assignments made)... 1542.33 o 1965463151928482 1542.33 c NEW SOLUTION FOUND: 1965463151928482 @ 1541.8 1542.34 c Sol. found (all assignments made)... 1542.34 o 1965463116888482 1542.34 c NEW SOLUTION FOUND: 1965463116888482 @ 1541.8 1542.34 c Sol. found (all assignments made)... 1542.34 c Sol. found (all assignments made)... 1542.34 o 1965460570830982 1542.34 c NEW SOLUTION FOUND: 1965460570830982 @ 1541.8 1542.34 c Sol. found (all assignments made)... 1542.34 o 1965460570648482 1542.34 c NEW SOLUTION FOUND: 1965460570648482 @ 1541.8 1542.34 c Sol. found (all assignments made)... 1542.34 o 1965460500568482 1542.34 c NEW SOLUTION FOUND: 1965460500568482 @ 1541.8 1542.34 c Sol. found (all assignments made)... 1542.34 o 1965418639448482 1542.34 c NEW SOLUTION FOUND: 1965418639448482 @ 1541.8 1542.34 c Sol. found (all assignments made)... 1542.34 o 1965418639342632 1542.34 c NEW SOLUTION FOUND: 1965418639342632 @ 1541.8 1542.34 c Sol. found (all assignments made)... 1542.34 o 1965418557582632 1542.34 c NEW SOLUTION FOUND: 1965418557582632 @ 1541.8 1542.34 c Sol. found (all assignments made)... 1542.34 o 1965418550282632 1542.34 c NEW SOLUTION FOUND: 1965418550282632 @ 1541.8 1542.34 c Sol. found (all assignments made)... 1542.34 o 1965418485604632 1542.34 c NEW SOLUTION FOUND: 1965418485604632 @ 1541.8 1542.35 c Sol. found (all assignments made)... 1542.35 o 1965418485093632 1542.35 c NEW SOLUTION FOUND: 1965418485093632 @ 1541.8 1542.35 c Sol. found (all assignments made)... 1542.35 o 1965418484956757 1542.35 c NEW SOLUTION FOUND: 1965418484956757 @ 1541.8 1542.35 c Sol. found (all assignments made)... 1542.35 o 1965418484071632 1542.35 c NEW SOLUTION FOUND: 1965418484071632 @ 1541.8 1542.36 c Sol. found (all assignments made)... 1542.36 o 1965418437351632 1542.36 c NEW SOLUTION FOUND: 1965418437351632 @ 1541.8 1542.36 c Sol. found (all assignments made)... 1542.36 c Sol. found (all assignments made)... 1542.36 o 1965418431511632 1542.36 c NEW SOLUTION FOUND: 1965418431511632 @ 1541.8 1542.36 c Sol. found (all assignments made)... 1542.36 o 1965413899671632 1542.36 c NEW SOLUTION FOUND: 1965413899671632 @ 1541.8 1542.36 c Sol. found (all assignments made)... 1542.36 o 1965413806231632 1542.36 c NEW SOLUTION FOUND: 1965413806231632 @ 1541.8 1542.37 c Sol. found (all assignments made)... 1542.37 o 1965413804771632 1542.37 c NEW SOLUTION FOUND: 1965413804771632 @ 1541.8 1542.37 c Sol. found (all assignments made)... 1542.37 o 1965413795920382 1542.37 c NEW SOLUTION FOUND: 1965413795920382 @ 1541.8 1542.37 c Sol. found (all assignments made)... 1542.37 o 1965413422160382 1542.37 c NEW SOLUTION FOUND: 1965413422160382 @ 1541.8 1542.37 c Sol. found (all assignments made)... 1542.38 c Sol. found (all assignments made)... 1542.38 o 1965413420466782 1542.38 c NEW SOLUTION FOUND: 1965413420466782 @ 1541.8 1542.38 c Sol. found (all assignments made)... 1542.38 o 1965413391266782 1542.38 c NEW SOLUTION FOUND: 1965413391266782 @ 1541.8 1542.38 c Sol. found (all assignments made)... 1542.38 o 1965413364169182 1542.38 c NEW SOLUTION FOUND: 1965413364169182 @ 1541.8 1542.38 c Sol. found (all assignments made)... 1542.38 o 1965412497045982 1542.38 c NEW SOLUTION FOUND: 1965412497045982 @ 1541.8 1542.39 c Sol. found (all assignments made)... 1542.39 o 1965412485365982 1542.39 c NEW SOLUTION FOUND: 1965412485365982 @ 1541.8 1542.39 c Sol. found (all assignments made)... 1542.39 o 1965408747765982 1542.39 c NEW SOLUTION FOUND: 1965408747765982 @ 1541.8 1542.39 c Sol. found (all assignments made)... 1542.39 o 1965408594757982 1542.39 c NEW SOLUTION FOUND: 1965408594757982 @ 1541.8 1542.39 c Sol. found (all assignments made)... 1542.39 o 1965408594027982 1542.39 c NEW SOLUTION FOUND: 1965408594027982 @ 1541.8 1542.39 c Sol. found (all assignments made)... 1542.39 o 1965407846507982 1542.39 c NEW SOLUTION FOUND: 1965407846507982 @ 1541.8 1542.41 c Sol. found (all assignments made)... 1542.41 o 1965407846296282 1542.41 c NEW SOLUTION FOUND: 1965407846296282 @ 1541.8 1542.44 c Sol. found (all assignments made)... 1542.44 o 1965399475532282 1542.44 c NEW SOLUTION FOUND: 1965399475532282 @ 1541.9 1542.46 c Sol. found (all assignments made)... 1542.46 o 1965399474072282 1542.46 c NEW SOLUTION FOUND: 1965399474072282 @ 1541.9 1542.49 c Sol. found (all assignments made)... 1542.49 o 1965399405452282 1542.49 c NEW SOLUTION FOUND: 1965399405452282 @ 1541.9 1542.51 c Sol. found (all assignments made)... 1542.51 c Sol. found (all assignments made)... 1542.51 o 1965399404357282 1542.51 c NEW SOLUTION FOUND: 1965399404357282 @ 1541.9 1542.52 c Sol. found (all assignments made)... 1542.52 o 1965399403992282 1542.52 c NEW SOLUTION FOUND: 1965399403992282 @ 1542 1542.61 c Sol. found (all assignments made)... 1542.61 o 1965399403366307 1542.61 c NEW SOLUTION FOUND: 1965399403366307 @ 1542 1542.63 c Sol. found (all assignments made)... 1542.63 o 1965399403183807 1542.63 c NEW SOLUTION FOUND: 1965399403183807 @ 1542.1 1543.31 c Sol. found (all assignments made)... 1543.31 o 1965399399418832 1543.31 c NEW SOLUTION FOUND: 1965399399418832 @ 1542.7 1543.31 c Sol. found (all assignments made)... 1543.31 c Sol. found (all assignments made)... 1543.31 o 1965399394308832 1543.31 c NEW SOLUTION FOUND: 1965399394308832 @ 1542.7 1543.32 c Sol. found (all assignments made)... 1543.32 o 1965399385548832 1543.32 c NEW SOLUTION FOUND: 1965399385548832 @ 1542.7 1543.33 c Sol. found (all assignments made)... 1543.33 o 1965399366568832 1543.33 c NEW SOLUTION FOUND: 1965399366568832 @ 1542.8 1543.35 c Sol. found (all assignments made)... 1543.35 o 1965399359268832 1543.35 c NEW SOLUTION FOUND: 1965399359268832 @ 1542.8 1543.37 c Sol. found (all assignments made)... 1543.37 o 1965399340288832 1543.37 c NEW SOLUTION FOUND: 1965399340288832 @ 1542.8 1543.38 c Sol. found (all assignments made)... 1543.38 o 1965399332988832 1543.38 c NEW SOLUTION FOUND: 1965399332988832 @ 1542.8 1543.40 c Sol. found (all assignments made)... 1543.40 o 1965399261448832 1543.40 c NEW SOLUTION FOUND: 1965399261448832 @ 1542.8 1543.42 c Sol. found (all assignments made)... 1543.42 o 1965399254148832 1543.42 c NEW SOLUTION FOUND: 1965399254148832 @ 1542.8 1543.43 c Sol. found (all assignments made)... 1543.43 o 1965399235168832 1543.43 c NEW SOLUTION FOUND: 1965399235168832 @ 1542.9 1543.45 c Sol. found (all assignments made)... 1543.45 o 1965399227868832 1543.45 c NEW SOLUTION FOUND: 1965399227868832 @ 1542.9 1543.47 c Sol. found (all assignments made)... 1543.47 o 1965399227138832 1543.47 c NEW SOLUTION FOUND: 1965399227138832 @ 1542.9 1543.49 c Sol. found (all assignments made)... 1543.49 o 1965399207428832 1543.49 c NEW SOLUTION FOUND: 1965399207428832 @ 1542.9 1543.50 c Sol. found (all assignments made)... 1543.50 o 1965399200858832 1543.50 c NEW SOLUTION FOUND: 1965399200858832 @ 1542.9 1543.52 c Sol. found (all assignments made)... 1543.52 o 1965399198862282 1543.52 c NEW SOLUTION FOUND: 1965399198862282 @ 1543 1543.56 c Sol. found (all assignments made)... 1543.56 o 1965399198053807 1543.56 c NEW SOLUTION FOUND: 1965399198053807 @ 1543 1547.62 c Sol. found (all assignments made)... 1547.62 o 1965399196672282 1547.62 c NEW SOLUTION FOUND: 1965399196672282 @ 1547 1547.64 c Sol. found (all assignments made)... 1547.64 o 1965399194044282 1547.64 c NEW SOLUTION FOUND: 1965399194044282 @ 1547.1 1547.64 c Sol. found (all assignments made)... 1547.64 o 1965399191124282 1547.64 c NEW SOLUTION FOUND: 1965399191124282 @ 1547.1 1547.65 c Sol. found (all assignments made)... 1547.65 o 1965399189080282 1547.65 c NEW SOLUTION FOUND: 1965399189080282 @ 1547.1 1547.67 c Sol. found (all assignments made)... 1547.67 o 1965399182510282 1547.67 c NEW SOLUTION FOUND: 1965399182510282 @ 1547.1 1547.69 c Sol. found (all assignments made)... 1547.69 o 1965399181701807 1547.69 c NEW SOLUTION FOUND: 1965399181701807 @ 1547.1 1547.80 c Sol. found (all assignments made)... 1547.80 o 1965399156960282 1547.80 c NEW SOLUTION FOUND: 1965399156960282 @ 1547.2 1547.81 c Sol. found (all assignments made)... 1547.81 o 1965399156151807 1547.81 c NEW SOLUTION FOUND: 1965399156151807 @ 1547.2 1547.87 c Sol. found (all assignments made)... 1547.87 o 1965399155421807 1547.87 c NEW SOLUTION FOUND: 1965399155421807 @ 1547.3 1547.93 c Sol. found (all assignments made)... 1547.93 o 1965399136520282 1547.93 c NEW SOLUTION FOUND: 1965399136520282 @ 1547.4 1547.95 c Sol. found (all assignments made)... 1547.95 o 1965399129950282 1547.95 c NEW SOLUTION FOUND: 1965399129950282 @ 1547.4 1547.97 c Sol. found (all assignments made)... 1547.97 o 1965399129141807 1547.97 c NEW SOLUTION FOUND: 1965399129141807 @ 1547.4 1548.06 c Sol. found (all assignments made)... 1548.06 o 1965399111700282 1548.06 c NEW SOLUTION FOUND: 1965399111700282 @ 1547.5 1548.08 c Sol. found (all assignments made)... 1548.08 o 1965399104400282 1548.08 c NEW SOLUTION FOUND: 1965399104400282 @ 1547.5 1548.10 c Sol. found (all assignments made)... 1548.10 o 1965399103591807 1548.10 c NEW SOLUTION FOUND: 1965399103591807 @ 1547.5 1548.16 c Sol. found (all assignments made)... 1548.16 o 1965399102861807 1548.16 c NEW SOLUTION FOUND: 1965399102861807 @ 1547.6 1548.21 c Sol. found (all assignments made)... 1548.21 o 1965399077390282 1548.21 c NEW SOLUTION FOUND: 1965399077390282 @ 1547.6 1548.23 c Sol. found (all assignments made)... 1548.23 o 1965399076581807 1548.23 c NEW SOLUTION FOUND: 1965399076581807 @ 1547.7 1553.12 c Sol. found (all assignments made)... 1553.12 c Sol. found (all assignments made)... 1553.12 c Sol. found (all assignments made)... 1553.12 o 1965399053125082 1553.12 c NEW SOLUTION FOUND: 1965399053125082 @ 1552.5 1553.14 c Sol. found (all assignments made)... 1553.14 o 1965399051300082 1553.14 c NEW SOLUTION FOUND: 1965399051300082 @ 1552.6 1553.15 c Sol. found (all assignments made)... 1553.15 o 1965399049475082 1553.15 c NEW SOLUTION FOUND: 1965399049475082 @ 1552.6 1553.17 c Sol. found (all assignments made)... 1553.17 o 1965399038890082 1553.17 c NEW SOLUTION FOUND: 1965399038890082 @ 1552.6 1553.19 c Sol. found (all assignments made)... 1553.19 o 1965399037065082 1553.19 c NEW SOLUTION FOUND: 1965399037065082 @ 1552.6 1553.20 c Sol. found (all assignments made)... 1553.20 o 1965399031590082 1553.20 c NEW SOLUTION FOUND: 1965399031590082 @ 1552.6 1553.22 c Sol. found (all assignments made)... 1553.22 o 1965399029765082 1553.22 c NEW SOLUTION FOUND: 1965399029765082 @ 1552.6 1553.24 c Sol. found (all assignments made)... 1553.24 o 1965399023195082 1553.24 c NEW SOLUTION FOUND: 1965399023195082 @ 1552.7 1553.27 c Sol. found (all assignments made)... 1553.27 o 1965399022386607 1553.27 c NEW SOLUTION FOUND: 1965399022386607 @ 1552.7 1553.94 c Sol. found (all assignments made)... 1553.94 o 1964388618657626 1553.94 c NEW SOLUTION FOUND: 1964388618657626 @ 1553.4 1553.94 c Sol. found (all assignments made)... 1553.94 c Sol. found (all assignments made)... 1553.94 o 1964388589457626 1553.94 c NEW SOLUTION FOUND: 1964388589457626 @ 1553.4 1553.94 c Sol. found (all assignments made)... 1553.94 o 1964388571937626 1553.94 c NEW SOLUTION FOUND: 1964388571937626 @ 1553.4 1553.94 c Sol. found (all assignments made)... 1553.94 o 1964383675681626 1553.94 c NEW SOLUTION FOUND: 1964383675681626 @ 1553.4 1553.99 c Sol. found (all assignments made)... 1553.99 o 1964383675680682 1553.99 c NEW SOLUTION FOUND: 1964383675680682 @ 1553.4 1554.02 c Sol. found (all assignments made)... 1554.02 o 1964383672760682 1554.02 c NEW SOLUTION FOUND: 1964383672760682 @ 1553.5 1554.05 c Sol. found (all assignments made)... 1554.05 o 1964383671300682 1554.05 c NEW SOLUTION FOUND: 1964383671300682 @ 1553.5 1554.09 c Sol. found (all assignments made)... 1554.09 o 1964375574677232 1554.09 c NEW SOLUTION FOUND: 1964375574677232 @ 1553.5 1554.09 c Sol. found (all assignments made)... 1554.09 o 1964375313045232 1554.09 c NEW SOLUTION FOUND: 1964375313045232 @ 1553.5 1554.11 c Sol. found (all assignments made)... 1554.11 o 1964375312563432 1554.11 c NEW SOLUTION FOUND: 1964375312563432 @ 1553.5 1554.12 c Sol. found (all assignments made)... 1554.12 o 1964375312198432 1554.12 c NEW SOLUTION FOUND: 1964375312198432 @ 1553.5 1554.14 c Sol. found (all assignments made)... 1554.14 o 1964375312052432 1554.14 c NEW SOLUTION FOUND: 1964375312052432 @ 1553.6 1554.17 c Sol. found (all assignments made)... 1554.17 o 1964375301832432 1554.17 c NEW SOLUTION FOUND: 1964375301832432 @ 1553.6 1554.20 c Sol. found (all assignments made)... 1554.20 o 1964375300536682 1554.20 c NEW SOLUTION FOUND: 1964375300536682 @ 1553.6 1554.21 c Sol. found (all assignments made)... 1554.21 o 1964375299076682 1554.21 c NEW SOLUTION FOUND: 1964375299076682 @ 1553.6 1554.29 c Sol. found (all assignments made)... 1554.29 o 1964375232482432 1554.29 c NEW SOLUTION FOUND: 1964375232482432 @ 1553.7 1554.31 c Sol. found (all assignments made)... 1554.31 o 1964375231752432 1554.31 c NEW SOLUTION FOUND: 1964375231752432 @ 1553.7 1554.35 c Sol. found (all assignments made)... 1554.35 o 1964375230456682 1554.35 c NEW SOLUTION FOUND: 1964375230456682 @ 1553.8 1554.36 c Sol. found (all assignments made)... 1554.36 o 1964375228996682 1554.36 c NEW SOLUTION FOUND: 1964375228996682 @ 1553.8 1554.50 c Sol. found (all assignments made)... 1554.50 o 1964375227998407 1554.50 c NEW SOLUTION FOUND: 1964375227998407 @ 1553.9 1554.81 c Sol. found (all assignments made)... 1554.81 o 1964375208556682 1554.81 c NEW SOLUTION FOUND: 1964375208556682 @ 1554.2 1554.84 c Sol. found (all assignments made)... 1554.84 o 1964375207826682 1554.84 c NEW SOLUTION FOUND: 1964375207826682 @ 1554.3 1554.86 c Sol. found (all assignments made)... 1554.86 o 1964375181546682 1554.86 c NEW SOLUTION FOUND: 1964375181546682 @ 1554.3 1554.88 c Sol. found (all assignments made)... 1554.88 o 1964375180816682 1554.88 c NEW SOLUTION FOUND: 1964375180816682 @ 1554.3 1554.90 c Sol. found (all assignments made)... 1554.90 o 1964375173516682 1554.90 c NEW SOLUTION FOUND: 1964375173516682 @ 1554.3 1554.92 c Sol. found (all assignments made)... 1554.92 o 1964375103436682 1554.92 c NEW SOLUTION FOUND: 1964375103436682 @ 1554.3 1554.94 c Sol. found (all assignments made)... 1554.94 o 1964375102706682 1554.94 c NEW SOLUTION FOUND: 1964375102706682 @ 1554.4 1554.96 c Sol. found (all assignments made)... 1554.96 o 1964375082996682 1554.96 c NEW SOLUTION FOUND: 1964375082996682 @ 1554.4 1554.98 c Sol. found (all assignments made)... 1554.98 o 1964375076426682 1554.98 c NEW SOLUTION FOUND: 1964375076426682 @ 1554.4 1555.02 c Sol. found (all assignments made)... 1555.02 o 1964375058176682 1555.02 c NEW SOLUTION FOUND: 1964375058176682 @ 1554.5 1555.04 c Sol. found (all assignments made)... 1555.04 o 1964375050876682 1555.04 c NEW SOLUTION FOUND: 1964375050876682 @ 1554.5 1555.07 c Sol. found (all assignments made)... 1555.07 o 1964375050146682 1555.07 c NEW SOLUTION FOUND: 1964375050146682 @ 1554.5 1555.09 c Sol. found (all assignments made)... 1555.09 o 1964375023866682 1555.09 c NEW SOLUTION FOUND: 1964375023866682 @ 1554.5 1555.46 c Sol. found (all assignments made)... 1555.46 o 1964375022868407 1555.46 c NEW SOLUTION FOUND: 1964375022868407 @ 1554.9 1556.36 c Sol. found (all assignments made)... 1556.36 o 1964375022386607 1556.36 c NEW SOLUTION FOUND: 1964375022386607 @ 1555.8 1556.41 c Sol. found (all assignments made)... 1556.41 o 1963359672439482 1556.41 c NEW SOLUTION FOUND: 1963359672439482 @ 1555.8 1556.43 c Sol. found (all assignments made)... 1556.43 o 1963359671300682 1556.43 c NEW SOLUTION FOUND: 1963359671300682 @ 1555.9 1556.47 c Sol. found (all assignments made)... 1556.47 o 1963359664712432 1556.47 c NEW SOLUTION FOUND: 1963359664712432 @ 1555.9 1556.49 c Sol. found (all assignments made)... 1556.49 o 1963359603976432 1556.49 c NEW SOLUTION FOUND: 1963359603976432 @ 1555.9 1556.51 c Sol. found (all assignments made)... 1556.51 o 1963359601220682 1556.51 c NEW SOLUTION FOUND: 1963359601220682 @ 1555.9 1556.54 c Sol. found (all assignments made)... 1556.54 o 1963359600222407 1556.54 c NEW SOLUTION FOUND: 1963359600222407 @ 1556 1557.04 c Sol. found (all assignments made)... 1557.04 o 1963351303456682 1557.04 c NEW SOLUTION FOUND: 1963351303456682 @ 1556.5 1557.06 c Sol. found (all assignments made)... 1557.06 o 1963351299076682 1557.06 c NEW SOLUTION FOUND: 1963351299076682 @ 1556.5 1557.09 c Sol. found (all assignments made)... 1557.09 o 1963351233376682 1557.09 c NEW SOLUTION FOUND: 1963351233376682 @ 1556.5 1557.11 c Sol. found (all assignments made)... 1557.11 o 1963351230456682 1557.11 c NEW SOLUTION FOUND: 1963351230456682 @ 1556.5 1557.13 c Sol. found (all assignments made)... 1557.13 o 1963351228996682 1557.13 c NEW SOLUTION FOUND: 1963351228996682 @ 1556.6 1557.21 c Sol. found (all assignments made)... 1557.21 o 1963351227998407 1557.21 c NEW SOLUTION FOUND: 1963351227998407 @ 1556.6 1559.53 c Sol. found (all assignments made)... 1559.53 c Sol. found (all assignments made)... 1559.53 o 1963351226855957 1559.53 c NEW SOLUTION FOUND: 1963351226855957 @ 1559 1559.53 c Sol. found (all assignments made)... 1559.53 o 1963351223965157 1559.53 c NEW SOLUTION FOUND: 1963351223965157 @ 1559 1559.53 c Sol. found (all assignments made)... 1559.53 o 1963351222271557 1559.53 c NEW SOLUTION FOUND: 1963351222271557 @ 1559 1559.53 c Sol. found (all assignments made)... 1559.53 o 1963351220081557 1559.53 c NEW SOLUTION FOUND: 1963351220081557 @ 1559 1559.54 c Sol. found (all assignments made)... 1559.54 o 1963351218621557 1559.54 c NEW SOLUTION FOUND: 1963351218621557 @ 1559 1559.54 c Sol. found (all assignments made)... 1559.54 o 1963351215701557 1559.54 c NEW SOLUTION FOUND: 1963351215701557 @ 1559 1559.54 c Sol. found (all assignments made)... 1559.54 o 1963351213591857 1559.54 c NEW SOLUTION FOUND: 1963351213591857 @ 1559 1559.54 c Sol. found (all assignments made)... 1559.54 o 1963351212314357 1559.54 c NEW SOLUTION FOUND: 1963351212314357 @ 1559 1559.55 c Sol. found (all assignments made)... 1559.55 o 1963351212186607 1559.55 c NEW SOLUTION FOUND: 1963351212186607 @ 1559 1559.55 c Sol. found (all assignments made)... 1559.55 o 1963351211456607 1559.55 c NEW SOLUTION FOUND: 1963351211456607 @ 1559 1559.55 c Sol. found (all assignments made)... 1559.55 o 1963351210398107 1559.55 c NEW SOLUTION FOUND: 1963351210398107 @ 1559 1559.58 c Sol. found (all assignments made)... 1559.58 o 1963351208556682 1559.58 c NEW SOLUTION FOUND: 1963351208556682 @ 1559 1559.62 c Sol. found (all assignments made)... 1559.62 o 1963351207826682 1559.62 c NEW SOLUTION FOUND: 1963351207826682 @ 1559 1559.67 c Sol. found (all assignments made)... 1559.67 o 1963351205235182 1559.67 c NEW SOLUTION FOUND: 1963351205235182 @ 1559.1 1559.67 c Sol. found (all assignments made)... 1559.67 c Sol. found (all assignments made)... 1559.67 o 1963351205052682 1559.67 c NEW SOLUTION FOUND: 1963351205052682 @ 1559.1 1559.69 c Sol. found (all assignments made)... 1559.69 o 1963351188116682 1559.69 c NEW SOLUTION FOUND: 1963351188116682 @ 1559.1 1559.71 c Sol. found (all assignments made)... 1559.71 o 1963351181546682 1559.71 c NEW SOLUTION FOUND: 1963351181546682 @ 1559.1 1559.83 c Sol. found (all assignments made)... 1559.83 o 1963351180816682 1559.83 c NEW SOLUTION FOUND: 1963351180816682 @ 1559.3 1559.86 c Sol. found (all assignments made)... 1559.86 o 1963351179867682 1559.86 c NEW SOLUTION FOUND: 1963351179867682 @ 1559.3 1559.92 c Sol. found (all assignments made)... 1559.92 o 1963351179356682 1559.92 c NEW SOLUTION FOUND: 1963351179356682 @ 1559.3 1559.94 c Sol. found (all assignments made)... 1559.94 o 1963351172786682 1559.94 c NEW SOLUTION FOUND: 1963351172786682 @ 1559.4 1559.96 c Sol. found (all assignments made)... 1559.96 o 1963351102706682 1559.96 c NEW SOLUTION FOUND: 1963351102706682 @ 1559.4 1560.01 c Sol. found (all assignments made)... 1560.01 o 1963351076791682 1560.01 c NEW SOLUTION FOUND: 1963351076791682 @ 1559.4 1560.03 c Sol. found (all assignments made)... 1560.03 o 1963351076426682 1560.03 c NEW SOLUTION FOUND: 1963351076426682 @ 1559.5 1560.48 c Sol. found (all assignments made)... 1560.48 o 1963351076017882 1560.48 c NEW SOLUTION FOUND: 1963351076017882 @ 1559.9 1560.48 c Sol. found (all assignments made)... 1560.48 o 1963351073462882 1560.48 c NEW SOLUTION FOUND: 1963351073462882 @ 1559.9 1560.48 c Sol. found (all assignments made)... 1560.48 o 1963351070152332 1560.48 c NEW SOLUTION FOUND: 1963351070152332 @ 1559.9 1560.48 c Sol. found (all assignments made)... 1560.48 c Sol. found (all assignments made)... 1560.48 o 1963351069904132 1560.48 c NEW SOLUTION FOUND: 1963351069904132 @ 1559.9 1560.48 c Sol. found (all assignments made)... 1560.48 o 1963351068882132 1560.48 c NEW SOLUTION FOUND: 1963351068882132 @ 1559.9 1560.48 c Sol. found (all assignments made)... 1560.48 o 1963351068458732 1560.48 c NEW SOLUTION FOUND: 1963351068458732 @ 1559.9 1560.48 c Sol. found (all assignments made)... 1560.48 o 1963351068352882 1560.49 c NEW SOLUTION FOUND: 1963351068352882 @ 1559.9 1560.49 c Sol. found (all assignments made)... 1560.49 o 1963351064965682 1560.49 c NEW SOLUTION FOUND: 1963351064965682 @ 1559.9 1560.49 c Sol. found (all assignments made)... 1560.49 o 1963351064746682 1560.49 c NEW SOLUTION FOUND: 1963351064746682 @ 1559.9 1560.49 c Sol. found (all assignments made)... 1560.49 o 1963351063286682 1560.49 c NEW SOLUTION FOUND: 1963351063286682 @ 1559.9 1560.49 c Sol. found (all assignments made)... 1560.49 o 1963351055986682 1560.49 c NEW SOLUTION FOUND: 1963351055986682 @ 1559.9 1560.52 c Sol. found (all assignments made)... 1560.52 o 1963351050146682 1560.52 c NEW SOLUTION FOUND: 1963351050146682 @ 1559.9 1560.55 c Sol. found (all assignments made)... 1560.55 o 1963351030436682 1560.55 c NEW SOLUTION FOUND: 1963351030436682 @ 1560 1560.62 c Sol. found (all assignments made)... 1560.62 o 1963351024078382 1560.62 c NEW SOLUTION FOUND: 1963351024078382 @ 1560 1560.65 c Sol. found (all assignments made)... 1560.65 o 1963351023866682 1560.65 c NEW SOLUTION FOUND: 1963351023866682 @ 1560.1 1561.46 c Sol. found (all assignments made)... 1561.46 o 1963351023080107 1561.46 c NEW SOLUTION FOUND: 1963351023080107 @ 1560.9 1561.47 c Sol. found (all assignments made)... 1561.47 o 1963351022868407 1561.47 c NEW SOLUTION FOUND: 1963351022868407 @ 1560.9 1565.57 c Sol. found (all assignments made)... 1565.57 o 1963351022569107 1565.57 c NEW SOLUTION FOUND: 1963351022569107 @ 1565 1565.59 c Sol. found (all assignments made)... 1565.59 o 1963351022386607 1565.59 c NEW SOLUTION FOUND: 1963351022386607 @ 1565 1570.80 c Restart #124 #Var: 1729 LB: 5808220 @ 1570.2 1575.23 c Restart #125 #Var: 1729 LB: 5808220 @ 1574.6 1641.89 c Restart #126 #Var: 1729 LB: 5808220 @ 1641.3 1648.31 c Sol. found (all assignments made)... 1648.31 o 1962640665726478 1648.31 c NEW SOLUTION FOUND: 1962640665726478 @ 1647.7 1648.31 c Sol. found (all assignments made)... 1648.32 c Sol. found (all assignments made)... 1648.32 o 1962640634793486 1648.32 c NEW SOLUTION FOUND: 1962640634793486 @ 1647.7 1648.32 c Sol. found (all assignments made)... 1648.32 o 1962640631289486 1648.32 c NEW SOLUTION FOUND: 1962640631289486 @ 1647.7 1648.32 c Sol. found (all assignments made)... 1648.32 o 1962640627422862 1648.32 c NEW SOLUTION FOUND: 1962640627422862 @ 1647.7 1648.32 c Sol. found (all assignments made)... 1648.32 o 1961465526347862 1648.32 c NEW SOLUTION FOUND: 1961465526347862 @ 1647.7 1648.32 c Sol. found (all assignments made)... 1648.32 o 1961387186251862 1648.32 c NEW SOLUTION FOUND: 1961387186251862 @ 1647.7 1648.32 c Sol. found (all assignments made)... 1648.32 o 1961387185886862 1648.32 c NEW SOLUTION FOUND: 1961387185886862 @ 1647.7 1648.32 c Sol. found (all assignments made)... 1648.32 o 1961387092446862 1648.32 c NEW SOLUTION FOUND: 1961387092446862 @ 1647.7 1648.32 c Sol. found (all assignments made)... 1648.32 o 1961363171806862 1648.32 c NEW SOLUTION FOUND: 1961363171806862 @ 1647.7 1648.32 c Sol. found (all assignments made)... 1648.32 o 1961363125086862 1648.32 c NEW SOLUTION FOUND: 1961363125086862 @ 1647.7 1648.32 c Sol. found (all assignments made)... 1648.32 o 1961363105960862 1648.32 c NEW SOLUTION FOUND: 1961363105960862 @ 1647.7 1648.32 c Sol. found (all assignments made)... 1648.32 o 1961363102573662 1648.32 c NEW SOLUTION FOUND: 1961363102573662 @ 1647.7 1648.32 c Sol. found (all assignments made)... 1648.32 o 1961355926381662 1648.32 c NEW SOLUTION FOUND: 1961355926381662 @ 1647.7 1648.32 c Sol. found (all assignments made)... 1648.32 o 1961351441261662 1648.32 c NEW SOLUTION FOUND: 1961351441261662 @ 1647.7 1648.32 c Sol. found (all assignments made)... 1648.32 o 1961350974061662 1648.32 c NEW SOLUTION FOUND: 1961350974061662 @ 1647.7 1648.32 c Sol. found (all assignments made)... 1648.32 o 1961350259846396 1648.32 c NEW SOLUTION FOUND: 1961350259846396 @ 1647.7 1648.32 c Sol. found (all assignments made)... 1648.32 o 1961350245976396 1648.32 c NEW SOLUTION FOUND: 1961350245976396 @ 1647.7 1648.32 c Sol. found (all assignments made)... 1648.32 o 1961350245246396 1648.32 c NEW SOLUTION FOUND: 1961350245246396 @ 1647.7 1648.32 c Sol. found (all assignments made)... 1648.32 o 1961350244151396 1648.32 c NEW SOLUTION FOUND: 1961350244151396 @ 1647.7 1648.32 c Sol. found (all assignments made)... 1648.32 o 1961350150711396 1648.32 c NEW SOLUTION FOUND: 1961350150711396 @ 1647.7 1648.32 c Sol. found (all assignments made)... 1648.32 o 1961350088845412 1648.32 c NEW SOLUTION FOUND: 1961350088845412 @ 1647.7 1648.32 c Sol. found (all assignments made)... 1648.32 o 1961350088717662 1648.32 c NEW SOLUTION FOUND: 1961350088717662 @ 1647.7 1648.32 c Sol. found (all assignments made)... 1648.32 o 1961350077037662 1648.32 c NEW SOLUTION FOUND: 1961350077037662 @ 1647.7 1648.32 c Sol. found (all assignments made)... 1648.32 o 1961349643476062 1648.32 c NEW SOLUTION FOUND: 1961349643476062 @ 1647.7 1648.33 c Sol. found (all assignments made)... 1648.33 c Sol. found (all assignments made)... 1648.33 o 1961349635783390 1648.33 c NEW SOLUTION FOUND: 1961349635783390 @ 1647.7 1648.33 c Sol. found (all assignments made)... 1648.33 o 1961349629943390 1648.33 c NEW SOLUTION FOUND: 1961349629943390 @ 1647.7 1648.33 c Sol. found (all assignments made)... 1648.33 o 1961349629460062 1648.33 c NEW SOLUTION FOUND: 1961349629460062 @ 1647.7 1648.33 c Sol. found (all assignments made)... 1648.33 o 1961348134420062 1648.33 c NEW SOLUTION FOUND: 1961348134420062 @ 1647.7 1648.33 c Sol. found (all assignments made)... 1648.33 o 1960904167341662 1648.33 c NEW SOLUTION FOUND: 1960904167341662 @ 1647.7 1648.33 c Sol. found (all assignments made)... 1648.33 o 1960901692808152 1648.33 c NEW SOLUTION FOUND: 1960901692808152 @ 1647.7 1648.33 c Sol. found (all assignments made)... 1648.33 o 1960901692702302 1648.33 c NEW SOLUTION FOUND: 1960901692702302 @ 1647.7 1648.33 c Sol. found (all assignments made)... 1648.33 o 1960901690768990 1648.33 c NEW SOLUTION FOUND: 1960901690768990 @ 1647.7 1648.33 c Sol. found (all assignments made)... 1648.33 o 1960901662736990 1648.33 c NEW SOLUTION FOUND: 1960901662736990 @ 1647.7 1648.33 c Sol. found (all assignments made)... 1648.33 o 1960901655441710 1648.33 c NEW SOLUTION FOUND: 1960901655441710 @ 1647.7 1648.33 c Sol. found (all assignments made)... 1648.33 o 1960901655436990 1648.33 c NEW SOLUTION FOUND: 1960901655436990 @ 1647.7 1648.33 c Sol. found (all assignments made)... 1648.33 c Sol. found (all assignments made)... 1648.33 o 1960901648428990 1648.33 c NEW SOLUTION FOUND: 1960901648428990 @ 1647.7 1648.33 c Sol. found (all assignments made)... 1648.33 o 1960901648217290 1648.33 c NEW SOLUTION FOUND: 1960901648217290 @ 1647.7 1648.34 c Sol. found (all assignments made)... 1648.34 o 1960901648156874 1648.34 c NEW SOLUTION FOUND: 1960901648156874 @ 1647.7 1648.34 c Sol. found (all assignments made)... 1648.34 o 1960901647200574 1648.34 c NEW SOLUTION FOUND: 1960901647200574 @ 1647.7 1648.34 c Sol. found (all assignments made)... 1648.34 c Sol. found (all assignments made)... 1648.34 o 1960901645156574 1648.34 c NEW SOLUTION FOUND: 1960901645156574 @ 1647.7 1648.34 c Sol. found (all assignments made)... 1648.34 o 1960900724772574 1648.34 c NEW SOLUTION FOUND: 1960900724772574 @ 1647.7 1648.34 c Sol. found (all assignments made)... 1648.34 o 1960900710756574 1648.34 c NEW SOLUTION FOUND: 1960900710756574 @ 1647.7 1648.34 c Sol. found (all assignments made)... 1648.34 o 1960900703023326 1648.34 c NEW SOLUTION FOUND: 1960900703023326 @ 1647.7 1648.35 c Sol. found (all assignments made)... 1648.35 o 1960900686671326 1648.35 c NEW SOLUTION FOUND: 1960900686671326 @ 1647.7 1648.35 c Sol. found (all assignments made)... 1648.35 o 1960900593669326 1648.35 c NEW SOLUTION FOUND: 1960900593669326 @ 1647.7 1648.35 c Sol. found (all assignments made)... 1648.35 o 1960900593231326 1648.35 c NEW SOLUTION FOUND: 1960900593231326 @ 1647.7 1648.35 c Sol. found (all assignments made)... 1648.35 o 1960900522421326 1648.35 c NEW SOLUTION FOUND: 1960900522421326 @ 1647.7 1648.35 c Sol. found (all assignments made)... 1648.35 o 1960900276849326 1648.35 c NEW SOLUTION FOUND: 1960900276849326 @ 1647.7 1648.35 c Sol. found (all assignments made)... 1648.35 o 1960900268089326 1648.35 c NEW SOLUTION FOUND: 1960900268089326 @ 1647.7 1648.35 c Sol. found (all assignments made)... 1648.35 o 1960900260789326 1648.35 c NEW SOLUTION FOUND: 1960900260789326 @ 1647.7 1648.35 c Sol. found (all assignments made)... 1648.35 o 1960872512846926 1648.35 c NEW SOLUTION FOUND: 1960872512846926 @ 1647.7 1648.36 c Sol. found (all assignments made)... 1648.36 o 1960871950746926 1648.36 c NEW SOLUTION FOUND: 1960871950746926 @ 1647.7 1648.36 c Sol. found (all assignments made)... 1648.36 o 1960871946366926 1648.36 c NEW SOLUTION FOUND: 1960871946366926 @ 1647.8 1648.36 c Sol. found (all assignments made)... 1648.36 o 1960871829566926 1648.36 c NEW SOLUTION FOUND: 1960871829566926 @ 1647.8 1648.36 c Sol. found (all assignments made)... 1648.36 o 1960871826646926 1648.36 c NEW SOLUTION FOUND: 1960871826646926 @ 1647.8 1648.36 c Sol. found (all assignments made)... 1648.36 o 1960871824529926 1648.36 c NEW SOLUTION FOUND: 1960871824529926 @ 1647.8 1648.36 c Sol. found (all assignments made)... 1648.36 o 1960871796497926 1648.36 c NEW SOLUTION FOUND: 1960871796497926 @ 1647.8 1648.36 c Sol. found (all assignments made)... 1648.36 o 1960871665681926 1648.36 c NEW SOLUTION FOUND: 1960871665681926 @ 1647.8 1648.37 c Sol. found (all assignments made)... 1648.37 o 1960852080657926 1648.37 c NEW SOLUTION FOUND: 1960852080657926 @ 1647.8 1648.37 c Sol. found (all assignments made)... 1648.37 o 1960849839306246 1648.37 c NEW SOLUTION FOUND: 1960849839306246 @ 1647.8 1648.37 c Sol. found (all assignments made)... 1648.37 o 1960849838097926 1648.37 c NEW SOLUTION FOUND: 1960849838097926 @ 1647.8 1648.37 c Sol. found (all assignments made)... 1648.37 o 1960725301269702 1648.37 c NEW SOLUTION FOUND: 1960725301269702 @ 1647.8 1648.37 c Sol. found (all assignments made)... 1648.37 o 1960724254741702 1648.37 c NEW SOLUTION FOUND: 1960724254741702 @ 1647.8 1648.37 c Sol. found (all assignments made)... 1648.37 o 1960724254737926 1648.37 c NEW SOLUTION FOUND: 1960724254737926 @ 1647.8 1648.37 c Sol. found (all assignments made)... 1648.38 o 1960724161297926 1648.38 c NEW SOLUTION FOUND: 1960724161297926 @ 1647.8 1648.38 c Sol. found (all assignments made)... 1648.38 o 1960613181208326 1648.38 c NEW SOLUTION FOUND: 1960613181208326 @ 1647.8 1648.39 c Sol. found (all assignments made)... 1648.39 o 1960613169528326 1648.39 c NEW SOLUTION FOUND: 1960613169528326 @ 1647.8 1648.39 c Sol. found (all assignments made)... 1648.39 o 1960613166973326 1648.39 c NEW SOLUTION FOUND: 1960613166973326 @ 1647.8 1648.40 c Sol. found (all assignments made)... 1648.40 o 1960613058582926 1648.40 c NEW SOLUTION FOUND: 1960613058582926 @ 1647.8 1648.40 c Sol. found (all assignments made)... 1648.40 o 1960613057414926 1648.40 c NEW SOLUTION FOUND: 1960613057414926 @ 1647.8 1648.41 c Sol. found (all assignments made)... 1648.41 o 1960613029382926 1648.41 c NEW SOLUTION FOUND: 1960613029382926 @ 1647.8 1648.42 c Sol. found (all assignments made)... 1648.42 o 1960613024272926 1648.42 c NEW SOLUTION FOUND: 1960613024272926 @ 1647.8 1648.42 c Sol. found (all assignments made)... 1648.42 o 1960613022520926 1648.42 c NEW SOLUTION FOUND: 1960613022520926 @ 1647.8 1648.43 c Sol. found (all assignments made)... 1648.43 o 1960612275000926 1648.43 c NEW SOLUTION FOUND: 1960612275000926 @ 1647.8 1648.45 c Sol. found (all assignments made)... 1648.45 o 1960612241420926 1648.45 c NEW SOLUTION FOUND: 1960612241420926 @ 1647.8 1648.45 c Sol. found (all assignments made)... 1648.45 o 1960612239960926 1648.45 c NEW SOLUTION FOUND: 1960612239960926 @ 1647.8 1648.72 c Sol. found (all assignments made)... 1648.72 o 1960507475470926 1648.72 c NEW SOLUTION FOUND: 1960507475470926 @ 1648.1 1648.72 c Sol. found (all assignments made)... 1648.72 o 1960507456344926 1648.72 c NEW SOLUTION FOUND: 1960507456344926 @ 1648.1 1648.81 c Sol. found (all assignments made)... 1648.81 o 1959379598168926 1648.81 c NEW SOLUTION FOUND: 1959379598168926 @ 1648.2 1648.82 c Sol. found (all assignments made)... 1648.82 c Sol. found (all assignments made)... 1648.82 o 1959378850648926 1648.82 c NEW SOLUTION FOUND: 1959378850648926 @ 1648.2 1648.82 c Sol. found (all assignments made)... 1648.82 o 1959359265624926 1648.82 c NEW SOLUTION FOUND: 1959359265624926 @ 1648.2 1648.83 c Sol. found (all assignments made)... 1648.83 o 1959358798424926 1648.83 c NEW SOLUTION FOUND: 1959358798424926 @ 1648.2 1648.95 c Sol. found (all assignments made)... 1648.95 o 1959358792584926 1648.95 c NEW SOLUTION FOUND: 1959358792584926 @ 1648.3 1649.05 c Sol. found (all assignments made)... 1649.05 o 1959358344072926 1649.05 c NEW SOLUTION FOUND: 1959358344072926 @ 1648.4 1649.34 c Sol. found (all assignments made)... 1649.34 o 1959358342320926 1649.34 c NEW SOLUTION FOUND: 1959358342320926 @ 1648.7 1649.57 c Sol. found (all assignments made)... 1649.57 o 1959358341809926 1649.57 c NEW SOLUTION FOUND: 1959358341809926 @ 1649 1649.82 c Sol. found (all assignments made)... 1649.82 o 1959358314734226 1649.82 c NEW SOLUTION FOUND: 1959358314734226 @ 1649.2 1649.82 c Sol. found (all assignments made)... 1649.82 o 1959358268014226 1649.82 c NEW SOLUTION FOUND: 1959358268014226 @ 1649.2 1649.83 c Sol. found (all assignments made)... 1649.83 o 1959358267057926 1649.83 c NEW SOLUTION FOUND: 1959358267057926 @ 1649.2 1649.85 c Sol. found (all assignments made)... 1649.85 o 1959357799857926 1649.85 c NEW SOLUTION FOUND: 1959357799857926 @ 1649.2 1650.08 c Sol. found (all assignments made)... 1650.08 o 1959357783294226 1650.08 c NEW SOLUTION FOUND: 1959357783294226 @ 1649.5 1650.09 c Sol. found (all assignments made)... 1650.09 o 1959357782337926 1650.09 c NEW SOLUTION FOUND: 1959357782337926 @ 1649.5 1650.63 c Sol. found (all assignments made)... 1650.63 o 1959300376678566 1650.63 c NEW SOLUTION FOUND: 1959300376678566 @ 1650 1650.63 c Sol. found (all assignments made)... 1650.63 o 1959300375218566 1650.63 c NEW SOLUTION FOUND: 1959300375218566 @ 1650 1650.64 c Sol. found (all assignments made)... 1650.64 o 1959300372801926 1650.64 c NEW SOLUTION FOUND: 1959300372801926 @ 1650 1650.96 c Sol. found (all assignments made)... 1650.96 o 1959296635201926 1650.96 c NEW SOLUTION FOUND: 1959296635201926 @ 1650.4 1651.32 c Sol. found (all assignments made)... 1651.32 o 1959296635164166 1651.32 c NEW SOLUTION FOUND: 1959296635164166 @ 1650.7 1651.71 c Sol. found (all assignments made)... 1651.71 o 1958983274780166 1651.71 c NEW SOLUTION FOUND: 1958983274780166 @ 1651.1 1652.23 c Sol. found (all assignments made)... 1652.23 o 1958983270400166 1652.23 c NEW SOLUTION FOUND: 1958983270400166 @ 1651.6 1652.26 c Sol. found (all assignments made)... 1652.26 o 1958983267480166 1652.26 c NEW SOLUTION FOUND: 1958983267480166 @ 1651.7 1652.61 c Sol. found (all assignments made)... 1652.61 o 1958981398680166 1652.61 c NEW SOLUTION FOUND: 1958981398680166 @ 1652 1653.10 c Sol. found (all assignments made)... 1653.10 o 1958981211800166 1653.10 c NEW SOLUTION FOUND: 1958981211800166 @ 1652.5 1653.49 c Sol. found (all assignments made)... 1653.49 o 1958687790744166 1653.49 c NEW SOLUTION FOUND: 1958687790744166 @ 1652.9 1653.50 c Sol. found (all assignments made)... 1653.50 o 1958394766554166 1653.50 c NEW SOLUTION FOUND: 1958394766554166 @ 1652.9 1653.51 c Sol. found (all assignments made)... 1653.51 o 1958394762904166 1653.51 c NEW SOLUTION FOUND: 1958394762904166 @ 1652.9 1653.53 c Sol. found (all assignments made)... 1653.53 o 1958374430360166 1653.53 c NEW SOLUTION FOUND: 1958374430360166 @ 1652.9 1653.55 c Sol. found (all assignments made)... 1653.55 o 1958081402520166 1653.55 c NEW SOLUTION FOUND: 1958081402520166 @ 1652.9 1653.98 c Sol. found (all assignments made)... 1653.98 o 1957539600024166 1653.98 c NEW SOLUTION FOUND: 1957539600024166 @ 1653.4 1653.99 c Sol. found (all assignments made)... 1653.99 o 1957372155544166 1653.99 c NEW SOLUTION FOUND: 1957372155544166 @ 1653.4 1654.00 c Sol. found (all assignments made)... 1654.00 o 1957246572184166 1654.00 c NEW SOLUTION FOUND: 1957246572184166 @ 1653.4 1654.02 c Sol. found (all assignments made)... 1654.02 o 1957226239640166 1654.02 c NEW SOLUTION FOUND: 1957226239640166 @ 1653.4 1654.02 c Sol. found (all assignments made)... 1654.02 o 1957058795160166 1654.02 c NEW SOLUTION FOUND: 1957058795160166 @ 1653.4 1654.03 c Sol. found (all assignments made)... 1654.03 o 1956933211800166 1654.03 c NEW SOLUTION FOUND: 1956933211800166 @ 1653.4 1654.54 c Sol. found (all assignments made)... 1654.54 o 1956932928560166 1654.54 c NEW SOLUTION FOUND: 1956932928560166 @ 1653.9 1655.03 c Sol. found (all assignments made)... 1655.03 o 1956932927100166 1655.03 c NEW SOLUTION FOUND: 1956932927100166 @ 1654.4 1655.52 c Sol. found (all assignments made)... 1655.52 o 1956932907767046 1655.52 c NEW SOLUTION FOUND: 1956932907767046 @ 1654.9 1656.48 c Sol. found (all assignments made)... 1656.48 o 1956932892300550 1656.48 c NEW SOLUTION FOUND: 1956932892300550 @ 1655.9 1657.38 c Sol. found (all assignments made)... 1657.38 o 1956510687164550 1657.38 c NEW SOLUTION FOUND: 1956510687164550 @ 1656.8 1657.40 c Sol. found (all assignments made)... 1657.40 o 1956385103804550 1657.40 c NEW SOLUTION FOUND: 1956385103804550 @ 1656.8 1657.47 c Sol. found (all assignments made)... 1657.47 o 1956365018724486 1657.47 c NEW SOLUTION FOUND: 1956365018724486 @ 1656.9 1657.48 c Sol. found (all assignments made)... 1657.48 o 1956364771260550 1657.48 c NEW SOLUTION FOUND: 1956364771260550 @ 1656.9 1657.49 c Sol. found (all assignments made)... 1657.49 o 1956197326780550 1657.49 c NEW SOLUTION FOUND: 1956197326780550 @ 1656.9 1657.51 c Sol. found (all assignments made)... 1657.51 o 1956071743420550 1657.51 c NEW SOLUTION FOUND: 1956071743420550 @ 1656.9 1659.13 c Sol. found (all assignments made)... 1659.13 o 1956071740500550 1659.13 c NEW SOLUTION FOUND: 1956071740500550 @ 1658.5 1662.30 c Sol. found (all assignments made)... 1662.30 o 1955790311367750 1662.30 c NEW SOLUTION FOUND: 1955790311367750 @ 1661.7 1662.31 c Sol. found (all assignments made)... 1662.31 o 1955790194567750 1662.31 c NEW SOLUTION FOUND: 1955790194567750 @ 1661.7 1662.32 c Sol. found (all assignments made)... 1662.32 o 1955622750087750 1662.32 c NEW SOLUTION FOUND: 1955622750087750 @ 1661.7 1662.33 c Sol. found (all assignments made)... 1662.33 o 1955497185853750 1662.33 c NEW SOLUTION FOUND: 1955497185853750 @ 1661.7 1662.34 c Sol. found (all assignments made)... 1662.34 o 1955497166727750 1662.34 c NEW SOLUTION FOUND: 1955497166727750 @ 1661.7 1662.36 c Sol. found (all assignments made)... 1662.36 o 1955309408829750 1662.36 c NEW SOLUTION FOUND: 1955309408829750 @ 1661.7 1662.37 c Sol. found (all assignments made)... 1662.37 o 1955309389703750 1662.37 c NEW SOLUTION FOUND: 1955309389703750 @ 1661.8 1662.38 c Sol. found (all assignments made)... 1662.38 o 1955183806343750 1662.38 c NEW SOLUTION FOUND: 1955183806343750 @ 1661.8 1667.45 c Restart #127 #Var: 1729 LB: 5808220 @ 1666.8 1780.61 c Restart #128 #Var: 1729 LB: 5808220 @ 1780 1800.70 s SATISFIABLE 1800.70 c Cost: 1955183806343750 1800.70 v -x1404 x1411 -x1414 x1415 -x1416 -x1417 -x1418 -x1419 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1412 -x1413 -x2060 -x2061 1800.70 v -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2130 x2131 x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 1800.70 v -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 1800.70 v -x2177 -x2178 -x2179 -x2180 -x2181 x2182 x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 x2194 1800.70 v -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 1800.70 v -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 x2070 -x2071 x2072 x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 1800.70 v -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 1800.70 v -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 1800.70 v -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2140 1800.70 v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 1800.70 v -x2158 -x2159 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1970 -x1971 x1972 -x1973 -x1974 1800.70 v -x1975 -x1976 -x1977 -x1978 -x1979 -x2000 x2001 -x2002 -x2003 x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 1800.70 v -x2013 -x2014 -x2015 x2016 -x2017 -x2018 -x2019 -x2020 -x2021 x2022 x2023 x2024 -x2025 x2026 -x2027 -x2028 -x2029 -x2030 1800.70 v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 x2037 -x2038 -x2039 x2040 x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 1800.70 v -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 x2055 x2056 -x2057 x2058 -x2059 x1910 -x1911 -x1912 x1913 x1914 x1915 -x1916 1800.70 v -x1917 -x1918 -x1919 x1920 -x1921 x1922 -x1923 x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 1800.70 v -x1935 -x1936 -x1937 x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 1800.70 v -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 x1958 -x1959 x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 1800.70 v -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 x1987 -x1988 -x1989 -x1990 -x1991 x1992 x1993 -x1994 x1995 -x1996 x1997 1800.70 v -x1998 -x1999 x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 x13 x14 -x15 x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 1800.70 v -x27 -x28 -x29 -x30 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 1800.70 v -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 1800.70 v -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 1800.70 v -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 1800.70 v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 1800.70 v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 -x572 1800.70 v -x573 -x574 x575 x576 -x577 -x578 x579 x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 1800.70 v -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 1800.70 v x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 x635 -x636 1800.70 v x637 -x638 -x639 -x640 -x641 x642 -x643 x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 1800.70 v -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 1800.70 v -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x31 -x32 -x33 -x34 -x35 x36 -x37 x38 x39 -x40 x41 x42 1800.70 v x43 x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 1800.70 v -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 1800.70 v -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 x106 -x107 -x108 x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 1800.70 v -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 1800.70 v x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 x157 x158 1800.70 v x159 -x160 x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 1800.70 v -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 1800.70 v -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 x213 -x214 x215 -x216 -x217 x218 -x219 -x220 -x221 x222 1800.70 v -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 1800.70 v -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 1800.70 v -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 1800.70 v -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 x303 x304 x305 -x306 -x307 1800.70 v x308 -x309 x310 x311 -x312 x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 1800.70 v -x330 x361 x362 -x363 -x364 -x365 x366 -x367 -x368 x369 -x370 x371 x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 1800.70 v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 1800.70 v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 1800.70 v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 -x443 -x444 1800.70 v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 1800.70 v -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x691 -x692 -x693 -x694 -x695 -x696 1800.70 v -x697 -x698 -x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 1800.70 v -x718 -x719 -x720 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 1800.70 v -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1171 -x1172 1800.70 v x1173 x1174 x1175 x1176 -x1177 -x1178 -x1179 x1180 x1181 -x1182 -x1183 x1184 x1185 x1186 x1187 -x1188 -x1189 x1190 -x1191 1800.70 v -x1192 x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 1800.70 v -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 1800.70 v -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 1800.70 v -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 1800.70 v -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 1800.70 v -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 1800.70 v -x1294 -x1295 -x1296 x1297 -x1298 -x1299 -x1300 -x1301 -x1302 x1303 x1304 x1305 x1306 x1307 x1308 x1309 x1310 x1311 x1312 1800.70 v x1313 x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 1800.70 v -x1331 -x1332 x1333 x1334 -x1335 -x1336 x1337 x1338 x1339 x1340 x1341 x1342 x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 1800.70 v -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 x1363 x1364 -x1365 -x1366 x1367 1800.70 v x1368 x1369 x1370 x1371 x1372 x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 x721 -x722 x723 -x724 -x725 -x726 -x727 1800.70 v x728 -x729 -x730 -x731 x732 -x733 x734 -x735 -x736 -x737 x738 -x739 x740 -x741 x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 1800.70 v -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 x761 x762 x763 -x764 -x765 -x766 x767 x768 x769 -x770 -x771 1800.70 v -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 1800.70 v -x793 -x794 -x795 -x796 x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 x813 1800.70 v -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 1800.70 v -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 1800.70 v -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 1800.70 v -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 x891 x892 -x893 -x894 -x895 -x896 -x897 1800.70 v -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 1800.70 v -x919 -x920 x921 x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 1800.70 v -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 1800.70 v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 1800.70 v -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 x994 -x995 -x996 -x997 -x998 -x999 x1000 -x1001 x1002 1800.70 v x1003 x1004 -x1005 x1006 x1007 x1008 x1009 -x1010 x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 1800.70 v x1051 x1052 x1053 x1054 x1055 x1056 x1057 x1058 x1059 x1060 x1061 -x1062 x1063 -x1064 -x1065 x1066 x1067 x1068 x1069 -x1070 1800.70 v x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 1800.70 v -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 x1097 x1098 x1099 x1100 x1101 x1102 x1103 -x1104 -x1105 1800.70 v -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 1800.70 v -x1123 -x1124 -x1125 -x1126 x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 1800.70 v -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 1800.70 v -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 x1381 x1392 x1382 -x1383 1800.70 v -x1384 -x1385 -x1386 x1399 -x1387 -x1388 -x1389 -x1390 x1400 -x1391 -x1393 x1397 -x1401 -x1394 -x1395 -x1396 x1398 -x1402 1800.70 v -x1403 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 1800.70 v -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 x1450 x1451 -x1452 -x1453 1800.70 v x1454 x1455 -x1456 -x1457 -x1458 x1459 -x1460 -x1461 x1462 x1463 -x1464 -x1465 x1466 -x1467 x1468 -x1469 x1470 -x1471 -x1472 1800.70 v -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 x1481 -x1482 -x1483 x1484 -x1485 -x1486 -x1487 x1488 x1489 -x1490 1800.70 v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 1800.70 v -x1508 -x1509 x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 1800.70 v -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 1800.70 v -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 1800.70 v -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 x1570 x1571 x1572 x1573 x1574 x1575 x1576 1800.70 v x1577 x1578 x1579 x1580 x1581 x1582 x1583 x1584 x1585 x1586 x1587 x1588 x1589 -x1590 x1591 -x1592 -x1593 -x1594 -x1595 -x1596 1800.70 v -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 1800.70 v -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 x1630 1800.70 v x1631 -x1632 x1633 -x1634 x1635 x1636 -x1637 x1638 -x1639 x1640 -x1641 -x1642 x1643 -x1644 -x1645 x1646 -x1647 -x1648 -x1649 1800.70 v -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 x1662 -x1663 -x1664 -x1665 -x1666 1800.70 v x1667 -x1668 -x1669 x1670 -x1671 x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 1800.70 v -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 x1691 -x1692 -x1693 x1694 -x1695 x1696 -x1697 -x1698 x1699 x1700 x1701 -x1702 1800.70 v -x1703 -x1704 x1705 x1706 x1707 x1708 x1709 x1710 x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 x1720 -x1721 1800.70 v -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 x1728 -x1729 x1730 -x1731 x1732 -x1733 x1734 -x1735 x1736 x1737 -x1738 -x1739 1800.70 v -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 x1752 x1753 -x1754 x1755 -x1756 x1757 1800.70 v -x1758 x1759 x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 1800.70 v -x1776 -x1777 -x1778 -x1779 x1780 -x1781 -x1782 -x1783 -x1784 x1785 -x1786 -x1787 x1788 -x1789 -x1790 -x1791 x1792 x1793 1800.70 v x1794 -x1795 x1796 -x1797 -x1798 -x1799 -x1800 x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 1800.70 v x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 x1819 x1820 -x1821 -x1822 -x1823 x1824 -x1825 x1826 x1827 x1828 x1829 -x1830 1800.70 v x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 1800.70 v -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 1800.70 v -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 1800.70 v x1882 x1883 -x1884 -x1885 x1886 x1887 x1888 x1889 x1890 x1891 x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 1800.70 c Exit Code: 10 1800.70 c Total time: 1800 s
OK 1955183806343750
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/node44/watcher-40731-1149314524 -o ROOT/results/node44/solver-40731-1149314524 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node44/40731-1149314524/instance-40731-1149314524.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.99 2/64 20002 /proc/meminfo: memFree=1816088/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=4664 CPUtime=0 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 136 0 0 0 0 0 0 0 19 0 1 0 197119240 4775936 117 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11284568 0 0 4096 0 0 0 0 17 1 0 0 /proc/20002/statm: 1166 120 100 55 0 46 0 [startup+10.0026 s] /proc/loadavg: 0.93 0.97 0.99 2/64 20002 /proc/meminfo: memFree=1800496/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=20188 CPUtime=9.98 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 4317 0 0 0 986 12 0 0 25 0 1 0 197119240 20672512 4211 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 5047 4211 299 55 0 3939 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 20188 [startup+20.0095 s] /proc/loadavg: 0.94 0.97 0.99 2/64 20002 /proc/meminfo: memFree=1743216/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=77352 CPUtime=19.98 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 18659 0 0 0 1975 23 0 0 25 0 1 0 197119240 79208448 18518 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 19338 18518 299 55 0 18230 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 77352 [startup+30.0163 s] /proc/loadavg: 0.95 0.97 0.99 2/64 20002 /proc/meminfo: memFree=1700720/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=119712 CPUtime=29.99 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 29337 0 0 0 2965 34 0 0 25 0 1 0 197119240 122585088 29090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 29928 29090 299 55 0 28820 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 119712 [startup+40.0222 s] /proc/loadavg: 0.96 0.97 0.99 2/64 20002 /proc/meminfo: memFree=1673136/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=147384 CPUtime=39.98 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 36235 0 0 0 3956 42 0 0 25 0 1 0 197119240 150921216 35988 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534985 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 36846 35988 299 55 0 35738 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 147384 [startup+50.029 s] /proc/loadavg: 0.96 0.97 0.99 2/64 20002 /proc/meminfo: memFree=1662320/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=158200 CPUtime=49.99 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 38930 0 0 0 4954 45 0 0 25 0 1 0 197119240 161996800 38683 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11716165 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 39550 38683 299 55 0 38442 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 158200 [startup+60.0348 s] /proc/loadavg: 0.97 0.97 0.99 2/64 20002 /proc/meminfo: memFree=1660400/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=159996 CPUtime=59.99 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 39410 0 0 0 5953 46 0 0 25 0 1 0 197119240 163835904 39163 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 39999 39163 299 55 0 38891 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 159996 [startup+70.0417 s] /proc/loadavg: 0.97 0.97 0.99 2/64 20002 /proc/meminfo: memFree=1645232/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=175232 CPUtime=69.99 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 43203 0 0 0 6950 49 0 0 25 0 1 0 197119240 179437568 42956 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 43808 42956 299 55 0 42700 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 175232 [startup+80.0485 s] /proc/loadavg: 0.98 0.97 0.99 2/64 20002 /proc/meminfo: memFree=1609776/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=210528 CPUtime=80 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 52231 0 0 0 7942 58 0 0 25 0 1 0 197119240 215580672 51775 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 52632 51775 299 55 0 51524 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 210528 [startup+90.0544 s] /proc/loadavg: 0.98 0.97 0.99 2/64 20002 /proc/meminfo: memFree=1608112/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=212180 CPUtime=90 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 52657 0 0 0 8940 60 0 0 25 0 1 0 197119240 217272320 52201 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 53045 52201 299 55 0 51937 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 212180 [startup+100.06 s] /proc/loadavg: 0.98 0.97 0.99 2/64 20002 /proc/meminfo: memFree=1606832/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=213476 CPUtime=100 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 52977 0 0 0 9939 61 0 0 25 0 1 0 197119240 218599424 52521 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 53369 52521 299 55 0 52261 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 213476 [startup+110.066 s] /proc/loadavg: 0.98 0.97 0.99 2/64 20002 /proc/meminfo: memFree=1579568/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=240676 CPUtime=110.01 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 59767 0 0 0 10933 68 0 0 25 0 1 0 197119240 246452224 59311 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 60169 59311 299 55 0 59061 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 240676 [startup+120.072 s] /proc/loadavg: 0.99 0.97 0.99 2/64 20002 /proc/meminfo: memFree=1541296/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=279040 CPUtime=120.01 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 69335 0 0 0 11923 78 0 0 25 0 1 0 197119240 285736960 68879 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 69760 68879 299 55 0 68652 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 279040 [startup+130.078 s] /proc/loadavg: 0.99 0.97 0.99 2/64 20002 /proc/meminfo: memFree=1486640/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=333524 CPUtime=130.01 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 82953 0 0 0 12914 87 0 0 25 0 1 0 197119240 341528576 82497 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 83381 82497 299 55 0 82273 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 333524 [startup+140.084 s] /proc/loadavg: 0.99 0.97 0.99 2/64 20002 /proc/meminfo: memFree=1444080/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=375960 CPUtime=140.01 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 93573 0 0 0 13905 96 0 0 25 0 1 0 197119240 384983040 93117 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 93990 93117 299 55 0 92882 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 375960 [startup+150.089 s] /proc/loadavg: 0.99 0.97 0.99 2/64 20002 /proc/meminfo: memFree=1401392/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=418656 CPUtime=150.02 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 104638 0 0 0 14898 104 0 0 25 0 1 0 197119240 428703744 103765 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 104664 103765 299 55 0 103556 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 418656 [startup+160.095 s] /proc/loadavg: 0.99 0.97 0.99 2/64 20002 /proc/meminfo: memFree=1393776/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=426180 CPUtime=160.02 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 106532 0 0 0 15895 107 0 0 25 0 1 0 197119240 436408320 105658 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 106545 105658 299 55 0 105437 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 426180 [startup+170.101 s] /proc/loadavg: 0.99 0.97 0.99 2/64 20002 /proc/meminfo: memFree=1372592/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=447396 CPUtime=170.01 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 111832 0 0 0 16889 112 0 0 25 0 1 0 197119240 458133504 110956 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 111849 110956 299 55 0 110741 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 447396 [startup+180.107 s] /proc/loadavg: 0.99 0.97 0.99 2/64 20002 /proc/meminfo: memFree=1328304/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=491624 CPUtime=180.02 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 122874 0 0 0 17880 122 0 0 25 0 1 0 197119240 503422976 121998 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 122906 121998 299 55 0 121798 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 491624 [startup+190.113 s] /proc/loadavg: 0.99 0.97 0.99 2/64 20002 /proc/meminfo: memFree=1327792/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=492144 CPUtime=190.02 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 123004 0 0 0 18880 122 0 0 25 0 1 0 197119240 503955456 122128 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 123036 122128 299 55 0 121928 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 492144 [startup+200.119 s] /proc/loadavg: 0.99 0.97 0.99 2/64 20002 /proc/meminfo: memFree=1327664/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=492276 CPUtime=200.02 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 123050 0 0 0 19880 122 0 0 25 0 1 0 197119240 504090624 122174 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548771 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 123069 122174 299 55 0 121961 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 492276 [startup+210.124 s] /proc/loadavg: 0.99 0.97 0.99 2/64 20002 /proc/meminfo: memFree=1286384/2055920 swapFree=4181400/4192956 ################ # More data... # ################ /proc/20002/statm: 348145 346769 299 55 0 347037 0 Current children cumulated CPU time (s) 1760.44 Current children cumulated vsize (Kb) 1392580 [startup+1771.11 s] /proc/loadavg: 0.99 0.97 0.99 2/64 20002 /proc/meminfo: memFree=426352/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=1393364 CPUtime=1770.45 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 348848 0 0 0 176620 425 0 0 25 0 1 0 197119240 1426804736 346955 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 348341 346955 299 55 0 347233 0 Current children cumulated CPU time (s) 1770.45 Current children cumulated vsize (Kb) 1393364 [startup+1781.11 s] /proc/loadavg: 0.99 0.97 0.99 2/64 20002 /proc/meminfo: memFree=425968/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=1393760 CPUtime=1780.45 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 348938 0 0 0 177619 426 0 0 25 0 1 0 197119240 1427210240 347045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 348440 347045 299 55 0 347332 0 Current children cumulated CPU time (s) 1780.45 Current children cumulated vsize (Kb) 1393760 [startup+1782.12 s] /proc/loadavg: 0.99 0.97 0.99 2/64 20002 /proc/meminfo: memFree=425968/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=1393760 CPUtime=1781.46 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 348938 0 0 0 177720 426 0 0 25 0 1 0 197119240 1427210240 347045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 348440 347045 299 55 0 347332 0 Current children cumulated CPU time (s) 1781.46 Current children cumulated vsize (Kb) 1393760 [startup+1783.12 s] /proc/loadavg: 0.99 0.97 0.99 2/64 20002 /proc/meminfo: memFree=425968/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=1393760 CPUtime=1782.46 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 348938 0 0 0 177820 426 0 0 25 0 1 0 197119240 1427210240 347045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 348440 347045 299 55 0 347332 0 Current children cumulated CPU time (s) 1782.46 Current children cumulated vsize (Kb) 1393760 [startup+1784.13 s] /proc/loadavg: 0.99 0.97 0.99 2/64 20002 /proc/meminfo: memFree=425968/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=1393760 CPUtime=1783.46 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 348938 0 0 0 177920 426 0 0 25 0 1 0 197119240 1427210240 347045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 348440 347045 299 55 0 347332 0 Current children cumulated CPU time (s) 1783.46 Current children cumulated vsize (Kb) 1393760 [startup+1785.13 s] /proc/loadavg: 0.99 0.97 0.99 2/64 20002 /proc/meminfo: memFree=425968/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=1393760 CPUtime=1784.47 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 348938 0 0 0 178021 426 0 0 25 0 1 0 197119240 1427210240 347045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 348440 347045 299 55 0 347332 0 Current children cumulated CPU time (s) 1784.47 Current children cumulated vsize (Kb) 1393760 [startup+1786.14 s] /proc/loadavg: 0.99 0.97 0.99 2/64 20002 /proc/meminfo: memFree=425968/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=1393760 CPUtime=1785.47 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 348938 0 0 0 178121 426 0 0 25 0 1 0 197119240 1427210240 347045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 348440 347045 299 55 0 347332 0 Current children cumulated CPU time (s) 1785.47 Current children cumulated vsize (Kb) 1393760 [startup+1787.14 s] /proc/loadavg: 0.99 0.97 0.99 2/64 20002 /proc/meminfo: memFree=425968/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=1393760 CPUtime=1786.48 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 348938 0 0 0 178222 426 0 0 25 0 1 0 197119240 1427210240 347045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 348440 347045 299 55 0 347332 0 Current children cumulated CPU time (s) 1786.48 Current children cumulated vsize (Kb) 1393760 [startup+1788.15 s] /proc/loadavg: 0.99 0.97 0.99 2/64 20002 /proc/meminfo: memFree=425968/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=1393760 CPUtime=1787.48 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 348938 0 0 0 178322 426 0 0 25 0 1 0 197119240 1427210240 347045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 348440 347045 299 55 0 347332 0 Current children cumulated CPU time (s) 1787.48 Current children cumulated vsize (Kb) 1393760 [startup+1789.15 s] /proc/loadavg: 0.99 0.97 0.99 2/64 20002 /proc/meminfo: memFree=425968/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=1393760 CPUtime=1788.49 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 348938 0 0 0 178423 426 0 0 25 0 1 0 197119240 1427210240 347045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 348440 347045 299 55 0 347332 0 Current children cumulated CPU time (s) 1788.49 Current children cumulated vsize (Kb) 1393760 [startup+1790.15 s] /proc/loadavg: 0.99 0.97 0.99 2/64 20002 /proc/meminfo: memFree=425968/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=1393760 CPUtime=1789.49 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 348938 0 0 0 178523 426 0 0 25 0 1 0 197119240 1427210240 347045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 348440 347045 299 55 0 347332 0 Current children cumulated CPU time (s) 1789.49 Current children cumulated vsize (Kb) 1393760 [startup+1791.16 s] /proc/loadavg: 0.99 0.97 0.99 2/64 20002 /proc/meminfo: memFree=425968/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=1393760 CPUtime=1790.5 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 348938 0 0 0 178624 426 0 0 25 0 1 0 197119240 1427210240 347045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548497 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 348440 347045 299 55 0 347332 0 Current children cumulated CPU time (s) 1790.5 Current children cumulated vsize (Kb) 1393760 [startup+1792.17 s] /proc/loadavg: 0.99 0.97 0.99 2/64 20002 /proc/meminfo: memFree=425968/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=1393760 CPUtime=1791.5 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 348938 0 0 0 178724 426 0 0 25 0 1 0 197119240 1427210240 347045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 348440 347045 299 55 0 347332 0 Current children cumulated CPU time (s) 1791.5 Current children cumulated vsize (Kb) 1393760 [startup+1793.17 s] /proc/loadavg: 0.99 0.97 0.99 2/64 20002 /proc/meminfo: memFree=425968/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=1393760 CPUtime=1792.5 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 348938 0 0 0 178824 426 0 0 25 0 1 0 197119240 1427210240 347045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 348440 347045 299 55 0 347332 0 Current children cumulated CPU time (s) 1792.5 Current children cumulated vsize (Kb) 1393760 [startup+1794.17 s] /proc/loadavg: 0.99 0.97 0.99 2/64 20002 /proc/meminfo: memFree=425968/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=1393760 CPUtime=1793.51 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 348938 0 0 0 178925 426 0 0 25 0 1 0 197119240 1427210240 347045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 348440 347045 299 55 0 347332 0 Current children cumulated CPU time (s) 1793.51 Current children cumulated vsize (Kb) 1393760 [startup+1795.18 s] /proc/loadavg: 0.99 0.97 0.99 2/64 20002 /proc/meminfo: memFree=425968/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=1393760 CPUtime=1794.51 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 348938 0 0 0 179025 426 0 0 25 0 1 0 197119240 1427210240 347045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 348440 347045 299 55 0 347332 0 Current children cumulated CPU time (s) 1794.51 Current children cumulated vsize (Kb) 1393760 [startup+1796.18 s] /proc/loadavg: 0.99 0.97 0.99 2/64 20002 /proc/meminfo: memFree=425968/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=1393760 CPUtime=1795.52 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 348938 0 0 0 179126 426 0 0 25 0 1 0 197119240 1427210240 347045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 348440 347045 299 55 0 347332 0 Current children cumulated CPU time (s) 1795.52 Current children cumulated vsize (Kb) 1393760 [startup+1797.19 s] /proc/loadavg: 0.99 0.97 0.99 2/64 20002 /proc/meminfo: memFree=425968/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=1393760 CPUtime=1796.52 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 348938 0 0 0 179226 426 0 0 25 0 1 0 197119240 1427210240 347045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 348440 347045 299 55 0 347332 0 Current children cumulated CPU time (s) 1796.52 Current children cumulated vsize (Kb) 1393760 [startup+1798.19 s] /proc/loadavg: 0.99 0.97 0.99 2/64 20002 /proc/meminfo: memFree=425968/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=1393760 CPUtime=1797.53 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 348938 0 0 0 179327 426 0 0 25 0 1 0 197119240 1427210240 347045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 348440 347045 299 55 0 347332 0 Current children cumulated CPU time (s) 1797.53 Current children cumulated vsize (Kb) 1393760 [startup+1799.2 s] /proc/loadavg: 0.99 0.97 0.99 2/64 20002 /proc/meminfo: memFree=425968/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=1393760 CPUtime=1798.53 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 348938 0 0 0 179427 426 0 0 25 0 1 0 197119240 1427210240 347045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 348440 347045 299 55 0 347332 0 Current children cumulated CPU time (s) 1798.53 Current children cumulated vsize (Kb) 1393760 [startup+1800.2 s] /proc/loadavg: 0.99 0.97 0.99 2/64 20002 /proc/meminfo: memFree=425968/2055920 swapFree=4181400/4192956 [pid=20002] ppid=20000 vsize=1393760 CPUtime=1799.54 /proc/20002/stat : 20002 (bsolo) R 20000 20002 19956 0 -1 0 348938 0 0 0 179528 426 0 0 25 0 1 0 197119240 1427210240 347045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20002/statm: 348440 347045 299 55 0 347332 0 Current children cumulated CPU time (s) 1799.54 Current children cumulated vsize (Kb) 1393760 Child status: 10 Real time (s): 1800.92 CPU time (s): 1800.25 CPU user time (s): 1795.78 CPU system time (s): 4.47532 CPU usage (%): 99.9629 Max. virtual memory (cumulated for all children) (Kb): 1393760
Begin job on node44 on Sat Jun 3 06:02:04 UTC 2006 FILE ID= 40731-1149314524 PBS_JOBID= 308237 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell3a.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node44/40731-1149314524/instance-40731-1149314524.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-40731-1149314524 -o ROOT/results/node44/solver-40731-1149314524 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node44/40731-1149314524/instance-40731-1149314524.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= efa7fb1a840e9d48ac9b28aadc8f53ba RANDOM SEED= 252998975 /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.261 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.261 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: 1816296 kB Buffers: 11880 kB Cached: 161308 kB SwapCached: 3272 kB Active: 25236 kB Inactive: 156680 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1816296 kB SwapTotal: 4192956 kB SwapFree: 4181400 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14948 kB Slab: 43696 kB Committed_AS: 300576 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node44 on Sat Jun 3 06:32:05 UTC 2006