Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.08 | 1800.61 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-sp98ic.opb |
MD5SUM | c7b5febdd9943d6f5734f2bb85a2dc73 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 801 |
Best CPU time to get the best result obtained on this benchmark | 1800.19 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 801 |
Optimality of the best value was proved | NO |
Number of variables | 10894 |
Total number of constraints | 825 |
Number of constraints which are clauses | 20 |
Number of constraints which are cardinality constraints (but not clauses) | 624 |
Number of constraints which are nor clauses,nor cardinality constraints | 181 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 5038 |
Number of terms in the objective function | 10894 |
Biggest coefficient in the objective function | 187 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 529756 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 187 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 529756 |
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/350869-1176564315/instance-350869-1176564315.opb ...... 8.59/8.66 c done parsing opb. 8.59/8.66 o 50821 12.89/12.90 o 50818 17.09/17.14 o 50809 21.29/21.39 o 50808 25.58/25.66 o 50800 29.88/29.93 o 50797 34.08/34.16 o 50793 38.28/38.39 o 50792 42.58/42.66 o 50790 46.87/46.93 o 50783 51.07/51.18 o 50781 55.37/55.41 o 50778 59.57/59.65 o 50776 63.87/63.92 o 50774 68.07/68.19 o 50773 72.37/72.44 o 50772 76.57/76.67 o 50765 80.86/80.91 o 50762 85.06/85.19 o 50760 89.36/89.46 o 50758 93.56/93.69 o 50756 97.87/97.92 o 50755 102.06/102.18 o 50754 106.36/106.45 o 50753 110.66/110.71 o 50752 114.86/114.94 o 50745 119.05/119.18 o 50744 123.35/123.45 o 50743 127.65/127.72 o 50736 131.85/131.97 o 50734 136.15/136.20 o 50733 140.35/140.44 o 50726 144.65/144.71 o 50724 148.85/148.98 o 50723 153.14/153.22 o 50721 157.34/157.45 o 50720 161.64/161.70 o 50713 165.84/165.97 o 50711 170.14/170.24 o 50708 174.34/174.47 o 50706 178.64/178.70 o 50703 182.84/182.96 o 50701 187.13/187.23 o 50698 191.34/191.49 o 50697 195.63/195.72 o 50696 199.83/199.96 o 50694 204.13/204.23 o 50693 208.43/208.50 o 50692 212.63/212.74 o 50685 216.83/216.97 o 50684 221.13/221.22 o 50677 225.33/225.49 o 50676 229.62/229.76 o 50675 233.82/233.99 o 50673 238.12/238.22 o 50672 242.32/242.48 o 50671 246.61/246.75 o 50664 250.91/251.01 o 50661 255.11/255.24 o 50658 259.31/259.47 o 50655 263.62/263.74 o 50651 267.91/268.01 o 50648 272.11/272.26 o 50645 276.31/276.49 o 50644 280.61/280.73 o 50643 284.90/285.01 o 50641 289.11/289.28 o 50639 293.40/293.51 o 50637 297.60/297.74 o 50636 301.91/302.00 o 50635 306.10/306.27 o 50628 310.40/310.53 o 50623 314.60/314.76 o 50621 318.80/319.00 o 50618 323.09/323.26 o 50616 327.39/327.53 o 50613 331.59/331.79 o 50611 335.88/336.02 o 50610 340.09/340.26 o 50609 344.39/344.53 o 50608 348.69/348.80 o 50606 352.89/353.04 o 50605 357.08/357.27 o 50603 361.38/361.52 o 50602 365.58/365.79 o 50601 369.88/370.06 o 50594 374.08/374.29 o 50591 378.38/378.52 o 50588 382.58/382.78 o 50585 386.87/387.05 o 50584 391.17/391.31 o 50582 395.37/395.54 o 50580 399.57/399.77 o 50579 403.87/404.05 o 50577 408.17/408.32 o 50576 412.37/412.56 o 50575 416.57/416.79 o 50574 420.86/421.03 o 50567 425.16/425.31 o 50563 429.36/429.58 o 50558 433.66/433.81 o 50555 437.86/438.04 o 50552 442.16/442.30 o 50550 446.36/446.57 o 50547 450.65/450.83 o 50545 454.85/455.06 o 50543 459.05/459.29 o 50542 463.35/463.57 o 50540 467.65/467.84 o 50539 471.84/472.09 o 50538 476.15/476.32 o 50537 480.35/480.56 o 50530 484.64/484.83 o 50528 488.94/489.10 o 50527 493.14/493.34 o 50525 497.34/497.57 o 50524 501.64/501.82 o 50522 505.85/506.09 o 50521 510.14/510.36 o 50520 514.34/514.59 o 50519 518.63/518.82 o 50512 522.83/523.08 o 50509 527.13/527.35 o 50506 531.43/531.61 o 50505 535.63/535.84 o 50503 539.84/540.07 o 50499 544.13/544.34 o 50497 548.43/548.62 o 50496 552.63/552.86 o 50494 556.83/557.09 o 50493 561.12/561.33 o 50489 565.42/565.61 o 50488 569.62/569.87 o 50487 573.93/574.11 o 50485 578.12/578.34 o 50484 582.42/582.60 o 50480 586.62/586.87 o 50479 590.92/591.13 o 50472 595.11/595.36 o 50470 599.31/599.59 o 50468 603.61/603.86 o 50466 607.91/608.13 o 50459 612.11/612.38 o 50456 616.40/616.61 o 50453 620.61/620.85 o 50450 624.91/625.12 o 50446 629.11/629.39 o 50443 633.41/633.63 o 50442 637.60/637.86 o 50440 641.90/642.11 o 50439 646.10/646.38 o 50437 650.39/650.65 o 50435 654.59/654.88 o 50434 658.90/659.11 o 50433 663.10/663.38 o 50425 667.40/667.65 o 50422 671.69/671.90 o 50419 675.89/676.13 o 50416 680.09/680.37 o 50413 684.39/684.64 o 50410 688.68/688.92 o 50409 692.89/693.15 o 50407 697.09/697.39 o 50405 701.38/701.64 o 50403 705.68/705.91 o 50327 709.88/710.18 o 50325 714.18/714.41 o 50230 718.38/718.64 o 50225 722.68/722.91 o 50221 726.88/727.18 o 50219 731.18/731.43 o 50214 735.37/735.67 o 50213 739.67/739.90 o 50209 743.87/744.17 o 50208 748.17/748.44 o 50206 752.37/752.69 o 50204 756.67/756.92 o 50199 760.87/761.17 o 50196 765.16/765.44 o 50194 769.46/769.71 o 50187 773.67/773.94 o 50186 777.86/778.18 o 50180 782.16/782.43 o 50165 786.46/786.71 o 50164 790.66/790.97 o 50160 794.86/795.20 o 50159 799.15/799.43 o 50157 803.45/803.70 o 50156 807.65/807.97 o 50150 811.96/812.22 o 50148 816.15/816.46 o 50146 820.35/820.70 o 50144 824.65/824.97 o 50143 828.95/829.24 o 50139 833.14/833.48 o 50134 837.44/837.71 o 50132 841.64/841.97 o 50127 845.94/846.24 o 50126 850.24/850.50 o 50121 854.44/854.74 o 50116 858.63/858.97 o 50115 862.94/863.24 o 50114 867.24/867.51 o 50113 871.43/871.76 o 50112 875.73/876.00 o 50110 879.93/880.24 o 47968 884.23/884.51 o 47967 888.43/888.78 o 47965 892.72/893.02 o 47964 896.92/897.25 o 47962 901.12/901.49 o 47961 905.43/905.77 o 47951 909.73/910.03 o 47949 913.92/914.26 o 47819 918.12/918.49 o 47815 922.41/922.75 o 47809 926.71/927.02 o 47807 930.92/931.28 o 47805 935.22/935.51 o 47802 939.41/939.74 o 47801 943.71/944.01 o 47797 947.91/948.28 o 47796 952.21/952.52 o 47793 956.41/956.75 o 47790 960.61/960.99 o 47789 964.91/965.26 o 47787 969.20/969.53 o 47785 973.40/973.76 o 47784 977.60/977.99 o 47782 981.90/982.25 o 47776 986.20/986.52 o 47775 990.40/990.78 o 47774 994.69/995.01 o 47770 998.89/999.24 o 47769 1003.19/1003.50 o 47767 1007.39/1007.77 o 47761 1011.69/1012.02 o 47760 1015.88/1016.25 o 47759 1020.08/1020.49 o 47756 1024.39/1024.76 o 47754 1028.69/1029.03 o 47752 1032.88/1033.26 o 47746 1037.08/1037.49 o 47742 1041.38/1041.74 o 47741 1045.68/1046.01 o 47740 1049.87/1050.28 o 47736 1054.18/1054.50 o 45987 1058.38/1058.72 o 45986 1062.57/1062.97 o 45980 1066.87/1067.23 o 45974 1071.07/1071.47 o 45973 1075.27/1075.69 o 45971 1079.56/1079.92 o 45855 1083.77/1084.18 o 45854 1088.07/1088.44 o 45850 1092.26/1092.67 o 45847 1096.46/1096.90 o 45846 1100.77/1101.13 o 45840 1104.96/1105.39 o 45833 1109.26/1109.65 o 45831 1113.46/1113.87 o 45827 1117.65/1118.10 o 45826 1121.96/1122.34 o 45825 1126.26/1126.61 o 45819 1130.46/1130.86 o 45815 1134.65/1135.08 o 45813 1138.95/1139.30 o 45807 1143.15/1143.56 o 45805 1147.45/1147.82 o 45804 1151.64/1152.06 o 45802 1155.85/1156.28 o 45799 1160.15/1160.51 o 45797 1164.34/1164.77 o 45796 1168.64/1169.04 o 45795 1172.84/1173.27 o 45792 1177.04/1177.49 o 45791 1181.33/1181.73 o 45789 1185.53/1185.99 o 45787 1189.84/1190.24 o 45782 1194.03/1194.46 o 45538 1198.23/1198.68 o 45537 1202.53/1202.93 o 45536 1206.83/1207.20 o 45532 1211.03/1211.45 o 45525 1215.23/1215.67 o 45522 1219.43/1219.90 o 45518 1223.72/1224.16 o 45517 1228.02/1228.42 o 45516 1232.22/1232.66 o 45514 1236.42/1236.88 o 45509 1240.72/1241.12 o 45506 1244.92/1245.39 o 45505 1249.22/1249.66 o 45500 1253.42/1253.88 o 45499 1257.72/1258.10 o 45497 1261.91/1262.35 o 45493 1266.21/1266.61 o 45488 1270.41/1270.86 o 45487 1274.61/1275.09 o 45481 1278.91/1279.31 o 45479 1283.11/1283.57 o 45477 1287.41/1287.83 o 45476 1291.60/1292.07 o 45471 1295.91/1296.30 o 45470 1300.11/1300.54 o 45467 1304.40/1304.80 o 45463 1308.61/1309.07 o 45458 1312.90/1313.30 o 45455 1317.09/1317.52 o 45454 1321.29/1321.76 o 45449 1325.60/1326.03 o 45445 1329.80/1330.29 o 45444 1334.09/1334.52 o 45438 1338.30/1338.74 o 45435 1342.49/1342.99 o 45432 1346.79/1347.25 o 45429 1351.08/1351.50 o 45426 1355.29/1355.73 o 45420 1359.49/1359.96 o 45419 1363.78/1364.22 o 45417 1367.99/1368.48 o 45413 1372.28/1372.72 o 45410 1376.48/1376.94 o 45408 1380.68/1381.18 o 45407 1384.98/1385.46 o 45405 1389.28/1389.72 o 45402 1393.48/1393.95 o 45401 1397.68/1398.18 o 45398 1401.98/1402.43 o 45396 1406.17/1406.70 o 45395 1410.47/1410.95 o 45389 1414.67/1415.18 o 45388 1418.97/1419.40 o 45387 1423.17/1423.66 o 45383 1427.47/1427.93 o 45381 1431.67/1432.18 o 45377 1435.96/1436.40 o 45376 1440.16/1440.64 o 45374 1444.46/1444.91 o 45373 1448.66/1449.17 o 45369 1452.96/1453.40 o 45364 1457.16/1457.62 o 45358 1461.36/1461.86 o 45354 1465.65/1466.13 o 45353 1469.85/1470.38 o 45348 1474.15/1474.61 o 45347 1478.35/1478.84 o 45346 1482.55/1483.10 o 45345 1486.85/1487.37 o 45341 1491.15/1491.61 o 45340 1495.35/1495.84 o 45339 1499.55/1500.06 o 45336 1503.84/1504.33 o 45335 1508.04/1508.59 o 45332 1512.34/1512.83 o 45331 1516.54/1517.06 o 45327 1520.74/1521.30 o 45320 1525.03/1525.57 o 45314 1529.34/1529.83 o 45308 1533.54/1534.07 o 45304 1537.83/1538.30 o 45299 1542.03/1542.55 o 45298 1546.33/1546.81 o 45293 1550.54/1551.07 o 45292 1554.73/1555.30 o 45286 1559.03/1559.52 o 45283 1563.22/1563.78 o 45279 1567.52/1568.05 o 45278 1571.72/1572.29 o 45277 1576.02/1576.51 o 45275 1580.22/1580.75 o 45270 1584.52/1585.02 o 45269 1588.72/1589.28 o 45268 1593.02/1593.51 o 45265 1597.22/1597.74 o 45263 1601.41/1601.99 o 45262 1605.71/1606.25 o 45257 1610.01/1610.50 o 45255 1614.22/1614.73 o 45253 1618.41/1618.96 o 45250 1622.71/1623.21 o 45245 1626.91/1627.48 o 45239 1631.21/1631.73 o 45238 1635.40/1635.96 o 45237 1639.60/1640.19 o 45236 1643.90/1644.45 o 45230 1648.20/1648.71 o 45228 1652.40/1652.95 o 45227 1656.60/1657.17 o 45223 1660.89/1661.42 o 45220 1665.09/1665.68 o 45218 1669.39/1669.94 o 45217 1673.59/1674.17 o 45215 1677.90/1678.40 o 45212 1682.09/1682.65 o 45211 1686.39/1686.92 o 45210 1690.58/1691.17 o 45209 1694.79/1695.39 o 45204 1699.09/1699.62 o 45199 1703.29/1703.89 o 45193 1707.58/1708.16 o 45192 1711.88/1712.41 o 45189 1716.08/1716.64 o 45184 1720.28/1720.87 o 45182 1724.57/1725.14 o 45177 1728.88/1729.42 o 45176 1733.08/1733.65 o 45175 1737.28/1737.87 o 45173 1741.57/1742.12 o 45170 1745.77/1746.39 o 45165 1750.07/1750.65 o 45164 1754.27/1754.87 o 45163 1758.56/1759.10 o 45162 1762.78/1763.36 o 45158 1767.07/1767.62 o 45155 1771.26/1771.87 o 45152 1775.46/1776.09 o 45149 1779.76/1780.32 o 45144 1783.96/1784.59 o 45143 1788.26/1788.85 o 45142 1792.46/1793.09 o 45140 1796.76/1797.31 o 45138 1800.06/1800.60 s SATISFIABLE
ERROR: no interpretation found !
/tmp/evaluation/350869-1176564315/instance-350869-1176564315.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node5/watcher-350869-1176564315 -o ROOT/results/node5/solver-350869-1176564315 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/350869-1176564315/PBS4 /tmp/evaluation/350869-1176564315/instance-350869-1176564315.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.84 0.94 0.97 3/77 23398 /proc/meminfo: memFree=1815360/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=2804 CPUtime=0 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 482 0 0 0 0 0 0 0 18 0 1 0 132469251 2871296 464 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134801783 0 0 4096 0 0 0 0 17 1 0 0 /proc/23398/statm: 701 464 86 219 0 478 0 [startup+0.040629 s] /proc/loadavg: 0.84 0.94 0.97 3/77 23398 /proc/meminfo: memFree=1815360/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=3396 CPUtime=0.03 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 624 0 0 0 3 0 0 0 18 0 1 0 132469251 3477504 606 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134529780 0 0 4096 0 0 0 0 17 1 0 0 /proc/23398/statm: 849 606 86 219 0 626 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 3396 [startup+0.101635 s] /proc/loadavg: 0.84 0.94 0.97 3/77 23398 /proc/meminfo: memFree=1815360/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=3528 CPUtime=0.09 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 654 0 0 0 9 0 0 0 18 0 1 0 132469251 3612672 636 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134588368 0 0 4096 0 0 0 0 17 1 0 0 /proc/23398/statm: 882 636 87 219 0 659 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3528 [startup+0.301657 s] /proc/loadavg: 0.84 0.94 0.97 3/77 23398 /proc/meminfo: memFree=1815360/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=3528 CPUtime=0.29 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 654 0 0 0 29 0 0 0 19 0 1 0 132469251 3612672 636 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134588362 0 0 4096 0 0 0 0 17 1 0 0 /proc/23398/statm: 882 636 87 219 0 659 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3528 [startup+0.701702 s] /proc/loadavg: 0.84 0.94 0.97 3/77 23398 /proc/meminfo: memFree=1815360/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=3840 CPUtime=0.69 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 816 0 0 0 69 0 0 0 23 0 1 0 132469251 3932160 712 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135057389 0 0 4096 0 0 0 0 17 1 0 0 /proc/23398/statm: 960 712 88 219 0 737 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3840 [startup+1.50179 s] /proc/loadavg: 0.84 0.94 0.97 2/78 23399 /proc/meminfo: memFree=1812280/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=5636 CPUtime=1.49 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 1520 0 0 0 149 0 0 0 25 0 1 0 132469251 5771264 1201 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134588386 0 0 4096 0 0 0 0 17 1 0 0 /proc/23398/statm: 1409 1201 88 219 0 1186 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5636 [startup+3.10298 s] /proc/loadavg: 0.85 0.94 0.97 2/78 23399 /proc/meminfo: memFree=1810424/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=9916 CPUtime=3.1 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 2663 0 0 0 309 1 0 0 25 0 1 0 132469251 10153984 2258 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135057389 0 0 4096 0 0 0 0 17 1 0 0 /proc/23398/statm: 2479 2258 88 219 0 2256 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 9916 [startup+6.30134 s] /proc/loadavg: 0.85 0.94 0.97 2/78 23399 /proc/meminfo: memFree=1803896/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=12152 CPUtime=6.29 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 3279 0 0 0 627 2 0 0 25 0 1 0 132469251 12443648 2852 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548056 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23398/statm: 3038 2852 93 219 0 2815 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12152 [startup+12.7011 s] /proc/loadavg: 0.87 0.94 0.97 2/78 23399 /proc/meminfo: memFree=1803960/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=12152 CPUtime=12.69 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 3289 0 0 0 1267 2 0 0 25 0 1 0 132469251 12443648 2862 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23398/statm: 3038 2862 103 219 0 2815 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12152 [startup+25.5015 s] /proc/loadavg: 0.89 0.94 0.97 2/78 23399 /proc/meminfo: memFree=1804088/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=12152 CPUtime=25.48 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 3289 0 0 0 2546 2 0 0 25 0 1 0 132469251 12443648 2862 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548050 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23398/statm: 3038 2862 103 219 0 2815 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 12152 [startup+51.1014 s] /proc/loadavg: 0.93 0.94 0.97 2/78 23399 /proc/meminfo: memFree=1804216/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=12152 CPUtime=51.07 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 3289 0 0 0 5104 3 0 0 25 0 1 0 132469251 12443648 2862 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23398/statm: 3038 2862 103 219 0 2815 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 12152 [startup+102.305 s] /proc/loadavg: 0.97 0.95 0.97 2/78 23399 /proc/meminfo: memFree=1804152/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=12152 CPUtime=102.27 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 3289 0 0 0 10222 5 0 0 25 0 1 0 132469251 12443648 2862 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548508 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23398/statm: 3038 2862 103 219 0 2815 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 12152 [startup+162.301 s] /proc/loadavg: 0.99 0.96 0.97 2/78 23399 /proc/meminfo: memFree=1804088/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=12152 CPUtime=162.24 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 3289 0 0 0 16218 6 0 0 25 0 1 0 132469251 12443648 2862 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548521 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23398/statm: 3038 2862 103 219 0 2815 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 12152 [startup+222.302 s] /proc/loadavg: 0.99 0.96 0.97 2/78 23399 /proc/meminfo: memFree=1804088/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=12152 CPUtime=222.23 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 3289 0 0 0 22215 8 0 0 25 0 1 0 132469251 12443648 2862 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23398/statm: 3038 2862 103 219 0 2815 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 12152 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23399 /proc/meminfo: memFree=1804024/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=12152 CPUtime=282.21 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 3289 0 0 0 28212 9 0 0 25 0 1 0 132469251 12443648 2862 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548010 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23398/statm: 3038 2862 103 219 0 2815 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 12152 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23401 /proc/meminfo: memFree=1803896/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=12152 CPUtime=342.19 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 3289 0 0 0 34208 11 0 0 25 0 1 0 132469251 12443648 2862 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548021 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23398/statm: 3038 2862 103 219 0 2815 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 12152 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23401 /proc/meminfo: memFree=1803960/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=12152 CPUtime=402.17 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 3289 0 0 0 40205 12 0 0 25 0 1 0 132469251 12443648 2862 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23398/statm: 3038 2862 103 219 0 2815 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 12152 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23401 /proc/meminfo: memFree=1804024/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=12152 CPUtime=462.15 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 3289 0 0 0 46202 13 0 0 25 0 1 0 132469251 12443648 2862 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548082 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23398/statm: 3038 2862 103 219 0 2815 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 12152 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23401 /proc/meminfo: memFree=1804024/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=12152 CPUtime=522.13 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 3289 0 0 0 52198 15 0 0 25 0 1 0 132469251 12443648 2862 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548024 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23398/statm: 3038 2862 103 219 0 2815 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 12152 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23401 /proc/meminfo: memFree=1804024/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=12152 CPUtime=582.12 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 3289 0 0 0 58195 17 0 0 25 0 1 0 132469251 12443648 2862 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23398/statm: 3038 2862 103 219 0 2815 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 12152 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23401 /proc/meminfo: memFree=1804024/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=12152 CPUtime=642.1 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 3289 0 0 0 64192 18 0 0 25 0 1 0 132469251 12443648 2862 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548514 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23398/statm: 3038 2862 103 219 0 2815 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 12152 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23401 /proc/meminfo: memFree=1804024/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=12152 CPUtime=822.05 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 3289 0 0 0 82182 23 0 0 25 0 1 0 132469251 12443648 2862 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23398/statm: 3038 2862 103 219 0 2815 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 12152 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23401 /proc/meminfo: memFree=1804024/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=12152 CPUtime=882.03 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 3289 0 0 0 88179 24 0 0 25 0 1 0 132469251 12443648 2862 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23398/statm: 3038 2862 103 219 0 2815 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 12152 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23401 /proc/meminfo: memFree=1803960/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=12152 CPUtime=942.01 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 3289 0 0 0 94175 26 0 0 25 0 1 0 132469251 12443648 2862 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548056 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23398/statm: 3038 2862 103 219 0 2815 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 12152 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23401 /proc/meminfo: memFree=1803960/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=12152 CPUtime=1001.99 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 3289 0 0 0 100171 28 0 0 25 0 1 0 132469251 12443648 2862 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23398/statm: 3038 2862 103 219 0 2815 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 12152 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23401 /proc/meminfo: memFree=1804024/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=12152 CPUtime=1061.97 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 3289 0 0 0 106167 30 0 0 25 0 1 0 132469251 12443648 2862 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23398/statm: 3038 2862 103 219 0 2815 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 12152 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23401 /proc/meminfo: memFree=1803960/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=12152 CPUtime=1121.96 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 3289 0 0 0 112163 33 0 0 25 0 1 0 132469251 12443648 2862 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548033 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23398/statm: 3038 2862 103 219 0 2815 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 12152 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23401 /proc/meminfo: memFree=1804024/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=12152 CPUtime=1181.93 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 3289 0 0 0 118158 35 0 0 25 0 1 0 132469251 12443648 2862 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548508 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23398/statm: 3038 2862 103 219 0 2815 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 12152 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23401 /proc/meminfo: memFree=1803960/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=12152 CPUtime=1241.92 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 3289 0 0 0 124155 37 0 0 25 0 1 0 132469251 12443648 2862 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548033 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23398/statm: 3038 2862 103 219 0 2815 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 12152 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23401 /proc/meminfo: memFree=1803960/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=12152 CPUtime=1301.91 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 3289 0 0 0 130151 40 0 0 25 0 1 0 132469251 12443648 2862 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548066 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23398/statm: 3038 2862 103 219 0 2815 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 12152 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23401 /proc/meminfo: memFree=1803896/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=12152 CPUtime=1361.89 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 3289 0 0 0 136147 42 0 0 25 0 1 0 132469251 12443648 2862 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548041 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23398/statm: 3038 2862 103 219 0 2815 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 12152 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23401 /proc/meminfo: memFree=1803960/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=12152 CPUtime=1421.87 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 3289 0 0 0 142143 44 0 0 25 0 1 0 132469251 12443648 2862 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23398/statm: 3038 2862 103 219 0 2815 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 12152 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23401 /proc/meminfo: memFree=1803960/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=12152 CPUtime=1481.85 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 3289 0 0 0 148139 46 0 0 25 0 1 0 132469251 12443648 2862 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548066 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23398/statm: 3038 2862 103 219 0 2815 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 12152 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23401 /proc/meminfo: memFree=1803960/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=12152 CPUtime=1541.83 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 3289 0 0 0 154134 49 0 0 25 0 1 0 132469251 12443648 2862 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23398/statm: 3038 2862 103 219 0 2815 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 12152 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23401 /proc/meminfo: memFree=1803896/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=12152 CPUtime=1601.81 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 3289 0 0 0 160129 52 0 0 25 0 1 0 132469251 12443648 2862 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548521 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23398/statm: 3038 2862 103 219 0 2815 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 12152 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23401 /proc/meminfo: memFree=1803832/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=12152 CPUtime=1661.79 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 3289 0 0 0 166125 54 0 0 25 0 1 0 132469251 12443648 2862 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23398/statm: 3038 2862 103 219 0 2815 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 12152 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23401 /proc/meminfo: memFree=1803832/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=12152 CPUtime=1721.78 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 3289 0 0 0 172122 56 0 0 25 0 1 0 132469251 12443648 2862 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548033 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23398/statm: 3038 2862 103 219 0 2815 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 12152 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23401 /proc/meminfo: memFree=1803832/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=12152 CPUtime=1781.76 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 3289 0 0 0 178118 58 0 0 25 0 1 0 132469251 12443648 2862 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548024 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23398/statm: 3038 2862 103 219 0 2815 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 12152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23401 /proc/meminfo: memFree=1803832/2055920 swapFree=4192812/4192956 [pid=23398] ppid=23396 vsize=12152 CPUtime=1800.06 /proc/23398/stat : 23398 (PBS4) R 23396 23398 23092 0 -1 4194304 3289 0 0 0 179947 59 0 0 25 0 1 0 132469251 12443648 2862 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23398/statm: 3038 2862 103 219 0 2815 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 12152 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.08 CPU user time (s): 1799.48 CPU system time (s): 0.598908 CPU usage (%): 99.9703 Max. virtual memory (cumulated for all children) (KiB): 12288 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.48 system time used= 0.598908 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3290 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= 36451 runsolver used 2.06469 second user time and 4.18636 second system time The end
Begin job on node5 on Sat Apr 14 15:25:16 UTC 2007 IDJOB= 350869 IDBENCH= 1603 IDSOLVER= 157 FILE ID= node5/350869-1176564315 PBS_JOBID= 4556768 Free space on /tmp= 66553 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-sp98ic.opb COMMAND LINE= /tmp/evaluation/350869-1176564315/PBS4 /tmp/evaluation/350869-1176564315/instance-350869-1176564315.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node5/convwatcher-350869-1176564315 -o ROOT/results/node5/conversion-350869-1176564315 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/350869-1176564315/instance-350869-1176564315.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-350869-1176564315 -o ROOT/results/node5/solver-350869-1176564315 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/350869-1176564315/PBS4 /tmp/evaluation/350869-1176564315/instance-350869-1176564315.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= c7b5febdd9943d6f5734f2bb85a2dc73 RANDOM SEED= 348230977 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node5.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.232 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.232 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: 1815832 kB Buffers: 30284 kB Cached: 101696 kB SwapCached: 144 kB Active: 88184 kB Inactive: 99804 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1815832 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4172 kB Writeback: 0 kB Mapped: 74808 kB Slab: 37716 kB Committed_AS: 4731080 kB PageTables: 1720 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66553 MiB End job on node5 on Sat Apr 14 15:55:19 UTC 2007