Trace number 37590

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
Pueblo 1.3SAT13 1782.74 1783.38

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-adlittle.opb
MD5SUM6a8d837851671f69c34bdd14861bc7ba
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark1800.94
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved NO
Number of variables2910
Total number of constraints56
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints56
Minimum length of a constraint30
Maximum length of a constraint810
Number of terms in the objective function 2460
Biggest coefficient in the objective function 12627
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 526152
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 526152
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c Pueblo version 1.4 (September 2005)
0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00	c  by Hossein Sheini
0.06	c starting to Solve
0.06	c #variables read: 2910 - #constraints read: 72
0.09	o 296634
1783.37	c total time              : 1783 s
1783.37	s SATISFIABLE
1783.37	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
1783.37	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
1783.37	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
1783.37	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
1783.37	v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x181 -x182 -x183 -x184 -x185
1783.37	v -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206
1783.37	v -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227
1783.37	v -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278
1783.37	v -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299
1783.37	v -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320
1783.37	v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341
1783.37	v -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362
1783.37	v -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383
1783.37	v -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404
1783.37	v -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425
1783.37	v -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446
1783.37	v -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467
1783.37	v -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488
1783.37	v -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509
1783.37	v -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530
1783.37	v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551
1783.37	v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572
1783.37	v -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593
1783.37	v -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614
1783.37	v -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635
1783.37	v -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656
1783.37	v -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677
1783.37	v -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698
1783.37	v -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719
1783.37	v -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740
1783.37	v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761
1783.37	v -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782
1783.37	v -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803
1783.37	v -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824
1783.37	v -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845
1783.37	v -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866
1783.37	v -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887
1783.37	v -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908
1783.37	v -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929
1783.37	v -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950
1783.37	v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971
1783.37	v -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x1021
1783.37	v -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038
1783.37	v -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055
1783.37	v -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072
1783.37	v -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089
1783.37	v -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106
1783.37	v -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123
1783.37	v -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140
1783.37	v -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157
1783.37	v -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174
1783.37	v -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191
1783.37	v -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208
1783.37	v -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225
1783.37	v -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242
1783.37	v -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259
1783.37	v -x1260 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366
1783.37	v -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383
1783.37	v -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400
1783.37	v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417
1783.37	v -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434
1783.37	v -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451
1783.37	v -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468
1783.37	v -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485
1783.37	v -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502
1783.37	v -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519
1783.37	v -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536
1783.37	v -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553
1783.37	v -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600
1783.37	v -x1601 -x1602 -x1603 -x1604 x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617
1783.37	v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634
1783.37	v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651
1783.37	v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668
1783.37	v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685
1783.37	v -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702
1783.37	v -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719
1783.37	v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736
1783.37	v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753
1783.37	v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770
1783.37	v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787
1783.37	v -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804
1783.37	v -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821
1783.37	v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838
1783.37	v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855
1783.37	v -x1856 -x1857 -x1858 -x1859 -x1860 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932
1783.37	v -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949
1783.37	v -x1950 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056
1783.37	v -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073
1783.37	v -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090
1783.37	v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107
1783.37	v -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124
1783.37	v -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141
1783.37	v -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158
1783.37	v -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175
1783.37	v -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192
1783.37	v -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209
1783.37	v -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226
1783.37	v -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243
1783.37	v -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260
1783.37	v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277
1783.37	v -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294
1783.37	v -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311
1783.37	v -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328
1783.37	v -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345
1783.37	v -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362
1783.37	v -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379
1783.37	v -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396
1783.37	v -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413
1783.37	v -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430
1783.37	v -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477
1783.37	v -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494
1783.37	v -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 x2505 x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512
1783.37	v -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529
1783.37	v -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546
1783.37	v -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 x2563
1783.37	v x2564 x2565 -x2566 -x2567 x2568 x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581
1783.37	v -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 x2594 -x2595 x2596 -x2597 -x2598 -x2599
1783.37	v -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616
1783.37	v -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 x2624 -x2625 x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634
1783.37	v -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651
1783.37	v -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668
1783.37	v -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685
1783.37	v -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702
1783.37	v -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719
1783.37	v -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736
1783.37	v -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753
1783.37	v -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770
1783.37	v -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787
1783.37	v -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804
1783.37	v -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821
1783.37	v -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838
1783.37	v -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855
1783.37	v -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872
1783.37	v -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299
1783.37	v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316
1783.37	v -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333
1783.37	v -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350
1783.37	v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261
1783.37	v -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270
1783.37	v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287
1783.37	v -x1288 -x1289 -x1290 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006
1783.37	v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1561 -x1562 -x1563
1783.37	v -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580
1783.37	v -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867
1783.37	v -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884
1783.37	v -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901
1783.37	v -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918
1783.37	v -x1919 -x1920 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995
1783.37	v -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012
1783.37	v -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029
1783.37	v -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436
1783.37	v -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453
1783.37	v -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132
1783.37	v -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153
1783.37	v -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174
1783.37	v -x175 -x176 -x177 -x178 -x179 -x180 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962
1783.37	v -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979
1783.37	v -x1980 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896
1783.37	v -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910

Verifier Data (download as text)

OK	13

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node70/watcher-37590-1149324125 -o ROOT/results/node70/solver-37590-1149324125 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node70/37590-1149324125/instance-37590-1149324125.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.90 2/64 12132
/proc/meminfo: memFree=1782056/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=172 CPUtime=0
/proc/12132/stat : 12132 (Pueblo13) D 12130 12132 12086 0 -1 4194304 38 0 0 0 0 0 0 0 19 0 1 0 198082123 176128 23 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 8413988 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/12132/statm: 43 23 18 16 0 2 0

[startup+10.0025 s]
/proc/loadavg: 0.93 0.95 0.90 2/64 12132
/proc/meminfo: memFree=1778040/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=6444 CPUtime=9.99
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1226 0 0 0 997 2 0 0 25 0 1 0 198082123 6598656 1197 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527656 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 1611 1197 205 16 0 1052 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 6444

[startup+20.0094 s]
/proc/loadavg: 0.94 0.96 0.91 2/64 12132
/proc/meminfo: memFree=1778040/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=6384 CPUtime=19.99
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1226 0 0 0 1995 4 0 0 25 0 1 0 198082123 6537216 1197 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517882 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 1596 1197 205 16 0 1037 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 6384

[startup+30.0162 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 12132
/proc/meminfo: memFree=1777656/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=6744 CPUtime=30
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1320 0 0 0 2995 5 0 0 25 0 1 0 198082123 6905856 1291 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528545 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 1686 1291 205 16 0 1127 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 6744

[startup+40.022 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 12132
/proc/meminfo: memFree=1777464/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=7000 CPUtime=40
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1364 0 0 0 3994 6 0 0 25 0 1 0 198082123 7168000 1335 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 1750 1335 205 16 0 1191 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 7000

[startup+50.0278 s]
/proc/loadavg: 0.96 0.96 0.91 2/64 12132
/proc/meminfo: memFree=1777336/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=7248 CPUtime=50
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1423 0 0 0 4993 7 0 0 25 0 1 0 198082123 7421952 1394 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528554 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 1812 1394 205 16 0 1253 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 7248

[startup+60.0336 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 12132
/proc/meminfo: memFree=1777272/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=7228 CPUtime=60
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1427 0 0 0 5993 7 0 0 25 0 1 0 198082123 7401472 1398 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 1807 1398 205 16 0 1248 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 7228

[startup+70.0394 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 12132
/proc/meminfo: memFree=1777080/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=7356 CPUtime=70
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1476 0 0 0 6992 8 0 0 25 0 1 0 198082123 7532544 1447 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528062 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 1839 1447 205 16 0 1280 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 7356

[startup+80.0453 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 12132
/proc/meminfo: memFree=1777016/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=7484 CPUtime=80
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1501 0 0 0 7992 8 0 0 25 0 1 0 198082123 7663616 1472 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 1871 1472 205 16 0 1312 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 7484

[startup+90.0511 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 12132
/proc/meminfo: memFree=1776952/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=7612 CPUtime=90.01
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1515 0 0 0 8993 8 0 0 25 0 1 0 198082123 7794688 1486 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528540 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 1903 1486 205 16 0 1344 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 7612

[startup+100.057 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 12132
/proc/meminfo: memFree=1776952/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=7564 CPUtime=100.02
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1517 0 0 0 9993 9 0 0 25 0 1 0 198082123 7745536 1488 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528557 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 1891 1488 205 16 0 1332 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 7564

[startup+110.063 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 12132
/proc/meminfo: memFree=1776568/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=7956 CPUtime=110.06
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1602 0 0 0 10997 9 0 0 25 0 1 0 198082123 8146944 1573 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 1989 1573 205 16 0 1430 0
Current children cumulated CPU time (s) 110.06
Current children cumulated vsize (Kb) 7956

[startup+120.112 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12132
/proc/meminfo: memFree=1776568/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=7956 CPUtime=120.06
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1602 0 0 0 11997 9 0 0 25 0 1 0 198082123 8146944 1573 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528579 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 1989 1573 205 16 0 1430 0
Current children cumulated CPU time (s) 120.06
Current children cumulated vsize (Kb) 7956

[startup+130.117 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12132
/proc/meminfo: memFree=1776504/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=7956 CPUtime=130.06
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1623 0 0 0 12996 10 0 0 25 0 1 0 198082123 8146944 1594 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527658 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 1989 1594 205 16 0 1430 0
Current children cumulated CPU time (s) 130.06
Current children cumulated vsize (Kb) 7956

[startup+140.123 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12132
/proc/meminfo: memFree=1776504/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=7956 CPUtime=140.07
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1623 0 0 0 13996 11 0 0 25 0 1 0 198082123 8146944 1594 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528557 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 1989 1594 205 16 0 1430 0
Current children cumulated CPU time (s) 140.07
Current children cumulated vsize (Kb) 7956

[startup+150.129 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12132
/proc/meminfo: memFree=1776504/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=7956 CPUtime=150.07
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1623 0 0 0 14996 11 0 0 25 0 1 0 198082123 8146944 1594 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 1989 1594 205 16 0 1430 0
Current children cumulated CPU time (s) 150.07
Current children cumulated vsize (Kb) 7956

[startup+160.135 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12132
/proc/meminfo: memFree=1776376/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=7956 CPUtime=160.07
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1641 0 0 0 15996 11 0 0 25 0 1 0 198082123 8146944 1601 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 1989 1601 205 16 0 1430 0
Current children cumulated CPU time (s) 160.07
Current children cumulated vsize (Kb) 7956

[startup+170.141 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12132
/proc/meminfo: memFree=1776376/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=7956 CPUtime=170.07
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1647 0 0 0 16996 11 0 0 25 0 1 0 198082123 8146944 1601 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 1989 1601 205 16 0 1430 0
Current children cumulated CPU time (s) 170.07
Current children cumulated vsize (Kb) 7956

[startup+180.146 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12132
/proc/meminfo: memFree=1776376/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=7956 CPUtime=180.07
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1647 0 0 0 17995 12 0 0 25 0 1 0 198082123 8146944 1601 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528207 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 1989 1601 205 16 0 1430 0
Current children cumulated CPU time (s) 180.07
Current children cumulated vsize (Kb) 7956

[startup+190.152 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12132
/proc/meminfo: memFree=1776376/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=7984 CPUtime=190.08
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1663 0 0 0 18995 13 0 0 25 0 1 0 198082123 8175616 1608 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 1996 1608 205 16 0 1437 0
Current children cumulated CPU time (s) 190.08
Current children cumulated vsize (Kb) 7984

[startup+200.158 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12132
/proc/meminfo: memFree=1776312/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=8012 CPUtime=200.08
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1687 0 0 0 19994 14 0 0 25 0 1 0 198082123 8204288 1615 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528579 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 2003 1615 205 16 0 1444 0
Current children cumulated CPU time (s) 200.08
Current children cumulated vsize (Kb) 8012

[startup+210.164 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12132
/proc/meminfo: memFree=1776312/2055920 swapFree=4182220/4192956

################
# More data... #
################

/proc/12132/statm: 2093 1705 205 16 0 1534 0
Current children cumulated CPU time (s) 1590.4
Current children cumulated vsize (Kb) 8372

[startup+1601 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12327
/proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=8436 CPUtime=1600.41
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3141 0 0 0 159960 81 0 0 25 0 1 0 198082123 8638464 1721 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528537 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 2109 1721 205 16 0 1550 0
Current children cumulated CPU time (s) 1600.41
Current children cumulated vsize (Kb) 8436

[startup+1611 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12327
/proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=8480 CPUtime=1610.41
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3156 0 0 0 160959 82 0 0 25 0 1 0 198082123 8683520 1718 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528512 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 2120 1718 205 16 0 1561 0
Current children cumulated CPU time (s) 1610.41
Current children cumulated vsize (Kb) 8480

[startup+1621.01 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12327
/proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=8412 CPUtime=1620.42
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3164 0 0 0 161959 83 0 0 25 0 1 0 198082123 8613888 1715 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528670 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 2103 1715 205 16 0 1544 0
Current children cumulated CPU time (s) 1620.42
Current children cumulated vsize (Kb) 8412

[startup+1631.01 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12327
/proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=8512 CPUtime=1630.41
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3192 0 0 0 162958 83 0 0 25 0 1 0 198082123 8716288 1710 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527987 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 2128 1710 205 16 0 1569 0
Current children cumulated CPU time (s) 1630.41
Current children cumulated vsize (Kb) 8512

[startup+1641.02 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12327
/proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=8464 CPUtime=1640.42
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3205 0 0 0 163957 85 0 0 25 0 1 0 198082123 8667136 1723 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 2116 1723 205 16 0 1557 0
Current children cumulated CPU time (s) 1640.42
Current children cumulated vsize (Kb) 8464

[startup+1651.03 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12327
/proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=8492 CPUtime=1650.42
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3210 0 0 0 164957 85 0 0 25 0 1 0 198082123 8695808 1728 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528579 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 2123 1728 205 16 0 1564 0
Current children cumulated CPU time (s) 1650.42
Current children cumulated vsize (Kb) 8492

[startup+1661.03 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12327
/proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=8504 CPUtime=1660.43
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3235 0 0 0 165957 86 0 0 25 0 1 0 198082123 8708096 1731 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 8844597 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 2126 1731 205 16 0 1567 0
Current children cumulated CPU time (s) 1660.43
Current children cumulated vsize (Kb) 8504

[startup+1671.04 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12327
/proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=8424 CPUtime=1670.42
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3250 0 0 0 166956 86 0 0 25 0 1 0 198082123 8626176 1718 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 2106 1718 205 16 0 1547 0
Current children cumulated CPU time (s) 1670.42
Current children cumulated vsize (Kb) 8424

[startup+1681.04 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12327
/proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=8552 CPUtime=1680.43
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3263 0 0 0 167956 87 0 0 25 0 1 0 198082123 8757248 1725 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527724 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 2138 1725 205 16 0 1579 0
Current children cumulated CPU time (s) 1680.43
Current children cumulated vsize (Kb) 8552

[startup+1691.05 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12327
/proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=8428 CPUtime=1690.44
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3291 0 0 0 168956 88 0 0 25 0 1 0 198082123 8630272 1719 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528545 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 2107 1719 205 16 0 1548 0
Current children cumulated CPU time (s) 1690.44
Current children cumulated vsize (Kb) 8428

[startup+1701.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12327
/proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=8532 CPUtime=1700.43
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3299 0 0 0 169955 88 0 0 25 0 1 0 198082123 8736768 1721 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 2133 1721 205 16 0 1574 0
Current children cumulated CPU time (s) 1700.43
Current children cumulated vsize (Kb) 8532

[startup+1711.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12327
/proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=8496 CPUtime=1710.44
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3305 0 0 0 170955 89 0 0 25 0 1 0 198082123 8699904 1716 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 2124 1716 205 16 0 1565 0
Current children cumulated CPU time (s) 1710.44
Current children cumulated vsize (Kb) 8496

[startup+1721.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12327
/proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=8556 CPUtime=1720.44
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3319 0 0 0 171955 89 0 0 25 0 1 0 198082123 8761344 1730 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 2139 1730 205 16 0 1580 0
Current children cumulated CPU time (s) 1720.44
Current children cumulated vsize (Kb) 8556

[startup+1731.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12327
/proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=8524 CPUtime=1730.45
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3338 0 0 0 172955 90 0 0 25 0 1 0 198082123 8728576 1730 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 2131 1730 205 16 0 1572 0
Current children cumulated CPU time (s) 1730.45
Current children cumulated vsize (Kb) 8524

[startup+1741.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12327
/proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=8424 CPUtime=1740.44
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3345 0 0 0 173954 90 0 0 25 0 1 0 198082123 8626176 1718 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528545 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 2106 1718 205 16 0 1547 0
Current children cumulated CPU time (s) 1740.44
Current children cumulated vsize (Kb) 8424

[startup+1751.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12327
/proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=8412 CPUtime=1750.45
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3361 0 0 0 174954 91 0 0 25 0 1 0 198082123 8613888 1715 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 2103 1715 205 16 0 1544 0
Current children cumulated CPU time (s) 1750.45
Current children cumulated vsize (Kb) 8412

[startup+1761.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12327
/proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=8568 CPUtime=1760.45
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3382 0 0 0 175954 91 0 0 25 0 1 0 198082123 8773632 1729 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528325 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 2142 1729 205 16 0 1583 0
Current children cumulated CPU time (s) 1760.45
Current children cumulated vsize (Kb) 8568

[startup+1771.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12327
/proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=8412 CPUtime=1770.45
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3382 0 0 0 176953 92 0 0 25 0 1 0 198082123 8613888 1715 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517494 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 2103 1715 205 16 0 1544 0
Current children cumulated CPU time (s) 1770.45
Current children cumulated vsize (Kb) 8412

[startup+1781.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12327
/proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=8460 CPUtime=1780.46
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3393 0 0 0 177953 93 0 0 25 0 1 0 198082123 8663040 1726 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 2115 1726 205 16 0 1556 0
Current children cumulated CPU time (s) 1780.46
Current children cumulated vsize (Kb) 8460

[startup+1782.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12327
/proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=8460 CPUtime=1781.46
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3393 0 0 0 178053 93 0 0 25 0 1 0 198082123 8663040 1726 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517704 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 2115 1726 205 16 0 1556 0
Current children cumulated CPU time (s) 1781.46
Current children cumulated vsize (Kb) 8460

[startup+1783.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12327
/proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956
[pid=12132] ppid=12130 vsize=8460 CPUtime=1782.46
/proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3393 0 0 0 178153 93 0 0 25 0 1 0 198082123 8663040 1726 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12132/statm: 2115 1726 205 16 0 1556 0
Current children cumulated CPU time (s) 1782.46
Current children cumulated vsize (Kb) 8460

Child status: 10
Real time (s): 1783.38
CPU time (s): 1782.74
CPU user time (s): 1781.8
CPU system time (s): 0.939857
CPU usage (%): 99.964
Max. virtual memory (cumulated for all children) (Kb): 8648

Launcher Data (download as text)

Begin job on node70 on Sat Jun  3 08:42:05 UTC 2006


FILE ID= 37590-1149324125

PBS_JOBID= 309516

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-adlittle.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node70/37590-1149324125/instance-37590-1149324125.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node70/watcher-37590-1149324125 -o ROOT/results/node70/solver-37590-1149324125 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node70/37590-1149324125/instance-37590-1149324125.opb

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  6a8d837851671f69c34bdd14861bc7ba

RANDOM SEED= 46481519


/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.265
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.265
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:       1782264 kB
Buffers:         17236 kB
Cached:         185460 kB
SwapCached:       2324 kB
Active:          31628 kB
Inactive:       179632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1782264 kB
SwapTotal:     4192956 kB
SwapFree:      4182220 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          15348 kB
Slab:            48548 kB
Committed_AS:   246028 kB
PageTables:       1416 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node70 on Sat Jun  3 09:11:49 UTC 2006