Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.11 | 1800.61 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-sp97ic.opb |
MD5SUM | 398f2ddedf5bd2978b4636f0e4bc50cf |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 657 |
Best CPU time to get the best result obtained on this benchmark | 1800.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 638 |
Optimality of the best value was proved | NO |
Number of variables | 12497 |
Total number of constraints | 1033 |
Number of constraints which are clauses | 41 |
Number of constraints which are cardinality constraints (but not clauses) | 815 |
Number of constraints which are nor clauses,nor cardinality constraints | 177 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 6739 |
Number of terms in the objective function | 12497 |
Biggest coefficient in the objective function | 172 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 530548 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 172 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 530548 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/350973-1176571669/instance-350973-1176571669.opb ...... 8.99/9.09 c done parsing opb. 8.99/9.09 o 54319 13.39/13.49 o 54318 17.88/17.90 o 54311 22.29/22.34 o 54310 26.69/26.78 o 54303 31.08/31.19 o 54302 35.48/35.59 o 54301 39.98/40.02 o 54294 44.38/44.46 o 54293 48.78/48.89 o 54287 53.18/53.29 o 54284 57.58/57.70 o 54278 62.07/62.14 o 54273 66.47/66.58 o 54267 70.87/70.98 o 54262 75.27/75.38 o 54256 79.76/79.81 o 54254 84.16/84.25 o 54249 88.57/88.68 o 54243 92.97/93.08 o 54242 97.37/97.48 o 54236 101.86/101.92 o 54235 106.26/106.36 o 54229 110.66/110.77 o 54227 115.06/115.17 o 54226 119.46/119.59 o 54220 123.95/124.03 o 54219 128.35/128.46 o 54216 132.75/132.86 o 54215 137.15/137.26 o 54209 141.66/141.70 o 54207 146.05/146.14 o 54205 150.45/150.55 o 54204 154.85/154.95 o 54202 159.25/159.37 o 54201 163.75/163.81 o 54200 168.15/168.24 o 54199 172.54/172.64 o 54198 176.94/177.04 o 54192 181.34/181.48 o 54191 185.84/185.91 o 54186 190.25/190.33 o 54183 194.64/194.73 o 54181 199.04/199.14 o 54178 203.44/203.58 o 54176 207.93/208.01 o 54174 212.33/212.41 o 54171 216.74/216.81 o 54169 221.13/221.25 o 54166 225.53/225.69 o 54164 230.03/230.10 o 54161 234.43/234.50 o 54159 238.83/238.91 o 54158 243.22/243.35 o 54157 247.62/247.79 o 54156 252.03/252.19 o 54155 256.43/256.59 o 54153 260.92/261.02 o 54152 265.32/265.46 o 54151 269.72/269.88 o 54150 274.11/274.28 o 54145 278.51/278.69 o 54143 283.01/283.13 o 54141 287.42/287.57 o 54139 291.81/291.97 o 54138 296.21/296.37 o 54137 300.71/300.80 o 54136 305.11/305.24 o 54135 309.50/309.66 o 54130 313.90/314.06 o 54128 318.30/318.47 o 54126 322.80/322.90 o 54125 327.20/327.34 o 54124 331.60/331.74 o 54123 336.00/336.14 o 54122 340.40/340.57 o 54121 344.90/345.01 o 54116 349.30/349.43 o 54115 353.70/353.83 o 54114 358.09/358.24 o 54109 362.49/362.68 o 54108 366.99/367.12 o 54107 371.39/371.52 o 54106 375.78/375.92 o 54105 380.19/380.35 o 54104 384.59/384.78 o 54099 389.09/389.21 o 54097 393.48/393.61 o 54095 397.88/398.01 o 54093 402.28/402.45 o 54091 406.68/406.89 o 54089 411.07/411.29 o 54087 415.47/415.69 o 54086 419.97/420.12 o 54085 424.37/424.56 o 54084 428.77/428.99 o 54083 433.18/433.39 o 54082 437.58/437.79 o 54081 442.08/442.23 o 54076 446.47/446.67 o 54074 450.87/451.08 o 54071 455.27/455.48 o 54069 459.76/459.90 o 54067 464.16/464.34 o 54065 468.56/468.77 o 54063 472.96/473.17 o 54060 477.36/477.57 o 54058 481.86/482.01 o 54056 486.26/486.45 o 54055 490.66/490.86 o 54054 495.06/495.26 o 54053 499.45/499.68 o 54052 503.95/504.12 o 54051 508.35/508.56 o 54050 512.75/512.96 o 54045 517.14/517.36 o 54043 521.65/521.80 o 54042 526.05/526.24 o 54041 530.45/530.65 o 54040 534.84/535.05 o 54039 539.24/539.47 o 54038 543.74/543.91 o 54033 548.13/548.34 o 54031 552.54/552.74 o 54029 556.94/557.14 o 54028 561.34/561.58 o 54027 565.84/566.02 o 54025 570.23/570.44 o 54024 574.63/574.84 o 54021 579.03/579.26 o 54017 583.43/583.70 o 54016 587.93/588.13 o 54011 592.33/592.53 o 54008 596.73/596.93 o 54007 601.13/601.37 o 54003 605.63/605.81 o 53998 610.03/610.23 o 53997 614.42/614.63 o 53993 618.82/619.04 o 53992 623.22/623.48 o 53990 627.72/627.92 o 53989 632.11/632.32 o 53987 636.51/636.72 o 53986 640.92/641.16 o 53985 645.42/645.60 o 53984 649.82/650.02 o 53980 654.22/654.42 o 53979 658.61/658.83 o 53978 663.01/663.27 o 53977 667.51/667.71 o 53973 671.91/672.11 o 53968 676.30/676.51 o 53966 680.70/680.95 o 53964 685.10/685.39 o 53959 689.60/689.81 o 53958 694.00/694.21 o 53956 698.39/698.62 o 53955 702.79/703.06 o 53952 707.29/707.50 o 53951 711.69/711.90 o 53949 716.09/716.30 o 53948 720.49/720.73 o 53946 724.89/725.17 o 53942 729.29/729.60 o 53941 733.79/734.00 o 53606 738.18/738.41 o 53603 742.58/742.85 o 53600 746.98/747.29 o 53596 751.48/751.70 o 53564 755.88/756.10 o 53498 760.28/760.53 o 53495 764.68/764.97 o 53492 769.17/769.40 o 53488 773.57/773.80 o 53485 777.97/778.21 o 53482 782.37/782.65 o 53481 786.78/787.09 o 53476 791.17/791.49 o 53472 795.57/795.89 o 53470 800.07/800.32 o 53469 804.47/804.76 o 53467 808.86/809.19 o 53466 813.27/813.59 o 53464 817.66/817.99 o 53461 822.16/822.44 o 53459 826.56/826.88 o 53456 830.96/831.28 o 53451 835.36/835.69 o 53448 839.85/840.11 o 53447 844.25/844.55 o 53446 848.65/848.98 o 53444 853.06/853.39 o 53441 857.46/857.79 o 53440 861.95/862.23 o 53438 866.35/866.67 o 53433 870.75/871.08 o 53432 875.15/875.48 o 53428 879.65/879.91 o 53426 884.05/884.35 o 53422 888.45/888.78 o 53417 892.85/893.18 o 53412 897.24/897.58 o 53410 901.74/902.03 o 53408 906.14/906.47 o 53406 910.54/910.88 o 53405 914.94/915.28 o 50869 919.44/919.71 o 50594 923.83/924.15 o 50592 928.23/928.59 o 50590 932.63/933.00 o 50587 937.13/937.40 o 50586 941.53/941.84 o 50580 945.93/946.29 o 50579 950.43/950.71 o 50578 954.83/955.11 o 50575 959.23/959.53 o 50572 963.62/963.98 o 50571 968.12/968.41 o 50570 972.52/972.82 o 50569 976.91/977.22 o 50564 981.31/981.66 o 50561 985.82/986.10 o 50560 990.21/990.52 o 50556 994.61/994.93 o 50555 999.02/999.35 o 50554 1003.42/1003.79 o 50551 1007.91/1008.23 o 50549 1012.31/1012.63 o 50547 1016.71/1017.03 o 50543 1021.10/1021.47 o 50542 1025.60/1025.92 o 50541 1030.01/1030.33 o 50540 1034.41/1034.73 o 50539 1038.80/1039.15 o 50537 1043.20/1043.59 o 50535 1047.70/1048.04 o 50534 1052.10/1052.44 o 50533 1056.49/1056.84 o 50531 1060.90/1061.28 o 50529 1065.40/1065.72 o 50528 1069.80/1070.15 o 50527 1074.19/1074.55 o 50524 1078.59/1078.97 o 50523 1083.09/1083.41 o 50520 1087.49/1087.86 o 50515 1091.89/1092.26 o 50513 1096.29/1096.66 o 49616 1100.69/1101.09 o 49611 1105.19/1105.52 o 49610 1109.58/1109.94 o 49557 1113.99/1114.34 o 49554 1118.38/1118.74 o 49549 1122.78/1123.18 o 49447 1127.27/1127.62 o 49445 1131.67/1132.02 o 49444 1136.07/1136.42 o 49442 1140.48/1140.84 o 49441 1144.87/1145.28 o 49438 1149.37/1149.70 o 49437 1153.67/1154.10 o 49436 1158.17/1158.50 o 49435 1162.57/1162.93 o 49267 1166.97/1167.37 o 49262 1171.36/1171.77 o 49152 1175.77/1176.17 o 49149 1180.26/1180.60 o 49147 1184.66/1185.04 o 49146 1189.06/1189.47 o 49143 1193.45/1193.86 o 49142 1197.85/1198.26 o 49139 1202.36/1202.70 o 49137 1206.76/1207.14 o 49136 1211.15/1211.54 o 49133 1215.55/1215.94 o 49132 1219.95/1220.36 o 49130 1224.45/1224.80 o 49035 1228.85/1229.22 o 49034 1233.25/1233.62 o 49030 1237.65/1238.02 o 49029 1242.05/1242.47 o 49027 1246.54/1246.91 o 49025 1250.94/1251.32 o 49024 1255.34/1255.72 o 49021 1259.74/1260.13 o 49020 1264.13/1264.58 o 49018 1268.64/1269.00 o 49017 1273.04/1273.40 o 49012 1277.44/1277.80 o 49011 1281.84/1282.24 o 49009 1286.23/1286.68 o 49007 1290.63/1291.09 o 49005 1295.13/1295.50 o 49001 1299.52/1299.91 o 48997 1303.92/1304.35 o 48996 1308.32/1308.78 o 48992 1312.73/1313.18 o 48991 1317.13/1317.59 o 48990 1321.62/1322.02 o 48986 1326.02/1326.46 o 48982 1330.42/1330.87 o 48980 1334.82/1335.27 o 48979 1339.21/1339.69 o 48975 1343.72/1344.13 o 48972 1348.12/1348.56 o 48969 1352.52/1352.96 o 48968 1356.92/1357.36 o 48965 1361.42/1361.81 o 48964 1365.81/1366.24 o 48963 1370.21/1370.66 o 48960 1374.61/1375.06 o 48955 1379.01/1379.48 o 48950 1383.50/1383.92 o 48948 1387.90/1388.35 o 48946 1392.30/1392.75 o 48945 1396.70/1397.15 o 48944 1401.10/1401.59 o 48943 1405.60/1406.03 o 48940 1410.00/1410.44 o 48939 1414.40/1414.84 o 48937 1418.79/1419.26 o 48932 1423.29/1423.70 o 48927 1427.70/1428.14 o 48926 1432.09/1432.54 o 48924 1436.49/1436.94 o 48922 1440.88/1441.37 o 48920 1445.39/1445.82 o 48915 1449.79/1450.23 o 48912 1454.19/1454.63 o 48907 1458.59/1459.05 o 48906 1462.98/1463.49 o 48904 1467.48/1467.93 o 48903 1471.88/1472.33 o 48902 1476.28/1476.73 o 48897 1480.68/1481.16 o 48895 1485.18/1485.60 o 48894 1489.58/1490.02 o 48893 1493.97/1494.42 o 48890 1498.37/1498.83 o 48888 1502.77/1503.28 o 48887 1507.27/1507.72 o 48884 1511.66/1512.12 o 48883 1516.07/1516.52 o 48880 1520.47/1520.95 o 48878 1524.86/1525.39 o 48877 1529.36/1529.81 o 48876 1533.77/1534.22 o 48873 1538.17/1538.63 o 48872 1542.56/1543.07 o 48869 1547.06/1547.51 o 48865 1551.46/1551.92 o 48864 1555.86/1556.32 o 48863 1560.26/1560.74 o 48861 1564.66/1565.18 o 48860 1569.15/1569.61 o 48859 1573.55/1574.01 o 48858 1577.95/1578.42 o 48857 1582.36/1582.85 o 48856 1586.75/1587.30 o 48855 1591.25/1591.70 o 48851 1595.65/1596.11 o 48849 1600.05/1600.54 o 48848 1604.45/1604.98 o 48845 1608.94/1609.40 o 48840 1613.34/1613.80 o 48837 1617.74/1618.20 o 48834 1622.14/1622.64 o 48829 1626.53/1627.09 o 48827 1630.93/1631.50 o 48826 1635.43/1635.90 o 48822 1639.83/1640.32 o 48821 1644.24/1644.76 o 48820 1648.63/1649.19 o 48815 1653.03/1653.59 o 48814 1657.53/1658.00 o 48813 1661.92/1662.44 o 48812 1666.32/1666.88 o 48811 1670.73/1671.29 o 48810 1675.12/1675.68 o 48808 1679.62/1680.11 o 48807 1684.02/1684.55 o 48806 1688.42/1688.98 o 48804 1692.82/1693.39 o 48801 1697.22/1697.79 o 48800 1701.72/1702.23 o 48798 1706.12/1706.68 o 48794 1710.51/1711.09 o 48793 1714.91/1715.50 o 48789 1719.41/1719.92 o 48787 1723.81/1724.36 o 48785 1728.31/1728.80 o 48781 1732.71/1733.20 o 48777 1737.11/1737.61 o 48775 1741.51/1742.04 o 48771 1745.90/1746.49 o 48770 1750.40/1750.90 o 48767 1754.80/1755.30 o 48765 1759.20/1759.71 o 48763 1763.60/1764.15 o 48761 1767.99/1768.59 o 48759 1772.39/1772.99 o 48756 1776.80/1777.39 o 48755 1781.30/1781.82 o 48753 1785.69/1786.27 o 48752 1790.09/1790.69 o 48750 1794.49/1795.09 o 48748 1798.99/1799.51 o 48744 1800.10/1800.60 s SATISFIABLE
ERROR: no interpretation found !
/tmp/evaluation/350973-1176571669/instance-350973-1176571669.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node54/watcher-350973-1176571669 -o ROOT/results/node54/solver-350973-1176571669 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/350973-1176571669/PBS4 /tmp/evaluation/350973-1176571669/instance-350973-1176571669.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.95 0.98 3/66 6281 /proc/meminfo: memFree=1529712/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=2784 CPUtime=0 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 475 0 0 0 0 0 0 0 18 0 1 0 104541402 2850816 457 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0 /proc/6281/statm: 696 460 81 219 0 473 0 [startup+0.0272091 s] /proc/loadavg: 0.91 0.95 0.98 3/66 6281 /proc/meminfo: memFree=1529712/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=3248 CPUtime=0.02 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 620 0 0 0 2 0 0 0 18 0 1 0 104541402 3325952 602 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134784767 0 0 4096 0 0 0 0 17 1 0 0 /proc/6281/statm: 812 602 86 219 0 589 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 3248 [startup+0.101218 s] /proc/loadavg: 0.91 0.95 0.98 3/66 6281 /proc/meminfo: memFree=1529712/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=3836 CPUtime=0.09 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 729 0 0 0 9 0 0 0 18 0 1 0 104541402 3928064 711 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134588368 0 0 4096 0 0 0 0 17 1 0 0 /proc/6281/statm: 959 711 87 219 0 736 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3836 [startup+0.301244 s] /proc/loadavg: 0.91 0.95 0.98 3/66 6281 /proc/meminfo: memFree=1529712/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=3836 CPUtime=0.29 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 729 0 0 0 29 0 0 0 19 0 1 0 104541402 3928064 711 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134588380 0 0 4096 0 0 0 0 17 1 0 0 /proc/6281/statm: 959 711 87 219 0 736 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3836 [startup+0.701294 s] /proc/loadavg: 0.91 0.95 0.98 3/66 6281 /proc/meminfo: memFree=1529712/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=4032 CPUtime=0.69 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 778 0 0 0 69 0 0 0 22 0 1 0 104541402 4128768 760 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134588851 0 0 4096 0 0 0 0 17 1 0 0 /proc/6281/statm: 1008 760 87 219 0 785 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4032 [startup+1.5014 s] /proc/loadavg: 0.91 0.95 0.98 2/67 6282 /proc/meminfo: memFree=1526568/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=4776 CPUtime=1.49 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 1341 0 0 0 149 0 0 0 25 0 1 0 104541402 4890624 980 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134588386 0 0 4096 0 0 0 0 17 1 0 0 /proc/6281/statm: 1194 980 88 219 0 971 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4776 [startup+3.1016 s] /proc/loadavg: 0.92 0.95 0.98 2/67 6282 /proc/meminfo: memFree=1524136/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=7192 CPUtime=3.09 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 1998 0 0 0 309 0 0 0 25 0 1 0 104541402 7364608 1588 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134529800 0 0 4096 0 0 0 0 17 1 0 0 /proc/6281/statm: 1798 1588 88 219 0 1575 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7192 [startup+6.30201 s] /proc/loadavg: 0.92 0.95 0.98 2/67 6282 /proc/meminfo: memFree=1517864/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=12488 CPUtime=6.29 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 3477 0 0 0 628 1 0 0 25 0 1 0 104541402 12787712 2944 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6281/statm: 3122 2944 93 219 0 2899 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12488 [startup+12.7018 s] /proc/loadavg: 0.93 0.96 0.98 2/67 6282 /proc/meminfo: memFree=1517864/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=12488 CPUtime=12.69 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 3487 0 0 0 1268 1 0 0 25 0 1 0 104541402 12787712 2954 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6281/statm: 3122 2954 103 219 0 2899 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12488 [startup+25.5015 s] /proc/loadavg: 0.94 0.96 0.98 2/67 6282 /proc/meminfo: memFree=1517928/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=12488 CPUtime=25.49 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 3487 0 0 0 2547 2 0 0 25 0 1 0 104541402 12787712 2954 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6281/statm: 3122 2954 103 219 0 2899 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 12488 [startup+51.1017 s] /proc/loadavg: 0.96 0.96 0.98 2/67 6282 /proc/meminfo: memFree=1517992/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=12488 CPUtime=51.08 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 3487 0 0 0 5105 3 0 0 25 0 1 0 104541402 12787712 2954 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6281/statm: 3122 2954 103 219 0 2899 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 12488 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.98 2/67 6282 /proc/meminfo: memFree=1518056/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=12488 CPUtime=102.27 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 3487 0 0 0 10223 4 0 0 25 0 1 0 104541402 12787712 2954 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548521 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6281/statm: 3122 2954 103 219 0 2899 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 12488 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/67 6282 /proc/meminfo: memFree=1518120/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=12488 CPUtime=162.25 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 3487 0 0 0 16220 5 0 0 25 0 1 0 104541402 12787712 2954 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548033 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6281/statm: 3122 2954 103 219 0 2899 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 12488 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/67 6282 /proc/meminfo: memFree=1518120/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=12488 CPUtime=222.23 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 3487 0 0 0 22216 7 0 0 25 0 1 0 104541402 12787712 2954 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548082 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6281/statm: 3122 2954 103 219 0 2899 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 12488 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/67 6282 /proc/meminfo: memFree=1518056/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=12488 CPUtime=282.21 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 3487 0 0 0 28213 8 0 0 25 0 1 0 104541402 12787712 2954 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548021 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6281/statm: 3122 2954 103 219 0 2899 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 12488 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/67 6282 /proc/meminfo: memFree=1517992/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=12488 CPUtime=342.2 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 3487 0 0 0 34210 10 0 0 25 0 1 0 104541402 12787712 2954 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6281/statm: 3122 2954 103 219 0 2899 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 12488 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/67 6282 /proc/meminfo: memFree=1517992/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=12488 CPUtime=402.18 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 3487 0 0 0 40207 11 0 0 25 0 1 0 104541402 12787712 2954 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6281/statm: 3122 2954 103 219 0 2899 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 12488 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/67 6282 /proc/meminfo: memFree=1517992/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=12488 CPUtime=462.16 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 3487 0 0 0 46204 12 0 0 25 0 1 0 104541402 12787712 2954 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6281/statm: 3122 2954 103 219 0 2899 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 12488 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/67 6282 /proc/meminfo: memFree=1518056/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=12488 CPUtime=522.15 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 3487 0 0 0 52201 14 0 0 25 0 1 0 104541402 12787712 2954 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548521 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6281/statm: 3122 2954 103 219 0 2899 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 12488 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/67 6282 /proc/meminfo: memFree=1518056/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=12488 CPUtime=582.13 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 3487 0 0 0 58198 15 0 0 25 0 1 0 104541402 12787712 2954 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6281/statm: 3122 2954 103 219 0 2899 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 12488 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/67 6282 /proc/meminfo: memFree=1517992/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=12488 CPUtime=642.12 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 3487 0 0 0 64195 17 0 0 25 0 1 0 104541402 12787712 2954 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548024 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6281/statm: 3122 2954 103 219 0 2899 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 12488 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.98 2/67 6282 /proc/meminfo: memFree=1517992/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=12488 CPUtime=822.06 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 3487 0 0 0 82184 22 0 0 25 0 1 0 104541402 12787712 2954 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6281/statm: 3122 2954 103 219 0 2899 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 12488 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.98 2/67 6282 /proc/meminfo: memFree=1517992/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=12488 CPUtime=882.05 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 3487 0 0 0 88182 23 0 0 25 0 1 0 104541402 12787712 2954 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6281/statm: 3122 2954 103 219 0 2899 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 12488 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.98 2/67 6282 /proc/meminfo: memFree=1517992/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=12488 CPUtime=942.03 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 3487 0 0 0 94178 25 0 0 25 0 1 0 104541402 12787712 2954 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548526 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6281/statm: 3122 2954 103 219 0 2899 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 12488 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 6282 /proc/meminfo: memFree=1517992/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=12488 CPUtime=1002.02 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 3487 0 0 0 100175 27 0 0 25 0 1 0 104541402 12787712 2954 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6281/statm: 3122 2954 103 219 0 2899 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 12488 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 6282 /proc/meminfo: memFree=1517992/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=12488 CPUtime=1062 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 3487 0 0 0 106171 29 0 0 25 0 1 0 104541402 12787712 2954 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6281/statm: 3122 2954 103 219 0 2899 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 12488 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 6282 /proc/meminfo: memFree=1518056/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=12488 CPUtime=1121.98 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 3487 0 0 0 112168 30 0 0 25 0 1 0 104541402 12787712 2954 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6281/statm: 3122 2954 103 219 0 2899 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 12488 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 6282 /proc/meminfo: memFree=1517992/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=12488 CPUtime=1181.96 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 3487 0 0 0 118164 32 0 0 25 0 1 0 104541402 12787712 2954 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6281/statm: 3122 2954 103 219 0 2899 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 12488 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 6282 /proc/meminfo: memFree=1517928/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=12488 CPUtime=1241.94 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 3487 0 0 0 124160 34 0 0 25 0 1 0 104541402 12787712 2954 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6281/statm: 3122 2954 103 219 0 2899 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 12488 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 6282 /proc/meminfo: memFree=1517992/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=12488 CPUtime=1301.93 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 3487 0 0 0 130158 35 0 0 25 0 1 0 104541402 12787712 2954 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548010 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6281/statm: 3122 2954 103 219 0 2899 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 12488 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 6282 /proc/meminfo: memFree=1517992/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=12488 CPUtime=1361.91 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 3487 0 0 0 136154 37 0 0 25 0 1 0 104541402 12787712 2954 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548514 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6281/statm: 3122 2954 103 219 0 2899 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 12488 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/67 6282 /proc/meminfo: memFree=1517928/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=12488 CPUtime=1421.9 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 3487 0 0 0 142152 38 0 0 25 0 1 0 104541402 12787712 2954 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548066 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6281/statm: 3122 2954 103 219 0 2899 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 12488 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 6282 /proc/meminfo: memFree=1517992/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=12488 CPUtime=1481.88 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 3487 0 0 0 148147 41 0 0 25 0 1 0 104541402 12787712 2954 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548033 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6281/statm: 3122 2954 103 219 0 2899 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 12488 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 6282 /proc/meminfo: memFree=1517992/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=12488 CPUtime=1541.86 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 3487 0 0 0 154143 43 0 0 25 0 1 0 104541402 12787712 2954 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6281/statm: 3122 2954 103 219 0 2899 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 12488 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 6282 /proc/meminfo: memFree=1517928/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=12488 CPUtime=1601.85 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 3487 0 0 0 160140 45 0 0 25 0 1 0 104541402 12787712 2954 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6281/statm: 3122 2954 103 219 0 2899 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 12488 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 6282 /proc/meminfo: memFree=1517992/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=12488 CPUtime=1661.82 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 3487 0 0 0 166136 46 0 0 25 0 1 0 104541402 12787712 2954 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6281/statm: 3122 2954 103 219 0 2899 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 12488 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 6282 /proc/meminfo: memFree=1517992/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=12488 CPUtime=1721.81 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 3487 0 0 0 172133 48 0 0 25 0 1 0 104541402 12787712 2954 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6281/statm: 3122 2954 103 219 0 2899 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 12488 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 6282 /proc/meminfo: memFree=1517928/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=12488 CPUtime=1781.8 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 3487 0 0 0 178130 50 0 0 25 0 1 0 104541402 12787712 2954 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548511 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6281/statm: 3122 2954 103 219 0 2899 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 12488 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.98 2/67 6282 /proc/meminfo: memFree=1517992/2055920 swapFree=4191892/4192956 [pid=6281] ppid=6279 vsize=12488 CPUtime=1800.1 /proc/6281/stat : 6281 (PBS4) R 6279 6281 5648 0 -1 4194304 3487 0 0 0 179960 50 0 0 25 0 1 0 104541402 12787712 2954 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6281/statm: 3122 2954 103 219 0 2899 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 12488 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.61 CPU time (s): 1800.11 CPU user time (s): 1799.6 CPU system time (s): 0.508922 CPU usage (%): 99.972 Max. virtual memory (cumulated for all children) (KiB): 12624 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.6 system time used= 0.508922 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3488 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8 involuntary context switches= 2904 runsolver used 1.83772 second user time and 4.73828 second system time The end
Begin job on node54 on Sat Apr 14 17:27:49 UTC 2007 IDJOB= 350973 IDBENCH= 1627 IDSOLVER= 157 FILE ID= node54/350973-1176571669 PBS_JOBID= 4556884 Free space on /tmp= 66561 MiB SOLVER NAME= PBS4 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-sp97ic.opb COMMAND LINE= /tmp/evaluation/350973-1176571669/PBS4 /tmp/evaluation/350973-1176571669/instance-350973-1176571669.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node54/convwatcher-350973-1176571669 -o ROOT/results/node54/conversion-350973-1176571669 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/350973-1176571669/instance-350973-1176571669.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node54/watcher-350973-1176571669 -o ROOT/results/node54/solver-350973-1176571669 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/350973-1176571669/PBS4 /tmp/evaluation/350973-1176571669/instance-350973-1176571669.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= 398f2ddedf5bd2978b4636f0e4bc50cf RANDOM SEED= 557441826 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node54.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 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.234 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: 1530184 kB Buffers: 43152 kB Cached: 347112 kB SwapCached: 396 kB Active: 158144 kB Inactive: 248888 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1530184 kB SwapTotal: 4192956 kB SwapFree: 4191892 kB Dirty: 4224 kB Writeback: 0 kB Mapped: 25764 kB Slab: 104664 kB Committed_AS: 125812 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66561 MiB End job on node54 on Sat Apr 14 17:57:52 UTC 2007