Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | -108 | 1798.01 | 1798.48 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_3.opb |
MD5SUM | 0247ef4de041bbff376811a7e6bf0408 |
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 | -114 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -110 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
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 | 500 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 22 |
Number of terms in the objective function | 500 |
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 | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 6316 |
Sum of products size (including duplicates) | 12632 |
Number of different products | 3158 |
Sum of products size | 6316 |
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-2670942-1276711866.opb 0.00/0.00 c File size is 270643 bytes. 0.00/0.04 c Highest Coefficient sum: 500 0.00/0.04 c Parsing was ok!! 0.00/0.04 c Total parsing time: 0.048 s 0.00/0.05 c Var: 3658 Constr: 7316 3658/500/3158 Lit: 31580 Watch. Lit: 22106 0.00/0.05 c Obj. Vars: 500 (13.6687 % of total variables) 0.05/0.08 c Pre-processing Time: 0.081 s 0.05/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.05/0.08 c 0 500 3158 9474 3 6316 1052 0 0 0.08 0.05/0.08 c Switching off lower bounding mode. 0.05/0.08 o -107 273.42/273.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 273.42/273.56 c 0 500 3159 9974 3 6425 2052 1 0 0.08 273.42/273.56 c 101 500 3260 49411 15 6627 2258 102 909 0.11 273.42/273.56 c 352 500 3511 147289 41 7129 2484 353 1823 0.19 273.42/273.56 c 827 500 3986 332492 83 8079 2733 828 2323 0.36 273.42/273.56 c 1640 500 4799 649654 135 9705 3007 1641 2554 0.64 273.42/273.56 c 2960 500 6119 1164301 190 12345 3308 2961 2624 1.13 273.42/273.56 c 5042 500 8201 1976359 240 16509 3639 5043 2421 2.08 273.42/273.56 c 8265 500 5990 1113968 185 12087 4003 2832 2080 3.97 273.42/273.56 c 13202 500 5311 849829 160 10729 4404 2153 1983 6.66 273.42/273.56 c 20709 500 7004 1510743 215 14115 4845 3846 1618 12.80 273.42/273.56 c 32071 500 6316 1240465 196 12739 5330 3158 1544 20.77 273.42/273.56 c 49216 500 10901 3030880 278 21909 5864 7743 1320 37.26 273.42/273.56 c 75035 500 10564 2896150 274 21235 6451 7406 1190 63.02 273.42/273.56 c 113867 500 8376 2046561 244 16859 7097 5218 1000 113.78 273.42/273.56 c 172219 500 9514 2488673 261 19135 7807 6356 949 181.42 273.42/273.56 c 259852 500 7076 1537373 217 14259 8588 3918 950 273.48 273.42/273.56 o -108 1797.92/1798.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.92/1798.47 c 259854 500 7079 1538655 217 14373 2052 3921 950 273.49 1797.92/1798.47 c 259954 500 7179 1577557 219 14573 2258 4021 950 273.54 1797.92/1798.47 c 260204 500 7429 1674780 225 15073 2484 4271 950 273.66 1797.92/1798.47 c 260680 500 7905 1860038 235 16025 2733 4747 951 273.84 1797.92/1798.47 c 261493 500 8718 2176310 249 17651 3007 5560 953 274.26 1797.92/1798.47 c 262813 500 4917 693891 141 9942 3308 1759 955 275.07 1797.92/1798.47 c 264894 500 6998 1503756 214 14104 3639 3840 959 275.97 1797.92/1798.47 c 268118 500 4979 717406 144 10066 4003 1821 965 277.78 1797.92/1798.47 c 273054 500 9915 2638054 266 19938 4404 6757 972 280.83 1797.92/1798.47 c 280560 500 5816 1043068 179 11740 4845 2658 978 286.71 1797.92/1798.47 c 291921 500 11150 3116974 279 22408 5330 7992 986 295.80 1797.92/1798.47 c 309065 500 9457 2459759 260 19022 5864 6299 985 313.55 1797.92/1798.47 c 334885 500 9138 2336889 255 18384 6451 5980 998 335.27 1797.92/1798.47 c 373718 500 6990 1499047 214 14088 7097 3832 997 374.82 1797.92/1798.47 c 432070 500 8139 1947577 239 16386 7807 4981 989 436.48 1797.92/1798.47 c 519703 500 13244 3932182 296 26596 8588 10086 986 526.89 1797.92/1798.47 c 651255 500 10564 2892013 273 21236 9447 7406 1004 648.10 1797.92/1798.47 c 848687 500 8219 1977508 240 16546 10392 5061 985 860.96 1797.92/1798.47 c 1144940 500 14083 4260438 302 28274 11432 10925 983 1163.96 1797.92/1798.47 c Resources Exceeded 1797.92/1798.47 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 x123 x124 x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 x152 -x153 x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 x181 x182 -x183 -x184 x185 -x186 x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 x227 x228 -x229 x230 x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 x264 x265 x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 x275 -x276 -x277 x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 x290 x291 -x292 -x293 -x294 -x295 x296 -x297 x298 x299 -x300 x301 -x302 -x303 x304 x305 -x306 x307 -x308 -x309 -x310 x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 x335 -x336 x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 -x377 -x378 -x379 -x380 -x381 x382 -x383 -x384 x385 -x386 x387 x388 -x389 -x390 -x391 -x392 x393 -x394 -x395 x396 -x397 x398 -x399 -x400 -x401 x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 x427 -x428 x429 -x430 x431 -x432 x433 -x434 -x435 -x436 -x437 -x438 x439 x440 x441 -x442 -x443 x444 -x445 x446 x447 -x448 x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 x459 x460 -x461 x462 -x463 -x464 -x465 x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 x482 -x483 x484 x485 -x486 -x487 -x488 x489 x490 x491 -x492 -x493 -x494 -x495 -x496 x497 x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 1797.92/1798.47 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.92/1798.47 c 35 1584583 279391 2052548 15542 4825031 12384 881 1798.00 1797.92/1798.47 c Objective: -108 1797.92/1798.47 s SATISFIABLE 1797.92/1798.47 c Total time: 1798 s
OK -108
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670942-1276711866/watcher-2670942-1276711866 -o /tmp/evaluation-result-2670942-1276711866/solver-2670942-1276711866 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670942-1276711866.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11021 /proc/meminfo: memFree=1700608/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=11204 CPUtime=0 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 363 0 0 0 0 0 0 0 18 0 1 0 46790364 11472896 281 1992294400 134512640 137138936 4288778256 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 2801 281 174 642 0 2090 0 [startup+0.0693549 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11021 /proc/meminfo: memFree=1700608/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=12684 CPUtime=0.05 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 880 0 0 0 5 0 0 0 20 0 1 0 46790364 12988416 731 1992294400 134512640 137138936 4288778256 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 3171 733 184 642 0 2527 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 12684 [startup+0.101359 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11021 /proc/meminfo: memFree=1700608/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=12788 CPUtime=0.09 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 917 0 0 0 8 1 0 0 20 0 1 0 46790364 13094912 769 1992294400 134512640 137138936 4288778256 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 3197 769 191 642 0 2553 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12788 [startup+0.30138 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11021 /proc/meminfo: memFree=1700608/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=15804 CPUtime=0.29 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 1652 0 0 0 28 1 0 0 20 0 1 0 46790364 16183296 1503 1992294400 134512640 137138936 4288778256 18446744073709551615 134575658 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 3951 1503 191 642 0 3307 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15804 [startup+0.701425 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11021 /proc/meminfo: memFree=1700608/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=21484 CPUtime=0.69 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 3081 0 0 0 67 2 0 0 21 0 1 0 46790364 21999616 2932 1992294400 134512640 137138936 4288778256 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 5371 2932 191 642 0 4727 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21484 [startup+1.50152 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11022 /proc/meminfo: memFree=1685720/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=32172 CPUtime=1.49 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 5748 0 0 0 146 3 0 0 23 0 1 0 46790364 32944128 5599 1992294400 134512640 137138936 4288778256 18446744073709551615 134573847 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 8043 5599 191 642 0 7399 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32172 [startup+3.10169 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11022 /proc/meminfo: memFree=1673196/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=47952 CPUtime=3.09 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 9698 0 0 0 304 5 0 0 25 0 1 0 46790364 49102848 9549 1992294400 134512640 137138936 4288778256 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 11988 9549 191 642 0 11344 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 47952 [startup+6.30105 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11022 /proc/meminfo: memFree=1662160/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=49504 CPUtime=6.29 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 10081 0 0 0 623 6 0 0 25 0 1 0 46790364 50692096 9932 1992294400 134512640 137138936 4288778256 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 12376 9932 191 642 0 11732 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49504 [startup+12.7008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11024 /proc/meminfo: memFree=1657952/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=52832 CPUtime=12.69 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 10911 0 0 0 1260 9 0 0 25 0 1 0 46790364 54099968 10762 1992294400 134512640 137138936 4288778256 18446744073709551615 136500286 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 13208 10762 191 642 0 12564 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 52832 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11024 /proc/meminfo: memFree=1653488/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=57412 CPUtime=25.48 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 12067 0 0 0 2535 13 0 0 25 0 1 0 46790364 58789888 11918 1992294400 134512640 137138936 4288778256 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 14353 11918 191 642 0 13709 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 57412 [startup+51.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11024 /proc/meminfo: memFree=1650760/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=60208 CPUtime=51.08 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 12758 0 0 0 5088 20 0 0 25 0 1 0 46790364 61652992 12609 1992294400 134512640 137138936 4288778256 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 15052 12609 191 642 0 14408 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 60208 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11026 /proc/meminfo: memFree=1647412/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=63268 CPUtime=102.27 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 13531 0 0 0 10197 30 0 0 25 0 1 0 46790364 64786432 13382 1992294400 134512640 137138936 4288778256 18446744073709551615 136500383 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 15817 13382 191 642 0 15173 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 63268 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11031 /proc/meminfo: memFree=1643692/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=66368 CPUtime=162.25 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 14316 0 0 0 16177 48 0 0 25 0 1 0 46790364 67960832 14166 1992294400 134512640 137138936 4288778256 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 16592 14166 191 642 0 15948 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 66368 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11031 /proc/meminfo: memFree=1640220/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=70052 CPUtime=222.24 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 15237 0 0 0 22161 63 0 0 25 0 1 0 46790364 71733248 15075 1992294400 134512640 137138936 4288778256 18446744073709551615 136511078 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 17513 15075 191 642 0 16869 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 70052 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11033 /proc/meminfo: memFree=1640220/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=69984 CPUtime=282.21 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 15248 0 0 0 28144 77 0 0 25 0 1 0 46790364 71663616 15070 1992294400 134512640 137138936 4288778256 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 17496 15070 191 642 0 16852 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 69984 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11035 /proc/meminfo: memFree=1640220/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=69592 CPUtime=342.2 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 15248 0 0 0 34127 93 0 0 25 0 1 0 46790364 71262208 14972 1992294400 134512640 137138936 4288778256 18446744073709551615 135984545 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 17398 14972 191 642 0 16754 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 69592 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11037 /proc/meminfo: memFree=1640220/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=69520 CPUtime=402.19 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 15248 0 0 0 40111 108 0 0 25 0 1 0 46790364 71188480 14954 1992294400 134512640 137138936 4288778256 18446744073709551615 135984593 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 17380 14954 191 642 0 16736 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 69520 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11039 /proc/meminfo: memFree=1640220/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=69624 CPUtime=462.17 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 15272 0 0 0 46093 124 0 0 25 0 1 0 46790364 71294976 14978 1992294400 134512640 137138936 4288778256 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 17406 14978 191 642 0 16762 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 69624 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11039 /proc/meminfo: memFree=1640220/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=69728 CPUtime=522.15 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 15282 0 0 0 52075 140 0 0 25 0 1 0 46790364 71401472 14988 1992294400 134512640 137138936 4288778256 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 17432 14988 191 642 0 16788 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 69728 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11041 /proc/meminfo: memFree=1636748/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=73736 CPUtime=582.13 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 16287 0 0 0 58058 155 0 0 25 0 1 0 46790364 75505664 15993 1992294400 134512640 137138936 4288778256 18446744073709551615 134572786 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 18434 15993 191 642 0 17790 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 73736 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11043 /proc/meminfo: memFree=1636624/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=73720 CPUtime=642.13 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 16294 0 0 0 64043 170 0 0 25 0 1 0 46790364 75489280 16000 1992294400 134512640 137138936 4288778256 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 18430 16000 191 642 0 17786 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 73720 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1627076/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=82928 CPUtime=1121.99 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 18606 0 0 0 111914 285 0 0 25 0 1 0 46790364 84918272 18299 1992294400 134512640 137138936 4288778256 18446744073709551615 134540738 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 20732 18299 191 642 0 20088 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 82928 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11057 /proc/meminfo: memFree=1621868/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=88136 CPUtime=1181.99 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 19899 0 0 0 117897 302 0 0 25 0 1 0 46790364 90251264 19592 1992294400 134512640 137138936 4288778256 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 22034 19592 191 642 0 21390 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 88136 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11059 /proc/meminfo: memFree=1621744/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=88136 CPUtime=1241.97 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 19913 0 0 0 123882 315 0 0 25 0 1 0 46790364 90251264 19606 1992294400 134512640 137138936 4288778256 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 22034 19606 191 642 0 21390 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 88136 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 3/107 11061 /proc/meminfo: memFree=1621620/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=88176 CPUtime=1301.95 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 19921 0 0 0 129866 329 0 0 25 0 1 0 46790364 90292224 19602 1992294400 134512640 137138936 4288778256 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 22044 19602 191 642 0 21400 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 88176 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11063 /proc/meminfo: memFree=1621620/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=88164 CPUtime=1361.93 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 19921 0 0 0 135852 341 0 0 25 0 1 0 46790364 90279936 19602 1992294400 134512640 137138936 4288778256 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 22041 19602 191 642 0 21397 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 88164 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11063 /proc/meminfo: memFree=1621620/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=88304 CPUtime=1421.92 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 19952 0 0 0 141839 353 0 0 25 0 1 0 46790364 90423296 19633 1992294400 134512640 137138936 4288778256 18446744073709551615 134575658 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 22076 19633 191 642 0 21432 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 88304 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11065 /proc/meminfo: memFree=1621496/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=88292 CPUtime=1481.9 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 19963 0 0 0 147824 366 0 0 25 0 1 0 46790364 90411008 19644 1992294400 134512640 137138936 4288778256 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 22073 19644 191 642 0 21429 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 88292 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11067 /proc/meminfo: memFree=1621496/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=88248 CPUtime=1541.89 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 19963 0 0 0 153810 379 0 0 25 0 1 0 46790364 90365952 19636 1992294400 134512640 137138936 4288778256 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 22062 19636 191 642 0 21418 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 88248 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11069 /proc/meminfo: memFree=1621372/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=88244 CPUtime=1601.87 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 19963 0 0 0 159797 390 0 0 25 0 1 0 46790364 90361856 19635 1992294400 134512640 137138936 4288778256 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 22061 19635 191 642 0 21417 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 88244 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11071 /proc/meminfo: memFree=1621372/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=88244 CPUtime=1661.85 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 19963 0 0 0 165784 401 0 0 25 0 1 0 46790364 90361856 19635 1992294400 134512640 137138936 4288778256 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 22061 19635 191 642 0 21417 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 88244 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11071 /proc/meminfo: memFree=1621248/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=88244 CPUtime=1721.84 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 19963 0 0 0 171770 414 0 0 25 0 1 0 46790364 90361856 19635 1992294400 134512640 137138936 4288778256 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 22061 19635 191 642 0 21417 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 88244 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11073 /proc/meminfo: memFree=1621000/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=88208 CPUtime=1781.83 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 19963 0 0 0 177756 427 0 0 25 0 1 0 46790364 90324992 19626 1992294400 134512640 137138936 4288778256 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 22052 19626 191 642 0 21408 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 88208 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 11073 /proc/meminfo: memFree=1621000/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=88208 CPUtime=1791.43 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 19963 0 0 0 178715 428 0 0 25 0 1 0 46790364 90324992 19626 1992294400 134512640 137138936 4288778256 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 22052 19626 191 642 0 21408 0 Current children cumulated CPU time (s) 1791.43 Current children cumulated vsize (KiB) 88208 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11073 /proc/meminfo: memFree=1621000/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=88208 CPUtime=1794.63 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 19963 0 0 0 179034 429 0 0 25 0 1 0 46790364 90324992 19626 1992294400 134512640 137138936 4288778256 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 22052 19626 191 642 0 21408 0 Current children cumulated CPU time (s) 1794.63 Current children cumulated vsize (KiB) 88208 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11073 /proc/meminfo: memFree=1621000/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=88208 CPUtime=1796.22 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 19963 0 0 0 179193 429 0 0 25 0 1 0 46790364 90324992 19626 1992294400 134512640 137138936 4288778256 18446744073709551615 136296970 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 22052 19626 191 642 0 21408 0 Current children cumulated CPU time (s) 1796.22 Current children cumulated vsize (KiB) 88208 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11073 /proc/meminfo: memFree=1621000/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=88208 CPUtime=1797.02 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 19963 0 0 0 179273 429 0 0 25 0 1 0 46790364 90324992 19626 1992294400 134512640 137138936 4288778256 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 22052 19626 191 642 0 21408 0 Current children cumulated CPU time (s) 1797.02 Current children cumulated vsize (KiB) 88208 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11073 /proc/meminfo: memFree=1621000/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=88208 CPUtime=1797.42 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 19963 0 0 0 179313 429 0 0 25 0 1 0 46790364 90324992 19626 1992294400 134512640 137138936 4288778256 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 22052 19626 191 642 0 21408 0 Current children cumulated CPU time (s) 1797.42 Current children cumulated vsize (KiB) 88208 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11073 /proc/meminfo: memFree=1621000/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=88208 CPUtime=1797.82 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 19963 0 0 0 179353 429 0 0 25 0 1 0 46790364 90324992 19626 1992294400 134512640 137138936 4288778256 18446744073709551615 136500260 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 22052 19626 191 642 0 21408 0 Current children cumulated CPU time (s) 1797.82 Current children cumulated vsize (KiB) 88208 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11073 /proc/meminfo: memFree=1621000/2059040 swapFree=4140468/4192956 [pid=11021] ppid=11019 vsize=88208 CPUtime=1797.92 /proc/11021/stat : 11021 (bsolo_pb10) R 11019 11021 10161 0 -1 4202496 19963 0 0 0 179363 429 0 0 25 0 1 0 46790364 90324992 19626 1992294400 134512640 137138936 4288778256 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11021/statm: 22052 19626 191 642 0 21408 0 Current children cumulated CPU time (s) 1797.92 Current children cumulated vsize (KiB) 88208 Child status: 0 Real time (s): 1798.48 CPU time (s): 1798.01 CPU user time (s): 1793.71 CPU system time (s): 4.30635 CPU usage (%): 99.9737 Max. virtual memory (cumulated for all children) (KiB): 88304 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.71 system time used= 4.30635 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19964 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= 3649 runsolver used 2.91456 second user time and 8.5437 second system time The end
Begin job on node005 at 2010-06-16 20:11:06 IDJOB=2670942 IDBENCH=48187 IDSOLVER=1163 FILE ID=node005/2670942-1276711866 PBS_JOBID= 11174128 Free space on /tmp= 62564 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_3.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670942-1276711866/watcher-2670942-1276711866 -o /tmp/evaluation-result-2670942-1276711866/solver-2670942-1276711866 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670942-1276711866.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0247ef4de041bbff376811a7e6bf0408 RANDOM SEED=582932620 node005.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.246 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.49 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.246 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1701632 kB Buffers: 116012 kB Cached: 144680 kB SwapCached: 6352 kB Active: 98660 kB Inactive: 175780 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1701632 kB SwapTotal: 4192956 kB SwapFree: 4140468 kB Dirty: 3980 kB Writeback: 0 kB AnonPages: 11768 kB Mapped: 13204 kB Slab: 61196 kB PageTables: 4060 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181160 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-2670942-1276711866.opb Free space on /tmp at the end= 62560 MiB End job on node005 at 2010-06-16 20:41:05