Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1801.2 | 1801.66 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-degen3.opb |
MD5SUM | 180182351d074e1d8188f1fe7258cbed |
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 | 54540 |
Total number of constraints | 1503 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1503 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 6090 |
Number of terms in the objective function | 47190 |
Biggest coefficient in the objective function | 1001264250880 |
Number of bits for the biggest coefficient in the objective function | 40 |
Sum of the numbers in the objective function | 339379725479256 |
Number of bits of the sum of numbers in the objective function | 49 |
Biggest number in a constraint | 1001264250880 |
Number of bits of the biggest number in a constraint | 40 |
Biggest sum of numbers in a constraint | 339379725479256 |
Number of bits of the biggest sum of numbers | 49 |
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... 2.29/2.36 c ...done 2.29/2.36 c #vars=54540 #constraints=2221 hasObjective=yes 3.39/3.48 c res. mode=mod 3.39/3.48 c VSIDS like heuristics 3.39/3.48 c complete search running 4.19/4.30 c restart after 401 decisions 4.29/4.38 c nbDecision=500 #constraints=2221 4.59/4.61 c restart after 801 decisions 4.69/4.76 c nbDecision=1000 #constraints=2221 5.50/5.51 c nbDecision=1500 #constraints=2252 5.89/5.93 c restart after 1601 decisions 6.19/6.23 c nbDecision=2000 #constraints=2284 7.99/8.00 c nbDecision=2500 #constraints=2469 11.29/11.32 c nbDecision=3000 #constraints=2831 12.79/12.82 c restart after 3201 decisions 12.99/13.10 c nbDecision=3500 #constraints=2983 14.38/14.43 c nbDecision=4000 #constraints=3078 17.79/17.81 c nbDecision=4500 #constraints=3385 21.58/21.62 c nbDecision=5000 #constraints=3747 25.88/25.96 c nbDecision=5500 #constraints=4097 30.38/30.49 c nbDecision=6000 #constraints=4431 34.38/34.45 c restart after 6401 decisions 34.58/34.69 c nbDecision=6500 #constraints=4731 35.28/35.36 c nbDecision=7000 #constraints=4736 39.08/39.16 c nbDecision=7500 #constraints=5045 43.88/43.94 c nbDecision=8000 #constraints=5388 49.08/49.20 c nbDecision=8500 #constraints=5741 54.68/54.78 c nbDecision=9000 #constraints=6138 60.38/60.49 c nbDecision=9500 #constraints=6527 66.47/66.54 c nbDecision=10000 #constraints=6954 72.67/72.76 c nbDecision=10500 #constraints=7387 79.18/79.26 c nbDecision=11000 #constraints=7802 86.37/86.44 c nbDecision=11500 #constraints=8224 93.77/93.88 c nbDecision=12000 #constraints=8632 101.96/102.01 c nbDecision=12500 #constraints=9004 106.16/106.28 c restart after 12801 decisions 107.06/107.13 c nbDecision=13000 #constraints=9277 109.06/109.13 c nbDecision=13500 #constraints=9393 115.76/115.81 c nbDecision=14000 #constraints=9800 124.35/124.46 c nbDecision=14500 #constraints=10146 131.86/131.90 c nbDecision=15000 #constraints=10520 140.86/140.96 c nbDecision=15500 #constraints=10830 149.56/149.61 c nbDecision=16000 #constraints=11201 157.65/157.74 c nbDecision=16500 #constraints=11605 167.65/167.71 c nbDecision=17000 #constraints=11943 177.54/177.67 c nbDecision=17500 #constraints=12305 185.64/185.76 c nbDecision=18000 #constraints=12716 195.44/195.50 c nbDecision=18500 #constraints=13112 203.34/203.41 c nbDecision=19000 #constraints=13552 211.54/211.65 c nbDecision=19500 #constraints=13996 224.23/224.33 c nbDecision=20000 #constraints=14286 233.33/233.44 c nbDecision=20500 #constraints=14703 244.72/244.84 c nbDecision=21000 #constraints=15045 257.52/257.60 c nbDecision=21500 #constraints=15428 269.13/269.25 c nbDecision=22000 #constraints=15846 276.62/276.79 c nbDecision=22500 #constraints=16306 289.82/289.98 c nbDecision=23000 #constraints=16673 300.81/300.97 c nbDecision=23500 #constraints=17095 310.21/310.37 c nbDecision=24000 #constraints=17538 324.41/324.53 c nbDecision=24500 #constraints=17908 338.80/338.98 c nbDecision=25000 #constraints=18297 350.70/350.89 c nbDecision=25500 #constraints=18702 353.70/353.80 c restart after 25601 decisions 356.00/356.14 c nbDecision=26000 #constraints=18779 359.80/359.94 c nbDecision=26500 #constraints=18833 363.29/363.45 c nbDecision=27000 #constraints=18969 366.10/366.25 c nbDecision=27500 #constraints=19142 369.99/370.15 c nbDecision=28000 #constraints=19362 373.20/373.36 c nbDecision=28500 #constraints=19697 377.09/377.23 c nbDecision=29000 #constraints=19954 380.09/380.20 c nbDecision=29500 #constraints=20301 383.19/383.33 c nbDecision=30000 #constraints=20548 386.29/386.48 c nbDecision=30500 #constraints=20875 389.89/390.04 c nbDecision=31000 #constraints=21218 393.09/393.25 c nbDecision=31500 #constraints=21599 396.89/397.06 c nbDecision=32000 #constraints=21932 401.29/401.43 c nbDecision=32500 #constraints=22176 405.38/405.59 c nbDecision=33000 #constraints=22501 409.68/409.81 c nbDecision=33500 #constraints=22803 414.08/414.27 c nbDecision=34000 #constraints=23124 419.88/420.01 c nbDecision=34500 #constraints=23473 425.18/425.36 c nbDecision=35000 #constraints=23727 430.58/430.72 c nbDecision=35500 #constraints=24068 435.98/436.10 c nbDecision=36000 #constraints=24371 441.78/441.98 c nbDecision=36500 #constraints=24646 447.68/447.85 c nbDecision=37000 #constraints=25019 452.37/452.54 c nbDecision=37500 #constraints=25519 456.37/456.56 c nbDecision=38000 #constraints=26001 461.87/462.07 c nbDecision=38500 #constraints=26425 467.87/468.08 c nbDecision=39000 #constraints=26842 476.67/476.85 c nbDecision=39500 #constraints=27185 484.66/484.89 c nbDecision=40000 #constraints=27554 492.96/493.14 c nbDecision=40500 #constraints=27932 500.96/501.11 c nbDecision=41000 #constraints=28325 508.66/508.86 c nbDecision=41500 #constraints=28738 518.16/518.34 c nbDecision=42000 #constraints=29125 525.85/526.06 c nbDecision=42500 #constraints=29504 529.96/530.15 c nbDecision=43000 #constraints=29856 534.66/534.89 c nbDecision=43500 #constraints=30186 537.35/537.56 c nbDecision=44000 #constraints=30672 541.55/541.77 c nbDecision=44500 #constraints=31065 545.15/545.30 c nbDecision=45000 #constraints=31515 548.65/548.81 c nbDecision=45500 #constraints=31960 552.54/552.70 c nbDecision=46000 #constraints=32369 556.35/556.50 c nbDecision=46500 #constraints=32803 561.24/561.41 c nbDecision=47000 #constraints=33121 566.54/566.72 c nbDecision=47500 #constraints=33462 572.14/572.31 c nbDecision=48000 #constraints=33847 577.14/577.30 c nbDecision=48500 #constraints=34248 580.84/581.08 c nbDecision=49000 #constraints=34684 584.84/585.06 c nbDecision=49500 #constraints=35103 588.94/589.20 c nbDecision=50000 #constraints=35499 593.75/593.96 c nbDecision=50500 #constraints=35888 598.14/598.37 c nbDecision=51000 #constraints=36216 599.83/600.04 c restart after 51201 decisions 603.43/603.68 c nbDecision=51500 #constraints=36380 607.73/607.96 c nbDecision=52000 #constraints=36475 613.73/613.93 c nbDecision=52500 #constraints=36764 620.24/620.44 c nbDecision=53000 #constraints=37122 627.33/627.53 c nbDecision=53500 #constraints=37416 633.82/634.02 c nbDecision=54000 #constraints=37750 639.52/639.78 c nbDecision=54500 #constraints=38113 645.02/645.25 c nbDecision=55000 #constraints=38503 649.72/649.96 c nbDecision=55500 #constraints=38934 655.92/656.18 c nbDecision=56000 #constraints=39302 660.92/661.15 c nbDecision=56500 #constraints=39729 669.62/669.86 c nbDecision=57000 #constraints=40032 675.22/675.46 c nbDecision=57500 #constraints=40453 681.71/681.94 c nbDecision=58000 #constraints=40831 688.71/688.98 c nbDecision=58500 #constraints=41220 695.31/695.58 c nbDecision=59000 #constraints=41626 702.81/703.05 c nbDecision=59500 #constraints=42008 710.51/710.77 c nbDecision=60000 #constraints=42389 719.11/719.38 c nbDecision=60500 #constraints=42762 724.51/724.75 c nbDecision=61000 #constraints=43204 734.00/734.27 c nbDecision=61500 #constraints=43569 741.10/741.33 c nbDecision=62000 #constraints=43988 747.39/747.69 c nbDecision=62500 #constraints=44428 753.00/753.29 c nbDecision=63000 #constraints=44898 756.80/757.00 c nbDecision=63500 #constraints=45390 761.39/761.69 c nbDecision=64000 #constraints=45875 765.49/765.75 c nbDecision=64500 #constraints=46375 771.59/771.83 c nbDecision=65000 #constraints=46875 775.99/776.23 c nbDecision=65500 #constraints=47375 780.38/780.64 c nbDecision=66000 #constraints=47875 785.19/785.42 c nbDecision=66500 #constraints=48375 789.79/790.01 c nbDecision=67000 #constraints=48875 794.89/795.13 c nbDecision=67500 #constraints=49370 799.68/799.96 c nbDecision=68000 #constraints=49870 804.78/805.04 c nbDecision=68500 #constraints=50368 812.38/812.67 c nbDecision=69000 #constraints=50796 818.58/818.87 c nbDecision=69500 #constraints=51031 825.68/825.97 c nbDecision=70000 #constraints=51364 832.97/833.26 c nbDecision=70500 #constraints=51710 840.38/840.61 c nbDecision=71000 #constraints=52046 845.37/845.68 c nbDecision=71500 #constraints=52485 850.67/850.98 c nbDecision=72000 #constraints=52945 855.77/856.03 c nbDecision=72500 #constraints=53414 860.57/860.89 c nbDecision=73000 #constraints=53899 867.27/867.59 c nbDecision=73500 #constraints=54320 872.97/873.29 c nbDecision=74000 #constraints=54759 878.46/878.74 c nbDecision=74500 #constraints=55226 883.96/884.29 c nbDecision=75000 #constraints=55694 889.16/889.48 c nbDecision=75500 #constraints=56159 895.96/896.23 c nbDecision=76000 #constraints=56585 902.06/902.37 c nbDecision=76500 #constraints=57037 907.85/908.12 c nbDecision=77000 #constraints=57504 915.75/916.01 c nbDecision=77500 #constraints=57921 920.25/920.51 c nbDecision=78000 #constraints=58406 927.95/928.27 c nbDecision=78500 #constraints=58822 934.85/935.11 c nbDecision=79000 #constraints=59271 942.35/942.67 c nbDecision=79500 #constraints=59724 948.55/948.89 c nbDecision=80000 #constraints=60224 954.85/955.12 c nbDecision=80500 #constraints=60724 964.45/964.73 c nbDecision=81000 #constraints=61214 970.94/971.26 c nbDecision=81500 #constraints=61714 977.44/977.73 c nbDecision=82000 #constraints=62214 985.53/985.83 c nbDecision=82500 #constraints=62707 992.13/992.47 c nbDecision=83000 #constraints=63207 999.83/1000.10 c nbDecision=83500 #constraints=63697 1004.33/1004.63 c nbDecision=84000 #constraints=64198 1011.23/1011.56 c nbDecision=84500 #constraints=64696 1018.13/1018.49 c nbDecision=85000 #constraints=65196 1027.42/1027.74 c nbDecision=85500 #constraints=65693 1035.42/1035.74 c nbDecision=86000 #constraints=66192 1042.72/1043.05 c nbDecision=86500 #constraints=66693 1051.33/1051.60 c nbDecision=87000 #constraints=67192 1059.02/1059.36 c nbDecision=87500 #constraints=67692 1066.72/1067.08 c nbDecision=88000 #constraints=68192 1074.41/1074.71 c nbDecision=88500 #constraints=68692 1082.11/1082.42 c nbDecision=89000 #constraints=69192 1089.81/1090.14 c nbDecision=89500 #constraints=69693 1097.81/1098.10 c nbDecision=90000 #constraints=70192 1105.71/1106.06 c nbDecision=90500 #constraints=70692 1114.70/1115.02 c nbDecision=91000 #constraints=71196 1120.70/1121.09 c nbDecision=91500 #constraints=71696 1129.10/1129.46 c nbDecision=92000 #constraints=72196 1137.60/1137.91 c nbDecision=92500 #constraints=72696 1148.60/1148.97 c nbDecision=93000 #constraints=73185 1156.59/1156.90 c nbDecision=93500 #constraints=73685 1164.79/1165.16 c nbDecision=94000 #constraints=74185 1173.09/1173.49 c nbDecision=94500 #constraints=74682 1181.58/1181.99 c nbDecision=95000 #constraints=75182 1190.18/1190.50 c nbDecision=95500 #constraints=75682 1198.78/1199.19 c nbDecision=96000 #constraints=76182 1207.39/1207.71 c nbDecision=96500 #constraints=76683 1216.08/1216.49 c nbDecision=97000 #constraints=77182 1224.87/1225.27 c nbDecision=97500 #constraints=77682 1234.07/1234.42 c nbDecision=98000 #constraints=78182 1243.07/1243.45 c nbDecision=98500 #constraints=78682 1252.37/1252.71 c nbDecision=99000 #constraints=79183 1261.56/1261.99 c nbDecision=99500 #constraints=79682 1270.67/1271.03 c nbDecision=100000 #constraints=80182 1280.16/1280.58 c nbDecision=100500 #constraints=80683 1289.75/1290.17 c nbDecision=101000 #constraints=81182 1299.05/1299.47 c nbDecision=101500 #constraints=81682 1308.85/1309.23 c nbDecision=102000 #constraints=82182 1316.65/1317.10 c restart after 102401 decisions 1321.55/1321.96 c nbDecision=102500 #constraints=82584 1328.65/1329.06 c nbDecision=103000 #constraints=82598 1365.43/1365.83 c nbDecision=103500 #constraints=82630 1405.73/1406.14 c nbDecision=104000 #constraints=82676 1442.42/1442.83 c nbDecision=104500 #constraints=82712 1484.21/1484.69 c nbDecision=105000 #constraints=82776 1522.59/1523.06 c nbDecision=105500 #constraints=82884 1563.69/1564.16 c nbDecision=106000 #constraints=83022 1602.58/1603.08 c nbDecision=106500 #constraints=83108 1645.87/1646.34 c nbDecision=107000 #constraints=83223 1680.15/1680.61 c nbDecision=107500 #constraints=83373 1722.65/1723.10 c nbDecision=108000 #constraints=83463 1755.14/1755.66 c nbDecision=108500 #constraints=83704 1784.63/1785.11 c nbDecision=109000 #constraints=83918 1800.03/1800.50 Received signal 15 1800.92/1801.40 1800.92/1801.40 s UNKNOWN 1800.92/1801.40 1800.92/1801.40 c user time= 1798.82 s 1800.92/1801.40 c system time= 2.11668 s 1800.92/1801.40 c wall clock time=1801.4
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node34/watcher-357355-1176995479 -o ROOT/results/node34/solver-357355-1176995479 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357355-1176995479/instance-357355-1176995479.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.00 1.00 0.96 3/77 22430 /proc/meminfo: memFree=1842064/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=1468 CPUtime=0 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 147463451 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 367 161 127 317 0 46 0 [startup+0.0177981 s] /proc/loadavg: 1.00 1.00 0.96 3/77 22430 /proc/meminfo: memFree=1842064/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=1752 CPUtime=0.01 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 233 0 0 0 1 0 0 0 18 0 1 0 147463451 1794048 215 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 438 215 127 317 0 117 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1752 [startup+0.102805 s] /proc/loadavg: 1.00 1.00 0.96 3/77 22430 /proc/meminfo: memFree=1842064/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=3440 CPUtime=0.09 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 791 0 0 0 9 0 0 0 18 0 1 0 147463451 3522560 546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 860 546 127 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.301821 s] /proc/loadavg: 1.00 1.00 0.96 3/77 22430 /proc/meminfo: memFree=1842064/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=5936 CPUtime=0.29 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 1384 0 0 0 29 0 0 0 19 0 1 0 147463451 6078464 1139 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 1484 1139 131 317 0 1163 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5936 [startup+0.702854 s] /proc/loadavg: 1.00 1.00 0.96 3/77 22430 /proc/meminfo: memFree=1842064/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=12984 CPUtime=0.69 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 3006 0 0 0 68 1 0 0 22 0 1 0 147463451 13295616 2761 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 3246 2761 131 317 0 2925 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12984 [startup+1.50192 s] /proc/loadavg: 1.00 1.00 0.96 2/78 22431 /proc/meminfo: memFree=1827528/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=24792 CPUtime=1.49 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 5691 0 0 0 146 3 0 0 25 0 1 0 147463451 25387008 5446 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 6198 5446 131 317 0 5877 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24792 [startup+3.10104 s] /proc/loadavg: 1.00 1.00 0.96 2/78 22431 /proc/meminfo: memFree=1812872/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=49008 CPUtime=3.09 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 11428 0 0 0 303 6 0 0 25 0 1 0 147463451 50184192 11183 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 12252 11184 137 317 0 11931 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49008 [startup+6.3013 s] /proc/loadavg: 1.00 1.00 0.96 2/78 22431 /proc/meminfo: memFree=1792648/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=55368 CPUtime=6.29 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 12978 0 0 0 622 7 0 0 25 0 1 0 147463451 56696832 12733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 13842 12733 139 317 0 13521 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 55368 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 0.96 2/78 22431 /proc/meminfo: memFree=1773128/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=76688 CPUtime=12.69 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 17951 0 0 0 1261 8 0 0 25 0 1 0 147463451 78528512 17706 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 19172 17706 139 317 0 18851 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 76688 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 0.96 2/78 22431 /proc/meminfo: memFree=1739784/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=111240 CPUtime=25.48 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 25979 0 0 0 2536 12 0 0 25 0 1 0 147463451 113909760 25734 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 27810 25734 139 317 0 27489 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 111240 [startup+51.1019 s] /proc/loadavg: 1.00 1.00 0.96 2/78 22431 /proc/meminfo: memFree=1686536/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=169604 CPUtime=51.07 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 39479 0 0 0 5089 18 0 0 25 0 1 0 147463451 173674496 39234 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 42401 39234 139 317 0 42080 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 169604 [startup+102.306 s] /proc/loadavg: 1.00 1.00 0.96 2/78 22431 /proc/meminfo: memFree=1599048/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=265108 CPUtime=102.27 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 61102 0 0 0 10196 31 0 0 25 0 1 0 147463451 271470592 60799 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 66277 60799 139 317 0 65956 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 265108 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.96 2/78 22431 /proc/meminfo: memFree=1517768/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=358620 CPUtime=162.24 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 81457 0 0 0 16183 41 0 0 25 0 1 0 147463451 367226880 81154 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 89655 81154 139 317 0 89334 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 358620 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.96 2/78 22431 /proc/meminfo: memFree=1449032/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=434820 CPUtime=222.23 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 98568 0 0 0 22173 50 0 0 25 0 1 0 147463451 445255680 98265 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 108705 98265 139 317 0 108384 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 434820 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.96 2/78 22431 /proc/meminfo: memFree=1393864/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=492324 CPUtime=282.21 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 112293 0 0 0 28164 57 0 0 25 0 1 0 147463451 504139776 111990 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746916 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 123081 111990 139 317 0 122760 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 492324 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.96 2/78 22431 /proc/meminfo: memFree=1342920/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=545564 CPUtime=342.21 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 125075 0 0 0 34159 62 0 0 25 0 1 0 147463451 558657536 124658 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 136391 124658 139 317 0 136070 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 545564 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.96 2/78 22431 /proc/meminfo: memFree=1288136/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=601696 CPUtime=402.19 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 138900 0 0 0 40150 69 0 0 25 0 1 0 147463451 616136704 138483 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 150424 138483 139 317 0 150103 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 601696 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.96 2/78 22431 /proc/meminfo: memFree=1199176/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=725116 CPUtime=462.17 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 166951 0 0 0 46135 82 0 0 25 0 1 0 147463451 742518784 160759 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 181279 160759 139 317 0 180958 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 725116 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.96 2/78 22431 /proc/meminfo: memFree=1133064/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=788304 CPUtime=522.15 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 183199 0 0 0 52126 89 0 0 25 0 1 0 147463451 807223296 177007 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 197076 177007 139 317 0 196755 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 788304 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.96 2/78 22431 /proc/meminfo: memFree=1030344/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=896572 CPUtime=582.14 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 209192 0 0 0 58111 103 0 0 25 0 1 0 147463451 918089728 202740 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 224143 202740 170 317 0 223822 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 896572 [startup+642.303 s] /proc/loadavg: 1.00 1.00 0.96 2/78 22431 /proc/meminfo: memFree=962504/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=983524 CPUtime=642.13 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 229981 0 0 0 64101 112 0 0 25 0 1 0 147463451 1007128576 219536 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 245881 219536 170 317 0 245560 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 983524 ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 22431 /proc/meminfo: memFree=644936/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=1340036 CPUtime=1002.03 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 324527 0 0 0 100032 171 0 0 25 0 1 0 147463451 1372196864 298899 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 335009 298899 170 317 0 334688 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 1340036 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 22431 /proc/meminfo: memFree=599752/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=1386940 CPUtime=1062.02 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 337892 0 0 0 106023 179 0 0 25 0 1 0 147463451 1420226560 310122 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 346735 310122 170 317 0 346414 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 1386940 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 22431 /proc/meminfo: memFree=555400/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=1424428 CPUtime=1122 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 348969 0 0 0 112015 185 0 0 25 0 1 0 147463451 1458614272 321100 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 356107 321100 170 317 0 355786 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 1424428 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 22431 /proc/meminfo: memFree=518920/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=1455824 CPUtime=1181.98 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 358171 0 0 0 118007 191 0 0 25 0 1 0 147463451 1490763776 330269 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 363956 330269 170 317 0 363635 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 1455824 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 22431 /proc/meminfo: memFree=480776/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=1487832 CPUtime=1241.97 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 367716 0 0 0 124000 197 0 0 25 0 1 0 147463451 1523539968 339716 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 371958 339716 170 317 0 371637 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 1487832 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 22431 /proc/meminfo: memFree=445000/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=1518804 CPUtime=1301.96 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 376696 0 0 0 129993 203 0 0 25 0 1 0 147463451 1555255296 348565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 379701 348565 170 317 0 379380 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1518804 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 22431 /proc/meminfo: memFree=435208/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=1526988 CPUtime=1361.94 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 379143 0 0 0 135989 205 0 0 25 0 1 0 147463451 1563635712 351012 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563446 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 381747 351012 170 317 0 381426 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1526988 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.96 2/78 22431 /proc/meminfo: memFree=434120/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=1528192 CPUtime=1421.93 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 379408 0 0 0 141987 206 0 0 25 0 1 0 147463451 1564868608 351277 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 382048 351277 170 317 0 381727 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1528192 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 22431 /proc/meminfo: memFree=432840/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=1529396 CPUtime=1481.91 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 379724 0 0 0 147984 207 0 0 25 0 1 0 147463451 1566101504 351593 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 382349 351593 170 317 0 382028 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1529396 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 22431 /proc/meminfo: memFree=430856/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=1531392 CPUtime=1541.89 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 380219 0 0 0 153982 207 0 0 25 0 1 0 147463451 1568145408 352088 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 382848 352088 170 317 0 382527 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1531392 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 22433 /proc/meminfo: memFree=428360/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=1533248 CPUtime=1601.88 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 380831 0 0 0 159980 208 0 0 25 0 1 0 147463451 1570045952 352700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 383312 352700 170 317 0 382991 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1533248 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 22433 /proc/meminfo: memFree=426056/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=1535484 CPUtime=1661.86 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 381398 0 0 0 165977 209 0 0 25 0 1 0 147463451 1572335616 353267 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 383871 353267 170 317 0 383550 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1535484 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 22433 /proc/meminfo: memFree=424456/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=1537176 CPUtime=1721.85 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 381817 0 0 0 171975 210 0 0 25 0 1 0 147463451 1574068224 353686 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 384294 353686 170 317 0 383973 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1537176 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 22433 /proc/meminfo: memFree=419400/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=1541384 CPUtime=1781.83 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 383065 0 0 0 177972 211 0 0 25 0 1 0 147463451 1578377216 354934 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 385346 354934 170 317 0 385025 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1541384 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.96 2/78 22433 /proc/meminfo: memFree=417480/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=1542188 CPUtime=1800.03 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 383532 0 0 0 179792 211 0 0 25 0 1 0 147463451 1579200512 355401 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 385547 355401 170 317 0 385226 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1542188 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.96 2/79 22434 /proc/meminfo: memFree=417472/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=1542188 CPUtime=1800.13 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 383532 0 0 0 179802 211 0 0 25 0 1 0 147463451 1579200512 355401 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 385547 355401 170 317 0 385226 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 1542188 [startup+1801.4 s] /proc/loadavg: 1.00 1.00 0.96 2/79 22434 /proc/meminfo: memFree=417472/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=1542188 CPUtime=1800.92 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 383541 0 0 0 179881 211 0 0 25 0 1 0 147463451 1579200512 355410 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712525 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 385547 355410 170 317 0 385226 0 Current children cumulated CPU time (s) 1800.92 Current children cumulated vsize (KiB) 1542188 [startup+1801.6 s] /proc/loadavg: 1.00 1.00 0.96 2/79 22434 /proc/meminfo: memFree=417472/2055920 swapFree=4159620/4192956 [pid=22430] ppid=22428 vsize=0 CPUtime=1801.13 /proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194308 383557 0 0 0 179885 228 0 0 25 0 1 0 147463451 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22430/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1801.13 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.66 CPU time (s): 1801.2 CPU user time (s): 1798.85 CPU system time (s): 2.34164 CPU usage (%): 99.974 Max. virtual memory (cumulated for all children) (KiB): 1542188 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.85 system time used= 2.34164 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 383557 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= 4750 runsolver used 2.09768 second user time and 4.46332 second system time The end
Begin job on node34 on Thu Apr 19 15:11:20 UTC 2007 IDJOB= 357355 IDBENCH= 2464 IDSOLVER= 172 FILE ID= node34/357355-1176995479 PBS_JOBID= 4630452 Free space on /tmp= 66401 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-degen3.opb COMMAND LINE= oree /tmp/evaluation/357355-1176995479/instance-357355-1176995479.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-357355-1176995479 -o ROOT/results/node34/solver-357355-1176995479 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357355-1176995479/instance-357355-1176995479.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 180182351d074e1d8188f1fe7258cbed RANDOM SEED= 462864932 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node34.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.236 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.236 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: 1842536 kB Buffers: 22476 kB Cached: 105392 kB SwapCached: 2896 kB Active: 82688 kB Inactive: 68720 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1842536 kB SwapTotal: 4192956 kB SwapFree: 4159620 kB Dirty: 11900 kB Writeback: 0 kB Mapped: 30508 kB Slab: 47308 kB Committed_AS: 446032 kB PageTables: 1976 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= 66401 MiB End job on node34 on Thu Apr 19 15:41:23 UTC 2007