Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.37 | 1800.99 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-neos11.opb |
MD5SUM | d62742ce7b3ddc885e86cc367d20ba86 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
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 | 0.670897 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 8600 |
Total number of constraints | 2806 |
Number of constraints which are clauses | 600 |
Number of constraints which are cardinality constraints (but not clauses) | 120 |
Number of constraints which are nor clauses,nor cardinality constraints | 2086 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 450 |
Number of terms in the objective function | 5400 |
Biggest coefficient in the objective function | 1457 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 528660 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 528660 |
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... 0.09/0.17 c ...done 0.09/0.17 c #vars=8600 #constraints=3043 hasObjective=yes 0.19/0.21 c res. mode=mod 0.19/0.21 c VSIDS like heuristics 0.19/0.21 c complete search running 0.29/0.32 c restart after 401 decisions 0.29/0.36 c nbDecision=500 #constraints=3161 0.39/0.45 c restart after 801 decisions 0.49/0.52 c nbDecision=1000 #constraints=3330 0.59/0.61 c nbDecision=1500 #constraints=3354 0.59/0.63 c restart after 1601 decisions 0.79/0.81 c nbDecision=2000 #constraints=3409 0.89/0.94 c nbDecision=2500 #constraints=3475 1.00/1.06 c nbDecision=3000 #constraints=3501 1.10/1.10 c restart after 3201 decisions 1.10/1.19 c nbDecision=3500 #constraints=3516 1.29/1.34 c nbDecision=4000 #constraints=3543 1.49/1.50 c nbDecision=4500 #constraints=3579 1.59/1.63 c nbDecision=5000 #constraints=3640 1.69/1.78 c nbDecision=5500 #constraints=3698 1.89/1.93 c nbDecision=6000 #constraints=3761 1.99/2.08 c restart after 6401 decisions 2.10/2.15 c nbDecision=6500 #constraints=3824 2.39/2.42 c nbDecision=7000 #constraints=3910 2.59/2.67 c nbDecision=7500 #constraints=3988 2.69/2.78 c nbDecision=8000 #constraints=4020 3.09/3.10 c nbDecision=8500 #constraints=4120 3.29/3.39 c nbDecision=9000 #constraints=4193 3.59/3.61 c nbDecision=9500 #constraints=4241 3.79/3.86 c nbDecision=10000 #constraints=4317 3.99/4.08 c nbDecision=10500 #constraints=4377 4.49/4.52 c nbDecision=11000 #constraints=4471 4.99/5.05 c nbDecision=11500 #constraints=4604 5.39/5.44 c nbDecision=12000 #constraints=4696 5.99/6.04 c nbDecision=12500 #constraints=4775 6.19/6.25 c restart after 12801 decisions 6.29/6.36 c nbDecision=13000 #constraints=4821 6.60/6.69 c nbDecision=13500 #constraints=4872 7.09/7.19 c nbDecision=14000 #constraints=4970 7.60/7.69 c nbDecision=14500 #constraints=5062 8.39/8.44 c nbDecision=15000 #constraints=5190 9.19/9.20 c nbDecision=15500 #constraints=5309 9.80/9.84 c nbDecision=16000 #constraints=5445 11.09/11.15 c nbDecision=16500 #constraints=5550 11.89/11.95 c nbDecision=17000 #constraints=5692 12.59/12.60 c nbDecision=17500 #constraints=5793 13.39/13.48 c nbDecision=18000 #constraints=5925 14.49/14.51 c nbDecision=18500 #constraints=6144 16.08/16.15 c nbDecision=19000 #constraints=6342 17.18/17.28 c nbDecision=19500 #constraints=6419 19.89/19.99 c nbDecision=20000 #constraints=6568 20.39/20.50 c nbDecision=20500 #constraints=6633 22.99/23.08 c nbDecision=21000 #constraints=6781 28.49/28.52 c nbDecision=21500 #constraints=6975 29.78/29.81 c nbDecision=22000 #constraints=7148 31.38/31.46 c nbDecision=22500 #constraints=7308 40.78/40.81 c nbDecision=23000 #constraints=7569 41.28/41.37 c nbDecision=23500 #constraints=7605 41.58/41.67 c nbDecision=24000 #constraints=7634 41.98/42.08 c nbDecision=24500 #constraints=7670 42.38/42.47 c nbDecision=25000 #constraints=7692 43.28/43.38 c nbDecision=25500 #constraints=7762 43.38/43.43 c restart after 25601 decisions 46.58/46.68 c nbDecision=26000 #constraints=7961 50.58/50.67 c nbDecision=26500 #constraints=8243 54.57/54.64 c nbDecision=27000 #constraints=8460 56.27/56.34 c nbDecision=27500 #constraints=8601 62.08/62.19 c nbDecision=28000 #constraints=8834 64.18/64.23 c nbDecision=28500 #constraints=8948 65.28/65.33 c nbDecision=29000 #constraints=9015 68.37/68.41 c nbDecision=29500 #constraints=9084 72.57/72.66 c nbDecision=30000 #constraints=9269 75.57/75.61 c nbDecision=30500 #constraints=9405 78.97/79.05 c nbDecision=31000 #constraints=9511 81.17/81.23 c nbDecision=31500 #constraints=9571 81.97/82.01 c nbDecision=32000 #constraints=9602 85.67/85.80 c nbDecision=32500 #constraints=9756 101.96/102.02 c nbDecision=33000 #constraints=10058 111.26/111.32 c nbDecision=33500 #constraints=10355 137.46/137.58 c nbDecision=34000 #constraints=10722 149.65/149.77 c nbDecision=34500 #constraints=11006 151.25/151.34 c nbDecision=35000 #constraints=11056 152.24/152.32 c nbDecision=35500 #constraints=11093 152.94/153.01 c nbDecision=36000 #constraints=11121 192.53/192.60 c nbDecision=36500 #constraints=11530 197.54/197.63 c nbDecision=37000 #constraints=11593 198.84/198.92 c nbDecision=37500 #constraints=11617 200.34/200.46 c nbDecision=38000 #constraints=11676 202.04/202.13 c nbDecision=38500 #constraints=11753 204.13/204.21 c nbDecision=39000 #constraints=11814 207.53/207.67 c nbDecision=39500 #constraints=11877 209.03/209.15 c nbDecision=40000 #constraints=11930 210.83/210.94 c nbDecision=40500 #constraints=11965 211.93/212.00 c nbDecision=41000 #constraints=12019 214.03/214.19 c nbDecision=41500 #constraints=12061 215.93/216.01 c nbDecision=42000 #constraints=12108 218.43/218.50 c nbDecision=42500 #constraints=12209 221.43/221.52 c nbDecision=43000 #constraints=12334 223.53/223.66 c nbDecision=43500 #constraints=12412 224.83/224.91 c nbDecision=44000 #constraints=12509 227.63/227.71 c nbDecision=44500 #constraints=12639 227.82/227.91 c nbDecision=45000 #constraints=12672 228.92/229.01 c nbDecision=45500 #constraints=12740 229.73/229.84 c nbDecision=46000 #constraints=12801 231.93/232.06 c nbDecision=46500 #constraints=12898 234.52/234.63 c nbDecision=47000 #constraints=12955 235.32/235.43 c nbDecision=47500 #constraints=13030 236.52/236.64 c nbDecision=48000 #constraints=13107 237.52/237.65 c nbDecision=48500 #constraints=13175 238.22/238.39 c nbDecision=49000 #constraints=13208 240.12/240.22 c nbDecision=49500 #constraints=13278 241.62/241.72 c nbDecision=50000 #constraints=13322 245.92/246.01 c nbDecision=50500 #constraints=13483 251.02/251.13 c nbDecision=51000 #constraints=13625 252.51/252.67 c restart after 51201 decisions 260.21/260.33 c nbDecision=51500 #constraints=13837 270.81/270.95 c nbDecision=52000 #constraints=14056 275.92/276.07 c nbDecision=52500 #constraints=14211 285.51/285.65 c nbDecision=53000 #constraints=14427 311.20/311.37 c nbDecision=53500 #constraints=14756 344.59/344.73 c nbDecision=54000 #constraints=15130 408.17/408.36 c nbDecision=54500 #constraints=15527 479.56/479.72 c nbDecision=55000 #constraints=15941 563.45/563.78 c nbDecision=55500 #constraints=16359 614.63/614.95 c nbDecision=56000 #constraints=16789 689.10/689.42 c nbDecision=56500 #constraints=17231 734.50/734.89 c nbDecision=57000 #constraints=17525 745.88/746.25 c nbDecision=57500 #constraints=17638 758.98/759.34 c nbDecision=58000 #constraints=17772 760.68/761.09 c nbDecision=58500 #constraints=17828 761.88/762.29 c nbDecision=59000 #constraints=17859 763.18/763.58 c nbDecision=59500 #constraints=17908 768.78/769.19 c nbDecision=60000 #constraints=17996 776.57/776.95 c nbDecision=60500 #constraints=18089 777.77/778.17 c nbDecision=61000 #constraints=18140 785.57/785.98 c nbDecision=61500 #constraints=18208 803.37/803.70 c nbDecision=62000 #constraints=18273 817.06/817.46 c nbDecision=62500 #constraints=18312 832.46/832.85 c nbDecision=63000 #constraints=18449 853.45/853.80 c nbDecision=63500 #constraints=18652 857.85/858.25 c nbDecision=64000 #constraints=18755 868.75/869.10 c nbDecision=64500 #constraints=18827 879.95/880.37 c nbDecision=65000 #constraints=18931 897.34/897.79 c nbDecision=65500 #constraints=19034 954.03/954.42 c nbDecision=66000 #constraints=19299 996.71/997.14 c nbDecision=66500 #constraints=19546 1020.20/1020.61 c nbDecision=67000 #constraints=19754 1069.20/1069.66 c nbDecision=67500 #constraints=19987 1106.58/1107.04 c nbDecision=68000 #constraints=20098 1138.87/1139.31 c nbDecision=68500 #constraints=20226 1155.37/1155.82 c nbDecision=69000 #constraints=20358 1158.06/1158.53 c nbDecision=69500 #constraints=20411 1168.66/1169.20 c nbDecision=70000 #constraints=20457 1174.26/1174.74 c nbDecision=70500 #constraints=20518 1179.77/1180.22 c nbDecision=71000 #constraints=20596 1182.76/1183.29 c nbDecision=71500 #constraints=20682 1184.86/1185.30 c nbDecision=72000 #constraints=20733 1187.06/1187.53 c nbDecision=72500 #constraints=20803 1188.56/1189.05 c nbDecision=73000 #constraints=20850 1190.46/1190.93 c nbDecision=73500 #constraints=20912 1192.56/1193.04 c nbDecision=74000 #constraints=20959 1197.06/1197.50 c nbDecision=74500 #constraints=21093 1200.16/1200.69 c nbDecision=75000 #constraints=21170 1202.76/1203.25 c nbDecision=75500 #constraints=21209 1206.95/1207.47 c nbDecision=76000 #constraints=21246 1209.35/1209.90 c nbDecision=76500 #constraints=21306 1219.25/1219.72 c nbDecision=77000 #constraints=21512 1231.14/1231.67 c nbDecision=77500 #constraints=21654 1241.24/1241.73 c nbDecision=78000 #constraints=21725 1245.64/1246.12 c nbDecision=78500 #constraints=21784 1261.73/1262.27 c nbDecision=79000 #constraints=21865 1272.13/1272.67 c nbDecision=79500 #constraints=22031 1282.93/1283.46 c nbDecision=80000 #constraints=22214 1285.73/1286.27 c nbDecision=80500 #constraints=22300 1295.43/1295.97 c nbDecision=81000 #constraints=22564 1305.32/1305.87 c nbDecision=81500 #constraints=22751 1338.61/1339.19 c nbDecision=82000 #constraints=23073 1347.10/1347.62 c nbDecision=82500 #constraints=23220 1351.10/1351.60 c nbDecision=83000 #constraints=23286 1354.50/1355.07 c nbDecision=83500 #constraints=23353 1376.00/1376.52 c nbDecision=84000 #constraints=23498 1396.90/1397.41 c nbDecision=84500 #constraints=23655 1402.19/1402.78 c nbDecision=85000 #constraints=23807 1410.09/1410.70 c nbDecision=85500 #constraints=23922 1424.69/1425.26 c nbDecision=86000 #constraints=24061 1457.58/1458.17 c nbDecision=86500 #constraints=24271 1485.48/1486.01 c nbDecision=87000 #constraints=24526 1492.37/1492.92 c nbDecision=87500 #constraints=24608 1502.97/1503.51 c nbDecision=88000 #constraints=24661 1517.66/1518.21 c nbDecision=88500 #constraints=24775 1541.25/1541.82 c nbDecision=89000 #constraints=24869 1551.85/1552.46 c nbDecision=89500 #constraints=24902 1553.25/1553.80 c nbDecision=90000 #constraints=24927 1556.85/1557.41 c nbDecision=90500 #constraints=24952 1564.14/1564.71 c nbDecision=91000 #constraints=24982 1567.34/1567.95 c nbDecision=91500 #constraints=25005 1568.74/1569.38 c nbDecision=92000 #constraints=25044 1570.54/1571.13 c nbDecision=92500 #constraints=25076 1578.25/1578.90 c nbDecision=93000 #constraints=25156 1587.24/1587.85 c nbDecision=93500 #constraints=25345 1599.43/1600.07 c nbDecision=94000 #constraints=25540 1615.23/1615.87 c nbDecision=94500 #constraints=25761 1634.82/1635.47 c nbDecision=95000 #constraints=25957 1660.01/1660.69 c nbDecision=95500 #constraints=26055 1671.92/1672.55 c nbDecision=96000 #constraints=26230 1706.00/1706.62 c nbDecision=96500 #constraints=26475 1728.60/1729.22 c nbDecision=97000 #constraints=26702 1738.59/1739.22 c nbDecision=97500 #constraints=26927 1760.99/1761.64 c nbDecision=98000 #constraints=27001 1771.99/1772.65 c nbDecision=98500 #constraints=27063 1774.59/1775.30 c nbDecision=99000 #constraints=27113 1776.69/1777.39 c nbDecision=99500 #constraints=27158 1778.49/1779.12 c nbDecision=100000 #constraints=27209 1800.09/1800.70 Received signal 15 1800.28/1800.95 1800.28/1800.95 s UNKNOWN 1800.28/1800.95 1800.28/1800.95 c user time= 1800.06 s 1800.28/1800.95 c system time= 0.282956 s 1800.28/1800.95 c wall clock time=1800.95
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node71/watcher-362580-1176846742 -o ROOT/results/node71/solver-362580-1176846742 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362580-1176846742/instance-362580-1176846742.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.97 0.99 3/64 17872 /proc/meminfo: memFree=1798656/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=1620 CPUtime=0 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 160663480 1658880 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 405 166 126 317 0 84 0 [startup+0.0262739 s] /proc/loadavg: 0.91 0.97 0.99 3/64 17872 /proc/meminfo: memFree=1798656/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=1884 CPUtime=0.02 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 281 0 0 0 2 0 0 0 18 0 1 0 160663480 1929216 263 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 471 263 131 317 0 150 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1884 [startup+0.101285 s] /proc/loadavg: 0.91 0.97 0.99 3/64 17872 /proc/meminfo: memFree=1798656/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=3336 CPUtime=0.09 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 634 0 0 0 9 0 0 0 18 0 1 0 160663480 3416064 616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 834 616 131 317 0 513 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3336 [startup+0.301311 s] /proc/loadavg: 0.91 0.97 0.99 3/64 17872 /proc/meminfo: memFree=1798656/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=6280 CPUtime=0.29 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 1366 0 0 0 29 0 0 0 19 0 1 0 160663480 6430720 1348 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 1570 1348 139 317 0 1249 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6280 [startup+0.701366 s] /proc/loadavg: 0.91 0.97 0.99 3/64 17872 /proc/meminfo: memFree=1798656/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=6280 CPUtime=0.69 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 1377 0 0 0 69 0 0 0 22 0 1 0 160663480 6430720 1359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 1570 1359 139 317 0 1249 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6280 [startup+1.50148 s] /proc/loadavg: 0.91 0.97 0.99 2/65 17873 /proc/meminfo: memFree=1793528/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=6676 CPUtime=1.49 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 1465 0 0 0 149 0 0 0 25 0 1 0 160663480 6836224 1447 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384541 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 1669 1447 139 317 0 1348 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6676 [startup+3.10169 s] /proc/loadavg: 0.92 0.97 0.99 2/65 17873 /proc/meminfo: memFree=1792824/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=7864 CPUtime=3.09 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 1755 0 0 0 309 0 0 0 25 0 1 0 160663480 8052736 1737 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135277005 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 1966 1737 139 317 0 1645 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7864 [startup+6.30113 s] /proc/loadavg: 0.92 0.97 0.99 2/65 17873 /proc/meminfo: memFree=1790328/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=9952 CPUtime=6.29 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 2292 0 0 0 628 1 0 0 25 0 1 0 160663480 10190848 2274 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 2488 2274 139 317 0 2167 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9952 [startup+12.702 s] /proc/loadavg: 0.93 0.97 0.99 2/65 17873 /proc/meminfo: memFree=1787008/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=13120 CPUtime=12.69 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 3081 0 0 0 1268 1 0 0 25 0 1 0 160663480 13434880 3063 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 3280 3063 139 317 0 2959 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13120 [startup+25.5017 s] /proc/loadavg: 0.94 0.97 0.99 2/65 17873 /proc/meminfo: memFree=1781696/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=18416 CPUtime=25.49 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 4381 0 0 0 2547 2 0 0 25 0 1 0 160663480 18857984 4322 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 4604 4322 139 317 0 4283 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 18416 [startup+51.1012 s] /proc/loadavg: 0.96 0.97 0.99 2/65 17873 /proc/meminfo: memFree=1774016/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=26256 CPUtime=51.08 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 6300 0 0 0 5105 3 0 0 25 0 1 0 160663480 26886144 6241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 6564 6241 139 317 0 6243 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 26256 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.99 2/65 17873 /proc/meminfo: memFree=1763136/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=37016 CPUtime=102.27 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 8986 0 0 0 10222 5 0 0 25 0 1 0 160663480 37904384 8927 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 9254 8927 139 317 0 8933 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 37016 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 17873 /proc/meminfo: memFree=1753600/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=46896 CPUtime=162.25 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 11386 0 0 0 16218 7 0 0 25 0 1 0 160663480 48021504 11327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 11724 11327 139 317 0 11403 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 46896 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 17873 /proc/meminfo: memFree=1744768/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=56700 CPUtime=222.23 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 13639 0 0 0 22215 8 0 0 25 0 1 0 160663480 58060800 13501 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 14175 13501 139 317 0 13854 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 56700 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 17873 /proc/meminfo: memFree=1737792/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=63256 CPUtime=282.21 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 15371 0 0 0 28212 9 0 0 25 0 1 0 160663480 64774144 15233 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 15814 15233 139 317 0 15493 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 63256 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 17873 /proc/meminfo: memFree=1729664/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=71488 CPUtime=342.19 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 17374 0 0 0 34209 10 0 0 25 0 1 0 160663480 73203712 17236 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 17872 17236 139 317 0 17551 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 71488 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 17873 /proc/meminfo: memFree=1724096/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=77560 CPUtime=402.17 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 18781 0 0 0 40207 10 0 0 25 0 1 0 160663480 79421440 18643 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 19390 18643 139 317 0 19069 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 77560 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 17873 /proc/meminfo: memFree=1716864/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=85176 CPUtime=462.15 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 20564 0 0 0 46204 11 0 0 25 0 1 0 160663480 87220224 20426 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 21294 20426 139 317 0 20973 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 85176 [startup+522.301 s] /proc/loadavg: 1.14 1.00 1.00 2/71 17899 /proc/meminfo: memFree=1711504/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=89452 CPUtime=522.11 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 21610 0 0 0 52198 13 0 0 25 0 1 0 160663480 91598848 21472 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0 /proc/17872/statm: 22363 21472 139 317 0 22042 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 89452 [startup+582.302 s] /proc/loadavg: 1.05 1.00 1.00 2/65 18071 /proc/meminfo: memFree=1705984/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=96724 CPUtime=582.03 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 23236 0 0 0 58186 17 0 0 25 0 1 0 160663480 99045376 23098 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 24181 23098 139 317 0 23860 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 96724 [startup+642.302 s] /proc/loadavg: 1.01 1.00 1.00 2/65 18071 /proc/meminfo: memFree=1698752/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=104292 CPUtime=642.02 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 25027 0 0 0 64184 18 0 0 25 0 1 0 160663480 106795008 24889 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714680 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 26073 24889 139 317 0 25752 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 104292 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18071 /proc/meminfo: memFree=1678528/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=126792 CPUtime=941.93 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 30067 0 0 0 94173 20 0 0 25 0 1 0 160663480 129835008 29929 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 31698 29929 139 317 0 31377 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 126792 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18071 /proc/meminfo: memFree=1675264/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=130284 CPUtime=1001.91 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 30875 0 0 0 100171 20 0 0 25 0 1 0 160663480 133410816 30737 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712567 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 32571 30737 139 317 0 32250 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 130284 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18071 /proc/meminfo: memFree=1671680/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=134012 CPUtime=1061.9 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 31784 0 0 0 106169 21 0 0 25 0 1 0 160663480 137228288 31646 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 33503 31646 139 317 0 33182 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 134012 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18071 /proc/meminfo: memFree=1668288/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=137388 CPUtime=1121.88 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 32623 0 0 0 112167 21 0 0 25 0 1 0 160663480 140685312 32485 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 34347 32485 139 317 0 34026 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 137388 [startup+1182.3 s] /proc/loadavg: 1.07 1.02 1.00 2/65 18071 /proc/meminfo: memFree=1666432/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=139388 CPUtime=1181.86 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 33123 0 0 0 118164 22 0 0 25 0 1 0 160663480 142733312 32985 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 34847 32985 139 317 0 34526 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 139388 [startup+1242.3 s] /proc/loadavg: 1.14 1.04 1.01 2/65 18071 /proc/meminfo: memFree=1662592/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=142936 CPUtime=1241.84 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 34041 0 0 0 124162 22 0 0 25 0 1 0 160663480 146366464 33903 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 35734 33903 139 317 0 35413 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 142936 [startup+1302.3 s] /proc/loadavg: 1.10 1.05 1.01 2/65 18071 /proc/meminfo: memFree=1657664/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=148116 CPUtime=1301.83 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 35257 0 0 0 130160 23 0 0 25 0 1 0 160663480 151670784 35119 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 37029 35119 139 317 0 36708 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 148116 [startup+1362.3 s] /proc/loadavg: 1.09 1.05 1.01 2/65 18071 /proc/meminfo: memFree=1652928/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=153368 CPUtime=1361.81 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 36624 0 0 0 136157 24 0 0 25 0 1 0 160663480 157048832 36329 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 38342 36329 139 317 0 38021 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 153368 [startup+1422.31 s] /proc/loadavg: 1.03 1.04 1.00 2/65 18071 /proc/meminfo: memFree=1649984/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=156004 CPUtime=1421.79 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 37340 0 0 0 142155 24 0 0 25 0 1 0 160663480 159748096 37045 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 39001 37045 139 317 0 38680 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 156004 [startup+1482.3 s] /proc/loadavg: 1.01 1.03 1.00 2/65 18071 /proc/meminfo: memFree=1646912/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=159692 CPUtime=1481.77 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 38113 0 0 0 148152 25 0 0 25 0 1 0 160663480 163524608 37818 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 39923 37818 139 317 0 39602 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 159692 [startup+1542.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 18071 /proc/meminfo: memFree=1645184/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=161260 CPUtime=1541.75 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 38544 0 0 0 154150 25 0 0 25 0 1 0 160663480 165130240 38249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 40315 38249 139 317 0 39994 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 161260 [startup+1602.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 18071 /proc/meminfo: memFree=1643008/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=163376 CPUtime=1601.73 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 39110 0 0 0 160147 26 0 0 25 0 1 0 160663480 167297024 38815 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 40844 38815 139 317 0 40523 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 163376 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 18071 /proc/meminfo: memFree=1640832/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=165480 CPUtime=1661.71 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 39647 0 0 0 166145 26 0 0 25 0 1 0 160663480 169451520 39352 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 41370 39352 139 317 0 41049 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 165480 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18071 /proc/meminfo: memFree=1636992/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=169728 CPUtime=1721.7 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 40625 0 0 0 172143 27 0 0 25 0 1 0 160663480 173801472 40330 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563967 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 42432 40330 139 317 0 42111 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 169728 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18071 /proc/meminfo: memFree=1633984/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=172508 CPUtime=1781.69 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 41338 0 0 0 178141 28 0 0 25 0 1 0 160663480 176648192 41043 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 43127 41043 139 317 0 42806 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 172508 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18071 /proc/meminfo: memFree=1633472/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=172900 CPUtime=1800.09 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 41461 0 0 0 179981 28 0 0 25 0 1 0 160663480 177049600 41166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 43225 41166 139 317 0 42904 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 172900 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18071 /proc/meminfo: memFree=1633472/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=172900 CPUtime=1800.18 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 41470 0 0 0 179990 28 0 0 25 0 1 0 160663480 177049600 41175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 43225 41175 139 317 0 42904 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 172900 [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18071 /proc/meminfo: memFree=1633472/2055920 swapFree=4184232/4192956 [pid=17872] ppid=17870 vsize=172900 CPUtime=1800.28 /proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 41470 0 0 0 180000 28 0 0 25 0 1 0 160663480 177049600 41175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17872/statm: 43225 41175 139 317 0 42904 0 Current children cumulated CPU time (s) 1800.28 Current children cumulated vsize (KiB) 172900 Child status: 0 Real time (s): 1800.99 CPU time (s): 1800.37 CPU user time (s): 1800.06 CPU system time (s): 0.311952 CPU usage (%): 99.9658 Max. virtual memory (cumulated for all children) (KiB): 172900 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.06 system time used= 0.311952 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41486 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= 2959 runsolver used 1.20282 second user time and 3.78542 second system time The end
Begin job on node71 on Tue Apr 17 21:52:22 UTC 2007 IDJOB= 362580 IDBENCH= 1576 IDSOLVER= 172 FILE ID= node71/362580-1176846742 PBS_JOBID= 4590177 Free space on /tmp= 66501 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos11.opb COMMAND LINE= oree /tmp/evaluation/362580-1176846742/instance-362580-1176846742.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node71/watcher-362580-1176846742 -o ROOT/results/node71/solver-362580-1176846742 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362580-1176846742/instance-362580-1176846742.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= d62742ce7b3ddc885e86cc367d20ba86 RANDOM SEED= 452191291 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: 1799064 kB Buffers: 19640 kB Cached: 173632 kB SwapCached: 2772 kB Active: 55196 kB Inactive: 147756 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1799064 kB SwapTotal: 4192956 kB SwapFree: 4184232 kB Dirty: 1964 kB Writeback: 0 kB Mapped: 15756 kB Slab: 39944 kB Committed_AS: 2502316 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= 66501 MiB End job on node71 on Tue Apr 17 22:22:25 UTC 2007