Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (MO) | -45 | 737.526 | 737.803 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb |
MD5SUM | 36a19a7aeba117287b60c4673ad89664 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -57 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -57 |
Optimality of the best value was proved | NO |
Number of variables | 1534 |
Total number of constraints | 126082 |
Number of constraints which are clauses | 126082 |
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 | 1534 |
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 | 1534 |
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 | 1534 |
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 bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/353761-1176675116/instance-353761-1176675116.opb 0.00/0.00 c File size is 3104013 bytes. 0.49/0.51 c Highest Coefficient sum: 1534 0.49/0.51 c Parsing was ok!! 0.49/0.51 c Total parsing time: 0.508 s 0.49/0.56 c Var: 1534 Constr: 126082 126082/0/0 Lit: 252164 Watch. Lit: 252164 0.49/0.56 c Obj. Vars: 1534 (100 % of total variables) 4.69/4.76 c Pre-processing Time: 4.762 s 4.69/4.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.77 c 0 1534 126082 252164 2 252164 42027 0 0 4.76 4.69/4.77 c Switching off LPR mode. 4.69/4.78 o -43 4.783 4.79/4.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.83 c 0 1534 126083 253698 2 252209 43027 1 0 4.79 4.79/4.83 o -44 4.83 5.59/5.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.59/5.64 c 60 1534 126144 344448 2 252375 43027 62 12 4.83 5.59/5.64 c 161 1534 126245 494584 3 252577 47330 163 32 4.91 5.59/5.64 c 412 1534 126496 867623 6 253079 52064 414 79 5.16 5.59/5.64 c 887 1534 126971 1573496 12 254029 57271 889 157 5.63 5.59/5.64 o -45 5.639 737.22/737.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 737.22/737.50 c 887 1534 126972 1575030 12 254076 43027 890 157 5.64 737.22/737.50 c 988 1534 127073 1725114 13 254278 47330 991 172 5.73 737.22/737.50 c 1238 1534 127323 2096417 16 254778 52064 1241 207 5.97 737.22/737.50 c 1714 1534 127799 2803316 21 255730 57271 1717 259 6.61 737.22/737.50 c 2528 1534 128613 4012332 31 257358 62999 2531 334 7.56 737.22/737.50 c 3848 1534 129933 5973184 45 259998 69299 3851 410 9.36 737.22/737.50 c 5929 1534 132014 9064376 68 264160 76229 5932 422 14.02 737.22/737.50 c 9153 1534 135238 13853011 102 270608 83852 9156 448 20.40 737.22/737.50 c 14089 1534 140174 21186988 151 280480 92238 14092 329 42.76 737.22/737.50 c 21595 1534 147680 32334663 218 295492 101462 21598 260 82.77 737.22/737.50 c 32957 1534 159042 49205765 309 318216 111609 32960 245 134.32 737.22/737.50 c 50101 1534 176186 74662262 423 352504 122770 50104 245 204.34 737.22/737.50 c 75920 1534 202005 113003864 559 404142 135048 75923 128 589.26 737.22/737.50 c Caught signal: 15 737.22/737.50 v x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 737.22/737.50 v -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 737.22/737.50 v -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 737.22/737.50 v -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 737.22/737.50 v -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 x1454 -x1453 -x1452 -x1451 -x1450 737.22/737.50 v -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 737.22/737.50 v -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 x1417 -x1416 737.22/737.50 v -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 x1401 -x1400 -x1399 737.22/737.50 v -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 737.22/737.50 v -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 737.22/737.50 v -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 737.22/737.50 v -x1347 x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 737.22/737.50 v -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 737.22/737.50 v -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 737.22/737.50 v -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 x1283 -x1282 -x1281 -x1280 737.22/737.50 v -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 x1265 -x1264 -x1263 737.22/737.50 v -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 737.22/737.50 v -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 737.22/737.50 v -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 737.22/737.50 v -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 737.22/737.50 v -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 x1180 -x1179 -x1178 737.22/737.50 v -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 737.22/737.50 v -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 737.22/737.50 v -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 x1127 737.22/737.50 v -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 737.22/737.50 v -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 737.22/737.50 v -x1092 -x1091 -x1090 -x1089 -x1088 x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 737.22/737.50 v -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 x1062 -x1061 -x1060 -x1059 737.22/737.50 v -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 737.22/737.50 v -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 737.22/737.50 v -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 737.22/737.50 v -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 737.22/737.50 v -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 737.22/737.50 v -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 737.22/737.50 v -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 737.22/737.50 v -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 737.22/737.50 v -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 737.22/737.50 v -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 737.22/737.50 v -x862 -x861 -x860 -x859 -x858 -x857 x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 737.22/737.50 v -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 737.22/737.50 v -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 x803 -x802 -x801 -x800 737.22/737.50 v -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 737.22/737.50 v -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 737.22/737.50 v -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 737.22/737.50 v -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 737.22/737.50 v -x715 -x714 -x713 -x712 -x711 -x710 -x709 x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 737.22/737.50 v x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 737.22/737.50 v -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 x659 -x658 -x657 -x656 -x655 -x654 -x653 737.22/737.50 v -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 737.22/737.50 v -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 737.22/737.50 v -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 737.22/737.50 v -x589 x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 737.22/737.50 v -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 737.22/737.50 v -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 737.22/737.50 v -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 737.22/737.50 v -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 737.22/737.50 v -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 737.22/737.50 v -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 737.22/737.50 v -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 737.22/737.50 v -x421 -x420 -x419 x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 737.22/737.50 v -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 737.22/737.50 v -x379 -x378 -x377 -x376 -x375 -x374 -x373 x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 737.22/737.50 v -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 737.22/737.50 v -x337 -x336 x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 737.22/737.50 v -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 737.22/737.50 v -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 737.22/737.50 v -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 737.22/737.50 v -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 737.22/737.50 v -x232 -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 737.22/737.50 v -x211 -x210 -x209 -x208 x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 737.22/737.50 v -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 737.22/737.50 v x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 737.22/737.50 v -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 737.22/737.50 v -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 737.22/737.50 v -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 737.22/737.50 v -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 737.22/737.50 v -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 737.22/737.50 v -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 737.22/737.50 v -x3 -x2 -x1 737.22/737.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 737.22/737.50 c 18 95988 9443 108466 222073 142801547 95991 130 737.23 737.22/737.50 c Objective: -45 737.22/737.50 s SATISFIABLE 737.22/737.50 c Total time: 737.229 s
OK -45
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node42/watcher-353761-1176675116 -o ROOT/results/node42/solver-353761-1176675116 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353761-1176675116/instance-353761-1176675116.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.06 1.12 1.09 3/64 9726 /proc/meminfo: memFree=1747824/2055920 swapFree=4187804/4192956 [pid=9726] ppid=9724 vsize=14768 CPUtime=0 /proc/9726/stat : 9726 (bsolo3.0.16) R 9724 9726 24821 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 115423457 15122432 333 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9726/statm: 3692 334 281 324 0 2003 0 [startup+0.02367 s] /proc/loadavg: 1.06 1.12 1.09 3/64 9726 /proc/meminfo: memFree=1747824/2055920 swapFree=4187804/4192956 [pid=9726] ppid=9724 vsize=7520 CPUtime=0.01 /proc/9726/stat : 9726 (bsolo3.0.16) R 9724 9726 24821 0 -1 4194304 525 0 0 0 1 0 0 0 18 0 1 0 115423457 7700480 493 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9726/statm: 1880 493 309 324 0 191 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 7520 [startup+0.101685 s] /proc/loadavg: 1.06 1.12 1.09 3/64 9726 /proc/meminfo: memFree=1747824/2055920 swapFree=4187804/4192956 [pid=9726] ppid=9724 vsize=9444 CPUtime=0.09 /proc/9726/stat : 9726 (bsolo3.0.16) R 9724 9726 24821 0 -1 4194304 1131 0 0 0 9 0 0 0 18 0 1 0 115423457 9670656 1099 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9726/statm: 2361 1099 425 324 0 672 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9444 [startup+0.301723 s] /proc/loadavg: 1.06 1.12 1.09 3/64 9726 /proc/meminfo: memFree=1747824/2055920 swapFree=4187804/4192956 [pid=9726] ppid=9724 vsize=14260 CPUtime=0.29 /proc/9726/stat : 9726 (bsolo3.0.16) R 9724 9726 24821 0 -1 4194304 2636 0 0 0 29 0 0 0 19 0 1 0 115423457 14602240 2604 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9726/statm: 3565 2604 720 324 0 1876 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14260 [startup+0.701799 s] /proc/loadavg: 1.06 1.12 1.09 3/64 9726 /proc/meminfo: memFree=1747824/2055920 swapFree=4187804/4192956 [pid=9726] ppid=9724 vsize=22388 CPUtime=0.69 /proc/9726/stat : 9726 (bsolo3.0.16) R 9724 9726 24821 0 -1 4194304 5757 0 0 0 67 2 0 0 22 0 1 0 115423457 22925312 4967 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9726/statm: 5597 4967 305 324 0 4666 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 22388 [startup+1.50195 s] /proc/loadavg: 1.06 1.12 1.09 2/65 9727 /proc/meminfo: memFree=1725032/2055920 swapFree=4187804/4192956 [pid=9726] ppid=9724 vsize=26532 CPUtime=1.49 /proc/9726/stat : 9726 (bsolo3.0.16) R 9724 9726 24821 0 -1 4194304 6779 0 0 0 145 4 0 0 25 0 1 0 115423457 27168768 5989 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9726/statm: 6633 5989 307 324 0 5702 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 26532 [startup+3.10126 s] /proc/loadavg: 1.06 1.12 1.09 2/65 9727 /proc/meminfo: memFree=1724904/2055920 swapFree=4187804/4192956 [pid=9726] ppid=9724 vsize=26532 CPUtime=3.09 /proc/9726/stat : 9726 (bsolo3.0.16) R 9724 9726 24821 0 -1 4194304 6779 0 0 0 303 6 0 0 25 0 1 0 115423457 27168768 5989 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9726/statm: 6633 5989 307 324 0 5702 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26532 [startup+6.30187 s] /proc/loadavg: 1.06 1.12 1.09 2/65 9727 /proc/meminfo: memFree=1715896/2055920 swapFree=4187804/4192956 [pid=9726] ppid=9724 vsize=51264 CPUtime=6.29 /proc/9726/stat : 9726 (bsolo3.0.16) R 9724 9726 24821 0 -1 4194304 14905 0 0 0 617 12 0 0 25 0 1 0 115423457 52494336 12190 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9726/statm: 12816 12190 312 324 0 11885 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 51264 [startup+12.7011 s] /proc/loadavg: 1.05 1.11 1.09 2/65 9727 /proc/meminfo: memFree=1632168/2055920 swapFree=4187804/4192956 [pid=9726] ppid=9724 vsize=124612 CPUtime=12.68 /proc/9726/stat : 9726 (bsolo3.0.16) R 9724 9726 24821 0 -1 4194304 33237 0 0 0 1249 19 0 0 25 0 1 0 115423457 127602688 30522 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9726/statm: 31153 30522 312 324 0 30222 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 124612 [startup+25.5015 s] /proc/loadavg: 1.04 1.11 1.09 2/65 9727 /proc/meminfo: memFree=1516656/2055920 swapFree=4187804/4192956 [pid=9726] ppid=9724 vsize=236392 CPUtime=25.48 /proc/9726/stat : 9726 (bsolo3.0.16) R 9724 9726 24821 0 -1 4194304 61192 0 0 0 2514 34 0 0 25 0 1 0 115423457 242065408 58477 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9726/statm: 59098 58477 312 324 0 58167 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 236392 [startup+51.1014 s] /proc/loadavg: 1.03 1.10 1.09 2/65 9727 /proc/meminfo: memFree=1413424/2055920 swapFree=4187804/4192956 [pid=9726] ppid=9724 vsize=341080 CPUtime=51.07 /proc/9726/stat : 9726 (bsolo3.0.16) R 9724 9726 24821 0 -1 4194304 87354 0 0 0 5059 48 0 0 25 0 1 0 115423457 349265920 84639 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9726/statm: 85270 84639 312 324 0 84339 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 341080 [startup+102.305 s] /proc/loadavg: 1.01 1.08 1.08 2/65 9727 /proc/meminfo: memFree=1199472/2055920 swapFree=4187804/4192956 [pid=9726] ppid=9724 vsize=551644 CPUtime=102.25 /proc/9726/stat : 9726 (bsolo3.0.16) R 9724 9726 24821 0 -1 4194304 140005 0 0 0 10154 71 0 0 25 0 1 0 115423457 564883456 137290 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9726/statm: 137911 137290 312 324 0 136980 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 551644 [startup+162.302 s] /proc/loadavg: 1.00 1.06 1.08 2/65 9727 /proc/meminfo: memFree=930992/2055920 swapFree=4187804/4192956 [pid=9726] ppid=9724 vsize=821192 CPUtime=162.22 /proc/9726/stat : 9726 (bsolo3.0.16) R 9724 9726 24821 0 -1 4194304 207396 0 0 0 16122 100 0 0 25 0 1 0 115423457 840900608 204681 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9726/statm: 205298 204681 312 324 0 204367 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 821192 [startup+222.302 s] /proc/loadavg: 1.00 1.05 1.07 2/65 9727 /proc/meminfo: memFree=684592/2055920 swapFree=4187804/4192956 [pid=9726] ppid=9724 vsize=1065868 CPUtime=222.21 /proc/9726/stat : 9726 (bsolo3.0.16) R 9724 9726 24821 0 -1 4194304 268556 0 0 0 22092 129 0 0 25 0 1 0 115423457 1091448832 265841 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9726/statm: 266467 265841 312 324 0 265536 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 1065868 [startup+282.301 s] /proc/loadavg: 1.00 1.04 1.06 2/65 9727 /proc/meminfo: memFree=560752/2055920 swapFree=4187804/4192956 [pid=9726] ppid=9724 vsize=1190012 CPUtime=282.19 /proc/9726/stat : 9726 (bsolo3.0.16) R 9724 9726 24821 0 -1 4194304 299592 0 0 0 28070 149 0 0 25 0 1 0 115423457 1218572288 296877 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9726/statm: 297503 296877 312 324 0 296572 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 1190012 [startup+342.302 s] /proc/loadavg: 1.00 1.03 1.06 2/65 9727 /proc/meminfo: memFree=460720/2055920 swapFree=4187804/4192956 [pid=9726] ppid=9724 vsize=1289140 CPUtime=342.16 /proc/9726/stat : 9726 (bsolo3.0.16) R 9724 9726 24821 0 -1 4194304 324365 0 0 0 34056 160 0 0 25 0 1 0 115423457 1320079360 321650 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9726/statm: 322285 321650 312 324 0 321354 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 1289140 [startup+402.302 s] /proc/loadavg: 1.00 1.02 1.05 2/65 9727 /proc/meminfo: memFree=399984/2055920 swapFree=4187804/4192956 [pid=9726] ppid=9724 vsize=1350076 CPUtime=402.14 /proc/9726/stat : 9726 (bsolo3.0.16) R 9724 9726 24821 0 -1 4194304 339617 0 0 0 40046 168 0 0 25 0 1 0 115423457 1382477824 336902 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550959 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9726/statm: 337519 336902 312 324 0 336588 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 1350076 [startup+462.302 s] /proc/loadavg: 1.00 1.02 1.05 2/65 9727 /proc/meminfo: memFree=366384/2055920 swapFree=4187804/4192956 [pid=9726] ppid=9724 vsize=1382904 CPUtime=462.12 /proc/9726/stat : 9726 (bsolo3.0.16) R 9724 9726 24821 0 -1 4194304 347829 0 0 0 46040 172 0 0 25 0 1 0 115423457 1416093696 345114 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9726/statm: 345726 345114 312 324 0 344795 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 1382904 [startup+522.301 s] /proc/loadavg: 1.07 1.03 1.05 2/65 9727 /proc/meminfo: memFree=327280/2055920 swapFree=4187804/4192956 [pid=9726] ppid=9724 vsize=1422464 CPUtime=522.1 /proc/9726/stat : 9726 (bsolo3.0.16) R 9724 9726 24821 0 -1 4194304 357704 0 0 0 52033 177 0 0 25 0 1 0 115423457 1456603136 354989 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9726/statm: 355616 354989 312 324 0 354685 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 1422464 [startup+582.302 s] /proc/loadavg: 1.02 1.02 1.04 2/65 9727 /proc/meminfo: memFree=291568/2055920 swapFree=4187804/4192956 [pid=9726] ppid=9724 vsize=1457968 CPUtime=582.07 /proc/9726/stat : 9726 (bsolo3.0.16) R 9724 9726 24821 0 -1 4194304 366590 0 0 0 58025 182 0 0 25 0 1 0 115423457 1492959232 363875 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9726/statm: 364492 363875 312 324 0 363561 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 1457968 [startup+642.302 s] /proc/loadavg: 1.01 1.02 1.03 2/65 9727 /proc/meminfo: memFree=85360/2055920 swapFree=4187804/4192956 [pid=9726] ppid=9724 vsize=1663304 CPUtime=642.05 /proc/9726/stat : 9726 (bsolo3.0.16) R 9724 9726 24821 0 -1 4194304 417905 0 0 0 63997 208 0 0 25 0 1 0 115423457 1703223296 415190 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9726/statm: 415826 415190 312 324 0 414895 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 1663304 [startup+702.301 s] /proc/loadavg: 1.00 1.01 1.03 2/65 9727 /proc/meminfo: memFree=16112/2055920 swapFree=4184540/4192956 [pid=9726] ppid=9724 vsize=1792412 CPUtime=702.03 /proc/9726/stat : 9726 (bsolo3.0.16) R 9724 9726 24821 0 -1 4194304 450206 0 0 0 69978 225 0 0 25 0 1 0 115423457 1835429888 447491 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9726/statm: 448103 447491 312 324 0 447172 0 Current children cumulated CPU time (s) 702.03 Current children cumulated vsize (KiB) 1792412 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+737.502 s] /proc/loadavg: 1.00 1.01 1.02 2/65 9727 /proc/meminfo: memFree=14960/2055920 swapFree=4184540/4192956 [pid=9726] ppid=9724 vsize=1843232 CPUtime=737.22 /proc/9726/stat : 9726 (bsolo3.0.16) R 9724 9726 24821 0 -1 4194304 462897 0 0 0 73490 232 0 0 25 0 1 0 115423457 1887469568 460182 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134547770 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9726/statm: 460808 460182 312 324 0 459877 0 Current children cumulated CPU time (s) 737.22 Current children cumulated vsize (KiB) 1843232 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+737.801 s] /proc/loadavg: 1.00 1.01 1.02 2/65 9727 /proc/meminfo: memFree=14960/2055920 swapFree=4184540/4192956 [pid=9726] ppid=9724 vsize=0 CPUtime=737.52 /proc/9726/stat : 9726 (bsolo3.0.16) R 9724 9726 24821 0 -1 4194308 462898 0 0 0 73491 261 0 0 25 0 1 0 115423457 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/9726/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 737.52 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 737.803 CPU time (s): 737.526 CPU user time (s): 734.91 CPU system time (s): 2.6156 CPU usage (%): 99.9624 Max. virtual memory (cumulated for all children) (KiB): 1843232 getrusage(RUSAGE_CHILDREN,...) data: user time used= 734.91 system time used= 2.6156 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 462898 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= 12 involuntary context switches= 1384 runsolver used 0.504923 second user time and 1.56276 second system time The end
Begin job on node42 on Sun Apr 15 22:11:56 UTC 2007 IDJOB= 353761 IDBENCH= 2267 IDSOLVER= 163 FILE ID= node42/353761-1176675116 PBS_JOBID= 4559909 Free space on /tmp= 66556 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353761-1176675116/instance-353761-1176675116.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-353761-1176675116 -o ROOT/results/node42/solver-353761-1176675116 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353761-1176675116/instance-353761-1176675116.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 36a19a7aeba117287b60c4673ad89664 RANDOM SEED= 193913852 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node42.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.277 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.277 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: 1748296 kB Buffers: 67508 kB Cached: 149308 kB SwapCached: 1056 kB Active: 130488 kB Inactive: 102756 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1748296 kB SwapTotal: 4192956 kB SwapFree: 4187804 kB Dirty: 7544 kB Writeback: 0 kB Mapped: 22588 kB Slab: 60468 kB Committed_AS: 2733896 kB PageTables: 1420 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66556 MiB End job on node42 on Sun Apr 15 22:24:16 UTC 2007