Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.19 | 1800.7 |
Name | normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ pebbling/unsat-pbl-00150.sat05-1328.reshuffled-07.opb |
MD5SUM | 6dff79b0d7d9f8327e93243a49f1fb66 |
Bench Category | PURE-SAT (instances containing only clauses) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 559.929 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 552 |
Total number of constraints | 30977 |
Number of constraints which are clauses | 30977 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 8 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 19 |
Number of bits of the biggest sum of numbers | 5 |
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.59/0.69 c ...done 0.59/0.69 c #vars=552 #constraints=30977 hasObjective=no 0.69/0.76 c res. mode=mod 0.69/0.76 c VSIDS like heuristics 0.69/0.76 c complete search running 1.00/1.02 c restart after 401 decisions 1.19/1.22 c nbDecision=500 #constraints=30980 1.29/1.31 c restart after 801 decisions 1.49/1.55 c nbDecision=1000 #constraints=30981 1.69/1.73 c nbDecision=1500 #constraints=30987 1.69/1.74 c restart after 1601 decisions 1.99/2.02 c nbDecision=2000 #constraints=30988 2.20/2.22 c nbDecision=2500 #constraints=30995 2.39/2.45 c nbDecision=3000 #constraints=31001 2.49/2.54 c restart after 3201 decisions 2.79/2.85 c nbDecision=3500 #constraints=31003 2.99/3.09 c nbDecision=4000 #constraints=31006 3.30/3.36 c nbDecision=4500 #constraints=31012 3.59/3.64 c nbDecision=5000 #constraints=31020 4.69/4.77 c nbDecision=5500 #constraints=31201 5.79/5.86 c nbDecision=6000 #constraints=31340 6.99/7.07 c restart after 6401 decisions 7.19/7.22 c nbDecision=6500 #constraints=31520 9.39/9.48 c nbDecision=7000 #constraints=31770 12.99/13.00 c nbDecision=7500 #constraints=32156 16.58/16.60 c nbDecision=8000 #constraints=32552 20.68/20.75 c nbDecision=8500 #constraints=32993 24.48/24.56 c nbDecision=9000 #constraints=33310 26.58/26.66 c nbDecision=9500 #constraints=33475 27.68/27.74 c nbDecision=10000 #constraints=33693 29.19/29.23 c nbDecision=10500 #constraints=33935 32.48/32.54 c nbDecision=11000 #constraints=34188 35.58/35.69 c nbDecision=11500 #constraints=34345 40.38/40.48 c nbDecision=12000 #constraints=34660 41.98/42.02 c nbDecision=12500 #constraints=34818 41.98/42.09 c restart after 12801 decisions 42.28/42.38 c nbDecision=13000 #constraints=34895 43.68/43.77 c nbDecision=13500 #constraints=35003 47.48/47.58 c nbDecision=14000 #constraints=35313 51.78/51.86 c nbDecision=14500 #constraints=35635 55.58/55.68 c nbDecision=15000 #constraints=35931 59.58/59.68 c nbDecision=15500 #constraints=36224 63.47/63.51 c nbDecision=16000 #constraints=36467 67.67/67.74 c nbDecision=16500 #constraints=36784 72.97/73.00 c nbDecision=17000 #constraints=37124 78.77/78.85 c nbDecision=17500 #constraints=37512 84.77/84.82 c nbDecision=18000 #constraints=37888 90.37/90.45 c nbDecision=18500 #constraints=38238 95.57/95.63 c nbDecision=19000 #constraints=38558 102.06/102.14 c nbDecision=19500 #constraints=38900 109.06/109.16 c nbDecision=20000 #constraints=39282 115.96/116.09 c nbDecision=20500 #constraints=39656 123.45/123.59 c nbDecision=21000 #constraints=40012 129.85/129.98 c nbDecision=21500 #constraints=40332 138.45/138.57 c nbDecision=22000 #constraints=40703 146.25/146.35 c nbDecision=22500 #constraints=41071 153.35/153.48 c nbDecision=23000 #constraints=41403 162.55/162.65 c nbDecision=23500 #constraints=41768 168.65/168.79 c nbDecision=24000 #constraints=42123 176.24/176.30 c nbDecision=24500 #constraints=42500 184.44/184.55 c nbDecision=25000 #constraints=42882 193.54/193.69 c nbDecision=25500 #constraints=43245 195.03/195.19 c restart after 25601 decisions 196.84/196.99 c nbDecision=26000 #constraints=43388 198.34/198.49 c nbDecision=26500 #constraints=43438 202.93/203.07 c nbDecision=27000 #constraints=43778 204.03/204.13 c nbDecision=27500 #constraints=43911 207.43/207.56 c nbDecision=28000 #constraints=44248 211.33/211.43 c nbDecision=28500 #constraints=44634 214.63/214.75 c nbDecision=29000 #constraints=44935 219.13/219.22 c nbDecision=29500 #constraints=45321 222.04/222.10 c nbDecision=30000 #constraints=45557 225.13/225.25 c nbDecision=30500 #constraints=45821 229.53/229.70 c nbDecision=31000 #constraints=46169 233.63/233.79 c nbDecision=31500 #constraints=46474 237.32/237.50 c nbDecision=32000 #constraints=46797 240.52/240.65 c nbDecision=32500 #constraints=47012 244.92/245.08 c nbDecision=33000 #constraints=47308 248.82/248.94 c nbDecision=33500 #constraints=47592 253.93/254.03 c nbDecision=34000 #constraints=47941 258.43/258.52 c nbDecision=34500 #constraints=48185 263.32/263.46 c nbDecision=35000 #constraints=48543 269.32/269.42 c nbDecision=35500 #constraints=48891 273.82/273.99 c nbDecision=36000 #constraints=49147 279.72/279.84 c nbDecision=36500 #constraints=49465 284.11/284.28 c nbDecision=37000 #constraints=49705 288.31/288.46 c nbDecision=37500 #constraints=49894 293.51/293.63 c nbDecision=38000 #constraints=50114 299.21/299.37 c nbDecision=38500 #constraints=50370 306.00/306.14 c nbDecision=39000 #constraints=50701 313.40/313.54 c nbDecision=39500 #constraints=51027 320.30/320.44 c nbDecision=40000 #constraints=51357 328.81/328.96 c nbDecision=40500 #constraints=51678 336.20/336.31 c nbDecision=41000 #constraints=51956 342.60/342.72 c nbDecision=41500 #constraints=52183 350.49/350.63 c nbDecision=42000 #constraints=52497 359.19/359.38 c nbDecision=42500 #constraints=52791 371.18/371.33 c nbDecision=43000 #constraints=53218 381.39/381.60 c nbDecision=43500 #constraints=53548 388.98/389.13 c nbDecision=44000 #constraints=53757 396.78/396.92 c nbDecision=44500 #constraints=53989 406.28/406.46 c nbDecision=45000 #constraints=54258 413.27/413.49 c nbDecision=45500 #constraints=54455 420.47/420.63 c nbDecision=46000 #constraints=54636 428.27/428.46 c nbDecision=46500 #constraints=54859 440.07/440.22 c nbDecision=47000 #constraints=55261 451.47/451.65 c nbDecision=47500 #constraints=55606 463.86/464.05 c nbDecision=48000 #constraints=55966 473.46/473.69 c nbDecision=48500 #constraints=56213 482.46/482.61 c nbDecision=49000 #constraints=56425 494.86/495.10 c nbDecision=49500 #constraints=56731 504.75/504.95 c nbDecision=50000 #constraints=56985 517.34/517.57 c nbDecision=50500 #constraints=57360 530.35/530.53 c nbDecision=51000 #constraints=57645 533.44/533.67 c restart after 51201 decisions 536.14/536.31 c nbDecision=51500 #constraints=57796 537.75/537.94 c nbDecision=52000 #constraints=57866 539.24/539.49 c nbDecision=52500 #constraints=57956 543.04/543.21 c nbDecision=53000 #constraints=58232 545.74/545.96 c nbDecision=53500 #constraints=58519 548.14/548.34 c nbDecision=54000 #constraints=58753 550.73/550.92 c nbDecision=54500 #constraints=58998 554.44/554.64 c nbDecision=55000 #constraints=59327 558.64/558.87 c nbDecision=55500 #constraints=59682 562.63/562.85 c nbDecision=56000 #constraints=59997 565.73/565.90 c nbDecision=56500 #constraints=60231 569.53/569.79 c nbDecision=57000 #constraints=60519 573.63/573.85 c nbDecision=57500 #constraints=60829 578.13/578.31 c nbDecision=58000 #constraints=61158 582.93/583.11 c nbDecision=58500 #constraints=61510 588.53/588.70 c nbDecision=59000 #constraints=61889 594.02/594.25 c nbDecision=59500 #constraints=62242 598.92/599.17 c nbDecision=60000 #constraints=62516 604.83/605.00 c nbDecision=60500 #constraints=62814 610.92/611.19 c nbDecision=61000 #constraints=63175 617.42/617.68 c nbDecision=61500 #constraints=63511 623.12/623.37 c nbDecision=62000 #constraints=63790 627.11/627.35 c nbDecision=62500 #constraints=64006 633.81/634.04 c nbDecision=63000 #constraints=64352 640.91/641.19 c nbDecision=63500 #constraints=64707 647.72/647.91 c nbDecision=64000 #constraints=65044 654.11/654.32 c nbDecision=64500 #constraints=65355 660.01/660.23 c nbDecision=65000 #constraints=65605 667.20/667.45 c nbDecision=65500 #constraints=65887 671.21/671.48 c nbDecision=66000 #constraints=66103 680.10/680.37 c nbDecision=66500 #constraints=66458 688.40/688.63 c nbDecision=67000 #constraints=66794 696.20/696.42 c nbDecision=67500 #constraints=67135 704.90/705.11 c nbDecision=68000 #constraints=67467 713.70/713.92 c nbDecision=68500 #constraints=67788 723.78/724.04 c nbDecision=69000 #constraints=68177 732.39/732.70 c nbDecision=69500 #constraints=68498 743.09/743.32 c nbDecision=70000 #constraints=68855 755.48/755.77 c nbDecision=70500 #constraints=69174 763.58/763.88 c nbDecision=71000 #constraints=69415 775.07/775.40 c nbDecision=71500 #constraints=69735 784.57/784.81 c nbDecision=72000 #constraints=69974 792.07/792.34 c nbDecision=72500 #constraints=70227 798.97/799.29 c nbDecision=73000 #constraints=70515 810.77/811.03 c nbDecision=73500 #constraints=70843 819.76/820.05 c nbDecision=74000 #constraints=71130 826.96/827.29 c nbDecision=74500 #constraints=71363 835.46/835.77 c nbDecision=75000 #constraints=71623 848.16/848.49 c nbDecision=75500 #constraints=71979 858.86/859.12 c nbDecision=76000 #constraints=72299 867.85/868.15 c nbDecision=76500 #constraints=72540 882.84/883.20 c nbDecision=77000 #constraints=72916 899.44/899.72 c nbDecision=77500 #constraints=73269 914.14/914.40 c nbDecision=78000 #constraints=73593 924.33/924.69 c nbDecision=78500 #constraints=73865 934.93/935.27 c nbDecision=79000 #constraints=74166 945.73/946.06 c nbDecision=79500 #constraints=74479 957.62/957.98 c nbDecision=80000 #constraints=74776 962.62/963.00 c nbDecision=80500 #constraints=74895 973.12/973.44 c nbDecision=81000 #constraints=75209 980.12/980.48 c nbDecision=81500 #constraints=75386 990.72/991.08 c nbDecision=82000 #constraints=75640 1004.11/1004.44 c nbDecision=82500 #constraints=75926 1015.70/1016.05 c nbDecision=83000 #constraints=76182 1027.40/1027.75 c nbDecision=83500 #constraints=76509 1040.10/1040.46 c nbDecision=84000 #constraints=76791 1053.40/1053.77 c nbDecision=84500 #constraints=77186 1068.09/1068.45 c nbDecision=85000 #constraints=77477 1081.28/1081.62 c nbDecision=85500 #constraints=77784 1097.59/1097.93 c nbDecision=86000 #constraints=78123 1108.88/1109.23 c nbDecision=86500 #constraints=78355 1124.88/1125.29 c nbDecision=87000 #constraints=78700 1139.87/1140.30 c nbDecision=87500 #constraints=79067 1157.87/1158.23 c nbDecision=88000 #constraints=79412 1169.87/1170.22 c nbDecision=88500 #constraints=79691 1180.66/1181.02 c nbDecision=89000 #constraints=79942 1195.55/1195.91 c nbDecision=89500 #constraints=80203 1213.75/1214.15 c nbDecision=90000 #constraints=80496 1230.84/1231.28 c nbDecision=90500 #constraints=80856 1247.94/1248.33 c nbDecision=91000 #constraints=81251 1259.33/1259.77 c nbDecision=91500 #constraints=81525 1275.73/1276.11 c nbDecision=92000 #constraints=81922 1297.82/1298.24 c nbDecision=92500 #constraints=82330 1315.42/1315.83 c nbDecision=93000 #constraints=82612 1334.01/1334.45 c nbDecision=93500 #constraints=82991 1352.21/1352.62 c nbDecision=94000 #constraints=83256 1382.70/1383.10 c nbDecision=94500 #constraints=83661 1400.09/1400.51 c nbDecision=95000 #constraints=83906 1419.89/1420.37 c nbDecision=95500 #constraints=84216 1438.49/1438.97 c nbDecision=96000 #constraints=84496 1459.08/1459.59 c nbDecision=96500 #constraints=84815 1474.48/1474.97 c nbDecision=97000 #constraints=85035 1495.97/1496.41 c nbDecision=97500 #constraints=85360 1518.56/1519.08 c nbDecision=98000 #constraints=85703 1536.26/1536.73 c nbDecision=98500 #constraints=85971 1557.15/1557.69 c nbDecision=99000 #constraints=86316 1577.25/1577.72 c nbDecision=99500 #constraints=86694 1597.84/1598.33 c nbDecision=100000 #constraints=87085 1621.53/1622.05 c nbDecision=100500 #constraints=87418 1643.42/1643.93 c nbDecision=101000 #constraints=87731 1662.32/1662.81 c nbDecision=101500 #constraints=88061 1679.91/1680.48 c nbDecision=102000 #constraints=88320 1694.01/1694.50 c restart after 102401 decisions 1695.41/1695.98 c nbDecision=102500 #constraints=88515 1699.11/1699.61 c nbDecision=103000 #constraints=88568 1713.01/1713.54 c nbDecision=103500 #constraints=88905 1726.70/1727.30 c nbDecision=104000 #constraints=89238 1743.70/1744.29 c nbDecision=104500 #constraints=89629 1760.69/1761.26 c nbDecision=105000 #constraints=90014 1773.89/1774.47 c nbDecision=105500 #constraints=90292 1791.08/1791.67 c nbDecision=106000 #constraints=90602 1800.09/1800.61 Received signal 15 1800.09/1800.67 1800.09/1800.67 s UNKNOWN 1800.09/1800.67 1800.09/1800.67 c user time= 1799.84 s 1800.09/1800.67 c system time= 0.318951 s 1800.09/1800.67 c wall clock time=1800.67
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node54/watcher-420403-1177423555 -o ROOT/results/node54/solver-420403-1177423555 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/420403-1177423555/instance-420403-1177423555.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.98 3/66 11096 /proc/meminfo: memFree=1702976/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=1468 CPUtime=0 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 189730003 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 367 165 130 317 0 46 0 [startup+0.0405129 s] /proc/loadavg: 0.91 0.95 0.98 3/66 11096 /proc/meminfo: memFree=1702976/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=2260 CPUtime=0.03 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 358 0 0 0 3 0 0 0 18 0 1 0 189730003 2314240 341 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274638 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 565 341 130 317 0 244 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2260 [startup+0.101515 s] /proc/loadavg: 0.91 0.95 0.98 3/66 11096 /proc/meminfo: memFree=1702976/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=3452 CPUtime=0.09 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 658 0 0 0 9 0 0 0 18 0 1 0 189730003 3534848 641 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 863 641 130 317 0 542 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3452 [startup+0.30154 s] /proc/loadavg: 0.91 0.95 0.98 3/66 11096 /proc/meminfo: memFree=1702976/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=7280 CPUtime=0.29 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 1638 0 0 0 29 0 0 0 19 0 1 0 189730003 7454720 1621 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 1820 1621 130 317 0 1499 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7280 [startup+0.701591 s] /proc/loadavg: 0.91 0.95 0.98 3/66 11096 /proc/meminfo: memFree=1702976/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=16444 CPUtime=0.69 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 3838 0 0 0 68 1 0 0 22 0 1 0 189730003 16838656 3821 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 4111 3823 136 317 0 3790 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16444 [startup+1.50173 s] /proc/loadavg: 0.91 0.95 0.98 2/67 11097 /proc/meminfo: memFree=1683320/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=21684 CPUtime=1.49 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 5196 0 0 0 147 2 0 0 25 0 1 0 189730003 22204416 4967 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716120 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 5421 4967 139 317 0 5100 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21684 [startup+3.10194 s] /proc/loadavg: 0.91 0.95 0.98 2/67 11097 /proc/meminfo: memFree=1683256/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=21684 CPUtime=3.09 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 5196 0 0 0 307 2 0 0 25 0 1 0 189730003 22204416 4967 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 5421 4967 139 317 0 5100 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21684 [startup+6.30131 s] /proc/loadavg: 0.92 0.95 0.98 2/67 11097 /proc/meminfo: memFree=1683128/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=21684 CPUtime=6.29 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 5199 0 0 0 627 2 0 0 25 0 1 0 189730003 22204416 4970 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 5421 4970 139 317 0 5100 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21684 [startup+12.7011 s] /proc/loadavg: 0.93 0.95 0.98 2/67 11097 /proc/meminfo: memFree=1683128/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=21684 CPUtime=12.69 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 5208 0 0 0 1267 2 0 0 25 0 1 0 189730003 22204416 4979 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 5421 4979 139 317 0 5100 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21684 [startup+25.5018 s] /proc/loadavg: 0.94 0.96 0.98 2/67 11097 /proc/meminfo: memFree=1682360/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=22600 CPUtime=25.48 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 5470 0 0 0 2546 2 0 0 25 0 1 0 189730003 23142400 5208 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 5650 5208 139 317 0 5329 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 22600 [startup+51.102 s] /proc/loadavg: 0.96 0.96 0.98 2/67 11097 /proc/meminfo: memFree=1679416/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=25604 CPUtime=51.08 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 6204 0 0 0 5105 3 0 0 25 0 1 0 189730003 26218496 5942 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 6401 5942 139 317 0 6080 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 25604 [startup+102.307 s] /proc/loadavg: 0.98 0.96 0.98 2/67 11097 /proc/meminfo: memFree=1675128/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=30084 CPUtime=102.27 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 7273 0 0 0 10223 4 0 0 25 0 1 0 189730003 30806016 7011 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 7521 7011 139 317 0 7200 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 30084 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11097 /proc/meminfo: memFree=1671480/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=33884 CPUtime=162.25 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 8197 0 0 0 16220 5 0 0 25 0 1 0 189730003 34697216 7935 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 8471 7935 139 317 0 8150 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 33884 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11097 /proc/meminfo: memFree=1666488/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=38764 CPUtime=222.23 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 9433 0 0 0 22216 7 0 0 25 0 1 0 189730003 39694336 9171 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710960 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 9691 9171 139 317 0 9370 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 38764 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11099 /proc/meminfo: memFree=1660920/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=44228 CPUtime=282.21 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 10791 0 0 0 28213 8 0 0 25 0 1 0 189730003 45289472 10529 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 11057 10529 139 317 0 10736 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 44228 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11099 /proc/meminfo: memFree=1656888/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=48528 CPUtime=342.2 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 11789 0 0 0 34211 9 0 0 25 0 1 0 189730003 49692672 11527 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 12132 11527 139 317 0 11811 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 48528 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11099 /proc/meminfo: memFree=1653368/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=52292 CPUtime=402.18 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 12670 0 0 0 40208 10 0 0 25 0 1 0 189730003 53547008 12408 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 13073 12408 139 317 0 12752 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 52292 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11099 /proc/meminfo: memFree=1650680/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=54876 CPUtime=462.16 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 13331 0 0 0 46205 11 0 0 25 0 1 0 189730003 56193024 13069 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563770 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 13719 13069 139 317 0 13398 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 54876 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11099 /proc/meminfo: memFree=1648248/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=57640 CPUtime=522.14 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 13954 0 0 0 52203 11 0 0 25 0 1 0 189730003 59023360 13692 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 14410 13692 139 317 0 14089 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 57640 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11099 /proc/meminfo: memFree=1642680/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=63400 CPUtime=582.12 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 15339 0 0 0 58199 13 0 0 25 0 1 0 189730003 64921600 15077 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562758 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 15850 15077 139 317 0 15529 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 63400 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11099 /proc/meminfo: memFree=1637368/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=70296 CPUtime=642.12 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 17073 0 0 0 64197 15 0 0 25 0 1 0 189730003 71983104 16388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 17574 16388 139 317 0 17253 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 70296 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11099 /proc/meminfo: memFree=1626232/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=82384 CPUtime=822.06 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 19992 0 0 0 82188 18 0 0 25 0 1 0 189730003 84361216 19176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 20596 19176 139 317 0 20275 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 82384 [startup+882.303 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11099 /proc/meminfo: memFree=1622840/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=85964 CPUtime=882.04 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 20866 0 0 0 88185 19 0 0 25 0 1 0 189730003 88027136 20017 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 21491 20017 139 317 0 21170 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 85964 [startup+942.303 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11099 /proc/meminfo: memFree=1619960/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=88844 CPUtime=942.03 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 21577 0 0 0 94183 20 0 0 25 0 1 0 189730003 90976256 20728 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 22211 20728 139 317 0 21890 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 88844 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11099 /proc/meminfo: memFree=1617208/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=91788 CPUtime=1002.01 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 22311 0 0 0 100180 21 0 0 25 0 1 0 189730003 93990912 21429 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 22947 21429 139 317 0 22626 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 91788 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11099 /proc/meminfo: memFree=1614456/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=94604 CPUtime=1061.99 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 23033 0 0 0 106177 22 0 0 25 0 1 0 189730003 96874496 22118 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 23651 22118 139 317 0 23330 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 94604 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11099 /proc/meminfo: memFree=1611960/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=97160 CPUtime=1121.98 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 23684 0 0 0 112175 23 0 0 25 0 1 0 189730003 99491840 22736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 24290 22736 139 317 0 23969 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 97160 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11099 /proc/meminfo: memFree=1609336/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=99900 CPUtime=1181.96 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 24431 0 0 0 118172 24 0 0 25 0 1 0 189730003 102297600 23384 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 24975 23384 139 317 0 24654 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 99900 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11099 /proc/meminfo: memFree=1607352/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=102176 CPUtime=1241.94 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 25004 0 0 0 124169 25 0 0 25 0 1 0 189730003 104628224 23891 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 25544 23891 139 317 0 25223 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 102176 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11099 /proc/meminfo: memFree=1604472/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=105080 CPUtime=1301.93 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 25781 0 0 0 130167 26 0 0 25 0 1 0 189730003 107601920 24602 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 26270 24602 139 317 0 25949 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 105080 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11099 /proc/meminfo: memFree=1602296/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=107492 CPUtime=1361.9 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 26426 0 0 0 136163 27 0 0 25 0 1 0 189730003 110071808 25148 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 26873 25148 139 317 0 26552 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 107492 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11099 /proc/meminfo: memFree=1600120/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=109608 CPUtime=1421.89 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 26993 0 0 0 142161 28 0 0 25 0 1 0 189730003 112238592 25682 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 27402 25682 139 317 0 27081 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 109608 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11099 /proc/meminfo: memFree=1598072/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=111864 CPUtime=1481.87 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 27526 0 0 0 148158 29 0 0 25 0 1 0 189730003 114548736 26182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 27966 26182 139 317 0 27645 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 111864 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11099 /proc/meminfo: memFree=1596152/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=114020 CPUtime=1541.85 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 28058 0 0 0 154156 29 0 0 25 0 1 0 189730003 116756480 26681 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 28505 26681 139 317 0 28184 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 114020 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11099 /proc/meminfo: memFree=1594104/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=115888 CPUtime=1601.84 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 28579 0 0 0 160154 30 0 0 25 0 1 0 189730003 118669312 27202 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 28972 27202 139 317 0 28651 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 115888 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11099 /proc/meminfo: memFree=1592056/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=118020 CPUtime=1661.82 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 29110 0 0 0 166152 30 0 0 25 0 1 0 189730003 120852480 27700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 29505 27700 139 317 0 29184 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 118020 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11099 /proc/meminfo: memFree=1590648/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=119492 CPUtime=1721.81 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 29498 0 0 0 172150 31 0 0 25 0 1 0 189730003 122359808 28055 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 29873 28055 139 317 0 29552 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 119492 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11099 /proc/meminfo: memFree=1589176/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=121080 CPUtime=1781.78 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 29860 0 0 0 178147 31 0 0 25 0 1 0 189730003 123985920 28417 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 30270 28417 139 317 0 29949 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 121080 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11099 /proc/meminfo: memFree=1588664/2055920 swapFree=4182160/4192956 [pid=11096] ppid=11094 vsize=121516 CPUtime=1800.09 /proc/11096/stat : 11096 (oree) R 11094 11096 9600 0 -1 4194304 29993 0 0 0 179978 31 0 0 25 0 1 0 189730003 124432384 28550 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11096/statm: 30379 28550 139 317 0 30058 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 121516 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.7 CPU time (s): 1800.19 CPU user time (s): 1799.85 CPU system time (s): 0.339948 CPU usage (%): 99.9716 Max. virtual memory (cumulated for all children) (KiB): 121516 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.85 system time used= 0.339948 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30009 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= 2829 runsolver used 1.58976 second user time and 4.98624 second system time The end
Begin job on node54 on Tue Apr 24 14:05:55 UTC 2007 IDJOB= 420403 IDBENCH= 47842 IDSOLVER= 172 FILE ID= node54/420403-1177423555 PBS_JOBID= 4675645 Free space on /tmp= 66337 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/pebbling/unsat-pbl-00150.sat05-1328.reshuffled-07.opb COMMAND LINE= oree /tmp/evaluation/420403-1177423555/instance-420403-1177423555.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node54/watcher-420403-1177423555 -o ROOT/results/node54/solver-420403-1177423555 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/420403-1177423555/instance-420403-1177423555.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 6dff79b0d7d9f8327e93243a49f1fb66 RANDOM SEED= 859819379 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node54.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.234 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.234 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: 1703384 kB Buffers: 39852 kB Cached: 231960 kB SwapCached: 4132 kB Active: 45508 kB Inactive: 237020 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1703384 kB SwapTotal: 4192956 kB SwapFree: 4182160 kB Dirty: 3576 kB Writeback: 0 kB Mapped: 16548 kB Slab: 55976 kB Committed_AS: 2272084 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66337 MiB End job on node54 on Tue Apr 24 14:35:58 UTC 2007