Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | Wrong Cert. | 1800.04 | 1800.65 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_25_4.opb |
MD5SUM | 95ae68c901d0b7917be5b837e9e56612 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -78 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -78 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
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 | 500 |
Minimum length of a constraint | 25 |
Maximum length of a constraint | 49 |
Number of terms in the objective function | 500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 15754 |
Sum of products size (including duplicates) | 31508 |
Number of different products | 7877 |
Sum of products size | 15754 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/454740-1178030304/instance-454740-1178030304.opb 0.00/0.00 c File size is 203674 bytes. 0.04/0.09 c Highest Coefficient sum: 500 0.04/0.09 c Parsing was ok!! 0.04/0.09 c Total parsing time: 0.091 s 0.09/0.12 c Var: 16254 Constr: 32508 16254/500/15754 Lit: 126032 Watch. Lit: 94524 0.09/0.12 c Obj. Vars: 500 (3.07617 % of total variables) 0.49/0.56 c Pre-processing Time: 0.563 s 0.49/0.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.56 c 0 500 7877 23631 3 15754 2625 0 0 0.56 0.49/0.56 c Switching off LPR mode. 0.49/0.57 o -60 0.567 0.49/0.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.57 c 0 500 7878 24131 3 15816 3625 1 0 0.57 0.49/0.57 o -61 0.571 1.09/1.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.12 c 10 500 7889 29010 3 15899 3625 12 17 0.57 1.09/1.12 c 111 500 7990 73030 9 16101 3988 113 185 0.60 1.09/1.12 c 361 500 8240 182004 22 16601 4387 363 536 0.67 1.09/1.12 c 837 500 8716 389499 44 17553 4826 839 1012 0.83 1.09/1.12 c 1651 500 9530 744143 78 19181 5309 1653 1482 1.11 1.09/1.12 o -62 1.123 1800.00/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.00/1800.60 c 1665 500 9545 750743 78 19273 3625 1668 1481 1.12 1800.00/1800.60 c 1765 500 9645 794232 82 19473 3988 1768 1522 1.16 1800.00/1800.60 c 2015 500 9895 902897 91 19973 4387 2018 1612 1.25 1800.00/1800.60 c 2490 500 10370 1109413 106 20923 4826 2493 1755 1.42 1800.00/1800.60 c 3304 500 11184 1463142 130 22551 5309 3307 1725 1.92 1800.00/1800.60 c 4625 500 12505 2037084 162 25193 5840 4628 1893 2.44 1800.00/1800.60 c 6706 500 14586 2942173 201 29355 6425 6709 1952 3.43 1800.00/1800.60 c 9929 500 17809 4343886 243 35801 7068 9932 1651 6.01 1800.00/1800.60 c 14866 500 22746 6489845 285 45675 7775 14869 1500 9.91 1800.00/1800.60 c 22372 500 30252 9750477 322 60687 8553 22375 944 23.70 1800.00/1800.60 c 33733 500 21119 5778473 273 42300 9409 13242 766 44.03 1800.00/1800.60 c 50877 500 17344 4139787 238 34750 10350 9467 727 69.98 1800.00/1800.60 c 76696 500 21764 6064165 278 43590 11386 13887 627 122.18 1800.00/1800.60 c 115529 500 16765 3885089 231 33592 12525 8888 467 247.03 1800.00/1800.60 c 173882 500 30180 9718850 322 60422 13778 22303 433 401.57 1800.00/1800.60 c 261516 500 25408 7636828 300 50878 15156 17531 369 707.61 1800.00/1800.60 c 393069 500 38002 13114760 345 76066 16672 30125 360 1091.67 1800.00/1800.60 c Resources Exceeded 1800.00/1800.61 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 1800.00/1800.61 v -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 1800.00/1800.61 v -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 x80 -x81 1800.00/1800.61 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 1800.00/1800.61 v x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.00/1800.61 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.00/1800.61 v -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 1800.00/1800.61 v -x169 -x170 -x171 x172 x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.00/1800.61 v -x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.00/1800.61 v -x211 x212 -x213 x214 -x215 -x216 -x217 -x218 x219 x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 1800.00/1800.61 v x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 1800.00/1800.61 v -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 1800.00/1800.61 v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 1800.00/1800.61 v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 x313 -x314 -x315 -x316 1800.00/1800.61 v -x317 x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 x333 -x334 -x335 -x336 -x337 1800.00/1800.61 v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 1800.00/1800.61 v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 1800.00/1800.61 v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 x396 -x397 -x398 -x399 -x400 1800.00/1800.61 v x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 1800.00/1800.61 v -x422 x423 -x424 x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 x440 -x441 x442 -x443 1800.00/1800.61 v -x444 -x445 -x446 x447 -x448 -x449 x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 x464 -x465 1800.00/1800.61 v -x466 -x467 -x468 -x469 -x470 x471 -x472 -x473 -x474 x475 x476 x477 -x478 x479 -x480 x481 -x482 -x483 -x484 -x485 x486 x487 1800.00/1800.61 v -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 x496 x497 x498 -x499 -x500 c Caught signal: 15 1800.00/1800.61 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 1800.00/1800.61 v -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 1800.00/1800.61 v -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 x80 -x81 1800.00/1800.61 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 1800.00/1800.61 v x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.00/1800.61 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.00/1800.61 v -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 1800.00/1800.61 v -x169 -x170 -x171 x172 x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.00/1800.61 v -x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.00/1800.61 v -x211 x212 -x213 x214 -x215 -x216 -x217 -x218 x219 x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 1800.00/1800.61 v x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 1800.00/1800.61 v -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 1800.00/1800.61 v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 1800.00/1800.61 v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 x313 -x314 -x315 -x316 1800.00/1800.61 v -x317 x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 x333 -x334 -x335 -x336 -x337 1800.00/1800.61 v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 1800.00/1800.61 v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 1800.00/1800.61 v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 x396 -x397 -x398 -x399 -x400 1800.00/1800.61 v x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 1800.00/1800.61 v -x422 x423 -x424 x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 x440 -x441 x442 -x443 1800.00/1800.61 v -x444 -x445 -x446 x447 -x448 -x449 x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 x464 -x465 1800.00/1800.61 v -x466 -x467 -x468 -x469 -x470 x471 -x472 -x473 -x474 x475 x476 x477 -x478 x479 -x480 x481 -x482 -x483 -x484 -x485 x486 x487 1800.00/1800.61 v -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 x496 x497 x498 -x499 -x500 1800.00/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.00/1800.61 c 23 574916 77123 684261 23444 6793112 15567 319 1800.00 1800.00/1800.61 c Objective: -62 1800.00/1800.61 s SATISFIABLE 1800.00/1800.61 c Total time: 1800 s
ERROR: variable expected in interpretation !c
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node44/watcher-454740-1178030304 -o ROOT/results/node44/solver-454740-1178030304 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454740-1178030304/instance-454740-1178030304.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 1.00 0.99 3/77 15818 /proc/meminfo: memFree=1853400/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=11936 CPUtime=0 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 250942120 12222464 336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 2984 336 281 324 0 2003 0 [startup+0.0483001 s] /proc/loadavg: 0.92 1.00 0.99 3/77 15818 /proc/meminfo: memFree=1853400/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=6588 CPUtime=0.04 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 1012 0 0 0 4 0 0 0 18 0 1 0 250942120 6746112 981 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 1647 982 316 324 0 666 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 6588 [startup+0.101304 s] /proc/loadavg: 0.92 1.00 0.99 3/77 15818 /proc/meminfo: memFree=1853400/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=8976 CPUtime=0.09 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 1695 0 0 0 9 0 0 0 18 0 1 0 250942120 9191424 1614 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11714647 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 2244 1614 302 324 0 1313 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8976 [startup+0.301324 s] /proc/loadavg: 0.92 1.00 0.99 3/77 15818 /proc/meminfo: memFree=1853400/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=12860 CPUtime=0.29 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 2599 0 0 0 29 0 0 0 19 0 1 0 250942120 13168640 2518 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 3215 2518 307 324 0 2284 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12860 [startup+0.701366 s] /proc/loadavg: 0.92 1.00 0.99 3/77 15818 /proc/meminfo: memFree=1853400/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=15024 CPUtime=0.69 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 3346 0 0 0 67 2 0 0 23 0 1 0 250942120 15384576 3073 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 3756 3073 313 324 0 2825 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15024 [startup+1.50145 s] /proc/loadavg: 0.92 1.00 0.99 2/78 15819 /proc/meminfo: memFree=1837712/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=26320 CPUtime=1.49 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 6182 0 0 0 145 4 0 0 25 0 1 0 250942120 26951680 5909 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 6580 5910 313 324 0 5649 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 26320 [startup+3.10161 s] /proc/loadavg: 0.92 1.00 0.99 2/78 15819 /proc/meminfo: memFree=1824720/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=45340 CPUtime=3.09 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 10914 0 0 0 304 5 0 0 25 0 1 0 250942120 46428160 10641 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 11335 10642 313 324 0 10404 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 45340 [startup+6.30194 s] /proc/loadavg: 0.93 1.00 0.99 2/78 15819 /proc/meminfo: memFree=1794704/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=69804 CPUtime=6.29 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 17048 0 0 0 621 8 0 0 25 0 1 0 250942120 71479296 16775 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 17451 16775 313 324 0 16520 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 69804 [startup+12.7016 s] /proc/loadavg: 0.93 1.00 0.99 2/78 15819 /proc/meminfo: memFree=1754192/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=104564 CPUtime=12.69 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 25744 0 0 0 1255 14 0 0 25 0 1 0 250942120 107073536 25471 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 26141 25471 313 324 0 25210 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 104564 [startup+25.5019 s] /proc/loadavg: 0.95 1.00 0.99 2/78 15819 /proc/meminfo: memFree=1708496/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=148344 CPUtime=25.48 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 36694 0 0 0 2526 22 0 0 25 0 1 0 250942120 151904256 36421 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546306 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 37086 36421 313 324 0 36155 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 148344 [startup+51.1015 s] /proc/loadavg: 0.96 1.00 0.99 2/78 15819 /proc/meminfo: memFree=1708496/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=148344 CPUtime=51.08 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 36694 0 0 0 5083 25 0 0 25 0 1 0 250942120 151904256 36421 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 37086 36421 313 324 0 36155 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 148344 [startup+102.306 s] /proc/loadavg: 0.98 1.00 0.99 2/78 15819 /proc/meminfo: memFree=1702160/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=154800 CPUtime=102.27 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 38303 0 0 0 10195 32 0 0 25 0 1 0 250942120 158515200 38030 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 38700 38030 313 324 0 37769 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 154800 [startup+162.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 15819 /proc/meminfo: memFree=1690768/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=166164 CPUtime=162.24 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 41146 0 0 0 16185 39 0 0 25 0 1 0 250942120 170151936 40873 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 41541 40873 313 324 0 40610 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 166164 [startup+222.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 15821 /proc/meminfo: memFree=1690448/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=166164 CPUtime=222.23 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 41146 0 0 0 22178 45 0 0 25 0 1 0 250942120 170151936 40873 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 41541 40873 313 324 0 40610 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 166164 [startup+282.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 15821 /proc/meminfo: memFree=1690512/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=166248 CPUtime=282.21 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 41167 0 0 0 28172 49 0 0 25 0 1 0 250942120 170237952 40894 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 41562 40894 313 324 0 40631 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 166248 [startup+342.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 15821 /proc/meminfo: memFree=1684240/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=172480 CPUtime=342.19 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 42726 0 0 0 34165 54 0 0 25 0 1 0 250942120 176619520 42453 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 43120 42453 313 324 0 42189 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 172480 [startup+402.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 15821 /proc/meminfo: memFree=1683920/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=172808 CPUtime=402.18 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 42808 0 0 0 40158 60 0 0 25 0 1 0 250942120 176955392 42535 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 43202 42535 313 324 0 42271 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 172808 [startup+462.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 15821 /proc/meminfo: memFree=1677200/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=179492 CPUtime=462.16 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 44479 0 0 0 46150 66 0 0 25 0 1 0 250942120 183799808 44206 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 44873 44206 313 324 0 43942 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 179492 [startup+522.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 15821 /proc/meminfo: memFree=1676688/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=179984 CPUtime=522.15 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 44602 0 0 0 52145 70 0 0 25 0 1 0 250942120 184303616 44329 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 44996 44329 313 324 0 44065 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 179984 [startup+582.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 15821 /proc/meminfo: memFree=1677584/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=178840 CPUtime=582.12 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 44602 0 0 0 58138 74 0 0 25 0 1 0 250942120 183132160 44046 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 44710 44046 313 324 0 43779 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 178840 [startup+642.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 15821 /proc/meminfo: memFree=1677584/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=178840 CPUtime=642.11 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 44602 0 0 0 64133 78 0 0 25 0 1 0 250942120 183132160 44046 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 44710 44046 313 324 0 43779 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 178840 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 15821 /proc/meminfo: memFree=1668816/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=187644 CPUtime=822.06 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 46803 0 0 0 82115 91 0 0 25 0 1 0 250942120 192147456 46247 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 46911 46247 313 324 0 45980 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 187644 [startup+882.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 15821 /proc/meminfo: memFree=1669136/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=187068 CPUtime=882.04 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 46803 0 0 0 88110 94 0 0 25 0 1 0 250942120 191557632 46104 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 46767 46104 313 324 0 45836 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 187068 [startup+942.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 15821 /proc/meminfo: memFree=1669136/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=187068 CPUtime=942.03 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 46803 0 0 0 94103 100 0 0 25 0 1 0 250942120 191557632 46104 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 46767 46104 313 324 0 45836 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 187068 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 15821 /proc/meminfo: memFree=1669008/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=187324 CPUtime=1002 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 46865 0 0 0 100095 105 0 0 25 0 1 0 250942120 191819776 46166 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 46831 46166 313 324 0 45900 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 187324 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 15821 /proc/meminfo: memFree=1668944/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=187356 CPUtime=1061.99 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 46874 0 0 0 106090 109 0 0 25 0 1 0 250942120 191852544 46175 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 46839 46175 313 324 0 45908 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 187356 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 15821 /proc/meminfo: memFree=1660432/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=195768 CPUtime=1121.97 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 48998 0 0 0 112084 113 0 0 25 0 1 0 250942120 200466432 48266 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 48942 48266 313 324 0 48011 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 195768 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 15821 /proc/meminfo: memFree=1660496/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=195768 CPUtime=1181.96 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 48998 0 0 0 118079 117 0 0 25 0 1 0 250942120 200466432 48266 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 48942 48266 313 324 0 48011 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 195768 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 15821 /proc/meminfo: memFree=1660432/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=195768 CPUtime=1241.94 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 49038 0 0 0 124073 121 0 0 25 0 1 0 250942120 200466432 48273 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 48942 48273 313 324 0 48011 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 195768 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 15821 /proc/meminfo: memFree=1660176/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=196020 CPUtime=1301.93 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 49128 0 0 0 130069 124 0 0 25 0 1 0 250942120 200724480 48330 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 49005 48330 313 324 0 48074 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 196020 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 0.99 2/84 15887 /proc/meminfo: memFree=1658976/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=196020 CPUtime=1361.88 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 49128 0 0 0 136061 127 0 0 25 0 1 0 250942120 200724480 48330 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 49005 48330 313 324 0 48074 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 196020 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 0.99 2/78 16019 /proc/meminfo: memFree=1659984/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=195788 CPUtime=1421.79 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 49128 0 0 0 142047 132 0 0 25 0 1 0 250942120 200486912 48284 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 48947 48284 313 324 0 48016 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 195788 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 16019 /proc/meminfo: memFree=1659920/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=195916 CPUtime=1481.77 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 49189 0 0 0 148042 135 0 0 25 0 1 0 250942120 200617984 48312 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 48979 48312 313 324 0 48048 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 195916 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 16019 /proc/meminfo: memFree=1660112/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=195916 CPUtime=1541.76 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 49189 0 0 0 154038 138 0 0 25 0 1 0 250942120 200617984 48312 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 48979 48312 313 324 0 48048 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 195916 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 16019 /proc/meminfo: memFree=1659920/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=196044 CPUtime=1601.74 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 49256 0 0 0 160033 141 0 0 25 0 1 0 250942120 200749056 48346 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 49011 48346 313 324 0 48080 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 196044 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 16019 /proc/meminfo: memFree=1659920/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=196044 CPUtime=1661.73 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 49256 0 0 0 166029 144 0 0 25 0 1 0 250942120 200749056 48346 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 49011 48346 313 324 0 48080 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 196044 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 16019 /proc/meminfo: memFree=1659856/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=196020 CPUtime=1721.71 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 49289 0 0 0 172023 148 0 0 25 0 1 0 250942120 200724480 48342 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 49005 48342 313 324 0 48074 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 196020 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 16019 /proc/meminfo: memFree=1659856/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=196020 CPUtime=1781.69 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 49289 0 0 0 178017 152 0 0 25 0 1 0 250942120 200724480 48342 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 49005 48342 313 324 0 48074 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 196020 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 1.00 0.99 2/78 16019 /proc/meminfo: memFree=1659856/2055920 swapFree=4156220/4192956 [pid=15818] ppid=15816 vsize=196020 CPUtime=1800 /proc/15818/stat : 15818 (bsolo3.0.16) R 15816 15818 18803 0 -1 4194304 49322 0 0 0 179846 154 0 0 25 0 1 0 250942120 200724480 48342 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11697217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15818/statm: 49005 48342 313 324 0 48074 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 196020 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.65 CPU time (s): 1800.04 CPU user time (s): 1798.46 CPU system time (s): 1.57276 CPU usage (%): 99.9662 Max. virtual memory (cumulated for all children) (KiB): 196176 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.46 system time used= 1.57276 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 49323 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= 12 involuntary context switches= 38160 runsolver used 1.41678 second user time and 3.9364 second system time The end
Begin job on node44 on Tue May 1 14:38:24 UTC 2007 IDJOB= 454740 IDBENCH= 48217 IDSOLVER= 163 FILE ID= node44/454740-1178030304 PBS_JOBID= 4728350 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_4.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454740-1178030304/instance-454740-1178030304.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-454740-1178030304 -o ROOT/results/node44/solver-454740-1178030304 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454740-1178030304/instance-454740-1178030304.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 95ae68c901d0b7917be5b837e9e56612 RANDOM SEED= 458699768 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node44.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.234 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.234 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: 1853872 kB Buffers: 38556 kB Cached: 71116 kB SwapCached: 13816 kB Active: 90112 kB Inactive: 47796 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1853872 kB SwapTotal: 4192956 kB SwapFree: 4156220 kB Dirty: 6944 kB Writeback: 0 kB Mapped: 36112 kB Slab: 49652 kB Committed_AS: 2394568 kB PageTables: 1748 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node44 on Tue May 1 15:08:27 UTC 2007