Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | -106 | 1798.02 | 1798.64 |
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 | -120 |
Best CPU time to get the best result obtained on this benchmark | 1800.29 |
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.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1878196-1245199321.opb 0.00/0.00 c File size is 270672 bytes. 0.03/0.04 c Highest Coefficient sum: 500 0.03/0.04 c Parsing was ok!! 0.03/0.04 c Total parsing time: 0.041 s 0.03/0.04 c Var: 3659 Constr: 7318 3659/500/3159 Lit: 31590 Watch. Lit: 22113 0.03/0.04 c Obj. Vars: 500 (13.6649 % of total variables) 0.03/0.07 c Pre-processing Time: 0.074 s 0.03/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.07 c 0 500 3159 9477 3 6318 1052 0 0 0.07 0.03/0.07 c Switching off lower bounding mode. 0.03/0.07 o -104 0.03/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.08 c 0 500 3160 9977 3 6424 2052 1 0 0.07 0.03/0.08 o -105 56.27/56.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 56.27/56.31 c 12 500 3173 15202 4 6555 2052 14 151 0.08 56.27/56.31 c 112 500 3273 54414 16 6755 2258 114 1009 0.11 56.27/56.31 c 362 500 3523 152390 43 7255 2484 364 1856 0.20 56.27/56.31 c 838 500 3999 339045 84 8207 2733 840 2289 0.37 56.27/56.31 c 1652 500 4813 658363 136 9835 3007 1654 2383 0.69 56.27/56.31 c 2972 500 6133 1175988 191 12475 3308 2974 2438 1.22 56.27/56.31 c 5053 500 8214 1992387 242 16637 3639 5055 2005 2.52 56.27/56.31 c 8276 500 5996 1122239 187 12097 4003 2837 1897 4.36 56.27/56.31 c 13212 500 5319 856909 161 10743 4404 2160 1737 7.60 56.27/56.31 c 20718 500 7018 1522943 217 14141 4845 3859 1680 12.33 56.27/56.31 c 32079 500 6293 1238321 196 12691 5330 3134 1528 20.99 56.27/56.31 c 49224 500 10874 3033938 279 21853 5864 7715 1496 32.89 56.27/56.31 o -106 1797.97/1798.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.97/1798.62 c 71969 500 7434 1686088 226 15079 2052 4275 1278 56.29 1797.97/1798.62 c 72069 500 7534 1725200 228 15279 2258 4375 1279 56.34 1797.97/1798.62 c 72319 500 7784 1823113 234 15779 2484 4625 1281 56.43 1797.97/1798.62 c 72795 500 8260 2009245 243 16731 2733 5101 1284 56.67 1797.97/1798.62 c 73609 500 4527 544679 120 9160 3007 1368 1288 57.14 1797.97/1798.62 c 74930 500 5848 1061207 181 11802 3308 2689 1298 57.73 1797.97/1798.62 c 77011 500 7929 1875179 236 15964 3639 4770 1310 58.77 1797.97/1798.62 c 80234 500 5721 1010583 176 11548 4003 2562 1321 60.72 1797.97/1798.62 c 85171 500 5162 792529 153 10430 4404 2003 1325 64.27 1797.97/1798.62 c 92678 500 6856 1454239 212 13818 4845 3697 1318 70.31 1797.97/1798.62 c 104039 500 6141 1175739 191 12388 5330 2982 1310 79.38 1797.97/1798.62 c 121183 500 10737 2972451 276 21580 5864 7578 1279 94.70 1797.97/1798.62 c 147003 500 10392 2837857 273 20890 6451 7233 1235 118.99 1797.97/1798.62 c 185836 500 8197 1979329 241 16500 7097 5038 1178 157.64 1797.97/1798.62 c 244189 500 9277 2401216 258 18660 7807 6118 1111 219.68 1797.97/1798.62 c 331821 500 7064 1537099 217 14234 8588 3905 1058 313.54 1797.97/1798.62 c 463374 500 12120 3513406 289 24346 9447 8961 983 471.04 1797.97/1798.62 c 660806 500 9679 2558313 264 19464 10392 6520 904 730.17 1797.97/1798.62 c 957058 500 15487 4830854 311 31080 11432 12328 846 1130.48 1797.97/1798.62 c 1401541 500 12512 3667480 293 25130 12576 9353 809 1731.20 1797.97/1798.62 c Resources Exceeded 1797.97/1798.62 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.97/1798.62 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.97/1798.62 c 33 1453573 298833 2082164 15061 4661802 11902 808 1798.00 1797.97/1798.62 c Objective: -106 1797.97/1798.62 s SATISFIABLE 1797.97/1798.62 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-1878196-1245199321/watcher-1878196-1245199321 -o /tmp/evaluation-result-1878196-1245199321/solver-1878196-1245199321 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878196-1245199321.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/64 13521 /proc/meminfo: memFree=1840584/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=10984 CPUtime=0 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 266 0 0 0 0 0 0 0 18 0 1 0 187531835 11247616 250 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 2746 250 174 640 0 2035 0 [startup+0.0406631 s] /proc/loadavg: 1.00 1.00 1.00 3/64 13521 /proc/meminfo: memFree=1840584/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=11940 CPUtime=0.03 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 557 0 0 0 3 0 0 0 18 0 1 0 187531835 12226560 541 1992294400 134512640 137136520 4294956256 18446744073709551615 134520189 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 2985 542 232 640 0 2274 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11940 [startup+0.101671 s] /proc/loadavg: 1.00 1.00 1.00 3/64 13521 /proc/meminfo: memFree=1840584/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=12836 CPUtime=0.09 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 873 0 0 0 9 0 0 0 18 0 1 0 187531835 13144064 790 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 3209 790 197 640 0 2565 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12836 [startup+0.301703 s] /proc/loadavg: 1.00 1.00 1.00 3/64 13521 /proc/meminfo: memFree=1840584/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=15760 CPUtime=0.29 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 1595 0 0 0 28 1 0 0 19 0 1 0 187531835 16138240 1512 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 3940 1514 197 640 0 3296 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15760 [startup+0.701766 s] /proc/loadavg: 1.00 1.00 1.00 3/64 13521 /proc/meminfo: memFree=1840584/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=20808 CPUtime=0.69 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 2853 0 0 0 68 1 0 0 22 0 1 0 187531835 21307392 2770 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 5202 2770 197 640 0 4558 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 20808 [startup+1.50189 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13522 /proc/meminfo: memFree=1826176/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=30644 CPUtime=1.49 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 5331 0 0 0 146 3 0 0 25 0 1 0 187531835 31379456 5248 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 7661 5248 197 640 0 7017 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 30644 [startup+3.10115 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13522 /proc/meminfo: memFree=1815296/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=44272 CPUtime=3.09 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 8731 0 0 0 304 5 0 0 25 0 1 0 187531835 45334528 8648 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 11068 8648 197 640 0 10424 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44272 [startup+6.30166 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13522 /proc/meminfo: memFree=1801600/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=49096 CPUtime=6.29 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 9937 0 0 0 622 7 0 0 25 0 1 0 187531835 50274304 9854 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 12274 9854 197 640 0 11630 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49096 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13522 /proc/meminfo: memFree=1797832/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=52836 CPUtime=12.69 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 10868 0 0 0 1260 9 0 0 25 0 1 0 187531835 54104064 10785 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 13209 10785 197 640 0 12565 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 52836 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13522 /proc/meminfo: memFree=1793032/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=57708 CPUtime=25.49 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 12085 0 0 0 2537 12 0 0 25 0 1 0 187531835 59092992 12002 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 14427 12002 197 640 0 13783 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 57708 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13522 /proc/meminfo: memFree=1790216/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=60456 CPUtime=51.07 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 12781 0 0 0 5091 16 0 0 25 0 1 0 187531835 61906944 12698 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 15114 12698 197 640 0 14470 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 60456 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13522 /proc/meminfo: memFree=1790344/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=60352 CPUtime=102.26 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 12781 0 0 0 10200 26 0 0 25 0 1 0 187531835 61800448 12678 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 15088 12678 197 640 0 14444 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 60352 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13522 /proc/meminfo: memFree=1784520/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=66512 CPUtime=162.23 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 14314 0 0 0 16186 37 0 0 25 0 1 0 187531835 68108288 14196 1992294400 134512640 137136520 4294956256 18446744073709551615 134571159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 16628 14196 197 640 0 15984 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 66512 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13522 /proc/meminfo: memFree=1784200/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=66512 CPUtime=222.21 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 14334 0 0 0 22171 50 0 0 25 0 1 0 187531835 68108288 14216 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 16628 14216 197 640 0 15984 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 66512 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13522 /proc/meminfo: memFree=1780488/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=70180 CPUtime=282.19 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 15249 0 0 0 28157 62 0 0 25 0 1 0 187531835 71864320 15131 1992294400 134512640 137136520 4294956256 18446744073709551615 136502090 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 17545 15131 197 640 0 16901 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 70180 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13522 /proc/meminfo: memFree=1776520/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=74156 CPUtime=342.17 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 16230 0 0 0 34144 73 0 0 25 0 1 0 187531835 75935744 16112 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 18539 16112 197 640 0 17895 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 74156 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13522 /proc/meminfo: memFree=1776456/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=74140 CPUtime=402.15 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 16235 0 0 0 40132 83 0 0 25 0 1 0 187531835 75919360 16117 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 18535 16117 197 640 0 17891 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 74140 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13522 /proc/meminfo: memFree=1776456/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=74164 CPUtime=462.12 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 16236 0 0 0 46119 93 0 0 25 0 1 0 187531835 75943936 16115 1992294400 134512640 137136520 4294956256 18446744073709551615 135982518 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 18541 16115 197 640 0 17897 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 74164 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13522 /proc/meminfo: memFree=1772424/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=78332 CPUtime=522.1 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 17287 0 0 0 52109 101 0 0 25 0 1 0 187531835 80211968 17166 1992294400 134512640 137136520 4294956256 18446744073709551615 134573439 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 19583 17166 197 640 0 18939 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 78332 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13524 /proc/meminfo: memFree=1772232/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=78380 CPUtime=582.09 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 17297 0 0 0 58097 112 0 0 25 0 1 0 187531835 80261120 17176 1992294400 134512640 137136520 4294956256 18446744073709551615 136502025 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 19595 17176 197 640 0 18951 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 78380 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13524 /proc/meminfo: memFree=1772232/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=78376 CPUtime=642.07 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 17297 0 0 0 64086 121 0 0 25 0 1 0 187531835 80257024 17176 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 19594 17176 197 640 0 18950 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 78376 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1767176/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=83208 CPUtime=1121.9 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 18533 0 0 0 111995 195 0 0 25 0 1 0 187531835 85204992 18392 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 20802 18392 197 640 0 20158 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 83208 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13530 /proc/meminfo: memFree=1761800/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=88576 CPUtime=1181.88 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 19863 0 0 0 117982 206 0 0 25 0 1 0 187531835 90701824 19722 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 22144 19722 197 640 0 21500 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 88576 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13530 /proc/meminfo: memFree=1761800/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=88576 CPUtime=1241.85 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 19863 0 0 0 123969 216 0 0 25 0 1 0 187531835 90701824 19722 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 22144 19722 197 640 0 21500 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 88576 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13530 /proc/meminfo: memFree=1761736/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=88576 CPUtime=1301.84 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 19863 0 0 0 129960 224 0 0 25 0 1 0 187531835 90701824 19722 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 22144 19722 197 640 0 21500 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 88576 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13530 /proc/meminfo: memFree=1761800/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=88572 CPUtime=1361.82 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 19865 0 0 0 135950 232 0 0 25 0 1 0 187531835 90697728 19724 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 22143 19724 197 640 0 21499 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 88572 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13530 /proc/meminfo: memFree=1761800/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=88572 CPUtime=1421.8 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 19865 0 0 0 141941 239 0 0 25 0 1 0 187531835 90697728 19724 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 22143 19724 197 640 0 21499 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 88572 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13530 /proc/meminfo: memFree=1761736/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=88540 CPUtime=1481.77 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 19865 0 0 0 147928 249 0 0 25 0 1 0 187531835 90664960 19724 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 22135 19724 197 640 0 21491 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 88540 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13530 /proc/meminfo: memFree=1761864/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=88540 CPUtime=1541.75 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 19865 0 0 0 153915 260 0 0 25 0 1 0 187531835 90664960 19724 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 22135 19724 197 640 0 21491 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 88540 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13530 /proc/meminfo: memFree=1761800/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=88540 CPUtime=1601.73 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 19865 0 0 0 159903 270 0 0 25 0 1 0 187531835 90664960 19724 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 22135 19724 197 640 0 21491 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 88540 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13530 /proc/meminfo: memFree=1761800/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=88540 CPUtime=1661.71 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 19865 0 0 0 165892 279 0 0 25 0 1 0 187531835 90664960 19724 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 22135 19724 197 640 0 21491 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 88540 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13530 /proc/meminfo: memFree=1761736/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=88540 CPUtime=1721.69 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 19866 0 0 0 171882 287 0 0 25 0 1 0 187531835 90664960 19725 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 22135 19725 197 640 0 21491 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 88540 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13530 /proc/meminfo: memFree=1755976/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=94216 CPUtime=1781.67 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 21281 0 0 0 177868 299 0 0 25 0 1 0 187531835 96477184 21140 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 23554 21140 197 640 0 22910 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 94216 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13530 /proc/meminfo: memFree=1755976/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=94216 CPUtime=1791.28 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 21281 0 0 0 178827 301 0 0 25 0 1 0 187531835 96477184 21140 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 23554 21140 197 640 0 22910 0 Current children cumulated CPU time (s) 1791.28 Current children cumulated vsize (KiB) 94216 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13530 /proc/meminfo: memFree=1755976/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=94216 CPUtime=1794.47 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 21281 0 0 0 179146 301 0 0 25 0 1 0 187531835 96477184 21140 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 23554 21140 197 640 0 22910 0 Current children cumulated CPU time (s) 1794.47 Current children cumulated vsize (KiB) 94216 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 3/65 13530 /proc/meminfo: memFree=1755976/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=94216 CPUtime=1796.06 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 21281 0 0 0 179305 301 0 0 25 0 1 0 187531835 96477184 21140 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 23554 21140 197 640 0 22910 0 Current children cumulated CPU time (s) 1796.06 Current children cumulated vsize (KiB) 94216 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13530 /proc/meminfo: memFree=1755976/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=94216 CPUtime=1796.87 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 21281 0 0 0 179385 302 0 0 25 0 1 0 187531835 96477184 21140 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 23554 21140 197 640 0 22910 0 Current children cumulated CPU time (s) 1796.87 Current children cumulated vsize (KiB) 94216 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13530 /proc/meminfo: memFree=1755976/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=94216 CPUtime=1797.67 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 21281 0 0 0 179465 302 0 0 25 0 1 0 187531835 96477184 21140 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 23554 21140 197 640 0 22910 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (KiB) 94216 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13530 /proc/meminfo: memFree=1755976/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=94216 CPUtime=1797.87 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 21281 0 0 0 179485 302 0 0 25 0 1 0 187531835 96477184 21140 1992294400 134512640 137136520 4294956256 18446744073709551615 134543878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 23554 21140 197 640 0 22910 0 Current children cumulated CPU time (s) 1797.87 Current children cumulated vsize (KiB) 94216 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13530 /proc/meminfo: memFree=1755976/2055920 swapFree=4192812/4192956 [pid=13521] ppid=13519 vsize=94216 CPUtime=1797.97 /proc/13521/stat : 13521 (bsolo) R 13519 13521 13385 0 -1 4194304 21281 0 0 0 179495 302 0 0 25 0 1 0 187531835 96477184 21140 1992294400 134512640 137136520 4294956256 18446744073709551615 136498241 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13521/statm: 23554 21140 197 640 0 22910 0 Current children cumulated CPU time (s) 1797.97 Current children cumulated vsize (KiB) 94216 Child status: 0 Real time (s): 1798.64 CPU time (s): 1798.02 CPU user time (s): 1794.98 CPU system time (s): 3.03554 CPU usage (%): 99.9652 Max. virtual memory (cumulated for all children) (KiB): 94240 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.98 system time used= 3.03554 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21283 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= 2 involuntary context switches= 3297 runsolver used 1.35679 second user time and 3.73243 second system time The end
Begin job on node26 at 2009-06-17 02:42:01 IDJOB=1878196 IDBENCH=48176 IDSOLVER=700 FILE ID=node26/1878196-1245199321 PBS_JOBID= 9368342 Free space on /tmp= 66156 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_1.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878196-1245199321/watcher-1878196-1245199321 -o /tmp/evaluation-result-1878196-1245199321/solver-1878196-1245199321 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878196-1245199321.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6a7c5d2366cf8704587c2ca2c97e69d0 RANDOM SEED=1922285315 node26.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 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.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1841320 kB Buffers: 46416 kB Cached: 102572 kB SwapCached: 0 kB Active: 92768 kB Inactive: 70192 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1841320 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4020 kB Writeback: 0 kB Mapped: 23756 kB Slab: 37700 kB Committed_AS: 172320 kB PageTables: 1372 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878196-1245199321.opb Free space on /tmp at the end= 66152 MiB End job on node26 at 2009-06-17 03:12:00