Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 39 | 1800.1 | 1800.63 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-vpm1.opb |
MD5SUM | 019e5a614038472d624f56ab4ecfb30e |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 39 |
Best CPU time to get the best result obtained on this benchmark | 1800.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 38 |
Optimality of the best value was proved | NO |
Number of variables | 2754 |
Total number of constraints | 444 |
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 | 444 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 82 |
Number of terms in the objective function | 168 |
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 | 168 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 819200 |
Number of bits of the biggest number in a constraint | 20 |
Biggest sum of numbers in a constraint | 4941871 |
Number of bits of the biggest sum of numbers | 23 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/432526-1177944563/instance-432526-1177944563.opb 0.00/0.00 c File size is 106651 bytes. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Highest Coefficient sum: 4.94187e+06 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.018 s 0.00/0.02 c Var: 2754 Constr: 486 0/0/486 Lit: 12852 Watch. Lit: 8083 0.00/0.02 c Obj. Vars: 168 (6.10022 % of total variables) 0.02/0.07 c Pre-processing Time: 0.066 s 99.47/99.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 99.47/99.57 c 0 1861 301 9230 30 6439 18460 0 0 0.07 99.47/99.57 c 101 1861 402 13814 34 7426 20307 101 1364 0.07 99.47/99.57 c 251 1861 552 20027 36 7922 22338 251 2952 0.09 99.47/99.57 c 476 1861 777 31189 40 8419 24572 476 4448 0.11 99.47/99.57 c 814 1861 1115 53986 48 9343 27030 814 5773 0.14 99.47/99.57 c 1322 1861 1623 75618 46 10293 29734 1322 6643 0.20 99.47/99.57 c 2086 1861 2387 108529 45 11810 32708 2086 7143 0.29 99.47/99.57 c 3232 1861 3533 204915 58 14224 35979 3232 7569 0.43 99.47/99.57 c 4953 1861 5254 305962 58 17614 39577 4953 6137 0.81 99.47/99.57 c 7538 1861 7839 487049 62 22967 43535 7538 6281 1.20 99.47/99.57 c 11418 1861 11719 772672 65 30638 47889 11418 3798 3.01 99.47/99.57 c 17243 1861 17544 1097653 62 42368 52678 17243 3160 5.46 99.47/99.57 c 25980 1861 26281 1572378 59 59869 57946 25980 3283 7.91 99.47/99.57 c 39094 1861 39395 2484997 63 86017 63741 39094 2017 19.37 99.47/99.57 c 58765 1861 59066 3518533 59 125274 70116 58765 1088 54.00 99.47/99.57 c 88275 1861 28959 1405998 48 64998 77128 28658 891 99.02 99.47/99.57 o 39 99.543 1800.07/1800.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.07/1800.61 c 92052 1861 32737 1647780 50 72774 19460 32436 924 99.54 1800.07/1800.61 c 92152 1861 10132 549569 54 27582 21407 9831 908 101.42 1800.07/1800.61 c 92403 1861 10383 564409 54 28196 23548 10082 910 101.49 1800.07/1800.61 c 92878 1861 10858 576576 53 28903 25903 10557 914 101.54 1800.07/1800.61 c 93691 1861 11671 599417 51 30592 28494 11370 921 101.64 1800.07/1800.61 c 95011 1861 12991 639064 49 33230 31344 12690 932 101.84 1800.07/1800.61 c 97092 1861 15072 712784 47 37401 34479 14771 949 102.29 1800.07/1800.61 c 100315 1861 18295 933054 51 43954 37927 17994 975 102.83 1800.07/1800.61 c 105251 1861 23231 1228275 52 53617 41720 22930 1011 104.04 1800.07/1800.61 c 112757 1861 30737 1926855 62 68749 45893 30436 1057 106.67 1800.07/1800.61 c 124119 1861 42099 2808639 66 91442 50483 41798 1091 113.74 1800.07/1800.61 c 141263 1861 19148 942316 49 45535 55532 18847 1095 128.90 1800.07/1800.61 c 167082 1861 44967 2222644 49 97217 61086 44666 1004 166.38 1800.07/1800.61 c 205916 1861 32993 3882660 117 73337 67195 32692 931 221.11 1800.07/1800.61 c 264268 1861 34364 1905952 55 75942 73915 34063 669 394.76 1800.07/1800.61 c 351904 1861 59620 5922995 99 126467 81307 59319 542 648.61 1800.07/1800.61 c 483457 1861 49325 2749070 55 105876 89438 49024 372 1296.49 1800.07/1800.61 c Caught signal: 15 1800.07/1800.61 v x2587 -x2588 x2589 -x2590 -x2591 x2592 -x2593 -x2594 -x2595 -x2596 x2597 x2598 x2599 x2600 x2601 x2602 x2603 x2604 -x2605 1800.07/1800.61 v -x2606 x2607 x2608 -x2609 x2610 -x2611 -x2612 -x2613 x2614 -x2615 -x2616 -x2617 x2618 x2619 -x2620 -x2621 -x2622 -x2623 1800.07/1800.61 v -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 x2633 -x2634 -x2635 -x2636 -x2637 -x2638 x2639 -x2640 -x2641 1800.07/1800.61 v -x2642 -x2643 x2644 -x2645 x2646 -x2647 -x2648 -x2649 -x2650 x2651 -x2652 -x2653 -x2654 -x2655 x2656 -x2657 -x2658 -x2659 1800.07/1800.61 v -x2660 -x2661 -x2662 -x2663 x2664 -x2665 -x2666 -x2667 -x2668 x2669 x2670 -x2671 -x2672 -x2673 -x2674 x2675 -x2676 -x2677 1800.07/1800.61 v -x2678 -x2679 -x2680 -x2681 x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 x2692 -x2693 x2694 -x2695 1800.07/1800.61 v -x2696 -x2697 x2698 -x2699 -x2700 -x2701 -x2702 -x2703 x2704 -x2705 -x2706 -x2707 x2708 -x2709 -x2710 -x2711 -x2712 x2713 1800.07/1800.61 v -x2714 -x2715 -x2716 -x2717 -x2718 x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 1800.07/1800.61 v -x2731 -x2732 x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 x2744 x2745 -x2746 -x2747 -x2748 1800.07/1800.61 v -x2749 -x2750 x2751 -x2752 -x2753 -x2754 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 -x751 -x752 1800.07/1800.61 v -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 x765 x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 1800.07/1800.61 v -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 1800.07/1800.61 v -x795 -x796 -x797 -x798 -x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 1800.07/1800.61 v -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 1800.07/1800.61 v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 x855 -x856 x857 1800.07/1800.61 v -x858 -x859 -x860 -x861 x862 x863 x864 x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 1800.07/1800.61 v x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 x891 -x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 -x900 1800.07/1800.61 v x901 -x902 -x903 -x904 x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 x915 -x916 x917 x918 -x919 -x920 x921 -x922 1800.07/1800.61 v -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 1800.07/1800.61 v -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 x964 1800.07/1800.61 v x965 -x966 -x967 x968 -x969 x970 x971 -x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1800.07/1800.61 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 x996 -x997 x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1800.07/1800.61 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1800.07/1800.61 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1800.07/1800.61 v -x1041 -x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 1800.07/1800.61 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 1800.07/1800.61 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 x1089 -x1090 -x1091 1800.07/1800.61 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 1800.07/1800.61 v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1800.07/1800.61 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 1800.07/1800.61 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 1800.07/1800.61 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 1800.07/1800.61 v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 1800.07/1800.61 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 1800.07/1800.61 v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 1800.07/1800.61 v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 1800.07/1800.61 v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 1800.07/1800.61 v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 1800.07/1800.61 v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 1800.07/1800.61 v -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 1800.07/1800.61 v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 1800.07/1800.61 v -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 1800.07/1800.61 v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 1800.07/1800.61 v -x1364 -x1365 x1366 -x1367 -x1368 x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 1800.07/1800.61 v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 x1389 -x1390 -x1391 x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 1800.07/1800.61 v -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 1800.07/1800.61 v -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 1800.07/1800.61 v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 1800.07/1800.61 v x1451 x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 1800.07/1800.61 v -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 1800.07/1800.61 v -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 x1498 x1499 x1500 -x1501 x1502 x1503 1800.07/1800.61 v x1504 x1505 x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 1800.07/1800.61 v -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 1800.07/1800.61 v -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 1800.07/1800.61 v -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 1800.07/1800.61 v -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 1800.07/1800.61 v -x1590 -x1591 x1592 x1593 x1594 x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 1800.07/1800.61 v -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 1800.07/1800.61 v -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 1800.07/1800.61 v -x1642 -x1643 -x1644 -x1645 -x1646 x1647 x1648 -x1649 x1650 -x1651 -x1652 -x1653 x1654 x1655 -x1656 x1657 x1658 -x1659 1800.07/1800.61 v x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 1800.07/1800.61 v -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 1800.07/1800.61 v -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 1800.07/1800.61 v -x1711 -x1712 -x1713 x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 1800.07/1800.61 v -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 1800.07/1800.61 v -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 1800.07/1800.61 v -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 1800.07/1800.61 v -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 x1788 x1789 -x1790 x1791 x1792 x1793 -x1794 -x1795 -x1796 1800.07/1800.61 v -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 1800.07/1800.61 v -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 1800.07/1800.61 v -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 1800.07/1800.61 v -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 1800.07/1800.61 v -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 1800.07/1800.61 v -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 x1898 1800.07/1800.61 v x1899 x1900 x1901 x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 1800.07/1800.61 v -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 1800.07/1800.61 v -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 1800.07/1800.61 v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 x1965 x1966 x1967 x1968 1800.07/1800.61 v x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 1800.07/1800.61 v -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 1800.07/1800.61 v -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 1800.07/1800.61 v -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 x2031 -x2032 -x2033 -x2034 -x2035 -x2036 1800.07/1800.61 v -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 1800.07/1800.61 v -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 1800.07/1800.61 v x2071 -x2072 -x2073 x2074 x2075 x2076 x2077 x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 1800.07/1800.61 v -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 1800.07/1800.61 v -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 1800.07/1800.61 v -x2123 -x2124 -x2125 x2126 -x2127 -x2128 x2129 -x2130 x2131 x2132 x2133 x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 1800.07/1800.61 v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 1800.07/1800.61 v -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 1800.07/1800.61 v -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 1800.07/1800.61 v -x2192 -x2193 x2194 x2195 -x2196 x2197 x2198 x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 1800.07/1800.61 v -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 1800.07/1800.61 v -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 1800.07/1800.61 v -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 1800.07/1800.61 v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 1800.07/1800.61 v -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 1800.07/1800.61 v -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 1800.07/1800.61 v -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 1800.07/1800.61 v -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 1800.07/1800.61 v -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 x2352 x2353 x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 1800.07/1800.61 v -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 1800.07/1800.61 v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 1800.07/1800.61 v -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 1800.07/1800.61 v -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 1800.07/1800.61 v -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 1800.07/1800.61 v -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 1800.07/1800.61 v -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 x2475 -x2476 -x2477 -x2478 -x2479 x2480 -x2481 -x2482 -x2483 1800.07/1800.61 v x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 1800.07/1800.61 v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 1800.07/1800.61 v -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 1800.07/1800.61 v -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 x2547 -x2548 -x2549 -x2550 -x2551 1800.07/1800.61 v -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 1800.07/1800.61 v -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 1800.07/1800.61 v -x2586 -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 1800.07/1800.61 v -x28 -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 1800.07/1800.61 v -x54 -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 1800.07/1800.61 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 -x106 -x107 1800.07/1800.61 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 x125 x126 -x127 -x128 1800.07/1800.61 v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 1800.07/1800.61 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 1800.07/1800.61 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 1800.07/1800.61 v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 1800.07/1800.61 v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 x232 x233 1800.07/1800.61 v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 x249 x250 -x251 -x252 -x253 -x254 1800.07/1800.61 v -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 1800.07/1800.61 v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 1800.07/1800.61 v -x297 x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 1800.07/1800.61 v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 x334 x335 -x336 -x337 -x338 1800.07/1800.61 v -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 1800.07/1800.61 v -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 1800.07/1800.61 v -x381 x382 -x383 -x384 x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 -x400 -x401 1800.07/1800.61 v x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 1800.07/1800.61 v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 x434 -x435 x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 1800.07/1800.61 v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 x453 -x454 x455 -x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 -x464 1800.07/1800.61 v -x465 -x466 -x467 -x468 -x469 -x470 x471 x472 -x473 x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 1800.07/1800.61 v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 1800.07/1800.61 v -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 1800.07/1800.61 v -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 x538 -x539 x540 x541 -x542 -x543 -x544 -x545 x546 x547 -x548 x549 1800.07/1800.61 v x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 1800.07/1800.61 v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 1800.07/1800.61 v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 1800.07/1800.61 v -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 1800.07/1800.61 v -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x649 -x650 -x651 x652 x653 -x654 1800.07/1800.61 v -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 1800.07/1800.61 v -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 1800.07/1800.61 v -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 1800.07/1800.61 v -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 1800.07/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.07/1800.61 c 32 624804 30989 734799 33507 1777354 33206 347 1800.08 1800.07/1800.61 c Objective: 39 1800.07/1800.61 s SATISFIABLE 1800.07/1800.61 c Total time: 1800.08 s
OK 39
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node26/watcher-432526-1177944563 -o ROOT/results/node26/solver-432526-1177944563 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432526-1177944563/instance-432526-1177944563.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.95 0.82 3/77 4846 /proc/meminfo: memFree=1410000/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=11844 CPUtime=0 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 242373096 12128256 335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 2961 335 280 324 0 2004 0 [startup+0.027464 s] /proc/loadavg: 0.92 0.95 0.82 3/77 4846 /proc/meminfo: memFree=1410000/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=4748 CPUtime=0.02 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 611 0 0 0 2 0 0 0 18 0 1 0 242373096 4861952 554 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 1187 554 303 324 0 257 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4748 [startup+0.102471 s] /proc/loadavg: 0.92 0.95 0.82 3/77 4846 /proc/meminfo: memFree=1410000/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=4852 CPUtime=0.09 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 655 0 0 0 9 0 0 0 18 0 1 0 242373096 4968448 598 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550705 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 1213 598 310 324 0 283 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4852 [startup+0.301491 s] /proc/loadavg: 0.92 0.95 0.82 3/77 4846 /proc/meminfo: memFree=1410000/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=6156 CPUtime=0.29 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 978 0 0 0 29 0 0 0 19 0 1 0 242373096 6303744 921 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 1539 921 310 324 0 609 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6156 [startup+0.702526 s] /proc/loadavg: 0.92 0.95 0.82 3/77 4846 /proc/meminfo: memFree=1410000/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=8616 CPUtime=0.69 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 1588 0 0 0 69 0 0 0 23 0 1 0 242373096 8822784 1531 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521828 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 2154 1531 310 324 0 1224 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8616 [startup+1.5016 s] /proc/loadavg: 0.92 0.95 0.82 2/78 4847 /proc/meminfo: memFree=1403464/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=12516 CPUtime=1.49 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 2554 0 0 0 148 1 0 0 25 0 1 0 242373096 12816384 2497 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551458 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 3129 2497 310 324 0 2199 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12516 [startup+3.10175 s] /proc/loadavg: 0.93 0.95 0.82 2/78 4847 /proc/meminfo: memFree=1399432/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=15880 CPUtime=3.09 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 3396 0 0 0 307 2 0 0 25 0 1 0 242373096 16261120 3339 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550797 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 3970 3339 310 324 0 3040 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15880 [startup+6.30104 s] /proc/loadavg: 0.93 0.95 0.82 2/78 4847 /proc/meminfo: memFree=1392968/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=22896 CPUtime=6.29 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 5152 0 0 0 626 3 0 0 25 0 1 0 242373096 23445504 5095 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 5724 5095 310 324 0 4794 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22896 [startup+12.7016 s] /proc/loadavg: 0.94 0.96 0.82 2/78 4847 /proc/meminfo: memFree=1379720/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=34588 CPUtime=12.69 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 8091 0 0 0 1263 6 0 0 25 0 1 0 242373096 35418112 8034 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 8647 8034 310 324 0 7717 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 34588 [startup+25.5018 s] /proc/loadavg: 0.95 0.96 0.82 2/78 4847 /proc/meminfo: memFree=1367560/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=45992 CPUtime=25.49 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 10932 0 0 0 2540 9 0 0 25 0 1 0 242373096 47095808 10875 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 13022532 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 11498 10875 310 324 0 10568 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 45992 [startup+51.1012 s] /proc/loadavg: 0.96 0.96 0.82 2/78 4847 /proc/meminfo: memFree=1358216/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=55304 CPUtime=51.08 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 13259 0 0 0 5096 12 0 0 25 0 1 0 242373096 56631296 13202 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 13826 13202 310 324 0 12896 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 55304 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.83 2/78 4847 /proc/meminfo: memFree=1347912/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=65420 CPUtime=102.27 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 15840 0 0 0 10213 14 0 0 25 0 1 0 242373096 66990080 15713 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 16355 15713 311 324 0 15425 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 65420 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.83 2/78 4847 /proc/meminfo: memFree=1347912/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=65420 CPUtime=162.25 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 15841 0 0 0 16211 14 0 0 25 0 1 0 242373096 66990080 15714 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551368 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 16355 15714 311 324 0 15425 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 65420 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.84 2/78 4847 /proc/meminfo: memFree=1347848/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=65404 CPUtime=222.23 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 15903 0 0 0 22209 14 0 0 25 0 1 0 242373096 66973696 15714 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 13023070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 16351 15714 311 324 0 15421 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 65404 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.84 2/78 4847 /proc/meminfo: memFree=1331336/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=82140 CPUtime=282.22 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 20096 0 0 0 28202 20 0 0 25 0 1 0 242373096 84111360 19907 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 20535 19907 311 324 0 19605 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 82140 [startup+342.301 s] /proc/loadavg: 1.07 0.99 0.86 2/78 4847 /proc/meminfo: memFree=1325896/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=87172 CPUtime=342.21 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 21428 0 0 0 34198 23 0 0 25 0 1 0 242373096 89264128 21171 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 21793 21171 311 324 0 20863 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 87172 [startup+402.302 s] /proc/loadavg: 1.03 0.99 0.86 2/78 4847 /proc/meminfo: memFree=1325896/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=87172 CPUtime=402.19 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 21428 0 0 0 40196 23 0 0 25 0 1 0 242373096 89264128 21171 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 21793 21171 311 324 0 20863 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 87172 [startup+462.301 s] /proc/loadavg: 1.04 1.00 0.87 2/78 4847 /proc/meminfo: memFree=1325960/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=87188 CPUtime=462.17 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 21432 0 0 0 46194 23 0 0 25 0 1 0 242373096 89280512 21175 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 21797 21175 311 324 0 20867 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 87188 [startup+522.302 s] /proc/loadavg: 1.01 1.00 0.88 2/78 4847 /proc/meminfo: memFree=1325960/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=87188 CPUtime=522.16 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 21432 0 0 0 52192 24 0 0 25 0 1 0 242373096 89280512 21175 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 21797 21175 311 324 0 20867 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 87188 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.88 2/78 4847 /proc/meminfo: memFree=1326024/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=87188 CPUtime=582.15 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 21432 0 0 0 58191 24 0 0 25 0 1 0 242373096 89280512 21175 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 21797 21175 311 324 0 20867 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 87188 [startup+642.303 s] /proc/loadavg: 1.00 1.00 0.89 2/78 4847 /proc/meminfo: memFree=1326024/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=87188 CPUtime=642.14 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 21432 0 0 0 64189 25 0 0 25 0 1 0 242373096 89280512 21175 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 21797 21175 311 324 0 20867 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 87188 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 0.91 2/78 5045 /proc/meminfo: memFree=1306824/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=106284 CPUtime=822 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 26271 0 0 0 82166 34 0 0 25 0 1 0 242373096 108834816 25932 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 26571 25932 311 324 0 25641 0 Current children cumulated CPU time (s) 822 Current children cumulated vsize (KiB) 106284 [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.91 2/78 5045 /proc/meminfo: memFree=1306952/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=106284 CPUtime=881.99 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 26271 0 0 0 88164 35 0 0 25 0 1 0 242373096 108834816 25932 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 26571 25932 311 324 0 25641 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 106284 [startup+942.303 s] /proc/loadavg: 1.10 1.03 0.92 2/78 5045 /proc/meminfo: memFree=1306952/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=106284 CPUtime=941.97 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 26271 0 0 0 94162 35 0 0 25 0 1 0 242373096 108834816 25932 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551356 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 26571 25932 311 324 0 25641 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 106284 [startup+1002.3 s] /proc/loadavg: 1.03 1.02 0.92 2/78 5045 /proc/meminfo: memFree=1306952/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=106284 CPUtime=1001.96 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 26271 0 0 0 100160 36 0 0 25 0 1 0 242373096 108834816 25932 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550884 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 26571 25932 311 324 0 25641 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 106284 [startup+1062.3 s] /proc/loadavg: 1.01 1.02 0.92 2/78 5045 /proc/meminfo: memFree=1307208/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=106284 CPUtime=1061.94 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 26271 0 0 0 106158 36 0 0 25 0 1 0 242373096 108834816 25932 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 26571 25932 311 324 0 25641 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 106284 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 0.92 2/78 5045 /proc/meminfo: memFree=1307144/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=106284 CPUtime=1121.93 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 26271 0 0 0 112156 37 0 0 25 0 1 0 242373096 108834816 25932 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 26571 25932 311 324 0 25641 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 106284 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 5045 /proc/meminfo: memFree=1307144/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=106284 CPUtime=1181.91 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 26271 0 0 0 118154 37 0 0 25 0 1 0 242373096 108834816 25932 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 26571 25932 311 324 0 25641 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 106284 [startup+1242.3 s] /proc/loadavg: 1.03 1.02 0.93 2/78 5045 /proc/meminfo: memFree=1307080/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=106284 CPUtime=1241.9 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 26271 0 0 0 124152 38 0 0 25 0 1 0 242373096 108834816 25932 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 26571 25932 311 324 0 25641 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 106284 [startup+1302.3 s] /proc/loadavg: 1.01 1.01 0.93 2/78 5045 /proc/meminfo: memFree=1307080/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=106284 CPUtime=1301.89 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 26271 0 0 0 130151 38 0 0 25 0 1 0 242373096 108834816 25932 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586836 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 26571 25932 311 324 0 25641 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 106284 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 5045 /proc/meminfo: memFree=1307016/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=106320 CPUtime=1361.87 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 26279 0 0 0 136148 39 0 0 25 0 1 0 242373096 108871680 25940 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 26580 25940 311 324 0 25650 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 106320 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.93 2/78 5045 /proc/meminfo: memFree=1307016/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=106320 CPUtime=1421.86 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 26279 0 0 0 142147 39 0 0 25 0 1 0 242373096 108871680 25940 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 26580 25940 311 324 0 25650 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 106320 [startup+1482.3 s] /proc/loadavg: 1.04 1.01 0.93 2/78 5045 /proc/meminfo: memFree=1307016/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=106320 CPUtime=1481.83 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 26279 0 0 0 148144 39 0 0 25 0 1 0 242373096 108871680 25940 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 26580 25940 311 324 0 25650 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 106320 [startup+1542.3 s] /proc/loadavg: 1.05 1.02 0.94 2/78 5045 /proc/meminfo: memFree=1307016/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=106320 CPUtime=1541.82 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 26279 0 0 0 154142 40 0 0 25 0 1 0 242373096 108871680 25940 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 26580 25940 311 324 0 25650 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 106320 [startup+1602.3 s] /proc/loadavg: 1.09 1.04 0.95 2/78 5045 /proc/meminfo: memFree=1307016/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=106320 CPUtime=1601.8 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 26279 0 0 0 160140 40 0 0 25 0 1 0 242373096 108871680 25940 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 26580 25940 311 324 0 25650 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 106320 [startup+1662.3 s] /proc/loadavg: 1.03 1.03 0.95 2/78 5045 /proc/meminfo: memFree=1307016/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=106320 CPUtime=1661.8 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 26279 0 0 0 166139 41 0 0 25 0 1 0 242373096 108871680 25940 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 26580 25940 311 324 0 25650 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 106320 [startup+1722.3 s] /proc/loadavg: 1.01 1.03 0.95 2/78 5045 /proc/meminfo: memFree=1307016/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=106320 CPUtime=1721.78 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 26279 0 0 0 172137 41 0 0 25 0 1 0 242373096 108871680 25940 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 26580 25940 311 324 0 25650 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 106320 [startup+1782.3 s] /proc/loadavg: 1.00 1.02 0.95 2/78 5045 /proc/meminfo: memFree=1307016/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=106320 CPUtime=1781.77 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 26279 0 0 0 178135 42 0 0 25 0 1 0 242373096 108871680 25940 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 26580 25940 311 324 0 25650 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 106320 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.02 0.95 2/78 5045 /proc/meminfo: memFree=1307016/2055920 swapFree=4170240/4192956 [pid=4846] ppid=4844 vsize=106320 CPUtime=1800.07 /proc/4846/stat : 4846 (bsolo3.0.17) R 4844 4846 4732 0 -1 4194304 26279 0 0 0 179965 42 0 0 25 0 1 0 242373096 108871680 25940 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4846/statm: 26580 25940 311 324 0 25650 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 106320 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.63 CPU time (s): 1800.1 CPU user time (s): 1799.66 CPU system time (s): 0.440932 CPU usage (%): 99.9704 Max. virtual memory (cumulated for all children) (KiB): 106320 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.66 system time used= 0.440932 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26283 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= 38181 runsolver used 1.34579 second user time and 4.00439 second system time The end
Begin job on node26 on Mon Apr 30 14:49:23 UTC 2007 IDJOB= 432526 IDBENCH= 1514 IDSOLVER= 199 FILE ID= node26/432526-1177944563 PBS_JOBID= 4727823 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-vpm1.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432526-1177944563/instance-432526-1177944563.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-432526-1177944563 -o ROOT/results/node26/solver-432526-1177944563 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432526-1177944563/instance-432526-1177944563.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 019e5a614038472d624f56ab4ecfb30e RANDOM SEED= 482625277 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node26.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.213 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.213 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: 1410472 kB Buffers: 60560 kB Cached: 486532 kB SwapCached: 3640 kB Active: 347672 kB Inactive: 222800 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1410472 kB SwapTotal: 4192956 kB SwapFree: 4170240 kB Dirty: 6776 kB Writeback: 0 kB Mapped: 30716 kB Slab: 60580 kB Committed_AS: 1341272 kB PageTables: 1716 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= 66558 MiB End job on node26 on Mon Apr 30 15:19:26 UTC 2007