Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 5 | 1782.74 | 1783.23 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_4.opb |
MD5SUM | 4c6ab7a9b1b11dc4bf8c6231156cc585 |
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 | 40.2319 |
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 | 41 |
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) | 3070 |
Sum of products size (including duplicates) | 6140 |
Number of different products | 3070 |
Sum of products size | 6140 |
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: 3170 - #constraints read: 6241 0.09/0.13 o 10 0.09/0.14 o 9 0.09/0.14 o 8 0.29/0.38 o 7 5.89/5.90 o 6 1410.31/1410.71 o 5 1782.71/1783.21 c total time : 1783 s 1782.71/1783.21 s SATISFIABLE 1782.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/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.71/1783.21 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1782.71/1783.21 v x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 1782.71/1783.21 v -x1025 -x1026 -x1027 x1028 -x1029 -x1030 x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 1782.71/1783.21 v -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 x1057 -x1058 -x1059 1782.71/1783.21 v -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 x1071 -x1072 -x1073 -x1074 -x1075 -x1076 1782.71/1783.21 v -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 x1092 -x1093 -x1094 1782.71/1783.21 v -x1095 -x1096 -x1097 -x1098 x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 1782.71/1783.21 v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 1782.71/1783.21 v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 1782.71/1783.21 v -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 1782.71/1783.21 v -x1164 -x1165 -x1166 -x1167 x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 1782.71/1783.21 v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 1782.71/1783.21 v -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 1782.71/1783.21 v -x1215 x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 1782.71/1783.21 v -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 1782.71/1783.21 v x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 1782.71/1783.21 v -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 1782.71/1783.21 v -x1284 x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 1782.71/1783.21 v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 1782.71/1783.21 v -x1318 x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 1782.71/1783.21 v -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 1782.71/1783.21 v -x1352 -x1353 -x1354 -x1355 x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 1782.71/1783.21 v -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 x1381 -x1382 -x1383 -x1384 -x1385 1782.71/1783.21 v -x1386 -x1387 -x1388 -x1389 x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 1782.71/1783.21 v -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 x1412 -x1413 x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 1782.71/1783.21 v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 1782.71/1783.21 v -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 1782.71/1783.21 v -x1455 -x1456 x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 1782.71/1783.21 v -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 x1485 x1486 -x1487 -x1488 -x1489 1782.71/1783.21 v -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 1782.71/1783.21 v -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 x1517 x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 1782.71/1783.21 v -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 x1537 -x1538 -x1539 -x1540 -x1541 1782.71/1783.21 v -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 1782.71/1783.21 v -x1559 x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 1782.71/1783.21 v -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 x1592 1782.71/1783.21 v -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 x1606 -x1607 -x1608 -x1609 1782.71/1783.21 v -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 x1626 1782.71/1783.21 v -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 1782.71/1783.21 v -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 1782.71/1783.21 v -x1661 -x1662 -x1663 -x1664 x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 1782.71/1783.21 v x1678 -x1679 -x1680 x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 1782.71/1783.21 v -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 x1705 -x1706 x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 1782.71/1783.21 v -x1714 -x1715 -x1716 -x1717 x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 1782.71/1783.21 v -x1731 -x1732 -x1733 -x1734 x1735 -x1736 -x1737 x1738 x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 1782.71/1783.21 v -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 1782.71/1783.21 v x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 1782.71/1783.21 v -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 x1795 -x1796 -x1797 -x1798 -x1799 1782.71/1783.21 v -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 1782.71/1783.21 v -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 1782.71/1783.21 v -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 1782.71/1783.21 v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 1782.71/1783.21 v -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 x1879 -x1880 -x1881 -x1882 -x1883 -x1884 1782.71/1783.21 v -x1885 -x1886 -x1887 -x1888 -x1889 x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 1782.71/1783.21 v -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 1782.71/1783.21 v -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 1782.71/1783.21 v -x1936 -x1937 x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 1782.71/1783.21 v -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 1782.71/1783.21 v x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 1782.71/1783.21 v -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 x2003 1782.71/1783.21 v -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 1782.71/1783.21 v -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 x2032 -x2033 -x2034 -x2035 -x2036 -x2037 1782.71/1783.21 v -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 1782.71/1783.21 v -x2055 -x2056 -x2057 -x2058 -x2059 x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 1782.71/1783.21 v x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 1782.71/1783.21 v -x2089 x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 1782.71/1783.21 v -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 1782.71/1783.21 v -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 1782.71/1783.21 v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 1782.71/1783.21 v -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 1782.71/1783.21 v -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 1782.71/1783.21 v x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 1782.71/1783.21 v x2209 x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 1782.71/1783.21 v -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 x2235 x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 1782.71/1783.21 v -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 1782.71/1783.21 v -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 1782.71/1783.21 v -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 x2293 -x2294 -x2295 1782.71/1783.21 v -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 1782.71/1783.21 v -x2313 -x2314 -x2315 -x2316 -x2317 x2318 -x2319 -x2320 x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 1782.71/1783.21 v -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 x2346 -x2347 -x2348 1782.71/1783.21 v -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 1782.71/1783.21 v -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 x2373 x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 x2383 1782.71/1783.21 v -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 1782.71/1783.21 v x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 1782.71/1783.21 v -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 x2432 -x2433 -x2434 1782.71/1783.21 v -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 1782.71/1783.21 v -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 1782.71/1783.21 v -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 x2484 -x2485 1782.71/1783.21 v -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 1782.71/1783.21 v -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 1782.71/1783.21 v -x2520 x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 x2532 -x2533 -x2534 -x2535 -x2536 -x2537 1782.71/1783.21 v -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 1782.71/1783.21 v -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 x2562 x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 1782.71/1783.21 v -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 1782.71/1783.21 v -x2590 -x2591 x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 1782.71/1783.21 v -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 x2618 -x2619 -x2620 -x2621 -x2622 -x2623 1782.71/1783.21 v -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 1782.71/1783.21 v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 1782.71/1783.21 v -x2658 x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 x2671 -x2672 -x2673 -x2674 -x2675 1782.71/1783.21 v -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 1782.71/1783.21 v -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 1782.71/1783.21 v x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 1782.71/1783.21 v -x2727 x2728 x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 x2739 -x2740 -x2741 -x2742 -x2743 -x2744 1782.71/1783.21 v -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 x2756 x2757 -x2758 -x2759 -x2760 -x2761 -x2762 1782.71/1783.21 v -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 1782.71/1783.21 v -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 x2796 1782.71/1783.21 v -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 x2808 -x2809 -x2810 x2811 -x2812 -x2813 -x2814 1782.71/1783.21 v -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 1782.71/1783.21 v -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 x2847 -x2848 1782.71/1783.21 v -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 x2863 -x2864 -x2865 1782.71/1783.21 v -x2866 -x2867 -x2868 -x2869 x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 1782.71/1783.21 v -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 1782.71/1783.21 v -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 1782.71/1783.21 v -x2917 -x2918 -x2919 -x2920 x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 1782.71/1783.21 v -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 x2944 x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 1782.71/1783.21 v -x2952 -x2953 -x2954 x2955 -x2956 -x2957 -x2958 x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 x2967 x2968 x2969 1782.71/1783.21 v -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 1782.71/1783.21 v -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 1782.71/1783.21 v -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 x3019 -x3020 1782.71/1783.21 v -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 1782.71/1783.21 v -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 x3053 -x3054 1782.71/1783.21 v -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 1782.71/1783.21 v -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 1782.71/1783.21 v -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 x3103 -x3104 -x3105 1782.71/1783.21 v -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 1782.71/1783.21 v -x3123 -x3124 x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 1782.71/1783.21 v -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 1782.71/1783.21 v -x3157 -x3158 -x3159 x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170
OK 5
Linearizing /tmp/evaluation/453632-1178144551/instance-453632-1178144551.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node14/watcher-453632-1178144551 -o ROOT/results/node14/solver-453632-1178144551 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/453632-1178144551/instance-453632-1178144551.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.99 0.97 0.98 3/77 26856 /proc/meminfo: memFree=1779968/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=2552 CPUtime=0 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 265 0 0 0 0 0 0 0 18 0 1 0 262372851 2613248 236 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 7392983 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 638 237 199 16 0 77 0 [startup+0.016385 s] /proc/loadavg: 0.99 0.97 0.98 3/77 26856 /proc/meminfo: memFree=1779968/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=2816 CPUtime=0.01 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 347 0 0 0 1 0 0 0 18 0 1 0 262372851 2883584 318 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 704 320 199 16 0 143 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2816 [startup+0.101392 s] /proc/loadavg: 0.99 0.97 0.98 3/77 26856 /proc/meminfo: memFree=1779968/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=4144 CPUtime=0.09 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 670 0 0 0 9 0 0 0 18 0 1 0 262372851 4243456 641 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134532452 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 1036 641 203 16 0 475 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4144 [startup+0.301411 s] /proc/loadavg: 0.99 0.97 0.98 3/77 26856 /proc/meminfo: memFree=1779968/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=4940 CPUtime=0.29 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 848 0 0 0 29 0 0 0 19 0 1 0 262372851 5058560 819 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 1235 819 205 16 0 674 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4940 [startup+0.701447 s] /proc/loadavg: 0.99 0.97 0.98 3/77 26856 /proc/meminfo: memFree=1779968/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=5444 CPUtime=0.69 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 1000 0 0 0 69 0 0 0 22 0 1 0 262372851 5574656 971 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 1361 973 205 16 0 800 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5444 [startup+1.50152 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26857 /proc/meminfo: memFree=1776184/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=6736 CPUtime=1.49 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 1326 0 0 0 148 1 0 0 25 0 1 0 262372851 6897664 1297 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 1684 1297 205 16 0 1123 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6736 [startup+3.10168 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26857 /proc/meminfo: memFree=1774520/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=7516 CPUtime=3.09 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 1514 0 0 0 308 1 0 0 25 0 1 0 262372851 7696384 1485 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 1879 1485 205 16 0 1318 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7516 [startup+6.30198 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26857 /proc/meminfo: memFree=1774200/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=8408 CPUtime=6.29 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 1736 0 0 0 627 2 0 0 25 0 1 0 262372851 8609792 1707 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 2102 1707 205 16 0 1541 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8408 [startup+12.7016 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26857 /proc/meminfo: memFree=1771384/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=11180 CPUtime=12.68 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 2423 0 0 0 1265 3 0 0 25 0 1 0 262372851 11448320 2394 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 2795 2394 205 16 0 2234 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 11180 [startup+25.5018 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26857 /proc/meminfo: memFree=1769592/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=12616 CPUtime=25.49 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 2770 0 0 0 2543 6 0 0 25 0 1 0 262372851 12918784 2741 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 3154 2741 205 16 0 2593 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 12616 [startup+51.1012 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26857 /proc/meminfo: memFree=1769016/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=13136 CPUtime=51.08 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 2927 0 0 0 5099 9 0 0 25 0 1 0 262372851 13451264 2888 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 3284 2888 205 16 0 2723 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 13136 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26857 /proc/meminfo: memFree=1768952/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=13136 CPUtime=102.26 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 2928 0 0 0 10210 16 0 0 25 0 1 0 262372851 13451264 2889 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 3284 2889 205 16 0 2723 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 13136 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26857 /proc/meminfo: memFree=1766264/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=16744 CPUtime=162.25 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 3834 0 0 0 16199 26 0 0 25 0 1 0 262372851 17145856 3795 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 4186 3795 205 16 0 3625 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 16744 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26857 /proc/meminfo: memFree=1761528/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=20284 CPUtime=222.23 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 4778 0 0 0 22189 34 0 0 25 0 1 0 262372851 20770816 4685 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134558862 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 5071 4685 205 16 0 4510 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 20284 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26857 /proc/meminfo: memFree=1761528/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=20284 CPUtime=282.22 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 4778 0 0 0 28178 44 0 0 25 0 1 0 262372851 20770816 4685 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 5071 4685 205 16 0 4510 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 20284 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26857 /proc/meminfo: memFree=1761528/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=20284 CPUtime=342.2 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 4779 0 0 0 34168 52 0 0 25 0 1 0 262372851 20770816 4686 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 5071 4686 205 16 0 4510 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 20284 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26857 /proc/meminfo: memFree=1761592/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=20284 CPUtime=402.18 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 4779 0 0 0 40157 61 0 0 25 0 1 0 262372851 20770816 4686 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 5071 4686 205 16 0 4510 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 20284 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26857 /proc/meminfo: memFree=1761656/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=20284 CPUtime=462.16 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 4779 0 0 0 46145 71 0 0 25 0 1 0 262372851 20770816 4686 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 5071 4686 205 16 0 4510 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 20284 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26857 /proc/meminfo: memFree=1761656/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=20284 CPUtime=522.15 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 4779 0 0 0 52134 81 0 0 25 0 1 0 262372851 20770816 4686 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528006 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 5071 4686 205 16 0 4510 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 20284 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26857 /proc/meminfo: memFree=1761592/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=20284 CPUtime=582.13 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 4779 0 0 0 58123 90 0 0 25 0 1 0 262372851 20770816 4686 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134533479 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 5071 4686 205 16 0 4510 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 20284 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26857 /proc/meminfo: memFree=1761656/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=20284 CPUtime=642.12 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 4779 0 0 0 64113 99 0 0 25 0 1 0 262372851 20770816 4686 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 5071 4686 205 16 0 4510 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 20284 ################ # More data... # ################ /proc/meminfo: memFree=1756984/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=25284 CPUtime=882.05 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 6016 0 0 0 88072 133 0 0 25 0 1 0 262372851 25890816 5923 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 6321 5923 205 16 0 5760 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 25284 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26857 /proc/meminfo: memFree=1748856/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=32876 CPUtime=942.04 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 7987 0 0 0 94063 141 0 0 25 0 1 0 262372851 33665024 7834 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559592 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 8219 7834 205 16 0 7658 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 32876 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26857 /proc/meminfo: memFree=1748920/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=32800 CPUtime=1002.02 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 7987 0 0 0 100053 149 0 0 25 0 1 0 262372851 33587200 7815 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 8200 7815 205 16 0 7639 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 32800 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26857 /proc/meminfo: memFree=1748920/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=32800 CPUtime=1062 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 7987 0 0 0 106044 156 0 0 25 0 1 0 262372851 33587200 7815 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528006 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 8200 7815 205 16 0 7639 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 32800 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26859 /proc/meminfo: memFree=1748920/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=32800 CPUtime=1121.99 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 7987 0 0 0 112034 165 0 0 25 0 1 0 262372851 33587200 7815 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 8200 7815 205 16 0 7639 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 32800 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26859 /proc/meminfo: memFree=1748920/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=32800 CPUtime=1181.97 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 7987 0 0 0 118024 173 0 0 25 0 1 0 262372851 33587200 7815 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 8200 7815 205 16 0 7639 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 32800 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26859 /proc/meminfo: memFree=1748920/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=32800 CPUtime=1241.95 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 7987 0 0 0 124013 182 0 0 25 0 1 0 262372851 33587200 7815 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 8200 7815 205 16 0 7639 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 32800 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26859 /proc/meminfo: memFree=1748984/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=32800 CPUtime=1301.94 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 7987 0 0 0 130003 191 0 0 25 0 1 0 262372851 33587200 7815 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527324 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 8200 7815 205 16 0 7639 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 32800 [startup+1362.3 s] /proc/loadavg: 1.11 1.00 0.99 2/78 26859 /proc/meminfo: memFree=1748920/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=32800 CPUtime=1361.92 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 7987 0 0 0 135993 199 0 0 25 0 1 0 262372851 33587200 7815 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 8200 7815 205 16 0 7639 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 32800 [startup+1422.31 s] /proc/loadavg: 1.11 1.02 1.00 2/78 26859 /proc/meminfo: memFree=1748856/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=32800 CPUtime=1421.91 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 7987 0 0 0 141985 206 0 0 25 0 1 0 262372851 33587200 7815 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 8200 7815 205 16 0 7639 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 32800 [startup+1482.3 s] /proc/loadavg: 1.04 1.01 1.00 2/78 26859 /proc/meminfo: memFree=1748856/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=32800 CPUtime=1481.89 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 7987 0 0 0 147972 217 0 0 25 0 1 0 262372851 33587200 7815 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 8200 7815 205 16 0 7639 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 32800 [startup+1542.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 26859 /proc/meminfo: memFree=1748856/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=32800 CPUtime=1541.87 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 7987 0 0 0 153962 225 0 0 25 0 1 0 262372851 33587200 7815 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528392 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 8200 7815 205 16 0 7639 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 32800 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26859 /proc/meminfo: memFree=1748856/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=32800 CPUtime=1601.86 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 7987 0 0 0 159954 232 0 0 25 0 1 0 262372851 33587200 7815 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559236 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 8200 7815 205 16 0 7639 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 32800 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26859 /proc/meminfo: memFree=1748856/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=32800 CPUtime=1661.84 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 7987 0 0 0 165944 240 0 0 25 0 1 0 262372851 33587200 7815 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559236 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 8200 7815 205 16 0 7639 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 32800 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26859 /proc/meminfo: memFree=1748792/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=32800 CPUtime=1721.82 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 7987 0 0 0 171935 247 0 0 25 0 1 0 262372851 33587200 7815 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134519937 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 8200 7815 205 16 0 7639 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 32800 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26859 /proc/meminfo: memFree=1748728/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=32800 CPUtime=1781.81 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 7987 0 0 0 177926 255 0 0 25 0 1 0 262372851 33587200 7815 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 8200 7815 205 16 0 7639 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 32800 Solver just ended. Dumping a history of the last processes samples [startup+1782.7 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26859 /proc/meminfo: memFree=1748728/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=32800 CPUtime=1782.21 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 7987 0 0 0 177966 255 0 0 25 0 1 0 262372851 33587200 7815 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 8200 7815 205 16 0 7639 0 Current children cumulated CPU time (s) 1782.21 Current children cumulated vsize (KiB) 32800 [startup+1783.11 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26859 /proc/meminfo: memFree=1748728/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=32800 CPUtime=1782.61 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 7987 0 0 0 178006 255 0 0 25 0 1 0 262372851 33587200 7815 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 8200 7815 205 16 0 7639 0 Current children cumulated CPU time (s) 1782.61 Current children cumulated vsize (KiB) 32800 [startup+1783.2 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26859 /proc/meminfo: memFree=1748728/2055920 swapFree=4148808/4192956 [pid=26856] ppid=26854 vsize=32800 CPUtime=1782.71 /proc/26856/stat : 26856 (Pueblo) R 26854 26856 22530 0 -1 4194304 7987 0 0 0 178016 255 0 0 25 0 1 0 262372851 33587200 7815 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528357 0 0 4096 0 0 0 0 17 1 0 0 /proc/26856/statm: 8200 7815 205 16 0 7639 0 Current children cumulated CPU time (s) 1782.71 Current children cumulated vsize (KiB) 32800 Child status: 10 Real time (s): 1783.23 CPU time (s): 1782.74 CPU user time (s): 1780.18 CPU system time (s): 2.56061 CPU usage (%): 99.9728 Max. virtual memory (cumulated for all children) (KiB): 33176 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1780.18 system time used= 2.56061 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7994 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= 2618 runsolver used 1.37979 second user time and 3.81942 second system time The end
Begin job on node14 on Wed May 2 22:22:31 UTC 2007 IDJOB= 453632 IDBENCH= 48143 IDSOLVER= 165 FILE ID= node14/453632-1178144551 PBS_JOBID= 4751059 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_4.opb COMMAND LINE= Pueblo /tmp/evaluation/453632-1178144551/instance-453632-1178144551.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node14/convwatcher-453632-1178144551 -o ROOT/results/node14/conversion-453632-1178144551 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453632-1178144551/instance-453632-1178144551.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-453632-1178144551 -o ROOT/results/node14/solver-453632-1178144551 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/453632-1178144551/instance-453632-1178144551.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 4c6ab7a9b1b11dc4bf8c6231156cc585 RANDOM SEED= 355181008 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node14.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.227 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.227 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: 1780376 kB Buffers: 114120 kB Cached: 75396 kB SwapCached: 11220 kB Active: 101288 kB Inactive: 115060 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1780376 kB SwapTotal: 4192956 kB SwapFree: 4148808 kB Dirty: 2512 kB Writeback: 0 kB Mapped: 32456 kB Slab: 44700 kB Committed_AS: 9227620 kB PageTables: 1796 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 node14 on Wed May 2 22:52:14 UTC 2007