| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| bsolo 2006/05 | Signal | 988.671 | 988.986 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_4.opb |
| MD5SUM | 1757d8d914b8f8f6b2c05049538ae81a |
| 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 | 66.4489 |
| 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 | 869 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 3118 |
| 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.01 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.008 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.015 0.04 c Restart #2 #Var: 94 LB: 0 @ 0.034 0.06 c Restart #3 #Var: 94 LB: 0 @ 0.056 0.09 c Restart #4 #Var: 94 LB: 0 @ 0.085 0.13 c Restart #5 #Var: 94 LB: 0 @ 0.119 0.18 c Restart #6 #Var: 94 LB: 0 @ 0.177 0.23 c Restart #7 #Var: 94 LB: 0 @ 0.22 0.26 c Sol. found (all assignments made)... 0.26 o 1027 0.26 c NEW SOLUTION FOUND: 1027 @ 0.255 0.26 c Sol. found (all assignments made)... 0.26 o 963 0.26 c NEW SOLUTION FOUND: 963 @ 0.255 0.31 c Restart #8 #Var: 94 LB: 0 @ 0.302 0.36 c Sol. found (all assignments made)... 0.36 o 921 0.36 c NEW SOLUTION FOUND: 921 @ 0.35 0.36 c Sol. found (all assignments made)... 0.36 o 665 0.36 c NEW SOLUTION FOUND: 665 @ 0.35 0.36 c Sol. found (all assignments made)... 0.36 o 657 0.36 c NEW SOLUTION FOUND: 657 @ 0.35 0.36 c Sol. found (all assignments made)... 0.36 o 655 0.36 c NEW SOLUTION FOUND: 655 @ 0.351 0.36 c Sol. found (all assignments made)... 0.36 o 559 0.36 c NEW SOLUTION FOUND: 559 @ 0.352 0.36 c Sol. found (all assignments made)... 0.36 o 527 0.36 c NEW SOLUTION FOUND: 527 @ 0.353 0.58 c Sol. found (all assignments made)... 0.58 o 503 0.58 c NEW SOLUTION FOUND: 503 @ 0.576 0.59 c Sol. found (all assignments made)... 0.59 o 499 0.59 c NEW SOLUTION FOUND: 499 @ 0.585 0.59 c Sol. found (all assignments made)... 0.59 o 497 0.59 c NEW SOLUTION FOUND: 497 @ 0.586 0.59 c Sol. found (all assignments made)... 0.59 o 495 0.59 c NEW SOLUTION FOUND: 495 @ 0.586 0.64 c Sol. found (all assignments made)... 0.64 o 493 0.64 c NEW SOLUTION FOUND: 493 @ 0.633 0.64 c Sol. found (all assignments made)... 0.64 o 491 0.64 c NEW SOLUTION FOUND: 491 @ 0.636 0.68 c Sol. found (all assignments made)... 0.68 o 481 0.68 c NEW SOLUTION FOUND: 481 @ 0.669 0.68 c Sol. found (all assignments made)... 0.68 o 479 0.68 c NEW SOLUTION FOUND: 479 @ 0.669 0.68 c Sol. found (all assignments made)... 0.68 o 469 0.68 c NEW SOLUTION FOUND: 469 @ 0.673 0.68 c Sol. found (all assignments made)... 0.68 o 463 0.68 c NEW SOLUTION FOUND: 463 @ 0.675 0.84 c Sol. found (all assignments made)... 0.84 o 461 0.84 c NEW SOLUTION FOUND: 461 @ 0.833 0.84 c Sol. found (all assignments made)... 0.84 o 459 0.84 c NEW SOLUTION FOUND: 459 @ 0.833 0.85 c Sol. found (all assignments made)... 0.85 o 433 0.85 c NEW SOLUTION FOUND: 433 @ 0.841 0.85 c Sol. found (all assignments made)... 0.85 o 431 0.85 c NEW SOLUTION FOUND: 431 @ 0.841 0.90 c Sol. found (all assignments made)... 0.90 o 425 0.90 c NEW SOLUTION FOUND: 425 @ 0.895 0.90 c Sol. found (all assignments made)... 0.90 o 423 0.90 c NEW SOLUTION FOUND: 423 @ 0.895 0.96 c Sol. found (all assignments made)... 0.96 o 374 0.96 c NEW SOLUTION FOUND: 374 @ 0.949 0.96 c Sol. found (all assignments made)... 0.96 o 366 0.96 c NEW SOLUTION FOUND: 366 @ 0.951 0.97 c Sol. found (all assignments made)... 0.97 o 358 0.97 c NEW SOLUTION FOUND: 358 @ 0.96 0.97 c Sol. found (all assignments made)... 0.97 o 350 0.97 c NEW SOLUTION FOUND: 350 @ 0.961 0.99 c Sol. found (all assignments made)... 0.99 o 342 0.99 c NEW SOLUTION FOUND: 342 @ 0.978 0.99 c Sol. found (all assignments made)... 0.99 o 334 0.99 c NEW SOLUTION FOUND: 334 @ 0.979 1.19 c Sol. found (all assignments made)... 1.19 o 333 1.19 c NEW SOLUTION FOUND: 333 @ 1.187 1.19 c Sol. found (all assignments made)... 1.19 o 331 1.19 c NEW SOLUTION FOUND: 331 @ 1.187 1.20 c Sol. found (all assignments made)... 1.20 o 329 1.20 c NEW SOLUTION FOUND: 329 @ 1.19 1.20 c Sol. found (all assignments made)... 1.20 o 325 1.20 c NEW SOLUTION FOUND: 325 @ 1.194 1.36 c Sol. found (all assignments made)... 1.36 o 321 1.36 c NEW SOLUTION FOUND: 321 @ 1.35 1.73 c Sol. found (all assignments made)... 1.73 o 310 1.73 c NEW SOLUTION FOUND: 310 @ 1.721 1.73 c Sol. found (all assignments made)... 1.73 o 308 1.73 c NEW SOLUTION FOUND: 308 @ 1.722 1.78 c Sol. found (all assignments made)... 1.78 o 306 1.78 c NEW SOLUTION FOUND: 306 @ 1.772 1.78 c Sol. found (all assignments made)... 1.78 o 298 1.78 c NEW SOLUTION FOUND: 298 @ 1.773 1.78 c Sol. found (all assignments made)... 1.78 o 296 1.78 c NEW SOLUTION FOUND: 296 @ 1.774 1.79 c Sol. found (all assignments made)... 1.79 o 294 1.79 c NEW SOLUTION FOUND: 294 @ 1.786 1.80 c Sol. found (all assignments made)... 1.80 o 286 1.80 c NEW SOLUTION FOUND: 286 @ 1.793 1.80 c Sol. found (all assignments made)... 1.80 o 284 1.80 c NEW SOLUTION FOUND: 284 @ 1.793 2.00 c Sol. found (all assignments made)... 2.00 o 278 2.00 c NEW SOLUTION FOUND: 278 @ 1.993 2.02 c Sol. found (all assignments made)... 2.02 o 276 2.02 c NEW SOLUTION FOUND: 276 @ 2.011 2.03 c Sol. found (all assignments made)... 2.03 o 270 2.03 c NEW SOLUTION FOUND: 270 @ 2.019 2.03 c Sol. found (all assignments made)... 2.03 o 268 2.03 c NEW SOLUTION FOUND: 268 @ 2.022 2.07 c Sol. found (all assignments made)... 2.07 o 266 2.07 c NEW SOLUTION FOUND: 266 @ 2.067 2.08 c Sol. found (all assignments made)... 2.08 o 264 2.08 c NEW SOLUTION FOUND: 264 @ 2.072 2.31 c Sol. found (all assignments made)... 2.31 o 262 2.31 c NEW SOLUTION FOUND: 262 @ 2.302 2.61 c Sol. found (all assignments made)... 2.61 o 250 2.61 c NEW SOLUTION FOUND: 250 @ 2.608 2.62 c Sol. found (all assignments made)... 2.62 o 248 2.62 c NEW SOLUTION FOUND: 248 @ 2.615 2.64 c Sol. found (all assignments made)... 2.64 o 242 2.64 c NEW SOLUTION FOUND: 242 @ 2.629 2.79 c Sol. found (all assignments made)... 2.79 o 240 2.79 c NEW SOLUTION FOUND: 240 @ 2.782 2.79 c Sol. found (all assignments made)... 2.79 o 236 2.79 c NEW SOLUTION FOUND: 236 @ 2.783 3.50 c Sol. found (all assignments made)... 3.50 o 234 3.50 c NEW SOLUTION FOUND: 234 @ 3.488 3.50 c Sol. found (all assignments made)... 3.50 o 230 3.50 c NEW SOLUTION FOUND: 230 @ 3.49 3.50 c Sol. found (all assignments made)... 3.50 o 228 3.50 c NEW SOLUTION FOUND: 228 @ 3.49 3.50 c Sol. found (all assignments made)... 3.50 o 226 3.50 c NEW SOLUTION FOUND: 226 @ 3.491 3.50 c Sol. found (all assignments made)... 3.50 o 224 3.50 c NEW SOLUTION FOUND: 224 @ 3.492 3.90 c Sol. found (all assignments made)... 3.90 o 220 3.90 c NEW SOLUTION FOUND: 220 @ 3.896 3.90 c Sol. found (all assignments made)... 3.90 o 218 3.90 c NEW SOLUTION FOUND: 218 @ 3.896 3.91 c Sol. found (all assignments made)... 3.91 o 210 3.91 c NEW SOLUTION FOUND: 210 @ 3.899 3.91 c Sol. found (all assignments made)... 3.91 o 208 3.91 c NEW SOLUTION FOUND: 208 @ 3.9 3.98 c Sol. found (all assignments made)... 3.98 o 204 3.98 c NEW SOLUTION FOUND: 204 @ 3.968 3.98 c Sol. found (all assignments made)... 3.98 o 202 3.98 c NEW SOLUTION FOUND: 202 @ 3.969 4.00 c Sol. found (all assignments made)... 4.00 o 200 4.00 c NEW SOLUTION FOUND: 200 @ 3.993 4.05 c Sol. found (all assignments made)... 4.05 o 194 4.05 c NEW SOLUTION FOUND: 194 @ 4.041 4.07 c Sol. found (all assignments made)... 4.07 o 192 4.07 c NEW SOLUTION FOUND: 192 @ 4.066 5.04 c Sol. found (all assignments made)... 5.04 o 190 5.04 c NEW SOLUTION FOUND: 190 @ 5.029 5.05 c Sol. found (all assignments made)... 5.05 o 188 5.05 c NEW SOLUTION FOUND: 188 @ 5.043 5.05 c Sol. found (all assignments made)... 5.05 o 186 5.05 c NEW SOLUTION FOUND: 186 @ 5.043 5.11 c Sol. found (all assignments made)... 5.11 o 182 5.11 c NEW SOLUTION FOUND: 182 @ 5.099 5.12 c Sol. found (all assignments made)... 5.12 o 178 5.12 c NEW SOLUTION FOUND: 178 @ 5.115 6.33 c Restart #9 #Var: 94 LB: 0 @ 6.318 7.08 c Restart #10 #Var: 94 LB: 0 @ 7.074 7.95 c Restart #11 #Var: 94 LB: 0 @ 7.944 9.56 c Restart #12 #Var: 94 LB: 0 @ 9.549 10.85 c CHANGE to MIS mode... UB: 178 MIS: 0 LPR: 0 (0.006) Diff: nan 10.85 c Restart #0 #Var: 94 LB: 0 @ 10.833 10.88 c Restart #1 #Var: 94 LB: 0 @ 10.866 10.94 c Restart #2 #Var: 94 LB: 0 @ 10.926 11.22 c Restart #3 #Var: 94 LB: 0 @ 11.205 11.51 c Sol. found (all assignments made)... 11.51 o 176 11.51 c NEW SOLUTION FOUND: 176 @ 11.492 11.51 c Sol. found (all assignments made)... 11.52 c Sol. found (all assignments made)... 11.52 o 174 11.52 c NEW SOLUTION FOUND: 174 @ 11.506 11.53 c Sol. found (all assignments made)... 11.53 o 170 11.53 c NEW SOLUTION FOUND: 170 @ 11.512 11.53 c Sol. found (all assignments made)... 11.53 o 168 11.53 c NEW SOLUTION FOUND: 168 @ 11.512 11.53 c Sol. found (all assignments made)... 11.53 o 166 11.53 c NEW SOLUTION FOUND: 166 @ 11.517 11.61 c Sol. found (all assignments made)... 11.61 o 164 11.61 c NEW SOLUTION FOUND: 164 @ 11.593 11.62 c Sol. found (all assignments made)... 11.62 o 162 11.62 c NEW SOLUTION FOUND: 162 @ 11.608 12.10 c Restart #4 #Var: 94 LB: 0 @ 12.088 12.73 c Sol. found (all assignments made)... 12.73 c Sol. found (all assignments made)... 12.73 c Sol. found (all assignments made)... 12.74 c Sol. found (all assignments made)... 12.74 o 161 12.74 c NEW SOLUTION FOUND: 161 @ 12.728 12.74 c Sol. found (all assignments made)... 12.74 o 153 12.74 c NEW SOLUTION FOUND: 153 @ 12.728 12.74 c Sol. found (all assignments made)... 12.85 c Sol. found (all assignments made)... 12.85 c Sol. found (all assignments made)... 12.85 o 151 12.85 c NEW SOLUTION FOUND: 151 @ 12.836 12.85 c Sol. found (all assignments made)... 12.85 c Sol. found (all assignments made)... 12.85 o 149 12.85 c NEW SOLUTION FOUND: 149 @ 12.836 12.85 c Sol. found (all assignments made)... 12.85 o 147 12.85 c NEW SOLUTION FOUND: 147 @ 12.836 12.85 c Sol. found (all assignments made)... 12.86 c Sol. found (all assignments made)... 12.87 c Sol. found (all assignments made)... 12.87 o 137 12.87 c NEW SOLUTION FOUND: 137 @ 12.85 12.96 c Sol. found (all assignments made)... 13.25 c Sol. found (all assignments made)... 13.25 o 133 13.25 c NEW SOLUTION FOUND: 133 @ 13.231 13.25 c Sol. found (all assignments made)... 13.25 c Sol. found (all assignments made)... 13.25 c Sol. found (all assignments made)... 13.25 o 131 13.25 c NEW SOLUTION FOUND: 131 @ 13.232 13.25 c Sol. found (all assignments made)... 13.33 c Sol. found (all assignments made)... 13.33 o 127 13.33 c NEW SOLUTION FOUND: 127 @ 13.315 13.33 c Sol. found (all assignments made)... 13.91 c Restart #5 #Var: 94 LB: 0 @ 13.896 14.41 c Restart #6 #Var: 94 LB: 0 @ 14.395 15.33 c Restart #7 #Var: 93 LB: 0 @ 15.311 15.97 c Restart #8 #Var: 93 LB: 0 @ 15.948 16.21 c Restart #9 #Var: 93 LB: 0 @ 16.187 16.35 c Restart #10 #Var: 93 LB: 0 @ 16.331 16.72 c Restart #11 #Var: 93 LB: 0 @ 16.704 17.15 c Sol. found (all assignments made)... 18.32 c Restart #12 #Var: 93 LB: 0 @ 18.3 18.59 c Restart #13 #Var: 93 LB: 0 @ 18.57 19.38 c Restart #14 #Var: 93 LB: 0 @ 19.357 19.89 c Sol. found (all assignments made)... 19.89 c Sol. found (all assignments made)... 19.89 c Sol. found (all assignments made)... 19.89 c Sol. found (all assignments made)... 21.33 c Restart #15 #Var: 91 LB: 0 @ 21.313 23.46 c Sol. found (all assignments made)... 23.46 c Sol. found (all assignments made)... 23.46 c Sol. found (all assignments made)... 23.46 o 124 23.46 c NEW SOLUTION FOUND: 124 @ 23.437 23.46 c Sol. found (all assignments made)... 23.47 c Sol. found (all assignments made)... 23.47 c Sol. found (all assignments made)... 23.47 c Sol. found (all assignments made)... 23.47 o 120 23.47 c NEW SOLUTION FOUND: 120 @ 23.444 23.47 c Sol. found (all assignments made)... 23.47 o 118 23.47 c NEW SOLUTION FOUND: 118 @ 23.445 27.79 c Restart #16 #Var: 90 LB: 0 @ 27.763 34.36 c Sol. found (all assignments made)... 34.40 c Sol. found (all assignments made)... 34.40 c Sol. found (all assignments made)... 34.40 c Sol. found (all assignments made)... 34.40 o 116 34.40 c NEW SOLUTION FOUND: 116 @ 34.377 34.49 c Sol. found (all assignments made)... 34.49 o 114 34.49 c NEW SOLUTION FOUND: 114 @ 34.467 39.25 c Sol. found (all assignments made)... 42.82 c Sol. found (all assignments made)... 42.82 c Sol. found (all assignments made)... 42.82 o 113 42.82 c NEW SOLUTION FOUND: 113 @ 42.795 42.83 c Sol. found (all assignments made)... 42.83 o 111 42.83 c NEW SOLUTION FOUND: 111 @ 42.798 42.84 c Sol. found (all assignments made)... 42.84 o 103 42.84 c NEW SOLUTION FOUND: 103 @ 42.81 42.84 c Sol. found (all assignments made)... 42.84 o 99 42.84 c NEW SOLUTION FOUND: 99 @ 42.81 43.13 c Sol. found (all assignments made)... 43.13 c Sol. found (all assignments made)... 43.13 c Sol. found (all assignments made)... 43.13 o 95 43.13 c NEW SOLUTION FOUND: 95 @ 43.102 43.13 c Sol. found (all assignments made)... 43.13 o 91 43.13 c NEW SOLUTION FOUND: 91 @ 43.106 45.76 c Sol. found (all assignments made)... 45.76 c Sol. found (all assignments made)... 45.77 c Sol. found (all assignments made)... 45.77 c Sol. found (all assignments made)... 45.77 c Sol. found (all assignments made)... 45.79 c Sol. found (all assignments made)... 45.79 c Sol. found (all assignments made)... 45.79 c Sol. found (all assignments made)... 45.80 c Sol. found (all assignments made)... 45.80 c Sol. found (all assignments made)... 45.80 c Sol. found (all assignments made)... 45.81 c Sol. found (all assignments made)... 45.81 c Sol. found (all assignments made)... 45.82 c Sol. found (all assignments made)... 45.83 c Sol. found (all assignments made)... 45.83 c Sol. found (all assignments made)... 45.84 c Sol. found (all assignments made)... 45.97 c Sol. found (all assignments made)... 45.97 c Sol. found (all assignments made)... 45.97 c Sol. found (all assignments made)... 46.01 c Sol. found (all assignments made)... 46.03 c Sol. found (all assignments made)... 46.03 c Sol. found (all assignments made)... 46.04 c Sol. found (all assignments made)... 46.32 c Sol. found (all assignments made)... 46.32 c Sol. found (all assignments made)... 47.02 c Sol. found (all assignments made)... 47.02 o 80 47.02 c NEW SOLUTION FOUND: 80 @ 46.994 47.06 c Sol. found (all assignments made)... 47.06 o 76 47.06 c NEW SOLUTION FOUND: 76 @ 47.03 47.09 c Sol. found (all assignments made)... 47.32 c Sol. found (all assignments made)... 47.32 o 72 47.32 c NEW SOLUTION FOUND: 72 @ 47.286 47.34 c Sol. found (all assignments made)... 47.34 o 68 47.34 c NEW SOLUTION FOUND: 68 @ 47.315 47.44 c Sol. found (all assignments made)... 47.45 c Sol. found (all assignments made)... 47.45 c Sol. found (all assignments made)... 47.45 c Sol. found (all assignments made)... 47.45 o 66 47.45 c NEW SOLUTION FOUND: 66 @ 47.425 48.37 c Sol. found (all assignments made)... 48.37 o 64 48.37 c NEW SOLUTION FOUND: 64 @ 48.337 50.18 c Sol. found (all assignments made)... 50.18 o 63 50.18 c NEW SOLUTION FOUND: 63 @ 50.154 51.19 c Sol. found (all assignments made)... 51.93 c Sol. found (all assignments made)... 51.94 c Sol. found (all assignments made)... 51.94 o 61 51.94 c NEW SOLUTION FOUND: 61 @ 51.912 53.08 c Sol. found (all assignments made)... 53.08 o 53 53.08 c NEW SOLUTION FOUND: 53 @ 53.049 53.09 c Sol. found (all assignments made)... 53.09 o 51 53.09 c NEW SOLUTION FOUND: 51 @ 53.062 58.81 c Sol. found (all assignments made)... 58.81 o 50 58.81 c NEW SOLUTION FOUND: 50 @ 58.776 58.96 c Sol. found (all assignments made)... 58.96 o 45 58.96 c NEW SOLUTION FOUND: 45 @ 58.927 58.96 c Sol. found (all assignments made)... 58.96 c Sol. found (all assignments made)... 58.96 c Sol. found (all assignments made)... 58.96 c Sol. found (all assignments made)... 58.96 c Sol. found (all assignments made)... 58.96 o 43 58.96 c NEW SOLUTION FOUND: 43 @ 58.93 58.98 c Sol. found (all assignments made)... 58.98 c Sol. found (all assignments made)... 58.98 c Sol. found (all assignments made)... 58.98 c Sol. found (all assignments made)... 58.98 o 41 58.98 c NEW SOLUTION FOUND: 41 @ 58.946 59.14 c Sol. found (all assignments made)... 59.14 c Sol. found (all assignments made)... 59.15 c Sol. found (all assignments made)... 59.15 o 37 59.15 c NEW SOLUTION FOUND: 37 @ 59.113 59.15 c Sol. found (all assignments made)... 59.15 c Sol. found (all assignments made)... 59.15 c Sol. found (all assignments made)... 59.15 o 35 59.15 c NEW SOLUTION FOUND: 35 @ 59.113 59.15 c Sol. found (all assignments made)... 59.15 o 27 59.15 c NEW SOLUTION FOUND: 27 @ 59.114 59.35 c Sol. found (all assignments made)... 59.35 c Sol. found (all assignments made)... 59.35 o 25 59.35 c NEW SOLUTION FOUND: 25 @ 59.315 59.77 c Sol. found (all assignments made)... 59.77 o 23 59.77 c NEW SOLUTION FOUND: 23 @ 59.737 59.77 c Sol. found (all assignments made)... 59.77 c Sol. found (all assignments made)... 59.77 c Sol. found (all assignments made)... 59.77 o 21 59.77 c NEW SOLUTION FOUND: 21 @ 59.738 60.14 c Sol. found (all assignments made)... 60.14 o 19 60.14 c NEW SOLUTION FOUND: 19 @ 60.102 62.56 c Sol. found (all assignments made)... 62.56 o 17 62.56 c NEW SOLUTION FOUND: 17 @ 62.526 62.80 c Sol. found (all assignments made)... 62.80 o 16 62.80 c NEW SOLUTION FOUND: 16 @ 62.763 63.06 c Sol. found (all assignments made)... 63.06 c Sol. found (all assignments made)... 63.06 c Sol. found (all assignments made)... 63.06 o 14 63.06 c NEW SOLUTION FOUND: 14 @ 63.029 64.35 c Restart #17 #Var: 64 LB: 0 @ 64.317 65.38 c Restart #18 #Var: 64 LB: 0 @ 65.341 66.17 c Sol. found (all assignments made)... 66.17 o 13 66.17 c NEW SOLUTION FOUND: 13 @ 66.132 66.18 c Sol. found (all assignments made)... 66.18 o 5 66.18 c NEW SOLUTION FOUND: 5 @ 66.14 67.01 c Restart #19 #Var: 58 LB: 0 @ 66.972 67.72 c Restart #20 #Var: 58 LB: 0 @ 67.68 68.15 c Sol. found (all assignments made)... 68.46 c Restart #21 #Var: 57 LB: 0 @ 68.423 69.14 c Sol. found (all assignments made)... 69.15 o 4 69.15 c NEW SOLUTION FOUND: 4 @ 69.108 69.83 c Restart #22 #Var: 53 LB: 0 @ 69.794 70.50 c Restart #23 #Var: 50 LB: 0 @ 70.459 71.09 c Restart #24 #Var: 49 LB: 0 @ 71.049 71.68 c Restart #25 #Var: 49 LB: 0 @ 71.644 72.31 c Restart #26 #Var: 48 LB: 0 @ 72.274 73.00 c Restart #27 #Var: 48 LB: 0 @ 72.96 73.76 c Restart #28 #Var: 48 LB: 0 @ 73.72 74.80 c Restart #29 #Var: 48 LB: 0 @ 74.758 76.15 c Restart #30 #Var: 48 LB: 0 @ 76.114 77.56 c Restart #31 #Var: 48 LB: 0 @ 77.518 78.70 c Restart #32 #Var: 48 LB: 0 @ 78.664 80.15 c Restart #33 #Var: 48 LB: 0 @ 80.112 81.37 c Restart #34 #Var: 48 LB: 0 @ 81.334 82.33 c Sol. found (all assignments made)... 82.74 c Restart #35 #Var: 48 LB: 0 @ 82.696 84.19 c Restart #36 #Var: 48 LB: 0 @ 84.146 85.78 c Restart #37 #Var: 47 LB: 0 @ 85.737 87.12 c Restart #38 #Var: 47 LB: 0 @ 87.081 88.43 c Sol. found (all assignments made)... 88.72 c Restart #39 #Var: 47 LB: 0 @ 88.681 90.72 c Restart #40 #Var: 46 LB: 0 @ 90.676 92.45 c Restart #41 #Var: 46 LB: 0 @ 92.406 93.87 c Restart #42 #Var: 46 LB: 0 @ 93.824 95.44 c Restart #43 #Var: 46 LB: 0 @ 95.398 97.03 c Restart #44 #Var: 46 LB: 0 @ 96.98 98.82 c Restart #45 #Var: 46 LB: 0 @ 98.776 100.33 c Restart #46 #Var: 46 LB: 0 @ 100.28 102.21 c Restart #47 #Var: 46 LB: 0 @ 102.17 104.79 c Restart #48 #Var: 46 LB: 0 @ 104.74 107.15 c Restart #49 #Var: 46 LB: 0 @ 107.11 110.30 c Restart #50 #Var: 46 LB: 0 @ 110.25 112.66 c Restart #51 #Var: 46 LB: 0 @ 112.61 115.12 c Restart #52 #Var: 46 LB: 0 @ 115.07 118.12 c Restart #53 #Var: 46 LB: 0 @ 118.07 121.41 c Restart #54 #Var: 46 LB: 0 @ 121.35 124.87 c Restart #55 #Var: 46 LB: 0 @ 124.81 128.97 c Restart #56 #Var: 46 LB: 0 @ 128.92 132.75 c Restart #57 #Var: 46 LB: 0 @ 132.69 137.46 c Restart #58 #Var: 46 LB: 0 @ 137.4 142.76 c Restart #59 #Var: 46 LB: 0 @ 142.7 147.52 c Restart #60 #Var: 46 LB: 0 @ 147.45 151.70 c Sol. found (all assignments made)... 152.40 c Restart #61 #Var: 46 LB: 0 @ 152.34 157.45 c Restart #62 #Var: 46 LB: 0 @ 157.39 159.05 c Sol. found (all assignments made)... 159.05 c Sol. found (all assignments made)... 162.27 c Restart #63 #Var: 46 LB: 0 @ 162.2 164.33 c Sol. found (all assignments made)... 164.33 c Sol. found (all assignments made)... 164.33 c Sol. found (all assignments made)... 164.33 o 3 164.33 c NEW SOLUTION FOUND: 3 @ 164.27 167.24 c Sol. found (all assignments made)... 168.81 c Restart #64 #Var: 46 LB: 0 @ 168.74 173.55 c Restart #65 #Var: 46 LB: 0 @ 173.48 176.85 c Sol. found (all assignments made)... 177.87 c Restart #66 #Var: 46 LB: 0 @ 177.8 182.42 c Restart #67 #Var: 46 LB: 0 @ 182.35 183.31 c Sol. found (all assignments made)... 187.22 c Restart #68 #Var: 46 LB: 0 @ 187.15 192.83 c Restart #69 #Var: 46 LB: 0 @ 192.75 198.88 c Restart #70 #Var: 46 LB: 0 @ 198.8 205.42 c Restart #71 #Var: 46 LB: 0 @ 205.34 210.83 c Restart #72 #Var: 46 LB: 0 @ 210.75 216.34 c Restart #73 #Var: 46 LB: 0 @ 216.26 220.81 c Sol. found (all assignments made)... 220.81 o 2 220.81 c NEW SOLUTION FOUND: 2 @ 220.72 221.62 c Sol. found (all assignments made)... 227.85 c Restart #74 #Var: 43 LB: 0 @ 227.76 233.18 c Restart #75 #Var: 43 LB: 0 @ 233.09 239.42 c Restart #76 #Var: 43 LB: 0 @ 239.34 247.36 c Restart #77 #Var: 43 LB: 0 @ 247.27 255.47 c Restart #78 #Var: 43 LB: 0 @ 255.38 262.60 c Restart #79 #Var: 43 LB: 0 @ 262.5 269.78 c Restart #80 #Var: 43 LB: 0 @ 269.68 276.40 c Restart #81 #Var: 43 LB: 0 @ 276.31 283.71 c Restart #82 #Var: 43 LB: 0 @ 283.61 291.04 c Restart #83 #Var: 43 LB: 0 @ 290.94 297.44 c Restart #84 #Var: 43 LB: 0 @ 297.33 303.75 c Restart #85 #Var: 43 LB: 0 @ 303.64 310.27 c Restart #86 #Var: 43 LB: 0 @ 310.16 314.41 c Sol. found (all assignments made)... 317.78 c Restart #87 #Var: 43 LB: 0 @ 317.67 326.52 c Restart #88 #Var: 43 LB: 0 @ 326.4 328.00 c Sol. found (all assignments made)... 336.10 c Restart #89 #Var: 43 LB: 0 @ 335.99 344.07 c Restart #90 #Var: 43 LB: 0 @ 343.95 351.29 c Restart #91 #Var: 43 LB: 0 @ 351.17 359.16 c Restart #92 #Var: 43 LB: 0 @ 359.03 365.34 c Sol. found (all assignments made)... 368.53 c Sol. found (all assignments made)... 369.53 c Restart #93 #Var: 43 LB: 0 @ 369.4 378.89 c Restart #94 #Var: 43 LB: 0 @ 378.75 388.74 c Restart #95 #Var: 43 LB: 0 @ 388.61 397.93 c Restart #96 #Var: 43 LB: 0 @ 397.79 400.83 c Sol. found (all assignments made)... 406.46 c Restart #97 #Var: 43 LB: 0 @ 406.32 415.65 c Restart #98 #Var: 43 LB: 0 @ 415.5 429.49 c Restart #99 #Var: 43 LB: 0 @ 429.35 438.87 c Restart #100 #Var: 43 LB: 0 @ 438.72 448.22 c Restart #101 #Var: 43 LB: 0 @ 448.07 457.89 c Restart #102 #Var: 43 LB: 0 @ 457.73 468.51 c Restart #103 #Var: 43 LB: 0 @ 468.35 484.40 c Sol. found (all assignments made)... 486.09 c Restart #104 #Var: 43 LB: 0 @ 485.92 501.75 c Restart #105 #Var: 43 LB: 0 @ 501.58 512.04 c Restart #106 #Var: 43 LB: 0 @ 511.87 523.61 c Restart #107 #Var: 43 LB: 0 @ 523.43 535.39 c Restart #108 #Var: 43 LB: 0 @ 535.22 546.29 c Restart #109 #Var: 43 LB: 0 @ 546.11 549.37 c Sol. found (all assignments made)... 558.12 c Restart #110 #Var: 43 LB: 0 @ 557.93 562.53 c Sol. found (all assignments made)... 571.51 c Restart #111 #Var: 43 LB: 0 @ 571.33 582.06 c Restart #112 #Var: 43 LB: 0 @ 581.87 592.43 c Restart #113 #Var: 43 LB: 0 @ 592.24 602.80 c Restart #114 #Var: 43 LB: 0 @ 602.6 613.14 c Restart #115 #Var: 43 LB: 0 @ 612.93 628.04 c Restart #116 #Var: 43 LB: 0 @ 627.83 642.74 c Restart #117 #Var: 43 LB: 0 @ 642.53 654.55 c Restart #118 #Var: 43 LB: 0 @ 654.33 667.43 c Restart #119 #Var: 43 LB: 0 @ 667.21 680.90 c Restart #120 #Var: 43 LB: 0 @ 680.67 694.10 c Restart #121 #Var: 43 LB: 0 @ 693.87 708.96 c Restart #122 #Var: 43 LB: 0 @ 708.73 726.01 c Restart #123 #Var: 43 LB: 0 @ 725.78 745.53 c Restart #124 #Var: 43 LB: 0 @ 745.29 750.57 c Sol. found (all assignments made)... 752.69 c Sol. found (all assignments made)... 767.86 c Restart #125 #Var: 43 LB: 0 @ 767.61 780.01 c Sol. found (all assignments made)... 780.22 c Sol. found (all assignments made)... 788.90 c Restart #126 #Var: 42 LB: 0 @ 788.64 803.19 c Restart #127 #Var: 42 LB: 0 @ 802.93 822.30 c Restart #128 #Var: 42 LB: 0 @ 822.04 852.63 c Restart #129 #Var: 42 LB: 0 @ 852.36 875.48 c Restart #130 #Var: 42 LB: 0 @ 875.2 896.41 c Restart #131 #Var: 42 LB: 0 @ 896.12 916.47 c Restart #132 #Var: 42 LB: 0 @ 916.18 937.74 c Restart #133 #Var: 42 LB: 0 @ 937.44 962.85 c Restart #134 #Var: 42 LB: 0 @ 962.55 965.45 c Sol. found (all assignments made)... 977.91 c Sol. found (all assignments made)... 985.59 c Restart #135 #Var: 42 LB: 0 @ 985.28
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/node81/watcher-50333-1149934081 -o ROOT/results/node81/solver-50333-1149934081 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node81/50333-1149934081/instance-50333-1149934081.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.04 1.01 0.93 2/68 30412 /proc/meminfo: memFree=1554488/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=4936 CPUtime=0 /proc/30412/stat : 30412 (bsolo) D 30410 30412 30366 0 -1 0 362 0 0 0 0 0 0 0 18 0 1 0 259047520 5054464 327 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072100015398 0 0 17 1 0 0 /proc/30412/statm: 1234 327 223 55 0 125 0 [startup+10.0023 s] /proc/loadavg: 1.03 1.01 0.93 2/68 30412 /proc/meminfo: memFree=1525000/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=34136 CPUtime=9.98 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 7767 0 0 0 990 8 0 0 25 0 1 0 259047520 34955264 7683 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548714 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30412/statm: 8534 7683 294 55 0 7425 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 34136 [startup+20.0084 s] /proc/loadavg: 1.02 1.01 0.93 2/68 30412 /proc/meminfo: memFree=1500808/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=58544 CPUtime=19.98 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 13924 0 0 0 1984 14 0 0 25 0 1 0 259047520 59949056 13836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 14636 13836 417 55 0 13527 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 58544 [startup+30.0145 s] /proc/loadavg: 1.02 1.01 0.93 2/68 30412 /proc/meminfo: memFree=1494664/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=64800 CPUtime=29.98 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 15465 0 0 0 2982 16 0 0 25 0 1 0 259047520 66355200 15376 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534060 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 16200 15376 417 55 0 15091 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 64800 [startup+40.0206 s] /proc/loadavg: 1.02 1.01 0.93 2/68 30412 /proc/meminfo: memFree=1492232/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=67044 CPUtime=39.98 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 16059 0 0 0 3981 17 0 0 25 0 1 0 259047520 68653056 15970 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 16761 15970 417 55 0 15652 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 67044 [startup+50.0267 s] /proc/loadavg: 1.01 1.01 0.93 2/68 30412 /proc/meminfo: memFree=1487432/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=71968 CPUtime=49.99 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 17532 0 0 0 4980 19 0 0 25 0 1 0 259047520 73695232 17173 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 17992 17173 417 55 0 16883 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 71968 [startup+60.0328 s] /proc/loadavg: 1.01 1.01 0.93 2/68 30412 /proc/meminfo: memFree=1483464/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=75932 CPUtime=59.99 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 18535 0 0 0 5979 20 0 0 25 0 1 0 259047520 77754368 18176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 18983 18176 417 55 0 17874 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 75932 [startup+70.0389 s] /proc/loadavg: 1.01 1.01 0.93 2/68 30412 /proc/meminfo: memFree=1456264/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=103300 CPUtime=69.99 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 25327 0 0 0 6973 26 0 0 25 0 1 0 259047520 105779200 24968 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10536949 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 25825 24968 417 55 0 24716 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 103300 [startup+80.045 s] /proc/loadavg: 1.01 1.00 0.93 2/68 30412 /proc/meminfo: memFree=1400392/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=159196 CPUtime=79.99 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 39808 0 0 0 7964 35 0 0 25 0 1 0 259047520 163016704 38900 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 39799 38900 417 55 0 38690 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 159196 [startup+90.0511 s] /proc/loadavg: 1.01 1.00 0.93 2/68 30412 /proc/meminfo: memFree=1356104/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=203752 CPUtime=90 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 50883 0 0 0 8956 44 0 0 25 0 1 0 259047520 208642048 49952 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 50938 49952 417 55 0 49829 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 203752 [startup+100.057 s] /proc/loadavg: 1.00 1.00 0.93 2/68 30412 /proc/meminfo: memFree=1304008/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=256560 CPUtime=100 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 63925 0 0 0 9947 53 0 0 25 0 1 0 259047520 262717440 62942 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550876 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 64140 62942 417 55 0 63031 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 256560 [startup+110.063 s] /proc/loadavg: 1.00 1.00 0.93 2/68 30412 /proc/meminfo: memFree=1266376/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=294364 CPUtime=110 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 73350 0 0 0 10941 59 0 0 25 0 1 0 259047520 301428736 72349 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 73591 72349 417 55 0 72482 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 294364 [startup+120.069 s] /proc/loadavg: 1.00 1.00 0.93 2/68 30412 /proc/meminfo: memFree=1225992/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=334848 CPUtime=120.01 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 84510 0 0 0 11935 66 0 0 25 0 1 0 259047520 342884352 82411 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 83712 82411 417 55 0 82603 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 334848 [startup+130.076 s] /proc/loadavg: 1.00 1.00 0.93 2/68 30412 /proc/meminfo: memFree=1197640/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=363368 CPUtime=130.01 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 91602 0 0 0 12929 72 0 0 25 0 1 0 259047520 372088832 89498 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 90842 89498 417 55 0 89733 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 363368 [startup+140.082 s] /proc/loadavg: 1.00 1.00 0.93 2/68 30412 /proc/meminfo: memFree=1174408/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=386400 CPUtime=140.01 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 97389 0 0 0 13926 75 0 0 25 0 1 0 259047520 395673600 95283 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 96600 95283 417 55 0 95491 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 386400 [startup+150.088 s] /proc/loadavg: 1.00 1.00 0.93 2/68 30412 /proc/meminfo: memFree=1149576/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=411528 CPUtime=150.02 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 103682 0 0 0 14922 80 0 0 25 0 1 0 259047520 421404672 101488 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 102882 101488 417 55 0 101773 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 411528 [startup+160.093 s] /proc/loadavg: 1.00 1.00 0.93 2/68 30412 /proc/meminfo: memFree=1125064/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=435880 CPUtime=160.02 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 109797 0 0 0 15919 83 0 0 25 0 1 0 259047520 446341120 107594 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 108970 107594 417 55 0 107861 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 435880 [startup+170.099 s] /proc/loadavg: 1.00 1.00 0.93 2/68 30412 /proc/meminfo: memFree=1101320/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=460080 CPUtime=170.02 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 115964 0 0 0 16914 88 0 0 25 0 1 0 259047520 471121920 113515 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 115020 113515 417 55 0 113911 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 460080 [startup+180.105 s] /proc/loadavg: 1.00 1.00 0.93 2/68 30412 /proc/meminfo: memFree=1072008/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=489512 CPUtime=180.03 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 123398 0 0 0 17910 93 0 0 25 0 1 0 259047520 501260288 120858 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10537003 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 122378 120858 417 55 0 121269 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 489512 [startup+190.111 s] /proc/loadavg: 1.00 1.00 0.93 2/68 30412 /proc/meminfo: memFree=1044488/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=517656 CPUtime=190.03 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 130501 0 0 0 18904 99 0 0 25 0 1 0 259047520 530079744 127715 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 129414 127715 417 55 0 128305 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 517656 [startup+200.118 s] /proc/loadavg: 1.00 1.00 0.93 2/68 30412 /proc/meminfo: memFree=1024136/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=538260 CPUtime=200.04 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 135744 0 0 0 19900 104 0 0 25 0 1 0 259047520 551178240 132790 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 134565 132790 417 55 0 133456 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 538260 [startup+210.124 s] /proc/loadavg: 1.00 1.00 0.93 2/68 30412 ################ # More data... # ################ Current children cumulated CPU time (s) 770.2 Current children cumulated vsize (Kb) 1586508 [startup+780.469 s] /proc/loadavg: 1.00 1.00 0.94 2/68 30412 /proc/meminfo: memFree=16200/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=1599180 CPUtime=780.21 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 412241 0 0 0 77729 292 0 0 25 0 1 0 259047520 1637560320 396156 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533791 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 399795 396156 417 55 0 398686 0 Current children cumulated CPU time (s) 780.21 Current children cumulated vsize (Kb) 1599180 [startup+790.476 s] /proc/loadavg: 1.00 1.00 0.94 3/68 30412 /proc/meminfo: memFree=16264/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=1608288 CPUtime=790.21 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 414536 0 0 0 78727 294 0 0 25 0 1 0 259047520 1646886912 398451 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 402072 398451 417 55 0 400963 0 Current children cumulated CPU time (s) 790.21 Current children cumulated vsize (Kb) 1608288 [startup+800.484 s] /proc/loadavg: 1.00 1.00 0.94 2/68 30412 /proc/meminfo: memFree=15560/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=1627428 CPUtime=800.22 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 419329 0 0 0 79725 297 0 0 25 0 1 0 259047520 1666486272 403244 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 406857 403244 417 55 0 405748 0 Current children cumulated CPU time (s) 800.22 Current children cumulated vsize (Kb) 1627428 [startup+810.49 s] /proc/loadavg: 1.00 1.00 0.94 2/68 30412 /proc/meminfo: memFree=15304/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=1641420 CPUtime=810.22 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 422846 0 0 0 80723 299 0 0 25 0 1 0 259047520 1680814080 406761 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 410355 406761 417 55 0 409246 0 Current children cumulated CPU time (s) 810.22 Current children cumulated vsize (Kb) 1641420 [startup+820.496 s] /proc/loadavg: 1.00 1.00 0.94 2/68 30412 /proc/meminfo: memFree=15048/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=1655412 CPUtime=820.23 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 426362 0 0 0 81721 302 0 0 25 0 1 0 259047520 1695141888 410277 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 413853 410277 417 55 0 412744 0 Current children cumulated CPU time (s) 820.23 Current children cumulated vsize (Kb) 1655412 [startup+830.503 s] /proc/loadavg: 1.00 1.00 0.94 2/68 30412 /proc/meminfo: memFree=14984/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=1663388 CPUtime=830.22 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 428384 0 0 0 82719 303 0 0 25 0 1 0 259047520 1703309312 412217 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 415847 412217 417 55 0 414738 0 Current children cumulated CPU time (s) 830.22 Current children cumulated vsize (Kb) 1663388 [startup+840.509 s] /proc/loadavg: 1.00 1.00 0.94 2/68 30412 /proc/meminfo: memFree=15752/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=1671704 CPUtime=840.24 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 430499 0 0 0 83718 306 0 0 25 0 1 0 259047520 1711824896 414332 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 417926 414332 417 55 0 416817 0 Current children cumulated CPU time (s) 840.24 Current children cumulated vsize (Kb) 1671704 [startup+850.516 s] /proc/loadavg: 1.00 1.00 0.94 2/68 30412 /proc/meminfo: memFree=15560/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=1678680 CPUtime=850.23 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 432294 0 0 0 84716 307 0 0 25 0 1 0 259047520 1718968320 415965 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 419670 415965 417 55 0 418561 0 Current children cumulated CPU time (s) 850.23 Current children cumulated vsize (Kb) 1678680 [startup+860.522 s] /proc/loadavg: 1.00 1.00 0.94 2/68 30412 /proc/meminfo: memFree=15240/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=1689768 CPUtime=860.24 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 435131 0 0 0 85714 310 0 0 25 0 1 0 259047520 1730322432 418802 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 422442 418802 417 55 0 421333 0 Current children cumulated CPU time (s) 860.24 Current children cumulated vsize (Kb) 1689768 [startup+870.528 s] /proc/loadavg: 1.00 1.00 0.94 2/68 30412 /proc/meminfo: memFree=15368/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=1700592 CPUtime=870.24 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 437837 0 0 0 86712 312 0 0 25 0 1 0 259047520 1741406208 421508 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534873 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 425148 421508 417 55 0 424039 0 Current children cumulated CPU time (s) 870.24 Current children cumulated vsize (Kb) 1700592 [startup+880.534 s] /proc/loadavg: 1.00 1.00 0.94 2/68 30412 /proc/meminfo: memFree=15880/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=1709308 CPUtime=880.24 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 440029 0 0 0 87710 314 0 0 25 0 1 0 259047520 1750331392 423700 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 427327 423700 417 55 0 426218 0 Current children cumulated CPU time (s) 880.24 Current children cumulated vsize (Kb) 1709308 [startup+890.54 s] /proc/loadavg: 1.00 1.00 0.94 2/68 30412 /proc/meminfo: memFree=15816/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=1718416 CPUtime=890.24 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 442363 0 0 0 88709 315 0 0 25 0 1 0 259047520 1759657984 426034 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 429604 426034 417 55 0 428495 0 Current children cumulated CPU time (s) 890.24 Current children cumulated vsize (Kb) 1718416 [startup+900.546 s] /proc/loadavg: 1.00 1.00 0.94 2/68 30412 /proc/meminfo: memFree=16264/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=1735364 CPUtime=900.25 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 446767 0 0 0 89706 319 0 0 25 0 1 0 259047520 1777012736 429796 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 433841 429796 417 55 0 432732 0 Current children cumulated CPU time (s) 900.25 Current children cumulated vsize (Kb) 1735364 [startup+910.553 s] /proc/loadavg: 1.00 1.00 0.94 2/68 30412 /proc/meminfo: memFree=15496/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=1750788 CPUtime=910.26 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 450648 0 0 0 90703 323 0 0 25 0 1 0 259047520 1792806912 433515 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 437697 433515 417 55 0 436588 0 Current children cumulated CPU time (s) 910.26 Current children cumulated vsize (Kb) 1750788 [startup+920.559 s] /proc/loadavg: 1.00 1.00 0.94 2/68 30412 /proc/meminfo: memFree=14984/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=1764792 CPUtime=920.26 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 454502 0 0 0 91701 325 0 0 25 0 1 0 259047520 1807147008 436405 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 441198 436405 417 55 0 440089 0 Current children cumulated CPU time (s) 920.26 Current children cumulated vsize (Kb) 1764792 [startup+930.566 s] /proc/loadavg: 1.00 1.00 0.94 2/68 30412 /proc/meminfo: memFree=16008/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=1776412 CPUtime=930.26 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 457435 0 0 0 92699 327 0 0 25 0 1 0 259047520 1819045888 439338 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 444103 439338 417 55 0 442994 0 Current children cumulated CPU time (s) 930.26 Current children cumulated vsize (Kb) 1776412 [startup+940.572 s] /proc/loadavg: 1.00 1.00 0.94 2/68 30412 /proc/meminfo: memFree=14856/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=1787856 CPUtime=940.27 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 460441 0 0 0 93698 329 0 0 25 0 1 0 259047520 1830764544 442022 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 446964 442022 417 55 0 445855 0 Current children cumulated CPU time (s) 940.27 Current children cumulated vsize (Kb) 1787856 [startup+950.579 s] /proc/loadavg: 1.00 1.00 0.94 2/68 30412 /proc/meminfo: memFree=16008/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=1798340 CPUtime=950.27 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 463074 0 0 0 94696 331 0 0 25 0 1 0 259047520 1841500160 444573 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 449585 444573 417 55 0 448476 0 Current children cumulated CPU time (s) 950.27 Current children cumulated vsize (Kb) 1798340 [startup+960.585 s] /proc/loadavg: 1.00 1.00 0.94 2/68 30412 /proc/meminfo: memFree=14856/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=1810352 CPUtime=960.27 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 466108 0 0 0 95694 333 0 0 25 0 1 0 259047520 1853800448 447607 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 452588 447607 417 55 0 451479 0 Current children cumulated CPU time (s) 960.27 Current children cumulated vsize (Kb) 1810352 [startup+970.591 s] /proc/loadavg: 1.00 1.00 0.94 2/68 30412 /proc/meminfo: memFree=15624/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=1816820 CPUtime=970.28 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 467852 0 0 0 96693 335 0 0 25 0 1 0 259047520 1860423680 449351 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 454205 449351 417 55 0 453096 0 Current children cumulated CPU time (s) 970.28 Current children cumulated vsize (Kb) 1816820 [startup+980.597 s] /proc/loadavg: 1.00 1.00 0.94 2/68 30412 /proc/meminfo: memFree=16008/2055892 swapFree=4085344/4096564 [pid=30412] ppid=30410 vsize=1828832 CPUtime=980.28 /proc/30412/stat : 30412 (bsolo) R 30410 30412 30366 0 -1 0 470869 0 0 0 97691 337 0 0 25 0 1 0 259047520 1872723968 452368 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30412/statm: 457208 452368 417 55 0 456099 0 Current children cumulated CPU time (s) 980.28 Current children cumulated vsize (Kb) 1828832 Child ended because it received signal 11 (SIGSEGV) Real time (s): 988.986 CPU time (s): 988.671 CPU user time (s): 984.995 CPU system time (s): 3.67544 CPU usage (%): 99.9682 Max. virtual memory (cumulated for all children) (Kb): 1828832 The end
Begin job on node81 on Sat Jun 10 10:08:01 UTC 2006 FILE ID= 50333-1149934081 PBS_JOBID= 385578 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_4.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node81/50333-1149934081/instance-50333-1149934081.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node81/watcher-50333-1149934081 -o ROOT/results/node81/solver-50333-1149934081 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node81/50333-1149934081/instance-50333-1149934081.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 1757d8d914b8f8f6b2c05049538ae81a RANDOM SEED= 992002650 /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.248 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.19 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.248 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.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1554760 kB Buffers: 38556 kB Cached: 389796 kB SwapCached: 2360 kB Active: 52768 kB Inactive: 384224 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1554760 kB SwapTotal: 4096564 kB SwapFree: 4085344 kB Dirty: 180 kB Writeback: 0 kB Mapped: 16592 kB Slab: 50700 kB Committed_AS: 589068 kB PageTables: 1288 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node81 on Sat Jun 10 10:24:30 UTC 2006