Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 5 | 1782.74 | 1783.48 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_3.opb |
MD5SUM | cdb29f44159b0b72729019e0c0db0b8a |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 133.502 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 100 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 100 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 46 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 3090 |
Sum of products size (including duplicates) | 6180 |
Number of different products | 3090 |
Sum of products size | 6180 |
0.00/0.00 c Pueblo version 1.4 (September 2005) 0.00/0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini 0.09/0.13 c starting to Solve 0.09/0.13 c #variables read: 3190 - #constraints read: 6281 0.09/0.13 o 9 0.09/0.13 o 8 31.18/31.23 o 7 59.87/59.90 o 6 1237.90/1238.56 o 5 1782.65/1783.47 c total time : 1783 s 1782.65/1783.47 s SATISFIABLE 1782.65/1783.47 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 1782.65/1783.47 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 1782.65/1783.47 v -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 -x81 1782.65/1783.47 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 1782.65/1783.47 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1782.65/1783.47 v -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1782.65/1783.47 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 1782.65/1783.47 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1782.65/1783.47 v -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1782.65/1783.47 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 1782.65/1783.47 v -x232 -x233 -x234 -x235 -x236 x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1782.65/1783.47 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1782.65/1783.47 v -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1782.65/1783.47 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1782.65/1783.47 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1782.65/1783.47 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 1782.65/1783.47 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1782.65/1783.47 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 1782.65/1783.47 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1782.65/1783.47 v -x421 -x422 -x423 -x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1782.65/1783.47 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1782.65/1783.47 v -x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1782.65/1783.47 v -x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1782.65/1783.47 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1782.65/1783.47 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1782.65/1783.47 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1782.65/1783.47 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1782.65/1783.47 v -x589 -x590 -x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 -x608 -x609 1782.65/1783.47 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 1782.65/1783.47 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1782.65/1783.47 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 -x672 1782.65/1783.47 v -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1782.65/1783.47 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1782.65/1783.47 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 1782.65/1783.47 v -x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 1782.65/1783.47 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 1782.65/1783.47 v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 1782.65/1783.47 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 x813 -x814 -x815 -x816 -x817 -x818 -x819 1782.65/1783.47 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1782.65/1783.47 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 1782.65/1783.47 v -x862 -x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 1782.65/1783.47 v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 x903 1782.65/1783.47 v -x904 x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 1782.65/1783.47 v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 -x941 -x942 -x943 -x944 -x945 1782.65/1783.47 v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 1782.65/1783.47 v x967 -x968 x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 1782.65/1783.47 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 x998 -x999 -x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 1782.65/1783.47 v -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 1782.65/1783.47 v -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 x1031 -x1032 -x1033 -x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 1782.65/1783.47 v -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 1782.65/1783.47 v -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 1782.65/1783.47 v -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 1782.65/1783.47 v -x1094 -x1095 x1096 x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 1782.65/1783.47 v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 x1125 -x1126 -x1127 -x1128 1782.65/1783.47 v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 x1144 -x1145 1782.65/1783.47 v -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 1782.65/1783.47 v -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 1782.65/1783.47 v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 1782.65/1783.47 v -x1199 -x1200 -x1201 -x1202 -x1203 x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 1782.65/1783.47 v -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 x1227 x1228 -x1229 -x1230 -x1231 -x1232 -x1233 1782.65/1783.47 v -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 1782.65/1783.47 v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 x1262 x1263 -x1264 -x1265 -x1266 -x1267 -x1268 1782.65/1783.47 v -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 1782.65/1783.47 v -x1286 -x1287 -x1288 -x1289 -x1290 x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 1782.65/1783.47 v -x1303 x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 1782.65/1783.47 v -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 1782.65/1783.47 v -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 1782.65/1783.47 v -x1354 -x1355 -x1356 -x1357 -x1358 x1359 x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 x1368 -x1369 -x1370 -x1371 1782.65/1783.47 v -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 1782.65/1783.47 v -x1389 -x1390 -x1391 x1392 -x1393 x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 1782.65/1783.47 v -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 1782.65/1783.47 v -x1424 x1425 x1426 -x1427 -x1428 -x1429 x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 1782.65/1783.47 v -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 1782.65/1783.47 v x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 1782.65/1783.47 v -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 x1489 -x1490 -x1491 -x1492 -x1493 1782.65/1783.47 v -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 1782.65/1783.47 v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 1782.65/1783.47 v -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 1782.65/1783.47 v -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 x1551 x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 1782.65/1783.47 v -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 1782.65/1783.47 v -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 1782.65/1783.47 v -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 1782.65/1783.47 v -x1614 -x1615 -x1616 x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 1782.65/1783.47 v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 1782.65/1783.47 v -x1648 -x1649 -x1650 -x1651 x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 1782.65/1783.47 v -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 x1681 -x1682 1782.65/1783.47 v -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 1782.65/1783.47 v -x1700 -x1701 -x1702 -x1703 x1704 x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 1782.65/1783.47 v -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 1782.65/1783.47 v -x1735 -x1736 x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 1782.65/1783.47 v -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 1782.65/1783.47 v x1769 -x1770 -x1771 -x1772 x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 1782.65/1783.47 v -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 x1799 -x1800 -x1801 -x1802 -x1803 1782.65/1783.47 v -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 1782.65/1783.47 v -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 x1831 -x1832 -x1833 -x1834 -x1835 x1836 -x1837 -x1838 1782.65/1783.47 v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 1782.65/1783.47 v -x1856 -x1857 -x1858 x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 1782.65/1783.47 v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 1782.65/1783.47 v -x1890 -x1891 -x1892 x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 1782.65/1783.47 v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 x1923 1782.65/1783.47 v -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 1782.65/1783.47 v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 x1955 -x1956 x1957 -x1958 1782.65/1783.47 v -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 1782.65/1783.47 v -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 x1992 1782.65/1783.47 v -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 1782.65/1783.47 v -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 1782.65/1783.47 v -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 1782.65/1783.47 v -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 x2050 -x2051 x2052 -x2053 x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 1782.65/1783.47 v -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 1782.65/1783.47 v -x2079 -x2080 x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 1782.65/1783.47 v -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 x2110 x2111 -x2112 -x2113 1782.65/1783.47 v -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 1782.65/1783.47 v -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 x2144 -x2145 x2146 -x2147 -x2148 1782.65/1783.47 v -x2149 x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 1782.65/1783.47 v -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 1782.65/1783.47 v -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 1782.65/1783.47 v -x2200 x2201 x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 1782.65/1783.47 v -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 x2227 x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 1782.65/1783.47 v -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 1782.65/1783.47 v -x2253 -x2254 -x2255 x2256 -x2257 -x2258 -x2259 -x2260 x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 1782.65/1783.47 v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 1782.65/1783.47 v -x2288 -x2289 -x2290 x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 1782.65/1783.47 v -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 x2319 -x2320 x2321 -x2322 1782.65/1783.47 v -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 1782.65/1783.47 v -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 1782.65/1783.47 v -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 x2373 1782.65/1783.47 v -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 1782.65/1783.47 v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 x2404 x2405 -x2406 -x2407 -x2408 1782.65/1783.47 v -x2409 x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 1782.65/1783.47 v -x2426 -x2427 -x2428 -x2429 x2430 x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 1782.65/1783.47 v -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 x2460 1782.65/1783.47 v -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 1782.65/1783.47 v -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 1782.65/1783.47 v -x2495 x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 1782.65/1783.47 v -x2512 -x2513 x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 x2524 -x2525 -x2526 -x2527 -x2528 -x2529 1782.65/1783.47 v -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 x2546 1782.65/1783.47 v -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 1782.65/1783.47 v -x2564 -x2565 x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 1782.65/1783.47 v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 x2594 x2595 -x2596 -x2597 -x2598 1782.65/1783.47 v -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 1782.65/1783.47 v -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 x2623 x2624 -x2625 x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 1782.65/1783.47 v -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 1782.65/1783.47 v -x2651 x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 1782.65/1783.47 v -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 x2679 x2680 -x2681 x2682 -x2683 -x2684 -x2685 1782.65/1783.47 v -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 1782.65/1783.47 v -x2703 x2704 -x2705 x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 1782.65/1783.47 v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 x2736 -x2737 1782.65/1783.47 v -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 1782.65/1783.47 v -x2755 -x2756 x2757 -x2758 x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 1782.65/1783.47 v -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 x2780 -x2781 x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 1782.65/1783.47 v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 1782.65/1783.47 v -x2808 x2809 x2810 x2811 x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 1782.65/1783.47 v -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 x2837 -x2838 -x2839 -x2840 -x2841 -x2842 1782.65/1783.47 v -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 1782.65/1783.47 v -x2860 -x2861 -x2862 -x2863 x2864 -x2865 -x2866 -x2867 -x2868 -x2869 x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 1782.65/1783.47 v -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 x2889 x2890 -x2891 -x2892 -x2893 -x2894 -x2895 1782.65/1783.47 v -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 1782.65/1783.47 v -x2913 -x2914 -x2915 x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 1782.65/1783.47 v -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 x2942 -x2943 -x2944 -x2945 -x2946 1782.65/1783.47 v x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 1782.65/1783.47 v -x2964 -x2965 -x2966 -x2967 x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 1782.65/1783.47 v -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 x2992 -x2993 -x2994 -x2995 -x2996 -x2997 1782.65/1783.47 v -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 1782.65/1783.47 v -x3015 -x3016 -x3017 -x3018 x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 1782.65/1783.47 v -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 x3043 -x3044 -x3045 -x3046 -x3047 -x3048 1782.65/1783.47 v -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 1782.65/1783.47 v -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 1782.65/1783.47 v -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 x3092 x3093 -x3094 x3095 -x3096 -x3097 -x3098 -x3099 -x3100 1782.65/1783.47 v -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 1782.65/1783.47 v -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 1782.65/1783.47 v -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 1782.65/1783.47 v -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 1782.65/1783.47 v -x3169 x3170 x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 1782.65/1783.47 v -x3187 -x3188 -x3189 -x3190
OK 5
Linearizing /tmp/evaluation/453797-1178157234/instance-453797-1178157234.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node6/watcher-453797-1178157234 -o ROOT/results/node6/solver-453797-1178157234 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/453797-1178157234/instance-453797-1178157234.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.97 0.96 3/77 25374 /proc/meminfo: memFree=1801392/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=2552 CPUtime=0 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 267 0 0 0 0 0 0 0 18 0 1 0 291761121 2613248 238 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134546570 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 638 238 199 16 0 77 0 [startup+0.0777601 s] /proc/loadavg: 0.92 0.97 0.96 3/77 25374 /proc/meminfo: memFree=1801392/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=3616 CPUtime=0.07 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 529 0 0 0 7 0 0 0 18 0 1 0 291761121 3702784 500 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 2653911 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 904 500 199 16 0 343 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3616 [startup+0.101762 s] /proc/loadavg: 0.92 0.97 0.96 3/77 25374 /proc/meminfo: memFree=1801392/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=4256 CPUtime=0.09 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 674 0 0 0 9 0 0 0 18 0 1 0 291761121 4358144 645 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134532444 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 1064 645 203 16 0 503 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4256 [startup+0.301786 s] /proc/loadavg: 0.92 0.97 0.96 3/77 25374 /proc/meminfo: memFree=1801392/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=4920 CPUtime=0.29 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 852 0 0 0 29 0 0 0 19 0 1 0 291761121 5038080 823 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 1230 823 205 16 0 669 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4920 [startup+0.701833 s] /proc/loadavg: 0.92 0.97 0.96 3/77 25374 /proc/meminfo: memFree=1801392/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=5692 CPUtime=0.69 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 1063 0 0 0 69 0 0 0 22 0 1 0 291761121 5828608 1034 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 1423 1034 205 16 0 862 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5692 [startup+1.50193 s] /proc/loadavg: 0.92 0.97 0.96 2/78 25375 /proc/meminfo: memFree=1797416/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=7240 CPUtime=1.48 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 1443 0 0 0 148 0 0 0 25 0 1 0 291761121 7413760 1414 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 1810 1414 205 16 0 1249 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 7240 [startup+3.10111 s] /proc/loadavg: 0.92 0.97 0.96 2/78 25375 /proc/meminfo: memFree=1795432/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=8940 CPUtime=3.09 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 1860 0 0 0 308 1 0 0 25 0 1 0 291761121 9154560 1831 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 2235 1831 205 16 0 1674 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8940 [startup+6.30149 s] /proc/loadavg: 0.93 0.97 0.96 2/78 25375 /proc/meminfo: memFree=1793704/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=10000 CPUtime=6.29 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 2124 0 0 0 627 2 0 0 25 0 1 0 291761121 10240000 2095 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134557228 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 2500 2095 205 16 0 1939 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10000 [startup+12.7012 s] /proc/loadavg: 0.93 0.97 0.96 2/78 25375 /proc/meminfo: memFree=1792104/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=12184 CPUtime=12.68 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 2663 0 0 0 1266 2 0 0 25 0 1 0 291761121 12476416 2634 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 3046 2634 205 16 0 2485 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 12184 [startup+25.5017 s] /proc/loadavg: 0.95 0.97 0.96 2/78 25375 /proc/meminfo: memFree=1788392/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=14964 CPUtime=25.48 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 3378 0 0 0 2544 4 0 0 25 0 1 0 291761121 15323136 3349 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134557388 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 3741 3349 205 16 0 3180 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14964 [startup+51.1017 s] /proc/loadavg: 0.96 0.97 0.96 2/78 25375 /proc/meminfo: memFree=1788520/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=14964 CPUtime=51.07 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 3378 0 0 0 5099 8 0 0 25 0 1 0 291761121 15323136 3349 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 3741 3349 205 16 0 3180 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 14964 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.96 2/78 25375 /proc/meminfo: memFree=1788456/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=14964 CPUtime=102.27 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 3378 0 0 0 10211 16 0 0 25 0 1 0 291761121 15323136 3349 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 3741 3349 205 16 0 3180 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 14964 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 25375 /proc/meminfo: memFree=1788456/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=14964 CPUtime=162.24 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 3378 0 0 0 16200 24 0 0 25 0 1 0 291761121 15323136 3349 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527607 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 3741 3349 205 16 0 3180 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 14964 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 25375 /proc/meminfo: memFree=1786600/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=16712 CPUtime=222.23 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 3819 0 0 0 22190 33 0 0 25 0 1 0 291761121 17113088 3790 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 4178 3790 205 16 0 3617 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 16712 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 25375 /proc/meminfo: memFree=1785320/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=17844 CPUtime=282.22 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 4151 0 0 0 28179 43 0 0 25 0 1 0 291761121 18272256 4076 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 4461 4076 205 16 0 3900 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 17844 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 25375 /proc/meminfo: memFree=1782824/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=20784 CPUtime=342.2 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 4864 0 0 0 34169 51 0 0 25 0 1 0 291761121 21282816 4789 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 5196 4789 205 16 0 4635 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 20784 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 25375 /proc/meminfo: memFree=1777960/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=25328 CPUtime=402.18 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 6018 0 0 0 40159 59 0 0 25 0 1 0 291761121 25935872 5943 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 6332 5943 205 16 0 5771 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 25328 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.96 2/84 25541 /proc/meminfo: memFree=1776696/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=25328 CPUtime=462.08 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 6018 0 0 0 46142 66 0 0 25 0 1 0 291761121 25935872 5943 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 2621492 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 6332 5943 205 16 0 5771 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 25328 [startup+522.302 s] /proc/loadavg: 1.04 0.99 0.96 2/78 26049 /proc/meminfo: memFree=1747560/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=26884 CPUtime=521.89 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 6392 0 0 0 52113 76 0 0 25 0 1 0 291761121 27529216 6317 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559236 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 6721 6317 205 16 0 6160 0 Current children cumulated CPU time (s) 521.89 Current children cumulated vsize (KiB) 26884 [startup+582.302 s] /proc/loadavg: 1.01 0.99 0.96 2/78 26049 /proc/meminfo: memFree=1746024/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=28468 CPUtime=581.88 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 6834 0 0 0 58105 83 0 0 25 0 1 0 291761121 29151232 6731 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527978 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 7117 6731 205 16 0 6556 0 Current children cumulated CPU time (s) 581.88 Current children cumulated vsize (KiB) 28468 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.96 2/78 26049 /proc/meminfo: memFree=1746280/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=28132 CPUtime=641.86 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 6834 0 0 0 64095 91 0 0 25 0 1 0 291761121 28807168 6647 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 7033 6647 205 16 0 6472 0 Current children cumulated CPU time (s) 641.86 Current children cumulated vsize (KiB) 28132 ################ # More data... # ################ /proc/meminfo: memFree=1744296/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=30296 CPUtime=881.79 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 7368 0 0 0 88058 121 0 0 25 0 1 0 291761121 31023104 7181 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 7574 7181 205 16 0 7013 0 Current children cumulated CPU time (s) 881.79 Current children cumulated vsize (KiB) 30296 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.96 2/78 26049 /proc/meminfo: memFree=1740776/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=33740 CPUtime=941.78 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 8249 0 0 0 94047 131 0 0 25 0 1 0 291761121 34549760 8047 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527998 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 8435 8047 205 16 0 7874 0 Current children cumulated CPU time (s) 941.78 Current children cumulated vsize (KiB) 33740 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 26049 /proc/meminfo: memFree=1740840/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=33740 CPUtime=1001.76 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 8249 0 0 0 100039 137 0 0 25 0 1 0 291761121 34549760 8047 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 8435 8047 205 16 0 7874 0 Current children cumulated CPU time (s) 1001.76 Current children cumulated vsize (KiB) 33740 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 26049 /proc/meminfo: memFree=1741032/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=33740 CPUtime=1061.74 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 8249 0 0 0 106030 144 0 0 25 0 1 0 291761121 34549760 8047 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 8435 8047 205 16 0 7874 0 Current children cumulated CPU time (s) 1061.74 Current children cumulated vsize (KiB) 33740 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 26049 /proc/meminfo: memFree=1741096/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=33740 CPUtime=1121.73 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 8249 0 0 0 112021 152 0 0 25 0 1 0 291761121 34549760 8047 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527978 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 8435 8047 205 16 0 7874 0 Current children cumulated CPU time (s) 1121.73 Current children cumulated vsize (KiB) 33740 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 26049 /proc/meminfo: memFree=1741032/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=33740 CPUtime=1181.71 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 8249 0 0 0 118013 158 0 0 25 0 1 0 291761121 34549760 8047 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 8435 8047 205 16 0 7874 0 Current children cumulated CPU time (s) 1181.71 Current children cumulated vsize (KiB) 33740 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 26049 /proc/meminfo: memFree=1741032/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=33740 CPUtime=1241.69 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 8249 0 0 0 124004 165 0 0 25 0 1 0 291761121 34549760 8047 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 8435 8047 205 16 0 7874 0 Current children cumulated CPU time (s) 1241.69 Current children cumulated vsize (KiB) 33740 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 26049 /proc/meminfo: memFree=1741032/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=33740 CPUtime=1301.69 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 8249 0 0 0 129995 174 0 0 25 0 1 0 291761121 34549760 8047 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 8435 8047 205 16 0 7874 0 Current children cumulated CPU time (s) 1301.69 Current children cumulated vsize (KiB) 33740 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 26049 /proc/meminfo: memFree=1741032/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=33740 CPUtime=1361.66 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 8249 0 0 0 135985 181 0 0 25 0 1 0 291761121 34549760 8047 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 8435 8047 205 16 0 7874 0 Current children cumulated CPU time (s) 1361.66 Current children cumulated vsize (KiB) 33740 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.96 2/78 26049 /proc/meminfo: memFree=1741032/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=33740 CPUtime=1421.65 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 8249 0 0 0 141978 187 0 0 25 0 1 0 291761121 34549760 8047 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527395 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 8435 8047 205 16 0 7874 0 Current children cumulated CPU time (s) 1421.65 Current children cumulated vsize (KiB) 33740 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 26049 /proc/meminfo: memFree=1741032/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=33740 CPUtime=1481.63 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 8249 0 0 0 147966 197 0 0 25 0 1 0 291761121 34549760 8047 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 8435 8047 205 16 0 7874 0 Current children cumulated CPU time (s) 1481.63 Current children cumulated vsize (KiB) 33740 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 26049 /proc/meminfo: memFree=1741096/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=33740 CPUtime=1541.61 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 8249 0 0 0 153957 204 0 0 25 0 1 0 291761121 34549760 8047 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527478 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 8435 8047 205 16 0 7874 0 Current children cumulated CPU time (s) 1541.61 Current children cumulated vsize (KiB) 33740 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 26049 /proc/meminfo: memFree=1741096/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=33740 CPUtime=1601.6 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 8249 0 0 0 159950 210 0 0 25 0 1 0 291761121 34549760 8047 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 8435 8047 205 16 0 7874 0 Current children cumulated CPU time (s) 1601.6 Current children cumulated vsize (KiB) 33740 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 26049 /proc/meminfo: memFree=1741032/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=33740 CPUtime=1661.58 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 8249 0 0 0 165941 217 0 0 25 0 1 0 291761121 34549760 8047 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559599 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 8435 8047 205 16 0 7874 0 Current children cumulated CPU time (s) 1661.58 Current children cumulated vsize (KiB) 33740 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 26049 /proc/meminfo: memFree=1741032/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=33740 CPUtime=1721.57 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 8249 0 0 0 171932 225 0 0 25 0 1 0 291761121 34549760 8047 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 8435 8047 205 16 0 7874 0 Current children cumulated CPU time (s) 1721.57 Current children cumulated vsize (KiB) 33740 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 26049 /proc/meminfo: memFree=1740968/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=33740 CPUtime=1781.55 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 8249 0 0 0 177923 232 0 0 25 0 1 0 291761121 34549760 8047 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134557553 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 8435 8047 205 16 0 7874 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (KiB) 33740 Solver just ended. Dumping a history of the last processes samples [startup+1783.11 s] /proc/loadavg: 1.00 0.99 0.96 2/78 26049 /proc/meminfo: memFree=1740968/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=33740 CPUtime=1782.35 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 8249 0 0 0 178003 232 0 0 25 0 1 0 291761121 34549760 8047 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 8435 8047 205 16 0 7874 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 33740 [startup+1783.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 26049 /proc/meminfo: memFree=1740968/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=33740 CPUtime=1782.55 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 8249 0 0 0 178023 232 0 0 25 0 1 0 291761121 34549760 8047 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 8435 8047 205 16 0 7874 0 Current children cumulated CPU time (s) 1782.55 Current children cumulated vsize (KiB) 33740 [startup+1783.4 s] /proc/loadavg: 1.00 0.99 0.96 2/78 26049 /proc/meminfo: memFree=1740968/2055924 swapFree=4146580/4192956 [pid=25374] ppid=25372 vsize=33740 CPUtime=1782.65 /proc/25374/stat : 25374 (Pueblo) R 25372 25374 24835 0 -1 4194304 8249 0 0 0 178033 232 0 0 25 0 1 0 291761121 34549760 8047 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25374/statm: 8435 8047 205 16 0 7874 0 Current children cumulated CPU time (s) 1782.65 Current children cumulated vsize (KiB) 33740 Child status: 10 Real time (s): 1783.48 CPU time (s): 1782.74 CPU user time (s): 1780.4 CPU system time (s): 2.33564 CPU usage (%): 99.9584 Max. virtual memory (cumulated for all children) (KiB): 33856 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1780.4 system time used= 2.33564 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8256 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 16 involuntary context switches= 28790 runsolver used 1.36179 second user time and 3.85841 second system time The end
Begin job on node6 on Thu May 3 01:53:54 UTC 2007 IDJOB= 453797 IDBENCH= 48154 IDSOLVER= 165 FILE ID= node6/453797-1178157234 PBS_JOBID= 4751087 Free space on /tmp= 66562 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_3.opb COMMAND LINE= Pueblo /tmp/evaluation/453797-1178157234/instance-453797-1178157234.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node6/convwatcher-453797-1178157234 -o ROOT/results/node6/conversion-453797-1178157234 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453797-1178157234/instance-453797-1178157234.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-453797-1178157234 -o ROOT/results/node6/solver-453797-1178157234 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/453797-1178157234/instance-453797-1178157234.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= cdb29f44159b0b72729019e0c0db0b8a RANDOM SEED= 338045811 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node6.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 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.232 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: 2055924 kB MemFree: 1801800 kB Buffers: 86832 kB Cached: 78348 kB SwapCached: 14272 kB Active: 107684 kB Inactive: 82296 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1801800 kB SwapTotal: 4192956 kB SwapFree: 4146580 kB Dirty: 2576 kB Writeback: 0 kB Mapped: 31184 kB Slab: 49636 kB Committed_AS: 12405976 kB PageTables: 1788 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66562 MiB End job on node6 on Thu May 3 02:23:38 UTC 2007