Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | 53 | 1798.08 | 1798.78 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g15x15.opb |
MD5SUM | 28425c3b4907da9ba10ee31a4de63042 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 53 |
Best CPU time to get the best result obtained on this benchmark | 122.753 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 53 |
Optimality of the best value was proved | NO |
Number of variables | 225 |
Total number of constraints | 225 |
Number of constraints which are clauses | 225 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 5 |
Number of terms in the objective function | 225 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 225 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 225 |
Number of bits of the biggest sum of numbers | 8 |
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 bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2657400-1276475467.opb 0.00/0.00 c File size is 11487 bytes. 0.00/0.00 c Highest Coefficient sum: 225 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.001 s 0.00/0.00 c Var: 225 Constr: 225 225/0/0 Lit: 1065 Watch. Lit: 450 0.00/0.00 c Obj. Vars: 225 (100 % of total variables) 0.00/0.00 c Pre-processing Time: 0.002 s 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 0 225 225 1065 4 450 74 0 0 0.00 0.00/0.04 c Initial Lower Bound: 49 0.00/0.04 c Initial Path Cost: 0 0.00/0.04 o 75 0.39/0.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.45 c 0 225 226 1290 5 602 1074 1 0 0.04 0.39/0.45 o 72 0.89/0.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.90 c 0 225 227 1515 6 757 2074 2 0 0.45 0.89/0.90 o 71 1.29/1.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.32 c 1 225 230 1873 8 917 2074 5 1 0.90 1.29/1.32 o 70 1.69/1.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.79 c 1 225 231 2098 9 1074 2074 6 0 1.32 1.69/1.79 o 69 2.10/2.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.10/2.20 c 15 225 260 4662 17 1288 2074 35 8 1.80 2.10/2.20 o 68 3.20/3.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.20/3.28 c 16 225 263 5061 19 1451 2074 38 7 2.21 3.20/3.28 c 119 225 469 23688 50 1863 2282 244 41 2.88 3.20/3.28 o 67 3.59/3.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.68 c 120 225 472 24094 51 2027 2074 247 36 3.28 3.59/3.68 o 66 3.99/4.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.08 c 120 225 473 24319 51 2188 2074 248 32 3.68 3.99/4.08 o 63 5.29/5.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.29/5.38 c 120 225 474 24544 51 2352 2074 249 29 4.08 5.29/5.38 c 220 225 674 44275 65 2752 2282 449 46 4.73 5.29/5.38 o 62 7.89/7.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.89/7.99 c 324 225 883 67842 76 3333 2074 658 60 5.38 7.89/7.99 c 426 225 1087 89541 82 3741 2282 862 70 6.03 7.89/7.99 c 677 225 1587 136564 86 4741 2511 1362 96 6.98 7.89/7.99 o 61 9.69/9.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.69/9.77 c 912 225 2058 183541 89 5847 2074 1833 114 7.99 9.69/9.77 c 1012 225 2258 204799 90 6247 2282 2033 117 8.64 9.69/9.77 o 60 12.39/12.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.39/12.47 c 1223 225 1418 121447 85 3165 1074 1193 125 9.77 12.39/12.47 c 1323 225 963 74655 77 2091 1182 738 126 10.50 12.39/12.47 c 1573 225 817 57985 70 1799 1301 592 130 12.04 12.39/12.47 o 59 17.69/17.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.69/17.73 c 1583 225 838 60306 71 2007 1074 613 126 12.47 17.69/17.73 c 1687 225 1045 80005 76 2421 1182 820 128 13.12 17.69/17.73 c 1937 225 858 58638 68 1882 1301 633 132 14.58 17.69/17.73 c 2412 225 1040 80944 77 2246 1432 815 146 16.41 17.69/17.73 o 58 132.63/132.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 132.63/132.75 c 2608 225 1433 112476 78 3199 1074 1208 147 17.72 132.63/132.75 c 2711 225 969 68879 71 2105 1182 744 146 18.48 132.63/132.75 c 2964 225 817 49002 59 1801 1301 592 148 19.93 132.63/132.75 c 3440 225 1047 65265 62 2261 1432 822 154 22.22 132.63/132.75 c 4253 225 1063 74312 69 2293 1576 838 167 25.33 132.63/132.75 c 5575 225 1055 69170 65 2277 1734 830 182 30.57 132.63/132.75 c 7657 225 1349 100454 74 2865 1908 1124 202 37.77 132.63/132.75 c 10883 225 1471 115119 78 3109 2099 1246 221 49.12 132.63/132.75 c 15822 225 2248 165398 73 4663 2309 2023 226 69.76 132.63/132.75 c 23331 225 2217 169512 76 4601 2540 1992 239 97.56 132.63/132.75 o 57 150.33/150.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 150.33/150.44 c 32217 225 2196 181802 82 4727 1074 1971 242 132.69 150.33/150.44 c 32322 225 973 68014 69 2114 1182 748 241 133.59 150.33/150.44 c 32581 225 819 55035 67 1806 1301 594 241 135.09 150.33/150.44 c 33067 225 1061 72640 68 2290 1432 836 239 137.79 150.33/150.44 c 33881 225 1104 66975 60 2376 1576 879 238 142.35 150.33/150.44 c 35203 225 1128 73129 64 2424 1734 903 235 149.66 150.33/150.44 o 56 209.50/209.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 209.50/209.64 c 35274 225 1271 84700 66 2879 1074 1046 234 150.38 209.50/209.64 c 35374 225 866 50832 58 1901 1182 641 233 151.41 209.50/209.64 c 35624 225 1366 90003 65 2901 1301 1141 232 153.20 209.50/209.64 c 36099 225 881 47385 53 1931 1432 656 230 156.81 209.50/209.64 c 36916 225 955 49144 51 2079 1576 730 225 163.97 209.50/209.64 c 38239 225 1014 54883 54 2197 1734 789 219 174.17 209.50/209.64 c 40325 225 1482 76886 51 3133 1908 1257 207 194.00 209.50/209.64 o 55 1186.23/1186.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1186.23/1186.75 c 42784 225 1259 81621 64 2857 1074 1034 204 209.56 1186.23/1186.75 c 42887 225 871 53936 61 1912 1182 646 203 210.74 1186.23/1186.75 c 43141 225 1379 86476 62 2928 1301 1154 202 212.98 1186.23/1186.75 c 43616 225 911 42687 46 1992 1432 686 200 217.54 1186.23/1186.75 c 44432 225 993 50802 51 2156 1576 768 198 224.11 1186.23/1186.75 c 45758 225 1075 49155 45 2320 1734 850 193 236.39 1186.23/1186.75 c 47843 225 1509 80906 53 3188 1908 1284 188 253.25 1186.23/1186.75 c 51072 225 1932 97744 50 4034 2099 1707 182 280.32 1186.23/1186.75 c 56008 225 1832 103862 56 3834 2309 1607 175 319.38 1186.23/1186.75 c 63525 225 2279 110388 48 4728 2540 2054 165 383.71 1186.23/1186.75 c 74892 225 2450 119733 48 5070 2795 2225 156 477.07 1186.23/1186.75 c 92040 225 1830 87831 47 3830 3075 1605 147 622.93 1186.23/1186.75 c 117866 225 2414 116521 48 4998 3383 2189 139 847.31 1186.23/1186.75 o 54 1736.93/1737.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1736.93/1737.60 c 154887 225 3148 157045 49 6637 1074 2923 130 1186.30 1736.93/1737.60 c 154987 225 963 39673 41 2097 1182 738 130 1187.65 1736.93/1737.60 c 155238 225 822 31390 38 1815 1301 597 130 1190.46 1736.93/1737.60 c 155713 225 1079 41428 38 2329 1432 854 130 1196.44 1736.93/1737.60 c 156526 225 1193 41563 34 2557 1576 968 129 1205.96 1736.93/1737.60 c 157846 225 1334 49243 36 2839 1734 1109 129 1222.05 1736.93/1737.60 c 159929 225 1860 68304 36 3891 1908 1635 128 1245.42 1736.93/1737.60 c 163152 225 1359 45218 33 2889 2099 1134 126 1287.04 1736.93/1737.60 c 168089 225 1382 47427 34 2935 2309 1157 124 1345.40 1736.93/1737.60 c 175596 225 2044 92756 45 4259 2540 1819 122 1433.95 1736.93/1737.60 c 186963 225 2439 90770 37 5049 2795 2214 118 1573.78 1736.93/1737.60 o 53 1797.99/1798.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.99/1798.77 c 200421 225 2100 63561 30 4543 1074 1875 115 1736.93 1797.99/1798.77 c 200521 225 962 26089 27 2096 1182 737 115 1738.55 1797.99/1798.77 c 200771 225 837 21927 26 1846 1301 612 115 1742.29 1797.99/1798.77 c 201246 225 1102 31295 28 2376 1432 877 115 1749.74 1797.99/1798.77 c 202059 225 1221 35108 28 2614 1576 996 114 1762.25 1797.99/1798.77 c 203379 225 1412 37539 26 2996 1734 1187 113 1784.33 1797.99/1798.77 c Resources Exceeded 1797.99/1798.77 v -x1 x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 x56 -x57 x58 -x59 x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 x118 -x119 x120 x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 x210 -x211 -x212 x213 -x214 -x215 x216 -x217 -x218 x219 -x220 -x221 -x222 x223 -x224 -x225 1797.99/1798.77 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.99/1798.77 c 76 204192 2265 212498 1231 32415 1006 113 1798.07 1797.99/1798.77 c Objective: 53 1797.99/1798.77 s SATISFIABLE 1797.99/1798.77 c Total time: 1798.07 s
OK 53
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657400-1276475467/watcher-2657400-1276475467 -o /tmp/evaluation-result-2657400-1276475467/solver-2657400-1276475467 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657400-1276475467.opb 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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 28634 /proc/meminfo: memFree=1840160/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=10792 CPUtime=0 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 373 0 0 0 0 0 0 0 21 0 1 0 23148288 11051008 289 1992294400 134512640 137138936 4294858528 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 2698 289 218 642 0 2054 0 [startup+0.0570161 s] /proc/loadavg: 0.92 0.98 0.99 3/106 28634 /proc/meminfo: memFree=1840160/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=11736 CPUtime=0.05 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 718 0 0 0 5 0 0 0 23 0 1 0 23148288 12017664 431 1992294400 134512640 137138936 4294858528 18446744073709551615 135096739 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 2934 431 282 642 0 2290 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 11736 [startup+0.101024 s] /proc/loadavg: 0.92 0.98 0.99 3/106 28634 /proc/meminfo: memFree=1840160/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=11728 CPUtime=0.09 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 1036 0 0 0 9 0 0 0 23 0 1 0 23148288 12009472 438 1992294400 134512640 137138936 4294858528 18446744073709551615 135441484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 2932 439 282 642 0 2288 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11728 [startup+0.30106 s] /proc/loadavg: 0.92 0.98 0.99 3/106 28634 /proc/meminfo: memFree=1840160/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=11552 CPUtime=0.29 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 2806 0 0 0 28 1 0 0 23 0 1 0 23148288 11829248 401 1992294400 134512640 137138936 4294858528 18446744073709551615 135435607 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 2888 401 282 642 0 2244 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11552 [startup+0.701131 s] /proc/loadavg: 0.92 0.98 0.99 3/106 28634 /proc/meminfo: memFree=1840160/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=11712 CPUtime=0.69 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 7162 0 0 0 67 2 0 0 25 0 1 0 23148288 11993088 412 1992294400 134512640 137138936 4294858528 18446744073709551615 135441459 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 2928 412 283 642 0 2284 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11712 [startup+1.50127 s] /proc/loadavg: 0.92 0.98 0.99 2/107 28635 /proc/meminfo: memFree=1839036/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=11812 CPUtime=1.49 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 14842 0 0 0 145 4 0 0 25 0 1 0 23148288 12095488 429 1992294400 134512640 137138936 4294858528 18446744073709551615 135456393 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 2953 429 286 642 0 2309 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11812 [startup+3.10156 s] /proc/loadavg: 0.92 0.98 0.99 2/107 28635 /proc/meminfo: memFree=1838788/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=12108 CPUtime=3.09 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 34121 0 0 0 299 10 0 0 25 0 1 0 23148288 12398592 507 1992294400 134512640 137138936 4294858528 18446744073709551615 135433735 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 3027 507 286 642 0 2383 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12108 [startup+6.30113 s] /proc/loadavg: 0.93 0.98 0.99 2/107 28635 /proc/meminfo: memFree=1838168/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=13108 CPUtime=6.29 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 78251 0 0 0 608 21 0 0 25 0 1 0 23148288 13422592 729 1992294400 134512640 137138936 4294858528 18446744073709551615 135441459 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 3277 729 286 642 0 2633 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13108 [startup+12.7013 s] /proc/loadavg: 0.93 0.98 0.99 2/107 28635 /proc/meminfo: memFree=1835564/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=15016 CPUtime=12.68 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 167503 0 0 0 1219 49 0 0 25 0 1 0 23148288 15376384 1229 1992294400 134512640 137138936 4294858528 18446744073709551615 135382824 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 3754 1229 286 642 0 3110 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 15016 [startup+25.5006 s] /proc/loadavg: 0.95 0.98 0.99 2/107 28635 /proc/meminfo: memFree=1835564/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=15020 CPUtime=25.48 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 260023 0 0 0 2454 94 0 0 25 0 1 0 23148288 15380480 1234 1992294400 134512640 137138936 4294858528 18446744073709551615 135449769 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 3755 1234 286 642 0 3111 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15020 [startup+51.1011 s] /proc/loadavg: 0.96 0.98 0.99 2/107 28635 /proc/meminfo: memFree=1835564/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=14976 CPUtime=51.06 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 424968 0 0 0 4932 174 0 0 25 0 1 0 23148288 15335424 1228 1992294400 134512640 137138936 4294858528 18446744073709551615 134769627 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 3744 1228 286 642 0 3100 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 14976 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/107 28637 /proc/meminfo: memFree=1835564/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=14976 CPUtime=102.25 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 741401 0 0 0 9901 324 0 0 25 0 1 0 23148288 15335424 1228 1992294400 134512640 137138936 4294858528 18446744073709551615 135382745 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 3744 1228 286 642 0 3100 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 14976 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28639 /proc/meminfo: memFree=1835068/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=15428 CPUtime=162.22 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 1253144 0 0 0 15687 535 0 0 25 0 1 0 23148288 15798272 1292 1992294400 134512640 137138936 4294858528 18446744073709551615 135456741 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 3857 1292 286 642 0 3213 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 15428 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28641 /proc/meminfo: memFree=1835068/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=15180 CPUtime=222.2 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 1556038 0 0 0 21551 669 0 0 25 0 1 0 23148288 15544320 1286 1992294400 134512640 137138936 4294858528 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 3795 1286 286 642 0 3151 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 15180 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28641 /proc/meminfo: memFree=1835068/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=15344 CPUtime=282.17 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 1810978 0 0 0 27437 780 0 0 25 0 1 0 23148288 15712256 1292 1992294400 134512640 137138936 4294858528 18446744073709551615 134863220 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 3836 1292 286 642 0 3192 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 15344 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28643 /proc/meminfo: memFree=1835068/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=15348 CPUtime=342.15 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 2069197 0 0 0 33320 895 0 0 25 0 1 0 23148288 15716352 1298 1992294400 134512640 137138936 4294858528 18446744073709551615 135447523 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 3837 1298 286 642 0 3193 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 15348 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28645 /proc/meminfo: memFree=1834944/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=15336 CPUtime=402.12 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 2325106 0 0 0 39211 1001 0 0 25 0 1 0 23148288 15704064 1289 1992294400 134512640 137138936 4294858528 18446744073709551615 135441486 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 3834 1289 286 642 0 3190 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 15336 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28647 /proc/meminfo: memFree=1834944/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=15344 CPUtime=462.1 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 2580419 0 0 0 45100 1110 0 0 25 0 1 0 23148288 15712256 1292 1992294400 134512640 137138936 4294858528 18446744073709551615 135447608 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 3836 1292 286 642 0 3192 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 15344 [startup+522.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28649 /proc/meminfo: memFree=1834944/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=15356 CPUtime=522.08 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 2837150 0 0 0 50983 1225 0 0 25 0 1 0 23148288 15724544 1295 1992294400 134512640 137138936 4294858528 18446744073709551615 135333123 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 3839 1295 286 642 0 3195 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 15356 [startup+582.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28649 /proc/meminfo: memFree=1834944/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=15352 CPUtime=582.06 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 3084822 0 0 0 56873 1333 0 0 25 0 1 0 23148288 15720448 1307 1992294400 134512640 137138936 4294858528 18446744073709551615 135344673 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 3838 1307 286 642 0 3194 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 15352 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28651 /proc/meminfo: memFree=1834820/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=15164 CPUtime=642.04 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 3348257 0 0 0 62759 1445 0 0 25 0 1 0 23148288 15527936 1289 1992294400 134512640 137138936 4294858528 18446744073709551615 135432415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 3791 1289 286 642 0 3147 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 15164 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1834696/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=15356 CPUtime=1061.88 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 5084412 0 0 0 103978 2210 0 0 25 0 1 0 23148288 15724544 1293 1992294400 134512640 137138936 4294858528 18446744073709551615 135083058 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 3839 1293 286 642 0 3195 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 15356 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28665 /proc/meminfo: memFree=1834572/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=15352 CPUtime=1121.85 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 5326425 0 0 0 109869 2316 0 0 25 0 1 0 23148288 15720448 1307 1992294400 134512640 137138936 4294858528 18446744073709551615 135071052 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 3838 1307 286 642 0 3194 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 15352 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28665 /proc/meminfo: memFree=1834572/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=15356 CPUtime=1181.84 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 5575300 0 0 0 115761 2423 0 0 25 0 1 0 23148288 15724544 1290 1992294400 134512640 137138936 4294858528 18446744073709551615 134841243 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 3839 1291 286 642 0 3195 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 15356 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28667 /proc/meminfo: memFree=1834448/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=15364 CPUtime=1241.81 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 5811707 0 0 0 121655 2526 0 0 25 0 1 0 23148288 15732736 1292 1992294400 134512640 137138936 4294858528 18446744073709551615 135447402 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 3841 1292 286 642 0 3197 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 15364 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28669 /proc/meminfo: memFree=1834324/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=15360 CPUtime=1301.8 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 6040254 0 0 0 127562 2618 0 0 25 0 1 0 23148288 15728640 1299 1992294400 134512640 137138936 4294858528 18446744073709551615 135070985 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 3840 1299 286 642 0 3196 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 15360 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28671 /proc/meminfo: memFree=1834324/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=15360 CPUtime=1361.77 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 6272007 0 0 0 133456 2721 0 0 25 0 1 0 23148288 15728640 1300 1992294400 134512640 137138936 4294858528 18446744073709551615 134643812 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 3840 1301 286 642 0 3196 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 15360 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28673 /proc/meminfo: memFree=1834324/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=15364 CPUtime=1421.75 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 6500270 0 0 0 139360 2815 0 0 25 0 1 0 23148288 15732736 1308 1992294400 134512640 137138936 4294858528 18446744073709551615 135445893 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 3841 1308 286 642 0 3197 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 15364 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28673 /proc/meminfo: memFree=1834200/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=15368 CPUtime=1481.72 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 6732477 0 0 0 145265 2907 0 0 25 0 1 0 23148288 15736832 1300 1992294400 134512640 137138936 4294858528 18446744073709551615 135441497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 3842 1302 286 642 0 3198 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 15368 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28675 /proc/meminfo: memFree=1834200/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=15360 CPUtime=1541.7 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 6958047 0 0 0 151170 3000 0 0 25 0 1 0 23148288 15728640 1291 1992294400 134512640 137138936 4294858528 18446744073709551615 134851236 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 3840 1291 286 642 0 3196 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 15360 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28677 /proc/meminfo: memFree=1834200/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=15360 CPUtime=1601.68 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 7187050 0 0 0 157075 3093 0 0 25 0 1 0 23148288 15728640 1300 1992294400 134512640 137138936 4294858528 18446744073709551615 135456391 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 3840 1300 286 642 0 3196 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 15360 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28679 /proc/meminfo: memFree=1834200/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=15360 CPUtime=1661.65 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 7414752 0 0 0 162977 3188 0 0 25 0 1 0 23148288 15728640 1292 1992294400 134512640 137138936 4294858528 18446744073709551615 135081448 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 3840 1292 286 642 0 3196 0 Current children cumulated CPU time (s) 1661.65 Current children cumulated vsize (KiB) 15360 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28681 /proc/meminfo: memFree=1834076/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=15364 CPUtime=1721.63 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 7640992 0 0 0 168883 3280 0 0 25 0 1 0 23148288 15732736 1298 1992294400 134512640 137138936 4294858528 18446744073709551615 135441442 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 3841 1298 286 642 0 3197 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 15364 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28681 /proc/meminfo: memFree=1834076/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=15368 CPUtime=1781.61 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 7858743 0 0 0 174791 3370 0 0 25 0 1 0 23148288 15736832 1291 1992294400 134512640 137138936 4294858528 18446744073709551615 134734941 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 3842 1291 286 642 0 3198 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (KiB) 15368 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28683 /proc/meminfo: memFree=1833952/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=15192 CPUtime=1791.21 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 7892952 0 0 0 175738 3383 0 0 25 0 1 0 23148288 15556608 1288 1992294400 134512640 137138936 4294858528 18446744073709551615 135410922 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 3798 1288 286 642 0 3154 0 Current children cumulated CPU time (s) 1791.21 Current children cumulated vsize (KiB) 15192 [startup+1795.1 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28692 /proc/meminfo: memFree=1833456/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=15372 CPUtime=1794.4 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 7904078 0 0 0 176053 3387 0 0 25 0 1 0 23148288 15740928 1292 1992294400 134512640 137138936 4294858528 18446744073709551615 135389531 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 3843 1292 286 642 0 3199 0 Current children cumulated CPU time (s) 1794.4 Current children cumulated vsize (KiB) 15372 [startup+1796.7 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28692 /proc/meminfo: memFree=1833456/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=15372 CPUtime=1795.99 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 7909481 0 0 0 176210 3389 0 0 25 0 1 0 23148288 15740928 1295 1992294400 134512640 137138936 4294858528 18446744073709551615 135441488 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 3843 1295 286 642 0 3199 0 Current children cumulated CPU time (s) 1795.99 Current children cumulated vsize (KiB) 15372 [startup+1797.5 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28692 /proc/meminfo: memFree=1833456/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=15376 CPUtime=1796.79 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 7912146 0 0 0 176289 3390 0 0 25 0 1 0 23148288 15745024 1298 1992294400 134512640 137138936 4294858528 18446744073709551615 134713097 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 3844 1298 286 642 0 3200 0 Current children cumulated CPU time (s) 1796.79 Current children cumulated vsize (KiB) 15376 [startup+1798.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28692 /proc/meminfo: memFree=1833456/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=15364 CPUtime=1797.59 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 7915149 0 0 0 176368 3391 0 0 25 0 1 0 23148288 15732736 1291 1992294400 134512640 137138936 4294858528 18446744073709551615 135252710 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 3841 1291 286 642 0 3197 0 Current children cumulated CPU time (s) 1797.59 Current children cumulated vsize (KiB) 15364 [startup+1798.7 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28692 /proc/meminfo: memFree=1833456/2059040 swapFree=4136716/4192956 [pid=28634] ppid=28632 vsize=15372 CPUtime=1797.99 /proc/28634/stat : 28634 (bsolo_pb10) R 28632 28634 28431 0 -1 4202496 7916588 0 0 0 176407 3392 0 0 25 0 1 0 23148288 15740928 1300 1992294400 134512640 137138936 4294858528 18446744073709551615 135445910 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28634/statm: 3843 1300 286 642 0 3199 0 Current children cumulated CPU time (s) 1797.99 Current children cumulated vsize (KiB) 15372 Child status: 0 Real time (s): 1798.78 CPU time (s): 1798.08 CPU user time (s): 1764.15 CPU system time (s): 33.9238 CPU usage (%): 99.9609 Max. virtual memory (cumulated for all children) (KiB): 15644 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1764.15 system time used= 33.9238 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7916841 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= 1 involuntary context switches= 5289 runsolver used 3.2565 second user time and 8.20575 second system time The end
Begin job on node012 at 2010-06-14 02:31:07 IDJOB=2657400 IDBENCH=2214 IDSOLVER=1163 FILE ID=node012/2657400-1276475467 PBS_JOBID= 11173372 Free space on /tmp= 62412 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g15x15.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657400-1276475467/watcher-2657400-1276475467 -o /tmp/evaluation-result-2657400-1276475467/solver-2657400-1276475467 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657400-1276475467.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 28425c3b4907da9ba10ee31a4de63042 RANDOM SEED=601579181 node012.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.258 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.51 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.258 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1840564 kB Buffers: 45180 kB Cached: 95968 kB SwapCached: 9156 kB Active: 101608 kB Inactive: 51748 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1840564 kB SwapTotal: 4192956 kB SwapFree: 4136716 kB Dirty: 3988 kB Writeback: 0 kB AnonPages: 10780 kB Mapped: 9208 kB Slab: 43264 kB PageTables: 4020 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180712 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62408 MiB End job on node012 at 2010-06-14 03:01:06