Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.25 | 1800.7 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-dano3mip.opb |
MD5SUM | 14e6c259fcfc7693ea81c905b2ebcb59 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 399966 |
Total number of constraints | 3226 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 48 |
Number of constraints which are nor clauses,nor cardinality constraints | 3178 |
Minimum length of a constraint | 21 |
Maximum length of a constraint | 15900 |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524317 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 535830 |
Number of bits of the biggest sum of numbers | 20 |
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... 7.69/7.75 c ...done 7.69/7.75 c #vars=399966 #constraints=4451 hasObjective=yes 14.09/14.11 c res. mode=mod 14.09/14.11 c VSIDS like heuristics 14.09/14.11 c complete search running 22.29/22.39 c restart after 401 decisions 23.79/23.80 c nbDecision=500 #constraints=4770 28.49/28.51 c restart after 801 decisions 31.49/31.51 c nbDecision=1000 #constraints=5063 39.38/39.46 c nbDecision=1500 #constraints=5252 40.89/40.97 c restart after 1601 decisions 47.08/47.13 c nbDecision=2000 #constraints=5477 54.57/54.61 c nbDecision=2500 #constraints=5577 62.47/62.56 c nbDecision=3000 #constraints=5809 65.57/65.63 c restart after 3201 decisions 70.08/70.18 c nbDecision=3500 #constraints=6012 77.67/77.78 c nbDecision=4000 #constraints=6120 85.68/85.72 c nbDecision=4500 #constraints=6331 93.57/93.65 c nbDecision=5000 #constraints=6549 101.67/101.71 c nbDecision=5500 #constraints=6773 109.36/109.47 c nbDecision=6000 #constraints=6903 115.56/115.64 c restart after 6401 decisions 117.16/117.21 c nbDecision=6500 #constraints=7092 124.96/125.07 c nbDecision=7000 #constraints=7254 132.97/133.09 c nbDecision=7500 #constraints=7466 140.96/141.09 c nbDecision=8000 #constraints=7657 149.15/149.27 c nbDecision=8500 #constraints=7879 157.25/157.33 c nbDecision=9000 #constraints=8078 165.05/165.15 c nbDecision=9500 #constraints=8188 172.85/172.95 c nbDecision=10000 #constraints=8346 181.05/181.15 c nbDecision=10500 #constraints=8556 189.24/189.33 c nbDecision=11000 #constraints=8761 197.34/197.40 c nbDecision=11500 #constraints=8952 205.44/205.60 c nbDecision=12000 #constraints=9147 213.64/213.76 c nbDecision=12500 #constraints=9350 218.24/218.35 c restart after 12801 decisions 221.64/221.75 c nbDecision=13000 #constraints=9540 229.34/229.48 c nbDecision=13500 #constraints=9628 237.44/237.51 c nbDecision=14000 #constraints=9806 245.63/245.80 c nbDecision=14500 #constraints=10005 253.82/253.99 c nbDecision=15000 #constraints=10197 262.23/262.30 c nbDecision=15500 #constraints=10396 270.43/270.51 c nbDecision=16000 #constraints=10583 278.62/278.75 c nbDecision=16500 #constraints=10770 286.92/287.09 c nbDecision=17000 #constraints=10959 295.01/295.16 c nbDecision=17500 #constraints=11094 302.72/302.83 c nbDecision=18000 #constraints=11197 310.92/311.10 c nbDecision=18500 #constraints=11378 319.21/319.31 c nbDecision=19000 #constraints=11557 327.51/327.67 c nbDecision=19500 #constraints=11745 335.70/335.88 c nbDecision=20000 #constraints=11919 344.11/344.23 c nbDecision=20500 #constraints=12101 352.41/352.55 c nbDecision=21000 #constraints=12284 360.80/360.97 c nbDecision=21500 #constraints=12476 369.10/369.28 c nbDecision=22000 #constraints=12648 377.39/377.50 c nbDecision=22500 #constraints=12801 385.70/385.83 c nbDecision=23000 #constraints=12954 393.80/393.98 c nbDecision=23500 #constraints=13098 401.79/401.91 c nbDecision=24000 #constraints=13232 410.09/410.27 c nbDecision=24500 #constraints=13408 418.48/418.66 c nbDecision=25000 #constraints=13584 426.89/427.05 c nbDecision=25500 #constraints=13755 428.49/428.60 c restart after 25601 decisions 436.09/436.22 c nbDecision=26000 #constraints=13944 445.48/445.62 c nbDecision=26500 #constraints=14160 454.58/454.78 c nbDecision=27000 #constraints=14345 463.38/463.51 c nbDecision=27500 #constraints=14474 471.57/471.74 c nbDecision=28000 #constraints=14634 480.57/480.76 c nbDecision=28500 #constraints=14826 489.66/489.85 c nbDecision=29000 #constraints=15021 498.77/498.97 c nbDecision=29500 #constraints=15231 507.57/507.79 c nbDecision=30000 #constraints=15378 516.06/516.21 c nbDecision=30500 #constraints=15518 524.57/524.72 c nbDecision=31000 #constraints=15691 533.46/533.68 c nbDecision=31500 #constraints=15880 542.56/542.77 c nbDecision=32000 #constraints=16088 551.45/551.63 c nbDecision=32500 #constraints=16274 560.26/560.47 c nbDecision=33000 #constraints=16421 568.75/568.97 c nbDecision=33500 #constraints=16570 577.15/577.39 c nbDecision=34000 #constraints=16733 586.15/586.37 c nbDecision=34500 #constraints=16919 595.14/595.32 c nbDecision=35000 #constraints=17109 604.24/604.42 c nbDecision=35500 #constraints=17304 613.14/613.32 c nbDecision=36000 #constraints=17488 622.04/622.27 c nbDecision=36500 #constraints=17672 631.04/631.23 c nbDecision=37000 #constraints=17858 639.94/640.12 c nbDecision=37500 #constraints=18028 648.43/648.66 c nbDecision=38000 #constraints=18147 656.93/657.11 c nbDecision=38500 #constraints=18298 665.62/665.82 c nbDecision=39000 #constraints=18463 674.52/674.74 c nbDecision=39500 #constraints=18646 683.42/683.65 c nbDecision=40000 #constraints=18825 692.21/692.43 c nbDecision=40500 #constraints=18995 701.22/701.43 c nbDecision=41000 #constraints=19181 710.02/710.22 c nbDecision=41500 #constraints=19350 718.91/719.15 c nbDecision=42000 #constraints=19527 727.71/727.92 c nbDecision=42500 #constraints=19659 736.01/736.26 c nbDecision=43000 #constraints=19789 744.70/744.98 c nbDecision=43500 #constraints=19948 753.50/753.78 c nbDecision=44000 #constraints=20114 762.51/762.72 c nbDecision=44500 #constraints=20286 771.40/771.63 c nbDecision=45000 #constraints=20457 780.30/780.56 c nbDecision=45500 #constraints=20633 789.30/789.52 c nbDecision=46000 #constraints=20816 798.09/798.37 c nbDecision=46500 #constraints=20983 807.09/807.31 c nbDecision=47000 #constraints=21151 815.79/816.09 c nbDecision=47500 #constraints=21317 824.79/825.00 c nbDecision=48000 #constraints=21481 833.58/833.90 c nbDecision=48500 #constraints=21648 842.49/842.78 c nbDecision=49000 #constraints=21814 851.19/851.46 c nbDecision=49500 #constraints=21944 860.08/860.34 c nbDecision=50000 #constraints=22108 868.97/869.30 c nbDecision=50500 #constraints=22276 877.77/878.07 c nbDecision=51000 #constraints=22427 881.17/881.46 c restart after 51201 decisions 888.66/888.90 c nbDecision=51500 #constraints=22670 899.27/899.54 c nbDecision=52000 #constraints=22876 909.77/910.04 c nbDecision=52500 #constraints=23053 919.96/920.20 c nbDecision=53000 #constraints=23211 928.76/929.08 c nbDecision=53500 #constraints=23352 938.66/938.92 c nbDecision=54000 #constraints=23540 949.06/949.36 c nbDecision=54500 #constraints=23753 959.25/959.54 c nbDecision=55000 #constraints=23944 969.45/969.75 c nbDecision=55500 #constraints=24141 979.55/979.89 c nbDecision=56000 #constraints=24335 989.75/990.01 c nbDecision=56500 #constraints=24527 999.54/999.82 c nbDecision=57000 #constraints=24667 1009.14/1009.48 c nbDecision=57500 #constraints=24828 1017.84/1018.18 c nbDecision=58000 #constraints=24986 1027.94/1028.23 c nbDecision=58500 #constraints=25177 1037.93/1038.24 c nbDecision=59000 #constraints=25368 1048.03/1048.30 c nbDecision=59500 #constraints=25556 1057.93/1058.22 c nbDecision=60000 #constraints=25748 1067.73/1068.09 c nbDecision=60500 #constraints=25928 1077.43/1077.71 c nbDecision=61000 #constraints=26075 1087.42/1087.72 c nbDecision=61500 #constraints=26277 1097.12/1097.46 c nbDecision=62000 #constraints=26434 1107.11/1107.43 c nbDecision=62500 #constraints=26620 1116.71/1117.00 c nbDecision=63000 #constraints=26781 1126.31/1126.61 c nbDecision=63500 #constraints=26948 1135.01/1135.31 c nbDecision=64000 #constraints=27091 1144.71/1145.04 c nbDecision=64500 #constraints=27268 1154.50/1154.80 c nbDecision=65000 #constraints=27447 1164.20/1164.57 c nbDecision=65500 #constraints=27623 1173.80/1174.17 c nbDecision=66000 #constraints=27792 1183.69/1184.06 c nbDecision=66500 #constraints=27974 1193.20/1193.59 c nbDecision=67000 #constraints=28127 1201.90/1202.21 c nbDecision=67500 #constraints=28218 1211.39/1211.73 c nbDecision=68000 #constraints=28384 1221.09/1221.44 c nbDecision=68500 #constraints=28564 1230.59/1230.92 c nbDecision=69000 #constraints=28736 1240.39/1240.80 c nbDecision=69500 #constraints=28931 1250.08/1250.50 c nbDecision=70000 #constraints=29112 1259.88/1260.21 c nbDecision=70500 #constraints=29289 1269.48/1269.85 c nbDecision=71000 #constraints=29461 1278.97/1279.38 c nbDecision=71500 #constraints=29624 1288.67/1289.04 c nbDecision=72000 #constraints=29793 1298.26/1298.68 c nbDecision=72500 #constraints=29964 1307.97/1308.39 c nbDecision=73000 #constraints=30138 1317.47/1317.85 c nbDecision=73500 #constraints=30298 1327.06/1327.42 c nbDecision=74000 #constraints=30461 1336.66/1337.05 c nbDecision=74500 #constraints=30641 1346.26/1346.67 c nbDecision=75000 #constraints=30815 1355.65/1356.04 c nbDecision=75500 #constraints=30958 1364.45/1364.82 c nbDecision=76000 #constraints=31060 1373.15/1373.54 c nbDecision=76500 #constraints=31189 1382.55/1382.99 c nbDecision=77000 #constraints=31347 1392.05/1392.40 c nbDecision=77500 #constraints=31502 1401.44/1401.90 c nbDecision=78000 #constraints=31658 1410.84/1411.22 c nbDecision=78500 #constraints=31809 1420.24/1420.64 c nbDecision=79000 #constraints=31965 1429.73/1430.15 c nbDecision=79500 #constraints=32125 1439.13/1439.54 c nbDecision=80000 #constraints=32288 1448.53/1448.96 c nbDecision=80500 #constraints=32440 1457.93/1458.37 c nbDecision=81000 #constraints=32594 1467.23/1467.67 c nbDecision=81500 #constraints=32741 1476.62/1477.07 c nbDecision=82000 #constraints=32900 1485.92/1486.37 c nbDecision=82500 #constraints=33040 1495.22/1495.66 c nbDecision=83000 #constraints=33185 1504.42/1504.85 c nbDecision=83500 #constraints=33312 1513.12/1513.54 c nbDecision=84000 #constraints=33430 1522.11/1522.51 c nbDecision=84500 #constraints=33564 1531.42/1531.81 c nbDecision=85000 #constraints=33712 1541.11/1541.59 c nbDecision=85500 #constraints=33876 1550.01/1550.40 c nbDecision=86000 #constraints=34002 1559.21/1559.61 c nbDecision=86500 #constraints=34145 1568.30/1568.77 c nbDecision=87000 #constraints=34283 1577.40/1577.89 c nbDecision=87500 #constraints=34422 1586.80/1587.24 c nbDecision=88000 #constraints=34572 1595.99/1596.49 c nbDecision=88500 #constraints=34721 1605.69/1606.12 c nbDecision=89000 #constraints=34878 1614.59/1615.01 c nbDecision=89500 #constraints=35012 1623.49/1623.93 c nbDecision=90000 #constraints=35139 1632.49/1632.92 c nbDecision=90500 #constraints=35270 1641.48/1641.94 c nbDecision=91000 #constraints=35401 1650.48/1650.99 c nbDecision=91500 #constraints=35534 1659.48/1659.95 c nbDecision=92000 #constraints=35665 1668.37/1668.86 c nbDecision=92500 #constraints=35793 1677.38/1677.87 c nbDecision=93000 #constraints=35929 1686.57/1687.00 c nbDecision=93500 #constraints=36063 1695.67/1696.17 c nbDecision=94000 #constraints=36204 1704.76/1705.20 c nbDecision=94500 #constraints=36338 1713.66/1714.11 c nbDecision=95000 #constraints=36464 1722.56/1723.03 c nbDecision=95500 #constraints=36590 1731.46/1731.99 c nbDecision=96000 #constraints=36716 1740.46/1740.97 c nbDecision=96500 #constraints=36849 1749.56/1750.05 c nbDecision=97000 #constraints=36988 1758.56/1759.07 c nbDecision=97500 #constraints=37118 1767.45/1767.92 c nbDecision=98000 #constraints=37237 1776.35/1776.82 c nbDecision=98500 #constraints=37365 1784.95/1785.48 c nbDecision=99000 #constraints=37473 1793.75/1794.21 c nbDecision=99500 #constraints=37590 1800.05/1800.50 Received signal 15 1800.05/1800.53 1800.05/1800.53 s UNKNOWN 1800.05/1800.53 1800.05/1800.53 c user time= 1799.54 s 1800.05/1800.53 c system time= 0.546916 s 1800.05/1800.53 c wall clock time=1800.53
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node4/watcher-357015-1176851526 -o ROOT/results/node4/solver-357015-1176851526 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357015-1176851526/instance-357015-1176851526.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.97 0.97 3/77 26219 /proc/meminfo: memFree=1805456/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=1468 CPUtime=0 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 189 0 0 0 0 0 0 0 18 0 1 0 161190415 1503232 171 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 367 171 131 317 0 46 0 [startup+0.078061 s] /proc/loadavg: 0.92 0.97 0.97 3/77 26219 /proc/meminfo: memFree=1805456/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=2672 CPUtime=0.07 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 483 0 0 0 7 0 0 0 18 0 1 0 161190415 2736128 465 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541347 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 668 465 131 317 0 347 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2672 [startup+0.102063 s] /proc/loadavg: 0.92 0.97 0.97 3/77 26219 /proc/meminfo: memFree=1805456/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=3208 CPUtime=0.09 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 582 0 0 0 9 0 0 0 18 0 1 0 161190415 3284992 564 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 802 564 131 317 0 481 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3208 [startup+0.302082 s] /proc/loadavg: 0.92 0.97 0.97 3/77 26219 /proc/meminfo: memFree=1805456/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=7076 CPUtime=0.29 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 1493 0 0 0 29 0 0 0 19 0 1 0 161190415 7245824 1475 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134531421 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 1769 1475 131 317 0 1448 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7076 [startup+0.701121 s] /proc/loadavg: 0.92 0.97 0.97 3/77 26219 /proc/meminfo: memFree=1805456/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=15688 CPUtime=0.69 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 3404 0 0 0 68 1 0 0 23 0 1 0 161190415 16064512 3386 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134827803 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 3922 3386 131 317 0 3601 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15688 [startup+1.5012 s] /proc/loadavg: 0.92 0.97 0.97 2/78 26220 /proc/meminfo: memFree=1786632/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=33204 CPUtime=1.48 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 7271 0 0 0 146 2 0 0 25 0 1 0 161190415 34000896 7253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 8301 7254 131 317 0 7980 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 33204 [startup+3.10135 s] /proc/loadavg: 0.93 0.97 0.97 2/78 26220 /proc/meminfo: memFree=1764168/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=68008 CPUtime=3.09 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 14984 0 0 0 303 6 0 0 25 0 1 0 161190415 69640192 14966 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 17002 14966 131 317 0 16681 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 68008 [startup+6.30166 s] /proc/loadavg: 0.93 0.97 0.97 2/78 26220 /proc/meminfo: memFree=1700744/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=131708 CPUtime=6.28 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 30971 0 0 0 615 13 0 0 25 0 1 0 161190415 134868992 30095 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714771 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 32927 30095 131 317 0 32606 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 131708 [startup+12.7013 s] /proc/loadavg: 0.94 0.97 0.97 2/78 26220 /proc/meminfo: memFree=1612040/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=206100 CPUtime=12.69 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 50130 0 0 0 1247 22 0 0 25 0 1 0 161190415 211046400 48528 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602739 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 51525 48528 137 317 0 51204 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 206100 [startup+25.5015 s] /proc/loadavg: 0.95 0.97 0.97 2/78 26220 /proc/meminfo: memFree=1590984/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=226804 CPUtime=25.49 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 55287 0 0 0 2525 24 0 0 25 0 1 0 161190415 232247296 53685 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 56701 53685 139 317 0 56380 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 226804 [startup+51.1029 s] /proc/loadavg: 0.96 0.97 0.97 2/78 26220 /proc/meminfo: memFree=1589960/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=227980 CPUtime=51.08 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 55577 0 0 0 5084 24 0 0 25 0 1 0 161190415 233451520 53975 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 56995 53975 139 317 0 56674 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 227980 [startup+102.306 s] /proc/loadavg: 1.02 0.99 0.97 2/78 26220 /proc/meminfo: memFree=1587272/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=230468 CPUtime=102.27 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 56230 0 0 0 10202 25 0 0 25 0 1 0 161190415 235999232 54628 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385260 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 57617 54628 139 317 0 57296 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 230468 [startup+162.302 s] /proc/loadavg: 1.04 1.00 0.98 2/78 26220 /proc/meminfo: memFree=1584456/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=233404 CPUtime=162.25 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 56953 0 0 0 16199 26 0 0 25 0 1 0 161190415 239005696 55351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606869 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 58351 55351 170 317 0 58030 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 233404 [startup+222.302 s] /proc/loadavg: 1.11 1.03 0.99 2/78 26220 /proc/meminfo: memFree=1581256/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=237096 CPUtime=222.24 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 57798 0 0 0 22196 28 0 0 25 0 1 0 161190415 242786304 56135 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 59274 56135 170 317 0 58953 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 237096 [startup+282.302 s] /proc/loadavg: 1.12 1.04 1.00 2/78 26220 /proc/meminfo: memFree=1578312/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=239812 CPUtime=282.22 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 58523 0 0 0 28193 29 0 0 25 0 1 0 161190415 245567488 56860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 59953 56860 170 317 0 59632 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 239812 [startup+342.303 s] /proc/loadavg: 1.04 1.03 1.00 2/78 26220 /proc/meminfo: memFree=1575432/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=242472 CPUtime=342.2 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 59220 0 0 0 34190 30 0 0 25 0 1 0 161190415 248291328 57557 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564092 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 60618 57557 170 317 0 60297 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 242472 [startup+402.303 s] /proc/loadavg: 1.01 1.02 1.00 2/78 26220 /proc/meminfo: memFree=1572616/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=245120 CPUtime=402.19 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 59905 0 0 0 40187 32 0 0 25 0 1 0 161190415 251002880 58242 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 61280 58242 170 317 0 60959 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 245120 [startup+462.302 s] /proc/loadavg: 1.00 1.02 1.00 2/78 26220 /proc/meminfo: memFree=1569672/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=248840 CPUtime=462.18 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 60611 0 0 0 46185 33 0 0 25 0 1 0 161190415 254812160 58948 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 62210 58948 170 317 0 61889 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 248840 [startup+522.303 s] /proc/loadavg: 1.00 1.01 1.00 2/78 26220 /proc/meminfo: memFree=1567944/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=250404 CPUtime=522.16 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 61037 0 0 0 52182 34 0 0 25 0 1 0 161190415 256413696 59374 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134595759 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 62601 59374 170 317 0 62280 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 250404 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26220 /proc/meminfo: memFree=1566088/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=251980 CPUtime=582.15 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 61468 0 0 0 58180 35 0 0 25 0 1 0 161190415 258027520 59805 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606721 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 62995 59805 170 317 0 62674 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 251980 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26220 /proc/meminfo: memFree=1564168/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=254036 CPUtime=642.14 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 62024 0 0 0 64178 36 0 0 25 0 1 0 161190415 260132864 60240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 63509 60240 170 317 0 63188 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 254036 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26220 /proc/meminfo: memFree=1556360/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=263116 CPUtime=882.07 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 64242 0 0 0 88168 39 0 0 25 0 1 0 161190415 269430784 61930 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 65779 61930 170 317 0 65458 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 263116 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26220 /proc/meminfo: memFree=1554568/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=264964 CPUtime=942.05 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 64732 0 0 0 94165 40 0 0 25 0 1 0 161190415 271323136 62420 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606869 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 66241 62420 170 317 0 65920 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 264964 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26220 /proc/meminfo: memFree=1552264/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=266940 CPUtime=1002.04 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 65313 0 0 0 100163 41 0 0 25 0 1 0 161190415 273346560 62968 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 66735 62968 170 317 0 66414 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 266940 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26220 /proc/meminfo: memFree=1550216/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=268788 CPUtime=1062.03 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 65821 0 0 0 106161 42 0 0 25 0 1 0 161190415 275238912 63476 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 67197 63476 170 317 0 66876 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 268788 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26220 /proc/meminfo: memFree=1547912/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=270632 CPUtime=1122.01 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 66359 0 0 0 112158 43 0 0 25 0 1 0 161190415 277127168 64014 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 67658 64014 170 317 0 67337 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 270632 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26222 /proc/meminfo: memFree=1545736/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=272612 CPUtime=1181.99 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 66903 0 0 0 118155 44 0 0 25 0 1 0 161190415 279154688 64525 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385221 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 68153 64525 170 317 0 67832 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 272612 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26222 /proc/meminfo: memFree=1543688/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=274460 CPUtime=1241.98 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 67414 0 0 0 124153 45 0 0 25 0 1 0 161190415 281047040 65036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384521 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 68615 65036 170 317 0 68294 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 274460 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26222 /proc/meminfo: memFree=1541384/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=276308 CPUtime=1301.97 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 67954 0 0 0 130151 46 0 0 25 0 1 0 161190415 282939392 65576 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 69077 65576 170 317 0 68756 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 276308 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26222 /proc/meminfo: memFree=1539336/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=278024 CPUtime=1361.95 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 68450 0 0 0 136148 47 0 0 25 0 1 0 161190415 284696576 66072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 69506 66072 170 317 0 69185 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 278024 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26222 /proc/meminfo: memFree=1537416/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=279996 CPUtime=1421.94 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 68987 0 0 0 142146 48 0 0 25 0 1 0 161190415 286715904 66543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 69999 66543 170 317 0 69678 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 279996 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26222 /proc/meminfo: memFree=1535432/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=281708 CPUtime=1481.92 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 69489 0 0 0 148143 49 0 0 25 0 1 0 161190415 288468992 67012 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194616 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 70427 67012 170 317 0 70106 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 281708 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26222 /proc/meminfo: memFree=1533512/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=283424 CPUtime=1541.91 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 69961 0 0 0 154140 51 0 0 25 0 1 0 161190415 290226176 67484 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 70856 67484 170 317 0 70535 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 283424 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26222 /proc/meminfo: memFree=1531592/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=285008 CPUtime=1601.89 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 70427 0 0 0 160138 51 0 0 25 0 1 0 161190415 291848192 67950 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384551 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 71252 67950 170 317 0 70931 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 285008 [startup+1662.3 s] /proc/loadavg: 1.07 1.02 1.00 2/78 26222 /proc/meminfo: memFree=1529800/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=287412 CPUtime=1661.88 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 71069 0 0 0 166136 52 0 0 25 0 1 0 161190415 294309888 68352 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 71853 68352 170 317 0 71532 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 287412 [startup+1722.3 s] /proc/loadavg: 1.02 1.01 1.00 2/78 26222 /proc/meminfo: memFree=1528072/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=288996 CPUtime=1721.86 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 71514 0 0 0 172133 53 0 0 25 0 1 0 161190415 295931904 68797 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606869 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 72249 68797 170 317 0 71928 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 288996 [startup+1782.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 26222 /proc/meminfo: memFree=1526216/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=290460 CPUtime=1781.85 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 71933 0 0 0 178131 54 0 0 25 0 1 0 161190415 297431040 69216 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385236 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 72615 69216 170 317 0 72294 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 290460 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26222 /proc/meminfo: memFree=1525704/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=290988 CPUtime=1800.05 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 72050 0 0 0 179951 54 0 0 25 0 1 0 161190415 297971712 69333 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 72747 69333 170 317 0 72426 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 290988 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/79 26223 /proc/meminfo: memFree=1537600/2055920 swapFree=4153860/4192956 [pid=26219] ppid=26217 vsize=277872 CPUtime=1800.15 /proc/26219/stat : 26219 (oree) R 26217 26219 25635 0 -1 4194304 72066 0 0 0 179961 54 0 0 25 0 1 0 161190415 284540928 66329 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26219/statm: 69468 66329 186 317 0 69147 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 277872 Child status: 0 Real time (s): 1800.7 CPU time (s): 1800.25 CPU user time (s): 1799.66 CPU system time (s): 0.592909 CPU usage (%): 99.9751 Max. virtual memory (cumulated for all children) (KiB): 290988 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.66 system time used= 0.592909 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 72066 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= 28793 runsolver used 2.18067 second user time and 4.35734 second system time The end
Begin job on node4 on Tue Apr 17 23:12:07 UTC 2007 IDJOB= 357015 IDBENCH= 1778 IDSOLVER= 172 FILE ID= node4/357015-1176851526 PBS_JOBID= 4590189 Free space on /tmp= 66473 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-dano3mip.opb COMMAND LINE= oree /tmp/evaluation/357015-1176851526/instance-357015-1176851526.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-357015-1176851526 -o ROOT/results/node4/solver-357015-1176851526 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357015-1176851526/instance-357015-1176851526.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 14e6c259fcfc7693ea81c905b2ebcb59 RANDOM SEED= 866063584 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node4.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.218 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.218 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: 1805928 kB Buffers: 12780 kB Cached: 162736 kB SwapCached: 2236 kB Active: 65976 kB Inactive: 132908 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1805928 kB SwapTotal: 4192956 kB SwapFree: 4153860 kB Dirty: 25656 kB Writeback: 0 kB Mapped: 31024 kB Slab: 36644 kB Committed_AS: 5222888 kB PageTables: 1820 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= 66473 MiB End job on node4 on Tue Apr 17 23:42:09 UTC 2007