Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.34 | 1800.78 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-msc98-ip.opb |
MD5SUM | c786421e3b1e46216a72d93f7d7302a0 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 36105 |
Total number of constraints | 16727 |
Number of constraints which are clauses | 5133 |
Number of constraints which are cardinality constraints (but not clauses) | 579 |
Number of constraints which are nor clauses,nor cardinality constraints | 11015 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 1209 |
Number of terms in the objective function | 7440 |
Biggest coefficient in the objective function | 16499 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 531697 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 531697 |
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.69/0.73 c ...done 0.69/0.73 c #vars=36105 #constraints=21029 hasObjective=yes 1.10/1.19 c res. mode=mod 1.10/1.19 c VSIDS like heuristics 1.10/1.19 c complete search running 2.69/2.73 c restart after 401 decisions 2.79/2.86 c nbDecision=500 #constraints=21313 4.29/4.35 c restart after 801 decisions 4.89/4.95 c nbDecision=1000 #constraints=21689 7.49/7.59 c nbDecision=1500 #constraints=22177 8.09/8.16 c restart after 1601 decisions 9.90/9.97 c nbDecision=2000 #constraints=22570 12.89/12.95 c nbDecision=2500 #constraints=23065 15.99/16.01 c nbDecision=3000 #constraints=23562 17.39/17.42 c restart after 3201 decisions 18.79/18.89 c nbDecision=3500 #constraints=23947 22.39/22.43 c nbDecision=4000 #constraints=24444 26.19/26.30 c nbDecision=4500 #constraints=24941 30.28/30.33 c nbDecision=5000 #constraints=25440 35.18/35.22 c nbDecision=5500 #constraints=25938 40.48/40.50 c nbDecision=6000 #constraints=26434 44.48/44.53 c restart after 6401 decisions 44.58/44.70 c nbDecision=6500 #constraints=26829 50.98/51.03 c nbDecision=7000 #constraints=27316 57.78/57.83 c nbDecision=7500 #constraints=27815 64.78/64.82 c nbDecision=8000 #constraints=28308 71.58/71.69 c nbDecision=8500 #constraints=28808 78.67/78.75 c nbDecision=9000 #constraints=29304 86.67/86.73 c nbDecision=9500 #constraints=29799 94.27/94.39 c nbDecision=10000 #constraints=30299 101.86/101.92 c nbDecision=10500 #constraints=30798 110.87/110.91 c nbDecision=11000 #constraints=31260 119.57/119.67 c nbDecision=11500 #constraints=31730 129.86/129.94 c nbDecision=12000 #constraints=32225 141.16/141.21 c nbDecision=12500 #constraints=32712 147.36/147.45 c restart after 12801 decisions 149.65/149.70 c nbDecision=13000 #constraints=33100 161.75/161.81 c nbDecision=13500 #constraints=33590 175.65/175.75 c nbDecision=14000 #constraints=34088 188.75/188.86 c nbDecision=14500 #constraints=34588 203.54/203.61 c nbDecision=15000 #constraints=35085 219.04/219.13 c nbDecision=15500 #constraints=35580 235.04/235.15 c nbDecision=16000 #constraints=36074 251.33/251.41 c nbDecision=16500 #constraints=36572 268.03/268.19 c nbDecision=17000 #constraints=37069 284.83/284.99 c nbDecision=17500 #constraints=37569 302.32/302.41 c nbDecision=18000 #constraints=38070 312.42/312.59 c nbDecision=18500 #constraints=38500 315.12/315.22 c nbDecision=19000 #constraints=39000 317.92/318.02 c nbDecision=19500 #constraints=39500 320.92/321.04 c nbDecision=20000 #constraints=39999 324.21/324.30 c nbDecision=20500 #constraints=40498 327.51/327.66 c nbDecision=21000 #constraints=40995 331.11/331.22 c nbDecision=21500 #constraints=41497 334.81/334.96 c nbDecision=22000 #constraints=41990 337.41/337.54 c nbDecision=22500 #constraints=42482 340.11/340.26 c nbDecision=23000 #constraints=42976 342.90/343.07 c nbDecision=23500 #constraints=43472 345.81/346.00 c nbDecision=24000 #constraints=43971 349.01/349.17 c nbDecision=24500 #constraints=44470 352.41/352.56 c nbDecision=25000 #constraints=44970 355.81/355.95 c nbDecision=25500 #constraints=45469 356.51/356.68 c restart after 25601 decisions 360.21/360.37 c nbDecision=26000 #constraints=45827 367.31/367.45 c nbDecision=26500 #constraints=46324 373.10/373.21 c nbDecision=27000 #constraints=46825 379.30/379.47 c nbDecision=27500 #constraints=47323 384.10/384.29 c nbDecision=28000 #constraints=47801 388.70/388.88 c nbDecision=28500 #constraints=48270 395.50/395.68 c nbDecision=29000 #constraints=48766 402.00/402.12 c nbDecision=29500 #constraints=49244 409.89/410.01 c nbDecision=30000 #constraints=49740 414.29/414.48 c nbDecision=30500 #constraints=50162 416.99/417.11 c nbDecision=31000 #constraints=50626 419.10/419.25 c nbDecision=31500 #constraints=50934 421.50/421.62 c nbDecision=32000 #constraints=51285 423.99/424.18 c nbDecision=32500 #constraints=51687 426.79/426.91 c nbDecision=33000 #constraints=52101 429.49/429.60 c nbDecision=33500 #constraints=52476 431.59/431.77 c nbDecision=34000 #constraints=52708 434.69/434.86 c nbDecision=34500 #constraints=53121 437.69/437.86 c nbDecision=35000 #constraints=53461 440.99/441.17 c nbDecision=35500 #constraints=53805 444.49/444.63 c nbDecision=36000 #constraints=54217 447.99/448.17 c nbDecision=36500 #constraints=54693 450.49/450.65 c nbDecision=37000 #constraints=55140 452.89/453.10 c nbDecision=37500 #constraints=55532 456.08/456.28 c nbDecision=38000 #constraints=56018 460.38/460.56 c nbDecision=38500 #constraints=56516 463.08/463.22 c nbDecision=39000 #constraints=56903 465.48/465.63 c nbDecision=39500 #constraints=57254 468.28/468.44 c nbDecision=40000 #constraints=57669 471.38/471.51 c nbDecision=40500 #constraints=58040 474.18/474.33 c nbDecision=41000 #constraints=58412 476.78/476.92 c nbDecision=41500 #constraints=58644 478.98/479.13 c nbDecision=42000 #constraints=58858 480.58/480.77 c nbDecision=42500 #constraints=58978 483.28/483.43 c nbDecision=43000 #constraints=59329 485.78/485.90 c nbDecision=43500 #constraints=59546 489.17/489.31 c nbDecision=44000 #constraints=59841 495.58/495.70 c nbDecision=44500 #constraints=60283 500.77/500.93 c nbDecision=45000 #constraints=60773 504.77/504.96 c nbDecision=45500 #constraints=61223 509.17/509.31 c nbDecision=46000 #constraints=61567 514.86/515.03 c nbDecision=46500 #constraints=61950 520.07/520.29 c nbDecision=47000 #constraints=62320 525.47/525.62 c nbDecision=47500 #constraints=62642 530.76/530.91 c nbDecision=48000 #constraints=63017 537.06/537.21 c nbDecision=48500 #constraints=63336 543.26/543.42 c nbDecision=49000 #constraints=63703 550.46/550.66 c nbDecision=49500 #constraints=64030 557.56/557.75 c nbDecision=50000 #constraints=64505 562.06/562.26 c nbDecision=50500 #constraints=64967 566.45/566.63 c nbDecision=51000 #constraints=65465 568.25/568.47 c restart after 51201 decisions 579.05/579.28 c nbDecision=51500 #constraints=65852 595.65/595.87 c nbDecision=52000 #constraints=66286 602.85/603.07 c nbDecision=52500 #constraints=66788 610.65/610.89 c nbDecision=53000 #constraints=67282 616.74/616.93 c nbDecision=53500 #constraints=67617 620.44/620.65 c nbDecision=54000 #constraints=67814 624.84/625.04 c nbDecision=54500 #constraints=68018 629.04/629.20 c nbDecision=55000 #constraints=68221 633.94/634.10 c nbDecision=55500 #constraints=68491 638.73/638.90 c nbDecision=56000 #constraints=68690 647.44/647.69 c nbDecision=56500 #constraints=69186 657.34/657.58 c nbDecision=57000 #constraints=69686 665.24/665.42 c nbDecision=57500 #constraints=70174 668.23/668.42 c nbDecision=58000 #constraints=70552 678.33/678.58 c nbDecision=58500 #constraints=70996 688.52/688.78 c nbDecision=59000 #constraints=71494 699.33/699.51 c nbDecision=59500 #constraints=71993 710.12/710.30 c nbDecision=60000 #constraints=72496 720.72/720.98 c nbDecision=60500 #constraints=72993 728.72/728.97 c nbDecision=61000 #constraints=73456 734.11/734.34 c nbDecision=61500 #constraints=73902 738.51/738.79 c nbDecision=62000 #constraints=74315 746.71/746.95 c nbDecision=62500 #constraints=74714 760.51/760.76 c nbDecision=63000 #constraints=75213 776.00/776.22 c nbDecision=63500 #constraints=75709 789.00/789.22 c nbDecision=64000 #constraints=76206 796.29/796.57 c nbDecision=64500 #constraints=76659 801.09/801.35 c nbDecision=65000 #constraints=77113 805.10/805.31 c nbDecision=65500 #constraints=77463 808.60/808.84 c nbDecision=66000 #constraints=77789 812.99/813.24 c nbDecision=66500 #constraints=78229 817.69/817.90 c nbDecision=67000 #constraints=78652 822.59/822.80 c nbDecision=67500 #constraints=79054 826.69/826.97 c nbDecision=68000 #constraints=79338 832.59/832.90 c nbDecision=68500 #constraints=79769 838.58/838.85 c nbDecision=69000 #constraints=80229 853.69/853.94 c nbDecision=69500 #constraints=80686 864.18/864.49 c nbDecision=70000 #constraints=81155 870.28/870.58 c nbDecision=70500 #constraints=81652 876.27/876.60 c nbDecision=71000 #constraints=82151 882.47/882.73 c nbDecision=71500 #constraints=82549 890.78/891.06 c nbDecision=72000 #constraints=82969 895.98/896.24 c nbDecision=72500 #constraints=83302 898.97/899.20 c nbDecision=73000 #constraints=83410 911.47/911.72 c nbDecision=73500 #constraints=83792 926.97/927.23 c nbDecision=74000 #constraints=84226 944.06/944.36 c nbDecision=74500 #constraints=84726 955.25/955.52 c nbDecision=75000 #constraints=85156 963.66/963.92 c nbDecision=75500 #constraints=85532 968.46/968.70 c nbDecision=76000 #constraints=85858 980.25/980.51 c nbDecision=76500 #constraints=86170 1003.05/1003.30 c nbDecision=77000 #constraints=86668 1020.64/1020.99 c nbDecision=77500 #constraints=87165 1038.64/1038.98 c nbDecision=78000 #constraints=87655 1052.44/1052.78 c nbDecision=78500 #constraints=88076 1056.64/1056.95 c nbDecision=79000 #constraints=88298 1066.03/1066.38 c nbDecision=79500 #constraints=88527 1078.23/1078.58 c nbDecision=80000 #constraints=88897 1088.02/1088.31 c nbDecision=80500 #constraints=89187 1098.02/1098.32 c nbDecision=81000 #constraints=89484 1105.03/1105.33 c nbDecision=81500 #constraints=89835 1112.32/1112.67 c nbDecision=82000 #constraints=90278 1120.62/1120.94 c nbDecision=82500 #constraints=90627 1129.82/1130.14 c nbDecision=83000 #constraints=91111 1138.22/1138.54 c nbDecision=83500 #constraints=91570 1147.31/1147.65 c nbDecision=84000 #constraints=91969 1156.91/1157.23 c nbDecision=84500 #constraints=92312 1166.61/1166.95 c nbDecision=85000 #constraints=92746 1179.81/1180.11 c nbDecision=85500 #constraints=93115 1192.70/1193.06 c nbDecision=86000 #constraints=93580 1205.40/1205.73 c nbDecision=86500 #constraints=94061 1218.49/1218.82 c nbDecision=87000 #constraints=94467 1232.59/1233.00 c nbDecision=87500 #constraints=94958 1246.69/1247.00 c nbDecision=88000 #constraints=95445 1258.68/1259.09 c nbDecision=88500 #constraints=95927 1269.58/1269.97 c nbDecision=89000 #constraints=96321 1289.17/1289.59 c nbDecision=89500 #constraints=96719 1299.37/1299.72 c nbDecision=90000 #constraints=97012 1317.77/1318.14 c nbDecision=90500 #constraints=97384 1325.37/1325.79 c nbDecision=91000 #constraints=97791 1336.86/1337.20 c nbDecision=91500 #constraints=98248 1349.76/1350.15 c nbDecision=92000 #constraints=98744 1363.06/1363.46 c nbDecision=92500 #constraints=99245 1376.86/1377.27 c nbDecision=93000 #constraints=99739 1389.65/1390.00 c nbDecision=93500 #constraints=100239 1402.65/1403.04 c nbDecision=94000 #constraints=100735 1416.64/1417.03 c nbDecision=94500 #constraints=101233 1429.75/1430.12 c nbDecision=95000 #constraints=101730 1443.84/1444.26 c nbDecision=95500 #constraints=102229 1457.74/1458.17 c nbDecision=96000 #constraints=102730 1470.73/1471.15 c nbDecision=96500 #constraints=103226 1484.23/1484.65 c nbDecision=97000 #constraints=103724 1497.52/1497.96 c nbDecision=97500 #constraints=104222 1514.33/1514.72 c nbDecision=98000 #constraints=104717 1533.62/1534.00 c nbDecision=98500 #constraints=105216 1552.81/1553.24 c nbDecision=99000 #constraints=105717 1571.80/1572.23 c nbDecision=99500 #constraints=106216 1591.21/1591.62 c nbDecision=100000 #constraints=106711 1609.80/1610.25 c nbDecision=100500 #constraints=107212 1629.19/1629.68 c nbDecision=101000 #constraints=107711 1650.89/1651.30 c nbDecision=101500 #constraints=108211 1670.49/1670.92 c nbDecision=102000 #constraints=108711 1685.48/1685.93 c restart after 102401 decisions 1685.98/1686.40 c nbDecision=102500 #constraints=109111 1700.58/1701.08 c nbDecision=103000 #constraints=109476 1716.07/1716.52 c nbDecision=103500 #constraints=109978 1745.77/1746.22 c nbDecision=104000 #constraints=110406 1788.65/1789.10 c nbDecision=104500 #constraints=110898 1800.05/1800.50 Received signal 15 1800.25/1800.73 1800.25/1800.73 s UNKNOWN 1800.25/1800.73 1800.25/1800.73 c user time= 1799.92 s 1800.25/1800.73 c system time= 0.378942 s 1800.25/1800.73 c wall clock time=1800.74
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node43/watcher-357017-1176851666 -o ROOT/results/node43/solver-357017-1176851666 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357017-1176851666/instance-357017-1176851666.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.95 0.96 3/77 23898 /proc/meminfo: memFree=1316304/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=1620 CPUtime=0 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 133078389 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 405 175 126 317 0 84 0 [startup+0.064275 s] /proc/loadavg: 0.91 0.95 0.96 3/77 23898 /proc/meminfo: memFree=1316304/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=2412 CPUtime=0.06 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 396 0 0 0 6 0 0 0 18 0 1 0 133078389 2469888 378 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 603 378 131 317 0 282 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2412 [startup+0.101278 s] /proc/loadavg: 0.91 0.95 0.96 3/77 23898 /proc/meminfo: memFree=1316304/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=2940 CPUtime=0.09 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 543 0 0 0 9 0 0 0 18 0 1 0 133078389 3010560 525 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 735 525 131 317 0 414 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2940 [startup+0.301295 s] /proc/loadavg: 0.91 0.95 0.96 3/77 23898 /proc/meminfo: memFree=1316304/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=6136 CPUtime=0.29 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 1356 0 0 0 28 1 0 0 19 0 1 0 133078389 6283264 1338 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 1534 1338 131 317 0 1213 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6136 [startup+0.70133 s] /proc/loadavg: 0.91 0.95 0.96 3/77 23898 /proc/meminfo: memFree=1316304/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=13536 CPUtime=0.69 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 3181 0 0 0 67 2 0 0 22 0 1 0 133078389 13860864 3163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 3384 3164 131 317 0 3063 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13536 [startup+1.5014 s] /proc/loadavg: 0.91 0.95 0.96 2/78 23899 /proc/meminfo: memFree=1297480/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=22240 CPUtime=1.49 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 5352 0 0 0 146 3 0 0 25 0 1 0 133078389 22773760 5190 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 5560 5190 139 317 0 5239 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22240 [startup+3.10254 s] /proc/loadavg: 0.92 0.95 0.96 2/78 23899 /proc/meminfo: memFree=1295688/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=22240 CPUtime=3.09 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 5354 0 0 0 306 3 0 0 25 0 1 0 133078389 22773760 5192 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 5560 5192 139 317 0 5239 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22240 [startup+6.30182 s] /proc/loadavg: 0.92 0.95 0.96 2/78 23899 /proc/meminfo: memFree=1295496/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=22240 CPUtime=6.29 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 5379 0 0 0 626 3 0 0 25 0 1 0 133078389 22773760 5217 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562672 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 5560 5217 139 317 0 5239 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22240 [startup+12.7014 s] /proc/loadavg: 0.93 0.96 0.96 2/78 23899 /proc/meminfo: memFree=1294728/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=23172 CPUtime=12.69 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 5607 0 0 0 1265 4 0 0 25 0 1 0 133078389 23728128 5445 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 5793 5445 139 317 0 5472 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23172 [startup+25.5015 s] /proc/loadavg: 0.94 0.96 0.96 2/78 23899 /proc/meminfo: memFree=1293192/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=24668 CPUtime=25.49 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 5996 0 0 0 2545 4 0 0 25 0 1 0 133078389 25260032 5834 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385264 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 6167 5834 139 317 0 5846 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 24668 [startup+51.1017 s] /proc/loadavg: 0.96 0.96 0.96 2/78 23899 /proc/meminfo: memFree=1291080/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=26936 CPUtime=51.08 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 6541 0 0 0 5103 5 0 0 25 0 1 0 133078389 27582464 6379 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 6734 6379 139 317 0 6413 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 26936 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.96 2/78 23899 /proc/meminfo: memFree=1287944/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=30140 CPUtime=102.27 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 7310 0 0 0 10222 5 0 0 25 0 1 0 133078389 30863360 7148 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 7535 7148 139 317 0 7214 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 30140 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 23899 /proc/meminfo: memFree=1285640/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=32524 CPUtime=162.25 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 7922 0 0 0 16219 6 0 0 25 0 1 0 133078389 33304576 7727 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 8131 7727 139 317 0 7810 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 32524 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 23899 /proc/meminfo: memFree=1283784/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=34348 CPUtime=222.24 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 8385 0 0 0 22216 8 0 0 25 0 1 0 133078389 35172352 8190 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 8587 8190 139 317 0 8266 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 34348 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 23899 /proc/meminfo: memFree=1282120/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=35980 CPUtime=282.22 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 8794 0 0 0 28213 9 0 0 25 0 1 0 133078389 36843520 8599 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563315 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 8995 8599 139 317 0 8674 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 35980 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 23899 /proc/meminfo: memFree=1276744/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=42576 CPUtime=342.21 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 10485 0 0 0 34211 10 0 0 25 0 1 0 133078389 43597824 9904 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385274 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 10644 9904 139 317 0 10323 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 42576 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 23899 /proc/meminfo: memFree=1271752/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=47744 CPUtime=402.19 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 11770 0 0 0 40207 12 0 0 25 0 1 0 133078389 48889856 11189 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 11936 11189 139 317 0 11615 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 47744 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 23899 /proc/meminfo: memFree=1263688/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=55712 CPUtime=462.18 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 13795 0 0 0 46204 14 0 0 25 0 1 0 133078389 57049088 13214 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 13928 13214 139 317 0 13607 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 55712 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 23899 /proc/meminfo: memFree=1257288/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=62096 CPUtime=522.17 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 15402 0 0 0 52200 17 0 0 25 0 1 0 133078389 63586304 14821 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385343 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 15524 14821 139 317 0 15203 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 62096 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 23899 /proc/meminfo: memFree=1252936/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=66452 CPUtime=582.16 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 16508 0 0 0 58197 19 0 0 25 0 1 0 133078389 68046848 15862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 16613 15862 139 317 0 16292 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 66452 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 23899 /proc/meminfo: memFree=1250184/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=69152 CPUtime=642.14 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 17198 0 0 0 64194 20 0 0 25 0 1 0 133078389 70811648 16552 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 17288 16552 139 317 0 16967 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 69152 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.04 0.99 0.97 2/78 23899 /proc/meminfo: memFree=1233416/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=88056 CPUtime=942.06 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 21934 0 0 0 94181 25 0 0 25 0 1 0 133078389 90169344 20717 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 22014 20717 139 317 0 21693 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 88056 [startup+1002.3 s] /proc/loadavg: 1.10 1.02 0.98 2/78 23899 /proc/meminfo: memFree=1232904/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=88584 CPUtime=1002.05 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 22081 0 0 0 100179 26 0 0 25 0 1 0 133078389 90710016 20864 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718354 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 22146 20864 139 317 0 21825 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 88584 [startup+1062.3 s] /proc/loadavg: 1.03 1.01 0.98 2/78 23899 /proc/meminfo: memFree=1231240/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=90228 CPUtime=1062.03 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 22501 0 0 0 106176 27 0 0 25 0 1 0 133078389 92393472 21284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604488 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 22557 21284 139 317 0 22236 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 90228 [startup+1122.3 s] /proc/loadavg: 1.06 1.02 0.98 2/78 23899 /proc/meminfo: memFree=1229000/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=92528 CPUtime=1122.02 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 23066 0 0 0 112174 28 0 0 25 0 1 0 133078389 94748672 21849 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 23132 21849 139 317 0 22811 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 92528 [startup+1182.3 s] /proc/loadavg: 1.02 1.02 0.98 2/78 23899 /proc/meminfo: memFree=1225736/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=95876 CPUtime=1182.01 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 23883 0 0 0 118172 29 0 0 25 0 1 0 133078389 98177024 22666 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 23969 22666 139 317 0 23648 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 95876 [startup+1242.3 s] /proc/loadavg: 1.01 1.01 0.98 2/78 23899 /proc/meminfo: memFree=1222344/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=99560 CPUtime=1241.99 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 24720 0 0 0 124169 30 0 0 25 0 1 0 133078389 101949440 23503 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 24890 23503 139 317 0 24569 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 99560 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 23899 /proc/meminfo: memFree=1220360/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=101648 CPUtime=1301.98 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 25210 0 0 0 130167 31 0 0 25 0 1 0 133078389 104087552 23993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 25412 23993 139 317 0 25091 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 101648 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 23899 /proc/meminfo: memFree=1218440/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=103500 CPUtime=1361.95 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 25697 0 0 0 136164 31 0 0 25 0 1 0 133078389 105984000 24480 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 25875 24480 139 317 0 25554 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 103500 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.98 2/78 23899 /proc/meminfo: memFree=1216328/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=105684 CPUtime=1421.94 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 26221 0 0 0 142162 32 0 0 25 0 1 0 133078389 108220416 25004 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 26421 25004 139 317 0 26100 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 105684 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 23901 /proc/meminfo: memFree=1214408/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=107560 CPUtime=1481.93 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 26707 0 0 0 148160 33 0 0 25 0 1 0 133078389 110141440 25490 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712518 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 26890 25490 139 317 0 26569 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 107560 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 23901 /proc/meminfo: memFree=1212744/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=109156 CPUtime=1541.91 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 27099 0 0 0 154157 34 0 0 25 0 1 0 133078389 111775744 25882 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 27289 25882 139 317 0 26968 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 109156 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 23901 /proc/meminfo: memFree=1211400/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=110528 CPUtime=1601.9 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 27441 0 0 0 160155 35 0 0 25 0 1 0 133078389 113180672 26224 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 27632 26224 139 317 0 27311 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 110528 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 23901 /proc/meminfo: memFree=1210056/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=111916 CPUtime=1661.89 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 27783 0 0 0 166153 36 0 0 25 0 1 0 133078389 114601984 26566 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 27979 26566 139 317 0 27658 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 111916 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 23901 /proc/meminfo: memFree=1208648/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=113324 CPUtime=1721.87 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 28134 0 0 0 172151 36 0 0 25 0 1 0 133078389 116043776 26917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 28331 26917 139 317 0 28010 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 113324 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 23901 /proc/meminfo: memFree=1207880/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=113996 CPUtime=1781.85 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 28322 0 0 0 178148 37 0 0 25 0 1 0 133078389 116731904 27105 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563401 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 28499 27105 139 317 0 28178 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 113996 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.98 2/78 23901 /proc/meminfo: memFree=1207624/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=114260 CPUtime=1800.05 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 28377 0 0 0 179968 37 0 0 25 0 1 0 133078389 117002240 27160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 28565 27160 139 317 0 28244 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 114260 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 0.98 2/79 23902 /proc/meminfo: memFree=1207616/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=114260 CPUtime=1800.16 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 28377 0 0 0 179979 37 0 0 25 0 1 0 133078389 117002240 27160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 28565 27160 139 317 0 28244 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 114260 [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.98 2/79 23902 /proc/meminfo: memFree=1207616/2055920 swapFree=4184648/4192956 [pid=23898] ppid=23896 vsize=114260 CPUtime=1800.25 /proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 28378 0 0 0 179988 37 0 0 25 0 1 0 133078389 117002240 27161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23898/statm: 28565 27161 139 317 0 28244 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (KiB) 114260 Child status: 0 Real time (s): 1800.78 CPU time (s): 1800.34 CPU user time (s): 1799.94 CPU system time (s): 0.396939 CPU usage (%): 99.9755 Max. virtual memory (cumulated for all children) (KiB): 114260 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.94 system time used= 0.396939 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28394 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= 2166 runsolver used 2.17767 second user time and 4.37434 second system time The end
Begin job on node43 on Tue Apr 17 23:14:26 UTC 2007 IDJOB= 357017 IDBENCH= 1780 IDSOLVER= 172 FILE ID= node43/357017-1176851666 PBS_JOBID= 4590225 Free space on /tmp= 66505 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-msc98-ip.opb COMMAND LINE= oree /tmp/evaluation/357017-1176851666/instance-357017-1176851666.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-357017-1176851666 -o ROOT/results/node43/solver-357017-1176851666 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357017-1176851666/instance-357017-1176851666.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= c786421e3b1e46216a72d93f7d7302a0 RANDOM SEED= 288677182 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node43.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 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.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1316712 kB Buffers: 62292 kB Cached: 449056 kB SwapCached: 2596 kB Active: 273932 kB Inactive: 386452 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1316712 kB SwapTotal: 4192956 kB SwapFree: 4184648 kB Dirty: 4164 kB Writeback: 0 kB Mapped: 164260 kB Slab: 64200 kB Committed_AS: 1711040 kB PageTables: 1896 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= 66505 MiB End job on node43 on Tue Apr 17 23:44:28 UTC 2007