Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | 65 | 1798.04 | 1798.73 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-alu2.b.opb |
MD5SUM | a793af2f16b39bdc1dda733b5326bfb4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 60 |
Best CPU time to get the best result obtained on this benchmark | 2.97355 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 60 |
Optimality of the best value was proved | NO |
Number of variables | 1266 |
Total number of constraints | 2888 |
Number of constraints which are clauses | 2888 |
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 | 183 |
Number of terms in the objective function | 1266 |
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 | 1266 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1266 |
Number of bits of the biggest sum of numbers | 11 |
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-2656486-1276594691.opb 0.00/0.00 c File size is 613565 bytes. 0.09/0.10 c Highest Coefficient sum: 1266 0.09/0.10 c Parsing was ok!! 0.09/0.10 c Total parsing time: 0.105 s 0.09/0.10 c Var: 1266 Constr: 2888 2888/0/0 Lit: 72716 Watch. Lit: 5762 0.09/0.10 c Obj. Vars: 1266 (100 % of total variables) 0.19/0.23 c Formula reductions applied at preprocessing 0.19/0.23 c Pre-processing Time: 0.235 s 0.29/0.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.35 c 0 784 847 27394 32 1694 282 0 0 0.23 0.29/0.35 c Initial Lower Bound: 56 0.29/0.35 c Initial Path Cost: 18 0.29/0.36 o 85 3.09/3.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.17 c 0 784 848 28178 33 2413 1282 1 0 0.36 3.09/3.17 o 80 5.99/6.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.99/6.08 c 0 784 849 28962 34 3137 2282 2 0 3.17 5.99/6.08 o 79 9.49/9.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.49/9.56 c 1 784 853 31180 36 3868 2282 6 0 6.09 9.49/9.56 o 78 12.89/12.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.89/12.98 c 2 784 856 31990 37 4598 2282 9 0 9.56 12.89/12.98 o 77 15.88/15.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.88/15.92 c 4 784 859 32828 38 5329 2282 12 0 12.98 15.88/15.92 o 74 29.48/29.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.48/29.54 c 4 784 860 33612 39 6059 2282 13 0 15.92 29.48/29.54 c 105 784 1146 112537 98 6631 2511 299 5 20.37 29.48/29.54 c 355 784 1756 367028 209 7851 2763 909 13 26.25 29.48/29.54 o 73 37.18/37.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.18/37.25 c 358 784 1761 368860 209 8590 2282 914 12 29.53 37.18/37.25 c 459 784 2058 526321 255 9184 2511 1211 13 33.76 37.18/37.25 o 72 45.27/45.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 45.27/45.37 c 463 784 2067 530659 256 9932 2282 1220 12 37.24 45.27/45.37 c 564 784 2349 681231 290 10496 2511 1502 13 41.55 45.27/45.37 o 71 59.67/59.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 59.67/59.77 c 587 784 2410 710147 294 11349 2282 1563 12 45.35 59.67/59.77 c 687 784 2672 841588 314 11873 2511 1825 13 49.92 59.67/59.77 c 938 784 3354 1214713 362 13237 2763 2507 16 56.02 59.67/59.77 o 70 115.05/115.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 115.05/115.10 c 955 784 3402 1240583 364 14065 2282 2555 15 59.75 115.05/115.10 c 1059 784 1989 617961 310 4710 2511 1142 16 63.91 115.05/115.10 c 1314 784 2736 1043053 381 6204 2763 1889 18 69.61 115.05/115.10 c 1798 784 2230 814284 365 5192 3040 1383 22 78.39 115.05/115.10 c 2613 784 2368 888791 375 5468 3345 1521 28 90.91 115.05/115.10 c 3935 784 3478 1524121 438 7688 3680 2631 35 109.53 115.05/115.10 o 69 139.64/139.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 139.64/139.72 c 4127 784 4045 1849907 457 9555 1282 3198 35 115.07 139.64/139.72 c 4230 784 1786 556432 311 4305 1411 939 35 119.52 139.64/139.72 c 4494 784 2566 983795 383 5865 1553 1719 35 125.20 139.64/139.72 c 4969 784 2093 708275 338 4919 1709 1246 37 133.11 139.64/139.72 o 68 220.92/221.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 220.92/221.08 c 5280 784 3000 1214845 404 7467 1282 2153 37 139.67 220.92/221.08 c 5392 784 1818 556476 306 4370 1411 971 37 143.77 220.92/221.08 c 5655 784 2602 975589 374 5938 1553 1755 37 149.43 220.92/221.08 c 6137 784 2104 708424 336 4942 1709 1257 39 157.34 220.92/221.08 c 6952 784 2672 985687 368 6078 1880 1825 40 169.65 220.92/221.08 c 8278 784 2545 936698 368 5824 2069 1698 44 186.82 220.92/221.08 c 10360 784 2299 817275 355 5332 2276 1452 48 212.72 220.92/221.08 o 67 234.91/235.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 234.91/235.00 c 10831 784 1986 648172 326 4707 1282 1139 49 221.01 234.91/235.00 c 10933 784 2290 816277 356 5315 1411 1443 48 225.18 234.91/235.00 c 11192 784 1554 418596 269 3843 1553 707 48 230.91 234.91/235.00 o 66 343.37/343.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 343.37/343.54 c 11278 784 1809 563053 311 5089 1282 962 48 234.92 343.37/343.54 c 11379 784 2112 730973 346 5695 1411 1265 47 238.88 343.37/343.54 c 11645 784 1554 411937 265 3844 1553 707 47 244.84 343.37/343.54 c 12122 784 1625 439894 270 3986 1709 778 47 252.93 343.37/343.54 c 12935 784 2118 725720 342 4972 1880 1271 48 265.00 343.37/343.54 c 14256 784 2107 687509 326 4950 2069 1260 50 282.92 343.37/343.54 c 16338 784 2098 694435 330 4932 2276 1251 53 308.23 343.37/343.54 o 65 1798.00/1798.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1798.00/1798.72 c 19214 784 1986 633318 318 4709 1282 1139 55 343.44 1798.00/1798.72 c 19322 784 2307 806349 349 5351 1411 1460 55 347.51 1798.00/1798.72 c 19575 784 1557 403061 258 3851 1553 710 55 353.57 1798.00/1798.72 c 20050 784 1625 436605 268 3987 1709 778 55 362.31 1798.00/1798.72 c 20867 784 2193 707175 322 5123 1880 1346 55 374.96 1798.00/1798.72 c 22188 784 2143 706653 329 5023 2069 1296 56 392.82 1798.00/1798.72 c 24271 784 2104 689602 327 4945 2276 1257 57 420.79 1798.00/1798.72 c 27498 784 3145 1175263 373 7027 2504 2298 59 460.19 1798.00/1798.72 c 32438 784 2100 672298 320 4937 2755 1253 62 519.14 1798.00/1798.72 c 39945 784 2971 1106171 372 6679 3031 2124 65 610.80 1798.00/1798.72 c 51306 784 3505 1432446 408 7747 3335 2658 68 746.45 1798.00/1798.72 c 68454 784 2970 1097016 369 6677 3669 2123 72 943.17 1798.00/1798.72 c 94274 784 4622 1954434 422 9981 4036 3775 75 1247.28 1798.00/1798.72 c 133106 784 4376 1622624 370 9489 4440 3529 79 1680.63 1798.00/1798.72 c Resources Exceeded 1798.00/1798.72 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 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 x817 -x818 -x819 -x820 x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 -x903 -x904 -x905 x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 x1119 -x1120 x1121 -x1122 -x1123 x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 x1240 -x1241 -x1242 x1243 -x1244 -x1245 -x1246 x1247 x1248 -x1249 -x1250 -x1251 x1252 x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 1798.00/1798.72 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.00/1798.72 c 56 142060 12426 194164 4104 1722980 3257 79 1798.03 1798.00/1798.72 c Objective: 65 1798.00/1798.72 s SATISFIABLE 1798.00/1798.72 c Total time: 1798.03 s
OK 65
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656486-1276594691/watcher-2656486-1276594691 -o /tmp/evaluation-result-2656486-1276594691/solver-2656486-1276594691 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656486-1276594691.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.23 2.25 2.16 3/106 3225 /proc/meminfo: memFree=1846828/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=19208 CPUtime=0 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 328 0 0 0 0 0 0 0 18 0 1 0 35070512 19668992 246 1992294400 134512640 137138936 4294196560 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 4802 247 175 642 0 4008 0 [startup+0.052609 s] /proc/loadavg: 1.23 2.25 2.16 3/106 3225 /proc/meminfo: memFree=1846828/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=11920 CPUtime=0.04 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 514 0 0 0 4 0 0 0 20 0 1 0 35070512 12206080 432 1992294400 134512640 137138936 4294196560 18446744073709551615 136525335 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 2980 432 239 642 0 2186 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11920 [startup+0.100616 s] /proc/loadavg: 1.23 2.25 2.16 3/106 3225 /proc/meminfo: memFree=1846828/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=12448 CPUtime=0.09 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 711 0 0 0 9 0 0 0 20 0 1 0 35070512 12746752 629 1992294400 134512640 137138936 4294196560 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 3112 629 306 642 0 2318 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12448 [startup+0.30065 s] /proc/loadavg: 1.23 2.25 2.16 3/106 3225 /proc/meminfo: memFree=1846828/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=14056 CPUtime=0.29 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 4151 0 0 0 28 1 0 0 20 0 1 0 35070512 14393344 976 1992294400 134512640 137138936 4294196560 18446744073709551615 134734930 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 3514 976 275 642 0 2870 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14056 [startup+0.700719 s] /proc/loadavg: 1.23 2.25 2.16 3/106 3225 /proc/meminfo: memFree=1846828/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=14368 CPUtime=0.69 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 12010 0 0 0 65 4 0 0 21 0 1 0 35070512 14712832 945 1992294400 134512640 137138936 4294196560 18446744073709551615 135457930 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 3592 945 282 642 0 2948 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14368 [startup+1.50086 s] /proc/loadavg: 1.21 2.23 2.15 2/107 3226 /proc/meminfo: memFree=1843720/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=14536 CPUtime=1.49 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 33489 0 0 0 139 10 0 0 23 0 1 0 35070512 14884864 967 1992294400 134512640 137138936 4294196560 18446744073709551615 135348150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 3634 967 282 642 0 2990 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14536 [startup+3.10113 s] /proc/loadavg: 1.21 2.23 2.15 2/107 3226 /proc/meminfo: memFree=1843596/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=14380 CPUtime=3.09 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 84391 0 0 0 283 26 0 0 25 0 1 0 35070512 14725120 960 1992294400 134512640 137138936 4294196560 18446744073709551615 134731561 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 3595 960 282 642 0 2951 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14380 [startup+6.30068 s] /proc/loadavg: 1.21 2.23 2.15 2/107 3226 /proc/meminfo: memFree=1843472/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=14432 CPUtime=6.29 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 173512 0 0 0 580 49 0 0 25 0 1 0 35070512 14778368 956 1992294400 134512640 137138936 4294196560 18446744073709551615 134840710 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 3608 956 286 642 0 2964 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14432 [startup+12.7018 s] /proc/loadavg: 1.18 2.19 2.14 2/107 3226 /proc/meminfo: memFree=1843348/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=12964 CPUtime=12.68 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 362828 0 0 0 1164 104 0 0 25 0 1 0 35070512 13275136 897 1992294400 134512640 137138936 4294196560 18446744073709551615 134913446 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 3241 903 287 642 0 2597 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 12964 [startup+25.501 s] /proc/loadavg: 1.15 2.15 2.12 2/107 3226 /proc/meminfo: memFree=1840620/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=16036 CPUtime=25.49 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 770770 0 0 0 2323 226 0 0 25 0 1 0 35070512 16420864 1650 1992294400 134512640 137138936 4294196560 18446744073709551615 135783846 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 4009 1650 287 642 0 3365 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 16036 [startup+51.1014 s] /proc/loadavg: 1.10 2.06 2.09 2/107 3228 /proc/meminfo: memFree=1833180/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=24944 CPUtime=51.07 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 1586977 0 0 0 4658 449 0 0 25 0 1 0 35070512 25542656 3546 1992294400 134512640 137138936 4294196560 18446744073709551615 134730901 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 6236 3546 287 642 0 5592 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 24944 [startup+102.309 s] /proc/loadavg: 1.04 1.88 2.03 2/107 3228 /proc/meminfo: memFree=1812596/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=43276 CPUtime=102.26 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 2557590 0 0 0 9481 745 0 0 25 0 1 0 35070512 44314624 8492 1992294400 134512640 137138936 4294196560 18446744073709551615 134750959 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 10819 8492 287 642 0 10175 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 43276 [startup+162.3 s] /proc/loadavg: 1.09 1.73 1.97 2/107 3230 /proc/meminfo: memFree=1808256/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=47896 CPUtime=162.23 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 2898757 0 0 0 15362 861 0 0 25 0 1 0 35070512 49045504 9565 1992294400 134512640 137138936 4294196560 18446744073709551615 135071247 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 11974 9565 287 642 0 11330 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 47896 [startup+222.301 s] /proc/loadavg: 1.03 1.60 1.90 2/107 3232 /proc/meminfo: memFree=1808876/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=46864 CPUtime=222.21 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 2898757 0 0 0 21357 864 0 0 25 0 1 0 35070512 47988736 9389 1992294400 134512640 137138936 4294196560 18446744073709551615 134912849 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 11716 9389 287 642 0 11072 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 46864 [startup+282.301 s] /proc/loadavg: 1.01 1.49 1.84 2/107 3234 /proc/meminfo: memFree=1808876/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=46864 CPUtime=282.19 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 2898757 0 0 0 27352 867 0 0 25 0 1 0 35070512 47988736 9389 1992294400 134512640 137138936 4294196560 18446744073709551615 134750986 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 11716 9389 287 642 0 11072 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 46864 [startup+342.301 s] /proc/loadavg: 1.00 1.39 1.79 2/107 3236 /proc/meminfo: memFree=1808876/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=46864 CPUtime=342.17 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 2898757 0 0 0 33347 870 0 0 25 0 1 0 35070512 47988736 9389 1992294400 134512640 137138936 4294196560 18446744073709551615 134625581 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 11716 9389 287 642 0 11072 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 46864 [startup+402.301 s] /proc/loadavg: 1.00 1.32 1.73 2/107 3236 /proc/meminfo: memFree=1808876/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=46864 CPUtime=402.15 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 2898757 0 0 0 39342 873 0 0 25 0 1 0 35070512 47988736 9389 1992294400 134512640 137138936 4294196560 18446744073709551615 134750862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 11716 9389 287 642 0 11072 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 46864 [startup+462.301 s] /proc/loadavg: 1.00 1.26 1.69 2/107 3238 /proc/meminfo: memFree=1808876/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=46864 CPUtime=462.12 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 2898757 0 0 0 45335 877 0 0 25 0 1 0 35070512 47988736 9389 1992294400 134512640 137138936 4294196560 18446744073709551615 135380709 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 11716 9389 287 642 0 11072 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 46864 [startup+522.3 s] /proc/loadavg: 1.00 1.21 1.64 2/107 3240 /proc/meminfo: memFree=1808876/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=46864 CPUtime=522.09 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 2898757 0 0 0 51329 880 0 0 25 0 1 0 35070512 47988736 9389 1992294400 134512640 137138936 4294196560 18446744073709551615 134904278 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 11716 9389 287 642 0 11072 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 46864 [startup+582.302 s] /proc/loadavg: 1.00 1.17 1.60 2/107 3242 /proc/meminfo: memFree=1808876/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=46864 CPUtime=582.07 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 2898757 0 0 0 57324 883 0 0 25 0 1 0 35070512 47988736 9389 1992294400 134512640 137138936 4294196560 18446744073709551615 134730882 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 11716 9389 287 642 0 11072 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 46864 [startup+642.301 s] /proc/loadavg: 1.00 1.14 1.56 2/107 3244 /proc/meminfo: memFree=1808752/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=46864 CPUtime=642.06 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 2898757 0 0 0 63320 886 0 0 25 0 1 0 35070512 47988736 9389 1992294400 134512640 137138936 4294196560 18446744073709551615 134730901 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 11716 9389 287 642 0 11072 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 46864 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1808132/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=47692 CPUtime=1061.89 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 3741192 0 0 0 104921 1268 0 0 25 0 1 0 35070512 48836608 9442 1992294400 134512640 137138936 4294196560 18446744073709551615 134840723 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 11923 9442 287 642 0 11279 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 47692 [startup+1122.3 s] /proc/loadavg: 1.11 1.07 1.33 2/107 3256 /proc/meminfo: memFree=1806024/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=50604 CPUtime=1121.87 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 3878614 0 0 0 110845 1342 0 0 25 0 1 0 35070512 51818496 10016 1992294400 134512640 137138936 4294196560 18446744073709551615 134730923 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 12651 10016 287 642 0 12007 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 50604 [startup+1182.3 s] /proc/loadavg: 1.10 1.07 1.32 2/107 3258 /proc/meminfo: memFree=1805776/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=49408 CPUtime=1181.84 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 4393949 0 0 0 116647 1537 0 0 25 0 1 0 35070512 50593792 9948 1992294400 134512640 137138936 4294196560 18446744073709551615 135412742 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 12352 9948 287 642 0 11708 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 49408 [startup+1242.3 s] /proc/loadavg: 1.09 1.07 1.30 2/107 3260 /proc/meminfo: memFree=1805776/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=49556 CPUtime=1241.82 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 4396125 0 0 0 122640 1542 0 0 25 0 1 0 35070512 50745344 9964 1992294400 134512640 137138936 4294196560 18446744073709551615 134720960 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 12389 9964 287 642 0 11745 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 49556 [startup+1302.3 s] /proc/loadavg: 1.03 1.05 1.28 2/107 3260 /proc/meminfo: memFree=1805900/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=48968 CPUtime=1301.8 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 4547622 0 0 0 128550 1630 0 0 25 0 1 0 35070512 50143232 9915 1992294400 134512640 137138936 4294196560 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 12242 9915 287 642 0 11598 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 48968 [startup+1362.3 s] /proc/loadavg: 1.01 1.04 1.26 2/107 3262 /proc/meminfo: memFree=1803916/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=50884 CPUtime=1361.78 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 5047049 0 0 0 134349 1829 0 0 25 0 1 0 35070512 52105216 10394 1992294400 134512640 137138936 4294196560 18446744073709551615 136504091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 12721 10394 287 642 0 12077 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 50884 [startup+1422.31 s] /proc/loadavg: 1.00 1.03 1.24 2/107 3273 /proc/meminfo: memFree=1803668/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=51228 CPUtime=1421.75 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 5300519 0 0 0 140221 1954 0 0 25 0 1 0 35070512 52457472 10383 1992294400 134512640 137138936 4294196560 18446744073709551615 135783832 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 12807 10383 287 642 0 12163 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 51228 [startup+1482.3 s] /proc/loadavg: 1.00 1.02 1.22 2/107 3275 /proc/meminfo: memFree=1803668/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=50724 CPUtime=1481.72 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 5300602 0 0 0 146215 1957 0 0 25 0 1 0 35070512 51941376 10354 1992294400 134512640 137138936 4294196560 18446744073709551615 134828825 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 12681 10354 287 642 0 12037 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 50724 [startup+1542.3 s] /proc/loadavg: 1.00 1.02 1.20 2/107 3277 /proc/meminfo: memFree=1803668/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=51264 CPUtime=1541.7 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 5300809 0 0 0 152209 1961 0 0 25 0 1 0 35070512 52494336 10413 1992294400 134512640 137138936 4294196560 18446744073709551615 134849365 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 12816 10413 287 642 0 12172 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 51264 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 1.19 2/107 3277 /proc/meminfo: memFree=1803668/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=51264 CPUtime=1601.68 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 5300813 0 0 0 158203 1965 0 0 25 0 1 0 35070512 52494336 10417 1992294400 134512640 137138936 4294196560 18446744073709551615 134840705 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 12816 10417 287 642 0 12172 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 51264 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.17 2/107 3279 /proc/meminfo: memFree=1803916/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=50376 CPUtime=1661.66 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 5300813 0 0 0 164197 1969 0 0 25 0 1 0 35070512 51585024 10267 1992294400 134512640 137138936 4294196560 18446744073709551615 135783795 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 12594 10267 287 642 0 11950 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 50376 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.16 2/107 3281 /proc/meminfo: memFree=1798460/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=55892 CPUtime=1721.63 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 5643946 0 0 0 170071 2092 0 0 25 0 1 0 35070512 57233408 11646 1992294400 134512640 137138936 4294196560 18446744073709551615 134544873 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 13973 11646 287 642 0 13329 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 55892 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.15 2/107 3283 /proc/meminfo: memFree=1798584/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=55828 CPUtime=1781.6 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 6134646 0 0 0 175869 2291 0 0 25 0 1 0 35070512 57167872 11630 1992294400 134512640 137138936 4294196560 18446744073709551615 136504643 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 13957 11630 287 642 0 13313 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (KiB) 55828 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.15 2/107 3283 /proc/meminfo: memFree=1798584/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=56712 CPUtime=1791.2 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 6201847 0 0 0 176800 2320 0 0 25 0 1 0 35070512 58073088 11663 1992294400 134512640 137138936 4294196560 18446744073709551615 135404672 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 14220 11666 287 642 0 13576 0 Current children cumulated CPU time (s) 1791.2 Current children cumulated vsize (KiB) 56712 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.15 2/107 3283 /proc/meminfo: memFree=1798584/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=56360 CPUtime=1794.4 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 6222395 0 0 0 177111 2329 0 0 25 0 1 0 35070512 57712640 11657 1992294400 134512640 137138936 4294196560 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 14090 11657 287 642 0 13446 0 Current children cumulated CPU time (s) 1794.4 Current children cumulated vsize (KiB) 56360 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.15 2/107 3283 /proc/meminfo: memFree=1798584/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=55816 CPUtime=1795.99 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 6231380 0 0 0 177266 2333 0 0 25 0 1 0 35070512 57155584 11627 1992294400 134512640 137138936 4294196560 18446744073709551615 134625652 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 13954 11627 287 642 0 13310 0 Current children cumulated CPU time (s) 1795.99 Current children cumulated vsize (KiB) 55816 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.15 2/107 3283 /proc/meminfo: memFree=1798584/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=55816 CPUtime=1796.8 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 6236116 0 0 0 177344 2336 0 0 25 0 1 0 35070512 57155584 11627 1992294400 134512640 137138936 4294196560 18446744073709551615 134576431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 13954 11627 287 642 0 13310 0 Current children cumulated CPU time (s) 1796.8 Current children cumulated vsize (KiB) 55816 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.15 2/107 3283 /proc/meminfo: memFree=1798584/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=56688 CPUtime=1797.59 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 6240744 0 0 0 177422 2337 0 0 25 0 1 0 35070512 58048512 11657 1992294400 134512640 137138936 4294196560 18446744073709551615 136505076 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 13954 11627 287 642 0 13310 0 Current children cumulated CPU time (s) 1797.59 Current children cumulated vsize (KiB) 56688 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.15 2/107 3283 /proc/meminfo: memFree=1798584/2059040 swapFree=4136088/4192956 [pid=3225] ppid=3223 vsize=55816 CPUtime=1798 /proc/3225/stat : 3225 (bsolo_pb10) R 3223 3225 2485 0 -1 4202496 6243046 0 0 0 177462 2338 0 0 25 0 1 0 35070512 57155584 11627 1992294400 134512640 137138936 4294196560 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3225/statm: 13954 11627 287 642 0 13310 0 Current children cumulated CPU time (s) 1798 Current children cumulated vsize (KiB) 55816 Child status: 0 Real time (s): 1798.73 CPU time (s): 1798.04 CPU user time (s): 1774.65 CPU system time (s): 23.3894 CPU usage (%): 99.9613 Max. virtual memory (cumulated for all children) (KiB): 57508 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1774.65 system time used= 23.3894 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6243167 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= 13882 runsolver used 2.99854 second user time and 8.46371 second system time The end
Begin job on node014 at 2010-06-15 11:38:11 IDJOB=2656486 IDBENCH=2876 IDSOLVER=1162 FILE ID=node014/2656486-1276594691 PBS_JOBID= 11172226 Free space on /tmp= 62572 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-alu2.b.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656486-1276594691/watcher-2656486-1276594691 -o /tmp/evaluation-result-2656486-1276594691/solver-2656486-1276594691 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656486-1276594691.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a793af2f16b39bdc1dda733b5326bfb4 RANDOM SEED=917570934 node014.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.258 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.51 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.258 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1847232 kB Buffers: 25528 kB Cached: 98924 kB SwapCached: 10744 kB Active: 84504 kB Inactive: 54180 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1847232 kB SwapTotal: 4192956 kB SwapFree: 4136088 kB Dirty: 4476 kB Writeback: 0 kB AnonPages: 12432 kB Mapped: 9396 kB Slab: 51260 kB PageTables: 4008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182380 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 node014 at 2010-06-15 12:08:10