Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | -27 | 1798.01 | 1798.97 |
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 | -28 |
Best CPU time to get the best result obtained on this benchmark | 1800.04 |
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.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2670978-1276713136.opb 0.00/0.00 c File size is 256882 bytes. 0.00/0.04 c Highest Coefficient sum: 200 0.00/0.04 c Parsing was ok!! 0.00/0.04 c Total parsing time: 0.04 s 0.00/0.05 c Var: 3313 Constr: 6626 3313/200/3113 Lit: 31130 Watch. Lit: 21791 0.00/0.05 c Obj. Vars: 200 (6.03682 % of total variables) 0.00/0.08 c Pre-processing Time: 0.08 s 0.00/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.08 c 0 200 3113 9339 3 6226 1037 0 0 0.08 0.00/0.08 c Switching off lower bounding mode. 0.00/0.08 o -21 0.00/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.08 c 0 200 3114 9539 3 6249 2037 1 0 0.08 0.00/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 204 0.08 0.09/0.10 c 118 200 3233 30367 9 6509 2241 120 1204 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 1191 0.10 0.09/0.10 o -24 9.48/9.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.48/9.56 c 119 200 3236 30942 9 6562 2037 123 1190 0.10 9.48/9.56 c 219 200 3336 48174 14 6762 2241 223 1871 0.12 9.48/9.56 c 470 200 3587 91484 25 7264 2466 474 2937 0.16 9.48/9.56 c 945 200 4062 173178 42 8214 2713 949 3705 0.26 9.48/9.56 c 1758 200 4875 313030 64 9840 2985 1762 3924 0.45 9.48/9.56 c 3079 200 6196 540483 87 12482 3284 3083 3745 0.82 9.48/9.56 c 5160 200 8277 898843 108 16644 3613 5164 3227 1.60 9.48/9.56 c 8384 200 6403 576035 89 12830 3975 3290 2823 2.97 9.48/9.56 c 13320 200 6068 517837 85 12160 4373 2955 2360 5.64 9.48/9.56 c 20826 200 8107 869026 107 16238 4811 4994 2190 9.51 9.48/9.56 o -25 28.68/28.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.68/28.71 c 21036 200 8318 905531 108 16685 2037 5205 2201 9.55 28.68/28.71 c 21136 200 4233 202177 47 8491 2241 1120 2189 9.65 28.68/28.71 c 21386 200 4483 245039 54 8991 2466 1370 2203 9.71 28.68/28.71 c 21862 200 4959 326616 65 9943 2713 1846 2230 9.80 28.68/28.71 c 22676 200 5773 465745 80 11571 2985 2660 2255 10.05 28.68/28.71 c 23996 200 7093 691624 97 14211 3284 3980 2296 10.45 28.68/28.71 c 26077 200 9174 1048062 114 18373 3613 6061 2321 11.23 28.68/28.71 c 29301 200 7302 726264 99 14629 3975 4189 2258 12.97 28.68/28.71 c 34239 200 6967 667726 95 13959 4373 3854 2191 15.63 28.68/28.71 c 41746 200 8999 1016167 112 18023 4811 5886 2018 20.68 28.68/28.71 o -26 201.87/202.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 201.87/202.05 c 50408 200 6265 546799 87 12581 2037 3152 1756 28.69 201.87/202.05 c 50508 200 6365 563850 88 12781 2241 3252 1758 28.72 201.87/202.05 c 50758 200 6615 606485 91 13281 2466 3502 1763 28.78 201.87/202.05 c 51233 200 7090 687189 96 14231 2713 3977 1771 28.92 201.87/202.05 c 52046 200 7903 825656 104 15857 2985 4790 1780 29.23 201.87/202.05 c 53366 200 4607 263345 57 9240 3284 1494 1792 29.78 201.87/202.05 c 55447 200 6688 617536 92 13402 3613 3575 1823 30.40 201.87/202.05 c 58670 200 4921 316020 64 9868 3975 1808 1837 31.93 201.87/202.05 c 63606 200 9857 1154874 117 19740 4373 6744 1821 34.91 201.87/202.05 c 71112 200 6428 571898 88 12882 4811 3315 1787 39.79 201.87/202.05 c 82474 200 6402 567375 88 12830 5293 3289 1682 49.03 201.87/202.05 c 99618 200 5761 458571 79 11548 5823 2648 1529 65.12 201.87/202.05 c 125438 200 6811 635939 93 13648 6406 3698 1422 88.15 201.87/202.05 c 164270 200 6711 618747 92 13448 7047 3598 1267 129.61 201.87/202.05 c 222622 200 10638 1286034 120 21302 7752 7525 1102 201.86 201.87/202.05 o -27 1797.93/1798.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.93/1798.96 c 222784 200 10801 1313889 121 21655 2037 7688 1103 201.93 1797.93/1798.96 c 222884 200 4233 199121 47 8493 2241 1120 1103 202.03 1797.93/1798.96 c 223134 200 4483 241411 53 8993 2466 1370 1104 202.08 1797.93/1798.96 c 223609 200 4958 321893 64 9943 2713 1845 1106 202.17 1797.93/1798.96 c 224423 200 5772 459249 79 11571 2985 2659 1108 202.38 1797.93/1798.96 c 225743 200 7092 682420 96 14211 3284 3979 1113 202.71 1797.93/1798.96 c 227824 200 9173 1034047 112 18373 3613 6060 1119 203.57 1797.93/1798.96 c 231048 200 7307 716385 98 14641 3975 4194 1127 204.92 1797.93/1798.96 c 235985 200 6971 660151 94 13969 4373 3858 1136 207.70 1797.93/1798.96 c 243491 200 8999 1001741 111 18025 4811 5886 1149 211.87 1797.93/1798.96 c 254852 200 8982 999343 111 17991 5293 5869 1160 219.61 1797.93/1798.96 c 271996 200 8333 890863 106 16693 5823 5220 1164 233.66 1797.93/1798.96 c 297815 200 9360 1064663 113 18747 6406 6247 1151 258.54 1797.93/1798.96 c 336647 200 9268 1047402 113 18563 7047 6155 1075 313.11 1797.93/1798.96 c 394999 200 13207 1711305 129 26441 7752 10094 1072 368.47 1797.93/1798.96 c 482631 200 7812 802730 102 15651 8528 4699 1021 472.37 1797.93/1798.96 c 614184 200 11059 1347980 121 22145 9381 7946 923 665.08 1797.93/1798.96 c 811616 200 9179 1034236 112 18385 10320 6066 855 948.87 1797.93/1798.96 c 1107868 200 10106 1189405 117 20239 11353 6993 794 1393.60 1797.93/1798.96 c Resources Exceeded 1797.93/1798.96 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.93/1798.96 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.93/1798.96 c 58 1387281 72623 1471621 11868 1487198 8755 771 1798.01 1797.93/1798.96 c Objective: -27 1797.93/1798.96 s SATISFIABLE 1797.93/1798.96 c Total time: 1798.01 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-2670978-1276713136/watcher-2670978-1276713136 -o /tmp/evaluation-result-2670978-1276713136/solver-2670978-1276713136 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670978-1276713136.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.25 1.05 1.02 4/107 18878 /proc/meminfo: memFree=1671028/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=11044 CPUtime=0 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 328 0 0 0 0 0 0 0 22 0 1 0 12605894 11309056 247 1992294400 134512640 137138936 4286749728 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 2761 247 170 642 0 2054 0 [startup+0.100999 s] /proc/loadavg: 1.25 1.05 1.02 4/107 18878 /proc/meminfo: memFree=1671028/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=12672 CPUtime=0.09 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 867 0 0 0 8 1 0 0 18 0 1 0 12605894 12976128 723 1992294400 134512640 137138936 4286749728 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 3168 723 191 642 0 2524 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12672 [startup+0.200997 s] /proc/loadavg: 1.25 1.05 1.02 4/107 18878 /proc/meminfo: memFree=1671028/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=13812 CPUtime=0.19 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 1151 0 0 0 18 1 0 0 18 0 1 0 12605894 14143488 1007 1992294400 134512640 137138936 4286749728 18446744073709551615 134575800 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 3453 1007 191 642 0 2809 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 13812 [startup+0.300996 s] /proc/loadavg: 1.25 1.05 1.02 4/107 18878 /proc/meminfo: memFree=1671028/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=14836 CPUtime=0.29 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 1419 0 0 0 28 1 0 0 18 0 1 0 12605894 15192064 1275 1992294400 134512640 137138936 4286749728 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 3709 1275 191 642 0 3065 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14836 [startup+0.70099 s] /proc/loadavg: 1.25 1.05 1.02 4/107 18878 /proc/meminfo: memFree=1671028/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=18308 CPUtime=0.68 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 2292 0 0 0 67 1 0 0 18 0 1 0 12605894 18747392 2148 1992294400 134512640 137138936 4286749728 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 4577 2148 191 642 0 3933 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 18308 [startup+1.50098 s] /proc/loadavg: 1.25 1.05 1.02 3/108 18879 /proc/meminfo: memFree=1643368/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=23416 CPUtime=1.49 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 3558 0 0 0 146 3 0 0 20 0 1 0 12605894 23977984 3414 1992294400 134512640 137138936 4286749728 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 5854 3414 191 642 0 5210 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23416 [startup+3.10095 s] /proc/loadavg: 1.25 1.05 1.02 2/107 18879 /proc/meminfo: memFree=1671896/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=27812 CPUtime=3.09 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 4650 0 0 0 305 4 0 0 25 0 1 0 12605894 28479488 4506 1992294400 134512640 137138936 4286749728 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 6953 4506 191 642 0 6309 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27812 [startup+6.3009 s] /proc/loadavg: 1.23 1.05 1.02 2/107 18879 /proc/meminfo: memFree=1670780/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=28732 CPUtime=6.28 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 4878 0 0 0 623 5 0 0 25 0 1 0 12605894 29421568 4734 1992294400 134512640 137138936 4286749728 18446744073709551615 136504108 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 7183 4734 191 642 0 6539 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 28732 [startup+12.7008 s] /proc/loadavg: 1.21 1.05 1.02 2/107 18879 /proc/meminfo: memFree=1670036/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=29332 CPUtime=12.68 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 5087 0 0 0 1260 8 0 0 25 0 1 0 12605894 30035968 4907 1992294400 134512640 137138936 4286749728 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 7333 4907 191 642 0 6689 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 29332 [startup+25.5006 s] /proc/loadavg: 1.16 1.04 1.01 2/107 18879 /proc/meminfo: memFree=1669416/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=30400 CPUtime=25.48 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 5465 0 0 0 2534 14 0 0 25 0 1 0 12605894 31129600 5170 1992294400 134512640 137138936 4286749728 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 7600 5170 191 642 0 6956 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 30400 [startup+51.1002 s] /proc/loadavg: 1.10 1.04 1.01 2/107 18879 /proc/meminfo: memFree=1669664/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=30248 CPUtime=51.05 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 5644 0 0 0 5083 22 0 0 25 0 1 0 12605894 30973952 5135 1992294400 134512640 137138936 4286749728 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 7562 5135 191 642 0 6918 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 30248 [startup+102.3 s] /proc/loadavg: 1.04 1.03 1.01 2/107 18881 /proc/meminfo: memFree=1666068/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=33832 CPUtime=102.23 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 6535 0 0 0 10186 37 0 0 25 0 1 0 12605894 34643968 6026 1992294400 134512640 137138936 4286749728 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 8458 6026 191 642 0 7814 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 33832 [startup+162.301 s] /proc/loadavg: 1.01 1.02 1.00 2/107 18883 /proc/meminfo: memFree=1664704/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=35256 CPUtime=162.19 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 6888 0 0 0 16166 53 0 0 25 0 1 0 12605894 36102144 6379 1992294400 134512640 137138936 4286749728 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 8814 6379 191 642 0 8170 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 35256 [startup+222.309 s] /proc/loadavg: 1.00 1.02 1.00 2/107 18885 /proc/meminfo: memFree=1664704/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=35180 CPUtime=222.18 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 6888 0 0 0 22146 72 0 0 25 0 1 0 12605894 36024320 6369 1992294400 134512640 137138936 4286749728 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 8795 6369 191 642 0 8151 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 35180 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 18885 /proc/meminfo: memFree=1664704/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=35068 CPUtime=282.13 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 6888 0 0 0 28125 88 0 0 25 0 1 0 12605894 35909632 6341 1992294400 134512640 137138936 4286749728 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 8767 6341 191 642 0 8123 0 Current children cumulated CPU time (s) 282.13 Current children cumulated vsize (KiB) 35068 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 18887 /proc/meminfo: memFree=1664704/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=35048 CPUtime=342.11 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 6888 0 0 0 34107 104 0 0 25 0 1 0 12605894 35889152 6336 1992294400 134512640 137138936 4286749728 18446744073709551615 134575626 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 8762 6336 191 642 0 8118 0 Current children cumulated CPU time (s) 342.11 Current children cumulated vsize (KiB) 35048 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18889 /proc/meminfo: memFree=1663216/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=36712 CPUtime=402.07 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 7290 0 0 0 40086 121 0 0 25 0 1 0 12605894 37593088 6738 1992294400 134512640 137138936 4286749728 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 9178 6738 191 642 0 8534 0 Current children cumulated CPU time (s) 402.07 Current children cumulated vsize (KiB) 36712 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18891 /proc/meminfo: memFree=1663092/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=36688 CPUtime=462.04 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 7291 0 0 0 46069 135 0 0 25 0 1 0 12605894 37568512 6739 1992294400 134512640 137138936 4286749728 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 9172 6739 191 642 0 8528 0 Current children cumulated CPU time (s) 462.04 Current children cumulated vsize (KiB) 36688 [startup+522.3 s] /proc/loadavg: 1.08 1.03 1.01 2/107 18893 /proc/meminfo: memFree=1661356/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=38492 CPUtime=522 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 7729 0 0 0 52051 149 0 0 25 0 1 0 12605894 39415808 7177 1992294400 134512640 137138936 4286749728 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 9623 7177 191 642 0 8979 0 Current children cumulated CPU time (s) 522 Current children cumulated vsize (KiB) 38492 [startup+582.3 s] /proc/loadavg: 1.06 1.03 1.01 2/107 18893 /proc/meminfo: memFree=1661232/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=38492 CPUtime=581.98 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 7730 0 0 0 58036 162 0 0 25 0 1 0 12605894 39415808 7178 1992294400 134512640 137138936 4286749728 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 9623 7178 191 642 0 8979 0 Current children cumulated CPU time (s) 581.98 Current children cumulated vsize (KiB) 38492 [startup+642.3 s] /proc/loadavg: 1.13 1.05 1.01 2/107 18895 /proc/meminfo: memFree=1661232/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=38488 CPUtime=641.95 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 7730 0 0 0 64019 176 0 0 25 0 1 0 12605894 39411712 7178 1992294400 134512640 137138936 4286749728 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 9622 7178 191 642 0 8978 0 Current children cumulated CPU time (s) 641.95 Current children cumulated vsize (KiB) 38488 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=1656892/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=42488 CPUtime=1121.7 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 8734 0 0 0 111882 288 0 0 25 0 1 0 12605894 43507712 8182 1992294400 134512640 137138936 4286749728 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 10622 8182 191 642 0 9978 0 Current children cumulated CPU time (s) 1121.7 Current children cumulated vsize (KiB) 42488 [startup+1182.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 18909 /proc/meminfo: memFree=1656768/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=42480 CPUtime=1181.66 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 8734 0 0 0 117860 306 0 0 25 0 1 0 12605894 43499520 8182 1992294400 134512640 137138936 4286749728 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 10620 8182 191 642 0 9976 0 Current children cumulated CPU time (s) 1181.66 Current children cumulated vsize (KiB) 42480 [startup+1242.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 18911 /proc/meminfo: memFree=1656520/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=42480 CPUtime=1241.63 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 8741 0 0 0 123844 319 0 0 25 0 1 0 12605894 43499520 8189 1992294400 134512640 137138936 4286749728 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 10620 8189 191 642 0 9976 0 Current children cumulated CPU time (s) 1241.63 Current children cumulated vsize (KiB) 42480 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 18913 /proc/meminfo: memFree=1656396/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=42480 CPUtime=1301.6 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 8741 0 0 0 129825 335 0 0 25 0 1 0 12605894 43499520 8189 1992294400 134512640 137138936 4286749728 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 10620 8189 191 642 0 9976 0 Current children cumulated CPU time (s) 1301.6 Current children cumulated vsize (KiB) 42480 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18915 /proc/meminfo: memFree=1656396/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=42480 CPUtime=1361.57 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 8741 0 0 0 135809 348 0 0 25 0 1 0 12605894 43499520 8189 1992294400 134512640 137138936 4286749728 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 10620 8189 191 642 0 9976 0 Current children cumulated CPU time (s) 1361.57 Current children cumulated vsize (KiB) 42480 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18917 /proc/meminfo: memFree=1654164/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=44772 CPUtime=1421.55 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 9313 0 0 0 141793 362 0 0 25 0 1 0 12605894 45846528 8761 1992294400 134512640 137138936 4286749728 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 11193 8761 191 642 0 10549 0 Current children cumulated CPU time (s) 1421.55 Current children cumulated vsize (KiB) 44772 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18917 /proc/meminfo: memFree=1654164/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=44836 CPUtime=1481.51 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 9322 0 0 0 147774 377 0 0 25 0 1 0 12605894 45912064 8770 1992294400 134512640 137138936 4286749728 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 11209 8770 191 642 0 10565 0 Current children cumulated CPU time (s) 1481.51 Current children cumulated vsize (KiB) 44836 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18919 /proc/meminfo: memFree=1654164/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=44828 CPUtime=1541.48 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 9322 0 0 0 153756 392 0 0 25 0 1 0 12605894 45903872 8770 1992294400 134512640 137138936 4286749728 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 11207 8770 191 642 0 10563 0 Current children cumulated CPU time (s) 1541.48 Current children cumulated vsize (KiB) 44828 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18921 /proc/meminfo: memFree=1654040/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=44828 CPUtime=1601.44 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 9330 0 0 0 159737 407 0 0 25 0 1 0 12605894 45903872 8778 1992294400 134512640 137138936 4286749728 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 11207 8778 191 642 0 10563 0 Current children cumulated CPU time (s) 1601.44 Current children cumulated vsize (KiB) 44828 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18923 /proc/meminfo: memFree=1653916/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=44828 CPUtime=1661.42 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 9330 0 0 0 165721 421 0 0 25 0 1 0 12605894 45903872 8778 1992294400 134512640 137138936 4286749728 18446744073709551615 136500369 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 11207 8778 191 642 0 10563 0 Current children cumulated CPU time (s) 1661.42 Current children cumulated vsize (KiB) 44828 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18925 /proc/meminfo: memFree=1653916/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=44828 CPUtime=1721.38 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 9330 0 0 0 171703 435 0 0 25 0 1 0 12605894 45903872 8778 1992294400 134512640 137138936 4286749728 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 11207 8778 191 642 0 10563 0 Current children cumulated CPU time (s) 1721.38 Current children cumulated vsize (KiB) 44828 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18934 /proc/meminfo: memFree=1652924/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=44828 CPUtime=1781.35 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 9330 0 0 0 177684 451 0 0 25 0 1 0 12605894 45903872 8778 1992294400 134512640 137138936 4286749728 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 11207 8778 191 642 0 10563 0 Current children cumulated CPU time (s) 1781.35 Current children cumulated vsize (KiB) 44828 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18934 /proc/meminfo: memFree=1652924/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=44828 CPUtime=1791.05 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 9330 0 0 0 178652 453 0 0 25 0 1 0 12605894 45903872 8778 1992294400 134512640 137138936 4286749728 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 11207 8778 191 642 0 10563 0 Current children cumulated CPU time (s) 1791.05 Current children cumulated vsize (KiB) 44828 [startup+1795.2 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18934 /proc/meminfo: memFree=1652924/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=44828 CPUtime=1794.24 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 9330 0 0 0 178971 453 0 0 25 0 1 0 12605894 45903872 8778 1992294400 134512640 137138936 4286749728 18446744073709551615 134542968 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 11207 8778 191 642 0 10563 0 Current children cumulated CPU time (s) 1794.24 Current children cumulated vsize (KiB) 44828 [startup+1796.8 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18936 /proc/meminfo: memFree=1652924/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=44828 CPUtime=1795.84 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 9330 0 0 0 179130 454 0 0 25 0 1 0 12605894 45903872 8778 1992294400 134512640 137138936 4286749728 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 11207 8778 191 642 0 10563 0 Current children cumulated CPU time (s) 1795.84 Current children cumulated vsize (KiB) 44828 [startup+1797.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18936 /proc/meminfo: memFree=1652924/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=44828 CPUtime=1796.64 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 9330 0 0 0 179210 454 0 0 25 0 1 0 12605894 45903872 8778 1992294400 134512640 137138936 4286749728 18446744073709551615 136502600 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 11207 8778 191 642 0 10563 0 Current children cumulated CPU time (s) 1796.64 Current children cumulated vsize (KiB) 44828 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18936 /proc/meminfo: memFree=1652924/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=44828 CPUtime=1797.43 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 9330 0 0 0 179289 454 0 0 25 0 1 0 12605894 45903872 8778 1992294400 134512640 137138936 4286749728 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 11207 8778 191 642 0 10563 0 Current children cumulated CPU time (s) 1797.43 Current children cumulated vsize (KiB) 44828 [startup+1798.8 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18936 /proc/meminfo: memFree=1652924/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=44828 CPUtime=1797.83 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 9330 0 0 0 179329 454 0 0 25 0 1 0 12605894 45903872 8778 1992294400 134512640 137138936 4286749728 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 11207 8778 191 642 0 10563 0 Current children cumulated CPU time (s) 1797.83 Current children cumulated vsize (KiB) 44828 [startup+1798.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18936 /proc/meminfo: memFree=1652924/2059040 swapFree=4192956/4192956 [pid=18878] ppid=18876 vsize=44828 CPUtime=1797.93 /proc/18878/stat : 18878 (bsolo_pb10) R 18876 18878 18608 0 -1 4202496 9330 0 0 0 179339 454 0 0 25 0 1 0 12605894 45903872 8778 1992294400 134512640 137138936 4286749728 18446744073709551615 134543244 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18878/statm: 11207 8778 191 642 0 10563 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (KiB) 44828 Child status: 0 Real time (s): 1798.97 CPU time (s): 1798.01 CPU user time (s): 1793.46 CPU system time (s): 4.55331 CPU usage (%): 99.9468 Max. virtual memory (cumulated for all children) (KiB): 44912 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.46 system time used= 4.55331 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9331 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= 15228 runsolver used 3.06153 second user time and 8.47371 second system time The end
Begin job on node044 at 2010-06-16 20:32:16 IDJOB=2670978 IDBENCH=48205 IDSOLVER=1163 FILE ID=node044/2670978-1276713136 PBS_JOBID= 11174148 Free space on /tmp= 62588 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_5.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670978-1276713136/watcher-2670978-1276713136 -o /tmp/evaluation-result-2670978-1276713136/solver-2670978-1276713136 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670978-1276713136.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cdccc05ac387e7ee9cb8ab81f53ca6f8 RANDOM SEED=686002900 node044.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.266 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.53 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.266 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1675896 kB Buffers: 90152 kB Cached: 149492 kB SwapCached: 0 kB Active: 142536 kB Inactive: 170488 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1675896 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4664 kB Writeback: 0 kB AnonPages: 73412 kB Mapped: 16464 kB Slab: 47736 kB PageTables: 4476 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 195336 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670978-1276713136.opb Free space on /tmp at the end= 62584 MiB End job on node044 at 2010-06-16 21:02:15