Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB09: bsolo 3.1 | SAT | -47 | 1798 | 1798.29 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_5.opb |
MD5SUM | 2585c1015aa6228da840b6f61adc6732 |
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 | -52 |
Best CPU time to get the best result obtained on this benchmark | 1797.47 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -52 |
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 | 10 |
Maximum length of a constraint | 22 |
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) | 2528 |
Sum of products size (including duplicates) | 5056 |
Number of different products | 1264 |
Sum of products size | 2528 |
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: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 15500 MB 0.00/0.00 c Instance file HOME/instance-3737278-1338732398.opb 0.00/0.00 c File size is 104187 bytes. 0.00/0.00 c Highest Coefficient sum: 200 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.006 s 0.00/0.00 c Var: 1464 Constr: 2928 1464/200/1264 Lit: 12640 Watch. Lit: 8848 0.00/0.00 c Obj. Vars: 200 (13.6612 % of total variables) 0.00/0.01 c Pre-processing Time: 0.012 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 200 1264 3792 3 2528 421 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 0.00/0.01 o -45 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 200 1265 3992 3 2575 1421 1 0 0.01 0.00/0.02 o -46 1729.91/1730.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1729.91/1730.25 c 56 200 1322 12723 9 2735 1421 58 2666 0.02 1729.91/1730.25 c 156 200 1422 27806 19 2935 1564 158 4000 0.04 1729.91/1730.25 c 407 200 1673 65602 39 3437 1721 409 4845 0.08 1729.91/1730.25 c 882 200 2148 137087 63 4387 1894 884 5188 0.17 1729.91/1730.25 c 1695 200 2961 259460 87 6013 2084 1697 5167 0.33 1729.91/1730.25 c 3015 200 4285 458712 107 8661 2293 3021 4770 0.63 1729.91/1730.25 c 5096 200 3794 384852 101 7634 2523 2530 4478 1.14 1729.91/1730.25 c 8321 200 4331 462040 106 8751 2776 3067 4226 1.97 1729.91/1730.25 c 13257 200 3634 360794 99 7314 3054 2370 4061 3.26 1729.91/1730.25 c 20763 200 5230 601032 114 10506 3360 3966 3977 5.22 1729.91/1730.25 c 32125 200 4201 443412 105 8448 3697 2937 3818 8.41 1729.91/1730.25 c 49269 200 5033 570736 113 10112 4067 3769 3694 13.34 1729.91/1730.25 c 75088 200 3299 308891 93 6688 4474 2035 3586 20.93 1729.91/1730.25 c 113920 200 5641 657969 116 11328 4922 4377 3446 33.06 1729.91/1730.25 c 172274 200 5834 688164 117 11714 5415 4570 3240 53.16 1729.91/1730.25 c 259908 200 7051 860614 122 14273 5957 5787 3151 82.47 1729.91/1730.25 c 391460 200 7104 866992 122 14376 6553 5840 3115 125.64 1729.91/1730.25 c 588892 200 7880 969888 123 15964 7209 6616 2975 197.90 1729.91/1730.25 c 885144 200 8683 1121207 129 17412 7930 7419 2933 301.71 1729.91/1730.25 c 1329627 200 7756 955499 123 15558 8724 6492 2875 462.46 1729.91/1730.25 c 1996454 200 6359 769746 121 12764 9597 5095 2701 738.89 1729.91/1730.25 c 2996799 200 9565 1194721 124 19220 10557 8301 2706 1107.12 1729.91/1730.25 o -47 1797.90/1798.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.90/1798.28 c 4443342 200 7920 976560 123 16092 1421 6656 2568 1729.98 1797.90/1798.28 c 4443442 200 2076 122703 59 4199 1564 812 2568 1730.03 1797.90/1798.28 c 4443692 200 2326 160186 68 4699 1721 1062 2568 1730.07 1797.90/1798.28 c 4444168 200 2802 231147 82 5651 1894 1538 2568 1730.16 1797.90/1798.28 c 4444982 200 3617 353084 97 7281 2084 2353 2568 1730.30 1797.90/1798.28 c 4446302 200 2470 183557 74 5031 2293 1206 2569 1730.57 1797.90/1798.28 c 4448383 200 4556 495233 108 9203 2523 3292 2569 1730.99 1797.90/1798.28 c 4451606 200 2527 190576 75 5101 2776 1263 2570 1731.80 1797.90/1798.28 c 4456542 200 4655 506907 108 9402 3054 3391 2571 1732.94 1797.90/1798.28 c 4464049 200 3326 308501 92 6699 3360 2062 2573 1734.89 1797.90/1798.28 c 4475412 200 5421 625437 115 10889 3697 4157 2574 1738.18 1797.90/1798.28 c 4492556 200 3114 279378 89 6275 4067 1850 2577 1743.31 1797.90/1798.28 c 4518375 200 4817 534590 110 9681 4474 3553 2581 1750.35 1797.90/1798.28 c 4557207 200 3532 331480 93 7111 4922 2268 2586 1761.78 1797.90/1798.28 c 4615560 200 3729 371198 99 7549 5415 2465 2592 1780.03 1797.90/1798.28 c Resources Exceeded 1797.90/1798.28 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 1797.90/1798.28 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.90/1798.28 c 38 4666835 667234 5628580 5543 609092 4279 2595 1798.00 1797.90/1798.28 c Objective: -47 1797.90/1798.28 s SATISFIABLE 1797.90/1798.28 c Total time: 1798 s
OK -47
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3737278-1338732398/watcher-3737278-1338732398 -o /tmp/evaluation-result-3737278-1338732398/solver-3737278-1338732398 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3737278-1338732398.opb running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.02 2.01 2.00 3/178 16519 /proc/meminfo: memFree=29071484/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=11036 CPUtime=0 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 345 0 0 0 0 0 0 0 20 0 1 0 339364584 11300864 298 33554432000 134512640 137136520 4287229248 4287227640 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 2759 298 185 641 0 2089 0 [startup+0.0562991 s] /proc/loadavg: 2.02 2.01 2.00 3/178 16519 /proc/meminfo: memFree=29071484/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=11824 CPUtime=0.05 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 599 0 0 0 5 0 0 0 20 0 1 0 339364584 12107776 526 33554432000 134512640 137136520 4287229248 4287227776 134533514 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 2956 526 197 641 0 2312 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 11824 [startup+0.100263 s] /proc/loadavg: 2.02 2.01 2.00 3/178 16519 /proc/meminfo: memFree=29071484/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=12272 CPUtime=0.09 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 710 0 0 0 9 0 0 0 20 0 1 0 339364584 12566528 637 33554432000 134512640 137136520 4287229248 4287225784 134598636 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 3068 637 197 641 0 2424 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12272 [startup+0.30025 s] /proc/loadavg: 2.02 2.01 2.00 3/178 16519 /proc/meminfo: memFree=29071484/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=14368 CPUtime=0.29 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 1231 0 0 0 29 0 0 0 20 0 1 0 339364584 14712832 1158 33554432000 134512640 137136520 4287229248 4287228364 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 3592 1158 197 641 0 2948 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14368 [startup+0.700212 s] /proc/loadavg: 2.02 2.01 2.00 3/178 16519 /proc/meminfo: memFree=29071484/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=17964 CPUtime=0.69 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 2122 0 0 0 69 0 0 0 20 0 1 0 339364584 18395136 2049 33554432000 134512640 137136520 4287229248 4287227528 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 4491 2049 197 641 0 3847 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17964 [startup+1.50024 s] /proc/loadavg: 2.02 2.01 2.00 3/179 16520 /proc/meminfo: memFree=29063316/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=19180 CPUtime=1.48 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 2430 0 0 0 148 0 0 0 20 0 1 0 339364584 19640320 2357 33554432000 134512640 137136520 4287229248 4287227948 136518966 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 4795 2357 197 641 0 4151 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 19180 [startup+3.10023 s] /proc/loadavg: 2.02 2.01 2.00 3/179 16520 /proc/meminfo: memFree=29062192/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=19728 CPUtime=3.09 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 2560 0 0 0 308 1 0 0 20 0 1 0 339364584 20201472 2487 33554432000 134512640 137136520 4287229248 4287228364 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 4932 2487 197 641 0 4288 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19728 [startup+6.30023 s] /proc/loadavg: 2.02 2.01 2.00 3/179 16520 /proc/meminfo: memFree=29060456/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=20856 CPUtime=6.29 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 2856 0 0 0 627 2 0 0 20 0 1 0 339364584 21356544 2783 33554432000 134512640 137136520 4287229248 4287228364 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 5214 2783 198 641 0 4570 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20856 [startup+12.7002 s] /proc/loadavg: 2.01 2.01 2.00 3/179 16520 /proc/meminfo: memFree=29059412/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=21516 CPUtime=12.68 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 3023 0 0 0 1266 2 0 0 20 0 1 0 339364584 22032384 2950 33554432000 134512640 137136520 4287229248 4287225736 134598504 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 5379 2950 198 641 0 4735 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 21516 [startup+25.5002 s] /proc/loadavg: 2.01 2.01 2.00 3/179 16520 /proc/meminfo: memFree=29057932/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=23104 CPUtime=25.49 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 3418 0 0 0 2543 6 0 0 20 0 1 0 339364584 23658496 3345 33554432000 134512640 137136520 4287229248 4287228364 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 5776 3345 198 641 0 5132 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 23104 [startup+51.1002 s] /proc/loadavg: 2.01 2.00 2.00 3/179 16520 /proc/meminfo: memFree=29056744/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=24024 CPUtime=51.08 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 3652 0 0 0 5096 12 0 0 20 0 1 0 339364584 24600576 3580 33554432000 134512640 137136520 4287229248 4287227844 136499660 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 6006 3580 198 641 0 5362 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 24024 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16520 /proc/meminfo: memFree=29054688/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=26108 CPUtime=102.27 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 4178 0 0 0 10205 22 0 0 20 0 1 0 339364584 26734592 4098 33554432000 134512640 137136520 4287229248 4287228364 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 6527 4098 198 641 0 5883 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 26108 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16520 /proc/meminfo: memFree=29053320/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=27284 CPUtime=162.26 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 4495 0 0 0 16191 35 0 0 20 0 1 0 339364584 27938816 4403 33554432000 134512640 137136520 4287229248 4287228176 134544189 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 6821 4403 198 641 0 6177 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 27284 [startup+222.3 s] /proc/loadavg: 2.07 2.02 2.00 3/180 16524 /proc/meminfo: memFree=29052444/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=28432 CPUtime=222.25 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 4776 0 0 0 22179 46 0 0 20 0 1 0 339364584 29114368 4684 33554432000 134512640 137136520 4287229248 4287228364 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 7108 4684 198 641 0 6464 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 28432 [startup+282.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 16524 /proc/meminfo: memFree=29052080/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=28664 CPUtime=282.24 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 4846 0 0 0 28167 57 0 0 20 0 1 0 339364584 29351936 4740 33554432000 134512640 137136520 4287229248 4287228364 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 7166 4740 198 641 0 6522 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 28664 [startup+342.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 16524 /proc/meminfo: memFree=29050468/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=30060 CPUtime=342.23 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 5218 0 0 0 34153 70 0 0 20 0 1 0 339364584 30781440 5098 33554432000 134512640 137136520 4287229248 4287228364 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 7515 5098 198 641 0 6871 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 30060 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16524 /proc/meminfo: memFree=29045072/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=30092 CPUtime=402.22 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 5224 0 0 0 40141 81 0 0 20 0 1 0 339364584 30814208 5103 33554432000 134512640 137136520 4287229248 4287228168 135982505 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 7523 5103 198 641 0 6879 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 30092 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16524 /proc/meminfo: memFree=29044508/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=30128 CPUtime=462.21 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 5242 0 0 0 46130 91 0 0 20 0 1 0 339364584 30851072 5108 33554432000 134512640 137136520 4287229248 4287228364 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 7532 5108 198 641 0 6888 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 30128 [startup+522.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 16525 /proc/meminfo: memFree=29042524/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=31780 CPUtime=522.2 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 5652 0 0 0 52118 102 0 0 20 0 1 0 339364584 32542720 5509 33554432000 134512640 137136520 4287229248 4287228176 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 7945 5509 198 641 0 7301 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 31780 [startup+582.3 s] /proc/loadavg: 2.04 2.02 2.00 3/179 16525 /proc/meminfo: memFree=29042708/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=31716 CPUtime=582.19 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 5676 0 0 0 58107 112 0 0 20 0 1 0 339364584 32477184 5508 33554432000 134512640 137136520 4287229248 4287228364 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 7929 5508 198 641 0 7285 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 31716 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=29071696/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=34756 CPUtime=1122.11 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 6590 0 0 0 111996 215 0 0 20 0 1 0 339364584 35590144 6272 33554432000 134512640 137136520 4287229248 4287228364 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 8689 6272 198 641 0 8045 0 Current children cumulated CPU time (s) 1122.11 Current children cumulated vsize (KiB) 34756 [startup+1182.3 s] /proc/loadavg: 2.02 2.02 2.00 3/179 16630 /proc/meminfo: memFree=29070764/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=35392 CPUtime=1182.1 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 6759 0 0 0 117984 226 0 0 20 0 1 0 339364584 36241408 6431 33554432000 134512640 137136520 4287229248 4287227888 134606783 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 8848 6431 198 641 0 8204 0 Current children cumulated CPU time (s) 1182.1 Current children cumulated vsize (KiB) 35392 [startup+1242.3 s] /proc/loadavg: 2.00 2.02 2.00 3/179 16630 /proc/meminfo: memFree=29051792/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=35444 CPUtime=1242.09 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 6767 0 0 0 123973 236 0 0 20 0 1 0 339364584 36294656 6439 33554432000 134512640 137136520 4287229248 4287227960 136504219 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 8861 6439 198 641 0 8217 0 Current children cumulated CPU time (s) 1242.09 Current children cumulated vsize (KiB) 35444 [startup+1302.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 16630 /proc/meminfo: memFree=29032244/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=35404 CPUtime=1302.08 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 6767 0 0 0 129962 246 0 0 20 0 1 0 339364584 36253696 6434 33554432000 134512640 137136520 4287229248 4287228364 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 8851 6434 198 641 0 8207 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 35404 [startup+1362.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 16630 /proc/meminfo: memFree=28980256/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=35340 CPUtime=1362.07 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 6767 0 0 0 135949 258 0 0 20 0 1 0 339364584 36188160 6418 33554432000 134512640 137136520 4287229248 4287228364 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 8835 6418 198 641 0 8191 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 35340 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/180 16634 /proc/meminfo: memFree=28961096/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=35316 CPUtime=1422.07 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 6767 0 0 0 141939 268 0 0 20 0 1 0 339364584 36163584 6412 33554432000 134512640 137136520 4287229248 4287228364 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 8829 6412 198 641 0 8185 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 35316 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16634 /proc/meminfo: memFree=28767044/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=35400 CPUtime=1482.05 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 6799 0 0 0 147928 277 0 0 20 0 1 0 339364584 36249600 6433 33554432000 134512640 137136520 4287229248 4287228176 134543927 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 8850 6433 198 641 0 8206 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 35400 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16634 /proc/meminfo: memFree=28460984/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=35340 CPUtime=1542.04 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 6799 0 0 0 153917 287 0 0 20 0 1 0 339364584 36188160 6418 33554432000 134512640 137136520 4287229248 4287228108 136518982 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 8835 6418 198 641 0 8191 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 35340 [startup+1602.3 s] /proc/loadavg: 2.06 2.01 2.00 3/179 16634 /proc/meminfo: memFree=28202596/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=35304 CPUtime=1602.04 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 6807 0 0 0 159907 297 0 0 20 0 1 0 339364584 36151296 6409 33554432000 134512640 137136520 4287229248 4287228176 134544398 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 8826 6409 198 641 0 8182 0 Current children cumulated CPU time (s) 1602.04 Current children cumulated vsize (KiB) 35304 [startup+1662.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 16634 /proc/meminfo: memFree=27953012/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=35304 CPUtime=1662.02 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 6847 0 0 0 165894 308 0 0 20 0 1 0 339364584 36151296 6409 33554432000 134512640 137136520 4287229248 4287228176 134544135 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 8826 6409 198 641 0 8182 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 35304 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16635 /proc/meminfo: memFree=27724632/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=35224 CPUtime=1722.02 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 6847 0 0 0 171886 316 0 0 20 0 1 0 339364584 36069376 6389 33554432000 134512640 137136520 4287229248 4287228176 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 8806 6389 198 641 0 8162 0 Current children cumulated CPU time (s) 1722.02 Current children cumulated vsize (KiB) 35224 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16635 /proc/meminfo: memFree=27529920/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=31132 CPUtime=1782 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 6847 0 0 0 177873 327 0 0 20 0 1 0 339364584 31879168 5366 33554432000 134512640 137136520 4287229248 4287228364 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 7783 5366 198 641 0 7139 0 Current children cumulated CPU time (s) 1782 Current children cumulated vsize (KiB) 31132 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16635 /proc/meminfo: memFree=27501880/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=31132 CPUtime=1791.61 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 6847 0 0 0 178832 329 0 0 20 0 1 0 339364584 31879168 5366 33554432000 134512640 137136520 4287229248 4287228364 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 7783 5366 198 641 0 7139 0 Current children cumulated CPU time (s) 1791.61 Current children cumulated vsize (KiB) 31132 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16635 /proc/meminfo: memFree=27492068/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=31132 CPUtime=1794.81 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 6847 0 0 0 179151 330 0 0 20 0 1 0 339364584 31879168 5366 33554432000 134512640 137136520 4287229248 4287228364 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 7783 5366 198 641 0 7139 0 Current children cumulated CPU time (s) 1794.81 Current children cumulated vsize (KiB) 31132 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16635 /proc/meminfo: memFree=27488100/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=31132 CPUtime=1796.4 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 6847 0 0 0 179310 330 0 0 20 0 1 0 339364584 31879168 5366 33554432000 134512640 137136520 4287229248 4287228364 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 7783 5366 198 641 0 7139 0 Current children cumulated CPU time (s) 1796.4 Current children cumulated vsize (KiB) 31132 [startup+1797.5 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16635 /proc/meminfo: memFree=27485620/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=31132 CPUtime=1797.2 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 6847 0 0 0 179390 330 0 0 20 0 1 0 339364584 31879168 5366 33554432000 134512640 137136520 4287229248 4287228176 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 7783 5366 198 641 0 7139 0 Current children cumulated CPU time (s) 1797.2 Current children cumulated vsize (KiB) 31132 [startup+1797.9 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16635 /proc/meminfo: memFree=27485620/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=31132 CPUtime=1797.6 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 6847 0 0 0 179430 330 0 0 20 0 1 0 339364584 31879168 5366 33554432000 134512640 137136520 4287229248 4287228176 134543971 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 7783 5366 198 641 0 7139 0 Current children cumulated CPU time (s) 1797.6 Current children cumulated vsize (KiB) 31132 [startup+1798.1 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16635 /proc/meminfo: memFree=27485620/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=31132 CPUtime=1797.8 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 6847 0 0 0 179450 330 0 0 20 0 1 0 339364584 31879168 5366 33554432000 134512640 137136520 4287229248 4287228364 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 7783 5366 198 641 0 7139 0 Current children cumulated CPU time (s) 1797.8 Current children cumulated vsize (KiB) 31132 [startup+1798.2 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16635 /proc/meminfo: memFree=27485620/32873844 swapFree=7620/7620 [pid=16519] ppid=16517 vsize=31132 CPUtime=1797.9 cores=0,2,4,6 /proc/16519/stat : 16519 (bsolo) R 16517 16519 13121 0 -1 4202496 6847 0 0 0 179460 330 0 0 20 0 1 0 339364584 31879168 5366 33554432000 134512640 137136520 4287229248 4287227888 134606783 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16519/statm: 7783 5366 198 641 0 7139 0 Current children cumulated CPU time (s) 1797.9 Current children cumulated vsize (KiB) 31132 Child status: 0 Real time (s): 1798.29 CPU time (s): 1798 CPU user time (s): 1794.69 CPU system time (s): 3.3085 CPU usage (%): 99.9839 Max. virtual memory (cumulated for all children) (KiB): 35524 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.69 system time used= 3.3085 maximum resident set size= 25776 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6849 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= 14 involuntary context switches= 1927 runsolver used 2.57861 second user time and 7.2319 second system time The end
Begin job on node135 at 2012-06-03 16:06:38 IDJOB=3737278 IDBENCH=48211 IDSOLVER=2320 FILE ID=node135/3737278-1338732398 RUNJOBID= node135-1338712994-13137 PBS_JOBID= 14636721 Free space on /tmp= 70976 MiB SOLVER NAME= PB09: bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_5.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737278-1338732398/watcher-3737278-1338732398 -o /tmp/evaluation-result-3737278-1338732398/solver-3737278-1338732398 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3737278-1338732398.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2585c1015aa6228da840b6f61adc6732 RANDOM SEED=716695882 node135.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5238.35 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29072020 kB Buffers: 365084 kB Cached: 2502136 kB SwapCached: 1672 kB Active: 1251480 kB Inactive: 1707392 kB Active(anon): 81932 kB Inactive(anon): 12036 kB Active(file): 1169548 kB Inactive(file): 1695356 kB Unevictable: 7620 kB Mlocked: 7620 kB SwapTotal: 67108856 kB SwapFree: 67105800 kB Dirty: 3848 kB Writeback: 124 kB AnonPages: 97692 kB Mapped: 11252 kB Shmem: 132 kB Slab: 702156 kB SReclaimable: 143956 kB SUnreclaim: 558200 kB KernelStack: 1448 kB PageTables: 4028 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 213092 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3737278-1338732398.opb Free space on /tmp at the end= 70968 MiB End job on node135 at 2012-06-03 16:36:36