Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 0 | 1800.04 | 1800.58 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-sc105.opb |
MD5SUM | 9af0146fd6df1c22fb98014c5db68dfb |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -2 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -2 |
Optimality of the best value was proved | NO |
Number of variables | 3090 |
Total number of constraints | 104 |
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 | 104 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 120 |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524317 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 524370 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/351239-1176591414/instance-351239-1176591414.opb 0.00/0.00 c File size is 83816 bytes. 0.00/0.02 c Highest Coefficient sum: 524370 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.016 s 0.00/0.02 c Var: 3090 Constr: 149 0/0/149 Lit: 12060 Watch. Lit: 2456 0.00/0.02 c Obj. Vars: 30 (0.970874 % of total variables) 0.00/0.07 c Pre-processing Time: 0.073 s 0.00/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.07 c 0 2292 149 12060 80 11557 24120 0 0 0.07 0.00/0.07 c Switching off LPR mode. 0.09/0.10 c 101 2292 250 18355 73 11759 26533 101 1122 0.09 0.09/0.10 o 0 0.096 1799.95/1800.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.95/1800.55 c 101 2292 251 18374 73 11761 24120 102 1041 0.10 1799.95/1800.55 c 201 2292 351 27353 77 11961 26533 202 1732 0.12 1799.95/1800.55 c 452 2292 602 42640 70 12463 29187 453 2916 0.15 1799.95/1800.55 c 927 2292 1077 58912 54 13413 32106 928 4778 0.19 1799.95/1800.55 c 1740 2292 1890 87554 46 15039 35317 1741 6000 0.29 1799.95/1800.55 c 3061 2292 3211 135260 42 17681 38849 3062 7539 0.41 1799.95/1800.55 c 5151 2292 5301 325493 61 21861 42734 5152 6406 0.80 1799.95/1800.55 c 8374 2292 8524 511889 60 28307 47008 8375 4499 1.86 1799.95/1800.55 c 13310 2292 13460 722294 53 38179 51709 13311 5103 2.61 1799.95/1800.55 c 20817 2292 20967 1261089 60 53193 56880 20818 3170 6.57 1799.95/1800.55 c 32181 2290 32331 2317341 71 75920 62569 32182 1435 22.41 1799.95/1800.55 c 49325 2290 49475 3213846 64 110208 68826 49326 1747 28.23 1799.95/1800.55 c 75144 2290 16613 1371564 82 44484 75709 16464 1194 62.92 1799.95/1800.55 c 113984 2290 55453 5047769 91 122164 83280 55304 1116 102.10 1799.95/1800.55 c 172337 2290 41800 3202669 76 94858 91609 41651 896 192.22 1799.95/1800.55 c 259969 2290 49379 2848091 57 110016 100770 49230 611 424.91 1799.95/1800.55 c 391521 2290 92691 5008795 54 196640 110848 92542 340 1148.62 1799.95/1800.55 c Resources Exceeded 1799.95/1800.55 v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 1799.95/1800.55 v -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 1799.95/1800.55 v -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 1799.95/1800.55 v -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 1799.95/1800.55 v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x121 -x122 -x123 -x124 -x125 1799.95/1800.55 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1799.95/1800.55 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1799.95/1800.55 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1799.95/1800.55 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1799.95/1800.55 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1799.95/1800.55 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1799.95/1800.55 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1799.95/1800.55 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1799.95/1800.55 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1799.95/1800.55 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1799.95/1800.55 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1799.95/1800.55 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1799.95/1800.55 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1799.95/1800.55 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1799.95/1800.55 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1799.95/1800.55 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1799.95/1800.55 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1799.95/1800.55 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1799.95/1800.55 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1799.95/1800.55 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1799.95/1800.55 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1799.95/1800.55 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1799.95/1800.55 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1799.95/1800.55 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1799.95/1800.55 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1799.95/1800.55 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1799.95/1800.55 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1799.95/1800.55 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1799.95/1800.55 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1799.95/1800.55 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1799.95/1800.55 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1799.95/1800.55 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1799.95/1800.55 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1799.95/1800.55 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1799.95/1800.55 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1799.95/1800.55 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1799.95/1800.55 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1799.95/1800.55 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1799.95/1800.55 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1799.95/1800.55 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1799.95/1800.55 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1799.95/1800.55 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1799.95/1800.55 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1799.95/1800.55 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 1799.95/1800.55 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 1799.95/1800.55 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 1799.95/1800.55 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 1799.95/1800.55 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 1799.95/1800.55 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 1799.95/1800.55 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 1799.95/1800.55 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1799.95/1800.55 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1799.95/1800.55 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 1799.95/1800.55 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 1799.95/1800.55 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 1799.95/1800.55 v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 1799.95/1800.55 v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 1799.95/1800.55 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 1799.95/1800.55 v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 1799.95/1800.55 v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 1799.95/1800.55 v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 1799.95/1800.55 v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 1799.95/1800.55 v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 1799.95/1800.55 v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 1799.95/1800.55 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 1799.95/1800.55 v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 1799.95/1800.55 v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 1799.95/1800.55 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 1799.95/1800.55 v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 1799.95/1800.55 v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 1799.95/1800.55 v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 1799.95/1800.55 v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 1799.95/1800.55 v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 1799.95/1800.55 v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 1799.95/1800.55 v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 1799.95/1800.55 v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 1799.95/1800.55 v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 1799.95/1800.55 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 1799.95/1800.55 v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 1799.95/1800.55 v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 1799.95/1800.55 v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 1799.95/1800.55 v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 1799.95/1800.55 v -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 1799.95/1800.55 v -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 1799.95/1800.55 v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 1799.95/1800.55 v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 1799.95/1800.55 v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 1799.95/1800.55 v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 1799.95/1800.55 v -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 1799.95/1800.55 v -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 1799.95/1800.55 v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 1799.95/1800.55 v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 1799.95/1800.55 v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 1799.95/1800.55 v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 1799.95/1800.55 v -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 1799.95/1800.55 v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 1799.95/1800.55 v -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 1799.95/1800.55 v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 1799.95/1800.55 v -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 1799.95/1800.55 v -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 1799.95/1800.55 v -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 1799.95/1800.55 v -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 1799.95/1800.55 v -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 1799.95/1800.55 v -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 1799.95/1800.55 v -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 1799.95/1800.55 v -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 1799.95/1800.55 v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 1799.95/1800.55 v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 1799.95/1800.55 v -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 1799.95/1800.55 v -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 1799.95/1800.55 v -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 1799.95/1800.55 v -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 1799.95/1800.55 v -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 1799.95/1800.55 v -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 1799.95/1800.55 v -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 1799.95/1800.55 v -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 1799.95/1800.55 v -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 1799.95/1800.55 v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 1799.95/1800.55 v -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 1799.95/1800.55 v -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 1799.95/1800.55 v -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 1799.95/1800.55 v -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 1799.95/1800.55 v -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 1799.95/1800.55 v -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 1799.95/1800.55 v -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 1799.95/1800.55 v -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 1799.95/1800.55 v -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 1799.95/1800.55 v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 1799.95/1800.55 v -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 1799.95/1800.55 v -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 1799.95/1800.55 v -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 1799.95/1800.55 v -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 1799.95/1800.55 v -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 1799.95/1800.55 v -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 1799.95/1800.55 v -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 1799.95/1800.55 v -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 1799.95/1800.55 v -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 1799.95/1800.55 v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 1799.95/1800.55 v -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 1799.95/1800.55 v -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 1799.95/1800.55 v -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 1799.95/1800.55 v -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 1799.95/1800.55 v -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 1799.95/1800.55 v -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 1799.95/1800.55 v -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 1799.95/1800.55 v -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 1799.95/1800.55 v -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 1799.95/1800.55 v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 1799.95/1800.55 v -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 1799.95/1800.55 v -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 1799.95/1800.55 v -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 1799.95/1800.55 v -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 1799.95/1800.55 v -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 1799.95/1800.55 v -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 1799.95/1800.55 v -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 1799.95/1800.55 v -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 1799.95/1800.55 v -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 1799.95/1800.55 v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 1799.95/1800.55 v -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 1799.95/1800.55 v -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 1799.95/1800.55 v -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 1799.95/1800.55 v -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 1799.95/1800.55 v -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 1799.95/1800.55 v -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 1799.95/1800.55 v -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 1799.95/1800.55 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.95/1800.55 c 18 547522 102194 867774 49971 1940386 49822 304 1800.02 1799.95/1800.55 c Objective: 0 1799.95/1800.55 s SATISFIABLE 1799.95/1800.55 c Total time: 1800.02 s
OK 0
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node41/watcher-351239-1176591414 -o ROOT/results/node41/solver-351239-1176591414 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351239-1176591414/instance-351239-1176591414.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/64 6430 /proc/meminfo: memFree=1577296/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=11820 CPUtime=0 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 107053327 12103680 335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 2955 337 283 324 0 2003 0 [startup+0.100496 s] /proc/loadavg: 0.92 0.98 0.99 3/64 6430 /proc/meminfo: memFree=1577296/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=5052 CPUtime=0.09 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 695 0 0 0 9 0 0 0 18 0 1 0 107053327 5173248 624 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 1263 624 312 324 0 332 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5052 [startup+0.202506 s] /proc/loadavg: 0.92 0.98 0.99 3/64 6430 /proc/meminfo: memFree=1577296/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=5572 CPUtime=0.19 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 839 0 0 0 19 0 0 0 18 0 1 0 107053327 5705728 768 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 1393 768 313 324 0 462 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 5572 [startup+0.302513 s] /proc/loadavg: 0.92 0.98 0.99 3/64 6430 /proc/meminfo: memFree=1577296/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=6088 CPUtime=0.29 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 959 0 0 0 29 0 0 0 19 0 1 0 107053327 6234112 888 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 1522 888 313 324 0 591 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6088 [startup+0.702549 s] /proc/loadavg: 0.92 0.98 0.99 3/64 6430 /proc/meminfo: memFree=1577296/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=8812 CPUtime=0.69 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 1651 0 0 0 68 1 0 0 22 0 1 0 107053327 9023488 1580 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 2203 1580 313 324 0 1272 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8812 [startup+1.50162 s] /proc/loadavg: 0.92 0.98 0.99 2/65 6431 /proc/meminfo: memFree=1570568/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=11280 CPUtime=1.49 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 2253 0 0 0 147 2 0 0 25 0 1 0 107053327 11550720 2182 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 2820 2182 313 324 0 1889 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11280 [startup+3.10176 s] /proc/loadavg: 0.92 0.98 0.99 2/65 6431 /proc/meminfo: memFree=1567048/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=16724 CPUtime=3.09 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 3621 0 0 0 305 4 0 0 25 0 1 0 107053327 17125376 3550 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 4181 3550 313 324 0 3250 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16724 [startup+6.30103 s] /proc/loadavg: 0.93 0.98 0.99 2/65 6431 /proc/meminfo: memFree=1559304/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=22684 CPUtime=6.29 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 5115 0 0 0 623 6 0 0 25 0 1 0 107053327 23228416 5044 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 5671 5044 313 324 0 4740 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22684 [startup+12.7016 s] /proc/loadavg: 0.93 0.98 0.99 2/65 6431 /proc/meminfo: memFree=1551432/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=30072 CPUtime=12.68 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 6947 0 0 0 1260 8 0 0 25 0 1 0 107053327 30793728 6876 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2395858 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 7518 6876 313 324 0 6587 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 30072 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.99 2/65 6431 /proc/meminfo: memFree=1534920/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=46444 CPUtime=25.49 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 11042 0 0 0 2534 15 0 0 25 0 1 0 107053327 47558656 10971 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 11611 10971 313 324 0 10680 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 46444 [startup+51.1019 s] /proc/loadavg: 0.96 0.98 0.99 2/65 6431 /proc/meminfo: memFree=1507208/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=73680 CPUtime=51.08 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 17872 0 0 0 5084 24 0 0 25 0 1 0 107053327 75448320 17801 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134552491 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 18420 17801 313 324 0 17489 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 73680 [startup+102.301 s] /proc/loadavg: 0.98 0.98 0.99 2/65 6431 /proc/meminfo: memFree=1504520/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=76284 CPUtime=102.27 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 18569 0 0 0 10195 32 0 0 25 0 1 0 107053327 78114816 18428 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2397765 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 19070 18428 313 324 0 18139 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 76284 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6431 /proc/meminfo: memFree=1476168/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=104248 CPUtime=162.25 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 25673 0 0 0 16180 45 0 0 25 0 1 0 107053327 106749952 25449 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 26062 25449 313 324 0 25131 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 104248 [startup+222.306 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6431 /proc/meminfo: memFree=1476168/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=104248 CPUtime=222.24 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 25673 0 0 0 22172 52 0 0 25 0 1 0 107053327 106749952 25449 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 26062 25449 313 324 0 25131 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 104248 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/71 6597 /proc/meminfo: memFree=1475064/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=104260 CPUtime=282.15 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 25675 0 0 0 28156 59 0 0 25 0 1 0 107053327 106762240 25451 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2404069 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 26065 25451 313 324 0 25134 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 104260 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6629 /proc/meminfo: memFree=1476104/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=104276 CPUtime=342.11 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 25680 0 0 0 34149 62 0 0 25 0 1 0 107053327 106778624 25456 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2393941 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 26069 25456 313 324 0 25138 0 Current children cumulated CPU time (s) 342.11 Current children cumulated vsize (KiB) 104276 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6629 /proc/meminfo: memFree=1476104/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=104276 CPUtime=402.09 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 25680 0 0 0 40142 67 0 0 25 0 1 0 107053327 106778624 25456 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 26069 25456 313 324 0 25138 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 104276 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6629 /proc/meminfo: memFree=1476104/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=104276 CPUtime=462.08 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 25680 0 0 0 46138 70 0 0 25 0 1 0 107053327 106778624 25456 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 26069 25456 313 324 0 25138 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 104276 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6629 /proc/meminfo: memFree=1476232/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=104100 CPUtime=522.06 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 25680 0 0 0 52135 71 0 0 25 0 1 0 107053327 106598400 25414 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551298 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 26025 25414 313 324 0 25094 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 104100 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6629 /proc/meminfo: memFree=1476232/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=104100 CPUtime=582.05 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 25680 0 0 0 58130 75 0 0 25 0 1 0 107053327 106598400 25414 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 26025 25414 313 324 0 25094 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 104100 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6629 /proc/meminfo: memFree=1476232/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=104100 CPUtime=642.04 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 25680 0 0 0 64126 78 0 0 25 0 1 0 107053327 106598400 25414 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 26025 25414 313 324 0 25094 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 104100 ################ # More data... # ################ /proc/meminfo: memFree=1478216/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=102204 CPUtime=1121.92 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 25689 0 0 0 112091 101 0 0 25 0 1 0 107053327 104656896 24940 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 25551 24940 313 324 0 24620 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 102204 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6629 /proc/meminfo: memFree=1478216/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=102244 CPUtime=1181.91 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 25699 0 0 0 118085 106 0 0 25 0 1 0 107053327 104697856 24950 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 25561 24950 313 324 0 24630 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 102244 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6629 /proc/meminfo: memFree=1478216/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=102224 CPUtime=1241.89 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 25699 0 0 0 124078 111 0 0 25 0 1 0 107053327 104677376 24945 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 25556 24945 313 324 0 24625 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 102224 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6629 /proc/meminfo: memFree=1478216/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=102224 CPUtime=1301.88 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 25699 0 0 0 130072 116 0 0 25 0 1 0 107053327 104677376 24945 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 25556 24945 313 324 0 24625 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 102224 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6629 /proc/meminfo: memFree=1478216/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=102224 CPUtime=1361.87 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 25699 0 0 0 136067 120 0 0 25 0 1 0 107053327 104677376 24945 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 25556 24945 313 324 0 24625 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 102224 [startup+1422.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6629 /proc/meminfo: memFree=1478216/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=102224 CPUtime=1421.85 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 25699 0 0 0 142060 125 0 0 25 0 1 0 107053327 104677376 24945 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 25556 24945 313 324 0 24625 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 102224 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6629 /proc/meminfo: memFree=1478216/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=102224 CPUtime=1481.83 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 25699 0 0 0 148056 127 0 0 25 0 1 0 107053327 104677376 24945 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160051253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 25556 24945 313 324 0 24625 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 102224 [startup+1542.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6629 /proc/meminfo: memFree=1478280/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=102224 CPUtime=1541.83 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 25699 0 0 0 154054 129 0 0 25 0 1 0 107053327 104677376 24945 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 25556 24945 313 324 0 24625 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 102224 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6629 /proc/meminfo: memFree=1478280/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=102224 CPUtime=1601.81 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 25699 0 0 0 160052 129 0 0 25 0 1 0 107053327 104677376 24945 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 25556 24945 313 324 0 24625 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 102224 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6629 /proc/meminfo: memFree=1478280/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=102224 CPUtime=1661.79 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 25699 0 0 0 166050 129 0 0 25 0 1 0 107053327 104677376 24945 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 25556 24945 313 324 0 24625 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 102224 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6629 /proc/meminfo: memFree=1478280/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=102224 CPUtime=1721.77 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 25699 0 0 0 172045 132 0 0 25 0 1 0 107053327 104677376 24945 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134572795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 25556 24945 313 324 0 24625 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 102224 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6629 /proc/meminfo: memFree=1478280/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=102224 CPUtime=1781.77 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 25699 0 0 0 178041 136 0 0 25 0 1 0 107053327 104677376 24945 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 25556 24945 313 324 0 24625 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 102224 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6629 /proc/meminfo: memFree=1478280/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=102224 CPUtime=1791.46 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 25699 0 0 0 179010 136 0 0 25 0 1 0 107053327 104677376 24945 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2404069 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 25556 24945 313 324 0 24625 0 Current children cumulated CPU time (s) 1791.46 Current children cumulated vsize (KiB) 102224 [startup+1795.2 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6629 /proc/meminfo: memFree=1478280/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=102224 CPUtime=1794.66 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 25699 0 0 0 179330 136 0 0 25 0 1 0 107053327 104677376 24945 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 25556 24945 313 324 0 24625 0 Current children cumulated CPU time (s) 1794.66 Current children cumulated vsize (KiB) 102224 [startup+1798.4 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6629 /proc/meminfo: memFree=1478280/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=102224 CPUtime=1797.85 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 25699 0 0 0 179649 136 0 0 25 0 1 0 107053327 104677376 24945 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 25556 24945 313 324 0 24625 0 Current children cumulated CPU time (s) 1797.85 Current children cumulated vsize (KiB) 102224 [startup+1799.2 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6629 /proc/meminfo: memFree=1478280/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=102224 CPUtime=1798.65 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 25699 0 0 0 179729 136 0 0 25 0 1 0 107053327 104677376 24945 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 25556 24945 313 324 0 24625 0 Current children cumulated CPU time (s) 1798.65 Current children cumulated vsize (KiB) 102224 [startup+1800 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6629 /proc/meminfo: memFree=1478280/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=102224 CPUtime=1799.45 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 25699 0 0 0 179809 136 0 0 25 0 1 0 107053327 104677376 24945 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 25556 24945 313 324 0 24625 0 Current children cumulated CPU time (s) 1799.45 Current children cumulated vsize (KiB) 102224 [startup+1800.4 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6629 /proc/meminfo: memFree=1478280/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=102224 CPUtime=1799.85 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 25699 0 0 0 179849 136 0 0 25 0 1 0 107053327 104677376 24945 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 25556 24945 313 324 0 24625 0 Current children cumulated CPU time (s) 1799.85 Current children cumulated vsize (KiB) 102224 [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6629 /proc/meminfo: memFree=1478280/2055920 swapFree=4184828/4192956 [pid=6430] ppid=6428 vsize=102224 CPUtime=1799.95 /proc/6430/stat : 6430 (bsolo3.0.16) R 6428 6430 5292 0 -1 4194304 25699 0 0 0 179859 136 0 0 25 0 1 0 107053327 104677376 24945 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6430/statm: 25556 24945 313 324 0 24625 0 Current children cumulated CPU time (s) 1799.95 Current children cumulated vsize (KiB) 102224 Child status: 0 Real time (s): 1800.58 CPU time (s): 1800.04 CPU user time (s): 1798.65 CPU system time (s): 1.38779 CPU usage (%): 99.9703 Max. virtual memory (cumulated for all children) (KiB): 104580 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.65 system time used= 1.38779 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25700 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= 12 involuntary context switches= 1267 runsolver used 1.19082 second user time and 3.78143 second system time The end
Begin job on node41 on Sat Apr 14 22:56:54 UTC 2007 IDJOB= 351239 IDBENCH= 1709 IDSOLVER= 163 FILE ID= node41/351239-1176591414 PBS_JOBID= 4556947 Free space on /tmp= 66560 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sc105.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351239-1176591414/instance-351239-1176591414.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-351239-1176591414 -o ROOT/results/node41/solver-351239-1176591414 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351239-1176591414/instance-351239-1176591414.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 9af0146fd6df1c22fb98014c5db68dfb RANDOM SEED= 79427383 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node41.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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 : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1577768 kB Buffers: 53884 kB Cached: 291708 kB SwapCached: 2500 kB Active: 51700 kB Inactive: 309236 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1577768 kB SwapTotal: 4192956 kB SwapFree: 4184828 kB Dirty: 4532 kB Writeback: 0 kB Mapped: 21560 kB Slab: 103204 kB Committed_AS: 718332 kB PageTables: 1488 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66560 MiB End job on node41 on Sat Apr 14 23:26:55 UTC 2007