Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | -26 | 1798.01 | 1798.42 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_5.opb |
MD5SUM | cdccc05ac387e7ee9cb8ab81f53ca6f8 |
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 | -28 |
Best CPU time to get the best result obtained on this benchmark | 1800.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -31 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 200 |
Minimum length of a constraint | 25 |
Maximum length of a constraint | 49 |
Number of terms in the objective function | 200 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6226 |
Sum of products size (including duplicates) | 12452 |
Number of different products | 3113 |
Sum of products size | 6226 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2670977-1276713135.opb 0.00/0.00 c File size is 256882 bytes. 0.00/0.04 c Highest Coefficient sum: 200 0.00/0.04 c Parsing was ok!! 0.00/0.04 c Total parsing time: 0.044 s 0.04/0.04 c Var: 3313 Constr: 6626 3313/200/3113 Lit: 31130 Watch. Lit: 21791 0.04/0.04 c Obj. Vars: 200 (6.03682 % of total variables) 0.04/0.08 c Pre-processing Time: 0.087 s 0.04/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.08 c 0 200 3113 9339 3 6226 1037 0 0 0.09 0.04/0.08 c Switching off lower bounding mode. 0.04/0.08 o -21 0.04/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.09 c 0 200 3114 9539 3 6249 2037 1 0 0.09 0.04/0.09 o -22 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 17 200 3132 12740 4 6307 2037 19 180 0.09 0.09/0.13 c 118 200 3233 30367 9 6509 2241 120 874 0.14 0.09/0.13 o -23 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 118 200 3234 30567 9 6534 2037 121 867 0.14 0.09/0.13 o -24 4.99/5.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.99/5.08 c 119 200 3236 30942 9 6562 2037 123 868 0.14 4.99/5.08 c 219 200 3336 48174 14 6762 2241 223 1216 0.18 4.99/5.08 c 470 200 3587 91484 25 7264 2466 474 1643 0.29 4.99/5.08 c 945 200 4062 173178 42 8214 2713 949 1875 0.50 4.99/5.08 c 1758 200 4877 313349 64 9844 2985 1764 1944 0.90 4.99/5.08 c 3078 200 6209 541009 87 12597 3284 3096 1836 1.68 4.99/5.08 c 5159 200 8297 900032 108 16795 3613 5184 1578 3.27 4.99/5.08 o -26 1797.99/1798.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.99/1798.41 c 7496 200 5554 429580 77 11158 2037 2441 1473 5.09 1797.99/1798.41 c 7596 200 5654 446629 78 11358 2241 2541 1477 5.14 1797.99/1798.41 c 7846 200 5905 489301 82 11860 2466 2792 1486 5.28 1797.99/1798.41 c 8321 200 6381 570472 89 12812 2713 3268 1492 5.58 1797.99/1798.41 c 9134 200 7197 709135 98 14444 2985 4084 1485 6.15 1797.99/1798.41 c 10455 200 8519 933953 109 17088 3284 5406 1484 7.04 1797.99/1798.41 c 12536 200 5676 445028 78 11378 3613 2563 1485 8.44 1797.99/1798.41 c 15759 200 8911 994284 111 17848 3975 5798 1482 10.63 1797.99/1798.41 c 20695 200 8574 936294 109 17174 4373 5461 1320 15.68 1797.99/1798.41 c 28201 200 5301 380588 71 10628 4811 2188 1163 24.23 1797.99/1798.41 c 39562 200 11013 1346898 122 22076 5293 7900 1038 38.10 1797.99/1798.41 c 56707 200 10395 1242424 119 20816 5823 7282 945 59.94 1797.99/1798.41 c 82529 200 11510 1415601 122 23090 6406 8397 895 92.14 1797.99/1798.41 c 121361 200 11584 1440164 124 23241 7047 8471 809 149.93 1797.99/1798.41 c 179714 200 8885 980753 110 17856 7752 5772 721 248.95 1797.99/1798.41 c 267346 200 10875 1320333 121 21798 8528 7762 669 399.16 1797.99/1798.41 c 398898 200 14545 1950642 134 29116 9381 11432 632 630.86 1797.99/1798.41 c 596331 200 13365 1721943 128 26878 10320 10252 605 984.73 1797.99/1798.41 c 892584 200 15109 2041235 135 30268 11353 11996 565 1578.11 1797.99/1798.41 c Resources Exceeded 1797.99/1798.41 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 1797.99/1798.41 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.99/1798.41 c 30 1005533 57200 1072463 11895 1486533 8782 559 1798.00 1797.99/1798.41 c Objective: -26 1797.99/1798.41 s SATISFIABLE 1797.99/1798.41 c Total time: 1798 s
OK -26
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670977-1276713135/watcher-2670977-1276713135 -o /tmp/evaluation-result-2670977-1276713135/solver-2670977-1276713135 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670977-1276713135.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.94 1.03 1.00 3/106 17008 /proc/meminfo: memFree=1685972/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=11176 CPUtime=0 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12608622 11444224 279 1992294400 134512640 137138936 4287266080 18446744073709551615 134517511 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 2794 279 175 642 0 2087 0 [startup+0.047441 s] /proc/loadavg: 0.94 1.03 1.00 3/106 17008 /proc/meminfo: memFree=1685972/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=12296 CPUtime=0.04 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 755 0 0 0 4 0 0 0 20 0 1 0 12608622 12591104 611 1992294400 134512640 137138936 4287266080 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 3074 613 182 642 0 2430 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12296 [startup+0.100443 s] /proc/loadavg: 0.94 1.03 1.00 3/106 17008 /proc/meminfo: memFree=1685972/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=12672 CPUtime=0.09 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 867 0 0 0 9 0 0 0 20 0 1 0 12608622 12976128 723 1992294400 134512640 137138936 4287266080 18446744073709551615 134576360 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 3168 723 192 642 0 2524 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12672 [startup+0.300457 s] /proc/loadavg: 0.94 1.03 1.00 3/106 17008 /proc/meminfo: memFree=1685972/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=13472 CPUtime=0.29 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 1070 0 0 0 29 0 0 0 20 0 1 0 12608622 13795328 926 1992294400 134512640 137138936 4287266080 18446744073709551615 134603198 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 3368 926 192 642 0 2724 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13472 [startup+0.700485 s] /proc/loadavg: 0.94 1.03 1.00 3/106 17008 /proc/meminfo: memFree=1685972/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=15316 CPUtime=0.69 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 1545 0 0 0 68 1 0 0 20 0 1 0 12608622 15683584 1401 1992294400 134512640 137138936 4287266080 18446744073709551615 134551086 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 3829 1401 192 642 0 3185 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15316 [startup+1.50054 s] /proc/loadavg: 0.94 1.03 1.00 2/107 17009 /proc/meminfo: memFree=1679888/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=18644 CPUtime=1.49 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 2371 0 0 0 148 1 0 0 23 0 1 0 12608622 19091456 2227 1992294400 134512640 137138936 4287266080 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 4661 2227 192 642 0 4017 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18644 [startup+3.10065 s] /proc/loadavg: 0.94 1.03 1.00 2/107 17009 /proc/meminfo: memFree=1675548/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=23620 CPUtime=3.09 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 3603 0 0 0 306 3 0 0 25 0 1 0 12608622 24186880 3459 1992294400 134512640 137138936 4287266080 18446744073709551615 134607606 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 5905 3459 192 642 0 5261 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23620 [startup+6.30088 s] /proc/loadavg: 0.94 1.03 1.00 2/107 17009 /proc/meminfo: memFree=1668356/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=27704 CPUtime=6.29 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 4643 0 0 0 625 4 0 0 25 0 1 0 12608622 28368896 4499 1992294400 134512640 137138936 4287266080 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 6926 4499 192 642 0 6282 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27704 [startup+12.7013 s] /proc/loadavg: 0.95 1.03 1.00 2/107 17011 /proc/meminfo: memFree=1667860/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=28336 CPUtime=12.69 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 4858 0 0 0 1263 6 0 0 25 0 1 0 12608622 29016064 4656 1992294400 134512640 137138936 4287266080 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 7084 4656 192 642 0 6440 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28336 [startup+25.5012 s] /proc/loadavg: 0.96 1.03 1.00 2/107 17011 /proc/meminfo: memFree=1666992/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=29316 CPUtime=25.48 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 5084 0 0 0 2540 8 0 0 25 0 1 0 12608622 30019584 4882 1992294400 134512640 137138936 4287266080 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 7329 4882 192 642 0 6685 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 29316 [startup+51.102 s] /proc/loadavg: 0.97 1.03 1.00 2/107 17011 /proc/meminfo: memFree=1665008/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=31336 CPUtime=51.08 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 5597 0 0 0 5094 14 0 0 25 0 1 0 12608622 32088064 5395 1992294400 134512640 137138936 4287266080 18446744073709551615 134572783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 7834 5395 192 642 0 7190 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 31336 [startup+102.31 s] /proc/loadavg: 0.99 1.02 1.00 2/107 17013 /proc/meminfo: memFree=1662652/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=33556 CPUtime=102.28 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 6149 0 0 0 10205 23 0 0 25 0 1 0 12608622 34361344 5947 1992294400 134512640 137138936 4287266080 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 8389 5947 192 642 0 7745 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 33556 [startup+162.302 s] /proc/loadavg: 0.99 1.02 1.00 2/107 17015 /proc/meminfo: memFree=1661040/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=35132 CPUtime=162.26 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 6546 0 0 0 16191 35 0 0 25 0 1 0 12608622 35975168 6344 1992294400 134512640 137138936 4287266080 18446744073709551615 136511201 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 8783 6344 192 642 0 8139 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 35132 [startup+222.301 s] /proc/loadavg: 0.99 1.01 1.00 2/107 17015 /proc/meminfo: memFree=1660916/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=35312 CPUtime=222.24 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 6586 0 0 0 22179 45 0 0 25 0 1 0 12608622 36159488 6384 1992294400 134512640 137138936 4287266080 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 8828 6384 192 642 0 8184 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 35312 [startup+282.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 17017 /proc/meminfo: memFree=1659304/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=36792 CPUtime=282.23 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 6970 0 0 0 28166 57 0 0 25 0 1 0 12608622 37675008 6768 1992294400 134512640 137138936 4287266080 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 9198 6768 192 642 0 8554 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 36792 [startup+342.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 17019 /proc/meminfo: memFree=1659304/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=36780 CPUtime=342.21 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 6971 0 0 0 34154 67 0 0 25 0 1 0 12608622 37662720 6769 1992294400 134512640 137138936 4287266080 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 9195 6769 192 642 0 8551 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 36780 [startup+402.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 17021 /proc/meminfo: memFree=1659180/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=37572 CPUtime=402.2 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 7154 0 0 0 40142 78 0 0 25 0 1 0 12608622 38473728 6952 1992294400 134512640 137138936 4287266080 18446744073709551615 134607004 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 9393 6952 192 642 0 8749 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 37572 [startup+462.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 17023 /proc/meminfo: memFree=1657444/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=38660 CPUtime=462.19 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 7429 0 0 0 46130 89 0 0 25 0 1 0 12608622 39587840 7227 1992294400 134512640 137138936 4287266080 18446744073709551615 134575602 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 9665 7227 192 642 0 9021 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 38660 [startup+522.301 s] /proc/loadavg: 1.04 1.01 1.00 2/107 17023 /proc/meminfo: memFree=1657320/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=38616 CPUtime=522.17 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 7429 0 0 0 52118 99 0 0 25 0 1 0 12608622 39542784 7227 1992294400 134512640 137138936 4287266080 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 9654 7227 192 642 0 9010 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 38616 [startup+582.301 s] /proc/loadavg: 1.13 1.04 1.01 2/107 17025 /proc/meminfo: memFree=1657320/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=38560 CPUtime=582.17 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 7429 0 0 0 58107 110 0 0 25 0 1 0 12608622 39485440 7214 1992294400 134512640 137138936 4287266080 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 9640 7214 192 642 0 8996 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 38560 [startup+642.3 s] /proc/loadavg: 1.05 1.03 1.00 2/107 17027 /proc/meminfo: memFree=1655336/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=40616 CPUtime=642.16 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 7931 0 0 0 64094 122 0 0 25 0 1 0 12608622 41590784 7709 1992294400 134512640 137138936 4287266080 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 10154 7709 192 642 0 9510 0 Current children cumulated CPU time (s) 642.16 Current children cumulated vsize (KiB) 40616 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1652980/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=42684 CPUtime=1122.04 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 8450 0 0 0 111992 212 0 0 25 0 1 0 12608622 43708416 8226 1992294400 134512640 137138936 4287266080 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 10671 8226 192 642 0 10027 0 Current children cumulated CPU time (s) 1122.04 Current children cumulated vsize (KiB) 42684 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17041 /proc/meminfo: memFree=1652980/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=42680 CPUtime=1182.02 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 8450 0 0 0 117981 221 0 0 25 0 1 0 12608622 43704320 8226 1992294400 134512640 137138936 4287266080 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 10670 8226 192 642 0 10026 0 Current children cumulated CPU time (s) 1182.02 Current children cumulated vsize (KiB) 42680 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17043 /proc/meminfo: memFree=1652732/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=42660 CPUtime=1242.02 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 8450 0 0 0 123971 231 0 0 25 0 1 0 12608622 43683840 8226 1992294400 134512640 137138936 4287266080 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 10665 8226 192 642 0 10021 0 Current children cumulated CPU time (s) 1242.02 Current children cumulated vsize (KiB) 42660 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17045 /proc/meminfo: memFree=1652732/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=42644 CPUtime=1302.01 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 8450 0 0 0 129958 243 0 0 25 0 1 0 12608622 43667456 8226 1992294400 134512640 137138936 4287266080 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 10661 8226 192 642 0 10017 0 Current children cumulated CPU time (s) 1302.01 Current children cumulated vsize (KiB) 42644 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17047 /proc/meminfo: memFree=1652732/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=42644 CPUtime=1361.99 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 8457 0 0 0 135947 252 0 0 25 0 1 0 12608622 43667456 8233 1992294400 134512640 137138936 4287266080 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 10661 8233 192 642 0 10017 0 Current children cumulated CPU time (s) 1361.99 Current children cumulated vsize (KiB) 42644 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17047 /proc/meminfo: memFree=1652732/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=42644 CPUtime=1421.98 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 8457 0 0 0 141936 262 0 0 25 0 1 0 12608622 43667456 8233 1992294400 134512640 137138936 4287266080 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 10661 8233 192 642 0 10017 0 Current children cumulated CPU time (s) 1421.98 Current children cumulated vsize (KiB) 42644 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17049 /proc/meminfo: memFree=1652608/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=42616 CPUtime=1481.96 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 8457 0 0 0 147925 271 0 0 25 0 1 0 12608622 43638784 8228 1992294400 134512640 137138936 4287266080 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 10654 8228 192 642 0 10010 0 Current children cumulated CPU time (s) 1481.96 Current children cumulated vsize (KiB) 42616 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17051 /proc/meminfo: memFree=1652608/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=42616 CPUtime=1541.95 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 8457 0 0 0 153913 282 0 0 25 0 1 0 12608622 43638784 8228 1992294400 134512640 137138936 4287266080 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 10654 8228 192 642 0 10010 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 42616 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17053 /proc/meminfo: memFree=1650500/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=45012 CPUtime=1601.93 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 9039 0 0 0 159900 293 0 0 25 0 1 0 12608622 46092288 8810 1992294400 134512640 137138936 4287266080 18446744073709551615 136504212 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 11253 8810 192 642 0 10609 0 Current children cumulated CPU time (s) 1601.93 Current children cumulated vsize (KiB) 45012 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17055 /proc/meminfo: memFree=1650500/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=44996 CPUtime=1661.92 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 9039 0 0 0 165887 305 0 0 25 0 1 0 12608622 46075904 8810 1992294400 134512640 137138936 4287266080 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 11249 8810 192 642 0 10605 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 44996 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17055 /proc/meminfo: memFree=1650376/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=45080 CPUtime=1721.9 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 9057 0 0 0 171876 314 0 0 25 0 1 0 12608622 46161920 8828 1992294400 134512640 137138936 4287266080 18446744073709551615 136511072 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 11270 8828 192 642 0 10626 0 Current children cumulated CPU time (s) 1721.9 Current children cumulated vsize (KiB) 45080 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17066 /proc/meminfo: memFree=1649508/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=45020 CPUtime=1781.88 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 9057 0 0 0 177865 323 0 0 25 0 1 0 12608622 46100480 8828 1992294400 134512640 137138936 4287266080 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 11255 8828 192 642 0 10611 0 Current children cumulated CPU time (s) 1781.88 Current children cumulated vsize (KiB) 45020 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 17066 /proc/meminfo: memFree=1649508/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=45020 CPUtime=1791.49 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 9057 0 0 0 178823 326 0 0 25 0 1 0 12608622 46100480 8828 1992294400 134512640 137138936 4287266080 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 11255 8828 192 642 0 10611 0 Current children cumulated CPU time (s) 1791.49 Current children cumulated vsize (KiB) 45020 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17066 /proc/meminfo: memFree=1649508/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=45016 CPUtime=1794.69 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 9057 0 0 0 179143 326 0 0 25 0 1 0 12608622 46096384 8828 1992294400 134512640 137138936 4287266080 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 11254 8828 192 642 0 10610 0 Current children cumulated CPU time (s) 1794.69 Current children cumulated vsize (KiB) 45016 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17066 /proc/meminfo: memFree=1649508/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=45016 CPUtime=1796.28 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 9057 0 0 0 179302 326 0 0 25 0 1 0 12608622 46096384 8828 1992294400 134512640 137138936 4287266080 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 11254 8828 192 642 0 10610 0 Current children cumulated CPU time (s) 1796.28 Current children cumulated vsize (KiB) 45016 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17066 /proc/meminfo: memFree=1649508/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=45016 CPUtime=1797.08 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 9057 0 0 0 179381 327 0 0 25 0 1 0 12608622 46096384 8828 1992294400 134512640 137138936 4287266080 18446744073709551615 136504144 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 11254 8828 192 642 0 10610 0 Current children cumulated CPU time (s) 1797.08 Current children cumulated vsize (KiB) 45016 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17066 /proc/meminfo: memFree=1649508/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=45016 CPUtime=1797.48 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 9057 0 0 0 179421 327 0 0 25 0 1 0 12608622 46096384 8828 1992294400 134512640 137138936 4287266080 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 11254 8828 192 642 0 10610 0 Current children cumulated CPU time (s) 1797.48 Current children cumulated vsize (KiB) 45016 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17066 /proc/meminfo: memFree=1649508/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=45016 CPUtime=1797.88 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 9057 0 0 0 179461 327 0 0 25 0 1 0 12608622 46096384 8828 1992294400 134512640 137138936 4287266080 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 11254 8828 192 642 0 10610 0 Current children cumulated CPU time (s) 1797.88 Current children cumulated vsize (KiB) 45016 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17066 /proc/meminfo: memFree=1649508/2059040 swapFree=4192956/4192956 [pid=17008] ppid=17006 vsize=45016 CPUtime=1797.99 /proc/17008/stat : 17008 (bsolo_pb10) R 17006 17008 16975 0 -1 4202496 9057 0 0 0 179472 327 0 0 25 0 1 0 12608622 46096384 8828 1992294400 134512640 137138936 4287266080 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17008/statm: 11254 8828 192 642 0 10610 0 Current children cumulated CPU time (s) 1797.99 Current children cumulated vsize (KiB) 45016 Child status: 0 Real time (s): 1798.42 CPU time (s): 1798.01 CPU user time (s): 1794.73 CPU system time (s): 3.2795 CPU usage (%): 99.9771 Max. virtual memory (cumulated for all children) (KiB): 45080 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.73 system time used= 3.2795 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9058 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= 3338 runsolver used 2.74758 second user time and 8.71467 second system time The end
Begin job on node034 at 2010-06-16 20:32:15 IDJOB=2670977 IDBENCH=48205 IDSOLVER=1162 FILE ID=node034/2670977-1276713135 PBS_JOBID= 11174149 Free space on /tmp= 62516 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_5.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670977-1276713135/watcher-2670977-1276713135 -o /tmp/evaluation-result-2670977-1276713135/solver-2670977-1276713135 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670977-1276713135.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cdccc05ac387e7ee9cb8ab81f53ca6f8 RANDOM SEED=1175121784 node034.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.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1686996 kB Buffers: 101444 kB Cached: 143572 kB SwapCached: 0 kB Active: 129436 kB Inactive: 175100 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1686996 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 5832 kB Writeback: 0 kB AnonPages: 59536 kB Mapped: 15384 kB Slab: 45748 kB PageTables: 4080 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180364 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-2670977-1276713135.opb Free space on /tmp at the end= 62512 MiB End job on node034 at 2010-06-16 21:02:14