Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | -40 | 1800.1 | 1800.87 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-noswot.opb |
MD5SUM | bea15b769c4cc5d5ccef31ae4b368d84 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -41 |
Best CPU time to get the best result obtained on this benchmark | 67.2938 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -41 |
Optimality of the best value was proved | YES |
Number of variables | 1340 |
Total number of constraints | 207 |
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 | 207 |
Minimum length of a constraint | 17 |
Maximum length of a constraint | 425 |
Number of terms in the objective function | 425 |
Biggest coefficient in the objective function | 65536 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 3276775 |
Number of bits of the sum of numbers in the objective function | 22 |
Biggest number in a constraint | 41943040000000 |
Number of bits of the biggest number in a constraint | 46 |
Biggest sum of numbers in a constraint | 204183950227182 |
Number of bits of the biggest sum of numbers | 48 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.02 c BIG Int formula... 0.07 c Initial problem consists of 1340 variables and 209 constraints. 0.07 c No problem reductions applied in OPT. instance. 0.07 c preprocess terminated. Elapsed time: 0.065 0.07 c After prepocess the problem consists of 548 variables and 184 constraints. 0.07 c Initial Lower Bound: -137 0.07 c Sol. found (all assignments made)... 0.07 o -6 0.07 c NEW SOLUTION FOUND: -6 @ 0.067 0.07 c Sol. found (all assignments made)... 0.07 o -8 0.07 c NEW SOLUTION FOUND: -8 @ 0.068 0.08 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Restart #1 #Var: 548 LB: -137 @ 0.107 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 o -9 0.16 c NEW SOLUTION FOUND: -9 @ 0.15 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 o -10 0.16 c NEW SOLUTION FOUND: -10 @ 0.156 0.16 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 o -11 0.17 c NEW SOLUTION FOUND: -11 @ 0.158 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.24 c Sol. found (all assignments made)... 0.24 c Sol. found (all assignments made)... 0.25 c Restart #2 #Var: 547 LB: -137 @ 0.247 0.26 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.38 c Restart #3 #Var: 547 LB: -137 @ 0.367 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.53 c Restart #4 #Var: 547 LB: -137 @ 0.522 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.60 c Sol. found (all assignments made)... 0.62 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.74 c Restart #5 #Var: 547 LB: -137 @ 0.734 0.76 c Sol. found (all assignments made)... 0.76 c Sol. found (all assignments made)... 0.76 c Sol. found (all assignments made)... 0.77 c Sol. found (all assignments made)... 0.77 c Sol. found (all assignments made)... 0.77 c Sol. found (all assignments made)... 0.77 c Sol. found (all assignments made)... 0.78 c Sol. found (all assignments made)... 0.78 c Sol. found (all assignments made)... 0.82 c Sol. found (all assignments made)... 0.82 c Sol. found (all assignments made)... 0.82 c Sol. found (all assignments made)... 0.82 c Sol. found (all assignments made)... 0.83 c Sol. found (all assignments made)... 0.86 c Sol. found (all assignments made)... 0.86 c Sol. found (all assignments made)... 0.86 c Sol. found (all assignments made)... 0.86 c Sol. found (all assignments made)... 0.86 c Sol. found (all assignments made)... 0.91 c Sol. found (all assignments made)... 0.91 c Sol. found (all assignments made)... 0.91 c Sol. found (all assignments made)... 0.91 c Sol. found (all assignments made)... 0.91 c Sol. found (all assignments made)... 0.97 c Sol. found (all assignments made)... 0.97 c Sol. found (all assignments made)... 0.97 c Sol. found (all assignments made)... 0.97 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.99 c CHANGE to MIS mode... UB: -11 MIS: -96 LPR: -2147483648 (0) Diff: 4.4703e-08 0.99 c Restart #0 #Var: 547 LB: -137 @ 0.974 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.04 c Restart #1 #Var: 547 LB: -96 @ 1.023 1.07 c Sol. found (all assignments made)... 1.07 c Sol. found (all assignments made)... 1.13 c Restart #2 #Var: 547 LB: -96 @ 1.122 1.15 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.18 c Sol. found (all assignments made)... 1.18 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.24 c Sol. found (all assignments made)... 1.24 c Sol. found (all assignments made)... 1.27 c Restart #3 #Var: 547 LB: -96 @ 1.259 1.32 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.46 c Restart #4 #Var: 547 LB: -96 @ 1.444 1.48 c Sol. found (all assignments made)... 1.49 c Sol. found (all assignments made)... 1.49 c Sol. found (all assignments made)... 1.51 c Sol. found (all assignments made)... 1.51 c Sol. found (all assignments made)... 1.53 c Sol. found (all assignments made)... 1.53 c Sol. found (all assignments made)... 1.63 c Sol. found (all assignments made)... 1.63 o -12 1.63 c NEW SOLUTION FOUND: -12 @ 1.622 1.64 c Sol. found (all assignments made)... 1.64 o -13 1.64 c NEW SOLUTION FOUND: -13 @ 1.629 1.86 c Restart #5 #Var: 547 LB: -96 @ 1.847 1.99 c Restart #6 #Var: 547 LB: -96 @ 1.979 2.17 c Restart #7 #Var: 547 LB: -96 @ 2.153 2.41 c Restart #8 #Var: 547 LB: -96 @ 2.393 2.70 c Restart #9 #Var: 547 LB: -96 @ 2.679 2.70 c Sol. found (all assignments made)... 2.70 o -19 2.70 c NEW SOLUTION FOUND: -19 @ 2.686 2.70 c Sol. found (all assignments made)... 2.70 o -28 2.70 c NEW SOLUTION FOUND: -28 @ 2.687 2.70 c Sol. found (all assignments made)... 2.70 o -29 2.70 c NEW SOLUTION FOUND: -29 @ 2.687 2.70 c Sol. found (all assignments made)... 2.70 o -31 2.70 c NEW SOLUTION FOUND: -31 @ 2.688 2.71 c Sol. found (all assignments made)... 2.71 o -32 2.71 c NEW SOLUTION FOUND: -32 @ 2.697 2.72 c Sol. found (all assignments made)... 2.72 o -33 2.72 c NEW SOLUTION FOUND: -33 @ 2.7 2.92 c Sol. found (all assignments made)... 2.92 o -34 2.92 c NEW SOLUTION FOUND: -34 @ 2.903 3.38 c Sol. found (all assignments made)... 3.38 o -35 3.38 c NEW SOLUTION FOUND: -35 @ 3.368 3.97 c Restart #10 #Var: 547 LB: -96 @ 3.951 4.09 c Restart #11 #Var: 485 LB: -96 @ 4.077 4.23 c Restart #12 #Var: 485 LB: -96 @ 4.211 4.83 c Restart #13 #Var: 485 LB: -96 @ 4.818 5.00 c Restart #14 #Var: 484 LB: -96 @ 4.98 5.33 c Restart #15 #Var: 484 LB: -96 @ 5.313 5.51 c Restart #16 #Var: 484 LB: -96 @ 5.495 6.46 c Restart #17 #Var: 484 LB: -96 @ 6.44 6.70 c Restart #18 #Var: 484 LB: -96 @ 6.682 7.19 c Restart #19 #Var: 484 LB: -96 @ 7.176 7.82 c Restart #20 #Var: 484 LB: -96 @ 7.806 9.28 c Restart #21 #Var: 484 LB: -96 @ 9.262 10.45 c Restart #22 #Var: 484 LB: -96 @ 10.429 10.81 c Restart #23 #Var: 484 LB: -96 @ 10.794 11.19 c Restart #24 #Var: 484 LB: -96 @ 11.173 11.88 c Restart #25 #Var: 484 LB: -96 @ 11.864 12.48 c Restart #26 #Var: 484 LB: -96 @ 12.46 13.80 c Restart #27 #Var: 484 LB: -96 @ 13.782 14.35 c Restart #28 #Var: 484 LB: -96 @ 14.329 17.27 c Restart #29 #Var: 484 LB: -96 @ 17.251 19.79 c Restart #30 #Var: 484 LB: -96 @ 19.766 20.23 c Restart #31 #Var: 484 LB: -96 @ 20.205 23.32 c Restart #32 #Var: 484 LB: -96 @ 23.294 24.90 c Restart #33 #Var: 484 LB: -96 @ 24.874 26.34 c Restart #34 #Var: 484 LB: -96 @ 26.315 30.91 c Restart #35 #Var: 484 LB: -96 @ 30.888 36.14 c Restart #36 #Var: 484 LB: -96 @ 36.108 37.14 c Restart #37 #Var: 484 LB: -96 @ 37.11 42.75 c Restart #38 #Var: 484 LB: -96 @ 42.715 42.87 c Sol. found (all assignments made)... 42.87 o -36 42.87 c NEW SOLUTION FOUND: -36 @ 42.835 42.87 c Sol. found (all assignments made)... 42.87 o -37 42.87 c NEW SOLUTION FOUND: -37 @ 42.842 42.90 c Sol. found (all assignments made)... 42.90 o -38 42.90 c NEW SOLUTION FOUND: -38 @ 42.872 44.51 c Sol. found (all assignments made)... 44.51 o -39 44.51 c NEW SOLUTION FOUND: -39 @ 44.479 47.46 c Restart #39 #Var: 484 LB: -96 @ 47.424 53.38 c Restart #40 #Var: 484 LB: -96 @ 53.343 68.53 c Restart #41 #Var: 484 LB: -96 @ 68.492 71.33 c Restart #42 #Var: 484 LB: -96 @ 71.288 75.06 c Restart #43 #Var: 484 LB: -96 @ 75.019 83.38 c Restart #44 #Var: 484 LB: -96 @ 83.334 96.63 c Restart #45 #Var: 484 LB: -96 @ 96.575 99.19 c Restart #46 #Var: 484 LB: -96 @ 99.143 111.86 c Restart #47 #Var: 484 LB: -96 @ 111.81 117.38 c Restart #48 #Var: 484 LB: -96 @ 117.32 121.71 c Restart #49 #Var: 484 LB: -96 @ 121.65 137.79 c Restart #50 #Var: 484 LB: -96 @ 137.73 162.99 c Restart #51 #Var: 484 LB: -96 @ 162.91 166.45 c Restart #52 #Var: 484 LB: -96 @ 166.38 176.50 c Restart #53 #Var: 483 LB: -96 @ 176.42 186.15 c Restart #54 #Var: 482 LB: -96 @ 186.06 196.55 c Restart #55 #Var: 482 LB: -96 @ 196.46 198.29 c Restart #56 #Var: 482 LB: -96 @ 198.2 224.58 c Restart #57 #Var: 482 LB: -96 @ 224.48 230.59 c Restart #58 #Var: 482 LB: -96 @ 230.49 252.08 c Restart #59 #Var: 481 LB: -96 @ 251.97 279.17 c Restart #60 #Var: 481 LB: -96 @ 279.01 286.53 c Restart #61 #Var: 481 LB: -96 @ 286.33 352.45 c Restart #62 #Var: 481 LB: -96 @ 352.22 356.06 c Restart #63 #Var: 481 LB: -96 @ 355.83 389.29 c Restart #64 #Var: 481 LB: -96 @ 389.05 412.57 c Restart #65 #Var: 481 LB: -96 @ 412.32 458.07 c Restart #66 #Var: 481 LB: -96 @ 457.8 463.14 c Restart #67 #Var: 481 LB: -96 @ 462.87 506.66 c Restart #68 #Var: 481 LB: -96 @ 506.37 511.55 c Restart #69 #Var: 481 LB: -96 @ 511.26 577.46 c Restart #70 #Var: 481 LB: -96 @ 577.14 607.36 c Restart #71 #Var: 481 LB: -96 @ 607.03 622.55 c Restart #72 #Var: 481 LB: -96 @ 622.22 653.80 c Restart #73 #Var: 481 LB: -96 @ 653.46 676.85 c Restart #74 #Var: 481 LB: -96 @ 676.5 723.30 c Restart #75 #Var: 481 LB: -96 @ 722.93 765.41 c Restart #76 #Var: 481 LB: -96 @ 765.02 803.14 c Restart #77 #Var: 481 LB: -96 @ 802.74 837.08 c Restart #78 #Var: 481 LB: -96 @ 836.67 871.01 c Restart #79 #Var: 481 LB: -96 @ 870.59 913.77 c Restart #80 #Var: 481 LB: -96 @ 913.33 958.52 c Restart #81 #Var: 481 LB: -96 @ 958.06 968.33 c Restart #82 #Var: 481 LB: -96 @ 967.87 996.34 c Restart #83 #Var: 481 LB: -96 @ 995.87 1010.98 c Restart #84 #Var: 481 LB: -96 @ 1010.5 1107.55 c Restart #85 #Var: 481 LB: -96 @ 1107 1195.73 c Restart #86 #Var: 481 LB: -96 @ 1195.2 1271.20 c Restart #87 #Var: 481 LB: -96 @ 1270.6 1354.38 c Restart #88 #Var: 481 LB: -96 @ 1353.8 1477.80 c Restart #89 #Var: 481 LB: -96 @ 1477.1 1519.11 c Sol. found (all assignments made)... 1519.11 o -40 1519.11 c NEW SOLUTION FOUND: -40 @ 1518.4 1591.81 c Restart #90 #Var: 481 LB: -96 @ 1591.1 1732.38 c Restart #91 #Var: 481 LB: -96 @ 1731.6 1767.28 c Restart #92 #Var: 481 LB: -96 @ 1766.5 1800.78 s SATISFIABLE 1800.78 c Cost: -40 1800.78 v -x905 -x906 x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 x923 -x924 -x925 x926 1800.78 v -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x941 -x942 -x943 x944 -x945 -x946 -x947 -x948 1800.78 v -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x959 -x960 x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 1800.78 v -x971 -x972 -x973 -x974 -x975 x978 x979 x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 1800.78 v -x994 -x996 x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 1800.78 v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 1800.78 v -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 1800.78 v x1050 x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1069 1800.78 v -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1087 1800.78 v -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1105 1800.78 v -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1123 1800.78 v -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1141 1800.78 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1160 1800.78 v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1178 1800.78 v -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1196 1800.78 v -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 x1214 1800.78 v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1232 1800.78 v -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1251 1800.78 v -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1269 1800.78 v x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1287 1800.78 v -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1305 1800.78 v -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1323 1800.78 v -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x3 -x4 1800.78 v -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x922 -x885 x1049 x260 x261 x262 -x263 x264 -x265 -x266 -x267 1800.78 v -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 1800.78 v -x289 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 1800.78 v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x886 -x1340 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 1800.78 v -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 1800.78 v -x320 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 1800.78 v -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x1067 -x1086 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 1800.78 v -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 1800.78 v -x350 -x1104 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 1800.78 v -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x1122 -x381 -x382 -x383 -x384 -x385 -x386 -x387 1800.78 v -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 1800.78 v -x409 -x410 -x1140 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 1800.78 v -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x1158 -x441 -x442 -x443 -x444 -x445 -x446 1800.78 v -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 1800.78 v -x468 -x469 -x470 x940 -x887 -x1177 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 1800.78 v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 x888 -x1195 -x501 -x502 -x503 -x504 1800.78 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1800.78 v -x526 -x527 -x528 -x529 -x530 x889 x1213 x531 x532 x533 x534 x535 x536 x537 x538 x539 x540 -x541 -x542 -x543 -x544 x545 -x546 1800.78 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x890 -x1231 -x561 -x562 -x563 -x564 1800.78 v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 1800.78 v -x586 -x587 -x588 -x589 -x590 x892 -x1249 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 1800.78 v -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x958 x893 x1268 x622 x623 1800.78 v x624 x625 -x626 -x627 x628 -x629 x630 x631 -x632 x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 1800.78 v -x646 -x647 -x648 -x649 -x650 -x651 -x894 -x1286 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 1800.78 v -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 x895 -x1304 -x682 1800.78 v -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 1800.78 v -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x896 -x1322 -x897 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 1800.78 v -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 1800.78 v -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 1800.78 v -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 x976 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 1800.78 v -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 x898 -x899 1800.78 v -x900 -x901 x903 -x1 x995 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 x30 x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 1800.78 v -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x170 x171 x172 x173 x174 x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 1800.78 v -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x904 -x869 -x1013 x50 -x51 -x52 -x53 -x54 1800.78 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x200 1800.78 v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 1800.78 v -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x880 -x1031 x80 x81 x82 x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 1800.78 v -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x230 -x231 -x232 -x233 -x234 -x235 1800.78 v -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 1800.78 v -x257 -x258 -x259 -x891 x110 x111 x112 x113 x114 x115 x116 -x117 -x118 x119 x120 x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 1800.78 v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x902 -x140 -x141 -x142 -x143 x144 -x145 -x146 x147 x148 1800.78 v -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 1800.78 v -x977 -x1068 -x1159 -x1250 -x2 -x290 -x591 x862 -x863 -x864 -x865 -x866 -x867 -x868 -x870 -x871 x872 -x873 -x874 x875 -x876 1800.78 v -x877 x878 -x879 x881 x882 x883 x884 1800.78 c Exit Code: 10 1800.78 c Total time: 1800 s
OK -40
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/node6/watcher-40781-1149317797 -o ROOT/results/node6/solver-40781-1149317797 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node6/40781-1149317797/instance-40781-1149317797.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.97 1.01 1.00 3/64 14288 /proc/meminfo: memFree=1368552/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=4748 CPUtime=0 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 231 0 0 0 0 0 0 0 19 0 1 0 197441835 4861952 201 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2609856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 1187 212 153 55 0 79 0 [startup+10.0028 s] /proc/loadavg: 0.97 1.01 1.00 2/64 14288 /proc/meminfo: memFree=1326184/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=46956 CPUtime=9.98 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 11002 0 0 0 987 11 0 0 25 0 1 0 197441835 48082944 10917 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 11739 10917 298 55 0 10631 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 46956 [startup+20.0098 s] /proc/loadavg: 0.98 1.01 1.00 2/64 14288 /proc/meminfo: memFree=1278760/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=94416 CPUtime=19.98 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 22905 0 0 0 1981 17 0 0 25 0 1 0 197441835 96681984 22777 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2623099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 23604 22777 298 55 0 22496 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 94416 [startup+30.0157 s] /proc/loadavg: 0.98 1.00 1.00 2/64 14288 /proc/meminfo: memFree=1250088/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=122972 CPUtime=29.98 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 30048 0 0 0 2976 22 0 0 25 0 1 0 197441835 125923328 29920 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550876 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 30743 29920 298 55 0 29635 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 122972 [startup+40.0217 s] /proc/loadavg: 0.98 1.00 1.00 2/64 14288 /proc/meminfo: memFree=1234280/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=138816 CPUtime=39.98 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 34145 0 0 0 3972 26 0 0 25 0 1 0 197441835 142147584 33881 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2629412 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 34704 33881 298 55 0 33596 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 138816 [startup+50.0277 s] /proc/loadavg: 0.98 1.00 1.00 2/64 14288 /proc/meminfo: memFree=1223016/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=150048 CPUtime=49.98 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 36949 0 0 0 4969 29 0 0 25 0 1 0 197441835 153649152 36680 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 37512 36680 298 55 0 36404 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 150048 [startup+60.0337 s] /proc/loadavg: 0.99 1.00 1.00 2/64 14288 /proc/meminfo: memFree=1216488/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=156652 CPUtime=59.99 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 38601 0 0 0 5968 31 0 0 25 0 1 0 197441835 160411648 38332 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 39163 38332 298 55 0 38055 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 156652 [startup+70.0397 s] /proc/loadavg: 0.99 1.00 1.00 2/64 14288 /proc/meminfo: memFree=1211240/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=161932 CPUtime=69.99 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 39912 0 0 0 6967 32 0 0 25 0 1 0 197441835 165818368 39643 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2623099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 40483 39643 298 55 0 39375 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 161932 [startup+80.0456 s] /proc/loadavg: 0.99 1.00 1.00 2/64 14288 /proc/meminfo: memFree=1195048/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=178116 CPUtime=79.99 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 43952 0 0 0 7964 35 0 0 25 0 1 0 197441835 182390784 43681 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2618677 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 44529 43681 298 55 0 43421 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 178116 [startup+90.0516 s] /proc/loadavg: 0.99 1.00 1.00 2/64 14288 /proc/meminfo: memFree=1180456/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=192772 CPUtime=89.99 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 47599 0 0 0 8961 38 0 0 25 0 1 0 197441835 197398528 47326 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 48193 47326 298 55 0 47085 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 192772 [startup+100.058 s] /proc/loadavg: 0.99 1.00 1.00 2/64 14288 /proc/meminfo: memFree=1168232/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=204948 CPUtime=100 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 50634 0 0 0 9959 41 0 0 25 0 1 0 197441835 209866752 50361 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 51237 50361 298 55 0 50129 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 204948 [startup+110.064 s] /proc/loadavg: 0.99 1.00 1.00 2/64 14288 /proc/meminfo: memFree=1166376/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=206768 CPUtime=110 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 51109 0 0 0 10958 42 0 0 25 0 1 0 197441835 211730432 50836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 51692 50836 298 55 0 50584 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 206768 [startup+120.07 s] /proc/loadavg: 0.99 1.00 1.00 2/64 14288 /proc/meminfo: memFree=1155816/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=217388 CPUtime=120 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 53739 0 0 0 11956 44 0 0 25 0 1 0 197441835 222605312 53466 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542241 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 54347 53466 298 55 0 53239 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 217388 [startup+130.076 s] /proc/loadavg: 0.99 1.00 1.00 2/64 14288 /proc/meminfo: memFree=1147304/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=225872 CPUtime=130 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 55862 0 0 0 12954 46 0 0 25 0 1 0 197441835 231292928 55589 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 56468 55589 298 55 0 55360 0 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 225872 [startup+140.082 s] /proc/loadavg: 0.99 1.00 1.00 2/64 14288 /proc/meminfo: memFree=1143912/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=229296 CPUtime=140 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 56705 0 0 0 13953 47 0 0 25 0 1 0 197441835 234799104 56432 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 57324 56432 298 55 0 56216 0 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 229296 [startup+150.088 s] /proc/loadavg: 0.99 1.00 1.00 2/64 14288 /proc/meminfo: memFree=1143656/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=229428 CPUtime=150.01 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 56759 0 0 0 14953 48 0 0 25 0 1 0 197441835 234934272 56486 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 57357 56486 298 55 0 56249 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 229428 [startup+160.093 s] /proc/loadavg: 0.99 1.00 1.00 2/64 14288 /proc/meminfo: memFree=1143400/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=229824 CPUtime=160.01 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 56836 0 0 0 15953 48 0 0 25 0 1 0 197441835 235339776 56563 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 57456 56563 298 55 0 56348 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 229824 [startup+170.099 s] /proc/loadavg: 0.99 1.00 1.00 2/64 14288 /proc/meminfo: memFree=1130600/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=242496 CPUtime=170.01 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 60020 0 0 0 16950 51 0 0 25 0 1 0 197441835 248315904 59747 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 60624 59747 298 55 0 59516 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 242496 [startup+180.105 s] /proc/loadavg: 0.99 1.00 1.00 2/64 14288 /proc/meminfo: memFree=1118568/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=254488 CPUtime=180.02 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 63274 0 0 0 17948 54 0 0 25 0 1 0 197441835 260595712 62749 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 63622 62749 298 55 0 62514 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 254488 [startup+190.111 s] /proc/loadavg: 0.99 1.00 1.00 2/64 14288 /proc/meminfo: memFree=1115368/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=257796 CPUtime=190.02 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 64082 0 0 0 18947 55 0 0 25 0 1 0 197441835 263983104 63553 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607354 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 64449 63553 298 55 0 63341 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 257796 [startup+200.117 s] /proc/loadavg: 0.99 1.00 1.00 2/64 14288 /proc/meminfo: memFree=1094696/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=278376 CPUtime=200.02 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 69235 0 0 0 19943 59 0 0 25 0 1 0 197441835 285057024 68706 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 69594 68706 298 55 0 68486 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 278376 [startup+210.123 s] /proc/loadavg: 0.99 1.00 1.00 2/64 14288 /proc/meminfo: memFree=1094440/2055924 swapFree=4181416/4192956 ################ # More data... # ################ /proc/14288/statm: 141420 140243 298 55 0 140312 0 Current children cumulated CPU time (s) 1760.36 Current children cumulated vsize (Kb) 565680 [startup+1771.13 s] /proc/loadavg: 1.06 1.02 1.00 2/64 14483 /proc/meminfo: memFree=806504/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=566884 CPUtime=1770.36 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 141846 0 0 0 176869 167 0 0 25 0 1 0 197441835 580489216 140535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 141721 140535 298 55 0 140613 0 Current children cumulated CPU time (s) 1770.36 Current children cumulated vsize (Kb) 566884 [startup+1781.14 s] /proc/loadavg: 1.05 1.01 1.00 2/64 14483 /proc/meminfo: memFree=806504/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=566884 CPUtime=1780.37 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 141846 0 0 0 177869 168 0 0 25 0 1 0 197441835 580489216 140535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548439 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 141721 140535 298 55 0 140613 0 Current children cumulated CPU time (s) 1780.37 Current children cumulated vsize (Kb) 566884 [startup+1782.14 s] /proc/loadavg: 1.05 1.01 1.00 2/64 14483 /proc/meminfo: memFree=806504/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=566884 CPUtime=1781.37 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 141846 0 0 0 177969 168 0 0 25 0 1 0 197441835 580489216 140535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 141721 140535 298 55 0 140613 0 Current children cumulated CPU time (s) 1781.37 Current children cumulated vsize (Kb) 566884 [startup+1783.15 s] /proc/loadavg: 1.05 1.01 1.00 2/64 14483 /proc/meminfo: memFree=806504/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=566884 CPUtime=1782.38 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 141846 0 0 0 178070 168 0 0 25 0 1 0 197441835 580489216 140535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 141721 140535 298 55 0 140613 0 Current children cumulated CPU time (s) 1782.38 Current children cumulated vsize (Kb) 566884 [startup+1784.15 s] /proc/loadavg: 1.05 1.01 1.00 2/64 14483 /proc/meminfo: memFree=806504/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=566884 CPUtime=1783.38 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 141846 0 0 0 178170 168 0 0 25 0 1 0 197441835 580489216 140535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 141721 140535 298 55 0 140613 0 Current children cumulated CPU time (s) 1783.38 Current children cumulated vsize (Kb) 566884 [startup+1785.16 s] /proc/loadavg: 1.05 1.01 1.00 2/64 14483 /proc/meminfo: memFree=806504/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=566884 CPUtime=1784.38 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 141846 0 0 0 178270 168 0 0 25 0 1 0 197441835 580489216 140535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 141721 140535 298 55 0 140613 0 Current children cumulated CPU time (s) 1784.38 Current children cumulated vsize (Kb) 566884 [startup+1786.16 s] /proc/loadavg: 1.05 1.01 1.00 2/64 14483 /proc/meminfo: memFree=806504/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=566884 CPUtime=1785.39 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 141846 0 0 0 178371 168 0 0 25 0 1 0 197441835 580489216 140535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 141721 140535 298 55 0 140613 0 Current children cumulated CPU time (s) 1785.39 Current children cumulated vsize (Kb) 566884 [startup+1787.17 s] /proc/loadavg: 1.05 1.01 1.00 2/64 14483 /proc/meminfo: memFree=806504/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=566884 CPUtime=1786.39 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 141846 0 0 0 178471 168 0 0 25 0 1 0 197441835 580489216 140535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 141721 140535 298 55 0 140613 0 Current children cumulated CPU time (s) 1786.39 Current children cumulated vsize (Kb) 566884 [startup+1788.17 s] /proc/loadavg: 1.04 1.01 1.00 2/64 14483 /proc/meminfo: memFree=806504/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=566884 CPUtime=1787.4 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 141846 0 0 0 178572 168 0 0 25 0 1 0 197441835 580489216 140535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 141721 140535 298 55 0 140613 0 Current children cumulated CPU time (s) 1787.4 Current children cumulated vsize (Kb) 566884 [startup+1789.18 s] /proc/loadavg: 1.04 1.01 1.00 2/64 14483 /proc/meminfo: memFree=806504/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=566884 CPUtime=1788.4 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 141846 0 0 0 178672 168 0 0 25 0 1 0 197441835 580489216 140535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 141721 140535 298 55 0 140613 0 Current children cumulated CPU time (s) 1788.4 Current children cumulated vsize (Kb) 566884 [startup+1790.18 s] /proc/loadavg: 1.04 1.01 1.00 2/64 14483 /proc/meminfo: memFree=806504/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=566884 CPUtime=1789.41 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 141846 0 0 0 178773 168 0 0 25 0 1 0 197441835 580489216 140535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 141721 140535 298 55 0 140613 0 Current children cumulated CPU time (s) 1789.41 Current children cumulated vsize (Kb) 566884 [startup+1791.19 s] /proc/loadavg: 1.04 1.01 1.00 2/64 14483 /proc/meminfo: memFree=806504/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=566884 CPUtime=1790.41 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 141846 0 0 0 178873 168 0 0 25 0 1 0 197441835 580489216 140535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 141721 140535 298 55 0 140613 0 Current children cumulated CPU time (s) 1790.41 Current children cumulated vsize (Kb) 566884 [startup+1792.19 s] /proc/loadavg: 1.04 1.01 1.00 2/64 14483 /proc/meminfo: memFree=806504/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=566884 CPUtime=1791.41 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 141846 0 0 0 178973 168 0 0 25 0 1 0 197441835 580489216 140535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 141721 140535 298 55 0 140613 0 Current children cumulated CPU time (s) 1791.41 Current children cumulated vsize (Kb) 566884 [startup+1793.2 s] /proc/loadavg: 1.04 1.01 1.00 2/64 14483 /proc/meminfo: memFree=806504/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=566884 CPUtime=1792.42 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 141846 0 0 0 179074 168 0 0 25 0 1 0 197441835 580489216 140535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551574 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 141721 140535 298 55 0 140613 0 Current children cumulated CPU time (s) 1792.42 Current children cumulated vsize (Kb) 566884 [startup+1794.2 s] /proc/loadavg: 1.04 1.01 1.00 2/64 14483 /proc/meminfo: memFree=806504/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=566884 CPUtime=1793.42 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 141846 0 0 0 179174 168 0 0 25 0 1 0 197441835 580489216 140535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 141721 140535 298 55 0 140613 0 Current children cumulated CPU time (s) 1793.42 Current children cumulated vsize (Kb) 566884 [startup+1795.21 s] /proc/loadavg: 1.04 1.01 1.00 2/64 14483 /proc/meminfo: memFree=806504/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=566884 CPUtime=1794.43 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 141846 0 0 0 179275 168 0 0 25 0 1 0 197441835 580489216 140535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 141721 140535 298 55 0 140613 0 Current children cumulated CPU time (s) 1794.43 Current children cumulated vsize (Kb) 566884 [startup+1796.21 s] /proc/loadavg: 1.04 1.01 1.00 2/64 14483 /proc/meminfo: memFree=806504/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=566884 CPUtime=1795.43 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 141846 0 0 0 179375 168 0 0 25 0 1 0 197441835 580489216 140535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 141721 140535 298 55 0 140613 0 Current children cumulated CPU time (s) 1795.43 Current children cumulated vsize (Kb) 566884 [startup+1797.22 s] /proc/loadavg: 1.04 1.01 1.00 2/64 14483 /proc/meminfo: memFree=806504/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=566884 CPUtime=1796.44 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 141846 0 0 0 179476 168 0 0 25 0 1 0 197441835 580489216 140535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 141721 140535 298 55 0 140613 0 Current children cumulated CPU time (s) 1796.44 Current children cumulated vsize (Kb) 566884 [startup+1798.22 s] /proc/loadavg: 1.04 1.01 1.00 2/64 14483 /proc/meminfo: memFree=806504/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=566884 CPUtime=1797.44 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 141846 0 0 0 179576 168 0 0 25 0 1 0 197441835 580489216 140535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 141721 140535 298 55 0 140613 0 Current children cumulated CPU time (s) 1797.44 Current children cumulated vsize (Kb) 566884 [startup+1799.23 s] /proc/loadavg: 1.04 1.01 1.00 2/64 14483 /proc/meminfo: memFree=806504/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=566884 CPUtime=1798.44 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 141846 0 0 0 179676 168 0 0 25 0 1 0 197441835 580489216 140535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 141721 140535 298 55 0 140613 0 Current children cumulated CPU time (s) 1798.44 Current children cumulated vsize (Kb) 566884 [startup+1800.23 s] /proc/loadavg: 1.04 1.01 1.00 2/64 14483 /proc/meminfo: memFree=806504/2055924 swapFree=4181416/4192956 [pid=14288] ppid=14286 vsize=566884 CPUtime=1799.45 /proc/14288/stat : 14288 (bsolo) R 14286 14288 14242 0 -1 0 141846 0 0 0 179777 168 0 0 25 0 1 0 197441835 580489216 140535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14288/statm: 141721 140535 298 55 0 140613 0 Current children cumulated CPU time (s) 1799.45 Current children cumulated vsize (Kb) 566884 Child status: 10 Real time (s): 1800.87 CPU time (s): 1800.1 CPU user time (s): 1798.32 CPU system time (s): 1.77173 CPU usage (%): 99.9568 Max. virtual memory (cumulated for all children) (Kb): 566884
Begin job on node6 on Sat Jun 3 06:56:37 UTC 2006 FILE ID= 40781-1149317797 PBS_JOBID= 308438 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-noswot.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node6/40781-1149317797/instance-40781-1149317797.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-40781-1149317797 -o ROOT/results/node6/solver-40781-1149317797 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node6/40781-1149317797/instance-40781-1149317797.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= bea15b769c4cc5d5ccef31ae4b368d84 RANDOM SEED= 293996645 /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.268 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.268 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: 2055924 kB MemFree: 1368888 kB Buffers: 26180 kB Cached: 589748 kB SwapCached: 3348 kB Active: 55444 kB Inactive: 569320 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1368888 kB SwapTotal: 4192956 kB SwapFree: 4181416 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14924 kB Slab: 48264 kB Committed_AS: 307176 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node6 on Sat Jun 3 07:26:38 UTC 2006