Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | 5 | 1798.04 | 1798.57 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_2.opb |
MD5SUM | 1e64c526f9351931db225cdff75c2df5 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 102.96 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 100 |
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 | 100 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 46 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 3074 |
Sum of products size (including duplicates) | 6148 |
Number of different products | 3074 |
Sum of products size | 6148 |
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-1878176-1245197430.opb 0.00/0.00 c File size is 219680 bytes. 0.00/0.03 c Highest Coefficient sum: 100 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.03 s 0.00/0.03 c Var: 3174 Constr: 6248 3174/0/3074 Lit: 21618 Watch. Lit: 15570 0.00/0.03 c Obj. Vars: 100 (3.1506 % of total variables) 0.19/0.22 c Pre-processing Time: 0.225 s 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 0 3174 6248 21618 3 15570 19501 0 0 0.23 0.19/0.22 c Switching off lower bounding mode. 0.19/0.23 o 99 0.19/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.23 c 0 3174 6249 21718 3 15573 19568 1 0 0.23 0.19/0.23 o 98 0.19/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.23 c 0 3174 6250 21818 3 15577 19668 2 0 0.23 0.19/0.23 o 97 0.19/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.24 c 1 3174 6252 22016 3 15584 19701 4 4 0.23 0.19/0.24 o 8 0.19/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.24 c 1 3174 6253 22116 3 15678 20568 5 4 0.24 0.19/0.24 o 7 8.89/8.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.89/8.97 c 7 3174 6260 22893 3 15785 20568 12 28 0.24 8.89/8.97 c 109 3174 6362 34273 5 15989 22625 114 386 0.28 8.89/8.97 c 360 3174 6613 64851 9 16491 24888 365 878 0.41 8.89/8.97 c 836 3174 7089 110858 15 17443 27377 841 1363 0.61 8.89/8.97 c 1650 3174 7903 184379 23 19071 30115 1655 1628 1.01 8.89/8.97 c 2970 3174 9223 307642 33 21711 33127 2975 1622 1.83 8.89/8.97 c 5051 3174 11304 500041 44 25873 36440 5056 1358 3.72 8.89/8.97 c 8275 3174 14528 819395 56 32321 40085 8280 1078 7.67 8.89/8.97 o 6 74.86/74.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 74.86/74.93 c 9186 3174 15440 893427 57 34239 20568 9192 1023 8.98 74.86/74.93 c 9290 3174 15544 903787 58 34447 22625 9296 1014 9.16 74.86/74.93 c 9541 3174 15795 925639 58 34949 24888 9547 1007 9.47 74.86/74.93 c 10020 3174 16274 961970 59 35907 27377 10026 963 10.39 74.86/74.93 c 10833 3174 17087 1002630 58 37533 30115 10839 941 11.51 74.86/74.93 c 12153 3174 18407 1094937 59 40173 33127 12159 851 14.27 74.86/74.93 c 14234 3174 20488 1228639 59 44335 36440 14240 780 18.25 74.86/74.93 c 17457 3174 23711 1504220 63 50781 40085 17463 643 27.13 74.86/74.93 c 22393 3174 28647 1952559 68 60653 44094 22399 546 41.00 74.86/74.93 c 29899 3174 36153 2751988 76 75665 48504 29905 438 68.19 74.86/74.93 o 5 1797.96/1798.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1798.53 c 31338 3174 37593 2975829 79 78640 20568 31345 418 74.92 1797.96/1798.53 c 31438 3174 16633 1175978 70 36435 22625 10385 416 75.47 1797.96/1798.53 c 31688 3174 16883 1196429 70 36935 24888 10635 417 75.85 1797.96/1798.53 c 32163 3174 17358 1224914 70 37885 27377 11110 418 76.81 1797.96/1798.53 c 32978 3174 18173 1271111 69 39515 30115 11925 419 78.63 1797.96/1798.53 c 34299 3174 19494 1373156 70 42157 33127 13246 421 81.36 1797.96/1798.53 c 36381 3174 21576 1506246 69 46321 36440 15328 420 86.60 1797.96/1798.53 c 39604 3174 24799 1776236 71 52767 40085 18551 420 94.18 1797.96/1798.53 c 44541 3174 29736 2235733 75 62641 44094 23488 385 115.54 1797.96/1798.53 c 52049 3174 37244 2922549 78 77657 48504 30996 344 151.00 1797.96/1798.53 c 63416 3174 48611 4365035 89 100391 53355 42363 298 212.66 1797.96/1798.53 c 80562 3174 22205 1937805 87 47579 58691 15957 267 301.69 1797.96/1798.53 c 106383 3174 48026 4635798 96 99221 64561 41778 252 421.99 1797.96/1798.53 c 145216 3174 32816 3060295 93 68801 71018 26568 215 674.18 1797.96/1798.53 c 203568 3174 30617 4371115 142 64403 78120 24369 185 1098.75 1797.96/1798.53 c Resources Exceeded 1797.96/1798.53 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 1797.96/1798.53 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.53 c 37 289514 104514 617612 49241 8816305 42993 161 1798.00 1797.96/1798.53 c Objective: 5 1797.96/1798.53 s SATISFIABLE 1797.96/1798.53 c Total time: 1798 s
OK 5
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878176-1245197430/watcher-1878176-1245197430 -o /tmp/evaluation-result-1878176-1245197430/solver-1878176-1245197430 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878176-1245197430.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6417 /proc/meminfo: memFree=1844848/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=18748 CPUtime=0 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 266 0 0 0 0 0 0 0 18 0 1 0 187340124 19197952 250 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 4687 250 174 640 0 3989 0 [startup+0.068696 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6417 /proc/meminfo: memFree=1844848/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=12260 CPUtime=0.06 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 687 0 0 0 6 0 0 0 18 0 1 0 187340124 12554240 617 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 3065 617 189 640 0 2421 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 12260 [startup+0.1017 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6417 /proc/meminfo: memFree=1844848/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=12260 CPUtime=0.09 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 687 0 0 0 9 0 0 0 18 0 1 0 187340124 12554240 617 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 3065 617 189 640 0 2421 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12260 [startup+0.30173 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6417 /proc/meminfo: memFree=1844848/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=12552 CPUtime=0.29 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 878 0 0 0 28 1 0 0 19 0 1 0 187340124 12853248 709 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 3138 709 197 640 0 2494 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12552 [startup+0.702786 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6417 /proc/meminfo: memFree=1844848/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=13768 CPUtime=0.69 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 1194 0 0 0 68 1 0 0 22 0 1 0 187340124 14098432 1025 1992294400 134512640 137136520 4294956256 18446744073709551615 136502333 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 3442 1025 197 640 0 2798 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13768 [startup+1.5019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6418 /proc/meminfo: memFree=1840744/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=15688 CPUtime=1.49 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 1680 0 0 0 148 1 0 0 25 0 1 0 187340124 16064512 1511 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 3922 1511 197 640 0 3278 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15688 [startup+3.10113 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6418 /proc/meminfo: memFree=1838504/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=18132 CPUtime=3.09 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 2286 0 0 0 307 2 0 0 25 0 1 0 187340124 18567168 2117 1992294400 134512640 137136520 4294956256 18446744073709551615 134542186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 4533 2117 197 640 0 3889 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18132 [startup+6.30159 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6418 /proc/meminfo: memFree=1833832/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=22064 CPUtime=6.29 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 3253 0 0 0 626 3 0 0 25 0 1 0 187340124 22593536 3084 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 5516 3084 197 640 0 4872 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22064 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6418 /proc/meminfo: memFree=1828656/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=26676 CPUtime=12.69 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 4411 0 0 0 1265 4 0 0 25 0 1 0 187340124 27316224 4242 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 6669 4242 197 640 0 6025 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26676 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6418 /proc/meminfo: memFree=1822448/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=32600 CPUtime=25.48 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 5905 0 0 0 2541 7 0 0 25 0 1 0 187340124 33382400 5736 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 8150 5736 197 640 0 7506 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 32600 [startup+51.102 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6418 /proc/meminfo: memFree=1810800/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=44408 CPUtime=51.08 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 8851 0 0 0 5096 12 0 0 25 0 1 0 187340124 45473792 8682 1992294400 134512640 137136520 4294956256 18446744073709551615 136502041 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 11102 8682 197 640 0 10458 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 44408 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6418 /proc/meminfo: memFree=1801392/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=53548 CPUtime=102.26 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 11147 0 0 0 10206 20 0 0 25 0 1 0 187340124 54833152 10978 1992294400 134512640 137136520 4294956256 18446744073709551615 134543974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 13387 10978 197 640 0 12743 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 53548 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6418 /proc/meminfo: memFree=1798064/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=56964 CPUtime=162.24 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 12003 0 0 0 16200 24 0 0 25 0 1 0 187340124 58331136 11834 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 14241 11834 197 640 0 13597 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 56964 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6418 /proc/meminfo: memFree=1779760/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=75292 CPUtime=222.22 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 16553 0 0 0 22191 31 0 0 25 0 1 0 187340124 77099008 16384 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 18823 16384 197 640 0 18179 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 75292 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6418 /proc/meminfo: memFree=1761648/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=93464 CPUtime=282.21 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 21118 0 0 0 28182 39 0 0 25 0 1 0 187340124 95707136 20949 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 23366 20949 197 640 0 22722 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 93464 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6418 /proc/meminfo: memFree=1760688/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=93984 CPUtime=342.19 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 21305 0 0 0 34174 45 0 0 25 0 1 0 187340124 96239616 21082 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 23496 21082 197 640 0 22852 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 93984 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6418 /proc/meminfo: memFree=1760688/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=93984 CPUtime=402.17 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 21305 0 0 0 40169 48 0 0 25 0 1 0 187340124 96239616 21082 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 23496 21082 197 640 0 22852 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 93984 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6418 /proc/meminfo: memFree=1760688/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=93984 CPUtime=462.16 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 21305 0 0 0 46164 52 0 0 25 0 1 0 187340124 96239616 21082 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 23496 21082 197 640 0 22852 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 93984 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6418 /proc/meminfo: memFree=1756912/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=97988 CPUtime=522.14 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 22301 0 0 0 52159 55 0 0 25 0 1 0 187340124 100339712 22078 1992294400 134512640 137136520 4294956256 18446744073709551615 134544554 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 24497 22078 197 640 0 23853 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 97988 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6418 /proc/meminfo: memFree=1746480/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=108416 CPUtime=582.12 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 24896 0 0 0 58154 58 0 0 25 0 1 0 187340124 111017984 24673 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 27104 24673 197 640 0 26460 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 108416 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6418 /proc/meminfo: memFree=1737648/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=116972 CPUtime=642.1 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 27116 0 0 0 64148 62 0 0 25 0 1 0 187340124 119779328 26828 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 29243 26828 197 640 0 28599 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 116972 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1700144/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=154268 CPUtime=1061.98 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 36515 0 0 0 106107 91 0 0 25 0 1 0 187340124 157970432 36156 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 38567 36156 197 640 0 37923 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 154268 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6418 /proc/meminfo: memFree=1700144/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=154268 CPUtime=1121.96 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 36515 0 0 0 112101 95 0 0 25 0 1 0 187340124 157970432 36156 1992294400 134512640 137136520 4294956256 18446744073709551615 134573649 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 38567 36156 197 640 0 37923 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 154268 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6418 /proc/meminfo: memFree=1700144/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=154268 CPUtime=1181.94 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 36515 0 0 0 118095 99 0 0 25 0 1 0 187340124 157970432 36156 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 38567 36156 197 640 0 37923 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 154268 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6418 /proc/meminfo: memFree=1700144/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=154268 CPUtime=1241.92 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 36515 0 0 0 124091 101 0 0 25 0 1 0 187340124 157970432 36156 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 38567 36156 197 640 0 37923 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 154268 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6418 /proc/meminfo: memFree=1700080/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=154268 CPUtime=1301.91 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 36515 0 0 0 130086 105 0 0 25 0 1 0 187340124 157970432 36156 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 38567 36156 197 640 0 37923 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 154268 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6418 /proc/meminfo: memFree=1700080/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=154268 CPUtime=1361.89 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 36515 0 0 0 136083 106 0 0 25 0 1 0 187340124 157970432 36156 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 38567 36156 197 640 0 37923 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 154268 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6418 /proc/meminfo: memFree=1677360/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=177200 CPUtime=1421.88 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 42225 0 0 0 142076 112 0 0 25 0 1 0 187340124 181452800 41866 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 44300 41866 197 640 0 43656 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 177200 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6418 /proc/meminfo: memFree=1651056/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=204000 CPUtime=1481.85 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 48948 0 0 0 148067 118 0 0 25 0 1 0 187340124 208896000 48589 1992294400 134512640 137136520 4294956256 18446744073709551615 134600223 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 51000 48589 197 640 0 50356 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 204000 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6418 /proc/meminfo: memFree=1639280/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=215120 CPUtime=1541.83 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 51731 0 0 0 154062 121 0 0 25 0 1 0 187340124 220282880 51372 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 53780 51372 197 640 0 53136 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 215120 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6418 /proc/meminfo: memFree=1630320/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=224080 CPUtime=1601.81 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 53969 0 0 0 160057 124 0 0 25 0 1 0 187340124 229457920 53610 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 56020 53610 197 640 0 55376 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 224080 [startup+1662.3 s] /proc/loadavg: 1.03 1.01 1.00 2/65 6418 /proc/meminfo: memFree=1628656/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=225540 CPUtime=1661.8 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 54394 0 0 0 166052 128 0 0 25 0 1 0 187340124 230952960 53957 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 56385 53957 197 640 0 55741 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 225540 [startup+1722.3 s] /proc/loadavg: 1.01 1.01 1.00 2/65 6418 /proc/meminfo: memFree=1628656/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=225540 CPUtime=1721.78 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 54394 0 0 0 172046 132 0 0 25 0 1 0 187340124 230952960 53957 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 56385 53957 197 640 0 55741 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 225540 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6418 /proc/meminfo: memFree=1628656/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=225540 CPUtime=1781.76 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 54394 0 0 0 178040 136 0 0 25 0 1 0 187340124 230952960 53957 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 56385 53957 197 640 0 55741 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 225540 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6418 /proc/meminfo: memFree=1628656/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=225540 CPUtime=1791.37 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 54394 0 0 0 179000 137 0 0 25 0 1 0 187340124 230952960 53957 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 56385 53957 197 640 0 55741 0 Current children cumulated CPU time (s) 1791.37 Current children cumulated vsize (KiB) 225540 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6418 /proc/meminfo: memFree=1628656/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=225540 CPUtime=1794.56 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 54394 0 0 0 179319 137 0 0 25 0 1 0 187340124 230952960 53957 1992294400 134512640 137136520 4294956256 18446744073709551615 134543834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 56385 53957 197 640 0 55741 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (KiB) 225540 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6418 /proc/meminfo: memFree=1628656/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=225540 CPUtime=1796.16 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 54394 0 0 0 179479 137 0 0 25 0 1 0 187340124 230952960 53957 1992294400 134512640 137136520 4294956256 18446744073709551615 134544585 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 56385 53957 197 640 0 55741 0 Current children cumulated CPU time (s) 1796.16 Current children cumulated vsize (KiB) 225540 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6418 /proc/meminfo: memFree=1628656/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=225540 CPUtime=1796.96 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 54394 0 0 0 179559 137 0 0 25 0 1 0 187340124 230952960 53957 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 56385 53957 197 640 0 55741 0 Current children cumulated CPU time (s) 1796.96 Current children cumulated vsize (KiB) 225540 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6418 /proc/meminfo: memFree=1628656/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=225540 CPUtime=1797.76 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 54394 0 0 0 179639 137 0 0 25 0 1 0 187340124 230952960 53957 1992294400 134512640 137136520 4294956256 18446744073709551615 134573541 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 56385 53957 197 640 0 55741 0 Current children cumulated CPU time (s) 1797.76 Current children cumulated vsize (KiB) 225540 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6418 /proc/meminfo: memFree=1628656/2055920 swapFree=4182572/4192956 [pid=6417] ppid=6415 vsize=225540 CPUtime=1797.96 /proc/6417/stat : 6417 (bsolo) R 6415 6417 5260 0 -1 4194304 54394 0 0 0 179659 137 0 0 25 0 1 0 187340124 230952960 53957 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6417/statm: 56385 53957 197 640 0 55741 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 225540 Child status: 0 Real time (s): 1798.57 CPU time (s): 1798.04 CPU user time (s): 1796.63 CPU system time (s): 1.41179 CPU usage (%): 99.9704 Max. virtual memory (cumulated for all children) (KiB): 225852 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.63 system time used= 1.41179 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 54396 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= 8 involuntary context switches= 1899 runsolver used 1.16582 second user time and 3.9104 second system time The end
Begin job on node39 at 2009-06-17 02:10:30 IDJOB=1878176 IDBENCH=48156 IDSOLVER=700 FILE ID=node39/1878176-1245197430 PBS_JOBID= 9368293 Free space on /tmp= 66128 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_2.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878176-1245197430/watcher-1878176-1245197430 -o /tmp/evaluation-result-1878176-1245197430/solver-1878176-1245197430 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878176-1245197430.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1e64c526f9351931db225cdff75c2df5 RANDOM SEED=776362660 node39.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 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.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1845520 kB Buffers: 55380 kB Cached: 87148 kB SwapCached: 4216 kB Active: 53040 kB Inactive: 97440 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1845520 kB SwapTotal: 4192956 kB SwapFree: 4182572 kB Dirty: 3976 kB Writeback: 0 kB Mapped: 13660 kB Slab: 45936 kB Committed_AS: 144604 kB PageTables: 1388 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878176-1245197430.opb Free space on /tmp at the end= 66124 MiB End job on node39 at 2009-06-17 02:40:29