Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | Wrong Opt. | -29 | 1728.81 | 1729.37 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_1.opb |
MD5SUM | 2cdec46d3e8e924c4987d217b8438ed8 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -30 |
Best CPU time to get the best result obtained on this benchmark | 1800.7 |
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 | 43 |
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) | 6204 |
Sum of products size (including duplicates) | 12408 |
Number of different products | 3102 |
Sum of products size | 6204 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Generic Pseudo-Boolean Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1879657-1245246475.opb 0.00/0.00 c File size is 255995 bytes. 0.00/0.03 c Highest Coefficient sum: 200 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.038 s 0.00/0.04 c Var: 3302 Constr: 6604 3302/200/3102 Lit: 31020 Watch. Lit: 21714 0.00/0.04 c Obj. Vars: 200 (6.05694 % of total variables) 0.00/0.08 c Pre-processing Time: 0.079 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 3102 9306 3 6204 1033 0 0 0.08 0.00/0.08 c Switching off lower bounding mode. 0.00/0.08 o -24 0.00/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.08 c 0 200 3103 9506 3 6230 2033 1 0 0.08 0.00/0.08 o -25 0.39/0.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.44 c 8 200 3116 11878 3 6358 2033 14 96 0.08 0.39/0.44 c 108 200 3311 48095 14 8235 2237 209 705 0.15 0.39/0.44 c 358 200 3794 139316 36 12050 2461 692 906 0.40 0.39/0.44 o -26 675.27/675.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 675.27/675.54 c 401 200 3868 152824 39 11813 2033 766 901 0.45 675.27/675.54 c 502 200 4066 189913 46 13739 2237 964 873 0.57 675.27/675.54 c 753 200 4555 282041 61 17902 2461 1453 716 1.05 675.27/675.54 c 1229 200 5497 458188 83 26169 2708 2395 546 2.25 675.27/675.54 c 2043 200 7113 762350 107 37342 2979 4011 342 5.97 675.27/675.54 c 3363 200 4958 359200 72 23456 3277 1856 200 16.77 675.27/675.54 c 5444 200 9006 1153624 128 52593 3605 5904 168 32.34 675.27/675.54 c 8668 200 5210 406080 77 26454 3966 2108 141 61.32 675.27/675.54 c 13605 198 9499 1262588 132 56254 4363 6397 131 103.58 675.27/675.54 c 21111 197 5820 518835 89 30610 4800 2718 119 176.97 675.27/675.54 c 32473 194 10873 1514693 139 69281 5281 7771 108 299.72 675.27/675.54 c 49618 187 8436 1010725 119 47756 5810 5334 99 498.35 675.27/675.54 o -27 854.70/855.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 854.70/855.01 c 65152 181 7243 749358 103 46448 2033 4141 96 675.33 854.70/855.01 c 65252 181 7441 783859 105 42967 2237 4339 96 676.40 854.70/855.01 c 65502 177 7930 868404 109 45643 2461 4828 96 679.13 854.70/855.01 c 65978 177 4388 222354 50 20536 2708 1286 96 685.85 854.70/855.01 c 66791 177 5999 506924 84 34884 2979 2897 96 690.94 854.70/855.01 c 68111 177 8535 961682 112 49880 3277 5433 97 699.83 854.70/855.01 c 70192 176 7751 819890 105 42835 3605 4649 97 718.30 854.70/855.01 c 73415 172 8980 1046490 116 51810 3966 5878 98 745.62 854.70/855.01 c 78351 168 8054 858246 106 43106 4363 4952 100 782.19 854.70/855.01 o -28 968.17/968.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 968.17/968.57 c 83958 167 8224 874961 106 49888 2033 5122 98 854.73 968.17/968.57 c 84059 167 4173 172744 41 17672 2237 1071 98 855.78 968.17/968.57 c 84310 167 4662 255621 54 22739 2461 1560 98 856.72 968.17/968.57 c 84785 167 5599 418186 74 30256 2708 2497 98 858.72 968.17/968.57 c 85598 166 7196 685855 95 41560 2979 4094 98 865.00 968.17/968.57 c 86918 165 5083 316706 62 25495 3277 1981 99 877.19 968.17/968.57 c 88999 165 9146 1022087 111 53259 3605 6044 99 892.11 968.17/968.57 c 92222 163 5272 341490 64 28116 3966 2170 100 918.01 968.17/968.57 c 97158 163 9656 1074130 111 56177 4363 6554 101 961.66 968.17/968.57 o -29 1728.72/1729.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1728.72/1729.36 c 97884 163 5678 408608 71 31066 2033 2576 101 968.25 1728.72/1729.36 c 97984 161 5869 439353 74 29336 2237 2767 101 968.78 1728.72/1729.36 c 98234 160 6360 518486 81 33199 2461 3258 101 970.26 1728.72/1729.36 c 98709 160 7289 660962 90 42185 2708 4187 101 973.10 1728.72/1729.36 c 99522 160 8756 903928 103 53039 2979 5654 101 981.25 1728.72/1729.36 c 100842 160 6575 553059 84 36837 3277 3473 101 991.82 1728.72/1729.36 c 102923 159 5760 428502 74 32167 3605 2658 102 1008.84 1728.72/1729.36 c 106146 159 6872 609057 88 37859 3966 3770 102 1036.46 1728.72/1729.36 c 111082 159 5551 379912 68 27458 4363 2449 102 1084.14 1728.72/1729.36 c 118588 159 8942 968346 108 46697 4800 5840 103 1149.49 1728.72/1729.36 c 129949 157 7074 653261 92 34628 5281 3972 102 1265.43 1728.72/1729.36 c 147093 130 8531 807141 94 44704 5810 5429 100 1457.39 1728.72/1729.36 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 1728.72/1729.36 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1728.72/1729.36 c 46 168414 5754 175337 9603 743397 6501 97 1728.80 1728.72/1729.36 c Objective: -29 1728.72/1729.36 s OPTIMUM FOUND 1728.72/1729.36 c Total time: 1728.8 s
OK -29
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879657-1245246475/watcher-1879657-1245246475 -o /tmp/evaluation-result-1879657-1245246475/solver-1879657-1245246475 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879657-1245246475.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.94 3/64 9112 /proc/meminfo: memFree=1712808/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=10960 CPUtime=0 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 266 0 0 0 0 0 0 0 18 0 1 0 192240469 11223040 250 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 2740 251 174 640 0 2033 0 [startup+0.0886629 s] /proc/loadavg: 1.00 1.00 0.94 3/64 9112 /proc/meminfo: memFree=1712808/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=12620 CPUtime=0.08 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 803 0 0 0 8 0 0 0 18 0 1 0 192240469 12922880 724 1992294400 134512640 137136520 4294956256 18446744073709551615 134616725 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 3155 724 197 640 0 2511 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 12620 [startup+0.101664 s] /proc/loadavg: 1.00 1.00 0.94 3/64 9112 /proc/meminfo: memFree=1712808/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=12620 CPUtime=0.09 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 803 0 0 0 9 0 0 0 18 0 1 0 192240469 12922880 724 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 3155 724 197 640 0 2511 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12620 [startup+0.301692 s] /proc/loadavg: 1.00 1.00 0.94 3/64 9112 /proc/meminfo: memFree=1712808/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=13552 CPUtime=0.29 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 1051 0 0 0 29 0 0 0 19 0 1 0 192240469 13877248 972 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 3388 972 197 640 0 2744 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13552 [startup+0.701749 s] /proc/loadavg: 1.00 1.00 0.94 3/64 9112 /proc/meminfo: memFree=1712808/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=14960 CPUtime=0.69 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 1382 0 0 0 69 0 0 0 22 0 1 0 192240469 15319040 1303 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 3740 1303 197 640 0 3096 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14960 [startup+1.50286 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9113 /proc/meminfo: memFree=1707616/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=16836 CPUtime=1.49 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 1858 0 0 0 149 0 0 0 25 0 1 0 192240469 17240064 1779 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 4209 1779 197 640 0 3565 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16836 [startup+3.10109 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9113 /proc/meminfo: memFree=1705376/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=19296 CPUtime=3.09 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 2467 0 0 0 308 1 0 0 25 0 1 0 192240469 19759104 2388 1992294400 134512640 137136520 4294956256 18446744073709551615 134544604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 4824 2388 197 640 0 4180 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19296 [startup+6.30154 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9113 /proc/meminfo: memFree=1701408/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=22604 CPUtime=6.29 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 3293 0 0 0 627 2 0 0 25 0 1 0 192240469 23146496 3214 1992294400 134512640 137136520 4294956256 18446744073709551615 134543849 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 5651 3214 197 640 0 5007 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22604 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9113 /proc/meminfo: memFree=1696488/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=26852 CPUtime=12.69 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 4380 0 0 0 1266 3 0 0 25 0 1 0 192240469 27496448 4301 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 6713 4301 197 640 0 6069 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26852 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9113 /proc/meminfo: memFree=1694696/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=28416 CPUtime=25.49 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 4748 0 0 0 2545 4 0 0 25 0 1 0 192240469 29097984 4669 1992294400 134512640 137136520 4294956256 18446744073709551615 134605455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 7104 4669 198 640 0 6460 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 28416 [startup+51.1019 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9113 /proc/meminfo: memFree=1692840/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=30188 CPUtime=51.07 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 5213 0 0 0 5103 4 0 0 25 0 1 0 192240469 30912512 5134 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 7547 5134 198 640 0 6903 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 30188 [startup+102.305 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9113 /proc/meminfo: memFree=1691432/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=31632 CPUtime=102.26 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 5553 0 0 0 10219 7 0 0 25 0 1 0 192240469 32391168 5474 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 7908 5474 198 640 0 7264 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 31632 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9113 /proc/meminfo: memFree=1690344/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=32592 CPUtime=162.24 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 5809 0 0 0 16215 9 0 0 25 0 1 0 192240469 33374208 5730 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 8148 5730 198 640 0 7504 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 32592 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9113 /proc/meminfo: memFree=1689512/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=33416 CPUtime=222.22 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 6015 0 0 0 22210 12 0 0 25 0 1 0 192240469 34217984 5936 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 8354 5936 198 640 0 7710 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 33416 [startup+282.302 s] /proc/loadavg: 1.04 1.01 0.94 2/65 9113 /proc/meminfo: memFree=1689192/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=33652 CPUtime=282.2 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 6080 0 0 0 28207 13 0 0 25 0 1 0 192240469 34459648 6001 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 8413 6001 198 640 0 7769 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 33652 [startup+342.301 s] /proc/loadavg: 1.05 1.02 0.95 2/65 9113 /proc/meminfo: memFree=1687784/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=35056 CPUtime=342.18 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 6424 0 0 0 34203 15 0 0 25 0 1 0 192240469 35897344 6345 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 8764 6345 198 640 0 8120 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 35056 [startup+402.302 s] /proc/loadavg: 1.05 1.03 0.95 3/65 9113 /proc/meminfo: memFree=1687464/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=35404 CPUtime=402.16 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 6511 0 0 0 40200 16 0 0 25 0 1 0 192240469 36253696 6432 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 8851 6432 198 640 0 8207 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 35404 [startup+462.301 s] /proc/loadavg: 1.02 1.02 0.95 2/65 9115 /proc/meminfo: memFree=1687336/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=35404 CPUtime=462.14 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 6511 0 0 0 46195 19 0 0 25 0 1 0 192240469 36253696 6432 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 8851 6432 198 640 0 8207 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 35404 [startup+522.302 s] /proc/loadavg: 1.00 1.02 0.95 2/65 9115 /proc/meminfo: memFree=1687528/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=35404 CPUtime=522.12 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 6511 0 0 0 52192 20 0 0 25 0 1 0 192240469 36253696 6432 1992294400 134512640 137136520 4294956256 18446744073709551615 136502025 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 8851 6432 198 640 0 8207 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 35404 [startup+582.301 s] /proc/loadavg: 1.00 1.01 0.95 2/65 9115 /proc/meminfo: memFree=1686440/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=36496 CPUtime=582.1 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 6794 0 0 0 58187 23 0 0 25 0 1 0 192240469 37371904 6715 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 9124 6715 198 640 0 8480 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 36496 [startup+642.302 s] /proc/loadavg: 1.00 1.01 0.95 2/65 9115 /proc/meminfo: memFree=1686056/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=36864 CPUtime=642.08 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 6878 0 0 0 64184 24 0 0 25 0 1 0 192240469 37748736 6799 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 9216 6799 198 640 0 8572 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 36864 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1686112/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=36572 CPUtime=941.98 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 6878 0 0 0 94164 34 0 0 25 0 1 0 192240469 37449728 6734 1992294400 134512640 137136520 4294956256 18446744073709551615 136295557 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 9143 6734 198 640 0 8499 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 36572 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 9121 /proc/meminfo: memFree=1686368/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=36304 CPUtime=1001.96 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 6878 0 0 0 100159 37 0 0 25 0 1 0 192240469 37175296 6667 1992294400 134512640 137136520 4294956256 18446744073709551615 134607060 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 9076 6667 198 640 0 8432 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 36304 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 9121 /proc/meminfo: memFree=1686368/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=36300 CPUtime=1061.94 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 6878 0 0 0 106155 39 0 0 25 0 1 0 192240469 37171200 6666 1992294400 134512640 137136520 4294956256 18446744073709551615 134543837 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 9075 6666 198 640 0 8431 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 36300 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 9121 /proc/meminfo: memFree=1686440/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=36300 CPUtime=1121.92 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 6878 0 0 0 112151 41 0 0 25 0 1 0 192240469 37171200 6666 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 9075 6666 198 640 0 8431 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 36300 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 9121 /proc/meminfo: memFree=1686440/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=36300 CPUtime=1181.9 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 6878 0 0 0 118147 43 0 0 25 0 1 0 192240469 37171200 6666 1992294400 134512640 137136520 4294956256 18446744073709551615 134544112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 9075 6666 198 640 0 8431 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 36300 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 9121 /proc/meminfo: memFree=1686440/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=36292 CPUtime=1241.88 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 6878 0 0 0 124144 44 0 0 25 0 1 0 192240469 37163008 6664 1992294400 134512640 137136520 4294956256 18446744073709551615 134543965 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 9073 6664 198 640 0 8429 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 36292 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 9121 /proc/meminfo: memFree=1686440/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=36292 CPUtime=1301.87 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 6878 0 0 0 130140 47 0 0 25 0 1 0 192240469 37163008 6664 1992294400 134512640 137136520 4294956256 18446744073709551615 134544252 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 9073 6664 198 640 0 8429 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 36292 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 9121 /proc/meminfo: memFree=1686504/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=36292 CPUtime=1361.85 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 6878 0 0 0 136136 49 0 0 25 0 1 0 192240469 37163008 6664 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 9073 6664 198 640 0 8429 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 36292 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.95 2/65 9121 /proc/meminfo: memFree=1686440/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=36292 CPUtime=1421.83 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 6878 0 0 0 142132 51 0 0 25 0 1 0 192240469 37163008 6664 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 9073 6664 198 640 0 8429 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 36292 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 9121 /proc/meminfo: memFree=1686376/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=36292 CPUtime=1481.8 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 6878 0 0 0 148128 52 0 0 25 0 1 0 192240469 37163008 6664 1992294400 134512640 137136520 4294956256 18446744073709551615 134540836 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 9073 6664 198 640 0 8429 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 36292 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 9121 /proc/meminfo: memFree=1686568/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=36292 CPUtime=1541.78 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 6878 0 0 0 154124 54 0 0 25 0 1 0 192240469 37163008 6664 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 9073 6664 198 640 0 8429 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 36292 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 9121 /proc/meminfo: memFree=1686504/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=36292 CPUtime=1601.77 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 6878 0 0 0 160121 56 0 0 25 0 1 0 192240469 37163008 6664 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 9073 6664 198 640 0 8429 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 36292 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 9121 /proc/meminfo: memFree=1686504/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=36292 CPUtime=1661.75 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 6878 0 0 0 166117 58 0 0 25 0 1 0 192240469 37163008 6664 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 9073 6664 198 640 0 8429 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 36292 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 9121 /proc/meminfo: memFree=1686440/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=36292 CPUtime=1721.73 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 6878 0 0 0 172114 59 0 0 25 0 1 0 192240469 37163008 6664 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 9073 6664 198 640 0 8429 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 36292 Solver just ended. Dumping a history of the last processes samples [startup+1724.7 s] /proc/loadavg: 1.00 1.00 0.95 2/65 9121 /proc/meminfo: memFree=1686440/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=36292 CPUtime=1724.13 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 6878 0 0 0 172354 59 0 0 25 0 1 0 192240469 37163008 6664 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 9073 6664 198 640 0 8429 0 Current children cumulated CPU time (s) 1724.13 Current children cumulated vsize (KiB) 36292 [startup+1727.9 s] /proc/loadavg: 1.00 1.00 0.95 2/65 9121 /proc/meminfo: memFree=1686440/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=36292 CPUtime=1727.32 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 6878 0 0 0 172673 59 0 0 25 0 1 0 192240469 37163008 6664 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 9073 6664 198 640 0 8429 0 Current children cumulated CPU time (s) 1727.32 Current children cumulated vsize (KiB) 36292 [startup+1728.7 s] /proc/loadavg: 1.00 1.00 0.95 2/65 9121 /proc/meminfo: memFree=1686440/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=36292 CPUtime=1728.12 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 6878 0 0 0 172753 59 0 0 25 0 1 0 192240469 37163008 6664 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 9073 6664 198 640 0 8429 0 Current children cumulated CPU time (s) 1728.12 Current children cumulated vsize (KiB) 36292 [startup+1729.1 s] /proc/loadavg: 1.00 1.00 0.95 2/65 9121 /proc/meminfo: memFree=1686440/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=36292 CPUtime=1728.53 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 6878 0 0 0 172794 59 0 0 25 0 1 0 192240469 37163008 6664 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 9073 6664 198 640 0 8429 0 Current children cumulated CPU time (s) 1728.53 Current children cumulated vsize (KiB) 36292 [startup+1729.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 9121 /proc/meminfo: memFree=1686440/2055920 swapFree=4181384/4192956 [pid=9112] ppid=9110 vsize=36292 CPUtime=1728.72 /proc/9112/stat : 9112 (bsolo) R 9110 9112 8499 0 -1 4194304 6878 0 0 0 172813 59 0 0 25 0 1 0 192240469 37163008 6664 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9112/statm: 9073 6664 198 640 0 8429 0 Current children cumulated CPU time (s) 1728.72 Current children cumulated vsize (KiB) 36292 Child status: 0 Real time (s): 1729.37 CPU time (s): 1728.81 CPU user time (s): 1728.2 CPU system time (s): 0.601908 CPU usage (%): 99.9673 Max. virtual memory (cumulated for all children) (KiB): 36864 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1728.2 system time used= 0.601908 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6880 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= 4 involuntary context switches= 1276 runsolver used 1.24381 second user time and 3.79542 second system time The end
Begin job on node49 at 2009-06-17 15:47:55 IDJOB=1879657 IDBENCH=48207 IDSOLVER=701 FILE ID=node49/1879657-1245246475 PBS_JOBID= 9372291 Free space on /tmp= 66028 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_1.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879657-1245246475/watcher-1879657-1245246475 -o /tmp/evaluation-result-1879657-1245246475/solver-1879657-1245246475 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879657-1245246475.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2cdec46d3e8e924c4987d217b8438ed8 RANDOM SEED=1358623429 node49.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 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.232 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: 1713480 kB Buffers: 65676 kB Cached: 205144 kB SwapCached: 4580 kB Active: 90432 kB Inactive: 188528 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1713480 kB SwapTotal: 4192956 kB SwapFree: 4181384 kB Dirty: 4016 kB Writeback: 0 kB Mapped: 13852 kB Slab: 49288 kB Committed_AS: 195972 kB PageTables: 1388 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879657-1245246475.opb Free space on /tmp at the end= 66024 MiB End job on node49 at 2009-06-17 16:16:45