Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 5 | 1782.73 | 1783.22 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_1.opb |
MD5SUM | aa10899bd7f711370f6ef9f1251ce7f2 |
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 | 61.3037 |
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 | 44 |
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) | 3038 |
Sum of products size (including duplicates) | 6076 |
Number of different products | 3038 |
Sum of products size | 6076 |
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.12 c starting to Solve 0.09/0.12 c #variables read: 3138 - #constraints read: 6177 0.09/0.13 o 8 2.29/2.37 o 7 351.20/351.30 o 6 924.54/924.81 o 5 1782.70/1783.21 c total time : 1783 s 1782.70/1783.21 s SATISFIABLE 1782.70/1783.21 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.70/1783.21 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.70/1783.21 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.70/1783.21 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.70/1783.21 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1782.70/1783.21 v -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1782.70/1783.21 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 x164 -x165 -x166 -x167 -x168 1782.70/1783.21 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 x188 -x189 1782.70/1783.21 v -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1782.70/1783.21 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 x231 1782.70/1783.21 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1782.70/1783.21 v -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 x273 1782.70/1783.21 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 1782.70/1783.21 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 -x313 -x314 -x315 1782.70/1783.21 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1782.70/1783.21 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1782.70/1783.21 v -x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 x372 -x373 -x374 -x375 -x376 -x377 -x378 1782.70/1783.21 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1782.70/1783.21 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1782.70/1783.21 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1782.70/1783.21 v -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1782.70/1783.21 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1782.70/1783.21 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1782.70/1783.21 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1782.70/1783.21 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1782.70/1783.21 v -x547 -x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1782.70/1783.21 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1782.70/1783.21 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1782.70/1783.21 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 1782.70/1783.21 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1782.70/1783.21 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1782.70/1783.21 v -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1782.70/1783.21 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1782.70/1783.21 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 1782.70/1783.21 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 x750 -x751 -x752 -x753 -x754 -x755 -x756 1782.70/1783.21 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 1782.70/1783.21 v -x778 -x779 -x780 -x781 -x782 -x783 -x784 x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 x797 -x798 1782.70/1783.21 v -x799 -x800 -x801 x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 x815 -x816 -x817 -x818 -x819 1782.70/1783.21 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1782.70/1783.21 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 x860 -x861 1782.70/1783.21 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 x881 -x882 1782.70/1783.21 v x883 -x884 -x885 -x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 1782.70/1783.21 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 1782.70/1783.21 v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 1782.70/1783.21 v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 x964 -x965 -x966 1782.70/1783.21 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 x983 -x984 x985 -x986 -x987 1782.70/1783.21 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1782.70/1783.21 v -x1007 -x1008 -x1009 -x1010 x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 x1020 x1021 x1022 -x1023 -x1024 1782.70/1783.21 v -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 1782.70/1783.21 v -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 x1056 -x1057 -x1058 1782.70/1783.21 v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 1782.70/1783.21 v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 x1087 -x1088 -x1089 -x1090 -x1091 -x1092 1782.70/1783.21 v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 1782.70/1783.21 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 x1122 -x1123 -x1124 -x1125 -x1126 1782.70/1783.21 v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 1782.70/1783.21 v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 1782.70/1783.21 v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 1782.70/1783.21 v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 1782.70/1783.21 v -x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 1782.70/1783.21 v -x1212 -x1213 -x1214 x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 1782.70/1783.21 v -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 1782.70/1783.21 v x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 1782.70/1783.21 v -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 1782.70/1783.21 v -x1280 -x1281 x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 1782.70/1783.21 v -x1297 -x1298 x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 1782.70/1783.21 v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 1782.70/1783.21 v -x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 1782.70/1783.21 v -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 x1356 x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 1782.70/1783.21 v -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 1782.70/1783.21 v -x1383 -x1384 -x1385 x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 1782.70/1783.21 v -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 1782.70/1783.21 v -x1417 x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 x1428 -x1429 -x1430 -x1431 x1432 -x1433 -x1434 1782.70/1783.21 v -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 x1449 -x1450 -x1451 1782.70/1783.21 v -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 x1466 -x1467 -x1468 1782.70/1783.21 v -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 1782.70/1783.21 v x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 1782.70/1783.21 v -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 1782.70/1783.21 v -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 1782.70/1783.21 v -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 x1547 x1548 -x1549 -x1550 x1551 -x1552 -x1553 -x1554 1782.70/1783.21 v -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 x1568 -x1569 -x1570 -x1571 1782.70/1783.21 v -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 1782.70/1783.21 v -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 1782.70/1783.21 v -x1606 -x1607 -x1608 -x1609 x1610 x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 1782.70/1783.21 v -x1624 -x1625 -x1626 -x1627 x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 x1638 -x1639 -x1640 -x1641 1782.70/1783.21 v -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 1782.70/1783.21 v -x1659 x1660 -x1661 -x1662 -x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 1782.70/1783.21 v -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 1782.70/1783.21 v -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 1782.70/1783.21 v -x1711 -x1712 -x1713 x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 x1725 -x1726 -x1727 -x1728 1782.70/1783.21 v -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 1782.70/1783.21 v -x1746 -x1747 -x1748 -x1749 -x1750 x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 1782.70/1783.21 v -x1763 -x1764 -x1765 x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 1782.70/1783.21 v x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 1782.70/1783.21 v -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 1782.70/1783.21 v -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 x1825 -x1826 -x1827 -x1828 -x1829 -x1830 1782.70/1783.21 v -x1831 -x1832 -x1833 -x1834 x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 1782.70/1783.21 v x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 x1864 -x1865 1782.70/1783.21 v -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 1782.70/1783.21 v -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 x1896 -x1897 -x1898 -x1899 1782.70/1783.21 v -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 1782.70/1783.21 v -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 x1929 -x1930 -x1931 -x1932 -x1933 1782.70/1783.21 v -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 1782.70/1783.21 v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 1782.70/1783.21 v -x1968 -x1969 -x1970 x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 1782.70/1783.21 v -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 1782.70/1783.21 v -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 x2014 x2015 -x2016 -x2017 -x2018 -x2019 1782.70/1783.21 v -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 1782.70/1783.21 v -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 x2043 -x2044 x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 1782.70/1783.21 v -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 x2070 -x2071 1782.70/1783.21 v -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 1782.70/1783.21 v -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 x2100 x2101 -x2102 -x2103 -x2104 -x2105 -x2106 1782.70/1783.21 v -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 x2120 -x2121 -x2122 -x2123 1782.70/1783.21 v -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 1782.70/1783.21 v -x2141 -x2142 -x2143 -x2144 x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 1782.70/1783.21 v -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 1782.70/1783.21 v -x2175 -x2176 -x2177 -x2178 -x2179 x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 1782.70/1783.21 v -x2192 -x2193 x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 1782.70/1783.21 v -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 1782.70/1783.21 v -x2226 -x2227 -x2228 x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 1782.70/1783.21 v -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 1782.70/1783.21 v -x2260 -x2261 -x2262 x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 1782.70/1783.21 v -x2277 -x2278 -x2279 -x2280 x2281 -x2282 x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 1782.70/1783.21 v -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 x2308 -x2309 -x2310 -x2311 1782.70/1783.21 v -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 1782.70/1783.21 v -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 1782.70/1783.21 v -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 1782.70/1783.21 v -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 1782.70/1783.21 v -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 x2391 -x2392 -x2393 -x2394 -x2395 -x2396 1782.70/1783.21 v -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 1782.70/1783.21 v -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 1782.70/1783.21 v -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 x2445 -x2446 -x2447 1782.70/1783.21 v -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 1782.70/1783.21 v -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 x2472 x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 1782.70/1783.21 v -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 x2498 -x2499 1782.70/1783.21 v -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 1782.70/1783.21 v -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 1782.70/1783.21 v -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 1782.70/1783.21 v x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 1782.70/1783.21 v -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 1782.70/1783.21 v -x2585 x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 x2601 -x2602 1782.70/1783.21 v -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 x2618 -x2619 1782.70/1783.21 v -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 1782.70/1783.21 v -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 x2653 1782.70/1783.21 v -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 1782.70/1783.21 v -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 x2682 x2683 -x2684 -x2685 -x2686 -x2687 -x2688 1782.70/1783.21 v -x2689 -x2690 -x2691 -x2692 x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 1782.70/1783.21 v x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 1782.70/1783.21 v -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 x2737 x2738 -x2739 -x2740 1782.70/1783.21 v -x2741 -x2742 -x2743 -x2744 -x2745 x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 1782.70/1783.21 v -x2758 x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 x2773 -x2774 -x2775 1782.70/1783.21 v -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 1782.70/1783.21 v -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 1782.70/1783.21 v -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 x2825 -x2826 1782.70/1783.21 v -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 x2840 -x2841 -x2842 -x2843 1782.70/1783.21 v -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 x2850 -x2851 -x2852 -x2853 x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 1782.70/1783.21 v x2862 -x2863 x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 x2878 -x2879 1782.70/1783.21 v -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 x2889 -x2890 x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 1782.70/1783.21 v -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 1782.70/1783.21 v -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 x2926 -x2927 -x2928 -x2929 -x2930 -x2931 1782.70/1783.21 v -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 x2943 -x2944 -x2945 -x2946 -x2947 -x2948 1782.70/1783.21 v -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 1782.70/1783.21 v -x2966 x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 1782.70/1783.21 v -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 1782.70/1783.21 v -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 1782.70/1783.21 v -x3017 -x3018 -x3019 -x3020 x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 1782.70/1783.21 v x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 1782.70/1783.21 v -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 x3067 -x3068 1782.70/1783.21 v -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 1782.70/1783.21 v -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 x3094 x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 1782.70/1783.21 v -x3104 -x3105 -x3106 -x3107 -x3108 x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 1782.70/1783.21 v -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 x3132 -x3133 -x3134 -x3135 -x3136 -x3137 1782.70/1783.21 v -x3138
OK 5
Linearizing /tmp/evaluation/453152-1178119168/instance-453152-1178119168.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node11/watcher-453152-1178119168 -o ROOT/results/node11/solver-453152-1178119168 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/453152-1178119168/instance-453152-1178119168.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.97 0.98 0.99 3/77 19386 /proc/meminfo: memFree=1838256/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=2552 CPUtime=0 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 267 0 0 0 0 0 0 0 18 0 1 0 252965722 2613248 238 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 8445655 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 638 238 199 16 0 77 0 [startup+0.022325 s] /proc/loadavg: 0.97 0.98 0.99 3/77 19386 /proc/meminfo: memFree=1838256/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=2952 CPUtime=0.01 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 364 0 0 0 1 0 0 0 18 0 1 0 252965722 3022848 335 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 738 335 199 16 0 177 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2952 [startup+0.102335 s] /proc/loadavg: 0.97 0.98 0.99 3/77 19386 /proc/meminfo: memFree=1838256/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=4136 CPUtime=0.09 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 670 0 0 0 9 0 0 0 18 0 1 0 252965722 4235264 641 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 8414843 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 1034 641 203 16 0 473 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4136 [startup+0.302358 s] /proc/loadavg: 0.97 0.98 0.99 3/77 19386 /proc/meminfo: memFree=1838256/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=4932 CPUtime=0.29 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 842 0 0 0 29 0 0 0 19 0 1 0 252965722 5050368 813 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 1233 813 205 16 0 672 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4932 [startup+0.702415 s] /proc/loadavg: 0.97 0.98 0.99 3/77 19386 /proc/meminfo: memFree=1838256/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=5464 CPUtime=0.69 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 1005 0 0 0 69 0 0 0 22 0 1 0 252965722 5595136 976 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 1366 976 205 16 0 805 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5464 [startup+1.5015 s] /proc/loadavg: 0.97 0.98 0.99 2/78 19387 /proc/meminfo: memFree=1834600/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=6764 CPUtime=1.5 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 1326 0 0 0 149 1 0 0 25 0 1 0 252965722 6926336 1297 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 8414843 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 1691 1297 205 16 0 1130 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 6764 [startup+3.10169 s] /proc/loadavg: 0.97 0.98 0.99 2/78 19387 /proc/meminfo: memFree=1832616/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=8700 CPUtime=3.09 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 1799 0 0 0 308 1 0 0 25 0 1 0 252965722 8908800 1770 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 2175 1770 205 16 0 1614 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8700 [startup+6.30107 s] /proc/loadavg: 0.97 0.98 0.99 2/78 19387 /proc/meminfo: memFree=1831720/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=8700 CPUtime=6.29 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 1800 0 0 0 627 2 0 0 25 0 1 0 252965722 8908800 1771 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 2175 1771 205 16 0 1614 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8700 [startup+12.7018 s] /proc/loadavg: 0.97 0.98 0.99 2/78 19387 /proc/meminfo: memFree=1830320/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=10112 CPUtime=12.69 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 2148 0 0 0 1266 3 0 0 25 0 1 0 252965722 10354688 2119 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527737 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 2528 2119 205 16 0 1967 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10112 [startup+25.5013 s] /proc/loadavg: 0.98 0.98 0.99 2/78 19387 /proc/meminfo: memFree=1828976/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=11476 CPUtime=25.48 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 2497 0 0 0 2544 4 0 0 25 0 1 0 252965722 11751424 2468 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 2869 2468 205 16 0 2308 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 11476 [startup+51.1014 s] /proc/loadavg: 0.98 0.98 0.99 2/78 19387 /proc/meminfo: memFree=1829040/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=11476 CPUtime=51.07 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 2498 0 0 0 5097 10 0 0 25 0 1 0 252965722 11751424 2469 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 2869 2469 205 16 0 2308 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 11476 [startup+102.305 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19387 /proc/meminfo: memFree=1826096/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=14532 CPUtime=102.27 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 3243 0 0 0 10208 19 0 0 25 0 1 0 252965722 14880768 3214 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528560 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 3633 3214 205 16 0 3072 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 14532 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19387 /proc/meminfo: memFree=1821744/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=18716 CPUtime=162.25 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 4317 0 0 0 16198 27 0 0 25 0 1 0 252965722 19165184 4288 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527841 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 4679 4288 205 16 0 4118 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 18716 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19387 /proc/meminfo: memFree=1821872/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=18348 CPUtime=222.23 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 4318 0 0 0 22187 36 0 0 25 0 1 0 252965722 18788352 4197 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 4587 4197 205 16 0 4026 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 18348 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19387 /proc/meminfo: memFree=1821872/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=18348 CPUtime=282.21 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 4318 0 0 0 28175 46 0 0 25 0 1 0 252965722 18788352 4197 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134557723 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 4587 4197 205 16 0 4026 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 18348 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19387 /proc/meminfo: memFree=1821872/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=18348 CPUtime=342.2 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 4319 0 0 0 34166 54 0 0 25 0 1 0 252965722 18788352 4198 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 4587 4198 205 16 0 4026 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 18348 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19387 /proc/meminfo: memFree=1821872/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=18348 CPUtime=402.18 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 4319 0 0 0 40155 63 0 0 25 0 1 0 252965722 18788352 4198 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134524561 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 4587 4198 205 16 0 4026 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 18348 [startup+462.303 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19387 /proc/meminfo: memFree=1821872/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=18348 CPUtime=462.17 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 4319 0 0 0 46145 72 0 0 25 0 1 0 252965722 18788352 4198 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 4587 4198 205 16 0 4026 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 18348 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19387 /proc/meminfo: memFree=1821872/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=18348 CPUtime=522.15 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 4319 0 0 0 52134 81 0 0 25 0 1 0 252965722 18788352 4198 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 4587 4198 205 16 0 4026 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 18348 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 3/78 19387 /proc/meminfo: memFree=1821872/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=18452 CPUtime=582.13 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 4323 0 0 0 58125 88 0 0 25 0 1 0 252965722 18894848 4202 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 4613 4202 205 16 0 4052 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 18452 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19387 /proc/meminfo: memFree=1811760/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=28236 CPUtime=642.12 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 6876 0 0 0 64115 97 0 0 25 0 1 0 252965722 28913664 6671 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 7059 6671 205 16 0 6498 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 28236 ################ # More data... # ################ /proc/meminfo: memFree=1811696/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=28236 CPUtime=882.05 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 6902 0 0 0 88076 129 0 0 25 0 1 0 252965722 28913664 6671 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528630 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 7059 6671 205 16 0 6498 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 28236 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19387 /proc/meminfo: memFree=1810096/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=29896 CPUtime=942.03 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 7309 0 0 0 94066 137 0 0 25 0 1 0 252965722 30613504 7078 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134557734 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 7474 7078 205 16 0 6913 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 29896 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19387 /proc/meminfo: memFree=1810096/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=29824 CPUtime=1002.02 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 7309 0 0 0 100055 147 0 0 25 0 1 0 252965722 30539776 7068 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 7456 7068 205 16 0 6895 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 29824 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19387 /proc/meminfo: memFree=1810032/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=29824 CPUtime=1062 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 7309 0 0 0 106044 156 0 0 25 0 1 0 252965722 30539776 7068 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 7456 7068 205 16 0 6895 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 29824 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19387 /proc/meminfo: memFree=1810032/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=29824 CPUtime=1121.98 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 7309 0 0 0 112033 165 0 0 25 0 1 0 252965722 30539776 7068 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 7456 7068 205 16 0 6895 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 29824 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19387 /proc/meminfo: memFree=1810032/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=29824 CPUtime=1181.97 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 7309 0 0 0 118024 173 0 0 25 0 1 0 252965722 30539776 7068 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 7456 7068 205 16 0 6895 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 29824 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19387 /proc/meminfo: memFree=1809968/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=29824 CPUtime=1241.96 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 7309 0 0 0 124015 181 0 0 25 0 1 0 252965722 30539776 7068 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 7456 7068 205 16 0 6895 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 29824 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19387 /proc/meminfo: memFree=1809968/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=29824 CPUtime=1301.94 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 7309 0 0 0 130006 188 0 0 25 0 1 0 252965722 30539776 7068 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528055 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 7456 7068 205 16 0 6895 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 29824 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19387 /proc/meminfo: memFree=1809904/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=29824 CPUtime=1361.92 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 7309 0 0 0 135994 198 0 0 25 0 1 0 252965722 30539776 7068 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 7456 7068 205 16 0 6895 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 29824 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19387 /proc/meminfo: memFree=1809904/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=29824 CPUtime=1421.91 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 7309 0 0 0 141984 207 0 0 25 0 1 0 252965722 30539776 7068 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 7456 7068 205 16 0 6895 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 29824 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19387 /proc/meminfo: memFree=1809840/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=29824 CPUtime=1481.89 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 7309 0 0 0 147974 215 0 0 25 0 1 0 252965722 30539776 7068 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 7456 7068 205 16 0 6895 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 29824 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19387 /proc/meminfo: memFree=1809840/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=29824 CPUtime=1541.87 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 7309 0 0 0 153964 223 0 0 25 0 1 0 252965722 30539776 7068 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 7456 7068 205 16 0 6895 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 29824 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19388 /proc/meminfo: memFree=1809648/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=29824 CPUtime=1601.86 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 7309 0 0 0 159956 230 0 0 25 0 1 0 252965722 30539776 7068 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 7456 7068 205 16 0 6895 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 29824 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19389 /proc/meminfo: memFree=1809648/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=29824 CPUtime=1661.84 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 7309 0 0 0 165945 239 0 0 25 0 1 0 252965722 30539776 7068 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 7456 7068 205 16 0 6895 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 29824 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19389 /proc/meminfo: memFree=1809584/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=29824 CPUtime=1721.83 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 7309 0 0 0 171936 247 0 0 25 0 1 0 252965722 30539776 7068 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 7456 7068 205 16 0 6895 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 29824 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19389 /proc/meminfo: memFree=1809584/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=29824 CPUtime=1781.81 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 7310 0 0 0 177928 253 0 0 25 0 1 0 252965722 30539776 7069 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 7456 7069 205 16 0 6895 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 29824 Solver just ended. Dumping a history of the last processes samples [startup+1782.7 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19389 /proc/meminfo: memFree=1809584/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=29824 CPUtime=1782.2 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 7310 0 0 0 177967 253 0 0 25 0 1 0 252965722 30539776 7069 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 8418253 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 7456 7069 205 16 0 6895 0 Current children cumulated CPU time (s) 1782.2 Current children cumulated vsize (KiB) 29824 [startup+1783.11 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19389 /proc/meminfo: memFree=1809584/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=29824 CPUtime=1782.61 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 7310 0 0 0 178008 253 0 0 25 0 1 0 252965722 30539776 7069 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 7456 7069 205 16 0 6895 0 Current children cumulated CPU time (s) 1782.61 Current children cumulated vsize (KiB) 29824 [startup+1783.2 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19389 /proc/meminfo: memFree=1809584/2055920 swapFree=4147120/4192956 [pid=19386] ppid=19384 vsize=29824 CPUtime=1782.7 /proc/19386/stat : 19386 (Pueblo) R 19384 19386 18508 0 -1 4194304 7310 0 0 0 178017 253 0 0 25 0 1 0 252965722 30539776 7069 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559221 0 0 4096 0 0 0 0 17 1 0 0 /proc/19386/statm: 7456 7069 205 16 0 6895 0 Current children cumulated CPU time (s) 1782.7 Current children cumulated vsize (KiB) 29824 Child status: 10 Real time (s): 1783.22 CPU time (s): 1782.73 CPU user time (s): 1780.19 CPU system time (s): 2.54461 CPU usage (%): 99.9728 Max. virtual memory (cumulated for all children) (KiB): 29896 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1780.19 system time used= 2.54461 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7317 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= 3932 runsolver used 1.3438 second user time and 3.80342 second system time The end
Begin job on node11 on Wed May 2 15:19:28 UTC 2007 IDJOB= 453152 IDBENCH= 48111 IDSOLVER= 165 FILE ID= node11/453152-1178119168 PBS_JOBID= 4751015 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_1.opb COMMAND LINE= Pueblo /tmp/evaluation/453152-1178119168/instance-453152-1178119168.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node11/convwatcher-453152-1178119168 -o ROOT/results/node11/conversion-453152-1178119168 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453152-1178119168/instance-453152-1178119168.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-453152-1178119168 -o ROOT/results/node11/solver-453152-1178119168 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/453152-1178119168/instance-453152-1178119168.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= aa10899bd7f711370f6ef9f1251ce7f2 RANDOM SEED= 154345964 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node11.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.235 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.235 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1838728 kB Buffers: 75416 kB Cached: 55144 kB SwapCached: 14280 kB Active: 67104 kB Inactive: 92084 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1838728 kB SwapTotal: 4192956 kB SwapFree: 4147120 kB Dirty: 2504 kB Writeback: 0 kB Mapped: 35280 kB Slab: 43456 kB Committed_AS: 7292636 kB PageTables: 1864 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 node11 on Wed May 2 15:49:11 UTC 2007