Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | OPT | 3 | 31.2672 | 31.2748 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=5-P1=113-P2=107-P3=11-P4=43-P5=101-B.opb |
MD5SUM | 8a0125b71bb37b2e2e8bfc178a3ff25d |
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.62845 |
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 | 105 |
Total number of constraints | 11 |
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 | 11 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 8192 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 32512 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 245 |
Sum of products size (including duplicates) | 490 |
Number of different products | 245 |
Sum of products size | 490 |
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-2670750-1276705906.opb 0.00/0.00 c File size is 18218 bytes. 0.00/0.00 c Highest Coefficient sum: 32512 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.003 s 0.00/0.00 c Var: 350 Constr: 506 245/0/261 Lit: 2128 Watch. Lit: 1317 0.00/0.00 c Obj. Vars: 7 (2 % 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 350 506 2128 4 1825 2867 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 16.89/16.94 c 102 350 608 7381 12 1978 3154 102 6800 0.01 16.89/16.94 c 253 350 759 15131 19 2247 3470 253 6487 0.04 16.89/16.94 c 478 350 984 28029 28 2683 3818 478 7966 0.06 16.89/16.94 c 816 350 1322 45879 34 3369 4200 816 8869 0.09 16.89/16.94 c 1325 350 1831 73181 39 4430 4621 1325 8833 0.15 16.89/16.94 c 2091 350 2597 111272 42 5994 5084 2091 8822 0.24 16.89/16.94 c 3237 350 3743 176563 47 8221 5593 3237 7914 0.41 16.89/16.94 c 4959 350 5465 270275 49 11671 6153 4959 6214 0.80 16.89/16.94 c 7544 350 4656 222278 47 10036 6769 4150 5977 1.26 16.89/16.94 c 11424 350 5029 220115 43 10781 7446 4523 5176 2.21 16.89/16.94 c 17248 350 6806 324289 47 14363 8191 6300 4503 3.83 16.89/16.94 c 25986 350 6980 342917 49 14706 9011 6474 4269 6.09 16.89/16.94 c 39097 350 5703 273849 48 12140 9913 5197 3427 11.41 16.89/16.94 o 49 26.29/26.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 26.29/26.39 c 58581 349 9460 470238 49 19624 2881 8954 3458 16.94 26.29/26.39 c 58681 349 2050 78719 38 4847 3170 1544 3445 17.03 26.29/26.39 c 58933 349 2302 91247 39 5348 3488 1796 3454 17.06 26.29/26.39 c 59409 349 2778 114746 41 6301 3837 2272 3467 17.13 26.29/26.39 c 60223 349 3592 154277 42 7923 4221 3086 3485 17.28 26.29/26.39 c 61543 349 2630 107991 41 5995 4644 2124 3515 17.50 26.29/26.39 c 63624 349 4711 212996 45 10154 5109 4205 3545 17.95 26.29/26.39 c 66847 349 5336 237774 44 11388 5620 4830 3528 18.95 26.29/26.39 c 71784 340 4357 200870 46 9437 6183 3851 3555 20.19 26.29/26.39 c 79291 340 5352 259989 48 11465 6802 4846 3570 22.21 26.29/26.39 o 9 27.88/27.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 27.88/27.92 c 88559 339 4089 171158 41 8974 2879 3583 3356 26.39 27.88/27.92 c 88661 331 2054 70483 34 4833 3167 1548 3356 26.41 27.88/27.92 c 88911 331 2304 83330 36 5348 3484 1798 3360 26.45 27.88/27.92 c 89386 331 2779 106211 38 6285 3833 2273 3366 26.55 27.88/27.92 c 90200 331 3593 144668 40 7924 4217 3087 3370 26.76 27.88/27.92 c 91520 331 2732 108357 39 6217 4639 2226 3377 27.09 27.88/27.92 c 93602 321 4814 213633 44 10372 5103 4308 3400 27.53 27.88/27.92 o 3 31.19/31.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.19/31.27 c 94940 318 3530 147455 41 7846 2875 3024 3401 27.91 31.19/31.27 c 95040 318 2052 72384 35 4878 3163 1546 3402 27.93 31.19/31.27 c 95291 318 2303 85987 37 5376 3480 1797 3407 27.97 31.19/31.27 c 95766 290 2778 107925 38 6329 3829 2272 3413 28.06 31.19/31.27 c 96579 290 3591 149020 41 7942 4212 3085 3420 28.23 31.19/31.27 c 97899 290 2711 105926 39 6177 4634 2205 3414 28.67 31.19/31.27 c 99980 290 4792 207445 43 10349 5098 4286 3410 29.32 31.19/31.27 c 103204 287 5380 237412 44 11550 5608 4874 3376 30.56 31.19/31.27 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 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 x43 x44 -x45 x46 -x47 -x48 -x49 -x71 x72 -x73 -x74 -x75 -x76 -x77 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 x50 -x51 -x52 -x53 -x54 -x55 -x56 x78 x79 -x80 -x81 -x82 -x83 -x84 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 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x57 x58 -x59 -x60 -x61 -x62 -x63 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x253 x254 -x255 -x256 -x257 -x258 -x259 x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -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 x64 -x65 -x66 x67 -x68 -x69 -x70 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x302 -x303 -x304 x305 -x306 -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 -x343 x344 -x345 -x346 x347 -x348 -x349 -x350 x99 -x100 x101 -x102 -x103 -x104 -x105 31.19/31.27 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 31.19/31.27 c 38 105432 1805 113329 4708 193485 4202 3372 31.26 31.19/31.27 c Objective: 3 31.19/31.27 s OPTIMUM FOUND 31.19/31.27 c Total time: 31.264 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-2670750-1276705906/watcher-2670750-1276705906 -o /tmp/evaluation-result-2670750-1276705906/solver-2670750-1276705906 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670750-1276705906.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: 1.00 1.00 0.94 3/106 18751 /proc/meminfo: memFree=1499484/2059040 swapFree=4192956/4192956 [pid=18751] ppid=18749 vsize=10924 CPUtime=0 /proc/18751/stat : 18751 (bsolo_pb10) R 18749 18751 17996 0 -1 4202496 356 0 0 0 0 0 0 0 18 0 1 0 11881309 11186176 270 1992294400 134512640 137138936 4294600384 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18751/statm: 2731 271 186 642 0 2087 0 [startup+0.0743991 s] /proc/loadavg: 1.00 1.00 0.94 3/106 18751 /proc/meminfo: memFree=1499484/2059040 swapFree=4192956/4192956 [pid=18751] ppid=18749 vsize=11312 CPUtime=0.07 /proc/18751/stat : 18751 (bsolo_pb10) R 18749 18751 17996 0 -1 4202496 474 0 0 0 7 0 0 0 20 0 1 0 11881309 11583488 388 1992294400 134512640 137138936 4294600384 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18751/statm: 2828 389 190 642 0 2184 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11312 [startup+0.1014 s] /proc/loadavg: 1.00 1.00 0.94 3/106 18751 /proc/meminfo: memFree=1499484/2059040 swapFree=4192956/4192956 [pid=18751] ppid=18749 vsize=11568 CPUtime=0.09 /proc/18751/stat : 18751 (bsolo_pb10) R 18749 18751 17996 0 -1 4202496 531 0 0 0 9 0 0 0 20 0 1 0 11881309 11845632 445 1992294400 134512640 137138936 4294600384 18446744073709551615 136520969 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18751/statm: 2892 445 190 642 0 2248 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11568 [startup+0.301422 s] /proc/loadavg: 1.00 1.00 0.94 3/106 18751 /proc/meminfo: memFree=1499484/2059040 swapFree=4192956/4192956 [pid=18751] ppid=18749 vsize=12856 CPUtime=0.29 /proc/18751/stat : 18751 (bsolo_pb10) R 18749 18751 17996 0 -1 4202496 843 0 0 0 29 0 0 0 20 0 1 0 11881309 13164544 757 1992294400 134512640 137138936 4294600384 18446744073709551615 134542472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18751/statm: 3214 757 190 642 0 2570 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12856 [startup+0.701466 s] /proc/loadavg: 1.00 1.00 0.94 3/106 18751 /proc/meminfo: memFree=1499484/2059040 swapFree=4192956/4192956 [pid=18751] ppid=18749 vsize=14528 CPUtime=0.69 /proc/18751/stat : 18751 (bsolo_pb10) R 18749 18751 17996 0 -1 4202496 1278 0 0 0 69 0 0 0 21 0 1 0 11881309 14876672 1192 1992294400 134512640 137138936 4294600384 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18751/statm: 3632 1192 190 642 0 2988 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14528 [startup+1.50156 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18752 /proc/meminfo: memFree=1494392/2059040 swapFree=4192956/4192956 [pid=18751] ppid=18749 vsize=16072 CPUtime=1.49 /proc/18751/stat : 18751 (bsolo_pb10) R 18749 18751 17996 0 -1 4202496 1652 0 0 0 148 1 0 0 23 0 1 0 11881309 16457728 1566 1992294400 134512640 137138936 4294600384 18446744073709551615 134618378 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18751/statm: 4018 1566 190 642 0 3374 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16072 [startup+3.10173 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18752 /proc/meminfo: memFree=1493772/2059040 swapFree=4192956/4192956 [pid=18751] ppid=18749 vsize=16720 CPUtime=3.09 /proc/18751/stat : 18751 (bsolo_pb10) R 18749 18751 17996 0 -1 4202496 1835 0 0 0 307 2 0 0 25 0 1 0 11881309 17121280 1749 1992294400 134512640 137138936 4294600384 18446744073709551615 134572783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18751/statm: 4180 1749 190 642 0 3536 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16720 [startup+6.30109 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18752 /proc/meminfo: memFree=1492656/2059040 swapFree=4192956/4192956 [pid=18751] ppid=18749 vsize=17232 CPUtime=6.29 /proc/18751/stat : 18751 (bsolo_pb10) R 18749 18751 17996 0 -1 4202496 1947 0 0 0 625 4 0 0 25 0 1 0 11881309 17645568 1861 1992294400 134512640 137138936 4294600384 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18751/statm: 4308 1861 190 642 0 3664 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17232 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18752 /proc/meminfo: memFree=1491416/2059040 swapFree=4192956/4192956 [pid=18751] ppid=18749 vsize=18520 CPUtime=12.69 /proc/18751/stat : 18751 (bsolo_pb10) R 18749 18751 17996 0 -1 4202496 2289 0 0 0 1262 7 0 0 25 0 1 0 11881309 18964480 2203 1992294400 134512640 137138936 4294600384 18446744073709551615 136502606 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18751/statm: 4630 2203 190 642 0 3986 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18520 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18752 /proc/meminfo: memFree=1491044/2059040 swapFree=4192956/4192956 [pid=18751] ppid=18749 vsize=18772 CPUtime=25.49 /proc/18751/stat : 18751 (bsolo_pb10) R 18749 18751 17996 0 -1 4202496 2352 0 0 0 2536 13 0 0 25 0 1 0 11881309 19222528 2266 1992294400 134512640 137138936 4294600384 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18751/statm: 4693 2266 191 642 0 4049 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 18772 Solver just ended. Dumping a history of the last processes samples [startup+28.7016 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18752 /proc/meminfo: memFree=1491044/2059040 swapFree=4192956/4192956 [pid=18751] ppid=18749 vsize=18772 CPUtime=28.68 /proc/18751/stat : 18751 (bsolo_pb10) R 18749 18751 17996 0 -1 4202496 2352 0 0 0 2854 14 0 0 25 0 1 0 11881309 19222528 2266 1992294400 134512640 137138936 4294600384 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18751/statm: 4693 2266 191 642 0 4049 0 Current children cumulated CPU time (s) 28.68 Current children cumulated vsize (KiB) 18772 [startup+30.3017 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18752 /proc/meminfo: memFree=1491044/2059040 swapFree=4192956/4192956 [pid=18751] ppid=18749 vsize=18772 CPUtime=30.28 /proc/18751/stat : 18751 (bsolo_pb10) R 18749 18751 17996 0 -1 4202496 2352 0 0 0 3013 15 0 0 25 0 1 0 11881309 19222528 2266 1992294400 134512640 137138936 4294600384 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18751/statm: 4693 2266 191 642 0 4049 0 Current children cumulated CPU time (s) 30.28 Current children cumulated vsize (KiB) 18772 [startup+30.7018 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18752 /proc/meminfo: memFree=1491044/2059040 swapFree=4192956/4192956 [pid=18751] ppid=18749 vsize=18772 CPUtime=30.69 /proc/18751/stat : 18751 (bsolo_pb10) R 18749 18751 17996 0 -1 4202496 2352 0 0 0 3054 15 0 0 25 0 1 0 11881309 19222528 2266 1992294400 134512640 137138936 4294600384 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18751/statm: 4693 2266 191 642 0 4049 0 Current children cumulated CPU time (s) 30.69 Current children cumulated vsize (KiB) 18772 [startup+31.1008 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18752 /proc/meminfo: memFree=1491044/2059040 swapFree=4192956/4192956 [pid=18751] ppid=18749 vsize=18772 CPUtime=31.09 /proc/18751/stat : 18751 (bsolo_pb10) R 18749 18751 17996 0 -1 4202496 2352 0 0 0 3093 16 0 0 25 0 1 0 11881309 19222528 2266 1992294400 134512640 137138936 4294600384 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18751/statm: 4693 2266 191 642 0 4049 0 Current children cumulated CPU time (s) 31.09 Current children cumulated vsize (KiB) 18772 [startup+31.2008 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18752 /proc/meminfo: memFree=1491044/2059040 swapFree=4192956/4192956 [pid=18751] ppid=18749 vsize=18772 CPUtime=31.19 /proc/18751/stat : 18751 (bsolo_pb10) R 18749 18751 17996 0 -1 4202496 2352 0 0 0 3103 16 0 0 25 0 1 0 11881309 19222528 2266 1992294400 134512640 137138936 4294600384 18446744073709551615 136521035 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18751/statm: 4693 2266 191 642 0 4049 0 Current children cumulated CPU time (s) 31.19 Current children cumulated vsize (KiB) 18772 Child status: 0 Real time (s): 31.2748 CPU time (s): 31.2672 CPU user time (s): 31.1053 CPU system time (s): 0.161975 CPU usage (%): 99.9758 Max. virtual memory (cumulated for all children) (KiB): 18772 getrusage(RUSAGE_CHILDREN,...) data: user time used= 31.1053 system time used= 0.161975 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2353 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= 73 runsolver used 0.058991 second user time and 0.149977 second system time The end
Begin job on node059 at 2010-06-16 18:31:46 IDJOB=2670750 IDBENCH=48091 IDSOLVER=1163 FILE ID=node059/2670750-1276705906 PBS_JOBID= 11174087 Free space on /tmp= 62556 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=5-P1=113-P2=107-P3=11-P4=43-P5=101-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670750-1276705906/watcher-2670750-1276705906 -o /tmp/evaluation-result-2670750-1276705906/solver-2670750-1276705906 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670750-1276705906.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8a0125b71bb37b2e2e8bfc178a3ff25d RANDOM SEED=80331616 node059.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.244 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.48 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.244 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: 1500136 kB Buffers: 148016 kB Cached: 267460 kB SwapCached: 0 kB Active: 164584 kB Inactive: 310144 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1500136 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4212 kB Writeback: 0 kB AnonPages: 59192 kB Mapped: 15488 kB Slab: 62296 kB PageTables: 3904 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182324 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670750-1276705906.opb Free space on /tmp at the end= 62552 MiB End job on node059 at 2010-06-16 18:32:18