Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | 63 | 1798.01 | 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 | 18.6492 |
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.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-1879905-1245240024.opb 0.00/0.00 c File size is 613565 bytes. 0.04/0.08 c Highest Coefficient sum: 1266 0.04/0.08 c Parsing was ok!! 0.04/0.08 c Total parsing time: 0.079 s 0.04/0.08 c Var: 1266 Constr: 2888 2888/0/0 Lit: 72716 Watch. Lit: 5762 0.04/0.08 c Obj. Vars: 1266 (100 % of total variables) 0.10/0.20 c Formula reductions applied at preprocessing 0.10/0.20 c Pre-processing Time: 0.199 s 0.29/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.31 c 0 784 847 27394 32 1694 282 0 0 0.20 0.29/0.31 c Initial Lower Bound: 56 0.29/0.31 c Initial Path Cost: 18 0.29/0.31 o 85 2.99/3.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.99/3.00 c 0 784 848 28178 33 2413 1282 1 0 0.32 2.99/3.00 o 80 5.69/5.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.69/5.77 c 0 784 849 28962 34 3137 2282 2 0 3.00 5.69/5.77 o 79 9.09/9.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.09/9.10 c 1 784 853 31180 36 3868 2282 6 0 5.77 9.09/9.10 o 78 12.29/12.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.29/12.40 c 2 784 856 31990 37 4598 2282 9 0 9.10 12.29/12.40 o 77 15.19/15.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.19/15.24 c 4 784 859 32828 38 5329 2282 12 0 12.39 15.19/15.24 o 74 28.19/28.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.19/28.22 c 4 784 860 33612 39 6059 2282 13 0 15.24 28.19/28.22 c 105 784 1146 112537 98 6631 2511 299 5 19.51 28.19/28.22 c 355 784 1756 367028 209 7851 2763 909 14 25.10 28.19/28.22 o 73 35.86/35.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 35.86/35.92 c 358 784 1761 368860 209 8590 2282 914 12 28.21 35.86/35.92 c 459 784 2058 526321 255 9184 2511 1211 14 32.35 35.86/35.92 o 72 43.55/43.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 43.55/43.63 c 463 784 2067 530659 256 9932 2282 1220 12 35.89 43.55/43.63 c 564 784 2349 681231 290 10496 2511 1502 14 40.01 43.55/43.63 o 71 57.25/57.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 57.25/57.35 c 587 784 2410 710147 294 11349 2282 1563 13 43.60 57.25/57.35 c 687 784 2672 841588 314 11873 2511 1825 14 47.92 57.25/57.35 c 937 784 3352 1212640 361 13233 2763 2505 17 53.80 57.25/57.35 o 70 84.65/84.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 84.65/84.71 c 955 784 3402 1238893 364 14065 2282 2555 16 57.31 84.65/84.71 c 1057 784 1989 611637 307 4710 2511 1142 17 61.34 84.65/84.71 c 1317 784 2744 1047500 381 6220 2763 1897 19 67.35 84.65/84.71 c 1795 784 2230 816375 366 5192 3040 1383 23 75.29 84.65/84.71 o 69 88.54/88.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 88.54/88.64 c 2143 784 3238 1400516 432 7941 1282 2391 25 84.67 88.54/88.64 o 68 1409.40/1410.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1409.40/1410.06 c 2169 784 1565 440100 281 4597 1282 718 24 88.59 1409.40/1410.06 c 2278 784 1888 616316 326 5243 1411 1041 24 92.13 1409.40/1410.06 c 2529 784 2636 1024819 388 6739 1553 1789 25 97.45 1409.40/1410.06 c 3005 784 2259 786731 348 5252 1709 1412 28 104.78 1409.40/1410.06 c 3825 784 2787 1089786 391 6308 1880 1940 32 116.96 1409.40/1410.06 c 5153 784 2808 1036144 368 6350 2069 1961 38 132.42 1409.40/1410.06 c 7236 784 2722 1008718 370 6178 2276 1875 45 159.84 1409.40/1410.06 c 10459 784 2945 1083285 367 6624 2504 2098 54 193.59 1409.40/1410.06 c 15397 784 3744 1463560 390 8222 2755 2897 59 259.15 1409.40/1410.06 c 22905 784 2226 742100 333 5186 3031 1379 67 339.19 1409.40/1410.06 c 34273 784 2364 818025 346 5462 3335 1517 72 475.81 1409.40/1410.06 c 51417 784 3395 1284349 378 7524 3669 2548 78 652.74 1409.40/1410.06 c 77237 784 3489 1308084 374 7712 4036 2642 82 937.64 1409.40/1410.06 c 116070 784 3348 1322233 394 7430 4440 2501 85 1353.20 1409.40/1410.06 o 67 1418.99/1419.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1418.99/1419.63 c 120870 784 3068 1130869 368 6871 1282 2221 85 1409.50 1418.99/1419.63 c 120974 784 1781 499995 280 4297 1411 934 85 1413.22 1418.99/1419.63 o 66 1450.88/1451.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1450.88/1451.52 c 121186 784 2384 798220 334 6239 1282 1537 85 1419.04 1450.88/1451.52 c 121289 784 1489 354745 238 3714 1411 642 85 1422.59 1450.88/1451.52 c 121539 784 2153 713266 331 5042 1553 1306 85 1428.84 1450.88/1451.52 c 122014 784 1690 479645 283 4116 1709 843 84 1436.75 1450.88/1451.52 c 122829 784 2132 706283 331 5000 1880 1285 84 1447.56 1450.88/1451.52 o 65 1464.29/1464.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1464.29/1464.90 c 122844 784 2173 729149 335 5819 1282 1326 84 1450.91 1464.29/1464.90 c 122953 784 2492 905524 363 6457 1411 1645 84 1454.72 1464.29/1464.90 c 123203 784 1554 405560 260 3845 1553 707 84 1460.23 1464.29/1464.90 o 64 1521.86/1522.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1521.86/1522.59 c 123310 784 1863 579276 310 5201 1282 1016 84 1464.30 1521.86/1522.59 c 123421 784 2194 759295 346 5863 1411 1347 84 1468.16 1521.86/1522.59 c 123679 784 1554 410806 264 3846 1553 707 83 1473.51 1521.86/1522.59 c 124168 784 1625 448038 275 3988 1709 778 83 1481.76 1521.86/1522.59 c 124998 784 2218 765659 345 5174 1880 1371 83 1493.50 1521.86/1522.59 c 126319 784 2211 759603 343 5160 2069 1364 83 1511.88 1521.86/1522.59 o 63 1797.97/1798.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.97/1798.72 c 126993 784 2148 718122 334 5773 1282 1301 83 1521.96 1797.97/1798.72 c 127093 784 2448 861206 351 6373 1411 1601 83 1525.64 1797.97/1798.72 c 127349 784 1554 381718 245 3847 1553 707 83 1531.54 1797.97/1798.72 c 127827 784 1625 397270 244 3989 1709 778 82 1540.84 1797.97/1798.72 c 128641 784 2224 677678 304 5187 1880 1377 82 1554.98 1797.97/1798.72 c 129966 784 2352 733412 311 5443 2069 1505 82 1577.10 1797.97/1798.72 c 132047 784 2549 822054 322 5837 2276 1702 82 1608.78 1797.97/1798.72 c 135277 784 1986 573079 288 4711 2504 1139 81 1654.34 1797.97/1798.72 c 140218 784 3428 1283606 374 7595 2755 2581 81 1716.49 1797.97/1798.72 c Resources Exceeded 1797.97/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 1797.97/1798.72 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.97/1798.72 c 59 145905 15658 205581 3874 1547865 3027 81 1798.00 1797.97/1798.72 c Objective: 63 1797.97/1798.72 s SATISFIABLE 1797.97/1798.72 c Total time: 1798 s
OK 63
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879905-1245240024/watcher-1879905-1245240024 -o /tmp/evaluation-result-1879905-1245240024/solver-1879905-1245240024 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879905-1245240024.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.12 1.07 0.98 3/64 9188 /proc/meminfo: memFree=1858376/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=19136 CPUtime=0 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 257 0 0 0 0 0 0 0 18 0 1 0 191602334 19595264 241 1992294400 134512640 137136520 4294956256 18446744073709551615 134520243 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 4784 241 176 640 0 3990 0 [startup+0.043616 s] /proc/loadavg: 1.12 1.07 0.98 3/64 9188 /proc/meminfo: memFree=1858376/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=11848 CPUtime=0.04 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 471 0 0 0 4 0 0 0 18 0 1 0 191602334 12132352 455 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 2962 455 250 640 0 2168 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11848 [startup+0.101621 s] /proc/loadavg: 1.12 1.07 0.98 3/64 9188 /proc/meminfo: memFree=1858376/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=13236 CPUtime=0.1 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 1039 0 0 0 10 0 0 0 18 0 1 0 191602334 13553664 873 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 3309 873 190 640 0 2665 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13236 [startup+0.301645 s] /proc/loadavg: 1.12 1.07 0.98 3/64 9188 /proc/meminfo: memFree=1858376/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=14388 CPUtime=0.29 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 4169 0 0 0 28 1 0 0 19 0 1 0 191602334 14733312 1060 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 3597 1060 285 640 0 2953 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14388 [startup+0.701689 s] /proc/loadavg: 1.12 1.07 0.98 3/64 9188 /proc/meminfo: memFree=1858376/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=13852 CPUtime=0.69 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 13951 0 0 0 64 5 0 0 23 0 1 0 191602334 14184448 933 1992294400 134512640 137136520 4294956256 18446744073709551615 134711054 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 3463 934 290 640 0 2819 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13852 [startup+1.50178 s] /proc/loadavg: 1.11 1.07 0.98 2/65 9189 /proc/meminfo: memFree=1855608/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=14468 CPUtime=1.49 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 35814 0 0 0 137 12 0 0 25 0 1 0 191602334 14815232 972 1992294400 134512640 137136520 4294956256 18446744073709551615 134710999 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 3617 972 290 640 0 2973 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14468 [startup+3.10196 s] /proc/loadavg: 1.11 1.07 0.98 2/65 9189 /proc/meminfo: memFree=1855480/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=14432 CPUtime=3.09 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 88058 0 0 0 280 29 0 0 25 0 1 0 191602334 14778368 979 1992294400 134512640 137136520 4294956256 18446744073709551615 135442568 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 3608 979 291 640 0 2964 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14432 [startup+6.30133 s] /proc/loadavg: 1.10 1.07 0.98 2/65 9189 /proc/meminfo: memFree=1855416/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=14540 CPUtime=6.29 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 182485 0 0 0 570 59 0 0 25 0 1 0 191602334 14888960 997 1992294400 134512640 137136520 4294956256 18446744073709551615 134732877 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 3635 997 293 640 0 2991 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14540 [startup+12.7011 s] /proc/loadavg: 1.09 1.07 0.98 2/65 9189 /proc/meminfo: memFree=1855424/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=12580 CPUtime=12.69 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 377955 0 0 0 1142 127 0 0 25 0 1 0 191602334 12881920 840 1992294400 134512640 137136520 4294956256 18446744073709551615 134826503 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 3145 840 293 640 0 2501 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12580 [startup+25.5015 s] /proc/loadavg: 1.07 1.06 0.98 2/65 9189 /proc/meminfo: memFree=1851520/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=16784 CPUtime=25.48 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 806192 0 0 0 2289 259 0 0 25 0 1 0 191602334 17186816 1859 1992294400 134512640 137136520 4294956256 18446744073709551615 135781746 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 4196 1859 293 640 0 3552 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 16784 [startup+51.1014 s] /proc/loadavg: 1.05 1.06 0.98 2/65 9195 /proc/meminfo: memFree=1844736/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=23284 CPUtime=51.05 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 1639190 0 0 0 4588 517 0 0 25 0 1 0 191602334 23842816 3484 1992294400 134512640 137136520 4294956256 18446744073709551615 135781789 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 5821 3484 293 640 0 5177 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 23284 [startup+102.305 s] /proc/loadavg: 1.02 1.05 0.98 2/65 9195 /proc/meminfo: memFree=1826816/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=41304 CPUtime=102.23 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 2382707 0 0 0 9464 759 0 0 25 0 1 0 191602334 42295296 8021 1992294400 134512640 137136520 4294956256 18446744073709551615 134838612 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 10326 8021 293 640 0 9682 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 41304 [startup+162.301 s] /proc/loadavg: 1.00 1.04 0.98 2/65 9195 /proc/meminfo: memFree=1826816/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=41304 CPUtime=162.21 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 2382707 0 0 0 15459 762 0 0 25 0 1 0 191602334 42295296 8021 1992294400 134512640 137136520 4294956256 18446744073709551615 135781779 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 10326 8021 293 640 0 9682 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 41304 [startup+222.302 s] /proc/loadavg: 1.00 1.03 0.98 2/65 9195 /proc/meminfo: memFree=1826944/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=41764 CPUtime=222.19 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 2383149 0 0 0 21455 764 0 0 25 0 1 0 191602334 42766336 8030 1992294400 134512640 137136520 4294956256 18446744073709551615 135080471 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 10441 8030 293 640 0 9797 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 41764 [startup+282.302 s] /proc/loadavg: 1.00 1.02 0.98 2/65 9195 /proc/meminfo: memFree=1825024/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=42952 CPUtime=282.17 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 2545650 0 0 0 27390 827 0 0 25 0 1 0 191602334 43982848 8433 1992294400 134512640 137136520 4294956256 18446744073709551615 134748148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 10738 8433 293 640 0 10094 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 42952 [startup+342.301 s] /proc/loadavg: 1.00 1.01 0.98 2/65 9195 /proc/meminfo: memFree=1825408/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=43200 CPUtime=342.14 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 2684882 0 0 0 33331 883 0 0 25 0 1 0 191602334 44236800 8382 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 10800 8382 293 640 0 10156 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 43200 [startup+402.301 s] /proc/loadavg: 1.00 1.01 0.98 2/65 9195 /proc/meminfo: memFree=1824000/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=45380 CPUtime=402.11 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 3438177 0 0 0 39056 1155 0 0 25 0 1 0 191602334 46469120 8765 1992294400 134512640 137136520 4294956256 18446744073709551615 135448314 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 11345 8765 293 640 0 10701 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 45380 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 9195 /proc/meminfo: memFree=1824384/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=44792 CPUtime=462.09 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 3979098 0 0 0 44844 1365 0 0 25 0 1 0 191602334 45867008 8654 1992294400 134512640 137136520 4294956256 18446744073709551615 134728818 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 11198 8654 293 640 0 10554 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 44792 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 9195 /proc/meminfo: memFree=1822272/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=46904 CPUtime=522.07 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 4629682 0 0 0 50598 1609 0 0 25 0 1 0 191602334 48029696 9187 1992294400 134512640 137136520 4294956256 18446744073709551615 134729455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 11726 9187 293 640 0 11082 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 46904 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 9195 /proc/meminfo: memFree=1822208/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=46252 CPUtime=582.05 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 4755635 0 0 0 56541 1664 0 0 25 0 1 0 191602334 47362048 9163 1992294400 134512640 137136520 4294956256 18446744073709551615 134845936 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 11563 9163 293 640 0 10919 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 46252 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 9195 /proc/meminfo: memFree=1822144/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=46252 CPUtime=642.03 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 4755646 0 0 0 62537 1666 0 0 25 0 1 0 191602334 47362048 9174 1992294400 134512640 137136520 4294956256 18446744073709551615 135249248 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 11563 9174 293 640 0 10919 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 46252 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1814656/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=53744 CPUtime=1061.86 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 6687560 0 0 0 103802 2384 0 0 25 0 1 0 191602334 55033856 10999 1992294400 134512640 137136520 4294956256 18446744073709551615 135410703 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 13436 10999 293 640 0 12792 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 53744 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 9195 /proc/meminfo: memFree=1814592/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=53744 CPUtime=1121.83 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 6687560 0 0 0 109797 2386 0 0 25 0 1 0 191602334 55033856 10999 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 13436 10999 293 640 0 12792 0 Current children cumulated CPU time (s) 1121.83 Current children cumulated vsize (KiB) 53744 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 9195 /proc/meminfo: memFree=1814592/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=53108 CPUtime=1181.81 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 6687560 0 0 0 115792 2389 0 0 25 0 1 0 191602334 54382592 10972 1992294400 134512640 137136520 4294956256 18446744073709551615 134728816 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 13277 10972 293 640 0 12633 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 53108 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 9195 /proc/meminfo: memFree=1814464/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=53108 CPUtime=1241.77 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 6687560 0 0 0 121785 2392 0 0 25 0 1 0 191602334 54382592 10972 1992294400 134512640 137136520 4294956256 18446744073709551615 135780933 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 13277 10972 293 640 0 12633 0 Current children cumulated CPU time (s) 1241.77 Current children cumulated vsize (KiB) 53108 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 9195 /proc/meminfo: memFree=1814400/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=53108 CPUtime=1301.75 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 6687560 0 0 0 127782 2393 0 0 25 0 1 0 191602334 54382592 10972 1992294400 134512640 137136520 4294956256 18446744073709551615 134728833 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 13277 10972 293 640 0 12633 0 Current children cumulated CPU time (s) 1301.75 Current children cumulated vsize (KiB) 53108 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 9195 /proc/meminfo: memFree=1814336/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=53108 CPUtime=1361.72 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 6687560 0 0 0 133777 2395 0 0 25 0 1 0 191602334 54382592 10972 1992294400 134512640 137136520 4294956256 18446744073709551615 135403656 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 13277 10972 293 640 0 12633 0 Current children cumulated CPU time (s) 1361.72 Current children cumulated vsize (KiB) 53108 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.98 2/65 9195 /proc/meminfo: memFree=1814336/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=53112 CPUtime=1421.7 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 6687561 0 0 0 139774 2396 0 0 25 0 1 0 191602334 54386688 10973 1992294400 134512640 137136520 4294956256 18446744073709551615 134718946 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 13278 10973 293 640 0 12634 0 Current children cumulated CPU time (s) 1421.7 Current children cumulated vsize (KiB) 53112 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 9195 /proc/meminfo: memFree=1814272/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=53112 CPUtime=1481.67 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 6687561 0 0 0 145769 2398 0 0 25 0 1 0 191602334 54386688 10973 1992294400 134512640 137136520 4294956256 18446744073709551615 135455242 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 13278 10973 293 640 0 12634 0 Current children cumulated CPU time (s) 1481.67 Current children cumulated vsize (KiB) 53112 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 9195 /proc/meminfo: memFree=1814208/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=53112 CPUtime=1541.65 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 6687561 0 0 0 151765 2400 0 0 25 0 1 0 191602334 54386688 10973 1992294400 134512640 137136520 4294956256 18446744073709551615 134922580 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 13278 10973 293 640 0 12634 0 Current children cumulated CPU time (s) 1541.65 Current children cumulated vsize (KiB) 53112 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 9195 /proc/meminfo: memFree=1814272/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=53112 CPUtime=1601.64 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 6687561 0 0 0 157762 2402 0 0 25 0 1 0 191602334 54386688 10973 1992294400 134512640 137136520 4294956256 18446744073709551615 135387008 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 13278 10973 293 640 0 12634 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 53112 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 9195 /proc/meminfo: memFree=1814272/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=53112 CPUtime=1661.62 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 6687561 0 0 0 163759 2403 0 0 25 0 1 0 191602334 54386688 10973 1992294400 134512640 137136520 4294956256 18446744073709551615 135781768 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 13278 10973 293 640 0 12634 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 53112 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 9195 /proc/meminfo: memFree=1814208/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=53112 CPUtime=1721.59 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 6687561 0 0 0 169755 2404 0 0 25 0 1 0 191602334 54386688 10973 1992294400 134512640 137136520 4294956256 18446744073709551615 134748929 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 13278 10973 293 640 0 12634 0 Current children cumulated CPU time (s) 1721.59 Current children cumulated vsize (KiB) 53112 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 9195 /proc/meminfo: memFree=1814144/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=53112 CPUtime=1781.57 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 6687561 0 0 0 175751 2406 0 0 25 0 1 0 191602334 54386688 10973 1992294400 134512640 137136520 4294956256 18446744073709551615 135780931 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 13278 10973 293 640 0 12634 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (KiB) 53112 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.98 2/65 9195 /proc/meminfo: memFree=1814144/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=53112 CPUtime=1791.17 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 6687561 0 0 0 176711 2406 0 0 25 0 1 0 191602334 54386688 10973 1992294400 134512640 137136520 4294956256 18446744073709551615 134728837 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 13278 10973 293 640 0 12634 0 Current children cumulated CPU time (s) 1791.17 Current children cumulated vsize (KiB) 53112 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.98 2/65 9195 /proc/meminfo: memFree=1814144/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=53112 CPUtime=1794.37 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 6687561 0 0 0 177031 2406 0 0 25 0 1 0 191602334 54386688 10973 1992294400 134512640 137136520 4294956256 18446744073709551615 134732877 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 13278 10973 293 640 0 12634 0 Current children cumulated CPU time (s) 1794.37 Current children cumulated vsize (KiB) 53112 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.98 2/65 9195 /proc/meminfo: memFree=1814144/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=53112 CPUtime=1795.97 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 6687561 0 0 0 177191 2406 0 0 25 0 1 0 191602334 54386688 10973 1992294400 134512640 137136520 4294956256 18446744073709551615 134729421 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 13278 10973 293 640 0 12634 0 Current children cumulated CPU time (s) 1795.97 Current children cumulated vsize (KiB) 53112 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 0.98 2/65 9195 /proc/meminfo: memFree=1814144/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=53112 CPUtime=1796.77 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 6687561 0 0 0 177271 2406 0 0 25 0 1 0 191602334 54386688 10973 1992294400 134512640 137136520 4294956256 18446744073709551615 135781746 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 13278 10973 293 640 0 12634 0 Current children cumulated CPU time (s) 1796.77 Current children cumulated vsize (KiB) 53112 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 9195 /proc/meminfo: memFree=1814144/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=53112 CPUtime=1797.57 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 6687561 0 0 0 177351 2406 0 0 25 0 1 0 191602334 54386688 10973 1992294400 134512640 137136520 4294956256 18446744073709551615 134823288 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 13278 10973 293 640 0 12634 0 Current children cumulated CPU time (s) 1797.57 Current children cumulated vsize (KiB) 53112 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 0.98 2/65 9195 /proc/meminfo: memFree=1814144/2055920 swapFree=4181924/4192956 [pid=9188] ppid=9186 vsize=53112 CPUtime=1797.97 /proc/9188/stat : 9188 (bsolo) R 9186 9188 9021 0 -1 4194304 6687561 0 0 0 177391 2406 0 0 25 0 1 0 191602334 54386688 10973 1992294400 134512640 137136520 4294956256 18446744073709551615 134831145 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9188/statm: 13278 10973 293 640 0 12634 0 Current children cumulated CPU time (s) 1797.97 Current children cumulated vsize (KiB) 53112 Child status: 0 Real time (s): 1798.73 CPU time (s): 1798.01 CPU user time (s): 1773.94 CPU system time (s): 24.0723 CPU usage (%): 99.9597 Max. virtual memory (cumulated for all children) (KiB): 54656 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1773.94 system time used= 24.0723 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6687563 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= 6161 runsolver used 1.89271 second user time and 4.65529 second system time The end
Begin job on node23 at 2009-06-17 14:00:24 IDJOB=1879905 IDBENCH=2876 IDSOLVER=701 FILE ID=node23/1879905-1245240024 PBS_JOBID= 9372315 Free space on /tmp= 66268 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-alu2.b.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879905-1245240024/watcher-1879905-1245240024 -o /tmp/evaluation-result-1879905-1245240024/solver-1879905-1245240024 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879905-1245240024.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a793af2f16b39bdc1dda733b5326bfb4 RANDOM SEED=308449128 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: 1858856 kB Buffers: 15396 kB Cached: 119396 kB SwapCached: 4540 kB Active: 11672 kB Inactive: 130696 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1858856 kB SwapTotal: 4192956 kB SwapFree: 4181924 kB Dirty: 4532 kB Writeback: 0 kB Mapped: 14364 kB Slab: 40704 kB Committed_AS: 175024 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-1879905-1245240024.opb Free space on /tmp at the end= 66264 MiB End job on node23 at 2009-06-17 14:30:23