Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | 40 | 1798.27 | 1798.84 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-apex7.b.opb |
MD5SUM | a226ce89d775a348c35d29e51d9044b6 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 37 |
Best CPU time to get the best result obtained on this benchmark | 4.86426 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 37 |
Optimality of the best value was proved | NO |
Number of variables | 1108 |
Total number of constraints | 2313 |
Number of constraints which are clauses | 2313 |
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 | 295 |
Number of terms in the objective function | 1108 |
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 | 1108 |
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 | 1108 |
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-2656474-1276596210.opb 0.00/0.00 c File size is 598740 bytes. 0.09/0.10 c Highest Coefficient sum: 1108 0.09/0.10 c Parsing was ok!! 0.09/0.10 c Total parsing time: 0.102 s 0.09/0.10 c Var: 1108 Constr: 2313 2313/0/0 Lit: 73571 Watch. Lit: 4610 0.09/0.10 c Obj. Vars: 1108 (100 % of total variables) 0.50/0.54 c Formula reductions applied at preprocessing 0.50/0.54 c Pre-processing Time: 0.546 s 0.69/0.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.78 c 0 966 1799 67169 37 3598 599 0 0 0.55 0.69/0.78 c Initial Lower Bound: 35 0.69/0.78 c Initial Path Cost: 13 0.69/0.79 o 53 7.49/7.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.49/7.59 c 0 966 1800 68135 37 4526 1599 1 0 0.79 7.49/7.59 o 51 26.08/26.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 26.08/26.15 c 0 966 1801 69101 38 5456 2599 2 0 7.59 26.08/26.15 c 100 966 2090 236294 113 6034 2859 291 5 16.95 26.08/26.15 o 50 232.62/232.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 232.62/232.71 c 140 966 2198 287308 130 7179 2599 399 5 26.14 232.62/232.71 c 246 966 2514 483824 192 7811 2859 715 6 36.74 232.62/232.71 c 496 966 3231 910275 281 9245 3145 1432 9 51.65 232.62/232.71 c 971 966 4589 1761410 383 11961 3460 2790 11 82.94 232.62/232.71 c 1784 966 4221 1283009 303 9371 3807 2422 16 108.20 232.62/232.71 c 3115 966 4675 1510007 322 10279 4188 2876 21 145.38 232.62/232.71 c 5202 966 4895 1604316 327 10719 4607 3096 23 224.31 232.62/232.71 o 49 240.01/240.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 240.01/240.19 c 5266 966 5080 1711007 336 12019 1599 3281 22 232.64 240.01/240.19 o 48 246.81/246.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 246.81/246.90 c 5271 966 2611 478395 183 7083 1599 812 21 240.11 246.81/246.90 o 47 277.11/277.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 277.11/277.26 c 5275 966 2622 485593 185 8037 1599 823 21 246.82 277.11/277.26 c 5375 966 2920 664115 227 8633 1759 1121 21 254.94 277.11/277.26 c 5625 966 3568 1054396 295 9929 1935 1769 20 269.55 277.11/277.26 o 46 569.31/569.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 569.31/569.56 c 5640 966 3608 1077745 298 10942 1599 1809 20 277.18 569.31/569.56 c 5744 966 2890 683995 236 6713 1759 1091 20 286.41 569.31/569.56 c 5994 966 3596 1100114 305 8125 1935 1797 20 298.64 569.31/569.56 c 6476 966 3145 854906 271 7223 2129 1346 20 316.44 569.31/569.56 c 7290 966 3526 1049834 297 7985 2342 1727 21 342.00 569.31/569.56 c 8616 966 3230 901619 279 7393 2577 1431 22 375.62 569.31/569.56 c 10698 966 3319 912626 274 7571 2835 1520 24 429.19 569.31/569.56 c 13921 966 3768 1201438 318 8469 3119 1969 27 508.44 569.31/569.56 o 45 675.18/675.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 675.18/675.42 c 15276 966 3385 860749 254 8637 1599 1586 26 569.38 675.18/675.42 c 15407 966 2600 472364 181 6134 1759 801 26 578.16 675.18/675.42 c 15657 966 3318 850042 256 7570 1935 1519 26 589.54 675.18/675.42 c 16134 966 3069 745464 242 7072 2129 1270 26 606.51 675.18/675.42 c 16948 966 3740 1096325 293 8414 2342 1941 26 630.67 675.18/675.42 c 18269 966 3995 1206569 302 8924 2577 2196 27 667.16 675.18/675.42 o 44 1272.29/1272.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1272.29/1272.75 c 18359 966 4259 1357550 318 10387 1599 2460 27 675.22 1272.29/1272.75 c 18465 966 2911 659728 226 6757 1759 1112 27 683.48 1272.29/1272.75 c 18715 966 3644 1057845 290 8223 1935 1845 26 695.31 1272.29/1272.75 c 19197 966 3428 947069 276 7791 2129 1629 26 712.53 1272.29/1272.75 c 20012 966 2865 634110 221 6665 2342 1066 27 739.57 1272.29/1272.75 c 21333 966 3062 735662 240 7059 2577 1263 27 778.38 1272.29/1272.75 c 23414 966 3300 816700 247 7535 2835 1501 27 843.41 1272.29/1272.75 c 26641 966 4585 1433079 312 10105 3119 2786 28 949.62 1272.29/1272.75 c 31577 966 3953 1019829 257 8841 3431 2154 28 1091.23 1272.29/1272.75 c 39088 966 4620 1318524 285 10175 3775 2821 30 1267.67 1272.29/1272.75 o 42 1277.28/1277.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1277.28/1277.71 c 39089 966 4622 1319520 285 11116 1599 2823 30 1272.35 1277.28/1277.71 o 41 1339.96/1340.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1339.96/1340.46 c 39091 966 2607 429827 164 7089 1599 808 30 1277.30 1339.96/1340.46 c 39194 966 2913 576108 197 7701 1759 1114 30 1284.20 1339.96/1340.46 c 39448 966 3670 932544 254 9215 1935 1871 30 1294.09 1339.96/1340.46 c 39923 966 3461 837307 241 7860 2129 1662 30 1308.98 1339.96/1340.46 c 40746 966 2865 569612 198 6668 2342 1066 30 1332.71 1339.96/1340.46 o 40 1798.22/1798.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1798.22/1798.83 c 40824 966 3100 688929 222 8077 1599 1301 30 1340.03 1798.22/1798.83 c 40931 966 3421 833860 243 8719 1759 1622 30 1347.60 1798.22/1798.83 c 41200 966 2833 485256 171 6605 1935 1034 30 1357.38 1798.22/1798.83 c 41675 966 2768 455795 164 6475 2129 969 30 1375.49 1798.22/1798.83 c 42490 966 3557 826086 232 8053 2342 1758 30 1402.77 1798.22/1798.83 c 43813 966 3993 949249 237 8925 2577 2194 30 1444.14 1798.22/1798.83 c 45894 966 3089 622952 201 7117 2835 1290 30 1506.49 1798.22/1798.83 c 49128 966 3218 748298 232 7375 3119 1419 30 1596.37 1798.22/1798.83 c 54076 966 3360 754690 224 7659 3431 1561 31 1716.05 1798.22/1798.83 c Resources Exceeded 1798.22/1798.84 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 1798.22/1798.84 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.22/1798.84 c 54 57233 8855 117612 4574 1338208 2775 31 1798.26 1798.22/1798.84 c Objective: 40 1798.22/1798.84 s SATISFIABLE 1798.22/1798.84 c Total time: 1798.26 s
OK 40
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656474-1276596210/watcher-2656474-1276596210 -o /tmp/evaluation-result-2656474-1276596210/solver-2656474-1276596210 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656474-1276596210.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 1.04 3/106 8995 /proc/meminfo: memFree=1547228/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=19196 CPUtime=0 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 916105 19656704 244 1992294400 134512640 137138936 4287244368 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 4799 245 174 642 0 4008 0 [startup+0.068764 s] /proc/loadavg: 0.92 0.98 1.04 3/106 8995 /proc/meminfo: memFree=1547228/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=12028 CPUtime=0.06 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 580 0 0 0 6 0 0 0 20 0 1 0 916105 12316672 498 1992294400 134512640 137138936 4287244368 18446744073709551615 136525328 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 3007 498 262 642 0 2216 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 12028 [startup+0.101768 s] /proc/loadavg: 0.92 0.98 1.04 3/106 8995 /proc/meminfo: memFree=1547228/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=12420 CPUtime=0.09 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 713 0 0 0 9 0 0 0 20 0 1 0 916105 12718080 631 1992294400 134512640 137138936 4287244368 18446744073709551615 136525379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 3105 631 308 642 0 2314 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12420 [startup+0.301792 s] /proc/loadavg: 0.92 0.98 1.04 3/106 8995 /proc/meminfo: memFree=1547228/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=13152 CPUtime=0.29 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 1076 0 0 0 29 0 0 0 20 0 1 0 916105 13467648 847 1992294400 134512640 137138936 4287244368 18446744073709551615 134532576 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 3288 847 185 642 0 2644 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13152 [startup+0.701839 s] /proc/loadavg: 0.92 0.98 1.04 3/106 8995 /proc/meminfo: memFree=1547228/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=15892 CPUtime=0.69 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 12400 0 0 0 65 4 0 0 21 0 1 0 916105 16273408 1410 1992294400 134512640 137138936 4287244368 18446744073709551615 135457912 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 3973 1410 275 642 0 3329 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15892 [startup+1.50193 s] /proc/loadavg: 0.92 0.98 1.04 2/107 8996 /proc/meminfo: memFree=1543128/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=16700 CPUtime=1.49 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 29242 0 0 0 139 10 0 0 23 0 1 0 916105 17100800 1357 1992294400 134512640 137138936 4287244368 18446744073709551615 134734941 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 4175 1357 282 642 0 3531 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16700 [startup+3.10112 s] /proc/loadavg: 0.92 0.98 1.04 2/107 8996 /proc/meminfo: memFree=1542880/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=16804 CPUtime=3.09 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 65424 0 0 0 288 21 0 0 25 0 1 0 916105 17207296 1375 1992294400 134512640 137138936 4287244368 18446744073709551615 135253327 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 4201 1375 282 642 0 3557 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16804 [startup+6.3015 s] /proc/loadavg: 0.93 0.98 1.04 2/107 8996 /proc/meminfo: memFree=1542508/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=16216 CPUtime=6.29 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 157502 0 0 0 575 54 0 0 25 0 1 0 916105 16605184 1314 1992294400 134512640 137138936 4287244368 18446744073709551615 135388588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 4054 1314 282 642 0 3410 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16216 [startup+12.7013 s] /proc/loadavg: 0.93 0.98 1.04 2/107 8996 /proc/meminfo: memFree=1542508/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=14292 CPUtime=12.68 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 324777 0 0 0 1157 111 0 0 25 0 1 0 916105 14635008 1242 1992294400 134512640 137138936 4287244368 18446744073709551615 135783832 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 3573 1242 283 642 0 2929 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 14292 [startup+25.5008 s] /proc/loadavg: 0.95 0.98 1.04 2/107 8996 /proc/meminfo: memFree=1540324/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=16864 CPUtime=25.49 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 794839 0 0 0 2273 276 0 0 25 0 1 0 916105 17268736 1857 1992294400 134512640 137138936 4287244368 18446744073709551615 135783795 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 4216 1857 287 642 0 3572 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 16864 [startup+51.1008 s] /proc/loadavg: 0.96 0.98 1.04 2/107 8996 /proc/meminfo: memFree=1531968/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=27252 CPUtime=51.07 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 1739545 0 0 0 4503 604 0 0 25 0 1 0 916105 27906048 3936 1992294400 134512640 137138936 4287244368 18446744073709551615 134708208 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 6813 3944 287 642 0 6169 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 27252 [startup+102.309 s] /proc/loadavg: 0.98 0.98 1.03 2/107 8998 /proc/meminfo: memFree=1511756/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=46268 CPUtime=102.26 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 3736902 0 0 0 8946 1280 0 0 25 0 1 0 916105 47378432 8851 1992294400 134512640 137138936 4287244368 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 11567 8859 287 642 0 10923 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 46268 [startup+162.301 s] /proc/loadavg: 0.99 0.98 1.02 2/107 9000 /proc/meminfo: memFree=1510392/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=45492 CPUtime=162.23 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 5056024 0 0 0 14454 1769 0 0 25 0 1 0 916105 46583808 9046 1992294400 134512640 137138936 4287244368 18446744073709551615 134750313 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 11373 9046 287 642 0 10729 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 45492 [startup+222.301 s] /proc/loadavg: 1.06 1.00 1.02 2/107 9002 /proc/meminfo: memFree=1506548/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=49432 CPUtime=222.22 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 6715439 0 0 0 19854 2368 0 0 25 0 1 0 916105 50618368 10031 1992294400 134512640 137138936 4287244368 18446744073709551615 134750188 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 12358 10031 287 642 0 11714 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 49432 [startup+282.301 s] /proc/loadavg: 1.02 1.00 1.02 2/107 9004 /proc/meminfo: memFree=1506548/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=49904 CPUtime=282.2 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 7927196 0 0 0 25408 2812 0 0 25 0 1 0 916105 51101696 10118 1992294400 134512640 137138936 4287244368 18446744073709551615 135783829 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 12476 10131 287 642 0 11832 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 49904 [startup+342.301 s] /proc/loadavg: 1.01 1.00 1.01 2/107 9004 /proc/meminfo: memFree=1506548/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=49872 CPUtime=342.17 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 8446168 0 0 0 31211 3006 0 0 25 0 1 0 916105 51068928 10046 1992294400 134512640 137138936 4287244368 18446744073709551615 134734948 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 12468 10046 287 642 0 11824 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 49872 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.01 2/107 9006 /proc/meminfo: memFree=1506548/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=49872 CPUtime=402.16 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 8446168 0 0 0 37206 3010 0 0 25 0 1 0 916105 51068928 10046 1992294400 134512640 137138936 4287244368 18446744073709551615 135389475 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 12468 10046 287 642 0 11824 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 49872 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9008 /proc/meminfo: memFree=1506548/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=49872 CPUtime=462.15 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 8446168 0 0 0 43202 3013 0 0 25 0 1 0 916105 51068928 10046 1992294400 134512640 137138936 4287244368 18446744073709551615 134750265 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 12468 10046 287 642 0 11824 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 49872 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9010 /proc/meminfo: memFree=1506548/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=49872 CPUtime=522.12 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 8446168 0 0 0 49197 3015 0 0 25 0 1 0 916105 51068928 10046 1992294400 134512640 137138936 4287244368 18446744073709551615 135783826 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 12468 10046 287 642 0 11824 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 49872 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9012 /proc/meminfo: memFree=1506548/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=49872 CPUtime=582.11 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 8446168 0 0 0 55191 3020 0 0 25 0 1 0 916105 51068928 10046 1992294400 134512640 137138936 4287244368 18446744073709551615 135783795 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 12468 10046 287 642 0 11824 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 49872 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9012 /proc/meminfo: memFree=1507168/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=48632 CPUtime=642.1 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 8446168 0 0 0 61186 3024 0 0 25 0 1 0 916105 49799168 9831 1992294400 134512640 137138936 4287244368 18446744073709551615 135388588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 12158 9831 287 642 0 11514 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 48632 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1507608/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=47644 CPUtime=1121.93 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 8446170 0 0 0 109143 3050 0 0 25 0 1 0 916105 48787456 9507 1992294400 134512640 137138936 4287244368 18446744073709551615 134750212 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 11911 9507 287 642 0 11267 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 47644 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9035 /proc/meminfo: memFree=1507608/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=47644 CPUtime=1181.91 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 8446170 0 0 0 115138 3053 0 0 25 0 1 0 916105 48787456 9507 1992294400 134512640 137138936 4287244368 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 11911 9507 287 642 0 11267 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 47644 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9035 /proc/meminfo: memFree=1507608/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=47644 CPUtime=1241.89 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 8446170 0 0 0 121133 3056 0 0 25 0 1 0 916105 48787456 9507 1992294400 134512640 137138936 4287244368 18446744073709551615 134832472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 11911 9507 287 642 0 11267 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 47644 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9037 /proc/meminfo: memFree=1507608/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=47644 CPUtime=1301.88 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 8446170 0 0 0 127129 3059 0 0 25 0 1 0 916105 48787456 9507 1992294400 134512640 137138936 4287244368 18446744073709551615 134841010 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 11911 9507 287 642 0 11267 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 47644 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9039 /proc/meminfo: memFree=1507608/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=47644 CPUtime=1361.85 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 8446170 0 0 0 133124 3061 0 0 25 0 1 0 916105 48787456 9507 1992294400 134512640 137138936 4287244368 18446744073709551615 134745042 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 11911 9507 287 642 0 11267 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 47644 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9041 /proc/meminfo: memFree=1507608/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=47644 CPUtime=1421.84 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 8446170 0 0 0 139120 3064 0 0 25 0 1 0 916105 48787456 9507 1992294400 134512640 137138936 4287244368 18446744073709551615 135358660 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 11911 9507 287 642 0 11267 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 47644 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9043 /proc/meminfo: memFree=1507608/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=47644 CPUtime=1481.81 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 8446170 0 0 0 145114 3067 0 0 25 0 1 0 916105 48787456 9507 1992294400 134512640 137138936 4287244368 18446744073709551615 134904025 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 11911 9507 287 642 0 11267 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 47644 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9043 /proc/meminfo: memFree=1507484/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=47644 CPUtime=1541.8 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 8446170 0 0 0 151111 3069 0 0 25 0 1 0 916105 48787456 9507 1992294400 134512640 137138936 4287244368 18446744073709551615 135070985 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 11911 9507 287 642 0 11267 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 47644 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9045 /proc/meminfo: memFree=1507484/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=47644 CPUtime=1601.78 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 8446170 0 0 0 157107 3071 0 0 25 0 1 0 916105 48787456 9507 1992294400 134512640 137138936 4287244368 18446744073709551615 134849308 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 11911 9507 287 642 0 11267 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 47644 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9047 /proc/meminfo: memFree=1507484/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=47644 CPUtime=1661.76 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 8446170 0 0 0 163102 3074 0 0 25 0 1 0 916105 48787456 9507 1992294400 134512640 137138936 4287244368 18446744073709551615 134603195 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 11911 9507 287 642 0 11267 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 47644 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9052 /proc/meminfo: memFree=1506864/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=47644 CPUtime=1721.74 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 8446170 0 0 0 169098 3076 0 0 25 0 1 0 916105 48787456 9507 1992294400 134512640 137138936 4287244368 18446744073709551615 136504797 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 11911 9507 287 642 0 11267 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 47644 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9054 /proc/meminfo: memFree=1506864/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=47644 CPUtime=1781.72 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 8446170 0 0 0 175094 3078 0 0 25 0 1 0 916105 48787456 9507 1992294400 134512640 137138936 4287244368 18446744073709551615 135379665 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 11911 9507 287 642 0 11267 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 47644 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9054 /proc/meminfo: memFree=1506864/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=47644 CPUtime=1791.32 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 8446170 0 0 0 176054 3078 0 0 25 0 1 0 916105 48787456 9507 1992294400 134512640 137138936 4287244368 18446744073709551615 135251370 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 11911 9507 287 642 0 11267 0 Current children cumulated CPU time (s) 1791.32 Current children cumulated vsize (KiB) 47644 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9054 /proc/meminfo: memFree=1506864/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=47644 CPUtime=1794.53 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 8446170 0 0 0 176374 3079 0 0 25 0 1 0 916105 48787456 9507 1992294400 134512640 137138936 4287244368 18446744073709551615 134713063 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 11911 9507 287 642 0 11267 0 Current children cumulated CPU time (s) 1794.53 Current children cumulated vsize (KiB) 47644 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9054 /proc/meminfo: memFree=1506864/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=47644 CPUtime=1796.12 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 8446170 0 0 0 176533 3079 0 0 25 0 1 0 916105 48787456 9507 1992294400 134512640 137138936 4287244368 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 11911 9507 287 642 0 11267 0 Current children cumulated CPU time (s) 1796.12 Current children cumulated vsize (KiB) 47644 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9054 /proc/meminfo: memFree=1506864/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=47644 CPUtime=1796.92 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 8446170 0 0 0 176613 3079 0 0 25 0 1 0 916105 48787456 9507 1992294400 134512640 137138936 4287244368 18446744073709551615 134730894 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 11911 9507 287 642 0 11267 0 Current children cumulated CPU time (s) 1796.92 Current children cumulated vsize (KiB) 47644 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9054 /proc/meminfo: memFree=1506864/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=47644 CPUtime=1797.72 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 8446170 0 0 0 176693 3079 0 0 25 0 1 0 916105 48787456 9507 1992294400 134512640 137138936 4287244368 18446744073709551615 134750993 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 11911 9507 287 642 0 11267 0 Current children cumulated CPU time (s) 1797.72 Current children cumulated vsize (KiB) 47644 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9054 /proc/meminfo: memFree=1506864/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=47644 CPUtime=1798.12 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 8446170 0 0 0 176733 3079 0 0 25 0 1 0 916105 48787456 9507 1992294400 134512640 137138936 4287244368 18446744073709551615 134734948 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 11911 9507 287 642 0 11267 0 Current children cumulated CPU time (s) 1798.12 Current children cumulated vsize (KiB) 47644 [startup+1798.8 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9054 /proc/meminfo: memFree=1506864/2059040 swapFree=4192956/4192956 [pid=8995] ppid=8993 vsize=47644 CPUtime=1798.22 /proc/8995/stat : 8995 (bsolo_pb10) R 8993 8995 2332 0 -1 4202496 8446170 0 0 0 176743 3079 0 0 25 0 1 0 916105 48787456 9507 1992294400 134512640 137138936 4287244368 18446744073709551615 135457127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8995/statm: 11911 9507 287 642 0 11267 0 Current children cumulated CPU time (s) 1798.22 Current children cumulated vsize (KiB) 47644 Child status: 0 Real time (s): 1798.84 CPU time (s): 1798.27 CPU user time (s): 1767.47 CPU system time (s): 30.7963 CPU usage (%): 99.9679 Max. virtual memory (cumulated for all children) (KiB): 52484 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1767.47 system time used= 30.7963 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8446170 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= 3850 runsolver used 3.21651 second user time and 8.25075 second system time The end
Begin job on node033 at 2010-06-15 12:03:30 IDJOB=2656474 IDBENCH=2883 IDSOLVER=1162 FILE ID=node033/2656474-1276596210 PBS_JOBID= 11172218 Free space on /tmp= 62588 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-apex7.b.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656474-1276596210/watcher-2656474-1276596210 -o /tmp/evaluation-result-2656474-1276596210/solver-2656474-1276596210 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656474-1276596210.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a226ce89d775a348c35d29e51d9044b6 RANDOM SEED=1568324543 node033.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.242 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.48 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.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1547632 kB Buffers: 46812 kB Cached: 338588 kB SwapCached: 0 kB Active: 186484 kB Inactive: 258608 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1547632 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4616 kB Writeback: 0 kB AnonPages: 59652 kB Mapped: 15304 kB Slab: 44568 kB PageTables: 4016 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180844 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= 62584 MiB End job on node033 at 2010-06-15 12:33:29