Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| bsolo 2006/05 | SAT | 2038953869794974 | 1800.23 | 1800.8 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-bell5.opb |
| MD5SUM | da0fa1480f123e186307c547a0028656 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1228395061013523 |
| Best CPU time to get the best result obtained on this benchmark | 1801.19 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 1037979231691996 |
| Optimality of the best value was proved | NO |
| Number of variables | 1704 |
| Total number of constraints | 118 |
| Number of constraints which are clauses | 15 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 103 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 135 |
| Number of terms in the objective function | 1268 |
| Biggest coefficient in the objective function | 50331648000000000 |
| Number of bits for the biggest coefficient in the objective function | 56 |
| Sum of the numbers in the objective function | 888722133694353611 |
| Number of bits of the sum of numbers in the objective function | 60 |
| Biggest number in a constraint | 50331648000000000 |
| Number of bits of the biggest number in a constraint | 56 |
| Biggest sum of numbers in a constraint | 888722133694353611 |
| Number of bits of the biggest sum of numbers | 60 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.01 c BIG Int formula... 0.04 c Initial problem consists of 1704 variables and 118 constraints. 0.04 c No problem reductions applied in OPT. instance. 0.04 c preprocess terminated. Elapsed time: 0.034 0.04 c After prepocess the problem consists of 1335 variables and 104 constraints. 0.04 c Initial Lower Bound: 0 0.07 c Sol. found (all assignments made)... 0.07 o 7014085951128702 0.07 c NEW SOLUTION FOUND: 7014085951128702 @ 0.06 0.07 c Sol. found (all assignments made)... 0.07 o 6966572351128702 0.07 c NEW SOLUTION FOUND: 6966572351128702 @ 0.06 0.07 c Sol. found (all assignments made)... 0.07 o 6965753151128702 0.07 c NEW SOLUTION FOUND: 6965753151128702 @ 0.06 0.07 c Sol. found (all assignments made)... 0.07 o 6918239551128702 0.07 c NEW SOLUTION FOUND: 6918239551128702 @ 0.061 0.07 c Sol. found (all assignments made)... 0.07 o 6751941951128702 0.07 c NEW SOLUTION FOUND: 6751941951128702 @ 0.061 0.07 c Sol. found (all assignments made)... 0.07 o 6704428351128702 0.07 c NEW SOLUTION FOUND: 6704428351128702 @ 0.061 0.07 c Sol. found (all assignments made)... 0.07 o 6703609151128702 0.07 c NEW SOLUTION FOUND: 6703609151128702 @ 0.061 0.07 c Sol. found (all assignments made)... 0.07 o 6656095551128702 0.07 c NEW SOLUTION FOUND: 6656095551128702 @ 0.062 0.07 c Sol. found (all assignments made)... 0.07 c Sol. found (all assignments made)... 0.07 c Sol. found (all assignments made)... 0.07 o 6489797951128702 0.07 c NEW SOLUTION FOUND: 6489797951128702 @ 0.063 0.07 c Sol. found (all assignments made)... 0.07 o 6442284351128702 0.07 c NEW SOLUTION FOUND: 6442284351128702 @ 0.063 0.07 c Sol. found (all assignments made)... 0.07 o 6441465151128702 0.07 c NEW SOLUTION FOUND: 6441465151128702 @ 0.063 0.07 c Sol. found (all assignments made)... 0.07 o 6393951551128702 0.07 c NEW SOLUTION FOUND: 6393951551128702 @ 0.063 0.07 c Sol. found (all assignments made)... 0.07 c Sol. found (all assignments made)... 0.07 c Sol. found (all assignments made)... 0.07 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.08 o 6227653951128702 0.08 c NEW SOLUTION FOUND: 6227653951128702 @ 0.065 0.08 c Sol. found (all assignments made)... 0.08 o 6180140351128702 0.08 c NEW SOLUTION FOUND: 6180140351128702 @ 0.065 0.08 c Sol. found (all assignments made)... 0.08 o 6179321151128702 0.08 c NEW SOLUTION FOUND: 6179321151128702 @ 0.065 0.08 c Sol. found (all assignments made)... 0.08 o 6131807551128702 0.08 c NEW SOLUTION FOUND: 6131807551128702 @ 0.065 0.08 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.08 o 6130988351128702 0.08 c NEW SOLUTION FOUND: 6130988351128702 @ 0.066 0.08 c Sol. found (all assignments made)... 0.08 o 6083474751128702 0.08 c NEW SOLUTION FOUND: 6083474751128702 @ 0.067 0.08 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.08 o 6035961151128702 0.08 c NEW SOLUTION FOUND: 6035961151128702 @ 0.069 0.08 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.08 o 5988447551128702 0.08 c NEW SOLUTION FOUND: 5988447551128702 @ 0.072 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 o 5987628351128702 0.09 c NEW SOLUTION FOUND: 5987628351128702 @ 0.077 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 o 5940114751128702 0.09 c NEW SOLUTION FOUND: 5940114751128702 @ 0.079 0.09 c Sol. found (all assignments made)... 0.09 o 5869663551128702 0.09 c NEW SOLUTION FOUND: 5869663551128702 @ 0.08 0.09 c Sol. found (all assignments made)... 0.09 o 5822149951128702 0.09 c NEW SOLUTION FOUND: 5822149951128702 @ 0.08 0.09 c Sol. found (all assignments made)... 0.09 o 5821330751128702 0.09 c NEW SOLUTION FOUND: 5821330751128702 @ 0.08 0.09 c Sol. found (all assignments made)... 0.09 o 5773817151128702 0.09 c NEW SOLUTION FOUND: 5773817151128702 @ 0.081 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 o 5726303551128702 0.09 c NEW SOLUTION FOUND: 5726303551128702 @ 0.082 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 o 5725484351128702 0.09 c NEW SOLUTION FOUND: 5725484351128702 @ 0.083 0.09 c Sol. found (all assignments made)... 0.09 o 5677970751128702 0.09 c NEW SOLUTION FOUND: 5677970751128702 @ 0.083 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 o 5511673151128702 0.10 c NEW SOLUTION FOUND: 5511673151128702 @ 0.086 0.10 c Sol. found (all assignments made)... 0.10 o 5464159551128702 0.10 c NEW SOLUTION FOUND: 5464159551128702 @ 0.087 0.10 c Sol. found (all assignments made)... 0.10 o 5463340351128702 0.10 c NEW SOLUTION FOUND: 5463340351128702 @ 0.087 0.10 c Sol. found (all assignments made)... 0.10 o 5415826751128702 0.10 c NEW SOLUTION FOUND: 5415826751128702 @ 0.087 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 o 5391660351128702 0.10 c NEW SOLUTION FOUND: 5391660351128702 @ 0.089 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 o 5367903551128702 0.10 c NEW SOLUTION FOUND: 5367903551128702 @ 0.09 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 o 5333087551128702 0.11 c NEW SOLUTION FOUND: 5333087551128702 @ 0.098 0.11 c Sol. found (all assignments made)... 0.11 o 5332268351128702 0.11 c NEW SOLUTION FOUND: 5332268351128702 @ 0.098 0.11 c Sol. found (all assignments made)... 0.11 o 5284754751128702 0.11 c NEW SOLUTION FOUND: 5284754751128702 @ 0.098 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 o 5260588351128702 0.11 c NEW SOLUTION FOUND: 5260588351128702 @ 0.098 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 o 5236831551128702 0.11 c NEW SOLUTION FOUND: 5236831551128702 @ 0.099 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 o 5202015551128702 0.12 c NEW SOLUTION FOUND: 5202015551128702 @ 0.109 0.12 c Sol. found (all assignments made)... 0.12 o 5201196351128702 0.12 c NEW SOLUTION FOUND: 5201196351128702 @ 0.109 0.12 c Sol. found (all assignments made)... 0.12 o 5153682751128702 0.12 c NEW SOLUTION FOUND: 5153682751128702 @ 0.109 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 o 5129925951128702 0.12 c NEW SOLUTION FOUND: 5129925951128702 @ 0.11 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 o 5129516351128702 0.12 c NEW SOLUTION FOUND: 5129516351128702 @ 0.111 0.12 c Sol. found (all assignments made)... 0.12 o 5105759551128702 0.12 c NEW SOLUTION FOUND: 5105759551128702 @ 0.111 0.14 c Restart #1 #Var: 1335 LB: 0 @ 0.131 0.15 c Sol. found (all assignments made)... 0.15 o 5088737285014654 0.15 c NEW SOLUTION FOUND: 5088737285014654 @ 0.14 0.15 c Sol. found (all assignments made)... 0.15 o 5005998085014654 0.15 c NEW SOLUTION FOUND: 5005998085014654 @ 0.143 0.15 c Sol. found (all assignments made)... 0.15 o 4957665285014654 0.15 c NEW SOLUTION FOUND: 4957665285014654 @ 0.143 0.17 c Sol. found (all assignments made)... 0.17 o 4874926085014654 0.17 c NEW SOLUTION FOUND: 4874926085014654 @ 0.159 0.17 c Sol. found (all assignments made)... 0.17 o 4826593285014654 0.17 c NEW SOLUTION FOUND: 4826593285014654 @ 0.159 0.18 c Sol. found (all assignments made)... 0.18 o 4743854085014654 0.18 c NEW SOLUTION FOUND: 4743854085014654 @ 0.172 0.18 c Sol. found (all assignments made)... 0.18 o 4695521285014654 0.18 c NEW SOLUTION FOUND: 4695521285014654 @ 0.172 0.19 c Sol. found (all assignments made)... 0.19 o 4612782085014654 0.19 c NEW SOLUTION FOUND: 4612782085014654 @ 0.182 0.19 c Sol. found (all assignments made)... 0.19 o 4564449285014654 0.19 c NEW SOLUTION FOUND: 4564449285014654 @ 0.183 0.20 c Sol. found (all assignments made)... 0.20 o 4547246085014654 0.20 c NEW SOLUTION FOUND: 4547246085014654 @ 0.193 0.20 c Sol. found (all assignments made)... 0.20 o 4498913285014654 0.20 c NEW SOLUTION FOUND: 4498913285014654 @ 0.193 0.21 c Sol. found (all assignments made)... 0.21 o 4481710085014654 0.21 c NEW SOLUTION FOUND: 4481710085014654 @ 0.202 0.21 c Sol. found (all assignments made)... 0.21 o 4433377285014654 0.21 c NEW SOLUTION FOUND: 4433377285014654 @ 0.202 0.23 c Sol. found (all assignments made)... 0.23 o 4416174085014654 0.23 c NEW SOLUTION FOUND: 4416174085014654 @ 0.216 0.23 c Sol. found (all assignments made)... 0.23 o 4367841285014654 0.23 c NEW SOLUTION FOUND: 4367841285014654 @ 0.216 0.25 c Sol. found (all assignments made)... 0.25 o 4350638085014654 0.25 c NEW SOLUTION FOUND: 4350638085014654 @ 0.237 0.25 c Sol. found (all assignments made)... 0.25 o 4302305285014654 0.25 c NEW SOLUTION FOUND: 4302305285014654 @ 0.237 0.26 c Sol. found (all assignments made)... 0.26 o 4285102085014654 0.26 c NEW SOLUTION FOUND: 4285102085014654 @ 0.254 0.26 c Sol. found (all assignments made)... 0.26 o 4236769285014654 0.26 c NEW SOLUTION FOUND: 4236769285014654 @ 0.254 0.29 c Sol. found (all assignments made)... 0.29 o 4171233285014654 0.29 c NEW SOLUTION FOUND: 4171233285014654 @ 0.275 0.30 c Sol. found (all assignments made)... 0.30 o 4154030085014654 0.30 c NEW SOLUTION FOUND: 4154030085014654 @ 0.289 0.30 c Sol. found (all assignments made)... 0.30 o 4105697285014654 0.30 c NEW SOLUTION FOUND: 4105697285014654 @ 0.289 0.31 c Sol. found (all assignments made)... 0.31 o 4040161285014654 0.31 c NEW SOLUTION FOUND: 4040161285014654 @ 0.298 0.32 c Sol. found (all assignments made)... 0.32 o 4028901120181374 0.32 c NEW SOLUTION FOUND: 4028901120181374 @ 0.306 0.32 c Sol. found (all assignments made)... 0.32 o 3980568320181374 0.32 c NEW SOLUTION FOUND: 3980568320181374 @ 0.306 0.32 c Sol. found (all assignments made)... 0.32 o 3897829120181374 0.32 c NEW SOLUTION FOUND: 3897829120181374 @ 0.309 0.32 c Sol. found (all assignments made)... 0.32 o 3849496320181374 0.32 c NEW SOLUTION FOUND: 3849496320181374 @ 0.309 0.33 c Sol. found (all assignments made)... 0.33 o 3718424320181374 0.33 c NEW SOLUTION FOUND: 3718424320181374 @ 0.315 0.36 c Restart #2 #Var: 1335 LB: 0 @ 0.347 0.38 c Sol. found (all assignments made)... 0.38 o 3486902257419390 0.38 c NEW SOLUTION FOUND: 3486902257419390 @ 0.365 0.38 c Sol. found (all assignments made)... 0.38 o 3355830257419390 0.38 c NEW SOLUTION FOUND: 3355830257419390 @ 0.365 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 o 3351543678731390 0.38 c NEW SOLUTION FOUND: 3351543678731390 @ 0.366 0.38 c Sol. found (all assignments made)... 0.38 o 3327786878731390 0.38 c NEW SOLUTION FOUND: 3327786878731390 @ 0.366 0.38 c Sol. found (all assignments made)... 0.38 o 3304030078731390 0.38 c NEW SOLUTION FOUND: 3304030078731390 @ 0.366 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 o 3267985278731390 0.38 c NEW SOLUTION FOUND: 3267985278731390 @ 0.367 0.38 c Sol. found (all assignments made)... 0.38 o 3220471678731390 0.38 c NEW SOLUTION FOUND: 3220471678731390 @ 0.367 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 o 3196714878731390 0.38 c NEW SOLUTION FOUND: 3196714878731390 @ 0.367 0.38 c Sol. found (all assignments made)... 0.38 o 3172958078731390 0.38 c NEW SOLUTION FOUND: 3172958078731390 @ 0.368 0.38 c Sol. found (all assignments made)... 0.38 o 3113156478731390 0.38 c NEW SOLUTION FOUND: 3113156478731390 @ 0.368 0.38 c Sol. found (all assignments made)... 0.38 o 3065642878731390 0.38 c NEW SOLUTION FOUND: 3065642878731390 @ 0.368 0.38 c Sol. found (all assignments made)... 0.38 o 3041886078731390 0.38 c NEW SOLUTION FOUND: 3041886078731390 @ 0.369 0.38 c Sol. found (all assignments made)... 0.38 o 2999047366083710 0.38 c NEW SOLUTION FOUND: 2999047366083710 @ 0.37 0.38 c Sol. found (all assignments made)... 0.38 o 2955820344771710 0.38 c NEW SOLUTION FOUND: 2955820344771710 @ 0.37 0.38 c Sol. found (all assignments made)... 0.38 o 2951533766083710 0.38 c NEW SOLUTION FOUND: 2951533766083710 @ 0.371 0.38 c Sol. found (all assignments made)... 0.38 o 2927776966083710 0.38 c NEW SOLUTION FOUND: 2927776966083710 @ 0.371 0.38 c Sol. found (all assignments made)... 0.38 o 2904020166083710 0.38 c NEW SOLUTION FOUND: 2904020166083710 @ 0.372 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 o 2812295005308030 0.38 c NEW SOLUTION FOUND: 2812295005308030 @ 0.374 0.39 c Sol. found (all assignments made)... 0.39 o 2764781405308030 0.39 c NEW SOLUTION FOUND: 2764781405308030 @ 0.375 0.39 c Sol. found (all assignments made)... 0.39 o 2741024605308030 0.39 c NEW SOLUTION FOUND: 2741024605308030 @ 0.375 0.39 c Sol. found (all assignments made)... 0.39 o 2717267805308030 0.39 c NEW SOLUTION FOUND: 2717267805308030 @ 0.382 0.41 c Sol. found (all assignments made)... 0.41 o 2712302126859390 0.41 c NEW SOLUTION FOUND: 2712302126859390 @ 0.395 0.41 c Sol. found (all assignments made)... 0.41 o 2711514475889790 0.41 c NEW SOLUTION FOUND: 2711514475889790 @ 0.398 0.41 c Sol. found (all assignments made)... 0.41 o 2706362926859390 0.41 c NEW SOLUTION FOUND: 2706362926859390 @ 0.399 0.41 c Sol. found (all assignments made)... 0.41 o 2702317405308030 0.41 c NEW SOLUTION FOUND: 2702317405308030 @ 0.402 0.41 c Sol. found (all assignments made)... 0.41 o 2690439005308030 0.41 c NEW SOLUTION FOUND: 2690439005308030 @ 0.402 0.41 c Sol. found (all assignments made)... 0.41 o 2684499805308030 0.41 c NEW SOLUTION FOUND: 2684499805308030 @ 0.403 0.42 c Sol. found (all assignments made)... 0.42 o 2678560605308030 0.42 c NEW SOLUTION FOUND: 2678560605308030 @ 0.405 0.43 c Sol. found (all assignments made)... 0.43 o 2669944039507070 0.43 c NEW SOLUTION FOUND: 2669944039507070 @ 0.424 0.43 c Sol. found (all assignments made)... 0.43 o 2664004839507070 0.44 c NEW SOLUTION FOUND: 2664004839507070 @ 0.424 0.44 c Sol. found (all assignments made)... 0.44 o 2659959317955710 0.44 c NEW SOLUTION FOUND: 2659959317955710 @ 0.429 0.44 c Sol. found (all assignments made)... 0.44 o 2654020117955710 0.44 c NEW SOLUTION FOUND: 2654020117955710 @ 0.43 0.44 c Sol. found (all assignments made)... 0.44 o 2648080917955710 0.44 c NEW SOLUTION FOUND: 2648080917955710 @ 0.432 0.44 c Sol. found (all assignments made)... 0.44 o 2642141717955710 0.44 c NEW SOLUTION FOUND: 2642141717955710 @ 0.432 0.44 c Sol. found (all assignments made)... 0.44 o 2636202517955710 0.44 c NEW SOLUTION FOUND: 2636202517955710 @ 0.433 0.45 c Sol. found (all assignments made)... 0.45 o 2635347805308030 0.45 c NEW SOLUTION FOUND: 2635347805308030 @ 0.438 0.45 c Sol. found (all assignments made)... 0.45 o 2629408605308030 0.45 c NEW SOLUTION FOUND: 2629408605308030 @ 0.438 0.46 c Sol. found (all assignments made)... 0.46 o 2626695726859390 0.46 c NEW SOLUTION FOUND: 2626695726859390 @ 0.444 0.46 c Sol. found (all assignments made)... 0.46 o 2614817326859390 0.46 c NEW SOLUTION FOUND: 2614817326859390 @ 0.445 0.46 c Sol. found (all assignments made)... 0.46 o 2608878126859390 0.46 c NEW SOLUTION FOUND: 2608878126859390 @ 0.445 0.46 c Sol. found (all assignments made)... 0.46 o 2604832605308030 0.46 c NEW SOLUTION FOUND: 2604832605308030 @ 0.45 0.46 c Sol. found (all assignments made)... 0.46 o 2598893405308030 0.46 c NEW SOLUTION FOUND: 2598893405308030 @ 0.45 0.46 c Sol. found (all assignments made)... 0.46 o 2592954205308030 0.46 c NEW SOLUTION FOUND: 2592954205308030 @ 0.451 0.46 c Sol. found (all assignments made)... 0.46 o 2587015005308030 0.46 c NEW SOLUTION FOUND: 2587015005308030 @ 0.453 0.46 c Sol. found (all assignments made)... 0.46 o 2581075805308030 0.46 c NEW SOLUTION FOUND: 2581075805308030 @ 0.453 0.50 c Sol. found (all assignments made)... 0.50 o 2577868980978814 0.50 c NEW SOLUTION FOUND: 2577868980978814 @ 0.487 0.50 c Sol. found (all assignments made)... 0.50 o 2565990580978814 0.50 c NEW SOLUTION FOUND: 2565990580978814 @ 0.487 0.50 c Sol. found (all assignments made)... 0.50 o 2556255470322814 0.50 c NEW SOLUTION FOUND: 2556255470322814 @ 0.487 0.50 c Sol. found (all assignments made)... 0.50 o 2550316270322814 0.50 c NEW SOLUTION FOUND: 2550316270322814 @ 0.488 0.50 c Sol. found (all assignments made)... 0.50 o 2542233780978814 0.50 c NEW SOLUTION FOUND: 2542233780978814 @ 0.489 0.50 c Sol. found (all assignments made)... 0.50 o 2538437870322814 0.50 c NEW SOLUTION FOUND: 2538437870322814 @ 0.489 0.50 c Sol. found (all assignments made)... 0.50 o 2524416180978814 0.50 c NEW SOLUTION FOUND: 2524416180978814 @ 0.491 0.50 c Sol. found (all assignments made)... 0.50 o 2518476980978814 0.50 c NEW SOLUTION FOUND: 2518476980978814 @ 0.492 0.50 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 o 2513441326859390 0.51 c NEW SOLUTION FOUND: 2513441326859390 @ 0.494 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 o 2509645416203390 0.51 c NEW SOLUTION FOUND: 2509645416203390 @ 0.495 0.51 c Sol. found (all assignments made)... 0.51 o 2495623726859390 0.51 c NEW SOLUTION FOUND: 2495623726859390 @ 0.497 0.51 c Sol. found (all assignments made)... 0.51 o 2477806126859390 0.51 c NEW SOLUTION FOUND: 2477806126859390 @ 0.498 0.51 c Sol. found (all assignments made)... 0.51 o 2473760605308030 0.51 c NEW SOLUTION FOUND: 2473760605308030 @ 0.501 0.51 c Sol. found (all assignments made)... 0.51 o 2455943005308030 0.51 c NEW SOLUTION FOUND: 2455943005308030 @ 0.501 0.51 c Sol. found (all assignments made)... 0.51 o 2450003805308030 0.51 c NEW SOLUTION FOUND: 2450003805308030 @ 0.502 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 o 2443062166652030 0.56 c NEW SOLUTION FOUND: 2443062166652030 @ 0.545 0.56 c Sol. found (all assignments made)... 0.56 o 2437122966652030 0.56 c NEW SOLUTION FOUND: 2437122966652030 @ 0.545 0.56 c Sol. found (all assignments made)... 0.56 o 2430733675889790 0.56 c NEW SOLUTION FOUND: 2430733675889790 @ 0.549 0.56 c Sol. found (all assignments made)... 0.56 o 2418855275889790 0.56 c NEW SOLUTION FOUND: 2418855275889790 @ 0.549 0.56 c Sol. found (all assignments made)... 0.56 o 2412916075889790 0.56 c NEW SOLUTION FOUND: 2412916075889790 @ 0.549 0.57 c Sol. found (all assignments made)... 0.57 o 2406976875889790 0.57 c NEW SOLUTION FOUND: 2406976875889790 @ 0.555 0.57 c Sol. found (all assignments made)... 0.57 o 2401037675889790 0.57 c NEW SOLUTION FOUND: 2401037675889790 @ 0.556 0.60 c Sol. found (all assignments made)... 0.60 o 2393910166652030 0.60 c NEW SOLUTION FOUND: 2393910166652030 @ 0.587 0.60 c Sol. found (all assignments made)... 0.60 o 2387970966652030 0.60 c NEW SOLUTION FOUND: 2387970966652030 @ 0.588 0.61 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.61 o 2387520875889790 0.61 c NEW SOLUTION FOUND: 2387520875889790 @ 0.596 0.61 c Sol. found (all assignments made)... 0.61 o 2383724965233790 0.61 c NEW SOLUTION FOUND: 2383724965233790 @ 0.596 0.61 c Sol. found (all assignments made)... 0.61 o 2369703275889790 0.61 c NEW SOLUTION FOUND: 2369703275889790 @ 0.596 0.61 c Sol. found (all assignments made)... 0.61 o 2357824875889790 0.61 c NEW SOLUTION FOUND: 2357824875889790 @ 0.597 0.61 c Sol. found (all assignments made)... 0.61 o 2351885675889790 0.61 c NEW SOLUTION FOUND: 2351885675889790 @ 0.597 0.61 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.70 c Sol. found (all assignments made)... 0.70 c Restart #3 #Var: 1335 LB: 0 @ 0.691 0.80 c Restart #4 #Var: 1335 LB: 0 @ 0.789 0.90 c Restart #5 #Var: 1335 LB: 0 @ 0.893 1.03 c Restart #6 #Var: 1335 LB: 0 @ 1.019 1.07 c Sol. found (all assignments made)... 1.07 o 2341390142604942 1.07 c NEW SOLUTION FOUND: 2341390142604942 @ 1.063 1.07 c Sol. found (all assignments made)... 1.07 o 2341232744793742 1.07 c NEW SOLUTION FOUND: 2341232744793742 @ 1.064 1.07 c Sol. found (all assignments made)... 1.07 o 2341231865710222 1.07 c NEW SOLUTION FOUND: 2341231865710222 @ 1.064 1.08 c Sol. found (all assignments made)... 1.08 o 2341230704961166 1.08 c NEW SOLUTION FOUND: 2341230704961166 @ 1.065 1.08 c Sol. found (all assignments made)... 1.08 o 2335671667121806 1.08 c NEW SOLUTION FOUND: 2335671667121806 @ 1.071 1.08 c Sol. found (all assignments made)... 1.08 o 2288158067121806 1.08 c NEW SOLUTION FOUND: 2288158067121806 @ 1.071 1.08 c Sol. found (all assignments made)... 1.08 o 2288153282993806 1.08 c NEW SOLUTION FOUND: 2288153282993806 @ 1.073 1.08 c Sol. found (all assignments made)... 1.08 o 2288143714737806 1.08 c NEW SOLUTION FOUND: 2288143714737806 @ 1.074 1.09 c Sol. found (all assignments made)... 1.09 o 2288138930609806 1.09 c NEW SOLUTION FOUND: 2288138930609806 @ 1.075 1.09 c Sol. found (all assignments made)... 1.09 o 2288136538545806 1.09 c NEW SOLUTION FOUND: 2288136538545806 @ 1.075 1.09 c Sol. found (all assignments made)... 1.09 o 2288135342513806 1.09 c NEW SOLUTION FOUND: 2288135342513806 @ 1.076 1.09 c Sol. found (all assignments made)... 1.09 o 2288134744497806 1.09 c NEW SOLUTION FOUND: 2288134744497806 @ 1.076 1.09 c Sol. found (all assignments made)... 1.09 o 2287138091769486 1.09 c NEW SOLUTION FOUND: 2287138091769486 @ 1.078 1.09 c Sol. found (all assignments made)... 1.09 o 2287134067121806 1.09 c NEW SOLUTION FOUND: 2287134067121806 @ 1.079 1.09 c Sol. found (all assignments made)... 1.09 o 2287115660189326 1.09 c NEW SOLUTION FOUND: 2287115660189326 @ 1.084 1.11 c Sol. found (all assignments made)... 1.11 o 2266469929311886 1.11 c NEW SOLUTION FOUND: 2266469929311886 @ 1.097 1.11 c Sol. found (all assignments made)... 1.11 o 2266450792799886 1.11 c NEW SOLUTION FOUND: 2266450792799886 @ 1.097 1.11 c Sol. found (all assignments made)... 1.11 o 2266441224543886 1.11 c NEW SOLUTION FOUND: 2266441224543886 @ 1.098 1.11 c Sol. found (all assignments made)... 1.11 o 2266436440415886 1.11 c NEW SOLUTION FOUND: 2266436440415886 @ 1.099 1.11 c Sol. found (all assignments made)... 1.11 o 2266434048351886 1.11 c NEW SOLUTION FOUND: 2266434048351886 @ 1.099 1.11 c Sol. found (all assignments made)... 1.11 o 2266432852319886 1.11 c NEW SOLUTION FOUND: 2266432852319886 @ 1.1 1.11 c Sol. found (all assignments made)... 1.11 o 2266432254303886 1.11 c NEW SOLUTION FOUND: 2266432254303886 @ 1.1 1.11 c Sol. found (all assignments made)... 1.11 o 2265431576927886 1.11 c NEW SOLUTION FOUND: 2265431576927886 @ 1.103 1.12 c Sol. found (all assignments made)... 1.12 o 2264407576927886 1.12 c NEW SOLUTION FOUND: 2264407576927886 @ 1.105 1.12 c Sol. found (all assignments made)... 1.12 o 2264389169995406 1.12 c NEW SOLUTION FOUND: 2264389169995406 @ 1.109 1.13 c Sol. found (all assignments made)... 1.13 o 2263874015092366 1.13 c NEW SOLUTION FOUND: 2263874015092366 @ 1.117 1.18 c Sol. found (all assignments made)... 1.18 o 2252369190408846 1.18 c NEW SOLUTION FOUND: 2252369190408846 @ 1.168 1.18 c Sol. found (all assignments made)... 1.18 o 2252363957768846 1.18 c NEW SOLUTION FOUND: 2252363957768846 @ 1.173 1.18 c Sol. found (all assignments made)... 1.18 o 2252283375112846 1.18 c NEW SOLUTION FOUND: 2252283375112846 @ 1.174 1.19 c Sol. found (all assignments made)... 1.19 o 2252283076104846 1.19 c NEW SOLUTION FOUND: 2252283076104846 @ 1.179 1.20 c Sol. found (all assignments made)... 1.20 o 2252269393498766 1.20 c NEW SOLUTION FOUND: 2252269393498766 @ 1.186 1.20 c Sol. found (all assignments made)... 1.20 o 2252245401096846 1.20 c NEW SOLUTION FOUND: 2252245401096846 @ 1.189 1.20 c Sol. found (all assignments made)... 1.20 o 2252241214984846 1.20 c NEW SOLUTION FOUND: 2252241214984846 @ 1.191 1.20 c Sol. found (all assignments made)... 1.20 o 2252235982344846 1.20 c NEW SOLUTION FOUND: 2252235982344846 @ 1.193 1.21 c Sol. found (all assignments made)... 1.21 o 2252235216884366 1.21 c NEW SOLUTION FOUND: 2252235216884366 @ 1.204 1.22 c Sol. found (all assignments made)... 1.22 o 2252229984244366 1.22 c NEW SOLUTION FOUND: 2252229984244366 @ 1.209 1.23 c Sol. found (all assignments made)... 1.23 o 2252211224482446 1.23 c NEW SOLUTION FOUND: 2252211224482446 @ 1.215 1.23 c Sol. found (all assignments made)... 1.23 o 2252205991842446 1.23 c NEW SOLUTION FOUND: 2252205991842446 @ 1.216 1.30 c Sol. found (all assignments made)... 1.30 o 2252168627802766 1.30 c NEW SOLUTION FOUND: 2252168627802766 @ 1.285 1.30 c Sol. found (all assignments made)... 1.30 o 2252144635400846 1.30 c NEW SOLUTION FOUND: 2252144635400846 @ 1.286 1.31 c Sol. found (all assignments made)... 1.31 o 2252144132319886 1.31 c NEW SOLUTION FOUND: 2252144132319886 @ 1.295 1.31 c Sol. found (all assignments made)... 1.31 o 2250271810005646 1.31 c NEW SOLUTION FOUND: 2250271810005646 @ 1.303 1.31 c Sol. found (all assignments made)... 1.31 o 2250247817603726 1.31 c NEW SOLUTION FOUND: 2250247817603726 @ 1.304 1.32 c Sol. found (all assignments made)... 1.32 o 2250142040533646 1.32 c NEW SOLUTION FOUND: 2250142040533646 @ 1.305 1.32 c Sol. found (all assignments made)... 1.32 o 2250118048131726 1.32 c NEW SOLUTION FOUND: 2250118048131726 @ 1.306 1.32 c Sol. found (all assignments made)... 1.32 o 2250117001603726 1.32 c NEW SOLUTION FOUND: 2250117001603726 @ 1.308 1.32 c Sol. found (all assignments made)... 1.32 o 2250107505109646 1.32 c NEW SOLUTION FOUND: 2250107505109646 @ 1.311 1.32 c Sol. found (all assignments made)... 1.32 o 2250083512707726 1.32 c NEW SOLUTION FOUND: 2250083512707726 @ 1.312 1.33 c Sol. found (all assignments made)... 1.33 o 2250081500383886 1.33 c NEW SOLUTION FOUND: 2250081500383886 @ 1.32 1.34 c Sol. found (all assignments made)... 1.34 o 2250080494221966 1.34 c NEW SOLUTION FOUND: 2250080494221966 @ 1.329 1.35 c Sol. found (all assignments made)... 1.35 o 2250070432602766 1.35 c NEW SOLUTION FOUND: 2250070432602766 @ 1.34 1.37 c Sol. found (all assignments made)... 1.37 o 2250067364780686 1.37 c NEW SOLUTION FOUND: 2250067364780686 @ 1.357 1.37 c Sol. found (all assignments made)... 1.37 o 2249971682220686 1.37 c NEW SOLUTION FOUND: 2249971682220686 @ 1.357 1.37 c Sol. found (all assignments made)... 1.37 o 2249887959980686 1.37 c NEW SOLUTION FOUND: 2249887959980686 @ 1.358 1.37 c Sol. found (all assignments made)... 1.37 o 2249881979820686 1.37 c NEW SOLUTION FOUND: 2249881979820686 @ 1.359 1.37 c Sol. found (all assignments made)... 1.37 o 2249880484780686 1.37 c NEW SOLUTION FOUND: 2249880484780686 @ 1.36 1.37 c Sol. found (all assignments made)... 1.37 o 2249856492378766 1.37 c NEW SOLUTION FOUND: 2249856492378766 @ 1.361 1.38 c Sol. found (all assignments made)... 1.38 o 2249749668780686 1.38 c NEW SOLUTION FOUND: 2249749668780686 @ 1.365 1.38 c Sol. found (all assignments made)... 1.38 o 2249725676378766 1.38 c NEW SOLUTION FOUND: 2249725676378766 @ 1.366 1.38 c Sol. found (all assignments made)... 1.38 o 2249716179884686 1.38 c NEW SOLUTION FOUND: 2249716179884686 @ 1.373 1.39 c Sol. found (all assignments made)... 1.39 o 2249692187482766 1.39 c NEW SOLUTION FOUND: 2249692187482766 @ 1.375 1.44 c Sol. found (all assignments made)... 1.44 o 2249145447586446 1.44 c NEW SOLUTION FOUND: 2249145447586446 @ 1.425 1.44 c Sol. found (all assignments made)... 1.44 o 2249097606306446 1.44 c NEW SOLUTION FOUND: 2249097606306446 @ 1.425 1.44 c Sol. found (all assignments made)... 1.44 o 2249085645986446 1.44 c NEW SOLUTION FOUND: 2249085645986446 @ 1.426 1.44 c Sol. found (all assignments made)... 1.44 o 2249084150946446 1.44 c NEW SOLUTION FOUND: 2249084150946446 @ 1.427 1.46 c Sol. found (all assignments made)... 1.46 o 2249082812209806 1.46 c NEW SOLUTION FOUND: 2249082812209806 @ 1.445 1.46 c Sol. found (all assignments made)... 1.46 o 2249080420145806 1.46 c NEW SOLUTION FOUND: 2249080420145806 @ 1.446 1.46 c Sol. found (all assignments made)... 1.46 o 2249079822129806 1.46 c NEW SOLUTION FOUND: 2249079822129806 @ 1.447 1.46 c Sol. found (all assignments made)... 1.46 o 2248951033404046 1.46 c NEW SOLUTION FOUND: 2248951033404046 @ 1.447 1.47 c Sol. found (all assignments made)... 1.47 o 2248950659644046 1.47 c NEW SOLUTION FOUND: 2248950659644046 @ 1.46 1.47 c Sol. found (all assignments made)... 1.47 o 2248950584892046 1.47 c NEW SOLUTION FOUND: 2248950584892046 @ 1.46 1.47 c Sol. found (all assignments made)... 1.47 o 2248950510140046 1.47 c NEW SOLUTION FOUND: 2248950510140046 @ 1.461 1.47 c Sol. found (all assignments made)... 1.47 o 2248950435388046 1.47 c NEW SOLUTION FOUND: 2248950435388046 @ 1.462 1.48 c Sol. found (all assignments made)... 1.48 o 2247033745498766 1.48 c NEW SOLUTION FOUND: 2247033745498766 @ 1.47 1.48 c Sol. found (all assignments made)... 1.48 o 2244987016282766 1.48 c NEW SOLUTION FOUND: 2244987016282766 @ 1.471 1.49 c Sol. found (all assignments made)... 1.49 o 2244785129071246 1.49 c NEW SOLUTION FOUND: 2244785129071246 @ 1.477 1.49 c Sol. found (all assignments made)... 1.49 o 2244773168751246 1.49 c NEW SOLUTION FOUND: 2244773168751246 @ 1.478 1.49 c Sol. found (all assignments made)... 1.49 o 2244729812591246 1.49 c NEW SOLUTION FOUND: 2244729812591246 @ 1.479 1.49 c Sol. found (all assignments made)... 1.49 o 2244729438831246 1.49 c NEW SOLUTION FOUND: 2244729438831246 @ 1.481 1.49 c Sol. found (all assignments made)... 1.49 o 2244728935750286 1.49 c NEW SOLUTION FOUND: 2244728935750286 @ 1.484 1.53 c Sol. found (all assignments made)... 1.53 o 2244706438388366 1.53 c NEW SOLUTION FOUND: 2244706438388366 @ 1.522 1.53 c Sol. found (all assignments made)... 1.53 o 2244704943348366 1.53 c NEW SOLUTION FOUND: 2244704943348366 @ 1.523 1.55 c Sol. found (all assignments made)... 1.55 o 2244675042548366 1.55 c NEW SOLUTION FOUND: 2244675042548366 @ 1.542 1.55 c Sol. found (all assignments made)... 1.55 o 2244673547508366 1.55 c NEW SOLUTION FOUND: 2244673547508366 @ 1.543 1.59 c Sol. found (all assignments made)... 1.59 o 2244617483508366 1.59 c NEW SOLUTION FOUND: 2244617483508366 @ 1.578 1.59 c Sol. found (all assignments made)... 1.59 o 2244574127348366 1.59 c NEW SOLUTION FOUND: 2244574127348366 @ 1.58 1.61 c Sol. found (all assignments made)... 1.61 o 2244566125894286 1.61 c NEW SOLUTION FOUND: 2244566125894286 @ 1.595 1.61 c Sol. found (all assignments made)... 1.61 o 2244542133492366 1.61 c NEW SOLUTION FOUND: 2244542133492366 @ 1.596 1.61 c Sol. found (all assignments made)... 1.61 o 2244540638452366 1.61 c NEW SOLUTION FOUND: 2244540638452366 @ 1.598 1.63 c Sol. found (all assignments made)... 1.63 o 2227034120477326 1.63 c NEW SOLUTION FOUND: 2227034120477326 @ 1.619 1.63 c Sol. found (all assignments made)... 1.63 o 2227024552221326 1.63 c NEW SOLUTION FOUND: 2227024552221326 @ 1.62 1.63 c Sol. found (all assignments made)... 1.63 o 2226906337913486 1.63 c NEW SOLUTION FOUND: 2226906337913486 @ 1.623 1.63 c Sol. found (all assignments made)... 1.63 o 2226896769657486 1.63 c NEW SOLUTION FOUND: 2226896769657486 @ 1.623 1.64 c Sol. found (all assignments made)... 1.64 o 2226777549187726 1.64 c NEW SOLUTION FOUND: 2226777549187726 @ 1.624 1.64 c Sol. found (all assignments made)... 1.64 o 2226767980931726 1.64 c NEW SOLUTION FOUND: 2226767980931726 @ 1.625 1.64 c Sol. found (all assignments made)... 1.64 o 2226639192205966 1.64 c NEW SOLUTION FOUND: 2226639192205966 @ 1.628 1.65 c Sol. found (all assignments made)... 1.65 o 2226638967949966 1.65 c NEW SOLUTION FOUND: 2226638967949966 @ 1.639 1.65 c Sol. found (all assignments made)... 1.65 o 2226638893197966 1.65 c NEW SOLUTION FOUND: 2226638893197966 @ 1.639 1.65 c Sol. found (all assignments made)... 1.65 o 2226637961788046 1.65 c NEW SOLUTION FOUND: 2226637961788046 @ 1.642 1.65 c Sol. found (all assignments made)... 1.65 o 2226637887036046 1.65 c NEW SOLUTION FOUND: 2226637887036046 @ 1.643 1.70 c Sol. found (all assignments made)... 1.70 o 2226637064764046 1.70 c NEW SOLUTION FOUND: 2226637064764046 @ 1.686 1.70 c Sol. found (all assignments made)... 1.70 o 2226636990012046 1.70 c NEW SOLUTION FOUND: 2226636990012046 @ 1.687 1.71 c Sol. found (all assignments made)... 1.71 o 2222928552221326 1.71 c NEW SOLUTION FOUND: 2222928552221326 @ 1.698 1.71 c Sol. found (all assignments made)... 1.71 o 2222542186044046 1.71 c NEW SOLUTION FOUND: 2222542186044046 @ 1.699 1.71 c Sol. found (all assignments made)... 1.71 o 2222540990012046 1.71 c NEW SOLUTION FOUND: 2222540990012046 @ 1.701 1.73 c Sol. found (all assignments made)... 1.73 o 2220530530998926 1.73 c NEW SOLUTION FOUND: 2220530530998926 @ 1.715 1.73 c Sol. found (all assignments made)... 1.73 o 2220146652568206 1.73 c NEW SOLUTION FOUND: 2220146652568206 @ 1.715 1.73 c Sol. found (all assignments made)... 1.73 o 2208652130998926 1.73 c NEW SOLUTION FOUND: 2208652130998926 @ 1.718 1.73 c Sol. found (all assignments made)... 1.73 o 2208268252568206 1.73 c NEW SOLUTION FOUND: 2208268252568206 @ 1.719 1.74 c Sol. found (all assignments made)... 1.74 o 2204287708977806 1.74 c NEW SOLUTION FOUND: 2204287708977806 @ 1.725 1.74 c Sol. found (all assignments made)... 1.74 o 2204287522097806 1.74 c NEW SOLUTION FOUND: 2204287522097806 @ 1.726 1.74 c Sol. found (all assignments made)... 1.74 o 2202329052568206 1.74 c NEW SOLUTION FOUND: 2202329052568206 @ 1.727 1.81 c Sol. found (all assignments made)... 1.81 o 2200856172481166 1.81 c NEW SOLUTION FOUND: 2200856172481166 @ 1.804 1.89 c Sol. found (all assignments made)... 1.89 o 2198808172481166 1.89 c NEW SOLUTION FOUND: 2198808172481166 @ 1.878 1.90 c Sol. found (all assignments made)... 1.90 o 2198748438157966 1.90 c NEW SOLUTION FOUND: 2198748438157966 @ 1.888 1.90 c Sol. found (all assignments made)... 1.90 o 2198743654029966 1.90 c NEW SOLUTION FOUND: 2198743654029966 @ 1.89 1.90 c Sol. found (all assignments made)... 1.90 o 2198739467917966 1.90 c NEW SOLUTION FOUND: 2198739467917966 @ 1.892 1.91 c Sol. found (all assignments made)... 1.91 o 2198739318413966 1.91 c NEW SOLUTION FOUND: 2198739318413966 @ 1.896 1.91 c Sol. found (all assignments made)... 1.91 o 2198616233265806 1.91 c NEW SOLUTION FOUND: 2198616233265806 @ 1.9 1.93 c Sol. found (all assignments made)... 1.93 o 2197268601199246 1.93 c NEW SOLUTION FOUND: 2197268601199246 @ 1.921 1.93 c Sol. found (all assignments made)... 1.93 o 2197172918639246 1.93 c NEW SOLUTION FOUND: 2197172918639246 @ 1.924 1.94 c Sol. found (all assignments made)... 1.94 o 2196753446296206 1.94 c NEW SOLUTION FOUND: 2196753446296206 @ 1.929 1.94 c Sol. found (all assignments made)... 1.94 o 2196657763736206 1.94 c NEW SOLUTION FOUND: 2196657763736206 @ 1.932 1.95 c Sol. found (all assignments made)... 1.95 o 2192814398790286 1.95 c NEW SOLUTION FOUND: 2192814398790286 @ 1.943 1.95 c Sol. found (all assignments made)... 1.95 o 2192812305734286 1.95 c NEW SOLUTION FOUND: 2192812305734286 @ 1.943 1.95 c Sol. found (all assignments made)... 1.95 o 2192680443206286 1.95 c NEW SOLUTION FOUND: 2192680443206286 @ 1.944 1.96 c Sol. found (all assignments made)... 1.96 o 2192655027526286 1.96 c NEW SOLUTION FOUND: 2192655027526286 @ 1.947 1.96 c Sol. found (all assignments made)... 1.96 o 2192527351110286 1.96 c NEW SOLUTION FOUND: 2192527351110286 @ 1.948 1.96 c Sol. found (all assignments made)... 1.96 o 2192525856070286 1.96 c NEW SOLUTION FOUND: 2192525856070286 @ 1.952 1.97 c Sol. found (all assignments made)... 1.97 o 2192522865990286 1.97 c NEW SOLUTION FOUND: 2192522865990286 @ 1.955 1.97 c Sol. found (all assignments made)... 1.97 o 2192516885830286 1.97 c NEW SOLUTION FOUND: 2192516885830286 @ 1.958 1.97 c Sol. found (all assignments made)... 1.97 o 2192504925510286 1.97 c NEW SOLUTION FOUND: 2192504925510286 @ 1.963 1.98 c Sol. found (all assignments made)... 1.98 o 2192461569350286 1.98 c NEW SOLUTION FOUND: 2192461569350286 @ 1.966 1.98 c Sol. found (all assignments made)... 1.98 o 2192421059746446 1.98 c NEW SOLUTION FOUND: 2192421059746446 @ 1.973 1.99 c Sol. found (all assignments made)... 1.99 o 2192413584546446 1.99 c NEW SOLUTION FOUND: 2192413584546446 @ 1.976 2.02 c Sol. found (all assignments made)... 2.02 o 2192366879496846 2.02 c NEW SOLUTION FOUND: 2192366879496846 @ 2.005 2.02 c Sol. found (all assignments made)... 2.02 o 2192271196936846 2.02 c NEW SOLUTION FOUND: 2192271196936846 @ 2.008 2.02 c Sol. found (all assignments made)... 2.02 o 2192223355656846 2.02 c NEW SOLUTION FOUND: 2192223355656846 @ 2.01 2.02 c Sol. found (all assignments made)... 2.02 o 2192187474696846 2.02 c NEW SOLUTION FOUND: 2192187474696846 @ 2.012 2.02 c Sol. found (all assignments made)... 2.02 o 2192179999496846 2.02 c NEW SOLUTION FOUND: 2192179999496846 @ 2.014 2.04 c Sol. found (all assignments made)... 2.04 o 2192163482294926 2.04 c NEW SOLUTION FOUND: 2192163482294926 @ 2.028 2.04 c Sol. found (all assignments made)... 2.04 o 2192157502134926 2.04 c NEW SOLUTION FOUND: 2192157502134926 @ 2.03 2.04 c Sol. found (all assignments made)... 2.04 o 2192156007094926 2.04 c NEW SOLUTION FOUND: 2192156007094926 @ 2.032 2.05 c Sol. found (all assignments made)... 2.05 o 2190601309018766 2.05 c NEW SOLUTION FOUND: 2190601309018766 @ 2.043 2.06 c Sol. found (all assignments made)... 2.06 o 2190409943898766 2.06 c NEW SOLUTION FOUND: 2190409943898766 @ 2.045 2.06 c Sol. found (all assignments made)... 2.06 o 2190314261338766 2.06 c NEW SOLUTION FOUND: 2190314261338766 @ 2.046 2.06 c Sol. found (all assignments made)... 2.06 o 2190282267482766 2.06 c NEW SOLUTION FOUND: 2190282267482766 @ 2.048 2.06 c Sol. found (all assignments made)... 2.06 o 2190186584922766 2.06 c NEW SOLUTION FOUND: 2190186584922766 @ 2.049 2.06 c Sol. found (all assignments made)... 2.06 o 2190138743642766 2.06 c NEW SOLUTION FOUND: 2190138743642766 @ 2.051 2.06 c Sol. found (all assignments made)... 2.06 o 2190102862682766 2.06 c NEW SOLUTION FOUND: 2190102862682766 @ 2.054 2.07 c Sol. found (all assignments made)... 2.07 o 2190095387482766 2.07 c NEW SOLUTION FOUND: 2190095387482766 @ 2.055 2.09 c Sol. found (all assignments made)... 2.09 o 2189963310242446 2.09 c NEW SOLUTION FOUND: 2189963310242446 @ 2.078 2.10 c Sol. found (all assignments made)... 2.10 o 2188430999919246 2.10 c NEW SOLUTION FOUND: 2188430999919246 @ 2.085 2.10 c Sol. found (all assignments made)... 2.10 o 2188359237999246 2.10 c NEW SOLUTION FOUND: 2188359237999246 @ 2.085 2.10 c Sol. found (all assignments made)... 2.10 o 2188356845935246 2.10 c NEW SOLUTION FOUND: 2188356845935246 @ 2.086 2.10 c Sol. found (all assignments made)... 2.10 o 2188356247919246 2.10 c NEW SOLUTION FOUND: 2188356247919246 @ 2.087 2.10 c Sol. found (all assignments made)... 2.10 o 2188356173167246 2.10 c NEW SOLUTION FOUND: 2188356173167246 @ 2.089 2.10 c Sol. found (all assignments made)... 2.10 o 2188356098415246 2.10 c NEW SOLUTION FOUND: 2188356098415246 @ 2.089 2.10 c Sol. found (all assignments made)... 2.10 o 2188355874159246 2.10 c NEW SOLUTION FOUND: 2188355874159246 @ 2.09 2.10 c Sol. found (all assignments made)... 2.10 o 2188355799407246 2.10 c NEW SOLUTION FOUND: 2188355799407246 @ 2.091 2.10 c Sol. found (all assignments made)... 2.10 o 2188355724655246 2.10 c NEW SOLUTION FOUND: 2188355724655246 @ 2.091 2.10 c Sol. found (all assignments made)... 2.10 o 2188355649903246 2.10 c NEW SOLUTION FOUND: 2188355649903246 @ 2.092 2.10 c Sol. found (all assignments made)... 2.10 o 2188355276143246 2.10 c NEW SOLUTION FOUND: 2188355276143246 @ 2.093 2.10 c Sol. found (all assignments made)... 2.10 o 2188355201391246 2.10 c NEW SOLUTION FOUND: 2188355201391246 @ 2.093 2.10 c Sol. found (all assignments made)... 2.10 o 2188355126639246 2.10 c NEW SOLUTION FOUND: 2188355126639246 @ 2.094 2.11 c Sol. found (all assignments made)... 2.11 o 2188355051887246 2.11 c NEW SOLUTION FOUND: 2188355051887246 @ 2.095 2.11 c Sol. found (all assignments made)... 2.11 o 2188354902383246 2.11 c NEW SOLUTION FOUND: 2188354902383246 @ 2.096 2.11 c Sol. found (all assignments made)... 2.11 o 2188354453871246 2.11 c NEW SOLUTION FOUND: 2188354453871246 @ 2.098 2.11 c Sol. found (all assignments made)... 2.11 o 2183956037999246 2.11 c NEW SOLUTION FOUND: 2183956037999246 @ 2.099 2.11 c Sol. found (all assignments made)... 2.11 o 2183952375151246 2.11 c NEW SOLUTION FOUND: 2183952375151246 @ 2.099 2.11 c Sol. found (all assignments made)... 2.11 o 2183951702383246 2.11 c NEW SOLUTION FOUND: 2183951702383246 @ 2.1 2.11 c Sol. found (all assignments made)... 2.11 o 2183951253871246 2.11 c NEW SOLUTION FOUND: 2183951253871246 @ 2.104 2.12 c Sol. found (all assignments made)... 2.12 o 2182453147155086 2.12 c NEW SOLUTION FOUND: 2182453147155086 @ 2.105 2.12 c Sol. found (all assignments made)... 2.12 o 2182448363027086 2.12 c NEW SOLUTION FOUND: 2182448363027086 @ 2.106 2.12 c Sol. found (all assignments made)... 2.12 o 2182434010643086 2.12 c NEW SOLUTION FOUND: 2182434010643086 @ 2.107 2.12 c Sol. found (all assignments made)... 2.12 o 2182429226515086 2.12 c NEW SOLUTION FOUND: 2182429226515086 @ 2.107 2.12 c Sol. found (all assignments made)... 2.12 o 2182426834451086 2.12 c NEW SOLUTION FOUND: 2182426834451086 @ 2.108 2.12 c Sol. found (all assignments made)... 2.12 o 2182422050323086 2.12 c NEW SOLUTION FOUND: 2182422050323086 @ 2.109 2.12 c Sol. found (all assignments made)... 2.12 o 2182417266195086 2.12 c NEW SOLUTION FOUND: 2182417266195086 @ 2.11 2.12 c Sol. found (all assignments made)... 2.12 o 2178018850323086 2.12 c NEW SOLUTION FOUND: 2178018850323086 @ 2.111 2.12 c Sol. found (all assignments made)... 2.12 o 2178014664211086 2.12 c NEW SOLUTION FOUND: 2178014664211086 @ 2.111 2.12 c Sol. found (all assignments made)... 2.12 o 2178014514707086 2.12 c NEW SOLUTION FOUND: 2178014514707086 @ 2.112 2.13 c Sol. found (all assignments made)... 2.13 o 2178014445935246 2.13 c NEW SOLUTION FOUND: 2178014445935246 @ 2.115 2.13 c Sol. found (all assignments made)... 2.13 o 2178013847919246 2.13 c NEW SOLUTION FOUND: 2178013847919246 @ 2.117 2.13 c Sol. found (all assignments made)... 2.13 o 2178013249903246 2.13 c NEW SOLUTION FOUND: 2178013249903246 @ 2.118 2.13 c Sol. found (all assignments made)... 2.13 o 2178012651887246 2.13 c NEW SOLUTION FOUND: 2178012651887246 @ 2.119 2.13 c Sol. found (all assignments made)... 2.13 o 2178012502383246 2.13 c NEW SOLUTION FOUND: 2178012502383246 @ 2.12 2.13 c Sol. found (all assignments made)... 2.13 o 2177921089657486 2.13 c NEW SOLUTION FOUND: 2177921089657486 @ 2.123 2.13 c Sol. found (all assignments made)... 2.13 o 2177920940153486 2.13 c NEW SOLUTION FOUND: 2177920940153486 @ 2.124 2.14 c Sol. found (all assignments made)... 2.14 o 2177920342137486 2.14 c NEW SOLUTION FOUND: 2177920342137486 @ 2.125 2.14 c Sol. found (all assignments made)... 2.14 o 2177916156025486 2.14 c NEW SOLUTION FOUND: 2177916156025486 @ 2.126 2.14 c Sol. found (all assignments made)... 2.14 o 2177915558009486 2.14 c NEW SOLUTION FOUND: 2177915558009486 @ 2.126 2.14 c Sol. found (all assignments made)... 2.14 o 2177914959993486 2.14 c NEW SOLUTION FOUND: 2177914959993486 @ 2.127 2.14 c Sol. found (all assignments made)... 2.14 o 2177914361977486 2.14 c NEW SOLUTION FOUND: 2177914361977486 @ 2.128 2.14 c Sol. found (all assignments made)... 2.14 o 2177895225465486 2.14 c NEW SOLUTION FOUND: 2177895225465486 @ 2.129 2.14 c Sol. found (all assignments made)... 2.14 o 2177892833401486 2.14 c NEW SOLUTION FOUND: 2177892833401486 @ 2.129 2.14 c Sol. found (all assignments made)... 2.14 o 2177884386425486 2.14 c NEW SOLUTION FOUND: 2177884386425486 @ 2.131 2.14 c Sol. found (all assignments made)... 2.14 o 2177883713657486 2.14 c NEW SOLUTION FOUND: 2177883713657486 @ 2.131 2.15 c Sol. found (all assignments made)... 2.15 o 2177375268493966 2.15 c NEW SOLUTION FOUND: 2177375268493966 @ 2.137 2.15 c Sol. found (all assignments made)... 2.15 o 2177374595725966 2.15 c NEW SOLUTION FOUND: 2177374595725966 @ 2.138 2.15 c Sol. found (all assignments made)... 2.15 o 2177374262332046 2.15 c NEW SOLUTION FOUND: 2177374262332046 @ 2.143 2.17 c Sol. found (all assignments made)... 2.17 o 2176269816994446 2.17 c NEW SOLUTION FOUND: 2176269816994446 @ 2.155 2.17 c Sol. found (all assignments made)... 2.17 o 2176269218978446 2.17 c NEW SOLUTION FOUND: 2176269218978446 @ 2.156 2.17 c Sol. found (all assignments made)... 2.17 o 2176265032866446 2.17 c NEW SOLUTION FOUND: 2176265032866446 @ 2.156 2.17 c Sol. found (all assignments made)... 2.17 o 2176264434850446 2.17 c NEW SOLUTION FOUND: 2176264434850446 @ 2.157 2.17 c Sol. found (all assignments made)... 2.17 o 2176263836834446 2.17 c NEW SOLUTION FOUND: 2176263836834446 @ 2.158 2.17 c Sol. found (all assignments made)... 2.17 o 2176263238818446 2.17 c NEW SOLUTION FOUND: 2176263238818446 @ 2.158 2.17 c Sol. found (all assignments made)... 2.17 o 2176250680482446 2.17 c NEW SOLUTION FOUND: 2176250680482446 @ 2.159 2.17 c Sol. found (all assignments made)... 2.17 o 2176250082466446 2.17 c NEW SOLUTION FOUND: 2176250082466446 @ 2.16 2.17 c Sol. found (all assignments made)... 2.17 o 2176249484450446 2.17 c NEW SOLUTION FOUND: 2176249484450446 @ 2.161 2.17 c Sol. found (all assignments made)... 2.17 o 2176248886434446 2.17 c NEW SOLUTION FOUND: 2176248886434446 @ 2.161 2.17 c Sol. found (all assignments made)... 2.17 o 2176248288418446 2.17 c NEW SOLUTION FOUND: 2176248288418446 @ 2.163 2.17 c Sol. found (all assignments made)... 2.17 o 2176247690402446 2.17 c NEW SOLUTION FOUND: 2176247690402446 @ 2.163 2.17 c Sol. found (all assignments made)... 2.17 o 2176247092386446 2.17 c NEW SOLUTION FOUND: 2176247092386446 @ 2.164 2.18 c Sol. found (all assignments made)... 2.18 o 2176246494370446 2.18 c NEW SOLUTION FOUND: 2176246494370446 @ 2.165 2.18 c Sol. found (all assignments made)... 2.18 o 2173994292386446 2.18 c NEW SOLUTION FOUND: 2173994292386446 @ 2.166 2.18 c Sol. found (all assignments made)... 2.18 o 2173993694370446 2.18 c NEW SOLUTION FOUND: 2173993694370446 @ 2.167 2.18 c Sol. found (all assignments made)... 2.18 o 2173989508258446 2.18 c NEW SOLUTION FOUND: 2173989508258446 @ 2.168 2.18 c Sol. found (all assignments made)... 2.18 o 2173988910242446 2.18 c NEW SOLUTION FOUND: 2173988910242446 @ 2.168 2.18 c Sol. found (all assignments made)... 2.18 o 2172453508258446 2.18 c NEW SOLUTION FOUND: 2172453508258446 @ 2.17 2.18 c Sol. found (all assignments made)... 2.18 o 2172452910242446 2.18 c NEW SOLUTION FOUND: 2172452910242446 @ 2.17 2.18 c Sol. found (all assignments made)... 2.18 o 2168059876514446 2.18 c NEW SOLUTION FOUND: 2168059876514446 @ 2.171 2.18 c Sol. found (all assignments made)... 2.18 o 2168059278498446 2.18 c NEW SOLUTION FOUND: 2168059278498446 @ 2.172 2.18 c Sol. found (all assignments made)... 2.18 o 2168054494370446 2.18 c NEW SOLUTION FOUND: 2168054494370446 @ 2.172 2.18 c Sol. found (all assignments made)... 2.18 o 2168050308258446 2.18 c NEW SOLUTION FOUND: 2168050308258446 @ 2.173 2.18 c Sol. found (all assignments made)... 2.18 o 2168050158754446 2.18 c NEW SOLUTION FOUND: 2168050158754446 @ 2.174 2.19 c Sol. found (all assignments made)... 2.19 o 2166644442520206 2.19 c NEW SOLUTION FOUND: 2166644442520206 @ 2.181 2.19 c Sol. found (all assignments made)... 2.19 o 2166644293016206 2.19 c NEW SOLUTION FOUND: 2166644293016206 @ 2.182 2.19 c Sol. found (all assignments made)... 2.19 o 2166643695000206 2.19 c NEW SOLUTION FOUND: 2166643695000206 @ 2.182 2.19 c Sol. found (all assignments made)... 2.19 o 2166642498968206 2.19 c NEW SOLUTION FOUND: 2166642498968206 @ 2.183 2.19 c Sol. found (all assignments made)... 2.19 o 2162246095420046 2.19 c NEW SOLUTION FOUND: 2162246095420046 @ 2.184 2.20 c Sol. found (all assignments made)... 2.20 o 2162241909308046 2.20 c NEW SOLUTION FOUND: 2162241909308046 @ 2.185 2.20 c Sol. found (all assignments made)... 2.20 o 2162241759804046 2.20 c NEW SOLUTION FOUND: 2162241759804046 @ 2.186 2.20 c Sol. found (all assignments made)... 2.20 o 2162240046488206 2.20 c NEW SOLUTION FOUND: 2162240046488206 @ 2.188 2.20 c Sol. found (all assignments made)... 2.20 o 2162239896984206 2.20 c NEW SOLUTION FOUND: 2162239896984206 @ 2.188 2.20 c Sol. found (all assignments made)... 2.20 o 2162239747480206 2.20 c NEW SOLUTION FOUND: 2162239747480206 @ 2.189 2.20 c Sol. found (all assignments made)... 2.20 o 2162117237922446 2.20 c NEW SOLUTION FOUND: 2162117237922446 @ 2.192 2.20 c Sol. found (all assignments made)... 2.20 o 2162117088418446 2.20 c NEW SOLUTION FOUND: 2162117088418446 @ 2.192 2.20 c Sol. found (all assignments made)... 2.20 o 2162116490402446 2.20 c NEW SOLUTION FOUND: 2162116490402446 @ 2.193 2.21 c Sol. found (all assignments made)... 2.21 o 2162111631522446 2.21 c NEW SOLUTION FOUND: 2162111631522446 @ 2.194 2.21 c Sol. found (all assignments made)... 2.21 o 2162110958754446 2.21 c NEW SOLUTION FOUND: 2162110958754446 @ 2.195 2.22 c Sol. found (all assignments made)... 2.22 o 2162110510242446 2.22 c NEW SOLUTION FOUND: 2162110510242446 @ 2.206 2.22 c Sol. found (all assignments made)... 2.22 o 2157838491032206 2.22 c NEW SOLUTION FOUND: 2157838491032206 @ 2.207 2.22 c Sol. found (all assignments made)... 2.22 o 2157836696984206 2.22 c NEW SOLUTION FOUND: 2157836696984206 @ 2.21 2.22 c Sol. found (all assignments made)... 2.22 o 2157836547480206 2.22 c NEW SOLUTION FOUND: 2157836547480206 @ 2.211 2.22 c Sol. found (all assignments made)... 2.22 o 2157713462332046 2.22 c NEW SOLUTION FOUND: 2157713462332046 @ 2.213 2.23 c Sol. found (all assignments made)... 2.23 o 2154292928879246 2.23 c NEW SOLUTION FOUND: 2154292928879246 @ 2.22 2.23 c Sol. found (all assignments made)... 2.23 o 2154292330863246 2.23 c NEW SOLUTION FOUND: 2154292330863246 @ 2.221 2.23 c Sol. found (all assignments made)... 2.23 o 2154282762607246 2.23 c NEW SOLUTION FOUND: 2154282762607246 @ 2.222 2.23 c Sol. found (all assignments made)... 2.23 o 2154277978479246 2.23 c NEW SOLUTION FOUND: 2154277978479246 @ 2.222 2.23 c Sol. found (all assignments made)... 2.23 o 2154276782447246 2.23 c NEW SOLUTION FOUND: 2154276782447246 @ 2.223 2.23 c Sol. found (all assignments made)... 2.23 o 2154257645935246 2.23 c NEW SOLUTION FOUND: 2154257645935246 @ 2.224 2.24 c Sol. found (all assignments made)... 2.24 o 2154256375151246 2.24 c NEW SOLUTION FOUND: 2154256375151246 @ 2.225 2.24 c Sol. found (all assignments made)... 2.24 o 2154255702383246 2.24 c NEW SOLUTION FOUND: 2154255702383246 @ 2.226 2.24 c Sol. found (all assignments made)... 2.24 o 2154163760413326 2.24 c NEW SOLUTION FOUND: 2154163760413326 @ 2.229 2.24 c Sol. found (all assignments made)... 2.24 o 2154163162397326 2.24 c NEW SOLUTION FOUND: 2154163162397326 @ 2.23 2.24 c Sol. found (all assignments made)... 2.24 o 2154154192157326 2.24 c NEW SOLUTION FOUND: 2154154192157326 @ 2.231 2.24 c Sol. found (all assignments made)... 2.24 o 2154153594141326 2.24 c NEW SOLUTION FOUND: 2154153594141326 @ 2.231 2.24 c Sol. found (all assignments made)... 2.24 o 2154149408029326 2.24 c NEW SOLUTION FOUND: 2154149408029326 @ 2.232 2.24 c Sol. found (all assignments made)... 2.24 o 2154148810013326 2.24 c NEW SOLUTION FOUND: 2154148810013326 @ 2.233 2.24 c Sol. found (all assignments made)... 2.24 o 2154148211997326 2.24 c NEW SOLUTION FOUND: 2154148211997326 @ 2.233 2.24 c Sol. found (all assignments made)... 2.24 o 2154147613981326 2.24 c NEW SOLUTION FOUND: 2154147613981326 @ 2.234 2.25 c Sol. found (all assignments made)... 2.25 o 2154138643741326 2.25 c NEW SOLUTION FOUND: 2154138643741326 @ 2.235 2.25 c Sol. found (all assignments made)... 2.25 o 2154138045725326 2.25 c NEW SOLUTION FOUND: 2154138045725326 @ 2.236 2.25 c Sol. found (all assignments made)... 2.25 o 2154129598749326 2.25 c NEW SOLUTION FOUND: 2154129598749326 @ 2.236 2.25 c Sol. found (all assignments made)... 2.25 o 2154128925981326 2.25 c NEW SOLUTION FOUND: 2154128925981326 @ 2.237 2.25 c Sol. found (all assignments made)... 2.25 o 2154128857209486 2.25 c NEW SOLUTION FOUND: 2154128857209486 @ 2.24 2.25 c Sol. found (all assignments made)... 2.25 o 2154127063161486 2.25 c NEW SOLUTION FOUND: 2154127063161486 @ 2.241 2.25 c Sol. found (all assignments made)... 2.25 o 2154126913657486 2.25 c NEW SOLUTION FOUND: 2154126913657486 @ 2.241 2.26 c Sol. found (all assignments made)... 2.26 o 2153617462332046 2.26 c NEW SOLUTION FOUND: 2153617462332046 @ 2.245 2.29 c Sol. found (all assignments made)... 2.29 o 2153335666195086 2.29 c NEW SOLUTION FOUND: 2153335666195086 @ 2.283 2.30 c Sol. found (all assignments made)... 2.30 o 2150580434451086 2.30 c NEW SOLUTION FOUND: 2150580434451086 @ 2.285 2.30 c Sol. found (all assignments made)... 2.30 o 2149038004058766 2.30 c NEW SOLUTION FOUND: 2149038004058766 @ 2.285 2.30 c Sol. found (all assignments made)... 2.30 o 2148942034451086 2.30 c NEW SOLUTION FOUND: 2148942034451086 @ 2.286 2.30 c Sol. found (all assignments made)... 2.30 o 2148933064211086 2.30 c NEW SOLUTION FOUND: 2148933064211086 @ 2.29 2.30 c Sol. found (all assignments made)... 2.30 o 2148932914707086 2.30 c NEW SOLUTION FOUND: 2148932914707086 @ 2.294 2.31 c Sol. found (all assignments made)... 2.31 o 2148931051887246 2.31 c NEW SOLUTION FOUND: 2148931051887246 @ 2.3 2.32 c Sol. found (all assignments made)... 2.32 o 2148930902383246 2.32 c NEW SOLUTION FOUND: 2148930902383246 @ 2.305 2.32 c Sol. found (all assignments made)... 2.32 o 2148811233401486 2.32 c NEW SOLUTION FOUND: 2148811233401486 @ 2.31 2.32 c Sol. found (all assignments made)... 2.32 o 2148802263161486 2.32 c NEW SOLUTION FOUND: 2148802263161486 @ 2.312 2.33 c Sol. found (all assignments made)... 2.33 o 2148802113657486 2.33 c NEW SOLUTION FOUND: 2148802113657486 @ 2.316 2.33 c Sol. found (all assignments made)... 2.33 o 2148296228002446 2.33 c NEW SOLUTION FOUND: 2148296228002446 @ 2.322 2.33 c Sol. found (all assignments made)... 2.33 o 2148296078498446 2.33 c NEW SOLUTION FOUND: 2148296078498446 @ 2.323 2.33 c Sol. found (all assignments made)... 2.33 o 2148287108258446 2.33 c NEW SOLUTION FOUND: 2148287108258446 @ 2.324 2.34 c Sol. found (all assignments made)... 2.34 o 2148286958754446 2.34 c NEW SOLUTION FOUND: 2148286958754446 @ 2.327 2.35 c Sol. found (all assignments made)... 2.35 o 2143988848106126 2.35 c NEW SOLUTION FOUND: 2143988848106126 @ 2.335 2.35 c Sol. found (all assignments made)... 2.35 o 2143979877866126 2.35 c NEW SOLUTION FOUND: 2143979877866126 @ 2.335 2.35 c Sol. found (all assignments made)... 2.35 o 2143979728362126 2.35 c NEW SOLUTION FOUND: 2143979728362126 @ 2.338 2.35 c Sol. found (all assignments made)... 2.35 o 2143893028002446 2.35 c NEW SOLUTION FOUND: 2143893028002446 @ 2.339 2.35 c Sol. found (all assignments made)... 2.35 o 2143892878498446 2.35 c NEW SOLUTION FOUND: 2143892878498446 @ 2.34 2.35 c Sol. found (all assignments made)... 2.35 o 2143883908258446 2.35 c NEW SOLUTION FOUND: 2143883908258446 @ 2.341 2.35 c Sol. found (all assignments made)... 2.35 o 2143883758754446 2.35 c NEW SOLUTION FOUND: 2143883758754446 @ 2.342 2.36 c Sol. found (all assignments made)... 2.36 o 2141429884394126 2.36 c NEW SOLUTION FOUND: 2141429884394126 @ 2.352 2.36 c Sol. found (all assignments made)... 2.36 o 2141425710242446 2.36 c NEW SOLUTION FOUND: 2141425710242446 @ 2.353 2.37 c Sol. found (all assignments made)... 2.37 o 2139889710242446 2.37 c NEW SOLUTION FOUND: 2139889710242446 @ 2.356 2.37 c Sol. found (all assignments made)... 2.37 o 2138347279850126 2.37 c NEW SOLUTION FOUND: 2138347279850126 @ 2.358 2.37 c Sol. found (all assignments made)... 2.37 o 2135492662332046 2.37 c NEW SOLUTION FOUND: 2135492662332046 @ 2.36 2.38 c Sol. found (all assignments made)... 2.38 o 2133950231939726 2.38 c NEW SOLUTION FOUND: 2133950231939726 @ 2.366 2.39 c Sol. found (all assignments made)... 2.39 o 2133854595725966 2.39 c NEW SOLUTION FOUND: 2133854595725966 @ 2.375 2.39 c Sol. found (all assignments made)... 2.39 o 2133854262332046 2.39 c NEW SOLUTION FOUND: 2133854262332046 @ 2.378 2.43 c Sol. found (all assignments made)... 2.43 o 2131253085182606 2.43 c NEW SOLUTION FOUND: 2131253085182606 @ 2.414 2.43 c Sol. found (all assignments made)... 2.43 o 2131234546686606 2.43 c NEW SOLUTION FOUND: 2131234546686606 @ 2.417 2.43 c Sol. found (all assignments made)... 2.43 o 2131157115574926 2.43 c NEW SOLUTION FOUND: 2131157115574926 @ 2.424 2.44 c Sol. found (all assignments made)... 2.44 o 2131138577078926 2.44 c NEW SOLUTION FOUND: 2131138577078926 @ 2.426 2.45 c Sol. found (all assignments made)... 2.45 o 2131138427574926 2.45 c NEW SOLUTION FOUND: 2131138427574926 @ 2.437 2.48 c Sol. found (all assignments made)... 2.48 o 2131080282479246 2.48 c NEW SOLUTION FOUND: 2131080282479246 @ 2.472 2.48 c Sol. found (all assignments made)... 2.48 o 2131061145967246 2.48 c NEW SOLUTION FOUND: 2131061145967246 @ 2.472 2.48 c Sol. found (all assignments made)... 2.48 o 2131042607471246 2.48 c NEW SOLUTION FOUND: 2131042607471246 @ 2.473 2.49 c Sol. found (all assignments made)... 2.49 o 2131042457967246 2.49 c NEW SOLUTION FOUND: 2131042457967246 @ 2.481 2.52 c Sol. found (all assignments made)... 2.52 o 2130932357241486 2.52 c NEW SOLUTION FOUND: 2130932357241486 @ 2.511 2.52 c Sol. found (all assignments made)... 2.52 o 2130918004857486 2.52 c NEW SOLUTION FOUND: 2130918004857486 @ 2.512 2.52 c Sol. found (all assignments made)... 2.52 o 2130915612793486 2.52 c NEW SOLUTION FOUND: 2130915612793486 @ 2.513 2.52 c Sol. found (all assignments made)... 2.52 o 2130913818745486 2.52 c NEW SOLUTION FOUND: 2130913818745486 @ 2.514 2.53 c Sol. found (all assignments made)... 2.53 o 2130913669241486 2.53 c NEW SOLUTION FOUND: 2130913669241486 @ 2.515 2.57 c Sol. found (all assignments made)... 2.57 o 2128167557241486 2.57 c NEW SOLUTION FOUND: 2128167557241486 @ 2.556 2.57 c Sol. found (all assignments made)... 2.57 o 2128153204857486 2.57 c NEW SOLUTION FOUND: 2128153204857486 @ 2.557 2.57 c Sol. found (all assignments made)... 2.57 o 2128150812793486 2.57 c NEW SOLUTION FOUND: 2128150812793486 @ 2.558 2.57 c Sol. found (all assignments made)... 2.57 o 2128149018745486 2.57 c NEW SOLUTION FOUND: 2128149018745486 @ 2.558 2.57 c Sol. found (all assignments made)... 2.57 o 2128148869241486 2.57 c NEW SOLUTION FOUND: 2128148869241486 @ 2.56 2.57 c Sol. found (all assignments made)... 2.57 o 2126510768249486 2.57 c NEW SOLUTION FOUND: 2126510768249486 @ 2.563 2.57 c Sol. found (all assignments made)... 2.57 o 2126510618745486 2.57 c NEW SOLUTION FOUND: 2126510618745486 @ 2.564 2.58 c Sol. found (all assignments made)... 2.58 o 2126510469241486 2.58 c NEW SOLUTION FOUND: 2126510469241486 @ 2.565 2.60 c Sol. found (all assignments made)... 2.60 o 2126001017916046 2.60 c NEW SOLUTION FOUND: 2126001017916046 @ 2.586 2.71 c Sol. found (all assignments made)... 2.71 o 2125969622076046 2.71 c NEW SOLUTION FOUND: 2125969622076046 @ 2.703 2.75 c Sol. found (all assignments made)... 2.75 o 2125369583327886 2.75 c NEW SOLUTION FOUND: 2125369583327886 @ 2.742 2.75 c Sol. found (all assignments made)... 2.75 o 2125369433823886 2.75 c NEW SOLUTION FOUND: 2125369433823886 @ 2.743 2.76 c Sol. found (all assignments made)... 2.76 o 2125321449020046 2.76 c NEW SOLUTION FOUND: 2125321449020046 @ 2.744 2.76 c Sol. found (all assignments made)... 2.76 o 2125292887775886 2.76 c NEW SOLUTION FOUND: 2125292887775886 @ 2.747 2.76 c Sol. found (all assignments made)... 2.76 o 2125216341727886 2.76 c NEW SOLUTION FOUND: 2125216341727886 @ 2.748 2.76 c Sol. found (all assignments made)... 2.76 o 2125168356924046 2.76 c NEW SOLUTION FOUND: 2125168356924046 @ 2.749 2.76 c Sol. found (all assignments made)... 2.76 o 2125164170812046 2.76 c NEW SOLUTION FOUND: 2125164170812046 @ 2.752 2.77 c Sol. found (all assignments made)... 2.77 o 2125162077756046 2.77 c NEW SOLUTION FOUND: 2125162077756046 @ 2.758 2.78 c Sol. found (all assignments made)... 2.78 o 2124897306172046 2.78 c NEW SOLUTION FOUND: 2124897306172046 @ 2.77 2.78 c Sol. found (all assignments made)... 2.78 o 2124664767650446 2.78 c NEW SOLUTION FOUND: 2124664767650446 @ 2.774 2.79 c Sol. found (all assignments made)... 2.79 o 2124640775248526 2.79 c NEW SOLUTION FOUND: 2124640775248526 @ 2.775 2.79 c Sol. found (all assignments made)... 2.79 o 2124639728720526 2.79 c NEW SOLUTION FOUND: 2124639728720526 @ 2.779 2.79 c Sol. found (all assignments made)... 2.79 o 2122618193939086 2.79 c NEW SOLUTION FOUND: 2122618193939086 @ 2.782 2.79 c Sol. found (all assignments made)... 2.79 o 2122609138481806 2.79 c NEW SOLUTION FOUND: 2122609138481806 @ 2.783 2.80 c Sol. found (all assignments made)... 2.80 o 2122594201537166 2.80 c NEW SOLUTION FOUND: 2122594201537166 @ 2.787 2.80 c Sol. found (all assignments made)... 2.80 o 2122585146079886 2.80 c NEW SOLUTION FOUND: 2122585146079886 @ 2.788 2.83 c Sol. found (all assignments made)... 2.83 o 2120825910065806 2.83 c NEW SOLUTION FOUND: 2120825910065806 @ 2.816 2.83 c Sol. found (all assignments made)... 2.83 o 2120562185009806 2.83 c NEW SOLUTION FOUND: 2120562185009806 @ 2.819 2.83 c Sol. found (all assignments made)... 2.83 o 2120561138481806 2.83 c NEW SOLUTION FOUND: 2120561138481806 @ 2.822 2.84 c Sol. found (all assignments made)... 2.84 o 2120538192607886 2.84 c NEW SOLUTION FOUND: 2120538192607886 @ 2.827 2.84 c Sol. found (all assignments made)... 2.84 o 2120537146079886 2.84 c NEW SOLUTION FOUND: 2120537146079886 @ 2.831 2.86 c Sol. found (all assignments made)... 2.86 o 2120530131352206 2.86 c NEW SOLUTION FOUND: 2120530131352206 @ 2.845 2.87 c Sol. found (all assignments made)... 2.87 o 2119793400298126 2.87 c NEW SOLUTION FOUND: 2119793400298126 @ 2.86 2.87 c Sol. found (all assignments made)... 2.87 o 2119791387974286 2.87 c NEW SOLUTION FOUND: 2119791387974286 @ 2.861 2.87 c Sol. found (all assignments made)... 2.87 o 2119528628714126 2.87 c NEW SOLUTION FOUND: 2119528628714126 @ 2.862 2.87 c Sol. found (all assignments made)... 2.87 o 2119526616390286 2.87 c NEW SOLUTION FOUND: 2119526616390286 @ 2.863 2.88 c Sol. found (all assignments made)... 2.88 o 2119504636312206 2.88 c NEW SOLUTION FOUND: 2119504636312206 @ 2.868 2.88 c Sol. found (all assignments made)... 2.88 o 2119502623988366 2.88 c NEW SOLUTION FOUND: 2119502623988366 @ 2.869 2.89 c Sol. found (all assignments made)... 2.89 o 2119496643828366 2.89 c NEW SOLUTION FOUND: 2119496643828366 @ 2.879 2.90 c Sol. found (all assignments made)... 2.90 o 2119485730036366 2.90 c NEW SOLUTION FOUND: 2119485730036366 @ 2.885 2.90 c Sol. found (all assignments made)... 2.90 o 2119484683508366 2.90 c NEW SOLUTION FOUND: 2119484683508366 @ 2.888 2.92 c Sol. found (all assignments made)... 2.92 o 2119465319750286 2.92 c NEW SOLUTION FOUND: 2119465319750286 @ 2.912 2.92 c Sol. found (all assignments made)... 2.92 o 2119442373876366 2.92 c NEW SOLUTION FOUND: 2119442373876366 @ 2.914 2.93 c Sol. found (all assignments made)... 2.93 o 2119441327348366 2.93 c NEW SOLUTION FOUND: 2119441327348366 @ 2.915 2.95 c Sol. found (all assignments made)... 2.95 o 2119437063494286 2.95 c NEW SOLUTION FOUND: 2119437063494286 @ 2.935 2.95 c Sol. found (all assignments made)... 2.95 o 2119413071092366 2.95 c NEW SOLUTION FOUND: 2119413071092366 @ 2.937 2.97 c Sol. found (all assignments made)... 2.97 o 2119410641652366 2.97 c NEW SOLUTION FOUND: 2119410641652366 @ 2.961 2.97 c Sol. found (all assignments made)... 2.97 o 2119409333492366 2.97 c NEW SOLUTION FOUND: 2119409333492366 @ 2.962 2.98 c Sol. found (all assignments made)... 2.98 o 2119407838452366 2.98 c NEW SOLUTION FOUND: 2119407838452366 @ 2.967 3.08 c Sol. found (all assignments made)... 3.08 o 2118958736300686 3.08 c NEW SOLUTION FOUND: 2118958736300686 @ 3.067 3.08 c Sol. found (all assignments made)... 3.08 o 2118863053740686 3.08 c NEW SOLUTION FOUND: 2118863053740686 @ 3.073 3.10 c Sol. found (all assignments made)... 3.10 o 2118644179884686 3.10 c NEW SOLUTION FOUND: 2118644179884686 @ 3.085 3.12 c Sol. found (all assignments made)... 3.12 o 2118632895322766 3.12 c NEW SOLUTION FOUND: 2118632895322766 @ 3.107 3.12 c Sol. found (all assignments made)... 3.12 o 2118626915162766 3.12 c NEW SOLUTION FOUND: 2118626915162766 @ 3.109 3.12 c Sol. found (all assignments made)... 3.12 o 2118625420122766 3.12 c NEW SOLUTION FOUND: 2118625420122766 @ 3.111 3.13 c Sol. found (all assignments made)... 3.13 o 2118621682522766 3.13 c NEW SOLUTION FOUND: 2118621682522766 @ 3.119 3.13 c Sol. found (all assignments made)... 3.13 o 2118620187482766 3.13 c NEW SOLUTION FOUND: 2118620187482766 @ 3.12 3.14 c Sol. found (all assignments made)... 3.14 o 2118020660714126 3.14 c NEW SOLUTION FOUND: 2118020660714126 @ 3.127 3.15 c Sol. found (all assignments made)... 3.15 o 2117984779754126 3.15 c NEW SOLUTION FOUND: 2117984779754126 @ 3.137 3.16 c Sol. found (all assignments made)... 3.16 o 2117882829986446 3.16 c NEW SOLUTION FOUND: 2117882829986446 @ 3.154 3.17 c Sol. found (all assignments made)... 3.17 o 2117881334946446 3.17 c NEW SOLUTION FOUND: 2117881334946446 @ 3.156 3.18 c Sol. found (all assignments made)... 3.18 o 2117875427367566 3.18 c NEW SOLUTION FOUND: 2117875427367566 @ 3.166 3.18 c Sol. found (all assignments made)... 3.18 o 2117865859111566 3.18 c NEW SOLUTION FOUND: 2117865859111566 @ 3.167 3.18 c Sol. found (all assignments made)... 3.18 o 2117861074983566 3.18 c NEW SOLUTION FOUND: 2117861074983566 @ 3.168 3.18 c Sol. found (all assignments made)... 3.18 o 2117858682919566 3.18 c NEW SOLUTION FOUND: 2117858682919566 @ 3.168 3.18 c Sol. found (all assignments made)... 3.18 o 2117858084903566 3.18 c NEW SOLUTION FOUND: 2117858084903566 @ 3.169 3.18 c Sol. found (all assignments made)... 3.18 o 2117854060255886 3.18 c NEW SOLUTION FOUND: 2117854060255886 @ 3.17 3.18 c Sol. found (all assignments made)... 3.18 o 2117725271530126 3.18 c NEW SOLUTION FOUND: 2117725271530126 @ 3.171 3.18 c Sol. found (all assignments made)... 3.18 o 2117601547999886 3.19 c NEW SOLUTION FOUND: 2117601547999886 @ 3.174 3.19 c Sol. found (all assignments made)... 3.19 o 2117601361119886 3.19 c NEW SOLUTION FOUND: 2117601361119886 @ 3.175 3.19 c Sol. found (all assignments made)... 3.19 o 2117601214605966 3.19 c NEW SOLUTION FOUND: 2117601214605966 @ 3.176 3.19 c Sol. found (all assignments made)... 3.19 o 2117601027725966 3.19 c NEW SOLUTION FOUND: 2117601027725966 @ 3.177 3.19 c Sol. found (all assignments made)... 3.19 o 2117600840845966 3.19 c NEW SOLUTION FOUND: 2117600840845966 @ 3.178 3.19 c Sol. found (all assignments made)... 3.19 o 2116514589612686 3.19 c NEW SOLUTION FOUND: 2116514589612686 @ 3.182 3.19 c Sol. found (all assignments made)... 3.19 o 2116513393580686 3.19 c NEW SOLUTION FOUND: 2116513393580686 @ 3.183 3.19 c Sol. found (all assignments made)... 3.19 o 2116512795564686 3.19 c NEW SOLUTION FOUND: 2116512795564686 @ 3.184 3.20 c Sol. found (all assignments made)... 3.20 o 2116505021356686 3.20 c NEW SOLUTION FOUND: 2116505021356686 @ 3.185 3.20 c Sol. found (all assignments made)... 3.20 o 2116503825324686 3.20 c NEW SOLUTION FOUND: 2116503825324686 @ 3.185 3.20 c Sol. found (all assignments made)... 3.20 o 2116503227308686 3.20 c NEW SOLUTION FOUND: 2116503227308686 @ 3.186 3.20 c Sol. found (all assignments made)... 3.20 o 2116493659052686 3.20 c NEW SOLUTION FOUND: 2116493659052686 @ 3.187 3.20 c Sol. found (all assignments made)... 3.20 o 2116488874924686 3.20 c NEW SOLUTION FOUND: 2116488874924686 @ 3.188 3.20 c Sol. found (all assignments made)... 3.20 o 2116486482860686 3.20 c NEW SOLUTION FOUND: 2116486482860686 @ 3.188 3.20 c Sol. found (all assignments made)... 3.20 o 2116449405868686 3.20 c NEW SOLUTION FOUND: 2116449405868686 @ 3.189 3.20 c Sol. found (all assignments made)... 3.20 o 2116449032108686 3.20 c NEW SOLUTION FOUND: 2116449032108686 @ 3.19 3.20 c Sol. found (all assignments made)... 3.20 o 2116448957356686 3.20 c NEW SOLUTION FOUND: 2116448957356686 @ 3.191 3.20 c Sol. found (all assignments made)... 3.20 o 2116448882604686 3.20 c NEW SOLUTION FOUND: 2116448882604686 @ 3.191 3.20 c Sol. found (all assignments made)... 3.20 o 2116448807852686 3.20 c NEW SOLUTION FOUND: 2116448807852686 @ 3.192 3.20 c Sol. found (all assignments made)... 3.20 o 2116448733100686 3.20 c NEW SOLUTION FOUND: 2116448733100686 @ 3.193 3.21 c Sol. found (all assignments made)... 3.21 o 2116448658348686 3.21 c NEW SOLUTION FOUND: 2116448658348686 @ 3.194 3.21 c Sol. found (all assignments made)... 3.21 o 2116376830646926 3.21 c NEW SOLUTION FOUND: 2116376830646926 @ 3.196 3.21 c Sol. found (all assignments made)... 3.21 o 2116369056438926 3.21 c NEW SOLUTION FOUND: 2116369056438926 @ 3.197 3.21 c Sol. found (all assignments made)... 3.21 o 2116367860406926 3.21 c NEW SOLUTION FOUND: 2116367860406926 @ 3.198 3.21 c Sol. found (all assignments made)... 3.21 o 2116367262390926 3.21 c NEW SOLUTION FOUND: 2116367262390926 @ 3.199 3.21 c Sol. found (all assignments made)... 3.21 o 2116358890166926 3.21 c NEW SOLUTION FOUND: 2116358890166926 @ 3.199 3.21 c Sol. found (all assignments made)... 3.21 o 2116357694134926 3.21 c NEW SOLUTION FOUND: 2116357694134926 @ 3.2 3.21 c Sol. found (all assignments made)... 3.21 o 2116320617142926 3.21 c NEW SOLUTION FOUND: 2116320617142926 @ 3.201 3.21 c Sol. found (all assignments made)... 3.21 o 2116320093878926 3.21 c NEW SOLUTION FOUND: 2116320093878926 @ 3.201 3.21 c Sol. found (all assignments made)... 3.21 o 2116320019126926 3.21 c NEW SOLUTION FOUND: 2116320019126926 @ 3.202 3.21 c Sol. found (all assignments made)... 3.21 o 2116319869622926 3.21 c NEW SOLUTION FOUND: 2116319869622926 @ 3.203 3.22 c Sol. found (all assignments made)... 3.22 o 2115810246367886 3.22 c NEW SOLUTION FOUND: 2115810246367886 @ 3.204 3.22 c Sol. found (all assignments made)... 3.22 o 2115809050335886 3.22 c NEW SOLUTION FOUND: 2115809050335886 @ 3.205 3.22 c Sol. found (all assignments made)... 3.22 o 2115805462239886 3.22 c NEW SOLUTION FOUND: 2115805462239886 @ 3.206 3.22 c Sol. found (all assignments made)... 3.22 o 2115804864223886 3.22 c NEW SOLUTION FOUND: 2115804864223886 @ 3.207 3.22 c Sol. found (all assignments made)... 3.22 o 2115804714719886 3.22 c NEW SOLUTION FOUND: 2115804714719886 @ 3.208 3.22 c Sol. found (all assignments made)... 3.22 o 2115553847007886 3.22 c NEW SOLUTION FOUND: 2115553847007886 @ 3.211 3.22 c Sol. found (all assignments made)... 3.22 o 2115552840845966 3.22 c NEW SOLUTION FOUND: 2115552840845966 @ 3.212 3.23 c Sol. found (all assignments made)... 3.23 o 2113642577386126 3.23 c NEW SOLUTION FOUND: 2113642577386126 @ 3.219 3.23 c Sol. found (all assignments made)... 3.23 o 2113642427882126 3.23 c NEW SOLUTION FOUND: 2113642427882126 @ 3.22 3.23 c Sol. found (all assignments made)... 3.23 o 2113641231850126 3.23 c NEW SOLUTION FOUND: 2113641231850126 @ 3.221 3.23 c Sol. found (all assignments made)... 3.23 o 2113640633834126 3.23 c NEW SOLUTION FOUND: 2113640633834126 @ 3.221 3.23 c Sol. found (all assignments made)... 3.23 o 2113635849706126 3.23 c NEW SOLUTION FOUND: 2113635849706126 @ 3.222 3.23 c Sol. found (all assignments made)... 3.23 o 2113633457642126 3.23 c NEW SOLUTION FOUND: 2113633457642126 @ 3.223 3.24 c Sol. found (all assignments made)... 3.24 o 2113504668916366 3.24 c NEW SOLUTION FOUND: 2113504668916366 @ 3.225 3.24 c Sol. found (all assignments made)... 3.24 o 2113503173876366 3.24 c NEW SOLUTION FOUND: 2113503173876366 @ 3.227 3.27 c Sol. found (all assignments made)... 3.27 o 2113502127348366 3.27 c NEW SOLUTION FOUND: 2113502127348366 @ 3.26 3.30 c Sol. found (all assignments made)... 3.31 o 2113475366132366 3.31 c NEW SOLUTION FOUND: 2113475366132366 @ 3.294 3.31 c Sol. found (all assignments made)... 3.31 o 2113473871092366 3.31 c NEW SOLUTION FOUND: 2113473871092366 @ 3.295 3.37 c Sol. found (all assignments made)... 3.37 o 2113472749812366 3.37 c NEW SOLUTION FOUND: 2113472749812366 @ 3.356 3.37 c Sol. found (all assignments made)... 3.37 o 2113471441652366 3.37 c NEW SOLUTION FOUND: 2113471441652366 @ 3.356 3.37 c Sol. found (all assignments made)... 3.37 o 2113470133492366 3.37 c NEW SOLUTION FOUND: 2113470133492366 @ 3.357 3.37 c Sol. found (all assignments made)... 3.37 o 2113468638452366 3.37 c NEW SOLUTION FOUND: 2113468638452366 @ 3.359 3.50 c Restart #7 #Var: 1335 LB: 0 @ 3.488 3.69 c Restart #8 #Var: 1335 LB: 0 @ 3.682 3.93 c Restart #9 #Var: 1335 LB: 0 @ 3.919 4.13 c Restart #10 #Var: 1335 LB: 0 @ 4.121 4.31 c CHANGE to MIS mode... UB: 2113468638452366 MIS: 2079770 LPR: -2147483648 (0) Diff: -0.00096847 4.31 c Restart #0 #Var: 1335 LB: 0 @ 4.296 4.34 c Restart #1 #Var: 1335 LB: 2079770 @ 4.324 4.38 c Restart #2 #Var: 1335 LB: 2079770 @ 4.371 4.52 c Restart #3 #Var: 1335 LB: 2079770 @ 4.504 4.63 c Restart #4 #Var: 1335 LB: 2079770 @ 4.614 4.78 c Restart #5 #Var: 1335 LB: 2079770 @ 4.766 4.92 c Restart #6 #Var: 1335 LB: 2079770 @ 4.914 5.11 c Restart #7 #Var: 1335 LB: 2079770 @ 5.1 5.29 c Restart #8 #Var: 1335 LB: 2079770 @ 5.274 5.46 c Restart #9 #Var: 1335 LB: 2079770 @ 5.452 5.83 c Restart #10 #Var: 1333 LB: 2079770 @ 5.819 6.13 c Restart #11 #Var: 1333 LB: 2079770 @ 6.123 6.47 c Restart #12 #Var: 1332 LB: 2079770 @ 6.458 6.84 c Restart #13 #Var: 1332 LB: 2079770 @ 6.824 6.88 c Sol. found (all assignments made)... 6.88 o 2078098226016030 6.88 c NEW SOLUTION FOUND: 2078098226016030 @ 6.866 6.88 c Sol. found (all assignments made)... 6.88 o 2078097808301854 6.88 c NEW SOLUTION FOUND: 2078097808301854 @ 6.866 6.88 c Sol. found (all assignments made)... 6.88 o 2076049808301854 6.88 c NEW SOLUTION FOUND: 2076049808301854 @ 6.867 6.88 c Sol. found (all assignments made)... 6.88 o 2076048578631454 6.88 c NEW SOLUTION FOUND: 2076048578631454 @ 6.867 6.88 c Sol. found (all assignments made)... 6.88 o 2076047963796254 6.88 c NEW SOLUTION FOUND: 2076047963796254 @ 6.868 6.88 c Sol. found (all assignments made)... 6.88 o 2076047441653534 6.88 c NEW SOLUTION FOUND: 2076047441653534 @ 6.868 6.88 c Sol. found (all assignments made)... 6.88 o 2073999441653534 6.88 c NEW SOLUTION FOUND: 2073999441653534 @ 6.869 6.92 c Sol. found (all assignments made)... 6.92 o 2073999067893534 6.92 c NEW SOLUTION FOUND: 2073999067893534 @ 6.904 6.92 c Sol. found (all assignments made)... 6.92 o 2073998881013534 6.92 c NEW SOLUTION FOUND: 2073998881013534 @ 6.904 6.92 c Sol. found (all assignments made)... 6.92 o 2073998768885534 6.92 c NEW SOLUTION FOUND: 2073998768885534 @ 6.905 6.95 c Sol. found (all assignments made)... 6.95 o 2073998694133534 6.95 c NEW SOLUTION FOUND: 2073998694133534 @ 6.939 7.10 c Sol. found (all assignments made)... 7.10 o 2073998245621534 7.10 c NEW SOLUTION FOUND: 2073998245621534 @ 7.092 7.11 c Sol. found (all assignments made)... 7.11 o 2073998170869534 7.11 c NEW SOLUTION FOUND: 2073998170869534 @ 7.093 7.12 c Sol. found (all assignments made)... 7.12 o 2073998021365534 7.12 c NEW SOLUTION FOUND: 2073998021365534 @ 7.111 7.12 c Sol. found (all assignments made)... 7.12 o 2073996825333534 7.12 c NEW SOLUTION FOUND: 2073996825333534 @ 7.112 7.13 c Sol. found (all assignments made)... 7.13 o 2073996750581534 7.13 c NEW SOLUTION FOUND: 2073996750581534 @ 7.114 7.13 c Sol. found (all assignments made)... 7.13 o 2073996077813534 7.13 c NEW SOLUTION FOUND: 2073996077813534 @ 7.115 7.16 c Sol. found (all assignments made)... 7.16 o 2073996036933534 7.16 c NEW SOLUTION FOUND: 2073996036933534 @ 7.148 7.20 c Sol. found (all assignments made)... 7.20 o 2073995955173534 7.20 c NEW SOLUTION FOUND: 2073995955173534 @ 7.193 7.21 c Sol. found (all assignments made)... 7.21 o 2073995791653534 7.21 c NEW SOLUTION FOUND: 2073995791653534 @ 7.198 7.22 c Sol. found (all assignments made)... 7.22 o 2073995464613534 7.22 c NEW SOLUTION FOUND: 2073995464613534 @ 7.204 7.27 c Sol. found (all assignments made)... 7.27 o 2045153670130654 7.27 c NEW SOLUTION FOUND: 2045153670130654 @ 7.261 7.27 c Sol. found (all assignments made)... 7.27 o 2045153520626654 7.27 c NEW SOLUTION FOUND: 2045153520626654 @ 7.262 7.28 c Sol. found (all assignments made)... 7.28 o 2045152866546654 7.28 c NEW SOLUTION FOUND: 2045152866546654 @ 7.264 7.28 c Sol. found (all assignments made)... 7.28 o 2045152846106654 7.28 c NEW SOLUTION FOUND: 2045152846106654 @ 7.265 7.28 c Sol. found (all assignments made)... 7.28 o 2045145127962654 7.28 c NEW SOLUTION FOUND: 2045145127962654 @ 7.266 7.28 c Sol. found (all assignments made)... 7.28 o 2045144473882654 7.28 c NEW SOLUTION FOUND: 2045144473882654 @ 7.267 7.28 c Sol. found (all assignments made)... 7.28 o 2045124197402654 7.28 c NEW SOLUTION FOUND: 2045124197402654 @ 7.268 7.28 c Sol. found (all assignments made)... 7.28 o 2045123543322654 7.28 c NEW SOLUTION FOUND: 2045123543322654 @ 7.269 7.28 c Sol. found (all assignments made)... 7.28 o 2045123393818654 7.28 c NEW SOLUTION FOUND: 2045123393818654 @ 7.272 7.29 c Sol. found (all assignments made)... 7.29 o 2045123361114654 7.29 c NEW SOLUTION FOUND: 2045123361114654 @ 7.275 7.30 c Sol. found (all assignments made)... 7.30 o 2045116477950494 7.30 c NEW SOLUTION FOUND: 2045116477950494 @ 7.286 7.30 c Sol. found (all assignments made)... 7.30 o 2045116328446494 7.30 c NEW SOLUTION FOUND: 2045116328446494 @ 7.288 7.31 c Sol. found (all assignments made)... 7.31 o 2045114869287454 7.31 c NEW SOLUTION FOUND: 2045114869287454 @ 7.3 7.31 c Sol. found (all assignments made)... 7.31 o 2045114719783454 7.31 c NEW SOLUTION FOUND: 2045114719783454 @ 7.301 7.32 c Sol. found (all assignments made)... 7.32 o 2045114570279454 7.32 c NEW SOLUTION FOUND: 2045114570279454 @ 7.303 7.32 c Sol. found (all assignments made)... 7.32 o 2045114552338974 7.32 c NEW SOLUTION FOUND: 2045114552338974 @ 7.307 7.32 c Sol. found (all assignments made)... 7.32 o 2045093621778974 7.32 c NEW SOLUTION FOUND: 2045093621778974 @ 7.308 7.32 c Sol. found (all assignments made)... 7.32 o 2045093472274974 7.32 c NEW SOLUTION FOUND: 2045093472274974 @ 7.311 7.33 c Sol. found (all assignments made)... 7.33 o 2045086738614814 7.33 c NEW SOLUTION FOUND: 2045086738614814 @ 7.313 7.33 c Sol. found (all assignments made)... 7.33 o 2045086589110814 7.33 c NEW SOLUTION FOUND: 2045086589110814 @ 7.314 7.33 c Sol. found (all assignments made)... 7.33 o 2045086439606814 7.33 c NEW SOLUTION FOUND: 2045086439606814 @ 7.316 7.33 c Sol. found (all assignments made)... 7.33 o 2045085016328734 7.33 c NEW SOLUTION FOUND: 2045085016328734 @ 7.32 7.33 c Sol. found (all assignments made)... 7.33 o 2045084866824734 7.33 c NEW SOLUTION FOUND: 2045084866824734 @ 7.321 7.33 c Sol. found (all assignments made)... 7.33 o 2045083670792734 7.33 c NEW SOLUTION FOUND: 2045083670792734 @ 7.322 7.34 c Sol. found (all assignments made)... 7.34 o 2045083596040734 7.34 c NEW SOLUTION FOUND: 2045083596040734 @ 7.324 7.34 c Sol. found (all assignments made)... 7.34 o 2045082923272734 7.34 c NEW SOLUTION FOUND: 2045082923272734 @ 7.325 7.34 c Sol. found (all assignments made)... 7.34 o 2045082916404894 7.34 c NEW SOLUTION FOUND: 2045082916404894 @ 7.332 7.35 c Sol. found (all assignments made)... 7.35 o 2045074547170974 7.35 c NEW SOLUTION FOUND: 2045074547170974 @ 7.335 7.35 c Sol. found (all assignments made)... 7.35 o 2045074397666974 7.35 c NEW SOLUTION FOUND: 2045074397666974 @ 7.338 7.43 c Sol. found (all assignments made)... 7.43 o 2044077541613214 7.43 c NEW SOLUTION FOUND: 2044077541613214 @ 7.419 7.43 c Sol. found (all assignments made)... 7.43 o 2044077466861214 7.43 c NEW SOLUTION FOUND: 2044077466861214 @ 7.42 7.43 c Sol. found (all assignments made)... 7.43 o 2044077317357214 7.43 c NEW SOLUTION FOUND: 2044077317357214 @ 7.421 7.43 c Sol. found (all assignments made)... 7.43 o 2044075074797214 7.43 c NEW SOLUTION FOUND: 2044075074797214 @ 7.422 7.44 c Sol. found (all assignments made)... 7.44 o 2044074925293214 7.44 c NEW SOLUTION FOUND: 2044074925293214 @ 7.423 7.44 c Sol. found (all assignments made)... 7.44 o 2044073280749214 7.44 c NEW SOLUTION FOUND: 2044073280749214 @ 7.424 7.44 c Sol. found (all assignments made)... 7.44 o 2044073131245214 7.44 c NEW SOLUTION FOUND: 2044073131245214 @ 7.425 7.44 c Sol. found (all assignments made)... 7.44 o 2044072981741214 7.44 c NEW SOLUTION FOUND: 2044072981741214 @ 7.427 7.44 c Sol. found (all assignments made)... 7.44 o 2044066391604894 7.44 c NEW SOLUTION FOUND: 2044066391604894 @ 7.432 7.45 c Sol. found (all assignments made)... 7.45 o 2044066242100894 7.45 c NEW SOLUTION FOUND: 2044066242100894 @ 7.434 7.45 c Sol. found (all assignments made)... 7.45 o 2044061607476894 7.45 c NEW SOLUTION FOUND: 2044061607476894 @ 7.435 7.45 c Sol. found (all assignments made)... 7.45 o 2044061457972894 7.45 c NEW SOLUTION FOUND: 2044061457972894 @ 7.436 7.45 c Sol. found (all assignments made)... 7.45 o 2044059215412894 7.45 c NEW SOLUTION FOUND: 2044059215412894 @ 7.437 7.45 c Sol. found (all assignments made)... 7.45 o 2044059065908894 7.45 c NEW SOLUTION FOUND: 2044059065908894 @ 7.438 7.45 c Sol. found (all assignments made)... 7.45 o 2044058916404894 7.45 c NEW SOLUTION FOUND: 2044058916404894 @ 7.44 7.56 c Sol. found (all assignments made)... 7.56 o 2044056527330974 7.56 c NEW SOLUTION FOUND: 2044056527330974 @ 7.548 7.56 c Sol. found (all assignments made)... 7.56 o 2044054135266974 7.56 c NEW SOLUTION FOUND: 2044054135266974 @ 7.549 7.56 c Sol. found (all assignments made)... 7.56 o 2044051743202974 7.56 c NEW SOLUTION FOUND: 2044051743202974 @ 7.55 7.56 c Sol. found (all assignments made)... 7.56 o 2044050547170974 7.56 c NEW SOLUTION FOUND: 2044050547170974 @ 7.551 7.57 c Sol. found (all assignments made)... 7.57 o 2044050397666974 7.57 c NEW SOLUTION FOUND: 2044050397666974 @ 7.559 7.68 c Sol. found (all assignments made)... 7.68 o 2040114890210974 7.68 c NEW SOLUTION FOUND: 2040114890210974 @ 7.672 7.69 c Sol. found (all assignments made)... 7.69 o 2039981317357214 7.69 c NEW SOLUTION FOUND: 2039981317357214 @ 7.673 7.69 c Sol. found (all assignments made)... 7.69 o 2039977729261214 7.69 c NEW SOLUTION FOUND: 2039977729261214 @ 7.674 7.69 c Sol. found (all assignments made)... 7.69 o 2039977131245214 7.69 c NEW SOLUTION FOUND: 2039977131245214 @ 7.676 7.69 c Sol. found (all assignments made)... 7.69 o 2039976981741214 7.69 c NEW SOLUTION FOUND: 2039976981741214 @ 7.677 7.69 c Sol. found (all assignments made)... 7.69 o 2039967252020894 7.69 c NEW SOLUTION FOUND: 2039967252020894 @ 7.679 7.69 c Sol. found (all assignments made)... 7.69 o 2039963663924894 7.69 c NEW SOLUTION FOUND: 2039963663924894 @ 7.68 7.69 c Sol. found (all assignments made)... 7.69 o 2039963065908894 7.69 c NEW SOLUTION FOUND: 2039963065908894 @ 7.681 7.69 c Sol. found (all assignments made)... 7.69 o 2039962916404894 7.69 c NEW SOLUTION FOUND: 2039962916404894 @ 7.683 7.71 c Sol. found (all assignments made)... 7.71 o 2039958733282974 7.71 c NEW SOLUTION FOUND: 2039958733282974 @ 7.693 7.71 c Sol. found (all assignments made)... 7.71 o 2039955145186974 7.71 c NEW SOLUTION FOUND: 2039955145186974 @ 7.694 7.71 c Sol. found (all assignments made)... 7.71 o 2039954547170974 7.71 c NEW SOLUTION FOUND: 2039954547170974 @ 7.696 7.71 c Sol. found (all assignments made)... 7.71 o 2039954397666974 7.71 c NEW SOLUTION FOUND: 2039954397666974 @ 7.697 7.72 c Sol. found (all assignments made)... 7.72 o 2038967935131294 7.72 c NEW SOLUTION FOUND: 2038967935131294 @ 7.704 7.72 c Sol. found (all assignments made)... 7.72 o 2038953869794974 7.72 c NEW SOLUTION FOUND: 2038953869794974 @ 7.706 8.01 c Restart #14 #Var: 1332 LB: 2079770 @ 7.999 8.70 c Restart #15 #Var: 1332 LB: 2079770 @ 8.69 9.16 c Restart #16 #Var: 1332 LB: 2079770 @ 9.151 9.55 c Restart #17 #Var: 1332 LB: 2079770 @ 9.538 10.17 c Restart #18 #Var: 1332 LB: 2079770 @ 10.153 10.75 c Restart #19 #Var: 1332 LB: 2079770 @ 10.731 11.38 c Restart #20 #Var: 1331 LB: 2079770 @ 11.363 12.07 c Restart #21 #Var: 1331 LB: 2079770 @ 12.056 12.75 c Restart #22 #Var: 1331 LB: 2079770 @ 12.739 13.63 c Restart #23 #Var: 1331 LB: 2079770 @ 13.617 14.43 c Restart #24 #Var: 1331 LB: 2079770 @ 14.418 15.40 c Restart #25 #Var: 1331 LB: 2079770 @ 15.389 16.92 c Restart #26 #Var: 1331 LB: 2079770 @ 16.909 18.67 c Restart #27 #Var: 1331 LB: 2079770 @ 18.651 20.19 c Restart #28 #Var: 1331 LB: 2079770 @ 20.178 22.03 c Restart #29 #Var: 1331 LB: 2079770 @ 22.012 23.76 c Restart #30 #Var: 1331 LB: 2079770 @ 23.748 25.86 c Restart #31 #Var: 1331 LB: 2079770 @ 25.845 27.48 c Restart #32 #Var: 1331 LB: 2079770 @ 27.459 29.23 c Restart #33 #Var: 1331 LB: 2079770 @ 29.212 31.62 c Restart #34 #Var: 1331 LB: 2079770 @ 31.601 33.56 c Restart #35 #Var: 1331 LB: 2079770 @ 33.538 37.18 c Restart #36 #Var: 1331 LB: 2079770 @ 37.159 39.17 c Restart #37 #Var: 1331 LB: 2079770 @ 39.149 42.34 c Restart #38 #Var: 1331 LB: 2079770 @ 42.291 45.74 c Restart #39 #Var: 1331 LB: 2079770 @ 45.686 50.04 c Restart #40 #Var: 1331 LB: 2079770 @ 49.982 52.61 c Restart #41 #Var: 1331 LB: 2079770 @ 52.525 55.00 c Restart #42 #Var: 1331 LB: 2079770 @ 54.914 60.96 c Restart #43 #Var: 1331 LB: 2079770 @ 60.865 63.18 c Restart #44 #Var: 1331 LB: 2079770 @ 63.091 71.12 c Restart #45 #Var: 1331 LB: 2079770 @ 71.024 73.50 c Restart #46 #Var: 1331 LB: 2079770 @ 73.405 77.93 c Restart #47 #Var: 1331 LB: 2079770 @ 77.836 79.39 c Restart #48 #Var: 1331 LB: 2079770 @ 79.292 83.87 c Restart #49 #Var: 1331 LB: 2079770 @ 83.766 95.78 c Restart #50 #Var: 1331 LB: 2079770 @ 95.676 102.33 c Restart #51 #Var: 1331 LB: 2079770 @ 102.22 106.30 c Restart #52 #Var: 1331 LB: 2079770 @ 106.19 109.81 c Restart #53 #Var: 1331 LB: 2079770 @ 109.7 114.95 c Restart #54 #Var: 1331 LB: 2079770 @ 114.84 121.11 c Restart #55 #Var: 1331 LB: 2079770 @ 121 124.94 c Restart #56 #Var: 1331 LB: 2079770 @ 124.83 129.41 c Restart #57 #Var: 1331 LB: 2079770 @ 129.3 140.95 c Restart #58 #Var: 1331 LB: 2079770 @ 140.84 146.47 c Restart #59 #Var: 1331 LB: 2079770 @ 146.36 154.91 c Restart #60 #Var: 1331 LB: 2079770 @ 154.79 167.71 c Restart #61 #Var: 1331 LB: 2079770 @ 167.59 178.34 c Restart #62 #Var: 1331 LB: 2079770 @ 178.22 189.34 c Restart #63 #Var: 1331 LB: 2079770 @ 189.21 198.38 c Restart #64 #Var: 1330 LB: 2079770 @ 198.25 203.10 c Restart #65 #Var: 1330 LB: 2079770 @ 202.97 211.60 c Restart #66 #Var: 1328 LB: 2079770 @ 211.46 218.34 c Restart #67 #Var: 1328 LB: 2079770 @ 218.21 229.22 c Restart #68 #Var: 1328 LB: 2079770 @ 229.08 244.36 c Restart #69 #Var: 1328 LB: 2079770 @ 244.22 273.36 c Restart #70 #Var: 1328 LB: 2079770 @ 273.21 294.90 c Restart #71 #Var: 1328 LB: 2079770 @ 294.74 313.63 c Restart #72 #Var: 1328 LB: 2079770 @ 313.47 338.51 c Restart #73 #Var: 1328 LB: 2079770 @ 338.34 352.94 c Restart #74 #Var: 1328 LB: 2079770 @ 352.76 367.42 c Restart #75 #Var: 1328 LB: 2079770 @ 367.24 388.21 c Restart #76 #Var: 1328 LB: 2079770 @ 388.03 417.96 c Restart #77 #Var: 1328 LB: 2079770 @ 417.77 436.40 c Restart #78 #Var: 1328 LB: 2079770 @ 436.2 448.46 c Restart #79 #Var: 1328 LB: 2079770 @ 448.26 488.40 c Restart #80 #Var: 1328 LB: 2079770 @ 488.19 512.10 c Restart #81 #Var: 1328 LB: 2079770 @ 511.88 531.19 c Restart #82 #Var: 1328 LB: 2079770 @ 530.97 548.51 c Restart #83 #Var: 1328 LB: 2079770 @ 548.29 561.07 c Restart #84 #Var: 1328 LB: 2079770 @ 560.84 564.68 c Restart #85 #Var: 1328 LB: 2079770 @ 564.45 573.62 c Restart #86 #Var: 1328 LB: 2079770 @ 573.39 601.92 c Restart #87 #Var: 1328 LB: 2079770 @ 601.68 621.43 c Restart #88 #Var: 1328 LB: 2079770 @ 621.18 634.09 c Restart #89 #Var: 1328 LB: 2079770 @ 633.84 653.97 c Restart #90 #Var: 1328 LB: 2079770 @ 653.71 701.04 c Restart #91 #Var: 1328 LB: 2079770 @ 700.77 710.13 c Restart #92 #Var: 1328 LB: 2079770 @ 709.86 718.41 c Restart #93 #Var: 1328 LB: 2079770 @ 718.14 897.02 c Restart #94 #Var: 1328 LB: 2079770 @ 896.7 906.05 c Restart #95 #Var: 1328 LB: 2079770 @ 905.72 911.36 c Restart #96 #Var: 1328 LB: 2079770 @ 911.03 957.54 c Restart #97 #Var: 1328 LB: 2079770 @ 957.2 980.92 c Restart #98 #Var: 1328 LB: 2079770 @ 980.58 1057.95 c Restart #99 #Var: 1328 LB: 2079770 @ 1057.6 1084.54 c Restart #100 #Var: 1328 LB: 2079770 @ 1084.2 1107.88 c Restart #101 #Var: 1328 LB: 2079770 @ 1107.5 1116.14 c Restart #102 #Var: 1328 LB: 2079770 @ 1115.8 1161.74 c Restart #103 #Var: 1328 LB: 2079770 @ 1161.3 1229.49 c Restart #104 #Var: 1328 LB: 2079770 @ 1229.1 1284.67 c Restart #105 #Var: 1328 LB: 2079770 @ 1284.2 1422.80 c Restart #106 #Var: 1328 LB: 2079770 @ 1422.3 1460.94 c Restart #107 #Var: 1328 LB: 2079770 @ 1460.5 1475.41 c Restart #108 #Var: 1328 LB: 2079770 @ 1474.9 1667.01 c Restart #109 #Var: 1328 LB: 2079770 @ 1666.5 1729.41 c Restart #110 #Var: 1328 LB: 2079770 @ 1728.9 1789.96 c Restart #111 #Var: 1328 LB: 2079770 @ 1789.4 1800.57 s SATISFIABLE 1800.57 c Cost: 2038953869794974 1800.57 v -x977 -x984 x985 -x986 x987 -x988 x989 -x990 -x978 -x979 -x980 -x981 -x982 -x983 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 1800.57 v -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1607 -x1608 -x1609 x1610 -x1611 -x1612 -x1613 -x1614 -x1615 1800.57 v -x1616 -x1617 -x1618 -x1619 -x1620 x1621 x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 1800.57 v -x1634 -x1635 -x1636 -x1637 x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 x1649 x1650 -x1651 1800.57 v -x1652 x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 1800.57 v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 x1681 -x1682 -x1683 -x1684 -x1685 1800.57 v -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 x1693 x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 1800.57 v -x1704 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 1800.57 v -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 1800.57 v -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 1800.57 v -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 1800.57 v -x1418 -x1419 -x1420 -x1463 -x1464 -x1465 -x1466 x1467 x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 1800.57 v -x1478 x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 x1494 x1495 1800.57 v x1496 x1497 x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 1800.57 v -x1514 -x1515 -x1516 -x1517 x1518 -x1519 -x1520 x1521 x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 x1530 -x1531 1800.57 v -x1532 -x1421 -x1422 x1423 x1424 x1425 -x1426 x1427 -x1428 -x1429 x1430 x1431 x1432 -x1433 x1434 -x1435 -x1436 -x1437 -x1438 1800.57 v x1439 x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 x1447 x1448 -x1449 -x1450 -x1451 -x1452 -x1453 x1454 -x1455 -x1456 1800.57 v -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 x1 x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 1800.57 v -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 1800.57 v x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 1800.57 v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 1800.57 v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 1800.57 v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 1800.57 v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 1800.57 v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 1800.57 v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 x395 -x396 -x397 -x398 -x399 -x400 1800.57 v -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 1800.57 v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 1800.57 v -x443 x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 1800.57 v -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x31 -x32 x33 -x34 x35 1800.57 v -x36 -x37 x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 1800.57 v x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 1800.57 v -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 x109 -x110 -x111 x112 1800.57 v -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 1800.57 v -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 1800.57 v -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 1800.57 v -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 x194 x195 x196 1800.57 v -x197 x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 1800.57 v -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 1800.57 v -x239 -x240 x481 x482 x483 x484 x485 x486 x487 x488 x489 x490 x491 -x492 -x493 -x494 -x495 x496 x497 x498 x499 -x500 -x501 -x502 1800.57 v -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 1800.57 v -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 1800.57 v -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 x763 -x764 x765 x766 x767 x768 x769 x770 -x771 -x772 -x773 -x774 -x775 -x776 1800.57 v -x777 -x778 -x779 -x780 x781 x782 x783 x784 x785 x786 x787 x788 x789 x790 x791 x792 x793 x794 x795 x796 -x797 x798 x799 -x800 1800.57 v -x801 x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 1800.57 v -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 1800.57 v -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 x859 -x860 -x861 -x862 -x863 1800.57 v -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 1800.57 v -x885 x886 x887 -x888 -x889 x890 x891 x892 x893 -x894 x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 1800.57 v -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 1800.57 v -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 1800.57 v -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 1800.57 v -x520 -x521 -x522 -x523 -x524 -x525 -x526 x527 x528 -x529 -x530 x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 1800.57 v -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 x561 1800.57 v x562 x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 1800.57 v -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 1800.57 v -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 -x622 x623 -x624 1800.57 v -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 1800.57 v -x646 -x647 -x648 -x649 -x650 -x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 1800.57 v -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 1800.57 v -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 1800.57 v -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x961 x969 -x962 -x963 -x964 x965 x966 -x967 -x968 1800.57 v x970 x971 x972 -x973 x974 x975 x976 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 1800.57 v -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 1800.57 v x1022 -x1023 -x1024 -x1025 -x1026 -x1027 x1028 -x1029 -x1030 -x1031 -x1032 x1033 x1034 x1035 -x1036 -x1037 x1038 -x1039 1800.57 v -x1040 -x1041 x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1051 x1052 x1053 -x1054 -x1055 -x1056 -x1057 1800.57 v x1058 x1059 x1060 -x1061 -x1062 x1063 -x1064 -x1065 -x1066 -x1067 x1068 -x1069 -x1070 -x1071 x1072 -x1073 -x1074 -x1075 1800.57 v -x1076 -x1077 -x1078 -x1079 -x1080 x1081 x1082 x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x1090 x1091 x1092 -x1093 1800.57 v -x1094 -x1095 -x1096 x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 1800.57 v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 1800.57 v x1129 -x1130 -x1131 x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 1800.57 v -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 x1159 x1160 -x1161 -x1162 -x1163 -x1164 1800.57 v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 1800.57 v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 1800.57 v -x1199 -x1200 x1201 x1202 x1203 x1204 -x1205 -x1206 -x1207 x1208 x1209 x1210 -x1211 x1212 x1213 x1214 x1215 x1216 x1217 1800.57 v -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 1800.57 v -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 x1250 x1251 -x1252 1800.57 v -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 x1262 x1263 x1264 x1265 x1266 x1267 x1268 x1269 x1270 x1271 1800.57 v x1272 x1273 x1274 x1275 x1276 x1277 -x1278 x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 1800.57 v -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 x1305 -x1306 1800.57 v x1307 x1308 x1309 -x1310 x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 1800.57 v -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 x1335 -x1336 x1337 -x1338 -x1339 -x1340 -x1341 -x1342 1800.57 v -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 1800.57 v -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 x1369 x1370 -x1371 x1372 -x1373 -x1374 x1375 -x1376 -x1377 1800.57 v -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 1800.57 v -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 x1401 x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 1800.57 c Exit Code: 10 1800.57 c Total time: 1800 s
OK 2038953869794974
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/node4/watcher-40727-1149314423 -o ROOT/results/node4/solver-40727-1149314423 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node4/40727-1149314423/instance-40727-1149314423.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.98 0.99 2/64 9903 /proc/meminfo: memFree=1720424/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=4924 CPUtime=0 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 262 0 0 0 0 0 0 0 18 0 1 0 197104197 5042176 232 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134559382 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 1231 242 155 55 0 123 0 [startup+10.002 s] /proc/loadavg: 0.93 0.98 0.99 2/64 9903 /proc/meminfo: memFree=1660584/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=64212 CPUtime=9.98 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 15328 0 0 0 974 24 0 0 25 0 1 0 197104197 65753088 15239 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632657 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 16053 15239 299 55 0 14945 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 64212 [startup+20.0079 s] /proc/loadavg: 0.94 0.98 0.99 2/64 9903 /proc/meminfo: memFree=1588456/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=136232 CPUtime=19.98 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 33525 0 0 0 1958 40 0 0 25 0 1 0 197104197 139501568 33232 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 34058 33232 299 55 0 32950 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 136232 [startup+30.0139 s] /proc/loadavg: 0.95 0.98 0.99 2/64 9903 /proc/meminfo: memFree=1549352/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=175292 CPUtime=29.99 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 43275 0 0 0 2951 48 0 0 25 0 1 0 197104197 179499008 42982 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 43823 42982 299 55 0 42715 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 175292 [startup+40.0199 s] /proc/loadavg: 0.95 0.98 0.99 2/70 9926 /proc/meminfo: memFree=1503480/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=219780 CPUtime=39.98 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 54417 0 0 0 3941 57 0 0 25 0 1 0 197104197 225054720 54124 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604115 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 54945 54124 299 55 0 53837 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 219780 [startup+50.0268 s] /proc/loadavg: 0.96 0.98 0.99 2/70 9974 /proc/meminfo: memFree=1476088/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=246952 CPUtime=49.95 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 61211 0 0 0 4930 65 0 0 25 0 1 0 197104197 252878848 60918 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 61738 60918 299 55 0 60630 0 Current children cumulated CPU time (s) 49.95 Current children cumulated vsize (Kb) 246952 [startup+60.0338 s] /proc/loadavg: 0.97 0.98 0.99 2/64 10098 /proc/meminfo: memFree=1441384/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=282640 CPUtime=59.94 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 70423 0 0 0 5919 75 0 0 25 0 1 0 197104197 289423360 69824 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134606453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 70660 69824 299 55 0 69552 0 Current children cumulated CPU time (s) 59.94 Current children cumulated vsize (Kb) 282640 [startup+70.0397 s] /proc/loadavg: 0.97 0.98 0.99 2/64 10098 /proc/meminfo: memFree=1429416/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=294756 CPUtime=69.93 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 73446 0 0 0 6914 79 0 0 25 0 1 0 197104197 301830144 72847 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 73689 72847 299 55 0 72581 0 Current children cumulated CPU time (s) 69.93 Current children cumulated vsize (Kb) 294756 [startup+80.0457 s] /proc/loadavg: 0.98 0.98 0.99 2/64 10098 /proc/meminfo: memFree=1374696/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=349468 CPUtime=79.93 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 87103 0 0 0 7905 88 0 0 25 0 1 0 197104197 357855232 86503 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 87367 86503 299 55 0 86259 0 Current children cumulated CPU time (s) 79.93 Current children cumulated vsize (Kb) 349468 [startup+90.0517 s] /proc/loadavg: 0.98 0.98 0.99 2/64 10098 /proc/meminfo: memFree=1361192/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=362928 CPUtime=89.94 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 90474 0 0 0 8903 91 0 0 25 0 1 0 197104197 371638272 89874 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 90732 89874 299 55 0 89624 0 Current children cumulated CPU time (s) 89.94 Current children cumulated vsize (Kb) 362928 [startup+100.058 s] /proc/loadavg: 0.98 0.98 0.99 2/64 10098 /proc/meminfo: memFree=1349416/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=374676 CPUtime=99.94 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 93406 0 0 0 9899 95 0 0 25 0 1 0 197104197 383668224 92806 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 93669 92806 299 55 0 92561 0 Current children cumulated CPU time (s) 99.94 Current children cumulated vsize (Kb) 374676 [startup+110.064 s] /proc/loadavg: 0.98 0.98 0.99 2/64 10098 /proc/meminfo: memFree=1301160/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=422892 CPUtime=109.95 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 105439 0 0 0 10891 104 0 0 25 0 1 0 197104197 433041408 104839 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 105723 104839 299 55 0 104615 0 Current children cumulated CPU time (s) 109.95 Current children cumulated vsize (Kb) 422892 [startup+120.071 s] /proc/loadavg: 0.99 0.98 0.99 2/64 10098 /proc/meminfo: memFree=1291368/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=432620 CPUtime=119.95 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 107881 0 0 0 11889 106 0 0 25 0 1 0 197104197 443002880 107281 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533910 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 108155 107281 299 55 0 107047 0 Current children cumulated CPU time (s) 119.95 Current children cumulated vsize (Kb) 432620 [startup+130.077 s] /proc/loadavg: 0.99 0.98 0.99 2/64 10098 /proc/meminfo: memFree=1263272/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=460848 CPUtime=129.96 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 114924 0 0 0 12883 113 0 0 25 0 1 0 197104197 471908352 114321 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 115212 114321 299 55 0 114104 0 Current children cumulated CPU time (s) 129.96 Current children cumulated vsize (Kb) 460848 [startup+140.083 s] /proc/loadavg: 0.99 0.98 0.99 2/64 10098 /proc/meminfo: memFree=1247336/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=476688 CPUtime=139.96 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 118879 0 0 0 13880 116 0 0 25 0 1 0 197104197 488128512 118276 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 119172 118276 299 55 0 118064 0 Current children cumulated CPU time (s) 139.96 Current children cumulated vsize (Kb) 476688 [startup+150.088 s] /proc/loadavg: 0.99 0.98 0.99 2/64 10098 /proc/meminfo: memFree=1223592/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=500312 CPUtime=149.96 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 124795 0 0 0 14875 121 0 0 25 0 1 0 197104197 512319488 124192 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 125078 124192 299 55 0 123970 0 Current children cumulated CPU time (s) 149.96 Current children cumulated vsize (Kb) 500312 [startup+160.094 s] /proc/loadavg: 0.99 0.98 0.99 2/64 10098 /proc/meminfo: memFree=1199592/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=524336 CPUtime=159.96 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 130775 0 0 0 15871 125 0 0 25 0 1 0 197104197 536920064 130172 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 131084 130172 299 55 0 129976 0 Current children cumulated CPU time (s) 159.96 Current children cumulated vsize (Kb) 524336 [startup+170.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 10098 /proc/meminfo: memFree=1188648/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=535180 CPUtime=169.97 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 133510 0 0 0 16869 128 0 0 25 0 1 0 197104197 548024320 132907 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 133795 132907 299 55 0 132687 0 Current children cumulated CPU time (s) 169.97 Current children cumulated vsize (Kb) 535180 [startup+180.106 s] /proc/loadavg: 0.99 0.98 0.99 2/64 10098 /proc/meminfo: memFree=1178600/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=545208 CPUtime=179.97 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 136014 0 0 0 17867 130 0 0 25 0 1 0 197104197 558292992 135411 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 136302 135411 299 55 0 135194 0 Current children cumulated CPU time (s) 179.97 Current children cumulated vsize (Kb) 545208 [startup+190.112 s] /proc/loadavg: 0.99 0.98 0.99 2/64 10098 /proc/meminfo: memFree=1177256/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=546660 CPUtime=189.97 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 136353 0 0 0 18866 131 0 0 25 0 1 0 197104197 559779840 135750 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 136665 135750 299 55 0 135557 0 Current children cumulated CPU time (s) 189.97 Current children cumulated vsize (Kb) 546660 [startup+200.118 s] /proc/loadavg: 0.99 0.98 0.99 2/64 10098 /proc/meminfo: memFree=1156520/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=567424 CPUtime=199.97 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 142142 0 0 0 19860 137 0 0 25 0 1 0 197104197 581042176 140927 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 141856 140927 299 55 0 140748 0 Current children cumulated CPU time (s) 199.97 Current children cumulated vsize (Kb) 567424 [startup+210.124 s] /proc/loadavg: 0.99 0.98 0.99 2/64 10098 /proc/meminfo: memFree=1137064/2055920 swapFree=4181448/4192956 ################ # More data... # ################ /proc/9903/statm: 363661 362103 299 55 0 362553 0 Current children cumulated CPU time (s) 1760.48 Current children cumulated vsize (Kb) 1454644 [startup+1771.05 s] /proc/loadavg: 0.99 0.98 0.99 2/64 10098 /proc/meminfo: memFree=269864/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=1454732 CPUtime=1770.48 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 364620 0 0 0 176625 423 0 0 25 0 1 0 197104197 1489645568 362126 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 363683 362126 299 55 0 362575 0 Current children cumulated CPU time (s) 1770.48 Current children cumulated vsize (Kb) 1454732 [startup+1781.05 s] /proc/loadavg: 0.99 0.98 0.99 2/64 10098 /proc/meminfo: memFree=269672/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=1454864 CPUtime=1780.48 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 364652 0 0 0 177625 423 0 0 25 0 1 0 197104197 1489780736 362158 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 363716 362158 299 55 0 362608 0 Current children cumulated CPU time (s) 1780.48 Current children cumulated vsize (Kb) 1454864 [startup+1782.06 s] /proc/loadavg: 0.99 0.98 0.99 2/64 10098 /proc/meminfo: memFree=269672/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=1454864 CPUtime=1781.49 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 364652 0 0 0 177726 423 0 0 25 0 1 0 197104197 1489780736 362158 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 363716 362158 299 55 0 362608 0 Current children cumulated CPU time (s) 1781.49 Current children cumulated vsize (Kb) 1454864 [startup+1783.06 s] /proc/loadavg: 0.99 0.98 0.99 2/64 10098 /proc/meminfo: memFree=269672/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=1454864 CPUtime=1782.49 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 364652 0 0 0 177826 423 0 0 25 0 1 0 197104197 1489780736 362158 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 363716 362158 299 55 0 362608 0 Current children cumulated CPU time (s) 1782.49 Current children cumulated vsize (Kb) 1454864 [startup+1784.07 s] /proc/loadavg: 0.99 0.98 0.99 2/64 10098 /proc/meminfo: memFree=269672/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=1454864 CPUtime=1783.5 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 364659 0 0 0 177927 423 0 0 25 0 1 0 197104197 1489780736 362165 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 363716 362165 299 55 0 362608 0 Current children cumulated CPU time (s) 1783.5 Current children cumulated vsize (Kb) 1454864 [startup+1785.07 s] /proc/loadavg: 0.99 0.98 0.99 2/64 10098 /proc/meminfo: memFree=269608/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=1454996 CPUtime=1784.5 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 364666 0 0 0 178027 423 0 0 25 0 1 0 197104197 1489915904 362172 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 363749 362172 299 55 0 362641 0 Current children cumulated CPU time (s) 1784.5 Current children cumulated vsize (Kb) 1454996 [startup+1786.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 10098 /proc/meminfo: memFree=269608/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=1454996 CPUtime=1785.51 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 364667 0 0 0 178128 423 0 0 25 0 1 0 197104197 1489915904 362173 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 363749 362173 299 55 0 362641 0 Current children cumulated CPU time (s) 1785.51 Current children cumulated vsize (Kb) 1454996 [startup+1787.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 10098 /proc/meminfo: memFree=269608/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=1454996 CPUtime=1786.51 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 364672 0 0 0 178228 423 0 0 25 0 1 0 197104197 1489915904 362178 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 363749 362178 299 55 0 362641 0 Current children cumulated CPU time (s) 1786.51 Current children cumulated vsize (Kb) 1454996 [startup+1788.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 10098 /proc/meminfo: memFree=269608/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=1454996 CPUtime=1787.51 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 364672 0 0 0 178328 423 0 0 25 0 1 0 197104197 1489915904 362178 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 363749 362178 299 55 0 362641 0 Current children cumulated CPU time (s) 1787.51 Current children cumulated vsize (Kb) 1454996 [startup+1789.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 10098 /proc/meminfo: memFree=269608/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=1454996 CPUtime=1788.52 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 364672 0 0 0 178429 423 0 0 25 0 1 0 197104197 1489915904 362178 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 363749 362178 299 55 0 362641 0 Current children cumulated CPU time (s) 1788.52 Current children cumulated vsize (Kb) 1454996 [startup+1790.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 10098 /proc/meminfo: memFree=269608/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=1454996 CPUtime=1789.52 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 364680 0 0 0 178529 423 0 0 25 0 1 0 197104197 1489915904 362186 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 363749 362186 299 55 0 362641 0 Current children cumulated CPU time (s) 1789.52 Current children cumulated vsize (Kb) 1454996 [startup+1791.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 10098 /proc/meminfo: memFree=269608/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=1454996 CPUtime=1790.53 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 364680 0 0 0 178630 423 0 0 25 0 1 0 197104197 1489915904 362186 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 363749 362186 299 55 0 362641 0 Current children cumulated CPU time (s) 1790.53 Current children cumulated vsize (Kb) 1454996 [startup+1792.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 10098 /proc/meminfo: memFree=269608/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=1454996 CPUtime=1791.53 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 364681 0 0 0 178730 423 0 0 25 0 1 0 197104197 1489915904 362187 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 363749 362187 299 55 0 362641 0 Current children cumulated CPU time (s) 1791.53 Current children cumulated vsize (Kb) 1454996 [startup+1793.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 10098 /proc/meminfo: memFree=269416/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=1455128 CPUtime=1792.54 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 364717 0 0 0 178831 423 0 0 25 0 1 0 197104197 1490051072 362223 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 363782 362223 299 55 0 362674 0 Current children cumulated CPU time (s) 1792.54 Current children cumulated vsize (Kb) 1455128 [startup+1794.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 10098 /proc/meminfo: memFree=269224/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=1455260 CPUtime=1793.54 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 364765 0 0 0 178931 423 0 0 25 0 1 0 197104197 1490186240 362271 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 363815 362271 299 55 0 362707 0 Current children cumulated CPU time (s) 1793.54 Current children cumulated vsize (Kb) 1455260 [startup+1795.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 10098 /proc/meminfo: memFree=269032/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=1455520 CPUtime=1794.54 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 364812 0 0 0 179031 423 0 0 25 0 1 0 197104197 1490452480 362318 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 363880 362318 299 55 0 362772 0 Current children cumulated CPU time (s) 1794.54 Current children cumulated vsize (Kb) 1455520 [startup+1796.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 10098 /proc/meminfo: memFree=268776/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=1455784 CPUtime=1795.55 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 364883 0 0 0 179132 423 0 0 25 0 1 0 197104197 1490722816 362389 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 363946 362389 299 55 0 362838 0 Current children cumulated CPU time (s) 1795.55 Current children cumulated vsize (Kb) 1455784 [startup+1797.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 10098 /proc/meminfo: memFree=268520/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=1455916 CPUtime=1796.56 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 364934 0 0 0 179232 424 0 0 25 0 1 0 197104197 1490857984 362440 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 363979 362440 299 55 0 362871 0 Current children cumulated CPU time (s) 1796.56 Current children cumulated vsize (Kb) 1455916 [startup+1798.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 10098 /proc/meminfo: memFree=263592/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=1460936 CPUtime=1797.56 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 366179 0 0 0 179331 425 0 0 25 0 1 0 197104197 1495998464 363684 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 365234 363684 299 55 0 364126 0 Current children cumulated CPU time (s) 1797.56 Current children cumulated vsize (Kb) 1460936 [startup+1799.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 10098 /proc/meminfo: memFree=257512/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=1467008 CPUtime=1798.57 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 367697 0 0 0 179431 426 0 0 25 0 1 0 197104197 1502216192 365202 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 366752 365202 299 55 0 365644 0 Current children cumulated CPU time (s) 1798.57 Current children cumulated vsize (Kb) 1467008 [startup+1800.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 10098 /proc/meminfo: memFree=252072/2055920 swapFree=4181448/4192956 [pid=9903] ppid=9901 vsize=1472416 CPUtime=1799.57 /proc/9903/stat : 9903 (bsolo) R 9901 9903 9857 0 -1 0 369045 0 0 0 179530 427 0 0 25 0 1 0 197104197 1507753984 366550 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9903/statm: 368104 366550 299 55 0 366996 0 Current children cumulated CPU time (s) 1799.57 Current children cumulated vsize (Kb) 1472416 Child status: 10 Real time (s): 1800.8 CPU time (s): 1800.23 CPU user time (s): 1795.73 CPU system time (s): 4.49832 CPU usage (%): 99.9682 Max. virtual memory (cumulated for all children) (Kb): 1472416
Begin job on node4 on Sat Jun 3 06:00:23 UTC 2006 FILE ID= 40727-1149314423 PBS_JOBID= 308223 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell5.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node4/40727-1149314423/instance-40727-1149314423.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-40727-1149314423 -o ROOT/results/node4/solver-40727-1149314423 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node4/40727-1149314423/instance-40727-1149314423.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= da0fa1480f123e186307c547a0028656 RANDOM SEED= 162431116 /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.236 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.236 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: 1720696 kB Buffers: 25324 kB Cached: 249872 kB SwapCached: 3264 kB Active: 54868 kB Inactive: 229104 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1720696 kB SwapTotal: 4192956 kB SwapFree: 4181448 kB Dirty: 160 kB Writeback: 0 kB Mapped: 14816 kB Slab: 37272 kB Committed_AS: 299356 kB PageTables: 1500 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node4 on Sat Jun 3 06:30:24 UTC 2006