Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | -27 | 1798.01 | 1798.49 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_3.opb |
MD5SUM | 1b4456ec5e57b53956abc30521c99789 |
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 | -29 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -30 |
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 | 45 |
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) | 6216 |
Sum of products size (including duplicates) | 12432 |
Number of different products | 3108 |
Sum of products size | 6216 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2670992-1276713446.opb 0.00/0.00 c File size is 256537 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.04/0.05 c Var: 3308 Constr: 6616 3308/200/3108 Lit: 31080 Watch. Lit: 21756 0.04/0.05 c Obj. Vars: 200 (6.04595 % of total variables) 0.04/0.09 c Pre-processing Time: 0.089 s 0.04/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.09 c 0 200 3108 9324 3 6216 1035 0 0 0.09 0.04/0.09 c Switching off lower bounding mode. 0.04/0.09 o -25 0.04/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.09 c 0 200 3109 9524 3 6243 2035 1 0 0.09 0.04/0.09 o -26 1714.54/1715.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1714.54/1715.06 c 3 200 3113 10241 3 6277 2035 5 32 0.09 1714.54/1715.06 c 103 200 3213 27261 8 6477 2239 105 971 0.11 1714.54/1715.06 c 353 200 3463 69823 20 6977 2463 355 2385 0.15 1714.54/1715.06 c 829 200 3939 150713 38 7929 2710 831 3425 0.24 1714.54/1715.06 c 1642 200 4752 288799 60 9555 2982 1644 3872 0.42 1714.54/1715.06 c 2962 200 6072 513172 84 12195 3281 2964 3917 0.76 1714.54/1715.06 c 5043 200 8153 866394 106 16357 3610 5045 2966 1.70 1714.54/1715.06 c 8267 200 6292 549588 87 12610 3972 3184 2705 3.06 1714.54/1715.06 c 13203 200 5968 494528 82 11962 4370 2860 2477 5.33 1714.54/1715.06 c 20710 200 8005 839465 104 16036 4808 4897 2050 10.10 1714.54/1715.06 c 32072 200 8005 841148 105 16036 5289 4897 1636 19.60 1714.54/1715.06 c 49216 200 7387 734671 99 14800 5818 4279 1438 34.21 1714.54/1715.06 c 75035 200 8454 916092 108 16934 6400 5346 1277 58.74 1714.54/1715.06 c 113868 200 8416 910784 108 16858 7041 5308 1188 95.78 1714.54/1715.06 c 172221 200 12373 1580907 127 24772 7746 9265 998 172.50 1714.54/1715.06 c 259853 200 7044 675837 95 14114 8521 3936 952 272.87 1714.54/1715.06 c 391405 200 10417 1251480 120 20860 9374 7309 843 463.97 1714.54/1715.06 c 588837 200 8770 971684 110 17566 10312 5662 756 778.61 1714.54/1715.06 c 885090 200 9898 1163095 117 19822 11344 6790 714 1239.53 1714.54/1715.06 o -27 1797.92/1798.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.92/1798.48 c 1146517 200 11868 1494284 125 23789 2035 8760 668 1714.60 1797.92/1798.48 c 1146617 200 4227 197533 46 8481 2239 1119 668 1714.81 1797.92/1798.48 c 1146867 200 4477 239856 53 8981 2463 1369 668 1714.86 1797.92/1798.48 c 1147343 200 4953 320485 64 9933 2710 1845 669 1714.97 1797.92/1798.48 c 1148156 200 5766 457710 79 11559 2982 2658 669 1715.16 1797.92/1798.48 c 1149478 200 7088 680981 96 14203 3281 3980 670 1715.53 1797.92/1798.48 c 1151559 200 9169 1032594 112 18365 3610 6061 670 1716.30 1797.92/1798.48 c 1154783 200 7304 718474 98 14635 3972 4196 672 1717.83 1797.92/1798.48 c 1159719 200 6970 661927 94 13967 4370 3862 674 1719.97 1797.92/1798.48 c 1167225 200 9029 1008646 111 18085 4808 5921 676 1724.28 1797.92/1798.48 c 1178586 200 9021 1007340 111 18069 5289 5913 680 1732.72 1797.92/1798.48 c 1195730 200 8380 897113 107 16787 5818 5272 684 1746.11 1797.92/1798.48 c 1221549 200 9444 1077825 114 18915 6400 6336 689 1772.22 1797.92/1798.48 c Resources Exceeded 1797.92/1798.48 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 x119 -x120 x121 x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 x156 -x157 -x158 x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 x194 -x195 x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 1797.92/1798.48 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.92/1798.48 c 33 1247303 81411 1345120 9261 1048379 6153 693 1798.00 1797.92/1798.48 c Objective: -27 1797.92/1798.48 s SATISFIABLE 1797.92/1798.48 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-2670992-1276713446/watcher-2670992-1276713446 -o /tmp/evaluation-result-2670992-1276713446/solver-2670992-1276713446 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670992-1276713446.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.91 0.98 0.99 3/106 18379 /proc/meminfo: memFree=1642780/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=11052 CPUtime=0 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 335 0 0 0 0 0 0 0 19 0 1 0 12636674 11317248 253 1992294400 134512640 137138936 4291311760 18446744073709551615 134531572 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 2763 253 171 642 0 2056 0 [startup+0.0503601 s] /proc/loadavg: 0.91 0.98 0.99 3/106 18379 /proc/meminfo: memFree=1642780/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=12160 CPUtime=0.04 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 719 0 0 0 4 0 0 0 19 0 1 0 12636674 12451840 574 1992294400 134512640 137138936 4291311760 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 3040 577 182 642 0 2396 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12160 [startup+0.101364 s] /proc/loadavg: 0.91 0.98 0.99 3/106 18379 /proc/meminfo: memFree=1642780/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=12668 CPUtime=0.09 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 868 0 0 0 9 0 0 0 19 0 1 0 12636674 12972032 723 1992294400 134512640 137138936 4291311760 18446744073709551615 136511197 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 3167 723 191 642 0 2523 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12668 [startup+0.301386 s] /proc/loadavg: 0.91 0.98 0.99 3/106 18379 /proc/meminfo: memFree=1642780/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=14724 CPUtime=0.29 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 1378 0 0 0 28 1 0 0 20 0 1 0 12636674 15077376 1233 1992294400 134512640 137138936 4291311760 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 3681 1233 191 642 0 3037 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14724 [startup+0.701429 s] /proc/loadavg: 0.91 0.98 0.99 3/106 18379 /proc/meminfo: memFree=1642780/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=18392 CPUtime=0.69 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 2301 0 0 0 67 2 0 0 20 0 1 0 12636674 18833408 2156 1992294400 134512640 137138936 4291311760 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 4598 2156 191 642 0 3954 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18392 [startup+1.50151 s] /proc/loadavg: 0.91 0.98 0.99 2/107 18380 /proc/meminfo: memFree=1633224/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=22776 CPUtime=1.49 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 3407 0 0 0 146 3 0 0 22 0 1 0 12636674 23322624 3262 1992294400 134512640 137138936 4291311760 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 5694 3263 191 642 0 5050 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22776 [startup+3.10168 s] /proc/loadavg: 0.92 0.98 0.99 2/107 18380 /proc/meminfo: memFree=1627148/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=27560 CPUtime=3.09 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 4588 0 0 0 305 4 0 0 25 0 1 0 12636674 28221440 4443 1992294400 134512640 137138936 4291311760 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 6890 4443 191 642 0 6246 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27560 [startup+6.30202 s] /proc/loadavg: 0.92 0.98 0.99 2/107 18380 /proc/meminfo: memFree=1624916/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=28376 CPUtime=6.29 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 4806 0 0 0 623 6 0 0 25 0 1 0 12636674 29057024 4661 1992294400 134512640 137138936 4291311760 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 7094 4661 191 642 0 6450 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28376 [startup+12.7017 s] /proc/loadavg: 0.93 0.98 0.99 2/107 18380 /proc/meminfo: memFree=1623180/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=30212 CPUtime=12.69 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 5262 0 0 0 1261 8 0 0 25 0 1 0 12636674 30937088 5117 1992294400 134512640 137138936 4291311760 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 7553 5117 191 642 0 6909 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30212 [startup+25.5011 s] /proc/loadavg: 0.94 0.98 0.99 2/107 18382 /proc/meminfo: memFree=1622064/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=31340 CPUtime=25.48 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 5537 0 0 0 2537 11 0 0 25 0 1 0 12636674 32092160 5392 1992294400 134512640 137138936 4291311760 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 7835 5392 191 642 0 7191 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 31340 [startup+51.1008 s] /proc/loadavg: 0.96 0.98 0.99 2/107 18382 /proc/meminfo: memFree=1620948/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=32472 CPUtime=51.07 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 5832 0 0 0 5089 18 0 0 25 0 1 0 12636674 33251328 5687 1992294400 134512640 137138936 4291311760 18446744073709551615 134573444 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 8118 5687 191 642 0 7474 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 32472 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/107 18384 /proc/meminfo: memFree=1617972/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=35216 CPUtime=102.27 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 6522 0 0 0 10196 31 0 0 25 0 1 0 12636674 36061184 6377 1992294400 134512640 137138936 4291311760 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 8804 6377 191 642 0 8160 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 35216 [startup+162.301 s] /proc/loadavg: 1.03 1.00 1.00 2/107 18384 /proc/meminfo: memFree=1617972/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=35260 CPUtime=162.24 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 6527 0 0 0 16180 44 0 0 25 0 1 0 12636674 36106240 6382 1992294400 134512640 137138936 4291311760 18446744073709551615 136504022 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 8815 6382 191 642 0 8171 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 35260 [startup+222.301 s] /proc/loadavg: 1.01 1.00 1.00 2/107 18386 /proc/meminfo: memFree=1616236/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=36824 CPUtime=222.23 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 6918 0 0 0 22163 60 0 0 25 0 1 0 12636674 37707776 6773 1992294400 134512640 137138936 4291311760 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 9206 6773 191 642 0 8562 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 36824 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18388 /proc/meminfo: memFree=1614500/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=38628 CPUtime=282.21 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 7359 0 0 0 28147 74 0 0 25 0 1 0 12636674 39555072 7214 1992294400 134512640 137138936 4291311760 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 9657 7214 191 642 0 9013 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 38628 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18390 /proc/meminfo: memFree=1614500/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=38628 CPUtime=342.2 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 7364 0 0 0 34133 87 0 0 25 0 1 0 12636674 39555072 7219 1992294400 134512640 137138936 4291311760 18446744073709551615 136504143 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 9657 7219 191 642 0 9013 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 38628 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18392 /proc/meminfo: memFree=1614376/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=38628 CPUtime=402.19 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 7366 0 0 0 40120 99 0 0 25 0 1 0 12636674 39555072 7221 1992294400 134512640 137138936 4291311760 18446744073709551615 134575204 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 9657 7221 191 642 0 9013 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 38628 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18392 /proc/meminfo: memFree=1614376/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=38628 CPUtime=462.17 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 7371 0 0 0 46108 109 0 0 25 0 1 0 12636674 39555072 7226 1992294400 134512640 137138936 4291311760 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 9657 7226 191 642 0 9013 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 38628 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18394 /proc/meminfo: memFree=1612516/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=40516 CPUtime=522.15 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 7849 0 0 0 52095 120 0 0 25 0 1 0 12636674 41488384 7704 1992294400 134512640 137138936 4291311760 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 10129 7704 191 642 0 9485 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 40516 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18396 /proc/meminfo: memFree=1612516/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=40516 CPUtime=582.14 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 7849 0 0 0 58081 133 0 0 25 0 1 0 12636674 41488384 7704 1992294400 134512640 137138936 4291311760 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 10129 7704 191 642 0 9485 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 40516 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18398 /proc/meminfo: memFree=1612392/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=40516 CPUtime=642.13 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 7849 0 0 0 64070 143 0 0 25 0 1 0 12636674 41488384 7704 1992294400 134512640 137138936 4291311760 18446744073709551615 135984545 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 10129 7704 191 642 0 9485 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 40516 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1609912/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=42760 CPUtime=1122 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 8421 0 0 0 111955 245 0 0 25 0 1 0 12636674 43786240 8253 1992294400 134512640 137138936 4291311760 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 10690 8253 191 642 0 10046 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 42760 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18412 /proc/meminfo: memFree=1609788/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=42760 CPUtime=1181.98 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 8421 0 0 0 117942 256 0 0 25 0 1 0 12636674 43786240 8253 1992294400 134512640 137138936 4291311760 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 10690 8253 191 642 0 10046 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 42760 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18414 /proc/meminfo: memFree=1609664/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=42748 CPUtime=1241.96 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 8421 0 0 0 123926 270 0 0 25 0 1 0 12636674 43773952 8253 1992294400 134512640 137138936 4291311760 18446744073709551615 134542369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 10687 8253 191 642 0 10043 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 42748 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18416 /proc/meminfo: memFree=1607432/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=45044 CPUtime=1301.96 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 8999 0 0 0 129915 281 0 0 25 0 1 0 12636674 46125056 8831 1992294400 134512640 137138936 4291311760 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 11261 8831 191 642 0 10617 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 45044 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18416 /proc/meminfo: memFree=1607432/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=45044 CPUtime=1361.93 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 8999 0 0 0 135900 293 0 0 25 0 1 0 12636674 46125056 8831 1992294400 134512640 137138936 4291311760 18446744073709551615 135984544 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 11261 8831 191 642 0 10617 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 45044 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18427 /proc/meminfo: memFree=1606440/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=45044 CPUtime=1421.92 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 8999 0 0 0 141884 308 0 0 25 0 1 0 12636674 46125056 8831 1992294400 134512640 137138936 4291311760 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 11261 8831 191 642 0 10617 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 45044 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18429 /proc/meminfo: memFree=1606564/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=45044 CPUtime=1481.89 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 9002 0 0 0 147869 320 0 0 25 0 1 0 12636674 46125056 8834 1992294400 134512640 137138936 4291311760 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 11261 8834 191 642 0 10617 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 45044 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18431 /proc/meminfo: memFree=1606564/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=45044 CPUtime=1541.87 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 9002 0 0 0 153857 330 0 0 25 0 1 0 12636674 46125056 8834 1992294400 134512640 137138936 4291311760 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 11261 8834 191 642 0 10617 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 45044 [startup+1602.3 s] /proc/loadavg: 1.05 1.01 1.00 2/107 18433 /proc/meminfo: memFree=1606564/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=45044 CPUtime=1601.86 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 9002 0 0 0 159845 341 0 0 25 0 1 0 12636674 46125056 8834 1992294400 134512640 137138936 4291311760 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 11261 8834 191 642 0 10617 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 45044 [startup+1662.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 18433 /proc/meminfo: memFree=1606688/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=45044 CPUtime=1661.84 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 9002 0 0 0 165834 350 0 0 25 0 1 0 12636674 46125056 8834 1992294400 134512640 137138936 4291311760 18446744073709551615 134542941 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 11261 8834 191 642 0 10617 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 45044 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18435 /proc/meminfo: memFree=1606936/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=44808 CPUtime=1721.83 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 9002 0 0 0 171819 364 0 0 25 0 1 0 12636674 45883392 8777 1992294400 134512640 137138936 4291311760 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 11202 8777 191 642 0 10558 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 44808 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18437 /proc/meminfo: memFree=1606936/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=44672 CPUtime=1781.82 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 9002 0 0 0 177799 383 0 0 25 0 1 0 12636674 45744128 8743 1992294400 134512640 137138936 4291311760 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 11168 8743 191 642 0 10524 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 44672 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18437 /proc/meminfo: memFree=1606936/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=44656 CPUtime=1791.42 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 9002 0 0 0 178756 386 0 0 25 0 1 0 12636674 45727744 8739 1992294400 134512640 137138936 4291311760 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 11164 8739 191 642 0 10520 0 Current children cumulated CPU time (s) 1791.42 Current children cumulated vsize (KiB) 44656 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18437 /proc/meminfo: memFree=1606936/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=44656 CPUtime=1794.62 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 9002 0 0 0 179075 387 0 0 25 0 1 0 12636674 45727744 8739 1992294400 134512640 137138936 4291311760 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 11164 8739 191 642 0 10520 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (KiB) 44656 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18437 /proc/meminfo: memFree=1606936/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=44656 CPUtime=1796.22 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 9002 0 0 0 179234 388 0 0 25 0 1 0 12636674 45727744 8739 1992294400 134512640 137138936 4291311760 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 11164 8739 191 642 0 10520 0 Current children cumulated CPU time (s) 1796.22 Current children cumulated vsize (KiB) 44656 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18437 /proc/meminfo: memFree=1606936/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=44656 CPUtime=1797.01 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 9002 0 0 0 179313 388 0 0 25 0 1 0 12636674 45727744 8739 1992294400 134512640 137138936 4291311760 18446744073709551615 136502641 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 11164 8739 191 642 0 10520 0 Current children cumulated CPU time (s) 1797.01 Current children cumulated vsize (KiB) 44656 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18437 /proc/meminfo: memFree=1606936/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=44656 CPUtime=1797.41 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 9002 0 0 0 179353 388 0 0 25 0 1 0 12636674 45727744 8739 1992294400 134512640 137138936 4291311760 18446744073709551615 134542378 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 11164 8739 191 642 0 10520 0 Current children cumulated CPU time (s) 1797.41 Current children cumulated vsize (KiB) 44656 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18437 /proc/meminfo: memFree=1606936/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=44656 CPUtime=1797.81 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 9002 0 0 0 179393 388 0 0 25 0 1 0 12636674 45727744 8739 1992294400 134512640 137138936 4291311760 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 11164 8739 191 642 0 10520 0 Current children cumulated CPU time (s) 1797.81 Current children cumulated vsize (KiB) 44656 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18437 /proc/meminfo: memFree=1606936/2059040 swapFree=4192956/4192956 [pid=18379] ppid=18377 vsize=44656 CPUtime=1797.92 /proc/18379/stat : 18379 (bsolo_pb10) R 18377 18379 18346 0 -1 4202496 9002 0 0 0 179404 388 0 0 25 0 1 0 12636674 45727744 8739 1992294400 134512640 137138936 4291311760 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18379/statm: 11164 8739 191 642 0 10520 0 Current children cumulated CPU time (s) 1797.92 Current children cumulated vsize (KiB) 44656 Child status: 0 Real time (s): 1798.49 CPU time (s): 1798.01 CPU user time (s): 1794.12 CPU system time (s): 3.89041 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (KiB): 45044 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.12 system time used= 3.89041 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9003 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= 4495 runsolver used 2.76558 second user time and 8.69668 second system time The end
Begin job on node047 at 2010-06-16 20:37:26 IDJOB=2670992 IDBENCH=48212 IDSOLVER=1163 FILE ID=node047/2670992-1276713446 PBS_JOBID= 11174167 Free space on /tmp= 62540 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_3.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670992-1276713446/watcher-2670992-1276713446 -o /tmp/evaluation-result-2670992-1276713446/solver-2670992-1276713446 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670992-1276713446.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1b4456ec5e57b53956abc30521c99789 RANDOM SEED=1091784220 node047.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.244 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.48 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.244 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1644052 kB Buffers: 128040 kB Cached: 158716 kB SwapCached: 0 kB Active: 136168 kB Inactive: 209764 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1644052 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4116 kB Writeback: 0 kB AnonPages: 59132 kB Mapped: 15380 kB Slab: 47324 kB PageTables: 4120 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179088 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-2670992-1276713446.opb Free space on /tmp at the end= 62536 MiB End job on node047 at 2010-06-16 21:07:25