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