Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | -28 | 1798.01 | 1798.53 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_5.opb |
MD5SUM | cdccc05ac387e7ee9cb8ab81f53ca6f8 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -30 |
Best CPU time to get the best result obtained on this benchmark | 1800.76 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -31 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 200 |
Minimum length of a constraint | 25 |
Maximum length of a constraint | 49 |
Number of terms in the objective function | 200 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6226 |
Sum of products size (including duplicates) | 12452 |
Number of different products | 3113 |
Sum of products size | 6226 |
0.00/0.00 c bsolo beta version 3.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: Generic Pseudo-Boolean 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-1879655-1245246448.opb 0.00/0.00 c File size is 256882 bytes. 0.03/0.03 c Highest Coefficient sum: 200 0.03/0.03 c Parsing was ok!! 0.03/0.03 c Total parsing time: 0.035 s 0.03/0.04 c Var: 3313 Constr: 6626 3313/200/3113 Lit: 31130 Watch. Lit: 21791 0.03/0.04 c Obj. Vars: 200 (6.03682 % of total variables) 0.03/0.07 c Pre-processing Time: 0.075 s 0.03/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.07 c 0 200 3113 9339 3 6226 1037 0 0 0.07 0.03/0.07 c Switching off lower bounding mode. 0.03/0.07 o -21 0.03/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.08 c 0 200 3114 9539 3 6249 2037 1 0 0.08 0.03/0.08 o -22 0.79/0.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.83 c 16 200 3136 13547 4 6397 2037 23 195 0.08 0.79/0.83 c 116 200 3317 47123 14 7980 2241 204 852 0.14 0.79/0.83 c 367 200 3810 139374 36 11936 2466 697 1011 0.36 0.79/0.83 o -23 3.09/3.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.14 c 705 200 4480 265635 59 16743 2037 1367 851 0.83 3.09/3.14 c 805 200 4666 300112 64 16949 2241 1553 823 0.98 3.09/3.14 c 1056 199 5137 387589 75 20674 2466 2024 692 1.52 3.09/3.14 c 1532 198 6078 566626 93 26455 2713 2965 493 3.10 3.09/3.14 o -24 3.19/3.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.25 c 1533 198 6081 567197 93 25972 2037 2968 487 3.14 3.19/3.25 o -25 5.29/5.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.29/5.35 c 1560 198 6128 575757 93 26438 2037 3015 478 3.26 5.29/5.35 c 1660 198 6326 612536 96 28318 2241 3213 459 3.61 5.29/5.35 c 1910 197 6816 704696 103 32513 2466 3703 407 4.69 5.29/5.35 o -26 5.40/5.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.40/5.41 c 2045 196 7071 751294 106 33780 2037 3958 381 5.36 5.40/5.41 o -27 14.29/14.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.29/14.32 c 2046 196 7073 751659 106 33295 2037 3960 378 5.41 14.29/14.32 c 2146 196 7260 785416 108 35206 2241 4147 360 5.96 14.29/14.32 c 2397 189 7748 871644 112 39463 2466 4635 328 7.30 14.29/14.32 c 2872 189 8686 1042338 120 47660 2713 5573 263 10.89 14.29/14.32 o -28 1797.98/1798.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.98/1798.52 c 3541 189 5377 413343 76 29251 2037 2264 247 14.32 1797.98/1798.52 c 3642 189 5570 446903 80 28205 2241 2457 247 14.73 1797.98/1798.52 c 3893 189 6065 533653 87 33072 2466 2952 244 15.94 1797.98/1798.52 c 4368 187 7000 700618 100 41074 2713 3887 228 19.14 1797.98/1798.52 c 5181 183 8591 978193 113 53812 2985 5478 195 26.50 1797.98/1798.52 c 6501 180 6301 564644 89 36415 3284 3188 164 39.52 1797.98/1798.52 c 8582 180 5479 424279 77 25929 3613 2366 135 63.16 1797.98/1798.52 c 11805 180 6428 619883 96 33453 3975 3315 106 111.30 1797.98/1798.52 c 16742 179 5294 392314 74 25837 4373 2181 104 159.61 1797.98/1798.52 c 24248 179 8118 890616 109 42053 4811 5005 107 224.64 1797.98/1798.52 c 35609 176 7030 724708 103 37452 5293 3917 106 333.28 1797.98/1798.52 c 52753 176 9209 1165399 126 44159 5823 6096 103 511.12 1797.98/1798.52 c 78573 175 11353 1565091 137 61772 6406 8240 96 814.67 1797.98/1798.52 c 117405 166 6672 632013 94 34537 7047 3559 69 1696.75 1797.98/1798.52 c Resources Exceeded 1797.98/1798.52 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 x172 x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 x190 x191 x192 -x193 -x194 -x195 -x196 x197 x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 1797.98/1798.52 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.98/1798.52 c 31 124771 3336 128764 7018 688433 3905 69 1798.00 1797.98/1798.52 c Objective: -28 1797.98/1798.52 s SATISFIABLE 1797.98/1798.52 c Total time: 1798 s
OK -28
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879655-1245246448/watcher-1879655-1245246448 -o /tmp/evaluation-result-1879655-1245246448/solver-1879655-1245246448 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879655-1245246448.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/65 1031 /proc/meminfo: memFree=1851640/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=10964 CPUtime=0 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 271 0 0 0 0 0 0 0 20 0 1 0 192242806 11227136 255 1992294400 134512640 137136520 4294956256 18446744073709551615 134534714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 2773 256 175 640 0 2066 0 [startup+0.0327731 s] /proc/loadavg: 0.92 0.98 0.99 3/65 1031 /proc/meminfo: memFree=1851640/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=11780 CPUtime=0.03 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 517 0 0 0 3 0 0 0 20 0 1 0 192242806 12062720 501 1992294400 134512640 137136520 4294956256 18446744073709551615 136523277 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 2945 501 224 640 0 2238 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11780 [startup+0.101779 s] /proc/loadavg: 0.92 0.98 0.99 3/65 1031 /proc/meminfo: memFree=1851640/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=12624 CPUtime=0.09 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 806 0 0 0 9 0 0 0 20 0 1 0 192242806 12926976 727 1992294400 134512640 137136520 4294956256 18446744073709551615 134598480 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 3156 727 197 640 0 2512 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12624 [startup+0.301799 s] /proc/loadavg: 0.92 0.98 0.99 3/65 1031 /proc/meminfo: memFree=1851640/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=13680 CPUtime=0.29 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 1085 0 0 0 29 0 0 0 22 0 1 0 192242806 14008320 1006 1992294400 134512640 137136520 4294956256 18446744073709551615 134551264 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 3420 1006 197 640 0 2776 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13680 [startup+0.701841 s] /proc/loadavg: 0.92 0.98 0.99 3/65 1031 /proc/meminfo: memFree=1851640/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=15196 CPUtime=0.69 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 1451 0 0 0 69 0 0 0 25 0 1 0 192242806 15560704 1372 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 3799 1372 197 640 0 3155 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15196 [startup+1.50193 s] /proc/loadavg: 0.92 0.98 0.99 2/66 1032 /proc/meminfo: memFree=1846128/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=17096 CPUtime=1.49 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 1926 0 0 0 148 1 0 0 25 0 1 0 192242806 17506304 1847 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 4274 1847 197 640 0 3630 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17096 [startup+3.10109 s] /proc/loadavg: 0.92 0.98 0.99 2/66 1032 /proc/meminfo: memFree=1843952/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=19464 CPUtime=3.09 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 2516 0 0 0 308 1 0 0 25 0 1 0 192242806 19931136 2437 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 4866 2437 197 640 0 4222 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19464 [startup+6.30143 s] /proc/loadavg: 0.93 0.98 0.99 2/66 1032 /proc/meminfo: memFree=1839920/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=22772 CPUtime=6.29 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 3352 0 0 0 627 2 0 0 25 0 1 0 192242806 23318528 3273 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 5693 3273 197 640 0 5049 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22772 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.99 2/66 1032 /proc/meminfo: memFree=1834936/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=27236 CPUtime=12.69 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 4459 0 0 0 1266 3 0 0 25 0 1 0 192242806 27889664 4380 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 6809 4380 197 640 0 6165 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 27236 [startup+25.5025 s] /proc/loadavg: 0.95 0.98 0.99 2/66 1032 /proc/meminfo: memFree=1834680/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=27236 CPUtime=25.48 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 4460 0 0 0 2545 3 0 0 25 0 1 0 192242806 27889664 4381 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 6809 4381 198 640 0 6165 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27236 [startup+51.1022 s] /proc/loadavg: 0.96 0.98 0.99 2/66 1032 /proc/meminfo: memFree=1834296/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=27600 CPUtime=51.08 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 4567 0 0 0 5104 4 0 0 25 0 1 0 192242806 28262400 4488 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 6900 4488 198 640 0 6256 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 27600 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/66 1032 /proc/meminfo: memFree=1832248/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=29564 CPUtime=102.27 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 5060 0 0 0 10221 6 0 0 25 0 1 0 192242806 30273536 4981 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 7391 4981 198 640 0 6747 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 29564 [startup+162.303 s] /proc/loadavg: 0.99 0.98 0.99 2/66 1032 /proc/meminfo: memFree=1831480/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=30284 CPUtime=162.24 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 5231 0 0 0 16217 7 0 0 25 0 1 0 192242806 31010816 5152 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 7571 5152 198 640 0 6927 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 30284 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 1032 /proc/meminfo: memFree=1830584/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=31120 CPUtime=222.23 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 5449 0 0 0 22214 9 0 0 25 0 1 0 192242806 31866880 5370 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 7780 5370 198 640 0 7136 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 31120 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 1032 /proc/meminfo: memFree=1829048/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=32664 CPUtime=282.21 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 5826 0 0 0 28210 11 0 0 25 0 1 0 192242806 33447936 5747 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 8166 5747 198 640 0 7522 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 32664 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 1034 /proc/meminfo: memFree=1828664/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=32912 CPUtime=342.19 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 5897 0 0 0 34206 13 0 0 25 0 1 0 192242806 33701888 5818 1992294400 134512640 137136520 4294956256 18446744073709551615 134544145 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 8228 5818 198 640 0 7584 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 32912 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 1034 /proc/meminfo: memFree=1827192/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=34484 CPUtime=402.17 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 6267 0 0 0 40202 15 0 0 25 0 1 0 192242806 35311616 6188 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 8621 6188 198 640 0 7977 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 34484 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 1034 /proc/meminfo: memFree=1827128/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=34484 CPUtime=462.16 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 6283 0 0 0 46199 17 0 0 25 0 1 0 192242806 35311616 6204 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 8621 6204 198 640 0 7977 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 34484 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 1034 /proc/meminfo: memFree=1826808/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=34856 CPUtime=522.14 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 6360 0 0 0 52196 18 0 0 25 0 1 0 192242806 35692544 6281 1992294400 134512640 137136520 4294956256 18446744073709551615 136502143 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 8714 6281 198 640 0 8070 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 34856 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 1034 /proc/meminfo: memFree=1825976/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=35604 CPUtime=582.12 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 6554 0 0 0 58192 20 0 0 25 0 1 0 192242806 36458496 6475 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 8901 6475 198 640 0 8257 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 35604 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 1034 /proc/meminfo: memFree=1825528/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=35964 CPUtime=642.11 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 6654 0 0 0 64189 22 0 0 25 0 1 0 192242806 36827136 6575 1992294400 134512640 137136520 4294956256 18446744073709551615 136509089 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 8991 6575 198 640 0 8347 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 35964 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1824440/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=36932 CPUtime=1061.97 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 6896 0 0 0 106167 30 0 0 25 0 1 0 192242806 37818368 6817 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 9233 6817 198 640 0 8589 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 36932 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 1040 /proc/meminfo: memFree=1824376/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=36932 CPUtime=1121.96 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 6896 0 0 0 112165 31 0 0 25 0 1 0 192242806 37818368 6817 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 9233 6817 198 640 0 8589 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 36932 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 1040 /proc/meminfo: memFree=1824312/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=36932 CPUtime=1181.94 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 6896 0 0 0 118162 32 0 0 25 0 1 0 192242806 37818368 6817 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 9233 6817 198 640 0 8589 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 36932 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 1040 /proc/meminfo: memFree=1824248/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=36932 CPUtime=1241.92 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 6896 0 0 0 124160 32 0 0 25 0 1 0 192242806 37818368 6817 1992294400 134512640 137136520 4294956256 18446744073709551615 136294929 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 9233 6817 198 640 0 8589 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 36932 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 1040 /proc/meminfo: memFree=1824184/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=36932 CPUtime=1301.91 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 6896 0 0 0 130158 33 0 0 25 0 1 0 192242806 37818368 6817 1992294400 134512640 137136520 4294956256 18446744073709551615 134544245 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 9233 6817 198 640 0 8589 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 36932 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 1040 /proc/meminfo: memFree=1824184/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=36932 CPUtime=1361.89 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 6896 0 0 0 136155 34 0 0 25 0 1 0 192242806 37818368 6817 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 9233 6817 198 640 0 8589 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 36932 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/66 1040 /proc/meminfo: memFree=1824184/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=36932 CPUtime=1421.88 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 6896 0 0 0 142153 35 0 0 25 0 1 0 192242806 37818368 6817 1992294400 134512640 137136520 4294956256 18446744073709551615 134573554 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 9233 6817 198 640 0 8589 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 36932 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 1040 /proc/meminfo: memFree=1824312/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=36540 CPUtime=1481.86 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 6896 0 0 0 148150 36 0 0 25 0 1 0 192242806 37416960 6726 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 9135 6726 198 640 0 8491 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 36540 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 1040 /proc/meminfo: memFree=1824312/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=36540 CPUtime=1541.85 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 6896 0 0 0 154148 37 0 0 25 0 1 0 192242806 37416960 6726 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 9135 6726 198 640 0 8491 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 36540 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 1040 /proc/meminfo: memFree=1824312/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=36540 CPUtime=1601.82 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 6896 0 0 0 160145 37 0 0 25 0 1 0 192242806 37416960 6726 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 9135 6726 198 640 0 8491 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 36540 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 1040 /proc/meminfo: memFree=1824312/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=36540 CPUtime=1661.8 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 6896 0 0 0 166142 38 0 0 25 0 1 0 192242806 37416960 6726 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 9135 6726 198 640 0 8491 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 36540 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 1040 /proc/meminfo: memFree=1824312/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=36540 CPUtime=1721.79 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 6896 0 0 0 172139 40 0 0 25 0 1 0 192242806 37416960 6726 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 9135 6726 198 640 0 8491 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 36540 [startup+1782.3 s] /proc/loadavg: 1.05 1.00 1.00 2/66 1040 /proc/meminfo: memFree=1822904/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=38088 CPUtime=1781.77 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 7261 0 0 0 178136 41 0 0 25 0 1 0 192242806 39002112 7091 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 9522 7091 198 640 0 8878 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 38088 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.04 1.00 1.00 2/66 1040 /proc/meminfo: memFree=1822904/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=38088 CPUtime=1791.38 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 7261 0 0 0 179096 42 0 0 25 0 1 0 192242806 39002112 7091 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 9522 7091 198 640 0 8878 0 Current children cumulated CPU time (s) 1791.38 Current children cumulated vsize (KiB) 38088 [startup+1795.1 s] /proc/loadavg: 1.04 1.00 1.00 2/66 1040 /proc/meminfo: memFree=1822904/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=38088 CPUtime=1794.58 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 7261 0 0 0 179416 42 0 0 25 0 1 0 192242806 39002112 7091 1992294400 134512640 137136520 4294956256 18446744073709551615 136509014 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 9522 7091 198 640 0 8878 0 Current children cumulated CPU time (s) 1794.58 Current children cumulated vsize (KiB) 38088 [startup+1796.7 s] /proc/loadavg: 1.04 1.00 1.00 2/66 1040 /proc/meminfo: memFree=1822904/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=38084 CPUtime=1796.17 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 7261 0 0 0 179575 42 0 0 25 0 1 0 192242806 38998016 7091 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 9521 7091 198 640 0 8877 0 Current children cumulated CPU time (s) 1796.17 Current children cumulated vsize (KiB) 38084 [startup+1797.5 s] /proc/loadavg: 1.04 1.00 1.00 2/66 1040 /proc/meminfo: memFree=1822904/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=38084 CPUtime=1796.97 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 7261 0 0 0 179655 42 0 0 25 0 1 0 192242806 38998016 7091 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 9521 7091 198 640 0 8877 0 Current children cumulated CPU time (s) 1796.97 Current children cumulated vsize (KiB) 38084 [startup+1798.3 s] /proc/loadavg: 1.04 1.00 1.00 2/66 1040 /proc/meminfo: memFree=1822904/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=38084 CPUtime=1797.77 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 7261 0 0 0 179735 42 0 0 25 0 1 0 192242806 38998016 7091 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 9521 7091 198 640 0 8877 0 Current children cumulated CPU time (s) 1797.77 Current children cumulated vsize (KiB) 38084 [startup+1798.51 s] /proc/loadavg: 1.04 1.00 1.00 2/66 1040 /proc/meminfo: memFree=1822904/2055920 swapFree=4175776/4192956 [pid=1031] ppid=1029 vsize=38084 CPUtime=1797.98 /proc/1031/stat : 1031 (bsolo) R 1029 1031 509 0 -1 4194304 7261 0 0 0 179756 42 0 0 25 0 1 0 192242806 38998016 7091 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1031/statm: 9521 7091 198 640 0 8877 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (KiB) 38084 Child status: 0 Real time (s): 1798.53 CPU time (s): 1798.01 CPU user time (s): 1797.58 CPU system time (s): 0.427934 CPU usage (%): 99.9709 Max. virtual memory (cumulated for all children) (KiB): 38088 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.58 system time used= 0.427934 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7263 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= 1879 runsolver used 2.06069 second user time and 4.44632 second system time The end
Begin job on node82 at 2009-06-17 15:47:28 IDJOB=1879655 IDBENCH=48205 IDSOLVER=701 FILE ID=node82/1879655-1245246448 PBS_JOBID= 9372269 Free space on /tmp= 66388 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_5.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879655-1245246448/watcher-1879655-1245246448 -o /tmp/evaluation-result-1879655-1245246448/solver-1879655-1245246448 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879655-1245246448.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cdccc05ac387e7ee9cb8ab81f53ca6f8 RANDOM SEED=1730448949 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: 1852376 kB Buffers: 22108 kB Cached: 112036 kB SwapCached: 10628 kB Active: 25456 kB Inactive: 122032 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1852376 kB SwapTotal: 4192956 kB SwapFree: 4175776 kB Dirty: 4016 kB Writeback: 0 kB Mapped: 19056 kB Slab: 42036 kB Committed_AS: 101908 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-1879655-1245246448.opb Free space on /tmp at the end= 66384 MiB End job on node82 at 2009-06-17 16:17:27