Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (MO) | 1099.08 | 1099.37 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-tuff.opb |
MD5SUM | 6c865484f3a48e715bdd95fa7e3b19dc |
Bench Category | OPT-BIGINT (optimisation, big 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 | 17153 |
Total number of constraints | 320 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 320 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 3360 |
Number of terms in the objective function | 90 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 3221225469 |
Number of bits of the sum of numbers in the objective function | 32 |
Biggest number in a constraint | 6170044790734848 |
Number of bits of the biggest number in a constraint | 53 |
Biggest sum of numbers in a constraint | 1104744513968841438 |
Number of bits of the biggest sum of numbers | 60 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.59/0.68 c ...done 0.59/0.68 c #vars=17153 #constraints=582 hasObjective=yes 0.69/0.79 c res. mode=mod 0.69/0.79 c VSIDS like heuristics 0.69/0.79 c complete search running 1.10/1.18 c restart after 401 decisions 1.19/1.23 c nbDecision=500 #constraints=625 1.39/1.43 c restart after 801 decisions 1.49/1.56 c nbDecision=1000 #constraints=641 1.79/1.85 c nbDecision=1500 #constraints=660 1.89/1.91 c restart after 1601 decisions 2.09/2.14 c nbDecision=2000 #constraints=681 2.38/2.40 c nbDecision=2500 #constraints=687 2.68/2.77 c nbDecision=3000 #constraints=719 3.09/3.12 c restart after 3201 decisions 3.20/3.26 c nbDecision=3500 #constraints=745 3.69/3.73 c nbDecision=4000 #constraints=764 4.29/4.30 c nbDecision=4500 #constraints=795 4.87/4.94 c nbDecision=5000 #constraints=823 5.67/5.72 c nbDecision=5500 #constraints=860 6.58/6.64 c nbDecision=6000 #constraints=909 6.97/7.07 c restart after 6401 decisions 7.07/7.13 c nbDecision=6500 #constraints=932 7.37/7.41 c nbDecision=7000 #constraints=940 7.68/7.72 c nbDecision=7500 #constraints=952 8.17/8.26 c nbDecision=8000 #constraints=983 8.68/8.71 c nbDecision=8500 #constraints=1001 8.98/9.07 c nbDecision=9000 #constraints=1012 9.57/9.61 c nbDecision=9500 #constraints=1035 9.88/9.94 c nbDecision=10000 #constraints=1045 10.47/10.53 c nbDecision=10500 #constraints=1068 11.08/11.13 c nbDecision=11000 #constraints=1095 11.67/11.74 c nbDecision=11500 #constraints=1121 11.98/12.08 c nbDecision=12000 #constraints=1128 12.47/12.57 c nbDecision=12500 #constraints=1144 12.98/13.05 c restart after 12801 decisions 13.08/13.14 c nbDecision=13000 #constraints=1169 13.47/13.51 c nbDecision=13500 #constraints=1183 13.67/13.76 c nbDecision=14000 #constraints=1185 14.28/14.30 c nbDecision=14500 #constraints=1208 14.67/14.78 c nbDecision=15000 #constraints=1239 15.07/15.14 c nbDecision=15500 #constraints=1254 15.77/15.87 c nbDecision=16000 #constraints=1279 16.47/16.52 c nbDecision=16500 #constraints=1329 16.97/17.07 c nbDecision=17000 #constraints=1363 17.67/17.73 c nbDecision=17500 #constraints=1402 18.07/18.14 c nbDecision=18000 #constraints=1417 18.68/18.74 c nbDecision=18500 #constraints=1446 19.58/19.69 c nbDecision=19000 #constraints=1507 20.17/20.29 c nbDecision=19500 #constraints=1546 21.07/21.13 c nbDecision=20000 #constraints=1602 21.87/21.98 c nbDecision=20500 #constraints=1658 22.57/22.64 c nbDecision=21000 #constraints=1693 23.37/23.44 c nbDecision=21500 #constraints=1745 24.97/25.04 c nbDecision=22000 #constraints=1860 26.77/26.81 c nbDecision=22500 #constraints=1991 27.97/28.01 c nbDecision=23000 #constraints=2069 28.37/28.42 c nbDecision=23500 #constraints=2078 28.97/29.01 c nbDecision=24000 #constraints=2102 29.87/29.99 c nbDecision=24500 #constraints=2155 30.37/30.44 c nbDecision=25000 #constraints=2165 30.97/31.02 c nbDecision=25500 #constraints=2185 31.07/31.11 c restart after 25601 decisions 31.27/31.32 c nbDecision=26000 #constraints=2199 31.67/31.71 c nbDecision=26500 #constraints=2207 32.27/32.33 c nbDecision=27000 #constraints=2226 32.67/32.79 c nbDecision=27500 #constraints=2235 33.37/33.40 c nbDecision=28000 #constraints=2253 34.07/34.11 c nbDecision=28500 #constraints=2280 34.86/34.94 c nbDecision=29000 #constraints=2323 35.46/35.57 c nbDecision=29500 #constraints=2349 36.07/36.18 c nbDecision=30000 #constraints=2373 36.97/37.08 c nbDecision=30500 #constraints=2416 38.16/38.21 c nbDecision=31000 #constraints=2466 39.06/39.11 c nbDecision=31500 #constraints=2496 39.67/39.80 c nbDecision=32000 #constraints=2510 40.57/40.64 c nbDecision=32500 #constraints=2532 41.07/41.14 c nbDecision=33000 #constraints=2541 41.77/41.86 c nbDecision=33500 #constraints=2565 43.26/43.32 c nbDecision=34000 #constraints=2630 45.37/45.43 c nbDecision=34500 #constraints=2724 46.07/46.15 c nbDecision=35000 #constraints=2744 46.66/46.70 c nbDecision=35500 #constraints=2757 47.96/48.02 c nbDecision=36000 #constraints=2802 48.27/48.38 c nbDecision=36500 #constraints=2807 48.86/48.90 c nbDecision=37000 #constraints=2817 49.37/49.44 c nbDecision=37500 #constraints=2828 50.16/50.24 c nbDecision=38000 #constraints=2854 51.86/51.90 c nbDecision=38500 #constraints=2927 53.96/54.02 c nbDecision=39000 #constraints=3012 55.56/55.66 c nbDecision=39500 #constraints=3054 56.97/57.08 c nbDecision=40000 #constraints=3099 58.07/58.19 c nbDecision=40500 #constraints=3126 59.46/59.50 c nbDecision=41000 #constraints=3157 61.47/61.54 c nbDecision=41500 #constraints=3208 63.06/63.10 c nbDecision=42000 #constraints=3241 65.16/65.27 c nbDecision=42500 #constraints=3291 66.66/66.71 c nbDecision=43000 #constraints=3323 68.36/68.40 c nbDecision=43500 #constraints=3357 70.26/70.36 c nbDecision=44000 #constraints=3395 72.06/72.18 c nbDecision=44500 #constraints=3434 73.86/73.97 c nbDecision=45000 #constraints=3469 76.16/76.26 c nbDecision=45500 #constraints=3516 77.46/77.58 c nbDecision=46000 #constraints=3542 81.06/81.15 c nbDecision=46500 #constraints=3617 83.56/83.67 c nbDecision=47000 #constraints=3684 85.36/85.49 c nbDecision=47500 #constraints=3735 86.55/86.68 c nbDecision=48000 #constraints=3760 88.15/88.25 c nbDecision=48500 #constraints=3795 89.85/89.95 c nbDecision=49000 #constraints=3843 91.16/91.23 c nbDecision=49500 #constraints=3875 92.96/93.03 c nbDecision=50000 #constraints=3929 95.05/95.13 c nbDecision=50500 #constraints=3978 96.85/96.94 c nbDecision=51000 #constraints=4011 97.85/97.94 c restart after 51201 decisions 98.05/98.14 c nbDecision=51500 #constraints=4032 98.85/98.97 c nbDecision=52000 #constraints=4051 99.56/99.63 c nbDecision=52500 #constraints=4063 100.45/100.54 c nbDecision=53000 #constraints=4081 102.15/102.30 c nbDecision=53500 #constraints=4122 103.85/103.92 c nbDecision=54000 #constraints=4159 105.55/105.66 c nbDecision=54500 #constraints=4195 106.66/106.77 c nbDecision=55000 #constraints=4214 107.76/107.88 c nbDecision=55500 #constraints=4250 108.95/109.03 c nbDecision=56000 #constraints=4275 111.05/111.13 c nbDecision=56500 #constraints=4333 113.05/113.17 c nbDecision=57000 #constraints=4393 115.55/115.66 c nbDecision=57500 #constraints=4453 117.45/117.52 c nbDecision=58000 #constraints=4497 118.35/118.45 c nbDecision=58500 #constraints=4513 120.45/120.56 c nbDecision=59000 #constraints=4566 122.14/122.20 c nbDecision=59500 #constraints=4602 124.04/124.15 c nbDecision=60000 #constraints=4652 125.54/125.70 c nbDecision=60500 #constraints=4680 126.95/127.05 c nbDecision=61000 #constraints=4703 128.75/128.87 c nbDecision=61500 #constraints=4744 132.05/132.15 c nbDecision=62000 #constraints=4830 133.65/133.75 c nbDecision=62500 #constraints=4863 135.25/135.34 c nbDecision=63000 #constraints=4890 136.74/136.81 c nbDecision=63500 #constraints=4915 137.94/138.10 c nbDecision=64000 #constraints=4933 139.34/139.42 c nbDecision=64500 #constraints=4958 141.04/141.12 c nbDecision=65000 #constraints=4994 143.14/143.21 c nbDecision=65500 #constraints=5044 144.54/144.68 c nbDecision=66000 #constraints=5071 146.44/146.51 c nbDecision=66500 #constraints=5113 148.24/148.38 c nbDecision=67000 #constraints=5147 149.83/149.96 c nbDecision=67500 #constraints=5175 153.54/153.68 c nbDecision=68000 #constraints=5257 159.34/159.49 c nbDecision=68500 #constraints=5373 162.34/162.43 c nbDecision=69000 #constraints=5426 169.33/169.49 c nbDecision=69500 #constraints=5578 171.44/171.56 c nbDecision=70000 #constraints=5610 172.84/172.97 c nbDecision=70500 #constraints=5626 174.54/174.62 c nbDecision=71000 #constraints=5656 176.53/176.65 c nbDecision=71500 #constraints=5687 177.83/177.98 c nbDecision=72000 #constraints=5705 179.94/180.01 c nbDecision=72500 #constraints=5737 182.03/182.13 c nbDecision=73000 #constraints=5767 183.63/183.79 c nbDecision=73500 #constraints=5794 186.03/186.16 c nbDecision=74000 #constraints=5830 187.73/187.90 c nbDecision=74500 #constraints=5855 189.33/189.40 c nbDecision=75000 #constraints=5876 191.23/191.38 c nbDecision=75500 #constraints=5910 193.63/193.76 c nbDecision=76000 #constraints=5945 195.74/195.89 c nbDecision=76500 #constraints=5976 199.33/199.45 c nbDecision=77000 #constraints=6031 200.83/200.96 c nbDecision=77500 #constraints=6046 201.93/202.08 c nbDecision=78000 #constraints=6053 204.12/204.27 c nbDecision=78500 #constraints=6078 208.02/208.17 c nbDecision=79000 #constraints=6140 210.22/210.34 c nbDecision=79500 #constraints=6184 211.42/211.56 c nbDecision=80000 #constraints=6201 213.52/213.63 c nbDecision=80500 #constraints=6257 216.32/216.42 c nbDecision=81000 #constraints=6330 218.92/219.09 c nbDecision=81500 #constraints=6396 220.12/220.29 c nbDecision=82000 #constraints=6413 221.03/221.11 c nbDecision=82500 #constraints=6423 223.42/223.57 c nbDecision=83000 #constraints=6486 225.52/225.61 c nbDecision=83500 #constraints=6541 228.42/228.53 c nbDecision=84000 #constraints=6601 236.92/237.03 c nbDecision=84500 #constraints=6755 246.52/246.63 c nbDecision=85000 #constraints=6924 259.41/259.53 c nbDecision=85500 #constraints=7151 274.21/274.33 c nbDecision=86000 #constraints=7389 292.30/292.43 c nbDecision=86500 #constraints=7688 307.50/307.61 c nbDecision=87000 #constraints=7895 328.00/328.17 c nbDecision=87500 #constraints=8192 346.30/346.49 c nbDecision=88000 #constraints=8426 364.28/364.46 c nbDecision=88500 #constraints=8641 380.78/380.99 c nbDecision=89000 #constraints=8830 401.78/401.98 c nbDecision=89500 #constraints=9085 424.38/424.55 c nbDecision=90000 #constraints=9359 452.17/452.39 c nbDecision=90500 #constraints=9680 463.56/463.72 c nbDecision=91000 #constraints=9824 468.06/468.27 c nbDecision=91500 #constraints=9877 472.46/472.61 c nbDecision=92000 #constraints=9947 474.76/474.96 c nbDecision=92500 #constraints=9994 478.46/478.60 c nbDecision=93000 #constraints=10058 480.65/480.89 c nbDecision=93500 #constraints=10082 484.26/484.44 c nbDecision=94000 #constraints=10121 488.35/488.52 c nbDecision=94500 #constraints=10171 491.66/491.88 c nbDecision=95000 #constraints=10207 495.75/495.96 c nbDecision=95500 #constraints=10244 496.95/497.17 c nbDecision=96000 #constraints=10251 497.85/498.09 c nbDecision=96500 #constraints=10257 499.06/499.23 c nbDecision=97000 #constraints=10262 503.25/503.41 c nbDecision=97500 #constraints=10316 508.25/508.46 c nbDecision=98000 #constraints=10377 511.65/511.81 c nbDecision=98500 #constraints=10423 515.45/515.63 c nbDecision=99000 #constraints=10459 520.95/521.19 c nbDecision=99500 #constraints=10517 524.45/524.66 c nbDecision=100000 #constraints=10547 528.15/528.39 c nbDecision=100500 #constraints=10582 532.95/533.18 c nbDecision=101000 #constraints=10630 536.55/536.73 c nbDecision=101500 #constraints=10656 540.54/540.74 c nbDecision=102000 #constraints=10690 547.05/547.29 c restart after 102401 decisions 547.55/547.71 c nbDecision=102500 #constraints=10754 548.94/549.12 c nbDecision=103000 #constraints=10765 552.64/552.82 c nbDecision=103500 #constraints=10818 556.35/556.51 c nbDecision=104000 #constraints=10853 562.34/562.50 c nbDecision=104500 #constraints=10942 564.74/564.92 c nbDecision=105000 #constraints=10997 568.54/568.77 c nbDecision=105500 #constraints=11066 574.64/574.85 c nbDecision=106000 #constraints=11145 578.03/578.21 c nbDecision=106500 #constraints=11186 581.14/581.37 c nbDecision=107000 #constraints=11216 584.73/584.98 c nbDecision=107500 #constraints=11252 587.93/588.14 c nbDecision=108000 #constraints=11296 591.83/592.05 c nbDecision=108500 #constraints=11351 594.53/594.78 c nbDecision=109000 #constraints=11389 596.93/597.12 c nbDecision=109500 #constraints=11416 599.92/600.15 c nbDecision=110000 #constraints=11454 606.72/606.92 c nbDecision=110500 #constraints=11535 615.63/615.83 c nbDecision=111000 #constraints=11640 624.53/624.76 c nbDecision=111500 #constraints=11749 634.82/635.02 c nbDecision=112000 #constraints=11852 638.62/638.89 c nbDecision=112500 #constraints=11900 642.13/642.35 c nbDecision=113000 #constraints=11947 652.12/652.32 c nbDecision=113500 #constraints=12066 657.11/657.34 c nbDecision=114000 #constraints=12129 669.01/669.23 c nbDecision=114500 #constraints=12270 680.71/680.97 c nbDecision=115000 #constraints=12392 688.41/688.64 c nbDecision=115500 #constraints=12467 696.91/697.19 c nbDecision=116000 #constraints=12556 703.71/703.98 c nbDecision=116500 #constraints=12640 716.60/716.86 c nbDecision=117000 #constraints=12771 723.50/723.72 c nbDecision=117500 #constraints=12852 729.59/729.85 c nbDecision=118000 #constraints=12917 735.90/736.10 c nbDecision=118500 #constraints=12954 745.19/745.46 c nbDecision=119000 #constraints=13019 750.69/750.96 c nbDecision=119500 #constraints=13050 754.09/754.31 c nbDecision=120000 #constraints=13078 758.99/759.29 c nbDecision=120500 #constraints=13110 764.69/764.93 c nbDecision=121000 #constraints=13151 773.18/773.43 c nbDecision=121500 #constraints=13212 778.29/778.53 c nbDecision=122000 #constraints=13246 785.19/785.48 c nbDecision=122500 #constraints=13304 790.39/790.65 c nbDecision=123000 #constraints=13341 795.78/796.02 c nbDecision=123500 #constraints=13373 803.28/803.50 c nbDecision=124000 #constraints=13427 808.58/808.84 c nbDecision=124500 #constraints=13457 816.17/816.48 c nbDecision=125000 #constraints=13509 823.08/823.37 c nbDecision=125500 #constraints=13563 829.57/829.88 c nbDecision=126000 #constraints=13612 834.97/835.28 c nbDecision=126500 #constraints=13646 842.17/842.41 c nbDecision=127000 #constraints=13694 848.06/848.32 c nbDecision=127500 #constraints=13744 853.27/853.55 c nbDecision=128000 #constraints=13780 859.76/860.08 c nbDecision=128500 #constraints=13836 865.37/865.64 c nbDecision=129000 #constraints=13886 869.96/870.21 c nbDecision=129500 #constraints=13926 873.57/873.80 c nbDecision=130000 #constraints=13962 879.76/880.02 c nbDecision=130500 #constraints=14027 888.46/888.74 c nbDecision=131000 #constraints=14100 894.76/895.10 c nbDecision=131500 #constraints=14151 901.55/901.82 c nbDecision=132000 #constraints=14201 909.75/910.07 c nbDecision=132500 #constraints=14251 918.45/918.76 c nbDecision=133000 #constraints=14314 924.04/924.31 c nbDecision=133500 #constraints=14351 932.15/932.46 c nbDecision=134000 #constraints=14420 940.04/940.36 c nbDecision=134500 #constraints=14476 950.25/950.54 c nbDecision=135000 #constraints=14551 958.24/958.52 c nbDecision=135500 #constraints=14604 968.54/968.87 c nbDecision=136000 #constraints=14685 979.53/979.81 c nbDecision=136500 #constraints=14770 987.23/987.53 c nbDecision=137000 #constraints=14820 995.23/995.53 c nbDecision=137500 #constraints=14871 1002.03/1002.37 c nbDecision=138000 #constraints=14911 1010.23/1010.58 c nbDecision=138500 #constraints=14965 1020.33/1020.68 c nbDecision=139000 #constraints=15043 1029.63/1029.91 c nbDecision=139500 #constraints=15104 1040.02/1040.30 c nbDecision=140000 #constraints=15178 1047.81/1048.14 c nbDecision=140500 #constraints=15251 1056.72/1057.01 c nbDecision=141000 #constraints=15306 1064.31/1064.61 c nbDecision=141500 #constraints=15357 1070.31/1070.67 c nbDecision=142000 #constraints=15393 1077.62/1077.98 c nbDecision=142500 #constraints=15433 1083.11/1083.41 c nbDecision=143000 #constraints=15474 1087.61/1087.98 c nbDecision=143500 #constraints=15506 1093.41/1093.79 c nbDecision=144000 #constraints=15552 1098.51/1098.80 Received signal 15 1098.81/1099.10 1098.81/1099.10 s UNKNOWN 1098.81/1099.10 1098.81/1099.10 c user time= 1097.29 s 1098.81/1099.10 c system time= 1.52077 s 1098.81/1099.10 c wall clock time=1099.1
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node61/watcher-357336-1176994910 -o ROOT/results/node61/solver-357336-1176994910 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357336-1176994910/instance-357336-1176994910.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.77 0.92 0.94 3/70 27578 /proc/meminfo: memFree=1734584/2055920 swapFree=4184100/4192956 [pid=27578] ppid=27576 vsize=1468 CPUtime=0 /proc/27578/stat : 27578 (oree) R 27576 27578 27477 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 111454642 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27578/statm: 367 164 131 317 0 46 0 [startup+0.0238289 s] /proc/loadavg: 0.77 0.92 0.94 3/70 27578 /proc/meminfo: memFree=1734584/2055920 swapFree=4184100/4192956 [pid=27578] ppid=27576 vsize=1864 CPUtime=0.02 /proc/27578/stat : 27578 (oree) R 27576 27578 27477 0 -1 4194304 265 0 0 0 2 0 0 0 18 0 1 0 111454642 1908736 247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278900 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27578/statm: 466 247 131 317 0 145 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1864 [startup+0.101836 s] /proc/loadavg: 0.77 0.92 0.94 3/70 27578 /proc/meminfo: memFree=1734584/2055920 swapFree=4184100/4192956 [pid=27578] ppid=27576 vsize=3092 CPUtime=0.09 /proc/27578/stat : 27578 (oree) R 27576 27578 27477 0 -1 4194304 563 0 0 0 9 0 0 0 18 0 1 0 111454642 3166208 545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27578/statm: 773 547 131 317 0 452 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3092 [startup+0.301854 s] /proc/loadavg: 0.77 0.92 0.94 3/70 27578 /proc/meminfo: memFree=1734584/2055920 swapFree=4184100/4192956 [pid=27578] ppid=27576 vsize=6164 CPUtime=0.29 /proc/27578/stat : 27578 (oree) R 27576 27578 27477 0 -1 4194304 1298 0 0 0 29 0 0 0 19 0 1 0 111454642 6311936 1280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134827801 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27578/statm: 1541 1280 131 317 0 1220 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6164 [startup+0.701892 s] /proc/loadavg: 0.77 0.92 0.94 3/70 27578 /proc/meminfo: memFree=1734584/2055920 swapFree=4184100/4192956 [pid=27578] ppid=27576 vsize=12988 CPUtime=0.69 /proc/27578/stat : 27578 (oree) R 27576 27578 27477 0 -1 4194304 2960 0 0 0 68 1 0 0 22 0 1 0 111454642 13299712 2942 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27578/statm: 3247 2942 137 317 0 2926 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12988 [startup+1.50197 s] /proc/loadavg: 0.77 0.92 0.94 2/71 27579 /proc/meminfo: memFree=1720112/2055920 swapFree=4184100/4192956 [pid=27578] ppid=27576 vsize=17876 CPUtime=1.49 /proc/27578/stat : 27578 (oree) R 27576 27578 27477 0 -1 4194304 4153 0 0 0 148 1 0 0 25 0 1 0 111454642 18305024 4135 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27578/statm: 4469 4135 139 317 0 4148 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17876 [startup+3.10112 s] /proc/loadavg: 0.77 0.92 0.94 2/71 27581 /proc/meminfo: memFree=1716720/2055920 swapFree=4184100/4192956 [pid=27578] ppid=27576 vsize=23076 CPUtime=3.09 /proc/27578/stat : 27578 (oree) R 27576 27578 27477 0 -1 4194304 5351 0 0 0 307 2 0 0 25 0 1 0 111454642 23629824 5333 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27578/statm: 5769 5333 139 317 0 5448 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23076 [startup+6.30142 s] /proc/loadavg: 0.79 0.92 0.94 2/65 27601 /proc/meminfo: memFree=1706272/2055920 swapFree=4184100/4192956 [pid=27578] ppid=27576 vsize=40228 CPUtime=6.28 /proc/27578/stat : 27578 (oree) R 27576 27578 27477 0 -1 4194304 9047 0 0 0 625 3 0 0 25 0 1 0 111454642 41193472 9029 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272608 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27578/statm: 10057 9029 170 317 0 9736 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 40228 [startup+12.701 s] /proc/loadavg: 0.81 0.92 0.94 2/65 27601 /proc/meminfo: memFree=1677864/2055920 swapFree=4184100/4192956 [pid=27578] ppid=27576 vsize=67840 CPUtime=12.68 /proc/27578/stat : 27578 (oree) R 27576 27578 27477 0 -1 4194304 14981 0 0 0 1262 6 0 0 25 0 1 0 111454642 69468160 14958 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272990 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27578/statm: 16960 14958 170 317 0 16639 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 67840 [startup+25.5013 s] /proc/loadavg: 0.85 0.93 0.94 2/65 27601 /proc/meminfo: memFree=1644840/2055920 swapFree=4184100/4192956 [pid=27578] ppid=27576 vsize=101908 CPUtime=25.47 /proc/27578/stat : 27578 (oree) R 27576 27578 27477 0 -1 4194304 22970 0 0 0 2538 9 0 0 25 0 1 0 111454642 104353792 22947 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27578/statm: 25477 22947 170 317 0 25156 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 101908 [startup+51.1017 s] /proc/loadavg: 0.90 0.93 0.94 2/65 27601 /proc/meminfo: memFree=1576808/2055920 swapFree=4184100/4192956 [pid=27578] ppid=27576 vsize=182152 CPUtime=51.07 /proc/27578/stat : 27578 (oree) R 27576 27578 27477 0 -1 4194304 40680 0 0 0 5091 16 0 0 25 0 1 0 111454642 186523648 40635 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27578/statm: 45538 40635 170 317 0 45217 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 182152 [startup+102.306 s] /proc/loadavg: 0.95 0.94 0.94 2/65 27601 /proc/meminfo: memFree=1432296/2055920 swapFree=4184100/4192956 [pid=27578] ppid=27576 vsize=343096 CPUtime=102.25 /proc/27578/stat : 27578 (oree) R 27576 27578 27477 0 -1 4194304 75995 0 0 0 10196 29 0 0 25 0 1 0 111454642 351330304 75932 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27578/statm: 85774 75932 170 317 0 85453 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 343096 [startup+162.302 s] /proc/loadavg: 0.98 0.95 0.94 2/65 27601 /proc/meminfo: memFree=1343720/2055920 swapFree=4184100/4192956 [pid=27578] ppid=27576 vsize=447524 CPUtime=162.24 /proc/27578/stat : 27578 (oree) R 27576 27578 27477 0 -1 4194304 98179 0 0 0 16187 37 0 0 25 0 1 0 111454642 458264576 98113 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134717772 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27578/statm: 111881 98113 170 317 0 111560 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 447524 [startup+222.302 s] /proc/loadavg: 0.99 0.95 0.94 2/65 27601 /proc/meminfo: memFree=1268072/2055920 swapFree=4184100/4192956 [pid=27578] ppid=27576 vsize=533332 CPUtime=222.22 /proc/27578/stat : 27578 (oree) R 27576 27578 27477 0 -1 4194304 116949 0 0 0 22177 45 0 0 25 0 1 0 111454642 546131968 116877 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284176 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27578/statm: 133333 116877 170 317 0 133012 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 533332 [startup+282.302 s] /proc/loadavg: 0.99 0.96 0.94 2/65 27601 /proc/meminfo: memFree=1144360/2055920 swapFree=4184100/4192956 [pid=27578] ppid=27576 vsize=666136 CPUtime=282.21 /proc/27578/stat : 27578 (oree) R 27576 27578 27477 0 -1 4194304 148121 0 0 0 28162 59 0 0 25 0 1 0 111454642 682123264 148049 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279024 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27578/statm: 166534 148049 170 317 0 166213 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 666136 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 27601 /proc/meminfo: memFree=1009776/2055920 swapFree=4184100/4192956 [pid=27578] ppid=27576 vsize=833964 CPUtime=342.19 /proc/27578/stat : 27578 (oree) R 27576 27578 27477 0 -1 4194304 181604 0 0 0 34147 72 0 0 25 0 1 0 111454642 853979136 181475 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27578/statm: 208491 181475 170 317 0 208170 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 833964 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 27601 /proc/meminfo: memFree=926000/2055920 swapFree=4184100/4192956 [pid=27578] ppid=27576 vsize=921556 CPUtime=402.18 /proc/27578/stat : 27578 (oree) R 27576 27578 27477 0 -1 4194304 202629 0 0 0 40139 79 0 0 25 0 1 0 111454642 943673344 202500 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27578/statm: 230389 202500 170 317 0 230068 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 921556 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 27601 /proc/meminfo: memFree=837744/2055920 swapFree=4184100/4192956 [pid=27578] ppid=27576 vsize=1017876 CPUtime=462.16 /proc/27578/stat : 27578 (oree) R 27576 27578 27477 0 -1 4194304 224366 0 0 0 46130 86 0 0 25 0 1 0 111454642 1042305024 224237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27578/statm: 254469 224237 170 317 0 254148 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 1017876 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 27601 /proc/meminfo: memFree=768048/2055920 swapFree=4184100/4192956 [pid=27578] ppid=27576 vsize=1101776 CPUtime=522.15 /proc/27578/stat : 27578 (oree) R 27576 27578 27477 0 -1 4194304 241756 0 0 0 52122 93 0 0 25 0 1 0 111454642 1128218624 241615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27578/statm: 275444 241615 170 317 0 275123 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 1101776 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 27601 /proc/meminfo: memFree=707824/2055920 swapFree=4184100/4192956 [pid=27578] ppid=27576 vsize=1171652 CPUtime=582.13 /proc/27578/stat : 27578 (oree) R 27576 27578 27477 0 -1 4194304 256877 0 0 0 58114 99 0 0 25 0 1 0 111454642 1199771648 256727 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718425 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27578/statm: 292913 256727 170 317 0 292592 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 1171652 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 27601 /proc/meminfo: memFree=624112/2055920 swapFree=4184100/4192956 [pid=27578] ppid=27576 vsize=1262756 CPUtime=642.13 /proc/27578/stat : 27578 (oree) R 27576 27578 27477 0 -1 4194304 277624 0 0 0 64106 107 0 0 25 0 1 0 111454642 1293062144 277448 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604452 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27578/statm: 315689 277448 170 317 0 315368 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 1262756 [startup+702.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 27601 /proc/meminfo: memFree=483056/2055920 swapFree=4184100/4192956 [pid=27578] ppid=27576 vsize=1474600 CPUtime=702.1 /proc/27578/stat : 27578 (oree) R 27576 27578 27477 0 -1 4194304 312959 0 0 0 70090 120 0 0 25 0 1 0 111454642 1509990400 312758 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27578/statm: 368650 312758 170 317 0 368329 0 Current children cumulated CPU time (s) 702.1 Current children cumulated vsize (KiB) 1474600 [startup+762.305 s] /proc/loadavg: 0.99 0.97 0.94 2/65 27601 /proc/meminfo: memFree=421424/2055920 swapFree=4184100/4192956 [pid=27578] ppid=27576 vsize=1537660 CPUtime=762.1 /proc/27578/stat : 27578 (oree) R 27576 27578 27477 0 -1 4194304 328227 0 0 0 76083 127 0 0 25 0 1 0 111454642 1574563840 328001 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27578/statm: 384415 328001 170 317 0 384094 0 Current children cumulated CPU time (s) 762.1 Current children cumulated vsize (KiB) 1537660 [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 27601 /proc/meminfo: memFree=371824/2055920 swapFree=4184100/4192956 [pid=27578] ppid=27576 vsize=1588784 CPUtime=822.08 /proc/27578/stat : 27578 (oree) R 27576 27578 27477 0 -1 4194304 340742 0 0 0 82077 131 0 0 25 0 1 0 111454642 1626914816 340515 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27578/statm: 397196 340515 170 317 0 396875 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 1588784 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 27601 /proc/meminfo: memFree=313712/2055920 swapFree=4184100/4192956 [pid=27578] ppid=27576 vsize=1647452 CPUtime=882.06 /proc/27578/stat : 27578 (oree) R 27576 27578 27477 0 -1 4194304 355073 0 0 0 88070 136 0 0 25 0 1 0 111454642 1686990848 354841 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384521 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27578/statm: 411863 354841 170 317 0 411542 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 1647452 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 27601 /proc/meminfo: memFree=265008/2055920 swapFree=4184100/4192956 [pid=27578] ppid=27576 vsize=1700956 CPUtime=942.05 /proc/27578/stat : 27578 (oree) R 27576 27578 27477 0 -1 4194304 367348 0 0 0 94065 140 0 0 25 0 1 0 111454642 1741778944 367108 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27578/statm: 425239 367108 170 317 0 424918 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 1700956 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 27601 /proc/meminfo: memFree=214768/2055920 swapFree=4184100/4192956 [pid=27578] ppid=27576 vsize=1753628 CPUtime=1002.03 /proc/27578/stat : 27578 (oree) R 27576 27578 27477 0 -1 4194304 379851 0 0 0 100059 144 0 0 25 0 1 0 111454642 1795715072 379604 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27578/statm: 438407 379604 170 317 0 438086 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 1753628 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 27601 /proc/meminfo: memFree=160432/2055920 swapFree=4184100/4192956 [pid=27578] ppid=27576 vsize=1812696 CPUtime=1062.01 /proc/27578/stat : 27578 (oree) R 27576 27578 27477 0 -1 4194304 393518 0 0 0 106052 149 0 0 25 0 1 0 111454642 1856200704 393271 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27578/statm: 453174 393271 170 317 0 452853 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 1812696 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1098.8 s] /proc/loadavg: 0.99 0.97 0.94 2/65 27601 /proc/meminfo: memFree=128944/2055920 swapFree=4184100/4192956 [pid=27578] ppid=27576 vsize=1843232 CPUtime=1098.51 /proc/27578/stat : 27578 (oree) R 27576 27578 27477 0 -1 4194304 401199 0 0 0 109700 151 0 0 25 0 1 0 111454642 1887469568 400926 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27578/statm: 460808 400926 170 317 0 460487 0 Current children cumulated CPU time (s) 1098.51 Current children cumulated vsize (KiB) 1843232 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1099 s] /proc/loadavg: 0.99 0.97 0.94 2/65 27601 /proc/meminfo: memFree=128944/2055920 swapFree=4184100/4192956 [pid=27578] ppid=27576 vsize=1843424 CPUtime=1098.7 /proc/27578/stat : 27578 (oree) R 27576 27578 27477 0 -1 4194304 401231 0 0 0 109719 151 0 0 25 0 1 0 111454642 1887666176 400958 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27578/statm: 460856 400958 170 317 0 460535 0 Current children cumulated CPU time (s) 1098.7 Current children cumulated vsize (KiB) 1843424 [startup+1099.2 s] /proc/loadavg: 0.99 0.97 0.94 2/65 27601 /proc/meminfo: memFree=128944/2055920 swapFree=4184100/4192956 [pid=27578] ppid=27576 vsize=0 CPUtime=1098.91 /proc/27578/stat : 27578 (oree) R 27576 27578 27477 0 -1 4194308 401270 0 0 0 109730 161 0 0 25 0 1 0 111454642 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27578/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1098.91 Current children cumulated vsize (KiB) 0 [startup+1099.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 27601 /proc/meminfo: memFree=128944/2055920 swapFree=4184100/4192956 [pid=27578] ppid=27576 vsize=0 CPUtime=1099.01 /proc/27578/stat : 27578 (oree) R 27576 27578 27477 0 -1 4194308 401270 0 0 0 109730 171 0 0 25 0 1 0 111454642 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27578/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1099.01 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1099.37 CPU time (s): 1099.08 CPU user time (s): 1097.3 CPU system time (s): 1.78073 CPU usage (%): 99.9737 Max. virtual memory (cumulated for all children) (KiB): 1843424 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1097.3 system time used= 1.78073 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 401270 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 0.85287 second user time and 2.18567 second system time The end
Begin job on node61 on Thu Apr 19 15:01:50 UTC 2007 IDJOB= 357336 IDBENCH= 2427 IDSOLVER= 172 FILE ID= node61/357336-1176994910 PBS_JOBID= 4630475 Free space on /tmp= 66500 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-tuff.opb COMMAND LINE= oree /tmp/evaluation/357336-1176994910/instance-357336-1176994910.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-357336-1176994910 -o ROOT/results/node61/solver-357336-1176994910 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357336-1176994910/instance-357336-1176994910.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 6c865484f3a48e715bdd95fa7e3b19dc RANDOM SEED= 121935726 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node61.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.240 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.240 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: 1734992 kB Buffers: 10604 kB Cached: 260516 kB SwapCached: 3056 kB Active: 66640 kB Inactive: 214892 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1734992 kB SwapTotal: 4192956 kB SwapFree: 4184100 kB Dirty: 3528 kB Writeback: 0 kB Mapped: 16512 kB Slab: 25108 kB Committed_AS: 860020 kB PageTables: 1612 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= 66500 MiB End job on node61 on Thu Apr 19 15:20:11 UTC 2007