Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT (TO) | -34 | 1800.14 | 1800.6 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_3.opb |
MD5SUM | 27440fbcb5a9ea2c9ae6b100e77dc1d3 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -51 |
Best CPU time to get the best result obtained on this benchmark | 1796.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -60 |
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) | 4976 |
Sum of products size (including duplicates) | 9952 |
Number of different products | 2488 |
Sum of products size | 4976 |
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-1878299-1245212098.opb 0.00/0.00 c File size is 219296 bytes. 0.00/0.03 c Highest Coefficient sum: 400 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.031 s 0.00/0.03 c Var: 2888 Constr: 5578 2688/402/2488 Lit: 21104 Watch. Lit: 18218 0.00/0.03 c Obj. Vars: 200 (6.92521 % of total variables) 0.59/0.63 c Pre-processing Time: 0.632 s 0.59/0.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.63 c 0 2888 5578 21104 3 18218 37457 0 0 0.63 0.59/0.63 c Switching off lower bounding mode. 0.59/0.63 o -1 0.59/0.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.64 c 0 2888 5579 21304 3 18221 37590 1 0 0.64 0.59/0.64 o -2 0.79/0.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.83 c 2 2888 5582 21918 3 18229 37657 4 3 0.64 0.79/0.83 c 102 2888 5682 47827 8 18429 41423 104 134 0.76 0.79/0.83 o -3 3.69/3.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.78 c 213 2888 5794 83429 14 18656 37724 216 256 0.83 3.69/3.78 c 313 2888 5894 110879 18 18856 41497 316 331 0.94 3.69/3.78 c 563 2888 6144 188310 30 19356 45647 566 478 1.18 3.69/3.78 c 1038 2888 6619 327262 49 20306 50212 1041 622 1.67 3.69/3.78 c 1851 2888 7432 571784 76 21932 55234 1854 750 2.47 3.69/3.78 c 3171 2888 8752 975730 111 24572 60758 3174 846 3.75 3.69/3.78 o -14 3.78/3.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.78/3.89 c 3197 2888 8779 980330 111 24640 38457 3201 845 3.78 3.78/3.89 o -15 145.16/145.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 145.16/145.21 c 3296 2888 8879 1000482 112 24855 38457 3301 846 3.89 145.16/145.21 c 3396 2888 8979 1028183 114 25055 42303 3401 848 4.00 145.16/145.21 c 3646 2888 9229 1100477 119 25555 46534 3651 858 4.25 145.16/145.21 c 4121 2888 9704 1241391 127 26505 51188 4126 881 4.68 145.16/145.21 c 4934 2888 10517 1479102 140 28131 56307 4939 905 5.45 145.16/145.21 c 6254 2888 11837 1860817 157 30771 61938 6259 925 6.76 145.16/145.21 c 8335 2888 13918 2478518 178 34933 68132 8340 942 8.84 145.16/145.21 c 11558 2888 17141 3459363 201 41379 74946 11563 967 11.95 145.16/145.21 c 16494 2888 22077 5049730 228 51251 82441 16499 997 16.53 145.16/145.21 c 24000 2888 29583 7391892 249 66263 90686 24005 951 25.23 145.16/145.21 c 35361 2888 40944 10769641 263 88985 99755 35366 953 37.10 145.16/145.21 c 52505 2888 58088 14653023 252 123273 109731 52510 1003 52.35 145.16/145.21 c 78324 2888 83907 21895628 260 174911 120705 78329 881 88.89 145.16/145.21 o -16 297.31/297.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 297.31/297.50 c 106202 2888 111786 30531457 273 230685 38457 106208 731 145.18 297.31/297.50 c 106302 2888 17990 3858705 214 43058 42303 12412 438 242.29 297.31/297.50 c 106552 2888 18240 3933710 215 43558 46534 12662 439 242.59 297.31/297.50 c 107027 2888 18715 4068457 217 44508 51188 13137 439 243.38 297.31/297.50 c 107840 2888 19528 4302069 220 46134 56307 13950 441 244.51 297.31/297.50 c 109160 2888 20848 4688901 224 48774 61938 15270 443 246.19 297.31/297.50 c 111241 2888 22929 5310791 231 52936 68132 17351 447 248.78 297.31/297.50 c 114464 2888 26152 6315530 241 59382 74946 20574 452 253.11 297.31/297.50 c 119400 2888 31088 7976989 256 69254 82441 25510 460 259.09 297.31/297.50 o -30 341.50/341.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 341.50/341.62 c 123476 2888 35165 8754891 248 77438 38457 29587 415 297.42 341.50/341.62 c 123576 2888 35265 8775162 248 77638 42303 29687 414 298.00 341.50/341.62 c 123826 2888 35515 8825397 248 78138 46534 29937 413 299.33 341.50/341.62 c 124301 2888 35990 8921021 247 79088 51188 30412 412 301.38 341.50/341.62 c 125114 2888 36803 9094709 247 80714 56307 31225 411 304.07 341.50/341.62 c 126434 2888 38123 9384640 246 83354 61938 32545 410 307.95 341.50/341.62 c 128515 2888 40204 9845134 244 87516 68132 34626 414 310.36 341.50/341.62 c 131738 2888 43427 10637904 244 93962 74946 37849 420 313.48 341.50/341.62 c 136674 2888 48363 12033677 248 103834 82441 42785 429 318.31 341.50/341.62 c 144180 2888 55869 14144282 253 118846 90686 50291 436 330.40 341.50/341.62 o -31 391.40/391.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 391.40/391.54 c 151837 2888 63527 16248203 255 134193 38457 57949 444 341.54 391.40/391.54 c 151937 2888 17431 3279912 188 41955 42303 11853 419 362.12 391.40/391.54 c 152187 2888 17681 3343311 189 42455 46534 12103 419 362.38 391.40/391.54 c 152662 2888 18156 3463401 190 43405 51188 12578 420 362.84 391.40/391.54 c 153475 2888 18969 3671273 193 45031 56307 13391 422 363.67 391.40/391.54 c 154795 2888 20289 4030687 198 47671 61938 14711 424 364.98 391.40/391.54 c 156876 2888 22370 4711049 210 51833 68132 16792 427 366.82 391.40/391.54 c 160099 2888 25593 5620092 219 58279 74946 20015 432 370.09 391.40/391.54 c 165035 2888 30529 7070347 231 68151 82441 24951 439 375.39 391.40/391.54 c 172541 2888 38035 9373948 246 83163 90686 32457 447 385.19 391.40/391.54 o -34 1800.03/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.03/1800.50 c 177066 2888 42561 10243029 240 92249 38457 36983 452 391.44 1800.03/1800.50 c 177166 2888 42661 10263504 240 92449 42303 37083 452 391.56 1800.03/1800.50 c 177416 2888 42911 10314095 240 92949 46534 37333 452 391.79 1800.03/1800.50 c 177891 2888 43386 10410148 239 93899 51188 37808 453 392.19 1800.03/1800.50 c 178704 2888 44199 10576134 239 95525 56307 38621 454 393.00 1800.03/1800.50 c 180024 2888 45519 10887969 239 98165 61938 39941 456 394.48 1800.03/1800.50 c 182105 2888 47600 11410396 239 102327 68132 42022 459 396.63 1800.03/1800.50 c 185328 2888 50823 12274432 241 108773 74946 45245 463 399.97 1800.03/1800.50 c 190264 2888 55759 13710274 245 118645 82441 50181 469 405.18 1800.03/1800.50 c 197770 2888 63265 15938339 251 133657 90686 57687 478 413.66 1800.03/1800.50 c 209131 2888 74626 19154100 256 156379 99755 69048 487 429.12 1800.03/1800.50 c 226275 2888 91770 24200331 263 190667 109731 86192 500 451.66 1800.03/1800.50 c 252094 2888 17946 2510359 139 42988 120705 12368 412 610.68 1800.03/1800.50 c 290926 2888 56778 13761359 242 120652 132776 51200 446 651.95 1800.03/1800.50 c 349278 2888 115130 29294639 254 237356 146054 109552 469 744.22 1800.03/1800.50 c 436910 2888 67030 18691556 278 141156 160660 61452 388 1123.95 1800.03/1800.50 c Caught signal: 15 1800.03/1800.50 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 -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 1800.03/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.03/1800.50 c 68 538830 699 573253 65782 18115248 60204 299 1800.04 1800.03/1800.50 c Objective: -34 1800.03/1800.50 s SATISFIABLE 1800.03/1800.50 c Total time: 1800.04 s
OK -34
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878299-1245212098/watcher-1878299-1245212098 -o /tmp/evaluation-result-1878299-1245212098/solver-1878299-1245212098 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878299-1245212098.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.98 3/64 5427 /proc/meminfo: memFree=1856872/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=10924 CPUtime=0 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 256 0 0 0 0 0 0 0 18 0 1 0 188809889 11186176 240 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 2731 240 173 640 0 2033 0 [startup+0.0658289 s] /proc/loadavg: 0.99 0.97 0.98 3/64 5427 /proc/meminfo: memFree=1856872/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=12104 CPUtime=0.06 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 678 0 0 0 6 0 0 0 18 0 1 0 188809889 12394496 608 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 3026 608 189 640 0 2382 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 12104 [startup+0.101832 s] /proc/loadavg: 0.99 0.97 0.98 3/64 5427 /proc/meminfo: memFree=1856872/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=12104 CPUtime=0.09 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 679 0 0 0 9 0 0 0 18 0 1 0 188809889 12394496 609 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 3026 609 189 640 0 2382 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12104 [startup+0.301853 s] /proc/loadavg: 0.99 0.97 0.98 3/64 5427 /proc/meminfo: memFree=1856872/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=12104 CPUtime=0.29 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 679 0 0 0 29 0 0 0 19 0 1 0 188809889 12394496 609 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 3026 609 189 640 0 2382 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12104 [startup+0.701896 s] /proc/loadavg: 0.99 0.97 0.98 3/64 5427 /proc/meminfo: memFree=1856872/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=12480 CPUtime=0.69 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 828 0 0 0 69 0 0 0 22 0 1 0 188809889 12779520 697 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 3120 697 197 640 0 2476 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12480 [startup+1.50198 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5428 /proc/meminfo: memFree=1853536/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=15584 CPUtime=1.49 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 1600 0 0 0 148 1 0 0 25 0 1 0 188809889 15958016 1469 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 3896 1469 197 640 0 3252 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15584 [startup+3.10115 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5428 /proc/meminfo: memFree=1849248/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=21992 CPUtime=3.09 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 3223 0 0 0 307 2 0 0 25 0 1 0 188809889 22519808 3092 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 5498 3092 197 640 0 4854 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21992 [startup+6.3015 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5428 /proc/meminfo: memFree=1835808/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=34556 CPUtime=6.29 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 6363 0 0 0 625 4 0 0 25 0 1 0 188809889 35385344 6232 1992294400 134512640 137136520 4294956256 18446744073709551615 134574350 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 8639 6232 197 640 0 7995 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34556 [startup+12.7012 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5428 /proc/meminfo: memFree=1809584/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=60344 CPUtime=12.68 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 12806 0 0 0 1260 8 0 0 25 0 1 0 188809889 61792256 12675 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 15086 12675 197 640 0 14442 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 60344 [startup+25.5016 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5428 /proc/meminfo: memFree=1758320/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=109440 CPUtime=25.49 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 25076 0 0 0 2532 17 0 0 25 0 1 0 188809889 112066560 24945 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 27360 24945 197 640 0 26716 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 109440 [startup+51.1013 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5428 /proc/meminfo: memFree=1667888/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=200672 CPUtime=51.08 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 47869 0 0 0 5076 32 0 0 25 0 1 0 188809889 205488128 47738 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 50168 47738 197 640 0 49524 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 200672 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5428 /proc/meminfo: memFree=1543344/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=323440 CPUtime=102.27 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 78581 0 0 0 10168 59 0 0 25 0 1 0 188809889 331202560 78450 1992294400 134512640 137136520 4294956256 18446744073709551615 134543898 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 80860 78450 197 640 0 80216 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 323440 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5428 /proc/meminfo: memFree=1453936/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=412248 CPUtime=162.25 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 100871 0 0 0 16147 78 0 0 25 0 1 0 188809889 422141952 100636 1992294400 134512640 137136520 4294956256 18446744073709551615 134540852 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 103062 100636 197 640 0 102418 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 412248 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5428 /proc/meminfo: memFree=1453936/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=412248 CPUtime=222.23 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 100871 0 0 0 22145 78 0 0 25 0 1 0 188809889 422141952 100636 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 103062 100636 197 640 0 102418 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 412248 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5428 /proc/meminfo: memFree=1453936/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=412248 CPUtime=282.22 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 100871 0 0 0 28140 82 0 0 25 0 1 0 188809889 422141952 100636 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 103062 100636 197 640 0 102418 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 412248 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5428 /proc/meminfo: memFree=1453936/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=412248 CPUtime=342.2 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 100871 0 0 0 34132 88 0 0 25 0 1 0 188809889 422141952 100636 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 103062 100636 197 640 0 102418 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 412248 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5428 /proc/meminfo: memFree=1453936/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=412248 CPUtime=402.19 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 100871 0 0 0 40127 92 0 0 25 0 1 0 188809889 422141952 100636 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 103062 100636 197 640 0 102418 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 412248 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5428 /proc/meminfo: memFree=1453936/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=412248 CPUtime=462.17 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 100871 0 0 0 46117 100 0 0 25 0 1 0 188809889 422141952 100636 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 103062 100636 197 640 0 102418 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 412248 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5428 /proc/meminfo: memFree=1453936/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=412268 CPUtime=522.16 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 100876 0 0 0 52113 103 0 0 25 0 1 0 188809889 422162432 100641 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 103067 100641 197 640 0 102423 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 412268 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5428 /proc/meminfo: memFree=1453936/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=412268 CPUtime=582.14 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 100876 0 0 0 58111 103 0 0 25 0 1 0 188809889 422162432 100641 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 103067 100641 197 640 0 102423 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 412268 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5428 /proc/meminfo: memFree=1453872/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=412268 CPUtime=642.13 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 100876 0 0 0 64106 107 0 0 25 0 1 0 188809889 422162432 100641 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 103067 100641 197 640 0 102423 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 412268 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5428 /proc/meminfo: memFree=1317680/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=547816 CPUtime=882.06 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 134919 0 0 0 88048 158 0 0 25 0 1 0 188809889 560963584 134538 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 136954 134538 197 640 0 136310 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 547816 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5428 /proc/meminfo: memFree=1317680/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=547816 CPUtime=942.05 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 134919 0 0 0 94046 159 0 0 25 0 1 0 188809889 560963584 134538 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 136954 134538 197 640 0 136310 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 547816 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5428 /proc/meminfo: memFree=1317680/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=547816 CPUtime=1002.03 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 134919 0 0 0 100044 159 0 0 25 0 1 0 188809889 560963584 134538 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 136954 134538 197 640 0 136310 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 547816 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5428 /proc/meminfo: memFree=1317744/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=547816 CPUtime=1062.01 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 134919 0 0 0 106040 161 0 0 25 0 1 0 188809889 560963584 134538 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 136954 134538 197 640 0 136310 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 547816 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5428 /proc/meminfo: memFree=1317744/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=547816 CPUtime=1122 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 134919 0 0 0 112030 170 0 0 25 0 1 0 188809889 560963584 134538 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 136954 134538 197 640 0 136310 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 547816 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5428 /proc/meminfo: memFree=1317744/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=547816 CPUtime=1181.98 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 134919 0 0 0 118024 174 0 0 25 0 1 0 188809889 560963584 134538 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 136954 134538 197 640 0 136310 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 547816 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5428 /proc/meminfo: memFree=1317680/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=547816 CPUtime=1241.96 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 134919 0 0 0 124018 178 0 0 25 0 1 0 188809889 560963584 134538 1992294400 134512640 137136520 4294956256 18446744073709551615 134574421 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 136954 134538 197 640 0 136310 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 547816 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5428 /proc/meminfo: memFree=1317680/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=547816 CPUtime=1301.96 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 134919 0 0 0 130014 182 0 0 25 0 1 0 188809889 560963584 134538 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 136954 134538 197 640 0 136310 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 547816 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5428 /proc/meminfo: memFree=1317616/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=547816 CPUtime=1361.94 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 134919 0 0 0 136010 184 0 0 25 0 1 0 188809889 560963584 134538 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 136954 134538 197 640 0 136310 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 547816 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5428 /proc/meminfo: memFree=1317616/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=547816 CPUtime=1421.92 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 134919 0 0 0 142005 187 0 0 25 0 1 0 188809889 560963584 134538 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 136954 134538 197 640 0 136310 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 547816 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5428 /proc/meminfo: memFree=1310960/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=555472 CPUtime=1481.91 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 136824 0 0 0 147997 194 0 0 25 0 1 0 188809889 568803328 136443 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 138868 136443 197 640 0 138224 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 555472 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5428 /proc/meminfo: memFree=1245872/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=619280 CPUtime=1541.89 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 152927 0 0 0 153978 211 0 0 25 0 1 0 188809889 634142720 152386 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 154820 152386 197 640 0 154176 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 619280 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5428 /proc/meminfo: memFree=1245872/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=619280 CPUtime=1601.88 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 152927 0 0 0 159976 212 0 0 25 0 1 0 188809889 634142720 152386 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 154820 152386 197 640 0 154176 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 619280 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5428 /proc/meminfo: memFree=1245872/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=619280 CPUtime=1661.86 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 152927 0 0 0 165974 212 0 0 25 0 1 0 188809889 634142720 152386 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 154820 152386 197 640 0 154176 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 619280 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5428 /proc/meminfo: memFree=1245872/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=619280 CPUtime=1721.85 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 152927 0 0 0 171972 213 0 0 25 0 1 0 188809889 634142720 152386 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 154820 152386 197 640 0 154176 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 619280 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5428 /proc/meminfo: memFree=1245808/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=619280 CPUtime=1781.83 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 152927 0 0 0 177970 213 0 0 25 0 1 0 188809889 634142720 152386 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 154820 152386 197 640 0 154176 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 619280 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5428 /proc/meminfo: memFree=1245808/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=619280 CPUtime=1800.03 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 152927 0 0 0 179790 213 0 0 25 0 1 0 188809889 634142720 152386 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 154820 152386 197 640 0 154176 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 619280 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5428 /proc/meminfo: memFree=1245808/2055920 swapFree=4181540/4192956 [pid=5427] ppid=5425 vsize=619280 CPUtime=1800.03 /proc/5427/stat : 5427 (bsolo) R 5425 5427 5205 0 -1 4194304 152927 0 0 0 179790 213 0 0 25 0 1 0 188809889 634142720 152386 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5427/statm: 154820 152386 197 640 0 154176 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 619280 Child status: 15 Real time (s): 1800.6 CPU time (s): 1800.14 CPU user time (s): 1797.9 CPU system time (s): 2.23266 CPU usage (%): 99.974 Max. virtual memory (cumulated for all children) (KiB): 619920 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.9 system time used= 2.23266 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 152929 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= 2781 runsolver used 1.06084 second user time and 3.98639 second system time The end
Begin job on node19 at 2009-06-17 06:14:58 IDJOB=1878299 IDBENCH=48279 IDSOLVER=700 FILE ID=node19/1878299-1245212098 PBS_JOBID= 9368382 Free space on /tmp= 66160 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_3.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878299-1245212098/watcher-1878299-1245212098 -o /tmp/evaluation-result-1878299-1245212098/solver-1878299-1245212098 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878299-1245212098.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 27440fbcb5a9ea2c9ae6b100e77dc1d3 RANDOM SEED=1548343325 node19.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.234 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.234 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: 1858320 kB Buffers: 26700 kB Cached: 105500 kB SwapCached: 6248 kB Active: 16944 kB Inactive: 124112 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1858320 kB SwapTotal: 4192956 kB SwapFree: 4181540 kB Dirty: 4012 kB Writeback: 0 kB Mapped: 13636 kB Slab: 42540 kB Committed_AS: 206540 kB PageTables: 1456 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-1878299-1245212098.opb Free space on /tmp at the end= 66156 MiB End job on node19 at 2009-06-17 06:45:00