Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | -27 | 1798.01 | 1798.45 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_4.opb |
MD5SUM | 85583812489e95a26f37a10baffcd23f |
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 | -29 |
Best CPU time to get the best result obtained on this benchmark | 1800.26 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -29 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 200 |
Minimum length of a constraint | 25 |
Maximum length of a constraint | 50 |
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 | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6260 |
Sum of products size (including duplicates) | 12520 |
Number of different products | 3130 |
Sum of products size | 6260 |
0.00/0.01 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.01 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Time Limit set to 1800 0.00/0.01 c Learning Strategy: Cardinality Constraint Learning 0.00/0.01 c Instance file HOME/instance-2670945-1276712017.opb 0.00/0.01 c File size is 258221 bytes. 0.00/0.04 c Highest Coefficient sum: 200 0.00/0.04 c Parsing was ok!! 0.00/0.04 c Total parsing time: 0.043 s 0.00/0.05 c Var: 3330 Constr: 6660 3330/200/3130 Lit: 31300 Watch. Lit: 21910 0.00/0.05 c Obj. Vars: 200 (6.00601 % of total variables) 0.06/0.09 c Pre-processing Time: 0.088 s 0.06/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.06/0.09 c 0 200 3130 9390 3 6260 1043 0 0 0.09 0.06/0.09 c Switching off lower bounding mode. 0.06/0.09 o -19 0.06/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.06/0.09 c 0 200 3131 9590 3 6281 2043 1 0 0.09 0.06/0.09 o -20 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 3 200 3135 10326 3 6309 2043 5 33 0.09 0.09/0.15 c 105 200 3237 28361 8 6513 2248 107 801 0.13 0.09/0.15 o -22 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 163 200 3296 38803 11 6653 2043 166 1051 0.15 0.09/0.15 o -23 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 163 200 3297 39003 11 6678 2043 167 1044 0.16 0.09/0.15 o -24 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 163 200 3298 39203 11 6704 2043 168 1038 0.16 0.09/0.16 o -25 9.90/9.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.90/9.97 c 164 200 3300 39578 11 6733 2043 170 1037 0.16 9.90/9.97 c 264 200 3400 56732 16 6933 2248 270 1326 0.20 9.90/9.97 c 514 200 3650 99642 27 7433 2473 520 1690 0.30 9.90/9.97 c 989 200 4125 180728 43 8383 2721 995 1891 0.52 9.90/9.97 c 1802 200 4938 319777 64 10009 2994 1808 2011 0.90 9.90/9.97 c 3122 200 6260 545796 87 12653 3294 3130 1925 1.62 9.90/9.97 c 5204 200 8347 902872 108 16827 3624 5217 1648 3.16 9.90/9.97 c 8427 200 6480 581562 89 12985 3987 3350 1471 5.73 9.90/9.97 c 13363 200 6129 521153 85 12306 4386 2999 1344 9.94 9.90/9.97 o -26 1506.42/1506.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1506.42/1506.86 c 13415 200 6182 530248 85 12438 2043 3052 1345 9.97 1506.42/1506.86 c 13515 200 6283 547467 87 12640 2248 3153 1348 10.02 1506.42/1506.86 c 13765 200 6533 590072 90 13140 2473 3403 1354 10.16 1506.42/1506.86 c 14243 200 7011 671334 95 14096 2721 3881 1355 10.51 1506.42/1506.86 c 15056 200 7825 809715 103 15724 2994 4695 1366 11.02 1506.42/1506.86 c 16377 200 9148 1034592 113 18370 3294 6018 1390 11.78 1506.42/1506.86 c 18459 200 6279 544038 86 12584 3624 3149 1388 13.29 1506.42/1506.86 c 21683 200 9514 1094806 115 19054 3987 6384 1365 15.88 1506.42/1506.86 c 26619 200 9162 1034306 112 18350 4386 6032 1332 19.97 1506.42/1506.86 c 34126 200 5703 444396 77 11478 4825 2573 1218 28.00 1506.42/1506.86 c 45487 200 5662 437804 77 11350 5308 2532 1133 40.13 1506.42/1506.86 c 62631 200 10950 1332105 121 21950 5839 7820 1010 62.00 1506.42/1506.86 c 88450 200 11968 1502766 125 23985 6423 8838 889 99.47 1506.42/1506.86 c 127282 200 11832 1477514 124 23734 7066 8702 833 152.75 1506.42/1506.86 c 185634 200 8864 982796 110 17754 7773 5734 779 238.01 1506.42/1506.86 c 273267 200 10494 1255902 119 21038 8551 7364 719 379.78 1506.42/1506.86 c 404820 200 13781 1812909 131 27612 9407 10651 646 626.31 1506.42/1506.86 c 602252 200 11776 1455050 123 23633 10348 8646 641 938.78 1506.42/1506.86 o -27 1797.96/1798.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1798.44 c 896289 200 10291 1217833 118 20659 2043 7161 594 1506.49 1797.96/1798.44 c 896391 200 4255 199249 46 8537 2248 1125 594 1506.63 1797.96/1798.44 c 896641 200 4505 241592 53 9037 2473 1375 595 1506.75 1797.96/1798.44 c 897118 200 4982 322245 64 9991 2721 1852 595 1506.98 1797.96/1798.44 c 897931 200 5795 459491 79 11617 2994 2665 595 1507.40 1797.96/1798.44 c 899252 200 7122 683340 95 14296 3294 3992 596 1508.15 1797.96/1798.44 c 901335 200 9211 1035809 112 18474 3624 6081 597 1509.59 1797.96/1798.44 c 904558 200 7325 717457 97 14677 3987 4195 598 1512.22 1797.96/1798.44 c 909496 200 6981 658785 94 13989 4386 3851 599 1516.69 1797.96/1798.44 c 917002 200 9017 1001503 111 18061 4825 5887 601 1524.20 1797.96/1798.44 c 928364 200 8984 994030 110 17995 5308 5854 603 1537.30 1797.96/1798.44 c 945510 200 8303 879010 105 16633 5839 5173 606 1559.02 1797.96/1798.44 c 971329 200 9318 1052834 112 18663 6423 6188 610 1591.66 1797.96/1798.44 c 1010162 200 9193 1022359 111 18459 7066 6063 611 1650.74 1797.96/1798.44 c 1068514 200 13009 1676138 128 26045 7773 9879 614 1739.97 1797.96/1798.44 c Resources Exceeded 1797.96/1798.44 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 -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 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 1797.96/1798.44 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.44 c 48 1107671 58248 1175764 9149 1015703 6019 616 1798.00 1797.96/1798.44 c Objective: -27 1797.96/1798.44 s SATISFIABLE 1797.96/1798.44 c Total time: 1798 s
OK -27
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670945-1276712017/watcher-2670945-1276712017 -o /tmp/evaluation-result-2670945-1276712017/solver-2670945-1276712017 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670945-1276712017.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 17410 /proc/meminfo: memFree=1868988/2059040 swapFree=4140140/4192956 [pid=17410] ppid=17408 vsize=11320 CPUtime=0 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 384 0 0 0 0 0 0 0 20 0 1 0 12494141 11591680 302 1992294400 134512640 137138936 4293983936 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 2830 302 178 642 0 2122 0 [startup+0.0704139 s] /proc/loadavg: 1.00 1.00 1.00 3/106 17410 /proc/meminfo: memFree=1868988/2059040 swapFree=4140140/4192956 [pid=17410] ppid=17408 vsize=12680 CPUtime=0.06 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 851 0 0 0 6 0 0 0 20 0 1 0 12494141 12984320 705 1992294400 134512640 137138936 4293983936 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 3170 705 184 642 0 2526 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 12680 [startup+0.101416 s] /proc/loadavg: 1.00 1.00 1.00 3/106 17410 /proc/meminfo: memFree=1868988/2059040 swapFree=4140140/4192956 [pid=17410] ppid=17408 vsize=12680 CPUtime=0.09 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 872 0 0 0 8 1 0 0 20 0 1 0 12494141 12984320 726 1992294400 134512640 137138936 4293983936 18446744073709551615 136511155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 3170 726 192 642 0 2526 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12680 [startup+0.301435 s] /proc/loadavg: 1.00 1.00 1.00 3/106 17410 /proc/meminfo: memFree=1868988/2059040 swapFree=4140140/4192956 [pid=17410] ppid=17408 vsize=13476 CPUtime=0.29 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 1076 0 0 0 28 1 0 0 20 0 1 0 12494141 13799424 930 1992294400 134512640 137138936 4293983936 18446744073709551615 136501989 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 3369 930 192 642 0 2725 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13476 [startup+0.70047 s] /proc/loadavg: 1.00 1.00 1.00 3/106 17410 /proc/meminfo: memFree=1868988/2059040 swapFree=4140140/4192956 [pid=17410] ppid=17408 vsize=15416 CPUtime=0.69 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 1558 0 0 0 68 1 0 0 20 0 1 0 12494141 15785984 1412 1992294400 134512640 137138936 4293983936 18446744073709551615 136502606 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 3854 1412 192 642 0 3210 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15416 [startup+1.50054 s] /proc/loadavg: 1.08 1.02 1.01 2/107 17411 /proc/meminfo: memFree=1863028/2059040 swapFree=4140140/4192956 [pid=17410] ppid=17408 vsize=18880 CPUtime=1.49 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 2426 0 0 0 148 1 0 0 23 0 1 0 12494141 19333120 2280 1992294400 134512640 137138936 4293983936 18446744073709551615 136511183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 4720 2280 192 642 0 4076 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18880 [startup+3.10068 s] /proc/loadavg: 1.08 1.02 1.01 2/107 17411 /proc/meminfo: memFree=1858688/2059040 swapFree=4140140/4192956 [pid=17410] ppid=17408 vsize=23752 CPUtime=3.08 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 3658 0 0 0 306 2 0 0 25 0 1 0 12494141 24322048 3512 1992294400 134512640 137138936 4293983936 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 5938 3512 192 642 0 5294 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 23752 [startup+6.30097 s] /proc/loadavg: 1.07 1.02 1.00 2/107 17411 /proc/meminfo: memFree=1851744/2059040 swapFree=4140140/4192956 [pid=17410] ppid=17408 vsize=27700 CPUtime=6.29 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 4637 0 0 0 625 4 0 0 25 0 1 0 12494141 28364800 4491 1992294400 134512640 137138936 4293983936 18446744073709551615 134576214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 6925 4491 192 642 0 6281 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27700 [startup+12.7005 s] /proc/loadavg: 1.07 1.02 1.00 2/107 17411 /proc/meminfo: memFree=1850752/2059040 swapFree=4140140/4192956 [pid=17410] ppid=17408 vsize=28568 CPUtime=12.68 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 4859 0 0 0 1263 5 0 0 25 0 1 0 12494141 29253632 4713 1992294400 134512640 137138936 4293983936 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 7142 4713 192 642 0 6498 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 28568 [startup+25.5017 s] /proc/loadavg: 1.05 1.01 1.00 2/107 17411 /proc/meminfo: memFree=1850132/2059040 swapFree=4140140/4192956 [pid=17410] ppid=17408 vsize=29412 CPUtime=25.49 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 5053 0 0 0 2540 9 0 0 25 0 1 0 12494141 30117888 4905 1992294400 134512640 137138936 4293983936 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 7353 4905 192 642 0 6709 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 29412 [startup+51.102 s] /proc/loadavg: 1.03 1.01 1.00 2/107 17413 /proc/meminfo: memFree=1848148/2059040 swapFree=4140140/4192956 [pid=17410] ppid=17408 vsize=31336 CPUtime=51.08 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 5544 0 0 0 5094 14 0 0 25 0 1 0 12494141 32088064 5396 1992294400 134512640 137138936 4293983936 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 7834 5396 192 642 0 7190 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 31336 [startup+102.309 s] /proc/loadavg: 1.01 1.01 1.00 2/107 17413 /proc/meminfo: memFree=1845668/2059040 swapFree=4140140/4192956 [pid=17410] ppid=17408 vsize=33752 CPUtime=102.28 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 6155 0 0 0 10203 25 0 0 25 0 1 0 12494141 34562048 6007 1992294400 134512640 137138936 4293983936 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 8438 6007 192 642 0 7794 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 33752 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17415 /proc/meminfo: memFree=1844056/2059040 swapFree=4140140/4192956 [pid=17410] ppid=17408 vsize=35256 CPUtime=162.25 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 6517 0 0 0 16188 37 0 0 25 0 1 0 12494141 36102144 6369 1992294400 134512640 137138936 4293983936 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 8814 6369 192 642 0 8170 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 35256 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17417 /proc/meminfo: memFree=1844056/2059040 swapFree=4140140/4192956 [pid=17410] ppid=17408 vsize=35244 CPUtime=222.24 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 6523 0 0 0 22173 51 0 0 25 0 1 0 12494141 36089856 6375 1992294400 134512640 137138936 4293983936 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 8811 6375 192 642 0 8167 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 35244 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17419 /proc/meminfo: memFree=1842320/2059040 swapFree=4140140/4192956 [pid=17410] ppid=17408 vsize=36880 CPUtime=282.22 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 6937 0 0 0 28157 65 0 0 25 0 1 0 12494141 37765120 6789 1992294400 134512640 137138936 4293983936 18446744073709551615 134606601 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 9220 6789 192 642 0 8576 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 36880 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17419 /proc/meminfo: memFree=1842196/2059040 swapFree=4140140/4192956 [pid=17410] ppid=17408 vsize=36880 CPUtime=342.21 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 6941 0 0 0 34145 76 0 0 25 0 1 0 12494141 37765120 6793 1992294400 134512640 137138936 4293983936 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 9220 6793 192 642 0 8576 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 36880 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17421 /proc/meminfo: memFree=1840460/2059040 swapFree=4140140/4192956 [pid=17410] ppid=17408 vsize=38656 CPUtime=402.19 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 7382 0 0 0 40130 89 0 0 25 0 1 0 12494141 39583744 7234 1992294400 134512640 137138936 4293983936 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 9664 7234 192 642 0 9020 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 38656 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17423 /proc/meminfo: memFree=1840336/2059040 swapFree=4140140/4192956 [pid=17410] ppid=17408 vsize=38656 CPUtime=462.18 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 7382 0 0 0 46117 101 0 0 25 0 1 0 12494141 39583744 7234 1992294400 134512640 137138936 4293983936 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 9664 7234 192 642 0 9020 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 38656 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17425 /proc/meminfo: memFree=1840212/2059040 swapFree=4140140/4192956 [pid=17410] ppid=17408 vsize=38656 CPUtime=522.17 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 7382 0 0 0 52106 111 0 0 25 0 1 0 12494141 39583744 7234 1992294400 134512640 137138936 4293983936 18446744073709551615 136506321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 9664 7234 192 642 0 9020 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 38656 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17427 /proc/meminfo: memFree=1840212/2059040 swapFree=4140140/4192956 [pid=17410] ppid=17408 vsize=38644 CPUtime=582.15 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 7382 0 0 0 58093 122 0 0 25 0 1 0 12494141 39571456 7234 1992294400 134512640 137138936 4293983936 18446744073709551615 136521011 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 9661 7234 192 642 0 9017 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 38644 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17427 /proc/meminfo: memFree=1838352/2059040 swapFree=4140140/4192956 [pid=17410] ppid=17408 vsize=40576 CPUtime=642.14 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 7864 0 0 0 64082 132 0 0 25 0 1 0 12494141 41549824 7716 1992294400 134512640 137138936 4293983936 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 10144 7716 192 642 0 9500 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 40576 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1835128/2059040 swapFree=4140144/4192956 [pid=17410] ppid=17408 vsize=42732 CPUtime=1122.01 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 8402 0 0 0 111975 226 0 0 25 0 1 0 12494141 43757568 8250 1992294400 134512640 137138936 4293983936 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 10683 8250 192 642 0 10039 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 42732 [startup+1182.3 s] /proc/loadavg: 1.16 1.05 1.02 2/107 17446 /proc/meminfo: memFree=1835128/2059040 swapFree=4140144/4192956 [pid=17410] ppid=17408 vsize=42732 CPUtime=1182 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 8402 0 0 0 117962 238 0 0 25 0 1 0 12494141 43757568 8250 1992294400 134512640 137138936 4293983936 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 10683 8250 192 642 0 10039 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 42732 [startup+1242.3 s] /proc/loadavg: 1.06 1.04 1.01 2/107 17446 /proc/meminfo: memFree=1835128/2059040 swapFree=4140144/4192956 [pid=17410] ppid=17408 vsize=42716 CPUtime=1241.99 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 8402 0 0 0 123952 247 0 0 25 0 1 0 12494141 43741184 8250 1992294400 134512640 137138936 4293983936 18446744073709551615 136521023 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 10679 8250 192 642 0 10035 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 42716 [startup+1302.3 s] /proc/loadavg: 1.02 1.03 1.00 2/107 17448 /proc/meminfo: memFree=1835128/2059040 swapFree=4140144/4192956 [pid=17410] ppid=17408 vsize=42716 CPUtime=1301.98 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 8402 0 0 0 129940 258 0 0 25 0 1 0 12494141 43741184 8250 1992294400 134512640 137138936 4293983936 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 10679 8250 192 642 0 10035 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 42716 [startup+1362.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 17450 /proc/meminfo: memFree=1835128/2059040 swapFree=4140144/4192956 [pid=17410] ppid=17408 vsize=42716 CPUtime=1361.96 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 8402 0 0 0 135928 268 0 0 25 0 1 0 12494141 43741184 8250 1992294400 134512640 137138936 4293983936 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 10679 8250 192 642 0 10035 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 42716 [startup+1422.31 s] /proc/loadavg: 1.07 1.03 1.00 2/107 17452 /proc/meminfo: memFree=1835128/2059040 swapFree=4140144/4192956 [pid=17410] ppid=17408 vsize=42692 CPUtime=1421.95 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 8402 0 0 0 141919 276 0 0 25 0 1 0 12494141 43716608 8247 1992294400 134512640 137138936 4293983936 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 10673 8247 192 642 0 10029 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 42692 [startup+1482.3 s] /proc/loadavg: 1.02 1.03 1.00 2/107 17454 /proc/meminfo: memFree=1835128/2059040 swapFree=4140144/4192956 [pid=17410] ppid=17408 vsize=42744 CPUtime=1481.93 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 8408 0 0 0 147907 286 0 0 25 0 1 0 12494141 43769856 8242 1992294400 134512640 137138936 4293983936 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 10686 8242 192 642 0 10042 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 42744 [startup+1542.3 s] /proc/loadavg: 1.01 1.02 1.00 2/107 17454 /proc/meminfo: memFree=1835128/2059040 swapFree=4140144/4192956 [pid=17410] ppid=17408 vsize=42728 CPUtime=1541.91 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 8408 0 0 0 153894 297 0 0 25 0 1 0 12494141 43753472 8242 1992294400 134512640 137138936 4293983936 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 10682 8242 192 642 0 10038 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 42728 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 17456 /proc/meminfo: memFree=1835128/2059040 swapFree=4140144/4192956 [pid=17410] ppid=17408 vsize=42704 CPUtime=1601.9 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 8408 0 0 0 159880 310 0 0 25 0 1 0 12494141 43728896 8242 1992294400 134512640 137138936 4293983936 18446744073709551615 134576573 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 10676 8242 192 642 0 10032 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 42704 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 17458 /proc/meminfo: memFree=1835128/2059040 swapFree=4140144/4192956 [pid=17410] ppid=17408 vsize=42648 CPUtime=1661.88 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 8408 0 0 0 165868 320 0 0 25 0 1 0 12494141 43671552 8236 1992294400 134512640 137138936 4293983936 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 10662 8236 192 642 0 10018 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 42648 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17460 /proc/meminfo: memFree=1835004/2059040 swapFree=4140144/4192956 [pid=17410] ppid=17408 vsize=42620 CPUtime=1721.87 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 8408 0 0 0 171855 332 0 0 25 0 1 0 12494141 43642880 8229 1992294400 134512640 137138936 4293983936 18446744073709551615 134618552 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 10655 8229 192 642 0 10011 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 42620 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17462 /proc/meminfo: memFree=1834632/2059040 swapFree=4140144/4192956 [pid=17410] ppid=17408 vsize=42592 CPUtime=1781.85 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 8408 0 0 0 177841 344 0 0 25 0 1 0 12494141 43614208 8222 1992294400 134512640 137138936 4293983936 18446744073709551615 134542802 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 10648 8222 192 642 0 10004 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 42592 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17462 /proc/meminfo: memFree=1834632/2059040 swapFree=4140144/4192956 [pid=17410] ppid=17408 vsize=42592 CPUtime=1791.46 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 8408 0 0 0 178800 346 0 0 25 0 1 0 12494141 43614208 8222 1992294400 134512640 137138936 4293983936 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 10648 8222 192 642 0 10004 0 Current children cumulated CPU time (s) 1791.46 Current children cumulated vsize (KiB) 42592 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17462 /proc/meminfo: memFree=1834632/2059040 swapFree=4140144/4192956 [pid=17410] ppid=17408 vsize=42544 CPUtime=1794.66 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 8408 0 0 0 179120 346 0 0 25 0 1 0 12494141 43565056 8210 1992294400 134512640 137138936 4293983936 18446744073709551615 136501693 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 10636 8210 192 642 0 9992 0 Current children cumulated CPU time (s) 1794.66 Current children cumulated vsize (KiB) 42544 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17462 /proc/meminfo: memFree=1834632/2059040 swapFree=4140144/4192956 [pid=17410] ppid=17408 vsize=42544 CPUtime=1796.25 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 8408 0 0 0 179279 346 0 0 25 0 1 0 12494141 43565056 8210 1992294400 134512640 137138936 4293983936 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 10636 8210 192 642 0 9992 0 Current children cumulated CPU time (s) 1796.25 Current children cumulated vsize (KiB) 42544 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17462 /proc/meminfo: memFree=1834632/2059040 swapFree=4140144/4192956 [pid=17410] ppid=17408 vsize=42544 CPUtime=1797.05 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 8408 0 0 0 179359 346 0 0 25 0 1 0 12494141 43565056 8210 1992294400 134512640 137138936 4293983936 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 10636 8210 192 642 0 9992 0 Current children cumulated CPU time (s) 1797.05 Current children cumulated vsize (KiB) 42544 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17462 /proc/meminfo: memFree=1834632/2059040 swapFree=4140144/4192956 [pid=17410] ppid=17408 vsize=42544 CPUtime=1797.45 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 8408 0 0 0 179398 347 0 0 25 0 1 0 12494141 43565056 8210 1992294400 134512640 137138936 4293983936 18446744073709551615 134607623 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 10636 8210 192 642 0 9992 0 Current children cumulated CPU time (s) 1797.45 Current children cumulated vsize (KiB) 42544 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17462 /proc/meminfo: memFree=1834632/2059040 swapFree=4140144/4192956 [pid=17410] ppid=17408 vsize=42544 CPUtime=1797.85 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 8408 0 0 0 179438 347 0 0 25 0 1 0 12494141 43565056 8210 1992294400 134512640 137138936 4293983936 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 10636 8210 192 642 0 9992 0 Current children cumulated CPU time (s) 1797.85 Current children cumulated vsize (KiB) 42544 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17462 /proc/meminfo: memFree=1834632/2059040 swapFree=4140144/4192956 [pid=17410] ppid=17408 vsize=42544 CPUtime=1797.96 /proc/17410/stat : 17410 (bsolo_pb10) R 17408 17410 16461 0 -1 4202496 8408 0 0 0 179449 347 0 0 25 0 1 0 12494141 43565056 8210 1992294400 134512640 137138936 4293983936 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17410/statm: 10636 8210 192 642 0 9992 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 42544 Child status: 0 Real time (s): 1798.45 CPU time (s): 1798.01 CPU user time (s): 1794.53 CPU system time (s): 3.47547 CPU usage (%): 99.9755 Max. virtual memory (cumulated for all children) (KiB): 42744 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.53 system time used= 3.47547 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8409 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= 22468 runsolver used 2.99354 second user time and 8.46671 second system time The end
Begin job on node043 at 2010-06-16 20:13:37 IDJOB=2670945 IDBENCH=48189 IDSOLVER=1162 FILE ID=node043/2670945-1276712017 PBS_JOBID= 11174100 Free space on /tmp= 62296 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_4.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670945-1276712017/watcher-2670945-1276712017 -o /tmp/evaluation-result-2670945-1276712017/solver-2670945-1276712017 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670945-1276712017.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 85583812489e95a26f37a10baffcd23f RANDOM SEED=188146239 node043.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.241 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.241 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.37 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1870136 kB Buffers: 19860 kB Cached: 85968 kB SwapCached: 5560 kB Active: 84780 kB Inactive: 33308 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1870136 kB SwapTotal: 4192956 kB SwapFree: 4140140 kB Dirty: 4012 kB Writeback: 0 kB AnonPages: 10892 kB Mapped: 13020 kB Slab: 48932 kB PageTables: 4048 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182584 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-2670945-1276712017.opb Free space on /tmp at the end= 62292 MiB End job on node043 at 2010-06-16 20:43:36