| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| bsolo 2006/05 | Signal | 1291.3 | 1291.69 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_1.opb |
| MD5SUM | fb11ff2665aef67f0842a460a5ea3114 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 97.3102 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 2 |
| 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 | 45 |
| 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 | 851 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 3063 |
| 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.005 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.012 0.04 c Restart #2 #Var: 94 LB: 0 @ 0.028 0.06 c Restart #3 #Var: 94 LB: 0 @ 0.048 0.09 c Restart #4 #Var: 94 LB: 0 @ 0.077 0.12 c Restart #5 #Var: 94 LB: 0 @ 0.109 0.16 c Restart #6 #Var: 94 LB: 0 @ 0.146 0.20 c Restart #7 #Var: 94 LB: 0 @ 0.192 0.26 c Restart #8 #Var: 94 LB: 0 @ 0.246 0.33 c Restart #9 #Var: 94 LB: 0 @ 0.314 0.39 c Restart #10 #Var: 94 LB: 0 @ 0.378 0.47 c Restart #11 #Var: 94 LB: 0 @ 0.455 0.54 c Sol. found (all assignments made)... 0.54 o 1312 0.54 c NEW SOLUTION FOUND: 1312 @ 0.53 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 o 1248 0.54 c NEW SOLUTION FOUND: 1248 @ 0.53 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 o 1120 0.54 c NEW SOLUTION FOUND: 1120 @ 0.531 0.54 c Sol. found (all assignments made)... 0.54 o 1056 0.54 c NEW SOLUTION FOUND: 1056 @ 0.531 0.54 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 o 1024 0.55 c NEW SOLUTION FOUND: 1024 @ 0.534 0.56 c Sol. found (all assignments made)... 0.56 o 1016 0.56 c NEW SOLUTION FOUND: 1016 @ 0.552 0.56 c Sol. found (all assignments made)... 0.56 o 1008 0.56 c NEW SOLUTION FOUND: 1008 @ 0.552 0.66 c Restart #12 #Var: 94 LB: 0 @ 0.653 0.81 c Restart #13 #Var: 94 LB: 0 @ 0.794 0.83 c Sol. found (all assignments made)... 0.83 o 837 0.83 c NEW SOLUTION FOUND: 837 @ 0.817 0.83 c Sol. found (all assignments made)... 0.83 o 775 0.83 c NEW SOLUTION FOUND: 775 @ 0.818 0.83 c Sol. found (all assignments made)... 0.83 o 773 0.83 c NEW SOLUTION FOUND: 773 @ 0.818 0.83 c Sol. found (all assignments made)... 0.83 o 757 0.83 c NEW SOLUTION FOUND: 757 @ 0.82 0.83 c Sol. found (all assignments made)... 0.83 o 755 0.83 c NEW SOLUTION FOUND: 755 @ 0.822 0.84 c Sol. found (all assignments made)... 0.84 o 533 0.84 c NEW SOLUTION FOUND: 533 @ 0.825 0.84 c Sol. found (all assignments made)... 0.84 o 501 0.84 c NEW SOLUTION FOUND: 501 @ 0.827 0.84 c Sol. found (all assignments made)... 0.84 o 493 0.84 c NEW SOLUTION FOUND: 493 @ 0.829 0.85 c Sol. found (all assignments made)... 0.85 o 410 0.85 c NEW SOLUTION FOUND: 410 @ 0.839 0.85 c Sol. found (all assignments made)... 0.85 o 378 0.85 c NEW SOLUTION FOUND: 378 @ 0.84 0.85 c Sol. found (all assignments made)... 0.85 o 376 0.85 c NEW SOLUTION FOUND: 376 @ 0.841 0.89 c Sol. found (all assignments made)... 0.89 o 374 0.89 c NEW SOLUTION FOUND: 374 @ 0.874 0.89 c Sol. found (all assignments made)... 0.89 o 372 0.89 c NEW SOLUTION FOUND: 372 @ 0.876 0.94 c Sol. found (all assignments made)... 0.94 o 365 0.94 c NEW SOLUTION FOUND: 365 @ 0.927 0.99 c Sol. found (all assignments made)... 0.99 o 352 0.99 c NEW SOLUTION FOUND: 352 @ 0.977 0.99 c Sol. found (all assignments made)... 0.99 o 320 0.99 c NEW SOLUTION FOUND: 320 @ 0.979 0.99 c Sol. found (all assignments made)... 0.99 o 312 0.99 c NEW SOLUTION FOUND: 312 @ 0.982 1.00 c Sol. found (all assignments made)... 1.00 o 280 1.00 c NEW SOLUTION FOUND: 280 @ 0.985 1.00 c Sol. found (all assignments made)... 1.00 o 274 1.00 c NEW SOLUTION FOUND: 274 @ 0.987 1.01 c Sol. found (all assignments made)... 1.01 o 272 1.01 c NEW SOLUTION FOUND: 272 @ 0.993 1.01 c Sol. found (all assignments made)... 1.01 o 266 1.01 c NEW SOLUTION FOUND: 266 @ 0.996 1.02 c Sol. found (all assignments made)... 1.02 o 260 1.02 c NEW SOLUTION FOUND: 260 @ 1.008 1.02 c Sol. found (all assignments made)... 1.02 o 254 1.02 c NEW SOLUTION FOUND: 254 @ 1.011 1.04 c Sol. found (all assignments made)... 1.04 o 248 1.04 c NEW SOLUTION FOUND: 248 @ 1.023 1.04 c Sol. found (all assignments made)... 1.04 o 244 1.04 c NEW SOLUTION FOUND: 244 @ 1.032 1.06 c Sol. found (all assignments made)... 1.06 o 224 1.06 c NEW SOLUTION FOUND: 224 @ 1.045 1.06 c Sol. found (all assignments made)... 1.06 o 220 1.06 c NEW SOLUTION FOUND: 220 @ 1.052 1.09 c Sol. found (all assignments made)... 1.09 o 216 1.09 c NEW SOLUTION FOUND: 216 @ 1.079 1.14 c Sol. found (all assignments made)... 1.14 o 200 1.14 c NEW SOLUTION FOUND: 200 @ 1.132 1.15 c Sol. found (all assignments made)... 1.15 o 194 1.15 c NEW SOLUTION FOUND: 194 @ 1.135 1.17 c Sol. found (all assignments made)... 1.17 o 188 1.17 c NEW SOLUTION FOUND: 188 @ 1.162 1.18 c Sol. found (all assignments made)... 1.18 o 184 1.18 c NEW SOLUTION FOUND: 184 @ 1.169 1.62 c Sol. found (all assignments made)... 1.62 o 182 1.62 c NEW SOLUTION FOUND: 182 @ 1.612 1.63 c Sol. found (all assignments made)... 1.63 o 176 1.63 c NEW SOLUTION FOUND: 176 @ 1.614 1.66 c Sol. found (all assignments made)... 1.66 o 170 1.66 c NEW SOLUTION FOUND: 170 @ 1.645 1.66 c Sol. found (all assignments made)... 1.66 o 168 1.66 c NEW SOLUTION FOUND: 168 @ 1.646 1.88 c Sol. found (all assignments made)... 1.88 o 160 1.88 c NEW SOLUTION FOUND: 160 @ 1.872 1.88 c Sol. found (all assignments made)... 1.88 o 158 1.88 c NEW SOLUTION FOUND: 158 @ 1.872 1.89 c Sol. found (all assignments made)... 1.89 o 156 1.89 c NEW SOLUTION FOUND: 156 @ 1.878 1.91 c Sol. found (all assignments made)... 1.91 o 144 1.91 c NEW SOLUTION FOUND: 144 @ 1.895 1.91 c Sol. found (all assignments made)... 1.91 o 142 1.91 c NEW SOLUTION FOUND: 142 @ 1.896 1.91 c Sol. found (all assignments made)... 1.91 o 140 1.91 c NEW SOLUTION FOUND: 140 @ 1.902 2.10 c Sol. found (all assignments made)... 2.10 o 138 2.10 c NEW SOLUTION FOUND: 138 @ 2.092 2.12 c Sol. found (all assignments made)... 2.12 o 136 2.12 c NEW SOLUTION FOUND: 136 @ 2.105 2.67 c Restart #14 #Var: 94 LB: 0 @ 2.655 2.89 c Restart #15 #Var: 94 LB: 0 @ 2.875 3.19 c Restart #16 #Var: 94 LB: 0 @ 3.182 3.65 c Restart #17 #Var: 94 LB: 0 @ 3.64 5.01 c CHANGE to MIS mode... UB: 136 MIS: 0 LPR: 0 (0.007) Diff: nan 5.01 c Restart #0 #Var: 94 LB: 0 @ 4.996 5.18 c Restart #1 #Var: 94 LB: 0 @ 5.161 5.55 c Restart #2 #Var: 94 LB: 0 @ 5.533 5.70 c Sol. found (all assignments made)... 5.70 o 135 5.70 c NEW SOLUTION FOUND: 135 @ 5.681 5.70 c Sol. found (all assignments made)... 5.70 o 133 5.70 c NEW SOLUTION FOUND: 133 @ 5.681 5.70 c Sol. found (all assignments made)... 5.82 c Restart #3 #Var: 94 LB: 0 @ 5.8 5.98 c Sol. found (all assignments made)... 6.00 c Sol. found (all assignments made)... 6.00 c Sol. found (all assignments made)... 6.10 c Restart #4 #Var: 94 LB: 0 @ 6.087 6.50 c Sol. found (all assignments made)... 6.50 o 131 6.50 c NEW SOLUTION FOUND: 131 @ 6.482 6.50 c Sol. found (all assignments made)... 6.50 o 129 6.50 c NEW SOLUTION FOUND: 129 @ 6.484 6.50 c Sol. found (all assignments made)... 6.50 c Sol. found (all assignments made)... 6.50 o 127 6.50 c NEW SOLUTION FOUND: 127 @ 6.486 6.54 c Sol. found (all assignments made)... 6.54 o 123 6.54 c NEW SOLUTION FOUND: 123 @ 6.52 6.54 c Sol. found (all assignments made)... 6.54 o 119 6.54 c NEW SOLUTION FOUND: 119 @ 6.521 6.54 c Sol. found (all assignments made)... 6.54 o 117 6.54 c NEW SOLUTION FOUND: 117 @ 6.523 7.14 c Restart #5 #Var: 94 LB: 0 @ 7.128 7.80 c Sol. found (all assignments made)... 7.92 c Restart #6 #Var: 94 LB: 0 @ 7.902 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 o 116 8.45 c NEW SOLUTION FOUND: 116 @ 8.437 8.46 c Sol. found (all assignments made)... 8.46 o 112 8.46 c NEW SOLUTION FOUND: 112 @ 8.438 8.46 c Sol. found (all assignments made)... 8.46 o 108 8.46 c NEW SOLUTION FOUND: 108 @ 8.438 8.46 c Sol. found (all assignments made)... 8.46 o 106 8.46 c NEW SOLUTION FOUND: 106 @ 8.439 8.46 c Sol. found (all assignments made)... 8.46 o 104 8.46 c NEW SOLUTION FOUND: 104 @ 8.439 8.46 c Sol. found (all assignments made)... 8.46 o 96 8.46 c NEW SOLUTION FOUND: 96 @ 8.44 8.46 c Sol. found (all assignments made)... 8.46 c Sol. found (all assignments made)... 8.46 o 92 8.46 c NEW SOLUTION FOUND: 92 @ 8.44 8.46 c Sol. found (all assignments made)... 8.46 c Sol. found (all assignments made)... 8.46 c Sol. found (all assignments made)... 8.46 c Sol. found (all assignments made)... 8.46 c Sol. found (all assignments made)... 8.46 o 90 8.46 c NEW SOLUTION FOUND: 90 @ 8.444 8.46 c Sol. found (all assignments made)... 8.46 c Sol. found (all assignments made)... 8.46 o 88 8.46 c NEW SOLUTION FOUND: 88 @ 8.444 8.50 c Sol. found (all assignments made)... 8.50 o 86 8.50 c NEW SOLUTION FOUND: 86 @ 8.479 8.72 c Sol. found (all assignments made)... 8.72 o 84 8.72 c NEW SOLUTION FOUND: 84 @ 8.705 8.72 c Sol. found (all assignments made)... 8.72 o 76 8.72 c NEW SOLUTION FOUND: 76 @ 8.706 8.73 c Sol. found (all assignments made)... 8.73 o 72 8.73 c NEW SOLUTION FOUND: 72 @ 8.707 8.73 c Sol. found (all assignments made)... 8.73 o 70 8.73 c NEW SOLUTION FOUND: 70 @ 8.711 9.59 c Sol. found (all assignments made)... 10.41 c Restart #7 #Var: 90 LB: 0 @ 10.387 14.52 c Restart #8 #Var: 88 LB: 0 @ 14.498 17.58 c Sol. found (all assignments made)... 17.58 o 67 17.58 c NEW SOLUTION FOUND: 67 @ 17.555 17.58 c Sol. found (all assignments made)... 17.58 c Sol. found (all assignments made)... 17.58 o 65 17.58 c NEW SOLUTION FOUND: 65 @ 17.555 17.58 c Sol. found (all assignments made)... 17.58 c Sol. found (all assignments made)... 17.58 o 63 17.58 c NEW SOLUTION FOUND: 63 @ 17.557 17.59 c Sol. found (all assignments made)... 17.65 c Sol. found (all assignments made)... 17.65 o 57 17.65 c NEW SOLUTION FOUND: 57 @ 17.624 17.65 c Sol. found (all assignments made)... 19.37 c Sol. found (all assignments made)... 19.48 c Sol. found (all assignments made)... 19.55 c Sol. found (all assignments made)... 19.56 c Sol. found (all assignments made)... 20.04 c Restart #9 #Var: 83 LB: 0 @ 20.02 22.52 c Restart #10 #Var: 82 LB: 0 @ 22.495 22.86 c Sol. found (all assignments made)... 22.86 o 56 22.86 c NEW SOLUTION FOUND: 56 @ 22.836 22.86 c Sol. found (all assignments made)... 22.87 c Sol. found (all assignments made)... 22.87 c Sol. found (all assignments made)... 22.87 c Sol. found (all assignments made)... 22.87 o 52 22.87 c NEW SOLUTION FOUND: 52 @ 22.847 22.87 c Sol. found (all assignments made)... 22.87 o 50 22.87 c NEW SOLUTION FOUND: 50 @ 22.847 25.39 c Sol. found (all assignments made)... 25.39 o 47 25.39 c NEW SOLUTION FOUND: 47 @ 25.366 25.39 c Sol. found (all assignments made)... 25.39 o 45 25.39 c NEW SOLUTION FOUND: 45 @ 25.366 25.45 c Sol. found (all assignments made)... 25.45 o 43 25.45 c NEW SOLUTION FOUND: 43 @ 25.425 25.46 c Sol. found (all assignments made)... 25.46 o 41 25.46 c NEW SOLUTION FOUND: 41 @ 25.436 25.52 c Sol. found (all assignments made)... 25.52 o 37 25.52 c NEW SOLUTION FOUND: 37 @ 25.496 28.31 c Restart #11 #Var: 80 LB: 0 @ 28.28 31.39 c Sol. found (all assignments made)... 31.39 o 36 31.39 c NEW SOLUTION FOUND: 36 @ 31.361 31.39 c Sol. found (all assignments made)... 31.39 o 32 31.39 c NEW SOLUTION FOUND: 32 @ 31.361 31.39 c Sol. found (all assignments made)... 31.39 o 30 31.39 c NEW SOLUTION FOUND: 30 @ 31.363 31.40 c Sol. found (all assignments made)... 31.40 o 26 31.40 c NEW SOLUTION FOUND: 26 @ 31.374 31.50 c Sol. found (all assignments made)... 31.50 o 24 31.50 c NEW SOLUTION FOUND: 24 @ 31.469 32.08 c Sol. found (all assignments made)... 32.08 c Sol. found (all assignments made)... 32.08 c Sol. found (all assignments made)... 32.12 c Sol. found (all assignments made)... 34.99 c Restart #12 #Var: 75 LB: 0 @ 34.963 35.49 c Sol. found (all assignments made)... 35.49 c Sol. found (all assignments made)... 35.49 c Sol. found (all assignments made)... 35.49 o 20 35.49 c NEW SOLUTION FOUND: 20 @ 35.465 35.49 c Sol. found (all assignments made)... 35.54 c Sol. found (all assignments made)... 35.55 c Sol. found (all assignments made)... 35.56 c Sol. found (all assignments made)... 35.56 c Sol. found (all assignments made)... 35.56 c Sol. found (all assignments made)... 35.56 o 18 35.56 c NEW SOLUTION FOUND: 18 @ 35.53 35.56 c Sol. found (all assignments made)... 35.56 o 16 35.56 c NEW SOLUTION FOUND: 16 @ 35.53 35.73 c Sol. found (all assignments made)... 35.73 o 14 35.73 c NEW SOLUTION FOUND: 14 @ 35.697 38.84 c Restart #13 #Var: 71 LB: 0 @ 38.814 39.50 c Sol. found (all assignments made)... 39.50 c Sol. found (all assignments made)... 39.61 c Sol. found (all assignments made)... 39.61 c Sol. found (all assignments made)... 39.61 c Sol. found (all assignments made)... 39.61 c Sol. found (all assignments made)... 39.61 c Sol. found (all assignments made)... 39.61 o 12 39.61 c NEW SOLUTION FOUND: 12 @ 39.579 39.61 c Sol. found (all assignments made)... 39.63 c Sol. found (all assignments made)... 39.79 c Sol. found (all assignments made)... 39.79 o 10 39.79 c NEW SOLUTION FOUND: 10 @ 39.763 39.82 c Sol. found (all assignments made)... 39.82 o 6 39.82 c NEW SOLUTION FOUND: 6 @ 39.784 39.82 c Sol. found (all assignments made)... 39.82 o 4 39.82 c NEW SOLUTION FOUND: 4 @ 39.79 39.93 c Sol. found (all assignments made)... 39.93 c Sol. found (all assignments made)... 40.96 c Restart #14 #Var: 64 LB: 0 @ 40.932 41.28 c Sol. found (all assignments made)... 41.29 c Sol. found (all assignments made)... 41.29 c Sol. found (all assignments made)... 41.71 c Restart #15 #Var: 61 LB: 0 @ 41.679 42.24 c Restart #16 #Var: 61 LB: 0 @ 42.209 42.72 c Sol. found (all assignments made)... 42.80 c Restart #17 #Var: 61 LB: 0 @ 42.769 43.44 c Restart #18 #Var: 59 LB: 0 @ 43.413 43.60 c Sol. found (all assignments made)... 43.98 c Restart #19 #Var: 58 LB: 0 @ 43.948 44.54 c Restart #20 #Var: 57 LB: 0 @ 44.508 45.18 c Restart #21 #Var: 56 LB: 0 @ 45.143 45.88 c Sol. found (all assignments made)... 45.88 c Sol. found (all assignments made)... 46.01 c Restart #22 #Var: 56 LB: 0 @ 45.977 46.07 c Sol. found (all assignments made)... 46.07 o 2 46.07 c NEW SOLUTION FOUND: 2 @ 46.039 46.74 c Restart #23 #Var: 55 LB: 0 @ 46.702 47.61 c Restart #24 #Var: 55 LB: 0 @ 47.575 48.96 c Restart #25 #Var: 55 LB: 0 @ 48.924 50.83 c Restart #26 #Var: 55 LB: 0 @ 50.795 52.08 c Restart #27 #Var: 55 LB: 0 @ 52.042 54.34 c Restart #28 #Var: 55 LB: 0 @ 54.303 55.82 c Restart #29 #Var: 54 LB: 0 @ 55.782 57.61 c Restart #30 #Var: 54 LB: 0 @ 57.575 59.65 c Restart #31 #Var: 53 LB: 0 @ 59.609 62.74 c Restart #32 #Var: 53 LB: 0 @ 62.704 63.13 c Sol. found (all assignments made)... 65.17 c Restart #33 #Var: 53 LB: 0 @ 65.135 67.21 c Restart #34 #Var: 53 LB: 0 @ 67.169 70.91 c Restart #35 #Var: 53 LB: 0 @ 70.865 74.06 c Restart #36 #Var: 53 LB: 0 @ 74.018 75.09 c Sol. found (all assignments made)... 75.56 c Restart #37 #Var: 51 LB: 0 @ 75.521 77.00 c Restart #38 #Var: 51 LB: 0 @ 76.962 78.65 c Restart #39 #Var: 51 LB: 0 @ 78.606 80.38 c Restart #40 #Var: 51 LB: 0 @ 80.338 82.34 c Restart #41 #Var: 51 LB: 0 @ 82.3 84.37 c Restart #42 #Var: 51 LB: 0 @ 84.328 86.96 c Restart #43 #Var: 51 LB: 0 @ 86.916 89.21 c Restart #44 #Var: 51 LB: 0 @ 89.161 92.25 c Restart #45 #Var: 51 LB: 0 @ 92.204 94.17 c Sol. found (all assignments made)... 94.99 c Restart #46 #Var: 51 LB: 0 @ 94.946 97.77 c Restart #47 #Var: 51 LB: 0 @ 97.724 100.39 c Restart #48 #Var: 51 LB: 0 @ 100.34 104.11 c Restart #49 #Var: 51 LB: 0 @ 104.06 106.46 c Restart #50 #Var: 51 LB: 0 @ 106.4 109.38 c Restart #51 #Var: 51 LB: 0 @ 109.32 112.66 c Restart #52 #Var: 51 LB: 0 @ 112.6 116.27 c Restart #53 #Var: 51 LB: 0 @ 116.21 121.92 c Restart #54 #Var: 51 LB: 0 @ 121.86 126.07 c Restart #55 #Var: 51 LB: 0 @ 126.01 132.96 c Restart #56 #Var: 51 LB: 0 @ 132.9 138.51 c Restart #57 #Var: 51 LB: 0 @ 138.45 145.12 c Restart #58 #Var: 51 LB: 0 @ 145.06 150.78 c Restart #59 #Var: 51 LB: 0 @ 150.72 156.16 c Sol. found (all assignments made)... 156.58 c Restart #60 #Var: 51 LB: 0 @ 156.51 160.75 c Restart #61 #Var: 51 LB: 0 @ 160.68 165.66 c Restart #62 #Var: 51 LB: 0 @ 165.59 170.55 c Restart #63 #Var: 51 LB: 0 @ 170.48 174.48 c Restart #64 #Var: 51 LB: 0 @ 174.41 180.58 c Restart #65 #Var: 51 LB: 0 @ 180.51 182.55 c Sol. found (all assignments made)... 185.06 c Sol. found (all assignments made)... 185.51 c Restart #66 #Var: 51 LB: 0 @ 185.43 190.47 c Restart #67 #Var: 51 LB: 0 @ 190.39 198.11 c Restart #68 #Var: 51 LB: 0 @ 198.04 205.51 c Restart #69 #Var: 51 LB: 0 @ 205.43 211.66 c Restart #70 #Var: 50 LB: 0 @ 211.57 217.80 c Restart #71 #Var: 50 LB: 0 @ 217.71 223.39 c Restart #72 #Var: 50 LB: 0 @ 223.31 233.43 c Restart #73 #Var: 49 LB: 0 @ 233.34 242.56 c Restart #74 #Var: 49 LB: 0 @ 242.47 260.20 c Restart #75 #Var: 49 LB: 0 @ 260.1 265.72 c Restart #76 #Var: 49 LB: 0 @ 265.62 271.65 c Restart #77 #Var: 49 LB: 0 @ 271.55 278.76 c Restart #78 #Var: 49 LB: 0 @ 278.66 288.47 c Restart #79 #Var: 49 LB: 0 @ 288.36 298.52 c Restart #80 #Var: 49 LB: 0 @ 298.41 300.53 c Sol. found (all assignments made)... 303.98 c Restart #81 #Var: 49 LB: 0 @ 303.87 304.83 c Sol. found (all assignments made)... 311.61 c Restart #82 #Var: 48 LB: 0 @ 311.5 318.15 c Restart #83 #Var: 48 LB: 0 @ 318.03 327.53 c Restart #84 #Var: 48 LB: 0 @ 327.42 339.31 c Restart #85 #Var: 48 LB: 0 @ 339.19 351.29 c Restart #86 #Var: 48 LB: 0 @ 351.17 360.66 c Sol. found (all assignments made)... 363.26 c Restart #87 #Var: 48 LB: 0 @ 363.14 365.72 c Sol. found (all assignments made)... 375.19 c Restart #88 #Var: 47 LB: 0 @ 375.06 384.70 c Restart #89 #Var: 47 LB: 0 @ 384.57 395.02 c Restart #90 #Var: 47 LB: 0 @ 394.89 406.42 c Sol. found (all assignments made)... 408.89 c Restart #91 #Var: 47 LB: 0 @ 408.75 412.43 c Sol. found (all assignments made)... 419.21 c Restart #92 #Var: 47 LB: 0 @ 419.07 438.46 c Restart #93 #Var: 47 LB: 0 @ 438.31 449.29 c Restart #94 #Var: 47 LB: 0 @ 449.14 454.95 c Sol. found (all assignments made)... 457.33 c Restart #95 #Var: 47 LB: 0 @ 457.18 465.40 c Restart #96 #Var: 47 LB: 0 @ 465.24 483.00 c Restart #97 #Var: 47 LB: 0 @ 482.84 496.14 c Restart #98 #Var: 47 LB: 0 @ 495.98 498.06 c Sol. found (all assignments made)... 514.81 c Restart #99 #Var: 47 LB: 0 @ 514.64 531.91 c Restart #100 #Var: 47 LB: 0 @ 531.74 547.40 c Restart #101 #Var: 47 LB: 0 @ 547.22 556.43 c Restart #102 #Var: 47 LB: 0 @ 556.25 565.58 c Restart #103 #Var: 47 LB: 0 @ 565.4 586.26 c Restart #104 #Var: 47 LB: 0 @ 586.07 600.04 c Restart #105 #Var: 47 LB: 0 @ 599.85 611.46 c Restart #106 #Var: 47 LB: 0 @ 611.26 632.10 c Restart #107 #Var: 47 LB: 0 @ 631.9 651.92 c Restart #108 #Var: 47 LB: 0 @ 651.71 656.84 c Sol. found (all assignments made)... 660.82 c Sol. found (all assignments made)... 663.21 c Restart #109 #Var: 47 LB: 0 @ 663 679.88 c Restart #110 #Var: 46 LB: 0 @ 679.66 694.31 c Restart #111 #Var: 45 LB: 0 @ 694.09 703.33 c Restart #112 #Var: 45 LB: 0 @ 703.11 717.83 c Restart #113 #Var: 45 LB: 0 @ 717.61 731.10 c Restart #114 #Var: 45 LB: 0 @ 730.87 754.91 c Restart #115 #Var: 45 LB: 0 @ 754.67 780.69 c Restart #116 #Var: 45 LB: 0 @ 780.45 807.45 c Restart #117 #Var: 45 LB: 0 @ 807.2 821.36 c Restart #118 #Var: 45 LB: 0 @ 821.1 843.52 c Restart #119 #Var: 45 LB: 0 @ 843.26 862.41 c Restart #120 #Var: 45 LB: 0 @ 862.14 898.63 c Restart #121 #Var: 45 LB: 0 @ 898.35 928.96 c Restart #122 #Var: 45 LB: 0 @ 928.67 957.69 c Restart #123 #Var: 45 LB: 0 @ 957.4 980.98 c Restart #124 #Var: 45 LB: 0 @ 980.68 1004.59 c Restart #125 #Var: 45 LB: 0 @ 1004.3 1021.61 c Restart #126 #Var: 45 LB: 0 @ 1021.3 1043.40 c Restart #127 #Var: 45 LB: 0 @ 1043.1 1049.72 c Sol. found (all assignments made)... 1062.69 c Restart #128 #Var: 45 LB: 0 @ 1062.4 1083.17 c Restart #129 #Var: 45 LB: 0 @ 1082.8 1101.47 c Restart #130 #Var: 45 LB: 0 @ 1101.1 1121.94 c Restart #131 #Var: 45 LB: 0 @ 1121.6 1147.52 c Restart #132 #Var: 45 LB: 0 @ 1147.2 1178.13 c Restart #133 #Var: 45 LB: 0 @ 1177.8 1197.70 c Restart #134 #Var: 45 LB: 0 @ 1197.3 1211.61 c Sol. found (all assignments made)... 1214.25 c Restart #135 #Var: 45 LB: 0 @ 1213.9 1230.09 c Restart #136 #Var: 45 LB: 0 @ 1229.7 1255.59 c Restart #137 #Var: 45 LB: 0 @ 1255.2
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/node77/watcher-50332-1149923201 -o ROOT/results/node77/solver-50332-1149923201 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node77/50332-1149923201/instance-50332-1149923201.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.85 0.96 0.90 3/67 31788 /proc/meminfo: memFree=1793256/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=3228 CPUtime=0 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 54 0 0 0 0 0 0 0 18 0 1 0 257959341 3305472 38 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1463220 0 0 4096 0 0 0 0 17 1 0 0 /proc/31788/statm: 842 42 31 55 0 40 0 [startup+10.0024 s] /proc/loadavg: 0.87 0.96 0.90 2/67 31788 /proc/meminfo: memFree=1747560/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=50356 CPUtime=9.97 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 11886 0 0 0 989 8 0 0 25 0 1 0 257959341 51564544 11796 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534863 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 12589 11796 417 55 0 11480 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 50356 [startup+20.0077 s] /proc/loadavg: 0.89 0.96 0.90 2/67 31788 /proc/meminfo: memFree=1743856/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=54052 CPUtime=19.97 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 12818 0 0 0 1987 10 0 0 25 0 1 0 257959341 55349248 12728 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1898539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 13513 12728 417 55 0 12404 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 54052 [startup+30.0129 s] /proc/loadavg: 0.91 0.97 0.90 2/67 31788 /proc/meminfo: memFree=1737712/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=60264 CPUtime=29.98 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 14348 0 0 0 2986 12 0 0 25 0 1 0 257959341 61710336 14258 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524332 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 15066 14258 417 55 0 13957 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 60264 [startup+40.0191 s] /proc/loadavg: 0.92 0.97 0.90 2/67 31788 /proc/meminfo: memFree=1731568/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=66344 CPUtime=39.98 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 15884 0 0 0 3984 14 0 0 25 0 1 0 257959341 67936256 15794 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 16586 15794 417 55 0 15477 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 66344 [startup+50.0254 s] /proc/loadavg: 0.93 0.97 0.90 2/67 31788 /proc/meminfo: memFree=1686320/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=111792 CPUtime=49.99 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 27465 0 0 0 4977 22 0 0 25 0 1 0 257959341 114475008 27087 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534947 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 27948 27087 417 55 0 26839 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 111792 [startup+60.0316 s] /proc/loadavg: 0.94 0.97 0.90 2/67 31788 /proc/meminfo: memFree=1658096/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=140204 CPUtime=59.98 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 34526 0 0 0 5971 27 0 0 25 0 1 0 257959341 143568896 34135 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 35051 34135 417 55 0 33942 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 140204 [startup+70.0378 s] /proc/loadavg: 0.95 0.97 0.91 2/67 31788 /proc/meminfo: memFree=1634608/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=163892 CPUtime=69.98 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 40948 0 0 0 6966 32 0 0 25 0 1 0 257959341 167825408 39981 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 40973 39981 417 55 0 39864 0 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 163892 [startup+80.0441 s] /proc/loadavg: 0.96 0.97 0.91 2/67 31788 /proc/meminfo: memFree=1600112/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=198620 CPUtime=79.99 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 49577 0 0 0 7961 38 0 0 25 0 1 0 257959341 203386880 48590 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 49655 48590 417 55 0 48546 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 198620 [startup+90.0493 s] /proc/loadavg: 0.96 0.97 0.91 2/67 31788 /proc/meminfo: memFree=1566896/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=231824 CPUtime=89.99 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 57882 0 0 0 8955 44 0 0 25 0 1 0 257959341 237387776 56877 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 57956 56877 417 55 0 56847 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 231824 [startup+100.056 s] /proc/loadavg: 0.97 0.97 0.91 2/67 31788 /proc/meminfo: memFree=1536048/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=262952 CPUtime=100 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 65606 0 0 0 9948 52 0 0 25 0 1 0 257959341 269262848 64584 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 65738 64584 417 55 0 64629 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 262952 [startup+110.062 s] /proc/loadavg: 0.97 0.97 0.91 2/67 31788 /proc/meminfo: memFree=1506800/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=292464 CPUtime=110 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 72906 0 0 0 10943 57 0 0 25 0 1 0 257959341 299483136 71875 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 73116 71875 417 55 0 72007 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 292464 [startup+120.068 s] /proc/loadavg: 0.98 0.97 0.91 2/67 31788 /proc/meminfo: memFree=1483632/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=315560 CPUtime=120 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 78698 0 0 0 11939 61 0 0 25 0 1 0 257959341 323133440 77656 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 78890 77656 417 55 0 77781 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 315560 [startup+130.074 s] /proc/loadavg: 0.98 0.97 0.91 2/67 31788 /proc/meminfo: memFree=1464240/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=335092 CPUtime=130 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 83546 0 0 0 12936 64 0 0 25 0 1 0 257959341 343134208 82495 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533922 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 83773 82495 417 55 0 82664 0 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 335092 [startup+140.079 s] /proc/loadavg: 0.98 0.97 0.91 2/67 31788 /proc/meminfo: memFree=1444016/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=355332 CPUtime=140 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 89742 0 0 0 13931 69 0 0 25 0 1 0 257959341 363859968 87543 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 88833 87543 417 55 0 87724 0 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 355332 [startup+150.086 s] /proc/loadavg: 0.98 0.97 0.91 2/67 31788 /proc/meminfo: memFree=1425712/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=373680 CPUtime=150.02 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 94318 0 0 0 14929 73 0 0 25 0 1 0 257959341 382648320 92105 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 93420 92105 417 55 0 92311 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 373680 [startup+160.092 s] /proc/loadavg: 0.99 0.97 0.91 2/67 31788 /proc/meminfo: memFree=1404016/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=395704 CPUtime=160.02 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 99893 0 0 0 15925 77 0 0 25 0 1 0 257959341 405200896 97516 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 98926 97516 417 55 0 97817 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 395704 [startup+170.098 s] /proc/loadavg: 0.99 0.97 0.91 2/67 31788 /proc/meminfo: memFree=1381808/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=417944 CPUtime=170.01 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 105439 0 0 0 16920 81 0 0 25 0 1 0 257959341 427974656 103062 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 104486 103062 417 55 0 103377 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 417944 [startup+180.104 s] /proc/loadavg: 0.99 0.97 0.91 2/67 31788 /proc/meminfo: memFree=1357808/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=442384 CPUtime=180.02 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 111592 0 0 0 17916 86 0 0 25 0 1 0 257959341 453001216 109036 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 110596 109036 417 55 0 109487 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 442384 [startup+190.111 s] /proc/loadavg: 0.99 0.97 0.91 2/67 31788 /proc/meminfo: memFree=1333680/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=466708 CPUtime=190.02 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 117777 0 0 0 18913 89 0 0 25 0 1 0 257959341 477908992 115057 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 116677 115057 417 55 0 115568 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 466708 [startup+200.116 s] /proc/loadavg: 0.99 0.97 0.91 2/67 31788 /proc/meminfo: memFree=1317424/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=483676 CPUtime=200.03 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 121974 0 0 0 19910 93 0 0 25 0 1 0 257959341 495284224 119113 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548654 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 120919 119113 417 55 0 119810 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 483676 [startup+210.122 s] /proc/loadavg: 0.99 0.97 0.91 2/67 31788 ################ # More data... # ################ Current children cumulated CPU time (s) 1080.31 Current children cumulated vsize (Kb) 1617428 [startup+1090.66 s] /proc/loadavg: 0.99 0.97 0.91 2/67 31788 /proc/meminfo: memFree=178160/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=1632244 CPUtime=1090.31 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 421053 0 0 0 108705 326 0 0 25 0 1 0 257959341 1671417856 403330 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 408061 403330 417 55 0 406952 0 Current children cumulated CPU time (s) 1090.31 Current children cumulated vsize (Kb) 1632244 [startup+1100.66 s] /proc/loadavg: 0.99 0.97 0.91 2/67 31788 /proc/meminfo: memFree=163376/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=1646896 CPUtime=1100.32 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 424736 0 0 0 109703 329 0 0 25 0 1 0 257959341 1686421504 407013 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 411724 407013 417 55 0 410615 0 Current children cumulated CPU time (s) 1100.32 Current children cumulated vsize (Kb) 1646896 [startup+1110.67 s] /proc/loadavg: 0.99 0.97 0.91 2/67 31788 /proc/meminfo: memFree=152240/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=1657588 CPUtime=1110.32 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 427510 0 0 0 110701 331 0 0 25 0 1 0 257959341 1697370112 409787 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 414397 409787 417 55 0 413288 0 Current children cumulated CPU time (s) 1110.32 Current children cumulated vsize (Kb) 1657588 [startup+1120.68 s] /proc/loadavg: 0.99 0.97 0.91 2/67 31788 /proc/meminfo: memFree=139440/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=1670392 CPUtime=1120.33 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 430706 0 0 0 111699 334 0 0 25 0 1 0 257959341 1710481408 412983 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 417598 412983 417 55 0 416489 0 Current children cumulated CPU time (s) 1120.33 Current children cumulated vsize (Kb) 1670392 [startup+1130.68 s] /proc/loadavg: 0.99 0.97 0.91 2/67 31788 /proc/meminfo: memFree=130544/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=1679028 CPUtime=1130.33 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 433007 0 0 0 112697 336 0 0 25 0 1 0 257959341 1719324672 415202 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533493 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 419757 415202 417 55 0 418648 0 Current children cumulated CPU time (s) 1130.33 Current children cumulated vsize (Kb) 1679028 [startup+1140.69 s] /proc/loadavg: 0.99 0.97 0.91 2/67 31788 /proc/meminfo: memFree=118448/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=1691172 CPUtime=1140.34 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 436029 0 0 0 113695 339 0 0 25 0 1 0 257959341 1731760128 418224 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 422793 418224 417 55 0 421684 0 Current children cumulated CPU time (s) 1140.34 Current children cumulated vsize (Kb) 1691172 [startup+1150.69 s] /proc/loadavg: 0.99 0.97 0.91 2/67 31788 /proc/meminfo: memFree=111344/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=1699052 CPUtime=1150.34 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 438122 0 0 0 114693 341 0 0 25 0 1 0 257959341 1739829248 419995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 424763 419995 417 55 0 423654 0 Current children cumulated CPU time (s) 1150.34 Current children cumulated vsize (Kb) 1699052 [startup+1160.7 s] /proc/loadavg: 0.99 0.97 0.91 2/67 31788 /proc/meminfo: memFree=99952/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=1710404 CPUtime=1160.35 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 440967 0 0 0 115691 344 0 0 25 0 1 0 257959341 1751453696 422840 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 427601 422840 417 55 0 426492 0 Current children cumulated CPU time (s) 1160.35 Current children cumulated vsize (Kb) 1710404 [startup+1170.71 s] /proc/loadavg: 0.99 0.97 0.91 2/67 31788 /proc/meminfo: memFree=93104/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=1717268 CPUtime=1170.35 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 442680 0 0 0 116690 345 0 0 25 0 1 0 257959341 1758482432 424553 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 429317 424553 417 55 0 428208 0 Current children cumulated CPU time (s) 1170.35 Current children cumulated vsize (Kb) 1717268 [startup+1180.71 s] /proc/loadavg: 0.99 0.97 0.91 2/67 31788 /proc/meminfo: memFree=89264/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=1723880 CPUtime=1180.35 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 444588 0 0 0 117689 346 0 0 25 0 1 0 257959341 1765253120 425497 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533972 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 430970 425497 417 55 0 429861 0 Current children cumulated CPU time (s) 1180.35 Current children cumulated vsize (Kb) 1723880 [startup+1190.72 s] /proc/loadavg: 0.99 0.97 0.91 2/67 31788 /proc/meminfo: memFree=78640/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=1734440 CPUtime=1190.36 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 447244 0 0 0 118687 349 0 0 25 0 1 0 257959341 1776066560 428153 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 433610 428153 417 55 0 432501 0 Current children cumulated CPU time (s) 1190.36 Current children cumulated vsize (Kb) 1734440 [startup+1200.72 s] /proc/loadavg: 0.99 0.97 0.91 2/67 31788 /proc/meminfo: memFree=63152/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=1749996 CPUtime=1200.35 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 451265 0 0 0 119684 351 0 0 25 0 1 0 257959341 1791995904 432012 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 437499 432012 417 55 0 436390 0 Current children cumulated CPU time (s) 1200.35 Current children cumulated vsize (Kb) 1749996 [startup+1210.73 s] /proc/loadavg: 0.99 0.97 0.91 2/67 31788 /proc/meminfo: memFree=44912/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=1768212 CPUtime=1210.36 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 455822 0 0 0 120682 354 0 0 25 0 1 0 257959341 1810649088 436569 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551610 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 442053 436569 417 55 0 440944 0 Current children cumulated CPU time (s) 1210.36 Current children cumulated vsize (Kb) 1768212 [startup+1220.73 s] /proc/loadavg: 0.99 0.97 0.91 2/67 31788 /proc/meminfo: memFree=34864/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=1777980 CPUtime=1220.36 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 458329 0 0 0 121680 356 0 0 25 0 1 0 257959341 1820651520 439076 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1898539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 444495 439076 417 55 0 443386 0 Current children cumulated CPU time (s) 1220.36 Current children cumulated vsize (Kb) 1777980 [startup+1230.74 s] /proc/loadavg: 0.99 0.97 0.91 2/67 31788 /proc/meminfo: memFree=16368/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=1796196 CPUtime=1230.36 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 462941 0 0 0 122678 358 0 0 25 0 1 0 257959341 1839304704 443688 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 449049 443688 417 55 0 447940 0 Current children cumulated CPU time (s) 1230.36 Current children cumulated vsize (Kb) 1796196 [startup+1240.75 s] /proc/loadavg: 0.99 0.97 0.91 2/67 31788 /proc/meminfo: memFree=16176/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=1810980 CPUtime=1240.36 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 466799 0 0 0 123674 362 0 0 25 0 1 0 257959341 1854443520 447546 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 452745 447546 417 55 0 451636 0 Current children cumulated CPU time (s) 1240.36 Current children cumulated vsize (Kb) 1810980 [startup+1250.75 s] /proc/loadavg: 0.99 0.97 0.91 2/67 31788 /proc/meminfo: memFree=16304/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=1817052 CPUtime=1250.37 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 468321 0 0 0 124673 364 0 0 25 0 1 0 257959341 1860661248 449068 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 454263 449068 417 55 0 453154 0 Current children cumulated CPU time (s) 1250.37 Current children cumulated vsize (Kb) 1817052 [startup+1260.76 s] /proc/loadavg: 0.99 0.97 0.91 2/67 31788 /proc/meminfo: memFree=14960/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=1825460 CPUtime=1260.38 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 470538 0 0 0 125672 366 0 0 25 0 1 0 257959341 1869271040 450963 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550825 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 456365 450963 417 55 0 455256 0 Current children cumulated CPU time (s) 1260.38 Current children cumulated vsize (Kb) 1825460 [startup+1270.77 s] /proc/loadavg: 0.99 0.97 0.91 2/67 31788 /proc/meminfo: memFree=15344/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=1829816 CPUtime=1270.37 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 471609 0 0 0 126671 366 0 0 25 0 1 0 257959341 1873731584 452034 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 457454 452034 417 55 0 456345 0 Current children cumulated CPU time (s) 1270.37 Current children cumulated vsize (Kb) 1829816 [startup+1280.77 s] /proc/loadavg: 0.99 0.97 0.91 2/67 31788 /proc/meminfo: memFree=16048/2055892 swapFree=4085316/4096564 [pid=31788] ppid=31786 vsize=1833776 CPUtime=1280.38 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 472616 0 0 0 127671 367 0 0 25 0 1 0 257959341 1877786624 453041 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1898539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 458444 453041 417 55 0 457335 0 Current children cumulated CPU time (s) 1280.38 Current children cumulated vsize (Kb) 1833776 [startup+1290.78 s] /proc/loadavg: 0.99 0.97 0.91 2/67 31788 /proc/meminfo: memFree=15472/2055892 swapFree=4085292/4096564 [pid=31788] ppid=31786 vsize=1841960 CPUtime=1290.39 /proc/31788/stat : 31788 (bsolo) R 31786 31788 31742 0 -1 0 474662 0 0 0 128670 369 0 0 25 0 1 0 257959341 1886167040 455087 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1898539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31788/statm: 460490 455087 417 55 0 459381 0 Current children cumulated CPU time (s) 1290.39 Current children cumulated vsize (Kb) 1841960 Child ended because it received signal 6 (SIGABRT) Real time (s): 1291.69 CPU time (s): 1291.3 CPU user time (s): 1287.34 CPU system time (s): 3.9554 CPU usage (%): 99.9699 Max. virtual memory (cumulated for all children) (Kb): 1841960 The end
Begin job on node77 on Sat Jun 10 07:06:41 UTC 2006 FILE ID= 50332-1149923201 PBS_JOBID= 385565 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node77/50332-1149923201/instance-50332-1149923201.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node77/watcher-50332-1149923201 -o ROOT/results/node77/solver-50332-1149923201 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node77/50332-1149923201/instance-50332-1149923201.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= fb11ff2665aef67f0842a460a5ea3114 RANDOM SEED= 695835289 /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.238 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.16 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.238 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: 1793464 kB Buffers: 26364 kB Cached: 167248 kB SwapCached: 2500 kB Active: 36988 kB Inactive: 165392 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1793464 kB SwapTotal: 4096564 kB SwapFree: 4085316 kB Dirty: 180 kB Writeback: 0 kB Mapped: 16108 kB Slab: 46800 kB Committed_AS: 647364 kB PageTables: 1276 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node77 on Sat Jun 10 07:28:13 UTC 2006