Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.23 | 1800.7 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran16x16.opb |
MD5SUM | 334ff12347ae763156f4e4389dfec521 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 8367624 |
Best CPU time to get the best result obtained on this benchmark | 1800.5 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5885956 |
Optimality of the best value was proved | NO |
Number of variables | 7936 |
Total number of constraints | 288 |
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 | 288 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 480 |
Number of terms in the objective function | 7936 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 1558042522197 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 1558042522197 |
Number of bits of the biggest sum of numbers | 41 |
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.09/0.11 c ...done 0.09/0.11 c #vars=7936 #constraints=321 hasObjective=yes 0.19/0.21 c res. mode=mod 0.19/0.21 c VSIDS like heuristics 0.19/0.21 c complete search running 0.19/0.25 c restart after 401 decisions 0.19/0.25 c nbDecision=500 #constraints=321 0.19/0.27 c restart after 801 decisions 0.19/0.29 c nbDecision=1000 #constraints=321 0.29/0.32 c nbDecision=1500 #constraints=321 0.29/0.33 c restart after 1601 decisions 0.29/0.35 c nbDecision=2000 #constraints=321 0.29/0.39 c nbDecision=2500 #constraints=321 0.39/0.42 c nbDecision=3000 #constraints=322 0.39/0.43 c restart after 3201 decisions 0.39/0.46 c nbDecision=3500 #constraints=323 0.39/0.49 c nbDecision=4000 #constraints=323 0.49/0.52 c nbDecision=4500 #constraints=323 0.59/0.63 c nbDecision=5000 #constraints=336 6.59/6.66 c nbDecision=5500 #constraints=834 15.88/15.96 c nbDecision=6000 #constraints=1333 25.48/25.51 c restart after 6401 decisions 25.58/25.68 c nbDecision=6500 #constraints=1731 25.68/25.73 c nbDecision=7000 #constraints=1731 25.68/25.77 c nbDecision=7500 #constraints=1731 25.78/25.87 c nbDecision=8000 #constraints=1731 33.18/33.24 c nbDecision=8500 #constraints=2052 40.18/40.20 c nbDecision=9000 #constraints=2347 50.27/50.30 c nbDecision=9500 #constraints=2714 52.58/52.62 c nbDecision=10000 #constraints=2838 54.47/54.57 c nbDecision=10500 #constraints=2944 55.87/55.95 c nbDecision=11000 #constraints=3019 57.68/57.78 c nbDecision=11500 #constraints=3112 59.38/59.46 c nbDecision=12000 #constraints=3201 60.77/60.87 c nbDecision=12500 #constraints=3278 61.67/61.70 c restart after 12801 decisions 62.07/62.10 c nbDecision=13000 #constraints=3319 62.07/62.18 c nbDecision=13500 #constraints=3319 62.17/62.25 c nbDecision=14000 #constraints=3319 62.47/62.50 c nbDecision=14500 #constraints=3319 63.37/63.42 c nbDecision=15000 #constraints=3357 64.98/65.08 c nbDecision=15500 #constraints=3442 66.37/66.49 c nbDecision=16000 #constraints=3515 68.18/68.27 c nbDecision=16500 #constraints=3606 69.28/69.32 c nbDecision=17000 #constraints=3660 70.97/71.08 c nbDecision=17500 #constraints=3748 72.57/72.63 c nbDecision=18000 #constraints=3826 76.47/76.51 c nbDecision=18500 #constraints=3983 95.96/96.04 c nbDecision=19000 #constraints=4484 103.76/103.82 c nbDecision=19500 #constraints=4734 110.16/110.28 c nbDecision=20000 #constraints=4963 114.86/114.90 c nbDecision=20500 #constraints=5126 120.36/120.47 c nbDecision=21000 #constraints=5308 126.36/126.42 c nbDecision=21500 #constraints=5496 133.25/133.36 c nbDecision=22000 #constraints=5704 138.76/138.85 c nbDecision=22500 #constraints=5867 143.86/143.92 c nbDecision=23000 #constraints=6015 150.56/150.66 c nbDecision=23500 #constraints=6195 156.56/156.61 c nbDecision=24000 #constraints=6350 162.65/162.78 c nbDecision=24500 #constraints=6499 170.25/170.33 c nbDecision=25000 #constraints=6694 179.35/179.42 c nbDecision=25500 #constraints=6918 181.25/181.39 c restart after 25601 decisions 182.35/182.49 c nbDecision=26000 #constraints=6962 182.65/182.70 c nbDecision=26500 #constraints=6962 182.75/182.81 c nbDecision=27000 #constraints=6962 183.25/183.35 c nbDecision=27500 #constraints=6962 189.44/189.52 c nbDecision=28000 #constraints=7101 201.04/201.13 c nbDecision=28500 #constraints=7391 207.24/207.40 c nbDecision=29000 #constraints=7537 213.63/213.74 c nbDecision=29500 #constraints=7687 219.43/219.57 c nbDecision=30000 #constraints=7823 226.04/226.11 c nbDecision=30500 #constraints=7955 233.03/233.11 c nbDecision=31000 #constraints=8106 240.63/240.75 c nbDecision=31500 #constraints=8256 250.82/250.93 c nbDecision=32000 #constraints=8498 257.43/257.58 c nbDecision=32500 #constraints=8624 264.82/264.95 c nbDecision=33000 #constraints=8763 273.92/274.06 c nbDecision=33500 #constraints=8924 284.22/284.32 c nbDecision=34000 #constraints=9098 293.52/293.67 c nbDecision=34500 #constraints=9273 300.81/300.97 c nbDecision=35000 #constraints=9388 308.72/308.83 c nbDecision=35500 #constraints=9536 313.21/313.34 c nbDecision=36000 #constraints=9623 317.81/317.97 c nbDecision=36500 #constraints=9709 321.71/321.82 c nbDecision=37000 #constraints=9765 326.00/326.14 c nbDecision=37500 #constraints=9828 331.61/331.74 c nbDecision=38000 #constraints=9927 337.00/337.13 c nbDecision=38500 #constraints=10004 341.60/341.79 c nbDecision=39000 #constraints=10077 347.30/347.47 c nbDecision=39500 #constraints=10171 353.20/353.31 c nbDecision=40000 #constraints=10269 358.50/358.68 c nbDecision=40500 #constraints=10350 364.39/364.50 c nbDecision=41000 #constraints=10437 368.89/369.06 c nbDecision=41500 #constraints=10503 376.69/376.83 c nbDecision=42000 #constraints=10623 382.19/382.37 c nbDecision=42500 #constraints=10715 386.60/386.70 c nbDecision=43000 #constraints=10786 392.89/393.09 c nbDecision=43500 #constraints=10889 396.79/396.97 c nbDecision=44000 #constraints=10960 402.09/402.26 c nbDecision=44500 #constraints=11065 406.99/407.18 c nbDecision=45000 #constraints=11138 412.79/412.91 c nbDecision=45500 #constraints=11214 422.68/422.86 c nbDecision=46000 #constraints=11360 429.48/429.63 c nbDecision=46500 #constraints=11445 437.78/437.95 c nbDecision=47000 #constraints=11546 446.28/446.40 c nbDecision=47500 #constraints=11644 454.67/454.82 c nbDecision=48000 #constraints=11740 464.08/464.21 c nbDecision=48500 #constraints=11865 474.07/474.29 c nbDecision=49000 #constraints=11978 483.87/484.03 c nbDecision=49500 #constraints=12101 491.66/491.86 c nbDecision=50000 #constraints=12189 503.17/503.35 c nbDecision=50500 #constraints=12337 511.37/511.53 c nbDecision=51000 #constraints=12440 514.56/514.77 c restart after 51201 decisions 516.46/516.62 c nbDecision=51500 #constraints=12484 516.86/517.04 c nbDecision=52000 #constraints=12484 516.96/517.13 c nbDecision=52500 #constraints=12484 517.56/517.75 c nbDecision=53000 #constraints=12484 525.86/526.02 c nbDecision=53500 #constraints=12598 537.45/537.63 c nbDecision=54000 #constraints=12751 548.55/548.80 c nbDecision=54500 #constraints=12872 559.65/559.89 c nbDecision=55000 #constraints=13016 569.85/570.07 c nbDecision=55500 #constraints=13138 582.14/582.32 c nbDecision=56000 #constraints=13277 590.74/590.98 c nbDecision=56500 #constraints=13376 603.93/604.14 c nbDecision=57000 #constraints=13554 613.94/614.11 c nbDecision=57500 #constraints=13673 621.03/621.27 c nbDecision=58000 #constraints=13758 626.63/626.81 c nbDecision=58500 #constraints=13825 631.63/631.87 c nbDecision=59000 #constraints=13899 637.43/637.67 c nbDecision=59500 #constraints=13977 645.43/645.69 c nbDecision=60000 #constraints=14061 652.32/652.54 c nbDecision=60500 #constraints=14130 658.82/659.07 c nbDecision=61000 #constraints=14186 668.92/669.17 c nbDecision=61500 #constraints=14291 680.12/680.36 c nbDecision=62000 #constraints=14408 688.51/688.72 c nbDecision=62500 #constraints=14508 696.21/696.49 c nbDecision=63000 #constraints=14583 704.61/704.80 c nbDecision=63500 #constraints=14672 713.20/713.45 c nbDecision=64000 #constraints=14760 722.30/722.50 c nbDecision=64500 #constraints=14845 729.11/729.39 c nbDecision=65000 #constraints=14908 740.70/741.00 c nbDecision=65500 #constraints=15024 749.80/750.04 c nbDecision=66000 #constraints=15130 757.49/757.75 c nbDecision=66500 #constraints=15213 764.80/765.09 c nbDecision=67000 #constraints=15286 771.70/771.98 c nbDecision=67500 #constraints=15363 777.99/778.29 c nbDecision=68000 #constraints=15434 783.58/783.83 c nbDecision=68500 #constraints=15495 790.89/791.19 c nbDecision=69000 #constraints=15571 800.39/800.66 c nbDecision=69500 #constraints=15657 811.08/811.33 c nbDecision=70000 #constraints=15754 823.98/824.28 c nbDecision=70500 #constraints=15892 832.68/832.90 c nbDecision=71000 #constraints=15969 843.97/844.28 c nbDecision=71500 #constraints=16069 857.17/857.43 c nbDecision=72000 #constraints=16202 866.47/866.78 c nbDecision=72500 #constraints=16280 875.76/876.00 c nbDecision=73000 #constraints=16360 887.07/887.39 c nbDecision=73500 #constraints=16465 899.36/899.67 c nbDecision=74000 #constraints=16584 910.46/910.75 c nbDecision=74500 #constraints=16678 923.75/924.07 c nbDecision=75000 #constraints=16809 935.85/936.14 c nbDecision=75500 #constraints=16914 949.75/950.09 c nbDecision=76000 #constraints=17028 965.04/965.34 c nbDecision=76500 #constraints=17157 980.14/980.41 c nbDecision=77000 #constraints=17288 998.44/998.75 c nbDecision=77500 #constraints=17468 1011.53/1011.87 c nbDecision=78000 #constraints=17592 1026.83/1027.14 c nbDecision=78500 #constraints=17727 1040.82/1041.15 c nbDecision=79000 #constraints=17862 1056.32/1056.70 c nbDecision=79500 #constraints=18010 1073.91/1074.20 c nbDecision=80000 #constraints=18144 1091.51/1091.81 c nbDecision=80500 #constraints=18289 1106.40/1106.77 c nbDecision=81000 #constraints=18410 1121.40/1121.77 c nbDecision=81500 #constraints=18537 1141.89/1142.23 c nbDecision=82000 #constraints=18740 1150.69/1151.04 c nbDecision=82500 #constraints=18804 1156.29/1156.66 c nbDecision=83000 #constraints=18862 1162.69/1163.06 c nbDecision=83500 #constraints=18919 1170.49/1170.86 c nbDecision=84000 #constraints=18981 1180.79/1181.12 c nbDecision=84500 #constraints=19065 1187.38/1187.77 c nbDecision=85000 #constraints=19114 1196.28/1196.69 c nbDecision=85500 #constraints=19179 1207.58/1207.90 c nbDecision=86000 #constraints=19272 1213.18/1213.57 c nbDecision=86500 #constraints=19316 1223.18/1223.57 c nbDecision=87000 #constraints=19389 1229.17/1229.53 c nbDecision=87500 #constraints=19437 1236.27/1236.65 c nbDecision=88000 #constraints=19495 1245.26/1245.68 c nbDecision=88500 #constraints=19575 1253.86/1254.26 c nbDecision=89000 #constraints=19644 1264.77/1265.17 c nbDecision=89500 #constraints=19722 1274.36/1274.73 c nbDecision=90000 #constraints=19784 1288.45/1288.82 c nbDecision=90500 #constraints=19890 1298.66/1299.06 c nbDecision=91000 #constraints=19960 1312.75/1313.12 c nbDecision=91500 #constraints=20057 1324.75/1325.14 c nbDecision=92000 #constraints=20137 1335.54/1335.94 c nbDecision=92500 #constraints=20213 1344.95/1345.33 c nbDecision=93000 #constraints=20277 1359.34/1359.78 c nbDecision=93500 #constraints=20384 1371.94/1372.36 c nbDecision=94000 #constraints=20471 1385.53/1385.91 c nbDecision=94500 #constraints=20563 1399.63/1400.07 c nbDecision=95000 #constraints=20655 1416.33/1416.73 c nbDecision=95500 #constraints=20769 1431.72/1432.15 c nbDecision=96000 #constraints=20872 1447.91/1448.33 c nbDecision=96500 #constraints=20983 1471.01/1471.45 c nbDecision=97000 #constraints=21165 1483.80/1484.22 c nbDecision=97500 #constraints=21259 1503.10/1503.50 c nbDecision=98000 #constraints=21397 1521.90/1522.33 c nbDecision=98500 #constraints=21541 1535.20/1535.66 c nbDecision=99000 #constraints=21631 1554.99/1555.41 c nbDecision=99500 #constraints=21767 1570.79/1571.21 c nbDecision=100000 #constraints=21870 1589.78/1590.22 c nbDecision=100500 #constraints=22004 1604.38/1604.87 c nbDecision=101000 #constraints=22125 1616.27/1616.77 c nbDecision=101500 #constraints=22210 1624.77/1625.22 c nbDecision=102000 #constraints=22283 1630.56/1631.02 c restart after 102401 decisions 1633.56/1634.01 c nbDecision=102500 #constraints=22341 1634.26/1634.77 c nbDecision=103000 #constraints=22341 1634.56/1635.02 c nbDecision=103500 #constraints=22341 1634.86/1635.33 c nbDecision=104000 #constraints=22341 1637.56/1638.05 c nbDecision=104500 #constraints=22357 1646.77/1647.22 c nbDecision=105000 #constraints=22435 1658.37/1658.81 c nbDecision=105500 #constraints=22498 1666.96/1667.48 c nbDecision=106000 #constraints=22554 1679.96/1680.48 c nbDecision=106500 #constraints=22641 1690.95/1691.44 c nbDecision=107000 #constraints=22708 1704.95/1705.43 c nbDecision=107500 #constraints=22791 1718.25/1718.71 c nbDecision=108000 #constraints=22872 1730.64/1731.12 c nbDecision=108500 #constraints=22945 1744.04/1744.55 c nbDecision=109000 #constraints=23035 1758.43/1758.94 c nbDecision=109500 #constraints=23124 1770.73/1771.25 c nbDecision=110000 #constraints=23202 1785.83/1786.38 c nbDecision=110500 #constraints=23296 1800.03/1800.50 Received signal 15 1800.03/1800.60 1800.03/1800.60 s UNKNOWN 1800.03/1800.60 1800.03/1800.60 c user time= 1799.38 s 1800.03/1800.60 c system time= 0.757884 s 1800.03/1800.60 c wall clock time=1800.6
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node27/watcher-357232-1176991860 -o ROOT/results/node27/solver-357232-1176991860 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357232-1176991860/instance-357232-1176991860.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.92 0.98 0.99 3/65 25921 /proc/meminfo: memFree=1450216/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=1468 CPUtime=0 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 111881965 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135290291 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 367 161 127 317 0 46 0 [startup+0.0340761 s] /proc/loadavg: 0.92 0.98 0.99 3/65 25921 /proc/meminfo: memFree=1450216/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=1888 CPUtime=0.03 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 266 0 0 0 3 0 0 0 18 0 1 0 111881965 1933312 248 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 472 248 131 317 0 151 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1888 [startup+0.101083 s] /proc/loadavg: 0.92 0.98 0.99 3/65 25921 /proc/meminfo: memFree=1450216/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=2948 CPUtime=0.09 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 549 0 0 0 9 0 0 0 18 0 1 0 111881965 3018752 531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 737 531 131 317 0 416 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2948 [startup+0.301102 s] /proc/loadavg: 0.92 0.98 0.99 3/65 25921 /proc/meminfo: memFree=1450216/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=4216 CPUtime=0.29 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 858 0 0 0 29 0 0 0 19 0 1 0 111881965 4317184 840 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 1054 840 138 317 0 733 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4216 [startup+0.701142 s] /proc/loadavg: 0.92 0.98 0.99 3/65 25921 /proc/meminfo: memFree=1450216/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=5284 CPUtime=0.69 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 1184 0 0 0 69 0 0 0 22 0 1 0 111881965 5410816 1166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593381 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 1321 1166 170 317 0 1000 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5284 [startup+1.50122 s] /proc/loadavg: 0.92 0.98 0.99 2/66 25922 /proc/meminfo: memFree=1444640/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=9120 CPUtime=1.49 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 2137 0 0 0 149 0 0 0 25 0 1 0 111881965 9338880 2119 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564074 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 2280 2119 170 317 0 1959 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9120 [startup+3.10139 s] /proc/loadavg: 0.92 0.98 0.99 2/66 25922 /proc/meminfo: memFree=1439264/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=16964 CPUtime=3.09 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 4088 0 0 0 308 1 0 0 25 0 1 0 111881965 17371136 4070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279021 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 4241 4070 170 317 0 3920 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16964 [startup+6.30171 s] /proc/loadavg: 0.93 0.98 0.99 2/66 25922 /proc/meminfo: memFree=1428896/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=24692 CPUtime=6.29 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 6023 0 0 0 628 1 0 0 25 0 1 0 111881965 25284608 6005 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271361 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 6173 6005 170 317 0 5852 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24692 [startup+12.7014 s] /proc/loadavg: 0.93 0.98 0.99 2/66 25922 /proc/meminfo: memFree=1411496/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=40880 CPUtime=12.69 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 10072 0 0 0 1266 3 0 0 25 0 1 0 111881965 41861120 10054 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 10220 10054 170 317 0 9899 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 40880 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.99 2/66 25922 /proc/meminfo: memFree=1385320/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=66872 CPUtime=25.48 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 16450 0 0 0 2542 6 0 0 25 0 1 0 111881965 68476928 16432 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270588 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 16718 16432 170 317 0 16397 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 66872 [startup+51.1012 s] /proc/loadavg: 0.96 0.98 0.99 2/66 25922 /proc/meminfo: memFree=1349224/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=102320 CPUtime=51.07 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 25426 0 0 0 5097 10 0 0 25 0 1 0 111881965 104775680 25408 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 25580 25408 170 317 0 25259 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 102320 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/66 25922 /proc/meminfo: memFree=1295144/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=158668 CPUtime=102.27 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 38826 0 0 0 10210 17 0 0 25 0 1 0 111881965 162476032 38808 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 39667 38808 170 317 0 39346 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 158668 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 25922 /proc/meminfo: memFree=1253992/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=203368 CPUtime=162.25 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 49144 0 0 0 16203 22 0 0 25 0 1 0 111881965 208248832 49126 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 50842 49126 170 317 0 50521 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 203368 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 25922 /proc/meminfo: memFree=1227816/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=227400 CPUtime=222.24 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 55630 0 0 0 22198 26 0 0 25 0 1 0 111881965 232857600 55612 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563469 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 56850 55612 170 317 0 56529 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 227400 [startup+282.302 s] /proc/loadavg: 1.06 1.00 1.00 2/66 25922 /proc/meminfo: memFree=1205416/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=247948 CPUtime=282.22 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 61319 0 0 0 28193 29 0 0 25 0 1 0 111881965 253898752 61244 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 61987 61244 170 317 0 61666 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 247948 [startup+342.302 s] /proc/loadavg: 1.08 1.02 1.00 2/66 25922 /proc/meminfo: memFree=1186024/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=265164 CPUtime=342.2 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 66089 0 0 0 34188 32 0 0 25 0 1 0 111881965 271527936 66014 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134533544 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 66291 66014 170 317 0 65970 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 265164 [startup+402.302 s] /proc/loadavg: 1.09 1.03 1.00 2/66 25922 /proc/meminfo: memFree=1155048/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=310232 CPUtime=402.18 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 73856 0 0 0 40182 36 0 0 25 0 1 0 111881965 317677568 73781 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 77558 73781 170 317 0 77237 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 310232 [startup+462.302 s] /proc/loadavg: 1.14 1.05 1.01 2/66 25922 /proc/meminfo: memFree=1139752/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=323704 CPUtime=462.17 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 77605 0 0 0 46178 39 0 0 25 0 1 0 111881965 331472896 77530 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 80926 77530 170 317 0 80605 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 323704 [startup+522.302 s] /proc/loadavg: 1.10 1.05 1.01 2/66 25922 /proc/meminfo: memFree=1127272/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=335708 CPUtime=522.16 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 80807 0 0 0 52176 40 0 0 25 0 1 0 111881965 343764992 80732 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 83927 80732 170 317 0 83606 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 335708 [startup+582.302 s] /proc/loadavg: 1.03 1.04 1.00 2/66 25922 /proc/meminfo: memFree=1112872/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=348228 CPUtime=582.14 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 84356 0 0 0 58172 42 0 0 25 0 1 0 111881965 356585472 84281 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 87057 84281 170 317 0 86736 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 348228 [startup+642.301 s] /proc/loadavg: 1.01 1.03 1.00 2/66 25922 /proc/meminfo: memFree=1099112/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=360964 CPUtime=642.13 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 87761 0 0 0 64168 45 0 0 25 0 1 0 111881965 369627136 87686 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 90241 87686 170 317 0 89920 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 360964 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.01 1.00 2/66 25922 /proc/meminfo: memFree=1054120/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=401436 CPUtime=882.07 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 98996 0 0 0 88155 52 0 0 25 0 1 0 111881965 411070464 98921 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 100359 98921 170 317 0 100038 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 401436 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 25922 /proc/meminfo: memFree=1043880/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=411216 CPUtime=942.05 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 101702 0 0 0 94151 54 0 0 25 0 1 0 111881965 421085184 101481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 102804 101481 170 317 0 102483 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 411216 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 25924 /proc/meminfo: memFree=1033704/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=420520 CPUtime=1002.03 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 104213 0 0 0 100148 55 0 0 25 0 1 0 111881965 430612480 103992 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 105130 103992 170 317 0 104809 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 420520 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 25924 /proc/meminfo: memFree=1023592/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=429632 CPUtime=1062.01 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 106743 0 0 0 106144 57 0 0 25 0 1 0 111881965 439943168 106522 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 107408 106522 170 317 0 107087 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 429632 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 25924 /proc/meminfo: memFree=1014376/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=437876 CPUtime=1122 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 109048 0 0 0 112141 59 0 0 25 0 1 0 111881965 448385024 108827 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 109469 108827 170 317 0 109148 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 437876 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 25924 /proc/meminfo: memFree=990632/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=502368 CPUtime=1181.98 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 122192 0 0 0 118135 63 0 0 25 0 1 0 111881965 514424832 114744 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 125592 114744 170 317 0 125271 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 502368 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 25924 /proc/meminfo: memFree=981288/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=510720 CPUtime=1241.97 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 124597 0 0 0 124133 64 0 0 25 0 1 0 111881965 522977280 117050 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 127680 117051 170 317 0 127359 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 510720 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 25924 /proc/meminfo: memFree=972392/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=518152 CPUtime=1301.96 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 126821 0 0 0 130130 66 0 0 25 0 1 0 111881965 530587648 119241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 129538 119241 170 317 0 129217 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 518152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 25924 /proc/meminfo: memFree=964072/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=525288 CPUtime=1361.94 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 128920 0 0 0 136127 67 0 0 25 0 1 0 111881965 537894912 121340 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 131322 121340 170 317 0 131001 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 525288 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/66 25924 /proc/meminfo: memFree=955752/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=532076 CPUtime=1421.92 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 130979 0 0 0 142124 68 0 0 25 0 1 0 111881965 544845824 123399 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 133019 123399 170 317 0 132698 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 532076 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 25924 /proc/meminfo: memFree=948456/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=539660 CPUtime=1481.91 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 132852 0 0 0 148122 69 0 0 25 0 1 0 111881965 552611840 125239 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564065 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 134915 125239 170 317 0 134594 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 539660 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 25924 /proc/meminfo: memFree=939624/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=546980 CPUtime=1541.89 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 135030 0 0 0 154119 70 0 0 25 0 1 0 111881965 560107520 127417 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 136745 127417 170 317 0 136424 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 546980 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 25924 /proc/meminfo: memFree=931240/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=554188 CPUtime=1601.87 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 137154 0 0 0 160116 71 0 0 25 0 1 0 111881965 567488512 129541 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 138547 129541 170 317 0 138226 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 554188 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 25924 /proc/meminfo: memFree=922664/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=561264 CPUtime=1661.86 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 139250 0 0 0 166113 73 0 0 25 0 1 0 111881965 574734336 131637 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 140316 131637 170 317 0 139995 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 561264 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 25924 /proc/meminfo: memFree=915176/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=567644 CPUtime=1721.85 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 141143 0 0 0 172111 74 0 0 25 0 1 0 111881965 581267456 133530 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 141911 133530 170 317 0 141590 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 567644 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 25924 /proc/meminfo: memFree=908584/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=574180 CPUtime=1781.83 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 142760 0 0 0 178108 75 0 0 25 0 1 0 111881965 587960320 135147 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 143545 135147 170 317 0 143224 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 574180 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/66 25924 /proc/meminfo: memFree=905384/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=576136 CPUtime=1800.03 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 143573 0 0 0 179928 75 0 0 25 0 1 0 111881965 589963264 135960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 144034 135960 170 317 0 143713 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 576136 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 1.00 2/67 25925 /proc/meminfo: memFree=905760/2055920 swapFree=4179984/4192956 [pid=25921] ppid=25919 vsize=545332 CPUtime=1800.13 /proc/25921/stat : 25921 (oree) R 25919 25921 25578 0 -1 4194304 143593 0 0 0 179937 76 0 0 25 0 1 0 111881965 558419968 130989 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25921/statm: 136268 130947 186 317 0 135947 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 545332 Child status: 0 Real time (s): 1800.7 CPU time (s): 1800.23 CPU user time (s): 1799.38 CPU system time (s): 0.84987 CPU usage (%): 99.974 Max. virtual memory (cumulated for all children) (KiB): 576136 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.38 system time used= 0.84987 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 143593 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= 2620 runsolver used 1.27381 second user time and 3.72343 second system time The end
Begin job on node27 on Thu Apr 19 14:11:01 UTC 2007 IDJOB= 357232 IDBENCH= 2293 IDSOLVER= 172 FILE ID= node27/357232-1176991860 PBS_JOBID= 4630447 Free space on /tmp= 66376 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran16x16.opb COMMAND LINE= oree /tmp/evaluation/357232-1176991860/instance-357232-1176991860.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-357232-1176991860 -o ROOT/results/node27/solver-357232-1176991860 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357232-1176991860/instance-357232-1176991860.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 334ff12347ae763156f4e4389dfec521 RANDOM SEED= 40655090 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node27.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 : 5931.00 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: 1450624 kB Buffers: 34676 kB Cached: 494468 kB SwapCached: 6696 kB Active: 54356 kB Inactive: 487192 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1450624 kB SwapTotal: 4192956 kB SwapFree: 4179984 kB Dirty: 1696 kB Writeback: 0 kB Mapped: 15452 kB Slab: 49716 kB Committed_AS: 1691956 kB PageTables: 1412 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= 66376 MiB End job on node27 on Thu Apr 19 14:41:03 UTC 2007