Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.35 | 1800.82 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-swath.opb |
MD5SUM | 3553224658521cb15e26e6f30dd8f5c2 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 9155 |
Total number of constraints | 884 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 423 |
Number of constraints which are nor clauses,nor cardinality constraints | 461 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 6754 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 16777216000000 |
Number of bits of the biggest number in a constraint | 44 |
Biggest sum of numbers in a constraint | 66042304016951 |
Number of bits of the biggest sum of numbers | 46 |
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 This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.29/0.39 c ...done 0.29/0.39 c #vars=9155 #constraints=1389 hasObjective=yes 0.39/0.44 c res. mode=mod 0.39/0.44 c VSIDS like heuristics 0.39/0.44 c complete search running 3.39/3.40 c restart after 401 decisions 3.99/4.01 c nbDecision=500 #constraints=1506 5.89/5.93 c restart after 801 decisions 8.09/8.12 c nbDecision=1000 #constraints=1601 27.98/28.00 c nbDecision=1500 #constraints=1723 28.78/28.82 c restart after 1601 decisions 44.98/45.03 c nbDecision=2000 #constraints=1810 47.78/47.87 c nbDecision=2500 #constraints=1826 49.58/49.62 c nbDecision=3000 #constraints=1842 65.18/65.26 c restart after 3201 decisions 75.78/75.83 c nbDecision=3500 #constraints=1972 78.57/78.65 c nbDecision=4000 #constraints=1988 79.87/79.95 c nbDecision=4500 #constraints=2004 99.97/100.01 c nbDecision=5000 #constraints=2113 102.76/102.86 c nbDecision=5500 #constraints=2130 104.06/104.10 c nbDecision=6000 #constraints=2146 117.26/117.39 c restart after 6401 decisions 127.46/127.58 c nbDecision=6500 #constraints=2274 132.26/132.35 c nbDecision=7000 #constraints=2306 146.05/146.13 c nbDecision=7500 #constraints=2377 148.46/148.59 c nbDecision=8000 #constraints=2394 159.85/159.93 c nbDecision=8500 #constraints=2452 162.75/162.85 c nbDecision=9000 #constraints=2469 164.45/164.53 c nbDecision=9500 #constraints=2485 180.15/180.25 c nbDecision=10000 #constraints=2572 183.24/183.35 c nbDecision=10500 #constraints=2589 184.84/184.97 c nbDecision=11000 #constraints=2605 196.74/196.82 c nbDecision=11500 #constraints=2660 199.53/199.62 c nbDecision=12000 #constraints=2676 200.94/201.00 c nbDecision=12500 #constraints=2693 210.94/211.08 c restart after 12801 decisions 230.53/230.69 c nbDecision=13000 #constraints=2831 233.43/233.58 c nbDecision=13500 #constraints=2847 235.43/235.56 c nbDecision=14000 #constraints=2863 248.53/248.67 c nbDecision=14500 #constraints=2931 251.53/251.62 c nbDecision=15000 #constraints=2948 252.83/252.98 c nbDecision=15500 #constraints=2965 264.72/264.80 c nbDecision=16000 #constraints=3020 267.32/267.49 c nbDecision=16500 #constraints=3037 268.42/268.51 c nbDecision=17000 #constraints=3054 281.42/281.60 c nbDecision=17500 #constraints=3110 283.92/284.05 c nbDecision=18000 #constraints=3126 294.12/294.28 c nbDecision=18500 #constraints=3179 297.41/297.51 c nbDecision=19000 #constraints=3195 299.21/299.36 c nbDecision=19500 #constraints=3211 310.11/310.24 c nbDecision=20000 #constraints=3264 313.11/313.21 c nbDecision=20500 #constraints=3280 314.81/314.92 c nbDecision=21000 #constraints=3297 326.41/326.50 c nbDecision=21500 #constraints=3349 329.21/329.35 c nbDecision=22000 #constraints=3366 337.60/337.72 c nbDecision=22500 #constraints=3406 342.60/342.75 c nbDecision=23000 #constraints=3433 345.00/345.19 c nbDecision=23500 #constraints=3449 355.10/355.30 c nbDecision=24000 #constraints=3499 358.40/358.59 c nbDecision=24500 #constraints=3515 360.30/360.42 c nbDecision=25000 #constraints=3532 370.69/370.85 c nbDecision=25500 #constraints=3581 371.49/371.68 c restart after 25601 decisions 403.59/403.73 c nbDecision=26000 #constraints=3706 406.79/406.99 c nbDecision=26500 #constraints=3722 408.58/408.75 c nbDecision=27000 #constraints=3738 422.38/422.59 c nbDecision=27500 #constraints=3793 425.68/425.87 c nbDecision=28000 #constraints=3809 427.48/427.61 c nbDecision=28500 #constraints=3825 442.68/442.88 c nbDecision=29000 #constraints=3882 445.87/446.01 c nbDecision=29500 #constraints=3898 447.58/447.78 c nbDecision=30000 #constraints=3915 463.17/463.38 c nbDecision=30500 #constraints=3972 466.37/466.57 c nbDecision=31000 #constraints=3989 481.26/481.49 c nbDecision=31500 #constraints=4057 485.47/485.65 c nbDecision=32000 #constraints=4073 488.36/488.53 c nbDecision=32500 #constraints=4089 500.76/500.93 c nbDecision=33000 #constraints=4140 504.76/504.95 c nbDecision=33500 #constraints=4156 507.36/507.57 c nbDecision=34000 #constraints=4172 519.86/520.00 c nbDecision=34500 #constraints=4223 524.05/524.23 c nbDecision=35000 #constraints=4240 526.25/526.50 c nbDecision=35500 #constraints=4256 539.95/540.10 c nbDecision=36000 #constraints=4308 543.15/543.39 c nbDecision=36500 #constraints=4324 544.95/545.16 c nbDecision=37000 #constraints=4340 558.74/558.92 c nbDecision=37500 #constraints=4388 562.34/562.50 c nbDecision=38000 #constraints=4404 564.14/564.31 c nbDecision=38500 #constraints=4420 577.35/577.54 c nbDecision=39000 #constraints=4467 580.54/580.80 c nbDecision=39500 #constraints=4484 591.73/591.90 c nbDecision=40000 #constraints=4532 595.94/596.13 c nbDecision=40500 #constraints=4548 598.63/598.84 c nbDecision=41000 #constraints=4564 610.23/610.48 c nbDecision=41500 #constraints=4612 614.83/615.04 c nbDecision=42000 #constraints=4628 617.43/617.61 c nbDecision=42500 #constraints=4644 627.42/627.65 c nbDecision=43000 #constraints=4688 630.93/631.14 c nbDecision=43500 #constraints=4704 632.23/632.50 c nbDecision=44000 #constraints=4720 644.23/644.40 c nbDecision=44500 #constraints=4764 647.92/648.16 c nbDecision=45000 #constraints=4780 654.92/655.15 c nbDecision=45500 #constraints=4810 662.02/662.26 c nbDecision=46000 #constraints=4840 665.11/665.34 c nbDecision=46500 #constraints=4856 674.51/674.79 c nbDecision=47000 #constraints=4899 679.11/679.36 c nbDecision=47500 #constraints=4915 681.82/682.00 c nbDecision=48000 #constraints=4931 691.90/692.11 c nbDecision=48500 #constraints=4974 696.41/696.63 c nbDecision=49000 #constraints=4990 698.81/699.07 c nbDecision=49500 #constraints=5007 708.41/708.66 c nbDecision=50000 #constraints=5048 711.50/711.71 c nbDecision=50500 #constraints=5064 718.31/718.52 c nbDecision=51000 #constraints=5099 720.70/720.90 c restart after 51201 decisions 766.99/767.20 c nbDecision=51500 #constraints=5232 770.79/771.04 c nbDecision=52000 #constraints=5249 772.58/772.83 c nbDecision=52500 #constraints=5265 788.68/788.97 c nbDecision=53000 #constraints=5321 792.28/792.54 c nbDecision=53500 #constraints=5337 793.98/794.22 c nbDecision=54000 #constraints=5355 811.58/811.89 c nbDecision=54500 #constraints=5410 815.28/815.51 c nbDecision=55000 #constraints=5427 830.87/831.16 c nbDecision=55500 #constraints=5483 835.48/835.76 c nbDecision=56000 #constraints=5500 838.07/838.38 c nbDecision=56500 #constraints=5516 853.07/853.39 c nbDecision=57000 #constraints=5569 857.67/857.92 c nbDecision=57500 #constraints=5585 859.87/860.13 c nbDecision=58000 #constraints=5602 875.37/875.67 c nbDecision=58500 #constraints=5654 879.06/879.34 c nbDecision=59000 #constraints=5670 880.66/880.93 c nbDecision=59500 #constraints=5687 897.66/897.91 c nbDecision=60000 #constraints=5739 901.36/901.62 c nbDecision=60500 #constraints=5756 915.35/915.68 c nbDecision=61000 #constraints=5808 920.25/920.59 c nbDecision=61500 #constraints=5824 923.15/923.40 c nbDecision=62000 #constraints=5841 936.85/937.13 c nbDecision=62500 #constraints=5889 941.74/942.01 c nbDecision=63000 #constraints=5906 943.74/944.00 c nbDecision=63500 #constraints=5922 958.74/959.00 c nbDecision=64000 #constraints=5971 962.84/963.15 c nbDecision=64500 #constraints=5987 964.64/964.99 c nbDecision=65000 #constraints=6004 980.94/981.22 c nbDecision=65500 #constraints=6052 984.43/984.79 c nbDecision=66000 #constraints=6069 997.03/997.36 c nbDecision=66500 #constraints=6117 1002.13/1002.49 c nbDecision=67000 #constraints=6133 1004.83/1005.14 c nbDecision=67500 #constraints=6150 1017.73/1018.04 c nbDecision=68000 #constraints=6195 1022.63/1022.96 c nbDecision=68500 #constraints=6211 1024.83/1025.11 c nbDecision=69000 #constraints=6227 1037.02/1037.35 c nbDecision=69500 #constraints=6272 1039.92/1040.26 c nbDecision=70000 #constraints=6288 1051.82/1052.17 c nbDecision=70500 #constraints=6332 1056.92/1057.26 c nbDecision=71000 #constraints=6349 1058.81/1059.13 c nbDecision=71500 #constraints=6365 1070.91/1071.23 c nbDecision=72000 #constraints=6407 1074.41/1074.74 c nbDecision=72500 #constraints=6424 1084.21/1084.52 c nbDecision=73000 #constraints=6467 1089.51/1089.88 c nbDecision=73500 #constraints=6483 1092.50/1092.84 c nbDecision=74000 #constraints=6500 1102.30/1102.65 c nbDecision=74500 #constraints=6541 1107.50/1107.80 c nbDecision=75000 #constraints=6558 1109.10/1109.45 c nbDecision=75500 #constraints=6575 1121.49/1121.84 c nbDecision=76000 #constraints=6617 1125.80/1126.16 c nbDecision=76500 #constraints=6633 1127.39/1127.75 c nbDecision=77000 #constraints=6649 1138.69/1139.04 c nbDecision=77500 #constraints=6687 1141.90/1142.23 c nbDecision=78000 #constraints=6704 1150.19/1150.52 c nbDecision=78500 #constraints=6745 1154.79/1155.17 c nbDecision=79000 #constraints=6761 1162.29/1162.64 c nbDecision=79500 #constraints=6799 1166.99/1167.35 c nbDecision=80000 #constraints=6815 1173.58/1173.99 c nbDecision=80500 #constraints=6850 1178.49/1178.81 c nbDecision=81000 #constraints=6867 1186.08/1186.45 c nbDecision=81500 #constraints=6903 1190.68/1191.04 c nbDecision=82000 #constraints=6919 1192.47/1192.85 c nbDecision=82500 #constraints=6936 1202.98/1203.37 c nbDecision=83000 #constraints=6971 1206.28/1206.65 c nbDecision=83500 #constraints=6988 1212.27/1212.69 c nbDecision=84000 #constraints=7021 1217.97/1218.37 c nbDecision=84500 #constraints=7038 1219.88/1220.20 c nbDecision=85000 #constraints=7055 1227.57/1227.94 c nbDecision=85500 #constraints=7088 1231.67/1232.07 c nbDecision=86000 #constraints=7104 1232.86/1233.22 c nbDecision=86500 #constraints=7121 1241.57/1241.90 c nbDecision=87000 #constraints=7153 1244.37/1244.73 c nbDecision=87500 #constraints=7170 1250.86/1251.26 c nbDecision=88000 #constraints=7199 1254.17/1254.54 c nbDecision=88500 #constraints=7215 1261.36/1261.75 c nbDecision=89000 #constraints=7245 1265.56/1265.94 c nbDecision=89500 #constraints=7262 1268.66/1269.00 c nbDecision=90000 #constraints=7282 1274.56/1274.95 c nbDecision=90500 #constraints=7308 1279.96/1280.39 c nbDecision=91000 #constraints=7337 1285.36/1285.75 c nbDecision=91500 #constraints=7354 1287.95/1288.38 c nbDecision=92000 #constraints=7370 1310.85/1311.22 c nbDecision=92500 #constraints=7438 1313.35/1313.79 c nbDecision=93000 #constraints=7447 1323.44/1323.81 c nbDecision=93500 #constraints=7491 1333.05/1333.48 c nbDecision=94000 #constraints=7522 1335.14/1335.53 c nbDecision=94500 #constraints=7544 1337.74/1338.13 c nbDecision=95000 #constraints=7551 1345.64/1346.08 c nbDecision=95500 #constraints=7596 1356.04/1356.47 c nbDecision=96000 #constraints=7644 1364.53/1364.96 c nbDecision=96500 #constraints=7673 1366.53/1366.98 c nbDecision=97000 #constraints=7695 1376.13/1376.52 c nbDecision=97500 #constraints=7739 1377.03/1377.41 c nbDecision=98000 #constraints=7745 1386.23/1386.62 c nbDecision=98500 #constraints=7787 1387.32/1387.74 c nbDecision=99000 #constraints=7795 1396.12/1396.50 c nbDecision=99500 #constraints=7839 1404.32/1404.74 c nbDecision=100000 #constraints=7878 1405.62/1406.06 c nbDecision=100500 #constraints=7888 1413.12/1413.59 c nbDecision=101000 #constraints=7926 1415.72/1416.19 c nbDecision=101500 #constraints=7936 1422.62/1423.02 c nbDecision=102000 #constraints=7975 1428.92/1429.38 c restart after 102401 decisions 1487.20/1487.63 c nbDecision=102500 #constraints=8075 1516.90/1517.35 c nbDecision=103000 #constraints=8131 1521.39/1521.85 c nbDecision=103500 #constraints=8147 1551.89/1552.36 c nbDecision=104000 #constraints=8217 1559.98/1560.46 c nbDecision=104500 #constraints=8233 1563.38/1563.86 c nbDecision=105000 #constraints=8250 1589.57/1590.09 c nbDecision=105500 #constraints=8304 1597.97/1598.42 c nbDecision=106000 #constraints=8320 1601.67/1602.10 c nbDecision=106500 #constraints=8337 1629.56/1630.05 c nbDecision=107000 #constraints=8392 1636.26/1636.73 c nbDecision=107500 #constraints=8409 1638.47/1639.00 c nbDecision=108000 #constraints=8425 1667.66/1668.14 c nbDecision=108500 #constraints=8478 1673.15/1673.66 c nbDecision=109000 #constraints=8494 1675.05/1675.52 c nbDecision=109500 #constraints=8510 1704.25/1704.73 c nbDecision=110000 #constraints=8564 1708.85/1709.32 c nbDecision=110500 #constraints=8581 1730.95/1731.44 c nbDecision=111000 #constraints=8633 1740.44/1740.92 c nbDecision=111500 #constraints=8650 1744.04/1744.55 c nbDecision=112000 #constraints=8666 1768.73/1769.21 c nbDecision=112500 #constraints=8718 1776.63/1777.11 c nbDecision=113000 #constraints=8735 1779.52/1780.09 c nbDecision=113500 #constraints=8751 1800.02/1800.50 Received signal 15 1800.02/1800.59 1800.02/1800.59 s UNKNOWN 1800.02/1800.59 1800.02/1800.59 c user time= 1798.11 s 1800.02/1800.59 c system time= 2.01769 s 1800.02/1800.59 c wall clock time=1800.59
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node19/watcher-357390-1176996555 -o ROOT/results/node19/solver-357390-1176996555 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357390-1176996555/instance-357390-1176996555.opb mod 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.04 1.02 0.98 3/77 26704 /proc/meminfo: memFree=1717512/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=1468 CPUtime=0 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 147572945 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134827798 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 367 162 128 317 0 46 0 [startup+0.0486811 s] /proc/loadavg: 1.04 1.02 0.98 3/77 26704 /proc/meminfo: memFree=1717512/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=2020 CPUtime=0.04 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 310 0 0 0 4 0 0 0 18 0 1 0 147572945 2068480 292 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 505 292 131 317 0 184 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2020 [startup+0.102687 s] /proc/loadavg: 1.04 1.02 0.98 3/77 26704 /proc/meminfo: memFree=1717512/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=2812 CPUtime=0.1 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 499 0 0 0 10 0 0 0 18 0 1 0 147572945 2879488 481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 703 481 131 317 0 382 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2812 [startup+0.301708 s] /proc/loadavg: 1.04 1.02 0.98 3/77 26704 /proc/meminfo: memFree=1717512/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=5456 CPUtime=0.29 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 1152 0 0 0 29 0 0 0 19 0 1 0 147572945 5586944 1134 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 1364 1134 131 317 0 1043 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5456 [startup+0.702752 s] /proc/loadavg: 1.04 1.02 0.98 3/77 26704 /proc/meminfo: memFree=1717512/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=9972 CPUtime=0.69 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 2286 0 0 0 69 0 0 0 23 0 1 0 147572945 10211328 2268 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 2493 2268 138 317 0 2172 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9972 [startup+1.50184 s] /proc/loadavg: 1.04 1.02 0.98 2/78 26705 /proc/meminfo: memFree=1708928/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=10256 CPUtime=1.49 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 2376 0 0 0 149 0 0 0 25 0 1 0 147572945 10502144 2358 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284166 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 2564 2358 139 317 0 2243 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10256 [startup+3.10201 s] /proc/loadavg: 1.04 1.02 0.98 2/78 26705 /proc/meminfo: memFree=1707840/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=12636 CPUtime=3.09 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 2883 0 0 0 309 0 0 0 25 0 1 0 147572945 12939264 2865 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272561 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 3159 2865 139 317 0 2838 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12636 [startup+6.30136 s] /proc/loadavg: 1.04 1.02 0.98 2/78 26705 /proc/meminfo: memFree=1704320/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=15020 CPUtime=6.29 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 3455 0 0 0 629 0 0 0 25 0 1 0 147572945 15380480 3437 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270569 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 3755 3437 139 317 0 3434 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15020 [startup+12.7011 s] /proc/loadavg: 1.04 1.02 0.98 2/78 26705 /proc/meminfo: memFree=1697160/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=27516 CPUtime=12.69 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 6565 0 0 0 1267 2 0 0 25 0 1 0 147572945 28176384 5925 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278980 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 6879 5925 139 317 0 6558 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 27516 [startup+25.5014 s] /proc/loadavg: 1.03 1.02 0.98 2/78 26705 /proc/meminfo: memFree=1682824/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=42716 CPUtime=25.49 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 10346 0 0 0 2546 3 0 0 25 0 1 0 147572945 43741184 8778 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272561 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 10679 8778 139 317 0 10358 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 42716 [startup+51.1012 s] /proc/loadavg: 1.02 1.02 0.98 2/78 26705 /proc/meminfo: memFree=1657480/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=76032 CPUtime=51.07 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 18337 0 0 0 5101 6 0 0 25 0 1 0 147572945 77856768 15043 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 19008 15043 139 317 0 18687 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 76032 [startup+102.306 s] /proc/loadavg: 1.01 1.01 0.98 2/78 26705 /proc/meminfo: memFree=1593160/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=156928 CPUtime=102.27 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 38293 0 0 0 10212 15 0 0 25 0 1 0 147572945 160694272 31056 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 39232 31056 139 317 0 38911 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 156928 [startup+162.301 s] /proc/loadavg: 1.00 1.01 0.98 2/78 26705 /proc/meminfo: memFree=1536136/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=236236 CPUtime=162.25 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 57461 0 0 0 16201 24 0 0 25 0 1 0 147572945 241905664 45456 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 59059 45456 139 317 0 58738 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 236236 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.98 2/78 26705 /proc/meminfo: memFree=1464776/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=330236 CPUtime=222.23 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 79947 0 0 0 22189 34 0 0 25 0 1 0 147572945 338161664 63143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712567 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 82559 63143 139 317 0 82238 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 330236 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.98 2/78 26705 /proc/meminfo: memFree=1409032/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=402976 CPUtime=282.21 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 98192 0 0 0 28179 42 0 0 25 0 1 0 147572945 412647424 77201 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 100744 77202 139 317 0 100423 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 402976 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.98 2/78 26705 /proc/meminfo: memFree=1356360/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=473444 CPUtime=342.2 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 115425 0 0 0 34168 52 0 0 25 0 1 0 147572945 484806656 90165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 118361 90165 139 317 0 118040 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 473444 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.98 2/78 26705 /proc/meminfo: memFree=1282696/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=582364 CPUtime=402.19 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 137851 0 0 0 40158 61 0 0 25 0 1 0 147572945 596340736 108719 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284215 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 145591 108719 139 317 0 145270 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 582364 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.98 2/78 26705 /proc/meminfo: memFree=1233224/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=645328 CPUtime=462.17 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 153331 0 0 0 46149 68 0 0 25 0 1 0 147572945 660815872 120869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 161332 120869 139 317 0 161011 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 645328 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.98 2/78 26705 /proc/meminfo: memFree=1189128/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=703528 CPUtime=522.16 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 168062 0 0 0 52141 75 0 0 25 0 1 0 147572945 720412672 131971 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284171 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 175882 131971 139 317 0 175561 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 703528 [startup+582.303 s] /proc/loadavg: 1.00 1.00 0.98 2/78 26707 /proc/meminfo: memFree=1141448/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=763848 CPUtime=582.14 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 183311 0 0 0 58132 82 0 0 25 0 1 0 147572945 782180352 143832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284120 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 190962 143832 139 317 0 190641 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 763848 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.98 2/78 26707 /proc/meminfo: memFree=1095496/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=822004 CPUtime=642.12 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 197962 0 0 0 64123 89 0 0 25 0 1 0 147572945 841732096 155155 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 205501 155155 139 317 0 205180 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 822004 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.98 2/78 26707 /proc/meminfo: memFree=848328/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=1176032 CPUtime=942.05 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 274304 0 0 0 94080 125 0 0 25 0 1 0 147572945 1204256768 216893 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712495 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 294008 216893 139 317 0 293687 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 1176032 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 26707 /proc/meminfo: memFree=807496/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=1229924 CPUtime=1002.03 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 287051 0 0 0 100072 131 0 0 25 0 1 0 147572945 1259442176 226987 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713793 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 307481 226987 139 317 0 307160 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 1229924 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 26707 /proc/meminfo: memFree=765512/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=1285036 CPUtime=1062.01 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 300704 0 0 0 106064 137 0 0 25 0 1 0 147572945 1315876864 237506 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272552 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 321259 237506 139 317 0 320938 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 1285036 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 26707 /proc/meminfo: memFree=720968/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=1342648 CPUtime=1121.99 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 314833 0 0 0 112056 143 0 0 25 0 1 0 147572945 1374871552 248558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 335662 248558 139 317 0 335341 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 1342648 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 26707 /proc/meminfo: memFree=675656/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=1399732 CPUtime=1181.98 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 329637 0 0 0 118048 150 0 0 25 0 1 0 147572945 1433325568 259791 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713807 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 349933 259791 139 317 0 349612 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 1399732 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 26707 /proc/meminfo: memFree=628232/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=1460324 CPUtime=1241.96 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 345322 0 0 0 124038 158 0 0 25 0 1 0 147572945 1495371776 271651 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710752 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 365081 271651 139 317 0 364760 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 1460324 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 26707 /proc/meminfo: memFree=585288/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=1515024 CPUtime=1301.95 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 359267 0 0 0 130031 164 0 0 25 0 1 0 147572945 1551384576 282259 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 378756 282259 139 317 0 378435 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1515024 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 26707 /proc/meminfo: memFree=539720/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=1573848 CPUtime=1361.93 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 374272 0 0 0 136022 171 0 0 25 0 1 0 147572945 1611620352 293705 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284208 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 393462 293705 139 317 0 393141 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1573848 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.98 2/78 26707 /proc/meminfo: memFree=484296/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=1644156 CPUtime=1421.93 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 392360 0 0 0 142013 180 0 0 25 0 1 0 147572945 1683615744 307456 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134559091 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 411039 307456 139 317 0 410718 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1644156 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 26707 /proc/meminfo: memFree=470088/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=1662344 CPUtime=1481.9 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 397469 0 0 0 148008 182 0 0 25 0 1 0 147572945 1702240256 311094 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 415586 311094 139 317 0 415265 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1662344 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 26707 /proc/meminfo: memFree=446280/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=1692092 CPUtime=1541.89 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 405127 0 0 0 154003 186 0 0 25 0 1 0 147572945 1732702208 316912 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 423023 316912 139 317 0 422702 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1692092 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 26707 /proc/meminfo: memFree=421576/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=1726004 CPUtime=1601.88 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 413575 0 0 0 159997 191 0 0 25 0 1 0 147572945 1767428096 323395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272576 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 431501 323395 139 317 0 431180 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1726004 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 26707 /proc/meminfo: memFree=397704/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=1755528 CPUtime=1661.85 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 420993 0 0 0 165992 193 0 0 25 0 1 0 147572945 1797660672 329086 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284196 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 438882 329086 139 317 0 438561 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1755528 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 26707 /proc/meminfo: memFree=372680/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=1787860 CPUtime=1721.84 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 429032 0 0 0 171987 197 0 0 25 0 1 0 147572945 1830768640 335344 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272619 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 446965 335344 139 317 0 446644 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1787860 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 26707 /proc/meminfo: memFree=345992/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=1820952 CPUtime=1781.83 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 437533 0 0 0 177982 201 0 0 25 0 1 0 147572945 1864654848 341856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 455238 341856 139 317 0 454917 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1820952 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.98 2/78 26707 /proc/meminfo: memFree=340232/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=1828716 CPUtime=1800.02 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 439491 0 0 0 179801 201 0 0 25 0 1 0 147572945 1872605184 343314 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 457179 343314 139 317 0 456858 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1828716 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 0.98 2/79 26708 /proc/meminfo: memFree=350784/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=0 CPUtime=1800.13 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194308 439510 0 0 0 179811 202 0 0 25 0 1 0 147572945 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 0 [startup+1800.8 s] /proc/loadavg: 1.00 1.00 0.98 2/79 26708 /proc/meminfo: memFree=350784/2055920 swapFree=4159444/4192956 [pid=26704] ppid=26702 vsize=0 CPUtime=1800.32 /proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194308 439510 0 0 0 179811 221 0 0 25 0 1 0 147572945 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26704/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.32 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.82 CPU time (s): 1800.35 CPU user time (s): 1798.11 CPU system time (s): 2.23766 CPU usage (%): 99.9738 Max. virtual memory (cumulated for all children) (KiB): 1828848 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.11 system time used= 2.23766 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 439510 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= 978 runsolver used 2.12768 second user time and 4.27335 second system time The end
Begin job on node19 on Thu Apr 19 15:29:16 UTC 2007 IDJOB= 357390 IDBENCH= 2511 IDSOLVER= 172 FILE ID= node19/357390-1176996555 PBS_JOBID= 4630466 Free space on /tmp= 66448 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-swath.opb COMMAND LINE= oree /tmp/evaluation/357390-1176996555/instance-357390-1176996555.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-357390-1176996555 -o ROOT/results/node19/solver-357390-1176996555 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357390-1176996555/instance-357390-1176996555.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 3553224658521cb15e26e6f30dd8f5c2 RANDOM SEED= 358402832 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: 1717984 kB Buffers: 34812 kB Cached: 214672 kB SwapCached: 2320 kB Active: 143040 kB Inactive: 129348 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1717984 kB SwapTotal: 4192956 kB SwapFree: 4159444 kB Dirty: 2828 kB Writeback: 0 kB Mapped: 30864 kB Slab: 51084 kB Committed_AS: 3018596 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= 66448 MiB End job on node19 on Thu Apr 19 15:59:18 UTC 2007