Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | -33 | 1798.06 | 1798.54 |
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 | -48 |
Best CPU time to get the best result obtained on this benchmark | 1800.04 |
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.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2671100-1276718556.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.038 s 0.01/0.04 c Var: 2928 Constr: 5658 2728/402/2528 Lit: 21424 Watch. Lit: 18498 0.01/0.04 c Obj. Vars: 200 (6.8306 % of total variables) 0.59/0.66 c Pre-processing Time: 0.659 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.66 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 130 0.79 0.79/0.87 o -3 3.79/3.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.82 c 215 2928 5876 84430 14 18940 38733 218 247 0.87 3.79/3.82 c 315 2928 5976 110880 18 19140 42607 318 317 0.99 3.79/3.82 c 565 2928 6226 187955 30 19640 46868 568 461 1.23 3.79/3.82 c 1040 2928 6701 328107 48 20590 51555 1043 611 1.70 3.79/3.82 c 1853 2928 7514 573352 76 22216 56711 1856 743 2.49 3.79/3.82 c 3173 2928 8834 978793 110 24856 62383 3176 846 3.75 3.79/3.82 o -12 3.79/3.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.85 c 3223 2928 8885 987021 111 24970 39333 3227 842 3.83 3.79/3.85 o -13 4.69/4.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.78 c 3249 2928 8912 992506 111 25037 39400 3254 842 3.86 4.69/4.78 c 3349 2928 9012 1012650 112 25237 43341 3354 838 3.99 4.69/4.78 c 3599 2928 9262 1089107 117 25737 47676 3604 851 4.23 4.69/4.78 c 4074 2928 9737 1195091 122 26687 52444 4079 897 4.54 4.69/4.78 o -14 18.09/18.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.09/18.19 c 4482 2928 10146 1302395 128 27519 39466 4488 936 4.79 18.09/18.19 c 4582 2928 10246 1328745 129 27719 43413 4588 929 4.93 18.09/18.19 c 4832 2928 10496 1401009 133 28219 47755 4838 934 5.17 18.09/18.19 c 5307 2928 10971 1534971 139 29169 52531 5313 934 5.68 18.09/18.19 c 6120 2928 11784 1767257 149 30795 57785 6126 935 6.54 18.09/18.19 c 7440 2928 13104 2150813 164 33435 63564 7446 945 7.87 18.09/18.19 c 9521 2928 15185 2765470 182 37597 69921 9527 961 9.90 18.09/18.19 c 12744 2928 18408 3755040 203 44043 76914 12750 1002 12.71 18.09/18.19 c 17680 2928 23344 5363942 229 53915 84606 17686 1055 16.76 18.09/18.19 o -31 793.28/793.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 793.28/793.54 c 18338 2928 24003 5463757 227 55264 39466 18345 1007 18.20 793.28/793.54 c 18438 2928 24103 5483059 227 55464 43413 18445 1000 18.43 793.28/793.54 c 18688 2928 24353 5536362 227 55964 47755 18695 992 18.83 793.28/793.54 c 19163 2928 24828 5663469 228 56914 52531 19170 990 19.34 793.28/793.54 c 19976 2928 25641 5883439 229 58540 57785 19983 992 20.12 793.28/793.54 c 21296 2928 26961 6235123 231 61180 63564 21303 992 21.46 793.28/793.54 c 23377 2928 29042 6833195 235 65342 69921 23384 997 23.43 793.28/793.54 c 26600 2928 32265 7867562 243 71788 76914 26607 1007 26.40 793.28/793.54 c 31536 2928 37201 9278788 249 81660 84606 31543 1001 31.50 793.28/793.54 c 39042 2928 44707 11436910 255 96672 93067 39049 974 40.07 793.28/793.54 c 50403 2928 56068 14660521 261 119394 102374 50410 916 54.97 793.28/793.54 c 67547 2928 73212 19438968 265 153682 112612 67554 815 82.83 793.28/793.54 c 93366 2928 99031 25917638 261 205320 123874 93373 782 119.25 793.28/793.54 c 132198 2928 23963 4247120 177 55139 136262 18305 471 280.13 793.28/793.54 c 190550 2928 82315 21894504 265 171843 149889 76657 500 380.86 793.28/793.54 c 278182 2928 30288 7549243 249 67789 164878 24630 351 790.61 793.28/793.54 o -32 834.27/834.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 834.27/834.57 c 280412 2928 32519 7960068 244 72283 39466 26861 353 793.34 834.27/834.57 c 280512 2928 32619 7980910 244 72483 43413 26961 353 793.49 834.27/834.57 c 280762 2928 32869 8031965 244 72983 47755 27211 353 793.72 834.27/834.57 c 281237 2928 33344 8128259 243 73933 52531 27686 354 794.13 834.27/834.57 c 282050 2928 34157 8299700 242 75559 57785 28499 354 794.98 834.27/834.57 c 283370 2928 35477 8614443 242 78199 63564 29819 355 796.20 834.27/834.57 c 285451 2928 37558 9134369 243 82361 69921 31900 357 798.35 834.27/834.57 c 288674 2928 40781 10018840 245 88807 76914 35123 360 801.83 834.27/834.57 c 293610 2928 45717 11519437 251 98679 84606 40059 363 807.43 834.27/834.57 c 301116 2928 53223 13701655 257 113691 93067 47565 368 817.06 834.27/834.57 c 312477 2928 64584 16727595 259 136413 102374 58926 375 832.35 834.27/834.57 o -33 1797.91/1798.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.91/1798.48 c 314176 2928 66284 17260041 260 139846 39466 60626 376 834.35 1797.91/1798.48 c 314276 2928 17589 3278282 186 42393 43413 11931 369 850.24 1797.91/1798.48 c 314526 2928 17839 3345341 187 42893 47755 12181 369 850.57 1797.91/1798.48 c 315001 2928 18314 3471589 189 43843 52531 12656 370 851.12 1797.91/1798.48 c 315814 2928 19127 3693946 193 45469 57785 13469 370 852.03 1797.91/1798.48 c 317134 2928 20447 4076970 199 48109 63564 14789 371 853.50 1797.91/1798.48 c 319215 2928 22528 4763928 211 52271 69921 16870 373 855.64 1797.91/1798.48 c 322438 2928 25751 5696283 221 58717 76914 20093 375 859.14 1797.91/1798.48 c 327374 2928 30687 7221446 235 68589 84606 25029 378 865.19 1797.91/1798.48 c 334880 2928 38193 9468423 247 83601 93067 32535 382 875.82 1797.91/1798.48 c 346241 2928 49554 12955873 261 106323 102374 43896 388 891.57 1797.91/1798.48 c 363385 2928 66698 18048385 270 140611 112612 61040 392 925.23 1797.91/1798.48 c 389204 2928 92517 25851643 279 192249 123874 86859 399 975.34 1797.91/1798.48 c 428036 2928 18241 3802435 208 43697 136262 12583 354 1206.51 1797.91/1798.48 c 486388 2928 76593 21367891 278 160401 149889 70935 374 1298.79 1797.91/1798.48 c 574020 2928 24612 5767143 234 56439 164878 18954 332 1724.86 1797.91/1798.48 c Resources Exceeded 1797.91/1798.48 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.91/1798.48 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.91/1798.48 c 66 620431 353 644799 71023 19665457 65365 345 1798.00 1797.91/1798.48 c Objective: -33 1797.91/1798.48 s SATISFIABLE 1797.91/1798.48 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-2671100-1276718556/watcher-2671100-1276718556 -o /tmp/evaluation-result-2671100-1276718556/solver-2671100-1276718556 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671100-1276718556.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.04 1.03 0.97 3/106 19024 /proc/meminfo: memFree=1863404/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=11156 CPUtime=0 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 347 0 0 0 0 0 0 0 20 0 1 0 13150739 11423744 265 1992294400 134512640 137138936 4288627776 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 2789 265 175 642 0 2090 0 [startup+0.0142821 s] /proc/loadavg: 1.04 1.03 0.97 3/106 19024 /proc/meminfo: memFree=1863404/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=11292 CPUtime=0.01 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 387 0 0 0 1 0 0 0 20 0 1 0 13150739 11563008 305 1992294400 134512640 137138936 4288627776 18446744073709551615 134531572 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 2823 305 184 642 0 2124 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11292 [startup+0.101292 s] /proc/loadavg: 1.04 1.03 0.97 3/106 19024 /proc/meminfo: memFree=1863404/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=12172 CPUtime=0.09 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 746 0 0 0 9 0 0 0 20 0 1 0 13150739 12464128 609 1992294400 134512640 137138936 4288627776 18446744073709551615 134541959 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 3043 609 184 642 0 2399 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12172 [startup+0.301315 s] /proc/loadavg: 1.04 1.03 0.97 3/106 19024 /proc/meminfo: memFree=1863404/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=12172 CPUtime=0.29 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 746 0 0 0 29 0 0 0 20 0 1 0 13150739 12464128 609 1992294400 134512640 137138936 4288627776 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 3043 609 184 642 0 2399 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12172 [startup+0.700363 s] /proc/loadavg: 1.04 1.03 0.97 3/106 19024 /proc/meminfo: memFree=1863404/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=12556 CPUtime=0.69 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 897 0 0 0 68 1 0 0 20 0 1 0 13150739 12857344 698 1992294400 134512640 137138936 4288627776 18446744073709551615 134575602 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 3139 698 191 642 0 2495 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12556 [startup+1.50046 s] /proc/loadavg: 1.04 1.03 0.97 2/107 19025 /proc/meminfo: memFree=1860544/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=15504 CPUtime=1.49 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 1641 0 0 0 148 1 0 0 22 0 1 0 13150739 15876096 1442 1992294400 134512640 137138936 4288627776 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 3876 1442 191 642 0 3232 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15504 [startup+3.10064 s] /proc/loadavg: 1.04 1.03 0.97 2/107 19025 /proc/meminfo: memFree=1856080/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=22104 CPUtime=3.09 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 3281 0 0 0 307 2 0 0 25 0 1 0 13150739 22634496 3082 1992294400 134512640 137138936 4288627776 18446744073709551615 134575767 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 5526 3082 191 642 0 4882 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22104 [startup+6.30102 s] /proc/loadavg: 1.12 1.04 0.97 2/107 19025 /proc/meminfo: memFree=1842564/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=34264 CPUtime=6.29 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 6333 0 0 0 626 3 0 0 25 0 1 0 13150739 35086336 6134 1992294400 134512640 137138936 4288627776 18446744073709551615 134575908 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 8566 6134 191 642 0 7922 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34264 [startup+12.7008 s] /proc/loadavg: 1.11 1.04 0.97 2/107 19025 /proc/meminfo: memFree=1816028/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=61116 CPUtime=12.69 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 13039 0 0 0 1261 8 0 0 25 0 1 0 13150739 62582784 12840 1992294400 134512640 137138936 4288627776 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 15279 12840 191 642 0 14635 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 61116 [startup+25.5013 s] /proc/loadavg: 1.08 1.04 0.97 2/107 19025 /proc/meminfo: memFree=1764072/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=110852 CPUtime=25.49 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 25478 0 0 0 2530 19 0 0 25 0 1 0 13150739 113512448 25279 1992294400 134512640 137138936 4288627776 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 27713 25279 191 642 0 27069 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 110852 [startup+51.1013 s] /proc/loadavg: 1.05 1.03 0.97 2/107 19025 /proc/meminfo: memFree=1684588/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=190476 CPUtime=51.08 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 45369 0 0 0 5072 36 0 0 25 0 1 0 13150739 195047424 45170 1992294400 134512640 137138936 4288627776 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 47619 45170 191 642 0 46975 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 190476 [startup+102.309 s] /proc/loadavg: 1.02 1.03 0.97 2/107 19027 /proc/meminfo: memFree=1566168/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=307108 CPUtime=102.27 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 74543 0 0 0 10161 66 0 0 25 0 1 0 13150739 314478592 74344 1992294400 134512640 137138936 4288627776 18446744073709551615 134575807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 76777 74344 191 642 0 76133 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 307108 [startup+162.301 s] /proc/loadavg: 1.01 1.02 0.97 2/107 19029 /proc/meminfo: memFree=1447376/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=426564 CPUtime=162.25 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 104397 0 0 0 16126 99 0 0 25 0 1 0 13150739 436801536 104198 1992294400 134512640 137138936 4288627776 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 106641 104198 191 642 0 105997 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 426564 [startup+222.301 s] /proc/loadavg: 1.00 1.01 0.97 2/107 19031 /proc/meminfo: memFree=1431752/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=440424 CPUtime=222.23 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 108002 0 0 0 22120 103 0 0 25 0 1 0 13150739 450994176 107679 1992294400 134512640 137138936 4288627776 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 110106 107679 191 642 0 109462 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 440424 [startup+282.301 s] /proc/loadavg: 1.00 1.01 0.97 2/107 19033 /proc/meminfo: memFree=1431752/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=440424 CPUtime=282.22 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 108002 0 0 0 28117 105 0 0 25 0 1 0 13150739 450994176 107679 1992294400 134512640 137138936 4288627776 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 110106 107679 191 642 0 109462 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 440424 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19033 /proc/meminfo: memFree=1431628/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=440424 CPUtime=342.2 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 108002 0 0 0 34104 116 0 0 25 0 1 0 13150739 450994176 107679 1992294400 134512640 137138936 4288627776 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 110106 107679 191 642 0 109462 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 440424 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19035 /proc/meminfo: memFree=1431628/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=440424 CPUtime=402.19 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 108002 0 0 0 40093 126 0 0 25 0 1 0 13150739 450994176 107679 1992294400 134512640 137138936 4288627776 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 110106 107679 191 642 0 109462 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 440424 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19037 /proc/meminfo: memFree=1431628/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=440424 CPUtime=462.17 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 108002 0 0 0 46081 136 0 0 25 0 1 0 13150739 450994176 107679 1992294400 134512640 137138936 4288627776 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 110106 107679 191 642 0 109462 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 440424 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19039 /proc/meminfo: memFree=1376944/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=497096 CPUtime=522.16 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 122165 0 0 0 52056 160 0 0 25 0 1 0 13150739 509026304 121842 1992294400 134512640 137138936 4288627776 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 124274 121842 191 642 0 123630 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 497096 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19041 /proc/meminfo: memFree=1301056/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=571724 CPUtime=582.14 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 140819 0 0 0 58028 186 0 0 25 0 1 0 13150739 585445376 140496 1992294400 134512640 137138936 4288627776 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 142931 140496 191 642 0 142287 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 571724 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19041 /proc/meminfo: memFree=1271172/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=600392 CPUtime=642.13 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 148115 0 0 0 64019 194 0 0 25 0 1 0 13150739 614801408 147643 1992294400 134512640 137138936 4288627776 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 150098 147643 191 642 0 149454 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 600392 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1270924/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=600392 CPUtime=1062 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 148115 0 0 0 105948 252 0 0 25 0 1 0 13150739 614801408 147643 1992294400 134512640 137138936 4288627776 18446744073709551615 134575604 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 150098 147643 191 642 0 149454 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 600392 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19055 /proc/meminfo: memFree=1270924/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=600392 CPUtime=1121.99 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 148115 0 0 0 111946 253 0 0 25 0 1 0 13150739 614801408 147643 1992294400 134512640 137138936 4288627776 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 150098 147643 191 642 0 149454 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 600392 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19055 /proc/meminfo: memFree=1270924/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=600392 CPUtime=1181.98 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 148115 0 0 0 117945 253 0 0 25 0 1 0 13150739 614801408 147643 1992294400 134512640 137138936 4288627776 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 150098 147643 191 642 0 149454 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 600392 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19057 /proc/meminfo: memFree=1270676/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=600392 CPUtime=1241.96 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 148115 0 0 0 123935 261 0 0 25 0 1 0 13150739 614801408 147643 1992294400 134512640 137138936 4288627776 18446744073709551615 134599793 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 150098 147643 191 642 0 149454 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 600392 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19059 /proc/meminfo: memFree=1270552/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=600392 CPUtime=1301.95 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 148115 0 0 0 129922 273 0 0 25 0 1 0 13150739 614801408 147643 1992294400 134512640 137138936 4288627776 18446744073709551615 136507467 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 150098 147643 191 642 0 149454 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 600392 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19061 /proc/meminfo: memFree=1270676/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=600392 CPUtime=1361.93 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 148115 0 0 0 135909 284 0 0 25 0 1 0 13150739 614801408 147643 1992294400 134512640 137138936 4288627776 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 150098 147643 191 642 0 149454 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 600392 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19063 /proc/meminfo: memFree=1270676/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=600392 CPUtime=1421.91 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 148115 0 0 0 141897 294 0 0 25 0 1 0 13150739 614801408 147643 1992294400 134512640 137138936 4288627776 18446744073709551615 134575191 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 150098 147643 191 642 0 149454 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 600392 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19065 /proc/meminfo: memFree=1270552/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=600392 CPUtime=1481.89 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 148115 0 0 0 147884 305 0 0 25 0 1 0 13150739 614801408 147643 1992294400 134512640 137138936 4288627776 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 150098 147643 191 642 0 149454 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 600392 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19065 /proc/meminfo: memFree=1259392/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=611564 CPUtime=1541.88 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 151062 0 0 0 153877 311 0 0 25 0 1 0 13150739 626241536 150441 1992294400 134512640 137138936 4288627776 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 152891 150441 191 642 0 152247 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 611564 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19067 /proc/meminfo: memFree=1259516/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=611564 CPUtime=1601.86 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 151062 0 0 0 159875 311 0 0 25 0 1 0 13150739 626241536 150441 1992294400 134512640 137138936 4288627776 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 152891 150441 191 642 0 152247 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 611564 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19069 /proc/meminfo: memFree=1259392/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=611564 CPUtime=1661.84 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 151062 0 0 0 165873 311 0 0 25 0 1 0 13150739 626241536 150441 1992294400 134512640 137138936 4288627776 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 152891 150441 191 642 0 152247 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 611564 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19071 /proc/meminfo: memFree=1259268/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=611564 CPUtime=1721.83 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 151062 0 0 0 171871 312 0 0 25 0 1 0 13150739 626241536 150441 1992294400 134512640 137138936 4288627776 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 152891 150441 191 642 0 152247 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 611564 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19076 /proc/meminfo: memFree=1258896/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=611564 CPUtime=1781.81 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 151062 0 0 0 177858 323 0 0 25 0 1 0 13150739 626241536 150441 1992294400 134512640 137138936 4288627776 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 152891 150441 191 642 0 152247 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 611564 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19076 /proc/meminfo: memFree=1258896/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=611564 CPUtime=1791.41 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 151062 0 0 0 178816 325 0 0 25 0 1 0 13150739 626241536 150441 1992294400 134512640 137138936 4288627776 18446744073709551615 134575759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 152891 150441 191 642 0 152247 0 Current children cumulated CPU time (s) 1791.41 Current children cumulated vsize (KiB) 611564 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19076 /proc/meminfo: memFree=1258896/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=611564 CPUtime=1794.62 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 151062 0 0 0 179136 326 0 0 25 0 1 0 13150739 626241536 150441 1992294400 134512640 137138936 4288627776 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 152891 150441 191 642 0 152247 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (KiB) 611564 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19076 /proc/meminfo: memFree=1258896/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=611564 CPUtime=1796.21 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 151062 0 0 0 179295 326 0 0 25 0 1 0 13150739 626241536 150441 1992294400 134512640 137138936 4288627776 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 152891 150441 191 642 0 152247 0 Current children cumulated CPU time (s) 1796.21 Current children cumulated vsize (KiB) 611564 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19076 /proc/meminfo: memFree=1258896/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=611564 CPUtime=1797.01 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 151062 0 0 0 179375 326 0 0 25 0 1 0 13150739 626241536 150441 1992294400 134512640 137138936 4288627776 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 152891 150441 191 642 0 152247 0 Current children cumulated CPU time (s) 1797.01 Current children cumulated vsize (KiB) 611564 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19076 /proc/meminfo: memFree=1258896/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=611564 CPUtime=1797.81 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202496 151062 0 0 0 179455 326 0 0 25 0 1 0 13150739 626241536 150441 1992294400 134512640 137138936 4288627776 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19024/statm: 152891 150441 191 642 0 152247 0 Current children cumulated CPU time (s) 1797.81 Current children cumulated vsize (KiB) 611564 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19076 /proc/meminfo: memFree=1258896/2059040 swapFree=4139900/4192956 [pid=19024] ppid=19022 vsize=0 CPUtime=1798.01 /proc/19024/stat : 19024 (bsolo_pb10) R 19022 19024 18708 0 -1 4202500 151063 0 0 0 179473 328 0 0 25 0 1 0 13150739 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/19024/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.01 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.54 CPU time (s): 1798.06 CPU user time (s): 1794.74 CPU system time (s): 3.32349 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 612160 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.74 system time used= 3.32349 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 151063 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 4167 runsolver used 3.16552 second user time and 8.29174 second system time The end
Begin job on node033 at 2010-06-16 22:02:36 IDJOB=2671100 IDBENCH=48266 IDSOLVER=1163 FILE ID=node033/2671100-1276718556 PBS_JOBID= 11174152 Free space on /tmp= 62592 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_5.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671100-1276718556/watcher-2671100-1276718556 -o /tmp/evaluation-result-2671100-1276718556/solver-2671100-1276718556 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671100-1276718556.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 996170804397234947041ed4d87d3aa0 RANDOM SEED=1879702361 node033.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1864436 kB Buffers: 21936 kB Cached: 85968 kB SwapCached: 6868 kB Active: 86356 kB Inactive: 35104 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1864436 kB SwapTotal: 4192956 kB SwapFree: 4139900 kB Dirty: 3976 kB Writeback: 0 kB AnonPages: 10920 kB Mapped: 12940 kB Slab: 51412 kB PageTables: 3944 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182592 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2671100-1276718556.opb Free space on /tmp at the end= 62588 MiB End job on node033 at 2010-06-16 22:32:35