Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | 52 | 1798.09 | 1798.82 |
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 | 9.23959 |
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.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656593-1276413601.opb 0.00/0.00 c File size is 302882 bytes. 0.00/0.05 c Highest Coefficient sum: 807 0.00/0.05 c Parsing was ok!! 0.00/0.05 c Total parsing time: 0.052 s 0.00/0.05 c Var: 807 Constr: 1823 1823/0/0 Lit: 36250 Watch. Lit: 3626 0.00/0.05 c Obj. Vars: 807 (100 % of total variables) 0.09/0.13 c Formula reductions applied at preprocessing 0.09/0.13 c Pre-processing Time: 0.13 s 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 0 506 639 14285 22 1278 212 0 0 0.13 0.19/0.20 c Initial Lower Bound: 47 0.19/0.20 c Initial Path Cost: 18 0.19/0.20 o 65 1.39/1.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.44 c 0 506 640 14791 23 1739 1212 1 0 0.20 1.39/1.44 o 61 2.69/2.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.71 c 0 506 641 15297 23 2204 2212 2 0 1.44 2.69/2.71 o 60 3.99/4.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.00 c 1 506 645 16565 25 2676 2212 6 0 2.71 3.99/4.00 o 59 5.29/5.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.29/5.36 c 1 506 646 17071 26 3143 2212 7 0 4.00 5.29/5.36 o 58 6.60/6.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.60/6.66 c 2 506 650 18591 28 3617 2212 11 0 5.36 6.60/6.66 o 57 10.08/10.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.08/10.19 c 2 506 651 19097 29 4086 2212 12 0 6.67 10.08/10.19 c 107 506 927 107847 116 4638 2434 288 12 8.69 10.08/10.19 o 56 11.69/11.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.69/11.76 c 122 506 967 121454 125 5186 2212 328 11 10.19 11.69/11.76 o 55 29.78/29.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.78/29.85 c 131 506 991 127911 129 5703 2212 352 11 11.76 29.78/29.85 c 236 506 1288 222388 172 6297 2434 649 17 13.79 29.78/29.85 c 506 506 2057 465245 226 7835 2678 1418 29 17.10 29.78/29.85 c 982 506 3426 888116 259 10573 2946 2787 44 22.17 29.78/29.85 o 54 132.04/132.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 132.04/132.16 c 1781 506 3563 941282 264 8065 1212 2924 59 29.84 132.04/132.16 c 1881 506 1531 298920 195 3532 1334 892 59 31.77 132.04/132.16 c 2132 506 2273 522264 229 5016 1468 1634 61 34.88 132.04/132.16 c 2612 506 2304 525703 228 5078 1615 1665 65 39.93 132.04/132.16 c 3425 506 1860 369624 198 4190 1777 1221 72 47.49 132.04/132.16 c 4745 506 2621 597359 227 5712 1955 1982 81 58.49 132.04/132.16 c 6826 506 2224 433148 194 4918 2151 1585 89 75.93 132.04/132.16 c 10062 506 3006 703231 233 6482 2367 2367 98 101.74 132.04/132.16 o 53 190.12/190.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 190.12/190.21 c 14011 506 3012 704615 233 6965 1212 2373 106 132.11 190.12/190.21 c 14115 506 1548 275222 177 3567 1334 909 105 134.00 190.12/190.21 c 14373 506 1307 203291 155 3085 1468 668 104 137.16 190.12/190.21 c 14848 506 1375 218095 158 3221 1615 736 104 142.26 190.12/190.21 c 15663 506 2455 476847 194 5381 1777 1816 103 150.67 190.12/190.21 c 16983 506 1851 343686 185 4173 1955 1212 104 162.20 190.12/190.21 c 19078 506 1829 341038 186 4129 2151 1190 106 178.84 190.12/190.21 o 52 1798.06/1798.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1798.06/1798.81 c 20392 506 2414 511132 211 5771 1213 1775 107 190.13 1798.06/1798.81 c 20500 506 1547 251429 162 3566 1335 908 106 192.17 1798.06/1798.81 c 20774 506 1308 182950 139 3088 1469 669 106 195.81 1798.06/1798.81 c 21253 506 1472 191754 130 3416 1616 833 105 201.25 1798.06/1798.81 c 22068 506 2478 389996 157 5428 1778 1839 104 210.41 1798.06/1798.81 c 23393 506 2028 307128 151 4528 1956 1389 105 222.78 1798.06/1798.81 c 25475 506 2000 293057 146 4472 2152 1361 104 244.60 1798.06/1798.81 c 28703 506 1889 248348 131 4250 2368 1250 104 274.50 1798.06/1798.81 c 33639 506 2729 423846 155 5930 2605 2090 104 321.39 1798.06/1798.81 c 41147 506 3443 604625 175 7358 2866 2804 102 401.17 1798.06/1798.81 c 52522 506 2173 338617 155 4818 3153 1534 104 500.71 1798.06/1798.81 c 69682 506 4070 866440 212 8612 3469 3431 103 670.04 1798.06/1798.81 c 95503 506 3197 606239 189 6866 3816 2558 103 919.19 1798.06/1798.81 c 134341 506 3839 743249 193 8150 4198 3200 102 1316.38 1798.06/1798.81 c Resources Exceeded 1798.06/1798.81 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 1798.06/1798.81 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.06/1798.81 c 41 181956 7935 207328 4768 1002522 4129 101 1798.09 1798.06/1798.81 c Objective: 52 1798.06/1798.81 s SATISFIABLE 1798.06/1798.81 c Total time: 1798.09 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-2656593-1276413601/watcher-2656593-1276413601 -o /tmp/evaluation-result-2656593-1276413601/solver-2656593-1276413601 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656593-1276413601.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: 2.12 2.38 2.16 3/106 22569 /proc/meminfo: memFree=1741408/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=11088 CPUtime=0 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 322 0 0 0 0 0 0 0 20 0 1 0 16961782 11354112 241 1992294400 134512640 137138936 4287125296 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 2772 241 175 642 0 2054 0 [startup+0.0737889 s] /proc/loadavg: 2.12 2.38 2.16 3/106 22569 /proc/meminfo: memFree=1741408/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=11972 CPUtime=0.06 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 716 0 0 0 6 0 0 0 20 0 1 0 16961782 12259328 561 1992294400 134512640 137138936 4287125296 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 2993 561 185 642 0 2349 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11972 [startup+0.100795 s] /proc/loadavg: 2.12 2.38 2.16 3/106 22569 /proc/meminfo: memFree=1741408/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=11524 CPUtime=0.09 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 716 0 0 0 9 0 0 0 20 0 1 0 16961782 11800576 450 1992294400 134512640 137138936 4287125296 18446744073709551615 134540154 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 2881 450 185 642 0 2237 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11524 [startup+0.300837 s] /proc/loadavg: 2.12 2.38 2.16 3/106 22569 /proc/meminfo: memFree=1741408/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=13276 CPUtime=0.29 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 3122 0 0 0 28 1 0 0 20 0 1 0 16961782 13594624 702 1992294400 134512640 137138936 4287125296 18446744073709551615 134734903 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 3319 702 282 642 0 2675 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13276 [startup+0.700923 s] /proc/loadavg: 2.12 2.38 2.16 3/106 22569 /proc/meminfo: memFree=1741408/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=12732 CPUtime=0.69 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 10280 0 0 0 66 3 0 0 21 0 1 0 16961782 13037568 660 1992294400 134512640 137138936 4287125296 18446744073709551615 135183836 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 3183 666 282 642 0 2539 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12732 [startup+1.50109 s] /proc/loadavg: 2.12 2.38 2.16 2/107 22570 /proc/meminfo: memFree=1739416/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=13112 CPUtime=1.49 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 29679 0 0 0 140 9 0 0 23 0 1 0 16961782 13426688 690 1992294400 134512640 137138936 4287125296 18446744073709551615 135089330 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 3278 690 283 642 0 2634 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13112 [startup+3.10143 s] /proc/loadavg: 2.12 2.38 2.16 2/107 22570 /proc/meminfo: memFree=1739168/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=11808 CPUtime=3.09 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 65556 0 0 0 290 19 0 0 25 0 1 0 16961782 12091392 623 1992294400 134512640 137138936 4287125296 18446744073709551615 134828969 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 2952 623 286 642 0 2308 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11808 [startup+6.30112 s] /proc/loadavg: 2.03 2.36 2.15 2/107 22570 /proc/meminfo: memFree=1739044/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=11976 CPUtime=6.29 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 146500 0 0 0 587 42 0 0 25 0 1 0 16961782 12263424 633 1992294400 134512640 137138936 4287125296 18446744073709551615 135783810 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 2994 633 286 642 0 2350 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11976 [startup+12.7015 s] /proc/loadavg: 1.95 2.34 2.14 2/107 22570 /proc/meminfo: memFree=1737556/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=14444 CPUtime=12.69 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 334146 0 0 0 1178 91 0 0 25 0 1 0 16961782 14790656 1050 1992294400 134512640 137138936 4287125296 18446744073709551615 135382742 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 3611 1051 287 642 0 2967 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14444 [startup+25.5012 s] /proc/loadavg: 1.74 2.27 2.12 2/107 22570 /proc/meminfo: memFree=1724164/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=27292 CPUtime=25.48 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 684253 0 0 0 2360 188 0 0 25 0 1 0 16961782 27947008 4496 1992294400 134512640 137138936 4287125296 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 6823 4496 288 642 0 6179 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27292 [startup+51.1007 s] /proc/loadavg: 1.48 2.17 2.09 2/107 22572 /proc/meminfo: memFree=1723296/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=28124 CPUtime=51.07 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 732663 0 0 0 4892 215 0 0 25 0 1 0 16961782 28798976 4604 1992294400 134512640 137138936 4287125296 18446744073709551615 134730897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 7031 4604 288 642 0 6387 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 28124 [startup+102.309 s] /proc/loadavg: 1.21 1.98 2.03 2/107 22572 /proc/meminfo: memFree=1723172/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=28124 CPUtime=102.25 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 732663 0 0 0 10008 217 0 0 25 0 1 0 16961782 28798976 4604 1992294400 134512640 137138936 4287125296 18446744073709551615 135457127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 7031 4604 288 642 0 6387 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 28124 [startup+162.301 s] /proc/loadavg: 1.07 1.80 1.97 2/107 22574 /proc/meminfo: memFree=1723048/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=28124 CPUtime=162.22 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 732663 0 0 0 16002 220 0 0 25 0 1 0 16961782 28798976 4604 1992294400 134512640 137138936 4287125296 18446744073709551615 135345431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 7031 4604 288 642 0 6387 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 28124 [startup+222.301 s] /proc/loadavg: 1.03 1.65 1.90 2/107 22576 /proc/meminfo: memFree=1723048/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=28124 CPUtime=222.2 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 732663 0 0 0 21997 223 0 0 25 0 1 0 16961782 28798976 4604 1992294400 134512640 137138936 4287125296 18446744073709551615 135381544 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 7031 4604 288 642 0 6387 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 28124 [startup+282.302 s] /proc/loadavg: 1.01 1.53 1.84 2/107 22578 /proc/meminfo: memFree=1723048/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=28124 CPUtime=282.17 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 732663 0 0 0 27992 225 0 0 25 0 1 0 16961782 28798976 4604 1992294400 134512640 137138936 4287125296 18446744073709551615 134720983 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 7031 4604 288 642 0 6387 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 28124 [startup+342.302 s] /proc/loadavg: 1.00 1.43 1.79 2/107 22580 /proc/meminfo: memFree=1723048/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=28124 CPUtime=342.15 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 732663 0 0 0 33987 228 0 0 25 0 1 0 16961782 28798976 4604 1992294400 134512640 137138936 4287125296 18446744073709551615 134734939 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 7031 4604 288 642 0 6387 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 28124 [startup+402.301 s] /proc/loadavg: 1.00 1.35 1.74 2/107 22580 /proc/meminfo: memFree=1722924/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=28124 CPUtime=402.13 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 732663 0 0 0 39983 230 0 0 25 0 1 0 16961782 28798976 4604 1992294400 134512640 137138936 4287125296 18446744073709551615 135456378 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 7031 4604 288 642 0 6387 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 28124 [startup+462.301 s] /proc/loadavg: 1.00 1.28 1.69 2/107 22582 /proc/meminfo: memFree=1722924/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=28124 CPUtime=462.11 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 732663 0 0 0 45979 232 0 0 25 0 1 0 16961782 28798976 4604 1992294400 134512640 137138936 4287125296 18446744073709551615 135470059 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 7031 4604 288 642 0 6387 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 28124 [startup+522.301 s] /proc/loadavg: 1.00 1.23 1.64 2/107 22584 /proc/meminfo: memFree=1722800/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=28124 CPUtime=522.08 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 732663 0 0 0 51974 234 0 0 25 0 1 0 16961782 28798976 4604 1992294400 134512640 137138936 4287125296 18446744073709551615 135471442 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 7031 4604 288 642 0 6387 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 28124 [startup+582.302 s] /proc/loadavg: 1.00 1.19 1.60 2/107 22586 /proc/meminfo: memFree=1722800/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=28124 CPUtime=582.05 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 732663 0 0 0 57970 235 0 0 25 0 1 0 16961782 28798976 4604 1992294400 134512640 137138936 4287125296 18446744073709551615 135412729 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 7031 4604 288 642 0 6387 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 28124 [startup+642.302 s] /proc/loadavg: 1.00 1.15 1.56 2/107 22588 /proc/meminfo: memFree=1722800/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=28124 CPUtime=642.04 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 732663 0 0 0 63967 237 0 0 25 0 1 0 16961782 28798976 4604 1992294400 134512640 137138936 4287125296 18446744073709551615 135409873 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 7031 4604 288 642 0 6387 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 28124 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1722428/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=27972 CPUtime=1121.83 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 732961 0 0 0 111929 254 0 0 25 0 1 0 16961782 28643328 4628 1992294400 134512640 137138936 4287125296 18446744073709551615 135466156 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 6993 4628 288 642 0 6349 0 Current children cumulated CPU time (s) 1121.83 Current children cumulated vsize (KiB) 27972 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.29 2/107 22602 /proc/meminfo: memFree=1722304/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=27972 CPUtime=1181.81 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 732963 0 0 0 117925 256 0 0 25 0 1 0 16961782 28643328 4630 1992294400 134512640 137138936 4287125296 18446744073709551615 134745086 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 6993 4630 288 642 0 6349 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 27972 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.27 2/107 22604 /proc/meminfo: memFree=1722180/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=27972 CPUtime=1241.79 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 732963 0 0 0 123920 259 0 0 25 0 1 0 16961782 28643328 4630 1992294400 134512640 137138936 4287125296 18446744073709551615 135388077 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 6993 4630 288 642 0 6349 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 27972 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.25 2/107 22604 /proc/meminfo: memFree=1722180/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=28156 CPUtime=1301.77 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 739342 0 0 0 129914 263 0 0 25 0 1 0 16961782 28831744 4625 1992294400 134512640 137138936 4287125296 18446744073709551615 134849365 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 7039 4625 288 642 0 6395 0 Current children cumulated CPU time (s) 1301.77 Current children cumulated vsize (KiB) 28156 [startup+1362.3 s] /proc/loadavg: 1.05 1.01 1.24 2/107 22606 /proc/meminfo: memFree=1722180/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=27648 CPUtime=1361.74 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 743615 0 0 0 135907 267 0 0 25 0 1 0 16961782 28311552 4585 1992294400 134512640 137138936 4287125296 18446744073709551615 135783846 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 6912 4585 288 642 0 6268 0 Current children cumulated CPU time (s) 1361.74 Current children cumulated vsize (KiB) 27648 [startup+1422.31 s] /proc/loadavg: 1.06 1.02 1.23 2/107 22608 /proc/meminfo: memFree=1717840/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=33468 CPUtime=1421.73 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 1222281 0 0 0 141735 438 0 0 25 0 1 0 16961782 34271232 5730 1992294400 134512640 137138936 4287125296 18446744073709551615 134730901 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 8367 5730 288 642 0 7723 0 Current children cumulated CPU time (s) 1421.73 Current children cumulated vsize (KiB) 33468 [startup+1482.3 s] /proc/loadavg: 1.06 1.03 1.22 2/107 22610 /proc/meminfo: memFree=1717840/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=33212 CPUtime=1481.7 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 1558643 0 0 0 147592 578 0 0 25 0 1 0 16961782 34009088 5702 1992294400 134512640 137138936 4287125296 18446744073709551615 134731561 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 8303 5702 288 642 0 7659 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 33212 [startup+1542.3 s] /proc/loadavg: 1.06 1.04 1.20 2/107 22612 /proc/meminfo: memFree=1717840/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=32704 CPUtime=1541.67 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 1723788 0 0 0 153502 665 0 0 25 0 1 0 16961782 33488896 5688 1992294400 134512640 137138936 4287125296 18446744073709551615 134730907 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 8176 5688 288 642 0 7532 0 Current children cumulated CPU time (s) 1541.67 Current children cumulated vsize (KiB) 32704 [startup+1602.3 s] /proc/loadavg: 1.05 1.04 1.19 2/107 22612 /proc/meminfo: memFree=1717840/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=32532 CPUtime=1601.64 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 1731787 0 0 0 159494 670 0 0 25 0 1 0 16961782 33312768 5706 1992294400 134512640 137138936 4287125296 18446744073709551615 135450262 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 8133 5706 288 642 0 7489 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 32532 [startup+1662.3 s] /proc/loadavg: 1.13 1.06 1.18 2/107 22614 /proc/meminfo: memFree=1717840/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=32532 CPUtime=1661.61 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 1731787 0 0 0 165489 672 0 0 25 0 1 0 16961782 33312768 5706 1992294400 134512640 137138936 4287125296 18446744073709551615 134828567 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 8133 5706 288 642 0 7489 0 Current children cumulated CPU time (s) 1661.61 Current children cumulated vsize (KiB) 32532 [startup+1722.3 s] /proc/loadavg: 1.12 1.07 1.18 2/107 22616 /proc/meminfo: memFree=1717716/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=32332 CPUtime=1721.59 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 1830269 0 0 0 171431 728 0 0 25 0 1 0 16961782 33107968 5680 1992294400 134512640 137138936 4287125296 18446744073709551615 135384694 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 8122 5681 288 642 0 7478 0 Current children cumulated CPU time (s) 1721.59 Current children cumulated vsize (KiB) 32332 [startup+1782.3 s] /proc/loadavg: 1.11 1.07 1.17 2/107 22618 /proc/meminfo: memFree=1717592/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=32652 CPUtime=1781.57 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 1952968 0 0 0 177354 803 0 0 25 0 1 0 16961782 33435648 5674 1992294400 134512640 137138936 4287125296 18446744073709551615 135499291 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 8163 5674 288 642 0 7519 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (KiB) 32652 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.09 1.06 1.17 2/107 22618 /proc/meminfo: memFree=1717592/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=32432 CPUtime=1791.18 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 1973520 0 0 0 178303 815 0 0 25 0 1 0 16961782 33210368 5668 1992294400 134512640 137138936 4287125296 18446744073709551615 134840736 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 8108 5668 288 642 0 7464 0 Current children cumulated CPU time (s) 1791.18 Current children cumulated vsize (KiB) 32432 [startup+1795.1 s] /proc/loadavg: 1.08 1.06 1.17 2/107 22618 /proc/meminfo: memFree=1717592/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=31968 CPUtime=1794.37 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 1980863 0 0 0 178618 819 0 0 25 0 1 0 16961782 32735232 5665 1992294400 134512640 137138936 4287125296 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 7992 5665 288 642 0 7348 0 Current children cumulated CPU time (s) 1794.37 Current children cumulated vsize (KiB) 31968 [startup+1796.7 s] /proc/loadavg: 1.08 1.06 1.17 2/107 22618 /proc/meminfo: memFree=1717592/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=31968 CPUtime=1795.96 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 1984381 0 0 0 178776 820 0 0 25 0 1 0 16961782 32735232 5665 1992294400 134512640 137138936 4287125296 18446744073709551615 134625757 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 7992 5665 288 642 0 7348 0 Current children cumulated CPU time (s) 1795.96 Current children cumulated vsize (KiB) 31968 [startup+1797.5 s] /proc/loadavg: 1.08 1.06 1.17 2/107 22618 /proc/meminfo: memFree=1717592/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=31968 CPUtime=1796.76 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 1986195 0 0 0 178855 821 0 0 25 0 1 0 16961782 32735232 5665 1992294400 134512640 137138936 4287125296 18446744073709551615 134833003 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 7992 5665 288 642 0 7348 0 Current children cumulated CPU time (s) 1796.76 Current children cumulated vsize (KiB) 31968 [startup+1798.3 s] /proc/loadavg: 1.08 1.06 1.17 2/107 22618 /proc/meminfo: memFree=1717592/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=32436 CPUtime=1797.56 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 1987865 0 0 0 178934 822 0 0 25 0 1 0 16961782 33214464 5669 1992294400 134512640 137138936 4287125296 18446744073709551615 135783832 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 8109 5669 288 642 0 7465 0 Current children cumulated CPU time (s) 1797.56 Current children cumulated vsize (KiB) 32436 [startup+1798.7 s] /proc/loadavg: 1.08 1.06 1.17 2/107 22618 /proc/meminfo: memFree=1717592/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=32616 CPUtime=1797.96 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 1988570 0 0 0 178973 823 0 0 25 0 1 0 16961782 33398784 5672 1992294400 134512640 137138936 4287125296 18446744073709551615 134734941 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 8154 5672 288 642 0 7510 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 32616 [startup+1798.8 s] /proc/loadavg: 1.08 1.06 1.17 2/107 22618 /proc/meminfo: memFree=1717592/2059040 swapFree=4187004/4192956 [pid=22569] ppid=22567 vsize=32436 CPUtime=1798.06 /proc/22569/stat : 22569 (bsolo_pb10) R 22567 22569 22275 0 -1 4202496 1988753 0 0 0 178983 823 0 0 25 0 1 0 16961782 33214464 5669 1992294400 134512640 137138936 4287125296 18446744073709551615 134750870 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22569/statm: 8109 5669 288 642 0 7465 0 Current children cumulated CPU time (s) 1798.06 Current children cumulated vsize (KiB) 32436 Child status: 0 Real time (s): 1798.82 CPU time (s): 1798.09 CPU user time (s): 1789.85 CPU system time (s): 8.23675 CPU usage (%): 99.9595 Max. virtual memory (cumulated for all children) (KiB): 33612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.85 system time used= 8.23675 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1988777 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= 25776 runsolver used 3.08853 second user time and 8.36673 second system time The end
Begin job on node010 at 2010-06-13 09:20:02 IDJOB=2656593 IDBENCH=2052 IDSOLVER=1162 FILE ID=node010/2656593-1276413601 PBS_JOBID= 11173289 Free space on /tmp= 62500 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-alu4.b.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656593-1276413601/watcher-2656593-1276413601 -o /tmp/evaluation-result-2656593-1276413601/solver-2656593-1276413601 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656593-1276413601.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9c27419d6022516b3a8580fda3ca43ee RANDOM SEED=734034555 node010.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.267 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.267 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1741936 kB Buffers: 43348 kB Cached: 153592 kB SwapCached: 168 kB Active: 129832 kB Inactive: 120672 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1741936 kB SwapTotal: 4192956 kB SwapFree: 4187004 kB Dirty: 4288 kB Writeback: 12 kB AnonPages: 53272 kB Mapped: 15356 kB Slab: 44884 kB PageTables: 4044 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182932 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= 62496 MiB End job on node010 at 2010-06-13 09:50:00