Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | -27 | 1798.01 | 1798.46 |
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.27 |
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.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2670981-1276713184.opb 0.00/0.00 c File size is 255995 bytes. 0.00/0.04 c Highest Coefficient sum: 200 0.00/0.04 c Parsing was ok!! 0.00/0.04 c Total parsing time: 0.044 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.07/0.08 c Pre-processing Time: 0.087 s 0.07/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.07/0.08 c 0 200 3102 9306 3 6204 1033 0 0 0.09 0.07/0.08 c Switching off lower bounding mode. 0.07/0.08 o -24 0.07/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.07/0.09 c 0 200 3103 9506 3 6230 2033 1 0 0.09 0.07/0.09 o -25 18.59/18.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.59/18.68 c 9 200 3113 11264 3 6275 2033 11 98 0.09 18.59/18.68 c 109 200 3213 28400 8 6475 2237 111 832 0.13 18.59/18.68 c 359 200 3463 71116 20 6975 2461 361 1547 0.23 18.59/18.68 c 834 200 3939 152482 38 7927 2708 837 1857 0.45 18.59/18.68 c 1647 200 4752 291819 61 9553 2979 1650 2038 0.81 18.59/18.68 c 2967 200 6078 518813 85 12228 3277 2976 1972 1.50 18.59/18.68 c 5048 200 8167 875792 107 16406 3605 5065 1701 2.97 18.59/18.68 c 8271 200 6320 559653 88 12665 3966 3218 1562 5.29 18.59/18.68 c 13208 200 6010 504701 83 12045 4363 2908 1312 10.07 18.59/18.68 c 20715 200 8086 859337 106 16197 4800 4984 1199 17.28 18.59/18.68 o -26 44.78/44.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 44.78/44.84 c 22741 200 10116 1206894 119 20283 2033 7014 1217 18.68 44.78/44.84 c 22841 200 4220 200120 47 8466 2237 1118 1215 18.79 44.78/44.84 c 23092 200 4472 242928 54 8970 2461 1370 1221 18.91 44.78/44.84 c 23567 200 4949 323967 65 9924 2708 1847 1229 19.17 44.78/44.84 c 24380 200 5766 463159 80 11558 2979 2664 1243 19.60 44.78/44.84 c 25700 200 7088 687300 96 14202 3277 3986 1260 20.39 44.78/44.84 c 27781 200 9173 1041549 113 18372 3605 6071 1275 21.77 44.78/44.84 c 31004 200 7336 728807 99 14698 3966 4234 1290 24.02 44.78/44.84 c 35940 200 7024 675413 96 14074 4363 3922 1276 28.15 44.78/44.84 c 43447 200 9090 1025668 112 18230 4800 5988 1222 35.54 44.78/44.84 o -27 1797.94/1798.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.94/1798.45 c 50760 200 10772 1301851 120 21620 2033 7670 1132 44.83 1797.94/1798.45 c 50860 200 4220 195258 46 8467 2237 1118 1129 45.02 1797.94/1798.45 c 51110 200 4470 237425 53 8967 2461 1368 1132 45.15 1797.94/1798.45 c 51585 200 4951 318625 64 9929 2708 1849 1136 45.40 1797.94/1798.45 c 52398 200 5767 456405 79 11561 2979 2665 1143 45.83 1797.94/1798.45 c 53719 200 7090 679969 95 14207 3277 3988 1152 46.60 1797.94/1798.45 c 55801 200 9177 1032114 112 18381 3605 6075 1163 47.98 1797.94/1798.45 c 59024 200 7323 720841 98 14698 3966 4221 1162 50.76 1797.94/1798.45 c 63961 200 7009 668598 95 14045 4363 3907 1165 54.88 1797.94/1798.45 c 71467 200 9074 1011837 111 18200 4800 5972 1159 61.64 1797.94/1798.45 c 82829 200 9126 1026729 112 18279 5281 6024 1140 72.66 1797.94/1798.45 c 99973 200 8572 928636 108 17244 5810 5470 1062 94.12 1797.94/1798.45 c 125793 200 9770 1134029 116 19567 6392 6668 983 127.92 1797.94/1798.45 c 164626 200 9917 1157985 116 19861 7032 6815 895 183.83 1797.94/1798.45 c 222978 200 7312 714265 97 14651 7736 4210 822 271.24 1797.94/1798.45 c 310610 200 9484 1082172 114 19020 8510 6382 749 414.17 1797.94/1798.45 c 442163 200 13485 1752417 129 27045 9362 10383 682 647.78 1797.94/1798.45 c 639595 200 12684 1619695 127 25442 10299 9582 642 995.06 1797.94/1798.45 c 935847 200 15261 2050374 134 30622 11329 12159 586 1595.54 1797.94/1798.45 c Resources Exceeded 1797.94/1798.45 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 1797.94/1798.45 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.94/1798.45 c 40 1040309 53654 1102209 12810 1639397 9708 578 1798.00 1797.94/1798.45 c Objective: -27 1797.94/1798.45 s SATISFIABLE 1797.94/1798.45 c Total time: 1798 s
OK -27
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670981-1276713184/watcher-2670981-1276713184 -o /tmp/evaluation-result-2670981-1276713184/solver-2670981-1276713184 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670981-1276713184.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: 0.85 0.97 0.99 3/106 16930 /proc/meminfo: memFree=1672988/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=11176 CPUtime=0 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 362 0 0 0 0 0 0 0 18 0 1 0 12610338 11444224 280 1992294400 134512640 137138936 4293701824 18446744073709551615 134517511 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 2794 280 175 642 0 2087 0 [startup+0.0773021 s] /proc/loadavg: 0.85 0.97 0.99 3/106 16930 /proc/meminfo: memFree=1672988/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=12668 CPUtime=0.07 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 860 0 0 0 7 0 0 0 20 0 1 0 12610338 12972032 715 1992294400 134512640 137138936 4293701824 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 3167 715 185 642 0 2523 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 12668 [startup+0.101304 s] /proc/loadavg: 0.85 0.97 0.99 3/106 16930 /proc/meminfo: memFree=1672988/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=12668 CPUtime=0.09 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 867 0 0 0 9 0 0 0 20 0 1 0 12610338 12972032 722 1992294400 134512640 137138936 4293701824 18446744073709551615 136500294 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 3167 722 192 642 0 2523 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12668 [startup+0.301322 s] /proc/loadavg: 0.85 0.97 0.99 3/106 16930 /proc/meminfo: memFree=1672988/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=13468 CPUtime=0.29 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 1079 0 0 0 29 0 0 0 20 0 1 0 12610338 13791232 934 1992294400 134512640 137138936 4293701824 18446744073709551615 136504119 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 3367 934 192 642 0 2723 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13468 [startup+0.70136 s] /proc/loadavg: 0.85 0.97 0.99 3/106 16930 /proc/meminfo: memFree=1672988/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=15408 CPUtime=0.69 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 1567 0 0 0 68 1 0 0 20 0 1 0 12610338 15777792 1422 1992294400 134512640 137138936 4293701824 18446744073709551615 134575833 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 3852 1422 192 642 0 3208 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15408 [startup+1.50143 s] /proc/loadavg: 0.85 0.97 0.99 2/107 16931 /proc/meminfo: memFree=1666780/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=18864 CPUtime=1.49 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 2429 0 0 0 147 2 0 0 23 0 1 0 12610338 19316736 2284 1992294400 134512640 137138936 4293701824 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 4716 2284 192 642 0 4072 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18864 [startup+3.10058 s] /proc/loadavg: 0.85 0.97 0.99 2/107 16931 /proc/meminfo: memFree=1662316/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=24068 CPUtime=3.09 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 3729 0 0 0 306 3 0 0 25 0 1 0 12610338 24645632 3584 1992294400 134512640 137138936 4293701824 18446744073709551615 134577137 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 6017 3584 192 642 0 5373 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24068 [startup+6.30088 s] /proc/loadavg: 0.86 0.97 0.99 2/107 16931 /proc/meminfo: memFree=1655744/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=27576 CPUtime=6.29 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 4612 0 0 0 625 4 0 0 25 0 1 0 12610338 28237824 4467 1992294400 134512640 137138936 4293701824 18446744073709551615 134542330 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 6894 4467 192 642 0 6250 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27576 [startup+12.7005 s] /proc/loadavg: 0.87 0.97 0.99 2/107 16931 /proc/meminfo: memFree=1654760/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=28540 CPUtime=12.69 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 4833 0 0 0 1264 5 0 0 25 0 1 0 12610338 29224960 4688 1992294400 134512640 137138936 4293701824 18446744073709551615 134552440 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 7135 4688 192 642 0 6491 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28540 [startup+25.5017 s] /proc/loadavg: 0.90 0.97 0.99 2/107 16931 /proc/meminfo: memFree=1654016/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=29268 CPUtime=25.49 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 5039 0 0 0 2540 9 0 0 25 0 1 0 12610338 29970432 4892 1992294400 134512640 137138936 4293701824 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 7317 4892 192 642 0 6673 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 29268 [startup+51.101 s] /proc/loadavg: 0.93 0.97 0.99 2/107 16931 /proc/meminfo: memFree=1653148/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=30152 CPUtime=51.08 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 5256 0 0 0 5094 14 0 0 25 0 1 0 12610338 30875648 5109 1992294400 134512640 137138936 4293701824 18446744073709551615 134552089 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 7538 5109 192 642 0 6894 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 30152 [startup+102.309 s] /proc/loadavg: 0.97 0.97 0.99 2/107 16933 /proc/meminfo: memFree=1651040/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=32136 CPUtime=102.28 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 5760 0 0 0 10201 27 0 0 25 0 1 0 12610338 32907264 5608 1992294400 134512640 137138936 4293701824 18446744073709551615 136297746 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 8034 5608 192 642 0 7390 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 32136 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 16935 /proc/meminfo: memFree=1649676/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=33564 CPUtime=162.25 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 6104 0 0 0 16186 39 0 0 25 0 1 0 12610338 34369536 5952 1992294400 134512640 137138936 4293701824 18446744073709551615 134542378 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 8391 5952 192 642 0 7747 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 33564 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 16937 /proc/meminfo: memFree=1648188/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=35008 CPUtime=222.23 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 6475 0 0 0 22172 51 0 0 25 0 1 0 12610338 35848192 6323 1992294400 134512640 137138936 4293701824 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 8752 6323 192 642 0 8108 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 35008 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 16939 /proc/meminfo: memFree=1646700/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=36580 CPUtime=282.22 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 6850 0 0 0 28159 63 0 0 25 0 1 0 12610338 37457920 6698 1992294400 134512640 137138936 4293701824 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 9145 6698 192 642 0 8501 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 36580 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 16939 /proc/meminfo: memFree=1646576/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=36540 CPUtime=342.21 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 6853 0 0 0 34145 76 0 0 25 0 1 0 12610338 37416960 6701 1992294400 134512640 137138936 4293701824 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 9135 6701 192 642 0 8491 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 36540 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 16941 /proc/meminfo: memFree=1646576/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=36624 CPUtime=402.19 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 6865 0 0 0 40133 86 0 0 25 0 1 0 12610338 37502976 6713 1992294400 134512640 137138936 4293701824 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 9156 6713 192 642 0 8512 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 36624 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 16943 /proc/meminfo: memFree=1644840/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=38408 CPUtime=462.18 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 7308 0 0 0 46120 98 0 0 25 0 1 0 12610338 39329792 7156 1992294400 134512640 137138936 4293701824 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 9602 7156 192 642 0 8958 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 38408 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 16945 /proc/meminfo: memFree=1644716/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=38352 CPUtime=522.16 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 7308 0 0 0 52109 107 0 0 25 0 1 0 12610338 39272448 7156 1992294400 134512640 137138936 4293701824 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 9588 7156 192 642 0 8944 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 38352 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 16947 /proc/meminfo: memFree=1644716/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=38352 CPUtime=582.15 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 7308 0 0 0 58097 118 0 0 25 0 1 0 12610338 39272448 7156 1992294400 134512640 137138936 4293701824 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 9588 7156 192 642 0 8944 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 38352 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 16947 /proc/meminfo: memFree=1644592/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=38340 CPUtime=642.14 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 7308 0 0 0 64085 129 0 0 25 0 1 0 12610338 39260160 7156 1992294400 134512640 137138936 4293701824 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 9585 7156 192 642 0 8941 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 38340 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1640500/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=42308 CPUtime=1122.02 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 8298 0 0 0 111984 218 0 0 25 0 1 0 12610338 43323392 8141 1992294400 134512640 137138936 4293701824 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 10577 8141 192 642 0 9933 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 42308 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 16963 /proc/meminfo: memFree=1640376/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=42372 CPUtime=1181.99 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 8310 0 0 0 117972 227 0 0 25 0 1 0 12610338 43388928 8153 1992294400 134512640 137138936 4293701824 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 10593 8153 192 642 0 9949 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 42372 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 16963 /proc/meminfo: memFree=1640252/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=42372 CPUtime=1241.98 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 8324 0 0 0 123961 237 0 0 25 0 1 0 12610338 43388928 8167 1992294400 134512640 137138936 4293701824 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 10593 8167 192 642 0 9949 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 42372 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 16965 /proc/meminfo: memFree=1640252/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=42372 CPUtime=1301.97 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 8324 0 0 0 129948 249 0 0 25 0 1 0 12610338 43388928 8167 1992294400 134512640 137138936 4293701824 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 10593 8167 192 642 0 9949 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 42372 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 16967 /proc/meminfo: memFree=1640128/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=42372 CPUtime=1361.96 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 8324 0 0 0 135936 260 0 0 25 0 1 0 12610338 43388928 8167 1992294400 134512640 137138936 4293701824 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 10593 8167 192 642 0 9949 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 42372 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.99 2/107 16969 /proc/meminfo: memFree=1640128/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=42364 CPUtime=1421.95 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 8324 0 0 0 141925 270 0 0 25 0 1 0 12610338 43380736 8166 1992294400 134512640 137138936 4293701824 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 10591 8166 192 642 0 9947 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 42364 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 16971 /proc/meminfo: memFree=1640128/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=42364 CPUtime=1481.93 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 8324 0 0 0 147915 278 0 0 25 0 1 0 12610338 43380736 8166 1992294400 134512640 137138936 4293701824 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 10591 8166 192 642 0 9947 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 42364 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 16971 /proc/meminfo: memFree=1640128/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=42352 CPUtime=1541.91 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 8324 0 0 0 153902 289 0 0 25 0 1 0 12610338 43368448 8163 1992294400 134512640 137138936 4293701824 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 10588 8163 192 642 0 9944 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 42352 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 16973 /proc/meminfo: memFree=1638020/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=44668 CPUtime=1601.89 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 8893 0 0 0 159890 299 0 0 25 0 1 0 12610338 45740032 8725 1992294400 134512640 137138936 4293701824 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 11167 8725 192 642 0 10523 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 44668 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 16975 /proc/meminfo: memFree=1637896/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=44784 CPUtime=1661.88 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 8922 0 0 0 165876 312 0 0 25 0 1 0 12610338 45858816 8754 1992294400 134512640 137138936 4293701824 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 11196 8754 192 642 0 10552 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 44784 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 16986 /proc/meminfo: memFree=1637524/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=44756 CPUtime=1721.86 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 8922 0 0 0 171863 323 0 0 25 0 1 0 12610338 45830144 8754 1992294400 134512640 137138936 4293701824 18446744073709551615 136520979 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 11189 8754 192 642 0 10545 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 44756 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 16988 /proc/meminfo: memFree=1637524/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=44728 CPUtime=1781.84 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 8922 0 0 0 177852 332 0 0 25 0 1 0 12610338 45801472 8754 1992294400 134512640 137138936 4293701824 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 11182 8754 192 642 0 10538 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 44728 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 0.99 0.99 2/107 16988 /proc/meminfo: memFree=1637524/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=44728 CPUtime=1791.44 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 8922 0 0 0 178810 334 0 0 25 0 1 0 12610338 45801472 8754 1992294400 134512640 137138936 4293701824 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 11182 8754 192 642 0 10538 0 Current children cumulated CPU time (s) 1791.44 Current children cumulated vsize (KiB) 44728 [startup+1795.1 s] /proc/loadavg: 1.00 0.99 0.99 2/107 16988 /proc/meminfo: memFree=1637524/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=44708 CPUtime=1794.64 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 8922 0 0 0 179130 334 0 0 25 0 1 0 12610338 45780992 8753 1992294400 134512640 137138936 4293701824 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 11177 8753 192 642 0 10533 0 Current children cumulated CPU time (s) 1794.64 Current children cumulated vsize (KiB) 44708 [startup+1796.7 s] /proc/loadavg: 1.00 0.99 0.99 2/107 16988 /proc/meminfo: memFree=1637524/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=44708 CPUtime=1796.24 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 8922 0 0 0 179289 335 0 0 25 0 1 0 12610338 45780992 8753 1992294400 134512640 137138936 4293701824 18446744073709551615 134607594 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 11177 8753 192 642 0 10533 0 Current children cumulated CPU time (s) 1796.24 Current children cumulated vsize (KiB) 44708 [startup+1797.5 s] /proc/loadavg: 1.00 0.99 0.99 2/107 16988 /proc/meminfo: memFree=1637524/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=44708 CPUtime=1797.03 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 8922 0 0 0 179368 335 0 0 25 0 1 0 12610338 45780992 8753 1992294400 134512640 137138936 4293701824 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 11177 8753 192 642 0 10533 0 Current children cumulated CPU time (s) 1797.03 Current children cumulated vsize (KiB) 44708 [startup+1797.9 s] /proc/loadavg: 1.00 0.99 0.99 2/107 16988 /proc/meminfo: memFree=1637524/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=44708 CPUtime=1797.43 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 8922 0 0 0 179408 335 0 0 25 0 1 0 12610338 45780992 8753 1992294400 134512640 137138936 4293701824 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 11177 8753 192 642 0 10533 0 Current children cumulated CPU time (s) 1797.43 Current children cumulated vsize (KiB) 44708 [startup+1798.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 16988 /proc/meminfo: memFree=1637524/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=44708 CPUtime=1797.83 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 8922 0 0 0 179448 335 0 0 25 0 1 0 12610338 45780992 8753 1992294400 134512640 137138936 4293701824 18446744073709551615 134577120 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 11177 8753 192 642 0 10533 0 Current children cumulated CPU time (s) 1797.83 Current children cumulated vsize (KiB) 44708 [startup+1798.4 s] /proc/loadavg: 1.00 0.99 0.99 2/107 16988 /proc/meminfo: memFree=1637524/2059040 swapFree=4187148/4192956 [pid=16930] ppid=16928 vsize=44708 CPUtime=1797.94 /proc/16930/stat : 16930 (bsolo_pb10) R 16928 16930 16897 0 -1 4202496 8922 0 0 0 179459 335 0 0 25 0 1 0 12610338 45780992 8753 1992294400 134512640 137138936 4293701824 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16930/statm: 11177 8753 192 642 0 10533 0 Current children cumulated CPU time (s) 1797.94 Current children cumulated vsize (KiB) 44708 Child status: 0 Real time (s): 1798.46 CPU time (s): 1798.01 CPU user time (s): 1794.64 CPU system time (s): 3.36249 CPU usage (%): 99.9747 Max. virtual memory (cumulated for all children) (KiB): 44784 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.64 system time used= 3.36249 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8923 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= 1 involuntary context switches= 5313 runsolver used 2.91356 second user time and 8.5457 second system time The end
Begin job on node048 at 2010-06-16 20:33:04 IDJOB=2670981 IDBENCH=48207 IDSOLVER=1162 FILE ID=node048/2670981-1276713184 PBS_JOBID= 11174154 Free space on /tmp= 62456 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_1.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670981-1276713184/watcher-2670981-1276713184 -o /tmp/evaluation-result-2670981-1276713184/solver-2670981-1276713184 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670981-1276713184.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2cdec46d3e8e924c4987d217b8438ed8 RANDOM SEED=1313677634 node048.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.212 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.42 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.212 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1674012 kB Buffers: 119068 kB Cached: 144480 kB SwapCached: 280 kB Active: 105612 kB Inactive: 211644 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1674012 kB SwapTotal: 4192956 kB SwapFree: 4187148 kB Dirty: 4076 kB Writeback: 0 kB AnonPages: 53452 kB Mapped: 15396 kB Slab: 45952 kB PageTables: 4032 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182128 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670981-1276713184.opb Free space on /tmp at the end= 62452 MiB End job on node048 at 2010-06-16 21:03:03