Trace number 36440

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.4SAT13 1782.74 1783.47

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.92 3/64 12575
/proc/meminfo: memFree=1491736/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=2572 CPUtime=0
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 252 0 0 0 0 0 0 0 18 0 1 0 198076700 2633728 224 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 643 227 193 16 0 84 0

[startup+10.002 s]
/proc/loadavg: 0.93 0.95 0.92 2/64 12575
/proc/meminfo: memFree=1487704/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=6432 CPUtime=9.99
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1229 0 0 0 998 1 0 0 25 0 1 0 198076700 6586368 1200 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 1608 1200 205 16 0 1049 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 6432

[startup+20.0078 s]
/proc/loadavg: 0.94 0.96 0.92 2/64 12575
/proc/meminfo: memFree=1487704/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=6344 CPUtime=20
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1229 0 0 0 1995 5 0 0 25 0 1 0 198076700 6496256 1198 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 1586 1198 205 16 0 1027 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 6344

[startup+30.0136 s]
/proc/loadavg: 0.95 0.96 0.92 2/64 12575
/proc/meminfo: memFree=1487320/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=6728 CPUtime=30
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1321 0 0 0 2994 6 0 0 25 0 1 0 198076700 6889472 1290 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527944 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 1682 1290 205 16 0 1123 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 6728

[startup+40.0194 s]
/proc/loadavg: 0.95 0.96 0.92 2/64 12575
/proc/meminfo: memFree=1487192/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=6984 CPUtime=39.99
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1366 0 0 0 3993 6 0 0 25 0 1 0 198076700 7151616 1335 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 1746 1335 205 16 0 1187 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 6984

[startup+50.0252 s]
/proc/loadavg: 0.96 0.96 0.92 2/64 12575
/proc/meminfo: memFree=1486936/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=7240 CPUtime=49.99
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1425 0 0 0 4992 7 0 0 25 0 1 0 198076700 7413760 1394 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 1810 1394 205 16 0 1251 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 7240

[startup+60.032 s]
/proc/loadavg: 0.97 0.96 0.92 2/64 12575
/proc/meminfo: memFree=1486872/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=7240 CPUtime=60
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1432 0 0 0 5992 8 0 0 25 0 1 0 198076700 7413760 1401 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528344 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 1810 1401 205 16 0 1251 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 7240

[startup+70.0388 s]
/proc/loadavg: 0.97 0.96 0.92 2/64 12575
/proc/meminfo: memFree=1486680/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=7368 CPUtime=70
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1481 0 0 0 6992 8 0 0 25 0 1 0 198076700 7544832 1450 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 1842 1450 205 16 0 1283 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 7368

[startup+80.0456 s]
/proc/loadavg: 0.98 0.96 0.92 2/64 12575
/proc/meminfo: memFree=1486680/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=7496 CPUtime=80.01
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1506 0 0 0 7992 9 0 0 25 0 1 0 198076700 7675904 1475 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528702 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 1874 1475 205 16 0 1315 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 7496

[startup+90.0514 s]
/proc/loadavg: 0.98 0.96 0.92 2/64 12575
/proc/meminfo: memFree=1486680/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=7496 CPUtime=90.01
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1507 0 0 0 8992 9 0 0 25 0 1 0 198076700 7675904 1476 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527742 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 1874 1476 205 16 0 1315 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 7496

[startup+100.057 s]
/proc/loadavg: 0.98 0.96 0.92 2/64 12575
/proc/meminfo: memFree=1486616/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=7544 CPUtime=100.01
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1518 0 0 0 9992 9 0 0 25 0 1 0 198076700 7725056 1487 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 1886 1487 205 16 0 1327 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 7544

[startup+110.064 s]
/proc/loadavg: 0.98 0.96 0.92 2/64 12575
/proc/meminfo: memFree=1486232/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=7932 CPUtime=110.02
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1604 0 0 0 10992 10 0 0 25 0 1 0 198076700 8122368 1573 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 1983 1573 205 16 0 1424 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 7932

[startup+120.07 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12575
/proc/meminfo: memFree=1486232/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=7932 CPUtime=120.02
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1604 0 0 0 11991 11 0 0 25 0 1 0 198076700 8122368 1573 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528632 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 1983 1573 205 16 0 1424 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 7932

[startup+130.076 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12575
/proc/meminfo: memFree=1486168/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=8060 CPUtime=130.03
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1630 0 0 0 12991 12 0 0 25 0 1 0 198076700 8253440 1599 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 2015 1599 205 16 0 1456 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 8060

[startup+140.082 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12575
/proc/meminfo: memFree=1486168/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=7956 CPUtime=140.03
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1630 0 0 0 13991 12 0 0 25 0 1 0 198076700 8146944 1599 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528563 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 1989 1599 205 16 0 1430 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 7956

[startup+150.088 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12575
/proc/meminfo: memFree=1486104/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=7956 CPUtime=150.03
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1630 0 0 0 14991 12 0 0 25 0 1 0 198076700 8146944 1599 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557272 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 1989 1599 205 16 0 1430 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 7956

[startup+160.094 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12575
/proc/meminfo: memFree=1486040/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=7956 CPUtime=160.03
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1651 0 0 0 15990 13 0 0 25 0 1 0 198076700 8146944 1600 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 1989 1600 205 16 0 1430 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 7956

[startup+170.1 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12575
/proc/meminfo: memFree=1486040/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=8084 CPUtime=170.03
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1663 0 0 0 16990 13 0 0 25 0 1 0 198076700 8278016 1612 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528611 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 2021 1612 205 16 0 1462 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 8084

[startup+180.106 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12575
/proc/meminfo: memFree=1486040/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=7956 CPUtime=180.03
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1663 0 0 0 17990 13 0 0 25 0 1 0 198076700 8146944 1600 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 1989 1600 205 16 0 1430 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 7956

[startup+190.111 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12575
/proc/meminfo: memFree=1486040/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=7996 CPUtime=190.03
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1686 0 0 0 18990 13 0 0 25 0 1 0 198076700 8187904 1610 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 1999 1610 205 16 0 1440 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 7996

[startup+200.117 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12575
/proc/meminfo: memFree=1485976/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=8016 CPUtime=200.04
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1708 0 0 0 19990 14 0 0 25 0 1 0 198076700 8208384 1615 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 2004 1615 205 16 0 1445 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 8016

[startup+210.123 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12575
/proc/meminfo: memFree=1485976/2055920 swapFree=4181420/4192956

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

/proc/12575/statm: 2098 1709 205 16 0 1539 0
Current children cumulated CPU time (s) 1590.29
Current children cumulated vsize (Kb) 8392

[startup+1600.95 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12770
/proc/meminfo: memFree=1485016/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=8404 CPUtime=1600.28
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3151 0 0 0 159947 81 0 0 25 0 1 0 198076700 8605696 1712 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528577 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 2101 1712 205 16 0 1542 0
Current children cumulated CPU time (s) 1600.28
Current children cumulated vsize (Kb) 8404

[startup+1610.96 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12770
/proc/meminfo: memFree=1485016/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=8564 CPUtime=1610.29
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3188 0 0 0 160947 82 0 0 25 0 1 0 198076700 8769536 1724 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 2141 1724 205 16 0 1582 0
Current children cumulated CPU time (s) 1610.29
Current children cumulated vsize (Kb) 8564

[startup+1620.96 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12770
/proc/meminfo: memFree=1485016/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=8472 CPUtime=1620.29
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3200 0 0 0 161946 83 0 0 25 0 1 0 198076700 8675328 1727 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 2118 1727 205 16 0 1559 0
Current children cumulated CPU time (s) 1620.29
Current children cumulated vsize (Kb) 8472

[startup+1630.97 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12770
/proc/meminfo: memFree=1485016/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=8560 CPUtime=1630.29
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3221 0 0 0 162946 83 0 0 25 0 1 0 198076700 8765440 1730 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 2140 1730 205 16 0 1581 0
Current children cumulated CPU time (s) 1630.29
Current children cumulated vsize (Kb) 8560

[startup+1640.97 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12770
/proc/meminfo: memFree=1484952/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=8420 CPUtime=1640.29
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3236 0 0 0 163945 84 0 0 25 0 1 0 198076700 8622080 1716 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528577 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 2105 1716 205 16 0 1546 0
Current children cumulated CPU time (s) 1640.29
Current children cumulated vsize (Kb) 8420

[startup+1650.98 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12770
/proc/meminfo: memFree=1484952/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=8456 CPUtime=1650.29
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3240 0 0 0 164945 84 0 0 25 0 1 0 198076700 8658944 1720 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 2114 1720 205 16 0 1555 0
Current children cumulated CPU time (s) 1650.29
Current children cumulated vsize (Kb) 8456

[startup+1660.99 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12770
/proc/meminfo: memFree=1484952/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=8488 CPUtime=1660.3
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3249 0 0 0 165944 86 0 0 25 0 1 0 198076700 8691712 1729 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528622 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 2122 1729 205 16 0 1563 0
Current children cumulated CPU time (s) 1660.3
Current children cumulated vsize (Kb) 8488

[startup+1670.99 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12770
/proc/meminfo: memFree=1484952/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=8372 CPUtime=1670.3
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3273 0 0 0 166944 86 0 0 25 0 1 0 198076700 8572928 1704 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 2093 1704 205 16 0 1534 0
Current children cumulated CPU time (s) 1670.3
Current children cumulated vsize (Kb) 8372

[startup+1681 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12770
/proc/meminfo: memFree=1485016/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=8548 CPUtime=1680.3
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3303 0 0 0 167944 86 0 0 25 0 1 0 198076700 8753152 1724 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 2137 1724 205 16 0 1578 0
Current children cumulated CPU time (s) 1680.3
Current children cumulated vsize (Kb) 8548

[startup+1691 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12770
/proc/meminfo: memFree=1485016/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=8436 CPUtime=1690.3
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3310 0 0 0 168943 87 0 0 25 0 1 0 198076700 8638464 1720 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 2109 1720 205 16 0 1550 0
Current children cumulated CPU time (s) 1690.3
Current children cumulated vsize (Kb) 8436

[startup+1701.01 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12770
/proc/meminfo: memFree=1485016/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=8460 CPUtime=1700.3
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3323 0 0 0 169942 88 0 0 25 0 1 0 198076700 8663040 1726 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517805 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 2115 1726 205 16 0 1556 0
Current children cumulated CPU time (s) 1700.3
Current children cumulated vsize (Kb) 8460

[startup+1711.01 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12770
/proc/meminfo: memFree=1485016/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=8456 CPUtime=1710.31
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3333 0 0 0 170942 89 0 0 25 0 1 0 198076700 8658944 1725 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 2114 1725 205 16 0 1555 0
Current children cumulated CPU time (s) 1710.31
Current children cumulated vsize (Kb) 8456

[startup+1721.02 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12770
/proc/meminfo: memFree=1485016/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=8448 CPUtime=1720.31
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3333 0 0 0 171941 90 0 0 25 0 1 0 198076700 8650752 1723 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557302 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 2112 1723 205 16 0 1553 0
Current children cumulated CPU time (s) 1720.31
Current children cumulated vsize (Kb) 8448

[startup+1731.03 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12770
/proc/meminfo: memFree=1485016/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=8556 CPUtime=1730.32
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3344 0 0 0 172940 92 0 0 25 0 1 0 198076700 8761344 1734 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 2139 1734 205 16 0 1580 0
Current children cumulated CPU time (s) 1730.32
Current children cumulated vsize (Kb) 8556

[startup+1741.03 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12770
/proc/meminfo: memFree=1485016/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=8456 CPUtime=1740.32
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3364 0 0 0 173940 92 0 0 25 0 1 0 198076700 8658944 1725 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 2114 1725 205 16 0 1555 0
Current children cumulated CPU time (s) 1740.32
Current children cumulated vsize (Kb) 8456

[startup+1751.04 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12770
/proc/meminfo: memFree=1484952/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=8556 CPUtime=1750.32
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3385 0 0 0 174940 92 0 0 25 0 1 0 198076700 8761344 1738 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528569 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 2139 1738 205 16 0 1580 0
Current children cumulated CPU time (s) 1750.32
Current children cumulated vsize (Kb) 8556

[startup+1761.05 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12770
/proc/meminfo: memFree=1484952/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=8556 CPUtime=1760.32
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3399 0 0 0 175939 93 0 0 25 0 1 0 198076700 8761344 1723 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528055 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 2139 1723 205 16 0 1580 0
Current children cumulated CPU time (s) 1760.32
Current children cumulated vsize (Kb) 8556

[startup+1771.05 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12770
/proc/meminfo: memFree=1484952/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=8436 CPUtime=1770.32
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3411 0 0 0 176939 93 0 0 25 0 1 0 198076700 8638464 1720 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 2109 1720 205 16 0 1550 0
Current children cumulated CPU time (s) 1770.32
Current children cumulated vsize (Kb) 8436

[startup+1781.06 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12770
/proc/meminfo: memFree=1484952/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=8560 CPUtime=1780.33
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3417 0 0 0 177939 94 0 0 25 0 1 0 198076700 8765440 1725 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 2140 1725 205 16 0 1581 0
Current children cumulated CPU time (s) 1780.33
Current children cumulated vsize (Kb) 8560

[startup+1782.06 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12770
/proc/meminfo: memFree=1484952/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=8552 CPUtime=1781.33
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3417 0 0 0 178039 94 0 0 25 0 1 0 198076700 8757248 1725 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 2138 1725 205 16 0 1579 0
Current children cumulated CPU time (s) 1781.33
Current children cumulated vsize (Kb) 8552

[startup+1783.07 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12770
/proc/meminfo: memFree=1484952/2055920 swapFree=4181420/4192956
[pid=12575] ppid=12573 vsize=8552 CPUtime=1782.34
/proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3417 0 0 0 178140 94 0 0 25 0 1 0 198076700 8757248 1725 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520332 0 0 4096 0 0 0 0 17 1 0 0
/proc/12575/statm: 2138 1725 205 16 0 1579 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (Kb) 8552

Child status: 10
Real time (s): 1783.47
CPU time (s): 1782.74
CPU user time (s): 1781.8
CPU system time (s): 0.945856
CPU usage (%): 99.9592
Max. virtual memory (cumulated for all children) (Kb): 8612

Launcher Data (download as text)

Begin job on node12 on Sat Jun  3 08:42:21 UTC 2006


FILE ID= 36440-1149324141

PBS_JOBID= 309522

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/Pueblo ROOT/tmp/node12/36440-1149324141/instance-36440-1149324141.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node12/watcher-36440-1149324141 -o ROOT/results/node12/solver-36440-1149324141 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node12/36440-1149324141/instance-36440-1149324141.opb

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  6a8d837851671f69c34bdd14861bc7ba

RANDOM SEED= 535206541


/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.282
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.282
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:       1491944 kB
Buffers:         21048 kB
Cached:         471832 kB
SwapCached:       3180 kB
Active:         293288 kB
Inactive:       208220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1491944 kB
SwapTotal:     4192956 kB
SwapFree:      4181420 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          14720 kB
Slab:            48528 kB
Committed_AS:   304352 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 node12 on Sat Jun  3 09:12:05 UTC 2006