Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.01 | 1800.67 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran8x32.opb |
MD5SUM | 857268f55ca3006474c2fa40f262a214 |
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.18597 |
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 | 296 |
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 | 296 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 960 |
Number of terms in the objective function | 7936 |
Biggest coefficient in the objective function | 1818 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 530569 |
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 | 530569 |
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.03 c Time Limit set via PBTIMEOUT to 1800 0.05 c INFO: OSL Context initialized. 0.24 c Initial problem consists of 7936 variables and 336 constraints. 0.25 c No problem reductions applied in OPT. instance. 0.25 c preprocess terminated. Elapsed time: 0.212 0.25 c After prepocess the problem consists of 3812 variables and 336 constraints. 0.25 c Initial Lower Bound: 0 0.54 c Restart #1 #Var: 3812 LB: 0 @ 0.494 1.23 c Restart #2 #Var: 3812 LB: 0 @ 1.183 2.15 c Restart #3 #Var: 3812 LB: 0 @ 2.11 3.46 c Restart #4 #Var: 3812 LB: 0 @ 3.415 4.86 c Restart #5 #Var: 3812 LB: 0 @ 4.815 6.61 c Restart #6 #Var: 3812 LB: 0 @ 6.566 8.80 c Restart #7 #Var: 3812 LB: 0 @ 8.756 11.43 c Restart #8 #Var: 3812 LB: 0 @ 11.378 12.59 c Restart #9 #Var: 3812 LB: 0 @ 12.538 13.34 c Restart #10 #Var: 3812 LB: 0 @ 13.294 14.18 c Restart #11 #Var: 3812 LB: 0 @ 14.126 15.05 c Restart #12 #Var: 3812 LB: 0 @ 14.996 16.02 c Restart #13 #Var: 3812 LB: 0 @ 15.968 17.05 c Restart #14 #Var: 3812 LB: 0 @ 17.001 18.09 c Restart #15 #Var: 3812 LB: 0 @ 18.04 19.24 c Restart #16 #Var: 3812 LB: 0 @ 19.192 20.51 c Restart #17 #Var: 3812 LB: 0 @ 20.454 21.74 c Restart #18 #Var: 3812 LB: 0 @ 21.688 22.73 c Restart #19 #Var: 3812 LB: 0 @ 22.681 24.23 c Restart #20 #Var: 3812 LB: 0 @ 24.18 25.78 c Restart #21 #Var: 3812 LB: 0 @ 25.728 27.02 c Restart #22 #Var: 3812 LB: 0 @ 26.963 28.63 c Restart #23 #Var: 3812 LB: 0 @ 28.575 30.24 c Restart #24 #Var: 3812 LB: 0 @ 30.186 31.76 c Restart #25 #Var: 3812 LB: 0 @ 31.708 33.65 c Restart #26 #Var: 3812 LB: 0 @ 33.595 35.97 c Restart #27 #Var: 3812 LB: 0 @ 35.909 38.25 c Restart #28 #Var: 3812 LB: 0 @ 38.188 40.55 c Restart #29 #Var: 3812 LB: 0 @ 40.494 42.76 c Restart #30 #Var: 3812 LB: 0 @ 42.696 44.76 c Restart #31 #Var: 3812 LB: 0 @ 44.695 46.91 c Restart #32 #Var: 3812 LB: 0 @ 46.846 48.78 c Restart #33 #Var: 3812 LB: 0 @ 48.718 51.30 c Restart #34 #Var: 3812 LB: 0 @ 51.24 53.82 c Restart #35 #Var: 3812 LB: 0 @ 53.758 56.22 c Restart #36 #Var: 3812 LB: 0 @ 56.161 58.59 c Restart #37 #Var: 3812 LB: 0 @ 58.521 61.15 c Restart #38 #Var: 3812 LB: 0 @ 61.083 63.94 c Restart #39 #Var: 3812 LB: 0 @ 63.871 66.27 c Restart #40 #Var: 3812 LB: 0 @ 66.202 69.08 c Restart #41 #Var: 3812 LB: 0 @ 69.013 71.66 c Restart #42 #Var: 3812 LB: 0 @ 71.591 74.61 c Restart #43 #Var: 3812 LB: 0 @ 74.542 77.53 c Restart #44 #Var: 3812 LB: 0 @ 77.456 80.77 c Restart #45 #Var: 3812 LB: 0 @ 80.698 83.88 c Restart #46 #Var: 3812 LB: 0 @ 83.809 87.25 c Restart #47 #Var: 3812 LB: 0 @ 87.177 90.41 c Restart #48 #Var: 3812 LB: 0 @ 90.334 94.12 c Restart #49 #Var: 3812 LB: 0 @ 94.049 97.69 c Restart #50 #Var: 3812 LB: 0 @ 97.61 101.58 c Restart #51 #Var: 3812 LB: 0 @ 101.5 105.10 c Restart #52 #Var: 3812 LB: 0 @ 105.02 108.79 c Restart #53 #Var: 3812 LB: 0 @ 108.71 112.68 c Restart #54 #Var: 3812 LB: 0 @ 112.6 116.33 c Restart #55 #Var: 3812 LB: 0 @ 116.25 120.37 c Restart #56 #Var: 3812 LB: 0 @ 120.28 124.49 c Restart #57 #Var: 3812 LB: 0 @ 124.41 128.35 c Restart #58 #Var: 3812 LB: 0 @ 128.26 132.60 c Restart #59 #Var: 3812 LB: 0 @ 132.51 136.89 c Restart #60 #Var: 3812 LB: 0 @ 136.8 141.30 c Restart #61 #Var: 3812 LB: 0 @ 141.21 145.63 c Restart #62 #Var: 3812 LB: 0 @ 145.53 149.69 c Restart #63 #Var: 3812 LB: 0 @ 149.59 154.22 c Restart #64 #Var: 3812 LB: 0 @ 154.12 158.82 c Restart #65 #Var: 3812 LB: 0 @ 158.72 163.61 c Restart #66 #Var: 3812 LB: 0 @ 163.51 168.17 c Restart #67 #Var: 3812 LB: 0 @ 168.07 171.75 c Restart #68 #Var: 3812 LB: 0 @ 171.65 176.75 c Restart #69 #Var: 3812 LB: 0 @ 176.65 181.66 c Restart #70 #Var: 3812 LB: 0 @ 181.56 185.22 c Restart #71 #Var: 3812 LB: 0 @ 185.12 190.45 c Restart #72 #Var: 3812 LB: 0 @ 190.34 194.95 c Restart #73 #Var: 3812 LB: 0 @ 194.84 200.24 c Restart #74 #Var: 3812 LB: 0 @ 200.13 205.21 c Restart #75 #Var: 3812 LB: 0 @ 205.1 209.22 c Restart #76 #Var: 3812 LB: 0 @ 209.11 214.75 c Restart #77 #Var: 3812 LB: 0 @ 214.63 220.05 c Restart #78 #Var: 3812 LB: 0 @ 219.93 225.85 c Restart #79 #Var: 3812 LB: 0 @ 225.73 231.18 c Restart #80 #Var: 3812 LB: 0 @ 231.07 236.72 c Restart #81 #Var: 3812 LB: 0 @ 236.6 242.07 c Restart #82 #Var: 3812 LB: 0 @ 241.95 247.83 c Restart #83 #Var: 3812 LB: 0 @ 247.71 253.95 c Restart #84 #Var: 3812 LB: 0 @ 253.83 260.23 c Restart #85 #Var: 3812 LB: 0 @ 260.1 266.13 c Restart #86 #Var: 3812 LB: 0 @ 266.01 272.18 c Restart #87 #Var: 3812 LB: 0 @ 272.05 278.21 c Restart #88 #Var: 3812 LB: 0 @ 278.08 284.48 c Restart #89 #Var: 3812 LB: 0 @ 284.34 290.58 c Restart #90 #Var: 3812 LB: 0 @ 290.44 297.15 c Restart #91 #Var: 3812 LB: 0 @ 297.01 302.79 c Restart #92 #Var: 3812 LB: 0 @ 302.65 309.67 c Restart #93 #Var: 3812 LB: 0 @ 309.53 316.35 c Restart #94 #Var: 3812 LB: 0 @ 316.2 322.56 c Restart #95 #Var: 3812 LB: 0 @ 322.41 327.24 c Restart #96 #Var: 3812 LB: 0 @ 327.09 334.37 c Restart #97 #Var: 3812 LB: 0 @ 334.22 341.74 c Restart #98 #Var: 3812 LB: 0 @ 341.59 348.99 c Restart #99 #Var: 3812 LB: 0 @ 348.83 356.55 c Restart #100 #Var: 3812 LB: 0 @ 356.4 364.17 c Restart #101 #Var: 3812 LB: 0 @ 364.01 372.13 c Restart #102 #Var: 3812 LB: 0 @ 371.97 379.93 c Restart #103 #Var: 3812 LB: 0 @ 379.76 388.57 c Restart #104 #Var: 3812 LB: 0 @ 388.4 396.23 c Restart #105 #Var: 3812 LB: 0 @ 396.06 404.30 c Restart #106 #Var: 3812 LB: 0 @ 404.12 412.37 c Restart #107 #Var: 3812 LB: 0 @ 412.2 420.12 c Restart #108 #Var: 3812 LB: 0 @ 419.94 427.83 c Restart #109 #Var: 3812 LB: 0 @ 427.65 436.00 c Restart #110 #Var: 3812 LB: 0 @ 435.81 444.78 c Restart #111 #Var: 3812 LB: 0 @ 444.59 453.73 c Restart #112 #Var: 3812 LB: 0 @ 453.54 461.64 c Restart #113 #Var: 3812 LB: 0 @ 461.45 470.60 c Restart #114 #Var: 3812 LB: 0 @ 470.4 479.44 c Restart #115 #Var: 3812 LB: 0 @ 479.25 488.95 c Restart #116 #Var: 3812 LB: 0 @ 488.75 498.76 c Restart #117 #Var: 3812 LB: 0 @ 498.56 506.79 c Restart #118 #Var: 3812 LB: 0 @ 506.58 515.81 c Restart #119 #Var: 3812 LB: 0 @ 515.6 525.04 c Restart #120 #Var: 3812 LB: 0 @ 524.83 532.29 c Restart #121 #Var: 3812 LB: 0 @ 532.08 541.17 c Restart #122 #Var: 3812 LB: 0 @ 540.96 547.91 c Restart #123 #Var: 3812 LB: 0 @ 547.7 557.30 c Restart #124 #Var: 3812 LB: 0 @ 557.08 566.44 c Restart #125 #Var: 3812 LB: 0 @ 566.21 575.05 c Restart #126 #Var: 3812 LB: 0 @ 574.82 581.46 c Restart #127 #Var: 3812 LB: 0 @ 581.24 590.73 c Restart #128 #Var: 3812 LB: 0 @ 590.5 599.67 c Restart #129 #Var: 3812 LB: 0 @ 599.43 608.95 c Restart #130 #Var: 3812 LB: 0 @ 608.71 618.01 c Restart #131 #Var: 3812 LB: 0 @ 617.77 627.40 c Restart #132 #Var: 3812 LB: 0 @ 627.15 635.32 c Restart #133 #Var: 3812 LB: 0 @ 635.08 644.72 c Restart #134 #Var: 3812 LB: 0 @ 644.48 654.43 c Restart #135 #Var: 3812 LB: 0 @ 654.18 664.33 c Restart #136 #Var: 3812 LB: 0 @ 664.07 673.61 c Restart #137 #Var: 3812 LB: 0 @ 673.35 683.71 c Restart #138 #Var: 3812 LB: 0 @ 683.45 692.85 c Restart #139 #Var: 3812 LB: 0 @ 692.59 703.35 c Restart #140 #Var: 3812 LB: 0 @ 703.08 712.63 c Restart #141 #Var: 3812 LB: 0 @ 712.36 723.26 c Restart #142 #Var: 3812 LB: 0 @ 722.99 731.45 c Restart #143 #Var: 3812 LB: 0 @ 731.18 741.57 c Restart #144 #Var: 3812 LB: 0 @ 741.3 749.40 c Restart #145 #Var: 3812 LB: 0 @ 749.12 759.77 c Restart #146 #Var: 3812 LB: 0 @ 759.49 769.72 c Restart #147 #Var: 3812 LB: 0 @ 769.43 780.10 c Restart #148 #Var: 3812 LB: 0 @ 779.81 790.64 c Restart #149 #Var: 3812 LB: 0 @ 790.34 800.95 c Restart #150 #Var: 3812 LB: 0 @ 800.66 808.95 c Restart #151 #Var: 3812 LB: 0 @ 808.65 819.87 c Restart #152 #Var: 3812 LB: 0 @ 819.57 828.67 c Restart #153 #Var: 3812 LB: 0 @ 828.36 839.39 c Restart #154 #Var: 3812 LB: 0 @ 839.08 848.32 c Restart #155 #Var: 3812 LB: 0 @ 848.01 860.95 c Restart #156 #Var: 3812 LB: 0 @ 860.64 870.33 c Restart #157 #Var: 3812 LB: 0 @ 870.02 882.58 c Restart #158 #Var: 3812 LB: 0 @ 882.26 891.12 c Restart #159 #Var: 3812 LB: 0 @ 890.79 903.96 c CHANGE Heuristic... 903.96 c Restart #0 #Var: 3812 LB: 0 @ 903.63 904.05 c Restart #1 #Var: 3812 LB: 0 @ 903.72 904.16 c Restart #2 #Var: 3812 LB: 0 @ 903.83 904.38 c Restart #3 #Var: 3812 LB: 0 @ 904.06 904.69 c Restart #4 #Var: 3812 LB: 0 @ 904.36 905.01 c Restart #5 #Var: 3812 LB: 0 @ 904.68 905.44 c Restart #6 #Var: 3812 LB: 0 @ 905.11 906.02 c Restart #7 #Var: 3812 LB: 0 @ 905.69 906.55 c Restart #8 #Var: 3812 LB: 0 @ 906.22 907.27 c Restart #9 #Var: 3812 LB: 0 @ 906.94 908.02 c Restart #10 #Var: 3812 LB: 0 @ 907.69 908.88 c Restart #11 #Var: 3812 LB: 0 @ 908.55 909.81 c Restart #12 #Var: 3812 LB: 0 @ 909.48 910.63 c Restart #13 #Var: 3812 LB: 0 @ 910.3 911.54 c Restart #14 #Var: 3812 LB: 0 @ 911.21 912.53 c Restart #15 #Var: 3812 LB: 0 @ 912.2 913.69 c Restart #16 #Var: 3812 LB: 0 @ 913.35 914.64 c Restart #17 #Var: 3812 LB: 0 @ 914.31 915.93 c Restart #18 #Var: 3812 LB: 0 @ 915.59 917.18 c Restart #19 #Var: 3812 LB: 0 @ 916.85 918.65 c Restart #20 #Var: 3812 LB: 0 @ 918.32 919.75 c Restart #21 #Var: 3812 LB: 0 @ 919.42 921.02 c Restart #22 #Var: 3812 LB: 0 @ 920.69 922.63 c Restart #23 #Var: 3812 LB: 0 @ 922.29 924.29 c Restart #24 #Var: 3812 LB: 0 @ 923.96 925.52 c Restart #25 #Var: 3812 LB: 0 @ 925.18 927.38 c Restart #26 #Var: 3812 LB: 0 @ 927.05 929.14 c Restart #27 #Var: 3812 LB: 0 @ 928.8 930.93 c Restart #28 #Var: 3812 LB: 0 @ 930.59 933.02 c Restart #29 #Var: 3812 LB: 0 @ 932.68 934.72 c Restart #30 #Var: 3812 LB: 0 @ 934.38 937.12 c Restart #31 #Var: 3812 LB: 0 @ 936.78 939.48 c Restart #32 #Var: 3812 LB: 0 @ 939.14 941.54 c Restart #33 #Var: 3812 LB: 0 @ 941.2 944.18 c Restart #34 #Var: 3812 LB: 0 @ 943.84 946.66 c Restart #35 #Var: 3812 LB: 0 @ 946.32 949.45 c Restart #36 #Var: 3812 LB: 0 @ 949.11 952.13 c Restart #37 #Var: 3812 LB: 0 @ 951.79 955.11 c Restart #38 #Var: 3812 LB: 0 @ 954.76 957.93 c Restart #39 #Var: 3812 LB: 0 @ 957.58 961.05 c Restart #40 #Var: 3812 LB: 0 @ 960.7 964.00 c Restart #41 #Var: 3812 LB: 0 @ 963.65 967.27 c Restart #42 #Var: 3812 LB: 0 @ 966.92 970.41 c Restart #43 #Var: 3812 LB: 0 @ 970.06 974.00 c Restart #44 #Var: 3812 LB: 0 @ 973.65 977.21 c Restart #45 #Var: 3812 LB: 0 @ 976.86 979.40 c Restart #46 #Var: 3812 LB: 0 @ 979.05 983.14 c Restart #47 #Var: 3812 LB: 0 @ 982.79 986.99 c Restart #48 #Var: 3812 LB: 0 @ 986.64 990.30 c Restart #49 #Var: 3812 LB: 0 @ 989.94 994.25 c Restart #50 #Var: 3812 LB: 0 @ 993.89 997.60 c Restart #51 #Var: 3812 LB: 0 @ 997.24 1001.49 c Restart #52 #Var: 3812 LB: 0 @ 1001.1 1004.27 c Restart #53 #Var: 3812 LB: 0 @ 1003.9 1008.55 c Restart #54 #Var: 3812 LB: 0 @ 1008.2 1012.16 c Restart #55 #Var: 3812 LB: 0 @ 1011.8 1016.35 c Restart #56 #Var: 3812 LB: 0 @ 1016 1020.28 c Restart #57 #Var: 3812 LB: 0 @ 1019.9 1024.53 c Restart #58 #Var: 3812 LB: 0 @ 1024.2 1028.66 c Restart #59 #Var: 3812 LB: 0 @ 1028.3 1033.12 c Restart #60 #Var: 3812 LB: 0 @ 1032.7 1036.09 c Restart #61 #Var: 3812 LB: 0 @ 1035.7 1040.29 c Restart #62 #Var: 3812 LB: 0 @ 1039.9 1044.72 c Restart #63 #Var: 3812 LB: 0 @ 1044.3 1049.20 c Restart #64 #Var: 3812 LB: 0 @ 1048.8 1053.69 c Restart #65 #Var: 3812 LB: 0 @ 1053.3 1058.45 c Restart #66 #Var: 3812 LB: 0 @ 1058.1 1063.82 c Restart #67 #Var: 3812 LB: 0 @ 1063.4 1068.06 c Restart #68 #Var: 3812 LB: 0 @ 1067.7 1073.02 c Restart #69 #Var: 3812 LB: 0 @ 1072.6 1077.61 c Restart #70 #Var: 3812 LB: 0 @ 1077.2 1082.53 c Restart #71 #Var: 3812 LB: 0 @ 1082.1 1087.46 c Restart #72 #Var: 3812 LB: 0 @ 1087.1 1092.83 c Restart #73 #Var: 3812 LB: 0 @ 1092.4 1096.74 c Restart #74 #Var: 3812 LB: 0 @ 1096.4 1102.62 c Restart #75 #Var: 3812 LB: 0 @ 1102.2 1107.34 c Restart #76 #Var: 3812 LB: 0 @ 1106.9 1112.53 c Restart #77 #Var: 3812 LB: 0 @ 1112.1 1116.76 c Restart #78 #Var: 3812 LB: 0 @ 1116.4 1122.13 c Restart #79 #Var: 3812 LB: 0 @ 1121.7 1127.32 c Restart #80 #Var: 3812 LB: 0 @ 1126.9 1132.91 c Restart #81 #Var: 3812 LB: 0 @ 1132.5 1138.24 c Restart #82 #Var: 3812 LB: 0 @ 1137.8 1142.58 c Restart #83 #Var: 3812 LB: 0 @ 1142.2 1148.28 c Restart #84 #Var: 3812 LB: 0 @ 1147.9 1154.18 c Restart #85 #Var: 3812 LB: 0 @ 1153.8 1158.50 c Restart #86 #Var: 3812 LB: 0 @ 1158.1 1165.17 c Restart #87 #Var: 3812 LB: 0 @ 1164.8 1171.19 c Restart #88 #Var: 3812 LB: 0 @ 1170.8 1177.52 c Restart #89 #Var: 3812 LB: 0 @ 1177.1 1183.72 c Restart #90 #Var: 3812 LB: 0 @ 1183.3 1190.26 c Restart #91 #Var: 3812 LB: 0 @ 1189.8 1196.68 c Restart #92 #Var: 3812 LB: 0 @ 1196.3 1203.49 c Restart #93 #Var: 3812 LB: 0 @ 1203.1 1209.43 c Restart #94 #Var: 3812 LB: 0 @ 1209 1216.08 c Restart #95 #Var: 3812 LB: 0 @ 1215.7 1223.05 c Restart #96 #Var: 3812 LB: 0 @ 1222.6 1230.24 c Restart #97 #Var: 3812 LB: 0 @ 1229.8 1236.54 c Restart #98 #Var: 3812 LB: 0 @ 1236.1 1243.43 c Restart #99 #Var: 3812 LB: 0 @ 1243 1250.15 c Restart #100 #Var: 3812 LB: 0 @ 1249.7 1257.15 c Restart #101 #Var: 3812 LB: 0 @ 1256.7 1264.26 c Restart #102 #Var: 3812 LB: 0 @ 1263.8 1271.45 c Restart #103 #Var: 3812 LB: 0 @ 1271 1278.61 c Restart #104 #Var: 3812 LB: 0 @ 1278.2 1286.17 c Restart #105 #Var: 3812 LB: 0 @ 1285.7 1291.48 c Restart #106 #Var: 3812 LB: 0 @ 1291 1299.37 c Restart #107 #Var: 3812 LB: 0 @ 1298.9 1305.41 c Restart #108 #Var: 3812 LB: 0 @ 1305 1314.25 c Restart #109 #Var: 3812 LB: 0 @ 1313.8 1322.94 c Restart #110 #Var: 3812 LB: 0 @ 1322.5 1331.40 c Restart #111 #Var: 3812 LB: 0 @ 1330.9 1339.54 c Restart #112 #Var: 3812 LB: 0 @ 1339.1 1347.79 c Restart #113 #Var: 3812 LB: 0 @ 1347.3 1355.83 c Restart #114 #Var: 3812 LB: 0 @ 1355.4 1364.48 c Restart #115 #Var: 3812 LB: 0 @ 1364 1373.09 c Restart #116 #Var: 3812 LB: 0 @ 1372.6 1382.01 c Restart #117 #Var: 3812 LB: 0 @ 1381.5 1390.16 c Restart #118 #Var: 3812 LB: 0 @ 1389.7 1399.29 c Restart #119 #Var: 3812 LB: 0 @ 1398.8 1408.97 c Restart #120 #Var: 3812 LB: 0 @ 1408.5 1416.02 c Restart #121 #Var: 3812 LB: 0 @ 1415.5 1425.43 c Restart #122 #Var: 3812 LB: 0 @ 1424.9 1434.07 c Restart #123 #Var: 3812 LB: 0 @ 1433.6 1443.32 c Restart #124 #Var: 3812 LB: 0 @ 1442.8 1451.37 c Restart #125 #Var: 3812 LB: 0 @ 1450.9 1460.60 c Restart #126 #Var: 3812 LB: 0 @ 1460.1 1469.06 c Restart #127 #Var: 3812 LB: 0 @ 1468.6 1478.84 c Restart #128 #Var: 3812 LB: 0 @ 1478.3 1488.45 c Restart #129 #Var: 3812 LB: 0 @ 1487.9 1499.23 c Restart #130 #Var: 3812 LB: 0 @ 1498.7 1508.25 c Restart #131 #Var: 3812 LB: 0 @ 1507.7 1517.78 c Restart #132 #Var: 3812 LB: 0 @ 1517.3 1526.83 c Restart #133 #Var: 3812 LB: 0 @ 1526.3 1536.47 c Restart #134 #Var: 3812 LB: 0 @ 1535.9 1543.57 c Restart #135 #Var: 3812 LB: 0 @ 1543 1553.37 c Restart #136 #Var: 3812 LB: 0 @ 1552.8 1562.04 c Restart #137 #Var: 3812 LB: 0 @ 1561.5 1571.76 c Restart #138 #Var: 3812 LB: 0 @ 1571.2 1580.59 c Restart #139 #Var: 3812 LB: 0 @ 1580.1 1590.74 c Restart #140 #Var: 3812 LB: 0 @ 1590.2 1598.50 c Restart #141 #Var: 3812 LB: 0 @ 1598 1608.82 c Restart #142 #Var: 3812 LB: 0 @ 1608.3 1618.17 c Restart #143 #Var: 3812 LB: 0 @ 1617.6 1628.20 c Restart #144 #Var: 3812 LB: 0 @ 1627.6 1638.70 c Restart #145 #Var: 3812 LB: 0 @ 1638.1 1648.39 c Restart #146 #Var: 3812 LB: 0 @ 1647.8 1658.72 c Restart #147 #Var: 3812 LB: 0 @ 1658.2 1668.69 c Restart #148 #Var: 3812 LB: 0 @ 1668.1 1677.44 c Restart #149 #Var: 3812 LB: 0 @ 1676.9 1687.39 c Restart #150 #Var: 3812 LB: 0 @ 1686.8 1696.07 c Restart #151 #Var: 3812 LB: 0 @ 1695.5 1706.24 c Restart #152 #Var: 3812 LB: 0 @ 1705.7 1717.48 c Restart #153 #Var: 3812 LB: 0 @ 1716.9 1727.59 c Restart #154 #Var: 3812 LB: 0 @ 1727 1737.98 c Restart #155 #Var: 3812 LB: 0 @ 1737.4 1749.09 c Restart #156 #Var: 3812 LB: 0 @ 1748.5 1757.08 c Restart #157 #Var: 3812 LB: 0 @ 1756.4 1767.46 c Restart #158 #Var: 3812 LB: 0 @ 1766.8 1775.16 c Restart #159 #Var: 3812 LB: 0 @ 1774.5 1785.59 c Restart #160 #Var: 3812 LB: 0 @ 1784.9 1795.95 c Restart #161 #Var: 3812 LB: 0 @ 1795.3 1800.66 s UNKNOWN 1800.66 c Exit Code: 0 1800.66 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/node10/watcher-39809-1149251516 -o ROOT/results/node10/solver-39809-1149251516 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node10/39809-1149251516/instance-39809-1149251516.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.91 2/64 15105 /proc/meminfo: memFree=1811160/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=2900 CPUtime=0 /proc/15105/stat : 15105 (bsolo) D 15103 15105 15059 0 -1 0 43 0 0 0 0 0 0 0 18 0 1 0 190814042 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8905508 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/15105/statm: 725 27 19 55 0 38 0 [startup+10.0023 s] /proc/loadavg: 0.92 0.96 0.91 2/64 15105 /proc/meminfo: memFree=1800176/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=15392 CPUtime=9.95 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 3051 0 3 0 991 4 0 0 25 0 1 0 190814042 15761408 2969 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 3848 2969 297 55 0 2740 0 Current children cumulated CPU time (s) 9.95 Current children cumulated vsize (Kb) 15392 [startup+20.0097 s] /proc/loadavg: 0.93 0.96 0.91 2/64 15105 /proc/meminfo: memFree=1799280/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=16256 CPUtime=19.95 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 3275 0 3 0 1988 7 0 0 25 0 1 0 190814042 16646144 3192 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603830 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4064 3192 297 55 0 2956 0 Current children cumulated CPU time (s) 19.95 Current children cumulated vsize (Kb) 16256 [startup+30.016 s] /proc/loadavg: 0.94 0.96 0.91 2/64 15105 /proc/meminfo: memFree=1799280/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=16256 CPUtime=29.96 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 3275 0 3 0 2986 10 0 0 25 0 1 0 190814042 16646144 3192 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4064 3192 297 55 0 2956 0 Current children cumulated CPU time (s) 29.96 Current children cumulated vsize (Kb) 16256 [startup+40.0224 s] /proc/loadavg: 0.95 0.96 0.91 2/64 15105 /proc/meminfo: memFree=1799280/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=16256 CPUtime=39.95 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 3275 0 3 0 3983 12 0 0 25 0 1 0 190814042 16646144 3192 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4064 3192 297 55 0 2956 0 Current children cumulated CPU time (s) 39.95 Current children cumulated vsize (Kb) 16256 [startup+50.0288 s] /proc/loadavg: 0.96 0.96 0.91 2/64 15105 /proc/meminfo: memFree=1799152/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=16392 CPUtime=49.96 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 3303 0 3 0 4979 17 0 0 25 0 1 0 190814042 16785408 3220 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4098 3220 297 55 0 2990 0 Current children cumulated CPU time (s) 49.96 Current children cumulated vsize (Kb) 16392 [startup+60.0351 s] /proc/loadavg: 0.96 0.96 0.91 2/64 15105 /proc/meminfo: memFree=1798832/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=16748 CPUtime=59.96 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 3407 0 3 0 5975 21 0 0 25 0 1 0 190814042 17149952 3299 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4187 3299 297 55 0 3079 0 Current children cumulated CPU time (s) 59.96 Current children cumulated vsize (Kb) 16748 [startup+70.0415 s] /proc/loadavg: 0.97 0.96 0.91 2/64 15105 /proc/meminfo: memFree=1798832/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=16592 CPUtime=69.97 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 3407 0 3 0 6972 25 0 0 25 0 1 0 190814042 16990208 3279 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4148 3279 297 55 0 3040 0 Current children cumulated CPU time (s) 69.97 Current children cumulated vsize (Kb) 16592 [startup+80.0479 s] /proc/loadavg: 0.97 0.96 0.91 2/64 15105 /proc/meminfo: memFree=1798832/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=16592 CPUtime=79.97 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 3407 0 3 0 7968 29 0 0 25 0 1 0 190814042 16990208 3279 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4148 3279 297 55 0 3040 0 Current children cumulated CPU time (s) 79.97 Current children cumulated vsize (Kb) 16592 [startup+90.0542 s] /proc/loadavg: 0.98 0.96 0.91 2/64 15105 /proc/meminfo: memFree=1798832/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=16592 CPUtime=89.98 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 3407 0 3 0 8964 34 0 0 25 0 1 0 190814042 16990208 3279 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547755 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4148 3279 297 55 0 3040 0 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 16592 [startup+100.061 s] /proc/loadavg: 0.98 0.96 0.91 2/64 15105 /proc/meminfo: memFree=1798832/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=16592 CPUtime=99.97 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 3407 0 3 0 9960 37 0 0 25 0 1 0 190814042 16990208 3279 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4148 3279 297 55 0 3040 0 Current children cumulated CPU time (s) 99.97 Current children cumulated vsize (Kb) 16592 [startup+110.067 s] /proc/loadavg: 0.98 0.97 0.91 2/64 15105 /proc/meminfo: memFree=1798832/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=16724 CPUtime=109.98 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 3409 0 3 0 10956 42 0 0 25 0 1 0 190814042 17125376 3281 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4181 3281 297 55 0 3073 0 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 16724 [startup+120.073 s] /proc/loadavg: 0.98 0.97 0.91 2/64 15105 /proc/meminfo: memFree=1798832/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=16592 CPUtime=119.98 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 3409 0 3 0 11952 46 0 0 25 0 1 0 190814042 16990208 3279 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4148 3279 297 55 0 3040 0 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 16592 [startup+130.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15105 /proc/meminfo: memFree=1798832/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=16592 CPUtime=129.99 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 3409 0 3 0 12949 50 0 0 25 0 1 0 190814042 16990208 3279 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4148 3279 297 55 0 3040 0 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 16592 [startup+140.086 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15105 /proc/meminfo: memFree=1798832/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=16592 CPUtime=139.99 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 3409 0 3 0 13946 53 0 0 25 0 1 0 190814042 16990208 3279 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4148 3279 297 55 0 3040 0 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 16592 [startup+150.092 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15105 /proc/meminfo: memFree=1798768/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=16724 CPUtime=149.99 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 3441 0 3 0 14943 56 0 0 25 0 1 0 190814042 17125376 3311 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603833 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4181 3311 297 55 0 3073 0 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 16724 [startup+160.099 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15105 /proc/meminfo: memFree=1798768/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=16724 CPUtime=160 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 3441 0 3 0 15941 59 0 0 25 0 1 0 190814042 17125376 3311 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548189 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4181 3311 297 55 0 3073 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 16724 [startup+170.104 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15105 /proc/meminfo: memFree=1798768/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=16724 CPUtime=170 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 3441 0 3 0 16937 63 0 0 25 0 1 0 190814042 17125376 3311 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557852 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4181 3311 297 55 0 3073 0 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 16724 [startup+180.111 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15105 /proc/meminfo: memFree=1798768/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=16724 CPUtime=180 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 3441 0 3 0 17933 67 0 0 25 0 1 0 190814042 17125376 3311 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4181 3311 297 55 0 3073 0 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 16724 [startup+190.117 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15105 /proc/meminfo: memFree=1798768/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=16724 CPUtime=190.01 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 3441 0 3 0 18930 71 0 0 25 0 1 0 190814042 17125376 3311 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4181 3311 297 55 0 3073 0 Current children cumulated CPU time (s) 190.01 Current children cumulated vsize (Kb) 16724 [startup+200.123 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15105 /proc/meminfo: memFree=1798768/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=16744 CPUtime=200 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 3443 0 3 0 19927 73 0 0 25 0 1 0 190814042 17145856 3313 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4186 3313 297 55 0 3078 0 Current children cumulated CPU time (s) 200 Current children cumulated vsize (Kb) 16744 [startup+210.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15105 /proc/meminfo: memFree=1798704/2055920 swapFree=4181412/4192956 ################ # More data... # ################ /proc/15105/statm: 4452 3583 297 55 0 3344 0 Current children cumulated CPU time (s) 1760.5 Current children cumulated vsize (Kb) 17808 [startup+1771.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15302 /proc/meminfo: memFree=1796840/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=17808 CPUtime=1770.51 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 4415 0 3 0 176403 648 0 0 25 0 1 0 190814042 18235392 3583 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696488 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4452 3583 297 55 0 3344 0 Current children cumulated CPU time (s) 1770.51 Current children cumulated vsize (Kb) 17808 [startup+1781.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15302 /proc/meminfo: memFree=1795952/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=18996 CPUtime=1780.51 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 4693 0 3 0 177397 654 0 0 25 0 1 0 190814042 19451904 3861 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4749 3861 297 55 0 3641 0 Current children cumulated CPU time (s) 1780.51 Current children cumulated vsize (Kb) 18996 [startup+1782.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15302 /proc/meminfo: memFree=1795952/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=18996 CPUtime=1781.51 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 4693 0 3 0 177497 654 0 0 25 0 1 0 190814042 19451904 3861 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4749 3861 297 55 0 3641 0 Current children cumulated CPU time (s) 1781.51 Current children cumulated vsize (Kb) 18996 [startup+1783.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15302 /proc/meminfo: memFree=1795952/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=18996 CPUtime=1782.52 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 4693 0 3 0 177598 654 0 0 25 0 1 0 190814042 19451904 3861 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4749 3861 297 55 0 3641 0 Current children cumulated CPU time (s) 1782.52 Current children cumulated vsize (Kb) 18996 [startup+1784.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15302 /proc/meminfo: memFree=1795952/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=18996 CPUtime=1783.53 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 4693 0 3 0 177698 655 0 0 25 0 1 0 190814042 19451904 3861 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4749 3861 297 55 0 3641 0 Current children cumulated CPU time (s) 1783.53 Current children cumulated vsize (Kb) 18996 [startup+1785.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15302 /proc/meminfo: memFree=1795952/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=18996 CPUtime=1784.53 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 4693 0 3 0 177798 655 0 0 25 0 1 0 190814042 19451904 3861 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604175 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4749 3861 297 55 0 3641 0 Current children cumulated CPU time (s) 1784.53 Current children cumulated vsize (Kb) 18996 [startup+1786.2 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15302 /proc/meminfo: memFree=1795952/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=18996 CPUtime=1785.54 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 4693 0 3 0 177898 656 0 0 25 0 1 0 190814042 19451904 3861 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4749 3861 297 55 0 3641 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (Kb) 18996 [startup+1787.2 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15302 /proc/meminfo: memFree=1795952/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=18996 CPUtime=1786.54 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 4693 0 3 0 177998 656 0 0 25 0 1 0 190814042 19451904 3861 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4749 3861 297 55 0 3641 0 Current children cumulated CPU time (s) 1786.54 Current children cumulated vsize (Kb) 18996 [startup+1788.21 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15302 /proc/meminfo: memFree=1795952/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=18996 CPUtime=1787.54 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 4693 0 3 0 178097 657 0 0 25 0 1 0 190814042 19451904 3861 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4749 3861 297 55 0 3641 0 Current children cumulated CPU time (s) 1787.54 Current children cumulated vsize (Kb) 18996 [startup+1789.21 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15302 /proc/meminfo: memFree=1795952/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=18996 CPUtime=1788.55 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 4693 0 3 0 178198 657 0 0 25 0 1 0 190814042 19451904 3861 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4749 3861 297 55 0 3641 0 Current children cumulated CPU time (s) 1788.55 Current children cumulated vsize (Kb) 18996 [startup+1790.22 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15302 /proc/meminfo: memFree=1795952/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=18996 CPUtime=1789.55 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 4693 0 3 0 178298 657 0 0 25 0 1 0 190814042 19451904 3861 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4749 3861 297 55 0 3641 0 Current children cumulated CPU time (s) 1789.55 Current children cumulated vsize (Kb) 18996 [startup+1791.22 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15302 /proc/meminfo: memFree=1795952/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=18996 CPUtime=1790.56 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 4693 0 3 0 178398 658 0 0 25 0 1 0 190814042 19451904 3861 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4749 3861 297 55 0 3641 0 Current children cumulated CPU time (s) 1790.56 Current children cumulated vsize (Kb) 18996 [startup+1792.23 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15302 /proc/meminfo: memFree=1795952/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=18996 CPUtime=1791.56 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 4693 0 3 0 178498 658 0 0 25 0 1 0 190814042 19451904 3861 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604191 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4749 3861 297 55 0 3641 0 Current children cumulated CPU time (s) 1791.56 Current children cumulated vsize (Kb) 18996 [startup+1793.23 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15302 /proc/meminfo: memFree=1795952/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=18996 CPUtime=1792.57 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 4693 0 3 0 178598 659 0 0 25 0 1 0 190814042 19451904 3861 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4749 3861 297 55 0 3641 0 Current children cumulated CPU time (s) 1792.57 Current children cumulated vsize (Kb) 18996 [startup+1794.24 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15302 /proc/meminfo: memFree=1795952/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=18996 CPUtime=1793.57 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 4693 0 3 0 178698 659 0 0 25 0 1 0 190814042 19451904 3861 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604191 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4749 3861 297 55 0 3641 0 Current children cumulated CPU time (s) 1793.57 Current children cumulated vsize (Kb) 18996 [startup+1795.24 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15302 /proc/meminfo: memFree=1795952/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=18996 CPUtime=1794.57 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 4693 0 3 0 178798 659 0 0 25 0 1 0 190814042 19451904 3861 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696489 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4749 3861 297 55 0 3641 0 Current children cumulated CPU time (s) 1794.57 Current children cumulated vsize (Kb) 18996 [startup+1796.24 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15302 /proc/meminfo: memFree=1795952/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=18996 CPUtime=1795.58 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 4693 0 3 0 178898 660 0 0 25 0 1 0 190814042 19451904 3861 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4749 3861 297 55 0 3641 0 Current children cumulated CPU time (s) 1795.58 Current children cumulated vsize (Kb) 18996 [startup+1797.25 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15302 /proc/meminfo: memFree=1795952/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=18996 CPUtime=1796.59 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 4693 0 3 0 178999 660 0 0 25 0 1 0 190814042 19451904 3861 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4749 3861 297 55 0 3641 0 Current children cumulated CPU time (s) 1796.59 Current children cumulated vsize (Kb) 18996 [startup+1798.26 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15302 /proc/meminfo: memFree=1795952/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=18996 CPUtime=1797.59 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 4693 0 3 0 179099 660 0 0 25 0 1 0 190814042 19451904 3861 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4749 3861 297 55 0 3641 0 Current children cumulated CPU time (s) 1797.59 Current children cumulated vsize (Kb) 18996 [startup+1799.26 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15302 /proc/meminfo: memFree=1795952/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=18996 CPUtime=1798.6 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 4693 0 3 0 179199 661 0 0 25 0 1 0 190814042 19451904 3861 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4749 3861 297 55 0 3641 0 Current children cumulated CPU time (s) 1798.6 Current children cumulated vsize (Kb) 18996 [startup+1800.27 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15302 /proc/meminfo: memFree=1795952/2055920 swapFree=4181412/4192956 [pid=15105] ppid=15103 vsize=18996 CPUtime=1799.6 /proc/15105/stat : 15105 (bsolo) R 15103 15105 15059 0 -1 0 4693 0 3 0 179299 661 0 0 25 0 1 0 190814042 19451904 3861 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15105/statm: 4749 3861 297 55 0 3641 0 Current children cumulated CPU time (s) 1799.6 Current children cumulated vsize (Kb) 18996 Child status: 0 Real time (s): 1800.67 CPU time (s): 1800.01 CPU user time (s): 1793.39 CPU system time (s): 6.61799 CPU usage (%): 99.9632 Max. virtual memory (cumulated for all children) (Kb): 18996
Begin job on node10 on Fri Jun 2 12:31:56 UTC 2006 FILE ID= 39809-1149251516 PBS_JOBID= 298130 BENCH NAME= ROOT/tmp/node10/39809-1149251516/instance-39809-1149251516.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node10/39809-1149251516/instance-39809-1149251516.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-39809-1149251516 -o ROOT/results/node10/solver-39809-1149251516 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node10/39809-1149251516/instance-39809-1149251516.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 857268f55ca3006474c2fa40f262a214 RANDOM SEED= 983631267 /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.236 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.236 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: 1811368 kB Buffers: 11860 kB Cached: 170916 kB SwapCached: 3340 kB Active: 39516 kB Inactive: 152040 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1811368 kB SwapTotal: 4192956 kB SwapFree: 4181412 kB Dirty: 304 kB Writeback: 0 kB Mapped: 14932 kB Slab: 38992 kB Committed_AS: 262396 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node10 on Fri Jun 2 13:01:57 UTC 2006