Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 79290 | 1800.06 | 1800.6 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-data10_3.opb |
MD5SUM | dccfffd22c38fcd3c497d688dab4b7a4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 79290 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 79290 |
Optimality of the best value was proved | NO |
Number of variables | 2700 |
Total number of constraints | 42620 |
Number of constraints which are clauses | 20220 |
Number of constraints which are cardinality constraints (but not clauses) | 800 |
Number of constraints which are nor clauses,nor cardinality constraints | 21600 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 36 |
Number of terms in the objective function | 900 |
Biggest coefficient in the objective function | 1380 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 559660 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1380 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 559660 |
Number of bits of the biggest sum of numbers | 20 |
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. 1.52 c Initial problem consists of 2700 variables and 43070 constraints. 2.15 c No problem reductions applied in OPT. instance. 2.15 c preprocess terminated. Elapsed time: 2.138 2.15 c After prepocess the problem consists of 2700 variables and 43070 constraints. 2.15 c Initial Lower Bound: 0 3.80 c Restart #1 #Var: 2700 LB: 0 @ 3.79 6.92 c Restart #2 #Var: 2700 LB: 0 @ 6.904 9.84 c Restart #3 #Var: 2700 LB: 0 @ 9.831 13.16 c Restart #4 #Var: 2700 LB: 0 @ 13.143 15.30 c Restart #5 #Var: 2700 LB: 0 @ 15.281 17.40 c Restart #6 #Var: 2700 LB: 0 @ 17.38 19.90 c Sol. found (all assignments made)... 19.90 o 91303 19.90 c NEW SOLUTION FOUND: 91303 @ 19.879 19.90 c Sol. found (all assignments made)... 19.90 o 91143 19.90 c NEW SOLUTION FOUND: 91143 @ 19.88 19.90 c Sol. found (all assignments made)... 19.90 c Sol. found (all assignments made)... 19.90 c Sol. found (all assignments made)... 19.90 c Sol. found (all assignments made)... 19.91 c Sol. found (all assignments made)... 19.91 c Sol. found (all assignments made)... 19.91 c Sol. found (all assignments made)... 19.92 c Sol. found (all assignments made)... 20.25 c Sol. found (all assignments made)... 20.26 c Sol. found (all assignments made)... 20.26 c Sol. found (all assignments made)... 20.26 c Sol. found (all assignments made)... 20.26 c Sol. found (all assignments made)... 20.26 c Sol. found (all assignments made)... 20.26 c Sol. found (all assignments made)... 20.26 c Sol. found (all assignments made)... 20.31 c Sol. found (all assignments made)... 20.31 c Sol. found (all assignments made)... 20.31 c Sol. found (all assignments made)... 20.31 c Sol. found (all assignments made)... 20.41 c Sol. found (all assignments made)... 20.41 o 89502 20.41 c NEW SOLUTION FOUND: 89502 @ 20.391 20.41 c Sol. found (all assignments made)... 20.49 c Sol. found (all assignments made)... 20.49 c Sol. found (all assignments made)... 20.50 c Sol. found (all assignments made)... 20.50 c Sol. found (all assignments made)... 22.21 c Restart #7 #Var: 2700 LB: 0 @ 22.188 23.20 c Sol. found (all assignments made)... 23.20 c Sol. found (all assignments made)... 23.20 c Sol. found (all assignments made)... 23.20 o 89253 23.20 c NEW SOLUTION FOUND: 89253 @ 23.184 23.21 c Sol. found (all assignments made)... 23.21 c Sol. found (all assignments made)... 23.21 c Sol. found (all assignments made)... 23.21 o 88184 23.21 c NEW SOLUTION FOUND: 88184 @ 23.188 23.32 c Sol. found (all assignments made)... 23.32 o 87205 23.32 c NEW SOLUTION FOUND: 87205 @ 23.303 23.33 c Sol. found (all assignments made)... 23.35 c Sol. found (all assignments made)... 23.35 o 85310 23.35 c NEW SOLUTION FOUND: 85310 @ 23.332 23.39 c Sol. found (all assignments made)... 23.39 c Sol. found (all assignments made)... 23.39 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.42 c Sol. found (all assignments made)... 23.42 c Sol. found (all assignments made)... 23.48 c Sol. found (all assignments made)... 23.49 c Sol. found (all assignments made)... 23.51 c Sol. found (all assignments made)... 24.84 c Sol. found (all assignments made)... 24.84 c Sol. found (all assignments made)... 24.85 c Sol. found (all assignments made)... 24.85 c Sol. found (all assignments made)... 25.05 c Sol. found (all assignments made)... 25.05 c Sol. found (all assignments made)... 25.14 c Sol. found (all assignments made)... 25.14 c Sol. found (all assignments made)... 25.14 c Sol. found (all assignments made)... 25.14 c Sol. found (all assignments made)... 25.16 c Sol. found (all assignments made)... 25.16 c Sol. found (all assignments made)... 25.16 c Sol. found (all assignments made)... 25.16 c Sol. found (all assignments made)... 25.17 c Sol. found (all assignments made)... 25.17 c Sol. found (all assignments made)... 25.17 c Sol. found (all assignments made)... 25.17 c Sol. found (all assignments made)... 25.18 c Sol. found (all assignments made)... 25.18 c Sol. found (all assignments made)... 25.18 c Sol. found (all assignments made)... 25.18 c Sol. found (all assignments made)... 25.18 c Sol. found (all assignments made)... 25.18 c Sol. found (all assignments made)... 25.18 c Sol. found (all assignments made)... 25.18 c Sol. found (all assignments made)... 25.18 c Sol. found (all assignments made)... 25.18 c Sol. found (all assignments made)... 25.18 c Sol. found (all assignments made)... 25.18 c Sol. found (all assignments made)... 25.22 c Sol. found (all assignments made)... 25.22 c Sol. found (all assignments made)... 25.22 c Sol. found (all assignments made)... 25.22 c Sol. found (all assignments made)... 25.22 c Sol. found (all assignments made)... 25.23 c Sol. found (all assignments made)... 25.23 c Sol. found (all assignments made)... 25.23 c Sol. found (all assignments made)... 25.77 c Sol. found (all assignments made)... 25.77 c Sol. found (all assignments made)... 25.77 c Sol. found (all assignments made)... 25.78 c Sol. found (all assignments made)... 25.78 c Sol. found (all assignments made)... 25.78 c Sol. found (all assignments made)... 25.78 c Sol. found (all assignments made)... 25.79 c Sol. found (all assignments made)... 25.79 c Sol. found (all assignments made)... 25.79 c Sol. found (all assignments made)... 25.80 c Sol. found (all assignments made)... 25.80 c Sol. found (all assignments made)... 25.80 c Sol. found (all assignments made)... 25.80 c Sol. found (all assignments made)... 25.81 c Sol. found (all assignments made)... 25.81 c Sol. found (all assignments made)... 25.81 c Sol. found (all assignments made)... 25.81 c Sol. found (all assignments made)... 25.81 c Sol. found (all assignments made)... 25.99 c Restart #8 #Var: 2700 LB: 0 @ 25.968 34.01 c Restart #9 #Var: 2700 LB: 0 @ 33.993 34.75 c Sol. found (all assignments made)... 34.76 c Sol. found (all assignments made)... 34.76 c Sol. found (all assignments made)... 34.76 c Sol. found (all assignments made)... 34.81 c Sol. found (all assignments made)... 34.82 c Sol. found (all assignments made)... 34.83 c Sol. found (all assignments made)... 34.84 c Sol. found (all assignments made)... 34.89 c Sol. found (all assignments made)... 34.90 c Sol. found (all assignments made)... 34.90 c Sol. found (all assignments made)... 34.95 c Sol. found (all assignments made)... 34.95 c Sol. found (all assignments made)... 35.05 c Sol. found (all assignments made)... 36.71 c Restart #10 #Var: 2700 LB: 0 @ 36.684 42.32 c Restart #11 #Var: 2700 LB: 0 @ 42.298 43.37 c Sol. found (all assignments made)... 43.37 c Sol. found (all assignments made)... 43.37 c Sol. found (all assignments made)... 43.37 c Sol. found (all assignments made)... 43.37 c Sol. found (all assignments made)... 43.39 c Sol. found (all assignments made)... 43.39 c Sol. found (all assignments made)... 43.39 c Sol. found (all assignments made)... 43.39 c Sol. found (all assignments made)... 43.39 c Sol. found (all assignments made)... 43.40 c Sol. found (all assignments made)... 43.40 c Sol. found (all assignments made)... 43.40 c Sol. found (all assignments made)... 43.40 c Sol. found (all assignments made)... 43.56 c Sol. found (all assignments made)... 43.56 c Sol. found (all assignments made)... 43.57 c Sol. found (all assignments made)... 43.57 c Sol. found (all assignments made)... 43.57 c Sol. found (all assignments made)... 43.57 c Sol. found (all assignments made)... 43.57 c Sol. found (all assignments made)... 43.57 c Sol. found (all assignments made)... 43.57 c Sol. found (all assignments made)... 43.57 c Sol. found (all assignments made)... 43.64 c Sol. found (all assignments made)... 43.64 c Sol. found (all assignments made)... 43.64 c Sol. found (all assignments made)... 43.64 c Sol. found (all assignments made)... 43.64 c Sol. found (all assignments made)... 43.64 c Sol. found (all assignments made)... 43.64 c Sol. found (all assignments made)... 43.64 c Sol. found (all assignments made)... 43.73 c Sol. found (all assignments made)... 43.73 c Sol. found (all assignments made)... 43.73 c Sol. found (all assignments made)... 43.74 c Sol. found (all assignments made)... 43.74 c Sol. found (all assignments made)... 43.74 c Sol. found (all assignments made)... 46.83 c Sol. found (all assignments made)... 46.84 c Sol. found (all assignments made)... 46.84 c Sol. found (all assignments made)... 245.98 c CHANGE to MIS mode... UB: 85310 MIS: 0 LPR: 40264 (49.71) Diff: 0 245.98 c Restart #0 #Var: 2700 LB: 0 @ 245.9 247.05 c Restart #1 #Var: 2700 LB: 22324 @ 246.98 248.73 c Restart #2 #Var: 2700 LB: 0 @ 248.65 250.13 c Restart #3 #Var: 2700 LB: 0 @ 250.06 252.73 c Restart #4 #Var: 2700 LB: 0 @ 252.66 254.53 c Sol. found (all assignments made)... 254.62 c Sol. found (all assignments made)... 254.77 c Sol. found (all assignments made)... 254.77 c Sol. found (all assignments made)... 254.78 c Sol. found (all assignments made)... 254.79 c Sol. found (all assignments made)... 254.79 c Sol. found (all assignments made)... 255.09 c Sol. found (all assignments made)... 255.09 c Sol. found (all assignments made)... 255.09 c Sol. found (all assignments made)... 255.10 c Sol. found (all assignments made)... 255.10 c Sol. found (all assignments made)... 255.10 c Sol. found (all assignments made)... 255.10 c Sol. found (all assignments made)... 255.17 c Sol. found (all assignments made)... 255.17 c Sol. found (all assignments made)... 255.81 c Restart #5 #Var: 2700 LB: 0 @ 255.74 266.20 c Restart #6 #Var: 2700 LB: 0 @ 266.12 269.41 c Sol. found (all assignments made)... 269.63 c Sol. found (all assignments made)... 269.63 c Sol. found (all assignments made)... 269.63 c Sol. found (all assignments made)... 270.48 c Sol. found (all assignments made)... 270.49 c Sol. found (all assignments made)... 270.50 c Sol. found (all assignments made)... 270.74 c Sol. found (all assignments made)... 270.83 c Sol. found (all assignments made)... 270.83 c Sol. found (all assignments made)... 270.92 c Sol. found (all assignments made)... 271.14 c Restart #7 #Var: 2700 LB: 0 @ 271.06 277.09 c Sol. found (all assignments made)... 277.23 c Sol. found (all assignments made)... 277.23 c Sol. found (all assignments made)... 277.91 c Sol. found (all assignments made)... 277.91 c Sol. found (all assignments made)... 277.93 c Sol. found (all assignments made)... 277.93 c Sol. found (all assignments made)... 278.15 c Restart #8 #Var: 2700 LB: 0 @ 278.07 285.04 c Sol. found (all assignments made)... 285.41 c Sol. found (all assignments made)... 285.42 c Sol. found (all assignments made)... 285.42 c Sol. found (all assignments made)... 285.42 c Sol. found (all assignments made)... 285.42 o 84710 285.42 c NEW SOLUTION FOUND: 84710 @ 285.34 285.42 c Sol. found (all assignments made)... 285.43 c Sol. found (all assignments made)... 285.43 c Sol. found (all assignments made)... 285.44 c Sol. found (all assignments made)... 285.45 c Sol. found (all assignments made)... 285.45 c Sol. found (all assignments made)... 285.45 c Sol. found (all assignments made)... 285.59 c Sol. found (all assignments made)... 285.61 c Sol. found (all assignments made)... 285.61 c Sol. found (all assignments made)... 285.61 c Sol. found (all assignments made)... 285.83 c Sol. found (all assignments made)... 285.84 c Sol. found (all assignments made)... 285.84 c Sol. found (all assignments made)... 286.03 c Sol. found (all assignments made)... 286.03 c Sol. found (all assignments made)... 286.03 c Sol. found (all assignments made)... 286.03 c Sol. found (all assignments made)... 286.03 c Sol. found (all assignments made)... 286.03 c Sol. found (all assignments made)... 286.49 c Sol. found (all assignments made)... 286.64 c Sol. found (all assignments made)... 286.64 c Sol. found (all assignments made)... 286.65 c Sol. found (all assignments made)... 286.82 c Sol. found (all assignments made)... 286.82 c Sol. found (all assignments made)... 286.82 c Sol. found (all assignments made)... 286.82 c Sol. found (all assignments made)... 286.82 c Sol. found (all assignments made)... 286.82 c Sol. found (all assignments made)... 286.83 c Sol. found (all assignments made)... 286.83 c Sol. found (all assignments made)... 287.54 c Sol. found (all assignments made)... 287.54 c Sol. found (all assignments made)... 287.55 c Sol. found (all assignments made)... 287.59 c Sol. found (all assignments made)... 287.59 c Sol. found (all assignments made)... 287.59 c Sol. found (all assignments made)... 287.60 c Sol. found (all assignments made)... 287.60 c Sol. found (all assignments made)... 287.60 c Sol. found (all assignments made)... 287.60 c Sol. found (all assignments made)... 287.62 c Sol. found (all assignments made)... 287.62 c Sol. found (all assignments made)... 287.79 c Restart #9 #Var: 2700 LB: 0 @ 287.7 293.57 c Sol. found (all assignments made)... 293.57 c Sol. found (all assignments made)... 293.57 c Sol. found (all assignments made)... 293.57 c Sol. found (all assignments made)... 293.58 c Sol. found (all assignments made)... 293.58 c Sol. found (all assignments made)... 293.69 c Sol. found (all assignments made)... 293.69 c Sol. found (all assignments made)... 293.71 c Sol. found (all assignments made)... 293.71 c Sol. found (all assignments made)... 293.73 c Sol. found (all assignments made)... 293.73 c Sol. found (all assignments made)... 293.73 c Sol. found (all assignments made)... 293.73 c Sol. found (all assignments made)... 293.73 c Sol. found (all assignments made)... 293.73 c Sol. found (all assignments made)... 293.74 c Sol. found (all assignments made)... 293.74 c Sol. found (all assignments made)... 293.75 c Sol. found (all assignments made)... 293.76 c Sol. found (all assignments made)... 293.76 c Sol. found (all assignments made)... 294.26 c Restart #10 #Var: 2700 LB: 0 @ 294.17 295.63 c Sol. found (all assignments made)... 295.73 c Sol. found (all assignments made)... 295.73 c Sol. found (all assignments made)... 296.48 c Sol. found (all assignments made)... 296.50 c Sol. found (all assignments made)... 296.56 c Sol. found (all assignments made)... 296.57 c Sol. found (all assignments made)... 296.67 c Sol. found (all assignments made)... 296.67 c Sol. found (all assignments made)... 296.69 c Sol. found (all assignments made)... 296.70 c Sol. found (all assignments made)... 296.72 c Sol. found (all assignments made)... 296.72 c Sol. found (all assignments made)... 296.80 c Sol. found (all assignments made)... 296.81 c Sol. found (all assignments made)... 296.81 c Sol. found (all assignments made)... 296.91 c Sol. found (all assignments made)... 297.02 c Sol. found (all assignments made)... 297.42 c Sol. found (all assignments made)... 297.66 c Sol. found (all assignments made)... 297.66 c Sol. found (all assignments made)... 297.66 c Sol. found (all assignments made)... 297.66 c Sol. found (all assignments made)... 297.74 c Sol. found (all assignments made)... 297.75 c Sol. found (all assignments made)... 297.90 c Sol. found (all assignments made)... 297.90 c Sol. found (all assignments made)... 298.05 c Sol. found (all assignments made)... 298.06 c Sol. found (all assignments made)... 298.07 c Sol. found (all assignments made)... 298.14 c Sol. found (all assignments made)... 298.15 c Sol. found (all assignments made)... 298.30 c Sol. found (all assignments made)... 298.52 c Restart #11 #Var: 2700 LB: 0 @ 298.43 306.81 c Sol. found (all assignments made)... 306.82 c Sol. found (all assignments made)... 306.83 c Sol. found (all assignments made)... 306.83 c Sol. found (all assignments made)... 307.05 c Sol. found (all assignments made)... 307.05 c Sol. found (all assignments made)... 307.05 c Sol. found (all assignments made)... 307.06 c Sol. found (all assignments made)... 307.06 c Sol. found (all assignments made)... 307.09 c Sol. found (all assignments made)... 307.15 c Sol. found (all assignments made)... 307.15 c Sol. found (all assignments made)... 307.15 c Sol. found (all assignments made)... 307.15 c Sol. found (all assignments made)... 307.16 c Sol. found (all assignments made)... 307.16 c Sol. found (all assignments made)... 307.16 c Sol. found (all assignments made)... 307.16 c Sol. found (all assignments made)... 307.16 c Sol. found (all assignments made)... 307.16 c Sol. found (all assignments made)... 307.17 c Sol. found (all assignments made)... 307.17 c Sol. found (all assignments made)... 307.17 c Sol. found (all assignments made)... 307.17 c Sol. found (all assignments made)... 307.17 c Sol. found (all assignments made)... 307.17 c Sol. found (all assignments made)... 307.17 c Sol. found (all assignments made)... 307.18 c Sol. found (all assignments made)... 307.18 c Sol. found (all assignments made)... 307.81 c Sol. found (all assignments made)... 307.81 c Sol. found (all assignments made)... 307.96 c Restart #12 #Var: 2700 LB: 0 @ 307.87 313.11 c Sol. found (all assignments made)... 313.11 c Sol. found (all assignments made)... 313.12 c Sol. found (all assignments made)... 313.13 c Sol. found (all assignments made)... 313.14 c Sol. found (all assignments made)... 313.18 c Sol. found (all assignments made)... 313.19 c Sol. found (all assignments made)... 313.19 c Sol. found (all assignments made)... 313.20 c Sol. found (all assignments made)... 313.34 c Sol. found (all assignments made)... 313.35 c Sol. found (all assignments made)... 313.35 c Sol. found (all assignments made)... 313.36 c Sol. found (all assignments made)... 313.36 c Sol. found (all assignments made)... 313.37 c Sol. found (all assignments made)... 313.45 c Sol. found (all assignments made)... 313.45 c Sol. found (all assignments made)... 313.46 c Sol. found (all assignments made)... 313.46 c Sol. found (all assignments made)... 313.51 c Sol. found (all assignments made)... 313.57 c Sol. found (all assignments made)... 313.58 c Sol. found (all assignments made)... 313.58 c Sol. found (all assignments made)... 313.58 c Sol. found (all assignments made)... 313.59 c Sol. found (all assignments made)... 313.60 c Sol. found (all assignments made)... 313.62 c Sol. found (all assignments made)... 313.74 c Sol. found (all assignments made)... 313.76 c Sol. found (all assignments made)... 313.77 c Sol. found (all assignments made)... 313.78 c Sol. found (all assignments made)... 313.78 c Sol. found (all assignments made)... 313.78 c Sol. found (all assignments made)... 313.79 c Sol. found (all assignments made)... 313.79 c Sol. found (all assignments made)... 313.79 c Sol. found (all assignments made)... 313.80 c Sol. found (all assignments made)... 313.80 c Sol. found (all assignments made)... 313.80 c Sol. found (all assignments made)... 313.81 c Sol. found (all assignments made)... 313.95 c Sol. found (all assignments made)... 313.95 c Sol. found (all assignments made)... 313.96 c Sol. found (all assignments made)... 313.96 c Sol. found (all assignments made)... 313.98 c Sol. found (all assignments made)... 313.98 c Sol. found (all assignments made)... 314.03 c Sol. found (all assignments made)... 314.04 c Sol. found (all assignments made)... 314.05 c Sol. found (all assignments made)... 314.07 c Sol. found (all assignments made)... 314.10 c Sol. found (all assignments made)... 314.52 c Restart #13 #Var: 2700 LB: 0 @ 314.43 342.71 c Restart #14 #Var: 2700 LB: 0 @ 342.61 353.08 c Restart #15 #Var: 2700 LB: 0 @ 352.98 360.30 c Restart #16 #Var: 2700 LB: 0 @ 360.2 362.60 c Sol. found (all assignments made)... 362.73 c Sol. found (all assignments made)... 362.92 c Sol. found (all assignments made)... 362.95 c Sol. found (all assignments made)... 363.13 c Sol. found (all assignments made)... 368.34 c Sol. found (all assignments made)... 368.67 c Sol. found (all assignments made)... 368.70 c Sol. found (all assignments made)... 368.75 c Sol. found (all assignments made)... 368.76 c Sol. found (all assignments made)... 368.78 c Sol. found (all assignments made)... 369.55 c Restart #17 #Var: 2700 LB: 0 @ 369.44 380.21 c Restart #18 #Var: 2700 LB: 0 @ 380.1 382.67 c Sol. found (all assignments made)... 382.68 c Sol. found (all assignments made)... 382.68 c Sol. found (all assignments made)... 382.69 c Sol. found (all assignments made)... 382.70 c Sol. found (all assignments made)... 382.70 c Sol. found (all assignments made)... 382.73 c Sol. found (all assignments made)... 382.75 c Sol. found (all assignments made)... 382.79 c Sol. found (all assignments made)... 382.81 c Sol. found (all assignments made)... 384.04 c Sol. found (all assignments made)... 384.05 c Sol. found (all assignments made)... 384.05 c Sol. found (all assignments made)... 384.06 c Sol. found (all assignments made)... 384.06 c Sol. found (all assignments made)... 385.37 c Sol. found (all assignments made)... 385.37 o 84649 385.37 c NEW SOLUTION FOUND: 84649 @ 385.26 385.37 c Sol. found (all assignments made)... 385.38 c Sol. found (all assignments made)... 385.42 c Sol. found (all assignments made)... 385.69 c Sol. found (all assignments made)... 385.70 c Sol. found (all assignments made)... 385.71 c Sol. found (all assignments made)... 385.81 c Sol. found (all assignments made)... 385.82 c Sol. found (all assignments made)... 385.82 c Sol. found (all assignments made)... 385.84 c Sol. found (all assignments made)... 385.85 c Sol. found (all assignments made)... 385.86 c Sol. found (all assignments made)... 385.87 c Sol. found (all assignments made)... 385.87 c Sol. found (all assignments made)... 385.87 c Sol. found (all assignments made)... 385.89 c Sol. found (all assignments made)... 385.91 c Sol. found (all assignments made)... 385.92 c Sol. found (all assignments made)... 386.05 c Sol. found (all assignments made)... 386.19 c Sol. found (all assignments made)... 386.21 c Sol. found (all assignments made)... 388.70 c Sol. found (all assignments made)... 388.70 c Sol. found (all assignments made)... 389.76 c Sol. found (all assignments made)... 390.44 c Sol. found (all assignments made)... 390.45 c Sol. found (all assignments made)... 390.45 c Sol. found (all assignments made)... 390.46 c Sol. found (all assignments made)... 390.46 c Sol. found (all assignments made)... 390.46 c Sol. found (all assignments made)... 390.52 c Sol. found (all assignments made)... 390.52 c Sol. found (all assignments made)... 390.52 c Sol. found (all assignments made)... 390.52 c Sol. found (all assignments made)... 390.55 c Sol. found (all assignments made)... 390.55 c Sol. found (all assignments made)... 390.55 c Sol. found (all assignments made)... 390.55 c Sol. found (all assignments made)... 390.57 c Sol. found (all assignments made)... 390.57 c Sol. found (all assignments made)... 390.58 c Sol. found (all assignments made)... 390.58 c Sol. found (all assignments made)... 390.96 c Sol. found (all assignments made)... 390.96 c Sol. found (all assignments made)... 390.98 c Sol. found (all assignments made)... 390.98 c Sol. found (all assignments made)... 390.98 c Sol. found (all assignments made)... 390.98 c Sol. found (all assignments made)... 390.98 c Sol. found (all assignments made)... 390.98 o 82841 390.98 c NEW SOLUTION FOUND: 82841 @ 390.87 390.98 c Sol. found (all assignments made)... 390.98 c Sol. found (all assignments made)... 390.98 c Sol. found (all assignments made)... 390.98 c Sol. found (all assignments made)... 390.98 o 81187 390.98 c NEW SOLUTION FOUND: 81187 @ 390.87 390.98 c Sol. found (all assignments made)... 390.99 c Sol. found (all assignments made)... 390.99 c Sol. found (all assignments made)... 390.99 c Sol. found (all assignments made)... 390.99 c Sol. found (all assignments made)... 390.99 c Sol. found (all assignments made)... 390.99 o 79603 390.99 c NEW SOLUTION FOUND: 79603 @ 390.88 390.99 c Sol. found (all assignments made)... 391.00 c Sol. found (all assignments made)... 391.00 c Sol. found (all assignments made)... 391.01 c Sol. found (all assignments made)... 391.01 o 79598 391.01 c NEW SOLUTION FOUND: 79598 @ 390.89 391.01 c Sol. found (all assignments made)... 391.01 c Sol. found (all assignments made)... 391.01 c Sol. found (all assignments made)... 391.02 c Sol. found (all assignments made)... 391.02 o 79387 391.02 c NEW SOLUTION FOUND: 79387 @ 390.91 391.02 c Sol. found (all assignments made)... 391.02 c Sol. found (all assignments made)... 391.02 c Sol. found (all assignments made)... 391.03 c Sol. found (all assignments made)... 391.03 c Sol. found (all assignments made)... 391.05 c Sol. found (all assignments made)... 391.05 c Sol. found (all assignments made)... 391.05 c Sol. found (all assignments made)... 391.05 c Sol. found (all assignments made)... 391.34 c Sol. found (all assignments made)... 391.34 c Sol. found (all assignments made)... 391.34 c Sol. found (all assignments made)... 391.34 c Sol. found (all assignments made)... 391.34 c Sol. found (all assignments made)... 391.34 c Sol. found (all assignments made)... 391.34 c Sol. found (all assignments made)... 391.34 c Sol. found (all assignments made)... 391.37 c Sol. found (all assignments made)... 391.37 c Sol. found (all assignments made)... 391.37 c Sol. found (all assignments made)... 391.37 c Sol. found (all assignments made)... 391.39 c Sol. found (all assignments made)... 391.39 c Sol. found (all assignments made)... 391.41 c Sol. found (all assignments made)... 391.41 c Sol. found (all assignments made)... 391.41 c Sol. found (all assignments made)... 391.43 c Sol. found (all assignments made)... 391.43 o 79295 391.43 c NEW SOLUTION FOUND: 79295 @ 391.32 391.43 c Sol. found (all assignments made)... 391.43 c Sol. found (all assignments made)... 391.43 o 79290 391.43 c NEW SOLUTION FOUND: 79290 @ 391.32 391.43 c Sol. found (all assignments made)... 391.47 c Sol. found (all assignments made)... 391.47 c Sol. found (all assignments made)... 391.47 c Sol. found (all assignments made)... 391.47 c Sol. found (all assignments made)... 391.47 c Sol. found (all assignments made)... 391.47 c Sol. found (all assignments made)... 391.48 c Sol. found (all assignments made)... 391.48 c Sol. found (all assignments made)... 391.48 c Sol. found (all assignments made)... 391.48 c Sol. found (all assignments made)... 391.48 c Sol. found (all assignments made)... 391.49 c Sol. found (all assignments made)... 391.49 c Sol. found (all assignments made)... 391.50 c Sol. found (all assignments made)... 391.50 c Sol. found (all assignments made)... 391.50 c Sol. found (all assignments made)... 391.50 c Sol. found (all assignments made)... 391.50 c Sol. found (all assignments made)... 391.50 c Sol. found (all assignments made)... 391.50 c Sol. found (all assignments made)... 391.50 c Sol. found (all assignments made)... 391.50 c Sol. found (all assignments made)... 391.51 c Sol. found (all assignments made)... 391.51 c Sol. found (all assignments made)... 391.52 c Sol. found (all assignments made)... 391.52 c Sol. found (all assignments made)... 391.52 c Sol. found (all assignments made)... 391.52 c Sol. found (all assignments made)... 395.74 c Sol. found (all assignments made)... 395.74 c Sol. found (all assignments made)... 395.75 c Sol. found (all assignments made)... 395.75 c Sol. found (all assignments made)... 395.75 c Sol. found (all assignments made)... 395.76 c Sol. found (all assignments made)... 395.76 c Sol. found (all assignments made)... 395.76 c Sol. found (all assignments made)... 396.25 c Sol. found (all assignments made)... 396.28 c Sol. found (all assignments made)... 396.29 c Sol. found (all assignments made)... 396.64 c Sol. found (all assignments made)... 396.66 c Sol. found (all assignments made)... 399.66 c Restart #19 #Var: 2700 LB: 0 @ 399.54 404.02 c Sol. found (all assignments made)... 404.03 c Sol. found (all assignments made)... 404.03 c Sol. found (all assignments made)... 404.04 c Sol. found (all assignments made)... 404.09 c Sol. found (all assignments made)... 404.13 c Sol. found (all assignments made)... 404.50 c Sol. found (all assignments made)... 404.50 c Sol. found (all assignments made)... 405.31 c Sol. found (all assignments made)... 405.31 c Sol. found (all assignments made)... 405.50 c Sol. found (all assignments made)... 405.82 c Sol. found (all assignments made)... 405.83 c Sol. found (all assignments made)... 405.90 c Sol. found (all assignments made)... 405.90 c Sol. found (all assignments made)... 405.95 c Sol. found (all assignments made)... 405.95 c Sol. found (all assignments made)... 405.97 c Sol. found (all assignments made)... 405.97 c Sol. found (all assignments made)... 411.34 c Restart #20 #Var: 2700 LB: 0 @ 411.23 425.07 c Restart #21 #Var: 2700 LB: 0 @ 424.94 436.90 c Restart #22 #Var: 2700 LB: 0 @ 436.74 439.51 c Sol. found (all assignments made)... 445.93 c Sol. found (all assignments made)... 449.91 c Restart #23 #Var: 2700 LB: 0 @ 449.71 467.38 c Restart #24 #Var: 2700 LB: 0 @ 467.18 467.78 c Sol. found (all assignments made)... 469.27 c Sol. found (all assignments made)... 469.64 c Sol. found (all assignments made)... 473.54 c Sol. found (all assignments made)... 473.56 c Sol. found (all assignments made)... 473.59 c Sol. found (all assignments made)... 473.60 c Sol. found (all assignments made)... 473.60 c Sol. found (all assignments made)... 473.62 c Sol. found (all assignments made)... 473.62 c Sol. found (all assignments made)... 473.63 c Sol. found (all assignments made)... 474.49 c Sol. found (all assignments made)... 474.49 c Sol. found (all assignments made)... 474.50 c Sol. found (all assignments made)... 474.99 c Sol. found (all assignments made)... 475.00 c Sol. found (all assignments made)... 475.87 c Sol. found (all assignments made)... 475.88 c Sol. found (all assignments made)... 475.89 c Sol. found (all assignments made)... 475.90 c Sol. found (all assignments made)... 475.90 c Sol. found (all assignments made)... 475.91 c Sol. found (all assignments made)... 475.92 c Sol. found (all assignments made)... 475.92 c Sol. found (all assignments made)... 475.93 c Sol. found (all assignments made)... 476.36 c Sol. found (all assignments made)... 476.36 c Sol. found (all assignments made)... 476.36 c Sol. found (all assignments made)... 476.36 c Sol. found (all assignments made)... 476.37 c Sol. found (all assignments made)... 476.37 c Sol. found (all assignments made)... 476.37 c Sol. found (all assignments made)... 476.95 c Sol. found (all assignments made)... 476.99 c Sol. found (all assignments made)... 477.00 c Sol. found (all assignments made)... 477.00 c Sol. found (all assignments made)... 477.07 c Sol. found (all assignments made)... 477.27 c Sol. found (all assignments made)... 477.27 c Sol. found (all assignments made)... 477.60 c Sol. found (all assignments made)... 477.61 c Sol. found (all assignments made)... 477.87 c Restart #25 #Var: 2700 LB: 0 @ 477.67 508.11 c Restart #26 #Var: 2700 LB: 0 @ 507.9 511.55 c Sol. found (all assignments made)... 511.56 c Sol. found (all assignments made)... 511.57 c Sol. found (all assignments made)... 511.58 c Sol. found (all assignments made)... 512.12 c Sol. found (all assignments made)... 520.61 c Sol. found (all assignments made)... 524.02 c Restart #27 #Var: 2700 LB: 0 @ 523.8 530.18 c Sol. found (all assignments made)... 538.01 c Restart #28 #Var: 2700 LB: 0 @ 537.79 560.33 c Restart #29 #Var: 2700 LB: 0 @ 560.11 562.00 c Sol. found (all assignments made)... 563.14 c Sol. found (all assignments made)... 567.32 c Sol. found (all assignments made)... 567.51 c Sol. found (all assignments made)... 574.51 c Sol. found (all assignments made)... 574.52 c Sol. found (all assignments made)... 574.54 c Sol. found (all assignments made)... 574.55 c Sol. found (all assignments made)... 574.59 c Sol. found (all assignments made)... 574.60 c Sol. found (all assignments made)... 574.94 c Sol. found (all assignments made)... 574.95 c Sol. found (all assignments made)... 575.01 c Sol. found (all assignments made)... 575.02 c Sol. found (all assignments made)... 576.66 c Restart #30 #Var: 2700 LB: 0 @ 576.43 600.33 c Restart #31 #Var: 2700 LB: 0 @ 600.1 611.18 c Sol. found (all assignments made)... 611.18 c Sol. found (all assignments made)... 614.38 c Sol. found (all assignments made)... 614.41 c Sol. found (all assignments made)... 614.65 c Restart #32 #Var: 2700 LB: 0 @ 614.41 690.38 c Restart #33 #Var: 2700 LB: 0 @ 690.12 705.82 c Restart #34 #Var: 2700 LB: 0 @ 705.56 770.73 c Restart #35 #Var: 2700 LB: 0 @ 770.46 782.74 c Sol. found (all assignments made)... 782.77 c Sol. found (all assignments made)... 782.81 c Sol. found (all assignments made)... 782.84 c Sol. found (all assignments made)... 782.88 c Sol. found (all assignments made)... 782.89 c Sol. found (all assignments made)... 782.94 c Sol. found (all assignments made)... 786.96 c Sol. found (all assignments made)... 786.96 c Sol. found (all assignments made)... 790.28 c Sol. found (all assignments made)... 794.47 c Restart #36 #Var: 2700 LB: 0 @ 794.19 804.04 c Sol. found (all assignments made)... 804.05 c Sol. found (all assignments made)... 804.34 c Sol. found (all assignments made)... 806.31 c Restart #37 #Var: 2700 LB: 0 @ 806.02 879.15 c Restart #38 #Var: 2700 LB: 27291 @ 878.85 883.06 c Sol. found (all assignments made)... 883.06 c Sol. found (all assignments made)... 883.12 c Sol. found (all assignments made)... 883.14 c Sol. found (all assignments made)... 883.26 c Sol. found (all assignments made)... 890.78 c Sol. found (all assignments made)... 891.74 c Sol. found (all assignments made)... 895.11 c Sol. found (all assignments made)... 895.12 c Sol. found (all assignments made)... 895.15 c Sol. found (all assignments made)... 895.16 c Sol. found (all assignments made)... 895.19 c Sol. found (all assignments made)... 898.05 c Sol. found (all assignments made)... 898.06 c Sol. found (all assignments made)... 898.38 c Sol. found (all assignments made)... 898.40 c Sol. found (all assignments made)... 899.30 c Sol. found (all assignments made)... 899.31 c Sol. found (all assignments made)... 899.36 c Sol. found (all assignments made)... 899.37 c Sol. found (all assignments made)... 899.47 c Sol. found (all assignments made)... 899.48 c Sol. found (all assignments made)... 900.09 c Sol. found (all assignments made)... 900.18 c Sol. found (all assignments made)... 901.19 c Sol. found (all assignments made)... 901.23 c Sol. found (all assignments made)... 901.30 c Sol. found (all assignments made)... 901.32 c Sol. found (all assignments made)... 902.84 c Restart #39 #Var: 2700 LB: 0 @ 902.53 927.11 c Sol. found (all assignments made)... 927.14 c Sol. found (all assignments made)... 929.85 c Sol. found (all assignments made)... 929.89 c Sol. found (all assignments made)... 929.91 c Sol. found (all assignments made)... 930.35 c Sol. found (all assignments made)... 930.36 c Sol. found (all assignments made)... 930.43 c Sol. found (all assignments made)... 930.44 c Sol. found (all assignments made)... 935.10 c Sol. found (all assignments made)... 941.31 c Restart #40 #Var: 2700 LB: 0 @ 941 951.78 c Sol. found (all assignments made)... 954.72 c Sol. found (all assignments made)... 954.72 c Sol. found (all assignments made)... 954.72 c Sol. found (all assignments made)... 958.03 c Sol. found (all assignments made)... 975.25 c Restart #41 #Var: 2700 LB: 0 @ 974.93 981.61 c Sol. found (all assignments made)... 981.61 c Sol. found (all assignments made)... 982.96 c Sol. found (all assignments made)... 982.97 c Sol. found (all assignments made)... 982.98 c Sol. found (all assignments made)... 983.01 c Sol. found (all assignments made)... 983.03 c Sol. found (all assignments made)... 983.09 c Sol. found (all assignments made)... 983.11 c Sol. found (all assignments made)... 983.12 c Sol. found (all assignments made)... 984.32 c Sol. found (all assignments made)... 984.32 c Sol. found (all assignments made)... 987.17 c Sol. found (all assignments made)... 987.20 c Sol. found (all assignments made)... 999.18 c Sol. found (all assignments made)... 999.83 c Sol. found (all assignments made)... 1000.42 c Sol. found (all assignments made)... 1000.52 c Sol. found (all assignments made)... 1001.00 c Sol. found (all assignments made)... 1001.03 c Sol. found (all assignments made)... 1003.51 c Sol. found (all assignments made)... 1003.51 c Sol. found (all assignments made)... 1003.53 c Sol. found (all assignments made)... 1003.53 c Sol. found (all assignments made)... 1003.54 c Sol. found (all assignments made)... 1003.55 c Sol. found (all assignments made)... 1003.56 c Sol. found (all assignments made)... 1003.66 c Sol. found (all assignments made)... 1003.66 c Sol. found (all assignments made)... 1003.67 c Sol. found (all assignments made)... 1003.91 c Restart #42 #Var: 2700 LB: 0 @ 1003.6 1020.18 c Sol. found (all assignments made)... 1020.18 c Sol. found (all assignments made)... 1021.49 c Sol. found (all assignments made)... 1021.50 c Sol. found (all assignments made)... 1039.26 c Restart #43 #Var: 2700 LB: 0 @ 1038.9 1060.17 c Sol. found (all assignments made)... 1061.38 c Sol. found (all assignments made)... 1061.41 c Sol. found (all assignments made)... 1061.42 c Sol. found (all assignments made)... 1061.45 c Sol. found (all assignments made)... 1061.49 c Sol. found (all assignments made)... 1066.70 c Sol. found (all assignments made)... 1067.51 c Restart #44 #Var: 2700 LB: 0 @ 1067.2 1072.52 c Sol. found (all assignments made)... 1072.55 c Sol. found (all assignments made)... 1072.56 c Sol. found (all assignments made)... 1074.94 c Sol. found (all assignments made)... 1075.01 c Sol. found (all assignments made)... 1084.29 c Sol. found (all assignments made)... 1084.31 c Sol. found (all assignments made)... 1084.37 c Sol. found (all assignments made)... 1084.38 c Sol. found (all assignments made)... 1084.40 c Sol. found (all assignments made)... 1084.41 c Sol. found (all assignments made)... 1110.38 c Restart #45 #Var: 2700 LB: 0 @ 1110 1143.86 c Restart #46 #Var: 2700 LB: 0 @ 1143.5 1149.98 c Sol. found (all assignments made)... 1149.99 c Sol. found (all assignments made)... 1150.01 c Sol. found (all assignments made)... 1150.02 c Sol. found (all assignments made)... 1150.03 c Sol. found (all assignments made)... 1150.15 c Sol. found (all assignments made)... 1150.15 c Sol. found (all assignments made)... 1150.16 c Sol. found (all assignments made)... 1150.16 c Sol. found (all assignments made)... 1150.17 c Sol. found (all assignments made)... 1150.20 c Sol. found (all assignments made)... 1150.20 c Sol. found (all assignments made)... 1150.20 c Sol. found (all assignments made)... 1150.21 c Sol. found (all assignments made)... 1150.21 c Sol. found (all assignments made)... 1150.27 c Sol. found (all assignments made)... 1150.27 c Sol. found (all assignments made)... 1150.28 c Sol. found (all assignments made)... 1150.28 c Sol. found (all assignments made)... 1150.29 c Sol. found (all assignments made)... 1150.29 c Sol. found (all assignments made)... 1156.71 c Sol. found (all assignments made)... 1156.72 c Sol. found (all assignments made)... 1158.38 c Sol. found (all assignments made)... 1158.82 c Sol. found (all assignments made)... 1158.85 c Sol. found (all assignments made)... 1158.91 c Sol. found (all assignments made)... 1158.91 c Sol. found (all assignments made)... 1158.91 c Sol. found (all assignments made)... 1158.92 c Sol. found (all assignments made)... 1159.04 c Sol. found (all assignments made)... 1159.08 c Sol. found (all assignments made)... 1159.19 c Sol. found (all assignments made)... 1159.39 c Sol. found (all assignments made)... 1159.79 c Sol. found (all assignments made)... 1160.02 c Sol. found (all assignments made)... 1160.04 c Sol. found (all assignments made)... 1160.28 c Sol. found (all assignments made)... 1160.28 c Sol. found (all assignments made)... 1160.31 c Sol. found (all assignments made)... 1160.31 c Sol. found (all assignments made)... 1160.71 c Sol. found (all assignments made)... 1160.74 c Sol. found (all assignments made)... 1160.85 c Sol. found (all assignments made)... 1160.89 c Sol. found (all assignments made)... 1160.91 c Sol. found (all assignments made)... 1160.92 c Sol. found (all assignments made)... 1160.94 c Sol. found (all assignments made)... 1160.96 c Sol. found (all assignments made)... 1160.97 c Sol. found (all assignments made)... 1161.13 c Sol. found (all assignments made)... 1161.16 c Sol. found (all assignments made)... 1161.19 c Sol. found (all assignments made)... 1161.27 c Sol. found (all assignments made)... 1161.28 c Sol. found (all assignments made)... 1161.30 c Sol. found (all assignments made)... 1161.33 c Sol. found (all assignments made)... 1161.35 c Sol. found (all assignments made)... 1161.37 c Sol. found (all assignments made)... 1161.37 c Sol. found (all assignments made)... 1161.46 c Sol. found (all assignments made)... 1161.48 c Sol. found (all assignments made)... 1161.49 c Sol. found (all assignments made)... 1161.66 c Sol. found (all assignments made)... 1161.68 c Sol. found (all assignments made)... 1161.69 c Sol. found (all assignments made)... 1161.73 c Sol. found (all assignments made)... 1161.75 c Sol. found (all assignments made)... 1161.76 c Sol. found (all assignments made)... 1161.76 c Sol. found (all assignments made)... 1161.77 c Sol. found (all assignments made)... 1162.47 c Sol. found (all assignments made)... 1162.71 c Sol. found (all assignments made)... 1162.72 c Sol. found (all assignments made)... 1162.72 c Sol. found (all assignments made)... 1162.79 c Sol. found (all assignments made)... 1162.88 c Sol. found (all assignments made)... 1163.05 c Sol. found (all assignments made)... 1163.06 c Sol. found (all assignments made)... 1163.23 c Sol. found (all assignments made)... 1163.27 c Sol. found (all assignments made)... 1163.87 c Sol. found (all assignments made)... 1164.92 c Sol. found (all assignments made)... 1165.08 c Sol. found (all assignments made)... 1165.10 c Sol. found (all assignments made)... 1165.30 c Sol. found (all assignments made)... 1165.37 c Sol. found (all assignments made)... 1165.42 c Sol. found (all assignments made)... 1165.44 c Sol. found (all assignments made)... 1165.68 c Restart #47 #Var: 2700 LB: 0 @ 1165.3 1230.67 c Restart #48 #Var: 2700 LB: 0 @ 1230.3 1234.50 c Sol. found (all assignments made)... 1234.73 c Sol. found (all assignments made)... 1234.75 c Sol. found (all assignments made)... 1248.64 c Sol. found (all assignments made)... 1248.71 c Sol. found (all assignments made)... 1248.71 c Sol. found (all assignments made)... 1248.72 c Sol. found (all assignments made)... 1248.73 c Sol. found (all assignments made)... 1248.74 c Sol. found (all assignments made)... 1248.74 c Sol. found (all assignments made)... 1248.75 c Sol. found (all assignments made)... 1248.76 c Sol. found (all assignments made)... 1248.77 c Sol. found (all assignments made)... 1248.77 c Sol. found (all assignments made)... 1250.20 c Sol. found (all assignments made)... 1250.21 c Sol. found (all assignments made)... 1252.91 c Sol. found (all assignments made)... 1252.94 c Sol. found (all assignments made)... 1259.32 c Restart #49 #Var: 2700 LB: 0 @ 1258.9 1262.89 c Sol. found (all assignments made)... 1262.95 c Sol. found (all assignments made)... 1285.05 c Sol. found (all assignments made)... 1285.55 c Sol. found (all assignments made)... 1285.82 c Sol. found (all assignments made)... 1287.28 c Sol. found (all assignments made)... 1287.28 c Sol. found (all assignments made)... 1287.30 c Sol. found (all assignments made)... 1287.30 c Sol. found (all assignments made)... 1287.39 c Sol. found (all assignments made)... 1287.40 c Sol. found (all assignments made)... 1287.41 c Sol. found (all assignments made)... 1287.43 c Sol. found (all assignments made)... 1287.44 c Sol. found (all assignments made)... 1287.45 c Sol. found (all assignments made)... 1287.46 c Sol. found (all assignments made)... 1292.00 c Restart #50 #Var: 2700 LB: 0 @ 1291.6 1320.60 c Sol. found (all assignments made)... 1320.61 c Sol. found (all assignments made)... 1320.83 c Sol. found (all assignments made)... 1320.83 c Sol. found (all assignments made)... 1320.89 c Sol. found (all assignments made)... 1320.90 c Sol. found (all assignments made)... 1320.96 c Sol. found (all assignments made)... 1320.97 c Sol. found (all assignments made)... 1321.00 c Sol. found (all assignments made)... 1321.10 c Sol. found (all assignments made)... 1321.11 c Sol. found (all assignments made)... 1321.41 c Sol. found (all assignments made)... 1321.42 c Sol. found (all assignments made)... 1321.46 c Sol. found (all assignments made)... 1327.24 c Sol. found (all assignments made)... 1327.67 c Sol. found (all assignments made)... 1327.69 c Sol. found (all assignments made)... 1327.76 c Sol. found (all assignments made)... 1330.36 c Restart #51 #Var: 2700 LB: 0 @ 1329.9 1376.02 c Restart #52 #Var: 2700 LB: 0 @ 1375.6 1378.56 c Sol. found (all assignments made)... 1379.37 c Sol. found (all assignments made)... 1384.63 c Sol. found (all assignments made)... 1384.64 c Sol. found (all assignments made)... 1384.74 c Sol. found (all assignments made)... 1384.76 c Sol. found (all assignments made)... 1384.76 c Sol. found (all assignments made)... 1384.77 c Sol. found (all assignments made)... 1384.77 c Sol. found (all assignments made)... 1386.02 c Sol. found (all assignments made)... 1386.23 c Sol. found (all assignments made)... 1386.23 c Sol. found (all assignments made)... 1387.99 c Sol. found (all assignments made)... 1388.02 c Sol. found (all assignments made)... 1388.20 c Sol. found (all assignments made)... 1388.41 c Sol. found (all assignments made)... 1388.93 c Sol. found (all assignments made)... 1389.30 c Sol. found (all assignments made)... 1394.47 c Sol. found (all assignments made)... 1395.79 c Sol. found (all assignments made)... 1395.82 c Sol. found (all assignments made)... 1396.81 c Sol. found (all assignments made)... 1396.82 c Sol. found (all assignments made)... 1399.20 c Sol. found (all assignments made)... 1399.22 c Sol. found (all assignments made)... 1399.24 c Sol. found (all assignments made)... 1402.49 c Restart #53 #Var: 2700 LB: 0 @ 1402.1 1412.22 c Sol. found (all assignments made)... 1412.75 c Sol. found (all assignments made)... 1412.77 c Sol. found (all assignments made)... 1423.63 c Sol. found (all assignments made)... 1432.44 c Sol. found (all assignments made)... 1432.46 c Sol. found (all assignments made)... 1436.79 c Restart #54 #Var: 2700 LB: 0 @ 1436.3 1444.54 c Sol. found (all assignments made)... 1444.64 c Sol. found (all assignments made)... 1444.67 c Sol. found (all assignments made)... 1444.72 c Sol. found (all assignments made)... 1444.72 c Sol. found (all assignments made)... 1444.75 c Sol. found (all assignments made)... 1444.75 c Sol. found (all assignments made)... 1444.99 c Sol. found (all assignments made)... 1445.14 c Sol. found (all assignments made)... 1445.21 c Sol. found (all assignments made)... 1456.77 c Sol. found (all assignments made)... 1456.79 c Sol. found (all assignments made)... 1460.31 c Sol. found (all assignments made)... 1460.32 c Sol. found (all assignments made)... 1461.15 c Sol. found (all assignments made)... 1461.15 c Sol. found (all assignments made)... 1461.16 c Sol. found (all assignments made)... 1461.22 c Sol. found (all assignments made)... 1461.24 c Sol. found (all assignments made)... 1461.76 c Sol. found (all assignments made)... 1462.24 c Sol. found (all assignments made)... 1462.29 c Sol. found (all assignments made)... 1462.29 c Sol. found (all assignments made)... 1462.30 c Sol. found (all assignments made)... 1462.95 c Sol. found (all assignments made)... 1463.14 c Sol. found (all assignments made)... 1463.14 c Sol. found (all assignments made)... 1463.15 c Sol. found (all assignments made)... 1463.81 c Sol. found (all assignments made)... 1465.22 c Sol. found (all assignments made)... 1465.23 c Sol. found (all assignments made)... 1467.37 c Sol. found (all assignments made)... 1467.84 c Sol. found (all assignments made)... 1467.85 c Sol. found (all assignments made)... 1467.93 c Sol. found (all assignments made)... 1467.99 c Sol. found (all assignments made)... 1470.39 c Sol. found (all assignments made)... 1470.41 c Sol. found (all assignments made)... 1471.36 c Sol. found (all assignments made)... 1471.39 c Sol. found (all assignments made)... 1471.75 c Sol. found (all assignments made)... 1471.78 c Sol. found (all assignments made)... 1472.44 c Sol. found (all assignments made)... 1472.44 c Sol. found (all assignments made)... 1472.44 c Sol. found (all assignments made)... 1472.69 c Sol. found (all assignments made)... 1472.84 c Sol. found (all assignments made)... 1472.86 c Sol. found (all assignments made)... 1473.06 c Sol. found (all assignments made)... 1473.43 c Sol. found (all assignments made)... 1473.44 c Sol. found (all assignments made)... 1473.64 c Sol. found (all assignments made)... 1474.39 c Sol. found (all assignments made)... 1475.00 c Restart #55 #Var: 2700 LB: 0 @ 1474.5 1542.42 c Restart #56 #Var: 2700 LB: 0 @ 1542 1575.33 c Sol. found (all assignments made)... 1575.36 c Sol. found (all assignments made)... 1575.37 c Sol. found (all assignments made)... 1575.38 c Sol. found (all assignments made)... 1575.39 c Sol. found (all assignments made)... 1575.40 c Sol. found (all assignments made)... 1575.41 c Sol. found (all assignments made)... 1576.79 c Sol. found (all assignments made)... 1576.79 c Sol. found (all assignments made)... 1576.80 c Sol. found (all assignments made)... 1576.81 c Sol. found (all assignments made)... 1579.55 c Restart #57 #Var: 2700 LB: 0 @ 1579.1 1661.34 c Restart #58 #Var: 2700 LB: 0 @ 1660.8 1673.37 c Sol. found (all assignments made)... 1673.41 c Sol. found (all assignments made)... 1710.18 c Sol. found (all assignments made)... 1711.23 c Restart #59 #Var: 2700 LB: 0 @ 1710.7 1717.03 c Sol. found (all assignments made)... 1717.11 c Sol. found (all assignments made)... 1717.15 c Sol. found (all assignments made)... 1717.29 c Sol. found (all assignments made)... 1717.41 c Sol. found (all assignments made)... 1749.86 c Sol. found (all assignments made)... 1753.11 c Sol. found (all assignments made)... 1754.35 c Sol. found (all assignments made)... 1754.50 c Sol. found (all assignments made)... 1755.05 c Sol. found (all assignments made)... 1757.38 c Sol. found (all assignments made)... 1757.70 c Sol. found (all assignments made)... 1760.14 c Sol. found (all assignments made)... 1760.20 c Sol. found (all assignments made)... 1761.98 c Sol. found (all assignments made)... 1762.25 c Sol. found (all assignments made)... 1764.54 c Sol. found (all assignments made)... 1764.57 c Sol. found (all assignments made)... 1764.68 c Sol. found (all assignments made)... 1768.72 c Restart #60 #Var: 2700 LB: 0 @ 1768.2 1786.41 c Sol. found (all assignments made)... 1786.64 c Sol. found (all assignments made)... 1786.75 c Sol. found (all assignments made)... 1786.82 c Sol. found (all assignments made)... 1786.88 c Sol. found (all assignments made)... 1787.09 c Sol. found (all assignments made)... 1787.28 c Sol. found (all assignments made)... 1787.36 c Sol. found (all assignments made)... 1787.46 c Sol. found (all assignments made)... 1787.81 c Sol. found (all assignments made)... 1789.30 c Sol. found (all assignments made)... 1789.61 c Sol. found (all assignments made)... 1789.87 c Sol. found (all assignments made)... 1789.89 c Sol. found (all assignments made)... 1790.02 c Sol. found (all assignments made)... 1790.24 c Sol. found (all assignments made)... 1791.07 c Sol. found (all assignments made)... 1791.12 c Sol. found (all assignments made)... 1792.71 c Sol. found (all assignments made)... 1792.93 c Sol. found (all assignments made)... 1793.00 c Sol. found (all assignments made)... 1795.18 c Sol. found (all assignments made)... 1795.29 c Sol. found (all assignments made)... 1795.36 c Sol. found (all assignments made)... 1795.53 c Sol. found (all assignments made)... 1795.59 c Sol. found (all assignments made)... 1796.84 c Sol. found (all assignments made)... 1796.91 c Sol. found (all assignments made)... 1796.96 c Sol. found (all assignments made)... 1797.08 c Sol. found (all assignments made)... 1798.58 c Sol. found (all assignments made)... 1798.60 c Sol. found (all assignments made)... 1800.55 s SATISFIABLE 1800.55 c Cost: 79290 1800.56 v x1801 x1802 -x1803 x1804 x1805 x1806 -x1807 -x1808 -x1809 x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 1800.56 v -x1819 -x1820 x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 1800.56 v x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 x1843 -x1844 -x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 1800.56 v -x1854 x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 1800.56 v x1871 -x1872 x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 1800.56 v -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 x1898 -x1899 x1900 x1901 -x1902 -x1903 -x1904 x1905 x1906 1800.56 v -x1907 -x1908 -x1909 x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 x1919 -x1920 -x1921 -x1922 -x1923 -x1924 1800.56 v -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 1800.56 v -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 x1953 -x1954 -x1955 -x1956 -x1957 x1958 -x1959 -x1960 1800.56 v -x1961 -x1962 -x1963 x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 x1975 -x1976 -x1977 -x1978 1800.56 v -x1979 -x1980 -x1981 x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 x1992 -x1993 -x1994 -x1995 -x1996 1800.56 v -x1997 -x1998 x1999 x2000 -x2001 -x2002 -x2003 -x2004 x2005 x2006 x2007 -x2008 -x2009 -x2010 -x2011 x2012 -x2013 -x2014 1800.56 v -x2015 -x2016 -x2017 -x2018 x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 1800.56 v -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 x2046 -x2047 -x2048 -x2049 -x2050 1800.56 v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 x2059 -x2060 -x2061 -x2062 -x2063 x2064 -x2065 -x2066 -x2067 -x2068 1800.56 v -x2069 -x2070 -x2071 -x2072 -x2073 x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 1800.56 v x2086 -x2087 -x2088 -x2089 -x2090 x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 x2099 -x2100 -x2101 x2102 x2103 1800.56 v -x2104 x2105 x2106 -x2107 -x2108 -x2109 x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 x2119 -x2120 -x2121 1800.56 v -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 x2137 -x2138 -x2139 1800.56 v -x2140 -x2141 -x2142 -x2143 -x2144 x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 x2152 -x2153 -x2154 -x2155 -x2156 -x2157 1800.56 v -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 -x2167 -x2168 -x2169 x2170 -x2171 -x2172 -x2173 -x2174 -x2175 1800.56 v -x2176 -x2177 -x2178 -x2179 x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 1800.56 v -x2193 -x2194 x2195 -x2196 -x2197 -x2198 x2199 -x2200 -x2201 x2202 -x2203 -x2204 x2205 -x2206 -x2207 -x2208 -x2209 x2210 1800.56 v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 1800.56 v -x2228 x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 1800.56 v -x2246 -x2247 -x2248 x2249 -x2250 -x2251 -x2252 -x2253 -x2254 x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 1800.56 v -x2264 -x2265 x2266 -x2267 -x2268 x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 1800.56 v x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 x2291 -x2292 -x2293 -x2294 -x2295 -x2296 x2297 x2298 x2299 1800.56 v -x2300 -x2301 -x2302 x2303 x2304 -x2305 -x2306 -x2307 -x2308 x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 1800.56 v -x2318 x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 1800.56 v -x2336 x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 1800.56 v -x2354 x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 x2370 -x2371 1800.56 v -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 x2382 -x2383 -x2384 -x2385 -x2386 x2387 -x2388 -x2389 1800.56 v -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 x2398 -x2399 x2400 x2401 x2402 -x2403 -x2404 -x2405 -x2406 -x2407 1800.56 v -x2408 -x2409 -x2410 -x2411 x2412 x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 1800.56 v -x2426 -x2427 x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 x2437 -x2438 -x2439 -x2440 x2441 -x2442 -x2443 1800.56 v -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458 -x2459 -x2460 1800.56 v -x2461 -x2462 -x2463 x2464 -x2465 -x2466 x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 1800.56 v -x2479 -x2480 -x2481 x2482 -x2483 -x2484 -x2485 x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 1800.56 v x2497 x2498 x2499 x2500 x2501 x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x2510 -x2511 -x2512 -x2513 -x2514 1800.56 v -x2515 -x2516 -x2517 -x2518 x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 x2528 -x2529 -x2530 -x2531 x2532 1800.56 v -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 x2546 -x2547 -x2548 -x2549 1800.56 v -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 -x2567 1800.56 v -x2568 -x2569 -x2570 -x2571 -x2572 x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 x2582 -x2583 -x2584 -x2585 1800.56 v -x2586 -x2587 x2588 -x2589 -x2590 -x2591 -x2592 x2593 x2594 x2595 -x2596 -x2597 x2598 x2599 x2600 -x2601 -x2602 -x2603 1800.56 v -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 x2610 -x2611 -x2612 x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 1800.56 v -x2622 x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 x2637 -x2638 -x2639 1800.56 v -x2640 -x2641 x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 x2655 -x2656 -x2657 1800.56 v -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 x2673 -x2674 -x2675 1800.56 v -x2676 -x2677 -x2678 -x2679 x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 x2691 x2692 x2693 1800.56 v x2694 -x2695 -x2696 -x2697 -x2698 x2699 x2700 -x2 -x102 -x202 -x302 -x402 -x502 -x602 -x702 -x802 -x902 -x1002 -x1102 -x1202 1800.56 v -x1302 -x1402 -x1502 -x1602 x1702 -x3 -x103 -x203 x303 -x403 -x503 -x603 -x703 -x803 -x903 -x1003 -x1103 -x1203 -x1303 -x1403 1800.56 v -x1503 -x1603 -x1703 -x4 -x104 -x204 -x304 x404 -x504 -x604 -x704 -x804 -x904 -x1004 -x1104 -x1204 -x1304 -x1404 -x1504 1800.56 v -x1604 -x1704 -x5 -x105 -x205 -x305 -x405 -x505 -x605 -x705 -x805 x905 -x1005 -x1105 -x1205 -x1305 -x1405 -x1505 -x1605 1800.56 v -x1705 -x6 -x106 -x206 -x306 -x406 -x506 -x606 -x706 -x806 -x906 -x1006 -x1106 -x1206 -x1306 -x1406 x1506 -x1606 -x1706 1800.56 v -x7 -x107 -x207 -x307 -x407 -x507 -x607 -x707 -x807 -x907 -x1007 -x1107 -x1207 x1307 -x1407 -x1507 -x1607 -x1707 -x8 -x108 1800.56 v -x208 -x308 -x408 -x508 -x608 -x708 -x808 -x908 x1008 -x1108 -x1208 -x1308 -x1408 -x1508 -x1608 -x1708 -x9 -x109 -x209 -x309 1800.56 v -x409 -x509 -x609 -x709 -x809 -x909 -x1009 x1109 -x1209 -x1309 -x1409 -x1509 -x1609 -x1709 -x10 -x110 -x210 -x310 -x410 1800.56 v x510 -x610 -x710 -x810 -x910 -x1010 -x1110 -x1210 -x1310 -x1410 -x1510 -x1610 -x1710 x11 -x111 -x211 -x311 -x411 -x511 -x611 1800.56 v -x711 -x811 -x911 -x1011 -x1111 -x1211 -x1311 -x1411 -x1511 -x1611 -x1711 -x13 -x113 -x213 -x313 -x413 x513 -x613 -x713 1800.56 v -x813 -x913 -x1013 -x1113 -x1213 -x1313 -x1413 -x1513 -x1613 -x1713 -x14 -x114 -x214 -x314 -x414 -x514 -x614 -x714 -x814 1800.56 v -x914 -x1014 x1114 -x1214 -x1314 -x1414 -x1514 -x1614 -x1714 -x15 -x115 -x215 -x315 -x415 -x515 -x615 -x715 -x815 -x915 1800.56 v -x1015 -x1115 -x1215 -x1315 -x1415 x1515 -x1615 -x1715 -x16 -x116 -x216 -x316 -x416 -x516 -x616 -x716 -x816 -x916 -x1016 1800.56 v -x1116 -x1216 -x1316 -x1416 -x1516 x1616 -x1716 -x17 -x117 -x217 -x317 -x417 -x517 -x617 -x717 -x817 x917 -x1017 -x1117 1800.56 v -x1217 -x1317 -x1417 -x1517 -x1617 -x1717 -x18 -x118 -x218 -x318 -x418 -x518 -x618 -x718 -x818 -x918 -x1018 -x1118 -x1218 1800.56 v -x1318 x1418 -x1518 -x1618 -x1718 -x19 x119 -x219 -x319 -x419 -x519 -x619 -x719 -x819 -x919 -x1019 -x1119 -x1219 -x1319 1800.56 v -x1419 -x1519 -x1619 -x1719 -x20 -x120 -x220 -x320 -x420 -x520 -x620 -x720 -x820 -x920 x1020 -x1120 -x1220 -x1320 -x1420 1800.56 v -x1520 -x1620 -x1720 -x21 -x121 -x221 -x321 -x421 -x521 x621 -x721 -x821 -x921 -x1021 -x1121 -x1221 -x1321 -x1421 -x1521 1800.56 v -x1621 -x1721 -x22 -x122 -x222 -x322 -x422 -x522 -x622 -x722 x822 -x922 -x1022 -x1122 -x1222 -x1322 -x1422 -x1522 -x1622 1800.56 v -x1722 -x24 -x124 -x224 -x324 -x424 -x524 -x624 -x724 -x824 x924 -x1024 -x1124 -x1224 -x1324 -x1424 -x1524 -x1624 -x1724 1800.56 v -x25 -x125 -x225 -x325 -x425 -x525 -x625 -x725 -x825 -x925 -x1025 -x1125 -x1225 -x1325 -x1425 -x1525 x1625 -x1725 -x26 -x126 1800.56 v -x226 -x326 -x426 -x526 -x626 -x726 -x826 -x926 x1026 -x1126 -x1226 -x1326 -x1426 -x1526 -x1626 -x1726 -x27 -x127 -x227 1800.56 v -x327 -x427 -x527 -x627 -x727 -x827 -x927 -x1027 -x1127 -x1227 -x1327 -x1427 x1527 -x1627 -x1727 -x28 -x128 -x228 -x328 1800.56 v x428 -x528 -x628 -x728 -x828 -x928 -x1028 -x1128 -x1228 -x1328 -x1428 -x1528 -x1628 -x1728 -x29 -x129 -x229 -x329 -x429 1800.56 v -x529 -x629 -x729 -x829 -x929 -x1029 -x1129 -x1229 -x1329 x1429 -x1529 -x1629 -x1729 -x30 x130 -x230 -x330 -x430 -x530 -x630 1800.56 v -x730 -x830 -x930 -x1030 -x1130 -x1230 -x1330 -x1430 -x1530 -x1630 -x1730 -x31 -x131 -x231 -x331 -x431 -x531 -x631 -x731 1800.56 v -x831 -x931 -x1031 -x1131 -x1231 -x1331 -x1431 -x1531 x1631 -x1731 -x32 -x132 x232 -x332 -x432 -x532 -x632 -x732 -x832 -x932 1800.56 v -x1032 -x1132 -x1232 -x1332 -x1432 -x1532 -x1632 -x1732 -x33 -x133 -x233 -x333 -x433 -x533 -x633 -x733 -x833 -x933 -x1033 1800.56 v -x1133 -x1233 x1333 -x1433 -x1533 -x1633 -x1733 -x35 -x135 -x235 -x335 -x435 -x535 -x635 -x735 -x835 -x935 -x1035 -x1135 1800.56 v -x1235 -x1335 -x1435 -x1535 -x1635 x1735 -x36 -x136 -x236 -x336 -x436 -x536 x636 -x736 -x836 -x936 -x1036 -x1136 -x1236 1800.56 v -x1336 -x1436 -x1536 -x1636 -x1736 -x37 -x137 -x237 -x337 -x437 -x537 -x637 -x737 -x837 -x937 x1037 -x1137 -x1237 -x1337 1800.56 v -x1437 -x1537 -x1637 -x1737 -x38 -x138 -x238 x338 -x438 -x538 -x638 -x738 -x838 -x938 -x1038 -x1138 -x1238 -x1338 -x1438 1800.56 v -x1538 -x1638 -x1738 -x39 -x139 -x239 -x339 -x439 -x539 -x639 -x739 -x839 -x939 -x1039 -x1139 x1239 -x1339 -x1439 -x1539 1800.56 v -x1639 -x1739 -x40 -x140 -x240 -x340 -x440 -x540 -x640 -x740 -x840 -x940 -x1040 -x1140 -x1240 -x1340 -x1440 x1540 -x1640 1800.56 v -x1740 -x41 -x141 -x241 -x341 -x441 -x541 -x641 -x741 -x841 -x941 -x1041 -x1141 -x1241 -x1341 x1441 -x1541 -x1641 -x1741 1800.56 v -x42 -x142 -x242 -x342 -x442 -x542 -x642 -x742 -x842 -x942 -x1042 -x1142 -x1242 x1342 -x1442 -x1542 -x1642 -x1742 -x43 -x143 1800.56 v -x243 -x343 -x443 -x543 -x643 -x743 -x843 -x943 -x1043 -x1143 x1243 -x1343 -x1443 -x1543 -x1643 -x1743 -x44 -x144 -x244 1800.56 v -x344 -x444 -x544 -x644 x744 -x844 -x944 -x1044 -x1144 -x1244 -x1344 -x1444 -x1544 -x1644 -x1744 -x46 -x146 x246 -x346 -x446 1800.56 v -x546 -x646 -x746 -x846 -x946 -x1046 -x1146 -x1246 -x1346 -x1446 -x1546 -x1646 -x1746 -x47 -x147 -x247 -x347 -x447 -x547 1800.56 v x647 -x747 -x847 -x947 -x1047 -x1147 -x1247 -x1347 -x1447 -x1547 -x1647 -x1747 -x48 x148 -x248 -x348 -x448 -x548 -x648 -x748 1800.56 v -x848 -x948 -x1048 -x1148 -x1248 -x1348 -x1448 -x1548 -x1648 -x1748 -x49 -x149 -x249 -x349 -x449 -x549 -x649 -x749 x849 1800.56 v -x949 -x1049 -x1149 -x1249 -x1349 -x1449 -x1549 -x1649 -x1749 x50 -x150 -x250 -x350 -x450 -x550 -x650 -x750 -x850 -x950 1800.56 v -x1050 -x1150 -x1250 -x1350 -x1450 -x1550 -x1650 -x1750 -x51 x151 -x251 -x351 -x451 -x551 -x651 -x751 -x851 -x951 -x1051 1800.56 v -x1151 -x1251 -x1351 -x1451 -x1551 -x1651 -x1751 -x52 -x152 -x252 -x352 -x452 -x552 -x652 x752 -x852 -x952 -x1052 -x1152 1800.56 v -x1252 -x1352 -x1452 -x1552 -x1652 -x1752 x53 -x153 -x253 -x353 -x453 -x553 -x653 -x753 -x853 -x953 -x1053 -x1153 -x1253 1800.56 v -x1353 -x1453 -x1553 -x1653 -x1753 -x54 -x154 -x254 -x354 -x454 -x554 -x654 -x754 -x854 -x954 -x1054 -x1154 -x1254 -x1354 1800.56 v x1454 -x1554 -x1654 -x1754 -x55 -x155 -x255 -x355 -x455 x555 -x655 -x755 -x855 -x955 -x1055 -x1155 -x1255 -x1355 -x1455 1800.56 v -x1555 -x1655 -x1755 -x57 -x157 -x257 -x357 x457 -x557 -x657 -x757 -x857 -x957 -x1057 -x1157 -x1257 -x1357 -x1457 -x1557 1800.56 v -x1657 -x1757 -x58 -x158 -x258 -x358 -x458 -x558 -x658 -x758 x858 -x958 -x1058 -x1158 -x1258 -x1358 -x1458 -x1558 -x1658 1800.56 v -x1758 -x59 -x159 -x259 x359 -x459 -x559 -x659 -x759 -x859 -x959 -x1059 -x1159 -x1259 -x1359 -x1459 -x1559 -x1659 -x1759 1800.56 v -x60 -x160 -x260 -x360 -x460 -x560 -x660 -x760 -x860 -x960 -x1060 -x1160 x1260 -x1360 -x1460 -x1560 -x1660 -x1760 -x61 -x161 1800.56 v -x261 -x361 -x461 -x561 -x661 -x761 x861 -x961 -x1061 -x1161 -x1261 -x1361 -x1461 -x1561 -x1661 -x1761 -x62 -x162 -x262 1800.56 v -x362 -x462 -x562 -x662 -x762 -x862 -x962 -x1062 -x1162 x1262 -x1362 -x1462 -x1562 -x1662 -x1762 -x63 -x163 x263 -x363 -x463 1800.56 v -x563 -x663 -x763 -x863 -x963 -x1063 -x1163 -x1263 -x1363 -x1463 -x1563 -x1663 -x1763 -x64 x164 -x264 -x364 -x464 -x564 1800.56 v -x664 -x764 -x864 -x964 -x1064 -x1164 -x1264 -x1364 -x1464 -x1564 -x1664 -x1764 -x65 -x165 -x265 x365 -x465 -x565 -x665 1800.56 v -x765 -x865 -x965 -x1065 -x1165 -x1265 -x1365 -x1465 -x1565 -x1665 -x1765 -x66 -x166 -x266 -x366 -x466 -x566 -x666 -x766 1800.56 v -x866 -x966 -x1066 x1166 -x1266 -x1366 -x1466 -x1566 -x1666 -x1766 -x68 -x168 -x268 -x368 -x468 -x568 -x668 -x768 -x868 1800.56 v -x968 -x1068 -x1168 -x1268 -x1368 -x1468 -x1568 x1668 -x1768 -x69 -x169 -x269 -x369 -x469 -x569 -x669 x769 -x869 -x969 -x1069 1800.56 v -x1169 -x1269 -x1369 -x1469 -x1569 -x1669 -x1769 -x70 -x170 -x270 -x370 -x470 -x570 -x670 -x770 -x870 -x970 -x1070 -x1170 1800.56 v -x1270 -x1370 -x1470 -x1570 -x1670 x1770 -x71 -x171 -x271 -x371 -x471 -x571 -x671 -x771 -x871 -x971 -x1071 -x1171 x1271 1800.56 v -x1371 -x1471 -x1571 -x1671 -x1771 -x72 -x172 -x272 -x372 -x472 -x572 x672 -x772 -x872 -x972 -x1072 -x1172 -x1272 -x1372 1800.56 v -x1472 -x1572 -x1672 -x1772 -x73 -x173 -x273 -x373 -x473 -x573 -x673 x773 -x873 -x973 -x1073 -x1173 -x1273 -x1373 -x1473 1800.56 v -x1573 -x1673 -x1773 x74 -x174 -x274 -x374 -x474 -x574 -x674 -x774 -x874 -x974 -x1074 -x1174 -x1274 -x1374 -x1474 -x1574 1800.56 v -x1674 -x1774 -x75 -x175 -x275 -x375 -x475 -x575 -x675 -x775 -x875 -x975 -x1075 x1175 -x1275 -x1375 -x1475 -x1575 -x1675 1800.56 v -x1775 -x76 -x176 -x276 -x376 -x476 -x576 -x676 -x776 -x876 -x976 -x1076 -x1176 -x1276 -x1376 -x1476 -x1576 -x1676 x1776 1800.56 v -x77 -x177 -x277 -x377 -x477 x577 -x677 -x777 -x877 -x977 -x1077 -x1177 -x1277 -x1377 -x1477 -x1577 -x1677 -x1777 -x79 -x179 1800.56 v -x279 -x379 -x479 -x579 -x679 -x779 -x879 -x979 -x1079 -x1179 -x1279 -x1379 -x1479 x1579 -x1679 -x1779 -x80 -x180 x280 -x380 1800.56 v -x480 -x580 -x680 -x780 -x880 -x980 -x1080 -x1180 -x1280 -x1380 -x1480 -x1580 -x1680 -x1780 -x81 -x181 x281 -x381 -x481 1800.56 v -x581 -x681 -x781 -x881 -x981 -x1081 -x1181 -x1281 -x1381 -x1481 -x1581 -x1681 -x1781 -x82 -x182 -x282 -x382 x482 -x582 1800.56 v -x682 -x782 -x882 -x982 -x1082 -x1182 -x1282 -x1382 -x1482 -x1582 -x1682 -x1782 -x83 -x183 -x283 -x383 -x483 -x583 -x683 1800.56 v -x783 -x883 -x983 -x1083 -x1183 -x1283 -x1383 -x1483 -x1583 -x1683 x1783 -x84 -x184 -x284 -x384 -x484 x584 -x684 -x784 -x884 1800.56 v -x984 -x1084 -x1184 -x1284 -x1384 -x1484 -x1584 -x1684 -x1784 -x85 -x185 -x285 -x385 -x485 -x585 -x685 -x785 -x885 -x985 1800.56 v x1085 -x1185 -x1285 -x1385 -x1485 -x1585 -x1685 -x1785 -x86 -x186 -x286 -x386 -x486 -x586 -x686 -x786 -x886 -x986 -x1086 1800.56 v -x1186 -x1286 x1386 -x1486 -x1586 -x1686 -x1786 x87 -x187 -x287 -x387 -x487 -x587 -x687 -x787 -x887 -x987 -x1087 -x1187 1800.56 v -x1287 -x1387 -x1487 -x1587 -x1687 -x1787 -x88 -x188 -x288 -x388 -x488 -x588 -x688 -x788 -x888 x988 -x1088 -x1188 -x1288 1800.56 v -x1388 -x1488 -x1588 -x1688 -x1788 -x90 -x190 -x290 -x390 -x490 -x590 x690 -x790 -x890 -x990 -x1090 -x1190 -x1290 -x1390 1800.56 v -x1490 -x1590 -x1690 -x1790 -x91 -x191 -x291 -x391 -x491 -x591 -x691 x791 -x891 -x991 -x1091 -x1191 -x1291 -x1391 -x1491 1800.56 v -x1591 -x1691 -x1791 -x92 -x192 -x292 x392 -x492 -x592 -x692 -x792 -x892 -x992 -x1092 -x1192 -x1292 -x1392 -x1492 -x1592 1800.56 v -x1692 -x1792 -x93 -x193 -x293 -x393 -x493 -x593 -x693 -x793 -x893 -x993 -x1093 x1193 -x1293 -x1393 -x1493 -x1593 -x1693 1800.56 v -x1793 -x94 -x194 -x294 -x394 -x494 -x594 -x694 -x794 x894 -x994 -x1094 -x1194 -x1294 -x1394 -x1494 -x1594 -x1694 -x1794 1800.56 v -x95 -x195 -x295 -x395 x495 -x595 -x695 -x795 -x895 -x995 -x1095 -x1195 -x1295 -x1395 -x1495 -x1595 -x1695 -x1795 -x96 -x196 1800.56 v -x296 -x396 -x496 -x596 -x696 -x796 -x896 x996 -x1096 -x1196 -x1296 -x1396 -x1496 -x1596 -x1696 -x1796 -x97 -x197 -x297 1800.56 v -x397 -x497 -x597 -x697 -x797 -x897 -x997 -x1097 -x1197 -x1297 -x1397 x1497 -x1597 -x1697 -x1797 -x98 -x198 -x298 -x398 1800.56 v -x498 -x598 -x698 -x798 -x898 -x998 -x1098 -x1198 -x1298 x1398 -x1498 -x1598 -x1698 -x1798 -x99 -x199 -x299 -x399 -x499 1800.56 v -x599 -x699 -x799 -x899 -x999 -x1099 -x1199 -x1299 -x1399 -x1499 -x1599 x1699 -x1799 -x12 -x112 x212 x312 x412 -x512 x612 1800.56 v x712 x812 -x912 -x1012 -x1112 x1212 x1312 -x1412 -x1512 -x1612 x1712 x23 -x123 x223 x323 -x423 x523 -x623 x723 -x823 -x923 1800.56 v -x1023 x1123 x1223 x1323 -x1423 -x1523 -x1623 x1723 x34 x134 -x234 -x334 x434 x534 -x634 x734 x834 x934 -x1034 x1134 -x1234 1800.56 v -x1334 x1434 -x1534 -x1634 -x1734 -x45 -x145 -x245 x345 x445 x545 -x645 -x745 -x845 x945 x1045 x1145 -x1245 -x1345 -x1445 1800.56 v x1545 x1645 x1745 -x56 -x156 x256 -x356 -x456 -x556 x656 -x756 -x856 x956 x1056 x1156 -x1256 x1356 -x1456 x1556 x1656 x1756 1800.56 v x67 -x167 -x267 -x367 x467 x567 x667 -x767 -x867 x967 x1067 -x1167 -x1267 x1367 x1467 x1567 -x1667 -x1767 -x78 x178 -x278 1800.56 v x378 x478 -x578 -x678 -x778 x878 x978 x1078 -x1178 -x1278 x1378 x1478 -x1578 x1678 -x1778 -x89 x189 -x289 x389 -x489 -x589 1800.56 v -x689 x789 x889 -x989 -x1089 x1189 x1289 -x1389 x1489 x1589 x1689 -x1789 x100 x200 x300 -x400 -x500 x600 x700 -x800 -x900 1800.56 v -x1000 x1100 -x1200 x1300 -x1400 -x1500 x1600 -x1700 x1800 x1 x101 x201 -x301 -x401 -x501 x601 x701 x801 -x901 -x1001 -x1101 1800.56 v x1201 -x1301 x1401 -x1501 x1601 -x1701 1800.56 c Exit Code: 10 1800.56 c Total time: 1800 s
OK 79290
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node14/watcher-40259-1149400444 -o ROOT/results/node14/solver-40259-1149400444 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node14/40259-1149400444/instance-40259-1149400444.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.98 2/64 10936 /proc/meminfo: memFree=1637688/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=3364 CPUtime=0 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 60 0 0 0 0 0 0 0 19 0 1 0 205707173 3444736 43 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6929037 0 0 4096 0 0 0 0 17 1 0 0 /proc/10936/statm: 859 47 34 55 0 42 0 [startup+10.0022 s] /proc/loadavg: 0.93 0.95 0.98 2/64 10936 /proc/meminfo: memFree=1597760/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=44588 CPUtime=9.98 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 10376 0 0 0 994 4 0 0 25 0 1 0 205707173 45658112 10291 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 11147 10291 297 55 0 10039 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 44588 [startup+20.0091 s] /proc/loadavg: 0.94 0.96 0.98 2/64 10936 /proc/meminfo: memFree=1594688/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=47620 CPUtime=19.98 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 11158 0 0 0 1992 6 0 0 25 0 1 0 205707173 48762880 11073 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537574 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 11905 11073 298 55 0 10797 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 47620 [startup+30.0161 s] /proc/loadavg: 0.95 0.96 0.98 2/64 10936 /proc/meminfo: memFree=1592256/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=50092 CPUtime=29.99 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 11769 0 0 0 2992 7 0 0 25 0 1 0 205707173 51294208 11684 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537664 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 12523 11684 298 55 0 11415 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 50092 [startup+40.021 s] /proc/loadavg: 0.95 0.96 0.98 2/64 10936 /proc/meminfo: memFree=1590208/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=52180 CPUtime=39.98 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 12289 0 0 0 3990 8 0 0 25 0 1 0 205707173 53432320 12204 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537841 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 13045 12204 298 55 0 11937 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 52180 [startup+50.027 s] /proc/loadavg: 0.96 0.96 0.98 2/64 10936 /proc/meminfo: memFree=1585472/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=57272 CPUtime=49.99 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 13646 0 0 0 4988 11 0 0 25 0 1 0 205707173 58646528 13393 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 14318 13393 309 55 0 13210 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 57272 [startup+60.0329 s] /proc/loadavg: 0.97 0.96 0.98 2/64 10936 /proc/meminfo: memFree=1583424/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=59172 CPUtime=60 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 14163 0 0 0 5986 14 0 0 25 0 1 0 205707173 60592128 13910 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535978 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 14793 13910 309 55 0 13685 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 59172 [startup+70.0389 s] /proc/loadavg: 0.97 0.96 0.98 2/64 10936 /proc/meminfo: memFree=1582528/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=60008 CPUtime=70 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 14479 0 0 0 6984 16 0 0 25 0 1 0 205707173 61448192 14129 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 15002 14129 309 55 0 13894 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 60008 [startup+80.0458 s] /proc/loadavg: 0.98 0.96 0.98 2/64 10936 /proc/meminfo: memFree=1582016/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=60500 CPUtime=80 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 14607 0 0 0 7982 18 0 0 25 0 1 0 205707173 61952000 14257 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7389126 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 15125 14257 309 55 0 14017 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 60500 [startup+90.0518 s] /proc/loadavg: 0.98 0.96 0.98 2/64 10936 /proc/meminfo: memFree=1571968/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=70496 CPUtime=90.01 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 18667 0 0 0 8979 22 0 0 25 0 1 0 205707173 72187904 16797 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159300785 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 17624 16797 346 55 0 16516 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 70496 [startup+100.057 s] /proc/loadavg: 0.98 0.96 0.98 2/64 10936 /proc/meminfo: memFree=1560256/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=90388 CPUtime=100.01 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 25273 0 0 0 9976 25 0 0 25 0 1 0 205707173 92557312 19785 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159255751 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 22597 19785 414 55 0 21489 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 90388 [startup+110.063 s] /proc/loadavg: 0.98 0.96 0.98 2/64 10936 /proc/meminfo: memFree=1559616/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=91544 CPUtime=110.01 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 25450 0 0 0 10976 25 0 0 25 0 1 0 205707173 93741056 19938 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160278113 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 22886 19938 414 55 0 21778 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 91544 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10936 /proc/meminfo: memFree=1558912/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=93508 CPUtime=120.01 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 25669 0 0 0 11976 25 0 0 25 0 1 0 205707173 95752192 20133 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159265738 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 23377 20133 414 55 0 22269 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 93508 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10936 /proc/meminfo: memFree=1558656/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=94232 CPUtime=130.02 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 25754 0 0 0 12977 25 0 0 25 0 1 0 205707173 96493568 20194 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159171164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 23558 20194 414 55 0 22450 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 94232 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10936 /proc/meminfo: memFree=1558400/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=94984 CPUtime=140.02 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 25838 0 0 0 13977 25 0 0 25 0 1 0 205707173 97263616 20252 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159466744 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 23746 20252 414 55 0 22638 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 94984 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10936 /proc/meminfo: memFree=1558080/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=95784 CPUtime=150.03 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 25942 0 0 0 14977 26 0 0 25 0 1 0 205707173 98082816 20328 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159197631 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 23946 20328 414 55 0 22838 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 95784 [startup+160.091 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10936 /proc/meminfo: memFree=1557824/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=96616 CPUtime=160.03 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 26041 0 0 0 15977 26 0 0 25 0 1 0 205707173 98934784 20387 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497273 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 24154 20387 414 55 0 23046 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 96616 [startup+170.097 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10936 /proc/meminfo: memFree=1557760/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=96616 CPUtime=170.03 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 26111 0 0 0 16977 26 0 0 25 0 1 0 205707173 98934784 20415 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159168796 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 24154 20415 414 55 0 23046 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 96616 [startup+180.103 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10936 /proc/meminfo: memFree=1556672/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=98556 CPUtime=180.04 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 110267 0 0 0 17944 60 0 0 25 0 1 0 205707173 100921344 20657 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159197435 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 24639 20657 434 55 0 23531 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 98556 [startup+190.109 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10936 /proc/meminfo: memFree=1572544/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=70344 CPUtime=190.04 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 143172 0 0 0 18931 73 0 0 25 0 1 0 205707173 72032256 16724 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134678412 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 17586 16724 434 55 0 16478 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 70344 [startup+200.115 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10936 /proc/meminfo: memFree=1571648/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=71192 CPUtime=200.05 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 245277 0 0 0 19889 116 0 0 25 0 1 0 205707173 72900608 16936 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158414166 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 17798 16936 434 55 0 16690 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 71192 [startup+210.122 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10936 /proc/meminfo: memFree=1554240/2055920 swapFree=4181448/4192956 ################ # More data... # ################ /proc/10936/statm: 55060 54224 434 55 0 53952 0 Current children cumulated CPU time (s) 1760.51 Current children cumulated vsize (Kb) 220240 [startup+1771.05 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11131 /proc/meminfo: memFree=1420800/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=221296 CPUtime=1770.52 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 330696 0 0 0 176812 240 0 0 25 0 1 0 205707173 226607104 54484 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 55324 54484 434 55 0 54216 0 Current children cumulated CPU time (s) 1770.52 Current children cumulated vsize (Kb) 221296 [startup+1781.06 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11131 /proc/meminfo: memFree=1420800/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=221216 CPUtime=1780.52 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 330696 0 0 0 177812 240 0 0 25 0 1 0 205707173 226525184 54483 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134633165 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 55304 54483 434 55 0 54196 0 Current children cumulated CPU time (s) 1780.52 Current children cumulated vsize (Kb) 221216 [startup+1782.06 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11131 /proc/meminfo: memFree=1420800/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=221348 CPUtime=1781.53 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 330705 0 0 0 177913 240 0 0 25 0 1 0 205707173 226660352 54492 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 55337 54492 434 55 0 54229 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (Kb) 221348 [startup+1783.07 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11131 /proc/meminfo: memFree=1420672/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=221480 CPUtime=1782.53 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 330731 0 0 0 178013 240 0 0 25 0 1 0 205707173 226795520 54518 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550825 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 55370 54518 434 55 0 54262 0 Current children cumulated CPU time (s) 1782.53 Current children cumulated vsize (Kb) 221480 [startup+1784.08 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11131 /proc/meminfo: memFree=1420480/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=221600 CPUtime=1783.54 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 330786 0 0 0 178114 240 0 0 25 0 1 0 205707173 226918400 54573 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 55400 54573 434 55 0 54292 0 Current children cumulated CPU time (s) 1783.54 Current children cumulated vsize (Kb) 221600 [startup+1785.08 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11131 /proc/meminfo: memFree=1420416/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=221732 CPUtime=1784.54 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 330803 0 0 0 178214 240 0 0 25 0 1 0 205707173 227053568 54590 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541640 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 55433 54590 434 55 0 54325 0 Current children cumulated CPU time (s) 1784.54 Current children cumulated vsize (Kb) 221732 [startup+1786.08 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11131 /proc/meminfo: memFree=1420224/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=221860 CPUtime=1785.54 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 330847 0 0 0 178314 240 0 0 25 0 1 0 205707173 227184640 54634 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 55465 54634 434 55 0 54357 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (Kb) 221860 [startup+1787.09 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11131 /proc/meminfo: memFree=1420224/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=221860 CPUtime=1786.55 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 330852 0 0 0 178415 240 0 0 25 0 1 0 205707173 227184640 54639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718209 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 55465 54639 434 55 0 54357 0 Current children cumulated CPU time (s) 1786.55 Current children cumulated vsize (Kb) 221860 [startup+1788.09 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11131 /proc/meminfo: memFree=1420032/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=222124 CPUtime=1787.55 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 330898 0 0 0 178515 240 0 0 25 0 1 0 205707173 227454976 54685 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 55531 54685 434 55 0 54423 0 Current children cumulated CPU time (s) 1787.55 Current children cumulated vsize (Kb) 222124 [startup+1789.1 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11131 /proc/meminfo: memFree=1419904/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=222256 CPUtime=1788.56 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 330932 0 0 0 178616 240 0 0 25 0 1 0 205707173 227590144 54719 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 55564 54719 434 55 0 54456 0 Current children cumulated CPU time (s) 1788.56 Current children cumulated vsize (Kb) 222256 [startup+1790.1 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11131 /proc/meminfo: memFree=1419904/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=222256 CPUtime=1789.56 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 330934 0 0 0 178716 240 0 0 25 0 1 0 205707173 227590144 54721 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 55564 54721 434 55 0 54456 0 Current children cumulated CPU time (s) 1789.56 Current children cumulated vsize (Kb) 222256 [startup+1791.11 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11131 /proc/meminfo: memFree=1419648/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=222384 CPUtime=1790.58 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 330983 0 0 0 178817 241 0 0 25 0 1 0 205707173 227721216 54770 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 55596 54770 434 55 0 54488 0 Current children cumulated CPU time (s) 1790.58 Current children cumulated vsize (Kb) 222384 [startup+1792.11 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11131 /proc/meminfo: memFree=1419584/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=222500 CPUtime=1791.58 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 331012 0 0 0 178917 241 0 0 25 0 1 0 205707173 227840000 54799 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 55625 54799 434 55 0 54517 0 Current children cumulated CPU time (s) 1791.58 Current children cumulated vsize (Kb) 222500 [startup+1793.12 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11131 /proc/meminfo: memFree=1419456/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=222632 CPUtime=1792.58 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 331032 0 0 0 179017 241 0 0 25 0 1 0 205707173 227975168 54819 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 55658 54819 434 55 0 54550 0 Current children cumulated CPU time (s) 1792.58 Current children cumulated vsize (Kb) 222632 [startup+1794.12 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11131 /proc/meminfo: memFree=1419328/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=222744 CPUtime=1793.58 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 331067 0 0 0 179117 241 0 0 25 0 1 0 205707173 228089856 54854 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 55686 54854 434 55 0 54578 0 Current children cumulated CPU time (s) 1793.58 Current children cumulated vsize (Kb) 222744 [startup+1795.13 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11131 /proc/meminfo: memFree=1419328/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=222744 CPUtime=1794.59 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 331067 0 0 0 179218 241 0 0 25 0 1 0 205707173 228089856 54854 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 55686 54854 434 55 0 54578 0 Current children cumulated CPU time (s) 1794.59 Current children cumulated vsize (Kb) 222744 [startup+1796.13 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11131 /proc/meminfo: memFree=1419328/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=222744 CPUtime=1795.59 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 331067 0 0 0 179318 241 0 0 25 0 1 0 205707173 228089856 54854 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 55686 54854 434 55 0 54578 0 Current children cumulated CPU time (s) 1795.59 Current children cumulated vsize (Kb) 222744 [startup+1797.14 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11131 /proc/meminfo: memFree=1419328/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=222744 CPUtime=1796.6 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 331067 0 0 0 179419 241 0 0 25 0 1 0 205707173 228089856 54854 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 55686 54854 434 55 0 54578 0 Current children cumulated CPU time (s) 1796.6 Current children cumulated vsize (Kb) 222744 [startup+1798.14 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11131 /proc/meminfo: memFree=1419328/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=222744 CPUtime=1797.6 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 331067 0 0 0 179519 241 0 0 25 0 1 0 205707173 228089856 54854 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 55686 54854 434 55 0 54578 0 Current children cumulated CPU time (s) 1797.6 Current children cumulated vsize (Kb) 222744 [startup+1799.15 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11131 /proc/meminfo: memFree=1419328/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=222744 CPUtime=1798.6 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 331067 0 0 0 179619 241 0 0 25 0 1 0 205707173 228089856 54854 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628628 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 55686 54854 434 55 0 54578 0 Current children cumulated CPU time (s) 1798.6 Current children cumulated vsize (Kb) 222744 [startup+1800.15 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11131 /proc/meminfo: memFree=1419200/2055920 swapFree=4181448/4192956 [pid=10936] ppid=10934 vsize=222876 CPUtime=1799.61 /proc/10936/stat : 10936 (bsolo) R 10934 10936 10890 0 -1 0 331102 0 0 0 179720 241 0 0 25 0 1 0 205707173 228225024 54889 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540599 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10936/statm: 55719 54889 434 55 0 54611 0 Current children cumulated CPU time (s) 1799.61 Current children cumulated vsize (Kb) 222876 Child status: 10 Real time (s): 1800.6 CPU time (s): 1800.06 CPU user time (s): 1797.61 CPU system time (s): 2.45563 CPU usage (%): 99.9703 Max. virtual memory (cumulated for all children) (Kb): 222876
Begin job on node14 on Sun Jun 4 05:54:04 UTC 2006 FILE ID= 40259-1149400444 PBS_JOBID= 313981 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data10_3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node14/40259-1149400444/instance-40259-1149400444.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-40259-1149400444 -o ROOT/results/node14/solver-40259-1149400444 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node14/40259-1149400444/instance-40259-1149400444.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= dccfffd22c38fcd3c497d688dab4b7a4 RANDOM SEED= 390912740 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.241 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.241 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1637960 kB Buffers: 23884 kB Cached: 328432 kB SwapCached: 3188 kB Active: 92404 kB Inactive: 268672 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1637960 kB SwapTotal: 4192956 kB SwapFree: 4181448 kB Dirty: 160 kB Writeback: 0 kB Mapped: 14740 kB Slab: 42952 kB Committed_AS: 397396 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node14 on Sun Jun 4 06:24:05 UTC 2006