Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT (TO) | 25 | 1800.47 | 1801.17 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-bw.b.opb |
MD5SUM | acd1698068c8e97cbd0c7cd62fe047fc |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 24 |
Best CPU time to get the best result obtained on this benchmark | 1800.49 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24 |
Optimality of the best value was proved | NO |
Number of variables | 2847 |
Total number of constraints | 4902 |
Number of constraints which are clauses | 4902 |
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 | 860 |
Number of terms in the objective function | 2847 |
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 | 2847 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2847 |
Number of bits of the biggest sum of numbers | 12 |
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. 1.34 c Initial problem consists of 2847 variables and 4902 constraints. 7.86 c Switching on LPR. 7.86 c preprocess terminated. Elapsed time: 7.848 7.86 c After prepocess the problem consists of 1908 variables and 2978 constraints. 10.93 c Initial Lower Bound: 22 28.17 o 25 28.17 c NEW SOLUTION FOUND: 25 @ 28.15 45.07 c Restart #1 #Var: 1908 LB: 22 @ 45.042 402.63 c Restart #2 #Var: 1908 LB: 22 @ 402.48 909.72 c Restart #3 #Var: 1908 LB: 22 @ 909.31 1346.77 c Restart #4 #Var: 1908 LB: 22 @ 1346.2 1559.81 c Restart #5 #Var: 1908 LB: 22 @ 1559.2 1801.16 c Caught signal: 15 1801.16 s SATISFIABLE 1801.16 c Cost: 25 1801.16 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 x27 x28 x29 1801.16 v -x30 -x31 -x32 -x33 -x34 x35 x36 x37 -x38 x39 -x40 x41 x42 x43 -x44 -x45 x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 1801.16 v -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 1801.16 v -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 1801.16 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 1801.16 v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 1801.16 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 1801.16 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 1801.16 v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 1801.16 v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 1801.16 v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 1801.16 v -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 1801.16 v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 1801.16 v -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 1801.16 v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 1801.16 v -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 1801.16 v -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 1801.16 v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 1801.16 v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 1801.16 v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 1801.16 v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 1801.16 v -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 1801.16 v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 1801.16 v -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 1801.16 v -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 1801.16 v -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 1801.16 v -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 1801.16 v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 1801.16 v -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 1801.16 v -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 1801.16 v -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 1801.16 v -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 1801.16 v -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 1801.16 v -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 1801.16 v -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 1801.16 v -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 1801.16 v -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 1801.16 v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 1801.16 v -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 1801.16 v -x843 -x844 x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 1801.16 v -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 1801.16 v -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 x905 1801.16 v -x906 -x907 x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 1801.16 v -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 1801.16 v -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 1801.16 v -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 1801.16 v -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 1801.16 v -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 1801.16 v -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 1801.16 v -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 1801.16 v -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 1801.16 v -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 1801.16 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 1801.16 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 1801.16 v -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 1801.16 v -x1145 -x1146 -x1147 -x1148 x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 1801.16 v -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 1801.16 v -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 1801.16 v -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 1801.16 v -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 1801.16 v -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 1801.16 v -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 1801.16 v -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 1801.16 v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 1801.16 v -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 1801.16 v -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 1801.16 v -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 1801.16 v -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 1801.16 v -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 1801.16 v -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 1801.16 v -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 1801.16 v -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 1801.16 v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 1801.16 v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 1801.16 v -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 1801.16 v -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 1801.16 v -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 1801.16 v -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 1801.16 v -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 1801.16 v -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 1801.16 v -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 1801.16 v -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 1801.16 v -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 1801.16 v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 1801.16 v -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 1801.16 v -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 1801.16 v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 1801.16 v -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 1801.16 v -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 1801.16 v -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 1801.16 v -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 1801.16 v -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 1801.16 v -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 1801.16 v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 1801.16 v -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 1801.16 v -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 1801.16 v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 1801.16 v -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 1801.16 v -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 1801.16 v -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 1801.16 v -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 1801.16 v -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 1801.16 v -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 1801.16 v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 1801.16 v -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 1801.16 v -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 1801.16 v -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 1801.16 v -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 1801.16 v -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 1801.16 v -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 1801.16 v -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 1801.16 v -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 1801.16 v -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 1801.16 v -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 1801.16 v -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 1801.16 v -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 1801.16 v -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 1801.16 v -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 1801.16 v -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 1801.16 v -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 1801.16 v -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 1801.16 v -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 1801.16 v -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 1801.16 v -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 1801.16 v -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 1801.16 v -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 1801.16 v -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 1801.16 v -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 1801.16 v -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 1801.16 v -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 1801.16 v -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 1801.16 v -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 1801.16 v -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 1801.16 v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 1801.16 v -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 1801.16 v -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 1801.16 v -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 1801.16 v -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 1801.16 v -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 1801.16 v -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 1801.16 v -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 x2601 -x2602 -x2603 -x2604 -x2605 -x2606 1801.16 v -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 1801.16 v -x2624 -x2625 -x2626 -x2627 x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 1801.16 v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 1801.16 v -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 1801.16 v -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 1801.16 v -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 1801.16 v -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 1801.16 v -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 1801.16 v -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 1801.16 v -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 1801.16 v -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 1801.16 v -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 1801.16 v -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 1801.16 v -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 1801.16 v -x2845 -x2846 -x2847 1801.16 c Exit Code: 10
OK 25
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node4/watcher-50293-1154094855 -o ROOT/results/node4/solver-50293-1154094855 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node4/50293-1154094855/instance-50293-1154094855.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.07 1.02 1.00 3/64 20906 /proc/meminfo: memFree=839616/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=4964 CPUtime=0 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 369 0 0 0 0 0 0 0 18 0 1 0 156347048 5083136 332 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 1233 331 227 55 0 125 0 [startup+10.0024 s] /proc/loadavg: 1.06 1.02 1.00 2/64 20906 /proc/meminfo: memFree=804928/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=36708 CPUtime=9.97 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 17290 0 2 0 990 7 0 0 25 0 1 0 156347048 37588992 8483 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 9177 8483 429 55 0 8069 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 36708 [startup+20.0091 s] /proc/loadavg: 1.05 1.01 1.00 2/64 20906 /proc/meminfo: memFree=807232/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=36248 CPUtime=19.98 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 41919 0 2 0 1978 20 0 0 25 0 1 0 156347048 37117952 8370 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535951 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 9062 8370 431 55 0 7954 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 36248 [startup+30.0149 s] /proc/loadavg: 1.04 1.01 1.00 2/64 20906 /proc/meminfo: memFree=803648/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=41076 CPUtime=29.98 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 73296 0 2 0 2962 36 0 0 25 0 1 0 156347048 42061824 9335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160245880 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 10269 9335 435 55 0 9161 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 41076 [startup+40.0206 s] /proc/loadavg: 1.04 1.01 1.00 2/64 20906 /proc/meminfo: memFree=803520/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=40404 CPUtime=39.99 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 106105 0 2 0 3949 50 0 0 25 0 1 0 156347048 41373696 9345 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160181758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 10101 9345 437 55 0 8993 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 40404 [startup+50.0264 s] /proc/loadavg: 1.03 1.01 1.00 2/64 20906 /proc/meminfo: memFree=801984/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=41768 CPUtime=49.99 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 129906 0 2 0 4936 63 0 0 25 0 1 0 156347048 42770432 9756 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 10442 9756 437 55 0 9334 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 41768 [startup+60.0322 s] /proc/loadavg: 1.02 1.01 1.00 2/64 20906 /proc/meminfo: memFree=802496/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=41316 CPUtime=59.99 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 159436 0 2 0 5923 76 0 0 25 0 1 0 156347048 42307584 9643 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535951 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 10329 9643 437 55 0 9221 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 41316 [startup+70.0379 s] /proc/loadavg: 1.02 1.01 1.00 2/64 20906 /proc/meminfo: memFree=802432/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=41396 CPUtime=70 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 191055 0 2 0 6909 91 0 0 25 0 1 0 156347048 42389504 9663 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 10349 9663 437 55 0 9241 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 41396 [startup+80.0437 s] /proc/loadavg: 1.02 1.01 1.00 2/64 20906 /proc/meminfo: memFree=802432/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=41388 CPUtime=79.99 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 221832 0 2 0 7894 105 0 0 25 0 1 0 156347048 42381312 9661 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 10347 9661 437 55 0 9239 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 41388 [startup+90.0494 s] /proc/loadavg: 1.01 1.01 1.00 2/64 20906 /proc/meminfo: memFree=802304/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=42460 CPUtime=90 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 252747 0 2 0 8881 119 0 0 25 0 1 0 156347048 43479040 9929 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520847 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 10615 9929 437 55 0 9507 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 42460 [startup+100.055 s] /proc/loadavg: 1.01 1.01 1.00 2/64 20906 /proc/meminfo: memFree=800832/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=43164 CPUtime=100 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 284859 0 2 0 9865 135 0 0 25 0 1 0 156347048 44199936 10068 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160210664 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 10791 10068 437 55 0 9683 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 43164 [startup+110.061 s] /proc/loadavg: 1.01 1.01 1.00 2/64 20906 /proc/meminfo: memFree=803072/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=40500 CPUtime=110 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 317421 0 2 0 10850 150 0 0 25 0 1 0 156347048 41472000 9439 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535961 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 10125 9439 437 55 0 9017 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 40500 [startup+120.067 s] /proc/loadavg: 1.01 1.00 1.00 2/64 20906 /proc/meminfo: memFree=801536/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=43140 CPUtime=120.01 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 346528 0 2 0 11835 166 0 0 25 0 1 0 156347048 44175360 10099 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158521018 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 10785 10099 437 55 0 9677 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 43140 [startup+130.072 s] /proc/loadavg: 1.01 1.00 1.00 2/64 20906 /proc/meminfo: memFree=803072/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=40700 CPUtime=130 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 377259 0 2 0 12821 179 0 0 25 0 1 0 156347048 41676800 9489 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536023 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 10175 9489 437 55 0 9067 0 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 40700 [startup+140.078 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20906 /proc/meminfo: memFree=802368/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=41216 CPUtime=140.01 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 408623 0 2 0 13808 193 0 0 25 0 1 0 156347048 42205184 9618 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 10304 9618 437 55 0 9196 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 41216 [startup+150.084 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20906 /proc/meminfo: memFree=802560/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=41200 CPUtime=150.01 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 441025 0 2 0 14794 207 0 0 25 0 1 0 156347048 42188800 9593 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 10300 9593 437 55 0 9192 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 41200 [startup+160.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20906 /proc/meminfo: memFree=801920/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=41732 CPUtime=160.02 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 471074 0 2 0 15782 220 0 0 25 0 1 0 156347048 42733568 9747 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649821 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 10433 9747 437 55 0 9325 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 41732 [startup+170.096 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20906 /proc/meminfo: memFree=801984/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=41876 CPUtime=170.01 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 502202 0 2 0 16767 234 0 0 25 0 1 0 156347048 42881024 9783 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 10469 9783 437 55 0 9361 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 41876 [startup+180.101 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20906 /proc/meminfo: memFree=802240/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=41560 CPUtime=180.02 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 533296 0 2 0 17753 249 0 0 25 0 1 0 156347048 42557440 9704 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536014 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 10390 9704 437 55 0 9282 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 41560 [startup+190.107 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20906 /proc/meminfo: memFree=800064/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=43888 CPUtime=190.02 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 564355 0 2 0 18739 263 0 0 25 0 1 0 156347048 44941312 10259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159300767 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 10972 10259 437 55 0 9864 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 43888 [startup+200.113 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20906 /proc/meminfo: memFree=800000/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=43824 CPUtime=200.03 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 594073 0 2 0 19727 276 0 0 25 0 1 0 156347048 44875776 10270 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159300785 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 10956 10270 437 55 0 9848 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 43824 [startup+210.119 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20906 ################ # More data... # ################ /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 5594325 0 2 0 175590 2547 0 0 25 0 1 0 156347048 53321728 12336 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159300785 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 13018 12336 441 55 0 11910 0 Current children cumulated CPU time (s) 1781.37 Current children cumulated vsize (Kb) 52072 [startup+1783.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21104 /proc/meminfo: memFree=792640/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=50836 CPUtime=1782.37 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 5598252 0 2 0 175689 2548 0 0 25 0 1 0 156347048 52056064 12027 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684546 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 12709 12027 441 55 0 11601 0 Current children cumulated CPU time (s) 1782.37 Current children cumulated vsize (Kb) 50836 [startup+1784.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21104 /proc/meminfo: memFree=792512/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=51152 CPUtime=1783.37 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 5601336 0 2 0 175788 2549 0 0 25 0 1 0 156347048 52379648 12106 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 12788 12106 441 55 0 11680 0 Current children cumulated CPU time (s) 1783.37 Current children cumulated vsize (Kb) 51152 [startup+1785.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21104 /proc/meminfo: memFree=792512/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=51116 CPUtime=1784.38 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 5604643 0 2 0 175887 2551 0 0 25 0 1 0 156347048 52342784 12097 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 12779 12097 441 55 0 11671 0 Current children cumulated CPU time (s) 1784.38 Current children cumulated vsize (Kb) 51116 [startup+1786.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21104 /proc/meminfo: memFree=791424/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=52200 CPUtime=1785.38 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 5608199 0 2 0 175986 2552 0 0 25 0 1 0 156347048 53452800 12368 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159300796 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 13050 12368 441 55 0 11942 0 Current children cumulated CPU time (s) 1785.38 Current children cumulated vsize (Kb) 52200 [startup+1787.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21104 /proc/meminfo: memFree=791488/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=52180 CPUtime=1786.38 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 5611317 0 2 0 176085 2553 0 0 25 0 1 0 156347048 53432320 12363 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159300815 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 13045 12363 441 55 0 11937 0 Current children cumulated CPU time (s) 1786.38 Current children cumulated vsize (Kb) 52180 [startup+1788.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21104 /proc/meminfo: memFree=790848/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=53392 CPUtime=1787.39 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 5614975 0 2 0 176184 2555 0 0 25 0 1 0 156347048 54673408 12472 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159470771 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 13348 12472 441 55 0 12240 0 Current children cumulated CPU time (s) 1787.39 Current children cumulated vsize (Kb) 53392 [startup+1789.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21104 /proc/meminfo: memFree=792512/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=51152 CPUtime=1788.39 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 5618730 0 2 0 176283 2556 0 0 25 0 1 0 156347048 52379648 12106 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 12788 12106 441 55 0 11680 0 Current children cumulated CPU time (s) 1788.39 Current children cumulated vsize (Kb) 51152 [startup+1790.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21104 /proc/meminfo: memFree=792512/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=51128 CPUtime=1789.4 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 5622218 0 2 0 176382 2558 0 0 25 0 1 0 156347048 52355072 12100 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 12782 12100 441 55 0 11674 0 Current children cumulated CPU time (s) 1789.4 Current children cumulated vsize (Kb) 51128 [startup+1791.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21104 /proc/meminfo: memFree=792640/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=50836 CPUtime=1790.4 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 5625608 0 2 0 176481 2559 0 0 25 0 1 0 156347048 52056064 12027 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535961 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 12709 12027 441 55 0 11601 0 Current children cumulated CPU time (s) 1790.4 Current children cumulated vsize (Kb) 50836 [startup+1792.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21104 /proc/meminfo: memFree=792448/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=51200 CPUtime=1791.41 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 5628884 0 2 0 176581 2560 0 0 25 0 1 0 156347048 52428800 12118 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 12800 12118 441 55 0 11692 0 Current children cumulated CPU time (s) 1791.41 Current children cumulated vsize (Kb) 51200 [startup+1793.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21104 /proc/meminfo: memFree=792576/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=51088 CPUtime=1792.41 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 5632297 0 2 0 176680 2561 0 0 25 0 1 0 156347048 52314112 12090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 12772 12090 441 55 0 11664 0 Current children cumulated CPU time (s) 1792.41 Current children cumulated vsize (Kb) 51088 [startup+1794.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21104 /proc/meminfo: memFree=792256/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=51212 CPUtime=1793.42 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 5636882 0 2 0 176778 2564 0 0 25 0 1 0 156347048 52441088 12121 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557739 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 12803 12121 441 55 0 11695 0 Current children cumulated CPU time (s) 1793.42 Current children cumulated vsize (Kb) 51212 [startup+1795.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21104 /proc/meminfo: memFree=790656/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=53552 CPUtime=1794.42 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 5639712 0 2 0 176877 2565 0 0 25 0 1 0 156347048 54837248 12514 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159343051 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 13388 12514 441 55 0 12280 0 Current children cumulated CPU time (s) 1794.42 Current children cumulated vsize (Kb) 53552 [startup+1796.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21104 /proc/meminfo: memFree=790720/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=53552 CPUtime=1795.42 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 5643166 0 2 0 176976 2566 0 0 25 0 1 0 156347048 54837248 12509 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160278099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 13388 12509 441 55 0 12280 0 Current children cumulated CPU time (s) 1795.42 Current children cumulated vsize (Kb) 53552 [startup+1797.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21104 /proc/meminfo: memFree=792640/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=50836 CPUtime=1796.43 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 5647230 0 2 0 177075 2568 0 0 25 0 1 0 156347048 52056064 12027 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684626 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 12709 12027 441 55 0 11601 0 Current children cumulated CPU time (s) 1796.43 Current children cumulated vsize (Kb) 50836 [startup+1798.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21104 /proc/meminfo: memFree=792640/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=50836 CPUtime=1797.44 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 5650686 0 2 0 177174 2570 0 0 25 0 1 0 156347048 52056064 12027 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535950 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 12709 12027 441 55 0 11601 0 Current children cumulated CPU time (s) 1797.44 Current children cumulated vsize (Kb) 50836 [startup+1799.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21104 /proc/meminfo: memFree=792640/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=50836 CPUtime=1798.44 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 5654143 0 2 0 177273 2571 0 0 25 0 1 0 156347048 52056064 12027 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535991 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 12709 12027 441 55 0 11601 0 Current children cumulated CPU time (s) 1798.44 Current children cumulated vsize (Kb) 50836 [startup+1800.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21104 /proc/meminfo: memFree=792576/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=51052 CPUtime=1799.44 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 5657636 0 2 0 177372 2572 0 0 25 0 1 0 156347048 52277248 12081 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 12763 12081 441 55 0 11655 0 Current children cumulated CPU time (s) 1799.44 Current children cumulated vsize (Kb) 51052 [startup+1801.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21104 /proc/meminfo: memFree=792512/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=51108 CPUtime=1800.45 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 5661088 0 2 0 177471 2574 0 0 25 0 1 0 156347048 52334592 12095 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 12777 12095 441 55 0 11669 0 Current children cumulated CPU time (s) 1800.45 Current children cumulated vsize (Kb) 51108 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21104 /proc/meminfo: memFree=792512/2055920 swapFree=4183140/4192956 [pid=20906] ppid=20904 vsize=51112 CPUtime=1800.45 /proc/20906/stat : 20906 (bsolo) R 20904 20906 20857 0 -1 0 5661089 0 2 0 177471 2574 0 0 25 0 1 0 156347048 52338688 12096 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20906/statm: 12778 12096 441 55 0 11670 0 Current children cumulated CPU time (s) 1800.45 Current children cumulated vsize (Kb) 51112 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 10 Real time (s): 1801.17 CPU time (s): 1800.47 CPU user time (s): 1774.72 CPU system time (s): 25.7531 CPU usage (%): 99.961 Max. virtual memory (cumulated for all children) (Kb): 53668 The end
Begin job on node4 on Fri Jul 28 13:54:16 UTC 2006 FILE ID= 50293-1154094855 PBS_JOBID= 885864 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-bw.b.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node4/50293-1154094855/instance-50293-1154094855.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-50293-1154094855 -o ROOT/results/node4/solver-50293-1154094855 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node4/50293-1154094855/instance-50293-1154094855.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= acd1698068c8e97cbd0c7cd62fe047fc RANDOM SEED= 129745476 TIMEOUT= 1800 seconds /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.256 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.256 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: 839824 kB Buffers: 47412 kB Cached: 1084588 kB SwapCached: 3804 kB Active: 445604 kB Inactive: 695164 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 839824 kB SwapTotal: 4192956 kB SwapFree: 4183140 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14820 kB Slab: 61288 kB Committed_AS: 641324 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node4 on Fri Jul 28 14:24:17 UTC 2006