Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.01 | 1800.46 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran4x64.opb |
MD5SUM | 094943d5c572e297ea40a22e131cb082 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.183971 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 7936 |
Total number of constraints | 324 |
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 | 324 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 1920 |
Number of terms in the objective function | 7936 |
Biggest coefficient in the objective function | 1873 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 530542 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 530542 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.22 c Initial problem consists of 7936 variables and 392 constraints. 0.24 c No problem reductions applied in OPT. instance. 0.24 c preprocess terminated. Elapsed time: 0.224 0.24 c After prepocess the problem consists of 3776 variables and 392 constraints. 0.24 c Initial Lower Bound: 0 0.37 c Restart #1 #Var: 3776 LB: 0 @ 0.356 0.63 c Restart #2 #Var: 3776 LB: 0 @ 0.623 1.00 c Restart #3 #Var: 3776 LB: 0 @ 0.992 1.28 c Restart #4 #Var: 3776 LB: 0 @ 1.272 2.06 c Restart #5 #Var: 3776 LB: 0 @ 2.043 3.08 c Restart #6 #Var: 3776 LB: 0 @ 3.067 5.75 c Restart #7 #Var: 3776 LB: 0 @ 5.735 7.44 c Restart #8 #Var: 3776 LB: 0 @ 7.429 9.08 c Restart #9 #Var: 3776 LB: 0 @ 9.07 9.77 c Restart #10 #Var: 3776 LB: 0 @ 9.752 10.42 c Restart #11 #Var: 3776 LB: 0 @ 10.401 11.28 c Restart #12 #Var: 3776 LB: 0 @ 11.265 12.07 c Restart #13 #Var: 3776 LB: 0 @ 12.048 13.06 c Restart #14 #Var: 3776 LB: 0 @ 13.045 13.96 c Restart #15 #Var: 3776 LB: 0 @ 13.945 15.13 c Restart #16 #Var: 3776 LB: 0 @ 15.105 16.12 c Restart #17 #Var: 3776 LB: 0 @ 16.1 17.44 c Restart #18 #Var: 3776 LB: 0 @ 17.418 18.57 c Restart #19 #Var: 3776 LB: 0 @ 18.551 20.06 c Restart #20 #Var: 3776 LB: 0 @ 20.034 21.33 c Restart #21 #Var: 3776 LB: 0 @ 21.306 22.95 c Restart #22 #Var: 3776 LB: 0 @ 22.931 24.35 c Restart #23 #Var: 3776 LB: 0 @ 24.327 26.10 c Restart #24 #Var: 3776 LB: 0 @ 26.08 27.53 c Restart #25 #Var: 3776 LB: 0 @ 27.511 29.48 c Restart #26 #Var: 3776 LB: 0 @ 29.457 31.09 c Restart #27 #Var: 3776 LB: 0 @ 31.065 34.33 c Restart #28 #Var: 3776 LB: 0 @ 34.302 36.33 c Restart #29 #Var: 3776 LB: 0 @ 36.301 38.68 c Restart #30 #Var: 3776 LB: 0 @ 38.657 40.44 c Restart #31 #Var: 3776 LB: 0 @ 40.417 43.00 c Restart #32 #Var: 3776 LB: 0 @ 42.971 44.87 c Restart #33 #Var: 3776 LB: 0 @ 44.843 47.56 c Restart #34 #Var: 3776 LB: 0 @ 47.537 49.60 c Restart #35 #Var: 3776 LB: 0 @ 49.575 52.23 c Restart #36 #Var: 3776 LB: 0 @ 52.198 54.49 c Restart #37 #Var: 3776 LB: 0 @ 54.465 57.50 c Restart #38 #Var: 3776 LB: 0 @ 57.467 59.68 c Restart #39 #Var: 3776 LB: 0 @ 59.65 62.73 c Restart #40 #Var: 3776 LB: 0 @ 62.701 65.12 c Restart #41 #Var: 3776 LB: 0 @ 65.093 68.30 c Restart #42 #Var: 3776 LB: 0 @ 68.27 70.94 c Restart #43 #Var: 3776 LB: 0 @ 70.907 74.23 c Restart #44 #Var: 3776 LB: 0 @ 74.191 77.21 c Restart #45 #Var: 3776 LB: 0 @ 77.179 80.59 c Restart #46 #Var: 3776 LB: 0 @ 80.551 83.48 c Restart #47 #Var: 3776 LB: 0 @ 83.444 87.23 c Restart #48 #Var: 3776 LB: 0 @ 87.196 89.75 c Restart #49 #Var: 3776 LB: 0 @ 89.715 93.27 c Restart #50 #Var: 3776 LB: 0 @ 93.227 97.02 c Restart #51 #Var: 3776 LB: 0 @ 96.976 100.21 c Restart #52 #Var: 3776 LB: 0 @ 100.17 104.31 c Restart #53 #Var: 3776 LB: 0 @ 104.27 108.58 c Restart #54 #Var: 3776 LB: 0 @ 108.53 111.88 c Restart #55 #Var: 3776 LB: 0 @ 111.84 115.44 c Restart #56 #Var: 3776 LB: 0 @ 115.39 118.48 c Restart #57 #Var: 3776 LB: 0 @ 118.44 121.33 c Restart #58 #Var: 3776 LB: 0 @ 121.28 125.34 c Restart #59 #Var: 3776 LB: 0 @ 125.29 128.68 c Restart #60 #Var: 3776 LB: 0 @ 128.64 131.64 c Restart #61 #Var: 3776 LB: 0 @ 131.6 136.00 c Restart #62 #Var: 3776 LB: 0 @ 135.95 138.92 c Restart #63 #Var: 3776 LB: 0 @ 138.87 142.68 c Restart #64 #Var: 3776 LB: 0 @ 142.63 146.80 c Restart #65 #Var: 3776 LB: 0 @ 146.75 150.96 c Restart #66 #Var: 3776 LB: 0 @ 150.91 155.30 c Restart #67 #Var: 3776 LB: 0 @ 155.24 159.44 c Restart #68 #Var: 3776 LB: 0 @ 159.38 164.68 c Restart #69 #Var: 3776 LB: 0 @ 164.63 168.45 c Restart #70 #Var: 3776 LB: 0 @ 168.39 172.90 c Restart #71 #Var: 3776 LB: 0 @ 172.84 177.23 c Restart #72 #Var: 3776 LB: 0 @ 177.17 180.95 c Restart #73 #Var: 3776 LB: 0 @ 180.89 186.09 c Restart #74 #Var: 3776 LB: 0 @ 186.03 190.88 c Restart #75 #Var: 3776 LB: 0 @ 190.82 194.85 c Restart #76 #Var: 3776 LB: 0 @ 194.79 199.22 c Restart #77 #Var: 3776 LB: 0 @ 199.16 204.55 c Restart #78 #Var: 3776 LB: 0 @ 204.48 208.19 c Restart #79 #Var: 3776 LB: 0 @ 208.12 214.00 c Restart #80 #Var: 3776 LB: 0 @ 213.94 218.68 c Restart #81 #Var: 3776 LB: 0 @ 218.61 223.69 c Restart #82 #Var: 3776 LB: 0 @ 223.62 227.01 c Restart #83 #Var: 3776 LB: 0 @ 226.94 233.09 c Restart #84 #Var: 3776 LB: 0 @ 233.02 240.20 c Restart #85 #Var: 3776 LB: 0 @ 240.13 246.96 c Restart #86 #Var: 3776 LB: 0 @ 246.89 251.57 c Restart #87 #Var: 3776 LB: 0 @ 251.49 258.35 c Restart #88 #Var: 3776 LB: 0 @ 258.27 263.34 c Restart #89 #Var: 3776 LB: 0 @ 263.26 270.18 c Restart #90 #Var: 3776 LB: 0 @ 270.1 276.02 c Restart #91 #Var: 3776 LB: 0 @ 275.94 282.91 c Restart #92 #Var: 3776 LB: 0 @ 282.83 289.20 c Restart #93 #Var: 3776 LB: 0 @ 289.12 296.26 c Restart #94 #Var: 3776 LB: 0 @ 296.17 303.26 c Restart #95 #Var: 3776 LB: 0 @ 303.17 310.50 c Restart #96 #Var: 3776 LB: 0 @ 310.41 317.60 c Restart #97 #Var: 3776 LB: 0 @ 317.51 321.56 c Restart #98 #Var: 3776 LB: 0 @ 321.47 329.14 c Restart #99 #Var: 3776 LB: 0 @ 329.04 336.63 c Restart #100 #Var: 3776 LB: 0 @ 336.54 342.14 c Restart #101 #Var: 3776 LB: 0 @ 342.04 349.75 c Restart #102 #Var: 3776 LB: 0 @ 349.65 355.70 c Restart #103 #Var: 3776 LB: 0 @ 355.6 364.57 c Restart #104 #Var: 3776 LB: 0 @ 364.46 371.84 c Restart #105 #Var: 3776 LB: 0 @ 371.74 380.01 c Restart #106 #Var: 3776 LB: 0 @ 379.9 387.44 c Restart #107 #Var: 3776 LB: 0 @ 387.33 394.96 c Restart #108 #Var: 3776 LB: 0 @ 394.85 401.91 c Restart #109 #Var: 3776 LB: 0 @ 401.8 409.21 c Restart #110 #Var: 3776 LB: 0 @ 409.1 413.97 c Restart #111 #Var: 3776 LB: 0 @ 413.86 420.75 c Restart #112 #Var: 3776 LB: 0 @ 420.63 427.20 c Restart #113 #Var: 3776 LB: 0 @ 427.09 432.88 c Restart #114 #Var: 3776 LB: 0 @ 432.76 440.82 c Restart #115 #Var: 3776 LB: 0 @ 440.7 446.75 c Restart #116 #Var: 3776 LB: 0 @ 446.62 456.73 c Restart #117 #Var: 3776 LB: 0 @ 456.61 463.31 c Restart #118 #Var: 3776 LB: 0 @ 463.19 470.06 c Restart #119 #Var: 3776 LB: 0 @ 469.93 475.20 c Restart #120 #Var: 3776 LB: 0 @ 475.07 482.47 c Restart #121 #Var: 3776 LB: 0 @ 482.34 487.84 c Restart #122 #Var: 3776 LB: 0 @ 487.7 495.13 c Restart #123 #Var: 3776 LB: 0 @ 495 499.83 c Restart #124 #Var: 3776 LB: 0 @ 499.69 508.95 c Restart #125 #Var: 3776 LB: 0 @ 508.81 516.30 c Restart #126 #Var: 3776 LB: 0 @ 516.16 526.74 c Restart #127 #Var: 3776 LB: 0 @ 526.6 536.41 c Restart #128 #Var: 3776 LB: 0 @ 536.26 546.53 c Restart #129 #Var: 3776 LB: 0 @ 546.39 554.44 c Restart #130 #Var: 3776 LB: 0 @ 554.29 563.90 c Restart #131 #Var: 3776 LB: 0 @ 563.75 570.20 c Restart #132 #Var: 3776 LB: 0 @ 570.05 580.12 c Restart #133 #Var: 3776 LB: 0 @ 579.96 587.81 c Restart #134 #Var: 3776 LB: 0 @ 587.65 596.24 c Restart #135 #Var: 3776 LB: 0 @ 596.08 604.18 c Restart #136 #Var: 3776 LB: 0 @ 604.01 611.19 c Restart #137 #Var: 3776 LB: 0 @ 611.03 621.29 c Restart #138 #Var: 3776 LB: 0 @ 621.13 633.05 c Restart #139 #Var: 3776 LB: 0 @ 632.88 642.14 c Restart #140 #Var: 3776 LB: 0 @ 641.97 652.91 c Restart #141 #Var: 3776 LB: 0 @ 652.74 662.77 c Restart #142 #Var: 3776 LB: 0 @ 662.59 672.22 c Restart #143 #Var: 3776 LB: 0 @ 672.05 681.61 c Restart #144 #Var: 3776 LB: 0 @ 681.43 691.01 c Restart #145 #Var: 3776 LB: 0 @ 690.83 702.23 c Restart #146 #Var: 3776 LB: 0 @ 702.05 713.60 c Restart #147 #Var: 3776 LB: 0 @ 713.41 723.10 c Restart #148 #Var: 3776 LB: 0 @ 722.91 729.98 c Restart #149 #Var: 3776 LB: 0 @ 729.79 740.66 c Restart #150 #Var: 3776 LB: 0 @ 740.47 749.18 c Restart #151 #Var: 3776 LB: 0 @ 748.99 760.99 c Restart #152 #Var: 3776 LB: 0 @ 760.79 773.55 c Restart #153 #Var: 3776 LB: 0 @ 773.35 783.25 c Restart #154 #Var: 3776 LB: 0 @ 783.04 789.64 c Restart #155 #Var: 3776 LB: 0 @ 789.44 800.87 c Restart #156 #Var: 3776 LB: 0 @ 800.66 815.17 c Restart #157 #Var: 3776 LB: 0 @ 814.96 826.34 c Restart #158 #Var: 3776 LB: 0 @ 826.13 835.54 c Restart #159 #Var: 3776 LB: 0 @ 835.32 844.66 c Restart #160 #Var: 3776 LB: 0 @ 844.45 853.83 c Restart #161 #Var: 3776 LB: 0 @ 853.61 863.75 c Restart #162 #Var: 3776 LB: 0 @ 863.53 873.64 c Restart #163 #Var: 3776 LB: 0 @ 873.42 881.41 c Restart #164 #Var: 3776 LB: 0 @ 881.19 893.72 c Restart #165 #Var: 3776 LB: 0 @ 893.49 908.15 c CHANGE Heuristic... 908.15 c Restart #0 #Var: 3776 LB: 0 @ 907.92 908.22 c Restart #1 #Var: 3776 LB: 0 @ 907.99 908.36 c Restart #2 #Var: 3776 LB: 0 @ 908.13 908.57 c Restart #3 #Var: 3776 LB: 0 @ 908.34 908.90 c Restart #4 #Var: 3776 LB: 0 @ 908.67 909.40 c Restart #5 #Var: 3776 LB: 0 @ 909.16 909.65 c Restart #6 #Var: 3776 LB: 0 @ 909.42 910.03 c Restart #7 #Var: 3776 LB: 0 @ 909.8 910.51 c Restart #8 #Var: 3776 LB: 0 @ 910.27 911.06 c Restart #9 #Var: 3776 LB: 0 @ 910.83 911.64 c Restart #10 #Var: 3776 LB: 0 @ 911.4 912.23 c Restart #11 #Var: 3776 LB: 0 @ 912 912.87 c Restart #12 #Var: 3776 LB: 0 @ 912.64 913.90 c Restart #13 #Var: 3776 LB: 0 @ 913.66 914.74 c Restart #14 #Var: 3776 LB: 0 @ 914.51 915.69 c Restart #15 #Var: 3776 LB: 0 @ 915.46 916.93 c Restart #16 #Var: 3776 LB: 0 @ 916.7 917.91 c Restart #17 #Var: 3776 LB: 0 @ 917.68 919.62 c Restart #18 #Var: 3776 LB: 0 @ 919.39 921.09 c Restart #19 #Var: 3776 LB: 0 @ 920.85 922.65 c Restart #20 #Var: 3776 LB: 0 @ 922.42 924.27 c Restart #21 #Var: 3776 LB: 0 @ 924.03 925.62 c Restart #22 #Var: 3776 LB: 0 @ 925.39 926.83 c Restart #23 #Var: 3776 LB: 0 @ 926.59 928.32 c Restart #24 #Var: 3776 LB: 0 @ 928.08 929.80 c Restart #25 #Var: 3776 LB: 0 @ 929.56 931.50 c Restart #26 #Var: 3776 LB: 0 @ 931.26 933.27 c Restart #27 #Var: 3776 LB: 0 @ 933.03 935.02 c Restart #28 #Var: 3776 LB: 0 @ 934.78 937.25 c Restart #29 #Var: 3776 LB: 0 @ 937.01 938.98 c Restart #30 #Var: 3776 LB: 0 @ 938.74 941.31 c Restart #31 #Var: 3776 LB: 0 @ 941.07 943.10 c Restart #32 #Var: 3776 LB: 0 @ 942.86 945.73 c Restart #33 #Var: 3776 LB: 0 @ 945.49 948.53 c Restart #34 #Var: 3776 LB: 0 @ 948.29 951.29 c Restart #35 #Var: 3776 LB: 0 @ 951.04 953.21 c Restart #36 #Var: 3776 LB: 0 @ 952.97 955.93 c Restart #37 #Var: 3776 LB: 0 @ 955.68 959.70 c Restart #38 #Var: 3776 LB: 0 @ 959.46 962.62 c Restart #39 #Var: 3776 LB: 0 @ 962.38 965.10 c Restart #40 #Var: 3776 LB: 0 @ 964.85 969.33 c Restart #41 #Var: 3776 LB: 0 @ 969.09 971.84 c Restart #42 #Var: 3776 LB: 0 @ 971.59 974.85 c Restart #43 #Var: 3776 LB: 0 @ 974.6 978.12 c Restart #44 #Var: 3776 LB: 0 @ 977.87 981.47 c Restart #45 #Var: 3776 LB: 0 @ 981.22 983.86 c Restart #46 #Var: 3776 LB: 0 @ 983.61 987.45 c Restart #47 #Var: 3776 LB: 0 @ 987.2 991.49 c Restart #48 #Var: 3776 LB: 0 @ 991.24 994.83 c Restart #49 #Var: 3776 LB: 0 @ 994.58 997.22 c Restart #50 #Var: 3776 LB: 0 @ 996.97 999.63 c Restart #51 #Var: 3776 LB: 0 @ 999.37 1002.17 c Restart #52 #Var: 3776 LB: 0 @ 1001.9 1005.94 c Restart #53 #Var: 3776 LB: 0 @ 1005.7 1009.21 c Restart #54 #Var: 3776 LB: 0 @ 1009 1013.03 c Restart #55 #Var: 3776 LB: 0 @ 1012.8 1017.23 c Restart #56 #Var: 3776 LB: 0 @ 1017 1020.84 c Restart #57 #Var: 3776 LB: 0 @ 1020.6 1025.46 c Restart #58 #Var: 3776 LB: 0 @ 1025.2 1028.49 c Restart #59 #Var: 3776 LB: 0 @ 1028.2 1031.03 c Restart #60 #Var: 3776 LB: 0 @ 1030.8 1034.33 c Restart #61 #Var: 3776 LB: 0 @ 1034.1 1038.75 c Restart #62 #Var: 3776 LB: 0 @ 1038.5 1044.11 c Restart #63 #Var: 3776 LB: 0 @ 1043.8 1048.96 c Restart #64 #Var: 3776 LB: 0 @ 1048.7 1052.00 c Restart #65 #Var: 3776 LB: 0 @ 1051.7 1057.09 c Restart #66 #Var: 3776 LB: 0 @ 1056.8 1059.90 c Restart #67 #Var: 3776 LB: 0 @ 1059.6 1064.51 c Restart #68 #Var: 3776 LB: 0 @ 1064.2 1068.50 c Restart #69 #Var: 3776 LB: 0 @ 1068.2 1071.44 c Restart #70 #Var: 3776 LB: 0 @ 1071.2 1076.31 c Restart #71 #Var: 3776 LB: 0 @ 1076 1081.93 c Restart #72 #Var: 3776 LB: 0 @ 1081.7 1087.21 c Restart #73 #Var: 3776 LB: 0 @ 1086.9 1092.50 c Restart #74 #Var: 3776 LB: 0 @ 1092.2 1098.07 c Restart #75 #Var: 3776 LB: 0 @ 1097.8 1102.39 c Restart #76 #Var: 3776 LB: 0 @ 1102.1 1107.02 c Restart #77 #Var: 3776 LB: 0 @ 1106.7 1112.55 c Restart #78 #Var: 3776 LB: 0 @ 1112.3 1115.51 c Restart #79 #Var: 3776 LB: 0 @ 1115.2 1119.41 c Restart #80 #Var: 3776 LB: 0 @ 1119.1 1126.16 c Restart #81 #Var: 3776 LB: 0 @ 1125.9 1131.66 c Restart #82 #Var: 3776 LB: 0 @ 1131.4 1139.09 c Restart #83 #Var: 3776 LB: 0 @ 1138.8 1147.60 c Restart #84 #Var: 3776 LB: 0 @ 1147.3 1154.16 c Restart #85 #Var: 3776 LB: 0 @ 1153.9 1157.79 c Restart #86 #Var: 3776 LB: 0 @ 1157.5 1163.05 c Restart #87 #Var: 3776 LB: 0 @ 1162.8 1167.98 c Restart #88 #Var: 3776 LB: 0 @ 1167.7 1173.28 c Restart #89 #Var: 3776 LB: 0 @ 1173 1177.91 c Restart #90 #Var: 3776 LB: 0 @ 1177.6 1183.68 c Restart #91 #Var: 3776 LB: 0 @ 1183.4 1189.04 c Restart #92 #Var: 3776 LB: 0 @ 1188.7 1197.12 c Restart #93 #Var: 3776 LB: 0 @ 1196.8 1204.04 c Restart #94 #Var: 3776 LB: 0 @ 1203.7 1210.88 c Restart #95 #Var: 3776 LB: 0 @ 1210.6 1218.54 c Restart #96 #Var: 3776 LB: 0 @ 1218.2 1225.17 c Restart #97 #Var: 3776 LB: 0 @ 1224.9 1231.59 c Restart #98 #Var: 3776 LB: 0 @ 1231.3 1238.28 c Restart #99 #Var: 3776 LB: 0 @ 1238 1242.79 c Restart #100 #Var: 3776 LB: 0 @ 1242.5 1250.46 c Restart #101 #Var: 3776 LB: 0 @ 1250.1 1257.89 c Restart #102 #Var: 3776 LB: 0 @ 1257.6 1264.49 c Restart #103 #Var: 3776 LB: 0 @ 1264.2 1270.65 c Restart #104 #Var: 3776 LB: 0 @ 1270.3 1276.81 c Restart #105 #Var: 3776 LB: 0 @ 1276.5 1283.58 c Restart #106 #Var: 3776 LB: 0 @ 1283.3 1290.13 c Restart #107 #Var: 3776 LB: 0 @ 1289.8 1294.03 c Restart #108 #Var: 3776 LB: 0 @ 1293.7 1303.16 c Restart #109 #Var: 3776 LB: 0 @ 1302.8 1311.24 c Restart #110 #Var: 3776 LB: 0 @ 1310.9 1318.98 c Restart #111 #Var: 3776 LB: 0 @ 1318.7 1327.81 c Restart #112 #Var: 3776 LB: 0 @ 1327.5 1337.21 c Restart #113 #Var: 3776 LB: 0 @ 1336.9 1345.50 c Restart #114 #Var: 3776 LB: 0 @ 1345.2 1353.42 c Restart #115 #Var: 3776 LB: 0 @ 1353.1 1361.83 c Restart #116 #Var: 3776 LB: 0 @ 1361.5 1368.34 c Restart #117 #Var: 3776 LB: 0 @ 1368 1376.43 c Restart #118 #Var: 3776 LB: 0 @ 1376.1 1384.90 c Restart #119 #Var: 3776 LB: 0 @ 1384.6 1394.06 c Restart #120 #Var: 3776 LB: 0 @ 1393.7 1402.93 c Restart #121 #Var: 3776 LB: 0 @ 1402.6 1410.55 c Restart #122 #Var: 3776 LB: 0 @ 1410.2 1419.87 c Restart #123 #Var: 3776 LB: 0 @ 1419.5 1427.93 c Restart #124 #Var: 3776 LB: 0 @ 1427.6 1438.03 c Restart #125 #Var: 3776 LB: 0 @ 1437.7 1449.13 c Restart #126 #Var: 3776 LB: 0 @ 1448.8 1458.87 c Restart #127 #Var: 3776 LB: 0 @ 1458.5 1467.36 c Restart #128 #Var: 3776 LB: 0 @ 1467 1476.39 c Restart #129 #Var: 3776 LB: 0 @ 1476 1482.02 c Restart #130 #Var: 3776 LB: 0 @ 1481.6 1491.92 c Restart #131 #Var: 3776 LB: 0 @ 1491.5 1497.07 c Restart #132 #Var: 3776 LB: 0 @ 1496.7 1505.02 c Restart #133 #Var: 3776 LB: 0 @ 1504.6 1512.81 c Restart #134 #Var: 3776 LB: 0 @ 1512.4 1524.53 c Restart #135 #Var: 3776 LB: 0 @ 1524.2 1533.01 c Restart #136 #Var: 3776 LB: 0 @ 1532.6 1545.17 c Restart #137 #Var: 3776 LB: 0 @ 1544.8 1554.20 c Restart #138 #Var: 3776 LB: 0 @ 1553.8 1565.01 c Restart #139 #Var: 3776 LB: 0 @ 1564.6 1575.16 c Restart #140 #Var: 3776 LB: 0 @ 1574.8 1584.31 c Restart #141 #Var: 3776 LB: 0 @ 1583.9 1593.81 c Restart #142 #Var: 3776 LB: 0 @ 1593.4 1602.93 c Restart #143 #Var: 3776 LB: 0 @ 1602.5 1612.24 c Restart #144 #Var: 3776 LB: 0 @ 1611.8 1620.41 c Restart #145 #Var: 3776 LB: 0 @ 1620 1629.46 c Restart #146 #Var: 3776 LB: 0 @ 1629.1 1638.43 c Restart #147 #Var: 3776 LB: 0 @ 1638 1645.39 c Restart #148 #Var: 3776 LB: 0 @ 1645 1656.91 c Restart #149 #Var: 3776 LB: 0 @ 1656.5 1668.38 c Restart #150 #Var: 3776 LB: 0 @ 1668 1679.84 c Restart #151 #Var: 3776 LB: 0 @ 1679.4 1691.82 c Restart #152 #Var: 3776 LB: 0 @ 1691.4 1699.66 c Restart #153 #Var: 3776 LB: 0 @ 1699.2 1709.41 c Restart #154 #Var: 3776 LB: 0 @ 1709 1718.14 c Restart #155 #Var: 3776 LB: 0 @ 1717.7 1729.07 c Restart #156 #Var: 3776 LB: 0 @ 1728.6 1735.18 c Restart #157 #Var: 3776 LB: 0 @ 1734.7 1747.61 c Restart #158 #Var: 3776 LB: 0 @ 1747.2 1765.28 c Restart #159 #Var: 3776 LB: 0 @ 1764.8 1778.37 c Restart #160 #Var: 3776 LB: 0 @ 1777.9 1790.54 c Restart #161 #Var: 3776 LB: 0 @ 1790.1 1800.45 s UNKNOWN 1800.45 c Exit Code: 0 1800.45 c Total time: 1800 s
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 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/node43/watcher-39808-1149251432 -o ROOT/results/node43/solver-39808-1149251432 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node43/39808-1149251432/instance-39808-1149251432.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.96 2/64 31745 /proc/meminfo: memFree=1549432/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=4748 CPUtime=0 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 215 0 0 0 0 0 0 0 18 0 1 0 190809992 4861952 185 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134713704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 1187 195 145 55 0 79 0 [startup+10.0029 s] /proc/loadavg: 0.93 0.95 0.96 2/64 31745 /proc/meminfo: memFree=1539000/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=15224 CPUtime=9.97 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 2990 0 0 0 994 3 0 0 25 0 1 0 190809992 15589376 2905 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540644 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 3806 2905 297 55 0 2698 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 15224 [startup+20.0097 s] /proc/loadavg: 0.94 0.96 0.96 2/64 31745 /proc/meminfo: memFree=1538880/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=15336 CPUtime=19.98 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3026 0 0 0 1992 6 0 0 25 0 1 0 190809992 15704064 2934 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537653 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 3834 2934 297 55 0 2726 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 15336 [startup+30.0156 s] /proc/loadavg: 0.95 0.96 0.96 2/64 31745 /proc/meminfo: memFree=1538880/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=15444 CPUtime=29.98 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3031 0 0 0 2990 8 0 0 25 0 1 0 190809992 15814656 2939 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 3861 2939 297 55 0 2753 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 15444 [startup+40.0214 s] /proc/loadavg: 0.95 0.96 0.96 2/64 31745 /proc/meminfo: memFree=1538624/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=15708 CPUtime=39.99 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3090 0 0 0 3987 12 0 0 25 0 1 0 190809992 16084992 2998 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 3927 2998 297 55 0 2819 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 15708 [startup+50.0273 s] /proc/loadavg: 0.96 0.96 0.96 2/64 31745 /proc/meminfo: memFree=1538624/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=15524 CPUtime=49.99 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3090 0 0 0 4983 16 0 0 25 0 1 0 190809992 15896576 2981 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 3881 2981 297 55 0 2773 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 15524 [startup+60.0332 s] /proc/loadavg: 0.97 0.96 0.96 2/64 31745 /proc/meminfo: memFree=1538624/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=15532 CPUtime=59.99 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3106 0 0 0 5980 19 0 0 25 0 1 0 190809992 15904768 2983 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 3883 2983 297 55 0 2775 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 15532 [startup+70.039 s] /proc/loadavg: 0.97 0.96 0.96 2/64 31745 /proc/meminfo: memFree=1538560/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=15664 CPUtime=70 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3129 0 0 0 6979 21 0 0 25 0 1 0 190809992 16039936 3006 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 3916 3006 297 55 0 2808 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 15664 [startup+80.0459 s] /proc/loadavg: 0.98 0.96 0.96 2/64 31745 /proc/meminfo: memFree=1538560/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=15552 CPUtime=80 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3129 0 0 0 7975 25 0 0 25 0 1 0 190809992 15925248 2988 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696494 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 3888 2988 297 55 0 2780 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 15552 [startup+90.0508 s] /proc/loadavg: 0.98 0.96 0.96 2/64 31745 /proc/meminfo: memFree=1538560/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=15624 CPUtime=90.01 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3130 0 0 0 8972 29 0 0 25 0 1 0 190809992 15998976 2989 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 3906 2989 297 55 0 2798 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 15624 [startup+100.057 s] /proc/loadavg: 0.98 0.96 0.96 2/64 31745 /proc/meminfo: memFree=1538560/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=15648 CPUtime=100.01 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3135 0 0 0 9970 31 0 0 25 0 1 0 190809992 16023552 2994 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 3912 2994 297 55 0 2804 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 15648 [startup+110.062 s] /proc/loadavg: 0.98 0.96 0.96 2/64 31745 /proc/meminfo: memFree=1538560/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=15648 CPUtime=110.01 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3135 0 0 0 10966 35 0 0 25 0 1 0 190809992 16023552 2994 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 3912 2994 297 55 0 2804 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 15648 [startup+120.068 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31745 /proc/meminfo: memFree=1538496/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=15780 CPUtime=120.02 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3166 0 0 0 11964 38 0 0 25 0 1 0 190809992 16158720 3025 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 3945 3025 297 55 0 2837 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 15780 [startup+130.074 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31745 /proc/meminfo: memFree=1538368/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=15912 CPUtime=130.01 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3196 0 0 0 12959 42 0 0 25 0 1 0 190809992 16293888 3055 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 3978 3055 297 55 0 2870 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 15912 [startup+140.08 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31745 /proc/meminfo: memFree=1538368/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=15912 CPUtime=140.02 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3196 0 0 0 13955 47 0 0 25 0 1 0 190809992 16293888 3055 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 3978 3055 297 55 0 2870 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 15912 [startup+150.086 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31745 /proc/meminfo: memFree=1538368/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=15912 CPUtime=150.02 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3196 0 0 0 14950 52 0 0 25 0 1 0 190809992 16293888 3055 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 3978 3055 297 55 0 2870 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 15912 [startup+160.092 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31745 /proc/meminfo: memFree=1538368/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=15912 CPUtime=160.03 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3196 0 0 0 15947 56 0 0 25 0 1 0 190809992 16293888 3055 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 3978 3055 297 55 0 2870 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 15912 [startup+170.098 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31745 /proc/meminfo: memFree=1538048/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=16076 CPUtime=170.03 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3272 0 0 0 16942 61 0 0 25 0 1 0 190809992 16461824 3119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 4019 3119 297 55 0 2911 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 16076 [startup+180.104 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31745 /proc/meminfo: memFree=1538048/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=16076 CPUtime=180.03 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3272 0 0 0 17939 64 0 0 25 0 1 0 190809992 16461824 3119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 4019 3119 297 55 0 2911 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 16076 [startup+190.109 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31745 /proc/meminfo: memFree=1538048/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=16076 CPUtime=190.04 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3272 0 0 0 18936 68 0 0 25 0 1 0 190809992 16461824 3119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 4019 3119 297 55 0 2911 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 16076 [startup+200.115 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31747 /proc/meminfo: memFree=1538048/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=16076 CPUtime=200.05 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3272 0 0 0 19932 73 0 0 25 0 1 0 190809992 16461824 3119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 4019 3119 297 55 0 2911 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 16076 [startup+210.121 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31747 /proc/meminfo: memFree=1538048/2055920 swapFree=4180880/4192956 ################ # More data... # ################ /proc/31745/statm: 8046 7129 297 55 0 6938 0 Current children cumulated CPU time (s) 1760.57 Current children cumulated vsize (Kb) 32184 [startup+1771.03 s] /proc/loadavg: 1.00 0.99 0.96 2/64 31747 /proc/meminfo: memFree=1521536/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=32008 CPUtime=1770.58 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8133 0 0 0 176394 664 0 0 25 0 1 0 190809992 32776192 7102 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 8002 7102 297 55 0 6894 0 Current children cumulated CPU time (s) 1770.58 Current children cumulated vsize (Kb) 32008 [startup+1781.03 s] /proc/loadavg: 1.00 0.99 0.96 2/64 31747 /proc/meminfo: memFree=1521536/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=31920 CPUtime=1780.58 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8133 0 0 0 177391 667 0 0 25 0 1 0 190809992 32686080 7080 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 7980 7080 297 55 0 6872 0 Current children cumulated CPU time (s) 1780.58 Current children cumulated vsize (Kb) 31920 [startup+1782.04 s] /proc/loadavg: 1.00 0.99 0.96 2/64 31747 /proc/meminfo: memFree=1521536/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=31920 CPUtime=1781.59 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8133 0 0 0 177491 668 0 0 25 0 1 0 190809992 32686080 7080 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 7980 7080 297 55 0 6872 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (Kb) 31920 [startup+1783.04 s] /proc/loadavg: 1.00 0.99 0.96 2/64 31747 /proc/meminfo: memFree=1521536/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=32176 CPUtime=1782.59 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8167 0 0 0 177591 668 0 0 25 0 1 0 190809992 32948224 7114 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603854 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 8044 7114 297 55 0 6936 0 Current children cumulated CPU time (s) 1782.59 Current children cumulated vsize (Kb) 32176 [startup+1784.05 s] /proc/loadavg: 1.00 0.99 0.96 2/64 31747 /proc/meminfo: memFree=1521536/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=32084 CPUtime=1783.59 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8170 0 0 0 177691 668 0 0 25 0 1 0 190809992 32854016 7117 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 8021 7117 297 55 0 6913 0 Current children cumulated CPU time (s) 1783.59 Current children cumulated vsize (Kb) 32084 [startup+1785.05 s] /proc/loadavg: 1.00 0.99 0.96 2/64 31747 /proc/meminfo: memFree=1521472/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=32224 CPUtime=1784.6 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8202 0 0 0 177791 669 0 0 25 0 1 0 190809992 32997376 7137 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 8056 7137 297 55 0 6948 0 Current children cumulated CPU time (s) 1784.6 Current children cumulated vsize (Kb) 32224 [startup+1786.06 s] /proc/loadavg: 1.00 0.99 0.96 2/64 31747 /proc/meminfo: memFree=1521216/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=32460 CPUtime=1785.6 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8280 0 0 0 177891 669 0 0 25 0 1 0 190809992 33239040 7195 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 8115 7195 297 55 0 7007 0 Current children cumulated CPU time (s) 1785.6 Current children cumulated vsize (Kb) 32460 [startup+1787.06 s] /proc/loadavg: 1.00 0.99 0.96 2/64 31747 /proc/meminfo: memFree=1521152/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=32592 CPUtime=1786.61 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8307 0 0 0 177991 670 0 0 25 0 1 0 190809992 33374208 7222 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534870 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 8148 7222 297 55 0 7040 0 Current children cumulated CPU time (s) 1786.61 Current children cumulated vsize (Kb) 32592 [startup+1788.07 s] /proc/loadavg: 1.00 0.99 0.96 2/64 31747 /proc/meminfo: memFree=1520896/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=32788 CPUtime=1787.62 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8364 0 0 0 178091 671 0 0 25 0 1 0 190809992 33574912 7279 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 8197 7279 297 55 0 7089 0 Current children cumulated CPU time (s) 1787.62 Current children cumulated vsize (Kb) 32788 [startup+1789.07 s] /proc/loadavg: 1.00 0.99 0.96 2/64 31747 /proc/meminfo: memFree=1520512/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=33168 CPUtime=1788.62 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8459 0 0 0 178191 671 0 0 25 0 1 0 190809992 33964032 7374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 8292 7374 297 55 0 7184 0 Current children cumulated CPU time (s) 1788.62 Current children cumulated vsize (Kb) 33168 [startup+1790.08 s] /proc/loadavg: 1.00 0.99 0.96 2/64 31747 /proc/meminfo: memFree=1520512/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=33168 CPUtime=1789.62 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8459 0 0 0 178291 671 0 0 25 0 1 0 190809992 33964032 7374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 8292 7374 297 55 0 7184 0 Current children cumulated CPU time (s) 1789.62 Current children cumulated vsize (Kb) 33168 [startup+1791.08 s] /proc/loadavg: 1.00 0.99 0.96 2/64 31747 /proc/meminfo: memFree=1520512/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=33168 CPUtime=1790.63 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8459 0 0 0 178391 672 0 0 25 0 1 0 190809992 33964032 7374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 8292 7374 297 55 0 7184 0 Current children cumulated CPU time (s) 1790.63 Current children cumulated vsize (Kb) 33168 [startup+1792.09 s] /proc/loadavg: 1.00 0.99 0.96 2/64 31747 /proc/meminfo: memFree=1520512/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=33168 CPUtime=1791.63 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8459 0 0 0 178491 672 0 0 25 0 1 0 190809992 33964032 7374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 8292 7374 297 55 0 7184 0 Current children cumulated CPU time (s) 1791.63 Current children cumulated vsize (Kb) 33168 [startup+1793.09 s] /proc/loadavg: 1.00 0.99 0.96 2/64 31747 /proc/meminfo: memFree=1520512/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=33168 CPUtime=1792.64 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8459 0 0 0 178591 673 0 0 25 0 1 0 190809992 33964032 7374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 8292 7374 297 55 0 7184 0 Current children cumulated CPU time (s) 1792.64 Current children cumulated vsize (Kb) 33168 [startup+1794.1 s] /proc/loadavg: 1.00 0.99 0.96 2/64 31747 /proc/meminfo: memFree=1520512/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=33168 CPUtime=1793.65 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8459 0 0 0 178691 674 0 0 25 0 1 0 190809992 33964032 7374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 8292 7374 297 55 0 7184 0 Current children cumulated CPU time (s) 1793.65 Current children cumulated vsize (Kb) 33168 [startup+1795.1 s] /proc/loadavg: 1.00 0.99 0.96 2/64 31747 /proc/meminfo: memFree=1520512/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=33168 CPUtime=1794.65 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8459 0 0 0 178791 674 0 0 25 0 1 0 190809992 33964032 7374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718274 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 8292 7374 297 55 0 7184 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (Kb) 33168 [startup+1796.11 s] /proc/loadavg: 1.00 0.99 0.96 2/64 31747 /proc/meminfo: memFree=1520512/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=33168 CPUtime=1795.65 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8459 0 0 0 178891 674 0 0 25 0 1 0 190809992 33964032 7374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 8292 7374 297 55 0 7184 0 Current children cumulated CPU time (s) 1795.65 Current children cumulated vsize (Kb) 33168 [startup+1797.11 s] /proc/loadavg: 1.00 0.99 0.96 2/64 31747 /proc/meminfo: memFree=1520512/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=33168 CPUtime=1796.66 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8459 0 0 0 178991 675 0 0 25 0 1 0 190809992 33964032 7374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 8292 7374 297 55 0 7184 0 Current children cumulated CPU time (s) 1796.66 Current children cumulated vsize (Kb) 33168 [startup+1798.12 s] /proc/loadavg: 1.00 0.99 0.96 2/64 31747 /proc/meminfo: memFree=1520512/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=33168 CPUtime=1797.66 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8459 0 0 0 179091 675 0 0 25 0 1 0 190809992 33964032 7374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534060 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 8292 7374 297 55 0 7184 0 Current children cumulated CPU time (s) 1797.66 Current children cumulated vsize (Kb) 33168 [startup+1799.12 s] /proc/loadavg: 1.00 0.99 0.96 2/64 31747 /proc/meminfo: memFree=1520512/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=33168 CPUtime=1798.66 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8459 0 0 0 179191 675 0 0 25 0 1 0 190809992 33964032 7374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 8292 7374 297 55 0 7184 0 Current children cumulated CPU time (s) 1798.66 Current children cumulated vsize (Kb) 33168 [startup+1800.13 s] /proc/loadavg: 1.00 0.99 0.96 2/64 31747 /proc/meminfo: memFree=1520512/2055920 swapFree=4180880/4192956 [pid=31745] ppid=31743 vsize=33168 CPUtime=1799.67 /proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8459 0 0 0 179291 676 0 0 25 0 1 0 190809992 33964032 7374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31745/statm: 8292 7374 297 55 0 7184 0 Current children cumulated CPU time (s) 1799.67 Current children cumulated vsize (Kb) 33168 Child status: 0 Real time (s): 1800.46 CPU time (s): 1800.01 CPU user time (s): 1793.24 CPU system time (s): 6.76897 CPU usage (%): 99.975 Max. virtual memory (cumulated for all children) (Kb): 33168
Begin job on node43 on Fri Jun 2 12:30:32 UTC 2006 FILE ID= 39808-1149251432 PBS_JOBID= 298111 BENCH NAME= ROOT/tmp/node43/39808-1149251432/instance-39808-1149251432.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node43/39808-1149251432/instance-39808-1149251432.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-39808-1149251432 -o ROOT/results/node43/solver-39808-1149251432 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node43/39808-1149251432/instance-39808-1149251432.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 094943d5c572e297ea40a22e131cb082 RANDOM SEED= 306183056 /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.216 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.216 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: 1549640 kB Buffers: 12188 kB Cached: 423920 kB SwapCached: 3716 kB Active: 46888 kB Inactive: 397892 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1549640 kB SwapTotal: 4192956 kB SwapFree: 4180880 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14828 kB Slab: 47616 kB Committed_AS: 253032 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node43 on Fri Jun 2 13:00:33 UTC 2006