Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | -34 | 1798.06 | 1798.66 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_1.opb |
MD5SUM | 74165f17686851db36d48a05683565a5 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -50 |
Best CPU time to get the best result obtained on this benchmark | 1789.61 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -58 |
Optimality of the best value was proved | NO |
Number of variables | 400 |
Total number of constraints | 601 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 401 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 400 |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 400 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 4964 |
Sum of products size (including duplicates) | 9928 |
Number of different products | 2482 |
Sum of products size | 4964 |
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: Clause Learning 0.00/0.00 c Instance file HOME/instance-2671134-1276720173.opb 0.00/0.00 c File size is 218792 bytes. 0.00/0.03 c Highest Coefficient sum: 400 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.037 s 0.00/0.04 c Var: 2882 Constr: 5566 2682/402/2482 Lit: 21056 Watch. Lit: 18176 0.00/0.04 c Obj. Vars: 200 (6.93963 % of total variables) 0.59/0.63 c Pre-processing Time: 0.633 s 0.59/0.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.63 c 0 2882 5566 21056 3 18176 37326 0 0 0.63 0.59/0.63 c Switching off lower bounding mode. 0.59/0.63 o -1 0.59/0.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.64 c 0 2882 5567 21256 3 18179 37459 1 0 0.64 0.59/0.64 o -2 0.79/0.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.84 c 3 2882 5571 22074 3 18189 37526 5 4 0.64 0.79/0.84 c 103 2882 5671 47195 8 18389 41279 105 134 0.77 0.79/0.84 o -3 3.69/3.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.77 c 218 2882 5787 84665 14 18624 37592 221 257 0.84 3.69/3.77 c 318 2882 5887 111415 18 18824 41352 321 329 0.97 3.69/3.77 c 568 2882 6137 188655 30 19324 45488 571 474 1.20 3.69/3.77 c 1043 2882 6612 328495 49 20274 50037 1046 621 1.68 3.69/3.77 c 1856 2882 7425 573535 77 21900 55041 1859 749 2.48 3.69/3.77 c 3176 2882 8745 980709 112 24540 60546 3179 848 3.74 3.69/3.77 o -16 4.59/4.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.59/4.62 c 3185 2882 8755 981133 112 24576 38326 3189 843 3.78 4.59/4.62 c 3285 2882 8855 1000503 112 24776 42159 3289 841 3.91 4.59/4.62 c 3535 2882 9105 1064442 116 25276 46375 3539 849 4.16 4.59/4.62 c 4010 2882 9580 1199833 125 26226 51013 4014 878 4.56 4.59/4.62 o -17 501.13/501.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 501.13/501.38 c 4143 2882 9714 1226832 126 26511 38326 4148 895 4.62 501.13/501.38 c 4243 2882 9814 1251646 127 26711 42159 4248 891 4.76 501.13/501.38 c 4493 2882 10064 1324764 131 27211 46375 4498 902 4.98 501.13/501.38 c 4968 2882 10539 1455805 138 28161 51013 4973 907 5.47 501.13/501.38 c 5781 2882 11352 1686545 148 29787 56115 5786 922 6.26 501.13/501.38 c 7101 2882 12672 2058662 162 32427 61727 7106 956 7.42 501.13/501.38 c 9182 2882 14753 2660573 180 36589 67900 9187 992 9.26 501.13/501.38 c 12405 2882 17976 3655214 203 43035 74691 12410 1023 12.12 501.13/501.38 c 17341 2882 22912 5241361 228 52907 82161 17346 1048 16.54 501.13/501.38 c 24847 2882 30418 7399234 243 67919 90378 24852 969 25.62 501.13/501.38 c 36208 2882 41779 10503613 251 90641 99416 36213 986 36.69 501.13/501.38 c 53352 2882 58923 14576171 247 124929 109358 53357 993 53.71 501.13/501.38 c 79171 2882 84742 22034809 260 176567 120294 79176 812 97.41 501.13/501.38 c 118003 2882 123574 33795691 273 254231 132324 118008 635 185.56 501.13/501.38 c 176355 2882 59540 16462842 276 126141 145557 53974 361 487.32 501.13/501.38 o -18 621.68/621.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 621.68/621.97 c 184044 2882 67230 19055164 283 141539 38326 61664 367 501.22 621.68/621.97 c 184144 2882 17423 3843198 220 41908 42159 11857 351 523.48 621.68/621.97 c 184394 2882 17673 3917358 221 42408 46375 12107 352 523.80 621.68/621.97 c 184869 2882 18148 4048701 223 43358 51013 12582 352 524.47 621.68/621.97 c 185682 2882 18961 4281460 225 44984 56115 13395 353 525.57 621.68/621.97 c 187002 2882 20281 4663386 229 47624 61727 14715 354 527.27 621.68/621.97 c 189083 2882 22362 5277409 235 51786 67900 16796 356 529.87 621.68/621.97 c 192306 2882 25585 6308991 246 58232 74691 20019 360 533.74 621.68/621.97 c 197242 2882 30521 7954813 260 68104 82161 24955 365 539.58 621.68/621.97 c 204748 2882 38027 9855954 259 83116 90378 32461 372 549.24 621.68/621.97 c 216109 2882 49388 13479987 272 105838 99416 43822 381 565.88 621.68/621.97 c 233253 2882 66532 18902308 284 140126 109358 60966 391 595.41 621.68/621.97 o -32 675.37/675.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 675.37/675.60 c 235031 2882 68311 19227094 281 143716 38326 62745 378 621.77 675.37/675.60 c 235131 2882 17441 3414842 195 41958 42159 11875 348 673.90 675.37/675.60 c 235381 2882 17691 3465548 195 42458 46375 12125 349 674.11 675.37/675.60 c 235856 2882 18166 3561172 196 43408 51013 12600 349 674.40 675.37/675.60 c 236669 2882 18979 3737794 196 45034 56115 13413 350 675.10 675.37/675.60 o -33 1602.76/1603.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1602.76/1603.35 c 236994 2882 19305 3820207 197 45719 38326 13739 350 675.39 1602.76/1603.35 c 237094 2882 19405 3844779 198 45919 42159 13839 350 675.54 1602.76/1603.35 c 237344 2882 19655 3905349 198 46419 46375 14089 351 675.76 1602.76/1603.35 c 237819 2882 20130 4024947 199 47369 51013 14564 351 676.27 1602.76/1603.35 c 238632 2882 20943 4239142 202 48995 56115 15377 352 677.13 1602.76/1603.35 c 239952 2882 22263 4623401 207 51635 61727 16697 353 679.09 1602.76/1603.35 c 242033 2882 24344 5226698 214 55797 67900 18778 354 681.85 1602.76/1603.35 c 245256 2882 27567 6236493 226 62243 74691 22001 357 685.39 1602.76/1603.35 c 250192 2882 32503 7612700 234 72115 82161 26937 362 690.64 1602.76/1603.35 c 257698 2882 40009 9699325 242 87127 90378 34443 368 700.16 1602.76/1603.35 c 269059 2882 51370 13010896 253 109849 99416 45804 376 715.28 1602.76/1603.35 c 286203 2882 68514 17939124 261 144137 109358 62948 386 740.85 1602.76/1603.35 c 312022 2882 94333 24427758 258 195775 120294 88767 398 783.89 1602.76/1603.35 c 350854 2882 22680 4982015 219 52437 132324 17114 335 1046.38 1602.76/1603.35 c 409206 2882 81032 22650904 279 169141 145557 75466 357 1143.72 1602.76/1603.35 c 496838 2882 33154 8366118 252 73385 160113 27588 318 1560.52 1602.76/1603.35 o -34 1797.91/1798.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.91/1798.59 c 544273 2882 80590 17892119 222 168291 38326 75024 339 1602.82 1797.91/1798.59 c 544373 2882 17613 2453812 139 42304 42159 12047 330 1646.99 1797.91/1798.59 c 544623 2882 17863 2521600 141 42804 46375 12297 330 1647.27 1797.91/1798.59 c 545098 2882 18338 2648262 144 43754 51013 12772 330 1647.77 1797.91/1798.59 c 545911 2882 19151 2872260 149 45380 56115 13585 331 1648.55 1797.91/1798.59 c 547231 2882 20471 3245693 158 48020 61727 14905 331 1649.92 1797.91/1798.59 c 549312 2882 22552 3878322 171 52182 67900 16986 332 1652.04 1797.91/1798.59 c 552535 2882 25775 4923449 191 58628 74691 20209 333 1655.31 1797.91/1798.59 c 557472 2882 30712 6221338 202 68502 82161 25146 335 1661.13 1797.91/1798.59 c 564978 2882 38218 8382205 219 83514 90378 32652 338 1669.74 1797.91/1798.59 c 576339 2882 49579 11820581 238 106236 99416 44013 342 1682.50 1797.91/1798.59 c 593483 2882 66723 16895381 253 140524 109358 61157 345 1715.56 1797.91/1798.59 c 619302 2882 92542 24406983 263 192162 120294 86976 347 1779.90 1797.91/1798.59 c Resources Exceeded 1797.91/1798.59 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 -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 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -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 1797.91/1798.59 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.91/1798.59 c 74 625505 385 652352 98745 26216359 93179 347 1798.00 1797.91/1798.59 c Objective: -34 1797.91/1798.59 s SATISFIABLE 1797.91/1798.59 c Total time: 1798 s
OK -34
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2671134-1276720173/watcher-2671134-1276720173 -o /tmp/evaluation-result-2671134-1276720173/solver-2671134-1276720173 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671134-1276720173.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.00 1.00 1.00 3/106 18145 /proc/meminfo: memFree=1703272/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=11148 CPUtime=0 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 346 0 0 0 0 0 0 0 20 0 1 0 13305347 11415552 265 1992294400 134512640 137138936 4287083248 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 2787 266 175 642 0 2089 0 [startup+0.04448 s] /proc/loadavg: 1.00 1.00 1.00 3/106 18145 /proc/meminfo: memFree=1703272/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=12156 CPUtime=0.04 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 735 0 0 0 4 0 0 0 20 0 1 0 13305347 12447744 600 1992294400 134512640 137138936 4287083248 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 3039 600 184 642 0 2395 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12156 [startup+0.100487 s] /proc/loadavg: 1.00 1.00 1.00 3/106 18145 /proc/meminfo: memFree=1703272/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=12156 CPUtime=0.09 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 739 0 0 0 9 0 0 0 20 0 1 0 13305347 12447744 604 1992294400 134512640 137138936 4287083248 18446744073709551615 136504154 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 3039 604 184 642 0 2395 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12156 [startup+0.300516 s] /proc/loadavg: 1.00 1.00 1.00 3/106 18145 /proc/meminfo: memFree=1703272/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=12156 CPUtime=0.29 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 739 0 0 0 29 0 0 0 20 0 1 0 13305347 12447744 604 1992294400 134512640 137138936 4287083248 18446744073709551615 134566410 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 3039 604 184 642 0 2395 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12156 [startup+0.700572 s] /proc/loadavg: 1.00 1.00 1.00 3/106 18145 /proc/meminfo: memFree=1703272/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=12532 CPUtime=0.69 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 886 0 0 0 68 1 0 0 20 0 1 0 13305347 12832768 691 1992294400 134512640 137138936 4287083248 18446744073709551615 134575756 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 3133 691 191 642 0 2489 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12532 [startup+1.50069 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18146 /proc/meminfo: memFree=1700040/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=15552 CPUtime=1.49 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 1649 0 0 0 148 1 0 0 22 0 1 0 13305347 15925248 1454 1992294400 134512640 137138936 4287083248 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 3888 1454 191 642 0 3244 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15552 [startup+3.10091 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18146 /proc/meminfo: memFree=1695452/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=22056 CPUtime=3.09 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 3279 0 0 0 306 3 0 0 25 0 1 0 13305347 22585344 3084 1992294400 134512640 137138936 4287083248 18446744073709551615 134575658 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 5514 3084 191 642 0 4870 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22056 [startup+6.30137 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18146 /proc/meminfo: memFree=1682680/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=34324 CPUtime=6.29 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 6342 0 0 0 624 5 0 0 25 0 1 0 13305347 35147776 6147 1992294400 134512640 137138936 4287083248 18446744073709551615 134575655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 8581 6147 191 642 0 7937 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34324 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18146 /proc/meminfo: memFree=1654036/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=62692 CPUtime=12.69 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 13422 0 0 0 1260 9 0 0 25 0 1 0 13305347 64196608 13227 1992294400 134512640 137138936 4287083248 18446744073709551615 134575759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 15673 13227 191 642 0 15029 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 62692 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18148 /proc/meminfo: memFree=1605676/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=108544 CPUtime=25.49 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 24893 0 0 0 2530 19 0 0 25 0 1 0 13305347 111149056 24698 1992294400 134512640 137138936 4287083248 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 27136 24698 191 642 0 26492 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 108544 [startup+51.1007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18148 /proc/meminfo: memFree=1519744/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=195196 CPUtime=51.08 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 46565 0 0 0 5069 39 0 0 25 0 1 0 13305347 199880704 46370 1992294400 134512640 137138936 4287083248 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 48799 46370 191 642 0 48155 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 195196 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18150 /proc/meminfo: memFree=1402316/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=310632 CPUtime=102.27 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 75427 0 0 0 10160 67 0 0 25 0 1 0 13305347 318087168 75232 1992294400 134512640 137138936 4287083248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 77658 75232 191 642 0 77014 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 310632 [startup+162.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18150 /proc/meminfo: memFree=1300264/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=413344 CPUtime=162.24 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 101089 0 0 0 16128 96 0 0 25 0 1 0 13305347 423264256 100894 1992294400 134512640 137138936 4287083248 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 103336 100894 191 642 0 102692 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 413344 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18155 /proc/meminfo: memFree=1205900/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=506176 CPUtime=222.22 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 124312 0 0 0 22099 123 0 0 25 0 1 0 13305347 518324224 124117 1992294400 134512640 137138936 4287083248 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 126544 124117 191 642 0 125900 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 506176 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18157 /proc/meminfo: memFree=1194492/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=516772 CPUtime=282.19 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 127082 0 0 0 28093 126 0 0 25 0 1 0 13305347 529174528 126755 1992294400 134512640 137138936 4287083248 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 129193 126755 191 642 0 128549 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 516772 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18159 /proc/meminfo: memFree=1194492/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=516772 CPUtime=342.17 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 127082 0 0 0 34091 126 0 0 25 0 1 0 13305347 529174528 126755 1992294400 134512640 137138936 4287083248 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 129193 126755 191 642 0 128549 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 516772 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18161 /proc/meminfo: memFree=1194492/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=516772 CPUtime=402.15 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 127082 0 0 0 40089 126 0 0 25 0 1 0 13305347 529174528 126755 1992294400 134512640 137138936 4287083248 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 129193 126755 191 642 0 128549 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 516772 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18161 /proc/meminfo: memFree=1194492/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=516772 CPUtime=462.13 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 127082 0 0 0 46080 133 0 0 25 0 1 0 13305347 529174528 126755 1992294400 134512640 137138936 4287083248 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 129193 126755 191 642 0 128549 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 516772 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18163 /proc/meminfo: memFree=1194492/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=516772 CPUtime=522.12 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 127082 0 0 0 52073 139 0 0 25 0 1 0 13305347 529174528 126755 1992294400 134512640 137138936 4287083248 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 129193 126755 191 642 0 128549 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 516772 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18165 /proc/meminfo: memFree=1195236/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=516016 CPUtime=582.1 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 127082 0 0 0 58061 149 0 0 25 0 1 0 13305347 528400384 126580 1992294400 134512640 137138936 4287083248 18446744073709551615 134618947 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 129004 126580 191 642 0 128360 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 516016 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18167 /proc/meminfo: memFree=1195236/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=516016 CPUtime=642.08 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 127082 0 0 0 64056 152 0 0 25 0 1 0 13305347 528400384 126580 1992294400 134512640 137138936 4287083248 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 129004 126580 191 642 0 128360 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 516016 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1195112/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=516016 CPUtime=1121.91 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 127082 0 0 0 111989 202 0 0 25 0 1 0 13305347 528400384 126580 1992294400 134512640 137138936 4287083248 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 129004 126580 191 642 0 128360 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 516016 [startup+1182.3 s] /proc/loadavg: 1.08 1.02 1.01 2/107 18181 /proc/meminfo: memFree=1195236/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=516016 CPUtime=1181.9 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 127082 0 0 0 117977 213 0 0 25 0 1 0 13305347 528400384 126580 1992294400 134512640 137138936 4287083248 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 129004 126580 191 642 0 128360 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 516016 [startup+1242.3 s] /proc/loadavg: 1.03 1.01 1.00 2/107 18183 /proc/meminfo: memFree=1194988/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=516016 CPUtime=1241.88 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 127082 0 0 0 123967 221 0 0 25 0 1 0 13305347 528400384 126580 1992294400 134512640 137138936 4287083248 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 129004 126580 191 642 0 128360 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 516016 [startup+1302.3 s] /proc/loadavg: 1.01 1.00 1.00 2/107 18185 /proc/meminfo: memFree=1169940/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=541536 CPUtime=1301.87 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 133449 0 0 0 129950 237 0 0 25 0 1 0 13305347 554532864 132947 1992294400 134512640 137138936 4287083248 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 135384 132947 191 642 0 134740 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 541536 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18185 /proc/meminfo: memFree=1114760/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=596084 CPUtime=1361.84 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 147241 0 0 0 135929 255 0 0 25 0 1 0 13305347 610390016 146594 1992294400 134512640 137138936 4287083248 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 149021 146594 191 642 0 148377 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 596084 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18187 /proc/meminfo: memFree=1114760/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=596084 CPUtime=1421.83 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 147241 0 0 0 141928 255 0 0 25 0 1 0 13305347 610390016 146594 1992294400 134512640 137138936 4287083248 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 149021 146594 191 642 0 148377 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 596084 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18189 /proc/meminfo: memFree=1114760/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=596084 CPUtime=1481.8 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 147241 0 0 0 147925 255 0 0 25 0 1 0 13305347 610390016 146594 1992294400 134512640 137138936 4287083248 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 149021 146594 191 642 0 148377 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 596084 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18191 /proc/meminfo: memFree=1114760/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=596084 CPUtime=1541.78 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 147241 0 0 0 153923 255 0 0 25 0 1 0 13305347 610390016 146594 1992294400 134512640 137138936 4287083248 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 149021 146594 191 642 0 148377 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 596084 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18193 /proc/meminfo: memFree=1114760/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=596084 CPUtime=1601.76 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 147241 0 0 0 159906 270 0 0 25 0 1 0 13305347 610390016 146594 1992294400 134512640 137138936 4287083248 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 149021 146594 191 642 0 148377 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 596084 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18193 /proc/meminfo: memFree=1114760/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=596084 CPUtime=1661.74 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 147241 0 0 0 165901 273 0 0 25 0 1 0 13305347 610390016 146594 1992294400 134512640 137138936 4287083248 18446744073709551615 134573444 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 149021 146594 191 642 0 148377 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 596084 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18195 /proc/meminfo: memFree=1114636/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=596084 CPUtime=1721.72 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 147241 0 0 0 171889 283 0 0 25 0 1 0 13305347 610390016 146594 1992294400 134512640 137138936 4287083248 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 149021 146594 191 642 0 148377 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 596084 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18197 /proc/meminfo: memFree=1114388/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=596084 CPUtime=1781.7 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 147241 0 0 0 177878 292 0 0 25 0 1 0 13305347 610390016 146594 1992294400 134512640 137138936 4287083248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 149021 146594 191 642 0 148377 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 596084 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.08 1.02 1.01 2/107 18197 /proc/meminfo: memFree=1114388/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=596084 CPUtime=1791.31 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 147241 0 0 0 178837 294 0 0 25 0 1 0 13305347 610390016 146594 1992294400 134512640 137138936 4287083248 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 149021 146594 191 642 0 148377 0 Current children cumulated CPU time (s) 1791.31 Current children cumulated vsize (KiB) 596084 [startup+1795.1 s] /proc/loadavg: 1.07 1.02 1.00 2/107 18197 /proc/meminfo: memFree=1114388/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=596084 CPUtime=1794.51 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 147241 0 0 0 179157 294 0 0 25 0 1 0 13305347 610390016 146594 1992294400 134512640 137138936 4287083248 18446744073709551615 134542864 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 149021 146594 191 642 0 148377 0 Current children cumulated CPU time (s) 1794.51 Current children cumulated vsize (KiB) 596084 [startup+1796.7 s] /proc/loadavg: 1.07 1.02 1.00 2/107 18197 /proc/meminfo: memFree=1114388/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=596084 CPUtime=1796.1 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 147241 0 0 0 179316 294 0 0 25 0 1 0 13305347 610390016 146594 1992294400 134512640 137138936 4287083248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 149021 146594 191 642 0 148377 0 Current children cumulated CPU time (s) 1796.1 Current children cumulated vsize (KiB) 596084 [startup+1797.5 s] /proc/loadavg: 1.07 1.02 1.00 2/107 18197 /proc/meminfo: memFree=1114388/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=596084 CPUtime=1796.89 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 147241 0 0 0 179395 294 0 0 25 0 1 0 13305347 610390016 146594 1992294400 134512640 137138936 4287083248 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 149021 146594 191 642 0 148377 0 Current children cumulated CPU time (s) 1796.89 Current children cumulated vsize (KiB) 596084 [startup+1798.3 s] /proc/loadavg: 1.07 1.02 1.00 2/107 18197 /proc/meminfo: memFree=1114388/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=596084 CPUtime=1797.7 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 147241 0 0 0 179475 295 0 0 25 0 1 0 13305347 610390016 146594 1992294400 134512640 137138936 4287083248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 149021 146594 191 642 0 148377 0 Current children cumulated CPU time (s) 1797.7 Current children cumulated vsize (KiB) 596084 [startup+1798.51 s] /proc/loadavg: 1.07 1.02 1.00 2/107 18197 /proc/meminfo: memFree=1114388/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=596084 CPUtime=1797.91 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202496 147241 0 0 0 179496 295 0 0 25 0 1 0 13305347 610390016 146594 1992294400 134512640 137138936 4287083248 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18145/statm: 149021 146594 191 642 0 148377 0 Current children cumulated CPU time (s) 1797.91 Current children cumulated vsize (KiB) 596084 [startup+1798.6 s] /proc/loadavg: 1.07 1.02 1.00 2/107 18197 /proc/meminfo: memFree=1114388/2059040 swapFree=4144492/4192956 [pid=18145] ppid=18143 vsize=0 CPUtime=1797.99 /proc/18145/stat : 18145 (bsolo_pb10) R 18143 18145 17739 0 -1 4202500 147242 0 0 0 179504 295 0 0 25 0 1 0 13305347 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/18145/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1797.99 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.66 CPU time (s): 1798.06 CPU user time (s): 1795.05 CPU system time (s): 3.01254 CPU usage (%): 99.9669 Max. virtual memory (cumulated for all children) (KiB): 596664 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.05 system time used= 3.01254 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 147242 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= 2963 runsolver used 2.84557 second user time and 8.61369 second system time The end
Begin job on node049 at 2010-06-16 22:29:33 IDJOB=2671134 IDBENCH=48283 IDSOLVER=1163 FILE ID=node049/2671134-1276720173 PBS_JOBID= 11174135 Free space on /tmp= 62524 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_1.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671134-1276720173/watcher-2671134-1276720173 -o /tmp/evaluation-result-2671134-1276720173/solver-2671134-1276720173 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671134-1276720173.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 74165f17686851db36d48a05683565a5 RANDOM SEED=919592908 node049.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.244 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.244 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: 1704172 kB Buffers: 136164 kB Cached: 120884 kB SwapCached: 5920 kB Active: 112204 kB Inactive: 161848 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1704172 kB SwapTotal: 4192956 kB SwapFree: 4144492 kB Dirty: 4032 kB Writeback: 0 kB AnonPages: 14128 kB Mapped: 13020 kB Slab: 58840 kB PageTables: 3932 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 184464 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2671134-1276720173.opb Free space on /tmp at the end= 62520 MiB End job on node049 at 2010-06-16 22:59:32