Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | OPT | 9663726592 | 349.38 | 349.507 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/www.csit.fsu.edu/ ~burkardt/datasets/mps/normalized-mps-v2-20-10-testprob.opb |
MD5SUM | 24c749e45d4bbd6a8ec98f3e49fb7aad |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 9663726592 |
Best CPU time to get the best result obtained on this benchmark | 0.063989 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 9663726592 |
Optimality of the best value was proved | YES |
Number of variables | 56 |
Total number of constraints | 5 |
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 | 5 |
Minimum length of a constraint | 12 |
Maximum length of a constraint | 44 |
Number of terms in the objective function | 56 |
Biggest coefficient in the objective function | 9663676416 |
Number of bits for the biggest coefficient in the objective function | 34 |
Sum of the numbers in the objective function | 19327377394 |
Number of bits of the sum of numbers in the objective function | 35 |
Biggest number in a constraint | 9663676416 |
Number of bits of the biggest number in a constraint | 34 |
Biggest sum of numbers in a constraint | 19327377394 |
Number of bits of the biggest sum of numbers | 35 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.01 c BIG Int formula... 0.02 c Initial problem consists of 56 variables and 6 constraints. 0.02 c No problem reductions applied in OPT. instance. 0.02 c preprocess terminated. Elapsed time: 0.011 0.02 c After prepocess the problem consists of 39 variables and 6 constraints. 0.02 c Initial Lower Bound: 9663676416 0.02 c Restart #1 #Var: 39 LB: 9663676416 @ 0.016 0.03 c Restart #2 #Var: 39 LB: 9663676416 @ 0.027 0.05 c Restart #3 #Var: 39 LB: 9663676416 @ 0.043 0.07 c Restart #4 #Var: 39 LB: 9663676416 @ 0.067 0.10 c Restart #5 #Var: 39 LB: 9663676416 @ 0.095 0.14 c Restart #6 #Var: 39 LB: 9663676416 @ 0.133 0.18 c Restart #7 #Var: 39 LB: 9663676416 @ 0.178 0.24 c Restart #8 #Var: 39 LB: 9663676416 @ 0.232 0.30 c Restart #9 #Var: 39 LB: 9663676416 @ 0.3 0.38 c Restart #10 #Var: 39 LB: 9663676416 @ 0.37 0.45 c Restart #11 #Var: 39 LB: 9663676416 @ 0.449 0.56 c Restart #12 #Var: 39 LB: 9663676416 @ 0.552 0.56 c Sol. found (all assignments made)... 0.56 o 9663751169 0.56 c NEW SOLUTION FOUND: 9663751169 @ 0.56 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 o 9663751168 0.57 c NEW SOLUTION FOUND: 9663751168 @ 0.56 0.57 c Sol. found (all assignments made)... 0.70 c Restart #13 #Var: 36 LB: 9663713280 @ 0.695 0.83 c Restart #14 #Var: 36 LB: 9663713280 @ 0.829 0.98 c Restart #15 #Var: 36 LB: 9663713280 @ 0.975 1.13 c Restart #16 #Var: 36 LB: 9663713280 @ 1.124 1.30 c CHANGE to MIS mode... UB: 9663751168 MIS: 9663713283 LPR: -2147483648 (0) Diff: -4.5 1.30 c Restart #0 #Var: 36 LB: 9663713280 @ 1.297 1.34 c Restart #1 #Var: 36 LB: 9663713283 @ 1.334 1.38 c Restart #2 #Var: 36 LB: 9663713283 @ 1.375 1.44 c Restart #3 #Var: 36 LB: 9663713283 @ 1.433 1.50 c Restart #4 #Var: 36 LB: 9663713283 @ 1.496 1.57 c Restart #5 #Var: 36 LB: 9663713283 @ 1.568 1.65 c Restart #6 #Var: 36 LB: 9663713283 @ 1.644 1.74 c Restart #7 #Var: 36 LB: 9663713283 @ 1.73 1.83 c Restart #8 #Var: 36 LB: 9663713283 @ 1.825 1.93 c Restart #9 #Var: 36 LB: 9663713283 @ 1.928 2.06 c Restart #10 #Var: 36 LB: 9663713283 @ 2.052 2.18 c Restart #11 #Var: 36 LB: 9663713283 @ 2.173 2.33 c Restart #12 #Var: 36 LB: 9663713283 @ 2.325 2.49 c Restart #13 #Var: 36 LB: 9663713283 @ 2.489 2.68 c Restart #14 #Var: 36 LB: 9663713283 @ 2.672 2.88 c Restart #15 #Var: 36 LB: 9663713283 @ 2.875 3.08 c Restart #16 #Var: 36 LB: 9663713283 @ 3.075 3.30 c Restart #17 #Var: 36 LB: 9663713283 @ 3.297 3.52 c Restart #18 #Var: 36 LB: 9663713283 @ 3.517 3.81 c Restart #19 #Var: 36 LB: 9663713283 @ 3.803 4.07 c Restart #20 #Var: 36 LB: 9663713283 @ 4.066 4.34 c Restart #21 #Var: 36 LB: 9663713283 @ 4.332 4.68 c Restart #22 #Var: 36 LB: 9663713283 @ 4.672 5.13 c Restart #23 #Var: 36 LB: 9663713283 @ 5.123 5.54 c Restart #24 #Var: 36 LB: 9663713283 @ 5.528 6.00 c Restart #25 #Var: 36 LB: 9663713283 @ 5.993 6.41 c Restart #26 #Var: 36 LB: 9663713283 @ 6.404 6.85 c Restart #27 #Var: 36 LB: 9663713283 @ 6.837 7.34 c Restart #28 #Var: 36 LB: 9663713283 @ 7.335 7.79 c Restart #29 #Var: 36 LB: 9663713283 @ 7.782 8.27 c Restart #30 #Var: 36 LB: 9663713283 @ 8.259 8.83 c Restart #31 #Var: 36 LB: 9663713283 @ 8.818 9.56 c Restart #32 #Var: 36 LB: 9663713283 @ 9.551 10.16 c Restart #33 #Var: 36 LB: 9663713283 @ 10.147 10.83 c Restart #34 #Var: 36 LB: 9663713283 @ 10.816 11.60 c Restart #35 #Var: 36 LB: 9663713283 @ 11.589 12.42 c Restart #36 #Var: 36 LB: 9663713283 @ 12.406 13.21 c Restart #37 #Var: 36 LB: 9663713283 @ 13.195 13.99 c Restart #38 #Var: 36 LB: 9663713283 @ 13.975 14.92 c Restart #39 #Var: 36 LB: 9663713283 @ 14.9 15.78 c Restart #40 #Var: 36 LB: 9663713283 @ 15.767 16.80 c Restart #41 #Var: 36 LB: 9663713283 @ 16.789 17.89 c Restart #42 #Var: 36 LB: 9663713283 @ 17.873 18.74 c Sol. found (all assignments made)... 18.74 o 9663742750 18.74 c NEW SOLUTION FOUND: 9663742750 @ 18.726 18.74 c Sol. found (all assignments made)... 18.74 o 9663742494 18.74 c NEW SOLUTION FOUND: 9663742494 @ 18.726 18.74 c Sol. found (all assignments made)... 18.74 o 9663742493 18.74 c NEW SOLUTION FOUND: 9663742493 @ 18.726 18.74 c Sol. found (all assignments made)... 18.74 o 9663742301 18.74 c NEW SOLUTION FOUND: 9663742301 @ 18.726 18.74 c Sol. found (all assignments made)... 18.74 c Sol. found (all assignments made)... 18.74 o 9663742300 18.74 c NEW SOLUTION FOUND: 9663742300 @ 18.727 18.74 c Sol. found (all assignments made)... 18.74 c Sol. found (all assignments made)... 18.74 c Sol. found (all assignments made)... 18.74 c Sol. found (all assignments made)... 18.74 c Sol. found (all assignments made)... 18.74 o 9663730297 18.74 c NEW SOLUTION FOUND: 9663730297 @ 18.727 18.74 c Sol. found (all assignments made)... 18.74 o 9663730057 18.74 c NEW SOLUTION FOUND: 9663730057 @ 18.727 18.74 c Sol. found (all assignments made)... 18.74 o 9663730041 18.74 c NEW SOLUTION FOUND: 9663730041 @ 18.727 18.74 c Sol. found (all assignments made)... 18.74 o 9663730017 18.74 c NEW SOLUTION FOUND: 9663730017 @ 18.727 18.74 c Sol. found (all assignments made)... 18.74 o 9663730012 18.74 c NEW SOLUTION FOUND: 9663730012 @ 18.727 18.75 c Sol. found (all assignments made)... 18.75 o 9663726969 18.75 c NEW SOLUTION FOUND: 9663726969 @ 18.732 18.75 c Sol. found (all assignments made)... 18.75 c Sol. found (all assignments made)... 18.75 o 9663726945 18.75 c NEW SOLUTION FOUND: 9663726945 @ 18.732 18.75 c Sol. found (all assignments made)... 18.75 o 9663726940 18.75 c NEW SOLUTION FOUND: 9663726940 @ 18.732 18.86 c Sol. found (all assignments made)... 18.86 o 9663726761 18.86 c NEW SOLUTION FOUND: 9663726761 @ 18.839 18.86 c Sol. found (all assignments made)... 18.86 c Sol. found (all assignments made)... 18.86 o 9663726753 18.86 c NEW SOLUTION FOUND: 9663726753 @ 18.84 18.86 c Sol. found (all assignments made)... 18.86 o 9663726748 18.86 c NEW SOLUTION FOUND: 9663726748 @ 18.84 19.77 c Restart #43 #Var: 36 LB: 9663713283 @ 19.754 20.67 c Restart #44 #Var: 36 LB: 9663713283 @ 20.648 21.70 c Restart #45 #Var: 36 LB: 9663713283 @ 21.678 22.59 c Restart #46 #Var: 36 LB: 9663713283 @ 22.576 23.57 c Restart #47 #Var: 36 LB: 9663713283 @ 23.547 24.66 c Restart #48 #Var: 36 LB: 9663713283 @ 24.636 25.80 c Restart #49 #Var: 36 LB: 9663713283 @ 25.784 27.18 c Restart #50 #Var: 36 LB: 9663713283 @ 27.164 28.66 c Restart #51 #Var: 36 LB: 9663713283 @ 28.636 29.98 c Restart #52 #Var: 36 LB: 9663713283 @ 29.957 31.30 c Restart #53 #Var: 36 LB: 9663713283 @ 31.28 32.63 c Restart #54 #Var: 36 LB: 9663713283 @ 32.605 33.21 c Sol. found (all assignments made)... 33.21 c Sol. found (all assignments made)... 33.21 c Sol. found (all assignments made)... 33.24 c Sol. found (all assignments made)... 33.26 c Sol. found (all assignments made)... 34.00 c Restart #55 #Var: 36 LB: 9663713283 @ 33.975 35.43 c Restart #56 #Var: 36 LB: 9663713283 @ 35.407 37.05 c Sol. found (all assignments made)... 37.05 o 9663726709 37.05 c NEW SOLUTION FOUND: 9663726709 @ 37.028 37.05 c Sol. found (all assignments made)... 37.05 c Sol. found (all assignments made)... 37.05 o 9663726701 37.05 c NEW SOLUTION FOUND: 9663726701 @ 37.029 37.05 c Sol. found (all assignments made)... 37.05 o 9663726700 37.05 c NEW SOLUTION FOUND: 9663726700 @ 37.029 38.58 c Restart #57 #Var: 36 LB: 9663713283 @ 38.553 40.14 c Restart #58 #Var: 36 LB: 9663713283 @ 40.112 41.81 c Restart #59 #Var: 36 LB: 9663713283 @ 41.788 43.99 c Restart #60 #Var: 36 LB: 9663713283 @ 43.963 45.58 c Restart #61 #Var: 36 LB: 9663713283 @ 45.555 46.43 c Sol. found (all assignments made)... 46.43 o 9663726683 46.43 c NEW SOLUTION FOUND: 9663726683 @ 46.407 46.43 c Sol. found (all assignments made)... 46.43 c Sol. found (all assignments made)... 46.43 o 9663726679 46.43 c NEW SOLUTION FOUND: 9663726679 @ 46.407 46.43 c Sol. found (all assignments made)... 46.43 o 9663726676 46.43 c NEW SOLUTION FOUND: 9663726676 @ 46.407 46.43 c Sol. found (all assignments made)... 47.75 c Restart #62 #Var: 36 LB: 9663713283 @ 47.726 49.83 c Restart #63 #Var: 36 LB: 9663713283 @ 49.803 51.28 c Sol. found (all assignments made)... 51.28 o 9663726657 51.28 c NEW SOLUTION FOUND: 9663726657 @ 51.256 51.28 c Sol. found (all assignments made)... 51.28 c Sol. found (all assignments made)... 51.28 o 9663726653 51.28 c NEW SOLUTION FOUND: 9663726653 @ 51.256 51.28 c Sol. found (all assignments made)... 51.28 o 9663726652 51.28 c NEW SOLUTION FOUND: 9663726652 @ 51.256 52.80 c Restart #64 #Var: 36 LB: 9663713283 @ 52.777 55.07 c Restart #65 #Var: 36 LB: 9663713283 @ 55.038 57.09 c Restart #66 #Var: 36 LB: 9663713283 @ 57.058 58.95 c Restart #67 #Var: 36 LB: 9663713283 @ 58.918 61.21 c Restart #68 #Var: 36 LB: 9663713283 @ 61.175 63.05 c Restart #69 #Var: 36 LB: 9663713283 @ 63.02 65.48 c Restart #70 #Var: 36 LB: 9663713283 @ 65.452 67.69 c Restart #71 #Var: 36 LB: 9663713283 @ 67.661 69.99 c Restart #72 #Var: 36 LB: 9663713283 @ 69.961 72.27 c Restart #73 #Var: 36 LB: 9663713283 @ 72.232 74.99 c Restart #74 #Var: 36 LB: 9663713283 @ 74.952 77.82 c Restart #75 #Var: 36 LB: 9663713283 @ 77.788 81.35 c Restart #76 #Var: 36 LB: 9663713283 @ 81.315 84.28 c Restart #77 #Var: 36 LB: 9663713283 @ 84.238 88.30 c Restart #78 #Var: 36 LB: 9663713283 @ 88.258 91.25 c Restart #79 #Var: 36 LB: 9663713283 @ 91.21 94.05 c Restart #80 #Var: 36 LB: 9663713283 @ 94.006 97.09 c Restart #81 #Var: 36 LB: 9663713283 @ 97.048 100.17 c Restart #82 #Var: 36 LB: 9663713283 @ 100.12 103.32 c Restart #83 #Var: 36 LB: 9663713283 @ 103.28 105.11 c Sol. found (all assignments made)... 105.12 c Sol. found (all assignments made)... 105.12 c Sol. found (all assignments made)... 105.12 c Sol. found (all assignments made)... 105.12 c Sol. found (all assignments made)... 105.12 c Sol. found (all assignments made)... 106.71 c Restart #84 #Var: 36 LB: 9663713283 @ 106.67 110.67 c Restart #85 #Var: 36 LB: 9663713283 @ 110.62 112.36 c Sol. found (all assignments made)... 112.39 c Sol. found (all assignments made)... 112.39 c Sol. found (all assignments made)... 112.39 c Sol. found (all assignments made)... 112.39 c Sol. found (all assignments made)... 112.39 c Sol. found (all assignments made)... 114.75 c Restart #86 #Var: 36 LB: 9663713283 @ 114.7 118.83 c Restart #87 #Var: 36 LB: 9663713283 @ 118.78 122.26 c Restart #88 #Var: 36 LB: 9663713283 @ 122.2 126.17 c Restart #89 #Var: 36 LB: 9663713283 @ 126.12 130.03 c Restart #90 #Var: 36 LB: 9663713283 @ 129.98 133.45 c Restart #91 #Var: 36 LB: 9663713283 @ 133.39 137.13 c Restart #92 #Var: 36 LB: 9663713283 @ 137.08 138.62 c Sol. found (all assignments made)... 138.62 c Sol. found (all assignments made)... 138.62 c Sol. found (all assignments made)... 138.62 c Sol. found (all assignments made)... 138.62 c Sol. found (all assignments made)... 138.63 c Sol. found (all assignments made)... 138.63 c Sol. found (all assignments made)... 138.64 c Sol. found (all assignments made)... 138.64 c Sol. found (all assignments made)... 138.64 c Sol. found (all assignments made)... 138.64 c Sol. found (all assignments made)... 138.64 c Sol. found (all assignments made)... 139.58 c Sol. found (all assignments made)... 139.59 c Sol. found (all assignments made)... 139.59 c Sol. found (all assignments made)... 139.59 c Sol. found (all assignments made)... 139.59 c Sol. found (all assignments made)... 139.61 c Sol. found (all assignments made)... 139.68 c Sol. found (all assignments made)... 139.68 c Sol. found (all assignments made)... 139.68 c Sol. found (all assignments made)... 139.68 c Sol. found (all assignments made)... 139.68 c Sol. found (all assignments made)... 139.68 c Sol. found (all assignments made)... 141.13 c Sol. found (all assignments made)... 141.14 c Sol. found (all assignments made)... 141.14 c Sol. found (all assignments made)... 141.14 c Sol. found (all assignments made)... 141.14 c Sol. found (all assignments made)... 141.14 c Sol. found (all assignments made)... 141.17 c Sol. found (all assignments made)... 141.18 c Sol. found (all assignments made)... 141.18 c Sol. found (all assignments made)... 141.18 c Sol. found (all assignments made)... 141.18 c Sol. found (all assignments made)... 141.18 c Sol. found (all assignments made)... 141.85 c Restart #93 #Var: 36 LB: 9663713283 @ 141.8 143.72 c Sol. found (all assignments made)... 143.72 c Sol. found (all assignments made)... 143.72 c Sol. found (all assignments made)... 143.72 c Sol. found (all assignments made)... 143.72 c Sol. found (all assignments made)... 143.73 c Sol. found (all assignments made)... 143.73 c Sol. found (all assignments made)... 143.73 c Sol. found (all assignments made)... 143.73 c Sol. found (all assignments made)... 143.73 c Sol. found (all assignments made)... 143.84 c Sol. found (all assignments made)... 143.84 c Sol. found (all assignments made)... 143.84 c Sol. found (all assignments made)... 143.84 c Sol. found (all assignments made)... 143.84 c Sol. found (all assignments made)... 143.85 c Sol. found (all assignments made)... 143.85 c Sol. found (all assignments made)... 143.85 c Sol. found (all assignments made)... 143.85 c Sol. found (all assignments made)... 143.85 c Sol. found (all assignments made)... 145.95 c Restart #94 #Var: 36 LB: 9663713283 @ 145.9 151.07 c Restart #95 #Var: 36 LB: 9663713283 @ 151.01 155.15 c Restart #96 #Var: 36 LB: 9663713283 @ 155.09 159.32 c Restart #97 #Var: 36 LB: 9663713283 @ 159.26 163.66 c Restart #98 #Var: 36 LB: 9663713283 @ 163.6 168.49 c Sol. found (all assignments made)... 168.75 c Sol. found (all assignments made)... 169.57 c Restart #99 #Var: 36 LB: 9663713283 @ 169.5 170.45 c Sol. found (all assignments made)... 170.45 c Sol. found (all assignments made)... 170.45 c Sol. found (all assignments made)... 170.45 c Sol. found (all assignments made)... 170.45 c Sol. found (all assignments made)... 170.82 c Sol. found (all assignments made)... 170.82 c Sol. found (all assignments made)... 170.82 c Sol. found (all assignments made)... 170.83 c Sol. found (all assignments made)... 170.83 c Sol. found (all assignments made)... 171.87 c Sol. found (all assignments made)... 171.87 c Sol. found (all assignments made)... 171.87 c Sol. found (all assignments made)... 171.87 c Sol. found (all assignments made)... 171.87 c Sol. found (all assignments made)... 172.37 c Sol. found (all assignments made)... 172.37 c Sol. found (all assignments made)... 172.37 c Sol. found (all assignments made)... 172.37 c Sol. found (all assignments made)... 172.37 c Sol. found (all assignments made)... 175.16 c Restart #100 #Var: 36 LB: 9663713283 @ 175.1 175.97 c Sol. found (all assignments made)... 176.33 c Sol. found (all assignments made)... 176.33 c Sol. found (all assignments made)... 176.33 c Sol. found (all assignments made)... 176.33 c Sol. found (all assignments made)... 178.83 c Sol. found (all assignments made)... 178.83 o 9663726644 178.83 c NEW SOLUTION FOUND: 9663726644 @ 178.77 178.83 c Sol. found (all assignments made)... 178.83 c Sol. found (all assignments made)... 178.83 o 9663726641 178.83 c NEW SOLUTION FOUND: 9663726641 @ 178.77 178.83 c Sol. found (all assignments made)... 178.83 o 9663726640 178.83 c NEW SOLUTION FOUND: 9663726640 @ 178.77 182.31 c Restart #101 #Var: 36 LB: 9663713283 @ 182.24 187.49 c Restart #102 #Var: 36 LB: 9663713283 @ 187.41 191.69 c Restart #103 #Var: 36 LB: 9663713283 @ 191.62 197.09 c Restart #104 #Var: 36 LB: 9663713283 @ 197.01 203.14 c Restart #105 #Var: 36 LB: 9663713283 @ 203.06 208.52 c Restart #106 #Var: 36 LB: 9663713283 @ 208.44 214.04 c Restart #107 #Var: 36 LB: 9663713283 @ 213.96 221.55 c Restart #108 #Var: 36 LB: 9663713283 @ 221.46 228.30 c Restart #109 #Var: 36 LB: 9663713283 @ 228.22 234.02 c Restart #110 #Var: 36 LB: 9663713283 @ 233.93 239.75 c Restart #111 #Var: 36 LB: 9663713283 @ 239.66 249.31 c Restart #112 #Var: 36 LB: 9663713283 @ 249.22 257.42 c Sol. found (all assignments made)... 257.42 o 9663726592 257.42 c NEW SOLUTION FOUND: 9663726592 @ 257.33 257.42 c Sol. found (all assignments made)... 268.33 c Restart #113 #Var: 36 LB: 9663713283 @ 268.23 275.87 c Restart #114 #Var: 36 LB: 9663713283 @ 275.77 282.61 c Restart #115 #Var: 36 LB: 9663713283 @ 282.51 289.28 c Restart #116 #Var: 36 LB: 9663713283 @ 289.18 298.31 c Restart #117 #Var: 36 LB: 9663713283 @ 298.21 301.47 c Sol. found (all assignments made)... 301.47 c Sol. found (all assignments made)... 301.47 c Sol. found (all assignments made)... 301.47 c Sol. found (all assignments made)... 301.47 c Sol. found (all assignments made)... 301.47 c Sol. found (all assignments made)... 301.47 c Sol. found (all assignments made)... 301.47 c Sol. found (all assignments made)... 301.50 c Sol. found (all assignments made)... 301.50 c Sol. found (all assignments made)... 301.50 c Sol. found (all assignments made)... 301.50 c Sol. found (all assignments made)... 301.50 c Sol. found (all assignments made)... 301.50 c Sol. found (all assignments made)... 301.50 c Sol. found (all assignments made)... 301.51 c Sol. found (all assignments made)... 301.79 c Sol. found (all assignments made)... 301.79 c Sol. found (all assignments made)... 301.79 c Sol. found (all assignments made)... 301.79 c Sol. found (all assignments made)... 301.79 c Sol. found (all assignments made)... 301.79 c Sol. found (all assignments made)... 301.79 c Sol. found (all assignments made)... 301.79 c Sol. found (all assignments made)... 301.83 c Sol. found (all assignments made)... 301.83 c Sol. found (all assignments made)... 301.83 c Sol. found (all assignments made)... 301.83 c Sol. found (all assignments made)... 301.83 c Sol. found (all assignments made)... 301.83 c Sol. found (all assignments made)... 301.83 c Sol. found (all assignments made)... 301.83 c Sol. found (all assignments made)... 302.45 c Sol. found (all assignments made)... 302.45 c Sol. found (all assignments made)... 302.45 c Sol. found (all assignments made)... 302.45 c Sol. found (all assignments made)... 302.45 c Sol. found (all assignments made)... 302.45 c Sol. found (all assignments made)... 302.46 c Sol. found (all assignments made)... 302.46 c Sol. found (all assignments made)... 302.50 c Sol. found (all assignments made)... 302.50 c Sol. found (all assignments made)... 302.50 c Sol. found (all assignments made)... 302.50 c Sol. found (all assignments made)... 302.50 c Sol. found (all assignments made)... 302.50 c Sol. found (all assignments made)... 302.50 c Sol. found (all assignments made)... 302.50 c Sol. found (all assignments made)... 302.53 c Sol. found (all assignments made)... 302.53 c Sol. found (all assignments made)... 302.53 c Sol. found (all assignments made)... 302.53 c Sol. found (all assignments made)... 302.53 c Sol. found (all assignments made)... 302.53 c Sol. found (all assignments made)... 302.53 c Sol. found (all assignments made)... 302.53 c Sol. found (all assignments made)... 302.55 c Sol. found (all assignments made)... 302.55 c Sol. found (all assignments made)... 302.55 c Sol. found (all assignments made)... 302.55 c Sol. found (all assignments made)... 302.55 c Sol. found (all assignments made)... 302.55 c Sol. found (all assignments made)... 302.55 c Sol. found (all assignments made)... 302.55 c Sol. found (all assignments made)... 304.47 c Sol. found (all assignments made)... 304.47 c Sol. found (all assignments made)... 304.47 c Sol. found (all assignments made)... 304.47 c Sol. found (all assignments made)... 304.47 c Sol. found (all assignments made)... 304.48 c Sol. found (all assignments made)... 304.48 c Sol. found (all assignments made)... 304.48 c Sol. found (all assignments made)... 304.48 c Sol. found (all assignments made)... 304.48 c Sol. found (all assignments made)... 304.57 c Sol. found (all assignments made)... 304.58 c Sol. found (all assignments made)... 306.10 c Restart #118 #Var: 36 LB: 9663713283 @ 305.99 317.38 c Restart #119 #Var: 36 LB: 9663713283 @ 317.26 320.81 c Sol. found (all assignments made)... 320.84 c Sol. found (all assignments made)... 320.84 c Sol. found (all assignments made)... 320.84 c Sol. found (all assignments made)... 320.85 c Sol. found (all assignments made)... 320.85 c Sol. found (all assignments made)... 320.95 c Sol. found (all assignments made)... 320.99 c Sol. found (all assignments made)... 320.99 c Sol. found (all assignments made)... 320.99 c Sol. found (all assignments made)... 321.00 c Sol. found (all assignments made)... 321.00 c Sol. found (all assignments made)... 330.71 c Restart #120 #Var: 35 LB: 9663713571 @ 330.59 335.67 c Sol. found (all assignments made)... 335.67 c Sol. found (all assignments made)... 335.67 c Sol. found (all assignments made)... 335.67 c Sol. found (all assignments made)... 335.67 c Sol. found (all assignments made)... 345.42 c Restart #121 #Var: 32 LB: 9663714219 @ 345.3 349.31 s OPTIMUM FOUND 349.31 c Cost: 9663726592 349.31 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 349.31 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 349.31 v -x55 x56 349.31 c Exit Code: 30 349.31 c Total time: 349.19 s
OK 9663726592
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node34/watcher-40623-1149309162 -o ROOT/results/node34/solver-40623-1149309162 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node34/40623-1149309162/instance-40623-1149309162.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.71 0.91 0.95 2/64 25836 /proc/meminfo: memFree=1454664/2055920 swapFree=4181356/4192956 [pid=25836] ppid=25834 vsize=3364 CPUtime=0 /proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 56 0 0 0 0 0 0 0 19 0 1 0 196580041 3444736 39 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7723661 0 0 4096 0 0 0 0 17 1 0 0 /proc/25836/statm: 841 43 32 55 0 40 0 [startup+10.0021 s] /proc/loadavg: 0.76 0.91 0.95 2/64 25836 /proc/meminfo: memFree=1344536/2055920 swapFree=4181356/4192956 [pid=25836] ppid=25834 vsize=115656 CPUtime=9.98 /proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 28219 0 0 0 979 19 0 0 25 0 1 0 196580041 118431744 27841 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25836/statm: 28914 27841 298 55 0 27806 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 115656 [startup+20.0078 s] /proc/loadavg: 0.79 0.91 0.95 2/64 25836 /proc/meminfo: memFree=1279320/2055920 swapFree=4181356/4192956 [pid=25836] ppid=25834 vsize=181060 CPUtime=19.98 /proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 44584 0 0 0 1968 30 0 0 25 0 1 0 196580041 185405440 44101 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25836/statm: 45265 44101 298 55 0 44157 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 181060 [startup+30.0145 s] /proc/loadavg: 0.82 0.91 0.95 2/64 25836 /proc/meminfo: memFree=1212760/2055920 swapFree=4181356/4192956 [pid=25836] ppid=25834 vsize=248680 CPUtime=29.99 /proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 61983 0 0 0 2957 42 0 0 25 0 1 0 196580041 254648320 60710 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533599 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25836/statm: 62170 60710 298 55 0 61062 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 248680 [startup+40.0212 s] /proc/loadavg: 0.85 0.92 0.95 2/64 25836 /proc/meminfo: memFree=1154968/2055920 swapFree=4181356/4192956 [pid=25836] ppid=25834 vsize=306096 CPUtime=39.99 /proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 76491 0 0 0 3948 51 0 0 25 0 1 0 196580041 313442304 75132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25836/statm: 76524 75132 298 55 0 75416 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 306096 [startup+50.0279 s] /proc/loadavg: 0.87 0.92 0.95 2/64 25836 /proc/meminfo: memFree=1103192/2055920 swapFree=4181356/4192956 [pid=25836] ppid=25834 vsize=358756 CPUtime=49.99 /proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 89845 0 0 0 4940 59 0 0 25 0 1 0 196580041 367366144 88020 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25836/statm: 89689 88020 298 55 0 88581 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 358756 [startup+60.0346 s] /proc/loadavg: 0.89 0.92 0.95 2/64 25836 /proc/meminfo: memFree=1046808/2055920 swapFree=4181356/4192956 [pid=25836] ppid=25834 vsize=416792 CPUtime=59.99 /proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 105395 0 0 0 5931 68 0 0 25 0 1 0 196580041 426795008 102120 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25836/statm: 104198 102120 298 55 0 103090 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 416792 [startup+70.0413 s] /proc/loadavg: 0.91 0.92 0.95 2/64 25836 /proc/meminfo: memFree=998360/2055920 swapFree=4181356/4192956 [pid=25836] ppid=25834 vsize=464628 CPUtime=70 /proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 117484 0 0 0 6924 76 0 0 25 0 1 0 196580041 475779072 114205 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25836/statm: 116157 114205 298 55 0 115049 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 464628 [startup+80.0479 s] /proc/loadavg: 0.92 0.92 0.95 2/64 25836 /proc/meminfo: memFree=956120/2055920 swapFree=4181356/4192956 [pid=25836] ppid=25834 vsize=508072 CPUtime=80 /proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 128510 0 0 0 7917 83 0 0 25 0 1 0 196580041 520265728 124743 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25836/statm: 127018 124743 298 55 0 125910 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 508072 [startup+90.0536 s] /proc/loadavg: 0.93 0.93 0.95 2/64 25836 /proc/meminfo: memFree=923096/2055920 swapFree=4181356/4192956 [pid=25836] ppid=25834 vsize=540740 CPUtime=90 /proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 136747 0 0 0 8910 90 0 0 25 0 1 0 196580041 553717760 132978 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25836/statm: 135185 132978 298 55 0 134077 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 540740 [startup+100.059 s] /proc/loadavg: 0.94 0.93 0.95 2/64 25836 /proc/meminfo: memFree=879640/2055920 swapFree=4181356/4192956 [pid=25836] ppid=25834 vsize=585600 CPUtime=100 /proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 148308 0 0 0 9902 98 0 0 25 0 1 0 196580041 599654400 143811 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524309 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25836/statm: 146400 143811 298 55 0 145292 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 585600 [startup+110.066 s] /proc/loadavg: 0.95 0.93 0.95 2/64 25838 /proc/meminfo: memFree=841496/2055920 swapFree=4181356/4192956 [pid=25836] ppid=25834 vsize=623204 CPUtime=110.01 /proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 158007 0 0 0 10896 105 0 0 25 0 1 0 196580041 638160896 153348 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8156795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25836/statm: 155801 153348 298 55 0 154693 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 623204 [startup+120.072 s] /proc/loadavg: 0.96 0.93 0.95 2/64 25838 /proc/meminfo: memFree=810648/2055920 swapFree=4181356/4192956 [pid=25836] ppid=25834 vsize=654696 CPUtime=120.01 /proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 166179 0 0 0 11890 111 0 0 25 0 1 0 196580041 670408704 161036 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25836/statm: 163674 161036 298 55 0 162566 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 654696 [startup+130.077 s] /proc/loadavg: 0.96 0.93 0.95 2/64 25838 /proc/meminfo: memFree=772888/2055920 swapFree=4181356/4192956 [pid=25836] ppid=25834 vsize=692296 CPUtime=130.02 /proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 175753 0 0 0 12883 119 0 0 25 0 1 0 196580041 708911104 170448 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25836/statm: 173074 170448 298 55 0 171966 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 692296 [startup+140.084 s] /proc/loadavg: 0.97 0.94 0.95 2/64 25838 /proc/meminfo: memFree=735960/2055920 swapFree=4181356/4192956 [pid=25836] ppid=25834 vsize=728068 CPUtime=140.02 /proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 184972 0 0 0 13877 125 0 0 25 0 1 0 196580041 745541632 179667 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25836/statm: 182017 179667 298 55 0 180909 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 728068 [startup+150.091 s] /proc/loadavg: 0.97 0.94 0.95 2/64 25838 /proc/meminfo: memFree=703128/2055920 swapFree=4181356/4192956 [pid=25836] ppid=25834 vsize=761488 CPUtime=150.02 /proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 193496 0 0 0 14871 131 0 0 25 0 1 0 196580041 779763712 187860 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524328 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25836/statm: 190372 187860 298 55 0 189264 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 761488 [startup+160.096 s] /proc/loadavg: 0.98 0.94 0.95 2/64 25838 /proc/meminfo: memFree=664408/2055920 swapFree=4181356/4192956 [pid=25836] ppid=25834 vsize=802936 CPUtime=160.03 /proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 205806 0 0 0 15864 139 0 0 25 0 1 0 196580041 822206464 197520 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25836/statm: 200734 197520 298 55 0 199626 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 802936 [startup+170.102 s] /proc/loadavg: 0.98 0.94 0.95 2/64 25838 /proc/meminfo: memFree=634776/2055920 swapFree=4181356/4192956 [pid=25836] ppid=25834 vsize=832244 CPUtime=170.03 /proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 213187 0 0 0 16859 144 0 0 25 0 1 0 196580041 852217856 204901 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25836/statm: 208061 204901 298 55 0 206953 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 832244 [startup+180.108 s] /proc/loadavg: 0.98 0.94 0.95 2/64 25838 /proc/meminfo: memFree=601560/2055920 swapFree=4181356/4192956 [pid=25836] ppid=25834 vsize=865148 CPUtime=180.03 /proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 221497 0 0 0 17853 150 0 0 25 0 1 0 196580041 885911552 213208 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25836/statm: 216287 213208 298 55 0 215179 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 865148 [startup+190.114 s] /proc/loadavg: 0.98 0.94 0.95 2/64 25838 /proc/meminfo: memFree=569304/2055920 swapFree=4181356/4192956 [pid=25836] ppid=25834 vsize=899392 CPUtime=190.04 /proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 230192 0 0 0 18848 156 0 0 25 0 1 0 196580041 920977408 221259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25836/statm: 224848 221259 298 55 0 223740 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 899392 [startup+200.119 s] /proc/loadavg: 0.99 0.94 0.95 2/64 25838 /proc/meminfo: memFree=539672/2055920 swapFree=4181356/4192956 [pid=25836] ppid=25834 vsize=928696 CPUtime=200.03 /proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 237585 0 0 0 19843 160 0 0 25 0 1 0 196580041 950984704 228652 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25836/statm: 232174 228652 298 55 0 231066 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 928696 [startup+210.125 s] /proc/loadavg: 0.99 0.95 0.95 2/64 25838 /proc/meminfo: memFree=510744/2055920 swapFree=4181356/4192956 [pid=25836] ppid=25834 vsize=957340 CPUtime=210.03 /proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 244799 0 0 0 20838 165 0 0 25 0 1 0 196580041 980316160 235866 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25836/statm: 239335 235866 298 55 0 238227 0 Current children cumulated CPU time (s) 210.03 Current children cumulated vsize (Kb) 957340 [startup+220.131 s] /proc/loadavg: 0.99 0.95 0.95 2/64 25838 /proc/meminfo: memFree=485592/2055920 swapFree=4181356/4192956 [pid=25836] ppid=25834 vsize=982424 CPUtime=220.04 /proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 251072 0 0 0 21834 170 0 0 25 0 1 0 196580041 1006002176 242139 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25836/statm: 245606 242139 298 55 0 244498 0 Current children cumulated CPU time (s) 220.04 Current children cumulated vsize (Kb) 982424 [startup+230.136 s] /proc/loadavg: 0.99 0.95 0.95 2/64 25838 /proc/meminfo: memFree=462104/2055920 swapFree=4181356/4192956 [pid=25836] ppid=25834 vsize=1005060 CPUtime=230.05 /proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 256935 0 0 0 22830 175 0 0 25 0 1 0 196580041 1029181440 247996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25836/statm: 251265 247996 298 55 0 250157 0 Current children cumulated CPU time (s) 230.05 Current children cumulated vsize (Kb) 1005060 [startup+240.142 s] /proc/loadavg: 0.99 0.95 0.95 2/64 25838 /proc/meminfo: memFree=431896/2055920 swapFree=4181356/4192956 [pid=25836] ppid=25834 vsize=1034632 CPUtime=240.04 /proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 264476 0 0 0 23824 180 0 0 25 0 1 0 196580041 1059463168 255537 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25836/statm: 258658 255537 298 55 0 257550 0 Current children cumulated CPU time (s) 240.04 Current children cumulated vsize (Kb) 1034632 [startup+250.148 s] /proc/loadavg: 0.99 0.95 0.95 2/64 25838 /proc/meminfo: memFree=414936/2055920 swapFree=4181356/4192956 [pid=25836] ppid=25834 vsize=1051528 CPUtime=250.05 /proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 268693 0 0 0 24822 183 0 0 25 0 1 0 196580041 1076764672 259754 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25836/statm: 262882 259754 298 55 0 261774 0 Current children cumulated CPU time (s) 250.05 Current children cumulated vsize (Kb) 1051528 [startup+260.153 s] /proc/loadavg: 0.99 0.95 0.95 2/64 25838 /proc/meminfo: memFree=398104/2055920 swapFree=4181356/4192956 [pid=25836] ppid=25834 vsize=1068292 CPUtime=260.05 /proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 272900 0 0 0 25819 186 0 0 25 0 1 0 196580041 1093931008 263961 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25836/statm: 267073 263961 298 55 0 265965 0 Current children cumulated CPU time (s) 260.05 Current children cumulated vsize (Kb) 1068292 [startup+270.159 s] /proc/loadavg: 0.99 0.95 0.95 2/64 25838 /proc/meminfo: memFree=385368/2055920 swapFree=4181356/4192956 [pid=25836] ppid=25834 vsize=1082204 CPUtime=270.05 /proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 276711 0 0 0 26817 188 0 0 25 0 1 0 196580041 1108176896 267130 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25836/statm: 270551 267130 298 55 0 269443 0 Current children cumulated CPU time (s) 270.05 Current children cumulated vsize (Kb) 1082204 [startup+280.165 s] /proc/loadavg: 0.99 0.95 0.95 2/64 25838 /proc/meminfo: memFree=356312/2055920 swapFree=4181356/4192956 [pid=25836] ppid=25834 vsize=1111996 CPUtime=280.05 /proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 284293 0 0 0 27811 194 0 0 25 0 1 0 196580041 1138683904 274390 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25836/statm: 277999 274390 298 55 0 276891 0 Current children cumulated CPU time (s) 280.05 Current children cumulated vsize (Kb) 1111996 [startup+290.171 s] /proc/loadavg: 0.99 0.95 0.95 2/64 25838 /proc/meminfo: memFree=332504/2055920 swapFree=4181356/4192956 [pid=25836] ppid=25834 vsize=1138408 CPUtime=290.05 /proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 291190 0 0 0 28806 199 0 0 25 0 1 0 196580041 1165729792 280323 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25836/statm: 284602 280323 298 55 0 283494 0 Current children cumulated CPU time (s) 290.05 Current children cumulated vsize (Kb) 1138408 [startup+300.176 s] /proc/loadavg: 0.99 0.95 0.95 2/64 25838 /proc/meminfo: memFree=313112/2055920 swapFree=4181356/4192956 [pid=25836] ppid=25834 vsize=1157292 CPUtime=300.06 /proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 296020 0 0 0 29804 202 0 0 25 0 1 0 196580041 1185067008 285153 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25836/statm: 289323 285153 298 55 0 288215 0 Current children cumulated CPU time (s) 300.06 Current children cumulated vsize (Kb) 1157292 [startup+310.182 s] /proc/loadavg: 0.99 0.96 0.95 2/64 25838 /proc/meminfo: memFree=287128/2055920 swapFree=4181356/4192956 [pid=25836] ppid=25834 vsize=1182640 CPUtime=310.06 /proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 302514 0 0 0 30799 207 0 0 25 0 1 0 196580041 1211023360 291647 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25836/statm: 295660 291647 298 55 0 294552 0 Current children cumulated CPU time (s) 310.06 Current children cumulated vsize (Kb) 1182640 [startup+320.188 s] /proc/loadavg: 0.99 0.96 0.95 2/64 25838 /proc/meminfo: memFree=276312/2055920 swapFree=4181356/4192956 [pid=25836] ppid=25834 vsize=1193556 CPUtime=320.06 /proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 305525 0 0 0 31798 208 0 0 25 0 1 0 196580041 1222201344 294336 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25836/statm: 298389 294336 298 55 0 297281 0 Current children cumulated CPU time (s) 320.06 Current children cumulated vsize (Kb) 1193556 [startup+330.193 s] /proc/loadavg: 0.99 0.96 0.95 2/64 25838 /proc/meminfo: memFree=259096/2055920 swapFree=4181356/4192956 [pid=25836] ppid=25834 vsize=1210720 CPUtime=330.07 /proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 309820 0 0 0 32796 211 0 0 25 0 1 0 196580041 1239777280 298631 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25836/statm: 302680 298631 298 55 0 301572 0 Current children cumulated CPU time (s) 330.07 Current children cumulated vsize (Kb) 1210720 [startup+340.199 s] /proc/loadavg: 0.99 0.96 0.95 2/64 25838 /proc/meminfo: memFree=247704/2055920 swapFree=4181356/4192956 [pid=25836] ppid=25834 vsize=1222072 CPUtime=340.07 /proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 312670 0 0 0 33794 213 0 0 25 0 1 0 196580041 1251401728 301481 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25836/statm: 305518 301481 298 55 0 304410 0 Current children cumulated CPU time (s) 340.07 Current children cumulated vsize (Kb) 1222072 Child status: 30 Real time (s): 349.507 CPU time (s): 349.38 CPU user time (s): 347.018 CPU system time (s): 2.36164 CPU usage (%): 99.9637 Max. virtual memory (cumulated for all children) (Kb): 1222072
Begin job on node34 on Sat Jun 3 04:32:42 UTC 2006 FILE ID= 40623-1149309162 PBS_JOBID= 307804 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-testprob.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node34/40623-1149309162/instance-40623-1149309162.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-40623-1149309162 -o ROOT/results/node34/solver-40623-1149309162 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node34/40623-1149309162/instance-40623-1149309162.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 24c749e45d4bbd6a8ec98f3e49fb7aad RANDOM SEED= 483076147 /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.277 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.277 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1455000 kB Buffers: 24984 kB Cached: 503388 kB SwapCached: 3524 kB Active: 33892 kB Inactive: 503360 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1455000 kB SwapTotal: 4192956 kB SwapFree: 4181356 kB Dirty: 316 kB Writeback: 0 kB Mapped: 14900 kB Slab: 49664 kB Committed_AS: 328592 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node34 on Sat Jun 3 04:38:32 UTC 2006