Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | OPT | 3 | 62.4845 | 62.5071 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=47-P1=23-P2=47-P3=53-P4=59-P5=23-P6=37-P7=61-B.opb |
MD5SUM | 9967eb2b89437d51526bdf8efb5c6065 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 3.42148 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 126 |
Total number of constraints | 15 |
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 | 15 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 6 |
Biggest coefficient in the objective function | 32 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 63 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 2048 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 8064 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 252 |
Sum of products size (including duplicates) | 504 |
Number of different products | 252 |
Sum of products size | 504 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 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 Learning Strategy: Generic Pseudo-Boolean Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1879364-1245243536.opb 0.00/0.00 c File size is 18837 bytes. 0.00/0.00 c Highest Coefficient sum: 8064 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.002 s 0.00/0.00 c Var: 378 Constr: 526 252/0/274 Lit: 2220 Watch. Lit: 1388 0.00/0.00 c Obj. Vars: 6 (1.5873 % of total variables) 0.00/0.00 c Pre-processing Time: 0.006 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 378 526 2220 4 1900 3011 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 14.19/14.27 c 100 378 711 9774 13 3604 3313 185 5000 0.02 14.19/14.27 c 250 378 960 21478 22 5154 3645 434 3731 0.07 14.19/14.27 c 475 378 1365 39049 28 7457 4010 839 3991 0.12 14.19/14.27 c 814 378 1952 65820 33 11143 4412 1426 3570 0.23 14.19/14.27 c 1323 378 2840 105345 37 17450 4854 2314 3383 0.39 14.19/14.27 c 2086 378 3942 154756 39 22462 5340 3416 3353 0.62 14.19/14.27 c 3233 378 3196 119178 37 16443 5875 2670 2077 1.56 14.19/14.27 c 4954 378 6309 285488 45 36409 6463 5783 1748 2.83 14.19/14.27 c 7540 378 4095 139029 33 21390 7110 3569 1603 4.70 14.19/14.27 c 11420 378 7447 296492 39 41501 7822 6921 1392 8.20 14.19/14.27 o 5 42.78/42.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 42.78/42.89 c 16971 377 5160 199794 38 34223 3023 4634 1189 14.27 42.78/42.89 c 17072 353 2207 73204 33 10914 3326 1681 1184 14.41 42.78/42.89 c 17322 353 2638 90619 34 13491 3659 2112 1191 14.54 42.78/42.89 c 17799 353 3545 129153 36 20737 4025 3019 1215 14.65 42.78/42.89 c 18613 353 2702 96076 35 14311 4428 2176 1231 15.12 42.78/42.89 c 19933 353 2748 91892 33 14164 4871 2222 1260 15.81 42.78/42.89 c 22014 353 3707 138472 37 21170 5359 3181 1304 16.87 42.78/42.89 c 25238 352 3958 143045 36 29604 5895 3432 1212 20.81 42.78/42.89 c 30176 352 3486 121149 34 24205 6485 2960 1088 27.72 42.78/42.89 c 37682 352 3937 154268 39 28951 7134 3411 896 42.04 42.78/42.89 o 3 62.47/62.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 62.47/62.50 c 38262 352 5020 197171 39 32350 3017 4494 892 42.88 62.47/62.50 c 38362 352 2235 71075 31 16828 3319 1709 891 43.01 62.47/62.50 c 38613 335 2729 91431 33 22324 3651 2203 893 43.23 62.47/62.50 c 39089 335 3604 124355 34 24584 4017 3078 895 43.64 62.47/62.50 c 39903 335 2760 89384 32 16267 4419 2234 903 44.16 62.47/62.50 c 41223 335 2751 88729 32 16337 4861 2225 917 44.91 62.47/62.50 c 43304 334 3989 143706 36 24731 5348 3463 923 46.88 62.47/62.50 c 46527 333 4263 149014 34 25249 5883 3737 914 50.86 62.47/62.50 c 51464 325 4068 125022 30 25514 6472 3542 871 59.08 62.47/62.50 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 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 x49 -x50 -x51 -x52 -x53 x54 -x85 -x86 -x87 -x88 -x89 -x90 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 x55 x56 -x57 x58 -x59 x60 x91 -x92 x93 -x94 -x95 -x96 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 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x61 -x62 -x63 -x64 -x65 -x66 -x97 x98 -x99 -x100 -x101 -x102 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 x67 -x68 -x69 -x70 -x71 x72 -x103 -x104 -x105 -x106 -x107 -x108 x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x73 -x74 -x75 x76 -x77 x78 -x109 -x110 x111 -x112 -x113 -x114 x307 -x308 -x309 x310 -x311 x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 x79 -x80 x81 x82 -x83 -x84 x115 x116 -x117 -x118 -x119 -x120 x343 -x344 x345 x346 -x347 -x348 x349 -x350 x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x121 x122 -x123 -x124 -x125 -x126 62.47/62.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 62.47/62.50 c 29 52704 1894 61183 6275 203163 5749 843 62.48 62.47/62.50 c Objective: 3 62.47/62.50 s OPTIMUM FOUND 62.47/62.50 c Total time: 62.481 s
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879364-1245243536/watcher-1879364-1245243536 -o /tmp/evaluation-result-1879364-1245243536/solver-1879364-1245243536 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879364-1245243536.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.99 0.97 0.91 3/64 16897 /proc/meminfo: memFree=1815800/2055920 swapFree=4181840/4192956 [pid=16897] ppid=16895 vsize=10712 CPUtime=0 /proc/16897/stat : 16897 (bsolo) R 16895 16897 16655 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 191953907 10969088 265 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16897/statm: 2678 265 189 640 0 2034 0 [startup+0.034696 s] /proc/loadavg: 0.99 0.97 0.91 3/64 16897 /proc/meminfo: memFree=1815800/2055920 swapFree=4181840/4192956 [pid=16897] ppid=16895 vsize=10960 CPUtime=0.03 /proc/16897/stat : 16897 (bsolo) R 16895 16897 16655 0 -1 4194304 348 0 0 0 3 0 0 0 18 0 1 0 191953907 11223040 327 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16897/statm: 2740 327 198 640 0 2096 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10960 [startup+0.101702 s] /proc/loadavg: 0.99 0.97 0.91 3/64 16897 /proc/meminfo: memFree=1815800/2055920 swapFree=4181840/4192956 [pid=16897] ppid=16895 vsize=11356 CPUtime=0.09 /proc/16897/stat : 16897 (bsolo) R 16895 16897 16655 0 -1 4194304 443 0 0 0 9 0 0 0 18 0 1 0 191953907 11628544 422 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16897/statm: 2839 422 198 640 0 2195 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11356 [startup+0.301723 s] /proc/loadavg: 0.99 0.97 0.91 3/64 16897 /proc/meminfo: memFree=1815800/2055920 swapFree=4181840/4192956 [pid=16897] ppid=16895 vsize=12264 CPUtime=0.29 /proc/16897/stat : 16897 (bsolo) R 16895 16897 16655 0 -1 4194304 684 0 0 0 29 0 0 0 19 0 1 0 191953907 12558336 663 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16897/statm: 3066 663 198 640 0 2422 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12264 [startup+0.701763 s] /proc/loadavg: 0.99 0.97 0.91 3/64 16897 /proc/meminfo: memFree=1815800/2055920 swapFree=4181840/4192956 [pid=16897] ppid=16895 vsize=13684 CPUtime=0.69 /proc/16897/stat : 16897 (bsolo) R 16895 16897 16655 0 -1 4194304 1031 0 0 0 69 0 0 0 23 0 1 0 191953907 14012416 1010 1992294400 134512640 137136520 4294956256 18446744073709551615 136498308 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16897/statm: 3421 1010 198 640 0 2777 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13684 [startup+1.50185 s] /proc/loadavg: 0.99 0.97 0.91 2/65 16898 /proc/meminfo: memFree=1811952/2055920 swapFree=4181840/4192956 [pid=16897] ppid=16895 vsize=14976 CPUtime=1.49 /proc/16897/stat : 16897 (bsolo) R 16895 16897 16655 0 -1 4194304 1343 0 0 0 148 1 0 0 25 0 1 0 191953907 15335424 1322 1992294400 134512640 137136520 4294956256 18446744073709551615 134544809 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16897/statm: 3744 1322 198 640 0 3100 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14976 [startup+3.10201 s] /proc/loadavg: 0.99 0.97 0.91 2/65 16898 /proc/meminfo: memFree=1811000/2055920 swapFree=4181840/4192956 [pid=16897] ppid=16895 vsize=16540 CPUtime=3.09 /proc/16897/stat : 16897 (bsolo) R 16895 16897 16655 0 -1 4194304 1731 0 0 0 308 1 0 0 25 0 1 0 191953907 16936960 1710 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16897/statm: 4135 1710 198 640 0 3491 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16540 [startup+6.30234 s] /proc/loadavg: 0.99 0.97 0.91 2/65 16898 /proc/meminfo: memFree=1809464/2055920 swapFree=4181840/4192956 [pid=16897] ppid=16895 vsize=16540 CPUtime=6.3 /proc/16897/stat : 16897 (bsolo) R 16895 16897 16655 0 -1 4194304 1731 0 0 0 628 2 0 0 25 0 1 0 191953907 16936960 1710 1992294400 134512640 137136520 4294956256 18446744073709551615 134574206 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16897/statm: 4135 1710 198 640 0 3491 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 16540 [startup+12.702 s] /proc/loadavg: 0.99 0.97 0.91 2/65 16898 /proc/meminfo: memFree=1808568/2055920 swapFree=4181840/4192956 [pid=16897] ppid=16895 vsize=17316 CPUtime=12.69 /proc/16897/stat : 16897 (bsolo) R 16895 16897 16655 0 -1 4194304 1944 0 0 0 1266 3 0 0 25 0 1 0 191953907 17731584 1923 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16897/statm: 4329 1923 198 640 0 3685 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17316 [startup+25.5013 s] /proc/loadavg: 0.99 0.97 0.91 2/65 16898 /proc/meminfo: memFree=1808568/2055920 swapFree=4181840/4192956 [pid=16897] ppid=16895 vsize=17316 CPUtime=25.49 /proc/16897/stat : 16897 (bsolo) R 16895 16897 16655 0 -1 4194304 1944 0 0 0 2544 5 0 0 25 0 1 0 191953907 17731584 1923 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16897/statm: 4329 1923 198 640 0 3685 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 17316 [startup+51.1019 s] /proc/loadavg: 0.99 0.97 0.91 2/65 16898 /proc/meminfo: memFree=1808568/2055920 swapFree=4181840/4192956 [pid=16897] ppid=16895 vsize=17316 CPUtime=51.07 /proc/16897/stat : 16897 (bsolo) R 16895 16897 16655 0 -1 4194304 1944 0 0 0 5101 6 0 0 25 0 1 0 191953907 17731584 1923 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16897/statm: 4329 1923 198 640 0 3685 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 17316 Solver just ended. Dumping a history of the last processes samples [startup+57.5026 s] /proc/loadavg: 0.99 0.97 0.91 2/65 16898 /proc/meminfo: memFree=1808632/2055920 swapFree=4181840/4192956 [pid=16897] ppid=16895 vsize=17316 CPUtime=57.47 /proc/16897/stat : 16897 (bsolo) R 16895 16897 16655 0 -1 4194304 1944 0 0 0 5740 7 0 0 25 0 1 0 191953907 17731584 1923 1992294400 134512640 137136520 4294956256 18446744073709551615 134544345 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16897/statm: 4329 1923 198 640 0 3685 0 Current children cumulated CPU time (s) 57.47 Current children cumulated vsize (KiB) 17316 [startup+60.7019 s] /proc/loadavg: 0.99 0.97 0.91 2/65 16898 /proc/meminfo: memFree=1808632/2055920 swapFree=4181840/4192956 [pid=16897] ppid=16895 vsize=17316 CPUtime=60.67 /proc/16897/stat : 16897 (bsolo) R 16895 16897 16655 0 -1 4194304 1944 0 0 0 6060 7 0 0 25 0 1 0 191953907 17731584 1923 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16897/statm: 4329 1923 198 640 0 3685 0 Current children cumulated CPU time (s) 60.67 Current children cumulated vsize (KiB) 17316 [startup+61.502 s] /proc/loadavg: 0.99 0.97 0.91 2/65 16898 /proc/meminfo: memFree=1808632/2055920 swapFree=4181840/4192956 [pid=16897] ppid=16895 vsize=17316 CPUtime=61.47 /proc/16897/stat : 16897 (bsolo) R 16895 16897 16655 0 -1 4194304 1944 0 0 0 6140 7 0 0 25 0 1 0 191953907 17731584 1923 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16897/statm: 4329 1923 198 640 0 3685 0 Current children cumulated CPU time (s) 61.47 Current children cumulated vsize (KiB) 17316 [startup+62.3011 s] /proc/loadavg: 0.99 0.97 0.91 2/65 16898 /proc/meminfo: memFree=1808632/2055920 swapFree=4181840/4192956 [pid=16897] ppid=16895 vsize=17316 CPUtime=62.27 /proc/16897/stat : 16897 (bsolo) R 16895 16897 16655 0 -1 4194304 1944 0 0 0 6220 7 0 0 25 0 1 0 191953907 17731584 1923 1992294400 134512640 137136520 4294956256 18446744073709551615 134544664 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16897/statm: 4329 1923 198 640 0 3685 0 Current children cumulated CPU time (s) 62.27 Current children cumulated vsize (KiB) 17316 [startup+62.5011 s] /proc/loadavg: 0.99 0.97 0.91 2/65 16898 /proc/meminfo: memFree=1808632/2055920 swapFree=4181840/4192956 [pid=16897] ppid=16895 vsize=17316 CPUtime=62.47 /proc/16897/stat : 16897 (bsolo) R 16895 16897 16655 0 -1 4194304 1944 0 0 0 6240 7 0 0 25 0 1 0 191953907 17731584 1923 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16897/statm: 4329 1923 198 640 0 3685 0 Current children cumulated CPU time (s) 62.47 Current children cumulated vsize (KiB) 17316 Child status: 0 Real time (s): 62.5071 CPU time (s): 62.4845 CPU user time (s): 62.4055 CPU system time (s): 0.078987 CPU usage (%): 99.9639 Max. virtual memory (cumulated for all children) (KiB): 17316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 62.4055 system time used= 0.078987 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1946 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= 2 involuntary context switches= 211 runsolver used 0.06499 second user time and 0.171973 second system time The end
Begin job on node24 at 2009-06-17 14:58:56 IDJOB=1879364 IDBENCH=47914 IDSOLVER=701 FILE ID=node24/1879364-1245243536 PBS_JOBID= 9372314 Free space on /tmp= 66364 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=6-P0=47-P1=23-P2=47-P3=53-P4=59-P5=23-P6=37-P7=61-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879364-1245243536/watcher-1879364-1245243536 -o /tmp/evaluation-result-1879364-1245243536/solver-1879364-1245243536 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879364-1245243536.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9967eb2b89437d51526bdf8efb5c6065 RANDOM SEED=1667239794 node24.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.231 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.231 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: 1816280 kB Buffers: 38456 kB Cached: 128116 kB SwapCached: 5332 kB Active: 62184 kB Inactive: 112224 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1816280 kB SwapTotal: 4192956 kB SwapFree: 4181840 kB Dirty: 3944 kB Writeback: 0 kB Mapped: 13032 kB Slab: 51072 kB Committed_AS: 224396 kB PageTables: 1444 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879364-1245243536.opb Free space on /tmp at the end= 66360 MiB End job on node24 at 2009-06-17 14:59:58