Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | Wrong Opt. | 33 | 19.749 | 19.7555 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=139-P1=101-P2=227-P3=251-P4=227-P5=251-B.opb |
MD5SUM | 1d3dc680e7fede194f84acfa61415e9b |
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 | 10.9103 |
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 | 120 |
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 | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 320 |
Sum of products size (including duplicates) | 640 |
Number of different products | 320 |
Sum of products size | 640 |
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: Cardinality Constraint 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-1876588-1245187814.opb 0.00/0.00 c File size is 23753 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 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: 440 Constr: 656 320/0/336 Lit: 2752 Watch. Lit: 1692 0.00/0.00 c Obj. Vars: 8 (1.81818 % of total variables) 0.00/0.00 c Pre-processing Time: 0.007 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 440 656 2752 4 2364 3690 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 4.39/4.44 c 100 440 810 10151 12 2712 4060 154 4347 0.02 4.39/4.44 c 250 440 1018 26785 26 3308 4467 362 3289 0.08 4.39/4.44 c 477 440 1260 43025 34 3828 4914 604 4336 0.11 4.39/4.44 c 815 440 1622 65998 40 4573 5406 966 5093 0.16 4.39/4.44 c 1323 440 2328 104570 44 6241 5947 1672 5147 0.26 4.39/4.44 c 2086 440 3348 156406 46 8634 6542 2692 4873 0.43 4.39/4.44 c 3232 440 4646 241962 52 11377 7197 3990 5026 0.64 4.39/4.44 c 4953 431 6672 356876 53 15768 7917 6016 4337 1.14 4.39/4.44 c 7538 431 5076 305966 60 11361 8709 4420 4119 1.83 4.39/4.44 c 11418 413 5222 252202 48 12157 9580 4566 3742 3.05 4.39/4.44 o 33 19.69/19.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 19.69/19.75 c 16068 404 5451 277265 50 12312 3706 4795 3591 4.47 19.69/19.75 c 16169 404 2642 117701 44 6423 4077 1986 3575 4.52 19.69/19.75 c 16420 404 2912 132716 45 6982 4485 2256 3598 4.56 19.69/19.75 c 16896 404 3401 165360 48 7968 4934 2745 3633 4.65 19.69/19.75 c 17709 396 4282 221694 51 9765 5428 3626 3652 4.85 19.69/19.75 c 19030 387 5790 309236 53 12856 5971 5134 3640 5.23 19.69/19.75 c 21111 386 4978 231707 46 11201 6569 4322 3640 5.80 19.69/19.75 c 24335 386 5256 258864 49 12093 7226 4600 3375 7.21 19.69/19.75 c 29271 386 7227 355344 49 16484 7949 6571 2869 10.20 19.69/19.75 c 36777 386 7384 367346 49 16314 8744 6728 2454 14.98 19.69/19.75 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 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 x49 -x50 -x51 -x52 -x53 x54 x55 -x56 -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 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 -x226 -x227 -x228 -x229 x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x57 x58 -x59 -x60 -x61 -x62 x63 -x64 x89 -x90 x91 x92 -x93 -x94 -x95 -x96 x249 x250 -x251 -x252 -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 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x97 -x98 x99 x100 x101 -x102 -x103 -x104 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 -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 x73 -x74 x75 -x76 -x77 -x78 -x79 x80 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x377 -x378 x379 -x380 -x381 -x382 -x383 x384 x385 -x386 x387 -x388 -x389 -x390 -x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 -x402 x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 19.69/19.75 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 19.69/19.75 c 20 44227 400 47972 6602 247734 5946 2239 19.75 19.69/19.75 c Objective: 33 19.69/19.75 s OPTIMUM FOUND 19.69/19.75 c Total time: 19.747 s
OK 33
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876588-1245187814/watcher-1876588-1245187814 -o /tmp/evaluation-result-1876588-1245187814/solver-1876588-1245187814 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876588-1245187814.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 1.00 3/64 31938 /proc/meminfo: memFree=1892224/2055920 swapFree=4181496/4192956 [pid=31938] ppid=31936 vsize=10708 CPUtime=0 /proc/31938/stat : 31938 (bsolo) R 31936 31938 31261 0 -1 4194304 282 0 0 0 0 0 0 0 18 0 1 0 186381121 10964992 260 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31938/statm: 2677 261 186 640 0 2033 0 [startup+0.10165 s] /proc/loadavg: 1.00 1.00 1.00 3/64 31938 /proc/meminfo: memFree=1892224/2055920 swapFree=4181496/4192956 [pid=31938] ppid=31936 vsize=11360 CPUtime=0.09 /proc/31938/stat : 31938 (bsolo) R 31936 31938 31261 0 -1 4194304 439 0 0 0 9 0 0 0 18 0 1 0 186381121 11632640 417 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31938/statm: 2840 417 198 640 0 2196 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11360 [startup+0.201659 s] /proc/loadavg: 1.00 1.00 1.00 3/64 31938 /proc/meminfo: memFree=1892224/2055920 swapFree=4181496/4192956 [pid=31938] ppid=31936 vsize=11996 CPUtime=0.19 /proc/31938/stat : 31938 (bsolo) R 31936 31938 31261 0 -1 4194304 596 0 0 0 19 0 0 0 18 0 1 0 186381121 12283904 574 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31938/statm: 2999 574 198 640 0 2355 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 11996 [startup+0.301667 s] /proc/loadavg: 1.00 1.00 1.00 3/64 31938 /proc/meminfo: memFree=1892224/2055920 swapFree=4181496/4192956 [pid=31938] ppid=31936 vsize=12512 CPUtime=0.29 /proc/31938/stat : 31938 (bsolo) R 31936 31938 31261 0 -1 4194304 735 0 0 0 29 0 0 0 19 0 1 0 186381121 12812288 713 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31938/statm: 3128 713 198 640 0 2484 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12512 [startup+0.701704 s] /proc/loadavg: 1.00 1.00 1.00 3/64 31938 /proc/meminfo: memFree=1892224/2055920 swapFree=4181496/4192956 [pid=31938] ppid=31936 vsize=14568 CPUtime=0.69 /proc/31938/stat : 31938 (bsolo) R 31936 31938 31261 0 -1 4194304 1238 0 0 0 69 0 0 0 22 0 1 0 186381121 14917632 1216 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31938/statm: 3642 1216 198 640 0 2998 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14568 [startup+1.50178 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31939 /proc/meminfo: memFree=1886776/2055920 swapFree=4181496/4192956 [pid=31938] ppid=31936 vsize=17756 CPUtime=1.49 /proc/31938/stat : 31938 (bsolo) R 31936 31938 31261 0 -1 4194304 2048 0 0 0 148 1 0 0 25 0 1 0 186381121 18182144 2026 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31938/statm: 4439 2026 198 640 0 3795 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17756 [startup+3.10192 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31939 /proc/meminfo: memFree=1884024/2055920 swapFree=4181496/4192956 [pid=31938] ppid=31936 vsize=18768 CPUtime=3.09 /proc/31938/stat : 31938 (bsolo) R 31936 31938 31261 0 -1 4194304 2308 0 0 0 307 2 0 0 25 0 1 0 186381121 19218432 2286 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31938/statm: 4692 2286 198 640 0 4048 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18768 [startup+6.30221 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31939 /proc/meminfo: memFree=1883448/2055920 swapFree=4181496/4192956 [pid=31938] ppid=31936 vsize=18900 CPUtime=6.29 /proc/31938/stat : 31938 (bsolo) R 31936 31938 31261 0 -1 4194304 2331 0 0 0 626 3 0 0 25 0 1 0 186381121 19353600 2309 1992294400 134512640 137136520 4294956256 18446744073709551615 134616644 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31938/statm: 4725 2309 198 640 0 4081 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18900 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31939 /proc/meminfo: memFree=1883456/2055920 swapFree=4181496/4192956 [pid=31938] ppid=31936 vsize=18900 CPUtime=12.68 /proc/31938/stat : 31938 (bsolo) R 31936 31938 31261 0 -1 4194304 2331 0 0 0 1264 4 0 0 25 0 1 0 186381121 19353600 2309 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31938/statm: 4725 2309 198 640 0 4081 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 18900 Solver just ended. Dumping a history of the last processes samples [startup+12.8018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31939 /proc/meminfo: memFree=1883456/2055920 swapFree=4181496/4192956 [pid=31938] ppid=31936 vsize=18900 CPUtime=12.78 /proc/31938/stat : 31938 (bsolo) R 31936 31938 31261 0 -1 4194304 2331 0 0 0 1274 4 0 0 25 0 1 0 186381121 19353600 2309 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31938/statm: 4725 2309 198 640 0 4081 0 Current children cumulated CPU time (s) 12.78 Current children cumulated vsize (KiB) 18900 [startup+16.0011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31939 /proc/meminfo: memFree=1883456/2055920 swapFree=4181496/4192956 [pid=31938] ppid=31936 vsize=18900 CPUtime=15.98 /proc/31938/stat : 31938 (bsolo) R 31936 31938 31261 0 -1 4194304 2331 0 0 0 1593 5 0 0 25 0 1 0 186381121 19353600 2309 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31938/statm: 4725 2309 198 640 0 4081 0 Current children cumulated CPU time (s) 15.98 Current children cumulated vsize (KiB) 18900 [startup+17.6012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31939 /proc/meminfo: memFree=1883456/2055920 swapFree=4181496/4192956 [pid=31938] ppid=31936 vsize=18900 CPUtime=17.59 /proc/31938/stat : 31938 (bsolo) R 31936 31938 31261 0 -1 4194304 2331 0 0 0 1754 5 0 0 25 0 1 0 186381121 19353600 2309 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31938/statm: 4725 2309 198 640 0 4081 0 Current children cumulated CPU time (s) 17.59 Current children cumulated vsize (KiB) 18900 [startup+18.4013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31939 /proc/meminfo: memFree=1883456/2055920 swapFree=4181496/4192956 [pid=31938] ppid=31936 vsize=18900 CPUtime=18.38 /proc/31938/stat : 31938 (bsolo) R 31936 31938 31261 0 -1 4194304 2331 0 0 0 1833 5 0 0 25 0 1 0 186381121 19353600 2309 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31938/statm: 4725 2309 198 640 0 4081 0 Current children cumulated CPU time (s) 18.38 Current children cumulated vsize (KiB) 18900 [startup+19.2014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31939 /proc/meminfo: memFree=1883456/2055920 swapFree=4181496/4192956 [pid=31938] ppid=31936 vsize=18900 CPUtime=19.18 /proc/31938/stat : 31938 (bsolo) R 31936 31938 31261 0 -1 4194304 2331 0 0 0 1913 5 0 0 25 0 1 0 186381121 19353600 2309 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31938/statm: 4725 2309 198 640 0 4081 0 Current children cumulated CPU time (s) 19.18 Current children cumulated vsize (KiB) 18900 [startup+19.6014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31939 /proc/meminfo: memFree=1883456/2055920 swapFree=4181496/4192956 [pid=31938] ppid=31936 vsize=18900 CPUtime=19.59 /proc/31938/stat : 31938 (bsolo) R 31936 31938 31261 0 -1 4194304 2331 0 0 0 1953 6 0 0 25 0 1 0 186381121 19353600 2309 1992294400 134512640 137136520 4294956256 18446744073709551615 136502289 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31938/statm: 4725 2309 198 640 0 4081 0 Current children cumulated CPU time (s) 19.59 Current children cumulated vsize (KiB) 18900 [startup+19.7014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31939 /proc/meminfo: memFree=1883456/2055920 swapFree=4181496/4192956 [pid=31938] ppid=31936 vsize=18900 CPUtime=19.69 /proc/31938/stat : 31938 (bsolo) R 31936 31938 31261 0 -1 4194304 2331 0 0 0 1963 6 0 0 25 0 1 0 186381121 19353600 2309 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31938/statm: 4725 2309 198 640 0 4081 0 Current children cumulated CPU time (s) 19.69 Current children cumulated vsize (KiB) 18900 Child status: 0 Real time (s): 19.7555 CPU time (s): 19.749 CPU user time (s): 19.686 CPU system time (s): 0.06299 CPU usage (%): 99.9669 Max. virtual memory (cumulated for all children) (KiB): 18900 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19.686 system time used= 0.06299 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2333 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= 31 runsolver used 0.014997 second user time and 0.054991 second system time The end
Begin job on node25 at 2009-06-16 23:30:14 IDJOB=1876588 IDBENCH=47998 IDSOLVER=699 FILE ID=node25/1876588-1245187814 PBS_JOBID= 9363949 Free space on /tmp= 66312 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=139-P1=101-P2=227-P3=251-P4=227-P5=251-B.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876588-1245187814/watcher-1876588-1245187814 -o /tmp/evaluation-result-1876588-1245187814/solver-1876588-1245187814 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876588-1245187814.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1d3dc680e7fede194f84acfa61415e9b RANDOM SEED=863039061 node25.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.238 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.238 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: 1892768 kB Buffers: 40064 kB Cached: 68424 kB SwapCached: 5888 kB Active: 64172 kB Inactive: 52800 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1892768 kB SwapTotal: 4192956 kB SwapFree: 4181496 kB Dirty: 3944 kB Writeback: 0 kB Mapped: 13548 kB Slab: 32192 kB Committed_AS: 203588 kB PageTables: 1464 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-1876588-1245187814.opb Free space on /tmp at the end= 66308 MiB End job on node25 at 2009-06-16 23:30:34