| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| bsolo 2006/05 | Signal | 1130.72 | 1131.15 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_2.opb |
| MD5SUM | 031b0f629913e7cd5c934f00ec1a1885 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 26.6819 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 1 |
| Optimality of the best value was proved | YES |
| Number of variables | 94 |
| Total number of constraints | 8 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 8 |
| Minimum length of a constraint | 44 |
| Maximum length of a constraint | 46 |
| Number of terms in the objective function | 64 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 2040 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 808 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 2934 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.02 c Initial problem consists of 94 variables and 8 constraints. 0.02 c No problem reductions applied in OPT. instance. 0.02 c preprocess terminated. Elapsed time: 0.004 0.02 c After prepocess the problem consists of 94 variables and 8 constraints. 0.02 c Initial Lower Bound: 0 0.02 c Restart #1 #Var: 94 LB: 0 @ 0.011 0.04 c Restart #2 #Var: 94 LB: 0 @ 0.025 0.06 c Restart #3 #Var: 94 LB: 0 @ 0.047 0.09 c Restart #4 #Var: 94 LB: 0 @ 0.077 0.13 c Restart #5 #Var: 94 LB: 0 @ 0.112 0.16 c Restart #6 #Var: 94 LB: 0 @ 0.147 0.20 c Restart #7 #Var: 94 LB: 0 @ 0.189 0.27 c Restart #8 #Var: 94 LB: 0 @ 0.255 0.30 c Sol. found (all assignments made)... 0.30 o 1110 0.30 c NEW SOLUTION FOUND: 1110 @ 0.285 0.30 c Sol. found (all assignments made)... 0.30 o 1046 0.30 c NEW SOLUTION FOUND: 1046 @ 0.285 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 o 1014 0.30 c NEW SOLUTION FOUND: 1014 @ 0.285 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 o 998 0.30 c NEW SOLUTION FOUND: 998 @ 0.286 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 o 990 0.30 c NEW SOLUTION FOUND: 990 @ 0.287 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 o 986 0.31 c NEW SOLUTION FOUND: 986 @ 0.296 0.33 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 o 984 0.35 c NEW SOLUTION FOUND: 984 @ 0.342 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 o 970 0.39 c NEW SOLUTION FOUND: 970 @ 0.376 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 o 968 0.39 c NEW SOLUTION FOUND: 968 @ 0.381 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 o 962 0.41 c NEW SOLUTION FOUND: 962 @ 0.399 0.41 c Sol. found (all assignments made)... 0.41 o 960 0.41 c NEW SOLUTION FOUND: 960 @ 0.402 0.43 c Sol. found (all assignments made)... 0.43 o 958 0.43 c NEW SOLUTION FOUND: 958 @ 0.415 0.43 c Sol. found (all assignments made)... 0.43 o 956 0.43 c NEW SOLUTION FOUND: 956 @ 0.42 0.45 c Sol. found (all assignments made)... 0.45 o 928 0.45 c NEW SOLUTION FOUND: 928 @ 0.434 0.45 c Sol. found (all assignments made)... 0.45 o 864 0.45 c NEW SOLUTION FOUND: 864 @ 0.434 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 o 860 0.45 c NEW SOLUTION FOUND: 860 @ 0.439 0.45 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.47 o 828 0.47 c NEW SOLUTION FOUND: 828 @ 0.453 0.47 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 o 798 0.51 c NEW SOLUTION FOUND: 798 @ 0.502 0.52 c Sol. found (all assignments made)... 0.52 o 794 0.52 c NEW SOLUTION FOUND: 794 @ 0.503 0.52 c Sol. found (all assignments made)... 0.52 o 792 0.52 c NEW SOLUTION FOUND: 792 @ 0.503 0.52 c Sol. found (all assignments made)... 0.52 o 778 0.52 c NEW SOLUTION FOUND: 778 @ 0.506 0.52 c Sol. found (all assignments made)... 0.52 o 774 0.52 c NEW SOLUTION FOUND: 774 @ 0.507 0.52 c Sol. found (all assignments made)... 0.52 o 772 0.52 c NEW SOLUTION FOUND: 772 @ 0.507 0.52 c Sol. found (all assignments made)... 0.52 o 770 0.52 c NEW SOLUTION FOUND: 770 @ 0.508 0.52 c Sol. found (all assignments made)... 0.52 o 766 0.52 c NEW SOLUTION FOUND: 766 @ 0.508 0.52 c Sol. found (all assignments made)... 0.52 o 764 0.52 c NEW SOLUTION FOUND: 764 @ 0.509 0.52 c Sol. found (all assignments made)... 0.52 o 762 0.52 c NEW SOLUTION FOUND: 762 @ 0.509 0.52 c Sol. found (all assignments made)... 0.52 o 760 0.52 c NEW SOLUTION FOUND: 760 @ 0.51 0.53 c Sol. found (all assignments made)... 0.53 o 736 0.53 c NEW SOLUTION FOUND: 736 @ 0.517 0.53 c Sol. found (all assignments made)... 0.53 o 734 0.53 c NEW SOLUTION FOUND: 734 @ 0.518 0.53 c Sol. found (all assignments made)... 0.53 o 732 0.53 c NEW SOLUTION FOUND: 732 @ 0.52 0.54 c Sol. found (all assignments made)... 0.54 o 702 0.54 c NEW SOLUTION FOUND: 702 @ 0.522 0.54 c Sol. found (all assignments made)... 0.54 o 700 0.54 c NEW SOLUTION FOUND: 700 @ 0.523 0.55 c Sol. found (all assignments made)... 0.55 o 698 0.55 c NEW SOLUTION FOUND: 698 @ 0.534 0.55 c Sol. found (all assignments made)... 0.55 o 696 0.55 c NEW SOLUTION FOUND: 696 @ 0.534 0.55 c Sol. found (all assignments made)... 0.55 o 654 0.55 c NEW SOLUTION FOUND: 654 @ 0.536 0.55 c Sol. found (all assignments made)... 0.55 o 652 0.55 c NEW SOLUTION FOUND: 652 @ 0.538 0.55 c Sol. found (all assignments made)... 0.55 o 638 0.55 c NEW SOLUTION FOUND: 638 @ 0.542 0.56 c Sol. found (all assignments made)... 0.56 o 636 0.56 c NEW SOLUTION FOUND: 636 @ 0.543 0.57 c Sol. found (all assignments made)... 0.57 o 622 0.57 c NEW SOLUTION FOUND: 622 @ 0.558 0.57 c Sol. found (all assignments made)... 0.57 o 620 0.57 c NEW SOLUTION FOUND: 620 @ 0.559 0.58 c Sol. found (all assignments made)... 0.58 o 610 0.58 c NEW SOLUTION FOUND: 610 @ 0.571 0.58 c Sol. found (all assignments made)... 0.58 o 606 0.58 c NEW SOLUTION FOUND: 606 @ 0.571 0.59 c Sol. found (all assignments made)... 0.59 o 604 0.59 c NEW SOLUTION FOUND: 604 @ 0.573 0.59 c Sol. found (all assignments made)... 0.59 o 592 0.59 c NEW SOLUTION FOUND: 592 @ 0.577 0.59 c Sol. found (all assignments made)... 0.59 o 588 0.59 c NEW SOLUTION FOUND: 588 @ 0.577 0.61 c Sol. found (all assignments made)... 0.61 o 586 0.61 c NEW SOLUTION FOUND: 586 @ 0.598 0.80 c Sol. found (all assignments made)... 0.80 o 582 0.80 c NEW SOLUTION FOUND: 582 @ 0.783 0.80 c Sol. found (all assignments made)... 0.81 c Sol. found (all assignments made)... 0.81 c Sol. found (all assignments made)... 0.81 o 580 0.81 c NEW SOLUTION FOUND: 580 @ 0.797 0.81 c Sol. found (all assignments made)... 0.81 c Sol. found (all assignments made)... 0.81 o 578 0.81 c NEW SOLUTION FOUND: 578 @ 0.8 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 o 576 0.95 c NEW SOLUTION FOUND: 576 @ 0.939 0.95 c Sol. found (all assignments made)... 0.95 o 574 0.95 c NEW SOLUTION FOUND: 574 @ 0.941 1.23 c Restart #9 #Var: 94 LB: 0 @ 1.217 1.67 c Restart #10 #Var: 94 LB: 0 @ 1.662 1.73 c Sol. found (all assignments made)... 1.73 o 572 1.73 c NEW SOLUTION FOUND: 572 @ 1.716 1.87 c Sol. found (all assignments made)... 1.87 o 569 1.87 c NEW SOLUTION FOUND: 569 @ 1.855 1.87 c Sol. found (all assignments made)... 1.87 o 317 1.87 c NEW SOLUTION FOUND: 317 @ 1.856 1.87 c Sol. found (all assignments made)... 1.87 o 313 1.87 c NEW SOLUTION FOUND: 313 @ 1.857 1.87 c Sol. found (all assignments made)... 1.87 o 309 1.87 c NEW SOLUTION FOUND: 309 @ 1.858 2.09 c Sol. found (all assignments made)... 2.09 o 307 2.09 c NEW SOLUTION FOUND: 307 @ 2.079 2.52 c Sol. found (all assignments made)... 2.52 o 306 2.52 c NEW SOLUTION FOUND: 306 @ 2.508 2.52 c Sol. found (all assignments made)... 2.53 c Sol. found (all assignments made)... 2.53 c Sol. found (all assignments made)... 2.53 o 304 2.53 c NEW SOLUTION FOUND: 304 @ 2.513 2.65 c Sol. found (all assignments made)... 2.65 o 302 2.65 c NEW SOLUTION FOUND: 302 @ 2.636 2.74 c Sol. found (all assignments made)... 2.77 c Sol. found (all assignments made)... 2.77 o 294 2.77 c NEW SOLUTION FOUND: 294 @ 2.762 2.78 c Sol. found (all assignments made)... 2.78 o 290 2.78 c NEW SOLUTION FOUND: 290 @ 2.762 2.78 c Sol. found (all assignments made)... 2.78 o 288 2.78 c NEW SOLUTION FOUND: 288 @ 2.765 2.81 c Sol. found (all assignments made)... 2.81 o 278 2.81 c NEW SOLUTION FOUND: 278 @ 2.798 2.81 c Sol. found (all assignments made)... 2.81 o 276 2.81 c NEW SOLUTION FOUND: 276 @ 2.798 2.81 c Sol. found (all assignments made)... 2.81 o 274 2.81 c NEW SOLUTION FOUND: 274 @ 2.8 2.92 c Sol. found (all assignments made)... 2.92 o 272 2.92 c NEW SOLUTION FOUND: 272 @ 2.909 3.08 c Sol. found (all assignments made)... 3.08 o 268 3.08 c NEW SOLUTION FOUND: 268 @ 3.068 3.08 c Sol. found (all assignments made)... 3.08 o 266 3.08 c NEW SOLUTION FOUND: 266 @ 3.069 3.08 c Sol. found (all assignments made)... 3.08 o 262 3.08 c NEW SOLUTION FOUND: 262 @ 3.07 3.10 c Sol. found (all assignments made)... 3.10 o 256 3.10 c NEW SOLUTION FOUND: 256 @ 3.083 3.22 c Sol. found (all assignments made)... 3.22 o 255 3.22 c NEW SOLUTION FOUND: 255 @ 3.203 3.22 c Sol. found (all assignments made)... 3.22 o 253 3.22 c NEW SOLUTION FOUND: 253 @ 3.206 3.32 c Sol. found (all assignments made)... 3.32 o 251 3.32 c NEW SOLUTION FOUND: 251 @ 3.311 3.33 c Sol. found (all assignments made)... 3.33 o 247 3.33 c NEW SOLUTION FOUND: 247 @ 3.321 3.33 c Sol. found (all assignments made)... 3.33 o 245 3.33 c NEW SOLUTION FOUND: 245 @ 3.322 3.34 c Sol. found (all assignments made)... 3.34 o 243 3.34 c NEW SOLUTION FOUND: 243 @ 3.326 3.36 c Sol. found (all assignments made)... 3.36 o 241 3.36 c NEW SOLUTION FOUND: 241 @ 3.349 3.44 c Sol. found (all assignments made)... 3.44 o 240 3.44 c NEW SOLUTION FOUND: 240 @ 3.426 3.44 c Sol. found (all assignments made)... 3.44 o 238 3.44 c NEW SOLUTION FOUND: 238 @ 3.428 3.44 c Sol. found (all assignments made)... 3.44 o 236 3.44 c NEW SOLUTION FOUND: 236 @ 3.429 3.44 c Sol. found (all assignments made)... 3.44 o 234 3.44 c NEW SOLUTION FOUND: 234 @ 3.429 3.49 c Sol. found (all assignments made)... 3.49 o 227 3.49 c NEW SOLUTION FOUND: 227 @ 3.474 3.49 c Sol. found (all assignments made)... 3.49 o 225 3.49 c NEW SOLUTION FOUND: 225 @ 3.479 3.58 c Sol. found (all assignments made)... 3.58 o 223 3.58 c NEW SOLUTION FOUND: 223 @ 3.567 3.58 c Sol. found (all assignments made)... 3.58 o 217 3.58 c NEW SOLUTION FOUND: 217 @ 3.568 3.58 c Sol. found (all assignments made)... 3.58 o 215 3.58 c NEW SOLUTION FOUND: 215 @ 3.569 3.58 c Sol. found (all assignments made)... 3.58 o 213 3.58 c NEW SOLUTION FOUND: 213 @ 3.57 3.59 c Sol. found (all assignments made)... 3.59 o 211 3.59 c NEW SOLUTION FOUND: 211 @ 3.581 3.65 c Sol. found (all assignments made)... 3.65 o 201 3.65 c NEW SOLUTION FOUND: 201 @ 3.638 3.65 c Sol. found (all assignments made)... 3.65 o 199 3.65 c NEW SOLUTION FOUND: 199 @ 3.638 3.65 c Sol. found (all assignments made)... 3.65 o 197 3.65 c NEW SOLUTION FOUND: 197 @ 3.639 3.67 c Sol. found (all assignments made)... 3.67 o 195 3.67 c NEW SOLUTION FOUND: 195 @ 3.654 4.23 c Sol. found (all assignments made)... 4.23 o 191 4.23 c NEW SOLUTION FOUND: 191 @ 4.206 4.40 c Sol. found (all assignments made)... 4.40 o 190 4.40 c NEW SOLUTION FOUND: 190 @ 4.382 4.40 c Sol. found (all assignments made)... 4.40 o 188 4.40 c NEW SOLUTION FOUND: 188 @ 4.382 4.42 c Sol. found (all assignments made)... 4.42 o 186 4.42 c NEW SOLUTION FOUND: 186 @ 4.397 4.42 c Sol. found (all assignments made)... 4.42 o 184 4.42 c NEW SOLUTION FOUND: 184 @ 4.398 4.42 c Sol. found (all assignments made)... 4.42 o 182 4.42 c NEW SOLUTION FOUND: 182 @ 4.398 4.43 c Sol. found (all assignments made)... 4.43 o 180 4.43 c NEW SOLUTION FOUND: 180 @ 4.409 4.45 c Sol. found (all assignments made)... 4.45 o 178 4.45 c NEW SOLUTION FOUND: 178 @ 4.425 4.82 c Sol. found (all assignments made)... 4.82 o 175 4.82 c NEW SOLUTION FOUND: 175 @ 4.795 4.82 c Sol. found (all assignments made)... 4.82 o 171 4.82 c NEW SOLUTION FOUND: 171 @ 4.795 4.83 c Sol. found (all assignments made)... 4.83 o 169 4.83 c NEW SOLUTION FOUND: 169 @ 4.811 4.85 c Sol. found (all assignments made)... 4.85 o 159 4.85 c NEW SOLUTION FOUND: 159 @ 4.829 4.85 c Sol. found (all assignments made)... 4.85 o 155 4.85 c NEW SOLUTION FOUND: 155 @ 4.829 4.89 c Sol. found (all assignments made)... 4.89 o 151 4.89 c NEW SOLUTION FOUND: 151 @ 4.864 8.04 c Restart #11 #Var: 94 LB: 0 @ 8 11.63 c Restart #12 #Var: 94 LB: 0 @ 11.586 15.28 c Restart #13 #Var: 94 LB: 0 @ 15.24 18.81 c Sol. found (all assignments made)... 18.82 c Sol. found (all assignments made)... 19.49 c Restart #14 #Var: 94 LB: 0 @ 19.419 23.14 c CHANGE to MIS mode... UB: 151 MIS: 0 LPR: 0 (0.007) Diff: nan 23.14 c Restart #0 #Var: 94 LB: 0 @ 23.026 23.24 c Restart #1 #Var: 94 LB: 0 @ 23.134 23.51 c Restart #2 #Var: 94 LB: 0 @ 23.404 24.19 c Restart #3 #Var: 94 LB: 0 @ 24.079 25.07 c Restart #4 #Var: 94 LB: 0 @ 24.964 26.02 c Restart #5 #Var: 94 LB: 0 @ 25.912 27.26 c Restart #6 #Var: 94 LB: 0 @ 27.153 28.87 c Restart #7 #Var: 94 LB: 0 @ 28.755 31.55 c Restart #8 #Var: 94 LB: 0 @ 31.443 33.15 c Sol. found (all assignments made)... 33.15 c Sol. found (all assignments made)... 33.15 o 150 33.15 c NEW SOLUTION FOUND: 150 @ 33.035 36.72 c Restart #9 #Var: 94 LB: 0 @ 36.61 39.94 c Restart #10 #Var: 94 LB: 0 @ 39.828 41.69 c Sol. found (all assignments made)... 41.69 c Sol. found (all assignments made)... 41.76 c Sol. found (all assignments made)... 41.76 c Sol. found (all assignments made)... 41.76 c Sol. found (all assignments made)... 41.76 c Sol. found (all assignments made)... 41.76 o 148 41.76 c NEW SOLUTION FOUND: 148 @ 41.648 41.84 c Sol. found (all assignments made)... 41.84 o 144 41.84 c NEW SOLUTION FOUND: 144 @ 41.724 41.84 c Sol. found (all assignments made)... 41.84 o 140 41.84 c NEW SOLUTION FOUND: 140 @ 41.725 41.84 c Sol. found (all assignments made)... 41.85 c Sol. found (all assignments made)... 41.85 c Sol. found (all assignments made)... 41.85 o 136 41.85 c NEW SOLUTION FOUND: 136 @ 41.734 41.85 c Sol. found (all assignments made)... 42.41 c Sol. found (all assignments made)... 42.41 o 135 42.41 c NEW SOLUTION FOUND: 135 @ 42.3 42.42 c Sol. found (all assignments made)... 42.42 o 133 42.42 c NEW SOLUTION FOUND: 133 @ 42.301 42.42 c Sol. found (all assignments made)... 42.42 o 129 42.42 c NEW SOLUTION FOUND: 129 @ 42.308 42.43 c Sol. found (all assignments made)... 42.43 o 125 42.43 c NEW SOLUTION FOUND: 125 @ 42.32 42.45 c Sol. found (all assignments made)... 42.45 o 123 42.45 c NEW SOLUTION FOUND: 123 @ 42.338 44.47 c Restart #11 #Var: 94 LB: 0 @ 44.358 46.44 c Sol. found (all assignments made)... 46.44 o 121 46.44 c NEW SOLUTION FOUND: 121 @ 46.323 49.03 c Sol. found (all assignments made)... 49.03 o 120 49.03 c NEW SOLUTION FOUND: 120 @ 48.918 51.87 c Sol. found (all assignments made)... 51.87 o 117 51.87 c NEW SOLUTION FOUND: 117 @ 51.754 56.71 c Sol. found (all assignments made)... 56.71 o 115 56.71 c NEW SOLUTION FOUND: 115 @ 56.596 58.14 c Sol. found (all assignments made)... 58.14 o 110 58.14 c NEW SOLUTION FOUND: 110 @ 58.026 63.49 c Restart #12 #Var: 89 LB: 0 @ 63.369 64.09 c Sol. found (all assignments made)... 64.09 o 107 64.09 c NEW SOLUTION FOUND: 107 @ 63.973 64.19 c Sol. found (all assignments made)... 64.19 o 97 64.19 c NEW SOLUTION FOUND: 97 @ 64.071 64.20 c Sol. found (all assignments made)... 64.20 o 93 64.20 c NEW SOLUTION FOUND: 93 @ 64.076 64.20 c Sol. found (all assignments made)... 64.20 o 91 64.20 c NEW SOLUTION FOUND: 91 @ 64.078 64.21 c Sol. found (all assignments made)... 64.21 o 87 64.21 c NEW SOLUTION FOUND: 87 @ 64.088 66.83 c Restart #13 #Var: 88 LB: 0 @ 66.705 71.76 c Restart #14 #Var: 88 LB: 0 @ 71.641 75.73 c Restart #15 #Var: 88 LB: 0 @ 75.608 77.91 c Sol. found (all assignments made)... 77.91 o 86 77.91 c NEW SOLUTION FOUND: 86 @ 77.786 79.13 c Sol. found (all assignments made)... 79.13 o 83 79.13 c NEW SOLUTION FOUND: 83 @ 79.008 79.13 c Sol. found (all assignments made)... 79.13 o 81 79.13 c NEW SOLUTION FOUND: 81 @ 79.009 79.13 c Sol. found (all assignments made)... 79.13 o 77 79.13 c NEW SOLUTION FOUND: 77 @ 79.01 79.14 c Sol. found (all assignments made)... 79.14 o 75 79.14 c NEW SOLUTION FOUND: 75 @ 79.01 79.14 c Sol. found (all assignments made)... 79.14 o 71 79.14 c NEW SOLUTION FOUND: 71 @ 79.01 79.16 c Sol. found (all assignments made)... 79.16 o 69 79.16 c NEW SOLUTION FOUND: 69 @ 79.031 79.21 c Sol. found (all assignments made)... 79.21 o 67 79.21 c NEW SOLUTION FOUND: 67 @ 79.087 79.23 c Sol. found (all assignments made)... 79.23 o 65 79.23 c NEW SOLUTION FOUND: 65 @ 79.104 79.47 c Sol. found (all assignments made)... 79.47 o 63 79.47 c NEW SOLUTION FOUND: 63 @ 79.344 85.20 c Restart #16 #Var: 84 LB: 0 @ 85.075 88.99 c Sol. found (all assignments made)... 88.99 c Sol. found (all assignments made)... 88.99 o 61 88.99 c NEW SOLUTION FOUND: 61 @ 88.857 88.99 c Sol. found (all assignments made)... 88.99 o 59 88.99 c NEW SOLUTION FOUND: 59 @ 88.857 89.00 c Sol. found (all assignments made)... 89.00 o 55 89.00 c NEW SOLUTION FOUND: 55 @ 88.869 89.00 c Sol. found (all assignments made)... 90.65 c Sol. found (all assignments made)... 90.65 o 40 90.65 c NEW SOLUTION FOUND: 40 @ 90.518 90.65 c Sol. found (all assignments made)... 90.65 o 38 90.65 c NEW SOLUTION FOUND: 38 @ 90.518 90.78 c Sol. found (all assignments made)... 90.78 o 34 90.78 c NEW SOLUTION FOUND: 34 @ 90.644 90.78 c Sol. found (all assignments made)... 90.78 o 32 90.78 c NEW SOLUTION FOUND: 32 @ 90.644 91.50 c Sol. found (all assignments made)... 91.52 c Sol. found (all assignments made)... 91.52 c Sol. found (all assignments made)... 91.52 o 30 91.52 c NEW SOLUTION FOUND: 30 @ 91.384 92.82 c Sol. found (all assignments made)... 92.82 o 28 92.82 c NEW SOLUTION FOUND: 28 @ 92.687 92.82 c Sol. found (all assignments made)... 92.82 o 26 92.82 c NEW SOLUTION FOUND: 26 @ 92.688 93.73 c Sol. found (all assignments made)... 93.73 c Sol. found (all assignments made)... 94.35 c Restart #17 #Var: 74 LB: 0 @ 94.212 95.09 c Sol. found (all assignments made)... 95.09 c Sol. found (all assignments made)... 95.35 c Restart #18 #Var: 74 LB: 0 @ 95.215 96.07 c Restart #19 #Var: 74 LB: 0 @ 95.932 96.80 c Restart #20 #Var: 74 LB: 0 @ 96.663 97.64 c Sol. found (all assignments made)... 97.64 c Sol. found (all assignments made)... 97.64 o 24 97.64 c NEW SOLUTION FOUND: 24 @ 97.509 97.65 c Sol. found (all assignments made)... 97.65 o 22 97.65 c NEW SOLUTION FOUND: 22 @ 97.515 98.36 c Sol. found (all assignments made)... 98.37 c Sol. found (all assignments made)... 99.15 c Sol. found (all assignments made)... 99.15 c Sol. found (all assignments made)... 99.42 c Sol. found (all assignments made)... 99.42 o 18 99.42 c NEW SOLUTION FOUND: 18 @ 99.288 99.54 c Sol. found (all assignments made)... 99.54 o 15 99.54 c NEW SOLUTION FOUND: 15 @ 99.409 100.19 c Sol. found (all assignments made)... 100.19 c Sol. found (all assignments made)... 100.19 o 14 100.19 c NEW SOLUTION FOUND: 14 @ 100.06 101.33 c Restart #21 #Var: 62 LB: 0 @ 101.19 102.33 c Restart #22 #Var: 62 LB: 0 @ 102.19 102.66 c Sol. found (all assignments made)... 102.71 c Sol. found (all assignments made)... 102.71 o 13 102.71 c NEW SOLUTION FOUND: 13 @ 102.57 102.76 c Sol. found (all assignments made)... 102.76 o 12 102.76 c NEW SOLUTION FOUND: 12 @ 102.63 102.92 c Sol. found (all assignments made)... 102.92 c Sol. found (all assignments made)... 102.92 c Sol. found (all assignments made)... 102.99 c Sol. found (all assignments made)... 103.00 c Sol. found (all assignments made)... 103.00 o 11 103.00 c NEW SOLUTION FOUND: 11 @ 102.86 103.00 c Sol. found (all assignments made)... 103.00 o 9 103.00 c NEW SOLUTION FOUND: 9 @ 102.86 104.01 c Restart #23 #Var: 62 LB: 0 @ 103.88 105.44 c Restart #24 #Var: 62 LB: 0 @ 105.3 105.70 c Sol. found (all assignments made)... 105.97 c Sol. found (all assignments made)... 106.67 c Sol. found (all assignments made)... 106.67 o 7 106.67 c NEW SOLUTION FOUND: 7 @ 106.53 106.69 c Sol. found (all assignments made)... 106.69 o 4 106.69 c NEW SOLUTION FOUND: 4 @ 106.56 107.09 c Sol. found (all assignments made)... 107.09 c Sol. found (all assignments made)... 107.94 c Restart #25 #Var: 58 LB: 0 @ 107.8 108.74 c Restart #26 #Var: 56 LB: 0 @ 108.6 109.70 c Restart #27 #Var: 55 LB: 0 @ 109.56 111.10 c Restart #28 #Var: 55 LB: 0 @ 110.96 112.15 c Restart #29 #Var: 55 LB: 0 @ 112.01 113.26 c Restart #30 #Var: 55 LB: 0 @ 113.12 115.55 c Restart #31 #Var: 55 LB: 0 @ 115.41 116.17 c Sol. found (all assignments made)... 116.54 c Restart #32 #Var: 54 LB: 0 @ 116.4 117.35 c Restart #33 #Var: 54 LB: 0 @ 117.21 118.37 c Restart #34 #Var: 54 LB: 0 @ 118.23 119.50 c Restart #35 #Var: 54 LB: 0 @ 119.36 120.99 c Restart #36 #Var: 52 LB: 0 @ 120.85 122.21 c Restart #37 #Var: 52 LB: 0 @ 122.06 123.34 c Restart #38 #Var: 52 LB: 0 @ 123.2 124.52 c Restart #39 #Var: 52 LB: 0 @ 124.38 126.01 c Restart #40 #Var: 51 LB: 0 @ 125.86 127.32 c Restart #41 #Var: 51 LB: 0 @ 127.18 129.01 c Restart #42 #Var: 51 LB: 0 @ 128.87 131.11 c Restart #43 #Var: 51 LB: 0 @ 130.97 133.51 c Restart #44 #Var: 50 LB: 0 @ 133.36 136.01 c Sol. found (all assignments made)... 136.01 c Sol. found (all assignments made)... 136.01 c Sol. found (all assignments made)... 136.01 o 2 136.01 c NEW SOLUTION FOUND: 2 @ 135.86 139.22 c Restart #45 #Var: 50 LB: 0 @ 139.07 141.38 c Restart #46 #Var: 50 LB: 0 @ 141.23 143.55 c Restart #47 #Var: 50 LB: 0 @ 143.41 146.05 c Restart #48 #Var: 50 LB: 0 @ 145.9 148.43 c Restart #49 #Var: 50 LB: 0 @ 148.28 154.33 c Restart #50 #Var: 50 LB: 0 @ 154.18 161.10 c Restart #51 #Var: 50 LB: 0 @ 160.95 163.86 c Sol. found (all assignments made)... 164.61 c Restart #52 #Var: 50 LB: 0 @ 164.46 167.74 c Restart #53 #Var: 50 LB: 0 @ 167.59 172.43 c Restart #54 #Var: 49 LB: 0 @ 172.27 173.02 c Sol. found (all assignments made)... 175.95 c Restart #55 #Var: 49 LB: 0 @ 175.79 179.49 c Restart #56 #Var: 49 LB: 0 @ 179.33 183.02 c Restart #57 #Var: 48 LB: 0 @ 182.86 184.90 c Restart #58 #Var: 48 LB: 0 @ 184.74 185.37 c Sol. found (all assignments made)... 185.39 c Sol. found (all assignments made)... 188.19 c Restart #59 #Var: 47 LB: 0 @ 188.03 191.02 c Restart #60 #Var: 47 LB: 0 @ 190.86 193.35 c Restart #61 #Var: 47 LB: 0 @ 193.19 195.06 c Sol. found (all assignments made)... 196.01 c Restart #62 #Var: 47 LB: 0 @ 195.85 198.80 c Restart #63 #Var: 47 LB: 0 @ 198.64 200.29 c Sol. found (all assignments made)... 201.71 c Restart #64 #Var: 47 LB: 0 @ 201.54 204.54 c Restart #65 #Var: 47 LB: 0 @ 204.38 207.73 c Restart #66 #Var: 47 LB: 0 @ 207.56 211.73 c Restart #67 #Var: 47 LB: 0 @ 211.56 217.17 c Restart #68 #Var: 47 LB: 0 @ 217 220.25 c Sol. found (all assignments made)... 220.25 c Sol. found (all assignments made)... 220.25 o 1 220.25 c NEW SOLUTION FOUND: 1 @ 220.08 226.55 c Restart #69 #Var: 45 LB: 0 @ 226.38 230.29 c Restart #70 #Var: 45 LB: 0 @ 230.12 234.40 c Restart #71 #Var: 45 LB: 0 @ 234.23 239.69 c Restart #72 #Var: 45 LB: 0 @ 239.51 244.68 c Restart #73 #Var: 45 LB: 0 @ 244.5 250.04 c Restart #74 #Var: 45 LB: 0 @ 249.86 256.83 c Restart #75 #Var: 45 LB: 0 @ 256.65 262.55 c Restart #76 #Var: 45 LB: 0 @ 262.36 269.09 c Restart #77 #Var: 45 LB: 0 @ 268.91 274.12 c Restart #78 #Var: 45 LB: 0 @ 273.94 279.18 c Restart #79 #Var: 45 LB: 0 @ 278.99 284.92 c Restart #80 #Var: 45 LB: 0 @ 284.73 290.61 c Restart #81 #Var: 45 LB: 0 @ 290.42 295.21 c Restart #82 #Var: 45 LB: 0 @ 295.02 299.63 c Restart #83 #Var: 45 LB: 0 @ 299.44 304.33 c Restart #84 #Var: 45 LB: 0 @ 304.14 309.81 c Restart #85 #Var: 45 LB: 0 @ 309.62 317.54 c Restart #86 #Var: 45 LB: 0 @ 317.34 325.89 c Restart #87 #Var: 45 LB: 0 @ 325.69 342.01 c Restart #88 #Var: 45 LB: 0 @ 341.81 351.59 c Restart #89 #Var: 45 LB: 0 @ 351.38 358.63 c Restart #90 #Var: 45 LB: 0 @ 358.42 365.57 c Restart #91 #Var: 45 LB: 0 @ 365.36 367.11 c Sol. found (all assignments made)... 372.76 c Restart #92 #Var: 45 LB: 0 @ 372.55 379.90 c Restart #93 #Var: 45 LB: 0 @ 379.69 387.80 c Restart #94 #Var: 45 LB: 0 @ 387.59 388.55 c Sol. found (all assignments made)... 395.36 c Restart #95 #Var: 45 LB: 0 @ 395.14 404.19 c Restart #96 #Var: 45 LB: 0 @ 403.97 406.69 c Sol. found (all assignments made)... 415.01 c Sol. found (all assignments made)... 418.19 c Restart #97 #Var: 45 LB: 0 @ 417.97 432.19 c Restart #98 #Var: 45 LB: 0 @ 431.96 445.27 c Restart #99 #Var: 45 LB: 0 @ 445.04 459.67 c Restart #100 #Var: 45 LB: 0 @ 459.43 466.84 c Restart #101 #Var: 45 LB: 0 @ 466.6 474.36 c Restart #102 #Var: 45 LB: 0 @ 474.12 476.46 c Sol. found (all assignments made)... 485.13 c Restart #103 #Var: 45 LB: 0 @ 484.89 501.77 c Restart #104 #Var: 44 LB: 0 @ 501.53 508.26 c Sol. found (all assignments made)... 524.34 c Restart #105 #Var: 44 LB: 0 @ 524.09 549.33 c Restart #106 #Var: 44 LB: 0 @ 549.07 569.16 c Restart #107 #Var: 44 LB: 0 @ 568.9 592.60 c Sol. found (all assignments made)... 595.97 c Restart #108 #Var: 42 LB: 0 @ 595.7 612.26 c Restart #109 #Var: 42 LB: 0 @ 611.98 626.46 c Restart #110 #Var: 42 LB: 0 @ 626.18 630.83 c Sol. found (all assignments made)... 641.26 c Restart #111 #Var: 42 LB: 0 @ 640.98 655.85 c Restart #112 #Var: 42 LB: 0 @ 655.56 672.18 c Restart #113 #Var: 42 LB: 0 @ 671.89 691.40 c Restart #114 #Var: 42 LB: 0 @ 691.11 710.90 c Restart #115 #Var: 42 LB: 0 @ 710.6 724.32 c Restart #116 #Var: 42 LB: 0 @ 724.02 736.02 c Restart #117 #Var: 42 LB: 0 @ 735.71 747.16 c Restart #118 #Var: 42 LB: 0 @ 746.84 772.59 c Restart #119 #Var: 41 LB: 0 @ 772.27 788.42 c Restart #120 #Var: 41 LB: 0 @ 788.09 802.34 c Restart #121 #Var: 41 LB: 0 @ 802.01 808.13 c Sol. found (all assignments made)... 816.11 c Restart #122 #Var: 41 LB: 0 @ 815.78 825.72 c Restart #123 #Var: 41 LB: 0 @ 825.39 828.00 c Sol. found (all assignments made)... 842.62 c Restart #124 #Var: 41 LB: 0 @ 842.28 861.67 c Restart #125 #Var: 41 LB: 0 @ 861.33 897.24 c Restart #126 #Var: 41 LB: 0 @ 896.89 927.70 c Restart #127 #Var: 41 LB: 0 @ 927.34 951.60 c Restart #128 #Var: 41 LB: 0 @ 951.23 968.77 c Restart #129 #Var: 41 LB: 0 @ 968.4 983.27 c Restart #130 #Var: 41 LB: 0 @ 982.9 995.75 c Restart #131 #Var: 41 LB: 0 @ 995.37 1015.02 c Restart #132 #Var: 41 LB: 0 @ 1014.6 1030.07 c Restart #133 #Var: 41 LB: 0 @ 1029.7 1047.26 c Restart #134 #Var: 41 LB: 0 @ 1046.9 1069.85 c Sol. found (all assignments made)... 1072.77 c Restart #135 #Var: 41 LB: 0 @ 1072.4 1090.70 c Restart #136 #Var: 41 LB: 0 @ 1090.3
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.1 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node85/watcher-50321-1149926457 -o ROOT/results/node85/solver-50321-1149926457 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node85/50321-1149926457/instance-50321-1149926457.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.00 0.26 0.60 2/68 17751 /proc/meminfo: memFree=1204496/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=3440 CPUtime=0 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 66 0 0 0 0 0 0 0 20 0 1 0 258284973 3522560 49 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11735988 0 0 4096 0 0 0 0 17 1 0 0 /proc/17751/statm: 1158 51 37 55 0 42 0 [startup+10.0032 s] /proc/loadavg: 0.15 0.29 0.60 2/74 17806 /proc/meminfo: memFree=1176288/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=31240 CPUtime=9.96 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 7054 0 0 0 991 5 0 0 25 0 1 0 258284973 31989760 6970 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529158 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 7810 6970 294 55 0 6701 0 Current children cumulated CPU time (s) 9.96 Current children cumulated vsize (Kb) 31240 [startup+20.0094 s] /proc/loadavg: 0.28 0.31 0.60 2/74 17872 /proc/meminfo: memFree=1172448/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=34940 CPUtime=19.93 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 7992 0 0 0 1985 8 0 0 25 0 1 0 258284973 35778560 7908 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528671 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 8735 7908 294 55 0 7626 0 Current children cumulated CPU time (s) 19.93 Current children cumulated vsize (Kb) 34940 [startup+30.0155 s] /proc/loadavg: 0.39 0.33 0.61 2/68 17946 /proc/meminfo: memFree=1167568/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=41224 CPUtime=29.89 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 9616 0 0 0 2979 10 0 0 25 0 1 0 258284973 42213376 9529 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524351 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 10306 9529 417 55 0 9197 0 Current children cumulated CPU time (s) 29.89 Current children cumulated vsize (Kb) 41224 [startup+40.0217 s] /proc/loadavg: 0.49 0.36 0.61 2/68 17946 /proc/meminfo: memFree=1164752/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=44152 CPUtime=39.9 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 10349 0 0 0 3978 12 0 0 25 0 1 0 258284973 45211648 10262 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 11038 10262 417 55 0 9929 0 Current children cumulated CPU time (s) 39.9 Current children cumulated vsize (Kb) 44152 [startup+50.0278 s] /proc/loadavg: 0.56 0.38 0.62 2/68 17946 /proc/meminfo: memFree=1157456/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=51416 CPUtime=49.9 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 12162 0 0 0 4976 14 0 0 25 0 1 0 258284973 52649984 12075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 12854 12075 417 55 0 11745 0 Current children cumulated CPU time (s) 49.9 Current children cumulated vsize (Kb) 51416 [startup+60.034 s] /proc/loadavg: 0.63 0.40 0.62 2/68 17946 /proc/meminfo: memFree=1154640/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=54320 CPUtime=59.9 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 12870 0 0 0 5975 15 0 0 25 0 1 0 258284973 55623680 12783 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 13580 12783 417 55 0 12471 0 Current children cumulated CPU time (s) 59.9 Current children cumulated vsize (Kb) 54320 [startup+70.0401 s] /proc/loadavg: 0.69 0.42 0.62 2/68 17946 /proc/meminfo: memFree=1149264/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=59748 CPUtime=69.91 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 14215 0 0 0 6974 17 0 0 25 0 1 0 258284973 61181952 14128 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548421 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 14937 14128 417 55 0 13828 0 Current children cumulated CPU time (s) 69.91 Current children cumulated vsize (Kb) 59748 [startup+80.0463 s] /proc/loadavg: 0.73 0.43 0.63 2/68 17946 /proc/meminfo: memFree=1143056/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=66048 CPUtime=79.91 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 16066 0 0 0 7972 19 0 0 25 0 1 0 258284973 67633152 15691 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 16512 15691 417 55 0 15403 0 Current children cumulated CPU time (s) 79.91 Current children cumulated vsize (Kb) 66048 [startup+90.0524 s] /proc/loadavg: 0.77 0.45 0.63 2/68 17946 /proc/meminfo: memFree=1138832/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=70280 CPUtime=89.91 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 17109 0 0 0 8970 21 0 0 25 0 1 0 258284973 71966720 16734 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 17570 16734 417 55 0 16461 0 Current children cumulated CPU time (s) 89.91 Current children cumulated vsize (Kb) 70280 [startup+100.059 s] /proc/loadavg: 0.81 0.47 0.64 2/68 17946 /proc/meminfo: memFree=1121552/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=87456 CPUtime=99.92 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 21422 0 0 0 9966 26 0 0 25 0 1 0 258284973 89554944 21047 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541526 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 21864 21047 417 55 0 20755 0 Current children cumulated CPU time (s) 99.92 Current children cumulated vsize (Kb) 87456 [startup+110.065 s] /proc/loadavg: 0.84 0.49 0.64 2/68 17946 /proc/meminfo: memFree=1087376/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=121808 CPUtime=109.92 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 29958 0 0 0 10960 32 0 0 25 0 1 0 258284973 124731392 29577 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 30452 29577 417 55 0 29343 0 Current children cumulated CPU time (s) 109.92 Current children cumulated vsize (Kb) 121808 [startup+120.071 s] /proc/loadavg: 0.86 0.50 0.64 2/68 17946 /proc/meminfo: memFree=1041680/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=167804 CPUtime=119.92 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 41958 0 0 0 11951 41 0 0 25 0 1 0 258284973 171831296 40979 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12171307 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 41951 40979 417 55 0 40842 0 Current children cumulated CPU time (s) 119.92 Current children cumulated vsize (Kb) 167804 [startup+130.077 s] /proc/loadavg: 0.88 0.52 0.64 2/68 17946 /proc/meminfo: memFree=992464/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=217140 CPUtime=129.93 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 54247 0 0 0 12943 50 0 0 25 0 1 0 258284973 222351360 53245 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 54285 53245 417 55 0 53176 0 Current children cumulated CPU time (s) 129.93 Current children cumulated vsize (Kb) 217140 [startup+140.082 s] /proc/loadavg: 0.90 0.53 0.65 2/68 17946 /proc/meminfo: memFree=963024/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=246848 CPUtime=139.93 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 61616 0 0 0 13939 54 0 0 25 0 1 0 258284973 252772352 60589 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 61712 60589 417 55 0 60603 0 Current children cumulated CPU time (s) 139.93 Current children cumulated vsize (Kb) 246848 [startup+150.088 s] /proc/loadavg: 0.92 0.55 0.65 2/68 17946 /proc/meminfo: memFree=930448/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=279712 CPUtime=149.93 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 69772 0 0 0 14934 59 0 0 25 0 1 0 258284973 286425088 68728 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 69928 68728 417 55 0 68819 0 Current children cumulated CPU time (s) 149.93 Current children cumulated vsize (Kb) 279712 [startup+160.095 s] /proc/loadavg: 0.93 0.56 0.65 2/68 17946 /proc/meminfo: memFree=919120/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=291196 CPUtime=159.93 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 72606 0 0 0 15932 61 0 0 25 0 1 0 258284973 298184704 71547 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 72799 71547 417 55 0 71690 0 Current children cumulated CPU time (s) 159.93 Current children cumulated vsize (Kb) 291196 [startup+170.101 s] /proc/loadavg: 0.94 0.58 0.66 2/68 17946 /proc/meminfo: memFree=883792/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=326572 CPUtime=169.94 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 82571 0 0 0 16926 68 0 0 25 0 1 0 258284973 334409728 80362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 81643 80362 417 55 0 80534 0 Current children cumulated CPU time (s) 169.94 Current children cumulated vsize (Kb) 326572 [startup+180.107 s] /proc/loadavg: 0.95 0.59 0.66 2/68 17946 /proc/meminfo: memFree=860176/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=350128 CPUtime=179.94 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 88541 0 0 0 17922 72 0 0 25 0 1 0 258284973 358531072 86250 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 87532 86250 417 55 0 86423 0 Current children cumulated CPU time (s) 179.94 Current children cumulated vsize (Kb) 350128 [startup+190.113 s] /proc/loadavg: 0.95 0.60 0.66 2/68 17946 /proc/meminfo: memFree=822352/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=388232 CPUtime=189.95 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 98125 0 0 0 18917 78 0 0 25 0 1 0 258284973 397549568 95692 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 97058 95692 417 55 0 95949 0 Current children cumulated CPU time (s) 189.95 Current children cumulated vsize (Kb) 388232 [startup+200.118 s] /proc/loadavg: 0.96 0.62 0.66 2/68 17946 /proc/meminfo: memFree=781904/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=429376 CPUtime=199.95 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 108563 0 0 0 19908 87 0 0 25 0 1 0 258284973 439681024 105784 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 107344 105784 417 55 0 106235 0 Current children cumulated CPU time (s) 199.95 Current children cumulated vsize (Kb) 429376 [startup+210.124 s] /proc/loadavg: 0.97 0.63 0.67 2/68 17946 ################ # More data... # ################ Current children cumulated CPU time (s) 920.2 Current children cumulated vsize (Kb) 1583212 [startup+930.571 s] /proc/loadavg: 0.99 0.95 0.82 2/68 17946 /proc/meminfo: memFree=14992/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=1596200 CPUtime=930.2 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 412852 0 0 0 92705 315 0 0 25 0 1 0 258284973 1634508800 394429 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 399050 394429 417 55 0 397941 0 Current children cumulated CPU time (s) 930.2 Current children cumulated vsize (Kb) 1596200 [startup+940.579 s] /proc/loadavg: 0.99 0.95 0.82 2/68 17946 /proc/meminfo: memFree=14800/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=1604120 CPUtime=940.21 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 414834 0 0 0 93704 317 0 0 25 0 1 0 258284973 1642618880 396411 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529180 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 401030 396411 417 55 0 399921 0 Current children cumulated CPU time (s) 940.21 Current children cumulated vsize (Kb) 1604120 [startup+950.585 s] /proc/loadavg: 0.99 0.95 0.83 2/68 17946 /proc/meminfo: memFree=15632/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=1615612 CPUtime=950.21 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 417686 0 0 0 94702 319 0 0 25 0 1 0 258284973 1654386688 399263 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 403903 399263 417 55 0 402794 0 Current children cumulated CPU time (s) 950.21 Current children cumulated vsize (Kb) 1615612 [startup+960.592 s] /proc/loadavg: 0.99 0.95 0.83 2/68 17946 /proc/meminfo: memFree=15312/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=1632508 CPUtime=960.21 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 421994 0 0 0 95699 322 0 0 25 0 1 0 258284973 1671688192 403571 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534980 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 408127 403571 417 55 0 407018 0 Current children cumulated CPU time (s) 960.21 Current children cumulated vsize (Kb) 1632508 [startup+970.598 s] /proc/loadavg: 0.99 0.95 0.83 2/68 17946 /proc/meminfo: memFree=15184/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=1643252 CPUtime=970.21 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 424794 0 0 0 96697 324 0 0 25 0 1 0 258284973 1682690048 405729 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 410813 405730 417 55 0 409704 0 Current children cumulated CPU time (s) 970.21 Current children cumulated vsize (Kb) 1643252 [startup+980.604 s] /proc/loadavg: 0.99 0.96 0.83 2/68 17946 /proc/meminfo: memFree=14864/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=1660412 CPUtime=980.22 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 429082 0 0 0 97694 328 0 0 25 0 1 0 258284973 1700261888 410017 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 415103 410017 417 55 0 413994 0 Current children cumulated CPU time (s) 980.22 Current children cumulated vsize (Kb) 1660412 [startup+990.61 s] /proc/loadavg: 0.99 0.96 0.83 2/68 17946 /proc/meminfo: memFree=15760/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=1682840 CPUtime=990.23 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 434804 0 0 0 98691 332 0 0 25 0 1 0 258284973 1723228160 415577 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 420710 415577 417 55 0 419601 0 Current children cumulated CPU time (s) 990.23 Current children cumulated vsize (Kb) 1682840 [startup+1000.62 s] /proc/loadavg: 0.99 0.96 0.83 2/68 17946 /proc/meminfo: memFree=15888/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=1699604 CPUtime=1000.23 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 439014 0 0 0 99688 335 0 0 25 0 1 0 258284973 1740394496 419787 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 424901 419787 417 55 0 423792 0 Current children cumulated CPU time (s) 1000.23 Current children cumulated vsize (Kb) 1699604 [startup+1010.62 s] /proc/loadavg: 0.99 0.96 0.83 2/68 17946 /proc/meminfo: memFree=14928/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=1711352 CPUtime=1010.23 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 441961 0 0 0 100686 337 0 0 25 0 1 0 258284973 1752424448 422734 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 427838 422734 417 55 0 426729 0 Current children cumulated CPU time (s) 1010.23 Current children cumulated vsize (Kb) 1711352 [startup+1020.63 s] /proc/loadavg: 0.99 0.96 0.83 2/68 17946 /proc/meminfo: memFree=15056/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=1721912 CPUtime=1020.24 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 444614 0 0 0 101685 339 0 0 25 0 1 0 258284973 1763237888 425387 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 430478 425387 417 55 0 429369 0 Current children cumulated CPU time (s) 1020.24 Current children cumulated vsize (Kb) 1721912 [startup+1030.64 s] /proc/loadavg: 0.99 0.96 0.83 2/68 17946 /proc/meminfo: memFree=15376/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=1740128 CPUtime=1030.24 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 449191 0 0 0 102683 341 0 0 25 0 1 0 258284973 1781891072 429964 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 435032 429964 417 55 0 433923 0 Current children cumulated CPU time (s) 1030.24 Current children cumulated vsize (Kb) 1740128 [startup+1040.64 s] /proc/loadavg: 0.99 0.96 0.83 2/68 17946 /proc/meminfo: memFree=16080/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=1759268 CPUtime=1040.25 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 454023 0 0 0 103680 345 0 0 25 0 1 0 258284973 1801490432 434796 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 439817 434796 417 55 0 438708 0 Current children cumulated CPU time (s) 1040.25 Current children cumulated vsize (Kb) 1759268 [startup+1050.65 s] /proc/loadavg: 0.99 0.96 0.84 2/68 17946 /proc/meminfo: memFree=15440/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=1771688 CPUtime=1050.25 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 457344 0 0 0 104678 347 0 0 25 0 1 0 258284973 1814208512 437153 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 442922 437153 417 55 0 441813 0 Current children cumulated CPU time (s) 1050.25 Current children cumulated vsize (Kb) 1771688 [startup+1060.66 s] /proc/loadavg: 0.99 0.96 0.84 2/68 17946 /proc/meminfo: memFree=15376/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=1781060 CPUtime=1060.26 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 459682 0 0 0 105676 350 0 0 25 0 1 0 258284973 1823805440 439491 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529245 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 445265 439491 417 55 0 444156 0 Current children cumulated CPU time (s) 1060.26 Current children cumulated vsize (Kb) 1781060 [startup+1070.66 s] /proc/loadavg: 0.99 0.96 0.84 2/68 17946 /proc/meminfo: memFree=15376/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=1792016 CPUtime=1070.25 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 462429 0 0 0 106674 351 0 0 25 0 1 0 258284973 1835024384 442238 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 448004 442238 417 55 0 446895 0 Current children cumulated CPU time (s) 1070.25 Current children cumulated vsize (Kb) 1792016 [startup+1080.67 s] /proc/loadavg: 0.99 0.97 0.84 2/68 17946 /proc/meminfo: memFree=15440/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=1802708 CPUtime=1080.26 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 465142 0 0 0 107673 353 0 0 25 0 1 0 258284973 1845972992 444951 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 450677 444951 417 55 0 449568 0 Current children cumulated CPU time (s) 1080.26 Current children cumulated vsize (Kb) 1802708 [startup+1090.67 s] /proc/loadavg: 0.99 0.97 0.84 2/68 17946 /proc/meminfo: memFree=15248/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=1818284 CPUtime=1090.26 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 469052 0 0 0 108671 355 0 0 25 0 1 0 258284973 1861922816 448861 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 454571 448861 417 55 0 453462 0 Current children cumulated CPU time (s) 1090.26 Current children cumulated vsize (Kb) 1818284 [startup+1100.68 s] /proc/loadavg: 0.99 0.97 0.84 2/68 17946 /proc/meminfo: memFree=16208/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=1827972 CPUtime=1100.26 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 471682 0 0 0 109669 357 0 0 25 0 1 0 258284973 1871843328 450849 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 456993 450849 417 55 0 455884 0 Current children cumulated CPU time (s) 1100.26 Current children cumulated vsize (Kb) 1827972 [startup+1110.69 s] /proc/loadavg: 0.99 0.97 0.84 2/68 17946 /proc/meminfo: memFree=16016/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=1829820 CPUtime=1110.27 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 472140 0 0 0 110669 358 0 0 25 0 1 0 258284973 1873735680 451307 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 457455 451307 417 55 0 456346 0 Current children cumulated CPU time (s) 1110.27 Current children cumulated vsize (Kb) 1829820 [startup+1120.69 s] /proc/loadavg: 0.99 0.97 0.84 2/68 17946 /proc/meminfo: memFree=15888/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=1832988 CPUtime=1120.27 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 472952 0 0 0 111669 358 0 0 25 0 1 0 258284973 1876979712 452119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 458247 452119 417 55 0 457138 0 Current children cumulated CPU time (s) 1120.27 Current children cumulated vsize (Kb) 1832988 [startup+1130.7 s] /proc/loadavg: 0.99 0.97 0.84 2/68 17946 /proc/meminfo: memFree=15952/2055892 swapFree=4085340/4096564 [pid=17751] ppid=17749 vsize=1842492 CPUtime=1130.28 /proc/17751/stat : 17751 (bsolo) R 17749 17751 17705 0 -1 0 475316 0 0 0 112668 360 0 0 25 0 1 0 258284973 1886711808 454483 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12171307 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17751/statm: 460623 454483 417 55 0 459514 0 Current children cumulated CPU time (s) 1130.28 Current children cumulated vsize (Kb) 1842492 Child ended because it received signal 6 (SIGABRT) Real time (s): 1131.15 CPU time (s): 1130.72 CPU user time (s): 1126.85 CPU system time (s): 3.86941 CPU usage (%): 99.9615 Max. virtual memory (cumulated for all children) (Kb): 1842492 The end
Begin job on node85 on Sat Jun 10 08:00:57 UTC 2006 FILE ID= 50321-1149926457 PBS_JOBID= 385422 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node85/50321-1149926457/instance-50321-1149926457.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node85/watcher-50321-1149926457 -o ROOT/results/node85/solver-50321-1149926457 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node85/50321-1149926457/instance-50321-1149926457.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 031b0f629913e7cd5c934f00ec1a1885 RANDOM SEED= 210699981 /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.218 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 : 6006.18 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.218 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 : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1204704 kB Buffers: 45472 kB Cached: 728856 kB SwapCached: 2368 kB Active: 161156 kB Inactive: 621812 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1204704 kB SwapTotal: 4096564 kB SwapFree: 4085340 kB Dirty: 144 kB Writeback: 0 kB Mapped: 16776 kB Slab: 54828 kB Committed_AS: 682740 kB PageTables: 1292 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node85 on Sat Jun 10 08:19:49 UTC 2006