Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | SAT | 238.183 | 238.393 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb |
MD5SUM | 513c9c3498927a8710f266699385db2b |
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 | 3.23351 |
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 | 302 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 891 |
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.14 c INFO: OSL Context initialized. 6.24 c Initial problem consists of 1600 variables and 328962 constraints. 95.63 c Using non-optimization problem switches. 95.63 c No problem reductions applied in OPT. instance. 95.63 c preprocess terminated. Elapsed time: 95.465 95.63 c After prepocess the problem consists of 1600 variables and 307962 constraints. 100.18 c Restart #1 #Var: 1600 LB: 0 @ 100.01 107.44 c Restart #2 #Var: 1600 LB: 0 @ 107.26 119.37 c Restart #3 #Var: 1600 LB: 0 @ 119.19 134.92 c Restart #4 #Var: 1600 LB: 0 @ 134.74 155.23 c Restart #5 #Var: 1600 LB: 0 @ 155.04 189.79 c Restart #6 #Var: 1600 LB: 0 @ 189.59 232.44 c Restart #7 #Var: 1600 LB: 0 @ 232.23 237.67 c Restart #8 #Var: 1600 LB: 0 @ 237.47 238.36 c Sol. found (all assignments made)... 238.36 o 0 238.36 c NEW SOLUTION FOUND: 0 @ 238.15 238.36 s SATISFIABLE 238.36 c Cost: 0 238.36 v -x3 -x901 -x4 -x902 -x5 -x903 -x6 -x904 -x7 -x905 -x8 -x906 -x11 x907 -x12 x908 -x13 -x909 -x14 -x910 -x15 -x911 -x17 -x912 -x18 238.36 v -x913 -x19 -x914 -x20 x915 x22 -x916 -x23 -x917 -x24 -x918 -x25 -x919 -x26 -x920 -x27 -x921 -x28 x922 -x30 -x923 -x924 -x925 238.36 v -x926 -x927 -x9 -x928 -x10 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 238.36 v -x1 -x945 -x2 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x16 -x957 -x958 -x959 -x960 -x961 -x21 -x962 238.36 v -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x29 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 x981 -x982 238.36 v -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 x997 x998 -x999 -x1000 -x1001 -x1002 238.36 v -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 x1019 238.36 v -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 238.36 v -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 238.36 v -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 x1066 -x1067 -x1068 -x1069 -x1070 238.36 v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 238.36 v -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 238.36 v -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 238.36 v -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 238.36 v -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 238.36 v -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 x1171 -x1172 x1173 238.36 v -x1174 -x1175 -x1176 -x1177 x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 238.36 v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 x1204 -x1205 -x1206 -x1207 238.36 v -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 238.36 v -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 x1236 -x1237 -x1238 -x1239 -x1240 -x1241 238.36 v -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 238.36 v -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 238.36 v -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 238.36 v x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 238.36 v -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 238.36 v -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 238.36 v -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 238.36 v -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 238.36 v -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 238.36 v -x1396 -x1397 -x1398 -x1399 -x1400 x1401 -x1402 -x1403 x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 238.36 v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 x1428 -x1429 x1430 -x1431 238.36 v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 238.36 v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 238.36 v -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 238.36 v -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 x1496 -x1497 -x1498 -x1499 238.36 v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 238.36 v -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 x1527 -x1528 -x1529 -x1530 x1531 -x1532 -x1533 x1534 238.36 v -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 238.36 v -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 238.36 v -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 238.36 v -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 x31 -x32 -x33 238.36 v -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 238.36 v -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 238.36 v -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 238.36 v -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 238.36 v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 238.36 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 x171 238.36 v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 238.36 v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 -x213 238.36 v -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 238.36 v -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 238.36 v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 238.36 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 238.36 v -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 238.36 v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 238.36 v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 238.36 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 238.36 v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 238.36 v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 238.36 v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 x444 238.36 v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 238.36 v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 x483 -x484 -x485 -x486 238.36 v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 238.36 v -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 238.36 v -x529 -x530 -x531 -x532 -x533 -x534 -x535 x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 238.36 v -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 238.36 v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 -x589 -x590 -x591 238.36 v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 x607 -x608 -x609 -x610 -x611 -x612 238.36 v -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 238.36 v -x634 -x635 -x636 -x637 -x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 238.36 v -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 238.36 v x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 238.36 v -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 x715 -x716 -x717 238.36 v -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 238.36 v -x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 238.36 v -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 x780 238.36 v -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 x799 -x800 -x801 238.36 v -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 x820 -x821 -x822 238.36 v -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 238.36 v -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 238.36 v -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 238.36 v -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 x899 -x900 238.36 c Exit Code: 10 238.36 c Total time: 238.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/node66/watcher-39635-1149227221 -o ROOT/results/node66/solver-39635-1149227221 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node66/39635-1149227221/instance-39635-1149227221.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.45 0.80 0.89 2/64 10206 /proc/meminfo: memFree=1312296/2055920 swapFree=4182232/4192956 [pid=10206] ppid=10204 vsize=2900 CPUtime=0 /proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 43 0 0 0 0 0 0 0 18 0 1 0 188390804 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9841293 0 0 4096 0 0 0 0 17 1 0 0 /proc/10206/statm: 737 34 26 55 0 38 0 [startup+10.0025 s] /proc/loadavg: 0.54 0.81 0.89 2/64 10206 /proc/meminfo: memFree=1141552/2055920 swapFree=4182232/4192956 [pid=10206] ppid=10204 vsize=175388 CPUtime=9.85 /proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 43078 0 0 0 964 21 0 0 25 0 1 0 188390804 179597312 42993 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10206/statm: 43847 42993 288 55 0 42739 0 Current children cumulated CPU time (s) 9.85 Current children cumulated vsize (Kb) 175388 [startup+20.0097 s] /proc/loadavg: 0.61 0.81 0.89 2/64 10206 /proc/meminfo: memFree=1141552/2055920 swapFree=4182232/4192956 [pid=10206] ppid=10204 vsize=175388 CPUtime=19.85 /proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 43078 0 0 0 1964 21 0 0 25 0 1 0 188390804 179597312 42993 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557720 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10206/statm: 43847 42993 288 55 0 42739 0 Current children cumulated CPU time (s) 19.85 Current children cumulated vsize (Kb) 175388 [startup+30.0169 s] /proc/loadavg: 0.67 0.82 0.89 2/64 10206 /proc/meminfo: memFree=1141616/2055920 swapFree=4182232/4192956 [pid=10206] ppid=10204 vsize=175388 CPUtime=29.86 /proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 43078 0 0 0 2965 21 0 0 25 0 1 0 188390804 179597312 42993 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10206/statm: 43847 42993 288 55 0 42739 0 Current children cumulated CPU time (s) 29.86 Current children cumulated vsize (Kb) 175388 [startup+40.0222 s] /proc/loadavg: 0.72 0.82 0.89 2/64 10206 /proc/meminfo: memFree=1141680/2055920 swapFree=4182232/4192956 [pid=10206] ppid=10204 vsize=175388 CPUtime=39.86 /proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 43078 0 0 0 3965 21 0 0 25 0 1 0 188390804 179597312 42993 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10206/statm: 43847 42993 288 55 0 42739 0 Current children cumulated CPU time (s) 39.86 Current children cumulated vsize (Kb) 175388 [startup+50.0284 s] /proc/loadavg: 0.76 0.83 0.89 2/64 10206 /proc/meminfo: memFree=1141680/2055920 swapFree=4182232/4192956 [pid=10206] ppid=10204 vsize=175388 CPUtime=49.86 /proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 43078 0 0 0 4965 21 0 0 25 0 1 0 188390804 179597312 42993 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542092 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10206/statm: 43847 42993 288 55 0 42739 0 Current children cumulated CPU time (s) 49.86 Current children cumulated vsize (Kb) 175388 [startup+60.0347 s] /proc/loadavg: 0.80 0.83 0.90 2/64 10206 /proc/meminfo: memFree=1141680/2055920 swapFree=4182232/4192956 [pid=10206] ppid=10204 vsize=175388 CPUtime=59.86 /proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 43078 0 0 0 5965 21 0 0 25 0 1 0 188390804 179597312 42993 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541640 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10206/statm: 43847 42993 288 55 0 42739 0 Current children cumulated CPU time (s) 59.86 Current children cumulated vsize (Kb) 175388 [startup+70.0409 s] /proc/loadavg: 0.83 0.84 0.90 2/64 10206 /proc/meminfo: memFree=1141680/2055920 swapFree=4182232/4192956 [pid=10206] ppid=10204 vsize=175388 CPUtime=69.87 /proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 43078 0 0 0 6966 21 0 0 25 0 1 0 188390804 179597312 42993 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541672 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10206/statm: 43847 42993 288 55 0 42739 0 Current children cumulated CPU time (s) 69.87 Current children cumulated vsize (Kb) 175388 [startup+80.0471 s] /proc/loadavg: 0.85 0.84 0.90 2/64 10206 /proc/meminfo: memFree=1141680/2055920 swapFree=4182232/4192956 [pid=10206] ppid=10204 vsize=175388 CPUtime=79.87 /proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 43078 0 0 0 7966 21 0 0 25 0 1 0 188390804 179597312 42993 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540883 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10206/statm: 43847 42993 288 55 0 42739 0 Current children cumulated CPU time (s) 79.87 Current children cumulated vsize (Kb) 175388 [startup+90.0534 s] /proc/loadavg: 0.88 0.85 0.90 2/64 10206 /proc/meminfo: memFree=1141680/2055920 swapFree=4182232/4192956 [pid=10206] ppid=10204 vsize=175388 CPUtime=89.88 /proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 43078 0 0 0 8967 21 0 0 25 0 1 0 188390804 179597312 42993 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10206/statm: 43847 42993 288 55 0 42739 0 Current children cumulated CPU time (s) 89.88 Current children cumulated vsize (Kb) 175388 [startup+100.059 s] /proc/loadavg: 0.89 0.85 0.90 2/64 10206 /proc/meminfo: memFree=1132976/2055920 swapFree=4182232/4192956 [pid=10206] ppid=10204 vsize=184076 CPUtime=99.88 /proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 45259 0 0 0 9965 23 0 0 25 0 1 0 188390804 188493824 45174 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10206/statm: 46019 45174 297 55 0 44911 0 Current children cumulated CPU time (s) 99.88 Current children cumulated vsize (Kb) 184076 [startup+110.065 s] /proc/loadavg: 0.91 0.86 0.90 2/64 10206 /proc/meminfo: memFree=1132784/2055920 swapFree=4182232/4192956 [pid=10206] ppid=10204 vsize=184208 CPUtime=109.88 /proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 45295 0 0 0 10965 23 0 0 25 0 1 0 188390804 188628992 45210 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10206/statm: 46052 45210 297 55 0 44944 0 Current children cumulated CPU time (s) 109.88 Current children cumulated vsize (Kb) 184208 [startup+120.071 s] /proc/loadavg: 0.92 0.86 0.90 2/64 10206 /proc/meminfo: memFree=1132720/2055920 swapFree=4182232/4192956 [pid=10206] ppid=10204 vsize=184336 CPUtime=119.88 /proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 45319 0 0 0 11965 23 0 0 25 0 1 0 188390804 188760064 45234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10206/statm: 46084 45234 297 55 0 44976 0 Current children cumulated CPU time (s) 119.88 Current children cumulated vsize (Kb) 184336 [startup+130.077 s] /proc/loadavg: 0.93 0.86 0.90 2/64 10206 /proc/meminfo: memFree=1132528/2055920 swapFree=4182232/4192956 [pid=10206] ppid=10204 vsize=184468 CPUtime=129.9 /proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 45361 0 0 0 12966 24 0 0 25 0 1 0 188390804 188895232 45276 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10206/statm: 46117 45276 297 55 0 45009 0 Current children cumulated CPU time (s) 129.9 Current children cumulated vsize (Kb) 184468 [startup+140.084 s] /proc/loadavg: 0.94 0.87 0.90 2/64 10206 /proc/meminfo: memFree=1132400/2055920 swapFree=4182232/4192956 [pid=10206] ppid=10204 vsize=184588 CPUtime=139.9 /proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 45386 0 0 0 13966 24 0 0 25 0 1 0 188390804 189018112 45301 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10206/statm: 46147 45301 297 55 0 45039 0 Current children cumulated CPU time (s) 139.9 Current children cumulated vsize (Kb) 184588 [startup+150.09 s] /proc/loadavg: 0.95 0.87 0.90 2/64 10206 /proc/meminfo: memFree=1132208/2055920 swapFree=4182232/4192956 [pid=10206] ppid=10204 vsize=184720 CPUtime=149.9 /proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 45434 0 0 0 14966 24 0 0 25 0 1 0 188390804 189153280 45349 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541588 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10206/statm: 46180 45349 297 55 0 45072 0 Current children cumulated CPU time (s) 149.9 Current children cumulated vsize (Kb) 184720 [startup+160.096 s] /proc/loadavg: 0.96 0.88 0.91 2/64 10206 /proc/meminfo: memFree=1132144/2055920 swapFree=4182232/4192956 [pid=10206] ppid=10204 vsize=184848 CPUtime=159.9 /proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 45444 0 0 0 15966 24 0 0 25 0 1 0 188390804 189284352 45359 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10206/statm: 46212 45359 297 55 0 45104 0 Current children cumulated CPU time (s) 159.9 Current children cumulated vsize (Kb) 184848 [startup+170.102 s] /proc/loadavg: 0.96 0.88 0.91 2/64 10206 /proc/meminfo: memFree=1132144/2055920 swapFree=4182232/4192956 [pid=10206] ppid=10204 vsize=184848 CPUtime=169.91 /proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 45448 0 0 0 16966 25 0 0 25 0 1 0 188390804 189284352 45363 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537786 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10206/statm: 46212 45363 297 55 0 45104 0 Current children cumulated CPU time (s) 169.91 Current children cumulated vsize (Kb) 184848 [startup+180.109 s] /proc/loadavg: 0.97 0.88 0.91 2/64 10206 /proc/meminfo: memFree=1132144/2055920 swapFree=4182232/4192956 [pid=10206] ppid=10204 vsize=184848 CPUtime=179.91 /proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 45457 0 0 0 17966 25 0 0 25 0 1 0 188390804 189284352 45372 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10206/statm: 46212 45372 297 55 0 45104 0 Current children cumulated CPU time (s) 179.91 Current children cumulated vsize (Kb) 184848 [startup+190.115 s] /proc/loadavg: 0.97 0.89 0.91 2/64 10206 /proc/meminfo: memFree=1132080/2055920 swapFree=4182232/4192956 [pid=10206] ppid=10204 vsize=184848 CPUtime=189.91 /proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 45467 0 0 0 18965 26 0 0 25 0 1 0 188390804 189284352 45382 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534109 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10206/statm: 46212 45382 297 55 0 45104 0 Current children cumulated CPU time (s) 189.91 Current children cumulated vsize (Kb) 184848 [startup+200.121 s] /proc/loadavg: 0.98 0.89 0.91 2/64 10206 /proc/meminfo: memFree=1132080/2055920 swapFree=4182232/4192956 [pid=10206] ppid=10204 vsize=184980 CPUtime=199.92 /proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 45478 0 0 0 19965 27 0 0 25 0 1 0 188390804 189419520 45393 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10206/statm: 46245 45393 297 55 0 45137 0 Current children cumulated CPU time (s) 199.92 Current children cumulated vsize (Kb) 184980 [startup+210.127 s] /proc/loadavg: 0.98 0.89 0.91 2/64 10206 /proc/meminfo: memFree=1132016/2055920 swapFree=4182232/4192956 [pid=10206] ppid=10204 vsize=184980 CPUtime=209.92 /proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 45489 0 0 0 20965 27 0 0 25 0 1 0 188390804 189419520 45404 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528802 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10206/statm: 46245 45404 297 55 0 45137 0 Current children cumulated CPU time (s) 209.92 Current children cumulated vsize (Kb) 184980 [startup+220.134 s] /proc/loadavg: 0.98 0.90 0.91 2/64 10206 /proc/meminfo: memFree=1131952/2055920 swapFree=4182232/4192956 [pid=10206] ppid=10204 vsize=185112 CPUtime=219.92 /proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 45502 0 0 0 21964 28 0 0 25 0 1 0 188390804 189554688 45417 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541428 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10206/statm: 46278 45417 297 55 0 45170 0 Current children cumulated CPU time (s) 219.92 Current children cumulated vsize (Kb) 185112 [startup+230.14 s] /proc/loadavg: 0.98 0.90 0.91 2/64 10206 /proc/meminfo: memFree=1131952/2055920 swapFree=4182232/4192956 [pid=10206] ppid=10204 vsize=185112 CPUtime=229.92 /proc/10206/stat : 10206 (bsolo) R 10204 10206 10161 0 -1 0 45514 0 0 0 22963 29 0 0 25 0 1 0 188390804 189554688 45429 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541373 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10206/statm: 46278 45429 297 55 0 45170 0 Current children cumulated CPU time (s) 229.92 Current children cumulated vsize (Kb) 185112 Child status: 10 Real time (s): 238.393 CPU time (s): 238.183 CPU user time (s): 237.847 CPU system time (s): 0.335948 CPU usage (%): 99.9116 Max. virtual memory (cumulated for all children) (Kb): 185112
Begin job on node66 on Fri Jun 2 05:47:03 UTC 2006 FILE ID= 39635-1149227221 PBS_JOBID= 296008 BENCH NAME= ROOT/tmp/node66/39635-1149227221/instance-39635-1149227221.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node66/39635-1149227221/instance-39635-1149227221.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node66/watcher-39635-1149227221 -o ROOT/results/node66/solver-39635-1149227221 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node66/39635-1149227221/instance-39635-1149227221.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 513c9c3498927a8710f266699385db2b RANDOM SEED= 630276732 /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.225 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.225 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: 1312632 kB Buffers: 35692 kB Cached: 633544 kB SwapCached: 2536 kB Active: 119004 kB Inactive: 559064 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1312632 kB SwapTotal: 4192956 kB SwapFree: 4182232 kB Dirty: 160 kB Writeback: 0 kB Mapped: 15184 kB Slab: 51312 kB Committed_AS: 211528 kB PageTables: 1400 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node66 on Fri Jun 2 05:51:05 UTC 2006