Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | -27 | 1798.01 | 1798.87 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_5.opb |
MD5SUM | cdccc05ac387e7ee9cb8ab81f53ca6f8 |
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 | -30 |
Best CPU time to get the best result obtained on this benchmark | 1800.76 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -31 |
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 | 49 |
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) | 6226 |
Sum of products size (including duplicates) | 12452 |
Number of different products | 3113 |
Sum of products size | 6226 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1878225-1245202494.opb 0.00/0.00 c File size is 256882 bytes. 0.01/0.03 c Highest Coefficient sum: 200 0.01/0.03 c Parsing was ok!! 0.01/0.03 c Total parsing time: 0.038 s 0.01/0.04 c Var: 3313 Constr: 6626 3313/200/3113 Lit: 31130 Watch. Lit: 21791 0.01/0.04 c Obj. Vars: 200 (6.03682 % of total variables) 0.01/0.08 c Pre-processing Time: 0.081 s 0.01/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.08 c 0 200 3113 9339 3 6226 1037 0 0 0.08 0.01/0.08 c Switching off lower bounding mode. 0.01/0.08 o -21 0.01/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.08 c 0 200 3114 9539 3 6249 2037 1 0 0.08 0.01/0.08 o -22 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 17 200 3132 12740 4 6307 2037 19 202 0.08 0.09/0.10 c 118 200 3233 30367 9 6509 2241 120 1168 0.10 0.09/0.10 o -23 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 118 200 3234 30567 9 6534 2037 121 1156 0.10 0.09/0.10 o -24 9.90/9.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.90/9.97 c 119 200 3236 30942 9 6562 2037 123 1166 0.10 9.90/9.97 c 219 200 3336 48174 14 6762 2241 223 1809 0.12 9.90/9.97 c 470 200 3587 91484 25 7264 2466 474 2814 0.17 9.90/9.97 c 945 200 4062 173178 42 8214 2713 949 3513 0.27 9.90/9.97 c 1758 200 4875 313030 64 9840 2985 1762 3716 0.47 9.90/9.97 c 3079 200 6196 540483 87 12482 3284 3083 3543 0.87 9.90/9.97 c 5160 200 8277 898843 108 16644 3613 5164 3069 1.68 9.90/9.97 c 8384 200 6403 576035 89 12830 3975 3290 2679 3.13 9.90/9.97 c 13320 200 6068 517837 85 12160 4373 2955 2253 5.91 9.90/9.97 c 20826 200 8107 869026 107 16238 4811 4994 2098 9.92 9.90/9.97 o -25 29.88/29.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.88/29.95 c 21036 200 8318 905531 108 16685 2037 5205 2109 9.97 29.88/29.95 c 21136 200 4233 202177 47 8491 2241 1120 2097 10.08 29.88/29.95 c 21386 200 4483 245039 54 8991 2466 1370 2110 10.13 29.88/29.95 c 21862 200 4959 326616 65 9943 2713 1846 2136 10.23 29.88/29.95 c 22676 200 5773 465745 80 11571 2985 2660 2160 10.50 29.88/29.95 c 23996 200 7093 691624 97 14211 3284 3980 2199 10.91 29.88/29.95 c 26077 200 9174 1048062 114 18373 3613 6061 2223 11.73 29.88/29.95 c 29301 200 7302 726264 99 14629 3975 4189 2164 13.54 29.88/29.95 c 34239 200 6967 667726 95 13959 4373 3854 2097 16.33 29.88/29.95 c 41746 200 8999 1016167 112 18023 4811 5886 1929 21.63 29.88/29.95 o -26 209.54/209.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 209.54/209.64 c 50408 200 6265 546799 87 12581 2037 3152 1683 29.95 209.54/209.64 c 50508 200 6365 563850 88 12781 2241 3252 1684 29.98 209.54/209.64 c 50758 200 6615 606485 91 13281 2466 3502 1689 30.04 209.54/209.64 c 51233 200 7090 687189 96 14231 2713 3977 1697 30.18 209.54/209.64 c 52046 200 7903 825656 104 15857 2985 4790 1705 30.51 209.54/209.64 c 53366 200 4607 263345 57 9240 3284 1494 1716 31.09 209.54/209.64 c 55447 200 6688 617536 92 13402 3613 3575 1746 31.74 209.54/209.64 c 58670 200 4921 316020 64 9868 3975 1808 1760 33.33 209.54/209.64 c 63606 200 9857 1154874 117 19740 4373 6744 1745 36.44 209.54/209.64 c 71112 200 6428 571898 88 12882 4811 3315 1711 41.55 209.54/209.64 c 82474 200 6402 567375 88 12830 5293 3289 1613 51.12 209.54/209.64 c 99618 200 5761 458571 79 11548 5823 2648 1468 67.83 209.54/209.64 c 125438 200 6811 635939 93 13648 6406 3698 1367 91.70 209.54/209.64 c 164270 200 6711 618747 92 13448 7047 3598 1219 134.68 209.54/209.64 c 222622 200 10638 1286034 120 21302 7752 7525 1062 209.51 209.54/209.64 o -27 1797.94/1798.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.94/1798.85 c 222784 200 10801 1313889 121 21655 2037 7688 1062 209.59 1797.94/1798.85 c 222884 200 4233 199121 47 8493 2241 1120 1062 209.69 1797.94/1798.85 c 223134 200 4483 241411 53 8993 2466 1370 1063 209.75 1797.94/1798.85 c 223609 200 4958 321893 64 9943 2713 1845 1065 209.84 1797.94/1798.85 c 224423 200 5772 459249 79 11571 2985 2659 1068 210.07 1797.94/1798.85 c 225743 200 7092 682420 96 14211 3284 3979 1072 210.42 1797.94/1798.85 c 227824 200 9173 1034047 112 18373 3613 6060 1078 211.31 1797.94/1798.85 c 231048 200 7307 716385 98 14641 3975 4194 1086 212.72 1797.94/1798.85 c 235985 200 6971 660151 94 13969 4373 3858 1094 215.66 1797.94/1798.85 c 243491 200 8999 1001741 111 18025 4811 5886 1106 220.04 1797.94/1798.85 c 254852 200 8982 999343 111 17991 5293 5869 1117 228.14 1797.94/1798.85 c 271996 200 8333 890863 106 16693 5823 5220 1120 242.77 1797.94/1798.85 c 297815 200 9360 1064663 113 18747 6406 6247 1108 268.60 1797.94/1798.85 c 336647 200 9268 1047402 113 18563 7047 6155 1035 325.17 1797.94/1798.85 c 394999 200 13207 1711305 129 26441 7752 10094 1032 382.63 1797.94/1798.85 c 482631 200 7812 802730 102 15651 8528 4699 983 490.54 1797.94/1798.85 c 614184 200 11059 1347980 121 22145 9381 7946 890 689.79 1797.94/1798.85 c 811616 200 9179 1034236 112 18385 10320 6066 825 983.17 1797.94/1798.85 c 1107868 200 10106 1189405 117 20239 11353 6993 768 1442.22 1797.94/1798.85 c Resources Exceeded 1797.94/1798.85 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 1797.94/1798.85 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.94/1798.85 c 58 1345680 70772 1427947 15038 2023326 11925 748 1798.00 1797.94/1798.85 c Objective: -27 1797.94/1798.85 s SATISFIABLE 1797.94/1798.85 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-1878225-1245202494/watcher-1878225-1245202494 -o /tmp/evaluation-result-1878225-1245202494/solver-1878225-1245202494 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878225-1245202494.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/64 7175 /proc/meminfo: memFree=1684920/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=10964 CPUtime=0 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 269 0 0 0 0 0 0 0 18 0 1 0 187849115 11227136 253 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 2741 253 175 640 0 2034 0 [startup+0.015359 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7175 /proc/meminfo: memFree=1684920/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=11368 CPUtime=0.01 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 356 0 0 0 1 0 0 0 18 0 1 0 187849115 11640832 340 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 2842 341 190 640 0 2135 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11368 [startup+0.101367 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7175 /proc/meminfo: memFree=1684920/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=12624 CPUtime=0.09 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 811 0 0 0 9 0 0 0 18 0 1 0 187849115 12926976 732 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 3156 732 197 640 0 2512 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12624 [startup+0.301388 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7175 /proc/meminfo: memFree=1684920/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=14684 CPUtime=0.3 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 1329 0 0 0 29 1 0 0 19 0 1 0 187849115 15036416 1250 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 3671 1250 197 640 0 3027 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 14684 [startup+0.701428 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7175 /proc/meminfo: memFree=1684920/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=18060 CPUtime=0.69 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 2171 0 0 0 68 1 0 0 23 0 1 0 187849115 18493440 2092 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 4515 2092 197 640 0 3871 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18060 [startup+1.50151 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7176 /proc/meminfo: memFree=1675056/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=23060 CPUtime=1.49 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 3413 0 0 0 147 2 0 0 25 0 1 0 187849115 23613440 3334 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 5765 3334 197 640 0 5121 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23060 [startup+3.10168 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7176 /proc/meminfo: memFree=1668848/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=27764 CPUtime=3.1 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 4588 0 0 0 307 3 0 0 25 0 1 0 187849115 28430336 4509 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 6941 4509 197 640 0 6297 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 27764 [startup+6.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7176 /proc/meminfo: memFree=1666616/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=28684 CPUtime=6.3 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 4816 0 0 0 626 4 0 0 25 0 1 0 187849115 29372416 4737 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 7171 4737 197 640 0 6527 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 28684 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7176 /proc/meminfo: memFree=1665592/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=29284 CPUtime=12.69 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 5025 0 0 0 1264 5 0 0 25 0 1 0 187849115 29986816 4910 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 7321 4910 197 640 0 6677 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29284 [startup+25.502 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7176 /proc/meminfo: memFree=1664632/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=30352 CPUtime=25.49 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 5403 0 0 0 2541 8 0 0 25 0 1 0 187849115 31080448 5173 1992294400 134512640 137136520 4294956256 18446744073709551615 134543986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 7588 5173 197 640 0 6944 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 30352 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7176 /proc/meminfo: memFree=1664824/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=30200 CPUtime=51.08 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 5582 0 0 0 5095 13 0 0 25 0 1 0 187849115 30924800 5138 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 7550 5138 197 640 0 6906 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 30200 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7176 /proc/meminfo: memFree=1661240/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=33784 CPUtime=102.27 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 6473 0 0 0 10206 21 0 0 25 0 1 0 187849115 34594816 6029 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 8446 6029 197 640 0 7802 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 33784 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7176 /proc/meminfo: memFree=1659768/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=35208 CPUtime=162.25 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 6826 0 0 0 16195 30 0 0 25 0 1 0 187849115 36052992 6382 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 8802 6382 197 640 0 8158 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 35208 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7176 /proc/meminfo: memFree=1659768/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=35132 CPUtime=222.24 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 6826 0 0 0 22186 38 0 0 25 0 1 0 187849115 35975168 6372 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 8783 6372 197 640 0 8139 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 35132 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7176 /proc/meminfo: memFree=1659768/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=35020 CPUtime=282.22 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 6826 0 0 0 28176 46 0 0 25 0 1 0 187849115 35860480 6344 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 8755 6344 197 640 0 8111 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 35020 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7176 /proc/meminfo: memFree=1659768/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=35000 CPUtime=342.21 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 6826 0 0 0 34167 54 0 0 25 0 1 0 187849115 35840000 6339 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 8750 6339 197 640 0 8106 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 35000 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7176 /proc/meminfo: memFree=1658168/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=36664 CPUtime=402.19 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 7228 0 0 0 40155 64 0 0 25 0 1 0 187849115 37543936 6741 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 9166 6741 197 640 0 8522 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 36664 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7176 /proc/meminfo: memFree=1658168/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=36640 CPUtime=462.17 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 7228 0 0 0 46144 73 0 0 25 0 1 0 187849115 37519360 6741 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 9160 6741 197 640 0 8516 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 36640 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7176 /proc/meminfo: memFree=1656376/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=38352 CPUtime=522.16 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 7664 0 0 0 52136 80 0 0 25 0 1 0 187849115 39272448 7177 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 9588 7177 197 640 0 8944 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 38352 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7176 /proc/meminfo: memFree=1656440/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=38444 CPUtime=582.15 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 7668 0 0 0 58126 89 0 0 25 0 1 0 187849115 39366656 7181 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 9611 7181 197 640 0 8967 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 38444 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7176 /proc/meminfo: memFree=1656440/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=38444 CPUtime=642.13 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 7668 0 0 0 64118 95 0 0 25 0 1 0 187849115 39366656 7181 1992294400 134512640 137136520 4294956256 18446744073709551615 134543837 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 9611 7181 197 640 0 8967 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 38444 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1652216/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=42440 CPUtime=1122 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 8672 0 0 0 112045 155 0 0 25 0 1 0 187849115 43458560 8185 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 10610 8185 197 640 0 9966 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 42440 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7178 /proc/meminfo: memFree=1652280/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=42436 CPUtime=1181.99 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 8672 0 0 0 118036 163 0 0 25 0 1 0 187849115 43454464 8185 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 10609 8185 197 640 0 9965 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 42436 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7178 /proc/meminfo: memFree=1652344/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=42432 CPUtime=1241.98 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 8679 0 0 0 124027 171 0 0 25 0 1 0 187849115 43450368 8192 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 10608 8192 197 640 0 9964 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 42432 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7178 /proc/meminfo: memFree=1652280/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=42432 CPUtime=1301.97 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 8679 0 0 0 130020 177 0 0 25 0 1 0 187849115 43450368 8192 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 10608 8192 197 640 0 9964 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 42432 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7178 /proc/meminfo: memFree=1652344/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=42432 CPUtime=1361.94 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 8679 0 0 0 136011 183 0 0 25 0 1 0 187849115 43450368 8192 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 10608 8192 197 640 0 9964 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 42432 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7178 /proc/meminfo: memFree=1652280/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=42432 CPUtime=1421.94 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 8679 0 0 0 142003 191 0 0 25 0 1 0 187849115 43450368 8192 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 10608 8192 197 640 0 9964 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 42432 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7178 /proc/meminfo: memFree=1649976/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=44724 CPUtime=1481.91 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 9256 0 0 0 147991 200 0 0 25 0 1 0 187849115 45797376 8769 1992294400 134512640 137136520 4294956256 18446744073709551615 134544384 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 11181 8769 197 640 0 10537 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 44724 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7178 /proc/meminfo: memFree=1649912/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=44788 CPUtime=1541.9 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 9260 0 0 0 153983 207 0 0 25 0 1 0 187849115 45862912 8773 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 11197 8773 197 640 0 10553 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 44788 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7184 /proc/meminfo: memFree=1649848/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=44780 CPUtime=1601.88 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 9260 0 0 0 159974 214 0 0 25 0 1 0 187849115 45854720 8773 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 11195 8773 197 640 0 10551 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 44780 [startup+1662.3 s] /proc/loadavg: 1.16 1.04 1.01 2/65 7672 /proc/meminfo: memFree=1575096/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=44780 CPUtime=1661.47 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 9268 0 0 0 165919 228 0 0 25 0 1 0 187849115 45854720 8781 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 11195 8781 197 640 0 10551 0 Current children cumulated CPU time (s) 1661.47 Current children cumulated vsize (KiB) 44780 [startup+1722.3 s] /proc/loadavg: 1.06 1.03 1.01 2/65 7672 /proc/meminfo: memFree=1575224/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=44780 CPUtime=1721.46 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 9268 0 0 0 171909 237 0 0 25 0 1 0 187849115 45854720 8781 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 11195 8781 197 640 0 10551 0 Current children cumulated CPU time (s) 1721.46 Current children cumulated vsize (KiB) 44780 [startup+1782.3 s] /proc/loadavg: 1.02 1.02 1.00 2/65 7672 /proc/meminfo: memFree=1575288/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=44780 CPUtime=1781.44 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 9268 0 0 0 177900 244 0 0 25 0 1 0 187849115 45854720 8781 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 11195 8781 197 640 0 10551 0 Current children cumulated CPU time (s) 1781.44 Current children cumulated vsize (KiB) 44780 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.02 1.02 1.00 2/65 7672 /proc/meminfo: memFree=1575288/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=44780 CPUtime=1791.04 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 9268 0 0 0 178859 245 0 0 25 0 1 0 187849115 45854720 8781 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 11195 8781 197 640 0 10551 0 Current children cumulated CPU time (s) 1791.04 Current children cumulated vsize (KiB) 44780 [startup+1795.1 s] /proc/loadavg: 1.02 1.02 1.00 2/65 7672 /proc/meminfo: memFree=1575288/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=44780 CPUtime=1794.24 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 9268 0 0 0 179179 245 0 0 25 0 1 0 187849115 45854720 8781 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 11195 8781 197 640 0 10551 0 Current children cumulated CPU time (s) 1794.24 Current children cumulated vsize (KiB) 44780 [startup+1796.7 s] /proc/loadavg: 1.01 1.02 1.00 2/65 7672 /proc/meminfo: memFree=1575288/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=44780 CPUtime=1795.84 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 9268 0 0 0 179338 246 0 0 25 0 1 0 187849115 45854720 8781 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 11195 8781 197 640 0 10551 0 Current children cumulated CPU time (s) 1795.84 Current children cumulated vsize (KiB) 44780 [startup+1797.5 s] /proc/loadavg: 1.01 1.02 1.00 2/65 7672 /proc/meminfo: memFree=1575288/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=44780 CPUtime=1796.64 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 9268 0 0 0 179418 246 0 0 25 0 1 0 187849115 45854720 8781 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 11195 8781 197 640 0 10551 0 Current children cumulated CPU time (s) 1796.64 Current children cumulated vsize (KiB) 44780 [startup+1798.3 s] /proc/loadavg: 1.01 1.02 1.00 2/65 7672 /proc/meminfo: memFree=1575288/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=44780 CPUtime=1797.44 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 9268 0 0 0 179498 246 0 0 25 0 1 0 187849115 45854720 8781 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 11195 8781 197 640 0 10551 0 Current children cumulated CPU time (s) 1797.44 Current children cumulated vsize (KiB) 44780 [startup+1798.7 s] /proc/loadavg: 1.01 1.02 1.00 2/65 7672 /proc/meminfo: memFree=1575288/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=44780 CPUtime=1797.83 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 9268 0 0 0 179537 246 0 0 25 0 1 0 187849115 45854720 8781 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 11195 8781 197 640 0 10551 0 Current children cumulated CPU time (s) 1797.83 Current children cumulated vsize (KiB) 44780 [startup+1798.8 s] /proc/loadavg: 1.01 1.02 1.00 2/65 7672 /proc/meminfo: memFree=1575288/2055920 swapFree=4192812/4192956 [pid=7175] ppid=7173 vsize=44780 CPUtime=1797.94 /proc/7175/stat : 7175 (bsolo) R 7173 7175 6958 0 -1 4194304 9268 0 0 0 179548 246 0 0 25 0 1 0 187849115 45854720 8781 1992294400 134512640 137136520 4294956256 18446744073709551615 136509052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7175/statm: 11195 8781 197 640 0 10551 0 Current children cumulated CPU time (s) 1797.94 Current children cumulated vsize (KiB) 44780 Child status: 0 Real time (s): 1798.87 CPU time (s): 1798.01 CPU user time (s): 1795.54 CPU system time (s): 2.47262 CPU usage (%): 99.9524 Max. virtual memory (cumulated for all children) (KiB): 44808 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.54 system time used= 2.47262 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9270 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= 2397 runsolver used 1.61375 second user time and 4.93825 second system time The end
Begin job on node27 at 2009-06-17 03:34:54 IDJOB=1878225 IDBENCH=48205 IDSOLVER=700 FILE ID=node27/1878225-1245202494 PBS_JOBID= 9368347 Free space on /tmp= 66288 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_5.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878225-1245202494/watcher-1878225-1245202494 -o /tmp/evaluation-result-1878225-1245202494/solver-1878225-1245202494 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878225-1245202494.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cdccc05ac387e7ee9cb8ab81f53ca6f8 RANDOM SEED=664173829 node27.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 : 2800.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5521.40 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 : 2800.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1685592 kB Buffers: 62860 kB Cached: 232736 kB SwapCached: 0 kB Active: 87680 kB Inactive: 222360 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1685592 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4012 kB Writeback: 0 kB Mapped: 24220 kB Slab: 46156 kB Committed_AS: 185448 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264948 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878225-1245202494.opb Free space on /tmp at the end= 66284 MiB End job on node27 at 2009-06-17 04:04:53