Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -21 | 180.83 | 180.882 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb |
MD5SUM | 20471e978018d28aed0ca16c46de4e3d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -44 |
Best CPU time to get the best result obtained on this benchmark | 1800.09 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -51 |
Optimality of the best value was proved | NO |
Number of variables | 1272 |
Total number of constraints | 94226 |
Number of constraints which are clauses | 94226 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1272 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1272 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1272 |
Number of bits of the biggest sum of numbers | 11 |
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/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2655914-1276503790.opb. 0.00/0.00 c Instance file HOME/instance-2655914-1276503790.opb 0.00/0.00 c File size is 2294904 bytes. 0.29/0.30 c Highest Coefficient sum: 3 0.29/0.30 c ============================[ Problem Statistics ]============================= 0.29/0.30 c | | 0.29/0.30 c | Parsing time: 0.30 s | 0.29/0.30 c | Number Variables: 1272 | 0.29/0.30 c | Number Clauses: 94226 | 0.29/0.30 c | Number Cardinality: 0 | 0.29/0.30 c | Number PB Constraints: 0 | 0.49/0.56 c ============================[ Search Statistics ]============================== 0.49/0.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.56 c =============================================================================== 0.49/0.56 c | 0 | 1272 94226 188452 | 31408 0 nan | 0.000 % | 0.49/0.56 c =============================================================================== 0.49/0.56 c New solution: 1272 0.49/0.56 o 1272 0.49/0.56 c Elapsed CPU time: 0.554915 s Remaining CPU time: 179.445 s 0.49/0.56 c =============================================================================== 0.49/0.56 c | 0 | 1272 94227 189724 | 31409 0 nan | 0.000 % | 0.49/0.57 c =============================================================================== 0.49/0.57 c New solution: 1271 0.49/0.57 o 1271 0.49/0.57 c Elapsed CPU time: 0.558915 s Remaining CPU time: 179.441 s 0.49/0.57 c =============================================================================== 0.49/0.57 c | 0 | 1272 94228 190996 | 31409 0 nan | 0.000 % | 0.49/0.59 c =============================================================================== 0.49/0.59 c New solution: 1270 0.49/0.59 o 1270 0.49/0.59 c Elapsed CPU time: 0.578911 s Remaining CPU time: 179.421 s 0.49/0.59 c =============================================================================== 0.49/0.59 c | 15 | 1272 94229 192268 | 31409 15 1263 | 0.000 % | 0.59/0.66 c | 127 | 1272 94229 192268 | 34550 127 1262 | 0.000 % | 0.59/0.68 c =============================================================================== 0.59/0.68 c New solution: 1269 0.59/0.68 o 1269 0.59/0.68 c Elapsed CPU time: 0.669898 s Remaining CPU time: 179.33 s 0.59/0.68 c =============================================================================== 0.59/0.68 c | 135 | 1272 94230 193540 | 31410 135 1262 | 0.000 % | 0.69/0.71 c =============================================================================== 0.69/0.71 c New solution: 1268 0.69/0.71 o 1268 0.69/0.71 c Elapsed CPU time: 0.702893 s Remaining CPU time: 179.297 s 0.69/0.71 c =============================================================================== 0.69/0.71 c | 205 | 1272 94231 194812 | 31410 205 1262 | 0.000 % | 0.69/0.75 c | 305 | 1272 94231 194812 | 34551 305 1263 | 0.000 % | 0.79/0.81 c | 456 | 1272 94231 194812 | 38006 456 1264 | 0.000 % | 0.79/0.88 c =============================================================================== 0.79/0.88 c New solution: 1267 0.79/0.88 o 1267 0.79/0.88 c Elapsed CPU time: 0.866868 s Remaining CPU time: 179.133 s 0.79/0.88 c =============================================================================== 0.79/0.88 c | 602 | 1272 94232 196084 | 31410 602 1264 | 0.000 % | 0.89/0.92 c | 704 | 1272 94232 196084 | 34551 704 1264 | 0.000 % | 0.89/0.98 c =============================================================================== 0.89/0.98 c New solution: 1266 0.89/0.98 o 1266 0.89/0.98 c Elapsed CPU time: 0.965853 s Remaining CPU time: 179.034 s 0.89/0.98 c =============================================================================== 0.89/0.98 c | 817 | 1272 94233 197356 | 31411 817 1264 | 0.000 % | 1.00/1.03 c | 920 | 1272 94233 197356 | 34552 920 1264 | 0.000 % | 1.10/1.11 c | 1070 | 1272 94233 197356 | 38007 1070 1264 | 0.000 % | 1.10/1.12 c =============================================================================== 1.10/1.12 c New solution: 1265 1.10/1.12 o 1265 1.10/1.12 c Elapsed CPU time: 1.09683 s Remaining CPU time: 178.903 s 1.10/1.12 c =============================================================================== 1.10/1.12 c | 1072 | 1272 94234 198628 | 31411 1072 1264 | 0.000 % | 1.10/1.16 c | 1172 | 1272 94234 198628 | 34552 1172 1263 | 0.000 % | 1.19/1.23 c =============================================================================== 1.19/1.23 c New solution: 1264 1.19/1.23 o 1264 1.19/1.23 c Elapsed CPU time: 1.20382 s Remaining CPU time: 178.796 s 1.19/1.23 c =============================================================================== 1.19/1.23 c | 1266 | 1272 94235 199900 | 31411 1266 1263 | 0.000 % | 1.19/1.29 c | 1367 | 1272 94235 199900 | 34552 1367 1263 | 0.000 % | 1.29/1.38 c | 1517 | 1272 94235 199900 | 38008 1517 1263 | 0.000 % | 1.49/1.50 c | 1743 | 1272 94235 199900 | 41808 1743 1263 | 0.000 % | 1.49/1.59 c =============================================================================== 1.49/1.59 c New solution: 1263 1.49/1.59 o 1263 1.49/1.59 c Elapsed CPU time: 1.55176 s Remaining CPU time: 178.448 s 1.49/1.59 c =============================================================================== 1.49/1.59 c | 1863 | 1272 94236 201172 | 31412 1863 1263 | 0.000 % | 1.59/1.65 c | 1963 | 1272 94236 201172 | 34553 1963 1262 | 0.000 % | 1.69/1.76 c | 2113 | 1272 94236 201172 | 38008 2113 1262 | 0.000 % | 1.89/1.93 c | 2339 | 1272 94236 201172 | 41809 2339 1262 | 0.000 % | 1.99/2.05 c =============================================================================== 1.99/2.05 c New solution: 1262 1.99/2.05 o 1262 1.99/2.05 c Elapsed CPU time: 2.00969 s Remaining CPU time: 177.99 s 1.99/2.05 c =============================================================================== 1.99/2.05 c | 2488 | 1272 94237 202444 | 31412 2488 1262 | 0.000 % | 2.10/2.12 c | 2590 | 1272 94237 202444 | 34553 2590 1262 | 0.000 % | 2.20/2.23 c | 2742 | 1272 94237 202444 | 38008 2742 1261 | 0.000 % | 2.29/2.39 c | 2967 | 1272 94237 202444 | 41809 2967 1261 | 0.000 % | 2.59/2.63 c =============================================================================== 2.59/2.63 c New solution: 1261 2.59/2.63 o 1261 2.59/2.63 c Elapsed CPU time: 2.57961 s Remaining CPU time: 177.42 s 2.59/2.63 c =============================================================================== 2.59/2.63 c | 3262 | 1272 94238 203716 | 31412 3262 1261 | 0.000 % | 2.69/2.72 c | 3362 | 1272 94238 203716 | 34553 3362 1261 | 0.000 % | 2.79/2.85 c | 3512 | 1272 94238 203716 | 38009 3512 1261 | 0.000 % | 2.99/3.00 c | 3738 | 1272 94238 203716 | 41810 3738 1261 | 0.000 % | 2.99/3.02 c =============================================================================== 2.99/3.02 c New solution: 1260 2.99/3.02 o 1260 2.99/3.02 c Elapsed CPU time: 2.95555 s Remaining CPU time: 177.044 s 2.99/3.02 c =============================================================================== 2.99/3.02 c | 3741 | 1272 94239 204988 | 31413 3741 1261 | 0.000 % | 3.09/3.12 c | 3841 | 1272 94239 204988 | 34554 3841 1260 | 0.000 % | 3.20/3.29 c | 3991 | 1272 94239 204988 | 38009 3991 1260 | 0.000 % | 3.49/3.51 c | 4217 | 1272 94239 204988 | 41810 4217 1260 | 0.000 % | 3.79/3.80 c | 4554 | 1272 94239 204988 | 45991 4554 1260 | 0.000 % | 3.99/4.03 c =============================================================================== 3.99/4.03 c New solution: 1259 3.99/4.03 o 1259 3.99/4.03 c Elapsed CPU time: 3.9494 s Remaining CPU time: 176.051 s 3.99/4.03 c =============================================================================== 3.99/4.03 c | 4781 | 1272 94240 206260 | 31413 4781 1260 | 0.000 % | 4.09/4.13 c | 4882 | 1272 94240 206260 | 34554 4882 1260 | 0.000 % | 4.30/4.32 c | 5032 | 1272 94240 206260 | 38010 5032 1259 | 0.000 % | 4.39/4.46 c =============================================================================== 4.39/4.46 c New solution: 1258 4.39/4.46 o 1258 4.39/4.46 c Elapsed CPU time: 4.37533 s Remaining CPU time: 175.625 s 4.39/4.46 c =============================================================================== 4.39/4.46 c | 5150 | 1272 94241 207532 | 31413 5150 1259 | 0.000 % | 4.49/4.55 c | 5250 | 1272 94241 207532 | 34555 5250 1259 | 0.000 % | 4.69/4.70 c | 5402 | 1272 94241 207532 | 38010 5402 1259 | 0.000 % | 4.89/4.97 c | 5628 | 1272 94241 207532 | 41811 5628 1259 | 0.000 % | 5.29/5.31 c | 5965 | 1272 94241 207532 | 45992 5965 1259 | 0.000 % | 5.79/5.89 c | 6471 | 1272 94241 207532 | 50592 6471 1258 | 0.000 % | 6.09/6.15 c =============================================================================== 6.09/6.15 c New solution: 1257 6.09/6.15 o 1257 6.09/6.15 c Elapsed CPU time: 6.03208 s Remaining CPU time: 173.968 s 6.09/6.15 c =============================================================================== 6.09/6.15 c | 6702 | 1272 94242 208804 | 31414 6702 1258 | 0.000 % | 6.19/6.27 c | 6802 | 1272 94242 208804 | 34555 6802 1258 | 0.000 % | 6.39/6.48 c | 6953 | 1272 94242 208804 | 38010 6953 1258 | 0.000 % | 6.69/6.77 c | 7179 | 1272 94242 208804 | 41812 7179 1258 | 0.000 % | 7.09/7.15 c =============================================================================== 7.09/7.15 c New solution: 1256 7.09/7.15 o 1256 7.09/7.15 c Elapsed CPU time: 7.02293 s Remaining CPU time: 172.977 s 7.09/7.15 c =============================================================================== 7.09/7.15 c | 7461 | 1272 94243 210076 | 31414 7461 1258 | 0.000 % | 7.18/7.27 c | 7561 | 1272 94243 210076 | 34555 7561 1258 | 0.000 % | 7.39/7.42 c | 7714 | 1272 94243 210076 | 38011 7714 1258 | 0.000 % | 7.59/7.70 c | 7939 | 1272 94243 210076 | 41812 7939 1257 | 0.000 % | 7.99/8.08 c | 8277 | 1272 94243 210076 | 45993 8277 1257 | 0.000 % | 8.79/8.85 c | 8786 | 1272 94243 210076 | 50593 8786 1257 | 0.000 % | 9.39/9.50 c =============================================================================== 9.39/9.50 c New solution: 1255 9.39/9.50 o 1255 9.39/9.50 c Elapsed CPU time: 9.33558 s Remaining CPU time: 170.664 s 9.39/9.50 c =============================================================================== 9.39/9.50 c | 9229 | 1272 94244 211348 | 31414 9229 1257 | 0.000 % | 9.69/9.70 c | 9330 | 1272 94244 211348 | 34556 9330 1257 | 0.000 % | 9.99/10.00 c | 9481 | 1272 94244 211348 | 38011 9481 1257 | 0.000 % | 10.29/10.38 c | 9706 | 1272 94244 211348 | 41812 9706 1257 | 0.000 % | 10.89/10.91 c | 10043 | 1272 94244 211348 | 45994 10043 1256 | 0.000 % | 11.49/11.59 c | 10550 | 1272 94244 211348 | 50593 10550 1256 | 0.000 % | 13.09/13.12 c | 11309 | 1272 94244 211348 | 55652 11309 1256 | 0.000 % | 15.19/15.26 c | 12449 | 1272 94244 211348 | 61218 12449 1255 | 0.000 % | 18.78/18.81 c | 14158 | 1272 94244 211348 | 67340 14158 1255 | 0.000 % | 25.88/25.92 c | 16722 | 1272 94244 211348 | 74074 16722 1254 | 0.000 % | 39.78/39.89 c | 20566 | 1272 94244 211348 | 81481 20566 1254 | 0.000 % | 65.27/65.33 c | 26333 | 1272 94244 211348 | 89629 26333 1254 | 0.000 % | 74.57/74.62 c =============================================================================== 74.57/74.62 c New solution: 1254 74.57/74.62 o 1254 74.57/74.62 c Elapsed CPU time: 74.2117 s Remaining CPU time: 105.788 s 74.57/74.62 c =============================================================================== 74.57/74.62 c | 27697 | 1272 94245 212620 | 31415 27697 1253 | 0.000 % | 75.27/75.31 c | 27798 | 1272 94245 212620 | 34556 27798 1253 | 0.000 % | 76.87/76.91 c | 27949 | 1272 94245 212620 | 38012 27949 1253 | 0.000 % | 78.36/78.44 c | 28177 | 1272 94245 212620 | 41813 28177 1253 | 0.000 % | 80.17/80.25 c | 28514 | 1272 94245 212620 | 45994 28514 1253 | 0.000 % | 85.26/85.33 c | 29021 | 1272 94245 212620 | 50594 29021 1253 | 0.000 % | 88.87/88.93 c =============================================================================== 88.87/88.93 c New solution: 1253 88.87/88.93 o 1253 88.87/88.93 c Elapsed CPU time: 88.4795 s Remaining CPU time: 91.5205 s 88.87/88.93 c =============================================================================== 88.87/88.93 c | 29597 | 1272 94246 213892 | 31415 29597 1253 | 0.000 % | 89.67/89.73 c | 29700 | 1272 94246 213892 | 34556 29700 1253 | 0.000 % | 91.46/91.54 c | 29853 | 1272 94246 213892 | 38012 29853 1253 | 0.000 % | 92.76/92.84 c | 30078 | 1272 94246 213892 | 41813 30078 1253 | 0.000 % | 94.57/94.63 c | 30416 | 1272 94246 213892 | 45995 30416 1253 | 0.000 % | 95.17/95.25 c =============================================================================== 95.17/95.25 c New solution: 1252 95.17/95.25 o 1252 95.17/95.25 c Elapsed CPU time: 94.7786 s Remaining CPU time: 85.2214 s 95.17/95.25 c =============================================================================== 95.17/95.25 c | 30614 | 1272 94247 215164 | 31415 30614 1253 | 0.000 % | 95.67/95.74 c | 30717 | 1272 94247 215164 | 34557 30717 1253 | 0.000 % | 96.86/96.98 c | 30867 | 1272 94247 215164 | 38012 30867 1253 | 0.000 % | 97.46/97.57 c | 31092 | 1272 94247 215164 | 41814 31092 1253 | 0.000 % | 99.36/99.43 c | 31431 | 1272 94247 215164 | 45995 31431 1253 | 0.000 % | 101.77/101.82 c | 31938 | 1272 94247 215164 | 50595 31938 1253 | 0.000 % | 104.56/104.68 c | 32697 | 1272 94247 215164 | 55654 32697 1253 | 0.000 % | 108.95/109.05 c | 33838 | 1272 94247 215164 | 61220 33838 1253 | 0.000 % | 115.55/115.64 c | 35546 | 1272 94247 215164 | 67342 35546 1253 | 0.000 % | 133.45/133.51 c | 38109 | 1272 94247 215164 | 74076 38109 1252 | 0.000 % | 137.85/137.93 c =============================================================================== 137.85/137.93 c New solution: 1251 137.85/137.93 o 1251 137.85/137.93 c Elapsed CPU time: 137.343 s Remaining CPU time: 42.6569 s 137.85/137.93 c =============================================================================== 137.85/137.93 c | 38802 | 1272 94248 216436 | 31416 38802 1252 | 0.000 % | 139.85/139.93 c | 38902 | 1272 94248 216436 | 34557 11335 1250 | 0.000 % | 140.55/140.63 c | 39054 | 1272 94248 216436 | 38013 11487 1250 | 0.000 % | 141.25/141.33 c | 39279 | 1272 94248 216436 | 41814 11712 1250 | 0.000 % | 142.05/142.17 c | 39617 | 1272 94248 216436 | 45996 12050 1250 | 0.000 % | 143.35/143.47 c | 40123 | 1272 94248 216436 | 50595 12556 1249 | 0.000 % | 144.64/144.76 c | 40884 | 1272 94248 216436 | 55655 13317 1249 | 0.000 % | 147.65/147.76 c | 42023 | 1272 94248 216436 | 61220 14456 1249 | 0.000 % | 151.95/152.05 c | 43731 | 1272 94248 216436 | 67342 16164 1249 | 0.000 % | 167.24/167.30 c | 46294 | 1272 94248 216436 | 74077 18727 1249 | 0.000 % | 180.44/180.52 c | 50140 | 1272 94248 216436 | 81485 22573 1249 | 0.000 % | 180.64/180.74 c There are 0 assigned variables. 0 in cost function. 180.74/180.85 c core #1 180.74/180.85 c #cores: 1 180.74/180.85 c Final Weight: 1251 180.74/180.85 o 1251 180.74/180.85 s OPTIMUM FOUND 180.74/180.85 v -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 x1081 -x1080 x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 x1033 -x1032 x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 180.74/180.85 c Total CPU time: 180.111 s
OK -21
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655914-1276503790/watcher-2655914-1276503790 -o /tmp/evaluation-result-2655914-1276503790/solver-2655914-1276503790 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655914-1276503790.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 31473 /proc/meminfo: memFree=1767968/2059040 swapFree=4135652/4192956 [pid=31473] ppid=31471 vsize=4984 CPUtime=0 /proc/31473/stat : 31473 (wbo1.4b) R 31471 31473 31358 0 -1 4202496 322 0 0 0 0 0 0 0 19 0 1 0 25983037 5103616 241 1992294400 134512640 135751879 4289295168 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31473/statm: 1246 242 143 303 0 380 0 [startup+0.0951871 s] /proc/loadavg: 1.00 1.00 1.00 3/106 31473 /proc/meminfo: memFree=1767968/2059040 swapFree=4135652/4192956 [pid=31473] ppid=31471 vsize=6364 CPUtime=0.09 /proc/31473/stat : 31473 (wbo1.4b) R 31471 31473 31358 0 -1 4202496 812 0 0 0 9 0 0 0 19 0 1 0 25983037 6516736 731 1992294400 134512640 135751879 4289295168 18446744073709551615 135390381 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31473/statm: 1591 731 300 303 0 725 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6364 [startup+0.101188 s] /proc/loadavg: 1.00 1.00 1.00 3/106 31473 /proc/meminfo: memFree=1767968/2059040 swapFree=4135652/4192956 [pid=31473] ppid=31471 vsize=6364 CPUtime=0.09 /proc/31473/stat : 31473 (wbo1.4b) R 31471 31473 31358 0 -1 4202496 830 0 0 0 9 0 0 0 20 0 1 0 25983037 6516736 749 1992294400 134512640 135751879 4289295168 18446744073709551615 135379222 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31473/statm: 1591 749 311 303 0 725 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6364 [startup+0.301208 s] /proc/loadavg: 1.00 1.00 1.00 3/106 31473 /proc/meminfo: memFree=1767968/2059040 swapFree=4135652/4192956 [pid=31473] ppid=31471 vsize=9384 CPUtime=0.29 /proc/31473/stat : 31473 (wbo1.4b) R 31471 31473 31358 0 -1 4202496 1919 0 0 0 29 0 0 0 20 0 1 0 25983037 9609216 1838 1992294400 134512640 135751879 4289295168 18446744073709551615 135192417 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31473/statm: 2346 1838 685 303 0 1480 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9384 [startup+0.701249 s] /proc/loadavg: 1.00 1.00 1.00 3/106 31473 /proc/meminfo: memFree=1767968/2059040 swapFree=4135652/4192956 [pid=31473] ppid=31471 vsize=13712 CPUtime=0.69 /proc/31473/stat : 31473 (wbo1.4b) R 31471 31473 31358 0 -1 4202496 3657 0 0 0 68 1 0 0 21 0 1 0 25983037 14041088 2917 1992294400 134512640 135751879 4289295168 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31473/statm: 3428 2917 147 303 0 3123 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13712 [startup+1.50133 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31474 /proc/meminfo: memFree=1756428/2059040 swapFree=4135652/4192956 [pid=31473] ppid=31471 vsize=16932 CPUtime=1.49 /proc/31473/stat : 31473 (wbo1.4b) R 31471 31473 31358 0 -1 4202496 4450 0 0 0 146 3 0 0 23 0 1 0 25983037 17338368 3710 1992294400 134512640 135751879 4289295168 18446744073709551615 134606551 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31473/statm: 4233 3710 147 303 0 3928 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16932 [startup+3.10149 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31474 /proc/meminfo: memFree=1749112/2059040 swapFree=4135652/4192956 [pid=31473] ppid=31471 vsize=27596 CPUtime=3.09 /proc/31473/stat : 31473 (wbo1.4b) R 31471 31473 31358 0 -1 4202496 7114 0 0 0 302 7 0 0 25 0 1 0 25983037 28258304 6374 1992294400 134512640 135751879 4289295168 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31473/statm: 6899 6374 147 303 0 6594 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27596 [startup+6.30182 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31474 /proc/meminfo: memFree=1731256/2059040 swapFree=4135652/4192956 [pid=31473] ppid=31471 vsize=42804 CPUtime=6.29 /proc/31473/stat : 31473 (wbo1.4b) R 31471 31473 31358 0 -1 4202496 10910 0 0 0 618 11 0 0 25 0 1 0 25983037 43831296 10170 1992294400 134512640 135751879 4289295168 18446744073709551615 134607732 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31473/statm: 10701 10170 147 303 0 10396 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 42804 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31474 /proc/meminfo: memFree=1706952/2059040 swapFree=4135652/4192956 [pid=31473] ppid=31471 vsize=64728 CPUtime=12.68 /proc/31473/stat : 31473 (wbo1.4b) R 31471 31473 31358 0 -1 4202496 16396 0 0 0 1250 18 0 0 25 0 1 0 25983037 66281472 15656 1992294400 134512640 135751879 4289295168 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31473/statm: 16182 15656 147 303 0 15877 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 64728 [startup+25.5008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31474 /proc/meminfo: memFree=1678556/2059040 swapFree=4135652/4192956 [pid=31473] ppid=31471 vsize=91952 CPUtime=25.48 /proc/31473/stat : 31473 (wbo1.4b) R 31471 31473 31358 0 -1 4202496 23199 0 0 0 2523 25 0 0 25 0 1 0 25983037 94158848 22459 1992294400 134512640 135751879 4289295168 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31473/statm: 22988 22459 147 303 0 22683 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 91952 [startup+51.1004 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31474 /proc/meminfo: memFree=1646440/2059040 swapFree=4135652/4192956 [pid=31473] ppid=31471 vsize=124264 CPUtime=51.07 /proc/31473/stat : 31473 (wbo1.4b) R 31471 31473 31358 0 -1 4202496 31240 0 0 0 5075 32 0 0 25 0 1 0 25983037 127246336 30500 1992294400 134512640 135751879 4289295168 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31473/statm: 31066 30500 147 303 0 30761 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 124264 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31476 /proc/meminfo: memFree=1598948/2059040 swapFree=4135652/4192956 [pid=31473] ppid=31471 vsize=171096 CPUtime=102.27 /proc/31473/stat : 31473 (wbo1.4b) R 31471 31473 31358 0 -1 4202496 42939 0 0 0 10180 47 0 0 25 0 1 0 25983037 175202304 42199 1992294400 134512640 135751879 4289295168 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31473/statm: 42774 42199 147 303 0 42469 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 171096 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31478 /proc/meminfo: memFree=1531244/2059040 swapFree=4135652/4192956 [pid=31473] ppid=31471 vsize=239008 CPUtime=162.25 /proc/31473/stat : 31473 (wbo1.4b) R 31471 31473 31358 0 -1 4202496 59863 0 0 0 16161 64 0 0 25 0 1 0 25983037 244744192 59123 1992294400 134512640 135751879 4289295168 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31473/statm: 59752 59123 148 303 0 59447 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 239008 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31478 /proc/meminfo: memFree=1527896/2059040 swapFree=4135652/4192956 [pid=31473] ppid=31471 vsize=242100 CPUtime=166.24 /proc/31473/stat : 31473 (wbo1.4b) R 31471 31473 31358 0 -1 4202496 60655 0 0 0 16560 64 0 0 25 0 1 0 25983037 247910400 59915 1992294400 134512640 135751879 4289295168 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31473/statm: 60525 59915 148 303 0 60220 0 Current children cumulated CPU time (s) 166.24 Current children cumulated vsize (KiB) 242100 [startup+172.709 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31478 /proc/meminfo: memFree=1520952/2059040 swapFree=4135652/4192956 [pid=31473] ppid=31471 vsize=248880 CPUtime=172.65 /proc/31473/stat : 31473 (wbo1.4b) R 31471 31473 31358 0 -1 4202496 62346 0 0 0 17200 65 0 0 25 0 1 0 25983037 254853120 61606 1992294400 134512640 135751879 4289295168 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31473/statm: 62220 61606 148 303 0 61915 0 Current children cumulated CPU time (s) 172.65 Current children cumulated vsize (KiB) 248880 [startup+175.901 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31478 /proc/meminfo: memFree=1514132/2059040 swapFree=4135652/4192956 [pid=31473] ppid=31471 vsize=255572 CPUtime=175.85 /proc/31473/stat : 31473 (wbo1.4b) R 31471 31473 31358 0 -1 4202496 64016 0 0 0 17518 67 0 0 25 0 1 0 25983037 261705728 63276 1992294400 134512640 135751879 4289295168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31473/statm: 63893 63276 148 303 0 63588 0 Current children cumulated CPU time (s) 175.85 Current children cumulated vsize (KiB) 255572 [startup+179.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31478 /proc/meminfo: memFree=1510784/2059040 swapFree=4135652/4192956 [pid=31473] ppid=31471 vsize=260256 CPUtime=179.03 /proc/31473/stat : 31473 (wbo1.4b) R 31471 31473 31358 0 -1 4202496 65168 0 0 0 17836 67 0 0 25 0 1 0 25983037 266502144 64428 1992294400 134512640 135751879 4289295168 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31473/statm: 65064 64428 148 303 0 64759 0 Current children cumulated CPU time (s) 179.03 Current children cumulated vsize (KiB) 260256 [startup+179.901 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31478 /proc/meminfo: memFree=1509296/2059040 swapFree=4135652/4192956 [pid=31473] ppid=31471 vsize=261324 CPUtime=179.84 /proc/31473/stat : 31473 (wbo1.4b) R 31471 31473 31358 0 -1 4202496 65463 0 0 0 17916 68 0 0 25 0 1 0 25983037 267595776 64723 1992294400 134512640 135751879 4289295168 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31473/statm: 65331 64723 148 303 0 65026 0 Current children cumulated CPU time (s) 179.84 Current children cumulated vsize (KiB) 261324 [startup+180.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31478 /proc/meminfo: memFree=1507808/2059040 swapFree=4135652/4192956 [pid=31473] ppid=31471 vsize=261856 CPUtime=180.24 /proc/31473/stat : 31473 (wbo1.4b) R 31471 31473 31358 0 -1 4202496 65594 0 0 0 17956 68 0 0 25 0 1 0 25983037 268140544 64854 1992294400 134512640 135751879 4289295168 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31473/statm: 65464 64854 148 303 0 65159 0 Current children cumulated CPU time (s) 180.24 Current children cumulated vsize (KiB) 261856 [startup+180.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31478 /proc/meminfo: memFree=1507808/2059040 swapFree=4135652/4192956 [pid=31473] ppid=31471 vsize=262264 CPUtime=180.64 /proc/31473/stat : 31473 (wbo1.4b) R 31471 31473 31358 0 -1 4202496 65687 0 0 0 17996 68 0 0 25 0 1 0 25983037 268558336 64947 1992294400 134512640 135751879 4289295168 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31473/statm: 65566 64947 148 303 0 65261 0 Current children cumulated CPU time (s) 180.64 Current children cumulated vsize (KiB) 262264 [startup+180.801 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31478 /proc/meminfo: memFree=1507808/2059040 swapFree=4135652/4192956 [pid=31473] ppid=31471 vsize=266264 CPUtime=180.74 /proc/31473/stat : 31473 (wbo1.4b) R 31471 31473 31358 0 -1 4202496 66642 0 0 0 18005 69 0 0 25 0 1 0 25983037 272654336 65902 1992294400 134512640 135751879 4289295168 18446744073709551615 135201605 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31473/statm: 66566 65902 149 303 0 66261 0 Current children cumulated CPU time (s) 180.74 Current children cumulated vsize (KiB) 266264 Child status: 0 Real time (s): 180.882 CPU time (s): 180.83 CPU user time (s): 180.111 CPU system time (s): 0.71889 CPU usage (%): 99.9708 Max. virtual memory (cumulated for all children) (KiB): 266264 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.111 system time used= 0.71889 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 66643 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 10 involuntary context switches= 515 runsolver used 0.285956 second user time and 0.879866 second system time The end
Begin job on node002 at 2010-06-14 10:23:11 IDJOB=2655914 IDBENCH=2258 IDSOLVER=1161 FILE ID=node002/2655914-1276503790 PBS_JOBID= 11173415 Free space on /tmp= 62456 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655914-1276503790/watcher-2655914-1276503790 -o /tmp/evaluation-result-2655914-1276503790/solver-2655914-1276503790 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655914-1276503790.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 20471e978018d28aed0ca16c46de4e3d RANDOM SEED=814384161 node002.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 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.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1768372 kB Buffers: 73416 kB Cached: 126924 kB SwapCached: 10384 kB Active: 106500 kB Inactive: 106432 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1768372 kB SwapTotal: 4192956 kB SwapFree: 4135652 kB Dirty: 4852 kB Writeback: 0 kB AnonPages: 10844 kB Mapped: 9188 kB Slab: 55956 kB PageTables: 4020 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180932 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62452 MiB End job on node002 at 2010-06-14 10:26:12