Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.15 | 1800.89 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-net12.opb |
MD5SUM | 24a04ed274dd43d443428abf078e95f9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 214 |
Best CPU time to get the best result obtained on this benchmark | 13.6869 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 214 |
Optimality of the best value was proved | YES |
Number of variables | 147395 |
Total number of constraints | 26533 |
Number of constraints which are clauses | 12 |
Number of constraints which are cardinality constraints (but not clauses) | 391 |
Number of constraints which are nor clauses,nor cardinality constraints | 26130 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 292 |
Number of terms in the objective function | 39 |
Biggest coefficient in the objective function | 20 |
Number of bits for the biggest coefficient in the objective function | 5 |
Sum of the numbers in the objective function | 337 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 12288 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 137193 |
Number of bits of the biggest sum of numbers | 18 |
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... 1.39/1.46 c ...done 1.39/1.46 c #vars=147395 #constraints=27086 hasObjective=yes 1.59/1.70 c res. mode=mod 1.59/1.70 c VSIDS like heuristics 1.59/1.70 c complete search running 4.29/4.30 c restart after 401 decisions 4.89/4.96 c nbDecision=500 #constraints=27090 6.79/6.87 c restart after 801 decisions 8.09/8.17 c nbDecision=1000 #constraints=27090 11.28/11.30 c nbDecision=1500 #constraints=27090 11.88/11.93 c restart after 1601 decisions 14.38/14.49 c nbDecision=2000 #constraints=27090 17.68/17.75 c nbDecision=2500 #constraints=27109 25.48/25.58 c nbDecision=3000 #constraints=27599 28.68/28.77 c restart after 3201 decisions 30.68/30.72 c nbDecision=3500 #constraints=27792 33.78/33.84 c nbDecision=4000 #constraints=27792 39.77/39.83 c nbDecision=4500 #constraints=28088 47.67/47.74 c nbDecision=5000 #constraints=28557 55.56/55.64 c nbDecision=5500 #constraints=29003 63.56/63.66 c nbDecision=6000 #constraints=29427 70.26/70.31 c restart after 6401 decisions 70.96/71.08 c nbDecision=6500 #constraints=29775 74.15/74.23 c nbDecision=7000 #constraints=29775 80.05/80.17 c nbDecision=7500 #constraints=30033 88.36/88.42 c nbDecision=8000 #constraints=30511 97.05/97.14 c nbDecision=8500 #constraints=30954 105.45/105.52 c nbDecision=9000 #constraints=31375 114.44/114.52 c nbDecision=9500 #constraints=31814 123.74/123.82 c nbDecision=10000 #constraints=32271 132.73/132.88 c nbDecision=10500 #constraints=32694 142.44/142.52 c nbDecision=11000 #constraints=33155 152.63/152.72 c nbDecision=11500 #constraints=33608 162.83/162.93 c nbDecision=12000 #constraints=34051 173.03/173.15 c nbDecision=12500 #constraints=34491 179.13/179.21 c restart after 12801 decisions 180.62/180.73 c nbDecision=13000 #constraints=34758 183.72/183.87 c nbDecision=13500 #constraints=34758 189.62/189.77 c nbDecision=14000 #constraints=35067 196.52/196.62 c nbDecision=14500 #constraints=35521 203.72/203.81 c nbDecision=15000 #constraints=35998 210.11/210.20 c nbDecision=15500 #constraints=36380 213.81/213.91 c nbDecision=16000 #constraints=36454 217.51/217.60 c nbDecision=16500 #constraints=36530 221.61/221.72 c nbDecision=17000 #constraints=36608 225.50/225.65 c nbDecision=17500 #constraints=36647 229.50/229.66 c nbDecision=18000 #constraints=36689 233.20/233.35 c nbDecision=18500 #constraints=36717 236.80/236.92 c nbDecision=19000 #constraints=36740 241.40/241.53 c nbDecision=19500 #constraints=36904 246.40/246.53 c nbDecision=20000 #constraints=37131 251.49/251.69 c nbDecision=20500 #constraints=37375 258.30/258.47 c nbDecision=21000 #constraints=37800 265.00/265.14 c nbDecision=21500 #constraints=38210 271.99/272.16 c nbDecision=22000 #constraints=38656 278.39/278.56 c nbDecision=22500 #constraints=39026 285.08/285.21 c nbDecision=23000 #constraints=39431 291.09/291.28 c nbDecision=23500 #constraints=39754 296.98/297.13 c nbDecision=24000 #constraints=40056 302.28/302.44 c nbDecision=24500 #constraints=40300 307.28/307.42 c nbDecision=25000 #constraints=40469 313.57/313.74 c nbDecision=25500 #constraints=40790 314.87/315.00 c restart after 25601 decisions 317.78/317.93 c nbDecision=26000 #constraints=40851 320.87/321.01 c nbDecision=26500 #constraints=40851 330.87/331.05 c nbDecision=27000 #constraints=41241 341.86/342.01 c nbDecision=27500 #constraints=41701 353.36/353.50 c nbDecision=28000 #constraints=42136 365.06/365.26 c nbDecision=28500 #constraints=42571 377.35/377.50 c nbDecision=29000 #constraints=43005 390.25/390.44 c nbDecision=29500 #constraints=43438 403.65/403.82 c nbDecision=30000 #constraints=43886 415.94/416.13 c nbDecision=30500 #constraints=44308 429.53/429.78 c nbDecision=31000 #constraints=44742 442.63/442.81 c nbDecision=31500 #constraints=45195 456.53/456.73 c nbDecision=32000 #constraints=45637 470.73/470.93 c nbDecision=32500 #constraints=46091 484.82/485.08 c nbDecision=33000 #constraints=46530 498.21/498.43 c nbDecision=33500 #constraints=46976 512.41/512.60 c nbDecision=34000 #constraints=47437 527.20/527.46 c nbDecision=34500 #constraints=47895 542.60/542.84 c nbDecision=35000 #constraints=48355 558.19/558.42 c nbDecision=35500 #constraints=48808 573.39/573.67 c nbDecision=36000 #constraints=49262 588.78/589.07 c nbDecision=36500 #constraints=49709 604.58/604.84 c nbDecision=37000 #constraints=50162 620.87/621.13 c nbDecision=37500 #constraints=50629 637.96/638.29 c nbDecision=38000 #constraints=51102 654.76/655.07 c nbDecision=38500 #constraints=51560 672.45/672.71 c nbDecision=39000 #constraints=52030 690.55/690.88 c nbDecision=39500 #constraints=52513 709.34/709.64 c nbDecision=40000 #constraints=52989 726.13/726.43 c nbDecision=40500 #constraints=53457 743.93/744.29 c nbDecision=41000 #constraints=53942 759.83/760.16 c nbDecision=41500 #constraints=54412 776.01/776.39 c nbDecision=42000 #constraints=54899 792.01/792.32 c nbDecision=42500 #constraints=55396 801.00/801.36 c nbDecision=43000 #constraints=55871 809.11/809.49 c nbDecision=43500 #constraints=56345 816.91/817.21 c nbDecision=44000 #constraints=56798 822.00/822.36 c nbDecision=44500 #constraints=57003 825.80/826.14 c nbDecision=45000 #constraints=57070 829.89/830.26 c nbDecision=45500 #constraints=57169 833.50/833.82 c nbDecision=46000 #constraints=57209 836.99/837.39 c nbDecision=46500 #constraints=57250 840.49/840.88 c nbDecision=47000 #constraints=57286 843.90/844.23 c nbDecision=47500 #constraints=57311 847.90/848.25 c nbDecision=48000 #constraints=57402 851.79/852.14 c nbDecision=48500 #constraints=57485 855.59/855.98 c nbDecision=49000 #constraints=57571 859.39/859.75 c nbDecision=49500 #constraints=57649 864.99/865.33 c nbDecision=50000 #constraints=57893 871.98/872.39 c nbDecision=50500 #constraints=58299 878.58/878.96 c nbDecision=51000 #constraints=58626 885.28/885.68 c restart after 51201 decisions 888.18/888.55 c nbDecision=51500 #constraints=58791 891.38/891.72 c nbDecision=52000 #constraints=58791 899.48/899.83 c nbDecision=52500 #constraints=59122 908.97/909.33 c nbDecision=53000 #constraints=59584 917.36/917.76 c nbDecision=53500 #constraints=59969 921.47/921.84 c nbDecision=54000 #constraints=60038 925.26/925.65 c nbDecision=54500 #constraints=60087 932.46/932.85 c nbDecision=55000 #constraints=60197 939.65/940.03 c nbDecision=55500 #constraints=60250 945.36/945.80 c nbDecision=56000 #constraints=60286 950.86/951.23 c nbDecision=56500 #constraints=60317 955.96/956.34 c nbDecision=57000 #constraints=60405 962.35/962.79 c nbDecision=57500 #constraints=60638 968.55/968.92 c nbDecision=58000 #constraints=60802 977.14/977.51 c nbDecision=58500 #constraints=61196 985.54/985.92 c nbDecision=59000 #constraints=61575 993.14/993.53 c nbDecision=59500 #constraints=61882 1000.44/1000.84 c nbDecision=60000 #constraints=62167 1006.34/1006.79 c nbDecision=60500 #constraints=62306 1013.73/1014.12 c nbDecision=61000 #constraints=62556 1020.33/1020.75 c nbDecision=61500 #constraints=62807 1027.62/1028.06 c nbDecision=62000 #constraints=63082 1034.02/1034.41 c nbDecision=62500 #constraints=63214 1042.73/1043.12 c nbDecision=63000 #constraints=63518 1051.23/1051.65 c nbDecision=63500 #constraints=63879 1058.82/1059.26 c nbDecision=64000 #constraints=64156 1065.42/1065.90 c nbDecision=64500 #constraints=64402 1072.51/1072.98 c nbDecision=65000 #constraints=64647 1077.61/1078.08 c nbDecision=65500 #constraints=64774 1083.81/1084.20 c nbDecision=66000 #constraints=64878 1093.10/1093.50 c nbDecision=66500 #constraints=65183 1101.30/1101.75 c nbDecision=67000 #constraints=65500 1109.60/1110.06 c nbDecision=67500 #constraints=65827 1114.40/1114.84 c nbDecision=68000 #constraints=65924 1118.90/1119.32 c nbDecision=68500 #constraints=65988 1126.79/1127.26 c nbDecision=69000 #constraints=66159 1135.99/1136.40 c nbDecision=69500 #constraints=66499 1143.49/1143.94 c nbDecision=70000 #constraints=66730 1149.28/1149.74 c nbDecision=70500 #constraints=66901 1153.68/1154.19 c nbDecision=71000 #constraints=66978 1157.98/1158.49 c nbDecision=71500 #constraints=67048 1163.09/1163.50 c nbDecision=72000 #constraints=67123 1170.78/1171.26 c nbDecision=72500 #constraints=67406 1179.28/1179.73 c nbDecision=73000 #constraints=67597 1186.87/1187.38 c nbDecision=73500 #constraints=67754 1194.37/1194.87 c nbDecision=74000 #constraints=67981 1200.47/1200.96 c nbDecision=74500 #constraints=68151 1208.84/1209.30 c nbDecision=75000 #constraints=68379 1217.52/1218.05 c nbDecision=75500 #constraints=68594 1224.40/1224.91 c nbDecision=76000 #constraints=68722 1231.48/1232.03 c nbDecision=76500 #constraints=68930 1241.06/1241.60 c nbDecision=77000 #constraints=69295 1247.66/1248.21 c nbDecision=77500 #constraints=69495 1255.96/1256.57 c nbDecision=78000 #constraints=69776 1265.54/1266.17 c nbDecision=78500 #constraints=69971 1274.24/1274.85 c nbDecision=79000 #constraints=70273 1281.83/1282.47 c nbDecision=79500 #constraints=70501 1291.22/1291.86 c nbDecision=80000 #constraints=70861 1299.43/1300.08 c nbDecision=80500 #constraints=71152 1306.62/1307.25 c nbDecision=81000 #constraints=71327 1312.92/1313.55 c nbDecision=81500 #constraints=71432 1320.62/1321.21 c nbDecision=82000 #constraints=71619 1327.81/1328.46 c nbDecision=82500 #constraints=71873 1334.31/1334.97 c nbDecision=83000 #constraints=72032 1341.61/1342.20 c nbDecision=83500 #constraints=72364 1349.50/1350.12 c nbDecision=84000 #constraints=72745 1355.91/1356.54 c nbDecision=84500 #constraints=73014 1361.70/1362.32 c nbDecision=85000 #constraints=73237 1367.40/1368.07 c nbDecision=85500 #constraints=73455 1374.60/1375.27 c nbDecision=86000 #constraints=73790 1381.69/1382.35 c nbDecision=86500 #constraints=74117 1388.39/1389.02 c nbDecision=87000 #constraints=74404 1396.19/1396.82 c nbDecision=87500 #constraints=74785 1403.79/1404.44 c nbDecision=88000 #constraints=75153 1411.49/1412.10 c nbDecision=88500 #constraints=75512 1417.88/1418.56 c nbDecision=89000 #constraints=75776 1425.48/1426.14 c nbDecision=89500 #constraints=76140 1432.68/1433.34 c nbDecision=90000 #constraints=76457 1438.77/1439.42 c nbDecision=90500 #constraints=76676 1447.27/1447.94 c nbDecision=91000 #constraints=77118 1455.07/1455.76 c nbDecision=91500 #constraints=77489 1463.37/1464.08 c nbDecision=92000 #constraints=77907 1470.47/1471.15 c nbDecision=92500 #constraints=78198 1478.26/1478.91 c nbDecision=93000 #constraints=78569 1486.06/1486.75 c nbDecision=93500 #constraints=78930 1491.85/1492.56 c nbDecision=94000 #constraints=79074 1498.06/1498.78 c nbDecision=94500 #constraints=79241 1505.16/1505.81 c nbDecision=95000 #constraints=79482 1513.85/1514.57 c nbDecision=95500 #constraints=79861 1520.94/1521.68 c nbDecision=96000 #constraints=80128 1527.45/1528.17 c nbDecision=96500 #constraints=80364 1533.15/1533.87 c nbDecision=97000 #constraints=80522 1539.25/1539.99 c nbDecision=97500 #constraints=80704 1546.14/1546.90 c nbDecision=98000 #constraints=80959 1552.34/1553.01 c nbDecision=98500 #constraints=81115 1560.24/1560.98 c nbDecision=99000 #constraints=81467 1567.33/1568.08 c nbDecision=99500 #constraints=81738 1575.02/1575.72 c nbDecision=100000 #constraints=82034 1581.63/1582.39 c nbDecision=100500 #constraints=82268 1590.23/1591.00 c nbDecision=101000 #constraints=82611 1595.52/1596.25 c nbDecision=101500 #constraints=82709 1603.62/1604.31 c nbDecision=102000 #constraints=82916 1609.52/1610.26 c restart after 102401 decisions 1611.52/1612.22 c nbDecision=102500 #constraints=83061 1614.92/1615.63 c nbDecision=103000 #constraints=83061 1624.51/1625.20 c nbDecision=103500 #constraints=83168 1651.31/1652.04 c nbDecision=104000 #constraints=83623 1679.09/1679.85 c nbDecision=104500 #constraints=84093 1706.69/1707.48 c nbDecision=105000 #constraints=84532 1734.67/1735.49 c nbDecision=105500 #constraints=84984 1759.87/1760.64 c nbDecision=106000 #constraints=85435 1785.86/1786.68 c nbDecision=106500 #constraints=85882 1800.06/1800.80 Received signal 15 1800.06/1800.81 1800.06/1800.82 s UNKNOWN 1800.06/1800.82 1800.06/1800.82 c user time= 1799.58 s 1800.06/1800.82 c system time= 0.496924 s 1800.06/1800.82 c wall clock time=1800.82
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node38/watcher-363630-1176853256 -o ROOT/results/node38/solver-363630-1176853256 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363630-1176853256/instance-363630-1176853256.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: 0.91 0.95 0.92 3/77 15093 /proc/meminfo: memFree=1617576/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=1468 CPUtime=0 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 117492377 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 367 161 131 317 0 46 0 [startup+0.0438881 s] /proc/loadavg: 0.91 0.95 0.92 3/77 15093 /proc/meminfo: memFree=1617576/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=2128 CPUtime=0.03 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 331 0 0 0 3 0 0 0 18 0 1 0 117492377 2179072 313 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 532 313 131 317 0 211 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2128 [startup+0.101899 s] /proc/loadavg: 0.91 0.95 0.92 3/77 15093 /proc/meminfo: memFree=1617576/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=2920 CPUtime=0.09 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 555 0 0 0 9 0 0 0 18 0 1 0 117492377 2990080 537 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 730 537 131 317 0 409 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2920 [startup+0.301938 s] /proc/loadavg: 0.91 0.95 0.92 3/77 15093 /proc/meminfo: memFree=1617576/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=6144 CPUtime=0.29 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 1324 0 0 0 29 0 0 0 19 0 1 0 117492377 6291456 1306 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713829 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 1536 1306 131 317 0 1215 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6144 [startup+0.702015 s] /proc/loadavg: 0.91 0.95 0.92 3/77 15093 /proc/meminfo: memFree=1617576/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=12228 CPUtime=0.69 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 2847 0 0 0 68 1 0 0 22 0 1 0 117492377 12521472 2829 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 3057 2829 131 317 0 2736 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12228 [startup+1.50117 s] /proc/loadavg: 0.92 0.95 0.92 2/78 15094 /proc/meminfo: memFree=1601632/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=38088 CPUtime=1.49 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 9327 0 0 0 144 5 0 0 25 0 1 0 117492377 39002112 9309 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134536208 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 9522 9309 136 317 0 9201 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 38088 [startup+3.10147 s] /proc/loadavg: 0.92 0.95 0.92 2/78 15094 /proc/meminfo: memFree=1574816/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=44456 CPUtime=3.09 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 10924 0 0 0 304 5 0 0 25 0 1 0 117492377 45522944 10720 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 11114 10720 139 317 0 10793 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44456 [startup+6.30109 s] /proc/loadavg: 0.92 0.95 0.92 2/78 15094 /proc/meminfo: memFree=1574688/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=44456 CPUtime=6.29 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 10924 0 0 0 624 5 0 0 25 0 1 0 117492377 45522944 10720 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 11114 10720 139 317 0 10793 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44456 [startup+12.7013 s] /proc/loadavg: 0.93 0.96 0.92 2/78 15094 /proc/meminfo: memFree=1574752/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=44456 CPUtime=12.68 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 10924 0 0 0 1263 5 0 0 25 0 1 0 117492377 45522944 10720 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 11114 10720 139 317 0 10793 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 44456 [startup+25.5018 s] /proc/loadavg: 0.94 0.96 0.92 2/78 15094 /proc/meminfo: memFree=1574880/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=44456 CPUtime=25.48 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 10972 0 0 0 2543 5 0 0 25 0 1 0 117492377 45522944 10768 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 11114 10768 170 317 0 10793 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 44456 [startup+51.1017 s] /proc/loadavg: 0.96 0.96 0.92 2/78 15094 /proc/meminfo: memFree=1573088/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=46440 CPUtime=51.07 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 11460 0 0 0 5101 6 0 0 25 0 1 0 117492377 47554560 11256 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 11610 11256 170 317 0 11289 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 46440 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.92 2/78 15094 /proc/meminfo: memFree=1566176/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=53616 CPUtime=102.25 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 13177 0 0 0 10218 7 0 0 25 0 1 0 117492377 54902784 12973 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384537 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 13404 12973 170 317 0 13083 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 53616 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15094 /proc/meminfo: memFree=1557216/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=62924 CPUtime=162.23 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 15456 0 0 0 16213 10 0 0 25 0 1 0 117492377 64434176 15219 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384521 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 15731 15219 170 317 0 15410 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 62924 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15094 /proc/meminfo: memFree=1551584/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=68748 CPUtime=222.21 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 16823 0 0 0 22209 12 0 0 25 0 1 0 117492377 70397952 16586 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 17187 16586 170 317 0 16866 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 68748 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15094 /proc/meminfo: memFree=1547680/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=72652 CPUtime=282.18 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 17795 0 0 0 28205 13 0 0 25 0 1 0 117492377 74395648 17558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 18163 17558 170 317 0 17842 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 72652 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15094 /proc/meminfo: memFree=1543008/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=76996 CPUtime=342.16 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 18965 0 0 0 34201 15 0 0 25 0 1 0 117492377 78843904 18728 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 19249 18728 170 317 0 18928 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 76996 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15094 /proc/meminfo: memFree=1536160/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=84284 CPUtime=402.14 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 20755 0 0 0 40197 17 0 0 25 0 1 0 117492377 86306816 20452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 21071 20452 170 317 0 20750 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 84284 [startup+462.302 s] /proc/loadavg: 1.05 0.99 0.92 2/78 15094 /proc/meminfo: memFree=1529184/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=91920 CPUtime=462.12 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 22492 0 0 0 46193 19 0 0 25 0 1 0 117492377 94126080 22189 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 22980 22189 170 317 0 22659 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 91920 [startup+522.301 s] /proc/loadavg: 1.02 0.99 0.92 2/78 15094 /proc/meminfo: memFree=1522656/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=99220 CPUtime=522.1 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 24355 0 0 0 52189 21 0 0 25 0 1 0 117492377 101601280 23821 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 24805 23821 170 317 0 24484 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 99220 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.92 2/78 15094 /proc/meminfo: memFree=1516896/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=105120 CPUtime=582.08 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 25823 0 0 0 58185 23 0 0 25 0 1 0 117492377 107642880 25256 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 26280 25256 170 317 0 25959 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 105120 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.92 2/78 15094 /proc/meminfo: memFree=1511712/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=109688 CPUtime=642.07 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 27093 0 0 0 64182 25 0 0 25 0 1 0 117492377 112320512 26526 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563351 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 27422 26526 170 317 0 27101 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 109688 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 0.99 0.92 2/78 15094 /proc/meminfo: memFree=1496096/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=128272 CPUtime=822 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 31839 0 0 0 82170 30 0 0 25 0 1 0 117492377 131350528 30440 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 32068 30440 170 317 0 31747 0 Current children cumulated CPU time (s) 822 Current children cumulated vsize (KiB) 128272 [startup+882.302 s] /proc/loadavg: 1.00 0.99 0.92 2/78 15094 /proc/meminfo: memFree=1492640/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=131576 CPUtime=881.97 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 32684 0 0 0 88166 31 0 0 25 0 1 0 117492377 134733824 31285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 32894 31285 170 317 0 32573 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 131576 [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.92 2/78 15094 /proc/meminfo: memFree=1489632/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=135244 CPUtime=941.95 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 33632 0 0 0 94163 32 0 0 25 0 1 0 117492377 138489856 32038 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 33811 32038 170 317 0 33490 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 135244 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.92 2/78 15094 /proc/meminfo: memFree=1486176/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=138672 CPUtime=1001.94 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 34500 0 0 0 100160 34 0 0 25 0 1 0 117492377 142000128 32906 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384569 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 34668 32906 170 317 0 34347 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 138672 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.92 2/78 15094 /proc/meminfo: memFree=1482528/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=142208 CPUtime=1061.92 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 35407 0 0 0 106157 35 0 0 25 0 1 0 117492377 145620992 33813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384501 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 35552 33813 170 317 0 35231 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 142208 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.92 2/78 15094 /proc/meminfo: memFree=1479328/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=145824 CPUtime=1121.9 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 36278 0 0 0 112154 36 0 0 25 0 1 0 117492377 149323776 34619 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385270 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 36456 34619 170 317 0 36135 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 145824 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.92 2/78 15094 /proc/meminfo: memFree=1476512/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=148380 CPUtime=1181.88 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 36970 0 0 0 118151 37 0 0 25 0 1 0 117492377 151941120 35311 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 37095 35311 170 317 0 36774 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 148380 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.92 2/84 15262 /proc/meminfo: memFree=1471960/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=151852 CPUtime=1241.76 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 37846 0 0 0 124138 38 0 0 25 0 1 0 117492377 155496448 36121 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 37963 36121 170 317 0 37642 0 Current children cumulated CPU time (s) 1241.76 Current children cumulated vsize (KiB) 151852 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.92 2/78 15292 /proc/meminfo: memFree=1469664/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=155452 CPUtime=1301.73 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 38749 0 0 0 130133 40 0 0 25 0 1 0 117492377 159182848 36991 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385185 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 38863 36991 170 317 0 38542 0 Current children cumulated CPU time (s) 1301.73 Current children cumulated vsize (KiB) 155452 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.92 2/78 15292 /proc/meminfo: memFree=1465888/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=161368 CPUtime=1361.7 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 40276 0 0 0 136129 41 0 0 25 0 1 0 117492377 165240832 37933 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 40342 37933 170 317 0 40021 0 Current children cumulated CPU time (s) 1361.7 Current children cumulated vsize (KiB) 161368 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.92 2/78 15292 /proc/meminfo: memFree=1460832/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=166000 CPUtime=1421.68 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 41527 0 0 0 142126 42 0 0 25 0 1 0 117492377 169984000 39184 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194616 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 41500 39184 170 317 0 41179 0 Current children cumulated CPU time (s) 1421.68 Current children cumulated vsize (KiB) 166000 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.92 2/78 15292 /proc/meminfo: memFree=1456032/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=170796 CPUtime=1481.66 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 42779 0 0 0 148123 43 0 0 25 0 1 0 117492377 174895104 40436 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 42699 40436 170 317 0 42378 0 Current children cumulated CPU time (s) 1481.66 Current children cumulated vsize (KiB) 170796 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.92 2/78 15292 /proc/meminfo: memFree=1452064/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=174344 CPUtime=1541.64 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 43750 0 0 0 154119 45 0 0 25 0 1 0 117492377 178528256 41407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 43586 41407 170 317 0 43265 0 Current children cumulated CPU time (s) 1541.64 Current children cumulated vsize (KiB) 174344 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.92 2/78 15292 /proc/meminfo: memFree=1448096/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=178776 CPUtime=1601.62 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 44806 0 0 0 160116 46 0 0 25 0 1 0 117492377 183066624 42430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385350 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 44694 42430 170 317 0 44373 0 Current children cumulated CPU time (s) 1601.62 Current children cumulated vsize (KiB) 178776 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.92 2/78 15292 /proc/meminfo: memFree=1445280/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=181392 CPUtime=1661.6 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 45544 0 0 0 166113 47 0 0 25 0 1 0 117492377 185745408 43102 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 45348 43102 170 317 0 45027 0 Current children cumulated CPU time (s) 1661.6 Current children cumulated vsize (KiB) 181392 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.92 2/78 15292 /proc/meminfo: memFree=1442528/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=183996 CPUtime=1721.58 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 46252 0 0 0 172110 48 0 0 25 0 1 0 117492377 188411904 43810 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 45999 43810 170 317 0 45678 0 Current children cumulated CPU time (s) 1721.58 Current children cumulated vsize (KiB) 183996 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.92 2/78 15292 /proc/meminfo: memFree=1439392/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=187072 CPUtime=1781.56 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 47106 0 0 0 178107 49 0 0 25 0 1 0 117492377 191561728 44598 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 46768 44598 170 317 0 46447 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (KiB) 187072 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 0.99 0.92 2/78 15292 /proc/meminfo: memFree=1438176/2055920 swapFree=4148176/4192956 [pid=15093] ppid=15091 vsize=188292 CPUtime=1800.06 /proc/15093/stat : 15093 (oree) R 15091 15093 14705 0 -1 4194304 47391 0 0 0 179957 49 0 0 25 0 1 0 117492377 192811008 44883 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15093/statm: 47073 44883 170 317 0 46752 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 188292 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.89 CPU time (s): 1800.15 CPU user time (s): 1799.62 CPU system time (s): 0.526919 CPU usage (%): 99.9589 Max. virtual memory (cumulated for all children) (KiB): 188292 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.62 system time used= 0.526919 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 47407 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= 3625 runsolver used 1.9737 second user time and 4.5953 second system time The end
Begin job on node38 on Tue Apr 17 23:40:57 UTC 2007 IDJOB= 363630 IDBENCH= 1876 IDSOLVER= 172 FILE ID= node38/363630-1176853256 PBS_JOBID= 4590223 Free space on /tmp= 66292 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-net12.opb COMMAND LINE= oree /tmp/evaluation/363630-1176853256/instance-363630-1176853256.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-363630-1176853256 -o ROOT/results/node38/solver-363630-1176853256 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363630-1176853256/instance-363630-1176853256.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 24a04ed274dd43d443428abf078e95f9 RANDOM SEED= 363596538 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node38.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.263 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.263 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: 1618048 kB Buffers: 39672 kB Cached: 285572 kB SwapCached: 4012 kB Active: 267428 kB Inactive: 125972 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1618048 kB SwapTotal: 4192956 kB SwapFree: 4148176 kB Dirty: 7172 kB Writeback: 0 kB Mapped: 75652 kB Slab: 29712 kB Committed_AS: 1499220 kB PageTables: 2064 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= 66292 MiB End job on node38 on Wed Apr 18 00:11:00 UTC 2007