Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.02 | 1800.51 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-sp98ar.opb |
MD5SUM | d7af4e70b8b5243fa0953f7b849db937 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1290 |
Best CPU time to get the best result obtained on this benchmark | 1800.92 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1229 |
Optimality of the best value was proved | NO |
Number of variables | 15085 |
Total number of constraints | 1430 |
Number of constraints which are clauses | 181 |
Number of constraints which are cardinality constraints (but not clauses) | 837 |
Number of constraints which are nor clauses,nor cardinality constraints | 412 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 4222 |
Number of terms in the objective function | 15085 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 531850 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 128 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 531850 |
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/350830-1176557399/instance-350830-1176557399.opb ...... 9.39/9.44 c done parsing opb. 9.39/9.44 o 50589 13.49/13.51 o 50588 17.49/17.56 o 50583 21.58/21.63 o 50581 25.68/25.73 o 50580 29.78/29.83 o 50577 33.77/33.89 o 50572 37.87/37.94 o 50568 41.97/42.01 o 50566 46.08/46.10 o 50565 50.17/50.20 o 50564 54.17/54.25 o 50561 58.27/58.31 o 50560 62.26/62.37 o 50559 66.36/66.47 o 50557 70.47/70.56 o 50555 74.56/74.61 o 50554 78.56/78.67 o 50553 82.66/82.75 o 50552 86.76/86.84 o 50550 90.86/90.92 o 50549 94.86/94.98 o 50547 98.96/99.03 o 50544 103.06/103.11 o 50543 107.15/107.20 o 50541 111.15/111.28 o 50538 115.26/115.33 o 50537 119.25/119.39 o 50536 123.35/123.47 o 50534 127.45/127.56 o 50532 131.54/131.64 o 50530 135.55/135.70 o 50529 139.65/139.75 o 50528 143.74/143.84 o 50527 147.84/147.93 o 50525 151.94/152.00 o 50524 155.94/156.06 o 50522 160.04/160.11 o 50520 164.03/164.19 o 50518 168.15/168.28 o 50515 172.24/172.35 o 50512 176.34/176.41 o 50509 180.34/180.46 o 50508 184.43/184.55 o 50506 188.53/188.64 o 50505 192.63/192.71 o 50504 196.63/196.77 o 50502 200.73/200.82 o 50500 204.83/204.91 o 50498 208.93/209.05 o 50495 213.03/213.11 o 50493 217.02/217.16 o 50492 221.12/221.23 o 50490 225.22/225.32 o 50489 229.33/229.40 o 50486 233.32/233.46 o 50483 237.43/237.52 o 50481 241.42/241.58 o 50479 245.52/245.67 o 50478 249.62/249.76 o 50476 253.72/253.81 o 50475 257.71/257.87 o 50474 261.81/261.94 o 50471 265.91/266.02 o 50470 270.02/270.11 o 50468 274.01/274.17 o 50465 278.11/278.22 o 50464 282.11/282.28 o 50461 286.20/286.37 o 50459 290.31/290.46 o 50458 294.41/294.51 o 50457 298.41/298.56 o 50454 302.51/302.64 o 50452 306.61/306.72 o 50450 310.70/310.81 o 50449 314.70/314.86 o 50448 318.80/318.91 o 50447 322.79/322.99 o 50445 326.89/327.08 o 50443 331.00/331.16 o 50442 335.10/335.21 o 50441 339.10/339.27 o 50440 343.19/343.35 o 50439 347.29/347.43 o 50437 351.39/351.51 o 50436 355.39/355.56 o 50433 359.49/359.61 o 50432 363.59/363.70 o 50431 367.59/367.79 o 50428 371.69/371.86 o 50427 375.79/375.91 o 50426 379.78/379.96 o 50424 383.88/384.05 o 50423 387.98/388.13 o 50421 392.08/392.20 o 50420 396.08/396.25 o 50419 400.18/400.30 o 50417 404.18/404.39 o 50415 408.27/408.48 o 50414 412.38/412.55 o 50413 416.47/416.60 o 50411 420.47/420.65 o 50410 424.57/424.74 o 50409 428.67/428.82 o 50408 432.67/432.89 o 50406 436.77/436.94 o 50405 440.77/441.00 o 50403 444.86/445.09 o 50402 448.96/449.16 o 50401 453.06/453.21 o 50399 457.06/457.26 o 50398 461.16/461.32 o 50397 465.26/465.40 o 50395 469.26/469.48 o 50393 473.36/473.52 o 50392 477.36/477.56 o 50391 481.46/481.62 o 50390 485.55/485.70 o 50388 489.55/489.79 o 50387 493.65/493.86 o 50386 497.75/497.91 o 50385 501.75/501.97 o 50383 505.85/506.06 o 50382 509.95/510.13 o 50381 513.94/514.19 o 50380 518.04/518.25 o 50356 522.14/522.31 o 50343 526.24/526.40 o 50342 530.24/530.50 o 50341 534.35/534.55 o 50318 538.34/538.59 o 50316 542.44/542.65 o 50315 546.54/546.75 o 50313 550.64/550.83 o 50311 554.64/554.89 o 50308 558.73/558.93 o 50306 562.83/563.01 o 50303 566.83/567.10 o 50300 570.93/571.18 o 50299 575.03/575.23 o 50297 579.02/579.29 o 50294 583.12/583.36 o 50293 587.22/587.43 o 50290 591.33/591.51 o 50287 595.32/595.56 o 50285 599.42/599.61 o 50283 603.52/603.70 o 50282 607.52/607.79 o 50281 611.62/611.86 o 50279 615.72/615.91 o 50278 619.71/619.96 o 50277 623.82/624.05 o 50275 627.92/628.14 o 50274 632.01/632.21 o 50272 636.01/636.26 o 50271 640.11/640.32 o 50269 644.21/644.41 o 50267 648.31/648.50 o 50265 652.31/652.57 o 50263 656.41/656.62 o 50262 660.40/660.69 o 49727 664.50/664.78 o 49726 668.61/668.87 o 49723 672.71/672.94 o 49662 676.70/677.00 o 49534 680.80/681.06 o 49532 684.90/685.16 o 49531 688.99/689.25 o 49530 693.10/693.31 o 49529 697.10/697.37 o 49528 701.20/701.43 o 49527 705.29/705.53 o 49526 709.39/709.64 o 49525 713.49/713.70 o 49524 717.49/717.76 o 49523 721.59/721.83 o 49521 725.69/725.92 o 49520 729.79/730.02 o 49518 733.78/734.07 o 49517 737.88/738.13 o 49516 741.99/742.20 o 49515 746.08/746.30 o 49514 750.08/750.39 o 49512 754.18/754.44 o 49510 758.28/758.50 o 49508 762.28/762.58 o 49507 766.38/766.68 o 49505 770.47/770.77 o 49504 774.58/774.83 o 49503 778.58/778.89 o 49502 782.67/782.97 o 49501 786.77/787.07 o 49498 790.87/791.15 o 49497 794.97/795.21 o 49496 798.96/799.26 o 49495 803.07/803.35 o 49492 807.17/807.45 o 49491 811.27/811.54 o 49490 815.26/815.60 o 49489 819.36/819.65 o 49488 823.47/823.75 o 46644 827.56/827.86 o 46554 831.66/831.95 o 46553 835.76/836.02 o 46460 839.75/840.08 o 46459 843.85/844.17 o 46458 850.36/850.60 o 46457 854.36/854.66 o 46456 858.45/858.73 o 46454 862.45/862.79 o 46453 866.55/866.89 o 46452 870.65/870.99 o 46451 874.75/875.06 o 46449 878.85/879.13 o 46448 882.85/883.20 o 46447 887.05/887.31 o 46443 891.14/891.41 o 46440 895.15/895.47 o 46439 899.24/899.53 o 46438 903.34/903.60 o 46437 907.44/907.70 o 46436 911.44/911.79 o 46435 915.53/915.86 o 46433 919.63/919.93 o 46432 923.74/924.01 o 46431 927.83/928.11 o 46429 931.84/932.18 o 46427 935.93/936.24 o 46426 940.03/940.31 o 46423 944.13/944.40 o 46422 948.22/948.50 o 46421 952.23/952.56 o 46420 956.32/956.62 o 46418 960.32/960.69 o 46417 964.42/964.80 o 46415 968.53/968.89 o 46414 972.62/972.97 o 46413 976.72/977.03 o 46412 980.72/981.09 o 46411 984.91/985.20 o 44657 989.02/989.31 o 44321 993.02/993.37 o 44320 997.12/997.42 o 44319 1001.11/1001.48 o 44317 1005.21/1005.57 o 44316 1009.31/1009.66 o 44314 1013.41/1013.71 o 44313 1017.41/1017.76 o 44312 1021.51/1021.84 o 44310 1025.61/1025.93 o 44309 1029.71/1030.03 o 44308 1033.71/1034.08 o 44306 1037.80/1038.13 o 44305 1041.90/1042.20 o 44304 1050.00/1050.33 o 44302 1054.10/1054.43 o 39167 1058.20/1058.53 o 39166 1062.30/1062.63 o 39165 1066.40/1066.77 o 39164 1070.49/1070.89 o 39163 1074.60/1074.99 o 39162 1078.70/1079.09 o 39160 1082.89/1083.21 o 39159 1086.99/1087.34 o 39158 1091.09/1091.46 o 39157 1095.19/1095.55 o 39156 1099.28/1099.65 o 39155 1103.39/1103.76 o 39154 1107.59/1107.91 o 39151 1111.69/1112.02 o 39149 1115.78/1116.12 o 39148 1119.89/1120.22 o 39146 1123.98/1124.35 o 39145 1128.09/1128.49 o 39144 1132.28/1132.61 o 39143 1136.38/1136.71 o 39142 1140.48/1140.81 o 39141 1144.58/1144.93 o 39140 1148.68/1149.08 o 39138 1152.87/1153.21 o 39137 1156.97/1157.33 o 39135 1165.77/1166.12 o 39134 1169.86/1170.27 o 39133 1173.97/1174.39 o 39132 1178.17/1178.51 o 39131 1182.27/1182.64 o 39129 1186.47/1186.80 o 39128 1190.56/1190.94 o 39127 1194.67/1195.05 o 39126 1198.76/1199.15 o 39124 1202.86/1203.27 o 39123 1207.06/1207.42 o 39122 1211.16/1211.56 o 39120 1219.26/1219.69 o 39119 1223.45/1223.85 o 35815 1227.65/1228.05 o 35567 1231.85/1232.21 o 35566 1235.96/1236.36 o 35565 1240.15/1240.52 o 35405 1244.35/1244.73 o 35387 1252.55/1252.94 o 35386 1256.75/1257.12 o 32340 1260.94/1261.32 o 32339 1265.14/1265.56 o 32338 1269.44/1269.81 o 32337 1273.65/1274.03 o 32052 1277.84/1278.24 o 32051 1282.04/1282.44 o 32050 1286.24/1286.69 o 32049 1290.53/1290.92 o 32047 1294.74/1295.12 o 32046 1298.93/1299.33 o 32045 1303.13/1303.56 o 32044 1307.44/1307.86 o 32043 1311.73/1312.15 o 32042 1316.03/1316.42 o 32040 1324.52/1324.99 o 32039 1328.83/1329.24 o 32037 1337.12/1337.58 o 32036 1345.52/1345.98 o 32035 1349.82/1350.25 o 31231 1354.12/1354.52 o 30817 1358.31/1358.80 o 30816 1362.61/1363.10 o 30815 1367.02/1367.41 o 30605 1371.31/1371.71 o 30604 1375.51/1375.98 o 30503 1379.81/1380.25 o 30502 1384.11/1384.56 o 30501 1388.41/1388.87 o 30499 1392.71/1393.15 o 30498 1397.00/1397.41 o 30497 1401.20/1401.69 o 30495 1405.50/1405.99 o 30493 1409.80/1410.30 o 30492 1414.11/1414.56 o 30491 1418.40/1418.83 o 30490 1422.70/1423.12 o 30489 1427.00/1427.43 o 30487 1431.30/1431.72 o 30485 1435.50/1435.99 o 30483 1439.79/1440.26 o 30482 1444.09/1444.57 o 30479 1448.39/1448.87 o 30478 1452.70/1453.15 o 30476 1456.99/1457.41 o 30474 1461.19/1461.69 o 30472 1465.49/1465.99 o 30471 1469.79/1470.30 o 30470 1483.29/1483.70 o 30468 1487.68/1488.11 o 30467 1492.08/1492.50 o 30466 1500.68/1501.10 o 30465 1509.58/1510.03 o 30464 1513.77/1514.28 o 30463 1518.08/1518.56 o 30462 1522.37/1522.86 o 30461 1526.67/1527.17 o 30460 1530.97/1531.48 o 30458 1535.26/1535.76 o 30457 1539.57/1540.04 o 30456 1543.77/1544.29 o 30455 1548.16/1548.62 o 30454 1552.46/1552.92 o 30452 1556.66/1557.19 o 30451 1560.96/1561.48 o 30449 1565.26/1565.79 o 30447 1569.66/1570.10 o 30446 1573.85/1574.38 o 30445 1578.16/1578.67 o 30444 1582.46/1582.97 o 30443 1586.76/1587.28 o 30441 1591.05/1591.59 o 30440 1595.36/1595.86 o 30439 1599.65/1600.13 o 30438 1603.95/1604.45 o 30436 1608.25/1608.76 o 30434 1612.55/1613.06 o 30433 1616.84/1617.33 o 30432 1621.15/1621.61 o 30431 1625.44/1625.93 o 30430 1629.74/1630.24 o 30428 1634.05/1634.51 o 30426 1638.34/1638.82 o 30425 1642.64/1643.14 o 30424 1646.93/1647.49 o 30423 1651.34/1651.84 o 30421 1655.63/1656.16 o 30420 1659.94/1660.46 o 30418 1664.33/1664.80 o 30417 1668.63/1669.14 o 30416 1672.93/1673.46 o 30415 1677.23/1677.77 o 30414 1681.53/1682.08 o 30413 1685.93/1686.44 o 30412 1690.23/1690.78 o 30410 1694.53/1695.07 o 30409 1698.83/1699.38 o 30408 1703.22/1703.71 o 30407 1707.52/1708.06 o 30406 1711.82/1712.39 o 30405 1716.22/1716.70 o 30404 1720.52/1721.02 o 30403 1724.82/1725.38 o 30402 1729.21/1729.73 o 30400 1733.51/1734.05 o 30398 1737.81/1738.37 o 30397 1742.21/1742.70 o 30396 1751.51/1752.08 o 30395 1755.91/1756.42 o 30394 1760.11/1760.69 o 30392 1764.50/1765.02 o 30391 1768.80/1769.34 o 30390 1773.10/1773.63 o 30389 1781.60/1782.11 o 30388 1785.80/1786.39 o 30387 1790.20/1790.72 o 30385 1794.50/1795.05 o 30383 1798.80/1799.39 o 30382 1800.00/1800.50 s SATISFIABLE
ERROR: no interpretation found !
/tmp/evaluation/350830-1176557399/instance-350830-1176557399.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node19/watcher-350830-1176557399 -o ROOT/results/node19/solver-350830-1176557399 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/350830-1176557399/PBS4 /tmp/evaluation/350830-1176557399/instance-350830-1176557399.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: 1.00 1.00 1.00 3/77 31839 /proc/meminfo: memFree=1736832/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=2872 CPUtime=0 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 501 0 0 0 0 0 0 0 18 0 1 0 103657346 2940928 483 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0 /proc/31839/statm: 718 484 81 219 0 495 0 [startup+0.054441 s] /proc/loadavg: 1.00 1.00 1.00 3/77 31839 /proc/meminfo: memFree=1736832/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=4100 CPUtime=0.05 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 796 0 0 0 5 0 0 0 18 0 1 0 103657346 4198400 778 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134784767 0 0 4096 0 0 0 0 17 1 0 0 /proc/31839/statm: 1025 778 86 219 0 802 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 4100 [startup+0.101446 s] /proc/loadavg: 1.00 1.00 1.00 3/77 31839 /proc/meminfo: memFree=1736832/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=4252 CPUtime=0.09 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 850 0 0 0 9 0 0 0 18 0 1 0 103657346 4354048 832 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134588395 0 0 4096 0 0 0 0 17 1 0 0 /proc/31839/statm: 1063 832 87 219 0 840 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4252 [startup+0.301468 s] /proc/loadavg: 1.00 1.00 1.00 3/77 31839 /proc/meminfo: memFree=1736832/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=4252 CPUtime=0.29 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 850 0 0 0 29 0 0 0 19 0 1 0 103657346 4354048 832 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134588293 0 0 4096 0 0 0 0 17 1 0 0 /proc/31839/statm: 1063 832 87 219 0 840 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4252 [startup+0.701511 s] /proc/loadavg: 1.00 1.00 1.00 3/77 31839 /proc/meminfo: memFree=1736832/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=4488 CPUtime=0.69 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 909 0 0 0 69 0 0 0 22 0 1 0 103657346 4595712 891 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134588993 0 0 4096 0 0 0 0 17 1 0 0 /proc/31839/statm: 1122 891 87 219 0 899 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4488 [startup+1.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31840 /proc/meminfo: memFree=1733496/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=5352 CPUtime=1.49 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 1720 0 0 0 149 0 0 0 25 0 1 0 103657346 5480448 1112 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135057389 0 0 4096 0 0 0 0 17 1 0 0 /proc/31839/statm: 1338 1112 88 219 0 1115 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5352 [startup+3.10177 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31840 /proc/meminfo: memFree=1731640/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=8884 CPUtime=3.09 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 2661 0 0 0 308 1 0 0 25 0 1 0 103657346 9097216 1994 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134588380 0 0 4096 0 0 0 0 17 1 0 0 /proc/31839/statm: 2221 1994 88 219 0 1998 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8884 [startup+6.30112 s] /proc/loadavg: 1.08 1.02 1.01 2/78 31840 /proc/meminfo: memFree=1724920/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=18664 CPUtime=6.29 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 5234 0 0 0 627 2 0 0 25 0 1 0 103657346 19111936 4478 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31839/statm: 4666 4478 93 219 0 4443 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18664 [startup+12.7018 s] /proc/loadavg: 1.07 1.02 1.00 2/78 31840 /proc/meminfo: memFree=1718712/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=18664 CPUtime=12.69 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 5245 0 0 0 1267 2 0 0 25 0 1 0 103657346 19111936 4489 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31839/statm: 4666 4489 103 219 0 4443 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18664 [startup+25.5012 s] /proc/loadavg: 1.06 1.01 1.00 2/78 31840 /proc/meminfo: memFree=1718840/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=18664 CPUtime=25.48 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 5245 0 0 0 2546 2 0 0 25 0 1 0 103657346 19111936 4489 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31839/statm: 4666 4489 103 219 0 4443 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18664 [startup+51.102 s] /proc/loadavg: 1.04 1.01 1.00 2/78 31840 /proc/meminfo: memFree=1718968/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=18664 CPUtime=51.07 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 5245 0 0 0 5104 3 0 0 25 0 1 0 103657346 19111936 4489 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31839/statm: 4666 4489 103 219 0 4443 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 18664 [startup+102.306 s] /proc/loadavg: 1.01 1.01 1.00 2/78 31840 /proc/meminfo: memFree=1719032/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=18664 CPUtime=102.26 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 5245 0 0 0 10221 5 0 0 25 0 1 0 103657346 19111936 4489 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31839/statm: 4666 4489 103 219 0 4443 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 18664 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31840 /proc/meminfo: memFree=1719096/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=18664 CPUtime=162.24 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 5245 0 0 0 16217 7 0 0 25 0 1 0 103657346 19111936 4489 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31839/statm: 4666 4489 103 219 0 4443 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 18664 [startup+222.302 s] /proc/loadavg: 1.04 1.01 1.00 2/78 31840 /proc/meminfo: memFree=1719096/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=18664 CPUtime=222.22 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 5245 0 0 0 22213 9 0 0 25 0 1 0 103657346 19111936 4489 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31839/statm: 4666 4489 103 219 0 4443 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 18664 [startup+282.301 s] /proc/loadavg: 1.05 1.02 1.00 2/78 31840 /proc/meminfo: memFree=1719096/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=18664 CPUtime=282.21 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 5245 0 0 0 28209 12 0 0 25 0 1 0 103657346 19111936 4489 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548511 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31839/statm: 4666 4489 103 219 0 4443 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 18664 [startup+342.302 s] /proc/loadavg: 1.05 1.03 1.00 2/78 31840 /proc/meminfo: memFree=1719032/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=18664 CPUtime=342.19 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 5245 0 0 0 34205 14 0 0 25 0 1 0 103657346 19111936 4489 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31839/statm: 4666 4489 103 219 0 4443 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 18664 [startup+402.301 s] /proc/loadavg: 1.13 1.05 1.01 2/78 31840 /proc/meminfo: memFree=1719032/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=18664 CPUtime=402.18 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 5245 0 0 0 40202 16 0 0 25 0 1 0 103657346 19111936 4489 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548056 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31839/statm: 4666 4489 103 219 0 4443 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 18664 [startup+462.302 s] /proc/loadavg: 1.12 1.06 1.00 2/78 31842 /proc/meminfo: memFree=1718904/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=18664 CPUtime=462.16 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 5245 0 0 0 46198 18 0 0 25 0 1 0 103657346 19111936 4489 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31839/statm: 4666 4489 103 219 0 4443 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 18664 [startup+522.301 s] /proc/loadavg: 1.11 1.06 1.00 2/78 31842 /proc/meminfo: memFree=1718904/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=18664 CPUtime=522.14 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 5250 0 0 0 52194 20 0 0 25 0 1 0 103657346 19111936 4494 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31839/statm: 4666 4494 103 219 0 4443 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 18664 [startup+582.302 s] /proc/loadavg: 1.10 1.06 1.00 2/78 31842 /proc/meminfo: memFree=1718968/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=18664 CPUtime=582.12 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 5252 0 0 0 58190 22 0 0 25 0 1 0 103657346 19111936 4496 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31839/statm: 4666 4496 103 219 0 4443 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 18664 [startup+642.301 s] /proc/loadavg: 1.09 1.06 1.00 2/78 31842 /proc/meminfo: memFree=1719032/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=18664 CPUtime=642.11 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 5252 0 0 0 64187 24 0 0 25 0 1 0 103657346 19111936 4496 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31839/statm: 4666 4496 103 219 0 4443 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 18664 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.03 1.00 2/78 31842 /proc/meminfo: memFree=1718904/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=18664 CPUtime=882.05 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 5255 0 0 0 88171 34 0 0 25 0 1 0 103657346 19111936 4499 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31839/statm: 4666 4499 103 219 0 4443 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 18664 [startup+942.302 s] /proc/loadavg: 1.00 1.02 1.00 2/78 31842 /proc/meminfo: memFree=1718968/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=18664 CPUtime=942.03 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 5255 0 0 0 94167 36 0 0 25 0 1 0 103657346 19111936 4499 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31839/statm: 4666 4499 103 219 0 4443 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 18664 [startup+1002.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 31842 /proc/meminfo: memFree=1718968/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=18664 CPUtime=1002.01 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 5255 0 0 0 100162 39 0 0 25 0 1 0 103657346 19111936 4499 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548066 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31839/statm: 4666 4499 103 219 0 4443 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 18664 [startup+1062.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 31842 /proc/meminfo: memFree=1718968/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=18920 CPUtime=1062 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 5258 0 0 0 106158 42 0 0 25 0 1 0 103657346 19374080 4502 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548056 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31839/statm: 4730 4502 104 219 0 4507 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 18920 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 3/78 31842 /proc/meminfo: memFree=1718968/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=18920 CPUtime=1121.98 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 5258 0 0 0 112152 46 0 0 25 0 1 0 103657346 19374080 4502 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31839/statm: 4730 4502 104 219 0 4507 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 18920 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31842 /proc/meminfo: memFree=1718968/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=18920 CPUtime=1181.97 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 5262 0 0 0 118148 49 0 0 25 0 1 0 103657346 19374080 4506 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31839/statm: 4730 4506 104 219 0 4507 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 18920 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31842 /proc/meminfo: memFree=1718968/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=18920 CPUtime=1241.95 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 5264 0 0 0 124143 52 0 0 25 0 1 0 103657346 19374080 4508 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548082 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31839/statm: 4730 4508 104 219 0 4507 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 18920 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31842 /proc/meminfo: memFree=1718904/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=18920 CPUtime=1301.93 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 5265 0 0 0 130136 57 0 0 25 0 1 0 103657346 19374080 4509 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31839/statm: 4730 4509 104 219 0 4507 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 18920 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31842 /proc/meminfo: memFree=1718840/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=18920 CPUtime=1361.91 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 5271 0 0 0 136130 61 0 0 25 0 1 0 103657346 19374080 4515 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31839/statm: 4730 4515 104 219 0 4507 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 18920 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31842 /proc/meminfo: memFree=1718968/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=18920 CPUtime=1421.91 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 5271 0 0 0 142122 69 0 0 25 0 1 0 103657346 19374080 4515 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31839/statm: 4730 4515 104 219 0 4507 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 18920 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31842 /proc/meminfo: memFree=1718968/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=18920 CPUtime=1481.89 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 5274 0 0 0 148114 75 0 0 25 0 1 0 103657346 19374080 4518 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31839/statm: 4730 4518 104 219 0 4507 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 18920 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31842 /proc/meminfo: memFree=1718904/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=18920 CPUtime=1541.87 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 5279 0 0 0 154107 80 0 0 25 0 1 0 103657346 19374080 4523 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31839/statm: 4730 4523 104 219 0 4507 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 18920 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31842 /proc/meminfo: memFree=1718904/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=18920 CPUtime=1601.85 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 5279 0 0 0 160100 85 0 0 25 0 1 0 103657346 19374080 4523 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31839/statm: 4730 4523 104 219 0 4507 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 18920 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31842 /proc/meminfo: memFree=1718904/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=18920 CPUtime=1661.83 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 5279 0 0 0 166093 90 0 0 25 0 1 0 103657346 19374080 4523 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548041 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31839/statm: 4730 4523 104 219 0 4507 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 18920 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31842 /proc/meminfo: memFree=1718904/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=18920 CPUtime=1721.82 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 5279 0 0 0 172087 95 0 0 25 0 1 0 103657346 19374080 4523 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548021 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31839/statm: 4730 4523 104 219 0 4507 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 18920 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31842 /proc/meminfo: memFree=1718840/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=18920 CPUtime=1781.8 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 5288 0 0 0 178080 100 0 0 25 0 1 0 103657346 19374080 4532 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31839/statm: 4730 4532 104 219 0 4507 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 18920 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31842 /proc/meminfo: memFree=1718840/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=18920 CPUtime=1800 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 5288 0 0 0 179898 102 0 0 25 0 1 0 103657346 19374080 4532 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31839/statm: 4730 4532 104 219 0 4507 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 18920 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31842 /proc/meminfo: memFree=1718840/2055920 swapFree=4159528/4192956 [pid=31839] ppid=31837 vsize=18920 CPUtime=1800 /proc/31839/stat : 31839 (PBS4) R 31837 31839 30903 0 -1 4194304 5288 0 0 0 179898 102 0 0 25 0 1 0 103657346 19374080 4532 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31839/statm: 4730 4532 104 219 0 4507 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 18920 Child status: 0 Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1798.99 CPU system time (s): 1.02784 CPU usage (%): 99.9725 Max. virtual memory (cumulated for all children) (KiB): 18920 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.99 system time used= 1.02784 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5289 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= 2320 runsolver used 2.25666 second user time and 4.25535 second system time The end
Begin job on node19 on Sat Apr 14 13:30:00 UTC 2007 IDJOB= 350830 IDBENCH= 1597 IDSOLVER= 157 FILE ID= node19/350830-1176557399 PBS_JOBID= 4556746 Free space on /tmp= 66540 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-sp98ar.opb COMMAND LINE= /tmp/evaluation/350830-1176557399/PBS4 /tmp/evaluation/350830-1176557399/instance-350830-1176557399.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node19/convwatcher-350830-1176557399 -o ROOT/results/node19/conversion-350830-1176557399 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/350830-1176557399/instance-350830-1176557399.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-350830-1176557399 -o ROOT/results/node19/solver-350830-1176557399 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/350830-1176557399/PBS4 /tmp/evaluation/350830-1176557399/instance-350830-1176557399.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= d7af4e70b8b5243fa0953f7b849db937 RANDOM SEED= 894003815 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node19.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1737176 kB Buffers: 36060 kB Cached: 202632 kB SwapCached: 2640 kB Active: 106604 kB Inactive: 157424 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1737176 kB SwapTotal: 4192956 kB SwapFree: 4159528 kB Dirty: 5292 kB Writeback: 0 kB Mapped: 32796 kB Slab: 40208 kB Committed_AS: 2750748 kB PageTables: 1792 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= 66540 MiB End job on node19 on Sat Apr 14 14:00:02 UTC 2007