Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | -33 | 1798.05 | 1798.47 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb |
MD5SUM | f408a60720d5bae3e36cea0c41e2f7f1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -35 |
Best CPU time to get the best result obtained on this benchmark | 1789.63 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -39 |
Optimality of the best value was proved | NO |
Number of variables | 760 |
Total number of constraints | 41619 |
Number of constraints which are clauses | 41619 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 760 |
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 | 760 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 760 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2657476-1276489822.opb 0.00/0.00 c File size is 994325 bytes. 0.09/0.16 c Highest Coefficient sum: 760 0.09/0.16 c Parsing was ok!! 0.09/0.16 c Total parsing time: 0.161 s 0.09/0.17 c Var: 760 Constr: 41619 41619/0/0 Lit: 83238 Watch. Lit: 83238 0.09/0.17 c Obj. Vars: 760 (100 % of total variables) 0.79/0.89 c Pre-processing Time: 0.895 s 0.79/0.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.89 c 0 760 41619 83238 2 83238 13872 0 0 0.90 0.79/0.89 c Switching off lower bounding mode. 0.89/0.90 o -27 0.89/0.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.90 c 0 760 41620 83998 2 83267 14872 1 0 0.90 0.89/0.90 o -28 0.89/0.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.95 c 1 760 41622 85490 2 83299 14872 3 1 0.91 0.89/0.95 o -29 0.99/1.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.01 c 98 760 41720 156891 3 83524 14872 101 102 0.95 0.99/1.01 c 199 760 41821 230255 5 83726 16360 202 197 1.01 0.99/1.01 o -30 1.99/2.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.08 c 199 760 41822 231015 5 83758 14872 203 196 1.01 1.99/2.08 c 301 760 41924 305135 7 83962 16360 305 282 1.07 1.99/2.08 c 551 760 42174 486679 11 84462 17997 555 454 1.21 1.99/2.08 c 1026 760 42649 831700 19 85412 19797 1030 674 1.52 1.99/2.08 c 1839 760 43462 1422014 32 87038 21777 1843 891 2.06 1.99/2.08 o -31 750.82/751.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 750.82/751.05 c 1867 760 43491 1443120 33 87127 14872 1872 896 2.08 750.82/751.05 c 1968 760 43592 1516313 34 87329 16360 1973 917 2.15 750.82/751.05 c 2218 760 43842 1697734 38 87829 17997 2223 965 2.30 750.82/751.05 c 2693 760 44317 2041975 46 88779 19797 2698 1021 2.64 750.82/751.05 c 3506 760 45130 2631555 58 90405 21777 3511 1068 3.28 750.82/751.05 c 4827 760 46451 3589163 77 93047 23955 4832 1051 4.59 750.82/751.05 c 6909 760 48533 5098426 105 97211 26351 6914 1012 6.82 750.82/751.05 c 10132 760 51756 7435731 143 103657 28987 10137 842 12.03 750.82/751.05 c 15068 760 56692 11014240 194 113529 31886 15073 620 24.30 750.82/751.05 c 22574 760 64198 16453656 256 128541 35075 22579 551 40.91 750.82/751.05 c 33935 760 75559 24686141 326 151263 38583 33940 483 70.21 750.82/751.05 c 51079 760 64742 16838530 260 129515 42442 23123 400 127.42 750.82/751.05 c 76899 760 58845 12556375 213 117721 46687 17226 325 236.40 750.82/751.05 c 115732 760 61846 14743053 238 123723 51356 20227 277 416.71 750.82/751.05 c 174086 760 79774 27742869 347 159579 56492 38155 242 718.68 750.82/751.05 o -32 1558.03/1558.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1558.03/1558.46 c 186138 760 91827 36484857 397 183717 14872 50208 247 750.88 1558.03/1558.46 c 186238 760 49156 5549358 112 98344 16360 7537 244 762.87 1558.03/1558.46 c 186488 760 49406 5730214 115 98844 17997 7787 244 763.31 1558.03/1558.46 c 186963 760 49881 6073609 121 99794 19797 8262 244 763.75 1558.03/1558.46 c 187776 760 50694 6661944 131 101420 21777 9075 245 764.80 1558.03/1558.46 c 189096 760 52014 7615573 146 104060 23955 10395 246 765.99 1558.03/1558.46 c 191177 760 54095 9121377 168 108222 26351 12476 248 768.39 1558.03/1558.46 c 194400 760 57318 11453756 199 114668 28987 15699 250 776.58 1558.03/1558.46 c 199338 760 62256 15028531 241 124544 31886 20637 254 784.73 1558.03/1558.46 c 206844 760 69762 20460004 293 139556 35075 28143 258 798.95 1558.03/1558.46 c 218206 760 56600 10926257 193 113232 38583 14981 262 832.54 1558.03/1558.46 c 235350 760 73744 23339555 316 147520 42442 32125 268 876.56 1558.03/1558.47 c 261169 760 67809 19042165 280 135650 46687 26190 264 986.87 1558.03/1558.47 c 300001 760 70799 21204049 299 141630 51356 29180 262 1141.14 1558.03/1558.47 c 358354 760 88783 34218534 385 177598 56492 47164 230 1556.26 1558.03/1558.47 o -33 1797.98/1798.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.98/1798.42 c 358904 760 89334 34617375 387 178733 14872 47715 230 1558.11 1797.98/1798.42 c 359004 760 49156 5533293 112 98345 16360 7537 228 1572.44 1797.98/1798.42 c 359255 760 49407 5714732 115 98847 17997 7788 228 1572.66 1797.98/1798.42 c 359730 760 49882 6057951 121 99797 19797 8263 228 1573.05 1797.98/1798.42 c 360543 760 50695 6646030 131 101423 21777 9076 229 1573.92 1797.98/1798.42 c 361863 760 52015 7600996 146 104063 23955 10396 229 1575.42 1797.98/1798.42 c 363944 760 54096 9104852 168 108225 26351 12477 230 1577.40 1797.98/1798.42 c 367168 760 57320 11435330 199 114673 28987 15701 232 1581.59 1797.98/1798.42 c 372104 760 62256 15002618 240 124545 31886 20637 234 1589.90 1797.98/1798.42 c 379611 760 69763 20429118 292 139559 35075 28144 236 1604.54 1797.98/1798.42 c 390972 760 56584 10900854 192 113201 38583 14965 239 1635.41 1797.98/1798.42 c 408117 760 73729 23297857 315 147491 42442 32110 243 1677.65 1797.98/1798.42 c 433936 760 67837 19028202 280 135707 46687 26218 244 1772.30 1797.98/1798.42 c Resources Exceeded 1797.98/1798.42 v -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 x518 -x517 -x516 -x515 -x514 -x513 x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 x308 -x307 -x306 -x305 -x304 -x303 x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 -x1 1797.98/1798.42 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.98/1798.42 c 52 442800 35943 487076 76701 25436104 35082 246 1798.00 1797.98/1798.42 c Objective: -33 1797.98/1798.42 s SATISFIABLE 1797.98/1798.42 c Total time: 1798 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-2657476-1276489822/watcher-2657476-1276489822 -o /tmp/evaluation-result-2657476-1276489822/solver-2657476-1276489822 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657476-1276489822.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/106 26879 /proc/meminfo: memFree=1804204/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=11900 CPUtime=0 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 349 0 0 0 0 0 0 0 18 0 1 0 24586102 12185600 268 1992294400 134512640 137138936 4287544192 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 2975 268 176 642 0 2088 0 [startup+0.0993441 s] /proc/loadavg: 1.00 1.00 1.00 3/106 26879 /proc/meminfo: memFree=1804204/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=14104 CPUtime=0.09 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 1046 0 0 0 9 0 0 0 20 0 1 0 24586102 14442496 965 1992294400 134512640 137138936 4287544192 18446744073709551615 136525339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 3526 966 310 642 0 2639 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14104 [startup+0.100345 s] /proc/loadavg: 1.00 1.00 1.00 3/106 26879 /proc/meminfo: memFree=1804204/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=14104 CPUtime=0.09 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 1054 0 0 0 9 0 0 0 20 0 1 0 24586102 14442496 973 1992294400 134512640 137138936 4287544192 18446744073709551615 136525315 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 3526 973 311 642 0 2639 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14104 [startup+0.300361 s] /proc/loadavg: 1.00 1.00 1.00 3/106 26879 /proc/meminfo: memFree=1804204/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=18092 CPUtime=0.29 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 2414 0 0 0 29 0 0 0 20 0 1 0 24586102 18526208 2090 1992294400 134512640 137138936 4287544192 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 4523 2090 185 642 0 3879 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18092 [startup+0.700393 s] /proc/loadavg: 1.00 1.00 1.00 3/106 26879 /proc/meminfo: memFree=1804204/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=18092 CPUtime=0.69 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 2414 0 0 0 66 3 0 0 20 0 1 0 24586102 18526208 2090 1992294400 134512640 137138936 4287544192 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 4523 2090 185 642 0 3879 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18092 [startup+1.50046 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26880 /proc/meminfo: memFree=1796012/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=26116 CPUtime=1.49 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 5016 0 0 0 144 5 0 0 23 0 1 0 24586102 26742784 4103 1992294400 134512640 137138936 4287544192 18446744073709551615 134575833 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 6529 4104 191 642 0 5885 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 26116 [startup+3.10059 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26880 /proc/meminfo: memFree=1779892/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=47584 CPUtime=3.09 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 10382 0 0 0 301 8 0 0 25 0 1 0 24586102 48726016 9469 1992294400 134512640 137138936 4287544192 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 11896 9469 191 642 0 11252 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 47584 [startup+6.30185 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26882 /proc/meminfo: memFree=1744676/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=77256 CPUtime=6.29 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 17783 0 0 0 619 10 0 0 25 0 1 0 24586102 79110144 16870 1992294400 134512640 137138936 4287544192 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 19314 16870 191 642 0 18670 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 77256 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26882 /proc/meminfo: memFree=1702764/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=114936 CPUtime=12.69 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 27211 0 0 0 1254 15 0 0 25 0 1 0 24586102 117694464 26298 1992294400 134512640 137138936 4287544192 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 28734 26298 191 642 0 28090 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 114936 [startup+25.5004 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26882 /proc/meminfo: memFree=1647956/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=168108 CPUtime=25.49 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 40508 0 0 0 2525 24 0 0 25 0 1 0 24586102 172142592 39595 1992294400 134512640 137138936 4287544192 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 42027 39595 191 642 0 41383 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 168108 [startup+51.1005 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26882 /proc/meminfo: memFree=1537348/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=277860 CPUtime=51.08 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 67940 0 0 0 5066 42 0 0 25 0 1 0 24586102 284528640 67027 1992294400 134512640 137138936 4287544192 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 69465 67027 191 642 0 68821 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 277860 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26884 /proc/meminfo: memFree=1429840/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=383300 CPUtime=102.28 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 94343 0 0 0 10164 64 0 0 25 0 1 0 24586102 392499200 93391 1992294400 134512640 137138936 4287544192 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 95825 93391 191 642 0 95181 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 383300 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26886 /proc/meminfo: memFree=1429716/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=383300 CPUtime=162.26 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 94343 0 0 0 16154 72 0 0 25 0 1 0 24586102 392499200 93391 1992294400 134512640 137138936 4287544192 18446744073709551615 136500372 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 95825 93391 191 642 0 95181 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 383300 [startup+222.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26886 /proc/meminfo: memFree=1394004/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=418932 CPUtime=222.24 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 103299 0 0 0 22142 82 0 0 25 0 1 0 24586102 428986368 102304 1992294400 134512640 137138936 4287544192 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 104733 102304 191 642 0 104089 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 418932 [startup+282.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26888 /proc/meminfo: memFree=1394004/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=418932 CPUtime=282.23 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 103299 0 0 0 28134 89 0 0 25 0 1 0 24586102 428986368 102304 1992294400 134512640 137138936 4287544192 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 104733 102304 191 642 0 104089 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 418932 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26890 /proc/meminfo: memFree=1390036/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=423596 CPUtime=342.21 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 104442 0 0 0 34126 95 0 0 25 0 1 0 24586102 433762304 103447 1992294400 134512640 137138936 4287544192 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 105899 103447 191 642 0 105255 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 423596 [startup+402.301 s] /proc/loadavg: 1.05 1.01 1.00 2/107 26892 /proc/meminfo: memFree=1354076/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=458708 CPUtime=402.2 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 113261 0 0 0 40114 106 0 0 25 0 1 0 24586102 469716992 112219 1992294400 134512640 137138936 4287544192 18446744073709551615 134542330 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 114677 112219 191 642 0 114033 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 458708 [startup+462.301 s] /proc/loadavg: 1.06 1.02 1.00 2/107 26894 /proc/meminfo: memFree=1354076/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=458708 CPUtime=462.18 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 113261 0 0 0 46104 114 0 0 25 0 1 0 24586102 469716992 112219 1992294400 134512640 137138936 4287544192 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 114677 112219 191 642 0 114033 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 458708 [startup+522.301 s] /proc/loadavg: 1.06 1.03 1.00 2/107 26894 /proc/meminfo: memFree=1353952/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=458708 CPUtime=522.17 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 113261 0 0 0 52099 118 0 0 25 0 1 0 24586102 469716992 112219 1992294400 134512640 137138936 4287544192 18446744073709551615 134542313 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 114677 112219 191 642 0 114033 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 458708 [startup+582.301 s] /proc/loadavg: 1.05 1.04 1.00 2/107 26896 /proc/meminfo: memFree=1310180/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=502352 CPUtime=582.16 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 124233 0 0 0 58086 130 0 0 25 0 1 0 24586102 514408448 123140 1992294400 134512640 137138936 4287544192 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 125588 123140 191 642 0 124944 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 502352 [startup+642.301 s] /proc/loadavg: 1.05 1.04 1.00 2/107 26898 /proc/meminfo: memFree=1310180/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=502352 CPUtime=642.15 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 124233 0 0 0 64078 137 0 0 25 0 1 0 24586102 514408448 123140 1992294400 134512640 137138936 4287544192 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 125588 123140 191 642 0 124944 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 502352 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=1317868/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=493772 CPUtime=1122.03 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 124233 0 0 0 112012 191 0 0 25 0 1 0 24586102 505622528 121018 1992294400 134512640 137138936 4287544192 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 123443 121018 191 642 0 122799 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 493772 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26912 /proc/meminfo: memFree=1322704/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=489032 CPUtime=1182.01 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 124233 0 0 0 118003 198 0 0 25 0 1 0 24586102 500768768 119833 1992294400 134512640 137138936 4287544192 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 122258 119833 191 642 0 121614 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 489032 [startup+1242.3 s] /proc/loadavg: 1.08 1.02 1.01 2/107 26914 /proc/meminfo: memFree=1310056/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=502084 CPUtime=1242 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 127464 0 0 0 123994 206 0 0 25 0 1 0 24586102 514134016 123064 1992294400 134512640 137138936 4287544192 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 125521 123064 191 642 0 124877 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 502084 [startup+1302.3 s] /proc/loadavg: 1.03 1.01 1.00 2/107 26916 /proc/meminfo: memFree=1309932/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=502084 CPUtime=1301.99 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 127464 0 0 0 129987 212 0 0 25 0 1 0 24586102 514134016 123064 1992294400 134512640 137138936 4287544192 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 125521 123064 191 642 0 124877 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 502084 [startup+1362.3 s] /proc/loadavg: 1.01 1.00 1.00 2/107 26918 /proc/meminfo: memFree=1309932/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=502084 CPUtime=1361.97 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 127464 0 0 0 135982 215 0 0 25 0 1 0 24586102 514134016 123064 1992294400 134512640 137138936 4287544192 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 125521 123064 191 642 0 124877 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 502084 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26918 /proc/meminfo: memFree=1309932/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=502084 CPUtime=1421.97 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 127464 0 0 0 141978 219 0 0 25 0 1 0 24586102 514134016 123064 1992294400 134512640 137138936 4287544192 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 125521 123064 191 642 0 124877 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 502084 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26920 /proc/meminfo: memFree=1309808/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=502084 CPUtime=1481.95 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 127464 0 0 0 147973 222 0 0 25 0 1 0 24586102 514134016 123064 1992294400 134512640 137138936 4287544192 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 125521 123064 191 642 0 124877 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 502084 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26922 /proc/meminfo: memFree=1309808/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=502084 CPUtime=1541.93 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 127464 0 0 0 153969 224 0 0 25 0 1 0 24586102 514134016 123064 1992294400 134512640 137138936 4287544192 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 125521 123064 191 642 0 124877 0 Current children cumulated CPU time (s) 1541.93 Current children cumulated vsize (KiB) 502084 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26924 /proc/meminfo: memFree=1309684/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=502084 CPUtime=1601.92 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 127464 0 0 0 159962 230 0 0 25 0 1 0 24586102 514134016 123064 1992294400 134512640 137138936 4287544192 18446744073709551615 134575454 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 125521 123064 191 642 0 124877 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 502084 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26926 /proc/meminfo: memFree=1309684/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=502084 CPUtime=1661.91 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 127464 0 0 0 165952 239 0 0 25 0 1 0 24586102 514134016 123064 1992294400 134512640 137138936 4287544192 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 125521 123064 191 642 0 124877 0 Current children cumulated CPU time (s) 1661.91 Current children cumulated vsize (KiB) 502084 [startup+1722.3 s] /proc/loadavg: 1.09 1.03 1.01 2/107 26926 /proc/meminfo: memFree=1309560/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=502084 CPUtime=1721.89 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 127464 0 0 0 171943 246 0 0 25 0 1 0 24586102 514134016 123064 1992294400 134512640 137138936 4287544192 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 125521 123064 191 642 0 124877 0 Current children cumulated CPU time (s) 1721.89 Current children cumulated vsize (KiB) 502084 [startup+1782.3 s] /proc/loadavg: 1.03 1.02 1.00 2/107 26928 /proc/meminfo: memFree=1309312/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=502084 CPUtime=1781.87 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 127464 0 0 0 177933 254 0 0 25 0 1 0 24586102 514134016 123064 1992294400 134512640 137138936 4287544192 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 125521 123064 191 642 0 124877 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 502084 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.03 1.02 1.00 2/107 26928 /proc/meminfo: memFree=1309312/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=502084 CPUtime=1791.48 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 127464 0 0 0 178893 255 0 0 25 0 1 0 24586102 514134016 123064 1992294400 134512640 137138936 4287544192 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 125521 123064 191 642 0 124877 0 Current children cumulated CPU time (s) 1791.48 Current children cumulated vsize (KiB) 502084 [startup+1795.1 s] /proc/loadavg: 1.02 1.02 1.00 2/107 26928 /proc/meminfo: memFree=1309312/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=502084 CPUtime=1794.68 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 127464 0 0 0 179212 256 0 0 25 0 1 0 24586102 514134016 123064 1992294400 134512640 137138936 4287544192 18446744073709551615 136296975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 125521 123064 191 642 0 124877 0 Current children cumulated CPU time (s) 1794.68 Current children cumulated vsize (KiB) 502084 [startup+1796.7 s] /proc/loadavg: 1.02 1.02 1.00 2/107 26928 /proc/meminfo: memFree=1309312/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=502084 CPUtime=1796.27 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 127464 0 0 0 179371 256 0 0 25 0 1 0 24586102 514134016 123064 1992294400 134512640 137138936 4287544192 18446744073709551615 134542627 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 125521 123064 191 642 0 124877 0 Current children cumulated CPU time (s) 1796.27 Current children cumulated vsize (KiB) 502084 [startup+1797.5 s] /proc/loadavg: 1.02 1.02 1.00 2/107 26928 /proc/meminfo: memFree=1309312/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=502084 CPUtime=1797.07 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 127464 0 0 0 179451 256 0 0 25 0 1 0 24586102 514134016 123064 1992294400 134512640 137138936 4287544192 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 125521 123064 191 642 0 124877 0 Current children cumulated CPU time (s) 1797.07 Current children cumulated vsize (KiB) 502084 [startup+1797.9 s] /proc/loadavg: 1.02 1.02 1.00 2/107 26928 /proc/meminfo: memFree=1309312/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=502084 CPUtime=1797.47 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 127464 0 0 0 179491 256 0 0 25 0 1 0 24586102 514134016 123064 1992294400 134512640 137138936 4287544192 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 125521 123064 191 642 0 124877 0 Current children cumulated CPU time (s) 1797.47 Current children cumulated vsize (KiB) 502084 [startup+1798.3 s] /proc/loadavg: 1.02 1.02 1.00 2/107 26928 /proc/meminfo: memFree=1309312/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=502084 CPUtime=1797.87 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 127464 0 0 0 179531 256 0 0 25 0 1 0 24586102 514134016 123064 1992294400 134512640 137138936 4287544192 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 125521 123064 191 642 0 124877 0 Current children cumulated CPU time (s) 1797.87 Current children cumulated vsize (KiB) 502084 [startup+1798.4 s] /proc/loadavg: 1.02 1.02 1.00 2/107 26928 /proc/meminfo: memFree=1309312/2059040 swapFree=4140200/4192956 [pid=26879] ppid=26877 vsize=502084 CPUtime=1797.98 /proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 127464 0 0 0 179542 256 0 0 25 0 1 0 24586102 514134016 123064 1992294400 134512640 137138936 4287544192 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 125521 123064 191 642 0 124877 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (KiB) 502084 Child status: 0 Real time (s): 1798.47 CPU time (s): 1798.05 CPU user time (s): 1795.44 CPU system time (s): 2.6166 CPU usage (%): 99.9767 Max. virtual memory (cumulated for all children) (KiB): 502352 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.44 system time used= 2.6166 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 127465 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= 4862 runsolver used 2.84157 second user time and 8.61969 second system time The end
Begin job on node003 at 2010-06-14 06:30:22 IDJOB=2657476 IDBENCH=2240 IDSOLVER=1163 FILE ID=node003/2657476-1276489822 PBS_JOBID= 11173385 Free space on /tmp= 62572 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657476-1276489822/watcher-2657476-1276489822 -o /tmp/evaluation-result-2657476-1276489822/solver-2657476-1276489822 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657476-1276489822.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f408a60720d5bae3e36cea0c41e2f7f1 RANDOM SEED=1543560389 node003.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.251 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.50 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.251 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1804608 kB Buffers: 69664 kB Cached: 105856 kB SwapCached: 5688 kB Active: 96760 kB Inactive: 91200 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1804608 kB SwapTotal: 4192956 kB SwapFree: 4140200 kB Dirty: 4852 kB Writeback: 0 kB AnonPages: 10928 kB Mapped: 13052 kB Slab: 44708 kB PageTables: 3900 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182128 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62568 MiB End job on node003 at 2010-06-14 07:00:20