Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 0 | 1800.09 | 1800.55 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-sc50a.opb |
MD5SUM | 2dbafacadc353eeed0e4ce2357d3a727 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -15 |
Best CPU time to get the best result obtained on this benchmark | 1800.66 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -17 |
Optimality of the best value was proved | NO |
Number of variables | 1440 |
Total number of constraints | 49 |
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 | 49 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 120 |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524317 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 524371 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.04 c Initial problem consists of 1440 variables and 69 constraints. 0.04 c No problem reductions applied in OPT. instance. 0.04 c preprocess terminated. Elapsed time: 0.028 0.04 c After prepocess the problem consists of 1047 variables and 69 constraints. 0.04 c Initial Lower Bound: -1044 0.07 c Restart #1 #Var: 1047 LB: -1044 @ 0.063 0.14 c Restart #2 #Var: 1047 LB: -1044 @ 0.129 0.24 c Restart #3 #Var: 1047 LB: -1044 @ 0.23 0.38 c Restart #4 #Var: 1047 LB: -1044 @ 0.364 0.56 c Restart #5 #Var: 1047 LB: -1044 @ 0.544 0.77 c Restart #6 #Var: 1047 LB: -1044 @ 0.754 1.02 c Restart #7 #Var: 1047 LB: -1044 @ 1.009 1.30 c Restart #8 #Var: 1047 LB: -1044 @ 1.286 1.42 c Restart #9 #Var: 1047 LB: -1044 @ 1.401 1.65 c Restart #10 #Var: 1017 LB: -1044 @ 1.633 1.89 c Restart #11 #Var: 1017 LB: -1044 @ 1.87 2.27 c Restart #12 #Var: 1016 LB: -1044 @ 2.255 2.46 c Restart #13 #Var: 1016 LB: -1044 @ 2.445 2.77 c Restart #14 #Var: 1016 LB: -1044 @ 2.752 3.27 c Restart #15 #Var: 1016 LB: -1044 @ 3.253 3.53 c Sol. found (all assignments made)... 3.53 o 0 3.53 c NEW SOLUTION FOUND: 0 @ 3.514 4.40 c Restart #16 #Var: 1014 LB: -1044 @ 4.385 5.21 c Restart #17 #Var: 1014 LB: -1044 @ 5.191 6.36 c Restart #18 #Var: 1005 LB: -531 @ 6.339 7.06 c Restart #19 #Var: 1005 LB: -531 @ 7.041 8.53 c CHANGE to MIS mode... UB: 0 MIS: -531 LPR: -286 (0.01725) Diff: 1.8566 8.53 c Restart #0 #Var: 1003 LB: -531 @ 8.505 8.70 c Restart #1 #Var: 994 LB: -274 @ 8.672 8.91 c Restart #2 #Var: 994 LB: -274 @ 8.883 9.02 c Restart #3 #Var: 994 LB: -274 @ 9 9.67 c Restart #4 #Var: 994 LB: -274 @ 9.643 10.65 c Restart #5 #Var: 994 LB: -274 @ 10.631 10.89 c Restart #6 #Var: 994 LB: -274 @ 10.869 11.75 c Restart #7 #Var: 994 LB: -274 @ 11.723 12.54 c Restart #8 #Var: 994 LB: -274 @ 12.512 12.64 c Restart #9 #Var: 994 LB: -274 @ 12.612 12.84 c Restart #10 #Var: 988 LB: -274 @ 12.82 13.15 c Restart #11 #Var: 980 LB: -145 @ 13.122 14.64 c Restart #12 #Var: 979 LB: -145 @ 14.612 15.09 c Restart #13 #Var: 979 LB: -145 @ 15.067 16.33 c Restart #14 #Var: 979 LB: -145 @ 16.304 17.33 c Restart #15 #Var: 976 LB: -145 @ 17.308 22.25 c Restart #16 #Var: 976 LB: -145 @ 22.224 23.22 c Restart #17 #Var: 976 LB: -145 @ 23.197 24.55 c Restart #18 #Var: 976 LB: -145 @ 24.524 25.72 c Restart #19 #Var: 976 LB: -145 @ 25.69 26.70 c Restart #20 #Var: 976 LB: -145 @ 26.676 32.55 c Restart #21 #Var: 976 LB: -145 @ 32.524 34.92 c Restart #22 #Var: 976 LB: -145 @ 34.888 38.58 c Restart #23 #Var: 976 LB: -145 @ 38.546 61.58 c Restart #24 #Var: 976 LB: -145 @ 61.541 89.09 c Restart #25 #Var: 976 LB: -145 @ 89.046 91.37 c Restart #26 #Var: 976 LB: -145 @ 91.325 99.87 c Restart #27 #Var: 976 LB: -145 @ 99.826 101.77 c Restart #28 #Var: 976 LB: -145 @ 101.72 102.37 c Restart #29 #Var: 976 LB: -145 @ 102.33 114.77 c Restart #30 #Var: 976 LB: -145 @ 114.72 119.03 c Restart #31 #Var: 976 LB: -145 @ 118.98 134.08 c Restart #32 #Var: 976 LB: -145 @ 134.02 145.91 c Restart #33 #Var: 976 LB: -145 @ 145.86 150.20 c Restart #34 #Var: 976 LB: -145 @ 150.14 150.98 c Restart #35 #Var: 976 LB: -145 @ 150.92 159.41 c Restart #36 #Var: 976 LB: -145 @ 159.35 160.69 c Restart #37 #Var: 976 LB: -145 @ 160.63 231.99 c Restart #38 #Var: 976 LB: -145 @ 231.92 247.41 c Restart #39 #Var: 974 LB: -145 @ 247.33 260.85 c Restart #40 #Var: 974 LB: -145 @ 260.77 286.64 c Restart #41 #Var: 974 LB: -145 @ 286.55 294.24 c Restart #42 #Var: 974 LB: -145 @ 294.15 303.22 c Restart #43 #Var: 974 LB: -145 @ 303.13 321.11 c Restart #44 #Var: 974 LB: -145 @ 321.01 336.41 c Restart #45 #Var: 974 LB: -145 @ 336.3 359.36 c Restart #46 #Var: 974 LB: -145 @ 359.25 370.52 c Restart #47 #Var: 974 LB: -145 @ 370.41 452.78 c Restart #48 #Var: 966 LB: -145 @ 452.65 482.59 c Restart #49 #Var: 966 LB: -145 @ 482.45 488.15 c Restart #50 #Var: 966 LB: -145 @ 488.01 502.68 c Restart #51 #Var: 947 LB: -145 @ 502.54 520.89 c Restart #52 #Var: 947 LB: -145 @ 520.75 535.75 c Restart #53 #Var: 947 LB: -145 @ 535.61 571.93 c Restart #54 #Var: 947 LB: -145 @ 571.77 580.76 c Restart #55 #Var: 947 LB: -145 @ 580.6 596.25 c Restart #56 #Var: 947 LB: -145 @ 596.08 636.24 c Restart #57 #Var: 946 LB: -145 @ 636.06 654.32 c Restart #58 #Var: 946 LB: -145 @ 654.14 666.92 c Restart #59 #Var: 944 LB: -145 @ 666.74 786.29 c Restart #60 #Var: 941 LB: -145 @ 786.08 821.57 c Restart #61 #Var: 941 LB: -145 @ 821.35 866.03 c Restart #62 #Var: 941 LB: -145 @ 865.8 926.06 c Restart #63 #Var: 941 LB: -145 @ 925.82 954.25 c Restart #64 #Var: 941 LB: -145 @ 954 1030.90 c Restart #65 #Var: 941 LB: -145 @ 1030.6 1037.00 c Restart #66 #Var: 941 LB: -145 @ 1036.7 1084.46 c Restart #67 #Var: 941 LB: -145 @ 1084.2 1192.46 c Restart #68 #Var: 941 LB: -145 @ 1192.2 1318.83 c Restart #69 #Var: 941 LB: -145 @ 1318.5 1330.50 c Restart #70 #Var: 941 LB: -145 @ 1330.2 1456.28 c Restart #71 #Var: 941 LB: -145 @ 1455.9 1490.49 c Restart #72 #Var: 941 LB: -145 @ 1490.1 1637.68 c Restart #73 #Var: 941 LB: -145 @ 1637.3 1720.98 c Restart #74 #Var: 941 LB: -145 @ 1720.5 1800.45 s SATISFIABLE 1800.45 c Cost: 0 1800.45 v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 1800.45 v -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 1800.45 v -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 1800.45 v -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 1800.45 v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x121 -x122 -x123 -x124 -x125 1800.45 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1800.45 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1800.45 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.45 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1800.45 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1800.45 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1800.45 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 x272 1800.45 v x273 x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 1800.45 v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 1800.45 v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 1800.45 v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 1800.45 v -x359 -x360 -x361 -x362 -x363 x364 x365 x366 x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 x376 x377 -x378 -x379 -x380 1800.45 v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 1800.45 v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 1800.45 v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 1800.45 v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 1800.45 v -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 1800.45 v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 1800.45 v -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 x525 -x526 x527 1800.45 v x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 1800.45 v -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 1800.45 v -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 1800.45 v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 1800.45 v -x612 -x613 x614 x615 x616 -x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 1800.45 v -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 1800.45 v -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 -x674 1800.45 v x675 -x676 x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 1800.45 v -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 1800.45 v -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 1800.45 v -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 1800.45 v -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 1800.45 v -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 1800.45 v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 x817 -x818 -x819 -x820 -x821 1800.45 v x822 -x823 x824 -x825 -x826 x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 1800.45 v -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 x855 -x856 x857 x858 -x859 -x860 -x861 -x862 -x863 1800.45 v -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 1800.45 v -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 x902 x903 x904 x905 -x906 1800.45 v x907 x908 -x909 -x910 x911 -x912 x913 x914 -x915 x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 1800.45 v -x929 -x930 x931 x932 x933 x934 x935 x936 x937 x938 x939 x940 x941 x942 -x943 x944 x945 -x946 -x947 x948 -x949 -x950 -x951 -x952 1800.45 v -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 1800.45 v -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 1800.45 v -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 1800.45 v -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 1800.45 v -x1030 -x1031 -x1032 -x1033 -x1034 x1035 x1036 x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 1800.45 v -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 1800.45 v -x1065 -x1066 -x1067 x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 1800.45 v -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 1800.45 v -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 1800.45 v -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 1800.45 v -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 x1142 x1143 x1144 x1145 x1146 x1147 x1148 x1149 x1150 x1151 1800.45 v x1152 x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 1800.45 v -x1170 x1171 x1172 x1173 x1174 x1175 x1176 x1177 x1178 x1179 x1180 x1181 x1182 x1183 -x1184 -x1185 -x1186 -x1187 -x1188 1800.45 v x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 x1201 x1202 x1203 x1204 x1205 x1206 1800.45 v x1207 x1208 x1209 x1210 x1211 x1212 x1213 -x1214 x1215 x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 1800.45 v -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 1800.45 v -x1243 -x1244 -x1245 x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 1800.45 v -x1260 x1261 x1262 x1263 x1264 x1265 x1266 x1267 x1268 x1269 x1270 x1271 x1272 x1273 x1274 x1275 x1276 x1277 -x1278 -x1279 1800.45 v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 x1291 -x1292 -x1293 -x1294 -x1295 x1296 -x1297 1800.45 v -x1298 -x1299 -x1300 x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 1800.45 v -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 1800.45 v -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 1800.45 v -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 1800.45 v -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 1800.45 v -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 1800.45 v -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 1800.45 v -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 1800.45 v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 1800.45 c Exit Code: 10 1800.45 c Total time: 1800 s
OK 0
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node64/watcher-39930-1149333896 -o ROOT/results/node64/solver-39930-1149333896 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node64/39930-1149333896/instance-39930-1149333896.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.98 2/64 5302 /proc/meminfo: memFree=1471744/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=4664 CPUtime=0 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 82 0 0 0 0 0 0 0 18 0 1 0 35380869 4775936 64 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6964231 0 0 4096 0 0 0 0 17 1 0 0 /proc/5302/statm: 1166 83 66 55 0 46 0 [startup+10.0017 s] /proc/loadavg: 0.93 0.98 0.98 2/64 5302 /proc/meminfo: memFree=1434176/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=41688 CPUtime=9.97 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 9900 0 2 0 984 13 0 0 25 0 1 0 35380869 42688512 9683 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 10422 9683 426 55 0 9314 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 41688 [startup+20.0076 s] /proc/loadavg: 0.94 0.98 0.98 2/64 5302 /proc/meminfo: memFree=1414144/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=61620 CPUtime=19.97 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 14907 0 2 0 1978 19 0 0 25 0 1 0 35380869 63098880 14690 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 15405 14690 426 55 0 14297 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 61620 [startup+30.0145 s] /proc/loadavg: 0.95 0.98 0.98 2/64 5302 /proc/meminfo: memFree=1392896/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=82984 CPUtime=29.98 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 20320 0 2 0 2974 24 0 0 25 0 1 0 35380869 84975616 20007 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 20746 20007 426 55 0 19638 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 82984 [startup+40.0204 s] /proc/loadavg: 0.96 0.98 0.98 2/64 5302 /proc/meminfo: memFree=1381248/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=94608 CPUtime=39.98 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 23242 0 2 0 3970 28 0 0 25 0 1 0 35380869 96878592 22929 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528666 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 23652 22929 426 55 0 22544 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 94608 [startup+50.0262 s] /proc/loadavg: 0.96 0.98 0.98 2/64 5302 /proc/meminfo: memFree=1379200/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=96716 CPUtime=49.98 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 23762 0 2 0 4969 29 0 0 25 0 1 0 35380869 99037184 23449 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 24179 23449 426 55 0 23071 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 96716 [startup+60.0321 s] /proc/loadavg: 0.97 0.98 0.98 2/64 5302 /proc/meminfo: memFree=1377344/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=98564 CPUtime=59.99 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 24221 0 2 0 5969 30 0 0 25 0 1 0 35380869 100929536 23908 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528681 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 24641 23908 426 55 0 23533 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 98564 [startup+70.038 s] /proc/loadavg: 0.97 0.98 0.98 2/64 5302 /proc/meminfo: memFree=1375104/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=100808 CPUtime=69.99 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 24780 0 2 0 6968 31 0 0 25 0 1 0 35380869 103227392 24467 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 25202 24467 426 55 0 24094 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 100808 [startup+80.0439 s] /proc/loadavg: 0.98 0.98 0.98 2/64 5302 /proc/meminfo: memFree=1372928/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=102924 CPUtime=80 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 25316 0 2 0 7968 32 0 0 25 0 1 0 35380869 105394176 25003 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 25731 25003 426 55 0 24623 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 102924 [startup+90.0497 s] /proc/loadavg: 0.98 0.98 0.98 2/64 5302 /proc/meminfo: memFree=1368000/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=107952 CPUtime=90 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 26557 0 2 0 8967 33 0 0 25 0 1 0 35380869 110542848 26244 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7394939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 26988 26244 426 55 0 25880 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 107952 [startup+100.056 s] /proc/loadavg: 0.98 0.98 0.98 2/64 5302 /proc/meminfo: memFree=1360512/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=115340 CPUtime=100 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 28417 0 2 0 9965 35 0 0 25 0 1 0 35380869 118108160 28104 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524309 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 28835 28104 426 55 0 27727 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 115340 [startup+110.061 s] /proc/loadavg: 0.98 0.98 0.98 2/64 5302 /proc/meminfo: memFree=1346624/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=129284 CPUtime=110.01 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 32184 0 2 0 10961 40 0 0 25 0 1 0 35380869 132386816 31584 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 32321 31584 426 55 0 31213 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 129284 [startup+120.067 s] /proc/loadavg: 0.99 0.98 0.98 2/64 5302 /proc/meminfo: memFree=1335680/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=140244 CPUtime=120 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 34906 0 2 0 11958 42 0 0 25 0 1 0 35380869 143609856 34306 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 35061 34306 426 55 0 33953 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 140244 [startup+130.073 s] /proc/loadavg: 0.99 0.98 0.98 2/64 5302 /proc/meminfo: memFree=1333824/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=142096 CPUtime=130.01 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 35370 0 2 0 12958 43 0 0 25 0 1 0 35380869 145506304 34770 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 35524 34770 426 55 0 34416 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 142096 [startup+140.079 s] /proc/loadavg: 0.99 0.98 0.98 2/64 5302 /proc/meminfo: memFree=1330880/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=145000 CPUtime=140.02 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 36102 0 2 0 13957 45 0 0 25 0 1 0 35380869 148480000 35502 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 36250 35502 426 55 0 35142 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 145000 [startup+150.085 s] /proc/loadavg: 0.99 0.98 0.98 2/64 5302 /proc/meminfo: memFree=1321024/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=154892 CPUtime=150.02 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 38571 0 2 0 14954 48 0 0 25 0 1 0 35380869 158609408 37971 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 38723 37971 426 55 0 37615 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 154892 [startup+160.091 s] /proc/loadavg: 0.99 0.98 0.98 2/64 5302 /proc/meminfo: memFree=1302144/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=173640 CPUtime=160.02 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 43273 0 2 0 15951 51 0 0 25 0 1 0 35380869 177807360 42673 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7394939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 43410 42673 426 55 0 42302 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 173640 [startup+170.097 s] /proc/loadavg: 0.99 0.98 0.98 2/64 5302 /proc/meminfo: memFree=1299904/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=175900 CPUtime=170.03 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 43828 0 2 0 16951 52 0 0 25 0 1 0 35380869 180121600 43228 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 43975 43228 426 55 0 42867 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 175900 [startup+180.103 s] /proc/loadavg: 0.99 0.98 0.98 2/64 5302 /proc/meminfo: memFree=1298688/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=177088 CPUtime=180.03 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 44131 0 2 0 17951 52 0 0 25 0 1 0 35380869 181338112 43531 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 44272 43531 426 55 0 43164 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 177088 [startup+190.109 s] /proc/loadavg: 0.99 0.98 0.98 2/64 5302 /proc/meminfo: memFree=1297728/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=178140 CPUtime=190.03 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 44378 0 2 0 18950 53 0 0 25 0 1 0 35380869 182415360 43778 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 44535 43778 426 55 0 43427 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 178140 [startup+200.114 s] /proc/loadavg: 0.99 0.98 0.98 2/64 5302 /proc/meminfo: memFree=1297344/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=178536 CPUtime=200.03 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 44465 0 2 0 19950 53 0 0 25 0 1 0 35380869 182820864 43865 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 44634 43865 426 55 0 43526 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 178536 [startup+210.12 s] /proc/loadavg: 0.99 0.98 0.98 2/64 5302 /proc/meminfo: memFree=1297024/2055920 swapFree=4192036/4192956 ################ # More data... # ################ /proc/5302/statm: 141945 140944 426 55 0 140837 0 Current children cumulated CPU time (s) 1760.57 Current children cumulated vsize (Kb) 567780 [startup+1771.03 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5302 /proc/meminfo: memFree=906376/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=569496 CPUtime=1770.58 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 143715 0 2 0 176851 207 0 0 25 0 1 0 35380869 583163904 141380 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 142374 141380 426 55 0 141266 0 Current children cumulated CPU time (s) 1770.58 Current children cumulated vsize (Kb) 569496 [startup+1781.03 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5302 /proc/meminfo: memFree=904584/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=571212 CPUtime=1780.57 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144149 0 2 0 177850 207 0 0 25 0 1 0 35380869 584921088 141814 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529480 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 142803 141814 426 55 0 141695 0 Current children cumulated CPU time (s) 1780.57 Current children cumulated vsize (Kb) 571212 [startup+1782.04 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5302 /proc/meminfo: memFree=904456/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=571476 CPUtime=1781.58 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144192 0 2 0 177951 207 0 0 25 0 1 0 35380869 585191424 141857 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529320 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 142869 141857 426 55 0 141761 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (Kb) 571476 [startup+1783.04 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5302 /proc/meminfo: memFree=904264/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=571608 CPUtime=1782.58 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144238 0 2 0 178051 207 0 0 25 0 1 0 35380869 585326592 141903 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 142902 141903 426 55 0 141794 0 Current children cumulated CPU time (s) 1782.58 Current children cumulated vsize (Kb) 571608 [startup+1784.05 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5302 /proc/meminfo: memFree=904072/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=571740 CPUtime=1783.59 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144281 0 2 0 178152 207 0 0 25 0 1 0 35380869 585461760 141946 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 142935 141946 426 55 0 141827 0 Current children cumulated CPU time (s) 1783.59 Current children cumulated vsize (Kb) 571740 [startup+1785.05 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5302 /proc/meminfo: memFree=903880/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=572004 CPUtime=1784.6 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144322 0 2 0 178252 208 0 0 25 0 1 0 35380869 585732096 141987 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 143001 141987 426 55 0 141893 0 Current children cumulated CPU time (s) 1784.6 Current children cumulated vsize (Kb) 572004 [startup+1786.06 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5302 /proc/meminfo: memFree=903752/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=572136 CPUtime=1785.61 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144364 0 2 0 178353 208 0 0 25 0 1 0 35380869 585867264 142029 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 143034 142029 426 55 0 141926 0 Current children cumulated CPU time (s) 1785.61 Current children cumulated vsize (Kb) 572136 [startup+1787.06 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5302 /proc/meminfo: memFree=903560/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=572268 CPUtime=1786.61 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144409 0 2 0 178453 208 0 0 25 0 1 0 35380869 586002432 142074 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 143067 142074 426 55 0 141959 0 Current children cumulated CPU time (s) 1786.61 Current children cumulated vsize (Kb) 572268 [startup+1788.07 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5302 /proc/meminfo: memFree=903368/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=572532 CPUtime=1787.61 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144452 0 2 0 178553 208 0 0 25 0 1 0 35380869 586272768 142117 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 143133 142117 426 55 0 142025 0 Current children cumulated CPU time (s) 1787.61 Current children cumulated vsize (Kb) 572532 [startup+1789.07 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5302 /proc/meminfo: memFree=903240/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=572664 CPUtime=1788.61 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144493 0 2 0 178653 208 0 0 25 0 1 0 35380869 586407936 142158 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541214 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 143166 142158 426 55 0 142058 0 Current children cumulated CPU time (s) 1788.61 Current children cumulated vsize (Kb) 572664 [startup+1790.08 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5302 /proc/meminfo: memFree=903048/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=572796 CPUtime=1789.62 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144535 0 2 0 178754 208 0 0 25 0 1 0 35380869 586543104 142200 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 143199 142200 426 55 0 142091 0 Current children cumulated CPU time (s) 1789.62 Current children cumulated vsize (Kb) 572796 [startup+1791.08 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5302 /proc/meminfo: memFree=902856/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=572928 CPUtime=1790.62 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144577 0 2 0 178854 208 0 0 25 0 1 0 35380869 586678272 142242 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 143232 142242 426 55 0 142124 0 Current children cumulated CPU time (s) 1790.62 Current children cumulated vsize (Kb) 572928 [startup+1792.09 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5302 /proc/meminfo: memFree=902728/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=573192 CPUtime=1791.63 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144618 0 2 0 178955 208 0 0 25 0 1 0 35380869 586948608 142283 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 143298 142283 426 55 0 142190 0 Current children cumulated CPU time (s) 1791.63 Current children cumulated vsize (Kb) 573192 [startup+1793.09 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5302 /proc/meminfo: memFree=902536/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=573324 CPUtime=1792.63 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144659 0 2 0 179055 208 0 0 25 0 1 0 35380869 587083776 142324 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 143331 142324 426 55 0 142223 0 Current children cumulated CPU time (s) 1792.63 Current children cumulated vsize (Kb) 573324 [startup+1794.1 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5302 /proc/meminfo: memFree=902408/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=573456 CPUtime=1793.64 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144700 0 2 0 179155 209 0 0 25 0 1 0 35380869 587218944 142365 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 143364 142365 426 55 0 142256 0 Current children cumulated CPU time (s) 1793.64 Current children cumulated vsize (Kb) 573456 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5302 /proc/meminfo: memFree=902280/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=573588 CPUtime=1794.65 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144732 0 2 0 179256 209 0 0 25 0 1 0 35380869 587354112 142397 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 143397 142397 426 55 0 142289 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (Kb) 573588 [startup+1796.11 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5302 /proc/meminfo: memFree=902216/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=573720 CPUtime=1795.65 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144751 0 2 0 179356 209 0 0 25 0 1 0 35380869 587489280 142416 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 143430 142416 426 55 0 142322 0 Current children cumulated CPU time (s) 1795.65 Current children cumulated vsize (Kb) 573720 [startup+1797.11 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5302 /proc/meminfo: memFree=901768/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=574124 CPUtime=1796.66 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144849 0 2 0 179457 209 0 0 25 0 1 0 35380869 587902976 142514 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 143531 142514 426 55 0 142423 0 Current children cumulated CPU time (s) 1796.66 Current children cumulated vsize (Kb) 574124 [startup+1798.12 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5302 /proc/meminfo: memFree=901704/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=574124 CPUtime=1797.66 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144873 0 2 0 179557 209 0 0 25 0 1 0 35380869 587902976 142538 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 143531 142538 426 55 0 142423 0 Current children cumulated CPU time (s) 1797.66 Current children cumulated vsize (Kb) 574124 [startup+1799.12 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5302 /proc/meminfo: memFree=901576/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=574256 CPUtime=1798.67 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144897 0 2 0 179658 209 0 0 25 0 1 0 35380869 588038144 142562 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 143564 142562 426 55 0 142456 0 Current children cumulated CPU time (s) 1798.67 Current children cumulated vsize (Kb) 574256 [startup+1800.13 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5302 /proc/meminfo: memFree=901448/2055920 swapFree=4192036/4192956 [pid=5302] ppid=5300 vsize=574388 CPUtime=1799.67 /proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144934 0 2 0 179758 209 0 0 25 0 1 0 35380869 588173312 142599 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5302/statm: 143597 142599 426 55 0 142489 0 Current children cumulated CPU time (s) 1799.67 Current children cumulated vsize (Kb) 574388 Child status: 10 Real time (s): 1800.55 CPU time (s): 1800.09 CPU user time (s): 1797.91 CPU system time (s): 2.17967 CPU usage (%): 99.9746 Max. virtual memory (cumulated for all children) (Kb): 574388
Begin job on node64 on Sat Jun 3 11:24:56 UTC 2006 FILE ID= 39930-1149333896 PBS_JOBID= 310039 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sc50a.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node64/39930-1149333896/instance-39930-1149333896.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node64/watcher-39930-1149333896 -o ROOT/results/node64/solver-39930-1149333896 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node64/39930-1149333896/instance-39930-1149333896.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 2dbafacadc353eeed0e4ce2357d3a727 RANDOM SEED= 249848798 /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.219 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.219 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: 1472016 kB Buffers: 31460 kB Cached: 474628 kB SwapCached: 444 kB Active: 53000 kB Inactive: 467116 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1472016 kB SwapTotal: 4192956 kB SwapFree: 4192036 kB Dirty: 212 kB Writeback: 0 kB Mapped: 23736 kB Slab: 49808 kB Committed_AS: 259268 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node64 on Sat Jun 3 11:54:56 UTC 2006