Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.25 | 1800.75 |
Name | normalized-PB07/PURE-SAT/SAT07/industrial/ babic/hsatv17/hsat_vc12072.opb |
MD5SUM | 9db97d50c85d2c37e8812e72b8a2d525 |
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 | 23.1445 |
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 | 236486 |
Total number of constraints | 673711 |
Number of constraints which are clauses | 673711 |
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 | 3 |
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 | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 5 |
Number of bits of the biggest sum of numbers | 3 |
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... 5.79/5.82 c ...done 5.79/5.82 c #vars=236486 #constraints=673711 hasObjective=no 6.60/6.67 c res. mode=mod 6.60/6.67 c VSIDS like heuristics 6.60/6.67 c complete search running 9.09/9.12 c restart after 401 decisions 9.59/9.65 c nbDecision=500 #constraints=673716 11.49/11.57 c restart after 801 decisions 12.49/12.56 c nbDecision=1000 #constraints=673720 16.69/16.74 c nbDecision=1500 #constraints=673731 18.09/18.11 c restart after 1601 decisions 20.39/20.43 c nbDecision=2000 #constraints=673741 24.29/24.34 c nbDecision=2500 #constraints=673751 29.79/29.88 c nbDecision=3000 #constraints=673773 30.69/30.74 c restart after 3201 decisions 33.99/34.08 c nbDecision=3500 #constraints=673784 38.68/38.79 c nbDecision=4000 #constraints=673808 42.58/42.65 c nbDecision=4500 #constraints=673827 50.88/50.95 c nbDecision=5000 #constraints=673918 55.68/55.71 c nbDecision=5500 #constraints=673973 71.58/71.61 c nbDecision=6000 #constraints=674231 88.87/88.92 c restart after 6401 decisions 90.17/90.20 c nbDecision=6500 #constraints=674523 101.07/101.16 c nbDecision=7000 #constraints=674692 118.56/118.64 c nbDecision=7500 #constraints=674961 129.66/129.70 c nbDecision=8000 #constraints=675119 141.56/141.64 c nbDecision=8500 #constraints=675311 156.35/156.43 c nbDecision=9000 #constraints=675502 166.95/167.08 c nbDecision=9500 #constraints=675637 175.55/175.67 c nbDecision=10000 #constraints=675730 192.74/192.83 c nbDecision=10500 #constraints=675928 216.74/216.86 c nbDecision=11000 #constraints=676234 242.94/243.08 c nbDecision=11500 #constraints=676548 273.93/274.05 c nbDecision=12000 #constraints=676890 302.12/302.29 c nbDecision=12500 #constraints=677188 319.12/319.28 c restart after 12801 decisions 320.22/320.37 c nbDecision=13000 #constraints=677372 324.91/325.04 c nbDecision=13500 #constraints=677419 331.21/331.38 c nbDecision=14000 #constraints=677499 339.81/339.92 c nbDecision=14500 #constraints=677615 345.41/345.57 c nbDecision=15000 #constraints=677675 351.01/351.17 c nbDecision=15500 #constraints=677729 353.51/353.66 c nbDecision=16000 #constraints=677736 355.81/355.90 c nbDecision=16500 #constraints=677740 357.81/357.92 c nbDecision=17000 #constraints=677742 360.71/360.85 c nbDecision=17500 #constraints=677757 376.40/376.58 c nbDecision=18000 #constraints=677995 381.51/381.61 c nbDecision=18500 #constraints=678050 388.90/389.04 c nbDecision=19000 #constraints=678170 392.90/393.03 c nbDecision=19500 #constraints=678195 400.80/400.90 c nbDecision=20000 #constraints=678284 422.89/423.03 c nbDecision=20500 #constraints=678545 443.79/443.93 c nbDecision=21000 #constraints=678796 461.18/461.37 c nbDecision=21500 #constraints=679040 471.28/471.48 c nbDecision=22000 #constraints=679162 482.38/482.53 c nbDecision=22500 #constraints=679316 497.68/497.86 c nbDecision=23000 #constraints=679449 500.38/500.56 c nbDecision=23500 #constraints=679461 507.27/507.47 c nbDecision=24000 #constraints=679576 511.87/512.03 c nbDecision=24500 #constraints=679638 514.87/515.05 c nbDecision=25000 #constraints=679662 522.97/523.15 c nbDecision=25500 #constraints=679767 526.07/526.24 c restart after 25601 decisions 534.47/534.65 c nbDecision=26000 #constraints=679897 543.57/543.70 c nbDecision=26500 #constraints=680005 549.46/549.69 c nbDecision=27000 #constraints=680061 557.66/557.88 c nbDecision=27500 #constraints=680168 586.36/586.53 c nbDecision=28000 #constraints=680490 617.56/617.72 c nbDecision=28500 #constraints=680857 628.93/629.13 c nbDecision=29000 #constraints=681013 633.51/633.76 c nbDecision=29500 #constraints=681059 639.50/639.72 c nbDecision=30000 #constraints=681122 642.69/642.96 c nbDecision=30500 #constraints=681142 656.26/656.51 c nbDecision=31000 #constraints=681349 661.96/662.23 c nbDecision=31500 #constraints=681415 675.25/675.58 c nbDecision=32000 #constraints=681590 691.14/691.41 c nbDecision=32500 #constraints=681800 709.14/709.41 c nbDecision=33000 #constraints=682014 725.83/726.12 c nbDecision=33500 #constraints=682210 737.04/737.39 c nbDecision=34000 #constraints=682337 756.03/756.30 c nbDecision=34500 #constraints=682544 772.23/772.54 c nbDecision=35000 #constraints=682752 791.52/791.89 c nbDecision=35500 #constraints=682933 810.11/810.40 c nbDecision=36000 #constraints=683076 827.82/828.14 c nbDecision=36500 #constraints=683275 848.91/849.23 c nbDecision=37000 #constraints=683491 870.60/870.97 c nbDecision=37500 #constraints=683745 878.50/878.85 c nbDecision=38000 #constraints=683805 882.80/883.20 c nbDecision=38500 #constraints=683826 886.40/886.72 c nbDecision=39000 #constraints=683852 890.90/891.22 c nbDecision=39500 #constraints=683886 893.70/894.02 c nbDecision=40000 #constraints=683895 896.79/897.11 c nbDecision=40500 #constraints=683905 900.50/900.82 c nbDecision=41000 #constraints=683922 902.99/903.35 c nbDecision=41500 #constraints=683926 907.39/907.74 c nbDecision=42000 #constraints=683981 909.69/910.08 c nbDecision=42500 #constraints=683988 912.29/912.62 c nbDecision=43000 #constraints=683994 916.99/917.32 c nbDecision=43500 #constraints=684032 920.19/920.53 c nbDecision=44000 #constraints=684057 922.19/922.56 c nbDecision=44500 #constraints=684059 924.59/924.98 c nbDecision=45000 #constraints=684064 926.89/927.21 c nbDecision=45500 #constraints=684069 929.19/929.51 c nbDecision=46000 #constraints=684071 932.59/932.96 c nbDecision=46500 #constraints=684092 936.28/936.69 c nbDecision=47000 #constraints=684114 942.58/942.92 c nbDecision=47500 #constraints=684187 944.49/944.80 c nbDecision=48000 #constraints=684191 952.28/952.68 c nbDecision=48500 #constraints=684284 957.98/958.32 c nbDecision=49000 #constraints=684344 962.58/962.91 c nbDecision=49500 #constraints=684369 965.98/966.32 c nbDecision=50000 #constraints=684383 968.78/969.13 c nbDecision=50500 #constraints=684401 977.17/977.53 c nbDecision=51000 #constraints=684517 977.97/978.35 c restart after 51201 decisions 980.67/981.03 c nbDecision=51500 #constraints=684537 984.18/984.56 c nbDecision=52000 #constraints=684567 988.38/988.76 c nbDecision=52500 #constraints=684602 997.38/997.73 c nbDecision=53000 #constraints=684726 1003.28/1003.67 c nbDecision=53500 #constraints=684779 1010.58/1010.99 c nbDecision=54000 #constraints=684838 1015.57/1015.92 c nbDecision=54500 #constraints=684872 1024.97/1025.35 c nbDecision=55000 #constraints=684963 1036.97/1037.33 c nbDecision=55500 #constraints=685089 1043.76/1044.11 c nbDecision=56000 #constraints=685169 1048.26/1048.67 c nbDecision=56500 #constraints=685194 1057.66/1058.08 c nbDecision=57000 #constraints=685255 1072.26/1072.65 c nbDecision=57500 #constraints=685410 1081.96/1082.38 c nbDecision=58000 #constraints=685494 1088.35/1088.72 c nbDecision=58500 #constraints=685547 1093.65/1094.07 c nbDecision=59000 #constraints=685597 1106.94/1107.37 c nbDecision=59500 #constraints=685746 1121.94/1122.35 c nbDecision=60000 #constraints=685937 1135.44/1135.83 c nbDecision=60500 #constraints=686078 1153.24/1153.64 c nbDecision=61000 #constraints=686312 1168.94/1169.38 c nbDecision=61500 #constraints=686515 1181.53/1181.90 c nbDecision=62000 #constraints=686658 1193.03/1193.40 c nbDecision=62500 #constraints=686787 1201.72/1202.20 c nbDecision=63000 #constraints=686878 1210.72/1211.14 c nbDecision=63500 #constraints=686972 1219.02/1219.40 c nbDecision=64000 #constraints=687050 1226.63/1227.03 c nbDecision=64500 #constraints=687142 1239.82/1240.24 c nbDecision=65000 #constraints=687290 1248.32/1248.77 c nbDecision=65500 #constraints=687377 1274.21/1274.61 c nbDecision=66000 #constraints=687699 1296.11/1296.54 c nbDecision=66500 #constraints=687981 1328.00/1328.48 c nbDecision=67000 #constraints=688270 1340.79/1341.24 c nbDecision=67500 #constraints=688399 1369.39/1369.86 c nbDecision=68000 #constraints=688680 1396.39/1396.89 c nbDecision=68500 #constraints=689015 1421.68/1422.18 c nbDecision=69000 #constraints=689342 1446.08/1446.50 c nbDecision=69500 #constraints=689625 1469.57/1470.01 c nbDecision=70000 #constraints=689892 1479.86/1480.35 c nbDecision=70500 #constraints=689979 1488.16/1488.62 c nbDecision=71000 #constraints=690062 1504.86/1505.40 c nbDecision=71500 #constraints=690262 1521.35/1521.80 c nbDecision=72000 #constraints=690446 1545.15/1545.64 c nbDecision=72500 #constraints=690732 1549.25/1549.73 c nbDecision=73000 #constraints=690749 1566.65/1567.10 c nbDecision=73500 #constraints=691089 1585.34/1585.88 c nbDecision=74000 #constraints=691458 1591.14/1591.65 c nbDecision=74500 #constraints=691538 1594.04/1594.55 c nbDecision=75000 #constraints=691550 1596.14/1596.60 c nbDecision=75500 #constraints=691554 1600.04/1600.58 c nbDecision=76000 #constraints=691577 1607.53/1608.02 c nbDecision=76500 #constraints=691624 1609.94/1610.48 c nbDecision=77000 #constraints=691630 1614.24/1614.70 c nbDecision=77500 #constraints=691659 1617.23/1617.73 c nbDecision=78000 #constraints=691675 1622.93/1623.45 c nbDecision=78500 #constraints=691740 1626.83/1627.39 c nbDecision=79000 #constraints=691753 1634.04/1634.57 c nbDecision=79500 #constraints=691882 1640.13/1640.61 c nbDecision=80000 #constraints=691954 1644.33/1644.81 c nbDecision=80500 #constraints=691981 1653.83/1654.39 c nbDecision=81000 #constraints=692091 1660.92/1661.45 c nbDecision=81500 #constraints=692158 1663.83/1664.32 c nbDecision=82000 #constraints=692169 1678.52/1679.03 c nbDecision=82500 #constraints=692429 1682.22/1682.79 c nbDecision=83000 #constraints=692467 1690.32/1690.88 c nbDecision=83500 #constraints=692570 1696.72/1697.20 c nbDecision=84000 #constraints=692638 1703.51/1704.05 c nbDecision=84500 #constraints=692715 1705.71/1706.21 c nbDecision=85000 #constraints=692720 1708.21/1708.72 c nbDecision=85500 #constraints=692730 1711.11/1711.67 c nbDecision=86000 #constraints=692765 1713.41/1713.90 c nbDecision=86500 #constraints=692766 1717.51/1718.05 c nbDecision=87000 #constraints=692847 1719.91/1720.48 c nbDecision=87500 #constraints=692858 1722.31/1722.85 c nbDecision=88000 #constraints=692866 1724.81/1725.31 c nbDecision=88500 #constraints=692878 1726.81/1727.36 c nbDecision=89000 #constraints=692879 1729.11/1729.65 c nbDecision=89500 #constraints=692893 1731.61/1732.20 c nbDecision=90000 #constraints=692903 1738.51/1739.02 c nbDecision=90500 #constraints=692976 1744.01/1744.56 c nbDecision=91000 #constraints=693043 1747.90/1748.41 c nbDecision=91500 #constraints=693082 1750.00/1750.56 c nbDecision=92000 #constraints=693091 1754.10/1754.64 c nbDecision=92500 #constraints=693131 1761.61/1762.18 c nbDecision=93000 #constraints=693242 1765.01/1765.58 c nbDecision=93500 #constraints=693260 1768.21/1768.73 c nbDecision=94000 #constraints=693277 1774.10/1774.63 c nbDecision=94500 #constraints=693351 1778.11/1778.65 c nbDecision=95000 #constraints=693388 1781.80/1782.38 c nbDecision=95500 #constraints=693420 1784.20/1784.79 c nbDecision=96000 #constraints=693428 1786.20/1786.77 c nbDecision=96500 #constraints=693429 1788.30/1788.82 c nbDecision=97000 #constraints=693430 1790.30/1790.80 c nbDecision=97500 #constraints=693430 1793.60/1794.12 c nbDecision=98000 #constraints=693449 1795.40/1795.99 c nbDecision=98500 #constraints=693449 1797.50/1798.08 c nbDecision=99000 #constraints=693451 1799.50/1800.09 c nbDecision=99500 #constraints=693451 1800.00/1800.50 Received signal 15 1800.00/1800.55 1800.00/1800.55 s UNKNOWN 1800.00/1800.55 1800.00/1800.55 c user time= 1799.68 s 1800.00/1800.55 c system time= 0.384941 s 1800.00/1800.55 c wall clock time=1800.56
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node52/watcher-419717-1177411842 -o ROOT/results/node52/solver-419717-1177411842 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/419717-1177411842/instance-419717-1177411842.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.86 0.95 0.98 3/64 6491 /proc/meminfo: memFree=1869604/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=1468 CPUtime=0 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 96029367 1503232 167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 367 167 129 317 0 46 0 [startup+0.0718629 s] /proc/loadavg: 0.86 0.95 0.98 3/64 6491 /proc/meminfo: memFree=1869604/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=3324 CPUtime=0.06 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 627 0 0 0 6 0 0 0 18 0 1 0 96029367 3403776 610 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 831 611 129 317 0 510 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3324 [startup+0.101865 s] /proc/loadavg: 0.86 0.95 0.98 3/64 6491 /proc/meminfo: memFree=1869604/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=4116 CPUtime=0.09 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 822 0 0 0 9 0 0 0 18 0 1 0 96029367 4214784 805 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 1029 805 129 317 0 708 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4116 [startup+0.301879 s] /proc/loadavg: 0.86 0.95 0.98 3/64 6491 /proc/meminfo: memFree=1869604/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=8468 CPUtime=0.29 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 1951 0 0 0 29 0 0 0 19 0 1 0 96029367 8671232 1901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 2117 1901 130 317 0 1796 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8468 [startup+0.701905 s] /proc/loadavg: 0.86 0.95 0.98 3/64 6491 /proc/meminfo: memFree=1869604/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=16908 CPUtime=0.69 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 4102 0 0 0 68 1 0 0 22 0 1 0 96029367 17313792 3987 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 4227 3987 130 317 0 3906 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16908 [startup+1.50196 s] /proc/loadavg: 0.86 0.95 0.98 2/65 6492 /proc/meminfo: memFree=1847772/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=33788 CPUtime=1.49 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 8413 0 0 0 146 3 0 0 25 0 1 0 96029367 34598912 8169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 8447 8169 130 317 0 8126 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33788 [startup+3.10107 s] /proc/loadavg: 0.86 0.95 0.98 2/65 6492 /proc/meminfo: memFree=1823836/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=67416 CPUtime=3.08 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 16987 0 0 0 301 7 0 0 25 0 1 0 96029367 69033984 16486 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 16854 16486 130 317 0 16533 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 67416 [startup+6.30128 s] /proc/loadavg: 0.88 0.95 0.98 2/65 6492 /proc/meminfo: memFree=1756124/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=192372 CPUtime=6.29 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 48513 0 0 0 607 22 0 0 25 0 1 0 96029367 196988928 47499 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 48093 47499 137 317 0 47772 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 192372 [startup+12.7027 s] /proc/loadavg: 0.89 0.95 0.98 2/65 6492 /proc/meminfo: memFree=1650140/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=240312 CPUtime=12.69 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 60474 0 0 0 1242 27 0 0 25 0 1 0 96029367 246079488 54854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715638 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 60078 54854 139 317 0 59757 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 240312 [startup+25.5016 s] /proc/loadavg: 0.91 0.96 0.98 2/65 6492 /proc/meminfo: memFree=1650268/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=240312 CPUtime=25.49 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 60475 0 0 0 2522 27 0 0 25 0 1 0 96029367 246079488 54855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 60078 54855 139 317 0 59757 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 240312 [startup+51.1013 s] /proc/loadavg: 0.94 0.96 0.98 2/65 6492 /proc/meminfo: memFree=1650268/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=240312 CPUtime=51.08 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 60477 0 0 0 5081 27 0 0 25 0 1 0 96029367 246079488 54857 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 60078 54857 139 317 0 59757 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 240312 [startup+102.306 s] /proc/loadavg: 0.97 0.96 0.98 2/65 6492 /proc/meminfo: memFree=1650332/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=240312 CPUtime=102.27 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 60483 0 0 0 10200 27 0 0 25 0 1 0 96029367 246079488 54863 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 60078 54863 139 317 0 59757 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 240312 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6492 /proc/meminfo: memFree=1650332/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=240312 CPUtime=162.25 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 60494 0 0 0 16198 27 0 0 25 0 1 0 96029367 246079488 54874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 60078 54874 139 317 0 59757 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 240312 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6492 /proc/meminfo: memFree=1650332/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=240312 CPUtime=222.24 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 60502 0 0 0 22197 27 0 0 25 0 1 0 96029367 246079488 54882 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 60078 54882 139 317 0 59757 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 240312 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6492 /proc/meminfo: memFree=1650332/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=240312 CPUtime=282.22 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 60509 0 0 0 28195 27 0 0 25 0 1 0 96029367 246079488 54889 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 60078 54889 139 317 0 59757 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 240312 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6492 /proc/meminfo: memFree=1650268/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=240312 CPUtime=342.21 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 60517 0 0 0 34194 27 0 0 25 0 1 0 96029367 246079488 54897 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 60078 54897 139 317 0 59757 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 240312 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6492 /proc/meminfo: memFree=1650268/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=240312 CPUtime=402.2 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 60524 0 0 0 40193 27 0 0 25 0 1 0 96029367 246079488 54904 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 60078 54904 139 317 0 59757 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 240312 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6492 /proc/meminfo: memFree=1650204/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=240312 CPUtime=462.18 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 60531 0 0 0 46191 27 0 0 25 0 1 0 96029367 246079488 54911 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 60078 54911 139 317 0 59757 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 240312 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6492 /proc/meminfo: memFree=1650140/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=240312 CPUtime=522.17 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 60540 0 0 0 52190 27 0 0 25 0 1 0 96029367 246079488 54920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 60078 54920 139 317 0 59757 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 240312 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6492 /proc/meminfo: memFree=1649180/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=241240 CPUtime=582.16 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 60786 0 0 0 58189 27 0 0 25 0 1 0 96029367 247029760 55166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 60310 55166 139 317 0 59989 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 241240 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/71 6630 /proc/meminfo: memFree=1644876/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=244084 CPUtime=642.09 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 61490 0 0 0 64181 28 0 0 25 0 1 0 96029367 249942016 55870 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 61021 55870 139 317 0 60700 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 244084 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6690 /proc/meminfo: memFree=1635804/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=254444 CPUtime=941.98 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 64087 0 0 0 94167 31 0 0 25 0 1 0 96029367 260550656 58446 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 63611 58446 139 317 0 63290 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 254444 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6690 /proc/meminfo: memFree=1634844/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=255376 CPUtime=1001.98 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 64335 0 0 0 100166 32 0 0 25 0 1 0 96029367 261505024 58679 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 63844 58679 139 317 0 63523 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 255376 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6690 /proc/meminfo: memFree=1633180/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=257084 CPUtime=1061.96 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 64776 0 0 0 106164 32 0 0 25 0 1 0 96029367 263254016 59102 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 64271 59102 139 317 0 63950 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 257084 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6692 /proc/meminfo: memFree=1632156/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=258096 CPUtime=1121.94 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 65025 0 0 0 112162 32 0 0 25 0 1 0 96029367 264290304 59351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 64524 59351 139 317 0 64203 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 258096 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6692 /proc/meminfo: memFree=1630876/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=259280 CPUtime=1181.93 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 65330 0 0 0 118160 33 0 0 25 0 1 0 96029367 265502720 59656 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712551 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 64820 59656 139 317 0 64499 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 259280 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6692 /proc/meminfo: memFree=1630172/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=259948 CPUtime=1241.92 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 65501 0 0 0 124158 34 0 0 25 0 1 0 96029367 266186752 59827 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 64987 59827 139 317 0 64666 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 259948 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6692 /proc/meminfo: memFree=1629084/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=261000 CPUtime=1301.91 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 65760 0 0 0 130157 34 0 0 25 0 1 0 96029367 267264000 60086 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 65250 60086 139 317 0 64929 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 261000 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6692 /proc/meminfo: memFree=1627612/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=262584 CPUtime=1361.89 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 66138 0 0 0 136155 34 0 0 25 0 1 0 96029367 268886016 60464 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 65646 60464 139 317 0 65325 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 262584 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6692 /proc/meminfo: memFree=1626460/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=263660 CPUtime=1421.88 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 66417 0 0 0 142153 35 0 0 25 0 1 0 96029367 269987840 60743 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 65915 60743 139 317 0 65594 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 263660 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6692 /proc/meminfo: memFree=1625436/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=264684 CPUtime=1481.86 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 66676 0 0 0 148151 35 0 0 25 0 1 0 96029367 271036416 61002 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 66171 61002 139 317 0 65850 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 264684 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6692 /proc/meminfo: memFree=1624284/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=265700 CPUtime=1541.86 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 66942 0 0 0 154150 36 0 0 25 0 1 0 96029367 272076800 61268 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 66425 61268 139 317 0 66104 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 265700 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6692 /proc/meminfo: memFree=1621852/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=268068 CPUtime=1601.83 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 67540 0 0 0 160147 36 0 0 25 0 1 0 96029367 274501632 61865 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 67017 61865 139 317 0 66696 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 268068 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6692 /proc/meminfo: memFree=1620700/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=269096 CPUtime=1661.82 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 67888 0 0 0 166145 37 0 0 25 0 1 0 96029367 275554304 62129 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 67274 62129 139 317 0 66953 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 269096 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6692 /proc/meminfo: memFree=1618076/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=271840 CPUtime=1721.81 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 68559 0 0 0 172144 37 0 0 25 0 1 0 96029367 278364160 62799 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 67960 62799 139 317 0 67639 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 271840 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6692 /proc/meminfo: memFree=1616284/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=273696 CPUtime=1781.8 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 69045 0 0 0 178142 38 0 0 25 0 1 0 96029367 280264704 63285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 68424 63285 139 317 0 68103 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 273696 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6692 /proc/meminfo: memFree=1615964/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=273952 CPUtime=1800 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 69214 0 0 0 179962 38 0 0 25 0 1 0 96029367 280526848 63319 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604231 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 68488 63319 139 317 0 68167 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 273952 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: 0.99 0.97 0.98 2/66 6693 /proc/meminfo: memFree=1615956/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=273656 CPUtime=1800.1 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 69230 0 0 0 179972 38 0 0 25 0 1 0 96029367 280223744 63291 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284215 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 68414 63291 155 317 0 68093 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 273656 [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.98 2/66 6693 /proc/meminfo: memFree=1615956/2055920 swapFree=4182996/4192956 [pid=6491] ppid=6489 vsize=231532 CPUtime=1800.19 /proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 69230 0 0 0 179981 38 0 0 25 0 1 0 96029367 237088768 57283 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6491/statm: 57883 57283 756 317 0 57562 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 231532 Child status: 0 Real time (s): 1800.75 CPU time (s): 1800.25 CPU user time (s): 1799.82 CPU system time (s): 0.428934 CPU usage (%): 99.9724 Max. virtual memory (cumulated for all children) (KiB): 273956 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.82 system time used= 0.428934 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 69230 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= 2082 runsolver used 1.37179 second user time and 3.62045 second system time The end
Begin job on node52 on Tue Apr 24 10:50:43 UTC 2007 IDJOB= 419717 IDBENCH= 47793 IDSOLVER= 172 FILE ID= node52/419717-1177411842 PBS_JOBID= 4675681 Free space on /tmp= 66290 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/industrial/babic/hsatv17/hsat_vc12072.opb COMMAND LINE= oree /tmp/evaluation/419717-1177411842/instance-419717-1177411842.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-419717-1177411842 -o ROOT/results/node52/solver-419717-1177411842 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/419717-1177411842/instance-419717-1177411842.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 9db97d50c85d2c37e8812e72b8a2d525 RANDOM SEED= 313410351 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node52.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: 1870012 kB Buffers: 3592 kB Cached: 109196 kB SwapCached: 3968 kB Active: 66644 kB Inactive: 55876 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1870012 kB SwapTotal: 4192956 kB SwapFree: 4182996 kB Dirty: 24132 kB Writeback: 0 kB Mapped: 15688 kB Slab: 49332 kB Committed_AS: 1797292 kB PageTables: 1484 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= 66290 MiB End job on node52 on Tue Apr 24 11:20:46 UTC 2007