Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.26 | 1800.78 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-rgn.opb |
MD5SUM | 077c926419792cafad737b20a04bb1ea |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1862512 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 525312 |
Optimality of the best value was proved | NO |
Number of variables | 1260 |
Total number of constraints | 104 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 4 |
Number of constraints which are nor clauses,nor cardinality constraints | 100 |
Minimum length of a constraint | 12 |
Maximum length of a constraint | 127 |
Number of terms in the objective function | 1160 |
Biggest coefficient in the objective function | 196608 |
Number of bits for the biggest coefficient in the objective function | 18 |
Sum of the numbers in the objective function | 15892320 |
Number of bits of the sum of numbers in the objective function | 24 |
Biggest number in a constraint | 25600000000 |
Number of bits of the biggest number in a constraint | 35 |
Biggest sum of numbers in a constraint | 232836875088 |
Number of bits of the biggest sum of numbers | 38 |
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.00/0.01 c ...done 0.00/0.01 c #vars=1260 #constraints=125 hasObjective=yes 0.00/0.03 c res. mode=mod 0.00/0.03 c VSIDS like heuristics 0.00/0.03 c complete search running 0.00/0.03 c restart after 401 decisions 0.00/0.03 c nbDecision=500 #constraints=125 0.00/0.04 c restart after 801 decisions 0.00/0.04 c nbDecision=1000 #constraints=125 0.00/0.04 c nbDecision=1500 #constraints=125 0.09/0.17 c restart after 1601 decisions 0.09/0.18 c nbDecision=2000 #constraints=174 0.19/0.28 c nbDecision=2500 #constraints=274 0.29/0.33 c nbDecision=3000 #constraints=300 0.29/0.34 c restart after 3201 decisions 0.29/0.35 c nbDecision=3500 #constraints=308 0.29/0.36 c nbDecision=4000 #constraints=311 0.29/0.37 c nbDecision=4500 #constraints=316 0.49/0.50 c nbDecision=5000 #constraints=425 0.49/0.54 c nbDecision=5500 #constraints=445 0.49/0.55 c nbDecision=6000 #constraints=451 0.59/0.68 c restart after 6401 decisions 0.59/0.69 c nbDecision=6500 #constraints=548 0.69/0.70 c nbDecision=7000 #constraints=548 0.79/0.83 c nbDecision=7500 #constraints=680 0.79/0.87 c nbDecision=8000 #constraints=704 0.79/0.89 c nbDecision=8500 #constraints=714 0.89/0.97 c nbDecision=9000 #constraints=774 0.99/1.00 c nbDecision=9500 #constraints=787 1.09/1.11 c nbDecision=10000 #constraints=878 1.09/1.16 c nbDecision=10500 #constraints=909 1.09/1.19 c nbDecision=11000 #constraints=917 1.19/1.21 c nbDecision=11500 #constraints=922 1.29/1.34 c nbDecision=12000 #constraints=1017 1.29/1.38 c nbDecision=12500 #constraints=1033 1.29/1.40 c restart after 12801 decisions 1.39/1.41 c nbDecision=13000 #constraints=1037 1.39/1.43 c nbDecision=13500 #constraints=1037 2.79/2.85 c nbDecision=14000 #constraints=1492 4.69/4.74 c nbDecision=14500 #constraints=1995 7.59/7.66 c nbDecision=15000 #constraints=2493 11.39/11.45 c nbDecision=15500 #constraints=2993 15.98/16.01 c nbDecision=16000 #constraints=3494 20.89/20.98 c nbDecision=16500 #constraints=3993 26.98/27.05 c nbDecision=17000 #constraints=4493 34.09/34.16 c nbDecision=17500 #constraints=4997 42.08/42.11 c nbDecision=18000 #constraints=5494 50.68/50.71 c nbDecision=18500 #constraints=5997 60.17/60.22 c nbDecision=19000 #constraints=6493 70.87/70.92 c nbDecision=19500 #constraints=6995 82.47/82.56 c nbDecision=20000 #constraints=7494 94.66/94.70 c nbDecision=20500 #constraints=7995 107.66/107.79 c nbDecision=21000 #constraints=8493 121.96/122.06 c nbDecision=21500 #constraints=8995 137.15/137.26 c nbDecision=22000 #constraints=9494 152.75/152.85 c nbDecision=22500 #constraints=9997 169.14/169.20 c nbDecision=23000 #constraints=10497 186.53/186.60 c nbDecision=23500 #constraints=10997 204.93/205.07 c nbDecision=24000 #constraints=11494 223.82/223.98 c nbDecision=24500 #constraints=11995 243.32/243.46 c nbDecision=25000 #constraints=12493 264.11/264.20 c nbDecision=25500 #constraints=12997 268.31/268.48 c restart after 25601 decisions 269.51/269.64 c nbDecision=26000 #constraints=13097 270.52/270.62 c nbDecision=26500 #constraints=13245 272.41/272.59 c nbDecision=27000 #constraints=13747 274.92/275.01 c nbDecision=27500 #constraints=14248 278.21/278.37 c nbDecision=28000 #constraints=14746 282.41/282.55 c nbDecision=28500 #constraints=15245 287.31/287.42 c nbDecision=29000 #constraints=15745 292.91/293.04 c nbDecision=29500 #constraints=16248 299.80/299.90 c nbDecision=30000 #constraints=16748 308.00/308.17 c nbDecision=30500 #constraints=17247 316.80/316.92 c nbDecision=31000 #constraints=17749 326.00/326.13 c nbDecision=31500 #constraints=18248 336.40/336.57 c nbDecision=32000 #constraints=18748 348.09/348.22 c nbDecision=32500 #constraints=19247 360.08/360.29 c nbDecision=33000 #constraints=19747 372.98/373.14 c nbDecision=33500 #constraints=20248 386.87/387.04 c nbDecision=34000 #constraints=20748 402.07/402.26 c nbDecision=34500 #constraints=21245 418.07/418.23 c nbDecision=35000 #constraints=21753 434.27/434.44 c nbDecision=35500 #constraints=22252 451.66/451.89 c nbDecision=36000 #constraints=22752 470.16/470.33 c nbDecision=36500 #constraints=23252 489.65/489.82 c nbDecision=37000 #constraints=23749 509.34/509.57 c nbDecision=37500 #constraints=24248 530.13/530.39 c nbDecision=38000 #constraints=24750 552.04/552.23 c nbDecision=38500 #constraints=25250 574.92/575.13 c nbDecision=39000 #constraints=25749 598.02/598.22 c nbDecision=39500 #constraints=26248 622.22/622.44 c nbDecision=40000 #constraints=26748 647.51/647.79 c nbDecision=40500 #constraints=27252 673.80/674.05 c nbDecision=41000 #constraints=27749 700.19/700.49 c nbDecision=41500 #constraints=28248 727.68/727.94 c nbDecision=42000 #constraints=28750 756.27/756.58 c nbDecision=42500 #constraints=29250 786.16/786.44 c nbDecision=43000 #constraints=29751 816.06/816.31 c nbDecision=43500 #constraints=30250 846.75/847.01 c nbDecision=44000 #constraints=30750 878.65/878.95 c nbDecision=44500 #constraints=31252 911.73/912.09 c nbDecision=45000 #constraints=31745 945.12/945.42 c nbDecision=45500 #constraints=32248 979.11/979.47 c nbDecision=46000 #constraints=32750 1014.70/1015.01 c nbDecision=46500 #constraints=33250 1051.39/1051.75 c nbDecision=47000 #constraints=33749 1087.97/1088.35 c nbDecision=47500 #constraints=34248 1125.17/1125.57 c nbDecision=48000 #constraints=34748 1163.46/1163.86 c nbDecision=48500 #constraints=35252 1203.34/1203.70 c nbDecision=49000 #constraints=35749 1243.13/1243.59 c nbDecision=49500 #constraints=36249 1283.52/1283.90 c nbDecision=50000 #constraints=36748 1325.11/1325.54 c nbDecision=50500 #constraints=37248 1368.70/1369.17 c nbDecision=51000 #constraints=37751 1385.99/1386.40 c restart after 51201 decisions 1389.39/1389.80 c nbDecision=51500 #constraints=37951 1391.79/1392.20 c nbDecision=52000 #constraints=37973 1395.18/1395.64 c nbDecision=52500 #constraints=37995 1398.79/1399.24 c nbDecision=53000 #constraints=38004 1402.48/1402.99 c nbDecision=53500 #constraints=38090 1407.38/1407.80 c nbDecision=54000 #constraints=38119 1410.99/1411.43 c nbDecision=54500 #constraints=38199 1414.48/1414.91 c nbDecision=55000 #constraints=38226 1418.68/1419.19 c nbDecision=55500 #constraints=38239 1422.38/1422.80 c nbDecision=56000 #constraints=38327 1426.68/1427.18 c nbDecision=56500 #constraints=38376 1430.18/1430.60 c nbDecision=57000 #constraints=38382 1433.78/1434.28 c nbDecision=57500 #constraints=38451 1438.97/1439.44 c nbDecision=58000 #constraints=38495 1442.37/1442.86 c nbDecision=58500 #constraints=38502 1446.07/1446.54 c nbDecision=59000 #constraints=38576 1450.47/1450.91 c nbDecision=59500 #constraints=38597 1454.67/1455.15 c nbDecision=60000 #constraints=38603 1458.36/1458.82 c nbDecision=60500 #constraints=38677 1462.06/1462.58 c nbDecision=61000 #constraints=38697 1467.16/1467.62 c nbDecision=61500 #constraints=38754 1470.66/1471.19 c nbDecision=62000 #constraints=38793 1474.16/1474.62 c nbDecision=62500 #constraints=38802 1478.56/1479.06 c nbDecision=63000 #constraints=38844 1483.06/1483.55 c nbDecision=63500 #constraints=38915 1486.56/1487.00 c nbDecision=64000 #constraints=38929 1490.15/1490.69 c nbDecision=64500 #constraints=38989 1494.65/1495.13 c nbDecision=65000 #constraints=39020 1498.86/1499.35 c nbDecision=65500 #constraints=39028 1502.45/1503.00 c nbDecision=66000 #constraints=39081 1506.95/1507.41 c nbDecision=66500 #constraints=39117 1511.25/1511.76 c nbDecision=67000 #constraints=39130 1514.86/1515.34 c nbDecision=67500 #constraints=39159 1519.25/1519.76 c nbDecision=68000 #constraints=39185 1523.45/1523.99 c nbDecision=68500 #constraints=39191 1527.15/1527.61 c nbDecision=69000 #constraints=39223 1532.45/1532.93 c nbDecision=69500 #constraints=39258 1535.85/1536.35 c nbDecision=70000 #constraints=39262 1539.55/1540.05 c nbDecision=70500 #constraints=39313 1544.75/1545.22 c nbDecision=71000 #constraints=39328 1548.35/1548.89 c nbDecision=71500 #constraints=39366 1552.04/1552.51 c nbDecision=72000 #constraints=39402 1557.14/1557.64 c nbDecision=72500 #constraints=39411 1560.74/1561.29 c nbDecision=73000 #constraints=39455 1564.34/1564.88 c nbDecision=73500 #constraints=39487 1569.54/1570.06 c nbDecision=74000 #constraints=39498 1573.33/1573.87 c nbDecision=74500 #constraints=39561 1576.84/1577.36 c nbDecision=75000 #constraints=39579 1581.13/1581.65 c nbDecision=75500 #constraints=39582 1585.73/1586.28 c nbDecision=76000 #constraints=39639 1589.23/1589.73 c nbDecision=76500 #constraints=39646 1593.62/1594.16 c nbDecision=77000 #constraints=39663 1598.12/1598.67 c nbDecision=77500 #constraints=39709 1601.62/1602.11 c nbDecision=78000 #constraints=39717 1606.12/1606.65 c nbDecision=78500 #constraints=39751 1610.62/1611.16 c nbDecision=79000 #constraints=39794 1614.02/1614.59 c nbDecision=79500 #constraints=39797 1618.12/1618.65 c nbDecision=80000 #constraints=39864 1623.13/1623.66 c nbDecision=80500 #constraints=39888 1626.82/1627.32 c nbDecision=81000 #constraints=39917 1630.52/1631.01 c nbDecision=81500 #constraints=39949 1635.62/1636.13 c nbDecision=82000 #constraints=39960 1639.42/1639.99 c nbDecision=82500 #constraints=40027 1643.02/1643.51 c nbDecision=83000 #constraints=40047 1647.51/1648.09 c nbDecision=83500 #constraints=40100 1652.21/1652.75 c nbDecision=84000 #constraints=40146 1655.71/1656.20 c nbDecision=84500 #constraints=40152 1660.11/1660.69 c nbDecision=85000 #constraints=40178 1664.51/1665.08 c nbDecision=85500 #constraints=40188 1668.31/1668.80 c nbDecision=86000 #constraints=40215 1673.41/1673.99 c nbDecision=86500 #constraints=40222 1677.11/1677.62 c nbDecision=87000 #constraints=40244 1680.90/1681.45 c nbDecision=87500 #constraints=40263 1685.81/1686.36 c nbDecision=88000 #constraints=40269 1689.60/1690.11 c nbDecision=88500 #constraints=40299 1694.80/1695.32 c nbDecision=89000 #constraints=40309 1698.50/1699.07 c nbDecision=89500 #constraints=40342 1702.00/1702.53 c nbDecision=90000 #constraints=40350 1707.40/1707.96 c nbDecision=90500 #constraints=40381 1711.00/1711.60 c nbDecision=91000 #constraints=40404 1714.79/1715.37 c nbDecision=91500 #constraints=40410 1719.99/1720.51 c nbDecision=92000 #constraints=40442 1723.39/1723.99 c nbDecision=92500 #constraints=40451 1727.89/1728.45 c nbDecision=93000 #constraints=40474 1732.49/1733.01 c nbDecision=93500 #constraints=40493 1736.09/1736.69 c nbDecision=94000 #constraints=40517 1741.48/1742.02 c nbDecision=94500 #constraints=40542 1745.19/1745.74 c nbDecision=95000 #constraints=40570 1748.89/1749.42 c nbDecision=95500 #constraints=40597 1753.39/1753.96 c nbDecision=96000 #constraints=40619 1757.98/1758.50 c nbDecision=96500 #constraints=40651 1761.69/1762.27 c nbDecision=97000 #constraints=40687 1766.28/1766.83 c nbDecision=97500 #constraints=40715 1770.88/1771.43 c nbDecision=98000 #constraints=40745 1774.48/1775.01 c nbDecision=98500 #constraints=40761 1778.98/1779.55 c nbDecision=99000 #constraints=40781 1783.47/1784.03 c nbDecision=99500 #constraints=40804 1786.98/1787.57 c nbDecision=100000 #constraints=40811 1792.67/1793.21 c nbDecision=100500 #constraints=40866 1796.07/1796.65 c nbDecision=101000 #constraints=40872 1800.08/1800.60 Received signal 15 1800.18/1800.73 1800.18/1800.73 s UNKNOWN 1800.18/1800.73 1800.18/1800.73 c user time= 1799.69 s 1800.18/1800.73 c system time= 0.52492 s 1800.18/1800.73 c wall clock time=1800.74
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node71/watcher-357372-1176996043 -o ROOT/results/node71/solver-357372-1176996043 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357372-1176996043/instance-357372-1176996043.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/64 1305 /proc/meminfo: memFree=1170184/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=1468 CPUtime=0 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 175593666 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 367 164 131 317 0 46 0 [startup+0.0840739 s] /proc/loadavg: 0.92 0.98 0.99 3/64 1305 /proc/meminfo: memFree=1170184/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=1996 CPUtime=0.08 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 310 0 0 0 8 0 0 0 18 0 1 0 175593666 2043904 292 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 499 292 139 317 0 178 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1996 [startup+0.101076 s] /proc/loadavg: 0.92 0.98 0.99 3/64 1305 /proc/meminfo: memFree=1170184/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=1996 CPUtime=0.09 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 320 0 0 0 9 0 0 0 18 0 1 0 175593666 2043904 302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715798 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 499 303 139 317 0 178 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1996 [startup+0.301103 s] /proc/loadavg: 0.92 0.98 0.99 3/64 1305 /proc/meminfo: memFree=1170184/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=2784 CPUtime=0.29 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 509 0 0 0 29 0 0 0 19 0 1 0 175593666 2850816 491 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272630 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 696 491 139 317 0 375 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2784 [startup+0.701158 s] /proc/loadavg: 0.92 0.98 0.99 3/64 1305 /proc/meminfo: memFree=1170184/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=4360 CPUtime=0.69 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 902 0 0 0 69 0 0 0 22 0 1 0 175593666 4464640 884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716161 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 1090 884 139 317 0 769 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4360 [startup+1.50127 s] /proc/loadavg: 0.92 0.98 0.99 2/65 1306 /proc/meminfo: memFree=1166144/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=6852 CPUtime=1.48 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 1571 0 0 0 148 0 0 0 25 0 1 0 175593666 7016448 1553 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 1713 1553 170 317 0 1392 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 6852 [startup+3.10148 s] /proc/loadavg: 0.92 0.98 0.99 2/65 1306 /proc/meminfo: memFree=1163520/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=9616 CPUtime=3.09 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 2244 0 0 0 308 1 0 0 25 0 1 0 175593666 9846784 2226 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 2404 2226 170 317 0 2083 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9616 [startup+6.30192 s] /proc/loadavg: 0.93 0.98 0.99 2/65 1306 /proc/meminfo: memFree=1158592/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=13544 CPUtime=6.29 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 3222 0 0 0 628 1 0 0 25 0 1 0 175593666 13869056 3204 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 3386 3204 170 317 0 3065 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13544 [startup+12.7018 s] /proc/loadavg: 0.93 0.98 0.99 2/65 1306 /proc/meminfo: memFree=1153472/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=19148 CPUtime=12.69 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 4447 0 0 0 1267 2 0 0 25 0 1 0 175593666 19607552 4429 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 4787 4429 170 317 0 4466 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19148 [startup+25.5015 s] /proc/loadavg: 0.95 0.98 0.99 2/65 1306 /proc/meminfo: memFree=1146880/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=24760 CPUtime=25.48 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 5977 0 0 0 2545 3 0 0 25 0 1 0 175593666 25354240 5959 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 6190 5959 170 317 0 5869 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 24760 [startup+51.102 s] /proc/loadavg: 0.96 0.98 0.99 2/65 1306 /proc/meminfo: memFree=1137344/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=35536 CPUtime=51.08 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 8365 0 0 0 5102 6 0 0 25 0 1 0 175593666 36388864 8347 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 8884 8348 170 317 0 8563 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 35536 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 1306 /proc/meminfo: memFree=1125888/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=45588 CPUtime=102.27 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 11186 0 0 0 10218 9 0 0 25 0 1 0 175593666 46682112 11168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 11397 11168 170 317 0 11076 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 45588 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1306 /proc/meminfo: memFree=1113728/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=61592 CPUtime=162.24 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 14305 0 0 0 16213 11 0 0 25 0 1 0 175593666 63070208 14229 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 15398 14229 170 317 0 15077 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 61592 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1306 /proc/meminfo: memFree=1105216/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=69160 CPUtime=222.23 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 16383 0 0 0 22210 13 0 0 25 0 1 0 175593666 70819840 16307 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 17290 16307 170 317 0 16969 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 69160 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1306 /proc/meminfo: memFree=1088320/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=86748 CPUtime=282.21 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 20774 0 0 0 28204 17 0 0 25 0 1 0 175593666 88829952 20698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 21687 20698 170 317 0 21366 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 86748 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1306 /proc/meminfo: memFree=1067392/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=110076 CPUtime=342.19 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 26653 0 0 0 34198 21 0 0 25 0 1 0 175593666 112717824 25737 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 27519 25737 170 317 0 27198 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 110076 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1306 /proc/meminfo: memFree=1056256/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=124308 CPUtime=402.17 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 29976 0 0 0 40193 24 0 0 25 0 1 0 175593666 127291392 29027 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 31077 29027 170 317 0 30756 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 124308 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1306 /proc/meminfo: memFree=1045440/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=132172 CPUtime=462.16 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 32150 0 0 0 46189 27 0 0 25 0 1 0 175593666 135344128 31201 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 33043 31201 170 317 0 32722 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 132172 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1306 /proc/meminfo: memFree=1037888/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=140196 CPUtime=522.14 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 34324 0 0 0 52185 29 0 0 25 0 1 0 175593666 143560704 33111 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 35049 33111 170 317 0 34728 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 140196 [startup+582.301 s] /proc/loadavg: 1.03 1.00 1.00 2/65 1306 /proc/meminfo: memFree=1030976/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=145984 CPUtime=582.12 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 36039 0 0 0 58181 31 0 0 25 0 1 0 175593666 149487616 34826 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 36496 34826 170 317 0 36175 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 145984 [startup+642.302 s] /proc/loadavg: 1.01 1.00 1.00 2/65 1306 /proc/meminfo: memFree=1024640/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=151484 CPUtime=642.11 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 37605 0 0 0 64178 33 0 0 25 0 1 0 175593666 155119616 36392 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563935 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 37871 36392 170 317 0 37550 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 151484 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1306 /proc/meminfo: memFree=1001856/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=178128 CPUtime=882.04 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 44264 0 0 0 88165 39 0 0 25 0 1 0 175593666 182403072 42061 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 44532 42061 170 317 0 44211 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 178128 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1306 /proc/meminfo: memFree=997312/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=182712 CPUtime=942.02 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 45486 0 0 0 94163 39 0 0 25 0 1 0 175593666 187097088 43217 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 45678 43217 170 317 0 45357 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 182712 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1306 /proc/meminfo: memFree=991680/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=188336 CPUtime=1002 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 47086 0 0 0 100160 40 0 0 25 0 1 0 175593666 192856064 44558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604218 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 47084 44558 170 317 0 46763 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 188336 [startup+1062.3 s] /proc/loadavg: 1.07 1.02 1.00 2/65 1306 /proc/meminfo: memFree=988224/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=199676 CPUtime=1061.99 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 49895 0 0 0 106157 42 0 0 25 0 1 0 175593666 204468224 45482 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 49919 45482 170 317 0 49598 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 199676 [startup+1122.3 s] /proc/loadavg: 1.02 1.01 1.00 2/65 1306 /proc/meminfo: memFree=983936/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=203212 CPUtime=1121.97 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 50949 0 0 0 112154 43 0 0 25 0 1 0 175593666 208089088 46536 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 50803 46536 170 317 0 50482 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 203212 [startup+1182.3 s] /proc/loadavg: 1.01 1.00 1.00 2/65 1306 /proc/meminfo: memFree=980032/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=207024 CPUtime=1181.95 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 52008 0 0 0 118151 44 0 0 25 0 1 0 175593666 211992576 47529 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 51756 47529 170 317 0 51435 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 207024 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1308 /proc/meminfo: memFree=976000/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=210564 CPUtime=1241.93 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 53056 0 0 0 124148 45 0 0 25 0 1 0 175593666 215617536 48512 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 52641 48512 170 317 0 52320 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 210564 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1308 /proc/meminfo: memFree=972160/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=213700 CPUtime=1301.91 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 54006 0 0 0 130145 46 0 0 25 0 1 0 175593666 218828800 49462 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 53425 49462 170 317 0 53104 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 213700 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1308 /proc/meminfo: memFree=968448/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=216860 CPUtime=1361.9 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 54934 0 0 0 136142 48 0 0 25 0 1 0 175593666 222064640 50390 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 54215 50390 170 317 0 53894 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 216860 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1308 /proc/meminfo: memFree=964928/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=220148 CPUtime=1421.88 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 55817 0 0 0 142139 49 0 0 25 0 1 0 175593666 225431552 51273 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712582 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 55037 51273 170 317 0 54716 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 220148 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1308 /proc/meminfo: memFree=961536/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=223596 CPUtime=1481.86 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 56650 0 0 0 148137 49 0 0 25 0 1 0 175593666 228962304 52106 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711026 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 55899 52106 170 317 0 55578 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 223596 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1308 /proc/meminfo: memFree=959424/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=225560 CPUtime=1541.85 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 57176 0 0 0 154135 50 0 0 25 0 1 0 175593666 230973440 52632 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712518 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 56390 52632 170 317 0 56069 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 225560 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1308 /proc/meminfo: memFree=956672/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=229120 CPUtime=1601.82 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 57874 0 0 0 160132 50 0 0 25 0 1 0 175593666 234618880 53330 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 57280 53330 170 317 0 56959 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 229120 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1308 /proc/meminfo: memFree=954240/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=231196 CPUtime=1661.81 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 58460 0 0 0 166130 51 0 0 25 0 1 0 175593666 236744704 53916 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 57799 53916 170 317 0 57478 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 231196 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1308 /proc/meminfo: memFree=952896/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=232376 CPUtime=1721.79 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 58823 0 0 0 172128 51 0 0 25 0 1 0 175593666 237953024 54279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 58094 54279 170 317 0 57773 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 232376 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1308 /proc/meminfo: memFree=951232/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=233944 CPUtime=1781.78 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 59226 0 0 0 178126 52 0 0 25 0 1 0 175593666 239558656 54682 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 58486 54682 170 317 0 58165 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 233944 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1308 /proc/meminfo: memFree=950848/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=234332 CPUtime=1800.08 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 59312 0 0 0 179956 52 0 0 25 0 1 0 175593666 239955968 54768 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 58583 54768 170 317 0 58262 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 234332 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1308 /proc/meminfo: memFree=950848/2055920 swapFree=4184232/4192956 [pid=1305] ppid=1303 vsize=234332 CPUtime=1800.18 /proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 59312 0 0 0 179966 52 0 0 25 0 1 0 175593666 239955968 54768 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1305/statm: 58583 54768 170 317 0 58262 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 234332 Child status: 0 Real time (s): 1800.78 CPU time (s): 1800.26 CPU user time (s): 1799.7 CPU system time (s): 0.559914 CPU usage (%): 99.971 Max. virtual memory (cumulated for all children) (KiB): 234332 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.7 system time used= 0.559914 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 59328 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= 2454 runsolver used 1.25781 second user time and 3.69144 second system time The end
Begin job on node71 on Thu Apr 19 15:20:44 UTC 2007 IDJOB= 357372 IDBENCH= 2492 IDSOLVER= 172 FILE ID= node71/357372-1176996043 PBS_JOBID= 4630434 Free space on /tmp= 66446 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-rgn.opb COMMAND LINE= oree /tmp/evaluation/357372-1176996043/instance-357372-1176996043.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node71/watcher-357372-1176996043 -o ROOT/results/node71/solver-357372-1176996043 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357372-1176996043/instance-357372-1176996043.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 077c926419792cafad737b20a04bb1ea RANDOM SEED= 765846053 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node71.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: 1170720 kB Buffers: 38132 kB Cached: 766884 kB SwapCached: 2620 kB Active: 208148 kB Inactive: 606568 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1170720 kB SwapTotal: 4192956 kB SwapFree: 4184232 kB Dirty: 1356 kB Writeback: 0 kB Mapped: 15820 kB Slab: 56508 kB Committed_AS: 2577792 kB PageTables: 1448 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= 66446 MiB End job on node71 on Thu Apr 19 15:50:46 UTC 2007