Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | 52 | 1798.02 | 1798.55 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-alu4.b.opb |
MD5SUM | 9c27419d6022516b3a8580fda3ca43ee |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 50 |
Best CPU time to get the best result obtained on this benchmark | 42.3436 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 50 |
Optimality of the best value was proved | NO |
Number of variables | 807 |
Total number of constraints | 1823 |
Number of constraints which are clauses | 1823 |
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 | 1 |
Maximum length of a constraint | 98 |
Number of terms in the objective function | 807 |
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 | 807 |
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 | 807 |
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.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Generic Pseudo-Boolean Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1880012-1245149149.opb 0.00/0.00 c File size is 302882 bytes. 0.03/0.04 c Highest Coefficient sum: 807 0.03/0.04 c Parsing was ok!! 0.03/0.04 c Total parsing time: 0.042 s 0.03/0.04 c Var: 807 Constr: 1823 1823/0/0 Lit: 36250 Watch. Lit: 3626 0.03/0.04 c Obj. Vars: 807 (100 % of total variables) 0.09/0.12 c Formula reductions applied at preprocessing 0.09/0.12 c Pre-processing Time: 0.12 s 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 0 506 639 14285 22 1278 212 0 0 0.12 0.09/0.19 c Initial Lower Bound: 47 0.09/0.19 c Initial Path Cost: 18 0.09/0.19 o 65 1.39/1.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.46 c 0 506 640 14791 23 1739 1212 1 0 0.19 1.39/1.46 o 61 2.69/2.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.76 c 0 506 641 15297 23 2204 2212 2 0 1.46 2.69/2.76 o 60 3.99/4.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.07 c 1 506 645 16565 25 2676 2212 6 0 2.77 3.99/4.07 o 59 5.40/5.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.40/5.46 c 1 506 646 17071 26 3143 2212 7 0 4.07 5.40/5.46 o 58 6.69/6.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.69/6.78 c 2 506 650 18591 28 3617 2212 11 0 5.46 6.69/6.78 o 57 10.29/10.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.29/10.37 c 2 506 651 19097 29 4086 2212 12 0 6.78 10.29/10.37 c 107 506 927 107847 116 4638 2434 288 12 8.84 10.29/10.37 o 56 11.89/11.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.89/11.97 c 122 506 967 121454 125 5186 2212 328 11 10.37 11.89/11.97 o 55 30.38/30.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.38/30.42 c 131 506 991 127911 129 5703 2212 352 10 11.97 30.38/30.42 c 236 506 1288 222388 172 6297 2434 649 16 14.05 30.38/30.42 c 506 506 2057 465245 226 7835 2678 1418 29 17.45 30.38/30.42 c 982 506 3426 888116 259 10573 2946 2787 43 22.68 30.38/30.42 o 54 131.86/131.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 131.86/131.93 c 1781 506 3563 941255 264 8065 1212 2924 58 30.41 131.86/131.93 c 1881 506 1531 298920 195 3532 1334 892 58 32.31 131.86/131.93 c 2132 506 2273 522264 229 5016 1468 1634 60 35.39 131.86/131.93 c 2612 506 2304 525687 228 5078 1615 1665 64 40.45 131.86/131.93 c 3425 506 1860 369557 198 4190 1777 1221 71 48.03 131.86/131.93 c 4745 506 2621 597359 227 5712 1955 1982 80 59.15 131.86/131.93 c 6826 506 2224 433158 194 4918 2151 1585 88 76.73 131.86/131.93 c 10062 506 3006 703634 234 6482 2367 2367 97 102.82 131.86/131.93 o 53 342.69/342.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 342.69/342.87 c 13856 506 2585 579015 223 6111 1212 1946 105 131.90 342.69/342.87 c 13956 506 1539 272712 177 3549 1334 900 104 133.78 342.69/342.87 c 14206 506 2272 476109 209 5015 1468 1633 103 136.84 342.69/342.87 c 14684 506 2354 495304 210 5179 1615 1715 103 141.93 342.69/342.87 c 15499 506 1921 362517 188 4313 1777 1282 103 149.53 342.69/342.87 c 16822 506 1529 255816 167 3529 1955 890 103 162.34 342.69/342.87 c 18915 506 1618 277428 171 3707 2151 979 105 179.53 342.69/342.87 c 22139 506 2733 611204 223 5937 2367 2094 108 204.27 342.69/342.87 c 27075 506 3097 662206 213 6665 2604 2458 109 248.09 342.69/342.87 c 34583 506 2959 635296 214 6389 2865 2320 110 312.40 342.69/342.87 o 52 1797.96/1798.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1798.55 c 37896 506 2597 506344 194 6137 1212 1958 110 342.77 1797.96/1798.55 c 37996 506 1490 221452 148 3452 1334 851 110 344.85 1797.96/1798.55 c 38246 506 2093 359194 171 4658 1468 1454 109 348.70 1797.96/1798.55 c 38725 506 2092 344174 164 4656 1615 1453 108 355.64 1797.96/1798.55 c 39542 506 1664 244575 146 3800 1777 1025 108 365.45 1797.96/1798.55 c 40867 506 2300 384209 167 5072 1955 1661 107 380.59 1797.96/1798.55 c 42949 506 2086 327930 157 4644 2151 1447 106 401.68 1797.96/1798.55 c 46173 506 2733 474929 173 5938 2367 2094 105 438.37 1797.96/1798.55 c 51111 506 2117 340105 160 4706 2604 1478 104 489.74 1797.96/1798.55 c 58619 506 2448 409906 167 5368 2865 1809 102 569.28 1797.96/1798.55 c 69984 506 2073 322579 155 4618 3152 1434 101 689.55 1797.96/1798.55 c 87131 506 2216 381865 172 4904 3468 1577 100 869.98 1797.96/1798.55 c 112960 506 4296 803436 187 9064 3815 3657 97 1153.22 1797.96/1798.55 c 151798 506 2548 468788 183 5568 4197 1909 95 1583.75 1797.96/1798.55 c Resources Exceeded 1797.96/1798.55 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 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -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 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 -x647 -x648 -x649 x650 -x651 -x652 -x653 -x654 x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 x766 x767 x768 -x769 -x770 -x771 -x772 x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 x795 x796 -x797 -x798 -x799 -x800 -x801 x802 x803 -x804 x805 -x806 x807 1797.96/1798.55 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.55 c 44 174682 21705 238166 4454 955266 3815 97 1798.02 1797.96/1798.55 c Objective: 52 1797.96/1798.55 s SATISFIABLE 1797.96/1798.55 c Total time: 1798.02 s
OK 52
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1880012-1245149149/watcher-1880012-1245149149 -o /tmp/evaluation-result-1880012-1245149149/solver-1880012-1245149149 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880012-1245149149.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.99 3/64 4763 /proc/meminfo: memFree=1895352/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=18824 CPUtime=0 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 247 0 0 0 0 0 0 0 18 0 1 0 182514814 19275776 231 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 4706 231 174 640 0 3988 0 [startup+0.039685 s] /proc/loadavg: 0.99 0.98 0.99 3/64 4763 /proc/meminfo: memFree=1895352/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=11532 CPUtime=0.03 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 431 0 0 0 3 0 0 0 18 0 1 0 182514814 11808768 415 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 2883 415 236 640 0 2165 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11532 [startup+0.101691 s] /proc/loadavg: 0.99 0.98 0.99 3/64 4763 /proc/meminfo: memFree=1895352/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=11448 CPUtime=0.09 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 654 0 0 0 9 0 0 0 18 0 1 0 182514814 11722752 453 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 2862 453 190 640 0 2218 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11448 [startup+0.301713 s] /proc/loadavg: 0.99 0.98 0.99 3/64 4763 /proc/meminfo: memFree=1895352/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=13200 CPUtime=0.29 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 3081 0 0 0 28 1 0 0 19 0 1 0 182514814 13516800 726 1992294400 134512640 137136520 4294956256 18446744073709551615 134710081 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 3300 726 290 640 0 2656 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13200 [startup+0.701758 s] /proc/loadavg: 0.99 0.98 0.99 3/64 4763 /proc/meminfo: memFree=1895352/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=12656 CPUtime=0.69 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 10232 0 0 0 66 3 0 0 23 0 1 0 182514814 12959744 677 1992294400 134512640 137136520 4294956256 18446744073709551615 135380750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 3164 679 290 640 0 2520 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12656 [startup+1.50185 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4764 /proc/meminfo: memFree=1893808/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=13004 CPUtime=1.49 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 29533 0 0 0 140 9 0 0 25 0 1 0 182514814 13316096 775 1992294400 134512640 137136520 4294956256 18446744073709551615 135442575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 3251 775 291 640 0 2607 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13004 [startup+3.10103 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4764 /proc/meminfo: memFree=1893616/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=11732 CPUtime=3.09 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 64357 0 0 0 288 21 0 0 25 0 1 0 182514814 12013568 628 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 2933 628 293 640 0 2289 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11732 [startup+6.3014 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4764 /proc/meminfo: memFree=1893424/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=13316 CPUtime=6.29 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 143552 0 0 0 585 44 0 0 25 0 1 0 182514814 13635584 741 1992294400 134512640 137136520 4294956256 18446744073709551615 135438666 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 3329 741 293 640 0 2685 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13316 [startup+12.7021 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4764 /proc/meminfo: memFree=1891760/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=14620 CPUtime=12.68 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 327361 0 0 0 1162 106 0 0 25 0 1 0 182514814 14970880 1067 1992294400 134512640 137136520 4294956256 18446744073709551615 134732890 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 3655 1067 293 640 0 3011 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 14620 [startup+25.5016 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4764 /proc/meminfo: memFree=1879152/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=26332 CPUtime=25.49 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 672436 0 0 0 2332 217 0 0 25 0 1 0 182514814 26963968 4278 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 6583 4278 293 640 0 5939 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 26332 [startup+51.1015 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4764 /proc/meminfo: memFree=1877616/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=27600 CPUtime=51.08 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 708843 0 0 0 4874 234 0 0 25 0 1 0 182514814 28262400 4595 1992294400 134512640 137136520 4294956256 18446744073709551615 135346181 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 6900 4595 293 640 0 6256 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 27600 [startup+102.305 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4764 /proc/meminfo: memFree=1877680/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=27600 CPUtime=102.27 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 708843 0 0 0 9992 235 0 0 25 0 1 0 182514814 28262400 4595 1992294400 134512640 137136520 4294956256 18446744073709551615 136503577 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 6900 4595 293 640 0 6256 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 27600 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4764 /proc/meminfo: memFree=1877680/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=27600 CPUtime=162.25 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 708843 0 0 0 15988 237 0 0 25 0 1 0 182514814 28262400 4595 1992294400 134512640 137136520 4294956256 18446744073709551615 135441587 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 6900 4595 293 640 0 6256 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 27600 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4764 /proc/meminfo: memFree=1877680/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=27600 CPUtime=222.23 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 708843 0 0 0 21985 238 0 0 25 0 1 0 182514814 28262400 4595 1992294400 134512640 137136520 4294956256 18446744073709551615 135443765 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 6900 4595 293 640 0 6256 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 27600 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4764 /proc/meminfo: memFree=1877680/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=27600 CPUtime=282.21 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 708843 0 0 0 27981 240 0 0 25 0 1 0 182514814 28262400 4595 1992294400 134512640 137136520 4294956256 18446744073709551615 134922362 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 6900 4595 293 640 0 6256 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 27600 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4764 /proc/meminfo: memFree=1877680/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=27600 CPUtime=342.19 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 708843 0 0 0 33978 241 0 0 25 0 1 0 182514814 28262400 4595 1992294400 134512640 137136520 4294956256 18446744073709551615 134732890 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 6900 4595 293 640 0 6256 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 27600 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4766 /proc/meminfo: memFree=1877552/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=27600 CPUtime=402.17 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 708843 0 0 0 39974 243 0 0 25 0 1 0 182514814 28262400 4595 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 6900 4595 293 640 0 6256 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 27600 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4766 /proc/meminfo: memFree=1877552/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=27600 CPUtime=462.15 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 708843 0 0 0 45970 245 0 0 25 0 1 0 182514814 28262400 4595 1992294400 134512640 137136520 4294956256 18446744073709551615 135455063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 6900 4595 293 640 0 6256 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 27600 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4766 /proc/meminfo: memFree=1877552/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=27600 CPUtime=522.14 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 708843 0 0 0 51968 246 0 0 25 0 1 0 182514814 28262400 4595 1992294400 134512640 137136520 4294956256 18446744073709551615 134748266 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 6900 4595 293 640 0 6256 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 27600 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4766 /proc/meminfo: memFree=1877552/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=27600 CPUtime=582.11 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 708843 0 0 0 57964 247 0 0 25 0 1 0 182514814 28262400 4595 1992294400 134512640 137136520 4294956256 18446744073709551615 134728830 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 6900 4595 293 640 0 6256 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 27600 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4766 /proc/meminfo: memFree=1877552/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=27600 CPUtime=642.11 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 708843 0 0 0 63962 249 0 0 25 0 1 0 182514814 28262400 4595 1992294400 134512640 137136520 4294956256 18446744073709551615 135781755 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 6900 4595 293 640 0 6256 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 27600 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1877296/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=27600 CPUtime=1061.97 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 708843 0 0 0 105938 259 0 0 25 0 1 0 182514814 28262400 4595 1992294400 134512640 137136520 4294956256 18446744073709551615 134990301 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 6900 4595 293 640 0 6256 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 27600 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4772 /proc/meminfo: memFree=1877296/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=27600 CPUtime=1121.95 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 708843 0 0 0 111935 260 0 0 25 0 1 0 182514814 28262400 4595 1992294400 134512640 137136520 4294956256 18446744073709551615 135249143 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 6900 4595 293 640 0 6256 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 27600 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4772 /proc/meminfo: memFree=1877360/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=28632 CPUtime=1181.94 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 961841 0 0 0 117825 369 0 0 25 0 1 0 182514814 29319168 4569 1992294400 134512640 137136520 4294956256 18446744073709551615 135068919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 7158 4569 293 640 0 6514 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 28632 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4772 /proc/meminfo: memFree=1877232/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=27436 CPUtime=1241.91 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 1285237 0 0 0 123677 514 0 0 25 0 1 0 182514814 28094464 4554 1992294400 134512640 137136520 4294956256 18446744073709551615 134826744 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 6859 4554 293 640 0 6215 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 27436 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4772 /proc/meminfo: memFree=1877104/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=28716 CPUtime=1301.91 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 1736500 0 0 0 129498 693 0 0 25 0 1 0 182514814 29405184 4604 1992294400 134512640 137136520 4294956256 18446744073709551615 135448333 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 7179 4604 293 640 0 6535 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 28716 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4772 /proc/meminfo: memFree=1877104/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=27512 CPUtime=1361.88 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 2111738 0 0 0 135339 849 0 0 25 0 1 0 182514814 28172288 4573 1992294400 134512640 137136520 4294956256 18446744073709551615 134826569 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 6878 4573 293 640 0 6234 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 27512 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4772 /proc/meminfo: memFree=1877104/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=28680 CPUtime=1421.86 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 2559753 0 0 0 141159 1027 0 0 25 0 1 0 182514814 29368320 4595 1992294400 134512640 137136520 4294956256 18446744073709551615 135442575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 7170 4595 293 640 0 6526 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 28680 [startup+1482.3 s] /proc/loadavg: 1.03 1.00 1.00 2/65 4772 /proc/meminfo: memFree=1877040/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=27508 CPUtime=1481.85 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 2859689 0 0 0 147024 1161 0 0 25 0 1 0 182514814 28168192 4572 1992294400 134512640 137136520 4294956256 18446744073709551615 134573092 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 6877 4572 293 640 0 6233 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 27508 [startup+1542.3 s] /proc/loadavg: 1.08 1.02 1.00 2/65 4772 /proc/meminfo: memFree=1877040/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=27500 CPUtime=1541.83 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 3133096 0 0 0 152897 1286 0 0 25 0 1 0 182514814 28160000 4570 1992294400 134512640 137136520 4294956256 18446744073709551615 134748929 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 6875 4570 293 640 0 6231 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 27500 [startup+1602.3 s] /proc/loadavg: 1.10 1.03 1.00 2/65 4772 /proc/meminfo: memFree=1875440/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=30328 CPUtime=1601.82 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 3473550 0 0 0 158751 1431 0 0 25 0 1 0 182514814 31055872 4986 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 7582 4986 293 640 0 6938 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 30328 [startup+1662.3 s] /proc/loadavg: 1.17 1.05 1.01 2/65 4772 /proc/meminfo: memFree=1875056/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=30516 CPUtime=1661.79 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 3972946 0 0 0 164547 1632 0 0 25 0 1 0 182514814 31248384 5052 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 7629 5052 293 640 0 6985 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 30516 [startup+1722.3 s] /proc/loadavg: 1.12 1.06 1.01 2/65 4772 /proc/meminfo: memFree=1875056/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=29376 CPUtime=1721.78 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 4264408 0 0 0 170413 1765 0 0 25 0 1 0 182514814 30081024 5039 1992294400 134512640 137136520 4294956256 18446744073709551615 134748146 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 7344 5039 293 640 0 6700 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 29376 [startup+1782.3 s] /proc/loadavg: 1.09 1.06 1.01 2/65 4772 /proc/meminfo: memFree=1875056/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=30248 CPUtime=1781.76 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 4515122 0 0 0 176297 1879 0 0 25 0 1 0 182514814 30973952 5053 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 7562 5053 293 640 0 6918 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 30248 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.08 1.06 1.01 2/65 4772 /proc/meminfo: memFree=1875056/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=30236 CPUtime=1791.36 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 4552342 0 0 0 177238 1898 0 0 25 0 1 0 182514814 30961664 5045 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 7559 5045 293 640 0 6915 0 Current children cumulated CPU time (s) 1791.36 Current children cumulated vsize (KiB) 30236 [startup+1795.1 s] /proc/loadavg: 1.08 1.06 1.01 2/65 4772 /proc/meminfo: memFree=1875056/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=30116 CPUtime=1794.56 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 4564117 0 0 0 177552 1904 0 0 25 0 1 0 182514814 30838784 5046 1992294400 134512640 137136520 4294956256 18446744073709551615 135387467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 7566 5047 293 640 0 6922 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (KiB) 30116 [startup+1796.7 s] /proc/loadavg: 1.07 1.06 1.01 2/65 4772 /proc/meminfo: memFree=1875056/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=29944 CPUtime=1796.16 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 4569240 0 0 0 177708 1908 0 0 25 0 1 0 182514814 30662656 5041 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 7486 5041 293 640 0 6842 0 Current children cumulated CPU time (s) 1796.16 Current children cumulated vsize (KiB) 29944 [startup+1797.5 s] /proc/loadavg: 1.07 1.06 1.01 2/65 4772 /proc/meminfo: memFree=1875056/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=30084 CPUtime=1796.96 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 4571960 0 0 0 177787 1909 0 0 25 0 1 0 182514814 30806016 5042 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 7521 5042 293 640 0 6877 0 Current children cumulated CPU time (s) 1796.96 Current children cumulated vsize (KiB) 30084 [startup+1798.3 s] /proc/loadavg: 1.07 1.06 1.01 2/65 4772 /proc/meminfo: memFree=1875056/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=30260 CPUtime=1797.76 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 4574548 0 0 0 177866 1910 0 0 25 0 1 0 182514814 30986240 5047 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 7565 5047 293 640 0 6921 0 Current children cumulated CPU time (s) 1797.76 Current children cumulated vsize (KiB) 30260 [startup+1798.51 s] /proc/loadavg: 1.07 1.06 1.01 2/65 4772 /proc/meminfo: memFree=1875056/2055920 swapFree=4182468/4192956 [pid=4763] ppid=4761 vsize=30240 CPUtime=1797.96 /proc/4763/stat : 4763 (bsolo) R 4761 4763 4549 0 -1 4194304 4575307 0 0 0 177885 1911 0 0 25 0 1 0 182514814 30965760 5046 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4763/statm: 7560 5046 293 640 0 6916 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 30240 Child status: 0 Real time (s): 1798.55 CPU time (s): 1798.02 CPU user time (s): 1778.9 CPU system time (s): 19.1151 CPU usage (%): 99.9703 Max. virtual memory (cumulated for all children) (KiB): 30708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1778.9 system time used= 19.1151 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4575495 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 2165 runsolver used 1.3078 second user time and 3.72843 second system time The end
Begin job on node23 at 2009-06-16 12:45:49 IDJOB=1880012 IDBENCH=2052 IDSOLVER=701 FILE ID=node23/1880012-1245149149 PBS_JOBID= 9363756 Free space on /tmp= 66272 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-alu4.b.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1880012-1245149149/watcher-1880012-1245149149 -o /tmp/evaluation-result-1880012-1245149149/solver-1880012-1245149149 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880012-1245149149.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9c27419d6022516b3a8580fda3ca43ee RANDOM SEED=451934446 node23.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.236 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.236 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1895896 kB Buffers: 22608 kB Cached: 75496 kB SwapCached: 4304 kB Active: 57292 kB Inactive: 48744 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1895896 kB SwapTotal: 4192956 kB SwapFree: 4182468 kB Dirty: 4248 kB Writeback: 0 kB Mapped: 14576 kB Slab: 40008 kB Committed_AS: 161928 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1880012-1245149149.opb Free space on /tmp at the end= 66268 MiB End job on node23 at 2009-06-16 13:15:48