Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1801.91 | 1802.36 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-momentum3.opb |
MD5SUM | 84f1974aba41ac2d1ba5ffc7a29fc60a |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 10842138728 |
Best CPU time to get the best result obtained on this benchmark | 1804.25 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 10752000000 |
Optimality of the best value was proved | NO |
Number of variables | 93400 |
Total number of constraints | 49198 |
Number of constraints which are clauses | 6081 |
Number of constraints which are cardinality constraints (but not clauses) | 450 |
Number of constraints which are nor clauses,nor cardinality constraints | 42667 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 1018 |
Number of terms in the objective function | 87370 |
Biggest coefficient in the objective function | 1310720000 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 13573186735 |
Number of bits of the sum of numbers in the objective function | 34 |
Biggest number in a constraint | 10240000000000000000000000000 |
Number of bits of the biggest number in a constraint | 94 |
Biggest sum of numbers in a constraint | 29801266744107042664773061860 |
Number of bits of the biggest sum of numbers | 95 |
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... 49.97/50.05 c ...done 49.97/50.05 c #vars=93400 #constraints=50051 hasObjective=yes 58.57/58.68 c res. mode=mod 58.57/58.68 c VSIDS like heuristics 58.57/58.68 c complete search running 78.26/78.32 c restart after 401 decisions 79.56/79.64 c nbDecision=500 #constraints=50059 82.46/82.57 c restart after 801 decisions 86.56/86.62 c nbDecision=1000 #constraints=50064 98.06/98.14 c nbDecision=1500 #constraints=50069 99.26/99.33 c restart after 1601 decisions 104.86/104.93 c nbDecision=2000 #constraints=50073 118.66/118.77 c nbDecision=2500 #constraints=50077 131.75/131.85 c nbDecision=3000 #constraints=50081 132.95/133.00 c restart after 3201 decisions 134.85/134.98 c nbDecision=3500 #constraints=50083 138.25/138.33 c nbDecision=4000 #constraints=50087 141.95/142.09 c nbDecision=4500 #constraints=50091 150.34/150.46 c nbDecision=5000 #constraints=50094 168.94/169.09 c nbDecision=5500 #constraints=50100 171.74/171.81 c nbDecision=6000 #constraints=50102 176.74/176.88 c restart after 6401 decisions 177.24/177.39 c nbDecision=6500 #constraints=50105 180.74/180.83 c nbDecision=7000 #constraints=50108 185.23/185.36 c nbDecision=7500 #constraints=50110 198.83/199.00 c nbDecision=8000 #constraints=50113 210.53/210.64 c nbDecision=8500 #constraints=50118 213.33/213.50 c nbDecision=9000 #constraints=50120 220.82/220.94 c nbDecision=9500 #constraints=50122 224.22/224.30 c nbDecision=10000 #constraints=50124 229.52/229.70 c nbDecision=10500 #constraints=50126 232.32/232.43 c nbDecision=11000 #constraints=50128 237.62/237.74 c nbDecision=11500 #constraints=50130 254.03/254.16 c nbDecision=12000 #constraints=50134 260.72/260.81 c nbDecision=12500 #constraints=50139 262.52/262.66 c restart after 12801 decisions 263.32/263.42 c nbDecision=13000 #constraints=50140 266.62/266.74 c nbDecision=13500 #constraints=50142 271.52/271.63 c nbDecision=14000 #constraints=50144 274.92/275.00 c nbDecision=14500 #constraints=50146 277.12/277.27 c nbDecision=15000 #constraints=50147 282.51/282.62 c nbDecision=15500 #constraints=50149 288.61/288.72 c nbDecision=16000 #constraints=50151 292.91/293.09 c nbDecision=16500 #constraints=50152 295.31/295.40 c nbDecision=17000 #constraints=50154 300.80/300.90 c nbDecision=17500 #constraints=50156 313.20/313.34 c nbDecision=18000 #constraints=50158 328.71/328.86 c nbDecision=18500 #constraints=50161 336.61/336.74 c nbDecision=19000 #constraints=50164 339.10/339.27 c nbDecision=19500 #constraints=50165 343.00/343.12 c nbDecision=20000 #constraints=50167 345.20/345.37 c nbDecision=20500 #constraints=50168 348.70/348.84 c nbDecision=21000 #constraints=50171 354.40/354.59 c nbDecision=21500 #constraints=50175 356.80/356.90 c nbDecision=22000 #constraints=50176 370.39/370.55 c nbDecision=22500 #constraints=50180 374.69/374.81 c nbDecision=23000 #constraints=50182 377.29/377.50 c nbDecision=23500 #constraints=50183 379.79/379.92 c nbDecision=24000 #constraints=50185 382.29/382.47 c nbDecision=24500 #constraints=50187 386.59/386.72 c nbDecision=25000 #constraints=50191 394.38/394.57 c nbDecision=25500 #constraints=50193 394.89/395.05 c restart after 25601 decisions 399.98/400.18 c nbDecision=26000 #constraints=50194 404.88/405.08 c nbDecision=26500 #constraints=50195 414.18/414.35 c nbDecision=27000 #constraints=50199 416.38/416.50 c nbDecision=27500 #constraints=50200 418.58/418.77 c nbDecision=28000 #constraints=50201 422.08/422.20 c nbDecision=28500 #constraints=50203 424.18/424.33 c nbDecision=29000 #constraints=50204 426.58/426.70 c nbDecision=29500 #constraints=50206 429.28/429.49 c nbDecision=30000 #constraints=50208 434.98/435.14 c nbDecision=30500 #constraints=50211 439.88/440.02 c nbDecision=31000 #constraints=50212 448.17/448.33 c nbDecision=31500 #constraints=50214 450.17/450.37 c nbDecision=32000 #constraints=50215 452.27/452.50 c nbDecision=32500 #constraints=50216 455.07/455.27 c nbDecision=33000 #constraints=50218 456.97/457.13 c nbDecision=33500 #constraints=50219 460.47/460.68 c nbDecision=34000 #constraints=50221 463.47/463.60 c nbDecision=34500 #constraints=50223 476.27/476.45 c nbDecision=35000 #constraints=50225 481.46/481.62 c nbDecision=35500 #constraints=50226 487.96/488.13 c nbDecision=36000 #constraints=50227 497.06/497.28 c nbDecision=36500 #constraints=50229 503.66/503.90 c nbDecision=37000 #constraints=50230 506.76/506.92 c nbDecision=37500 #constraints=50231 510.45/510.62 c nbDecision=38000 #constraints=50233 512.56/512.71 c nbDecision=38500 #constraints=50234 514.66/514.86 c nbDecision=39000 #constraints=50235 517.05/517.21 c nbDecision=39500 #constraints=50236 520.45/520.66 c nbDecision=40000 #constraints=50238 531.15/531.40 c nbDecision=40500 #constraints=50240 535.65/535.83 c nbDecision=41000 #constraints=50242 538.65/538.83 c nbDecision=41500 #constraints=50243 540.85/541.00 c nbDecision=42000 #constraints=50244 543.05/543.20 c nbDecision=42500 #constraints=50245 545.24/545.49 c nbDecision=43000 #constraints=50246 547.94/548.18 c nbDecision=43500 #constraints=50247 554.04/554.21 c nbDecision=44000 #constraints=50249 564.75/564.92 c nbDecision=44500 #constraints=50252 574.54/574.75 c nbDecision=45000 #constraints=50255 576.94/577.18 c nbDecision=45500 #constraints=50256 579.04/579.20 c nbDecision=46000 #constraints=50257 582.64/582.83 c nbDecision=46500 #constraints=50259 587.34/587.59 c nbDecision=47000 #constraints=50260 590.14/590.38 c nbDecision=47500 #constraints=50261 604.43/604.69 c nbDecision=48000 #constraints=50265 607.23/607.44 c nbDecision=48500 #constraints=50266 610.63/610.87 c nbDecision=49000 #constraints=50267 616.33/616.53 c nbDecision=49500 #constraints=50269 619.13/619.40 c nbDecision=50000 #constraints=50270 622.13/622.39 c nbDecision=50500 #constraints=50271 624.43/624.63 c nbDecision=51000 #constraints=50272 624.93/625.19 c restart after 51201 decisions 626.63/626.88 c nbDecision=51500 #constraints=50272 629.53/629.73 c nbDecision=52000 #constraints=50273 632.52/632.74 c nbDecision=52500 #constraints=50274 634.92/635.16 c nbDecision=53000 #constraints=50275 637.12/637.39 c nbDecision=53500 #constraints=50276 640.03/640.26 c nbDecision=54000 #constraints=50277 643.12/643.32 c nbDecision=54500 #constraints=50278 645.52/645.79 c nbDecision=55000 #constraints=50279 648.82/649.06 c nbDecision=55500 #constraints=50281 651.32/651.52 c nbDecision=56000 #constraints=50282 653.92/654.19 c nbDecision=56500 #constraints=50284 658.12/658.35 c nbDecision=57000 #constraints=50285 662.92/663.13 c nbDecision=57500 #constraints=50286 669.12/669.32 c nbDecision=58000 #constraints=50289 671.93/672.17 c nbDecision=58500 #constraints=50290 673.32/673.59 c nbDecision=59000 #constraints=50290 675.72/675.97 c nbDecision=59500 #constraints=50291 679.82/680.04 c nbDecision=60000 #constraints=50292 682.82/683.04 c nbDecision=60500 #constraints=50293 685.12/685.38 c nbDecision=61000 #constraints=50294 687.22/687.45 c nbDecision=61500 #constraints=50295 690.32/690.50 c nbDecision=62000 #constraints=50297 692.62/692.85 c nbDecision=62500 #constraints=50298 704.21/704.44 c nbDecision=63000 #constraints=50301 705.61/705.86 c nbDecision=63500 #constraints=50301 708.71/708.91 c nbDecision=64000 #constraints=50302 711.01/711.24 c nbDecision=64500 #constraints=50303 713.71/713.92 c nbDecision=65000 #constraints=50305 715.61/715.88 c nbDecision=65500 #constraints=50306 720.51/720.79 c nbDecision=66000 #constraints=50307 726.60/726.80 c nbDecision=66500 #constraints=50309 732.30/732.51 c nbDecision=67000 #constraints=50311 734.80/735.01 c nbDecision=67500 #constraints=50312 737.10/737.33 c nbDecision=68000 #constraints=50313 739.40/739.62 c nbDecision=68500 #constraints=50314 742.80/743.07 c nbDecision=69000 #constraints=50315 745.00/745.28 c nbDecision=69500 #constraints=50316 747.70/747.94 c nbDecision=70000 #constraints=50317 750.10/750.37 c nbDecision=70500 #constraints=50318 752.39/752.66 c nbDecision=71000 #constraints=50319 754.59/754.83 c nbDecision=71500 #constraints=50320 756.79/757.05 c nbDecision=72000 #constraints=50321 759.29/759.56 c nbDecision=72500 #constraints=50322 761.29/761.59 c nbDecision=73000 #constraints=50323 765.59/765.82 c nbDecision=73500 #constraints=50324 771.79/772.02 c nbDecision=74000 #constraints=50325 777.29/777.52 c nbDecision=74500 #constraints=50326 787.29/787.58 c nbDecision=75000 #constraints=50328 788.79/789.03 c nbDecision=75500 #constraints=50328 796.20/796.44 c nbDecision=76000 #constraints=50330 797.59/797.85 c nbDecision=76500 #constraints=50330 802.09/802.39 c nbDecision=77000 #constraints=50331 811.48/811.73 c nbDecision=77500 #constraints=50333 820.08/820.37 c nbDecision=78000 #constraints=50335 822.98/823.24 c nbDecision=78500 #constraints=50336 825.28/825.51 c nbDecision=79000 #constraints=50337 826.68/826.91 c nbDecision=79500 #constraints=50337 830.08/830.32 c nbDecision=80000 #constraints=50338 832.88/833.13 c nbDecision=80500 #constraints=50340 834.68/834.98 c nbDecision=81000 #constraints=50341 836.68/836.90 c nbDecision=81500 #constraints=50342 838.68/838.93 c nbDecision=82000 #constraints=50343 840.67/840.99 c nbDecision=82500 #constraints=50344 843.97/844.23 c nbDecision=83000 #constraints=50345 849.08/849.32 c nbDecision=83500 #constraints=50346 853.77/854.08 c nbDecision=84000 #constraints=50347 856.67/856.91 c nbDecision=84500 #constraints=50348 861.17/861.47 c nbDecision=85000 #constraints=50349 869.36/869.65 c nbDecision=85500 #constraints=50351 881.07/881.31 c nbDecision=86000 #constraints=50353 883.27/883.59 c nbDecision=86500 #constraints=50354 885.97/886.21 c nbDecision=87000 #constraints=50355 887.97/888.28 c nbDecision=87500 #constraints=50356 890.97/891.26 c nbDecision=88000 #constraints=50357 893.27/893.55 c nbDecision=88500 #constraints=50358 907.36/907.62 c nbDecision=89000 #constraints=50362 967.34/967.66 c nbDecision=89500 #constraints=50394 1022.53/1022.88 c nbDecision=90000 #constraints=50414 1130.00/1130.30 c nbDecision=90500 #constraints=50465 1221.58/1221.93 c nbDecision=91000 #constraints=50508 1283.87/1284.26 c nbDecision=91500 #constraints=50533 1370.35/1370.72 c nbDecision=92000 #constraints=50582 1433.93/1434.40 c nbDecision=92500 #constraints=50624 1461.43/1461.83 c nbDecision=93000 #constraints=50640 1475.62/1476.00 c nbDecision=93500 #constraints=50644 1623.19/1623.60 c nbDecision=94000 #constraints=50692 1642.68/1643.12 c nbDecision=94500 #constraints=50702 1652.18/1652.62 c nbDecision=95000 #constraints=50707 1656.58/1657.00 c nbDecision=95500 #constraints=50710 1663.07/1663.56 c nbDecision=96000 #constraints=50713 1668.38/1668.88 c nbDecision=96500 #constraints=50716 1674.97/1675.41 c nbDecision=97000 #constraints=50719 1680.07/1680.59 c nbDecision=97500 #constraints=50721 1684.27/1684.78 c nbDecision=98000 #constraints=50723 1688.47/1688.92 c nbDecision=98500 #constraints=50725 1692.48/1692.95 c nbDecision=99000 #constraints=50727 1696.98/1697.41 c nbDecision=99500 #constraints=50729 1701.97/1702.46 c nbDecision=100000 #constraints=50731 1706.07/1706.56 c nbDecision=100500 #constraints=50732 1710.87/1711.33 c nbDecision=101000 #constraints=50734 1716.06/1716.58 c nbDecision=101500 #constraints=50736 1720.36/1720.90 c nbDecision=102000 #constraints=50737 1723.27/1723.76 c restart after 102401 decisions 1724.47/1724.95 c nbDecision=102500 #constraints=50738 1728.56/1729.08 c nbDecision=103000 #constraints=50739 1734.06/1734.53 c nbDecision=103500 #constraints=50741 1738.16/1738.69 c nbDecision=104000 #constraints=50742 1741.85/1742.34 c nbDecision=104500 #constraints=50743 1745.15/1745.62 c nbDecision=105000 #constraints=50744 1749.66/1750.15 c nbDecision=105500 #constraints=50746 1761.75/1762.24 c nbDecision=106000 #constraints=50752 1765.85/1766.33 c nbDecision=106500 #constraints=50753 1771.85/1772.37 c nbDecision=107000 #constraints=50755 1776.05/1776.51 c nbDecision=107500 #constraints=50756 1785.14/1785.65 c nbDecision=108000 #constraints=50761 1800.05/1800.50 Received signal 15 1801.75/1802.22 1801.75/1802.22 s UNKNOWN 1801.75/1802.22 1801.75/1802.22 c user time= 1800.66 s 1801.75/1802.22 c system time= 1.11183 s 1801.75/1802.22 c wall clock time=1802.22
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node72/watcher-357374-1176996067 -o ROOT/results/node72/solver-357374-1176996067 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357374-1176996067/instance-357374-1176996067.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: 1.28 1.06 1.02 3/78 904 /proc/meminfo: memFree=1226488/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=1468 CPUtime=0 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 175646386 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134828864 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 367 162 127 317 0 46 0 [startup+0.100419 s] /proc/loadavg: 1.28 1.06 1.02 3/78 904 /proc/meminfo: memFree=1226488/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=3440 CPUtime=0.09 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 836 0 0 0 9 0 0 0 18 0 1 0 175646386 3522560 591 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 860 591 127 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.201428 s] /proc/loadavg: 1.28 1.06 1.02 3/78 904 /proc/meminfo: memFree=1226488/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=5520 CPUtime=0.19 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 1499 0 0 0 19 0 0 0 18 0 1 0 175646386 5652480 997 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271349 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 1380 997 128 317 0 1059 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 5520 [startup+0.301437 s] /proc/loadavg: 1.28 1.06 1.02 3/78 904 /proc/meminfo: memFree=1226488/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=5520 CPUtime=0.29 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 1499 0 0 0 29 0 0 0 19 0 1 0 175646386 5652480 997 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 1380 997 128 317 0 1059 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5520 [startup+0.701473 s] /proc/loadavg: 1.28 1.06 1.02 3/78 904 /proc/meminfo: memFree=1226488/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=9744 CPUtime=0.69 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 2570 0 0 0 68 1 0 0 22 0 1 0 175646386 9977856 2068 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 2436 2069 131 317 0 2115 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9744 [startup+1.50154 s] /proc/loadavg: 1.28 1.06 1.02 2/79 905 /proc/meminfo: memFree=1214896/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=17484 CPUtime=1.49 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 4486 0 0 0 146 3 0 0 25 0 1 0 175646386 17903616 3984 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 4371 3984 131 317 0 4050 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17484 [startup+3.10169 s] /proc/loadavg: 1.33 1.08 1.02 2/79 905 /proc/meminfo: memFree=1205552/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=31444 CPUtime=3.09 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 7977 0 0 0 303 6 0 0 25 0 1 0 175646386 32198656 7475 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 7861 7475 131 317 0 7540 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 31444 [startup+6.30198 s] /proc/loadavg: 1.33 1.08 1.02 2/79 905 /proc/meminfo: memFree=1174256/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=59596 CPUtime=6.29 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 15024 0 0 0 618 11 0 0 25 0 1 0 175646386 61026304 14522 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 14899 14524 131 317 0 14578 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 59596 [startup+12.7016 s] /proc/loadavg: 1.67 1.16 1.05 2/79 905 /proc/meminfo: memFree=1120560/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=113916 CPUtime=12.69 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 28606 0 0 0 1247 22 0 0 25 0 1 0 175646386 116649984 28104 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278989 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 28479 28104 131 317 0 28158 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 113916 [startup+25.5017 s] /proc/loadavg: 1.64 1.17 1.05 2/78 905 /proc/meminfo: memFree=1010936/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=225852 CPUtime=25.48 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 56522 0 0 0 2506 42 0 0 25 0 1 0 175646386 231272448 56020 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 56463 56020 131 317 0 56142 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 225852 [startup+51.1011 s] /proc/loadavg: 1.42 1.15 1.05 2/78 905 /proc/meminfo: memFree=769656/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=474108 CPUtime=51.07 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 118540 0 0 0 5025 82 0 0 25 0 1 0 175646386 485486592 118005 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 118527 118005 137 317 0 118206 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 474108 [startup+102.302 s] /proc/loadavg: 1.17 1.12 1.04 2/78 905 /proc/meminfo: memFree=668536/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=569900 CPUtime=102.26 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 141969 0 0 0 10135 91 0 0 25 0 1 0 175646386 583577600 141091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 142475 141091 139 317 0 142154 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 569900 [startup+162.301 s] /proc/loadavg: 1.06 1.10 1.04 2/78 905 /proc/meminfo: memFree=668600/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=569900 CPUtime=162.24 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 141969 0 0 0 16133 91 0 0 25 0 1 0 175646386 583577600 141091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 142475 141091 139 317 0 142154 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 569900 [startup+222.306 s] /proc/loadavg: 1.02 1.08 1.03 2/78 905 /proc/meminfo: memFree=668088/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=570472 CPUtime=222.23 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 142116 0 0 0 22132 91 0 0 25 0 1 0 175646386 584163328 141238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 142618 141238 139 317 0 142297 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 570472 [startup+282.301 s] /proc/loadavg: 1.01 1.06 1.03 2/78 905 /proc/meminfo: memFree=667448/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=571108 CPUtime=282.21 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 142260 0 0 0 28129 92 0 0 25 0 1 0 175646386 584814592 141382 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 142777 141382 139 317 0 142456 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 571108 [startup+342.302 s] /proc/loadavg: 1.00 1.05 1.02 2/78 905 /proc/meminfo: memFree=666616/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=571804 CPUtime=342.2 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 142446 0 0 0 34127 93 0 0 25 0 1 0 175646386 585527296 141568 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 142951 141568 139 317 0 142630 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 571804 [startup+402.301 s] /proc/loadavg: 1.00 1.04 1.02 2/78 905 /proc/meminfo: memFree=666104/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=572480 CPUtime=402.18 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 142622 0 0 0 40125 93 0 0 25 0 1 0 175646386 586219520 141744 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746922 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 143120 141744 139 317 0 142799 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 572480 [startup+462.302 s] /proc/loadavg: 1.00 1.03 1.01 2/78 905 /proc/meminfo: memFree=665464/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=573016 CPUtime=462.17 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 142754 0 0 0 46123 94 0 0 25 0 1 0 175646386 586768384 141876 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 143254 141876 139 317 0 142933 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 573016 [startup+522.301 s] /proc/loadavg: 1.00 1.02 1.00 2/78 905 /proc/meminfo: memFree=664696/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=573812 CPUtime=522.15 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 142960 0 0 0 52121 94 0 0 25 0 1 0 175646386 587583488 142082 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 143453 142082 139 317 0 143132 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 573812 [startup+582.302 s] /proc/loadavg: 1.05 1.03 1.00 2/78 905 /proc/meminfo: memFree=664120/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=574416 CPUtime=582.14 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 143081 0 0 0 58119 95 0 0 25 0 1 0 175646386 588201984 142203 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 143604 142203 139 317 0 143283 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 574416 [startup+642.302 s] /proc/loadavg: 1.02 1.02 1.00 2/78 907 /proc/meminfo: memFree=663608/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=574832 CPUtime=642.12 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 143186 0 0 0 64117 95 0 0 25 0 1 0 175646386 588627968 142308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718425 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 143708 142308 139 317 0 143387 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 574832 ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.06 1.02 1.00 2/78 907 /proc/meminfo: memFree=657848/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=580768 CPUtime=1002.04 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 144603 0 0 0 100105 99 0 0 25 0 1 0 175646386 594706432 143725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 145192 143725 139 317 0 144871 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 580768 [startup+1062.3 s] /proc/loadavg: 1.02 1.02 1.00 2/78 907 /proc/meminfo: memFree=655032/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=584064 CPUtime=1062.02 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 145360 0 0 0 106103 99 0 0 25 0 1 0 175646386 598081536 144482 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 146016 144482 139 317 0 145695 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 584064 [startup+1122.3 s] /proc/loadavg: 1.01 1.01 1.00 2/78 907 /proc/meminfo: memFree=652344/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=586760 CPUtime=1122.01 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 146018 0 0 0 112101 100 0 0 25 0 1 0 175646386 600842240 145140 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 146690 145140 170 317 0 146369 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 586760 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 907 /proc/meminfo: memFree=649528/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=589824 CPUtime=1181.99 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 146711 0 0 0 118098 101 0 0 25 0 1 0 175646386 603979776 145833 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718647 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 147456 145833 170 317 0 147135 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 589824 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 907 /proc/meminfo: memFree=645880/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=593652 CPUtime=1241.98 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 147597 0 0 0 124097 101 0 0 25 0 1 0 175646386 607899648 146719 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712494 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 148413 146719 170 317 0 148092 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 593652 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 907 /proc/meminfo: memFree=642296/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=597408 CPUtime=1301.96 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 148500 0 0 0 130094 102 0 0 25 0 1 0 175646386 611745792 147605 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279024 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 149352 147605 170 317 0 149031 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 597408 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 907 /proc/meminfo: memFree=636728/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=603520 CPUtime=1361.95 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 149995 0 0 0 136092 103 0 0 25 0 1 0 175646386 618004480 148976 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 150880 148976 170 317 0 150559 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 603520 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 907 /proc/meminfo: memFree=633144/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=607676 CPUtime=1421.94 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 151025 0 0 0 142090 104 0 0 25 0 1 0 175646386 622260224 149880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718010 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 151919 149880 170 317 0 151598 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 607676 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 907 /proc/meminfo: memFree=627384/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=613748 CPUtime=1481.92 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 152458 0 0 0 148087 105 0 0 25 0 1 0 175646386 628477952 151313 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 153437 151313 170 317 0 153116 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 613748 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 907 /proc/meminfo: memFree=616248/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=625752 CPUtime=1541.91 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 156801 0 0 0 154084 107 0 0 25 0 1 0 175646386 640770048 154020 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 156438 154020 170 317 0 156117 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 625752 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 907 /proc/meminfo: memFree=613752/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=629212 CPUtime=1601.9 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 158305 0 0 0 160081 109 0 0 25 0 1 0 175646386 644313088 154696 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712500 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 157303 154696 170 317 0 156982 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 629212 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 907 /proc/meminfo: memFree=612216/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=631292 CPUtime=1661.87 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 159113 0 0 0 166078 109 0 0 25 0 1 0 175646386 646443008 155069 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 157823 155069 170 317 0 157502 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 631292 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 907 /proc/meminfo: memFree=611064/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=632708 CPUtime=1721.86 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 159408 0 0 0 172076 110 0 0 25 0 1 0 175646386 647892992 155364 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135277211 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 158177 155364 170 317 0 157856 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 632708 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 907 /proc/meminfo: memFree=610040/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=633884 CPUtime=1781.84 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 159644 0 0 0 178074 110 0 0 25 0 1 0 175646386 649097216 155600 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 158471 155600 170 317 0 158150 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 633884 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 907 /proc/meminfo: memFree=609784/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=634184 CPUtime=1800.05 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 159711 0 0 0 179894 111 0 0 25 0 1 0 175646386 649404416 155667 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284121 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 158546 155667 170 317 0 158225 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 634184 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.5 s] /proc/loadavg: 1.00 1.00 1.00 3/79 908 /proc/meminfo: memFree=609776/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=634184 CPUtime=1801.05 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 159711 0 0 0 179994 111 0 0 25 0 1 0 175646386 649404416 155667 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 158546 155667 170 317 0 158225 0 Current children cumulated CPU time (s) 1801.05 Current children cumulated vsize (KiB) 634184 [startup+1801.91 s] /proc/loadavg: 1.00 1.00 1.00 2/79 908 /proc/meminfo: memFree=609776/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=634184 CPUtime=1801.45 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 159711 0 0 0 180034 111 0 0 25 0 1 0 175646386 649404416 155667 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 158546 155667 170 317 0 158225 0 Current children cumulated CPU time (s) 1801.45 Current children cumulated vsize (KiB) 634184 [startup+1802.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 908 /proc/meminfo: memFree=609776/2055920 swapFree=4157116/4192956 [pid=904] ppid=902 vsize=0 CPUtime=1801.85 /proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194308 159727 0 0 0 180070 115 0 0 25 0 1 0 175646386 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/904/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1801.85 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1802.36 CPU time (s): 1801.91 CPU user time (s): 1800.7 CPU system time (s): 1.20982 CPU usage (%): 99.9751 Max. virtual memory (cumulated for all children) (KiB): 634184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.7 system time used= 1.20982 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 159727 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= 3218 runsolver used 2.09368 second user time and 4.43832 second system time The end
Begin job on node72 on Thu Apr 19 15:21:19 UTC 2007 IDJOB= 357374 IDBENCH= 2494 IDSOLVER= 172 FILE ID= node72/357374-1176996067 PBS_JOBID= 4630418 Free space on /tmp= 66154 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum3.opb COMMAND LINE= oree /tmp/evaluation/357374-1176996067/instance-357374-1176996067.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-357374-1176996067 -o ROOT/results/node72/solver-357374-1176996067 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357374-1176996067/instance-357374-1176996067.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 84f1974aba41ac2d1ba5ffc7a29fc60a RANDOM SEED= 740647055 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node72.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.222 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.222 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: 1227024 kB Buffers: 31388 kB Cached: 710104 kB SwapCached: 16912 kB Active: 348708 kB Inactive: 416764 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1227024 kB SwapTotal: 4192956 kB SwapFree: 4157116 kB Dirty: 247496 kB Writeback: 20 kB Mapped: 30980 kB Slab: 49008 kB Committed_AS: 2770948 kB PageTables: 1796 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= 66154 MiB End job on node72 on Thu Apr 19 15:51:22 UTC 2007