Trace number 40713

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 2006/05SAT354355213278995 1800.18 1800.75

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-bell4.opb
MD5SUM7a334409ec63774b2ae9bf0271f87fd8
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark265972200281973
Best CPU time to get the best result obtained on this benchmark1800.79
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 212944791655785
Optimality of the best value was proved NO
Number of variables1996
Total number of constraints134
Number of constraints which are clauses18
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints116
Minimum length of a constraint2
Maximum length of a constraint135
Number of terms in the objective function 1527
Biggest coefficient in the objective function 4949278720000000
Number of bits for the biggest coefficient in the objective function 53
Sum of the numbers in the objective function 114314457147588882
Number of bits of the sum of numbers in the objective function 57
Biggest number in a constraint 4949278720000000
Number of bits of the biggest number in a constraint 53
Biggest sum of numbers in a constraint 114314457147588882
Number of bits of the biggest sum of numbers57
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

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

Verifier Data (download as text)

OK	354355213278995

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node14/watcher-40713-1149312990 -o ROOT/results/node14/solver-40713-1149312990 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node14/40713-1149312990/instance-40713-1149312990.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.02 1.02 1.00 2/64 32307
/proc/meminfo: memFree=1524640/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=4664 CPUtime=0
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 155 0 0 0 0 0 0 0 18 0 1 0 196961710 4775936 135 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6896916 0 0 4096 0 0 0 0 17 1 0 0
/proc/32307/statm: 1166 135 105 55 0 46 0

[startup+10.0013 s]
/proc/loadavg: 1.02 1.02 1.00 2/64 32307
/proc/meminfo: memFree=1514472/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=14700 CPUtime=9.98
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 2937 0 0 0 995 3 0 0 25 0 1 0 196961710 15052800 2852 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7360150 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 3675 2852 298 55 0 2567 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 14700

[startup+20.0073 s]
/proc/loadavg: 1.02 1.02 1.00 2/64 32307
/proc/meminfo: memFree=1513464/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=15672 CPUtime=19.98
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 3192 0 0 0 1993 5 0 0 25 0 1 0 196961710 16048128 3101 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557876 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 3918 3101 298 55 0 2810 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 15672

[startup+30.0132 s]
/proc/loadavg: 1.01 1.02 1.00 2/64 32307
/proc/meminfo: memFree=1502200/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=27028 CPUtime=29.98
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 6051 0 0 0 2990 8 0 0 25 0 1 0 196961710 27676672 5923 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 6757 5923 298 55 0 5649 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 27028

[startup+40.0192 s]
/proc/loadavg: 1.01 1.02 1.00 2/64 32307
/proc/meminfo: memFree=1493688/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=35672 CPUtime=39.99
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 8207 0 0 0 3988 11 0 0 25 0 1 0 196961710 36528128 8064 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 8918 8064 298 55 0 7810 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 35672

[startup+50.0251 s]
/proc/loadavg: 1.01 1.02 1.00 2/64 32307
/proc/meminfo: memFree=1471608/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=57772 CPUtime=49.99
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 13732 0 0 0 4983 16 0 0 25 0 1 0 196961710 59158528 13563 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 14443 13563 298 55 0 13335 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 57772

[startup+60.0311 s]
/proc/loadavg: 1.01 1.02 1.00 2/64 32307
/proc/meminfo: memFree=1471608/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=57772 CPUtime=60
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 13736 0 0 0 5982 18 0 0 25 0 1 0 196961710 59158528 13567 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 14443 13567 298 55 0 13335 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 57772

[startup+70.037 s]
/proc/loadavg: 1.00 1.02 1.00 2/64 32307
/proc/meminfo: memFree=1471608/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=57772 CPUtime=69.99
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 13738 0 0 0 6980 19 0 0 25 0 1 0 196961710 59158528 13569 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 14443 13569 298 55 0 13335 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 57772

[startup+80.043 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 32307
/proc/meminfo: memFree=1460856/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=68896 CPUtime=80
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 16434 0 0 0 7979 21 0 0 25 0 1 0 196961710 70549504 16261 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 17224 16261 298 55 0 16116 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 68896

[startup+90.0489 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 32307
/proc/meminfo: memFree=1446136/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=83784 CPUtime=90
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 20104 0 0 0 8976 24 0 0 25 0 1 0 196961710 85794816 19926 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 20946 19926 298 55 0 19838 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 83784

[startup+100.055 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 32307
/proc/meminfo: memFree=1434232/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=96108 CPUtime=100
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 23096 0 0 0 9974 26 0 0 25 0 1 0 196961710 98414592 22904 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7359934 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 24027 22904 298 55 0 22919 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 96108

[startup+110.061 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 32307
/proc/meminfo: memFree=1429304/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=101204 CPUtime=110.01
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 24349 0 0 0 10973 28 0 0 25 0 1 0 196961710 103632896 24136 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7360353 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 25301 24136 298 55 0 24193 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 101204

[startup+120.068 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 32307
/proc/meminfo: memFree=1415352/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=115592 CPUtime=120.02
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 27853 0 0 0 11971 31 0 0 25 0 1 0 196961710 118366208 27618 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628967 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 28898 27618 298 55 0 27790 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 115592

[startup+130.073 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 32307
/proc/meminfo: memFree=1398648/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=132668 CPUtime=130.02
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 32073 0 0 0 12968 34 0 0 25 0 1 0 196961710 135852032 31772 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7360212 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 33167 31772 298 55 0 32059 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 132668

[startup+140.079 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 32307
/proc/meminfo: memFree=1390072/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=141324 CPUtime=140.02
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 34235 0 0 0 13965 37 0 0 25 0 1 0 196961710 144715776 33911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 35331 33911 298 55 0 34223 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 141324

[startup+150.085 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 32307
/proc/meminfo: memFree=1383416/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=148188 CPUtime=150.03
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 35958 0 0 0 14964 39 0 0 25 0 1 0 196961710 151744512 35575 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 37047 35575 298 55 0 35939 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 148188

[startup+160.091 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 32307
/proc/meminfo: memFree=1375288/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=156540 CPUtime=160.03
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 38019 0 0 0 15962 41 0 0 25 0 1 0 196961710 160296960 37607 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 39135 37607 298 55 0 38027 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 156540

[startup+170.097 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 32307
/proc/meminfo: memFree=1359416/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=172988 CPUtime=170.03
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 42003 0 0 0 16960 43 0 0 25 0 1 0 196961710 177139712 41561 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541664 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 43247 41561 298 55 0 42139 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 172988

[startup+180.103 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32307
/proc/meminfo: memFree=1350200/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=182692 CPUtime=180.03
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 44329 0 0 0 17957 46 0 0 25 0 1 0 196961710 187076608 43859 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 45673 43859 298 55 0 44565 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 182692

[startup+190.108 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32307
/proc/meminfo: memFree=1343864/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=189716 CPUtime=190.04
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 45966 0 0 0 18956 48 0 0 25 0 1 0 196961710 194269184 45451 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535086 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 47429 45451 298 55 0 46321 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 189716

[startup+200.114 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32307
/proc/meminfo: memFree=1336248/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=197668 CPUtime=200.04
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 47898 0 0 0 19954 50 0 0 25 0 1 0 196961710 202412032 47350 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 49417 47350 298 55 0 48309 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 197668

[startup+210.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32307
/proc/meminfo: memFree=1305848/2055920 swapFree=4181448/4192956

################
# More data... #
################

/proc/32307/statm: 151830 145215 298 55 0 150722 0
Current children cumulated CPU time (s) 1760.47
Current children cumulated vsize (Kb) 607320

[startup+1771.04 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32502
/proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=607320 CPUtime=1770.47
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 176818 229 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534994 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 151830 145215 298 55 0 150722 0
Current children cumulated CPU time (s) 1770.47
Current children cumulated vsize (Kb) 607320

[startup+1781.05 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32502
/proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=607320 CPUtime=1780.48
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 177818 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 151830 145215 298 55 0 150722 0
Current children cumulated CPU time (s) 1780.48
Current children cumulated vsize (Kb) 607320

[startup+1782.05 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32502
/proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=607320 CPUtime=1781.49
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 177919 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628618 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 151830 145215 298 55 0 150722 0
Current children cumulated CPU time (s) 1781.49
Current children cumulated vsize (Kb) 607320

[startup+1783.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32502
/proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=607320 CPUtime=1782.49
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 178019 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534923 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 151830 145215 298 55 0 150722 0
Current children cumulated CPU time (s) 1782.49
Current children cumulated vsize (Kb) 607320

[startup+1784.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32502
/proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=607320 CPUtime=1783.5
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 178120 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 151830 145215 298 55 0 150722 0
Current children cumulated CPU time (s) 1783.5
Current children cumulated vsize (Kb) 607320

[startup+1785.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32502
/proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=607320 CPUtime=1784.5
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 178220 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 151830 145215 298 55 0 150722 0
Current children cumulated CPU time (s) 1784.5
Current children cumulated vsize (Kb) 607320

[startup+1786.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32502
/proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=607320 CPUtime=1785.51
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 178321 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 151830 145215 298 55 0 150722 0
Current children cumulated CPU time (s) 1785.51
Current children cumulated vsize (Kb) 607320

[startup+1787.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32502
/proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=607320 CPUtime=1786.51
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 178421 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 151830 145215 298 55 0 150722 0
Current children cumulated CPU time (s) 1786.51
Current children cumulated vsize (Kb) 607320

[startup+1788.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32502
/proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=607320 CPUtime=1787.52
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 178522 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 151830 145215 298 55 0 150722 0
Current children cumulated CPU time (s) 1787.52
Current children cumulated vsize (Kb) 607320

[startup+1789.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32502
/proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=607320 CPUtime=1788.52
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 178622 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 151830 145215 298 55 0 150722 0
Current children cumulated CPU time (s) 1788.52
Current children cumulated vsize (Kb) 607320

[startup+1790.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32502
/proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=607320 CPUtime=1789.53
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 178723 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 151830 145215 298 55 0 150722 0
Current children cumulated CPU time (s) 1789.53
Current children cumulated vsize (Kb) 607320

[startup+1791.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32502
/proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=607320 CPUtime=1790.53
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 178823 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 151830 145215 298 55 0 150722 0
Current children cumulated CPU time (s) 1790.53
Current children cumulated vsize (Kb) 607320

[startup+1792.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32502
/proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=607320 CPUtime=1791.53
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 178923 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628628 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 151830 145215 298 55 0 150722 0
Current children cumulated CPU time (s) 1791.53
Current children cumulated vsize (Kb) 607320

[startup+1793.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32502
/proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=607320 CPUtime=1792.54
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 179024 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 151830 145215 298 55 0 150722 0
Current children cumulated CPU time (s) 1792.54
Current children cumulated vsize (Kb) 607320

[startup+1794.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32502
/proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=607320 CPUtime=1793.54
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 179124 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 151830 145215 298 55 0 150722 0
Current children cumulated CPU time (s) 1793.54
Current children cumulated vsize (Kb) 607320

[startup+1795.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32502
/proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=607320 CPUtime=1794.55
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 179225 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529320 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 151830 145215 298 55 0 150722 0
Current children cumulated CPU time (s) 1794.55
Current children cumulated vsize (Kb) 607320

[startup+1796.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32502
/proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=607320 CPUtime=1795.55
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 179325 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542283 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 151830 145215 298 55 0 150722 0
Current children cumulated CPU time (s) 1795.55
Current children cumulated vsize (Kb) 607320

[startup+1797.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32502
/proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=607320 CPUtime=1796.56
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 179426 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 151830 145215 298 55 0 150722 0
Current children cumulated CPU time (s) 1796.56
Current children cumulated vsize (Kb) 607320

[startup+1798.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32502
/proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=607320 CPUtime=1797.56
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 179526 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 151830 145215 298 55 0 150722 0
Current children cumulated CPU time (s) 1797.56
Current children cumulated vsize (Kb) 607320

[startup+1799.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32502
/proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=607320 CPUtime=1798.56
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 179626 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541526 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 151830 145215 298 55 0 150722 0
Current children cumulated CPU time (s) 1798.56
Current children cumulated vsize (Kb) 607320

[startup+1800.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32502
/proc/meminfo: memFree=943224/2055920 swapFree=4181448/4192956
[pid=32307] ppid=32305 vsize=607320 CPUtime=1799.57
/proc/32307/stat : 32307 (bsolo) R 32305 32307 32261 0 -1 0 151033 0 0 0 179727 230 0 0 25 0 1 0 196961710 621895680 145215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628612 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32307/statm: 151830 145215 298 55 0 150722 0
Current children cumulated CPU time (s) 1799.57
Current children cumulated vsize (Kb) 607320

Child status: 10
Real time (s): 1800.75
CPU time (s): 1800.18
CPU user time (s): 1797.78
CPU system time (s): 2.39764
CPU usage (%): 99.9684
Max. virtual memory (cumulated for all children) (Kb): 607320

Launcher Data (download as text)

Begin job on node14 on Sat Jun  3 05:36:30 UTC 2006


FILE ID= 40713-1149312990

PBS_JOBID= 308165

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell4.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node14/40713-1149312990/instance-40713-1149312990.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-40713-1149312990 -o ROOT/results/node14/solver-40713-1149312990 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node14/40713-1149312990/instance-40713-1149312990.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  7a334409ec63774b2ae9bf0271f87fd8

RANDOM SEED= 466112577


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.241
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.241
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1524848 kB
Buffers:         30904 kB
Cached:         429532 kB
SwapCached:       3188 kB
Active:          36568 kB
Inactive:       432592 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1524848 kB
SwapTotal:     4192956 kB
SwapFree:      4181448 kB
Dirty:             196 kB
Writeback:           0 kB
Mapped:          14740 kB
Slab:            47848 kB
Committed_AS:   320044 kB
PageTables:       1484 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node14 on Sat Jun  3 06:06:31 UTC 2006