Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT (TO) | -34 | 1800.09 | 1800.68 |
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 | 1789.62 |
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.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-2671126-1276719846.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.037 s 0.00/0.04 c Var: 2888 Constr: 5578 2688/402/2488 Lit: 21104 Watch. Lit: 18218 0.00/0.04 c Obj. Vars: 200 (6.92521 % of total variables) 0.59/0.63 c Pre-processing Time: 0.631 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.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.77 c 213 2888 5794 83429 14 18656 37724 216 256 0.83 3.69/3.77 c 313 2888 5894 110879 18 18856 41497 316 331 0.94 3.69/3.77 c 563 2888 6144 188310 30 19356 45647 566 477 1.18 3.69/3.77 c 1038 2888 6619 327262 49 20306 50212 1041 621 1.67 3.69/3.77 c 1851 2888 7432 571784 76 21932 55234 1854 750 2.47 3.69/3.77 c 3171 2888 8752 975730 111 24572 60758 3174 847 3.74 3.69/3.77 o -14 3.79/3.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.89 c 3197 2888 8779 980330 111 24640 38457 3201 846 3.78 3.79/3.89 o -15 144.75/144.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 144.75/144.88 c 3296 2888 8879 1000482 112 24855 38457 3301 847 3.89 144.75/144.88 c 3396 2888 8979 1028183 114 25055 42303 3401 849 4.00 144.75/144.88 c 3646 2888 9229 1100477 119 25555 46534 3651 860 4.24 144.75/144.88 c 4121 2888 9704 1241391 127 26505 51188 4126 882 4.67 144.75/144.88 c 4934 2888 10517 1479102 140 28131 56307 4939 906 5.44 144.75/144.88 c 6254 2888 11837 1860817 157 30771 61938 6259 926 6.75 144.75/144.88 c 8335 2888 13918 2478518 178 34933 68132 8340 945 8.82 144.75/144.88 c 11558 2888 17141 3459363 201 41379 74946 11563 969 11.93 144.75/144.88 c 16494 2888 22077 5049730 228 51251 82441 16499 998 16.52 144.75/144.88 c 24000 2888 29583 7391892 249 66263 90686 24005 952 25.19 144.75/144.88 c 35361 2888 40944 10769641 263 88985 99755 35366 954 37.04 144.75/144.88 c 52505 2888 58088 14653023 252 123273 109731 52510 1005 52.24 144.75/144.88 c 78324 2888 83907 21895628 260 174911 120705 78329 882 88.73 144.75/144.88 o -16 296.10/296.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 296.10/296.24 c 106202 2888 111786 30531457 273 230685 38457 106208 733 144.84 296.10/296.24 c 106302 2888 17990 3858705 214 43058 42303 12412 440 241.20 296.10/296.24 c 106552 2888 18240 3933710 215 43558 46534 12662 441 241.49 296.10/296.24 c 107027 2888 18715 4068457 217 44508 51188 13137 441 242.28 296.10/296.24 c 107840 2888 19528 4302069 220 46134 56307 13950 443 243.41 296.10/296.24 c 109160 2888 20848 4688901 224 48774 61938 15270 445 245.08 296.10/296.24 c 111241 2888 22929 5310791 231 52936 68132 17351 449 247.66 296.10/296.24 c 114464 2888 26152 6315530 241 59382 74946 20574 454 252.01 296.10/296.24 c 119400 2888 31088 7976989 256 69254 82441 25510 462 258.00 296.10/296.24 o -30 340.08/340.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 340.08/340.23 c 123476 2888 35165 8754891 248 77438 38457 29587 416 296.15 340.08/340.23 c 123576 2888 35265 8775162 248 77638 42303 29687 416 296.73 340.08/340.23 c 123826 2888 35515 8825397 248 78138 46534 29937 415 298.06 340.08/340.23 c 124301 2888 35990 8921021 247 79088 51188 30412 414 300.09 340.08/340.23 c 125114 2888 36803 9094709 247 80714 56307 31225 413 302.77 340.08/340.23 c 126434 2888 38123 9384640 246 83354 61938 32545 412 306.62 340.08/340.23 c 128515 2888 40204 9845134 244 87516 68132 34626 415 309.01 340.08/340.23 c 131738 2888 43427 10637904 244 93962 74946 37849 422 312.14 340.08/340.23 c 136674 2888 48363 12033677 248 103834 82441 42785 431 316.97 340.08/340.23 c 144180 2888 55869 14144282 253 118846 90686 50291 438 328.98 340.08/340.23 o -31 389.76/389.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 389.76/389.94 c 151837 2888 63527 16248203 255 134193 38457 57949 446 340.13 389.76/389.94 c 151937 2888 17431 3279912 188 41955 42303 11853 421 360.60 389.76/389.94 c 152187 2888 17681 3343311 189 42455 46534 12103 421 360.86 389.76/389.94 c 152662 2888 18156 3463401 190 43405 51188 12578 422 361.31 389.76/389.94 c 153475 2888 18969 3671273 193 45031 56307 13391 423 362.13 389.76/389.94 c 154795 2888 20289 4030687 198 47671 61938 14711 425 363.44 389.76/389.94 c 156876 2888 22370 4711049 210 51833 68132 16792 429 365.27 389.76/389.94 c 160099 2888 25593 5620092 219 58279 74946 20015 434 368.54 389.76/389.94 c 165035 2888 30529 7070347 231 68151 82441 24951 441 373.85 389.76/389.94 c 172541 2888 38035 9373948 246 83163 90686 32457 449 383.63 389.76/389.94 o -34 1800.01/1800.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.01/1800.61 c 177066 2888 42561 10243029 240 92249 38457 36983 454 389.81 1800.01/1800.61 c 177166 2888 42661 10263504 240 92449 42303 37083 454 389.93 1800.01/1800.61 c 177416 2888 42911 10314095 240 92949 46534 37333 454 390.16 1800.01/1800.61 c 177891 2888 43386 10410148 239 93899 51188 37808 455 390.57 1800.01/1800.61 c 178704 2888 44199 10576134 239 95525 56307 38621 456 391.38 1800.01/1800.61 c 180024 2888 45519 10887969 239 98165 61938 39941 458 392.86 1800.01/1800.61 c 182105 2888 47600 11410396 239 102327 68132 42022 461 395.01 1800.01/1800.61 c 185328 2888 50823 12274432 241 108773 74946 45245 465 398.35 1800.01/1800.61 c 190264 2888 55759 13710274 245 118645 82441 50181 471 403.50 1800.01/1800.61 c 197770 2888 63265 15938339 251 133657 90686 57687 480 411.95 1800.01/1800.61 c 209131 2888 74626 19154100 256 156379 99755 69048 489 427.32 1800.01/1800.61 c 226275 2888 91770 24200331 263 190667 109731 86192 503 449.76 1800.01/1800.61 c 252094 2888 17946 2510359 139 42988 120705 12368 413 609.09 1800.01/1800.61 c 290926 2888 56778 13761359 242 120652 132776 51200 447 650.16 1800.01/1800.61 c 349278 2888 115130 29294639 254 237356 146054 109552 470 742.20 1800.01/1800.61 c 436910 2888 67030 18691556 278 141156 160660 61452 390 1119.16 1800.01/1800.61 c Caught signal: 15 1800.01/1800.61 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.01/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.01/1800.61 c 68 538830 699 573253 63862 17478681 58284 299 1800.03 1800.01/1800.61 c Objective: -34 1800.01/1800.61 s SATISFIABLE 1800.01/1800.61 c Total time: 1800.03 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-2671126-1276719846/watcher-2671126-1276719846 -o /tmp/evaluation-result-2671126-1276719846/solver-2671126-1276719846 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671126-1276719846.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.02 1.06 1.01 3/106 12237 /proc/meminfo: memFree=1832216/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=11144 CPUtime=0 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 345 0 0 0 0 0 0 0 18 0 1 0 47586015 11411456 263 1992294400 134512640 137138936 4288955456 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 2786 264 174 642 0 2088 0 [startup+0.082447 s] /proc/loadavg: 1.02 1.06 1.01 3/106 12237 /proc/meminfo: memFree=1832216/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=12156 CPUtime=0.07 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 741 0 0 0 7 0 0 0 20 0 1 0 47586015 12447744 605 1992294400 134512640 137138936 4288955456 18446744073709551615 134543413 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 3039 605 184 642 0 2395 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 12156 [startup+0.101449 s] /proc/loadavg: 1.02 1.06 1.01 3/106 12237 /proc/meminfo: memFree=1832216/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=12156 CPUtime=0.09 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 741 0 0 0 9 0 0 0 20 0 1 0 47586015 12447744 605 1992294400 134512640 137138936 4288955456 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 3039 605 184 642 0 2395 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12156 [startup+0.301483 s] /proc/loadavg: 1.02 1.06 1.01 3/106 12237 /proc/meminfo: memFree=1832216/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=12156 CPUtime=0.29 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 741 0 0 0 29 0 0 0 20 0 1 0 47586015 12447744 605 1992294400 134512640 137138936 4288955456 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 3039 605 184 642 0 2395 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12156 [startup+0.701552 s] /proc/loadavg: 1.02 1.06 1.01 3/106 12237 /proc/meminfo: memFree=1832216/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=12532 CPUtime=0.69 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 889 0 0 0 68 1 0 0 20 0 1 0 47586015 12832768 692 1992294400 134512640 137138936 4288955456 18446744073709551615 134575833 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 3133 692 191 642 0 2489 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12532 [startup+1.50069 s] /proc/loadavg: 1.02 1.06 1.01 2/107 12238 /proc/meminfo: memFree=1829108/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=15636 CPUtime=1.49 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 1659 0 0 0 147 2 0 0 23 0 1 0 47586015 16011264 1462 1992294400 134512640 137138936 4288955456 18446744073709551615 134575844 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 3909 1462 191 642 0 3265 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15636 [startup+3.10096 s] /proc/loadavg: 1.02 1.06 1.01 2/107 12238 /proc/meminfo: memFree=1824644/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=22044 CPUtime=3.09 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 3284 0 0 0 306 3 0 0 25 0 1 0 47586015 22573056 3087 1992294400 134512640 137138936 4288955456 18446744073709551615 134575602 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 5511 3087 191 642 0 4867 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22044 [startup+6.30051 s] /proc/loadavg: 1.02 1.06 1.01 2/107 12238 /proc/meminfo: memFree=1811128/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=34712 CPUtime=6.28 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 6429 0 0 0 624 4 0 0 25 0 1 0 47586015 35545088 6232 1992294400 134512640 137138936 4288955456 18446744073709551615 134575773 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 8678 6232 191 642 0 8034 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 34712 [startup+12.7006 s] /proc/loadavg: 1.02 1.06 1.01 2/107 12238 /proc/meminfo: memFree=1784840/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=60500 CPUtime=12.68 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 12876 0 0 0 1260 8 0 0 25 0 1 0 47586015 61952000 12679 1992294400 134512640 137138936 4288955456 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 15125 12679 191 642 0 14481 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 60500 [startup+25.5018 s] /proc/loadavg: 1.01 1.05 1.01 2/107 12238 /proc/meminfo: memFree=1733504/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=109704 CPUtime=25.48 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 25189 0 0 0 2532 16 0 0 25 0 1 0 47586015 112336896 24992 1992294400 134512640 137138936 4288955456 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 27426 24992 191 642 0 26782 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 109704 [startup+51.1012 s] /proc/loadavg: 1.01 1.05 1.00 2/107 12238 /proc/meminfo: memFree=1642736/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=200944 CPUtime=51.08 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 48006 0 0 0 5073 35 0 0 25 0 1 0 47586015 205766656 47809 1992294400 134512640 137138936 4288955456 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 50236 47809 191 642 0 49592 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 200944 [startup+102.309 s] /proc/loadavg: 1.00 1.04 1.00 2/107 12240 /proc/meminfo: memFree=1518116/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=323912 CPUtime=102.27 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 78728 0 0 0 10162 65 0 0 25 0 1 0 47586015 331685888 78531 1992294400 134512640 137138936 4288955456 18446744073709551615 134545307 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 80978 78531 191 642 0 80334 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 323912 [startup+162.301 s] /proc/loadavg: 1.00 1.03 1.00 2/107 12242 /proc/meminfo: memFree=1428836/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=412300 CPUtime=162.24 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 100932 0 0 0 16136 88 0 0 25 0 1 0 47586015 422195200 100631 1992294400 134512640 137138936 4288955456 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 103075 100631 191 642 0 102431 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 412300 [startup+222.302 s] /proc/loadavg: 1.00 1.02 1.00 2/107 12244 /proc/meminfo: memFree=1428836/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=412300 CPUtime=222.22 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 100932 0 0 0 22134 88 0 0 25 0 1 0 47586015 422195200 100631 1992294400 134512640 137138936 4288955456 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 103075 100631 191 642 0 102431 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 412300 [startup+282.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 12244 /proc/meminfo: memFree=1428836/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=412300 CPUtime=282.2 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 100932 0 0 0 28127 93 0 0 25 0 1 0 47586015 422195200 100631 1992294400 134512640 137138936 4288955456 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 103075 100631 191 642 0 102431 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 412300 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 12246 /proc/meminfo: memFree=1428836/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=412300 CPUtime=342.18 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 100932 0 0 0 34117 101 0 0 25 0 1 0 47586015 422195200 100631 1992294400 134512640 137138936 4288955456 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 103075 100631 191 642 0 102431 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 412300 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12248 /proc/meminfo: memFree=1428836/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=412300 CPUtime=402.16 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 100932 0 0 0 40105 111 0 0 25 0 1 0 47586015 422195200 100631 1992294400 134512640 137138936 4288955456 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 103075 100631 191 642 0 102431 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 412300 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12250 /proc/meminfo: memFree=1428836/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=412300 CPUtime=462.14 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 100932 0 0 0 46093 121 0 0 25 0 1 0 47586015 422195200 100631 1992294400 134512640 137138936 4288955456 18446744073709551615 134542843 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 103075 100631 191 642 0 102431 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 412300 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12252 /proc/meminfo: memFree=1428836/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=412320 CPUtime=522.12 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 100937 0 0 0 52088 124 0 0 25 0 1 0 47586015 422215680 100636 1992294400 134512640 137138936 4288955456 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 103080 100636 191 642 0 102436 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 412320 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12252 /proc/meminfo: memFree=1428836/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=412320 CPUtime=582.1 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 100937 0 0 0 58086 124 0 0 25 0 1 0 47586015 422215680 100636 1992294400 134512640 137138936 4288955456 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 103080 100636 191 642 0 102436 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 412320 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12254 /proc/meminfo: memFree=1428836/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=412320 CPUtime=642.08 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 100937 0 0 0 64076 132 0 0 25 0 1 0 47586015 422215680 100636 1992294400 134512640 137138936 4288955456 18446744073709551615 134575658 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 103080 100636 191 642 0 102436 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 412320 [startup+702.301 s] ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12260 /proc/meminfo: memFree=1324428/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=518416 CPUtime=822.02 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 127452 0 0 0 82019 183 0 0 25 0 1 0 47586015 530857984 127151 1992294400 134512640 137138936 4288955456 18446744073709551615 134542327 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 129604 127151 191 642 0 128960 0 Current children cumulated CPU time (s) 822.02 Current children cumulated vsize (KiB) 518416 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12260 /proc/meminfo: memFree=1292312/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=547868 CPUtime=882 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 134980 0 0 0 88006 194 0 0 25 0 1 0 47586015 561016832 134533 1992294400 134512640 137138936 4288955456 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 136967 134533 191 642 0 136323 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 547868 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12262 /proc/meminfo: memFree=1292312/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=547868 CPUtime=941.98 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 134980 0 0 0 94004 194 0 0 25 0 1 0 47586015 561016832 134533 1992294400 134512640 137138936 4288955456 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 136967 134533 191 642 0 136323 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 547868 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12264 /proc/meminfo: memFree=1292312/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=547868 CPUtime=1001.96 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 134980 0 0 0 100002 194 0 0 25 0 1 0 47586015 561016832 134533 1992294400 134512640 137138936 4288955456 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 136967 134533 191 642 0 136323 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 547868 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12266 /proc/meminfo: memFree=1292312/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=547868 CPUtime=1061.94 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 134980 0 0 0 105996 198 0 0 25 0 1 0 47586015 561016832 134533 1992294400 134512640 137138936 4288955456 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 136967 134533 191 642 0 136323 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 547868 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12268 /proc/meminfo: memFree=1292312/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=547868 CPUtime=1121.92 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 134980 0 0 0 111981 211 0 0 25 0 1 0 47586015 561016832 134533 1992294400 134512640 137138936 4288955456 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 136967 134533 191 642 0 136323 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 547868 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12268 /proc/meminfo: memFree=1292312/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=547868 CPUtime=1181.9 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 134980 0 0 0 117971 219 0 0 25 0 1 0 47586015 561016832 134533 1992294400 134512640 137138936 4288955456 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 136967 134533 191 642 0 136323 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 547868 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12270 /proc/meminfo: memFree=1292312/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=547868 CPUtime=1241.89 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 134980 0 0 0 123964 225 0 0 25 0 1 0 47586015 561016832 134533 1992294400 134512640 137138936 4288955456 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 136967 134533 191 642 0 136323 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 547868 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12272 /proc/meminfo: memFree=1292312/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=547868 CPUtime=1301.87 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 134980 0 0 0 129957 230 0 0 25 0 1 0 47586015 561016832 134533 1992294400 134512640 137138936 4288955456 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 136967 134533 191 642 0 136323 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 547868 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12274 /proc/meminfo: memFree=1292312/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=547868 CPUtime=1361.85 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 134980 0 0 0 135951 234 0 0 25 0 1 0 47586015 561016832 134533 1992294400 134512640 137138936 4288955456 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 136967 134533 191 642 0 136323 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 547868 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12276 /proc/meminfo: memFree=1292312/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=547868 CPUtime=1421.84 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 134980 0 0 0 141944 240 0 0 25 0 1 0 47586015 561016832 134533 1992294400 134512640 137138936 4288955456 18446744073709551615 134543258 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 136967 134533 191 642 0 136323 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 547868 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12276 /proc/meminfo: memFree=1279044/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=562404 CPUtime=1481.81 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 138602 0 0 0 147930 251 0 0 25 0 1 0 47586015 575901696 138155 1992294400 134512640 137138936 4288955456 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 140601 138155 191 642 0 139957 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 562404 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12278 /proc/meminfo: memFree=1220392/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=619332 CPUtime=1541.78 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 152988 0 0 0 153911 267 0 0 25 0 1 0 47586015 634195968 152381 1992294400 134512640 137138936 4288955456 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 154833 152381 191 642 0 154189 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 619332 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12280 /proc/meminfo: memFree=1220392/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=619332 CPUtime=1601.76 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 152988 0 0 0 159909 267 0 0 25 0 1 0 47586015 634195968 152381 1992294400 134512640 137138936 4288955456 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 154833 152381 191 642 0 154189 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 619332 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12282 /proc/meminfo: memFree=1220392/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=619332 CPUtime=1661.74 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 152988 0 0 0 165907 267 0 0 25 0 1 0 47586015 634195968 152381 1992294400 134512640 137138936 4288955456 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 154833 152381 191 642 0 154189 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 619332 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12284 /proc/meminfo: memFree=1220392/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=619332 CPUtime=1721.72 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 152988 0 0 0 171905 267 0 0 25 0 1 0 47586015 634195968 152381 1992294400 134512640 137138936 4288955456 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 154833 152381 191 642 0 154189 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 619332 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12284 /proc/meminfo: memFree=1220392/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=619332 CPUtime=1781.71 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 152988 0 0 0 177904 267 0 0 25 0 1 0 47586015 634195968 152381 1992294400 134512640 137138936 4288955456 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 154833 152381 191 642 0 154189 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 619332 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12286 /proc/meminfo: memFree=1220392/2059040 swapFree=4136116/4192956 [pid=12237] ppid=12235 vsize=619332 CPUtime=1800.01 /proc/12237/stat : 12237 (bsolo_pb10) R 12235 12237 11914 0 -1 4202496 152988 0 0 0 179734 267 0 0 25 0 1 0 47586015 634195968 152381 1992294400 134512640 137138936 4288955456 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12237/statm: 154833 152381 191 642 0 154189 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 619332 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.68 CPU time (s): 1800.09 CPU user time (s): 1797.35 CPU system time (s): 2.74058 CPU usage (%): 99.9674 Max. virtual memory (cumulated for all children) (KiB): 619972 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.35 system time used= 2.74058 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 152989 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= 4515 runsolver used 3.05253 second user time and 8.42872 second system time The end
Begin job on node014 at 2010-06-16 22:24:06 IDJOB=2671126 IDBENCH=48279 IDSOLVER=1163 FILE ID=node014/2671126-1276719846 PBS_JOBID= 11174186 Free space on /tmp= 62572 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_3.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671126-1276719846/watcher-2671126-1276719846 -o /tmp/evaluation-result-2671126-1276719846/solver-2671126-1276719846 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671126-1276719846.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 27440fbcb5a9ea2c9ae6b100e77dc1d3 RANDOM SEED=329149406 node014.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.258 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.51 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.258 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1833116 kB Buffers: 25708 kB Cached: 113652 kB SwapCached: 10544 kB Active: 88436 kB Inactive: 65064 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1833116 kB SwapTotal: 4192956 kB SwapFree: 4136116 kB Dirty: 4000 kB Writeback: 0 kB AnonPages: 12496 kB Mapped: 9348 kB Slab: 50696 kB PageTables: 4032 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182272 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-2671126-1276719846.opb Free space on /tmp at the end= 62568 MiB End job on node014 at 2010-06-16 22:54:09