Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | -28 | 1798.01 | 1798.55 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_2.opb |
MD5SUM | 4a1dc018d8373d1119ec5a7a226f506e |
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 | -31 |
Best CPU time to get the best result obtained on this benchmark | 1800.58 |
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 | 44 |
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) | 6220 |
Sum of products size (including duplicates) | 12440 |
Number of different products | 3110 |
Sum of products size | 6220 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1876787-1245201822.opb 0.00/0.00 c File size is 256583 bytes. 0.00/0.03 c Highest Coefficient sum: 200 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.034 s 0.00/0.04 c Var: 3310 Constr: 6620 3310/200/3110 Lit: 31100 Watch. Lit: 21770 0.00/0.04 c Obj. Vars: 200 (6.0423 % of total variables) 0.04/0.07 c Pre-processing Time: 0.075 s 0.04/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.07 c 0 200 3110 9330 3 6220 1036 0 0 0.07 0.04/0.07 c Switching off lower bounding mode. 0.04/0.07 o -21 0.04/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.08 c 0 200 3111 9530 3 6243 2036 1 0 0.07 0.04/0.08 o -22 0.09/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.20 c 36 200 3148 16052 5 6339 2036 38 418 0.09 0.09/0.20 c 137 200 3249 33715 10 6541 2240 139 1161 0.12 0.09/0.20 c 387 200 3501 77606 22 7045 2465 391 1954 0.20 0.09/0.20 o -24 1.39/1.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.48 c 387 200 3502 77806 22 7071 2036 392 1944 0.20 1.39/1.48 c 488 200 3603 95219 26 7273 2240 493 2094 0.23 1.39/1.48 c 739 200 3854 138488 35 7775 2465 744 2323 0.32 1.39/1.48 c 1215 200 4332 220896 50 8731 2712 1222 2494 0.49 1.39/1.48 c 2028 200 5146 360360 70 10380 2984 2036 2525 0.80 1.39/1.48 c 3348 200 6469 588246 90 13026 3283 3359 2339 1.43 1.39/1.48 o -25 9.39/9.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.39/9.43 c 3467 200 6589 608942 92 13291 2036 3479 2339 1.48 9.39/9.43 c 3567 200 6689 626059 93 13491 2240 3579 2323 1.53 9.39/9.43 c 3818 200 6941 669171 96 13995 2465 3831 2340 1.63 9.39/9.43 c 4293 200 7416 750626 101 14945 2712 4306 2296 1.87 9.39/9.43 c 5106 200 8230 889875 108 16573 2984 5120 2164 2.36 9.39/9.43 c 6427 200 4781 294950 61 9587 3283 1671 2055 3.13 9.39/9.43 c 8508 200 6871 652712 94 13767 3612 3761 2044 4.16 9.39/9.43 c 11731 200 5003 332627 66 10031 3974 1893 1720 6.82 9.39/9.43 o -26 9.89/9.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.89/9.96 c 15957 200 9238 1057129 114 18550 2036 6128 1693 9.43 9.89/9.96 c 16058 200 4232 200344 47 8490 2240 1122 1689 9.51 9.89/9.96 c 16308 200 4482 242837 54 8990 2465 1372 1699 9.60 9.89/9.96 c 16783 200 4958 323849 65 9942 2712 1848 1716 9.78 9.89/9.96 o -27 159.14/159.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 159.14/159.24 c 17247 200 5423 403068 74 10899 2036 2313 1732 9.96 159.14/159.24 c 17348 200 5524 420143 76 11101 2240 2414 1734 10.00 159.14/159.24 c 17598 200 5774 462451 80 11601 2465 2664 1737 10.13 159.14/159.24 c 18073 200 6249 542702 86 12551 2712 3139 1748 10.34 159.14/159.24 c 18886 200 7065 680666 96 14208 2984 3955 1749 10.80 159.14/159.24 c 20207 200 8388 904027 107 16854 3283 5278 1766 11.44 159.14/159.24 c 22288 200 5560 423386 76 11147 3612 2450 1769 12.60 159.14/159.24 c 25511 200 8799 970478 110 17625 3974 5689 1775 14.37 159.14/159.24 c 30447 200 8475 914800 107 16977 4372 5365 1679 18.13 159.14/159.24 c 37953 200 10516 1258182 119 21083 4810 7406 1597 23.76 159.14/159.24 c 49315 200 10521 1259566 119 21069 5292 7411 1473 33.48 159.14/159.24 c 66459 200 9924 1158404 116 19875 5822 6814 1288 51.59 159.14/159.24 c 92278 200 11099 1355599 122 22273 6405 7989 1081 85.30 159.14/159.24 c 131110 200 11154 1367351 122 22335 7046 8044 970 135.11 159.14/159.24 o -28 1797.96/1798.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1798.54 c 148063 200 7733 789139 102 15546 2036 4623 930 159.19 1797.96/1798.54 c 148163 200 7833 805959 102 15746 2240 4723 930 159.24 1797.96/1798.54 c 148413 200 8083 847946 104 16246 2465 4973 931 159.34 1797.96/1798.54 c 148889 200 8559 928005 108 17198 2712 5449 932 159.60 1797.96/1798.54 c 149702 200 4727 281030 59 9482 2984 1617 935 160.05 1797.96/1798.54 c 151022 200 6048 503027 83 12124 3283 2938 940 160.64 1797.96/1798.54 c 153103 200 8135 853519 104 16298 3612 5025 948 161.50 1797.96/1798.54 c 156326 200 6276 540951 86 12580 3974 3166 956 163.45 1797.96/1798.54 c 161263 200 5954 485506 81 11936 4372 2844 962 167.56 1797.96/1798.54 c 168769 200 8004 829364 103 16036 4810 4894 968 174.33 1797.96/1798.54 c 180131 200 8052 837382 103 16132 5292 4942 974 184.81 1797.96/1798.54 c 197275 200 7449 734970 98 14926 5822 4339 987 199.87 1797.96/1798.54 c 223094 200 8548 916115 107 17151 6405 5438 975 228.61 1797.96/1798.54 c 261926 200 8622 929225 107 17323 7046 5512 947 276.32 1797.96/1798.54 c 320278 200 12702 1611395 126 25457 7751 9592 906 353.37 1797.96/1798.54 c 407910 200 7539 747911 99 15106 8527 4429 861 473.36 1797.96/1798.54 c 539462 200 11248 1356762 120 22594 9380 8138 819 658.01 1797.96/1798.54 c 736894 200 10005 1158609 115 20064 10319 6895 779 945.67 1797.96/1798.54 c 1033147 200 11752 1459064 124 23532 11351 8642 719 1436.40 1797.96/1798.54 c Resources Exceeded 1797.96/1798.54 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 1797.96/1798.54 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.54 c 55 1225620 52613 1285440 16731 2292380 13621 681 1798.01 1797.96/1798.54 c Objective: -28 1797.96/1798.54 s SATISFIABLE 1797.96/1798.54 c Total time: 1798.01 s
OK -28
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876787-1245201822/watcher-1876787-1245201822 -o /tmp/evaluation-result-1876787-1245201822/solver-1876787-1245201822 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876787-1245201822.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.04 1.06 1.00 3/64 583 /proc/meminfo: memFree=1858176/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=10968 CPUtime=0 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 270 0 0 0 0 0 0 0 20 0 1 0 187780125 11231232 254 1992294400 134512640 137136520 4294956256 18446744073709551615 134534714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 2742 255 175 640 0 2035 0 [startup+0.0488781 s] /proc/loadavg: 1.04 1.06 1.00 3/64 583 /proc/meminfo: memFree=1858176/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=12512 CPUtime=0.04 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 784 0 0 0 4 0 0 0 20 0 1 0 187780125 12812288 705 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 3128 705 189 640 0 2484 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12512 [startup+0.101885 s] /proc/loadavg: 1.04 1.06 1.00 3/64 583 /proc/meminfo: memFree=1858176/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=12624 CPUtime=0.09 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 798 0 0 0 9 0 0 0 20 0 1 0 187780125 12926976 719 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 3156 719 197 640 0 2512 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12624 [startup+0.301907 s] /proc/loadavg: 1.04 1.06 1.00 3/64 583 /proc/meminfo: memFree=1858176/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=13748 CPUtime=0.29 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 1105 0 0 0 29 0 0 0 22 0 1 0 187780125 14077952 1026 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 3437 1026 197 640 0 2793 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13748 [startup+0.701955 s] /proc/loadavg: 1.04 1.06 1.00 3/64 583 /proc/meminfo: memFree=1858176/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=16256 CPUtime=0.69 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 1720 0 0 0 68 1 0 0 25 0 1 0 187780125 16646144 1641 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 4064 1641 197 640 0 3420 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16256 [startup+1.50105 s] /proc/loadavg: 1.04 1.06 1.00 2/65 584 /proc/meminfo: memFree=1850744/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=20100 CPUtime=1.49 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 2678 0 0 0 148 1 0 0 25 0 1 0 187780125 20582400 2599 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 5025 2599 197 640 0 4381 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20100 [startup+3.10124 s] /proc/loadavg: 1.04 1.06 1.00 2/65 584 /proc/meminfo: memFree=1845752/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=26280 CPUtime=3.09 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 4221 0 0 0 306 3 0 0 25 0 1 0 187780125 26910720 4142 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 6570 4142 198 640 0 5926 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26280 [startup+6.30161 s] /proc/loadavg: 1.04 1.06 1.00 2/65 584 /proc/meminfo: memFree=1842040/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=26856 CPUtime=6.29 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 4372 0 0 0 625 4 0 0 25 0 1 0 187780125 27500544 4293 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 6714 4293 198 640 0 6070 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26856 [startup+12.7024 s] /proc/loadavg: 1.03 1.06 1.00 2/65 584 /proc/meminfo: memFree=1840632/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=26740 CPUtime=12.69 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 4579 0 0 0 1264 5 0 0 25 0 1 0 187780125 27381760 4275 1992294400 134512640 137136520 4294956256 18446744073709551615 134544714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 6685 4275 198 640 0 6041 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26740 [startup+25.5019 s] /proc/loadavg: 1.03 1.06 1.00 2/65 584 /proc/meminfo: memFree=1838584/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=30012 CPUtime=25.48 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 5393 0 0 0 2541 7 0 0 25 0 1 0 187780125 30732288 5089 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 7503 5089 198 640 0 6859 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 30012 [startup+51.1019 s] /proc/loadavg: 1.02 1.05 1.00 2/65 584 /proc/meminfo: memFree=1837496/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=31164 CPUtime=51.08 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 5670 0 0 0 5096 12 0 0 25 0 1 0 187780125 31911936 5366 1992294400 134512640 137136520 4294956256 18446744073709551615 134598513 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 7791 5366 198 640 0 7147 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 31164 [startup+102.306 s] /proc/loadavg: 1.00 1.04 1.00 2/65 584 /proc/meminfo: memFree=1835064/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=33568 CPUtime=102.27 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 6272 0 0 0 10208 19 0 0 25 0 1 0 187780125 34373632 5968 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 8392 5968 198 640 0 7748 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 33568 [startup+162.302 s] /proc/loadavg: 1.00 1.03 1.00 2/65 584 /proc/meminfo: memFree=1833528/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=35060 CPUtime=162.24 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 6653 0 0 0 16197 27 0 0 25 0 1 0 187780125 35901440 6349 1992294400 134512640 137136520 4294956256 18446744073709551615 135982486 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 8765 6349 198 640 0 8121 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 35060 [startup+222.302 s] /proc/loadavg: 1.00 1.02 1.00 2/65 584 /proc/meminfo: memFree=1833528/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=34872 CPUtime=222.22 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 6653 0 0 0 22185 37 0 0 25 0 1 0 187780125 35708928 6308 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 8718 6308 198 640 0 8074 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 34872 [startup+282.301 s] /proc/loadavg: 1.00 1.02 1.00 2/65 584 /proc/meminfo: memFree=1833528/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=34900 CPUtime=282.21 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 6661 0 0 0 28175 46 0 0 25 0 1 0 187780125 35737600 6293 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 8725 6293 198 640 0 8081 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 34900 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 584 /proc/meminfo: memFree=1833528/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=34900 CPUtime=342.19 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 6674 0 0 0 34166 53 0 0 25 0 1 0 187780125 35737600 6306 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 8725 6306 198 640 0 8081 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 34900 [startup+402.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 584 /proc/meminfo: memFree=1831992/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=36472 CPUtime=402.17 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 7064 0 0 0 40157 60 0 0 25 0 1 0 187780125 37347328 6696 1992294400 134512640 137136520 4294956256 18446744073709551615 134540856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 9118 6696 198 640 0 8474 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 36472 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 584 /proc/meminfo: memFree=1831928/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=36472 CPUtime=462.15 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 7066 0 0 0 46148 67 0 0 25 0 1 0 187780125 37347328 6698 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 9118 6698 198 640 0 8474 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 36472 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 584 /proc/meminfo: memFree=1830264/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=38240 CPUtime=522.13 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 7504 0 0 0 52138 75 0 0 25 0 1 0 187780125 39157760 7136 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 9560 7136 198 640 0 8916 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 38240 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 584 /proc/meminfo: memFree=1830264/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=38216 CPUtime=582.12 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 7504 0 0 0 58127 85 0 0 25 0 1 0 187780125 39133184 7136 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 9554 7136 198 640 0 8910 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 38216 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 584 /proc/meminfo: memFree=1830200/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=38188 CPUtime=642.1 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 7504 0 0 0 64118 92 0 0 25 0 1 0 187780125 39104512 7136 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 9547 7136 198 640 0 8903 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 38188 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1825976/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=42280 CPUtime=1061.98 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 8513 0 0 0 106055 143 0 0 25 0 1 0 187780125 43294720 8144 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 10570 8144 198 640 0 9926 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 42280 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 584 /proc/meminfo: memFree=1825976/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=42264 CPUtime=1121.95 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 8513 0 0 0 112045 150 0 0 25 0 1 0 187780125 43278336 8144 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 10566 8144 198 640 0 9922 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 42264 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 584 /proc/meminfo: memFree=1825976/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=42248 CPUtime=1181.94 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 8513 0 0 0 118036 158 0 0 25 0 1 0 187780125 43261952 8144 1992294400 134512640 137136520 4294956256 18446744073709551615 136502090 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 10562 8144 198 640 0 9918 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 42248 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 584 /proc/meminfo: memFree=1825976/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=42204 CPUtime=1241.92 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 8513 0 0 0 124027 165 0 0 25 0 1 0 187780125 43216896 8141 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 10551 8141 198 640 0 9907 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 42204 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 584 /proc/meminfo: memFree=1825912/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=42204 CPUtime=1301.91 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 8513 0 0 0 130018 173 0 0 25 0 1 0 187780125 43216896 8141 1992294400 134512640 137136520 4294956256 18446744073709551615 136502143 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 10551 8141 198 640 0 9907 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 42204 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 584 /proc/meminfo: memFree=1825912/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=42284 CPUtime=1361.89 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 8515 0 0 0 136009 180 0 0 25 0 1 0 187780125 43298816 8143 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 10571 8143 198 640 0 9927 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 42284 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 584 /proc/meminfo: memFree=1825848/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=42228 CPUtime=1421.87 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 8515 0 0 0 142002 185 0 0 25 0 1 0 187780125 43241472 8143 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 10557 8143 198 640 0 9913 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 42228 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 584 /proc/meminfo: memFree=1823480/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=44608 CPUtime=1481.86 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 9100 0 0 0 147993 193 0 0 25 0 1 0 187780125 45678592 8728 1992294400 134512640 137136520 4294956256 18446744073709551615 136505130 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 11152 8728 198 640 0 10508 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 44608 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 584 /proc/meminfo: memFree=1823544/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=44588 CPUtime=1541.83 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 9100 0 0 0 153983 200 0 0 25 0 1 0 187780125 45658112 8728 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 11147 8728 198 640 0 10503 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 44588 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 584 /proc/meminfo: memFree=1823544/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=44648 CPUtime=1601.82 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 9106 0 0 0 159974 208 0 0 25 0 1 0 187780125 45719552 8734 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 11162 8734 198 640 0 10518 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 44648 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 584 /proc/meminfo: memFree=1823480/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=44648 CPUtime=1661.8 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 9106 0 0 0 165965 215 0 0 25 0 1 0 187780125 45719552 8734 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 11162 8734 198 640 0 10518 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 44648 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 584 /proc/meminfo: memFree=1823480/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=44604 CPUtime=1721.78 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 9106 0 0 0 171956 222 0 0 25 0 1 0 187780125 45674496 8734 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 11151 8734 198 640 0 10507 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 44604 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 586 /proc/meminfo: memFree=1823224/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=44592 CPUtime=1781.76 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 9106 0 0 0 177947 229 0 0 25 0 1 0 187780125 45662208 8734 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 11148 8734 198 640 0 10504 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 44592 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 586 /proc/meminfo: memFree=1823224/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=44592 CPUtime=1791.36 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 9106 0 0 0 178906 230 0 0 25 0 1 0 187780125 45662208 8734 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 11148 8734 198 640 0 10504 0 Current children cumulated CPU time (s) 1791.36 Current children cumulated vsize (KiB) 44592 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 586 /proc/meminfo: memFree=1823224/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=44592 CPUtime=1794.56 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 9106 0 0 0 179226 230 0 0 25 0 1 0 187780125 45662208 8734 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 11148 8734 198 640 0 10504 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (KiB) 44592 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 586 /proc/meminfo: memFree=1823224/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=44592 CPUtime=1796.16 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 9106 0 0 0 179386 230 0 0 25 0 1 0 187780125 45662208 8734 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 11148 8734 198 640 0 10504 0 Current children cumulated CPU time (s) 1796.16 Current children cumulated vsize (KiB) 44592 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 586 /proc/meminfo: memFree=1823224/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=44592 CPUtime=1796.96 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 9106 0 0 0 179466 230 0 0 25 0 1 0 187780125 45662208 8734 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 11148 8734 198 640 0 10504 0 Current children cumulated CPU time (s) 1796.96 Current children cumulated vsize (KiB) 44592 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 586 /proc/meminfo: memFree=1823224/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=44592 CPUtime=1797.76 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 9106 0 0 0 179546 230 0 0 25 0 1 0 187780125 45662208 8734 1992294400 134512640 137136520 4294956256 18446744073709551615 136500585 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 11148 8734 198 640 0 10504 0 Current children cumulated CPU time (s) 1797.76 Current children cumulated vsize (KiB) 44592 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/65 586 /proc/meminfo: memFree=1823224/2055920 swapFree=4182380/4192956 [pid=583] ppid=581 vsize=44592 CPUtime=1797.96 /proc/583/stat : 583 (bsolo) R 581 583 31677 0 -1 4194304 9106 0 0 0 179566 230 0 0 25 0 1 0 187780125 45662208 8734 1992294400 134512640 137136520 4294956256 18446744073709551615 134543781 0 0 4096 16384 0 0 0 17 1 0 0 /proc/583/statm: 11148 8734 198 640 0 10504 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 44592 Child status: 0 Real time (s): 1798.55 CPU time (s): 1798.01 CPU user time (s): 1795.7 CPU system time (s): 2.31365 CPU usage (%): 99.9703 Max. virtual memory (cumulated for all children) (KiB): 44648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.7 system time used= 2.31365 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9108 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= 1629 runsolver used 1.3258 second user time and 3.85541 second system time The end
Begin job on node75 at 2009-06-17 03:23:42 IDJOB=1876787 IDBENCH=48197 IDSOLVER=699 FILE ID=node75/1876787-1245201822 PBS_JOBID= 9368304 Free space on /tmp= 66428 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_2.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876787-1245201822/watcher-1876787-1245201822 -o /tmp/evaluation-result-1876787-1245201822/solver-1876787-1245201822 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876787-1245201822.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4a1dc018d8373d1119ec5a7a226f506e RANDOM SEED=388216074 node75.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.236 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.236 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1858848 kB Buffers: 40088 kB Cached: 89344 kB SwapCached: 4596 kB Active: 16148 kB Inactive: 121072 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1858848 kB SwapTotal: 4192956 kB SwapFree: 4182380 kB Dirty: 4012 kB Writeback: 0 kB Mapped: 13412 kB Slab: 45704 kB Committed_AS: 109660 kB PageTables: 1420 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876787-1245201822.opb Free space on /tmp at the end= 66424 MiB End job on node75 at 2009-06-17 03:53:41