Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | -34 | 1798.09 | 1798.73 |
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 | -51 |
Best CPU time to get the best result obtained on this benchmark | 1795.23 |
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.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1878303-1245212283.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.032 s 0.00/0.03 c Var: 2882 Constr: 5566 2682/402/2482 Lit: 21056 Watch. Lit: 18176 0.00/0.03 c Obj. Vars: 200 (6.93963 % of total variables) 0.59/0.65 c Pre-processing Time: 0.649 s 0.59/0.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.65 c 0 2882 5566 21056 3 18176 37326 0 0 0.65 0.59/0.65 c Switching off lower bounding mode. 0.59/0.65 o -1 0.59/0.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.66 c 0 2882 5567 21256 3 18179 37459 1 0 0.65 0.59/0.66 o -2 0.79/0.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.86 c 3 2882 5571 22074 3 18189 37526 5 4 0.66 0.79/0.86 c 103 2882 5671 47195 8 18389 41279 105 131 0.79 0.79/0.86 o -3 3.79/3.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.85 c 218 2882 5787 84665 14 18624 37592 221 252 0.86 3.79/3.85 c 318 2882 5887 111415 18 18824 41352 321 322 0.99 3.79/3.85 c 568 2882 6137 188655 30 19324 45488 571 464 1.22 3.79/3.85 c 1043 2882 6612 328495 49 20274 50037 1046 608 1.71 3.79/3.85 c 1856 2882 7425 573535 77 21900 55041 1859 734 2.53 3.79/3.85 c 3176 2882 8745 980709 112 24540 60546 3179 832 3.82 3.79/3.85 o -16 4.69/4.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.71 c 3185 2882 8755 981133 112 24576 38326 3189 827 3.85 4.69/4.71 c 3285 2882 8855 1000503 112 24776 42159 3289 824 3.98 4.69/4.71 c 3535 2882 9105 1064442 116 25276 46375 3539 833 4.24 4.69/4.71 c 4010 2882 9580 1199833 125 26226 51013 4014 862 4.65 4.69/4.71 o -17 506.31/506.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 506.31/506.56 c 4143 2882 9714 1226832 126 26511 38326 4148 879 4.71 506.31/506.56 c 4243 2882 9814 1251646 127 26711 42159 4248 875 4.85 506.31/506.56 c 4493 2882 10064 1324764 131 27211 46375 4498 885 5.07 506.31/506.56 c 4968 2882 10539 1455805 138 28161 51013 4973 891 5.57 506.31/506.56 c 5781 2882 11352 1686545 148 29787 56115 5786 908 6.37 506.31/506.56 c 7101 2882 12672 2058662 162 32427 61727 7106 943 7.52 506.31/506.56 c 9182 2882 14753 2660573 180 36589 67900 9187 981 9.35 506.31/506.56 c 12405 2882 17976 3655214 203 43035 74691 12410 1015 12.22 506.31/506.56 c 17341 2882 22912 5241361 228 52907 82161 17346 1043 16.62 506.31/506.56 c 24847 2882 30418 7399234 243 67919 90378 24852 963 25.79 506.31/506.56 c 36208 2882 41779 10503613 251 90641 99416 36213 981 36.90 506.31/506.56 c 53352 2882 58923 14576171 247 124929 109358 53357 987 54.05 506.31/506.56 c 79171 2882 84742 22034809 260 176567 120294 79176 807 98.07 506.31/506.56 c 118003 2882 123574 33795691 273 254231 132324 118008 630 187.04 506.31/506.56 c 176355 2882 59540 16462842 276 126141 145557 53974 358 492.30 506.31/506.56 o -18 628.37/628.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 628.37/628.62 c 184044 2882 67230 19055164 283 141539 38326 61664 363 506.38 628.37/628.62 c 184144 2882 17423 3843198 220 41908 42159 11857 348 528.97 628.37/628.62 c 184394 2882 17673 3917358 221 42408 46375 12107 348 529.29 628.37/628.62 c 184869 2882 18148 4048701 223 43358 51013 12582 348 529.97 628.37/628.62 c 185682 2882 18961 4281460 225 44984 56115 13395 349 531.09 628.37/628.62 c 187002 2882 20281 4663386 229 47624 61727 14715 350 532.81 628.37/628.62 c 189083 2882 22362 5277409 235 51786 67900 16796 353 535.44 628.37/628.62 c 192306 2882 25585 6308991 246 58232 74691 20019 356 539.39 628.37/628.62 c 197242 2882 30521 7954813 260 68104 82161 24955 361 545.32 628.37/628.62 c 204748 2882 38027 9855954 259 83116 90378 32461 368 555.07 628.37/628.62 c 216109 2882 49388 13479987 272 105838 99416 43822 377 571.92 628.37/628.62 c 233253 2882 66532 18902308 284 140126 109358 60966 387 601.79 628.37/628.62 o -32 682.34/682.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 682.34/682.65 c 235031 2882 68311 19227094 281 143716 38326 62745 374 628.40 682.34/682.65 c 235131 2882 17441 3414842 195 41958 42159 11875 345 680.89 682.34/682.65 c 235381 2882 17691 3465548 195 42458 46375 12125 345 681.10 682.34/682.65 c 235856 2882 18166 3561172 196 43408 51013 12600 346 681.40 682.34/682.65 c 236669 2882 18979 3737794 196 45034 56115 13413 346 682.11 682.34/682.65 o -33 1619.11/1619.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1619.11/1619.75 c 236994 2882 19305 3820207 197 45719 38326 13739 347 682.40 1619.11/1619.75 c 237094 2882 19405 3844779 198 45919 42159 13839 347 682.56 1619.11/1619.75 c 237344 2882 19655 3905349 198 46419 46375 14089 347 682.79 1619.11/1619.75 c 237819 2882 20130 4024947 199 47369 51013 14564 348 683.31 1619.11/1619.75 c 238632 2882 20943 4239142 202 48995 56115 15377 348 684.19 1619.11/1619.75 c 239952 2882 22263 4623401 207 51635 61727 16697 349 686.18 1619.11/1619.75 c 242033 2882 24344 5226698 214 55797 67900 18778 351 688.98 1619.11/1619.75 c 245256 2882 27567 6236493 226 62243 74691 22001 354 692.54 1619.11/1619.75 c 250192 2882 32503 7612700 234 72115 82161 26937 358 697.89 1619.11/1619.75 c 257698 2882 40009 9699325 242 87127 90378 34443 364 707.57 1619.11/1619.75 c 269059 2882 51370 13010896 253 109849 99416 45804 372 722.88 1619.11/1619.75 c 286203 2882 68514 17939124 261 144137 109358 62948 382 748.78 1619.11/1619.75 c 312022 2882 94333 24427758 258 195775 120294 88767 393 792.19 1619.11/1619.75 c 350854 2882 22680 4982015 219 52437 132324 17114 331 1057.13 1619.11/1619.75 c 409206 2882 81032 22650904 279 169141 145557 75466 354 1155.67 1619.11/1619.75 c 496838 2882 33154 8366118 252 73385 160113 27588 315 1576.05 1619.11/1619.75 o -34 1797.95/1798.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.95/1798.64 c 544273 2882 80590 17892119 222 168291 38326 75024 336 1619.17 1797.95/1798.64 c 544373 2882 17613 2453812 139 42304 42159 12047 327 1663.85 1797.95/1798.64 c 544623 2882 17863 2521600 141 42804 46375 12297 327 1664.13 1797.95/1798.64 c 545098 2882 18338 2648262 144 43754 51013 12772 327 1664.63 1797.95/1798.64 c 545911 2882 19151 2872260 149 45380 56115 13585 327 1665.44 1797.95/1798.64 c 547231 2882 20471 3245693 158 48020 61727 14905 328 1666.83 1797.95/1798.64 c 549312 2882 22552 3878322 171 52182 67900 16986 329 1668.98 1797.95/1798.64 c 552535 2882 25775 4923449 191 58628 74691 20209 330 1672.28 1797.95/1798.64 c 557472 2882 30712 6221338 202 68502 82161 25146 332 1678.17 1797.95/1798.64 c 564978 2882 38218 8382205 219 83514 90378 32652 334 1686.92 1797.95/1798.64 c 576339 2882 49579 11820581 238 106236 99416 44013 339 1699.79 1797.95/1798.64 c 593483 2882 66723 16895381 253 140524 109358 61157 342 1733.19 1797.95/1798.64 c Resources Exceeded 1797.95/1798.64 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.95/1798.64 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1798.64 c 73 619240 380 645505 92480 24389640 86914 344 1798.00 1797.95/1798.64 c Objective: -34 1797.95/1798.64 s SATISFIABLE 1797.95/1798.64 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-1878303-1245212283/watcher-1878303-1245212283 -o /tmp/evaluation-result-1878303-1245212283/solver-1878303-1245212283 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878303-1245212283.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/64 7827 /proc/meminfo: memFree=1710960/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=10932 CPUtime=0 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 259 0 0 0 0 0 0 0 18 0 1 0 188822552 11194368 243 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 2733 243 174 640 0 2035 0 [startup+0.045663 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7827 /proc/meminfo: memFree=1710960/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=12104 CPUtime=0.04 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 677 0 0 0 4 0 0 0 18 0 1 0 188822552 12394496 607 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 3026 607 189 640 0 2382 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12104 [startup+0.101673 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7827 /proc/meminfo: memFree=1710960/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=12104 CPUtime=0.09 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 678 0 0 0 9 0 0 0 18 0 1 0 188822552 12394496 608 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 3026 608 189 640 0 2382 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12104 [startup+0.301708 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7827 /proc/meminfo: memFree=1710960/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=12104 CPUtime=0.29 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 678 0 0 0 29 0 0 0 19 0 1 0 188822552 12394496 608 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 3026 608 189 640 0 2382 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12104 [startup+0.701781 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7827 /proc/meminfo: memFree=1710960/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=12480 CPUtime=0.69 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 826 0 0 0 69 0 0 0 22 0 1 0 188822552 12779520 696 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 3120 696 197 640 0 2476 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12480 [startup+1.50193 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7828 /proc/meminfo: memFree=1708072/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=15396 CPUtime=1.49 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 1569 0 0 0 148 1 0 0 25 0 1 0 188822552 15765504 1439 1992294400 134512640 137136520 4294956256 18446744073709551615 134544245 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 3849 1439 197 640 0 3205 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15396 [startup+3.10122 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7828 /proc/meminfo: memFree=1703592/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=21792 CPUtime=3.09 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 3158 0 0 0 307 2 0 0 25 0 1 0 188822552 22315008 3028 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 5448 3028 197 640 0 4804 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21792 [startup+6.3018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7828 /proc/meminfo: memFree=1690736/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=33832 CPUtime=6.29 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 6161 0 0 0 625 4 0 0 25 0 1 0 188822552 34643968 6031 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 8458 6031 197 640 0 7814 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33832 [startup+12.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7828 /proc/meminfo: memFree=1662200/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=62220 CPUtime=12.68 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 13259 0 0 0 1259 9 0 0 25 0 1 0 188822552 63713280 13129 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 15555 13129 197 640 0 14911 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 62220 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7828 /proc/meminfo: memFree=1614200/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=107944 CPUtime=25.49 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 24686 0 0 0 2531 18 0 0 25 0 1 0 188822552 110534656 24556 1992294400 134512640 137136520 4294956256 18446744073709551615 134571434 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 26986 24556 197 640 0 26342 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 107944 [startup+51.1019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7828 /proc/meminfo: memFree=1528440/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=194156 CPUtime=51.08 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 46250 0 0 0 5073 35 0 0 25 0 1 0 188822552 198815744 46120 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 48539 46120 197 640 0 47895 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 194156 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7828 /proc/meminfo: memFree=1411704/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=309188 CPUtime=102.26 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 74997 0 0 0 10165 61 0 0 25 0 1 0 188822552 316608512 74867 1992294400 134512640 137136520 4294956256 18446744073709551615 136502448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 77297 74867 197 640 0 76653 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 309188 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7828 /proc/meminfo: memFree=1310200/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=411288 CPUtime=162.23 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 100534 0 0 0 16139 84 0 0 25 0 1 0 188822552 421158912 100404 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 102822 100404 197 640 0 102178 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 411288 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7828 /proc/meminfo: memFree=1217016/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=503480 CPUtime=222.22 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 123570 0 0 0 22113 109 0 0 25 0 1 0 188822552 515563520 123440 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 125870 123440 197 640 0 125226 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 503480 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7828 /proc/meminfo: memFree=1203192/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=516720 CPUtime=282.19 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 127022 0 0 0 28106 113 0 0 25 0 1 0 188822552 529121280 126760 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 129180 126760 197 640 0 128536 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 516720 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7828 /proc/meminfo: memFree=1203192/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=516720 CPUtime=342.17 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 127022 0 0 0 34104 113 0 0 25 0 1 0 188822552 529121280 126760 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 129180 126760 197 640 0 128536 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 516720 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7828 /proc/meminfo: memFree=1203256/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=516720 CPUtime=402.14 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 127022 0 0 0 40101 113 0 0 25 0 1 0 188822552 529121280 126760 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 129180 126760 197 640 0 128536 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 516720 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7828 /proc/meminfo: memFree=1203256/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=516720 CPUtime=462.12 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 127022 0 0 0 46096 116 0 0 25 0 1 0 188822552 529121280 126760 1992294400 134512640 137136520 4294956256 18446744073709551615 134574394 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 129180 126760 197 640 0 128536 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 516720 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7828 /proc/meminfo: memFree=1203192/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=516720 CPUtime=522.1 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 127022 0 0 0 52089 121 0 0 25 0 1 0 188822552 529121280 126760 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 129180 126760 197 640 0 128536 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 516720 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7828 /proc/meminfo: memFree=1203768/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=515964 CPUtime=582.09 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 127022 0 0 0 58080 129 0 0 25 0 1 0 188822552 528347136 126585 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 128991 126585 197 640 0 128347 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 515964 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7828 /proc/meminfo: memFree=1203768/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=515964 CPUtime=642.06 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 127022 0 0 0 64074 132 0 0 25 0 1 0 188822552 528347136 126585 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 128991 126585 197 640 0 128347 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 515964 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1203704/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=515964 CPUtime=1061.91 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 127022 0 0 0 106033 158 0 0 25 0 1 0 188822552 528347136 126585 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 128991 126585 197 640 0 128347 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 515964 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7828 /proc/meminfo: memFree=1203704/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=515964 CPUtime=1121.89 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 127022 0 0 0 112024 165 0 0 25 0 1 0 188822552 528347136 126585 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 128991 126585 197 640 0 128347 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 515964 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7828 /proc/meminfo: memFree=1203704/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=515964 CPUtime=1181.86 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 127022 0 0 0 118016 170 0 0 25 0 1 0 188822552 528347136 126585 1992294400 134512640 137136520 4294956256 18446744073709551615 134543986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 128991 126585 197 640 0 128347 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 515964 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7828 /proc/meminfo: memFree=1203704/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=515964 CPUtime=1241.85 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 127022 0 0 0 124009 176 0 0 25 0 1 0 188822552 528347136 126585 1992294400 134512640 137136520 4294956256 18446744073709551615 134543869 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 128991 126585 197 640 0 128347 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 515964 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7828 /proc/meminfo: memFree=1197176/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=522528 CPUtime=1301.83 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 128637 0 0 0 129998 185 0 0 25 0 1 0 188822552 535068672 128200 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 130632 128200 197 640 0 129988 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 522528 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7828 /proc/meminfo: memFree=1123256/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=596032 CPUtime=1361.8 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 147181 0 0 0 135974 206 0 0 25 0 1 0 188822552 610336768 146599 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 149008 146599 197 640 0 148364 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 596032 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7828 /proc/meminfo: memFree=1123256/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=596032 CPUtime=1421.79 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 147181 0 0 0 141973 206 0 0 25 0 1 0 188822552 610336768 146599 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 149008 146599 197 640 0 148364 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 596032 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7828 /proc/meminfo: memFree=1123256/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=596032 CPUtime=1481.76 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 147181 0 0 0 147970 206 0 0 25 0 1 0 188822552 610336768 146599 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 149008 146599 197 640 0 148364 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 596032 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7828 /proc/meminfo: memFree=1123256/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=596032 CPUtime=1541.74 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 147181 0 0 0 153968 206 0 0 25 0 1 0 188822552 610336768 146599 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 149008 146599 197 640 0 148364 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 596032 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7828 /proc/meminfo: memFree=1123256/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=596032 CPUtime=1601.72 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 147181 0 0 0 159959 213 0 0 25 0 1 0 188822552 610336768 146599 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 149008 146599 197 640 0 148364 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 596032 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7828 /proc/meminfo: memFree=1123256/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=596032 CPUtime=1661.69 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 147181 0 0 0 165953 216 0 0 25 0 1 0 188822552 610336768 146599 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 149008 146599 197 640 0 148364 0 Current children cumulated CPU time (s) 1661.69 Current children cumulated vsize (KiB) 596032 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7828 /proc/meminfo: memFree=1123256/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=596032 CPUtime=1721.67 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 147181 0 0 0 171946 221 0 0 25 0 1 0 188822552 610336768 146599 1992294400 134512640 137136520 4294956256 18446744073709551615 134574390 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 149008 146599 197 640 0 148364 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 596032 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7828 /proc/meminfo: memFree=1123256/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=596032 CPUtime=1781.66 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 147181 0 0 0 177938 228 0 0 25 0 1 0 188822552 610336768 146599 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 149008 146599 197 640 0 148364 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 596032 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7828 /proc/meminfo: memFree=1123256/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=596032 CPUtime=1791.25 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 147181 0 0 0 178897 228 0 0 25 0 1 0 188822552 610336768 146599 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 149008 146599 197 640 0 148364 0 Current children cumulated CPU time (s) 1791.25 Current children cumulated vsize (KiB) 596032 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7828 /proc/meminfo: memFree=1123256/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=596032 CPUtime=1794.45 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 147181 0 0 0 179216 229 0 0 25 0 1 0 188822552 610336768 146599 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 149008 146599 197 640 0 148364 0 Current children cumulated CPU time (s) 1794.45 Current children cumulated vsize (KiB) 596032 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7828 /proc/meminfo: memFree=1123256/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=596032 CPUtime=1796.05 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 147181 0 0 0 179376 229 0 0 25 0 1 0 188822552 610336768 146599 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 149008 146599 197 640 0 148364 0 Current children cumulated CPU time (s) 1796.05 Current children cumulated vsize (KiB) 596032 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7828 /proc/meminfo: memFree=1123256/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=596032 CPUtime=1796.85 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 147181 0 0 0 179456 229 0 0 25 0 1 0 188822552 610336768 146599 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 149008 146599 197 640 0 148364 0 Current children cumulated CPU time (s) 1796.85 Current children cumulated vsize (KiB) 596032 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7828 /proc/meminfo: memFree=1123256/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=596032 CPUtime=1797.65 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194304 147181 0 0 0 179536 229 0 0 25 0 1 0 188822552 610336768 146599 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7827/statm: 149008 146599 197 640 0 148364 0 Current children cumulated CPU time (s) 1797.65 Current children cumulated vsize (KiB) 596032 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7828 /proc/meminfo: memFree=1123256/2055920 swapFree=4182476/4192956 [pid=7827] ppid=7825 vsize=0 CPUtime=1798.05 /proc/7827/stat : 7827 (bsolo) R 7825 7827 7656 0 -1 4194308 147183 0 0 0 179571 234 0 0 17 0 1 0 188822552 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7827/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.05 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.73 CPU time (s): 1798.09 CPU user time (s): 1795.71 CPU system time (s): 2.37664 CPU usage (%): 99.964 Max. virtual memory (cumulated for all children) (KiB): 596612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.71 system time used= 2.37664 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 147183 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= 7 involuntary context switches= 1776 runsolver used 1.41278 second user time and 3.63745 second system time The end
Begin job on node67 at 2009-06-17 06:18:03 IDJOB=1878303 IDBENCH=48283 IDSOLVER=700 FILE ID=node67/1878303-1245212283 PBS_JOBID= 9368402 Free space on /tmp= 66428 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_1.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878303-1245212283/watcher-1878303-1245212283 -o /tmp/evaluation-result-1878303-1245212283/solver-1878303-1245212283 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878303-1245212283.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 74165f17686851db36d48a05683565a5 RANDOM SEED=182671658 node67.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.272 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.272 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1711632 kB Buffers: 47960 kB Cached: 224140 kB SwapCached: 4524 kB Active: 77124 kB Inactive: 202616 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1711632 kB SwapTotal: 4192956 kB SwapFree: 4182476 kB Dirty: 4016 kB Writeback: 0 kB Mapped: 13444 kB Slab: 50428 kB Committed_AS: 115760 kB PageTables: 1440 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878303-1245212283.opb Free space on /tmp at the end= 66424 MiB End job on node67 at 2009-06-17 06:48:03