Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | OPT | 2 | 20.029 | 20.0352 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=11-P1=37-P2=59-P3=23-P4=53-P5=31-P6=59-P7=29-P8=2-P9=67-B.opb |
MD5SUM | 48d9b1801c3e1b4883cb62109d96eb3c |
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 | 5.2522 |
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 | 162 |
Total number of constraints | 19 |
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 | 19 |
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) | 324 |
Sum of products size (including duplicates) | 648 |
Number of different products | 324 |
Sum of products size | 648 |
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: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2670433-1276702218.opb 0.00/0.00 c File size is 24339 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.004 s 0.00/0.00 c Var: 486 Constr: 676 324/0/352 Lit: 2856 Watch. Lit: 1784 0.00/0.00 c Obj. Vars: 6 (1.23457 % of total variables) 0.00/0.01 c Pre-processing Time: 0.009 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 486 676 2856 4 2444 3875 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 3.09/3.15 c 102 486 862 8204 9 2823 4263 186 4434 0.02 3.09/3.15 c 253 486 1131 17957 15 3385 4690 455 5163 0.05 3.09/3.15 c 478 486 1543 32935 21 4296 5160 867 5195 0.09 3.09/3.15 c 816 486 2151 57468 26 5669 5677 1475 5551 0.15 3.09/3.15 c 1324 486 3101 90387 29 7827 6245 2425 5092 0.26 3.09/3.15 c 2087 486 4553 141703 31 11236 6870 3877 4711 0.44 3.09/3.15 c 3233 486 6680 210330 31 15985 7558 6004 4484 0.72 3.09/3.15 c 4954 486 5672 173762 30 13402 8314 4996 4180 1.19 3.09/3.15 c 7538 486 6243 200794 32 15115 9146 5567 3724 2.02 3.09/3.15 o 39 6.79/6.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.79/6.80 c 10959 486 7920 244653 30 18791 3888 7244 3481 3.15 6.79/6.80 c 11059 486 2787 76187 27 7006 4277 2111 3451 3.20 6.79/6.80 c 11310 486 3249 92620 28 8098 4705 2573 3477 3.25 6.79/6.80 c 11787 486 4152 127338 30 10165 5176 3476 3521 3.35 6.79/6.80 c 12601 486 5707 177337 31 13776 5694 5031 3520 3.58 6.79/6.80 c 13922 486 5192 166938 32 12611 6264 4516 3559 3.91 6.79/6.80 c 16003 486 5952 193872 32 14192 6891 5276 3637 4.40 6.79/6.80 c 19227 486 4351 179175 41 10256 7581 3675 3232 5.95 6.79/6.80 o 3 19.99/20.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 19.99/20.03 c 22157 486 5689 174586 30 13733 3888 5013 3259 6.80 19.99/20.03 c 22258 486 2810 77324 27 7000 4277 2134 3257 6.83 19.99/20.03 c 22508 465 3249 94752 29 8080 4705 2573 3261 6.90 19.99/20.03 c 22984 465 4164 126466 30 10208 5176 3488 3282 7.00 19.99/20.03 c 23798 445 5700 183248 32 13765 5694 5024 3277 7.26 19.99/20.03 c 25118 445 4895 157925 32 11771 6264 4219 3268 7.68 19.99/20.03 c 27200 445 5243 173305 33 12448 6891 4567 3313 8.21 19.99/20.03 c 30423 445 7467 251638 33 17496 7581 6791 3252 9.35 19.99/20.03 c 35359 445 4652 135309 29 11652 8340 3976 3113 11.36 19.99/20.03 c 42865 445 5223 158414 30 12463 9175 4547 2958 14.49 19.99/20.03 o 2 19.99/20.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 19.99/20.03 c 52072 445 8438 280503 33 20772 3875 7762 2600 20.03 19.99/20.03 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 -x50 -x51 x52 -x53 -x54 x55 -x56 -x57 x58 -x59 -x60 -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 -x61 x62 x63 x64 -x65 -x66 -x109 -x110 -x111 -x112 -x113 -x114 -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 -x67 x68 x69 -x70 -x71 -x72 x115 -x116 -x117 -x118 -x119 -x120 -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 -x73 x74 x75 -x76 -x77 -x78 x121 x122 -x123 -x124 -x125 -x126 -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 -x79 x80 -x81 -x82 x83 -x84 -x127 -x128 -x129 -x130 -x131 -x132 -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 -x85 x86 -x87 x88 x89 -x90 x133 -x134 -x135 -x136 -x137 -x138 -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 -x91 x92 x93 x94 -x95 -x96 x139 -x140 -x141 -x142 -x143 -x144 -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 -x97 x98 -x99 x100 -x101 x102 -x145 -x146 -x147 -x148 -x149 -x150 -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 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x103 x104 -x105 x106 x107 x108 x151 -x152 x153 -x154 -x155 -x156 -x451 x452 -x453 x454 x455 x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 x472 x473 x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x157 -x158 -x159 x160 -x161 -x162 19.99/20.03 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 19.99/20.03 c 28 52072 2314 63058 8438 280503 7762 2600 20.03 19.99/20.03 c Objective: 2 19.99/20.03 s OPTIMUM FOUND 19.99/20.03 c Total time: 20.026 s
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670433-1276702218/watcher-2670433-1276702218 -o /tmp/evaluation-result-2670433-1276702218/solver-2670433-1276702218 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670433-1276702218.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.97 3/106 17906 /proc/meminfo: memFree=1701468/2059040 swapFree=4192956/4192956 [pid=17906] ppid=17904 vsize=10924 CPUtime=0 /proc/17906/stat : 17906 (bsolo_pb10) R 17904 17906 17561 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 11514089 11186176 277 1992294400 134512640 137138936 4288628720 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17906/statm: 2731 279 185 642 0 2087 0 [startup+0.0554351 s] /proc/loadavg: 1.00 1.00 0.97 3/106 17906 /proc/meminfo: memFree=1701468/2059040 swapFree=4192956/4192956 [pid=17906] ppid=17904 vsize=11180 CPUtime=0.05 /proc/17906/stat : 17906 (bsolo_pb10) R 17904 17906 17561 0 -1 4202496 440 0 0 0 5 0 0 0 20 0 1 0 11514089 11448320 352 1992294400 134512640 137138936 4288628720 18446744073709551615 134618174 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17906/statm: 2795 353 192 642 0 2151 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 11180 [startup+0.101442 s] /proc/loadavg: 1.00 1.00 0.97 3/106 17906 /proc/meminfo: memFree=1701468/2059040 swapFree=4192956/4192956 [pid=17906] ppid=17904 vsize=11436 CPUtime=0.09 /proc/17906/stat : 17906 (bsolo_pb10) R 17904 17906 17561 0 -1 4202496 507 0 0 0 9 0 0 0 20 0 1 0 11514089 11710464 419 1992294400 134512640 137138936 4288628720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17906/statm: 2859 420 192 642 0 2215 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11436 [startup+0.301478 s] /proc/loadavg: 1.00 1.00 0.97 3/106 17906 /proc/meminfo: memFree=1701468/2059040 swapFree=4192956/4192956 [pid=17906] ppid=17904 vsize=12476 CPUtime=0.29 /proc/17906/stat : 17906 (bsolo_pb10) R 17904 17906 17561 0 -1 4202496 773 0 0 0 29 0 0 0 20 0 1 0 11514089 12775424 685 1992294400 134512640 137138936 4288628720 18446744073709551615 134575850 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17906/statm: 3119 685 192 642 0 2475 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12476 [startup+0.700551 s] /proc/loadavg: 1.00 1.00 0.97 3/106 17906 /proc/meminfo: memFree=1701468/2059040 swapFree=4192956/4192956 [pid=17906] ppid=17904 vsize=14152 CPUtime=0.69 /proc/17906/stat : 17906 (bsolo_pb10) R 17904 17906 17561 0 -1 4202496 1202 0 0 0 68 1 0 0 20 0 1 0 11514089 14491648 1114 1992294400 134512640 137138936 4288628720 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17906/statm: 3538 1114 192 642 0 2894 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14152 [startup+1.5007 s] /proc/loadavg: 1.00 1.00 0.97 2/107 17907 /proc/meminfo: memFree=1696624/2059040 swapFree=4192956/4192956 [pid=17906] ppid=17904 vsize=15436 CPUtime=1.49 /proc/17906/stat : 17906 (bsolo_pb10) R 17904 17906 17561 0 -1 4202496 1513 0 0 0 148 1 0 0 22 0 1 0 11514089 15806464 1425 1992294400 134512640 137138936 4288628720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17906/statm: 3859 1425 192 642 0 3215 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15436 [startup+3.10099 s] /proc/loadavg: 1.00 1.00 0.97 2/107 17907 /proc/meminfo: memFree=1696128/2059040 swapFree=4192956/4192956 [pid=17906] ppid=17904 vsize=16192 CPUtime=3.09 /proc/17906/stat : 17906 (bsolo_pb10) R 17904 17906 17561 0 -1 4202496 1689 0 0 0 307 2 0 0 25 0 1 0 11514089 16580608 1601 1992294400 134512640 137138936 4288628720 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17906/statm: 4048 1601 192 642 0 3404 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16192 [startup+6.30057 s] /proc/loadavg: 1.00 1.00 0.97 2/107 17907 /proc/meminfo: memFree=1695508/2059040 swapFree=4192956/4192956 [pid=17906] ppid=17904 vsize=16188 CPUtime=6.28 /proc/17906/stat : 17906 (bsolo_pb10) R 17904 17906 17561 0 -1 4202496 1689 0 0 0 625 3 0 0 25 0 1 0 11514089 16576512 1601 1992294400 134512640 137138936 4288628720 18446744073709551615 136502620 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17906/statm: 4047 1601 192 642 0 3403 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 16188 [startup+12.7007 s] /proc/loadavg: 1.00 1.00 0.97 2/107 17907 /proc/meminfo: memFree=1695508/2059040 swapFree=4192956/4192956 [pid=17906] ppid=17904 vsize=16188 CPUtime=12.68 /proc/17906/stat : 17906 (bsolo_pb10) R 17904 17906 17561 0 -1 4202496 1689 0 0 0 1262 6 0 0 25 0 1 0 11514089 16576512 1601 1992294400 134512640 137138936 4288628720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17906/statm: 4047 1601 192 642 0 3403 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 16188 Solver just ended. Dumping a history of the last processes samples [startup+15.9003 s] /proc/loadavg: 1.00 1.00 0.97 2/107 17907 /proc/meminfo: memFree=1695508/2059040 swapFree=4192956/4192956 [pid=17906] ppid=17904 vsize=16316 CPUtime=15.88 /proc/17906/stat : 17906 (bsolo_pb10) R 17904 17906 17561 0 -1 4202496 1737 0 0 0 1581 7 0 0 25 0 1 0 11514089 16707584 1649 1992294400 134512640 137138936 4288628720 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17906/statm: 4079 1649 192 642 0 3435 0 Current children cumulated CPU time (s) 15.88 Current children cumulated vsize (KiB) 16316 [startup+17.5006 s] /proc/loadavg: 1.00 1.00 0.97 2/107 17907 /proc/meminfo: memFree=1695384/2059040 swapFree=4192956/4192956 [pid=17906] ppid=17904 vsize=16316 CPUtime=17.49 /proc/17906/stat : 17906 (bsolo_pb10) R 17904 17906 17561 0 -1 4202496 1737 0 0 0 1742 7 0 0 25 0 1 0 11514089 16707584 1649 1992294400 134512640 137138936 4288628720 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17906/statm: 4079 1649 192 642 0 3435 0 Current children cumulated CPU time (s) 17.49 Current children cumulated vsize (KiB) 16316 [startup+19.1009 s] /proc/loadavg: 1.00 1.00 0.97 2/107 17907 /proc/meminfo: memFree=1695384/2059040 swapFree=4192956/4192956 [pid=17906] ppid=17904 vsize=16316 CPUtime=19.09 /proc/17906/stat : 17906 (bsolo_pb10) R 17904 17906 17561 0 -1 4202496 1737 0 0 0 1901 8 0 0 25 0 1 0 11514089 16707584 1649 1992294400 134512640 137138936 4288628720 18446744073709551615 136295502 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17906/statm: 4079 1649 192 642 0 3435 0 Current children cumulated CPU time (s) 19.09 Current children cumulated vsize (KiB) 16316 [startup+19.501 s] /proc/loadavg: 1.00 1.00 0.97 2/107 17907 /proc/meminfo: memFree=1695384/2059040 swapFree=4192956/4192956 [pid=17906] ppid=17904 vsize=16316 CPUtime=19.49 /proc/17906/stat : 17906 (bsolo_pb10) R 17904 17906 17561 0 -1 4202496 1737 0 0 0 1941 8 0 0 25 0 1 0 11514089 16707584 1649 1992294400 134512640 137138936 4288628720 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17906/statm: 4079 1649 192 642 0 3435 0 Current children cumulated CPU time (s) 19.49 Current children cumulated vsize (KiB) 16316 [startup+19.901 s] /proc/loadavg: 1.00 1.00 0.97 2/107 17907 /proc/meminfo: memFree=1695384/2059040 swapFree=4192956/4192956 [pid=17906] ppid=17904 vsize=16316 CPUtime=19.89 /proc/17906/stat : 17906 (bsolo_pb10) R 17904 17906 17561 0 -1 4202496 1737 0 0 0 1981 8 0 0 25 0 1 0 11514089 16707584 1649 1992294400 134512640 137138936 4288628720 18446744073709551615 134599681 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17906/statm: 4079 1649 192 642 0 3435 0 Current children cumulated CPU time (s) 19.89 Current children cumulated vsize (KiB) 16316 [startup+20.0011 s] /proc/loadavg: 1.00 1.00 0.97 2/107 17907 /proc/meminfo: memFree=1695384/2059040 swapFree=4192956/4192956 [pid=17906] ppid=17904 vsize=16316 CPUtime=19.99 /proc/17906/stat : 17906 (bsolo_pb10) R 17904 17906 17561 0 -1 4202496 1737 0 0 0 1991 8 0 0 25 0 1 0 11514089 16707584 1649 1992294400 134512640 137138936 4288628720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17906/statm: 4079 1649 192 642 0 3435 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (KiB) 16316 Child status: 0 Real time (s): 20.0352 CPU time (s): 20.029 CPU user time (s): 19.945 CPU system time (s): 0.083987 CPU usage (%): 99.9687 Max. virtual memory (cumulated for all children) (KiB): 16316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19.945 system time used= 0.083987 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1738 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= 33 runsolver used 0.038994 second user time and 0.099984 second system time The end
Begin job on node044 at 2010-06-16 17:30:18 IDJOB=2670433 IDBENCH=47933 IDSOLVER=1162 FILE ID=node044/2670433-1276702218 PBS_JOBID= 11174099 Free space on /tmp= 62588 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=6-P0=11-P1=37-P2=59-P3=23-P4=53-P5=31-P6=59-P7=29-P8=2-P9=67-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670433-1276702218/watcher-2670433-1276702218 -o /tmp/evaluation-result-2670433-1276702218/solver-2670433-1276702218 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670433-1276702218.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 48d9b1801c3e1b4883cb62109d96eb3c RANDOM SEED=40355874 node044.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.266 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.53 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.266 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1704292 kB Buffers: 79664 kB Cached: 147064 kB SwapCached: 0 kB Active: 127104 kB Inactive: 158944 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1704292 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4032 kB Writeback: 0 kB AnonPages: 59340 kB Mapped: 15384 kB Slab: 46884 kB PageTables: 3992 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180640 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-2670433-1276702218.opb Free space on /tmp at the end= 62584 MiB End job on node044 at 2010-06-16 17:30:38