Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | OPT | 5 | 28.4157 | 28.4241 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ricks.r.opb |
MD5SUM | 518a034b80f08d868ecb31feb5231fce |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 0.116981 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5 |
Optimality of the best value was proved | YES |
Number of variables | 363 |
Total number of constraints | 78 |
Number of constraints which are clauses | 78 |
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 | 1 |
Maximum length of a constraint | 228 |
Number of terms in the objective function | 363 |
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 | 363 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 363 |
Number of bits of the biggest sum of numbers | 9 |
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 Parsing PB file... 0.09/0.14 c Converting 66 PB-constraints to clauses... 0.09/0.14 c -- Unit propagations: (none) 0.09/0.14 c -- Detecting intervals from adjacent constraints: (none) 0.09/0.14 c -- Clauses(.)/Splits(s): .................................................................. 0.09/0.14 c ==================================[MINISAT+]================================== 0.09/0.14 c | Conflicts | Original | Learnt | Progress | 0.09/0.14 c | | Clauses Literals | Max Clauses Literals LPC | | 0.09/0.14 c ============================================================================== 0.09/0.14 c | 0 | 66 11218 | 22 0 0 nan | 0.000 % | 0.09/0.14 c ============================================================================== 0.09/0.14 c [1mFound solution: 7[0m 0.09/0.14 o 7 0.09/0.14 c ---[ 0]---> Sorter-cost:13374 Base: 0.19/0.26 c ==================================[MINISAT+]================================== 0.19/0.26 c | Conflicts | Original | Learnt | Progress | 0.19/0.26 c | | Clauses Literals | Max Clauses Literals LPC | | 0.19/0.26 c ============================================================================== 0.19/0.26 c | 0 | 13872 43425 | 4624 0 0 nan | 0.000 % | 0.19/0.28 c | 104 | 13872 43425 | 5086 104 11125 107.0 | 2.268 % | 0.29/0.31 c | 256 | 13872 43425 | 5595 256 48261 188.5 | 2.268 % | 0.29/0.32 c ============================================================================== 0.29/0.32 c [1mFound solution: 6[0m 0.29/0.32 o 6 0.29/0.33 c ---[ 0]---> Sorter-cost: 0 Base: 0.39/0.43 c ==================================[MINISAT+]================================== 0.39/0.43 c | Conflicts | Original | Learnt | Progress | 0.39/0.43 c | | Clauses Literals | Max Clauses Literals LPC | | 0.39/0.43 c ============================================================================== 0.39/0.43 c | 278 | 13880 43444 | 4626 278 54004 194.3 | 2.268 % | 0.39/0.45 c | 382 | 13880 43444 | 5088 382 67750 177.4 | 2.278 % | 0.39/0.49 c | 532 | 13880 43444 | 5597 532 86655 162.9 | 2.278 % | 0.49/0.56 c | 758 | 13880 43444 | 6157 758 114229 150.7 | 2.278 % | 0.59/0.66 c | 1095 | 13880 43444 | 6772 1095 152730 139.5 | 2.278 % | 0.69/0.78 c | 1608 | 13880 43444 | 7450 1608 253809 157.8 | 2.278 % | 0.99/1.01 c | 2368 | 13880 43444 | 8195 2368 340953 144.0 | 2.280 % | 1.09/1.12 c ============================================================================== 1.09/1.12 c [1mFound solution: 5[0m 1.09/1.12 o 5 1.09/1.12 c ---[ 0]---> BDD-cost: 1433 1.19/1.22 c ==================================[MINISAT+]================================== 1.19/1.22 c | Conflicts | Original | Learnt | Progress | 1.19/1.22 c | | Clauses Literals | Max Clauses Literals LPC | | 1.19/1.22 c ============================================================================== 1.19/1.22 c | 2743 | 17818 54544 | 5939 2743 380404 138.7 | 2.280 % | 1.19/1.26 c | 2844 | 17818 54544 | 6532 2844 396050 139.3 | 1.990 % | 1.29/1.32 c | 2997 | 17818 54544 | 7186 2997 415974 138.8 | 1.990 % | 1.39/1.42 c | 3223 | 17818 54544 | 7904 3223 438087 135.9 | 1.990 % | 1.49/1.57 c | 3561 | 17818 54544 | 8695 3561 458543 128.8 | 1.990 % | 1.79/1.83 c | 4068 | 17818 54544 | 9564 4068 524144 128.8 | 1.990 % | 1.99/2.07 c | 4829 | 17818 54544 | 10521 4829 642567 133.1 | 1.990 % | 2.39/2.49 c | 5970 | 17818 54544 | 11573 5970 790649 132.4 | 1.990 % | 3.20/3.29 c | 7678 | 17818 54544 | 12730 7678 1060676 138.1 | 1.990 % | 4.99/5.01 c | 10240 | 17818 54544 | 14003 10240 1405607 137.3 | 1.990 % | 7.38/7.50 c | 14084 | 17818 54544 | 15404 14084 1832791 130.1 | 1.990 % | 11.29/11.34 c | 19853 | 17636 54119 | 16944 11800 1201987 101.9 | 3.090 % | 18.79/18.87 c | 28503 | 17636 54119 | 18639 11224 1017990 90.7 | 3.090 % | 28.38/28.41 c ============================================================================== 28.38/28.41 c [1mOptimal solution: 5[0m 28.38/28.41 s OPTIMUM FOUND 28.38/28.41 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 28.38/28.41 v -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 28.38/28.41 v -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 28.38/28.41 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 28.38/28.41 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 28.38/28.41 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 28.38/28.41 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 28.38/28.41 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 28.38/28.41 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 28.38/28.41 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 28.38/28.41 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 28.38/28.41 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 28.38/28.41 v -x273 x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 28.38/28.41 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 28.38/28.41 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 28.38/28.41 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 28.38/28.41 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 28.38/28.41 c _______________________________________________________________________________ 28.38/28.41 c 28.38/28.41 c restarts : 24 28.38/28.41 c conflicts : 40741 (1435 /sec) 28.38/28.41 c decisions : 91859 (3236 /sec) 28.38/28.41 c propagations : 0 (0 /sec) 28.38/28.41 c inspects : 0 (0 /sec) 28.38/28.41 c CPU time : 28.3827 s 28.38/28.41 c _______________________________________________________________________________
OK 5
/tmp/evaluation/366448-1177061746/instance-366448-1177061746.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node60/watcher-366448-1177061746 -o ROOT/results/node60/solver-366448-1177061746 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/366448-1177061746/minisat+ /tmp/evaluation/366448-1177061746/instance-366448-1177061746.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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8062 /proc/meminfo: memFree=1827792/2055920 swapFree=4183236/4192956 [pid=8062] ppid=8060 vsize=1180 CPUtime=0 /proc/8062/stat : 8062 (minisat+) R 8060 8062 7022 0 -1 4194304 130 0 0 0 0 0 0 0 18 0 1 0 154084573 1208320 115 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003265 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8062/statm: 295 115 73 215 0 77 0 [startup+0.05514 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8062 /proc/meminfo: memFree=1827792/2055920 swapFree=4183236/4192956 [pid=8062] ppid=8060 vsize=1312 CPUtime=0.05 /proc/8062/stat : 8062 (minisat+) R 8060 8062 7022 0 -1 4194304 192 0 0 0 5 0 0 0 18 0 1 0 154084573 1343488 177 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8062/statm: 328 177 75 215 0 110 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1312 [startup+0.101143 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8062 /proc/meminfo: memFree=1827792/2055920 swapFree=4183236/4192956 [pid=8062] ppid=8060 vsize=1560 CPUtime=0.09 /proc/8062/stat : 8062 (minisat+) R 8060 8062 7022 0 -1 4194304 247 0 0 0 9 0 0 0 18 0 1 0 154084573 1597440 232 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8062/statm: 390 232 75 215 0 172 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1560 [startup+0.301164 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8062 /proc/meminfo: memFree=1827792/2055920 swapFree=4183236/4192956 [pid=8062] ppid=8060 vsize=3912 CPUtime=0.29 /proc/8062/stat : 8062 (minisat+) R 8060 8062 7022 0 -1 4194304 809 0 0 0 29 0 0 0 19 0 1 0 154084573 4005888 788 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135011021 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8062/statm: 978 788 111 215 0 760 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3912 [startup+0.701202 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8062 /proc/meminfo: memFree=1827792/2055920 swapFree=4183236/4192956 [pid=8062] ppid=8060 vsize=4612 CPUtime=0.69 /proc/8062/stat : 8062 (minisat+) R 8060 8062 7022 0 -1 4194304 1007 0 0 0 69 0 0 0 22 0 1 0 154084573 4722688 986 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8062/statm: 1153 986 111 215 0 935 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4612 [startup+1.50228 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8063 /proc/meminfo: memFree=1823496/2055920 swapFree=4183236/4192956 [pid=8062] ppid=8060 vsize=6132 CPUtime=1.49 /proc/8062/stat : 8062 (minisat+) R 8060 8062 7022 0 -1 4194304 1384 0 0 0 149 0 0 0 25 0 1 0 154084573 6279168 1363 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576169 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8062/statm: 1533 1363 111 215 0 1315 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6132 [startup+3.10144 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8063 /proc/meminfo: memFree=1821640/2055920 swapFree=4183236/4192956 [pid=8062] ppid=8060 vsize=8768 CPUtime=3.09 /proc/8062/stat : 8062 (minisat+) R 8060 8062 7022 0 -1 4194304 2025 0 0 0 308 1 0 0 25 0 1 0 154084573 8978432 2004 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575270 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8062/statm: 2192 2004 111 215 0 1974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8768 [startup+6.30175 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8063 /proc/meminfo: memFree=1817800/2055920 swapFree=4183236/4192956 [pid=8062] ppid=8060 vsize=11592 CPUtime=6.29 /proc/8062/stat : 8062 (minisat+) R 8060 8062 7022 0 -1 4194304 2757 0 0 0 628 1 0 0 25 0 1 0 154084573 11870208 2736 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8062/statm: 2898 2736 111 215 0 2680 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11592 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8063 /proc/meminfo: memFree=1814808/2055920 swapFree=4183236/4192956 [pid=8062] ppid=8060 vsize=13844 CPUtime=12.69 /proc/8062/stat : 8062 (minisat+) R 8060 8062 7022 0 -1 4194304 3307 0 0 0 1267 2 0 0 25 0 1 0 154084573 14176256 3286 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581002 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8062/statm: 3461 3286 111 215 0 3243 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13844 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8063 /proc/meminfo: memFree=1813656/2055920 swapFree=4183236/4192956 [pid=8062] ppid=8060 vsize=15100 CPUtime=25.48 /proc/8062/stat : 8062 (minisat+) R 8060 8062 7022 0 -1 4194304 3585 0 0 0 2546 2 0 0 25 0 1 0 154084573 15462400 3564 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8062/statm: 3775 3564 111 215 0 3557 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15100 Solver just ended. Dumping a history of the last processes samples [startup+27.1028 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8063 /proc/meminfo: memFree=1813656/2055920 swapFree=4183236/4192956 [pid=8062] ppid=8060 vsize=15100 CPUtime=27.08 /proc/8062/stat : 8062 (minisat+) R 8060 8062 7022 0 -1 4194304 3589 0 0 0 2706 2 0 0 25 0 1 0 154084573 15462400 3568 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8062/statm: 3775 3568 111 215 0 3557 0 Current children cumulated CPU time (s) 27.08 Current children cumulated vsize (KiB) 15100 [startup+27.9019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8063 /proc/meminfo: memFree=1813656/2055920 swapFree=4183236/4192956 [pid=8062] ppid=8060 vsize=15100 CPUtime=27.88 /proc/8062/stat : 8062 (minisat+) R 8060 8062 7022 0 -1 4194304 3589 0 0 0 2786 2 0 0 25 0 1 0 154084573 15462400 3568 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134578846 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8062/statm: 3775 3568 111 215 0 3557 0 Current children cumulated CPU time (s) 27.88 Current children cumulated vsize (KiB) 15100 [startup+28.3019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8063 /proc/meminfo: memFree=1813656/2055920 swapFree=4183236/4192956 [pid=8062] ppid=8060 vsize=15100 CPUtime=28.28 /proc/8062/stat : 8062 (minisat+) R 8060 8062 7022 0 -1 4194304 3589 0 0 0 2826 2 0 0 25 0 1 0 154084573 15462400 3568 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580442 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8062/statm: 3775 3568 111 215 0 3557 0 Current children cumulated CPU time (s) 28.28 Current children cumulated vsize (KiB) 15100 [startup+28.4019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8063 /proc/meminfo: memFree=1813656/2055920 swapFree=4183236/4192956 [pid=8062] ppid=8060 vsize=15100 CPUtime=28.38 /proc/8062/stat : 8062 (minisat+) R 8060 8062 7022 0 -1 4194304 3589 0 0 0 2836 2 0 0 25 0 1 0 154084573 15462400 3568 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568545 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8062/statm: 3775 3568 111 215 0 3557 0 Current children cumulated CPU time (s) 28.38 Current children cumulated vsize (KiB) 15100 Child status: 30 Real time (s): 28.4241 CPU time (s): 28.4157 CPU user time (s): 28.3837 CPU system time (s): 0.031995 CPU usage (%): 99.9704 Max. virtual memory (cumulated for all children) (KiB): 15100 getrusage(RUSAGE_CHILDREN,...) data: user time used= 28.3837 system time used= 0.031995 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3593 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= 38 runsolver used 0.022996 second user time and 0.06499 second system time The end
Begin job on node60 on Fri Apr 20 09:35:46 UTC 2007 IDJOB= 366448 IDBENCH= 2861 IDSOLVER= 156 FILE ID= node60/366448-1177061746 PBS_JOBID= 4640199 Free space on /tmp= 66415 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-ricks.r.opb COMMAND LINE= /tmp/evaluation/366448-1177061746/minisat+ /tmp/evaluation/366448-1177061746/instance-366448-1177061746.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node60/convwatcher-366448-1177061746 -o ROOT/results/node60/conversion-366448-1177061746 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/366448-1177061746/instance-366448-1177061746.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-366448-1177061746 -o ROOT/results/node60/solver-366448-1177061746 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/366448-1177061746/minisat+ /tmp/evaluation/366448-1177061746/instance-366448-1177061746.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 518a034b80f08d868ecb31feb5231fce RANDOM SEED= 268163754 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node60.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.214 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.214 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: 1828200 kB Buffers: 39340 kB Cached: 120588 kB SwapCached: 3476 kB Active: 44956 kB Inactive: 124844 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1828200 kB SwapTotal: 4192956 kB SwapFree: 4183236 kB Dirty: 2436 kB Writeback: 0 kB Mapped: 15764 kB Slab: 43916 kB Committed_AS: 2430528 kB PageTables: 1464 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= 66415 MiB End job on node60 on Fri Apr 20 09:36:15 UTC 2007