Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.01 | 1800.57 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran10x26.opb |
MD5SUM | ea0578ce3fa6d7f101be81096fa267e7 |
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 | 12.3601 |
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 | 8060 |
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 | 780 |
Number of terms in the objective function | 8060 |
Biggest coefficient in the objective function | 1760 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 530127 |
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 | 530127 |
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.04 c Time Limit set via PBTIMEOUT to 1800 0.07 c INFO: OSL Context initialized. 0.26 c Initial problem consists of 8060 variables and 332 constraints. 0.27 c No problem reductions applied in OPT. instance. 0.27 c preprocess terminated. Elapsed time: 0.21 0.27 c After prepocess the problem consists of 3862 variables and 332 constraints. 0.27 c Initial Lower Bound: 0 0.50 c Restart #1 #Var: 3862 LB: 0 @ 0.44 0.97 c Restart #2 #Var: 3862 LB: 0 @ 0.909 1.61 c Restart #3 #Var: 3862 LB: 0 @ 1.548 3.02 c Restart #4 #Var: 3862 LB: 0 @ 2.954 6.94 c Restart #5 #Var: 3862 LB: 0 @ 6.87 9.05 c Restart #6 #Var: 3862 LB: 0 @ 8.982 10.83 c Restart #7 #Var: 3862 LB: 0 @ 10.76 13.63 c Restart #8 #Var: 3862 LB: 0 @ 13.557 16.92 c Restart #9 #Var: 3862 LB: 0 @ 16.851 17.56 c Restart #10 #Var: 3862 LB: 0 @ 17.485 18.41 c Restart #11 #Var: 3862 LB: 0 @ 18.341 19.30 c Restart #12 #Var: 3862 LB: 0 @ 19.226 20.30 c Restart #13 #Var: 3862 LB: 0 @ 20.22 21.50 c Restart #14 #Var: 3862 LB: 0 @ 21.42 22.60 c Restart #15 #Var: 3862 LB: 0 @ 22.524 23.84 c Restart #16 #Var: 3862 LB: 0 @ 23.763 25.15 c Restart #17 #Var: 3862 LB: 0 @ 25.076 26.40 c Restart #18 #Var: 3862 LB: 0 @ 26.327 27.83 c Restart #19 #Var: 3862 LB: 0 @ 27.75 29.40 c Restart #20 #Var: 3862 LB: 0 @ 29.325 31.01 c Restart #21 #Var: 3862 LB: 0 @ 30.933 32.67 c Restart #22 #Var: 3862 LB: 0 @ 32.589 34.40 c Restart #23 #Var: 3862 LB: 0 @ 34.325 36.16 c Restart #24 #Var: 3862 LB: 0 @ 36.081 38.06 c Restart #25 #Var: 3862 LB: 0 @ 37.984 40.17 c Restart #26 #Var: 3862 LB: 0 @ 40.085 42.27 c Restart #27 #Var: 3862 LB: 0 @ 42.189 45.03 c Restart #28 #Var: 3862 LB: 0 @ 44.949 47.67 c Restart #29 #Var: 3862 LB: 0 @ 47.583 49.64 c Restart #30 #Var: 3862 LB: 0 @ 49.556 51.97 c Restart #31 #Var: 3862 LB: 0 @ 51.887 54.48 c Restart #32 #Var: 3862 LB: 0 @ 54.397 56.90 c Restart #33 #Var: 3862 LB: 0 @ 56.82 59.49 c Restart #34 #Var: 3862 LB: 0 @ 59.407 62.30 c Restart #35 #Var: 3862 LB: 0 @ 62.218 65.02 c Restart #36 #Var: 3862 LB: 0 @ 64.932 68.05 c Restart #37 #Var: 3862 LB: 0 @ 67.961 71.18 c Restart #38 #Var: 3862 LB: 0 @ 71.095 73.93 c Restart #39 #Var: 3862 LB: 0 @ 73.843 77.18 c Restart #40 #Var: 3862 LB: 0 @ 77.09 80.29 c Restart #41 #Var: 3862 LB: 0 @ 80.197 83.41 c Restart #42 #Var: 3862 LB: 0 @ 83.32 86.86 c Restart #43 #Var: 3862 LB: 0 @ 86.769 90.43 c Restart #44 #Var: 3862 LB: 0 @ 90.337 94.09 c Restart #45 #Var: 3862 LB: 0 @ 93.991 98.05 c Restart #46 #Var: 3862 LB: 0 @ 97.96 102.01 c Restart #47 #Var: 3862 LB: 0 @ 101.92 106.33 c Restart #48 #Var: 3862 LB: 0 @ 106.23 110.20 c Restart #49 #Var: 3862 LB: 0 @ 110.1 114.75 c Restart #50 #Var: 3862 LB: 0 @ 114.65 118.33 c Restart #51 #Var: 3862 LB: 0 @ 118.23 122.02 c Restart #52 #Var: 3862 LB: 0 @ 121.91 126.46 c Restart #53 #Var: 3862 LB: 0 @ 126.36 130.12 c Restart #54 #Var: 3862 LB: 0 @ 130.02 134.74 c Restart #55 #Var: 3862 LB: 0 @ 134.63 139.05 c Restart #56 #Var: 3862 LB: 0 @ 138.94 143.37 c Restart #57 #Var: 3862 LB: 0 @ 143.26 147.51 c Restart #58 #Var: 3862 LB: 0 @ 147.4 151.80 c Restart #59 #Var: 3862 LB: 0 @ 151.69 156.53 c Restart #60 #Var: 3862 LB: 0 @ 156.42 160.71 c Restart #61 #Var: 3862 LB: 0 @ 160.59 164.88 c Restart #62 #Var: 3862 LB: 0 @ 164.77 169.58 c Restart #63 #Var: 3862 LB: 0 @ 169.47 174.06 c Restart #64 #Var: 3862 LB: 0 @ 173.94 178.92 c Restart #65 #Var: 3862 LB: 0 @ 178.8 184.46 c Restart #66 #Var: 3862 LB: 0 @ 184.34 189.61 c Restart #67 #Var: 3862 LB: 0 @ 189.49 193.94 c Restart #68 #Var: 3862 LB: 0 @ 193.82 198.70 c Restart #69 #Var: 3862 LB: 0 @ 198.58 204.41 c Restart #70 #Var: 3862 LB: 0 @ 204.28 209.30 c Restart #71 #Var: 3862 LB: 0 @ 209.17 214.91 c Restart #72 #Var: 3862 LB: 0 @ 214.78 220.66 c Restart #73 #Var: 3862 LB: 0 @ 220.53 225.63 c Restart #74 #Var: 3862 LB: 0 @ 225.5 231.73 c Restart #75 #Var: 3862 LB: 0 @ 231.59 235.81 c Restart #76 #Var: 3862 LB: 0 @ 235.68 241.53 c Restart #77 #Var: 3862 LB: 0 @ 241.39 247.90 c Restart #78 #Var: 3862 LB: 0 @ 247.76 254.12 c Restart #79 #Var: 3862 LB: 0 @ 253.98 260.32 c Restart #80 #Var: 3862 LB: 0 @ 260.18 266.87 c Restart #81 #Var: 3862 LB: 0 @ 266.73 273.51 c Restart #82 #Var: 3862 LB: 0 @ 273.37 280.11 c Restart #83 #Var: 3862 LB: 0 @ 279.97 287.74 c Restart #84 #Var: 3862 LB: 0 @ 287.59 294.25 c Restart #85 #Var: 3862 LB: 0 @ 294.1 300.53 c Restart #86 #Var: 3862 LB: 0 @ 300.37 307.72 c Restart #87 #Var: 3862 LB: 0 @ 307.57 315.03 c Restart #88 #Var: 3862 LB: 0 @ 314.88 322.28 c Restart #89 #Var: 3862 LB: 0 @ 322.12 329.82 c Restart #90 #Var: 3862 LB: 0 @ 329.66 337.71 c Restart #91 #Var: 3862 LB: 0 @ 337.55 345.23 c Restart #92 #Var: 3862 LB: 0 @ 345.07 352.58 c Restart #93 #Var: 3862 LB: 0 @ 352.42 360.40 c Restart #94 #Var: 3862 LB: 0 @ 360.23 367.68 c Restart #95 #Var: 3862 LB: 0 @ 367.51 374.45 c Restart #96 #Var: 3862 LB: 0 @ 374.28 381.62 c Restart #97 #Var: 3862 LB: 0 @ 381.45 389.34 c Restart #98 #Var: 3862 LB: 0 @ 389.17 396.90 c Restart #99 #Var: 3862 LB: 0 @ 396.73 405.61 c Restart #100 #Var: 3862 LB: 0 @ 405.43 412.79 c Restart #101 #Var: 3862 LB: 0 @ 412.61 420.14 c Restart #102 #Var: 3862 LB: 0 @ 419.96 428.30 c Restart #103 #Var: 3862 LB: 0 @ 428.12 435.29 c Restart #104 #Var: 3862 LB: 0 @ 435.1 444.61 c Restart #105 #Var: 3862 LB: 0 @ 444.42 453.26 c Restart #106 #Var: 3862 LB: 0 @ 453.07 460.99 c Restart #107 #Var: 3862 LB: 0 @ 460.79 470.44 c Restart #108 #Var: 3862 LB: 0 @ 470.24 478.89 c Restart #109 #Var: 3862 LB: 0 @ 478.69 486.55 c Restart #110 #Var: 3862 LB: 0 @ 486.35 495.38 c Restart #111 #Var: 3862 LB: 0 @ 495.17 503.04 c Restart #112 #Var: 3862 LB: 0 @ 502.84 512.94 c Restart #113 #Var: 3862 LB: 0 @ 512.74 522.56 c Restart #114 #Var: 3862 LB: 0 @ 522.35 529.59 c Restart #115 #Var: 3862 LB: 0 @ 529.38 538.20 c Restart #116 #Var: 3862 LB: 0 @ 537.99 547.87 c Restart #117 #Var: 3862 LB: 0 @ 547.65 555.23 c Restart #118 #Var: 3862 LB: 0 @ 555.01 564.33 c Restart #119 #Var: 3862 LB: 0 @ 564.11 574.40 c Restart #120 #Var: 3862 LB: 0 @ 574.18 582.64 c Restart #121 #Var: 3862 LB: 0 @ 582.41 592.78 c Restart #122 #Var: 3862 LB: 0 @ 592.55 602.69 c Restart #123 #Var: 3862 LB: 0 @ 602.45 612.48 c Restart #124 #Var: 3862 LB: 0 @ 612.24 621.99 c Restart #125 #Var: 3862 LB: 0 @ 621.75 632.44 c Restart #126 #Var: 3862 LB: 0 @ 632.2 642.49 c Restart #127 #Var: 3862 LB: 0 @ 642.25 651.68 c Restart #128 #Var: 3862 LB: 0 @ 651.44 662.83 c Restart #129 #Var: 3862 LB: 0 @ 662.58 672.93 c Restart #130 #Var: 3862 LB: 0 @ 672.67 684.79 c Restart #131 #Var: 3862 LB: 0 @ 684.54 693.13 c Restart #132 #Var: 3862 LB: 0 @ 692.87 703.87 c Restart #133 #Var: 3862 LB: 0 @ 703.6 714.74 c Restart #134 #Var: 3862 LB: 0 @ 714.47 725.61 c Restart #135 #Var: 3862 LB: 0 @ 725.35 735.10 c Restart #136 #Var: 3862 LB: 0 @ 734.83 745.34 c Restart #137 #Var: 3862 LB: 0 @ 745.06 754.28 c Restart #138 #Var: 3862 LB: 0 @ 754 766.43 c Restart #139 #Var: 3862 LB: 0 @ 766.15 777.62 c Restart #140 #Var: 3862 LB: 0 @ 777.34 789.87 c Restart #141 #Var: 3862 LB: 0 @ 789.58 799.91 c Restart #142 #Var: 3862 LB: 0 @ 799.62 812.26 c Restart #143 #Var: 3862 LB: 0 @ 811.97 823.71 c Restart #144 #Var: 3862 LB: 0 @ 823.42 834.79 c Restart #145 #Var: 3862 LB: 0 @ 834.49 846.06 c Restart #146 #Var: 3862 LB: 0 @ 845.76 858.04 c Restart #147 #Var: 3862 LB: 0 @ 857.73 869.23 c Restart #148 #Var: 3862 LB: 0 @ 868.92 880.49 c Restart #149 #Var: 3862 LB: 0 @ 880.18 892.66 c Restart #150 #Var: 3862 LB: 0 @ 892.35 904.99 c CHANGE Heuristic... 904.99 c Restart #0 #Var: 3862 LB: 0 @ 904.67 905.07 c Restart #1 #Var: 3862 LB: 0 @ 904.75 905.22 c Restart #2 #Var: 3862 LB: 0 @ 904.9 905.44 c Restart #3 #Var: 3862 LB: 0 @ 905.13 905.81 c Restart #4 #Var: 3862 LB: 0 @ 905.49 906.23 c Restart #5 #Var: 3862 LB: 0 @ 905.91 906.64 c Restart #6 #Var: 3862 LB: 0 @ 906.32 907.21 c Restart #7 #Var: 3862 LB: 0 @ 906.89 907.89 c Restart #8 #Var: 3862 LB: 0 @ 907.58 908.52 c Restart #9 #Var: 3862 LB: 0 @ 908.2 909.31 c Restart #10 #Var: 3862 LB: 0 @ 908.99 910.26 c Restart #11 #Var: 3862 LB: 0 @ 909.94 911.18 c Restart #12 #Var: 3862 LB: 0 @ 910.86 912.22 c Restart #13 #Var: 3862 LB: 0 @ 911.9 913.38 c Restart #14 #Var: 3862 LB: 0 @ 913.07 914.52 c Restart #15 #Var: 3862 LB: 0 @ 914.2 915.86 c Restart #16 #Var: 3862 LB: 0 @ 915.54 917.21 c Restart #17 #Var: 3862 LB: 0 @ 916.89 918.59 c Restart #18 #Var: 3862 LB: 0 @ 918.27 920.15 c Restart #19 #Var: 3862 LB: 0 @ 919.83 922.01 c Restart #20 #Var: 3862 LB: 0 @ 921.69 923.60 c Restart #21 #Var: 3862 LB: 0 @ 923.28 925.45 c Restart #22 #Var: 3862 LB: 0 @ 925.13 927.41 c Restart #23 #Var: 3862 LB: 0 @ 927.09 929.23 c Restart #24 #Var: 3862 LB: 0 @ 928.91 931.33 c Restart #25 #Var: 3862 LB: 0 @ 931 933.53 c Restart #26 #Var: 3862 LB: 0 @ 933.21 935.87 c Restart #27 #Var: 3862 LB: 0 @ 935.54 938.15 c Restart #28 #Var: 3862 LB: 0 @ 937.83 940.56 c Restart #29 #Var: 3862 LB: 0 @ 940.23 943.03 c Restart #30 #Var: 3862 LB: 0 @ 942.7 945.69 c Restart #31 #Var: 3862 LB: 0 @ 945.36 948.26 c Restart #32 #Var: 3862 LB: 0 @ 947.93 951.08 c Restart #33 #Var: 3862 LB: 0 @ 950.75 953.86 c Restart #34 #Var: 3862 LB: 0 @ 953.53 956.84 c Restart #35 #Var: 3862 LB: 0 @ 956.51 959.99 c Restart #36 #Var: 3862 LB: 0 @ 959.66 962.88 c Restart #37 #Var: 3862 LB: 0 @ 962.54 965.97 c Restart #38 #Var: 3862 LB: 0 @ 965.63 969.05 c Restart #39 #Var: 3862 LB: 0 @ 968.72 972.38 c Restart #40 #Var: 3862 LB: 0 @ 972.04 975.61 c Restart #41 #Var: 3862 LB: 0 @ 975.27 979.15 c Restart #42 #Var: 3862 LB: 0 @ 978.82 982.85 c Restart #43 #Var: 3862 LB: 0 @ 982.51 986.55 c Restart #44 #Var: 3862 LB: 0 @ 986.21 989.98 c Restart #45 #Var: 3862 LB: 0 @ 989.64 993.43 c Restart #46 #Var: 3862 LB: 0 @ 993.09 997.09 c Restart #47 #Var: 3862 LB: 0 @ 996.74 1000.46 c Restart #48 #Var: 3862 LB: 0 @ 1000.1 1004.16 c Restart #49 #Var: 3862 LB: 0 @ 1003.8 1008.06 c Restart #50 #Var: 3862 LB: 0 @ 1007.7 1012.33 c Restart #51 #Var: 3862 LB: 0 @ 1012 1015.91 c Restart #52 #Var: 3862 LB: 0 @ 1015.6 1020.43 c Restart #53 #Var: 3862 LB: 0 @ 1020.1 1025.30 c Restart #54 #Var: 3862 LB: 0 @ 1024.9 1028.88 c Restart #55 #Var: 3862 LB: 0 @ 1028.5 1034.01 c Restart #56 #Var: 3862 LB: 0 @ 1033.7 1038.28 c Restart #57 #Var: 3862 LB: 0 @ 1037.9 1042.36 c Restart #58 #Var: 3862 LB: 0 @ 1042 1047.13 c Restart #59 #Var: 3862 LB: 0 @ 1046.8 1051.74 c Restart #60 #Var: 3862 LB: 0 @ 1051.4 1056.60 c Restart #61 #Var: 3862 LB: 0 @ 1056.2 1061.61 c Restart #62 #Var: 3862 LB: 0 @ 1061.3 1065.31 c Restart #63 #Var: 3862 LB: 0 @ 1065 1069.93 c Restart #64 #Var: 3862 LB: 0 @ 1069.6 1075.29 c Restart #65 #Var: 3862 LB: 0 @ 1074.9 1080.11 c Restart #66 #Var: 3862 LB: 0 @ 1079.7 1085.44 c Restart #67 #Var: 3862 LB: 0 @ 1085.1 1091.08 c Restart #68 #Var: 3862 LB: 0 @ 1090.7 1096.66 c Restart #69 #Var: 3862 LB: 0 @ 1096.3 1102.55 c Restart #70 #Var: 3862 LB: 0 @ 1102.2 1108.57 c Restart #71 #Var: 3862 LB: 0 @ 1108.2 1115.78 c Restart #72 #Var: 3862 LB: 0 @ 1115.4 1121.60 c Restart #73 #Var: 3862 LB: 0 @ 1121.2 1127.84 c Restart #74 #Var: 3862 LB: 0 @ 1127.5 1133.92 c Restart #75 #Var: 3862 LB: 0 @ 1133.5 1139.08 c Restart #76 #Var: 3862 LB: 0 @ 1138.7 1145.27 c Restart #77 #Var: 3862 LB: 0 @ 1144.9 1151.80 c Restart #78 #Var: 3862 LB: 0 @ 1151.4 1157.87 c Restart #79 #Var: 3862 LB: 0 @ 1157.5 1164.39 c Restart #80 #Var: 3862 LB: 0 @ 1164 1171.72 c Restart #81 #Var: 3862 LB: 0 @ 1171.3 1178.19 c Restart #82 #Var: 3862 LB: 0 @ 1177.8 1184.24 c Restart #83 #Var: 3862 LB: 0 @ 1183.8 1191.10 c Restart #84 #Var: 3862 LB: 0 @ 1190.7 1198.56 c Restart #85 #Var: 3862 LB: 0 @ 1198.2 1205.38 c Restart #86 #Var: 3862 LB: 0 @ 1205 1212.50 c Restart #87 #Var: 3862 LB: 0 @ 1212.1 1219.67 c Restart #88 #Var: 3862 LB: 0 @ 1219.3 1225.59 c Restart #89 #Var: 3862 LB: 0 @ 1225.2 1233.61 c Restart #90 #Var: 3862 LB: 0 @ 1233.2 1241.15 c Restart #91 #Var: 3862 LB: 0 @ 1240.7 1247.14 c Restart #92 #Var: 3862 LB: 0 @ 1246.7 1253.99 c Restart #93 #Var: 3862 LB: 0 @ 1253.6 1262.38 c Restart #94 #Var: 3862 LB: 0 @ 1262 1269.65 c Restart #95 #Var: 3862 LB: 0 @ 1269.2 1277.80 c Restart #96 #Var: 3862 LB: 0 @ 1277.4 1285.78 c Restart #97 #Var: 3862 LB: 0 @ 1285.4 1293.83 c Restart #98 #Var: 3862 LB: 0 @ 1293.4 1302.61 c Restart #99 #Var: 3862 LB: 0 @ 1302.2 1310.51 c Restart #100 #Var: 3862 LB: 0 @ 1310.1 1318.81 c Restart #101 #Var: 3862 LB: 0 @ 1318.4 1327.55 c Restart #102 #Var: 3862 LB: 0 @ 1327.1 1335.98 c Restart #103 #Var: 3862 LB: 0 @ 1335.5 1344.53 c Restart #104 #Var: 3862 LB: 0 @ 1344.1 1352.64 c Restart #105 #Var: 3862 LB: 0 @ 1352.2 1360.86 c Restart #106 #Var: 3862 LB: 0 @ 1360.4 1368.66 c Restart #107 #Var: 3862 LB: 0 @ 1368.2 1378.21 c Restart #108 #Var: 3862 LB: 0 @ 1377.8 1387.42 c Restart #109 #Var: 3862 LB: 0 @ 1387 1395.09 c Restart #110 #Var: 3862 LB: 0 @ 1394.6 1403.50 c Restart #111 #Var: 3862 LB: 0 @ 1403 1412.80 c Restart #112 #Var: 3862 LB: 0 @ 1412.3 1422.21 c Restart #113 #Var: 3862 LB: 0 @ 1421.7 1430.71 c Restart #114 #Var: 3862 LB: 0 @ 1430.2 1440.46 c Restart #115 #Var: 3862 LB: 0 @ 1440 1449.69 c Restart #116 #Var: 3862 LB: 0 @ 1449.2 1460.39 c Restart #117 #Var: 3862 LB: 0 @ 1459.9 1470.07 c Restart #118 #Var: 3862 LB: 0 @ 1469.6 1480.10 c Restart #119 #Var: 3862 LB: 0 @ 1479.6 1488.91 c Restart #120 #Var: 3862 LB: 0 @ 1488.4 1498.87 c Restart #121 #Var: 3862 LB: 0 @ 1498.4 1508.84 c Restart #122 #Var: 3862 LB: 0 @ 1508.4 1518.18 c Restart #123 #Var: 3862 LB: 0 @ 1517.7 1527.41 c Restart #124 #Var: 3862 LB: 0 @ 1526.9 1539.15 c Restart #125 #Var: 3862 LB: 0 @ 1538.7 1548.97 c Restart #126 #Var: 3862 LB: 0 @ 1548.5 1558.16 c Restart #127 #Var: 3862 LB: 0 @ 1557.7 1569.18 c Restart #128 #Var: 3862 LB: 0 @ 1568.7 1578.37 c Restart #129 #Var: 3862 LB: 0 @ 1577.9 1587.89 c Restart #130 #Var: 3862 LB: 0 @ 1587.4 1599.64 c Restart #131 #Var: 3862 LB: 0 @ 1599.1 1610.46 c Restart #132 #Var: 3862 LB: 0 @ 1610 1621.29 c Restart #133 #Var: 3862 LB: 0 @ 1620.8 1631.99 c Restart #134 #Var: 3862 LB: 0 @ 1631.5 1642.22 c Restart #135 #Var: 3862 LB: 0 @ 1641.7 1653.22 c Restart #136 #Var: 3862 LB: 0 @ 1652.7 1665.14 c Restart #137 #Var: 3862 LB: 0 @ 1664.6 1676.72 c Restart #138 #Var: 3862 LB: 0 @ 1676.2 1688.63 c Restart #139 #Var: 3862 LB: 0 @ 1688.1 1700.39 c Restart #140 #Var: 3862 LB: 0 @ 1699.9 1711.28 c Restart #141 #Var: 3862 LB: 0 @ 1710.7 1723.02 c Restart #142 #Var: 3862 LB: 0 @ 1722.5 1734.63 c Restart #143 #Var: 3862 LB: 0 @ 1734.1 1748.27 c Restart #144 #Var: 3862 LB: 0 @ 1747.7 1760.53 c Restart #145 #Var: 3862 LB: 0 @ 1760 1773.06 c Restart #146 #Var: 3862 LB: 0 @ 1772.5 1784.38 c Restart #147 #Var: 3862 LB: 0 @ 1783.8 1794.96 c Restart #148 #Var: 3862 LB: 0 @ 1794.4 1800.56 s UNKNOWN 1800.56 c Exit Code: 0 1800.56 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/node18/watcher-39804-1149250503 -o ROOT/results/node18/solver-39804-1149250503 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node18/39804-1149250503/instance-39804-1149250503.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.94 2/64 30349 /proc/meminfo: memFree=1931976/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=2948 CPUtime=0 /proc/30349/stat : 30349 (bsolo) D 30347 30349 30303 0 -1 0 49 0 1 0 0 0 0 0 19 0 1 0 190713216 3018752 34 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7861028 0 0 4096 0 18446744071563608240 0 0 17 1 0 0 /proc/30349/statm: 737 34 26 55 0 38 0 [startup+10.0018 s] /proc/loadavg: 0.93 0.95 0.94 2/64 30349 /proc/meminfo: memFree=1918816/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=15284 CPUtime=9.92 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 3207 0 11 0 988 4 0 0 25 0 1 0 190713216 15650816 2933 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 3821 2933 297 55 0 2713 0 Current children cumulated CPU time (s) 9.92 Current children cumulated vsize (Kb) 15284 [startup+20.0078 s] /proc/loadavg: 0.94 0.96 0.94 2/64 30349 /proc/meminfo: memFree=1917920/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=16192 CPUtime=19.92 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 3670 0 11 0 1985 7 0 0 25 0 1 0 190713216 16580608 3158 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4048 3158 297 55 0 2940 0 Current children cumulated CPU time (s) 19.92 Current children cumulated vsize (Kb) 16192 [startup+30.0138 s] /proc/loadavg: 0.95 0.96 0.94 2/64 30349 /proc/meminfo: memFree=1917984/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=16124 CPUtime=29.93 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 3672 0 11 0 2983 10 0 0 25 0 1 0 190713216 16510976 3143 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4031 3143 297 55 0 2923 0 Current children cumulated CPU time (s) 29.93 Current children cumulated vsize (Kb) 16124 [startup+40.0197 s] /proc/loadavg: 0.95 0.96 0.94 2/64 30349 /proc/meminfo: memFree=1918048/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=16388 CPUtime=39.93 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 3713 0 11 0 3979 14 0 0 25 0 1 0 190713216 16781312 3184 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4097 3184 297 55 0 2989 0 Current children cumulated CPU time (s) 39.93 Current children cumulated vsize (Kb) 16388 [startup+50.0257 s] /proc/loadavg: 0.96 0.96 0.94 2/64 30349 /proc/meminfo: memFree=1917728/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=16460 CPUtime=49.93 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 3804 0 11 0 4976 17 0 0 25 0 1 0 190713216 16855040 3227 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4115 3227 297 55 0 3007 0 Current children cumulated CPU time (s) 49.93 Current children cumulated vsize (Kb) 16460 [startup+60.0307 s] /proc/loadavg: 0.97 0.96 0.94 2/64 30349 /proc/meminfo: memFree=1917728/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=16460 CPUtime=59.93 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 3804 0 11 0 5972 21 0 0 25 0 1 0 190713216 16855040 3227 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4115 3227 297 55 0 3007 0 Current children cumulated CPU time (s) 59.93 Current children cumulated vsize (Kb) 16460 [startup+70.0367 s] /proc/loadavg: 0.97 0.96 0.94 2/64 30349 /proc/meminfo: memFree=1917408/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=16948 CPUtime=69.94 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 3930 0 11 0 6971 23 0 0 25 0 1 0 190713216 17354752 3344 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4237 3344 297 55 0 3129 0 Current children cumulated CPU time (s) 69.94 Current children cumulated vsize (Kb) 16948 [startup+80.0426 s] /proc/loadavg: 0.98 0.96 0.94 2/64 30349 /proc/meminfo: memFree=1917408/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=16948 CPUtime=79.94 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 3930 0 11 0 7969 25 0 0 25 0 1 0 190713216 17354752 3344 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548239 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4237 3344 297 55 0 3129 0 Current children cumulated CPU time (s) 79.94 Current children cumulated vsize (Kb) 16948 [startup+90.0486 s] /proc/loadavg: 0.98 0.96 0.94 2/64 30349 /proc/meminfo: memFree=1917408/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=16948 CPUtime=89.95 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 3930 0 11 0 8966 29 0 0 25 0 1 0 190713216 17354752 3344 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4237 3344 297 55 0 3129 0 Current children cumulated CPU time (s) 89.95 Current children cumulated vsize (Kb) 16948 [startup+100.055 s] /proc/loadavg: 0.98 0.96 0.94 2/64 30349 /proc/meminfo: memFree=1917344/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=16948 CPUtime=99.95 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 3930 0 11 0 9962 33 0 0 25 0 1 0 190713216 17354752 3344 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8294092 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4237 3344 297 55 0 3129 0 Current children cumulated CPU time (s) 99.95 Current children cumulated vsize (Kb) 16948 [startup+110.061 s] /proc/loadavg: 0.98 0.96 0.94 2/64 30349 /proc/meminfo: memFree=1917408/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=16948 CPUtime=109.95 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 3930 0 11 0 10959 36 0 0 25 0 1 0 190713216 17354752 3344 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4237 3344 297 55 0 3129 0 Current children cumulated CPU time (s) 109.95 Current children cumulated vsize (Kb) 16948 [startup+120.066 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30349 /proc/meminfo: memFree=1917408/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=16948 CPUtime=119.96 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 3930 0 11 0 11958 38 0 0 25 0 1 0 190713216 17354752 3344 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4237 3344 297 55 0 3129 0 Current children cumulated CPU time (s) 119.96 Current children cumulated vsize (Kb) 16948 [startup+130.072 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30349 /proc/meminfo: memFree=1917408/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=16760 CPUtime=129.96 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 3930 0 11 0 12956 40 0 0 25 0 1 0 190713216 17162240 3302 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4190 3302 297 55 0 3082 0 Current children cumulated CPU time (s) 129.96 Current children cumulated vsize (Kb) 16760 [startup+140.077 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30349 /proc/meminfo: memFree=1917408/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=16760 CPUtime=139.96 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 3930 0 11 0 13953 43 0 0 25 0 1 0 190713216 17162240 3302 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4190 3302 297 55 0 3082 0 Current children cumulated CPU time (s) 139.96 Current children cumulated vsize (Kb) 16760 [startup+150.083 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30349 /proc/meminfo: memFree=1917408/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=16892 CPUtime=149.97 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 3961 0 11 0 14950 47 0 0 25 0 1 0 190713216 17297408 3333 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4223 3333 297 55 0 3115 0 Current children cumulated CPU time (s) 149.97 Current children cumulated vsize (Kb) 16892 [startup+160.089 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30349 /proc/meminfo: memFree=1917280/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=17156 CPUtime=159.97 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 4004 0 11 0 15945 52 0 0 25 0 1 0 190713216 17567744 3376 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4289 3376 297 55 0 3181 0 Current children cumulated CPU time (s) 159.97 Current children cumulated vsize (Kb) 17156 [startup+170.095 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30349 /proc/meminfo: memFree=1917216/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=17160 CPUtime=169.97 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 4024 0 11 0 16941 56 0 0 25 0 1 0 190713216 17571840 3389 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540702 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4290 3389 297 55 0 3182 0 Current children cumulated CPU time (s) 169.97 Current children cumulated vsize (Kb) 17160 [startup+180.101 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30349 /proc/meminfo: memFree=1917216/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=17028 CPUtime=179.98 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 4024 0 11 0 17939 59 0 0 25 0 1 0 190713216 17436672 3369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4257 3369 297 55 0 3149 0 Current children cumulated CPU time (s) 179.98 Current children cumulated vsize (Kb) 17028 [startup+190.107 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30349 /proc/meminfo: memFree=1917216/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=17028 CPUtime=189.98 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 4024 0 11 0 18936 62 0 0 25 0 1 0 190713216 17436672 3369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4257 3369 297 55 0 3149 0 Current children cumulated CPU time (s) 189.98 Current children cumulated vsize (Kb) 17028 [startup+200.113 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30349 /proc/meminfo: memFree=1917216/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=17028 CPUtime=199.98 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 4024 0 11 0 19932 66 0 0 25 0 1 0 190713216 17436672 3369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548389 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4257 3369 297 55 0 3149 0 Current children cumulated CPU time (s) 199.98 Current children cumulated vsize (Kb) 17028 [startup+210.119 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30349 /proc/meminfo: memFree=1917024/2055920 swapFree=4180888/4192956 ################ # More data... # ################ /proc/30349/statm: 4537 3649 297 55 0 3429 0 Current children cumulated CPU time (s) 1760.47 Current children cumulated vsize (Kb) 18148 [startup+1771.04 s] /proc/loadavg: 1.00 0.99 0.94 2/64 30351 /proc/meminfo: memFree=1915552/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=18148 CPUtime=1770.47 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 5213 0 11 0 176459 588 0 0 25 0 1 0 190713216 18583552 3649 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4537 3649 297 55 0 3429 0 Current children cumulated CPU time (s) 1770.47 Current children cumulated vsize (Kb) 18148 [startup+1781.05 s] /proc/loadavg: 1.00 0.99 0.94 2/64 30351 /proc/meminfo: memFree=1915552/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=18148 CPUtime=1780.48 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 5213 0 11 0 177456 592 0 0 25 0 1 0 190713216 18583552 3649 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134633166 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4537 3649 297 55 0 3429 0 Current children cumulated CPU time (s) 1780.48 Current children cumulated vsize (Kb) 18148 [startup+1782.05 s] /proc/loadavg: 1.00 0.99 0.94 2/64 30351 /proc/meminfo: memFree=1915552/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=18148 CPUtime=1781.48 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 5213 0 11 0 177556 592 0 0 25 0 1 0 190713216 18583552 3649 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4537 3649 297 55 0 3429 0 Current children cumulated CPU time (s) 1781.48 Current children cumulated vsize (Kb) 18148 [startup+1783.06 s] /proc/loadavg: 1.00 0.99 0.94 2/64 30351 /proc/meminfo: memFree=1915552/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=18148 CPUtime=1782.49 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 5213 0 11 0 177656 593 0 0 25 0 1 0 190713216 18583552 3649 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4537 3649 297 55 0 3429 0 Current children cumulated CPU time (s) 1782.49 Current children cumulated vsize (Kb) 18148 [startup+1784.06 s] /proc/loadavg: 1.00 0.99 0.94 2/64 30351 /proc/meminfo: memFree=1915552/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=18148 CPUtime=1783.49 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 5213 0 11 0 177756 593 0 0 25 0 1 0 190713216 18583552 3649 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4537 3649 297 55 0 3429 0 Current children cumulated CPU time (s) 1783.49 Current children cumulated vsize (Kb) 18148 [startup+1785.07 s] /proc/loadavg: 1.00 0.99 0.94 2/64 30351 /proc/meminfo: memFree=1915552/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=18148 CPUtime=1784.5 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 5213 0 11 0 177856 594 0 0 25 0 1 0 190713216 18583552 3649 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4537 3649 297 55 0 3429 0 Current children cumulated CPU time (s) 1784.5 Current children cumulated vsize (Kb) 18148 [startup+1786.07 s] /proc/loadavg: 1.00 0.99 0.94 2/64 30351 /proc/meminfo: memFree=1915552/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=18148 CPUtime=1785.51 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 5213 0 11 0 177957 594 0 0 25 0 1 0 190713216 18583552 3649 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4537 3649 297 55 0 3429 0 Current children cumulated CPU time (s) 1785.51 Current children cumulated vsize (Kb) 18148 [startup+1787.08 s] /proc/loadavg: 1.00 0.99 0.94 2/64 30351 /proc/meminfo: memFree=1915552/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=18148 CPUtime=1786.51 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 5213 0 11 0 178057 594 0 0 25 0 1 0 190713216 18583552 3649 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603830 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4537 3649 297 55 0 3429 0 Current children cumulated CPU time (s) 1786.51 Current children cumulated vsize (Kb) 18148 [startup+1788.08 s] /proc/loadavg: 1.00 0.99 0.94 2/64 30351 /proc/meminfo: memFree=1915552/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=18148 CPUtime=1787.52 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 5213 0 11 0 178157 595 0 0 25 0 1 0 190713216 18583552 3649 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4537 3649 297 55 0 3429 0 Current children cumulated CPU time (s) 1787.52 Current children cumulated vsize (Kb) 18148 [startup+1789.09 s] /proc/loadavg: 1.00 0.99 0.94 2/64 30351 /proc/meminfo: memFree=1915552/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=18148 CPUtime=1788.51 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 5213 0 11 0 178256 595 0 0 25 0 1 0 190713216 18583552 3649 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4537 3649 297 55 0 3429 0 Current children cumulated CPU time (s) 1788.51 Current children cumulated vsize (Kb) 18148 [startup+1790.09 s] /proc/loadavg: 1.00 0.99 0.94 2/64 30351 /proc/meminfo: memFree=1915552/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=18148 CPUtime=1789.52 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 5213 0 11 0 178356 596 0 0 25 0 1 0 190713216 18583552 3649 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4537 3649 297 55 0 3429 0 Current children cumulated CPU time (s) 1789.52 Current children cumulated vsize (Kb) 18148 [startup+1791.1 s] /proc/loadavg: 1.00 0.99 0.94 2/64 30351 /proc/meminfo: memFree=1915552/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=18148 CPUtime=1790.52 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 5213 0 11 0 178456 596 0 0 25 0 1 0 190713216 18583552 3649 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4537 3649 297 55 0 3429 0 Current children cumulated CPU time (s) 1790.52 Current children cumulated vsize (Kb) 18148 [startup+1792.1 s] /proc/loadavg: 1.00 0.99 0.94 2/64 30351 /proc/meminfo: memFree=1915552/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=18148 CPUtime=1791.54 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 5213 0 11 0 178557 597 0 0 25 0 1 0 190713216 18583552 3649 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4537 3649 297 55 0 3429 0 Current children cumulated CPU time (s) 1791.54 Current children cumulated vsize (Kb) 18148 [startup+1793.11 s] /proc/loadavg: 1.00 0.99 0.94 2/64 30351 /proc/meminfo: memFree=1915552/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=18148 CPUtime=1792.54 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 5213 0 11 0 178657 597 0 0 25 0 1 0 190713216 18583552 3649 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4537 3649 297 55 0 3429 0 Current children cumulated CPU time (s) 1792.54 Current children cumulated vsize (Kb) 18148 [startup+1794.11 s] /proc/loadavg: 1.00 0.99 0.94 2/64 30351 /proc/meminfo: memFree=1915552/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=18148 CPUtime=1793.54 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 5213 0 11 0 178757 597 0 0 25 0 1 0 190713216 18583552 3649 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4537 3649 297 55 0 3429 0 Current children cumulated CPU time (s) 1793.54 Current children cumulated vsize (Kb) 18148 [startup+1795.12 s] /proc/loadavg: 1.00 0.99 0.94 2/64 30351 /proc/meminfo: memFree=1915552/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=18148 CPUtime=1794.54 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 5213 0 11 0 178857 597 0 0 25 0 1 0 190713216 18583552 3649 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4537 3649 297 55 0 3429 0 Current children cumulated CPU time (s) 1794.54 Current children cumulated vsize (Kb) 18148 [startup+1796.12 s] /proc/loadavg: 1.00 0.99 0.94 2/64 30351 /proc/meminfo: memFree=1915552/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=18148 CPUtime=1795.55 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 5213 0 11 0 178957 598 0 0 25 0 1 0 190713216 18583552 3649 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4537 3649 297 55 0 3429 0 Current children cumulated CPU time (s) 1795.55 Current children cumulated vsize (Kb) 18148 [startup+1797.13 s] /proc/loadavg: 1.00 0.99 0.94 2/64 30351 /proc/meminfo: memFree=1915552/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=18148 CPUtime=1796.55 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 5213 0 11 0 179057 598 0 0 25 0 1 0 190713216 18583552 3649 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4537 3649 297 55 0 3429 0 Current children cumulated CPU time (s) 1796.55 Current children cumulated vsize (Kb) 18148 [startup+1798.13 s] /proc/loadavg: 1.00 0.99 0.94 2/64 30351 /proc/meminfo: memFree=1915552/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=18148 CPUtime=1797.55 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 5213 0 11 0 179157 598 0 0 25 0 1 0 190713216 18583552 3649 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4537 3649 297 55 0 3429 0 Current children cumulated CPU time (s) 1797.55 Current children cumulated vsize (Kb) 18148 [startup+1799.14 s] /proc/loadavg: 1.00 0.99 0.94 2/64 30351 /proc/meminfo: memFree=1915552/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=18148 CPUtime=1798.57 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 5213 0 11 0 179258 599 0 0 25 0 1 0 190713216 18583552 3649 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4537 3649 297 55 0 3429 0 Current children cumulated CPU time (s) 1798.57 Current children cumulated vsize (Kb) 18148 [startup+1800.14 s] /proc/loadavg: 1.00 0.99 0.94 2/64 30351 /proc/meminfo: memFree=1915552/2055920 swapFree=4180888/4192956 [pid=30349] ppid=30347 vsize=18148 CPUtime=1799.57 /proc/30349/stat : 30349 (bsolo) R 30347 30349 30303 0 -1 0 5213 0 11 0 179358 599 0 0 25 0 1 0 190713216 18583552 3649 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30349/statm: 4537 3649 297 55 0 3429 0 Current children cumulated CPU time (s) 1799.57 Current children cumulated vsize (Kb) 18148 Child status: 0 Real time (s): 1800.57 CPU time (s): 1800.01 CPU user time (s): 1794.01 CPU system time (s): 5.99909 CPU usage (%): 99.9685 Max. virtual memory (cumulated for all children) (Kb): 18584
Begin job on node18 on Fri Jun 2 12:15:03 UTC 2006 FILE ID= 39804-1149250503 PBS_JOBID= 298057 BENCH NAME= ROOT/tmp/node18/39804-1149250503/instance-39804-1149250503.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node18/39804-1149250503/instance-39804-1149250503.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-39804-1149250503 -o ROOT/results/node18/solver-39804-1149250503 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node18/39804-1149250503/instance-39804-1149250503.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= ea0578ce3fa6d7f101be81096fa267e7 RANDOM SEED= 452080524 /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 : 5931.00 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: 1932184 kB Buffers: 3452 kB Cached: 55288 kB SwapCached: 3684 kB Active: 36016 kB Inactive: 31416 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1932184 kB SwapTotal: 4192956 kB SwapFree: 4180888 kB Dirty: 192 kB Writeback: 0 kB Mapped: 14680 kB Slab: 42408 kB Committed_AS: 260488 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 node18 on Fri Jun 2 12:45:03 UTC 2006