Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | -33 | 1798.1 | 1798.75 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_5.opb |
MD5SUM | 996170804397234947041ed4d87d3aa0 |
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 | -49 |
Best CPU time to get the best result obtained on this benchmark | 1795.4 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -59 |
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) | 5056 |
Sum of products size (including duplicates) | 10112 |
Number of different products | 2528 |
Sum of products size | 5056 |
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-1878286-1245210484.opb 0.00/0.00 c File size is 222618 bytes. 0.01/0.03 c Highest Coefficient sum: 400 0.01/0.03 c Parsing was ok!! 0.01/0.03 c Total parsing time: 0.031 s 0.01/0.03 c Var: 2928 Constr: 5658 2728/402/2528 Lit: 21424 Watch. Lit: 18498 0.01/0.03 c Obj. Vars: 200 (6.8306 % of total variables) 0.59/0.66 c Pre-processing Time: 0.66 s 0.59/0.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.66 c 0 2928 5658 21424 3 18498 38466 0 0 0.66 0.59/0.66 c Switching off lower bounding mode. 0.59/0.66 o -1 0.59/0.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.67 c 0 2928 5659 21624 3 18501 38600 1 0 0.67 0.59/0.67 o -2 0.79/0.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.87 c 3 2928 5663 22439 3 18511 38666 5 4 0.67 0.79/0.87 c 103 2928 5763 47615 8 18711 42533 105 129 0.80 0.79/0.87 o -3 3.78/3.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.78/3.84 c 215 2928 5876 84430 14 18940 38733 218 245 0.88 3.78/3.84 c 315 2928 5976 110880 18 19140 42607 318 316 1.00 3.78/3.84 c 565 2928 6226 187955 30 19640 46868 568 458 1.23 3.78/3.84 c 1040 2928 6701 328107 48 20590 51555 1043 608 1.71 3.78/3.84 c 1853 2928 7514 573352 76 22216 56711 1856 740 2.50 3.78/3.84 c 3173 2928 8834 978793 110 24856 62383 3176 842 3.77 3.78/3.84 o -12 3.78/3.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.78/3.87 c 3223 2928 8885 987021 111 24970 39333 3227 838 3.85 3.78/3.87 o -13 4.79/4.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.81 c 3249 2928 8912 992506 111 25037 39400 3254 838 3.88 4.79/4.81 c 3349 2928 9012 1012650 112 25237 43341 3354 834 4.01 4.79/4.81 c 3599 2928 9262 1089107 117 25737 47676 3604 847 4.25 4.79/4.81 c 4074 2928 9737 1195091 122 26687 52444 4079 893 4.56 4.79/4.81 o -14 18.08/18.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.08/18.20 c 4482 2928 10146 1302395 128 27519 39466 4488 931 4.81 18.08/18.20 c 4582 2928 10246 1328745 129 27719 43413 4588 924 4.96 18.08/18.20 c 4832 2928 10496 1401009 133 28219 47755 4838 930 5.20 18.08/18.20 c 5307 2928 10971 1534971 139 29169 52531 5313 930 5.70 18.08/18.20 c 6120 2928 11784 1767257 149 30795 57785 6126 934 6.55 18.08/18.20 c 7440 2928 13104 2150813 164 33435 63564 7446 945 7.87 18.08/18.20 c 9521 2928 15185 2765470 182 37597 69921 9527 963 9.89 18.08/18.20 c 12744 2928 18408 3755040 203 44043 76914 12750 1005 12.68 18.08/18.20 c 17680 2928 23344 5363942 229 53915 84606 17686 1056 16.74 18.08/18.20 o -31 795.49/795.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 795.49/795.80 c 18338 2928 24003 5463757 227 55264 39466 18345 1007 18.19 795.49/795.80 c 18438 2928 24103 5483059 227 55464 43413 18445 1000 18.44 795.49/795.80 c 18688 2928 24353 5536362 227 55964 47755 18695 992 18.83 795.49/795.80 c 19163 2928 24828 5663469 228 56914 52531 19170 990 19.34 795.49/795.80 c 19976 2928 25641 5883439 229 58540 57785 19983 992 20.13 795.49/795.80 c 21296 2928 26961 6235123 231 61180 63564 21303 991 21.47 795.49/795.80 c 23377 2928 29042 6833195 235 65342 69921 23384 997 23.45 795.49/795.80 c 26600 2928 32265 7867562 243 71788 76914 26607 1007 26.41 795.49/795.80 c 31536 2928 37201 9278788 249 81660 84606 31543 1001 31.49 795.49/795.80 c 39042 2928 44707 11436910 255 96672 93067 39049 974 40.08 795.49/795.80 c 50403 2928 56068 14660521 261 119394 102374 50410 916 55.00 795.49/795.80 c 67547 2928 73212 19438968 265 153682 112612 67554 814 82.93 795.49/795.80 c 93366 2928 99031 25917638 261 205320 123874 93373 782 119.30 795.49/795.80 c 132198 2928 23963 4247120 177 55139 136262 18305 471 280.61 795.49/795.80 c 190550 2928 82315 21894504 265 171843 149889 76657 499 381.42 795.49/795.80 c 278182 2928 30288 7549243 249 67789 164878 24630 350 792.76 795.49/795.80 o -32 836.79/837.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 836.79/837.13 c 280412 2928 32519 7960068 244 72283 39466 26861 352 795.51 836.79/837.13 c 280512 2928 32619 7980910 244 72483 43413 26961 352 795.67 836.79/837.13 c 280762 2928 32869 8031965 244 72983 47755 27211 352 795.90 836.79/837.13 c 281237 2928 33344 8128259 243 73933 52531 27686 353 796.32 836.79/837.13 c 282050 2928 34157 8299700 242 75559 57785 28499 353 797.17 836.79/837.13 c 283370 2928 35477 8614443 242 78199 63564 29819 354 798.40 836.79/837.13 c 285451 2928 37558 9134369 243 82361 69921 31900 356 800.60 836.79/837.13 c 288674 2928 40781 10018840 245 88807 76914 35123 358 804.13 836.79/837.13 c 293610 2928 45717 11519437 251 98679 84606 40059 362 809.76 836.79/837.13 c 301116 2928 53223 13701655 257 113691 93067 47565 367 819.46 836.79/837.13 c 312477 2928 64584 16727595 259 136413 102374 58926 374 834.82 836.79/837.13 o -33 1797.94/1798.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.94/1798.65 c 314176 2928 66284 17260041 260 139846 39466 60626 375 836.83 1797.94/1798.65 c 314276 2928 17589 3278282 186 42393 43413 11931 368 852.70 1797.94/1798.65 c 314526 2928 17839 3345341 187 42893 47755 12181 368 853.03 1797.94/1798.65 c 315001 2928 18314 3471589 189 43843 52531 12656 369 853.58 1797.94/1798.65 c 315814 2928 19127 3693946 193 45469 57785 13469 369 854.49 1797.94/1798.65 c 317134 2928 20447 4076970 199 48109 63564 14789 370 855.98 1797.94/1798.65 c 319215 2928 22528 4763928 211 52271 69921 16870 371 858.15 1797.94/1798.65 c 322438 2928 25751 5696283 221 58717 76914 20093 374 861.70 1797.94/1798.65 c 327374 2928 30687 7221446 235 68589 84606 25029 377 867.79 1797.94/1798.65 c 334880 2928 38193 9468423 247 83601 93067 32535 381 878.46 1797.94/1798.65 c 346241 2928 49554 12955873 261 106323 102374 43896 387 894.29 1797.94/1798.65 c 363385 2928 66698 18048385 270 140611 112612 61040 391 928.11 1797.94/1798.65 c 389204 2928 92517 25851643 279 192249 123874 86859 397 978.42 1797.94/1798.65 c 428036 2928 18241 3802435 208 43697 136262 12583 353 1210.80 1797.94/1798.65 c 486388 2928 76593 21367891 278 160401 149889 70935 373 1303.65 1797.94/1798.65 c 574020 2928 24612 5767143 234 56439 164878 18954 331 1733.03 1797.94/1798.65 c Resources Exceeded 1797.94/1798.65 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 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -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.94/1798.65 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.94/1798.65 c 66 615806 353 640174 66398 18340772 60740 342 1798.00 1797.94/1798.65 c Objective: -33 1797.94/1798.65 s SATISFIABLE 1797.94/1798.65 c Total time: 1798 s
OK -33
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878286-1245210484/watcher-1878286-1245210484 -o /tmp/evaluation-result-1878286-1245210484/solver-1878286-1245210484 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878286-1245210484.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 7781 /proc/meminfo: memFree=1711728/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=10936 CPUtime=0 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 257 0 0 0 0 0 0 0 18 0 1 0 188642619 11198464 241 1992294400 134512640 137136520 4294956256 18446744073709551615 136509014 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 2734 241 173 640 0 2035 0 [startup+0.016854 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7781 /proc/meminfo: memFree=1711728/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=11212 CPUtime=0.01 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 353 0 0 0 1 0 0 0 18 0 1 0 188642619 11481088 337 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 2803 337 194 640 0 2104 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11212 [startup+0.101868 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7781 /proc/meminfo: memFree=1711728/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=12120 CPUtime=0.09 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 684 0 0 0 9 0 0 0 18 0 1 0 188642619 12410880 613 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 3030 613 189 640 0 2386 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12120 [startup+0.301903 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7781 /proc/meminfo: memFree=1711728/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=12120 CPUtime=0.29 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 684 0 0 0 29 0 0 0 19 0 1 0 188642619 12410880 613 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 3030 613 189 640 0 2386 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12120 [startup+0.701975 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7781 /proc/meminfo: memFree=1711728/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=12504 CPUtime=0.69 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 836 0 0 0 69 0 0 0 22 0 1 0 188642619 12804096 703 1992294400 134512640 137136520 4294956256 18446744073709551615 134574212 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 3126 703 197 640 0 2482 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12504 [startup+1.50112 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7782 /proc/meminfo: memFree=1708776/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=15452 CPUtime=1.49 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 1574 0 0 0 148 1 0 0 25 0 1 0 188642619 15822848 1441 1992294400 134512640 137136520 4294956256 18446744073709551615 134574410 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 3863 1441 197 640 0 3219 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15452 [startup+3.10141 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7782 /proc/meminfo: memFree=1704232/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=22052 CPUtime=3.09 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 3213 0 0 0 307 2 0 0 25 0 1 0 188642619 22581248 3080 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 5513 3080 197 640 0 4869 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22052 [startup+6.30199 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7782 /proc/meminfo: memFree=1690792/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=34212 CPUtime=6.29 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 6264 0 0 0 624 5 0 0 25 0 1 0 188642619 35033088 6131 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 8553 6131 197 640 0 7909 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34212 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7782 /proc/meminfo: memFree=1663984/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=61292 CPUtime=12.69 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 13030 0 0 0 1260 9 0 0 25 0 1 0 188642619 62763008 12897 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 15323 12897 197 640 0 14679 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 61292 [startup+25.5014 s] /proc/loadavg: 1.07 1.02 1.00 2/65 7782 /proc/meminfo: memFree=1612272/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=110696 CPUtime=25.48 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 25390 0 0 0 2532 16 0 0 25 0 1 0 188642619 113352704 25257 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 27674 25257 197 640 0 27030 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 110696 [startup+51.1011 s] /proc/loadavg: 1.05 1.01 1.00 2/65 7782 /proc/meminfo: memFree=1532784/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=190308 CPUtime=51.07 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 45287 0 0 0 5077 30 0 0 25 0 1 0 188642619 194875392 45154 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 47577 45154 197 640 0 46933 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 190308 [startup+102.305 s] /proc/loadavg: 1.02 1.01 1.00 2/65 7782 /proc/meminfo: memFree=1414640/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=306848 CPUtime=102.25 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 74427 0 0 0 10171 54 0 0 25 0 1 0 188642619 314212352 74294 1992294400 134512640 137136520 4294956256 18446744073709551615 136501953 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 76712 74294 197 640 0 76068 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 306848 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7782 /proc/meminfo: memFree=1295728/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=426408 CPUtime=162.23 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 104324 0 0 0 16143 80 0 0 25 0 1 0 188642619 436641792 104191 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 106602 104191 197 640 0 105958 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 426408 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7782 /proc/meminfo: memFree=1280432/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=440372 CPUtime=222.21 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 107941 0 0 0 22137 84 0 0 25 0 1 0 188642619 450940928 107684 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 110093 107684 197 640 0 109449 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 440372 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7782 /proc/meminfo: memFree=1280432/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=440372 CPUtime=282.19 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 107941 0 0 0 28134 85 0 0 25 0 1 0 188642619 450940928 107684 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 110093 107684 197 640 0 109449 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 440372 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7784 /proc/meminfo: memFree=1280304/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=440372 CPUtime=342.16 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 107941 0 0 0 34124 92 0 0 25 0 1 0 188642619 450940928 107684 1992294400 134512640 137136520 4294956256 18446744073709551615 134544112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 110093 107684 197 640 0 109449 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 440372 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7784 /proc/meminfo: memFree=1280304/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=440372 CPUtime=402.14 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 107941 0 0 0 40114 100 0 0 25 0 1 0 188642619 450940928 107684 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 110093 107684 197 640 0 109449 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 440372 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7784 /proc/meminfo: memFree=1280368/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=440372 CPUtime=462.13 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 107941 0 0 0 46108 105 0 0 25 0 1 0 188642619 450940928 107684 1992294400 134512640 137136520 4294956256 18446744073709551615 134616725 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 110093 107684 197 640 0 109449 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 440372 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7784 /proc/meminfo: memFree=1226608/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=495724 CPUtime=522.1 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 121756 0 0 0 52088 122 0 0 25 0 1 0 188642619 507621376 121499 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 123931 121499 197 640 0 123287 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 495724 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7784 /proc/meminfo: memFree=1150256/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=570748 CPUtime=582.08 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 140520 0 0 0 58064 144 0 0 25 0 1 0 188642619 584445952 140263 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 142687 140263 197 640 0 142043 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 570748 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7784 /proc/meminfo: memFree=1120048/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=600340 CPUtime=642.07 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 148054 0 0 0 64054 153 0 0 25 0 1 0 188642619 614748160 147648 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 150085 147648 197 640 0 149441 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 600340 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1120240/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=600340 CPUtime=1061.9 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 148054 0 0 0 106004 186 0 0 25 0 1 0 188642619 614748160 147648 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 150085 147648 197 640 0 149441 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 600340 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7790 /proc/meminfo: memFree=1120176/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=600340 CPUtime=1121.88 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 148054 0 0 0 112001 187 0 0 25 0 1 0 188642619 614748160 147648 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 150085 147648 197 640 0 149441 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 600340 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7790 /proc/meminfo: memFree=1120176/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=600340 CPUtime=1181.86 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 148054 0 0 0 117999 187 0 0 25 0 1 0 188642619 614748160 147648 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 150085 147648 197 640 0 149441 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 600340 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7790 /proc/meminfo: memFree=1120112/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=600340 CPUtime=1241.84 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 148054 0 0 0 123993 191 0 0 25 0 1 0 188642619 614748160 147648 1992294400 134512640 137136520 4294956256 18446744073709551615 134574179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 150085 147648 197 640 0 149441 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 600340 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7790 /proc/meminfo: memFree=1120048/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=600340 CPUtime=1301.82 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 148054 0 0 0 129984 198 0 0 25 0 1 0 188642619 614748160 147648 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 150085 147648 197 640 0 149441 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 600340 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7790 /proc/meminfo: memFree=1120048/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=600340 CPUtime=1361.79 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 148054 0 0 0 135975 204 0 0 25 0 1 0 188642619 614748160 147648 1992294400 134512640 137136520 4294956256 18446744073709551615 136503068 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 150085 147648 197 640 0 149441 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 600340 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7790 /proc/meminfo: memFree=1119984/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=600340 CPUtime=1421.77 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 148054 0 0 0 141966 211 0 0 25 0 1 0 188642619 614748160 147648 1992294400 134512640 137136520 4294956256 18446744073709551615 136502112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 150085 147648 197 640 0 149441 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 600340 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7790 /proc/meminfo: memFree=1119920/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=600340 CPUtime=1481.74 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 148054 0 0 0 147956 218 0 0 25 0 1 0 188642619 614748160 147648 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 150085 147648 197 640 0 149441 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 600340 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7790 /proc/meminfo: memFree=1108528/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=611512 CPUtime=1541.73 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 151001 0 0 0 153950 223 0 0 25 0 1 0 188642619 626188288 150446 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 152878 150446 197 640 0 152234 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 611512 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7790 /proc/meminfo: memFree=1108528/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=611512 CPUtime=1601.7 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 151001 0 0 0 159947 223 0 0 25 0 1 0 188642619 626188288 150446 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 152878 150446 197 640 0 152234 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 611512 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7790 /proc/meminfo: memFree=1108592/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=611512 CPUtime=1661.68 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 151001 0 0 0 165945 223 0 0 25 0 1 0 188642619 626188288 150446 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 152878 150446 197 640 0 152234 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 611512 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7790 /proc/meminfo: memFree=1108592/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=611512 CPUtime=1721.67 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 151001 0 0 0 171943 224 0 0 25 0 1 0 188642619 626188288 150446 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 152878 150446 197 640 0 152234 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 611512 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7790 /proc/meminfo: memFree=1108592/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=611512 CPUtime=1781.64 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 151001 0 0 0 177935 229 0 0 25 0 1 0 188642619 626188288 150446 1992294400 134512640 137136520 4294956256 18446744073709551615 135982503 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 152878 150446 197 640 0 152234 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 611512 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 7790 /proc/meminfo: memFree=1108592/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=611512 CPUtime=1791.24 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 151001 0 0 0 178894 230 0 0 25 0 1 0 188642619 626188288 150446 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 152878 150446 197 640 0 152234 0 Current children cumulated CPU time (s) 1791.24 Current children cumulated vsize (KiB) 611512 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7790 /proc/meminfo: memFree=1108592/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=611512 CPUtime=1794.44 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 151001 0 0 0 179214 230 0 0 25 0 1 0 188642619 626188288 150446 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 152878 150446 197 640 0 152234 0 Current children cumulated CPU time (s) 1794.44 Current children cumulated vsize (KiB) 611512 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7790 /proc/meminfo: memFree=1108592/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=611512 CPUtime=1796.03 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 151001 0 0 0 179373 230 0 0 25 0 1 0 188642619 626188288 150446 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 152878 150446 197 640 0 152234 0 Current children cumulated CPU time (s) 1796.03 Current children cumulated vsize (KiB) 611512 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7790 /proc/meminfo: memFree=1108592/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=611512 CPUtime=1796.83 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 151001 0 0 0 179453 230 0 0 25 0 1 0 188642619 626188288 150446 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 152878 150446 197 640 0 152234 0 Current children cumulated CPU time (s) 1796.83 Current children cumulated vsize (KiB) 611512 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7790 /proc/meminfo: memFree=1108592/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=611512 CPUtime=1797.64 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194304 151001 0 0 0 179533 231 0 0 25 0 1 0 188642619 626188288 150446 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 152878 150446 197 640 0 152234 0 Current children cumulated CPU time (s) 1797.64 Current children cumulated vsize (KiB) 611512 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7790 /proc/meminfo: memFree=1108592/2055920 swapFree=4182476/4192956 [pid=7781] ppid=7779 vsize=0 CPUtime=1798.03 /proc/7781/stat : 7781 (bsolo) R 7779 7781 7656 0 -1 4194308 151003 0 0 0 179568 235 0 0 25 0 1 0 188642619 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7781/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.03 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.75 CPU time (s): 1798.1 CPU user time (s): 1795.69 CPU system time (s): 2.40763 CPU usage (%): 99.9635 Max. virtual memory (cumulated for all children) (KiB): 612108 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.69 system time used= 2.40763 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 151003 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 1808 runsolver used 1.21781 second user time and 3.86741 second system time The end
Begin job on node67 at 2009-06-17 05:48:04 IDJOB=1878286 IDBENCH=48266 IDSOLVER=700 FILE ID=node67/1878286-1245210484 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_5.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878286-1245210484/watcher-1878286-1245210484 -o /tmp/evaluation-result-1878286-1245210484/solver-1878286-1245210484 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878286-1245210484.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 996170804397234947041ed4d87d3aa0 RANDOM SEED=564140534 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: 1712336 kB Buffers: 47332 kB Cached: 224156 kB SwapCached: 4524 kB Active: 76884 kB Inactive: 202192 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1712336 kB SwapTotal: 4192956 kB SwapFree: 4182476 kB Dirty: 4016 kB Writeback: 0 kB Mapped: 13444 kB Slab: 50424 kB Committed_AS: 115704 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-1878286-1245210484.opb Free space on /tmp at the end= 66424 MiB End job on node67 at 2009-06-17 06:18:03