Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.12 | 1800.72 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mzzv11.opb |
MD5SUM | a74bcf40291587dc368e3a23fd278be9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -10639 |
Best CPU time to get the best result obtained on this benchmark | 1800.64 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -10639 |
Optimality of the best value was proved | NO |
Number of variables | 11247 |
Total number of constraints | 9744 |
Number of constraints which are clauses | 77 |
Number of constraints which are cardinality constraints (but not clauses) | 5755 |
Number of constraints which are nor clauses,nor cardinality constraints | 3912 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 68 |
Number of terms in the objective function | 773 |
Biggest coefficient in the objective function | 1000 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 76861 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 1999 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 76861 |
Number of bits of the biggest sum of numbers | 17 |
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/352026-1176620455/instance-352026-1176620455.opb ...... 7.28/7.32 c done parsing opb. 7.28/7.32 o 12434 7.49/7.55 o 11479 7.78/7.86 o 11474 9.57/9.62 o 11379 9.67/9.71 o 11374 11.27/11.34 o 11369 11.97/12.01 o 11302 12.26/12.34 o 11300 12.26/12.39 o 11299 12.36/12.44 o 11294 14.66/14.72 o 11291 15.46/15.55 o 11286 15.56/15.67 o 11282 16.46/16.55 o 11085 16.46/16.57 o 10400 23.54/23.64 o 10398 24.05/24.15 o 10396 57.68/57.88 o 10394 58.09/58.21 o 10391 64.26/64.49 o 10390 65.36/65.59 o 10388 66.66/66.80 o 10385 66.76/66.99 o 10384 66.86/67.09 o 10379 74.86/75.06 o 10376 77.36/77.53 o 10372 79.16/79.38 o 10371 80.06/80.27 o 10370 81.45/81.66 o 10368 83.15/83.33 o 10367 83.56/83.70 o 10363 86.26/86.49 o 10360 96.05/96.26 o 10358 96.15/96.37 o 10354 96.35/96.53 o 10350 96.45/96.62 o 10345 105.25/105.48 o 10343 115.35/115.54 o 10342 141.44/141.61 o 10340 141.84/142.02 o 10339 145.04/145.28 o 10336 147.25/147.49 o 10332 150.14/150.32 o 10331 155.14/155.30 o 10330 156.44/156.65 o 10326 157.33/157.53 o 10325 159.63/159.80 o 10324 161.54/161.78 o 10323 162.94/163.10 o 10320 165.43/165.69 o 10317 178.53/178.75 o 10314 183.33/183.54 o 10311 184.73/184.92 o 10309 185.52/185.78 o 10304 196.22/196.45 o 10301 198.33/198.57 o 10299 199.12/199.38 o 10297 200.83/201.04 o 10294 201.72/201.98 o 10291 205.62/205.85 o 10290 207.82/208.00 o 10289 209.72/209.93 o 10286 213.52/213.74 o 10284 213.82/214.09 o 10280 224.62/224.82 o 10279 226.42/226.63 o 10275 233.41/233.69 o 10271 233.92/234.11 o 10267 236.41/236.64 o 10266 246.01/246.24 o 10265 250.01/250.23 o 10263 258.21/258.41 o 10260 258.80/259.01 o 10258 258.80/259.07 o 10257 260.41/260.62 o 10255 267.31/267.58 o 10254 268.21/268.46 o 10250 272.91/273.19 o 10245 280.70/280.93 o 10243 282.00/282.23 o 10240 286.80/287.07 o 10237 294.30/294.54 o 10234 295.19/295.44 o 10233 298.39/298.69 o 10229 300.29/300.50 o 10225 306.09/306.33 o 10224 322.59/322.88 o 10223 328.99/329.22 o 10220 331.19/331.48 o 10219 335.19/335.41 o 10216 344.79/345.01 o 10214 344.98/345.27 o 10213 350.89/351.11 o 10210 354.98/355.27 o 10209 356.88/357.16 o 10205 357.68/357.93 o 10204 358.29/358.52 o 10200 359.68/359.98 o 10196 359.78/360.06 o 10195 360.48/360.77 o 10190 361.69/361.97 o 10187 362.38/362.60 o 10184 362.47/362.73 o 10180 362.69/362.91 o 10175 366.28/366.58 o 10172 368.67/368.96 o 10170 372.07/372.38 o 10166 372.68/372.95 o 10163 374.08/374.36 o 10160 375.88/376.11 o 10155 381.07/381.32 o 10150 381.48/381.79 o 10149 382.48/382.73 o 10148 386.27/386.54 o 10140 387.37/387.63 o 10137 390.07/390.37 o 10134 396.87/397.11 o 10130 400.87/401.19 o 10129 400.97/401.29 o 10125 402.57/402.89 o 10124 407.06/407.30 o 10122 411.47/411.72 o 10119 417.26/417.55 o 10115 418.46/418.75 o 10114 419.77/420.07 o 10110 436.96/437.24 o 10105 437.06/437.36 o 10100 441.15/441.48 o 10095 444.56/444.81 o 10094 445.26/445.58 o 10090 445.65/445.95 o 10086 449.36/449.63 o 10082 450.76/451.09 o 10079 453.85/454.12 o 10076 456.45/456.74 o 10074 456.85/457.19 o 10072 458.55/458.89 o 10071 459.75/460.05 o 10068 459.95/460.24 o 10066 460.86/461.18 o 10065 461.36/461.67 o 10061 461.66/461.99 o 10060 462.46/462.79 o 10055 463.25/463.57 o 10054 463.65/463.95 o 10052 464.35/464.60 o 10051 468.05/468.31 o 10049 468.15/468.50 o 10048 470.65/470.98 o 10044 471.45/471.76 o 10039 475.05/475.31 o 10035 482.25/482.54 o 10030 494.65/494.95 o 10025 495.34/495.69 o 10024 495.85/496.13 o 10021 496.35/496.65 o 10017 498.54/498.86 o 10013 504.14/504.48 o 10009 506.04/506.40 o 10005 506.44/506.78 o 10003 507.54/507.81 o 10000 512.73/513.06 o 9997 514.94/515.23 o 9993 516.84/517.19 o 9990 517.34/517.65 o 9986 524.64/524.99 o 9985 528.23/528.58 o 9983 532.14/532.44 o 9980 533.13/533.43 o 9975 537.54/537.86 o 9974 548.23/548.52 o 9970 563.63/563.91 o 9969 566.92/567.30 o 9965 567.32/567.62 o 9961 571.32/571.69 o 9960 576.12/576.45 o 9957 576.42/576.75 o 9955 576.42/576.79 o 9952 578.22/578.52 o 9949 578.82/579.18 o 9946 581.32/581.60 o 9945 582.62/582.94 o 9940 582.92/583.28 o 9935 583.12/583.40 o 9930 584.62/584.94 o 9925 584.72/585.01 o 9921 584.72/585.04 o 9918 584.72/585.08 o 9914 584.72/585.10 o 9913 584.82/585.12 o 9910 584.82/585.14 o 9909 586.42/586.78 o 9905 588.22/588.53 o 9903 589.22/589.52 o 9902 589.82/590.17 o 9899 592.42/592.71 o 9896 592.82/593.16 o 9895 593.22/593.52 o 9889 593.22/593.56 o 9888 593.42/593.79 o 9884 593.52/593.85 o 9879 593.52/593.89 o 9529 597.71/598.01 o 9525 606.11/606.45 o 9521 615.51/615.82 o 9520 615.62/615.91 o 9516 620.31/620.67 o 9511 645.90/646.21 o 9508 646.20/646.58 o 9507 648.60/648.97 o 9504 649.60/649.91 o 9502 651.60/651.91 o 9501 652.00/652.35 o 9499 652.30/652.65 o 9495 661.60/662.00 o 9494 665.50/665.88 o 9492 669.20/669.50 o 9491 678.09/678.40 o 9488 685.40/685.72 o 9486 689.29/689.66 o 9485 696.69/697.07 o 9480 697.39/697.71 o 9477 697.89/698.27 o 9474 699.79/700.12 o 9470 701.69/702.09 o 9467 704.79/705.18 o 9463 710.39/710.72 o 9459 713.89/714.23 o 9458 723.39/723.71 o 9457 729.88/730.21 o 9453 752.87/753.20 o 9450 759.27/759.68 o 9448 769.87/770.24 o 9447 772.07/772.40 o 9444 774.97/775.32 o 9443 787.17/787.56 o 9440 796.16/796.56 o 9436 796.26/796.67 o 9433 796.76/797.18 o 9430 797.26/797.63 o 9425 797.36/797.75 o 9420 797.46/797.83 o 9415 797.86/798.22 o 9414 798.56/798.91 o 9410 800.76/801.18 o 9409 801.06/801.43 o 9406 801.06/801.49 o 9405 801.16/801.51 o 9401 801.16/801.53 o 9399 801.16/801.56 o 9396 801.16/801.58 o 9393 801.26/801.60 o 9392 801.26/801.62 o 9391 801.26/801.65 o 9389 801.26/801.67 o 9386 801.26/801.69 o 9385 801.36/801.71 o 9384 801.36/801.73 o 9381 801.36/801.77 o 9377 801.36/801.79 o 9374 801.46/801.82 o 9373 801.46/801.84 o 9371 801.46/801.86 o 9368 801.46/801.88 o 9366 801.56/801.91 o 9364 801.56/801.93 o 9363 801.56/801.95 o 9360 801.56/801.97 o 9359 801.56/801.99 o 9355 801.66/802.02 o 9354 801.66/802.04 o 9350 801.66/802.06 o 9348 801.66/802.08 o 9347 801.76/802.11 o 9344 801.76/802.13 o 9342 801.76/802.15 o 9341 801.76/802.17 o 9339 801.76/802.20 o 9337 801.86/802.22 o 9336 801.86/802.24 o 9334 801.86/802.26 o 9333 801.86/802.28 o 9331 801.96/802.31 o 9330 801.96/802.33 o 9329 801.96/802.35 o 9328 801.96/802.37 o 9325 801.96/802.40 o 9324 802.06/802.42 o 9323 802.06/802.44 o 9322 802.06/802.46 o 9320 802.06/802.49 o 9316 802.16/802.51 o 9315 802.16/802.53 o 9311 802.16/802.55 o 9308 802.16/802.57 o 9307 802.26/802.60 o 9304 802.26/802.62 o 9303 802.26/802.64 o 9301 802.26/802.66 o 9297 818.56/818.97 o 9295 853.95/854.30 o 9291 856.95/857.31 o 9288 858.05/858.44 o 9284 861.34/861.75 o 9280 866.54/866.98 o 9279 868.94/869.33 o 9276 879.24/879.65 o 9274 885.64/886.00 o 9270 890.13/890.54 o 9268 890.13/890.59 o 9265 890.23/890.61 o 9264 890.33/890.79 o 9262 890.43/890.82 o 9259 890.93/891.37 o 9256 891.24/891.67 o 9252 891.44/891.88 o 9251 891.93/892.30 o 9248 893.53/893.93 o 9245 898.94/899.35 o 9241 901.53/901.92 o 9240 901.53/901.96 o 9237 901.53/901.98 o 9236 901.64/902.00 o 9233 901.64/902.03 o 9228 901.64/902.05 o 9225 901.64/902.07 o 9217 901.64/902.10 o 9167 901.73/902.12 o 9162 901.73/902.14 o 9152 902.03/902.41 o 9150 902.43/902.84 o 9147 908.83/909.27 o 9146 923.53/923.97 o 9145 923.63/924.02 o 8986 923.83/924.23 o 8983 923.83/924.27 o 8971 923.83/924.29 o 8966 923.93/924.31 o 8955 923.93/924.34 o 8950 923.93/924.36 o 8943 923.93/924.38 o 8937 924.03/924.40 o 8924 924.03/924.43 o 8916 924.03/924.45 o 8892 924.03/924.47 o 8888 924.12/924.50 o 8887 924.12/924.52 o 8882 924.12/924.54 o 8837 924.12/924.57 o 8819 924.12/924.59 o 8814 924.23/924.61 o 8811 924.23/924.64 o 8803 924.23/924.66 o 8792 924.23/924.68 o 8791 924.33/924.70 o 8788 924.33/924.73 o 8784 924.33/924.75 o 8781 924.33/924.77 o 8779 924.43/924.80 o 8778 924.43/924.89 o 8777 924.53/924.93 o 8756 924.53/924.95 o 8750 924.53/924.97 o 8744 924.63/925.00 o 8651 924.63/925.02 o 8530 924.63/925.04 o 8508 924.63/925.07 o 8505 924.63/925.09 o 8499 924.73/925.11 o 8496 924.73/925.13 o 8492 924.73/925.16 o 8491 924.73/925.18 o 8467 924.82/925.20 o 8463 924.82/925.23 o 8458 924.82/925.25 o 8443 924.82/925.27 o 8442 924.93/925.30 o 8437 924.93/925.32 o 8433 924.93/925.34 o 8429 924.93/925.37 o 8407 924.93/925.39 o 8404 925.03/925.41 o 8399 925.03/925.43 o 8394 925.03/925.46 o 8387 925.03/925.48 o 8373 925.13/925.50 o 8368 925.13/925.53 o 8344 925.13/925.55 o 8334 925.13/925.57 o 8320 925.23/925.60 o 8313 925.23/925.62 o 8304 925.23/925.64 o 8297 925.23/925.67 o 8293 925.23/925.69 o 8288 925.33/925.71 o 8198 925.33/925.73 o 8184 925.33/925.76 o 8181 925.33/925.78 o 8171 925.93/926.38 o 8170 1017.60/1018.07 o 8165 1023.40/1023.86 o 8163 1032.60/1033.07 o 8160 1056.49/1056.97 o 8155 1062.69/1063.11 o 8154 1108.18/1108.68 o 8149 1108.28/1108.77 o 8144 1108.87/1109.36 o 8139 1112.28/1112.79 o 8135 1113.88/1114.32 o 8133 1181.65/1182.14 o 8130 1214.95/1215.44 o 8127 1235.74/1236.25 o 8125 1248.05/1248.53 o 8121 1249.14/1249.65 o 8117 1252.84/1253.40 o 8115 1507.47/1508.07 o 8110 1507.67/1508.27 o 8108 1519.76/1520.37 o 8107 1522.46/1523.01 o 8105 1551.66/1552.20 o 8104 1608.04/1608.68 o 8101 1608.24/1608.81 o 8096 1610.74/1611.38 o 8095 1613.54/1614.19 o 8091 1624.04/1624.63 o 8086 1624.43/1625.03 o 8084 1624.84/1625.41 o 8079 1624.94/1625.56 o 8069 1625.74/1626.39 o 8064 1625.93/1626.50 o 8059 1625.93/1626.56 o 8058 1631.74/1632.40 o 8054 1636.03/1636.68 o 8049 1636.23/1636.89 o 8044 1637.63/1638.22 o 8040 1637.73/1638.32 o 8035 1639.03/1639.65 o 8030 1649.33/1649.92 o 8025 1651.23/1651.89 o 8020 1655.52/1656.15 o 8016 1660.63/1661.27 o 8014 1669.92/1670.55 o 8013 1692.72/1693.31 o 8010 1800.09/1800.71 s SATISFIABLE
ERROR: no interpretation found !
/tmp/evaluation/352026-1176620455/instance-352026-1176620455.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node14/watcher-352026-1176620455 -o ROOT/results/node14/solver-352026-1176620455 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/352026-1176620455/PBS4 /tmp/evaluation/352026-1176620455/instance-352026-1176620455.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.92 0.98 0.99 3/77 17109 /proc/meminfo: memFree=1692704/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=2840 CPUtime=0 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 494 0 0 0 0 0 0 0 18 0 1 0 109963281 2908160 476 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134801696 0 0 4096 0 0 0 0 17 1 0 0 /proc/17109/statm: 710 476 86 219 0 487 0 [startup+0.0214559 s] /proc/loadavg: 0.92 0.98 0.99 3/77 17109 /proc/meminfo: memFree=1692704/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=3148 CPUtime=0.01 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 574 0 0 0 1 0 0 0 18 0 1 0 109963281 3223552 556 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134593268 0 0 4096 0 0 0 0 17 1 0 0 /proc/17109/statm: 787 556 87 219 0 564 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 3148 [startup+0.101463 s] /proc/loadavg: 0.92 0.98 0.99 3/77 17109 /proc/meminfo: memFree=1692704/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=4808 CPUtime=0.09 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 1064 0 0 0 9 0 0 0 18 0 1 0 109963281 4923392 948 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134529780 0 0 4096 0 0 0 0 17 1 0 0 /proc/17109/statm: 1202 948 88 219 0 979 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4808 [startup+0.30148 s] /proc/loadavg: 0.92 0.98 0.99 3/77 17109 /proc/meminfo: memFree=1692704/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=5824 CPUtime=0.29 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 1361 0 0 0 29 0 0 0 19 0 1 0 109963281 5963776 1245 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134529775 0 0 4096 0 0 0 0 17 1 0 0 /proc/17109/statm: 1456 1245 88 219 0 1233 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5824 [startup+0.70152 s] /proc/loadavg: 0.92 0.98 0.99 3/77 17109 /proc/meminfo: memFree=1692704/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=8512 CPUtime=0.69 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 2106 0 0 0 67 2 0 0 23 0 1 0 109963281 8716288 1861 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17109/statm: 2128 1861 93 219 0 1905 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8512 [startup+1.50159 s] /proc/loadavg: 0.92 0.98 0.99 2/78 17110 /proc/meminfo: memFree=1685336/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=9096 CPUtime=1.49 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 2243 0 0 0 147 2 0 0 25 0 1 0 109963281 9314304 1998 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17109/statm: 2274 1998 93 219 0 2051 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9096 [startup+3.10175 s] /proc/loadavg: 0.92 0.98 0.99 2/78 17110 /proc/meminfo: memFree=1684504/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=10064 CPUtime=3.09 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 2460 0 0 0 305 4 0 0 25 0 1 0 109963281 10305536 2215 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17109/statm: 2516 2215 94 219 0 2293 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10064 [startup+6.30106 s] /proc/loadavg: 0.93 0.98 0.99 2/78 17110 /proc/meminfo: memFree=1683224/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=10980 CPUtime=6.29 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 2684 0 0 0 621 8 0 0 25 0 1 0 109963281 11243520 2439 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548021 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17109/statm: 2745 2439 94 219 0 2522 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10980 [startup+12.7017 s] /proc/loadavg: 0.93 0.98 0.99 2/84 17176 /proc/meminfo: memFree=1680032/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=13064 CPUtime=12.66 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 3156 0 0 0 1252 14 0 0 25 0 1 0 109963281 13377536 2862 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17109/statm: 3266 2862 104 219 0 3043 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 13064 [startup+25.5019 s] /proc/loadavg: 0.95 0.98 0.99 2/84 17218 /proc/meminfo: memFree=1678176/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=16260 CPUtime=25.43 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 3740 0 0 0 2517 26 0 0 25 0 1 0 109963281 16650240 3349 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17109/statm: 4065 3349 104 219 0 3842 0 Current children cumulated CPU time (s) 25.43 Current children cumulated vsize (KiB) 16260 [startup+51.1013 s] /proc/loadavg: 0.96 0.98 0.99 2/84 17280 /proc/meminfo: memFree=1676072/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=17704 CPUtime=50.99 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 4466 0 0 0 5053 46 0 0 25 0 1 0 109963281 18128896 3882 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17109/statm: 4426 3882 104 219 0 4203 0 Current children cumulated CPU time (s) 50.99 Current children cumulated vsize (KiB) 17704 [startup+102.306 s] /proc/loadavg: 1.02 1.00 1.00 2/78 17308 /proc/meminfo: memFree=1673376/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=22620 CPUtime=102.15 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 5409 0 0 0 10133 82 0 0 25 0 1 0 109963281 23162880 4825 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17109/statm: 5655 4825 104 219 0 5432 0 Current children cumulated CPU time (s) 102.15 Current children cumulated vsize (KiB) 22620 [startup+162.302 s] /proc/loadavg: 1.01 1.00 1.00 2/78 17308 /proc/meminfo: memFree=1669152/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=33316 CPUtime=162.13 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 6848 0 0 0 16093 120 0 0 25 0 1 0 109963281 34115584 5879 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17109/statm: 8329 5879 104 219 0 8106 0 Current children cumulated CPU time (s) 162.13 Current children cumulated vsize (KiB) 33316 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17308 /proc/meminfo: memFree=1666528/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=33908 CPUtime=222.12 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 7490 0 0 0 22055 157 0 0 25 0 1 0 109963281 34721792 6521 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548073 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17109/statm: 8477 6521 104 219 0 8254 0 Current children cumulated CPU time (s) 222.12 Current children cumulated vsize (KiB) 33908 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17308 /proc/meminfo: memFree=1664224/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=34596 CPUtime=282.1 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 8071 0 0 0 28017 193 0 0 25 0 1 0 109963281 35426304 7102 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17109/statm: 8649 7102 104 219 0 8426 0 Current children cumulated CPU time (s) 282.1 Current children cumulated vsize (KiB) 34596 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17308 /proc/meminfo: memFree=1661024/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=35056 CPUtime=342.08 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 8865 0 0 0 33984 224 0 0 25 0 1 0 109963281 35897344 7896 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548281 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17109/statm: 8764 7896 104 219 0 8541 0 Current children cumulated CPU time (s) 342.08 Current children cumulated vsize (KiB) 35056 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17308 /proc/meminfo: memFree=1658848/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=38724 CPUtime=402.07 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 10203 0 0 0 39951 256 0 0 25 0 1 0 109963281 39653376 8465 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547517 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17109/statm: 9681 8465 104 219 0 9458 0 Current children cumulated CPU time (s) 402.07 Current children cumulated vsize (KiB) 38724 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17308 /proc/meminfo: memFree=1654624/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=55528 CPUtime=462.05 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 11250 0 0 0 45922 283 0 0 25 0 1 0 109963281 56860672 9512 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17109/statm: 13882 9512 104 219 0 13659 0 Current children cumulated CPU time (s) 462.05 Current children cumulated vsize (KiB) 55528 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17308 /proc/meminfo: memFree=1653536/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=56064 CPUtime=522.03 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 11513 0 0 0 51893 310 0 0 25 0 1 0 109963281 57409536 9775 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17109/statm: 14016 9775 104 219 0 13793 0 Current children cumulated CPU time (s) 522.03 Current children cumulated vsize (KiB) 56064 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17308 /proc/meminfo: memFree=1651552/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=56416 CPUtime=582.02 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 12002 0 0 0 57864 338 0 0 25 0 1 0 109963281 57769984 10264 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17109/statm: 14104 10264 104 219 0 13881 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 56416 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17308 /proc/meminfo: memFree=1650336/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=56892 CPUtime=642 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 12319 0 0 0 63832 368 0 0 25 0 1 0 109963281 58257408 10581 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17109/statm: 14223 10581 104 219 0 14000 0 Current children cumulated CPU time (s) 642 Current children cumulated vsize (KiB) 56892 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17308 /proc/meminfo: memFree=1642336/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=58324 CPUtime=881.94 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 14312 0 0 0 87717 477 0 0 25 0 1 0 109963281 59723776 12574 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17109/statm: 14581 12574 104 219 0 14358 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 58324 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17308 /proc/meminfo: memFree=1639136/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=58852 CPUtime=941.92 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 15100 0 0 0 93688 504 0 0 25 0 1 0 109963281 60264448 13362 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17109/statm: 14713 13362 104 219 0 14490 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 58852 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17308 /proc/meminfo: memFree=1638560/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=59000 CPUtime=1001.91 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 15257 0 0 0 99668 523 0 0 25 0 1 0 109963281 60416000 13519 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17109/statm: 14750 13519 104 219 0 14527 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 59000 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17308 /proc/meminfo: memFree=1637984/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=59480 CPUtime=1061.88 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 15381 0 0 0 105642 546 0 0 25 0 1 0 109963281 60907520 13643 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17109/statm: 14870 13643 104 219 0 14647 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 59480 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17308 /proc/meminfo: memFree=1636640/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=65928 CPUtime=1121.87 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 17270 0 0 0 111616 571 0 0 25 0 1 0 109963281 67510272 13995 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548616 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17109/statm: 16482 13995 104 219 0 16259 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 65928 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17308 /proc/meminfo: memFree=1635616/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=66448 CPUtime=1181.85 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 17567 0 0 0 117590 595 0 0 25 0 1 0 109963281 68042752 14292 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17109/statm: 16612 14292 104 219 0 16389 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 66448 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17308 /proc/meminfo: memFree=1634080/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=66632 CPUtime=1241.84 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 17933 0 0 0 123567 617 0 0 25 0 1 0 109963281 68231168 14658 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134546825 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17109/statm: 16658 14658 104 219 0 16435 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 66632 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17308 /proc/meminfo: memFree=1630752/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=99712 CPUtime=1301.83 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 18748 0 0 0 129542 641 0 0 25 0 1 0 109963281 102105088 15473 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17109/statm: 24928 15473 104 219 0 24705 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 99712 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17308 /proc/meminfo: memFree=1629472/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=100180 CPUtime=1361.81 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 19088 0 0 0 135515 666 0 0 25 0 1 0 109963281 102584320 15813 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17109/statm: 25045 15813 104 219 0 24822 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 100180 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17308 /proc/meminfo: memFree=1628896/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=100420 CPUtime=1421.8 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 19225 0 0 0 141491 689 0 0 25 0 1 0 109963281 102830080 15950 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17109/statm: 25105 15950 104 219 0 24882 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 100420 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17308 /proc/meminfo: memFree=1625184/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=100648 CPUtime=1481.77 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 20158 0 0 0 147467 710 0 0 25 0 1 0 109963281 103063552 16883 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17109/statm: 25162 16883 104 219 0 24939 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 100648 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17308 /proc/meminfo: memFree=1623584/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=101220 CPUtime=1541.76 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 20535 0 0 0 153442 734 0 0 25 0 1 0 109963281 103649280 17260 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547115 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17109/statm: 25305 17260 104 219 0 25082 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 101220 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17308 /proc/meminfo: memFree=1620832/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=101464 CPUtime=1601.74 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 21227 0 0 0 159417 757 0 0 25 0 1 0 109963281 103899136 17952 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548021 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17109/statm: 25366 17952 104 219 0 25143 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 101464 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17308 /proc/meminfo: memFree=1620064/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=101900 CPUtime=1661.73 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 21413 0 0 0 165394 779 0 0 25 0 1 0 109963281 104345600 18138 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17109/statm: 25475 18138 104 219 0 25252 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 101900 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17308 /proc/meminfo: memFree=1619680/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=102072 CPUtime=1721.71 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 21526 0 0 0 171371 800 0 0 25 0 1 0 109963281 104521728 18251 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17109/statm: 25518 18251 104 219 0 25295 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 102072 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17308 /proc/meminfo: memFree=1619040/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=102304 CPUtime=1781.7 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 21678 0 0 0 177347 823 0 0 25 0 1 0 109963281 104759296 18403 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17109/statm: 25576 18403 104 219 0 25353 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 102304 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17308 /proc/meminfo: memFree=1618912/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=102304 CPUtime=1800.09 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 21701 0 0 0 179182 827 0 0 25 0 1 0 109963281 104759296 18426 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548056 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17109/statm: 25576 18426 104 219 0 25353 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 102304 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17308 /proc/meminfo: memFree=1618912/2055920 swapFree=4149088/4192956 [pid=17109] ppid=17107 vsize=102304 CPUtime=1800.09 /proc/17109/stat : 17109 (PBS4) R 17107 17109 16970 0 -1 4194304 21701 0 0 0 179182 827 0 0 25 0 1 0 109963281 104759296 18426 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548056 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17109/statm: 25576 18426 104 219 0 25353 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 102304 Child status: 0 Real time (s): 1800.72 CPU time (s): 1800.12 CPU user time (s): 1791.83 CPU system time (s): 8.29174 CPU usage (%): 99.9664 Max. virtual memory (cumulated for all children) (KiB): 102304 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.83 system time used= 8.29174 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21702 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= 36509 runsolver used 2.10868 second user time and 4.31234 second system time The end
Begin job on node14 on Sun Apr 15 07:00:55 UTC 2007 IDJOB= 352026 IDBENCH= 1875 IDSOLVER= 157 FILE ID= node14/352026-1176620455 PBS_JOBID= 4556844 Free space on /tmp= 66559 MiB SOLVER NAME= PBS4 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb COMMAND LINE= /tmp/evaluation/352026-1176620455/PBS4 /tmp/evaluation/352026-1176620455/instance-352026-1176620455.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node14/convwatcher-352026-1176620455 -o ROOT/results/node14/conversion-352026-1176620455 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/352026-1176620455/instance-352026-1176620455.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-352026-1176620455 -o ROOT/results/node14/solver-352026-1176620455 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/352026-1176620455/PBS4 /tmp/evaluation/352026-1176620455/instance-352026-1176620455.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= a74bcf40291587dc368e3a23fd278be9 RANDOM SEED= 152998915 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node14.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.227 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.227 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: 1693176 kB Buffers: 84424 kB Cached: 184716 kB SwapCached: 12176 kB Active: 85744 kB Inactive: 209776 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1693176 kB SwapTotal: 4192956 kB SwapFree: 4149088 kB Dirty: 2436 kB Writeback: 0 kB Mapped: 30372 kB Slab: 52772 kB Committed_AS: 6029012 kB PageTables: 1784 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= 66559 MiB End job on node14 on Sun Apr 15 07:30:58 UTC 2007