Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | Wrong Opt. | 3 | 62.3395 | 62.3597 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=7-P0=43-P1=107-P2=31-P3=113-P4=127-P5=2-P6=79-B.opb |
MD5SUM | a998edafd51e17056858d37f83d42bbc |
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 | 2 |
Best CPU time to get the best result obtained on this benchmark | 1.41778 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2 |
Optimality of the best value was proved | YES |
Number of variables | 126 |
Total number of constraints | 13 |
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 | 13 |
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) | 294 |
Sum of products size (including duplicates) | 588 |
Number of different products | 294 |
Sum of products size | 588 |
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-1876609-1245188335.opb 0.00/0.00 c File size is 21871 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.002 s 0.00/0.00 c Var: 420 Constr: 607 294/0/313 Lit: 2555 Watch. Lit: 1580 0.00/0.00 c Obj. Vars: 7 (1.66667 % 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 420 607 2555 4 2191 3443 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 5.19/5.22 c 103 420 754 8699 11 2457 3788 147 5150 0.02 5.19/5.22 c 253 420 909 16163 17 2769 4167 302 7228 0.04 5.19/5.22 c 478 420 1152 27445 23 3274 4584 545 7709 0.06 5.19/5.22 c 817 420 1522 44007 28 4041 5043 915 7564 0.11 5.19/5.22 c 1326 419 2076 68461 32 5196 5548 1469 7285 0.18 5.19/5.22 c 2089 419 2923 114292 39 7021 6103 2316 7541 0.28 5.19/5.22 c 3237 419 4239 171176 40 9824 6714 3632 6359 0.51 5.19/5.22 c 4958 419 6191 271270 43 13925 7386 5584 5711 0.87 5.19/5.22 c 7543 418 5511 271929 49 12892 8125 4904 4882 1.54 5.19/5.22 c 11424 418 5690 261257 45 13012 8938 5083 4019 2.84 5.19/5.22 c 17247 401 7800 349384 44 17222 9832 7193 3858 4.47 5.19/5.22 o 103 6.69/6.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.69/6.79 c 20120 393 5751 256591 44 12803 3457 5144 3856 5.22 6.69/6.79 c 20220 393 2472 89184 36 5983 3803 1865 3851 5.25 6.69/6.79 c 20470 393 2763 103158 37 6685 4184 2156 3866 5.29 6.69/6.79 c 20946 393 3306 129679 39 7822 4603 2699 3899 5.37 6.69/6.79 c 21761 393 4556 177758 39 10563 5064 3949 3918 5.55 6.69/6.79 c 23082 392 3168 113696 35 7420 5571 2561 3969 5.82 6.69/6.79 c 25163 392 5694 224365 39 13032 6129 5087 4010 6.28 6.69/6.79 o 3 62.27/62.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 62.27/62.35 c 27225 384 4908 196865 40 11130 3457 4301 4008 6.79 62.27/62.35 c 27326 376 2496 90022 36 6081 3803 1889 4004 6.82 62.27/62.35 c 27576 368 2825 104308 36 6760 4184 2218 4015 6.87 62.27/62.35 c 28051 359 3448 130801 37 8142 4603 2841 4038 6.95 62.27/62.35 c 28864 329 4419 179544 40 10264 5064 3812 4056 7.12 62.27/62.35 c 30185 329 3164 126851 40 7383 5571 2557 4095 7.37 62.27/62.35 c 32266 329 5737 227098 39 12810 6129 5130 4149 7.78 62.27/62.35 c 35489 327 6249 237232 37 14074 6742 5642 4152 8.55 62.27/62.35 c 40426 326 4639 184940 39 10502 7417 4032 4155 9.73 62.27/62.35 c 47932 325 7229 236208 32 15753 8159 6622 3856 12.43 62.27/62.35 c 59294 317 8397 143553 17 17850 8975 7790 2901 20.44 62.27/62.35 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 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 x50 -x51 -x52 -x53 -x54 -x55 -x56 x85 -x86 -x87 -x88 -x89 -x90 -x91 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 x57 -x58 -x59 -x60 -x61 x62 -x63 -x92 -x93 -x94 -x95 -x96 -x97 -x98 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 x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x64 -x65 -x66 -x67 x68 x69 -x70 -x99 -x100 x101 -x102 -x103 -x104 -x105 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 -x313 -x314 -x315 x316 -x317 -x318 -x319 x320 x321 -x322 x71 -x72 -x73 -x74 -x75 -x76 -x77 x106 x107 x108 x109 x110 -x111 -x112 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 x78 x79 x80 -x81 -x82 -x83 -x84 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x372 -x373 -x374 -x375 -x376 -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 -x120 -x121 -x122 -x123 -x124 -x125 -x126 62.27/62.35 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 62.27/62.35 c 29 68271 2257 79109 10124 142697 9517 1095 62.34 62.27/62.35 c Objective: 3 62.27/62.35 s OPTIMUM FOUND 62.27/62.35 c Total time: 62.337 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-1876609-1245188335/watcher-1876609-1245188335 -o /tmp/evaluation-result-1876609-1245188335/solver-1876609-1245188335 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876609-1245188335.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.98 0.99 3/65 4311 /proc/meminfo: memFree=1898928/2055920 swapFree=4192956/4192956 [pid=4311] ppid=4309 vsize=10712 CPUtime=0 /proc/4311/stat : 4311 (bsolo) R 4309 4311 3324 0 -1 4194304 290 0 0 0 0 0 0 0 20 0 1 0 4745756 10969088 268 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4311/statm: 2678 268 188 640 0 2034 0 [startup+0.0978741 s] /proc/loadavg: 0.99 0.98 0.99 3/65 4311 /proc/meminfo: memFree=1898928/2055920 swapFree=4192956/4192956 [pid=4311] ppid=4309 vsize=11360 CPUtime=0.09 /proc/4311/stat : 4311 (bsolo) R 4309 4311 3324 0 -1 4194304 446 0 0 0 9 0 0 0 20 0 1 0 4745756 11632640 424 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4311/statm: 2840 424 198 640 0 2196 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11360 [startup+0.101874 s] /proc/loadavg: 0.99 0.98 0.99 3/65 4311 /proc/meminfo: memFree=1898928/2055920 swapFree=4192956/4192956 [pid=4311] ppid=4309 vsize=11360 CPUtime=0.09 /proc/4311/stat : 4311 (bsolo) R 4309 4311 3324 0 -1 4194304 451 0 0 0 9 0 0 0 20 0 1 0 4745756 11632640 429 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4311/statm: 2840 429 198 640 0 2196 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11360 [startup+0.301892 s] /proc/loadavg: 0.99 0.98 0.99 3/65 4311 /proc/meminfo: memFree=1898928/2055920 swapFree=4192956/4192956 [pid=4311] ppid=4309 vsize=12652 CPUtime=0.29 /proc/4311/stat : 4311 (bsolo) R 4309 4311 3324 0 -1 4194304 763 0 0 0 29 0 0 0 22 0 1 0 4745756 12955648 741 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4311/statm: 3163 741 198 640 0 2519 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12652 [startup+0.70193 s] /proc/loadavg: 0.99 0.98 0.99 3/65 4311 /proc/meminfo: memFree=1898928/2055920 swapFree=4192956/4192956 [pid=4311] ppid=4309 vsize=14200 CPUtime=0.69 /proc/4311/stat : 4311 (bsolo) R 4309 4311 3324 0 -1 4194304 1155 0 0 0 69 0 0 0 25 0 1 0 4745756 14540800 1133 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4311/statm: 3550 1133 198 640 0 2906 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14200 [startup+1.502 s] /proc/loadavg: 0.99 0.98 0.99 2/66 4312 /proc/meminfo: memFree=1893928/2055920 swapFree=4192956/4192956 [pid=4311] ppid=4309 vsize=16380 CPUtime=1.49 /proc/4311/stat : 4311 (bsolo) R 4309 4311 3324 0 -1 4194304 1707 0 0 0 148 1 0 0 25 0 1 0 4745756 16773120 1685 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4311/statm: 4095 1685 198 640 0 3451 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16380 [startup+3.10115 s] /proc/loadavg: 0.99 0.98 0.99 2/66 4312 /proc/meminfo: memFree=1892584/2055920 swapFree=4192956/4192956 [pid=4311] ppid=4309 vsize=17532 CPUtime=3.09 /proc/4311/stat : 4311 (bsolo) R 4309 4311 3324 0 -1 4194304 1982 0 0 0 307 2 0 0 25 0 1 0 4745756 17952768 1960 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4311/statm: 4383 1960 198 640 0 3739 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17532 [startup+6.30245 s] /proc/loadavg: 0.99 0.98 0.99 2/66 4312 /proc/meminfo: memFree=1890728/2055920 swapFree=4192956/4192956 [pid=4311] ppid=4309 vsize=18304 CPUtime=6.29 /proc/4311/stat : 4311 (bsolo) R 4309 4311 3324 0 -1 4194304 2187 0 0 0 626 3 0 0 25 0 1 0 4745756 18743296 2165 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4311/statm: 4576 2165 198 640 0 3932 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18304 [startup+12.701 s] /proc/loadavg: 0.99 0.98 0.99 2/66 4312 /proc/meminfo: memFree=1890728/2055920 swapFree=4192956/4192956 [pid=4311] ppid=4309 vsize=18304 CPUtime=12.68 /proc/4311/stat : 4311 (bsolo) R 4309 4311 3324 0 -1 4194304 2187 0 0 0 1263 5 0 0 25 0 1 0 4745756 18743296 2165 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4311/statm: 4576 2165 198 640 0 3932 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 18304 [startup+25.5012 s] /proc/loadavg: 0.99 0.98 0.99 2/66 4312 /proc/meminfo: memFree=1890728/2055920 swapFree=4192956/4192956 [pid=4311] ppid=4309 vsize=18304 CPUtime=25.48 /proc/4311/stat : 4311 (bsolo) R 4309 4311 3324 0 -1 4194304 2187 0 0 0 2542 6 0 0 25 0 1 0 4745756 18743296 2165 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4311/statm: 4576 2165 198 640 0 3932 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18304 [startup+51.1016 s] /proc/loadavg: 0.99 0.98 0.99 2/66 4312 /proc/meminfo: memFree=1890792/2055920 swapFree=4192956/4192956 [pid=4311] ppid=4309 vsize=18304 CPUtime=51.08 /proc/4311/stat : 4311 (bsolo) R 4309 4311 3324 0 -1 4194304 2187 0 0 0 5101 7 0 0 25 0 1 0 4745756 18743296 2165 1992294400 134512640 137136520 4294956256 18446744073709551615 134556560 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4311/statm: 4576 2165 198 640 0 3932 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 18304 Solver just ended. Dumping a history of the last processes samples [startup+57.5022 s] /proc/loadavg: 0.99 0.98 0.99 2/66 4312 /proc/meminfo: memFree=1890792/2055920 swapFree=4192956/4192956 [pid=4311] ppid=4309 vsize=18304 CPUtime=57.48 /proc/4311/stat : 4311 (bsolo) R 4309 4311 3324 0 -1 4194304 2187 0 0 0 5741 7 0 0 25 0 1 0 4745756 18743296 2165 1992294400 134512640 137136520 4294956256 18446744073709551615 134556223 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4311/statm: 4576 2165 198 640 0 3932 0 Current children cumulated CPU time (s) 57.48 Current children cumulated vsize (KiB) 18304 [startup+60.7015 s] /proc/loadavg: 0.99 0.98 0.99 2/66 4312 /proc/meminfo: memFree=1890792/2055920 swapFree=4192956/4192956 [pid=4311] ppid=4309 vsize=18304 CPUtime=60.67 /proc/4311/stat : 4311 (bsolo) R 4309 4311 3324 0 -1 4194304 2187 0 0 0 6060 7 0 0 25 0 1 0 4745756 18743296 2165 1992294400 134512640 137136520 4294956256 18446744073709551615 134555583 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4311/statm: 4576 2165 198 640 0 3932 0 Current children cumulated CPU time (s) 60.67 Current children cumulated vsize (KiB) 18304 [startup+61.5016 s] /proc/loadavg: 0.99 0.98 0.99 2/66 4312 /proc/meminfo: memFree=1890792/2055920 swapFree=4192956/4192956 [pid=4311] ppid=4309 vsize=18304 CPUtime=61.48 /proc/4311/stat : 4311 (bsolo) R 4309 4311 3324 0 -1 4194304 2187 0 0 0 6141 7 0 0 25 0 1 0 4745756 18743296 2165 1992294400 134512640 137136520 4294956256 18446744073709551615 134556181 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4311/statm: 4576 2165 198 640 0 3932 0 Current children cumulated CPU time (s) 61.48 Current children cumulated vsize (KiB) 18304 [startup+61.9017 s] /proc/loadavg: 0.99 0.98 0.99 2/66 4312 /proc/meminfo: memFree=1890792/2055920 swapFree=4192956/4192956 [pid=4311] ppid=4309 vsize=18304 CPUtime=61.87 /proc/4311/stat : 4311 (bsolo) R 4309 4311 3324 0 -1 4194304 2187 0 0 0 6180 7 0 0 25 0 1 0 4745756 18743296 2165 1992294400 134512640 137136520 4294956256 18446744073709551615 134555615 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4311/statm: 4576 2165 198 640 0 3932 0 Current children cumulated CPU time (s) 61.87 Current children cumulated vsize (KiB) 18304 [startup+62.3017 s] /proc/loadavg: 0.99 0.98 0.99 2/66 4312 /proc/meminfo: memFree=1890792/2055920 swapFree=4192956/4192956 [pid=4311] ppid=4309 vsize=18304 CPUtime=62.27 /proc/4311/stat : 4311 (bsolo) R 4309 4311 3324 0 -1 4194304 2187 0 0 0 6220 7 0 0 25 0 1 0 4745756 18743296 2165 1992294400 134512640 137136520 4294956256 18446744073709551615 134556169 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4311/statm: 4576 2165 198 640 0 3932 0 Current children cumulated CPU time (s) 62.27 Current children cumulated vsize (KiB) 18304 Child status: 0 Real time (s): 62.3597 CPU time (s): 62.3395 CPU user time (s): 62.2645 CPU system time (s): 0.074988 CPU usage (%): 99.9677 Max. virtual memory (cumulated for all children) (KiB): 18304 getrusage(RUSAGE_CHILDREN,...) data: user time used= 62.2645 system time used= 0.074988 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2189 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= 118 runsolver used 0.078987 second user time and 0.131979 second system time The end
Begin job on node8 at 2009-06-16 23:38:55 IDJOB=1876609 IDBENCH=48019 IDSOLVER=699 FILE ID=node8/1876609-1245188335 PBS_JOBID= 9363940 Free space on /tmp= 66288 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=43-P1=107-P2=31-P3=113-P4=127-P5=2-P6=79-B.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876609-1245188335/watcher-1876609-1245188335 -o /tmp/evaluation-result-1876609-1245188335/solver-1876609-1245188335 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876609-1245188335.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a998edafd51e17056858d37f83d42bbc RANDOM SEED=1056612011 node8.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.236 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.236 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1899408 kB Buffers: 40336 kB Cached: 72476 kB SwapCached: 0 kB Active: 82284 kB Inactive: 44224 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1899408 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4048 kB Writeback: 0 kB Mapped: 23496 kB Slab: 15768 kB Committed_AS: 64596 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876609-1245188335.opb Free space on /tmp at the end= 66284 MiB End job on node8 at 2009-06-16 23:39:57