Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | -106 | 1798.01 | 1798.46 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_1.opb |
MD5SUM | 6a7c5d2366cf8704587c2ca2c97e69d0 |
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 | -112 |
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 | -111 |
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) | 6318 |
Sum of products size (including duplicates) | 12636 |
Number of different products | 3159 |
Sum of products size | 6318 |
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-2670920-1276711379.opb 0.00/0.00 c File size is 270672 bytes. 0.01/0.05 c Highest Coefficient sum: 500 0.01/0.05 c Parsing was ok!! 0.01/0.05 c Total parsing time: 0.047 s 0.01/0.05 c Var: 3659 Constr: 7318 3659/500/3159 Lit: 31590 Watch. Lit: 22113 0.01/0.05 c Obj. Vars: 500 (13.6649 % of total variables) 0.01/0.08 c Pre-processing Time: 0.08 s 0.01/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.08 c 0 500 3159 9477 3 6318 1052 0 0 0.08 0.01/0.08 c Switching off lower bounding mode. 0.01/0.08 o -104 0.01/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.08 c 0 500 3160 9977 3 6424 2052 1 0 0.08 0.01/0.08 o -105 55.98/56.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 55.98/56.01 c 12 500 3173 15202 4 6555 2052 14 141 0.09 55.98/56.01 c 112 500 3273 54414 16 6755 2258 114 949 0.12 55.98/56.01 c 362 500 3523 152390 43 7255 2484 364 1800 0.20 55.98/56.01 c 838 500 3999 339045 84 8207 2733 840 2271 0.37 55.98/56.01 c 1652 500 4813 658363 136 9835 3007 1654 2380 0.69 55.98/56.01 c 2972 500 6133 1175988 191 12475 3308 2974 2448 1.21 55.98/56.01 c 5053 500 8214 1992387 242 16637 3639 5055 2021 2.50 55.98/56.01 c 8276 500 5996 1122239 187 12097 4003 2837 1913 4.33 55.98/56.01 c 13212 500 5319 856909 161 10743 4404 2160 1752 7.54 55.98/56.01 c 20718 500 7018 1522943 217 14141 4845 3859 1688 12.27 55.98/56.01 c 32079 500 6293 1238321 196 12691 5330 3134 1536 20.88 55.98/56.01 c 49224 500 10874 3033938 279 21853 5864 7715 1504 32.71 55.98/56.01 o -106 1797.95/1798.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.95/1798.45 c 71969 500 7434 1686088 226 15079 2052 4275 1285 56.00 1797.95/1798.45 c 72069 500 7534 1725200 228 15279 2258 4375 1285 56.04 1797.95/1798.45 c 72319 500 7784 1823113 234 15779 2484 4625 1288 56.14 1797.95/1798.45 c 72795 500 8260 2009245 243 16731 2733 5101 1291 56.38 1797.95/1798.45 c 73609 500 4527 544679 120 9160 3007 1368 1294 56.84 1797.95/1798.45 c 74930 500 5848 1061207 181 11802 3308 2689 1304 57.42 1797.95/1798.45 c 77011 500 7929 1875179 236 15964 3639 4770 1317 58.45 1797.95/1798.45 c 80234 500 5721 1010583 176 11548 4003 2562 1328 60.39 1797.95/1798.45 c 85171 500 5162 792529 153 10430 4404 2003 1332 63.90 1797.95/1798.45 c 92678 500 6856 1454239 212 13818 4845 3697 1325 69.91 1797.95/1798.45 c 104039 500 6141 1175739 191 12388 5330 2982 1318 78.93 1797.95/1798.45 c 121183 500 10737 2972451 276 21580 5864 7578 1287 94.13 1797.95/1798.45 c 147003 500 10392 2837857 273 20890 6451 7233 1243 118.22 1797.95/1798.45 c 185836 500 8197 1979329 241 16500 7097 5038 1185 156.70 1797.95/1798.45 c 244189 500 9277 2401216 258 18660 7807 6118 1118 218.31 1797.95/1798.45 c 331821 500 7064 1537099 217 14234 8588 3905 1065 311.43 1797.95/1798.45 c 463374 500 12120 3513406 289 24346 9447 8961 991 467.58 1797.95/1798.45 c 660806 500 9679 2558313 264 19464 10392 6520 911 724.62 1797.95/1798.45 c 957058 500 15487 4830854 311 31080 11432 12328 853 1121.22 1797.95/1798.45 c 1401541 500 12512 3667480 293 25130 12576 9353 816 1716.73 1797.95/1798.45 c Resources Exceeded 1797.95/1798.45 v -x1 -x2 x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 x17 -x18 x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 x130 x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 x182 -x183 x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 x212 -x213 -x214 x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 -x306 x307 -x308 x309 -x310 -x311 -x312 x313 x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 x331 x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 x355 -x356 x357 x358 -x359 x360 -x361 x362 -x363 -x364 x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 x377 -x378 x379 x380 -x381 -x382 -x383 x384 -x385 x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 x400 -x401 x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 x410 x411 -x412 -x413 -x414 -x415 x416 x417 -x418 x419 x420 x421 -x422 x423 -x424 -x425 x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 -x443 x444 -x445 x446 x447 -x448 -x449 -x450 x451 -x452 -x453 -x454 -x455 x456 x457 -x458 x459 x460 -x461 -x462 -x463 -x464 -x465 x466 -x467 -x468 -x469 x470 x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 x490 -x491 x492 -x493 x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -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 -x3659 1797.95/1798.45 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1798.45 c 33 1466273 300982 2098502 17865 5758791 14706 815 1798.00 1797.95/1798.45 c Objective: -106 1797.95/1798.45 s SATISFIABLE 1797.95/1798.45 c Total time: 1798 s
OK -106
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670920-1276711379/watcher-2670920-1276711379 -o /tmp/evaluation-result-2670920-1276711379/solver-2670920-1276711379 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670920-1276711379.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.11 1.10 1.04 2/106 16820 /proc/meminfo: memFree=1673988/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=11068 CPUtime=0 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 335 0 0 0 0 0 0 0 19 0 1 0 12429772 11333632 254 1992294400 134512640 137138936 4291968640 18446744073709551615 136525391 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 2767 254 171 642 0 2056 0 [startup+0.019353 s] /proc/loadavg: 1.11 1.10 1.04 2/106 16820 /proc/meminfo: memFree=1673988/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=11472 CPUtime=0.01 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 424 0 0 0 1 0 0 0 19 0 1 0 12429772 11747328 343 1992294400 134512640 137138936 4291968640 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 2868 343 184 642 0 2157 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11472 [startup+0.10136 s] /proc/loadavg: 1.11 1.10 1.04 2/106 16820 /proc/meminfo: memFree=1673988/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=12784 CPUtime=0.09 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 900 0 0 0 9 0 0 0 19 0 1 0 12429772 13090816 752 1992294400 134512640 137138936 4291968640 18446744073709551615 136504119 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 3196 752 191 642 0 2552 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12784 [startup+0.301378 s] /proc/loadavg: 1.11 1.10 1.04 2/106 16820 /proc/meminfo: memFree=1673988/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=15700 CPUtime=0.29 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 1628 0 0 0 28 1 0 0 20 0 1 0 12429772 16076800 1480 1992294400 134512640 137138936 4291968640 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 3925 1480 191 642 0 3281 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15700 [startup+0.701415 s] /proc/loadavg: 1.11 1.10 1.04 2/106 16820 /proc/meminfo: memFree=1673988/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=20752 CPUtime=0.69 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 2903 0 0 0 68 1 0 0 21 0 1 0 12429772 21250048 2755 1992294400 134512640 137138936 4291968640 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 5188 2755 191 642 0 4544 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 20752 [startup+1.50149 s] /proc/loadavg: 1.11 1.10 1.04 2/107 16821 /proc/meminfo: memFree=1659720/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=30792 CPUtime=1.49 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 5406 0 0 0 147 2 0 0 22 0 1 0 12429772 31531008 5258 1992294400 134512640 137138936 4291968640 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 7698 5258 191 642 0 7054 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 30792 [startup+3.10064 s] /proc/loadavg: 1.11 1.10 1.04 2/107 16821 /proc/meminfo: memFree=1648436/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=44524 CPUtime=3.09 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 8844 0 0 0 304 5 0 0 25 0 1 0 12429772 45592576 8696 1992294400 134512640 137138936 4291968640 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 11131 8696 191 642 0 10487 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44524 [startup+6.30093 s] /proc/loadavg: 1.10 1.10 1.04 2/107 16821 /proc/meminfo: memFree=1635044/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=49140 CPUtime=6.28 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 9997 0 0 0 621 7 0 0 25 0 1 0 12429772 50319360 9849 1992294400 134512640 137138936 4291968640 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 12285 9849 191 642 0 11641 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 49140 [startup+12.7005 s] /proc/loadavg: 1.09 1.10 1.04 2/107 16821 /proc/meminfo: memFree=1631324/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=52880 CPUtime=12.69 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 10928 0 0 0 1258 11 0 0 25 0 1 0 12429772 54149120 10780 1992294400 134512640 137138936 4291968640 18446744073709551615 134601123 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 13220 10780 191 642 0 12576 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 52880 [startup+25.5017 s] /proc/loadavg: 1.07 1.09 1.04 2/107 16821 /proc/meminfo: memFree=1626488/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=57752 CPUtime=25.48 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 12145 0 0 0 2534 14 0 0 25 0 1 0 12429772 59138048 11997 1992294400 134512640 137138936 4291968640 18446744073709551615 136504617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 14438 11997 191 642 0 13794 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 57752 [startup+51.1011 s] /proc/loadavg: 1.05 1.08 1.04 2/107 16821 /proc/meminfo: memFree=1623636/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=60500 CPUtime=51.08 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 12841 0 0 0 5087 21 0 0 25 0 1 0 12429772 61952000 12693 1992294400 134512640 137138936 4291968640 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 15125 12693 191 642 0 14481 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 60500 [startup+102.309 s] /proc/loadavg: 1.02 1.07 1.03 2/107 16823 /proc/meminfo: memFree=1623512/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=60396 CPUtime=102.27 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 12841 0 0 0 10192 35 0 0 25 0 1 0 12429772 61845504 12673 1992294400 134512640 137138936 4291968640 18446744073709551615 134544960 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 15099 12673 191 642 0 14455 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 60396 [startup+162.301 s] /proc/loadavg: 1.00 1.05 1.03 2/107 16825 /proc/meminfo: memFree=1617560/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=66556 CPUtime=162.25 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 14374 0 0 0 16174 51 0 0 25 0 1 0 12429772 68153344 14191 1992294400 134512640 137138936 4291968640 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 16639 14191 191 642 0 15995 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 66556 [startup+222.301 s] /proc/loadavg: 1.00 1.04 1.02 2/107 16827 /proc/meminfo: memFree=1617436/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=66656 CPUtime=222.23 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 14418 0 0 0 22156 67 0 0 25 0 1 0 12429772 68255744 14235 1992294400 134512640 137138936 4291968640 18446744073709551615 134542319 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 16664 14235 191 642 0 16020 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 66656 [startup+282.302 s] /proc/loadavg: 1.00 1.03 1.02 2/107 16827 /proc/meminfo: memFree=1613840/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=70224 CPUtime=282.22 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 15309 0 0 0 28138 84 0 0 25 0 1 0 12429772 71909376 15126 1992294400 134512640 137138936 4291968640 18446744073709551615 134575658 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 17556 15126 191 642 0 16912 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 70224 [startup+342.301 s] /proc/loadavg: 1.00 1.02 1.01 2/107 16829 /proc/meminfo: memFree=1609748/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=74200 CPUtime=342.2 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 16290 0 0 0 34119 101 0 0 25 0 1 0 12429772 75980800 16107 1992294400 134512640 137138936 4291968640 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 18550 16107 191 642 0 17906 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 74200 [startup+402.302 s] /proc/loadavg: 1.00 1.02 1.00 2/107 16831 /proc/meminfo: memFree=1609748/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=74184 CPUtime=402.19 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 16295 0 0 0 40101 118 0 0 25 0 1 0 12429772 75964416 16112 1992294400 134512640 137138936 4291968640 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 18546 16112 191 642 0 17902 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 74184 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 16833 /proc/meminfo: memFree=1609748/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=74208 CPUtime=462.17 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 16296 0 0 0 46085 132 0 0 25 0 1 0 12429772 75988992 16110 1992294400 134512640 137138936 4291968640 18446744073709551615 136504145 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 18552 16110 191 642 0 17908 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 74208 [startup+522.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 16835 /proc/meminfo: memFree=1605532/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=78376 CPUtime=522.16 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 17347 0 0 0 52069 147 0 0 25 0 1 0 12429772 80257024 17161 1992294400 134512640 137138936 4291968640 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 19594 17161 191 642 0 18950 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 78376 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16835 /proc/meminfo: memFree=1605532/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=78424 CPUtime=582.15 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 17357 0 0 0 58055 160 0 0 25 0 1 0 12429772 80306176 17171 1992294400 134512640 137138936 4291968640 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 19606 17171 191 642 0 18962 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 78424 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16837 /proc/meminfo: memFree=1605408/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=78420 CPUtime=642.14 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 17357 0 0 0 64039 175 0 0 25 0 1 0 12429772 80302080 17171 1992294400 134512640 137138936 4291968640 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 19605 17171 191 642 0 18961 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 78420 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1600324/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=83252 CPUtime=1122.01 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 18593 0 0 0 111913 288 0 0 25 0 1 0 12429772 85250048 18387 1992294400 134512640 137138936 4291968640 18446744073709551615 134575900 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 20813 18387 191 642 0 20169 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 83252 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16851 /proc/meminfo: memFree=1594992/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=88620 CPUtime=1182 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 19923 0 0 0 117898 302 0 0 25 0 1 0 12429772 90746880 19717 1992294400 134512640 137138936 4291968640 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 22155 19717 191 642 0 21511 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 88620 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16853 /proc/meminfo: memFree=1594868/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=88620 CPUtime=1241.98 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 19923 0 0 0 123884 314 0 0 25 0 1 0 12429772 90746880 19717 1992294400 134512640 137138936 4291968640 18446744073709551615 134543968 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 22155 19717 191 642 0 21511 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 88620 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16855 /proc/meminfo: memFree=1594744/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=88616 CPUtime=1301.98 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 19923 0 0 0 129870 328 0 0 25 0 1 0 12429772 90742784 19717 1992294400 134512640 137138936 4291968640 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 22154 19717 191 642 0 21510 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 88616 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16857 /proc/meminfo: memFree=1594744/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=88616 CPUtime=1361.95 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 19925 0 0 0 135853 342 0 0 25 0 1 0 12429772 90742784 19719 1992294400 134512640 137138936 4291968640 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 22154 19719 191 642 0 21510 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 88616 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16859 /proc/meminfo: memFree=1594744/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=88616 CPUtime=1421.94 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 19925 0 0 0 141838 356 0 0 25 0 1 0 12429772 90742784 19719 1992294400 134512640 137138936 4291968640 18446744073709551615 134577919 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 22154 19719 191 642 0 21510 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 88616 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16859 /proc/meminfo: memFree=1594744/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=88584 CPUtime=1481.92 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 19925 0 0 0 147822 370 0 0 25 0 1 0 12429772 90710016 19719 1992294400 134512640 137138936 4291968640 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 22146 19719 191 642 0 21502 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 88584 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16861 /proc/meminfo: memFree=1594744/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=88584 CPUtime=1541.91 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 19925 0 0 0 153803 388 0 0 25 0 1 0 12429772 90710016 19719 1992294400 134512640 137138936 4291968640 18446744073709551615 134541989 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 22146 19719 191 642 0 21502 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 88584 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16863 /proc/meminfo: memFree=1594744/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=88584 CPUtime=1601.89 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 19925 0 0 0 159787 402 0 0 25 0 1 0 12429772 90710016 19719 1992294400 134512640 137138936 4291968640 18446744073709551615 134603204 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 22146 19719 191 642 0 21502 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 88584 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16865 /proc/meminfo: memFree=1594744/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=88584 CPUtime=1661.87 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 19925 0 0 0 165773 414 0 0 25 0 1 0 12429772 90710016 19719 1992294400 134512640 137138936 4291968640 18446744073709551615 134542357 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 22146 19719 191 642 0 21502 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 88584 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16867 /proc/meminfo: memFree=1594620/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=90712 CPUtime=1721.86 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 20451 0 0 0 171758 428 0 0 25 0 1 0 12429772 92889088 20245 1992294400 134512640 137138936 4291968640 18446744073709551615 134543728 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 22678 20245 191 642 0 22034 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 90712 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16870 /proc/meminfo: memFree=1588544/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=94260 CPUtime=1781.85 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 21341 0 0 0 177746 439 0 0 25 0 1 0 12429772 96522240 21135 1992294400 134512640 137138936 4291968640 18446744073709551615 134542372 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 23565 21135 191 642 0 22921 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 94260 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 16872 /proc/meminfo: memFree=1588544/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=94260 CPUtime=1791.45 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 21341 0 0 0 178705 440 0 0 25 0 1 0 12429772 96522240 21135 1992294400 134512640 137138936 4291968640 18446744073709551615 134543142 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 23565 21135 191 642 0 22921 0 Current children cumulated CPU time (s) 1791.45 Current children cumulated vsize (KiB) 94260 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16872 /proc/meminfo: memFree=1588544/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=94260 CPUtime=1794.65 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 21341 0 0 0 179024 441 0 0 25 0 1 0 12429772 96522240 21135 1992294400 134512640 137138936 4291968640 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 23565 21135 191 642 0 22921 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (KiB) 94260 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16872 /proc/meminfo: memFree=1588544/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=94260 CPUtime=1796.25 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 21341 0 0 0 179183 442 0 0 25 0 1 0 12429772 96522240 21135 1992294400 134512640 137138936 4291968640 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 23565 21135 191 642 0 22921 0 Current children cumulated CPU time (s) 1796.25 Current children cumulated vsize (KiB) 94260 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16872 /proc/meminfo: memFree=1588544/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=94260 CPUtime=1797.05 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 21341 0 0 0 179263 442 0 0 25 0 1 0 12429772 96522240 21135 1992294400 134512640 137138936 4291968640 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 23565 21135 191 642 0 22921 0 Current children cumulated CPU time (s) 1797.05 Current children cumulated vsize (KiB) 94260 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16872 /proc/meminfo: memFree=1588544/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=94260 CPUtime=1797.44 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 21341 0 0 0 179302 442 0 0 25 0 1 0 12429772 96522240 21135 1992294400 134512640 137138936 4291968640 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 23565 21135 191 642 0 22921 0 Current children cumulated CPU time (s) 1797.44 Current children cumulated vsize (KiB) 94260 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16872 /proc/meminfo: memFree=1588544/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=94260 CPUtime=1797.84 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 21341 0 0 0 179342 442 0 0 25 0 1 0 12429772 96522240 21135 1992294400 134512640 137138936 4291968640 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 23565 21135 191 642 0 22921 0 Current children cumulated CPU time (s) 1797.84 Current children cumulated vsize (KiB) 94260 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16872 /proc/meminfo: memFree=1588544/2059040 swapFree=4187148/4192956 [pid=16820] ppid=16818 vsize=94260 CPUtime=1797.95 /proc/16820/stat : 16820 (bsolo_pb10) R 16818 16820 15619 0 -1 4202496 21341 0 0 0 179353 442 0 0 25 0 1 0 12429772 96522240 21135 1992294400 134512640 137138936 4291968640 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16820/statm: 23565 21135 191 642 0 22921 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 94260 Child status: 0 Real time (s): 1798.46 CPU time (s): 1798.01 CPU user time (s): 1793.58 CPU system time (s): 4.43433 CPU usage (%): 99.9751 Max. virtual memory (cumulated for all children) (KiB): 94284 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.58 system time used= 4.43433 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21342 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= 4913 runsolver used 2.82157 second user time and 8.63469 second system time The end
Begin job on node048 at 2010-06-16 20:02:59 IDJOB=2670920 IDBENCH=48176 IDSOLVER=1163 FILE ID=node048/2670920-1276711379 PBS_JOBID= 11174096 Free space on /tmp= 62456 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_1.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670920-1276711379/watcher-2670920-1276711379 -o /tmp/evaluation-result-2670920-1276711379/solver-2670920-1276711379 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670920-1276711379.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6a7c5d2366cf8704587c2ca2c97e69d0 RANDOM SEED=437471604 node048.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.212 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.212 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1674888 kB Buffers: 118060 kB Cached: 144400 kB SwapCached: 280 kB Active: 105416 kB Inactive: 210936 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1674888 kB SwapTotal: 4192956 kB SwapFree: 4187148 kB Dirty: 3996 kB Writeback: 0 kB AnonPages: 53628 kB Mapped: 15308 kB Slab: 45848 kB PageTables: 4016 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183312 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-2670920-1276711379.opb Free space on /tmp at the end= 62452 MiB End job on node048 at 2010-06-16 20:32:57