Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | -27 | 1798.01 | 1799.04 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_1.opb |
MD5SUM | 2cdec46d3e8e924c4987d217b8438ed8 |
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 | -30 |
Best CPU time to get the best result obtained on this benchmark | 1800.7 |
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 | 43 |
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) | 6204 |
Sum of products size (including duplicates) | 12408 |
Number of different products | 3102 |
Sum of products size | 6204 |
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-1878227-1245202778.opb 0.00/0.00 c File size is 255995 bytes. 0.00/0.03 c Highest Coefficient sum: 200 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.035 s 0.00/0.04 c Var: 3302 Constr: 6604 3302/200/3102 Lit: 31020 Watch. Lit: 21714 0.00/0.04 c Obj. Vars: 200 (6.05694 % of total variables) 0.00/0.07 c Pre-processing Time: 0.075 s 0.00/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.07 c 0 200 3102 9306 3 6204 1033 0 0 0.07 0.00/0.07 c Switching off lower bounding mode. 0.00/0.07 o -24 0.00/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.07 c 0 200 3103 9506 3 6230 2033 1 0 0.07 0.00/0.07 o -25 4.99/5.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.99/5.01 c 9 200 3113 11264 3 6275 2033 11 116 0.08 4.99/5.01 c 109 200 3213 28400 8 6475 2237 111 1184 0.09 4.99/5.01 c 359 200 3463 71116 20 6975 2461 361 2679 0.13 4.99/5.01 c 834 200 3938 152327 38 7925 2708 836 3657 0.23 4.99/5.01 c 1647 200 4751 291664 61 9551 2979 1649 4266 0.39 4.99/5.01 c 2967 200 6071 517733 85 12191 3277 2969 4103 0.72 4.99/5.01 c 5049 200 8153 873563 107 16355 3605 5051 3397 1.49 4.99/5.01 c 8273 200 6298 555902 88 12621 3966 3196 3050 2.71 4.99/5.01 o -26 33.17/33.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 33.17/33.21 c 12420 200 5186 365400 70 10423 2033 2084 2476 5.02 33.17/33.21 c 12520 200 5286 382435 72 10623 2237 2184 2485 5.04 33.17/33.21 c 12770 200 5536 424924 76 11123 2461 2434 2504 5.10 33.17/33.21 c 13245 200 6011 505711 84 12073 2708 2909 2550 5.19 33.17/33.21 c 14058 200 6824 643972 94 13699 2979 3722 2609 5.39 33.17/33.21 c 15378 200 8144 868249 106 16339 3277 5042 2634 5.84 33.17/33.21 c 17460 200 5311 383846 72 10648 3605 2209 2582 6.76 33.17/33.21 c 20683 200 8534 931632 109 17094 3966 5432 2582 8.01 33.17/33.21 c 25621 200 8201 876132 106 16428 4363 5099 2346 10.92 33.17/33.21 c 33127 200 10255 1223948 119 20536 4800 7153 1996 16.59 33.17/33.21 c 44489 200 10249 1222206 119 20524 5281 7147 1679 26.48 33.17/33.21 o -27 1797.96/1799.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1799.03 c 53124 200 7056 681061 96 14165 2033 3954 1600 33.19 1797.96/1799.03 c 53224 200 7156 697993 97 14365 2237 4054 1602 33.22 1797.96/1799.03 c 53474 200 7406 740190 99 14865 2461 4304 1605 33.31 1797.96/1799.03 c 53949 200 7881 820396 104 15815 2708 4779 1614 33.42 1797.96/1799.03 c 54762 200 8694 957931 110 17441 2979 5592 1616 33.87 1797.96/1799.03 c 56082 200 5247 371371 70 10521 3277 2145 1621 34.58 1797.96/1799.03 c 58164 200 7329 723099 98 14685 3605 4227 1650 35.24 1797.96/1799.03 c 61387 200 5471 409408 74 10969 3966 2369 1677 36.60 1797.96/1799.03 c 66323 200 5152 354822 68 10331 4363 2050 1646 40.27 1797.96/1799.03 c 73830 200 7204 701768 97 14435 4800 4102 1673 44.11 1797.96/1799.03 c 85191 200 7222 705446 97 14471 5281 4120 1613 52.79 1797.96/1799.03 c 102335 200 6637 605897 91 13301 5810 3535 1585 64.56 1797.96/1799.03 c 128154 200 7735 791738 102 15497 6392 4633 1396 91.75 1797.96/1799.03 c 166986 200 7779 799518 102 15585 7032 4677 1268 131.59 1797.96/1799.03 c 225338 200 11860 1484293 125 23747 7736 8758 1199 187.90 1797.96/1799.03 c 312971 200 13813 1816224 131 27653 8510 10711 948 329.84 1797.96/1799.03 c 444523 200 9925 1160137 116 19877 9362 6823 904 491.53 1797.96/1799.03 c 641956 200 8621 938596 108 17269 10299 5519 810 791.68 1797.96/1799.03 c 938208 200 10292 1221017 118 20611 11329 7190 746 1257.32 1797.96/1799.03 c Resources Exceeded 1797.96/1799.03 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 1797.96/1799.03 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1799.03 c 39 1267196 59485 1335816 8777 967938 5675 704 1798.01 1797.96/1799.03 c Objective: -27 1797.96/1799.03 s SATISFIABLE 1797.96/1799.03 c Total time: 1798.01 s
OK -27
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878227-1245202778/watcher-1878227-1245202778 -o /tmp/evaluation-result-1878227-1245202778/solver-1878227-1245202778 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878227-1245202778.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/65 31797 /proc/meminfo: memFree=1857384/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=10964 CPUtime=0 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 271 0 0 0 0 0 0 0 18 0 1 0 187875793 11227136 255 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 2741 255 175 640 0 2034 0 [startup+0.105921 s] /proc/loadavg: 1.00 1.00 1.00 3/65 31797 /proc/meminfo: memFree=1857384/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=12724 CPUtime=0.1 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 843 0 0 0 9 1 0 0 18 0 1 0 187875793 13029376 764 1992294400 134512640 137136520 4294956256 18446744073709551615 136502388 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 3181 764 197 640 0 2537 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 12724 [startup+0.201932 s] /proc/loadavg: 1.00 1.00 1.00 3/65 31797 /proc/meminfo: memFree=1857384/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=13864 CPUtime=0.19 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 1110 0 0 0 18 1 0 0 18 0 1 0 187875793 14196736 1031 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 3466 1031 197 640 0 2822 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 13864 [startup+0.301942 s] /proc/loadavg: 1.00 1.00 1.00 3/65 31797 /proc/meminfo: memFree=1857384/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=14996 CPUtime=0.29 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 1404 0 0 0 28 1 0 0 19 0 1 0 187875793 15355904 1325 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 3749 1325 197 640 0 3105 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14996 [startup+0.701985 s] /proc/loadavg: 1.00 1.00 1.00 3/65 31797 /proc/meminfo: memFree=1857384/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=18676 CPUtime=0.69 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 2327 0 0 0 68 1 0 0 23 0 1 0 187875793 19124224 2248 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 4669 2248 197 640 0 4025 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18676 [startup+1.50107 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31798 /proc/meminfo: memFree=1846112/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=23572 CPUtime=1.49 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 3548 0 0 0 147 2 0 0 25 0 1 0 187875793 24137728 3469 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 5893 3470 197 640 0 5249 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23572 [startup+3.10124 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31798 /proc/meminfo: memFree=1840160/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=27548 CPUtime=3.09 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 4546 0 0 0 306 3 0 0 25 0 1 0 187875793 28209152 4467 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 6887 4467 197 640 0 6243 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27548 [startup+6.30157 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31798 /proc/meminfo: memFree=1839200/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=28476 CPUtime=6.29 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 4773 0 0 0 625 4 0 0 25 0 1 0 187875793 29159424 4694 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 7119 4694 197 640 0 6475 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28476 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31798 /proc/meminfo: memFree=1838376/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=29192 CPUtime=12.69 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 4960 0 0 0 1263 6 0 0 25 0 1 0 187875793 29892608 4881 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 7298 4881 197 640 0 6654 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29192 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31798 /proc/meminfo: memFree=1837416/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=30220 CPUtime=25.48 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 5205 0 0 0 2540 8 0 0 25 0 1 0 187875793 30945280 5126 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 7555 5126 197 640 0 6911 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 30220 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31798 /proc/meminfo: memFree=1836264/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=31328 CPUtime=51.07 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 5476 0 0 0 5093 14 0 0 25 0 1 0 187875793 32079872 5397 1992294400 134512640 137136520 4294956256 18446744073709551615 134543986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 7832 5397 197 640 0 7188 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 31328 [startup+102.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31798 /proc/meminfo: memFree=1834024/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=33564 CPUtime=102.25 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 6037 0 0 0 10205 20 0 0 25 0 1 0 187875793 34369536 5958 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 8391 5958 197 640 0 7747 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 33564 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31798 /proc/meminfo: memFree=1832488/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=34952 CPUtime=162.22 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 6396 0 0 0 16191 31 0 0 25 0 1 0 187875793 35790848 6317 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 8738 6317 197 640 0 8094 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 34952 [startup+222.305 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31798 /proc/meminfo: memFree=1830888/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=36572 CPUtime=222.2 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 6811 0 0 0 22181 39 0 0 25 0 1 0 187875793 37449728 6732 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 9143 6732 197 640 0 8499 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 36572 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31798 /proc/meminfo: memFree=1830824/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=36572 CPUtime=282.18 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 6811 0 0 0 28172 46 0 0 25 0 1 0 187875793 37449728 6732 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 9143 6732 197 640 0 8499 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 36572 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31798 /proc/meminfo: memFree=1829160/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=38272 CPUtime=342.16 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 7226 0 0 0 34164 52 0 0 25 0 1 0 187875793 39190528 7147 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 9568 7147 197 640 0 8924 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 38272 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31798 /proc/meminfo: memFree=1829096/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=38336 CPUtime=402.13 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 7237 0 0 0 40153 60 0 0 25 0 1 0 187875793 39256064 7158 1992294400 134512640 137136520 4294956256 18446744073709551615 134574412 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 9584 7158 197 640 0 8940 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 38336 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31798 /proc/meminfo: memFree=1829032/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=38304 CPUtime=462.11 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 7240 0 0 0 46143 68 0 0 25 0 1 0 187875793 39223296 7161 1992294400 134512640 137136520 4294956256 18446744073709551615 134544004 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 9576 7161 197 640 0 8932 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 38304 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31798 /proc/meminfo: memFree=1827176/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=40216 CPUtime=522.08 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 7713 0 0 0 52133 75 0 0 25 0 1 0 187875793 41181184 7634 1992294400 134512640 137136520 4294956256 18446744073709551615 136502143 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 10054 7634 197 640 0 9410 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 40216 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31798 /proc/meminfo: memFree=1827176/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=40216 CPUtime=582.07 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 7713 0 0 0 58126 81 0 0 25 0 1 0 187875793 41181184 7634 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 10054 7634 197 640 0 9410 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 40216 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31798 /proc/meminfo: memFree=1827112/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=40216 CPUtime=642.05 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 7718 0 0 0 64117 88 0 0 25 0 1 0 187875793 41181184 7639 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 10054 7639 197 640 0 9410 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 40216 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1824744/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=42356 CPUtime=1061.88 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 8252 0 0 0 106050 138 0 0 25 0 1 0 187875793 43372544 8173 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 10589 8173 197 640 0 9945 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 42356 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31800 /proc/meminfo: memFree=1824744/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=42356 CPUtime=1121.86 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 8252 0 0 0 112042 144 0 0 25 0 1 0 187875793 43372544 8173 1992294400 134512640 137136520 4294956256 18446744073709551615 136294934 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 10589 8173 197 640 0 9945 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 42356 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31800 /proc/meminfo: memFree=1824744/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=42356 CPUtime=1181.84 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 8252 0 0 0 118033 151 0 0 25 0 1 0 187875793 43372544 8173 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 10589 8173 197 640 0 9945 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 42356 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31800 /proc/meminfo: memFree=1824744/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=42356 CPUtime=1241.81 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 8252 0 0 0 124023 158 0 0 25 0 1 0 187875793 43372544 8173 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 10589 8173 197 640 0 9945 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 42356 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31806 /proc/meminfo: memFree=1822176/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=44768 CPUtime=1301.78 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 8842 0 0 0 130013 165 0 0 25 0 1 0 187875793 45842432 8763 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 11192 8763 197 640 0 10548 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 44768 [startup+1362.3 s] /proc/loadavg: 1.19 1.05 1.01 2/66 32302 /proc/meminfo: memFree=1788152/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=44752 CPUtime=1361.43 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 8842 0 0 0 135970 173 0 0 25 0 1 0 187875793 45826048 8763 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 11188 8763 197 640 0 10544 0 Current children cumulated CPU time (s) 1361.43 Current children cumulated vsize (KiB) 44752 [startup+1422.3 s] /proc/loadavg: 1.07 1.04 1.01 2/66 32302 /proc/meminfo: memFree=1788512/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=44708 CPUtime=1421.4 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 8842 0 0 0 141959 181 0 0 25 0 1 0 187875793 45780992 8763 1992294400 134512640 137136520 4294956256 18446744073709551615 136509112 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 11177 8763 197 640 0 10533 0 Current children cumulated CPU time (s) 1421.4 Current children cumulated vsize (KiB) 44708 [startup+1482.3 s] /proc/loadavg: 1.02 1.03 1.00 2/66 32302 /proc/meminfo: memFree=1788512/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=44704 CPUtime=1481.38 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 8842 0 0 0 147950 188 0 0 25 0 1 0 187875793 45776896 8763 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 11176 8763 197 640 0 10532 0 Current children cumulated CPU time (s) 1481.38 Current children cumulated vsize (KiB) 44704 [startup+1542.31 s] /proc/loadavg: 1.01 1.02 1.00 2/66 32302 /proc/meminfo: memFree=1788576/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=44664 CPUtime=1541.36 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 8842 0 0 0 153941 195 0 0 25 0 1 0 187875793 45735936 8755 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 11166 8755 197 640 0 10522 0 Current children cumulated CPU time (s) 1541.36 Current children cumulated vsize (KiB) 44664 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 1.00 2/66 32302 /proc/meminfo: memFree=1788576/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=44664 CPUtime=1601.33 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 8842 0 0 0 159932 201 0 0 25 0 1 0 187875793 45735936 8755 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 11166 8755 197 640 0 10522 0 Current children cumulated CPU time (s) 1601.33 Current children cumulated vsize (KiB) 44664 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/66 32302 /proc/meminfo: memFree=1788584/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=44664 CPUtime=1661.31 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 8842 0 0 0 165922 209 0 0 25 0 1 0 187875793 45735936 8755 1992294400 134512640 137136520 4294956256 18446744073709551615 134543878 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 11166 8755 197 640 0 10522 0 Current children cumulated CPU time (s) 1661.31 Current children cumulated vsize (KiB) 44664 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 32302 /proc/meminfo: memFree=1788648/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=44744 CPUtime=1721.29 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 8847 0 0 0 171912 217 0 0 25 0 1 0 187875793 45817856 8757 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 11186 8757 197 640 0 10542 0 Current children cumulated CPU time (s) 1721.29 Current children cumulated vsize (KiB) 44744 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 32302 /proc/meminfo: memFree=1788584/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=44716 CPUtime=1781.27 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 8847 0 0 0 177904 223 0 0 25 0 1 0 187875793 45789184 8757 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 11179 8757 197 640 0 10535 0 Current children cumulated CPU time (s) 1781.27 Current children cumulated vsize (KiB) 44716 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 1.00 1.00 1.00 2/66 32302 /proc/meminfo: memFree=1788584/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=44716 CPUtime=1790.97 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 8847 0 0 0 178873 224 0 0 25 0 1 0 187875793 45789184 8757 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 11179 8757 197 640 0 10535 0 Current children cumulated CPU time (s) 1790.97 Current children cumulated vsize (KiB) 44716 [startup+1795.2 s] /proc/loadavg: 1.00 1.00 1.00 2/66 32302 /proc/meminfo: memFree=1788584/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=44716 CPUtime=1794.17 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 8847 0 0 0 179192 225 0 0 25 0 1 0 187875793 45789184 8757 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 11179 8757 197 640 0 10535 0 Current children cumulated CPU time (s) 1794.17 Current children cumulated vsize (KiB) 44716 [startup+1796.8 s] /proc/loadavg: 1.00 1.00 1.00 2/66 32302 /proc/meminfo: memFree=1788584/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=44716 CPUtime=1795.76 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 8847 0 0 0 179351 225 0 0 25 0 1 0 187875793 45789184 8757 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 11179 8757 197 640 0 10535 0 Current children cumulated CPU time (s) 1795.76 Current children cumulated vsize (KiB) 44716 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/66 32302 /proc/meminfo: memFree=1788584/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=44716 CPUtime=1797.36 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 8847 0 0 0 179511 225 0 0 25 0 1 0 187875793 45789184 8757 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 11179 8757 197 640 0 10535 0 Current children cumulated CPU time (s) 1797.36 Current children cumulated vsize (KiB) 44716 [startup+1798.8 s] /proc/loadavg: 1.00 1.00 1.00 2/66 32302 /proc/meminfo: memFree=1788584/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=44716 CPUtime=1797.76 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 8847 0 0 0 179551 225 0 0 25 0 1 0 187875793 45789184 8757 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 11179 8757 197 640 0 10535 0 Current children cumulated CPU time (s) 1797.76 Current children cumulated vsize (KiB) 44716 [startup+1799 s] /proc/loadavg: 1.00 1.00 1.00 2/66 32302 /proc/meminfo: memFree=1788584/2055920 swapFree=4179968/4192956 [pid=31797] ppid=31795 vsize=44716 CPUtime=1797.96 /proc/31797/stat : 31797 (bsolo) R 31795 31797 31205 0 -1 4194304 8847 0 0 0 179571 225 0 0 25 0 1 0 187875793 45789184 8757 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31797/statm: 11179 8757 197 640 0 10535 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 44716 Child status: 0 Real time (s): 1799.04 CPU time (s): 1798.01 CPU user time (s): 1795.75 CPU system time (s): 2.26066 CPU usage (%): 99.9428 Max. virtual memory (cumulated for all children) (KiB): 44768 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.75 system time used= 2.26066 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8849 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= 3 involuntary context switches= 7748 runsolver used 2.27665 second user time and 3.98039 second system time The end
Begin job on node82 at 2009-06-17 03:39:38 IDJOB=1878227 IDBENCH=48207 IDSOLVER=700 FILE ID=node82/1878227-1245202778 PBS_JOBID= 9368301 Free space on /tmp= 66404 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_1.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878227-1245202778/watcher-1878227-1245202778 -o /tmp/evaluation-result-1878227-1245202778/solver-1878227-1245202778 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878227-1245202778.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2cdec46d3e8e924c4987d217b8438ed8 RANDOM SEED=456804789 node82.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.232 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 : 5914.62 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.232 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1858056 kB Buffers: 39100 kB Cached: 92204 kB SwapCached: 6532 kB Active: 17824 kB Inactive: 126924 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1858056 kB SwapTotal: 4192956 kB SwapFree: 4179968 kB Dirty: 4016 kB Writeback: 0 kB Mapped: 19132 kB Slab: 38944 kB Committed_AS: 95260 kB PageTables: 1400 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878227-1245202778.opb Free space on /tmp at the end= 66400 MiB End job on node82 at 2009-06-17 04:09:37