Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.13 | 1800.78 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-fffff800.opb |
MD5SUM | f2e3e708ab88850fd5a3cdf379c0e388 |
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 | 25620 |
Total number of constraints | 524 |
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 | 524 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 7530 |
Number of terms in the objective function | 240 |
Biggest coefficient in the objective function | 32769 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 524520 |
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 | 530865 |
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.59/0.65 c ...done 0.59/0.65 c #vars=25620 #constraints=875 hasObjective=yes 0.69/0.74 c res. mode=mod 0.69/0.74 c VSIDS like heuristics 0.69/0.74 c complete search running 2.09/2.17 c restart after 401 decisions 2.39/2.42 c nbDecision=500 #constraints=1268 3.69/3.77 c restart after 801 decisions 4.49/4.59 c nbDecision=1000 #constraints=1700 7.59/7.62 c nbDecision=1500 #constraints=2200 8.29/8.37 c restart after 1601 decisions 11.08/11.13 c nbDecision=2000 #constraints=2641 15.49/15.50 c nbDecision=2500 #constraints=3141 20.79/20.83 c nbDecision=3000 #constraints=3641 22.98/23.09 c restart after 3201 decisions 27.49/27.58 c nbDecision=3500 #constraints=4088 36.28/36.34 c nbDecision=4000 #constraints=4588 45.48/45.56 c nbDecision=4500 #constraints=5089 55.98/56.05 c nbDecision=5000 #constraints=5588 65.77/65.85 c nbDecision=5500 #constraints=6064 66.57/66.67 c nbDecision=6000 #constraints=6279 67.28/67.33 c restart after 6401 decisions 68.67/68.72 c nbDecision=6500 #constraints=6458 82.77/82.80 c nbDecision=7000 #constraints=6958 96.76/96.81 c nbDecision=7500 #constraints=7458 103.06/103.11 c nbDecision=8000 #constraints=7792 104.66/104.71 c nbDecision=8500 #constraints=8175 105.95/106.08 c nbDecision=9000 #constraints=8326 107.06/107.19 c nbDecision=9500 #constraints=8420 108.76/108.81 c nbDecision=10000 #constraints=8573 110.36/110.43 c nbDecision=10500 #constraints=8696 111.86/112.00 c nbDecision=11000 #constraints=8824 113.26/113.33 c nbDecision=11500 #constraints=8924 115.26/115.35 c nbDecision=12000 #constraints=9062 119.46/119.54 c nbDecision=12500 #constraints=9353 120.06/120.19 c restart after 12801 decisions 127.15/127.27 c nbDecision=13000 #constraints=9518 147.45/147.59 c nbDecision=13500 #constraints=10018 168.75/168.81 c nbDecision=14000 #constraints=10518 189.04/189.10 c nbDecision=14500 #constraints=11018 208.33/208.41 c nbDecision=15000 #constraints=11519 215.73/215.87 c nbDecision=15500 #constraints=11817 217.02/217.10 c nbDecision=16000 #constraints=11998 219.32/219.44 c nbDecision=16500 #constraints=12325 221.12/221.21 c nbDecision=17000 #constraints=12544 223.43/223.58 c nbDecision=17500 #constraints=12836 225.62/225.79 c nbDecision=18000 #constraints=13055 227.83/227.94 c nbDecision=18500 #constraints=13235 229.83/229.97 c nbDecision=19000 #constraints=13395 231.93/232.10 c nbDecision=19500 #constraints=13571 234.42/234.52 c nbDecision=20000 #constraints=13753 236.22/236.38 c nbDecision=20500 #constraints=13892 238.22/238.37 c nbDecision=21000 #constraints=14016 240.12/240.21 c nbDecision=21500 #constraints=14134 241.72/241.87 c nbDecision=22000 #constraints=14248 244.52/244.66 c nbDecision=22500 #constraints=14437 246.02/246.19 c nbDecision=23000 #constraints=14533 248.61/248.79 c nbDecision=23500 #constraints=14687 250.02/250.10 c nbDecision=24000 #constraints=14771 251.62/251.72 c nbDecision=24500 #constraints=14873 253.42/253.50 c nbDecision=25000 #constraints=14976 254.81/254.94 c nbDecision=25500 #constraints=15050 255.12/255.20 c restart after 25601 decisions 258.02/258.13 c nbDecision=26000 #constraints=15188 261.01/261.16 c nbDecision=26500 #constraints=15338 263.01/263.11 c nbDecision=27000 #constraints=15407 264.71/264.86 c nbDecision=27500 #constraints=15499 266.81/266.98 c nbDecision=28000 #constraints=15598 268.81/268.94 c nbDecision=28500 #constraints=15684 271.41/271.56 c nbDecision=29000 #constraints=15810 274.61/274.78 c nbDecision=29500 #constraints=15969 277.61/277.70 c nbDecision=30000 #constraints=16116 280.61/280.72 c nbDecision=30500 #constraints=16259 284.40/284.52 c nbDecision=31000 #constraints=16430 287.11/287.26 c nbDecision=31500 #constraints=16547 289.81/289.93 c nbDecision=32000 #constraints=16660 292.00/292.16 c nbDecision=32500 #constraints=16748 296.10/296.28 c nbDecision=33000 #constraints=16917 299.60/299.72 c nbDecision=33500 #constraints=17055 302.70/302.80 c nbDecision=34000 #constraints=17184 305.60/305.76 c nbDecision=34500 #constraints=17302 309.80/309.94 c nbDecision=35000 #constraints=17446 314.00/314.15 c nbDecision=35500 #constraints=17595 317.49/317.63 c nbDecision=36000 #constraints=17711 320.50/320.67 c nbDecision=36500 #constraints=17813 325.09/325.25 c nbDecision=37000 #constraints=17974 327.49/327.64 c nbDecision=37500 #constraints=18047 331.90/332.07 c nbDecision=38000 #constraints=18207 336.50/336.61 c nbDecision=38500 #constraints=18355 338.79/338.93 c nbDecision=39000 #constraints=18426 342.38/342.58 c nbDecision=39500 #constraints=18538 344.79/344.98 c nbDecision=40000 #constraints=18615 347.99/348.19 c nbDecision=40500 #constraints=18717 350.99/351.12 c nbDecision=41000 #constraints=18797 352.89/353.02 c nbDecision=41500 #constraints=18851 356.58/356.71 c nbDecision=42000 #constraints=18964 359.88/360.02 c nbDecision=42500 #constraints=19062 362.38/362.54 c nbDecision=43000 #constraints=19128 365.28/365.48 c nbDecision=43500 #constraints=19207 368.09/368.27 c nbDecision=44000 #constraints=19280 371.18/371.35 c nbDecision=44500 #constraints=19358 373.79/373.92 c nbDecision=45000 #constraints=19433 376.68/376.87 c nbDecision=45500 #constraints=19514 380.38/380.59 c nbDecision=46000 #constraints=19611 382.68/382.85 c nbDecision=46500 #constraints=19669 384.88/385.03 c nbDecision=47000 #constraints=19722 387.97/388.10 c nbDecision=47500 #constraints=19807 391.57/391.71 c nbDecision=48000 #constraints=19897 395.08/395.28 c nbDecision=48500 #constraints=19993 397.77/397.98 c nbDecision=49000 #constraints=20057 400.97/401.11 c nbDecision=49500 #constraints=20140 403.87/404.00 c nbDecision=50000 #constraints=20210 407.37/407.58 c nbDecision=50500 #constraints=20301 409.57/409.72 c nbDecision=51000 #constraints=20351 410.66/410.82 c restart after 51201 decisions 426.67/426.86 c nbDecision=51500 #constraints=20609 455.95/456.13 c nbDecision=52000 #constraints=21109 483.95/484.15 c nbDecision=52500 #constraints=21609 512.04/512.27 c nbDecision=53000 #constraints=22109 534.24/534.46 c nbDecision=53500 #constraints=22569 543.63/543.89 c nbDecision=54000 #constraints=22802 560.02/560.21 c nbDecision=54500 #constraints=23218 593.32/593.52 c nbDecision=55000 #constraints=23678 627.41/627.66 c nbDecision=55500 #constraints=24178 640.90/641.13 c nbDecision=56000 #constraints=24499 656.80/657.06 c nbDecision=56500 #constraints=24881 675.39/675.63 c nbDecision=57000 #constraints=25342 693.29/693.57 c nbDecision=57500 #constraints=25794 705.28/705.56 c nbDecision=58000 #constraints=26070 721.07/721.38 c nbDecision=58500 #constraints=26444 735.68/735.94 c nbDecision=59000 #constraints=26761 749.97/750.29 c nbDecision=59500 #constraints=27023 768.87/769.11 c nbDecision=60000 #constraints=27356 783.26/783.59 c nbDecision=60500 #constraints=27613 797.66/797.92 c nbDecision=61000 #constraints=27897 808.05/808.39 c nbDecision=61500 #constraints=28074 816.55/816.81 c nbDecision=62000 #constraints=28307 853.54/853.85 c nbDecision=62500 #constraints=28800 890.63/890.93 c nbDecision=63000 #constraints=29300 922.72/923.07 c nbDecision=63500 #constraints=29801 942.01/942.38 c nbDecision=64000 #constraints=30141 958.70/959.05 c nbDecision=64500 #constraints=30501 965.00/965.37 c nbDecision=65000 #constraints=30596 969.90/970.23 c nbDecision=65500 #constraints=30647 976.80/977.11 c nbDecision=66000 #constraints=30767 984.30/984.69 c nbDecision=66500 #constraints=30889 995.09/995.49 c nbDecision=67000 #constraints=31063 1005.00/1005.31 c nbDecision=67500 #constraints=31233 1012.89/1013.26 c nbDecision=68000 #constraints=31340 1019.39/1019.79 c nbDecision=68500 #constraints=31427 1028.29/1028.67 c nbDecision=69000 #constraints=31557 1033.19/1033.59 c nbDecision=69500 #constraints=31609 1039.19/1039.53 c nbDecision=70000 #constraints=31675 1043.78/1044.15 c nbDecision=70500 #constraints=31710 1049.18/1049.54 c nbDecision=71000 #constraints=31765 1055.38/1055.72 c nbDecision=71500 #constraints=31845 1059.98/1060.34 c nbDecision=72000 #constraints=31879 1066.58/1066.97 c nbDecision=72500 #constraints=31957 1071.07/1071.48 c nbDecision=73000 #constraints=31992 1075.57/1075.92 c nbDecision=73500 #constraints=32030 1080.47/1080.88 c nbDecision=74000 #constraints=32074 1084.67/1085.06 c nbDecision=74500 #constraints=32106 1090.87/1091.28 c nbDecision=75000 #constraints=32184 1096.86/1097.25 c nbDecision=75500 #constraints=32246 1101.66/1102.00 c nbDecision=76000 #constraints=32281 1108.26/1108.61 c nbDecision=76500 #constraints=32357 1118.06/1118.42 c nbDecision=77000 #constraints=32496 1123.96/1124.37 c nbDecision=77500 #constraints=32560 1135.55/1135.90 c nbDecision=78000 #constraints=32717 1145.65/1146.05 c nbDecision=78500 #constraints=32847 1155.15/1155.52 c nbDecision=79000 #constraints=32968 1168.74/1169.12 c nbDecision=79500 #constraints=33171 1178.64/1179.00 c nbDecision=80000 #constraints=33310 1184.93/1185.36 c nbDecision=80500 #constraints=33380 1193.84/1194.25 c nbDecision=81000 #constraints=33489 1205.83/1206.23 c nbDecision=81500 #constraints=33646 1212.63/1213.07 c nbDecision=82000 #constraints=33726 1221.32/1221.71 c nbDecision=82500 #constraints=33836 1228.23/1228.60 c nbDecision=83000 #constraints=33909 1242.99/1243.42 c nbDecision=83500 #constraints=34130 1251.87/1252.33 c nbDecision=84000 #constraints=34245 1260.44/1260.97 c nbDecision=84500 #constraints=34353 1273.82/1274.35 c nbDecision=85000 #constraints=34545 1289.61/1290.10 c nbDecision=85500 #constraints=34779 1308.58/1309.12 c nbDecision=86000 #constraints=35070 1321.69/1322.29 c nbDecision=86500 #constraints=35244 1329.78/1330.36 c nbDecision=87000 #constraints=35336 1337.88/1338.41 c nbDecision=87500 #constraints=35424 1343.98/1344.54 c nbDecision=88000 #constraints=35485 1355.27/1355.88 c nbDecision=88500 #constraints=35627 1385.27/1385.83 c nbDecision=89000 #constraints=36071 1392.96/1393.55 c nbDecision=89500 #constraints=36152 1403.76/1404.37 c nbDecision=90000 #constraints=36280 1417.36/1417.91 c nbDecision=90500 #constraints=36444 1426.95/1427.57 c nbDecision=91000 #constraints=36554 1439.44/1440.03 c nbDecision=91500 #constraints=36715 1446.35/1446.98 c nbDecision=92000 #constraints=36784 1459.54/1460.14 c nbDecision=92500 #constraints=36940 1467.54/1468.17 c nbDecision=93000 #constraints=37023 1475.44/1476.01 c nbDecision=93500 #constraints=37097 1484.13/1484.75 c nbDecision=94000 #constraints=37193 1491.43/1492.00 c nbDecision=94500 #constraints=37261 1500.13/1500.79 c nbDecision=95000 #constraints=37355 1509.73/1510.32 c nbDecision=95500 #constraints=37449 1515.82/1516.43 c nbDecision=96000 #constraints=37502 1525.63/1526.23 c nbDecision=96500 #constraints=37600 1545.32/1545.96 c nbDecision=97000 #constraints=37832 1553.91/1554.51 c nbDecision=97500 #constraints=37909 1561.52/1562.17 c nbDecision=98000 #constraints=37980 1568.71/1569.36 c nbDecision=98500 #constraints=38048 1579.21/1579.83 c nbDecision=99000 #constraints=38160 1585.91/1586.56 c nbDecision=99500 #constraints=38217 1595.41/1596.04 c nbDecision=100000 #constraints=38305 1602.60/1603.23 c nbDecision=100500 #constraints=38367 1612.20/1612.86 c nbDecision=101000 #constraints=38468 1620.09/1620.71 c nbDecision=101500 #constraints=38545 1628.80/1629.40 c nbDecision=102000 #constraints=38626 1635.10/1635.74 c restart after 102401 decisions 1642.19/1642.87 c nbDecision=102500 #constraints=38735 1686.97/1687.62 c nbDecision=103000 #constraints=39234 1732.46/1733.19 c nbDecision=103500 #constraints=39734 1773.15/1773.84 c nbDecision=104000 #constraints=40234 1790.15/1790.87 c nbDecision=104500 #constraints=40493 1800.05/1800.71 Received signal 15 1800.05/1800.71 1800.05/1800.71 s UNKNOWN 1800.05/1800.71 1800.05/1800.71 c user time= 1799.37 s 1800.05/1800.71 c system time= 0.691894 s 1800.05/1800.71 c wall clock time=1800.71
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node6/watcher-356963-1176849621 -o ROOT/results/node6/solver-356963-1176849621 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356963-1176849621/instance-356963-1176849621.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.94 3/77 22536 /proc/meminfo: memFree=1781880/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=1468 CPUtime=0 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 160999799 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 367 164 127 317 0 46 0 [startup+0.0680371 s] /proc/loadavg: 0.91 0.95 0.94 3/77 22536 /proc/meminfo: memFree=1781880/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=2580 CPUtime=0.06 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 444 0 0 0 6 0 0 0 18 0 1 0 160999799 2641920 426 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 645 426 131 317 0 324 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2580 [startup+0.10104 s] /proc/loadavg: 0.91 0.95 0.94 3/77 22536 /proc/meminfo: memFree=1781880/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=3240 CPUtime=0.09 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 603 0 0 0 9 0 0 0 18 0 1 0 160999799 3317760 585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 810 585 131 317 0 489 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3240 [startup+0.301063 s] /proc/loadavg: 0.91 0.95 0.94 3/77 22536 /proc/meminfo: memFree=1781880/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=7788 CPUtime=0.29 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 1679 0 0 0 29 0 0 0 19 0 1 0 160999799 7974912 1661 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 1947 1661 131 317 0 1626 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7788 [startup+0.701111 s] /proc/loadavg: 0.91 0.95 0.94 3/77 22536 /proc/meminfo: memFree=1781880/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=18164 CPUtime=0.69 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 4131 0 0 0 68 1 0 0 22 0 1 0 160999799 18599936 4113 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 4541 4113 137 317 0 4220 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18164 [startup+1.5012 s] /proc/loadavg: 0.91 0.95 0.94 2/78 22537 /proc/meminfo: memFree=1763632/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=21068 CPUtime=1.49 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 4867 0 0 0 148 1 0 0 25 0 1 0 160999799 21573632 4849 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 5267 4849 139 317 0 4946 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21068 [startup+3.10139 s] /proc/loadavg: 0.92 0.95 0.94 2/78 22537 /proc/meminfo: memFree=1761968/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=23044 CPUtime=3.09 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 5351 0 0 0 308 1 0 0 25 0 1 0 160999799 23597056 5333 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 5761 5333 139 317 0 5440 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23044 [startup+6.30176 s] /proc/loadavg: 0.92 0.95 0.94 2/78 22537 /proc/meminfo: memFree=1758640/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=26320 CPUtime=6.29 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 6137 0 0 0 626 3 0 0 25 0 1 0 160999799 26951680 6119 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 6580 6119 139 317 0 6259 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26320 [startup+12.7015 s] /proc/loadavg: 0.93 0.95 0.94 2/78 22537 /proc/meminfo: memFree=1754032/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=30016 CPUtime=12.69 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 7087 0 0 0 1265 4 0 0 25 0 1 0 160999799 30736384 7069 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272576 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 7504 7069 139 317 0 7183 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30016 [startup+25.502 s] /proc/loadavg: 0.94 0.96 0.94 3/78 22537 /proc/meminfo: memFree=1747632/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=36488 CPUtime=25.49 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 8634 0 0 0 2544 5 0 0 25 0 1 0 160999799 37363712 8616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 9122 8616 139 317 0 8801 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 36488 [startup+51.102 s] /proc/loadavg: 0.96 0.96 0.94 2/78 22537 /proc/meminfo: memFree=1740080/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=45176 CPUtime=51.08 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 10543 0 0 0 5102 6 0 0 25 0 1 0 160999799 46260224 10525 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 11294 10525 139 317 0 10973 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 45176 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.94 2/78 22537 /proc/meminfo: memFree=1727984/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=56768 CPUtime=102.27 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 13626 0 0 0 10218 9 0 0 25 0 1 0 160999799 58130432 13565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 14192 13565 170 317 0 13871 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 56768 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.94 2/78 22537 /proc/meminfo: memFree=1706992/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=77984 CPUtime=162.24 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 18876 0 0 0 16212 12 0 0 25 0 1 0 160999799 79855616 18815 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284223 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 19496 18815 170 317 0 19175 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 77984 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.94 2/78 22537 /proc/meminfo: memFree=1690288/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=97816 CPUtime=222.23 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 23154 0 0 0 22207 16 0 0 25 0 1 0 160999799 100163584 23007 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 24454 23007 170 317 0 24133 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 97816 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.94 2/78 22537 /proc/meminfo: memFree=1659248/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=129500 CPUtime=282.2 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 30902 0 0 0 28199 21 0 0 25 0 1 0 160999799 132608000 30755 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 32375 30755 170 317 0 32054 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 129500 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.94 2/78 22537 /proc/meminfo: memFree=1637872/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=153748 CPUtime=342.19 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 36184 0 0 0 34194 25 0 0 25 0 1 0 160999799 157437952 36037 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 38437 36037 170 317 0 38116 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 153748 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.94 2/78 22537 /proc/meminfo: memFree=1624560/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=168244 CPUtime=402.17 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 39726 0 0 0 40189 28 0 0 25 0 1 0 160999799 172281856 39579 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272617 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 42061 39579 170 317 0 41740 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 168244 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.94 2/78 22537 /proc/meminfo: memFree=1618032/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=173260 CPUtime=462.15 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 41106 0 0 0 46185 30 0 0 25 0 1 0 160999799 177418240 40959 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712546 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 43315 40959 170 317 0 42994 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 173260 [startup+522.301 s] /proc/loadavg: 1.06 0.99 0.94 2/78 22537 /proc/meminfo: memFree=1613104/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=177856 CPUtime=522.13 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 42350 0 0 0 52181 32 0 0 25 0 1 0 160999799 182124544 42203 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 44464 42203 170 317 0 44143 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 177856 [startup+582.301 s] /proc/loadavg: 1.02 0.99 0.94 2/78 22537 /proc/meminfo: memFree=1605808/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=184848 CPUtime=582.12 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 44152 0 0 0 58177 35 0 0 25 0 1 0 160999799 189284352 44005 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 46212 44005 170 317 0 45891 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 184848 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.94 2/78 22537 /proc/meminfo: memFree=1599792/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=190304 CPUtime=642.11 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 45646 0 0 0 64174 37 0 0 25 0 1 0 160999799 194871296 45499 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 47576 45499 170 317 0 47255 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 190304 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 0.99 0.94 2/78 22537 /proc/meminfo: memFree=1565744/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=223124 CPUtime=882.03 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 54320 0 0 0 88159 44 0 0 25 0 1 0 160999799 228478976 54003 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 55781 54003 170 317 0 55460 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 223124 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.94 2/78 22537 /proc/meminfo: memFree=1560880/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=227700 CPUtime=942.01 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 55551 0 0 0 94155 46 0 0 25 0 1 0 160999799 233164800 55234 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 56925 55234 170 317 0 56604 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 227700 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.94 2/78 22537 /proc/meminfo: memFree=1549616/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=250128 CPUtime=1001.99 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 60374 0 0 0 100151 48 0 0 25 0 1 0 160999799 256131072 57978 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 62532 57978 170 317 0 62211 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 250128 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.94 2/78 22537 /proc/meminfo: memFree=1544048/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=254920 CPUtime=1061.97 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 61809 0 0 0 106148 49 0 0 25 0 1 0 160999799 261038080 59413 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 63730 59413 170 317 0 63409 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 254920 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.94 2/78 22537 /proc/meminfo: memFree=1538736/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=259944 CPUtime=1121.96 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 63110 0 0 0 112145 51 0 0 25 0 1 0 160999799 266182656 60714 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 64986 60714 170 317 0 64665 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 259944 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.94 2/78 22537 /proc/meminfo: memFree=1531760/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=267304 CPUtime=1181.94 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 64920 0 0 0 118142 52 0 0 25 0 1 0 160999799 273719296 62491 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 66826 62491 170 317 0 66505 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 267304 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.94 2/84 22563 /proc/meminfo: memFree=1524416/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=273128 CPUtime=1241.91 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 66452 0 0 0 124137 54 0 0 25 0 1 0 160999799 279683072 64023 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279024 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 68282 64023 170 317 0 67961 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 273128 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.94 2/78 22735 /proc/meminfo: memFree=1518128/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=279328 CPUtime=1301.79 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 68228 0 0 0 130123 56 0 0 25 0 1 0 160999799 286031872 65799 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 69832 65799 170 317 0 69511 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 279328 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.94 2/78 22735 /proc/meminfo: memFree=1512112/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=284980 CPUtime=1361.77 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 69763 0 0 0 136120 57 0 0 25 0 1 0 160999799 291819520 67334 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 71245 67334 170 317 0 70924 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 284980 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.94 2/78 22735 /proc/meminfo: memFree=1505520/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=290732 CPUtime=1421.76 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 71385 0 0 0 142117 59 0 0 25 0 1 0 160999799 297709568 68956 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 72683 68956 170 317 0 72362 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 290732 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.94 2/78 22735 /proc/meminfo: memFree=1500080/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=295556 CPUtime=1481.73 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 72742 0 0 0 148113 60 0 0 25 0 1 0 160999799 302649344 70313 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385271 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 73889 70313 170 317 0 73568 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 295556 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.94 2/78 22735 /proc/meminfo: memFree=1494960/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=300228 CPUtime=1541.72 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 74003 0 0 0 154110 62 0 0 25 0 1 0 160999799 307433472 71574 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 75057 71574 170 317 0 74736 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 300228 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.94 2/78 22735 /proc/meminfo: memFree=1490224/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=304520 CPUtime=1601.7 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 75182 0 0 0 160106 64 0 0 25 0 1 0 160999799 311828480 72753 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564037 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 76130 72753 170 317 0 75809 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 304520 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.94 2/78 22735 /proc/meminfo: memFree=1486384/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=308032 CPUtime=1661.69 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 76132 0 0 0 166103 66 0 0 25 0 1 0 160999799 315424768 73703 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 77008 73703 170 317 0 76687 0 Current children cumulated CPU time (s) 1661.69 Current children cumulated vsize (KiB) 308032 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.94 2/78 22735 /proc/meminfo: memFree=1483184/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=310820 CPUtime=1721.67 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 76944 0 0 0 172100 67 0 0 25 0 1 0 160999799 318279680 74515 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 77705 74515 170 317 0 77384 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 310820 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.94 2/78 22735 /proc/meminfo: memFree=1479728/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=313976 CPUtime=1781.65 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 77791 0 0 0 178097 68 0 0 25 0 1 0 160999799 321511424 75362 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 78494 75362 170 317 0 78173 0 Current children cumulated CPU time (s) 1781.65 Current children cumulated vsize (KiB) 313976 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 0.99 0.94 2/78 22735 /proc/meminfo: memFree=1477744/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=315688 CPUtime=1800.05 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 78284 0 0 0 179936 69 0 0 25 0 1 0 160999799 323264512 75855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711047 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 78922 75855 170 317 0 78601 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 315688 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 0.99 0.94 2/78 22735 /proc/meminfo: memFree=1477744/2055924 swapFree=4139584/4192956 [pid=22536] ppid=22534 vsize=315688 CPUtime=1800.05 /proc/22536/stat : 22536 (oree) R 22534 22536 22193 0 -1 4194304 78284 0 0 0 179936 69 0 0 25 0 1 0 160999799 323264512 75855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711047 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22536/statm: 78922 75855 170 317 0 78601 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 315688 Child status: 0 Real time (s): 1800.78 CPU time (s): 1800.13 CPU user time (s): 1799.39 CPU system time (s): 0.742887 CPU usage (%): 99.9639 Max. virtual memory (cumulated for all children) (KiB): 315688 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.39 system time used= 0.742887 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 78300 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= 3516 runsolver used 2.13368 second user time and 4.41033 second system time The end
Begin job on node6 on Tue Apr 17 22:40:21 UTC 2007 IDJOB= 356963 IDBENCH= 1696 IDSOLVER= 172 FILE ID= node6/356963-1176849621 PBS_JOBID= 4590188 Free space on /tmp= 66451 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-fffff800.opb COMMAND LINE= oree /tmp/evaluation/356963-1176849621/instance-356963-1176849621.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-356963-1176849621 -o ROOT/results/node6/solver-356963-1176849621 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356963-1176849621/instance-356963-1176849621.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= f2e3e708ab88850fd5a3cdf379c0e388 RANDOM SEED= 133946628 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node6.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.232 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.232 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: 2055924 kB MemFree: 1782288 kB Buffers: 38740 kB Cached: 161008 kB SwapCached: 21524 kB Active: 81024 kB Inactive: 150664 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1782288 kB SwapTotal: 4192956 kB SwapFree: 4139584 kB Dirty: 3160 kB Writeback: 0 kB Mapped: 31068 kB Slab: 27496 kB Committed_AS: 6841232 kB PageTables: 1788 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= 66451 MiB End job on node6 on Tue Apr 17 23:10:24 UTC 2007