Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | SAT | 234.185 | 234.262 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb |
MD5SUM | 2882e17c9be8b3b8a5ac8492f26b9dcd |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 1.9617 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 1600 |
Total number of constraints | 328901 |
Number of constraints which are clauses | 327070 |
Number of constraints which are cardinality constraints (but not clauses) | 61 |
Number of constraints which are nor clauses,nor cardinality constraints | 1770 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 700 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 280 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 825 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 6.22 c Initial problem consists of 1600 variables and 328962 constraints. 96.22 c Using non-optimization problem switches. 96.22 c No problem reductions applied in OPT. instance. 96.22 c preprocess terminated. Elapsed time: 96.188 96.22 c After prepocess the problem consists of 1600 variables and 307962 constraints. 100.38 c Restart #1 #Var: 1600 LB: 0 @ 100.34 106.83 c Restart #2 #Var: 1600 LB: 0 @ 106.79 117.90 c Restart #3 #Var: 1600 LB: 0 @ 117.86 134.35 c Restart #4 #Var: 1600 LB: 0 @ 134.31 152.65 c Restart #5 #Var: 1600 LB: 0 @ 152.6 180.11 c Restart #6 #Var: 1600 LB: 0 @ 180.05 229.49 c Restart #7 #Var: 1600 LB: 0 @ 229.42 234.22 c Sol. found (all assignments made)... 234.22 o 0 234.22 c NEW SOLUTION FOUND: 0 @ 234.15 234.23 s SATISFIABLE 234.23 c Cost: 0 234.23 v -x2 -x901 x3 -x902 -x4 -x903 -x5 -x904 -x7 -x905 -x8 x906 -x9 -x907 -x10 -x908 -x11 -x909 -x12 -x910 -x13 -x911 -x15 -x912 -x16 234.23 v -x913 -x17 -x914 -x20 -x915 -x21 -x916 -x22 -x917 -x23 -x918 -x24 -x919 -x25 -x920 -x26 -x921 -x28 -x922 -x29 -x923 -x30 -x924 234.23 v -x1 -x925 -x926 -x927 -x6 -x928 -x929 -x930 -x931 -x932 -x14 -x933 x934 -x935 -x936 -x18 -x937 -x19 -x938 -x939 x940 -x941 234.23 v -x942 -x943 -x944 -x945 x946 x947 -x948 -x949 -x950 -x951 -x952 -x953 x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 234.23 v -x963 -x964 -x965 -x966 -x27 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 234.23 v -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 234.23 v -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 234.23 v -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 234.23 v -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 234.23 v -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 x1065 -x1066 -x1067 -x1068 -x1069 -x1070 234.23 v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 234.23 v -x1088 -x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 234.23 v -x1105 -x1106 -x1107 -x1108 -x1109 x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 234.23 v -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 234.23 v -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 234.23 v -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 234.23 v -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 234.23 v -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 234.23 v -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223 234.23 v -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 234.23 v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 234.23 v -x1258 -x1259 x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 234.23 v -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 234.23 v -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 234.23 v -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 234.23 v -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 234.23 v -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 x1352 -x1353 x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 234.23 v -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 x1376 -x1377 234.23 v -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 234.23 v -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 234.23 v -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 x1426 -x1427 -x1428 234.23 v -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 234.23 v -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 234.23 v -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 234.23 v -x1480 -x1481 -x1482 x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 234.23 v -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 x1509 -x1510 -x1511 -x1512 -x1513 234.23 v -x1514 -x1515 x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 x1527 -x1528 -x1529 -x1530 -x1531 234.23 v -x1532 x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 234.23 v -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 234.23 v -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 234.23 v -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 234.23 v -x1600 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 234.23 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 234.23 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 234.23 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 234.23 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 234.23 v -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 234.23 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 234.23 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 234.23 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 234.23 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 234.23 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 234.23 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 234.23 v -x294 -x295 -x296 -x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 234.23 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 234.23 v -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 234.23 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 234.23 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 234.23 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 234.23 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 234.23 v x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 234.23 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 234.23 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 -x502 -x503 234.23 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 234.23 v x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 -x542 -x543 -x544 -x545 234.23 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 234.23 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 234.23 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 234.23 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 234.23 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 234.23 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 x666 -x667 -x668 -x669 -x670 -x671 234.23 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 234.23 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 x709 -x710 -x711 -x712 -x713 234.23 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 234.23 v -x735 -x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 234.23 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 x776 234.23 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 234.23 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 234.23 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 x834 -x835 -x836 -x837 -x838 -x839 234.23 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 x854 -x855 -x856 -x857 -x858 -x859 -x860 234.23 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 234.23 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 x900 234.23 c Exit Code: 10 234.23 c Total time: 234.15 s
OK 0
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node27/watcher-39627-1149226521 -o ROOT/results/node27/solver-39627-1149226521 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node27/39627-1149226521/instance-39627-1149226521.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.86 0.94 0.90 2/64 16509 /proc/meminfo: memFree=1385936/2055920 swapFree=4180900/4192956 [pid=16509] ppid=16507 vsize=4932 CPUtime=0 /proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 361 0 0 0 0 0 0 0 18 0 1 0 188315621 5050368 325 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1737312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16509/statm: 1233 330 226 55 0 125 0 [startup+10.0023 s] /proc/loadavg: 0.88 0.94 0.90 2/64 16509 /proc/meminfo: memFree=1215064/2055920 swapFree=4180900/4192956 [pid=16509] ppid=16507 vsize=175172 CPUtime=9.98 /proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 43024 0 0 0 977 21 0 0 25 0 1 0 188315621 179376128 42939 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645354 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16509/statm: 43793 42939 288 55 0 42685 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 175172 [startup+20.0093 s] /proc/loadavg: 0.90 0.94 0.90 2/64 16509 /proc/meminfo: memFree=1215136/2055920 swapFree=4180900/4192956 [pid=16509] ppid=16507 vsize=175172 CPUtime=19.99 /proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 43024 0 0 0 1978 21 0 0 25 0 1 0 188315621 179376128 42939 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16509/statm: 43793 42939 288 55 0 42685 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 175172 [startup+30.0153 s] /proc/loadavg: 0.91 0.94 0.90 2/64 16509 /proc/meminfo: memFree=1215264/2055920 swapFree=4180900/4192956 [pid=16509] ppid=16507 vsize=175172 CPUtime=29.99 /proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 43024 0 0 0 2978 21 0 0 25 0 1 0 188315621 179376128 42939 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16509/statm: 43793 42939 288 55 0 42685 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 175172 [startup+40.0213 s] /proc/loadavg: 0.93 0.94 0.90 2/64 16509 /proc/meminfo: memFree=1215264/2055920 swapFree=4180900/4192956 [pid=16509] ppid=16507 vsize=175172 CPUtime=39.99 /proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 43024 0 0 0 3978 21 0 0 25 0 1 0 188315621 179376128 42939 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16509/statm: 43793 42939 288 55 0 42685 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 175172 [startup+50.0274 s] /proc/loadavg: 0.94 0.95 0.91 2/64 16509 /proc/meminfo: memFree=1215328/2055920 swapFree=4180900/4192956 [pid=16509] ppid=16507 vsize=175172 CPUtime=50 /proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 43024 0 0 0 4979 21 0 0 25 0 1 0 188315621 179376128 42939 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16509/statm: 43793 42939 288 55 0 42685 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 175172 [startup+60.0334 s] /proc/loadavg: 0.95 0.95 0.91 2/64 16509 /proc/meminfo: memFree=1215328/2055920 swapFree=4180900/4192956 [pid=16509] ppid=16507 vsize=175172 CPUtime=60 /proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 43024 0 0 0 5979 21 0 0 25 0 1 0 188315621 179376128 42939 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16509/statm: 43793 42939 288 55 0 42685 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 175172 [startup+70.0404 s] /proc/loadavg: 0.95 0.95 0.91 2/64 16509 /proc/meminfo: memFree=1215328/2055920 swapFree=4180900/4192956 [pid=16509] ppid=16507 vsize=175172 CPUtime=70 /proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 43024 0 0 0 6979 21 0 0 25 0 1 0 188315621 179376128 42939 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644958 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16509/statm: 43793 42939 288 55 0 42685 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 175172 [startup+80.0475 s] /proc/loadavg: 0.96 0.95 0.91 2/64 16509 /proc/meminfo: memFree=1215328/2055920 swapFree=4180900/4192956 [pid=16509] ppid=16507 vsize=175172 CPUtime=80.01 /proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 43024 0 0 0 7980 21 0 0 25 0 1 0 188315621 179376128 42939 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16509/statm: 43793 42939 288 55 0 42685 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 175172 [startup+90.0535 s] /proc/loadavg: 0.97 0.95 0.91 2/64 16509 /proc/meminfo: memFree=1215328/2055920 swapFree=4180900/4192956 [pid=16509] ppid=16507 vsize=175172 CPUtime=90.01 /proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 43024 0 0 0 8980 21 0 0 25 0 1 0 188315621 179376128 42939 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555909 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16509/statm: 43793 42939 288 55 0 42685 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 175172 [startup+100.06 s] /proc/loadavg: 0.97 0.95 0.91 2/64 16509 /proc/meminfo: memFree=1206560/2055920 swapFree=4180900/4192956 [pid=16509] ppid=16507 vsize=183860 CPUtime=100.01 /proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 45210 0 0 0 9979 22 0 0 25 0 1 0 188315621 188272640 45125 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529320 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16509/statm: 45965 45125 297 55 0 44857 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 183860 [startup+110.067 s] /proc/loadavg: 0.97 0.95 0.91 2/64 16509 /proc/meminfo: memFree=1206432/2055920 swapFree=4180900/4192956 [pid=16509] ppid=16507 vsize=183992 CPUtime=110.02 /proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 45247 0 0 0 10979 23 0 0 25 0 1 0 188315621 188407808 45162 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16509/statm: 45998 45162 297 55 0 44890 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 183992 [startup+120.073 s] /proc/loadavg: 0.98 0.95 0.91 2/64 16509 /proc/meminfo: memFree=1206304/2055920 swapFree=4180900/4192956 [pid=16509] ppid=16507 vsize=184124 CPUtime=120.02 /proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 45267 0 0 0 11979 23 0 0 25 0 1 0 188315621 188542976 45182 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16509/statm: 46031 45182 297 55 0 44923 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 184124 [startup+130.079 s] /proc/loadavg: 0.98 0.95 0.91 2/64 16509 /proc/meminfo: memFree=1206304/2055920 swapFree=4180900/4192956 [pid=16509] ppid=16507 vsize=184256 CPUtime=130.03 /proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 45293 0 0 0 12980 23 0 0 25 0 1 0 188315621 188678144 45208 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16509/statm: 46064 45208 297 55 0 44956 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 184256 [startup+140.084 s] /proc/loadavg: 0.98 0.95 0.91 2/64 16509 /proc/meminfo: memFree=1206112/2055920 swapFree=4180900/4192956 [pid=16509] ppid=16507 vsize=184384 CPUtime=140.03 /proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 45329 0 0 0 13979 24 0 0 25 0 1 0 188315621 188809216 45244 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537637 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16509/statm: 46096 45244 297 55 0 44988 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 184384 [startup+150.09 s] /proc/loadavg: 0.99 0.95 0.91 2/64 16509 /proc/meminfo: memFree=1205920/2055920 swapFree=4180900/4192956 [pid=16509] ppid=16507 vsize=184516 CPUtime=150.03 /proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 45372 0 0 0 14979 24 0 0 25 0 1 0 188315621 188944384 45287 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16509/statm: 46129 45287 297 55 0 45021 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 184516 [startup+160.096 s] /proc/loadavg: 0.99 0.96 0.91 2/64 16509 /proc/meminfo: memFree=1205856/2055920 swapFree=4180900/4192956 [pid=16509] ppid=16507 vsize=184516 CPUtime=160.03 /proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 45383 0 0 0 15979 24 0 0 25 0 1 0 188315621 188944384 45298 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541526 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16509/statm: 46129 45298 297 55 0 45021 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 184516 [startup+170.102 s] /proc/loadavg: 0.99 0.96 0.91 2/64 16509 /proc/meminfo: memFree=1205856/2055920 swapFree=4180900/4192956 [pid=16509] ppid=16507 vsize=184648 CPUtime=170.04 /proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 45390 0 0 0 16979 25 0 0 25 0 1 0 188315621 189079552 45305 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16509/statm: 46162 45305 297 55 0 45054 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 184648 [startup+180.108 s] /proc/loadavg: 0.99 0.96 0.91 2/64 16509 /proc/meminfo: memFree=1205792/2055920 swapFree=4180900/4192956 [pid=16509] ppid=16507 vsize=184648 CPUtime=180.04 /proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 45401 0 0 0 17979 25 0 0 25 0 1 0 188315621 189079552 45316 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134590381 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16509/statm: 46162 45316 297 55 0 45054 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 184648 [startup+190.115 s] /proc/loadavg: 0.99 0.96 0.91 2/64 16509 /proc/meminfo: memFree=1205728/2055920 swapFree=4180900/4192956 [pid=16509] ppid=16507 vsize=184648 CPUtime=190.05 /proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 45410 0 0 0 18979 26 0 0 25 0 1 0 188315621 189079552 45325 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16509/statm: 46162 45325 297 55 0 45054 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 184648 [startup+200.12 s] /proc/loadavg: 0.99 0.96 0.91 2/64 16509 /proc/meminfo: memFree=1205664/2055920 swapFree=4180900/4192956 [pid=16509] ppid=16507 vsize=184780 CPUtime=200.05 /proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 45422 0 0 0 19978 27 0 0 25 0 1 0 188315621 189214720 45337 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16509/statm: 46195 45337 297 55 0 45087 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 184780 [startup+210.126 s] /proc/loadavg: 0.99 0.96 0.91 2/64 16509 /proc/meminfo: memFree=1205728/2055920 swapFree=4180900/4192956 [pid=16509] ppid=16507 vsize=184780 CPUtime=210.05 /proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 45428 0 0 0 20978 27 0 0 25 0 1 0 188315621 189214720 45343 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16509/statm: 46195 45343 297 55 0 45087 0 Current children cumulated CPU time (s) 210.05 Current children cumulated vsize (Kb) 184780 [startup+220.132 s] /proc/loadavg: 0.99 0.96 0.91 2/64 16509 /proc/meminfo: memFree=1205664/2055920 swapFree=4180900/4192956 [pid=16509] ppid=16507 vsize=184780 CPUtime=220.06 /proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 45437 0 0 0 21978 28 0 0 25 0 1 0 188315621 189214720 45352 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16509/statm: 46195 45352 297 55 0 45087 0 Current children cumulated CPU time (s) 220.06 Current children cumulated vsize (Kb) 184780 [startup+230.138 s] /proc/loadavg: 0.99 0.96 0.91 2/64 16509 /proc/meminfo: memFree=1205536/2055920 swapFree=4180900/4192956 [pid=16509] ppid=16507 vsize=184912 CPUtime=230.05 /proc/16509/stat : 16509 (bsolo) R 16507 16509 16464 0 -1 0 45469 0 0 0 22977 28 0 0 25 0 1 0 188315621 189349888 45384 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540561 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16509/statm: 46228 45384 297 55 0 45120 0 Current children cumulated CPU time (s) 230.05 Current children cumulated vsize (Kb) 184912 Child status: 10 Real time (s): 234.262 CPU time (s): 234.185 CPU user time (s): 233.859 CPU system time (s): 0.32595 CPU usage (%): 99.9674 Max. virtual memory (cumulated for all children) (Kb): 184912
Begin job on node27 on Fri Jun 2 05:35:21 UTC 2006 FILE ID= 39627-1149226521 PBS_JOBID= 295904 BENCH NAME= ROOT/tmp/node27/39627-1149226521/instance-39627-1149226521.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node27/39627-1149226521/instance-39627-1149226521.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-39627-1149226521 -o ROOT/results/node27/solver-39627-1149226521 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node27/39627-1149226521/instance-39627-1149226521.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 2882e17c9be8b3b8a5ac8492f26b9dcd RANDOM SEED= 731355839 /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.234 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.234 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: 1386144 kB Buffers: 35204 kB Cached: 560640 kB SwapCached: 3916 kB Active: 163880 kB Inactive: 440820 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1386144 kB SwapTotal: 4192956 kB SwapFree: 4180900 kB Dirty: 256 kB Writeback: 0 kB Mapped: 14764 kB Slab: 51168 kB Committed_AS: 260100 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node27 on Fri Jun 2 05:39:16 UTC 2006