Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (MO) | -45 | 706.424 | 707.081 |
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.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/433115-1177954606/instance-433115-1177954606.opb 0.00/0.00 c File size is 3104013 bytes. 0.38/0.49 c Highest Coefficient sum: 1534 0.38/0.49 c Parsing was ok!! 0.38/0.49 c Total parsing time: 0.488 s 0.48/0.54 c Var: 1534 Constr: 126082 126082/0/0 Lit: 252164 Watch. Lit: 252164 0.48/0.54 c Obj. Vars: 1534 (100 % of total variables) 4.59/4.63 c Pre-processing Time: 4.627 s 4.59/4.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.59/4.64 c 0 1534 126082 252164 2 252164 42027 0 0 4.63 4.59/4.64 c Switching off LPR mode. 4.59/4.65 o -43 4.648 4.59/4.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.59/4.70 c 0 1534 126083 253698 2 252209 43027 1 0 4.65 4.59/4.70 o -44 4.693 5.39/5.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.39/5.45 c 60 1534 126144 344448 2 252375 43027 62 12 4.70 5.39/5.45 c 161 1534 126245 494584 3 252577 47330 163 33 4.77 5.39/5.45 c 412 1534 126496 867623 6 253079 52064 414 82 5.00 5.39/5.45 c 887 1534 126971 1573496 12 254029 57271 889 163 5.44 5.39/5.45 o -45 5.446 706.14/706.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 706.14/706.80 c 887 1534 126972 1575030 12 254076 43027 890 162 5.45 706.14/706.80 c 988 1534 127073 1725114 13 254278 47330 991 178 5.53 706.14/706.80 c 1238 1534 127323 2096417 16 254778 52064 1241 215 5.75 706.14/706.80 c 1714 1534 127799 2803316 21 255730 57271 1717 269 6.36 706.14/706.80 c 2528 1534 128613 4012332 31 257358 62999 2531 348 7.25 706.14/706.80 c 3848 1534 129933 5973184 45 259998 69299 3851 429 8.96 706.14/706.80 c 5929 1534 132014 9064376 68 264160 76229 5932 442 13.40 706.14/706.80 c 9153 1534 135238 13853011 102 270608 83852 9156 472 19.38 706.14/706.80 c 14089 1534 140174 21186988 151 280480 92238 14092 345 40.77 706.14/706.80 c 21595 1534 147680 32334663 218 295492 101462 21598 273 79.04 706.14/706.80 c 32957 1534 159042 49205765 309 318216 111609 32960 256 128.51 706.14/706.80 c 50101 1534 176186 74662262 423 352504 122770 50104 255 196.05 706.14/706.80 c 75920 1534 202005 113003864 559 404142 135048 75923 134 562.56 706.14/706.80 c Caught signal: 15 706.14/706.80 v x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 706.14/706.80 v -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 706.14/706.80 v -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 706.14/706.80 v -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 706.14/706.80 v -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 x1454 -x1453 -x1452 -x1451 -x1450 706.14/706.80 v -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 706.14/706.80 v -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 x1417 -x1416 706.14/706.80 v -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 x1401 -x1400 -x1399 706.14/706.80 v -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 706.14/706.80 v -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 706.14/706.80 v -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 706.14/706.80 v -x1347 x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 706.14/706.80 v -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 706.14/706.80 v -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 706.14/706.80 v -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 x1283 -x1282 -x1281 -x1280 706.14/706.80 v -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 x1265 -x1264 -x1263 706.14/706.80 v -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 706.14/706.80 v -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 706.14/706.80 v -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 706.14/706.80 v -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 706.14/706.80 v -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 x1180 -x1179 -x1178 706.14/706.80 v -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 706.14/706.80 v -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 706.14/706.80 v -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 x1127 706.14/706.80 v -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 706.14/706.80 v -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 706.14/706.80 v -x1092 -x1091 -x1090 -x1089 -x1088 x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 706.14/706.80 v -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 x1062 -x1061 -x1060 -x1059 706.14/706.80 v -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 706.14/706.80 v -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 706.14/706.80 v -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 706.14/706.80 v -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 706.14/706.80 v -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 706.14/706.80 v -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 706.14/706.80 v -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 706.14/706.80 v -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 706.14/706.80 v -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 706.14/706.80 v -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 706.14/706.80 v -x862 -x861 -x860 -x859 -x858 -x857 x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 706.14/706.80 v -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 706.14/706.80 v -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 x803 -x802 -x801 -x800 706.14/706.80 v -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 706.14/706.80 v -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 706.14/706.80 v -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 706.14/706.80 v -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 706.14/706.80 v -x715 -x714 -x713 -x712 -x711 -x710 -x709 x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 706.14/706.80 v x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 706.14/706.80 v -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 x659 -x658 -x657 -x656 -x655 -x654 -x653 706.14/706.80 v -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 706.14/706.80 v -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 706.14/706.80 v -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 706.14/706.80 v -x589 x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 706.14/706.80 v -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 706.14/706.80 v -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 706.14/706.80 v -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 706.14/706.80 v -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 706.14/706.80 v -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 706.14/706.80 v -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 706.14/706.80 v -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 706.14/706.80 v -x421 -x420 -x419 x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 706.14/706.80 v -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 706.14/706.80 v -x379 -x378 -x377 -x376 -x375 -x374 -x373 x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 706.14/706.80 v -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 706.14/706.80 v -x337 -x336 x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 706.14/706.80 v -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 706.14/706.80 v -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 706.14/706.80 v -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 706.14/706.80 v -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 706.14/706.80 v -x232 -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 706.14/706.80 v -x211 -x210 -x209 -x208 x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 706.14/706.80 v -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 706.14/706.80 v x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 706.14/706.80 v -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 706.14/706.80 v -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 706.14/706.80 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 706.14/706.80 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 706.14/706.80 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 706.14/706.80 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 706.14/706.80 v -x3 -x2 -x1 706.14/706.80 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 706.14/706.80 c 18 95990 9443 108467 222075 142804513 95993 135 706.15 706.14/706.80 c Objective: -45 706.14/706.80 s SATISFIABLE 706.14/706.80 c Total time: 706.148 s
OK -45
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node11/watcher-433115-1177954606 -o ROOT/results/node11/solver-433115-1177954606 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433115-1177954606/instance-433115-1177954606.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: 0.99 0.97 0.99 2/77 14609 /proc/meminfo: memFree=1695152/2055920 swapFree=4146836/4192956 [pid=14609] ppid=14607 vsize=3828 CPUtime=0 /proc/14609/stat : 14609 (bsolo3.0.17) R 14607 14609 13460 0 -1 4194304 103 0 0 0 0 0 0 0 18 0 1 0 236509564 3919872 86 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7950944 0 0 4096 0 0 0 0 17 0 0 0 /proc/14609/statm: 957 102 85 324 0 15 0 [startup+0.0382709 s] /proc/loadavg: 0.99 0.97 0.99 2/77 14609 /proc/meminfo: memFree=1695152/2055920 swapFree=4146836/4192956 [pid=14609] ppid=14607 vsize=7796 CPUtime=0.03 /proc/14609/stat : 14609 (bsolo3.0.17) R 14607 14609 13460 0 -1 4194304 622 0 0 0 3 0 0 0 18 0 1 0 236509564 7983104 592 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14609/statm: 1949 592 326 324 0 261 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 7796 [startup+0.101273 s] /proc/loadavg: 0.99 0.97 0.99 2/77 14609 /proc/meminfo: memFree=1695152/2055920 swapFree=4146836/4192956 [pid=14609] ppid=14607 vsize=9448 CPUtime=0.09 /proc/14609/stat : 14609 (bsolo3.0.17) R 14607 14609 13460 0 -1 4194304 1133 0 0 0 9 0 0 0 18 0 1 0 236509564 9674752 1103 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14609/statm: 2362 1104 424 324 0 674 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9448 [startup+0.301293 s] /proc/loadavg: 0.99 0.97 0.99 2/77 14609 /proc/meminfo: memFree=1695152/2055920 swapFree=4146836/4192956 [pid=14609] ppid=14607 vsize=14532 CPUtime=0.29 /proc/14609/stat : 14609 (bsolo3.0.17) R 14607 14609 13460 0 -1 4194304 2696 0 0 0 28 1 0 0 19 0 1 0 236509564 14880768 2666 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8401572 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14609/statm: 3633 2666 731 324 0 1945 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14532 [startup+0.701339 s] /proc/loadavg: 0.99 0.97 0.99 2/77 14609 /proc/meminfo: memFree=1695152/2055920 swapFree=4146836/4192956 [pid=14609] ppid=14607 vsize=22388 CPUtime=0.69 /proc/14609/stat : 14609 (bsolo3.0.17) R 14607 14609 13460 0 -1 4194304 5753 0 0 0 67 2 0 0 23 0 1 0 236509564 22925312 4965 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14609/statm: 5597 4965 303 324 0 4667 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 22388 [startup+1.50144 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14610 /proc/meminfo: memFree=1672296/2055920 swapFree=4146836/4192956 [pid=14609] ppid=14607 vsize=26532 CPUtime=1.48 /proc/14609/stat : 14609 (bsolo3.0.17) R 14607 14609 13460 0 -1 4194304 6775 0 0 0 145 3 0 0 25 0 1 0 236509564 27168768 5987 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14609/statm: 6633 5987 305 324 0 5703 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 26532 [startup+3.10162 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14610 /proc/meminfo: memFree=1672168/2055920 swapFree=4146836/4192956 [pid=14609] ppid=14607 vsize=26532 CPUtime=3.08 /proc/14609/stat : 14609 (bsolo3.0.17) R 14607 14609 13460 0 -1 4194304 6775 0 0 0 303 5 0 0 25 0 1 0 236509564 27168768 5987 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14609/statm: 6633 5987 305 324 0 5703 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 26532 [startup+6.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14610 /proc/meminfo: memFree=1660072/2055920 swapFree=4146836/4192956 [pid=14609] ppid=14607 vsize=54220 CPUtime=6.28 /proc/14609/stat : 14609 (bsolo3.0.17) R 14607 14609 13460 0 -1 4194304 15654 0 0 0 617 11 0 0 25 0 1 0 236509564 55521280 12941 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14609/statm: 13555 12941 310 324 0 12625 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 54220 [startup+12.7018 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14610 /proc/meminfo: memFree=1575144/2055920 swapFree=4146836/4192956 [pid=14609] ppid=14607 vsize=129528 CPUtime=12.68 /proc/14609/stat : 14609 (bsolo3.0.17) R 14607 14609 13460 0 -1 4194304 34481 0 0 0 1250 18 0 0 25 0 1 0 236509564 132636672 31768 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14609/statm: 32382 31768 310 324 0 31452 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 129528 [startup+25.5023 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14610 /proc/meminfo: memFree=1456488/2055920 swapFree=4146836/4192956 [pid=14609] ppid=14607 vsize=243168 CPUtime=25.48 /proc/14609/stat : 14609 (bsolo3.0.17) R 14607 14609 13460 0 -1 4194304 62891 0 0 0 2518 30 0 0 25 0 1 0 236509564 249004032 60178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14609/statm: 60792 60178 310 324 0 59862 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 243168 [startup+51.1023 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14610 /proc/meminfo: memFree=1348840/2055920 swapFree=4146836/4192956 [pid=14609] ppid=14607 vsize=353124 CPUtime=51.05 /proc/14609/stat : 14609 (bsolo3.0.17) R 14607 14609 13460 0 -1 4194304 90366 0 0 0 5063 42 0 0 25 0 1 0 236509564 361598976 87653 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14609/statm: 88281 87653 310 324 0 87351 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 353124 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14610 /proc/meminfo: memFree=1136168/2055920 swapFree=4146836/4192956 [pid=14609] ppid=14607 vsize=561808 CPUtime=102.22 /proc/14609/stat : 14609 (bsolo3.0.17) R 14607 14609 13460 0 -1 4194304 142542 0 0 0 10159 63 0 0 25 0 1 0 236509564 575291392 139829 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14609/statm: 140452 139829 310 324 0 139522 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 561808 [startup+162.303 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14610 /proc/meminfo: memFree=850920/2055920 swapFree=4146836/4192956 [pid=14609] ppid=14607 vsize=849604 CPUtime=162.16 /proc/14609/stat : 14609 (bsolo3.0.17) R 14607 14609 13460 0 -1 4194304 214490 0 0 0 16125 91 0 0 25 0 1 0 236509564 869994496 211777 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14609/statm: 212401 211777 310 324 0 211471 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 849604 [startup+222.303 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14610 /proc/meminfo: memFree=602024/2055920 swapFree=4146836/4192956 [pid=14609] ppid=14607 vsize=1095180 CPUtime=222.12 /proc/14609/stat : 14609 (bsolo3.0.17) R 14607 14609 13460 0 -1 4194304 275870 0 0 0 22096 116 0 0 25 0 1 0 236509564 1121464320 273157 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550907 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14609/statm: 273795 273157 310 324 0 272865 0 Current children cumulated CPU time (s) 222.12 Current children cumulated vsize (KiB) 1095180 [startup+282.303 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14610 /proc/meminfo: memFree=485224/2055920 swapFree=4146836/4192956 [pid=14609] ppid=14607 vsize=1212580 CPUtime=282.08 /proc/14609/stat : 14609 (bsolo3.0.17) R 14607 14609 13460 0 -1 4194304 305239 0 0 0 28079 129 0 0 25 0 1 0 236509564 1241681920 302526 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14609/statm: 303145 302526 310 324 0 302215 0 Current children cumulated CPU time (s) 282.08 Current children cumulated vsize (KiB) 1212580 [startup+342.303 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14610 /proc/meminfo: memFree=386408/2055920 swapFree=4146836/4192956 [pid=14609] ppid=14607 vsize=1310360 CPUtime=342.05 /proc/14609/stat : 14609 (bsolo3.0.17) R 14607 14609 13460 0 -1 4194304 329693 0 0 0 34064 141 0 0 25 0 1 0 236509564 1341808640 326980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14609/statm: 327590 326980 310 324 0 326660 0 Current children cumulated CPU time (s) 342.05 Current children cumulated vsize (KiB) 1310360 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14610 /proc/meminfo: memFree=334184/2055920 swapFree=4146836/4192956 [pid=14609] ppid=14607 vsize=1362212 CPUtime=402.01 /proc/14609/stat : 14609 (bsolo3.0.17) R 14607 14609 13460 0 -1 4194304 342628 0 0 0 40055 146 0 0 25 0 1 0 236509564 1394905088 339915 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14609/statm: 340553 339915 310 324 0 339623 0 Current children cumulated CPU time (s) 402.01 Current children cumulated vsize (KiB) 1362212 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14610 /proc/meminfo: memFree=299816/2055920 swapFree=4146836/4192956 [pid=14609] ppid=14607 vsize=1396500 CPUtime=461.96 /proc/14609/stat : 14609 (bsolo3.0.17) R 14607 14609 13460 0 -1 4194304 351219 0 0 0 46047 149 0 0 25 0 1 0 236509564 1430016000 348506 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550907 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14609/statm: 349125 348506 310 324 0 348195 0 Current children cumulated CPU time (s) 461.96 Current children cumulated vsize (KiB) 1396500 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14610 /proc/meminfo: memFree=259688/2055920 swapFree=4146836/4192956 [pid=14609] ppid=14607 vsize=1436872 CPUtime=521.92 /proc/14609/stat : 14609 (bsolo3.0.17) R 14607 14609 13460 0 -1 4194304 361303 0 0 0 52037 155 0 0 25 0 1 0 236509564 1471356928 358590 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14609/statm: 359218 358590 310 324 0 358288 0 Current children cumulated CPU time (s) 521.92 Current children cumulated vsize (KiB) 1436872 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14612 /proc/meminfo: memFree=147240/2055920 swapFree=4146836/4192956 [pid=14609] ppid=14607 vsize=1551068 CPUtime=581.88 /proc/14609/stat : 14609 (bsolo3.0.17) R 14607 14609 13460 0 -1 4194304 389847 0 0 0 58021 167 0 0 25 0 1 0 236509564 1588293632 387134 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14609/statm: 387767 387134 310 324 0 386837 0 Current children cumulated CPU time (s) 581.88 Current children cumulated vsize (KiB) 1551068 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14612 /proc/meminfo: memFree=16040/2055920 swapFree=4146836/4192956 [pid=14609] ppid=14607 vsize=1740064 CPUtime=641.75 /proc/14609/stat : 14609 (bsolo3.0.17) R 14607 14609 13460 0 -1 4194304 437096 0 0 0 63988 187 0 0 25 0 1 0 236509564 1781825536 434383 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14609/statm: 435016 434383 310 324 0 434086 0 Current children cumulated CPU time (s) 641.75 Current children cumulated vsize (KiB) 1740064 [startup+702.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14612 /proc/meminfo: memFree=14824/2055920 swapFree=4147140/4192956 [pid=14609] ppid=14607 vsize=1830224 CPUtime=701.64 /proc/14609/stat : 14609 (bsolo3.0.17) R 14607 14609 13460 0 -1 4194304 459632 0 0 0 69968 196 0 0 25 0 1 0 236509564 1874149376 456919 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14609/statm: 457556 456919 310 324 0 456626 0 Current children cumulated CPU time (s) 701.64 Current children cumulated vsize (KiB) 1830224 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+706.801 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14612 /proc/meminfo: memFree=14952/2055920 swapFree=4147108/4192956 [pid=14609] ppid=14607 vsize=1843232 CPUtime=706.14 /proc/14609/stat : 14609 (bsolo3.0.17) R 14607 14609 13460 0 -1 4194304 462902 0 0 0 70416 198 0 0 25 0 1 0 236509564 1887469568 460189 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14609/statm: 460808 460189 310 324 0 459878 0 Current children cumulated CPU time (s) 706.14 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+707.001 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14612 /proc/meminfo: memFree=14952/2055920 swapFree=4147108/4192956 [pid=14609] ppid=14607 vsize=0 CPUtime=706.34 /proc/14609/stat : 14609 (bsolo3.0.17) R 14607 14609 13460 0 -1 4194308 462906 0 0 0 70416 218 0 0 25 0 1 0 236509564 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 0 0 0 /proc/14609/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 706.34 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 707.081 CPU time (s): 706.424 CPU user time (s): 704.164 CPU system time (s): 2.25966 CPU usage (%): 99.907 Max. virtual memory (cumulated for all children) (KiB): 1843232 getrusage(RUSAGE_CHILDREN,...) data: user time used= 704.164 system time used= 2.25966 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 462906 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= 14648 runsolver used 0.659899 second user time and 1.92271 second system time The end
Begin job on node11 on Mon Apr 30 17:36:46 UTC 2007 IDJOB= 433115 IDBENCH= 2267 IDSOLVER= 199 FILE ID= node11/433115-1177954606 PBS_JOBID= 4727678 Free space on /tmp= 66555 MiB SOLVER NAME= bsolo 3.0.17 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.17 -m1800 /tmp/evaluation/433115-1177954606/instance-433115-1177954606.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-433115-1177954606 -o ROOT/results/node11/solver-433115-1177954606 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433115-1177954606/instance-433115-1177954606.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 36a19a7aeba117287b60c4673ad89664 RANDOM SEED= 325836099 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node11.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.235 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.235 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: 1695560 kB Buffers: 41404 kB Cached: 221140 kB SwapCached: 14692 kB Active: 135208 kB Inactive: 152516 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1695560 kB SwapTotal: 4192956 kB SwapFree: 4146836 kB Dirty: 9632 kB Writeback: 0 kB Mapped: 31928 kB Slab: 58096 kB Committed_AS: 6478040 kB PageTables: 1852 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= 66555 MiB End job on node11 on Mon Apr 30 17:48:35 UTC 2007