Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | -47 | 1798 | 1798.48 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_1.opb |
MD5SUM | 2be9d345a101e171c9ff93c0b5b2195d |
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 | -48 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
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) | 2482 |
Sum of products size (including duplicates) | 4964 |
Number of different products | 1241 |
Sum of products size | 2482 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2670983-1276713256.opb 0.00/0.00 c File size is 102316 bytes. 0.00/0.01 c Highest Coefficient sum: 200 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.016 s 0.00/0.01 c Var: 1441 Constr: 2882 1441/200/1241 Lit: 12410 Watch. Lit: 8687 0.00/0.01 c Obj. Vars: 200 (13.8793 % of total variables) 0.00/0.02 c Pre-processing Time: 0.027 s 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 200 1241 3723 3 2482 413 0 0 0.03 0.00/0.02 c Switching off lower bounding mode. 0.00/0.02 o -44 0.03/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.04 c 0 200 1242 3923 3 2528 1413 1 0 0.03 0.03/0.04 o -45 2.59/2.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.64 c 31 200 1274 8879 6 2637 1413 33 815 0.04 2.59/2.64 c 131 200 1374 24027 17 2837 1555 133 1845 0.07 2.59/2.64 c 382 200 1625 62138 38 3339 1711 384 2433 0.16 2.59/2.64 c 858 200 2101 134583 64 4291 1883 860 2561 0.34 2.59/2.64 c 1671 200 2917 258237 88 5923 2072 1676 2411 0.69 2.59/2.64 c 2991 200 4240 458455 108 8612 2280 2999 2260 1.32 2.59/2.64 c 5073 200 3772 386713 102 7589 2509 2531 2141 2.37 2.59/2.64 o -46 313.71/313.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 313.71/313.83 c 5629 200 4330 471323 108 8794 1413 3089 2125 2.65 313.71/313.83 c 5730 200 2050 126032 61 4146 1555 809 2119 2.70 313.71/313.83 c 5981 200 2302 164003 71 4650 1711 1061 2131 2.81 313.71/313.83 c 6456 200 2777 235617 84 5600 1883 1536 2150 3.00 313.71/313.83 c 7271 200 3596 359208 99 7238 2072 2355 2159 3.37 313.71/313.83 c 8591 200 2478 189826 76 5002 2280 1237 2153 3.99 313.71/313.83 c 10672 200 4565 499740 109 9259 2509 3324 2116 5.04 313.71/313.83 c 13895 200 2497 190768 76 5040 2760 1256 1986 6.99 313.71/313.83 c 18831 200 4651 517070 111 9348 3037 3410 1921 9.80 313.71/313.83 c 26338 200 3405 325163 95 6856 3341 2164 1887 13.95 313.71/313.83 c 37700 200 5577 654008 117 11200 3676 4336 1725 21.85 313.71/313.83 c 54845 200 3346 316347 94 6738 4044 2105 1701 32.24 313.71/313.83 c 80664 200 5228 597317 114 10545 4449 3987 1677 48.09 313.71/313.83 c 119496 200 4288 462366 107 8622 4894 3047 1538 77.66 313.71/313.83 c 177848 200 5071 580334 114 10188 5384 3830 1461 121.70 313.71/313.83 c 265481 200 7125 869510 122 14499 5923 5884 1390 190.97 313.71/313.83 c 397033 200 4204 414758 98 8526 6516 2963 1315 301.74 313.71/313.83 o -47 1797.93/1798.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.93/1798.47 c 409917 200 7804 964595 123 15861 1413 6563 1306 313.75 1797.93/1798.47 c 410017 200 2049 120655 58 4145 1555 808 1306 313.91 1797.93/1798.47 c 410267 200 2299 158034 68 4645 1711 1058 1306 314.01 1797.93/1798.47 c 410742 200 2774 229149 82 5595 1883 1533 1307 314.19 1797.93/1798.47 c 411555 200 3589 350921 97 7225 2072 2348 1308 314.56 1797.93/1798.47 c 412875 200 2479 188869 76 5005 2280 1238 1309 315.20 1797.93/1798.47 c 414956 200 4567 501481 109 9181 2509 3326 1312 316.24 1797.93/1798.47 c 418179 200 2497 191229 76 5041 2760 1256 1314 318.23 1797.93/1798.47 c 423115 200 4663 512828 109 9373 3037 3422 1318 320.84 1797.93/1798.47 c 430621 200 3443 332667 96 6933 3341 2202 1324 325.14 1797.93/1798.47 c 441982 200 5626 659437 117 11299 3676 4385 1332 331.73 1797.93/1798.47 c 459127 200 3369 320880 95 6785 4044 2128 1337 343.19 1797.93/1798.47 c 484946 200 5291 608137 114 10673 4449 4050 1340 361.72 1797.93/1798.47 c 523778 200 4349 468328 107 8745 4894 3108 1338 391.39 1797.93/1798.47 c 582131 200 5113 576254 112 10318 5384 3872 1338 434.95 1797.93/1798.47 c 669763 200 7044 871128 123 14135 5923 5803 1339 499.95 1797.93/1798.47 c 801315 200 8326 1061048 127 16699 6516 7085 1329 602.63 1797.93/1798.47 c 998747 200 6066 723081 119 12179 7168 4825 1293 772.03 1797.93/1798.47 c 1294999 200 9457 1231819 130 18961 7885 8216 1255 1031.05 1797.93/1798.47 c 1739482 200 7124 864311 121 14295 8674 5883 1176 1477.97 1797.93/1798.47 c Resources Exceeded 1797.93/1798.47 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 1797.93/1798.47 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.93/1798.47 c 45 2031502 253191 2386987 7724 935705 6483 1129 1798.00 1797.93/1798.47 c Objective: -47 1797.93/1798.47 s SATISFIABLE 1797.93/1798.47 c Total time: 1798 s
OK -47
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670983-1276713256/watcher-2670983-1276713256 -o /tmp/evaluation-result-2670983-1276713256/solver-2670983-1276713256 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670983-1276713256.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.93 0.99 0.99 3/105 20783 /proc/meminfo: memFree=1711852/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=11028 CPUtime=0 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 346 0 0 0 0 0 0 0 25 0 1 0 12619147 11292672 265 1992294400 134512640 137138936 4294627520 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 2757 266 175 642 0 2088 0 [startup+0.0356539 s] /proc/loadavg: 0.93 0.99 0.99 3/105 20783 /proc/meminfo: memFree=1711852/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=11472 CPUtime=0.03 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 537 0 0 0 3 0 0 0 25 0 1 0 12619147 11747328 431 1992294400 134512640 137138936 4294627520 18446744073709551615 136504116 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 2868 431 192 642 0 2224 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11472 [startup+0.101661 s] /proc/loadavg: 0.93 0.99 0.99 3/105 20783 /proc/meminfo: memFree=1711852/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=11820 CPUtime=0.09 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 616 0 0 0 9 0 0 0 25 0 1 0 12619147 12103680 510 1992294400 134512640 137138936 4294627520 18446744073709551615 136504035 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 2955 510 192 642 0 2311 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11820 [startup+0.301681 s] /proc/loadavg: 0.93 0.99 0.99 3/105 20783 /proc/meminfo: memFree=1711852/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=12812 CPUtime=0.29 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 879 0 0 0 29 0 0 0 25 0 1 0 12619147 13119488 773 1992294400 134512640 137138936 4294627520 18446744073709551615 134606686 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 3203 773 192 642 0 2559 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12812 [startup+0.701723 s] /proc/loadavg: 0.93 0.99 0.99 3/105 20783 /proc/meminfo: memFree=1711852/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=14692 CPUtime=0.69 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 1329 0 0 0 69 0 0 0 25 0 1 0 12619147 15044608 1223 1992294400 134512640 137138936 4294627520 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 3673 1223 192 642 0 3029 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14692 [startup+1.50181 s] /proc/loadavg: 0.93 0.99 0.99 2/106 20784 /proc/meminfo: memFree=1706636/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=17952 CPUtime=1.49 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 2169 0 0 0 148 1 0 0 25 0 1 0 12619147 18382848 2063 1992294400 134512640 137138936 4294627520 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 4488 2063 192 642 0 3844 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17952 [startup+3.10097 s] /proc/loadavg: 0.93 0.99 0.99 2/106 20786 /proc/meminfo: memFree=1703660/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=18660 CPUtime=3.09 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 2333 0 0 0 308 1 0 0 25 0 1 0 12619147 19107840 2227 1992294400 134512640 137138936 4294627520 18446744073709551615 136502659 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 4665 2227 192 642 0 4021 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18660 [startup+6.30131 s] /proc/loadavg: 0.93 0.99 0.99 2/106 20786 /proc/meminfo: memFree=1703164/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=19020 CPUtime=6.29 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 2419 0 0 0 627 2 0 0 25 0 1 0 12619147 19476480 2313 1992294400 134512640 137138936 4294627520 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 4755 2313 192 642 0 4111 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19020 [startup+12.701 s] /proc/loadavg: 0.94 0.99 0.99 2/106 20786 /proc/meminfo: memFree=1702048/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=20144 CPUtime=12.69 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 2705 0 0 0 1265 4 0 0 25 0 1 0 12619147 20627456 2599 1992294400 134512640 137138936 4294627520 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 5036 2599 192 642 0 4392 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20144 [startup+25.5013 s] /proc/loadavg: 0.95 0.99 0.99 2/106 20786 /proc/meminfo: memFree=1700808/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=21416 CPUtime=25.48 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 3028 0 0 0 2541 7 0 0 25 0 1 0 12619147 21929984 2922 1992294400 134512640 137138936 4294627520 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 5354 2922 192 642 0 4710 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21416 [startup+51.101 s] /proc/loadavg: 0.97 0.99 0.99 2/106 20786 /proc/meminfo: memFree=1699320/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=22964 CPUtime=51.08 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 3401 0 0 0 5093 15 0 0 25 0 1 0 12619147 23515136 3295 1992294400 134512640 137138936 4294627520 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 5741 3295 192 642 0 5097 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 22964 [startup+102.308 s] /proc/loadavg: 1.05 1.00 1.00 2/106 20788 /proc/meminfo: memFree=1698080/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=23924 CPUtime=102.27 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 3646 0 0 0 10199 28 0 0 25 0 1 0 12619147 24498176 3540 1992294400 134512640 137138936 4294627520 18446744073709551615 136511143 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 5981 3540 192 642 0 5337 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 23924 [startup+162.302 s] /proc/loadavg: 1.02 1.00 1.00 2/106 20790 /proc/meminfo: memFree=1697336/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=24612 CPUtime=162.25 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 3843 0 0 0 16181 44 0 0 25 0 1 0 12619147 25202688 3729 1992294400 134512640 137138936 4294627520 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 6153 3729 192 642 0 5509 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 24612 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20790 /proc/meminfo: memFree=1696096/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=25816 CPUtime=222.24 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 4146 0 0 0 22165 59 0 0 25 0 1 0 12619147 26435584 4029 1992294400 134512640 137138936 4294627520 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 6454 4029 192 642 0 5810 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 25816 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20792 /proc/meminfo: memFree=1695972/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=26012 CPUtime=282.22 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 4187 0 0 0 28149 73 0 0 25 0 1 0 12619147 26636288 4070 1992294400 134512640 137138936 4294627520 18446744073709551615 134606970 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 6503 4070 192 642 0 5859 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 26012 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20794 /proc/meminfo: memFree=1695476/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=25820 CPUtime=342.21 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 4422 0 0 0 34133 88 0 0 25 0 1 0 12619147 26439680 4031 1992294400 134512640 137138936 4294627520 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 6455 4031 192 642 0 5811 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 25820 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20796 /proc/meminfo: memFree=1695724/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=25556 CPUtime=402.19 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 4422 0 0 0 40113 106 0 0 25 0 1 0 12619147 26169344 3965 1992294400 134512640 137138936 4294627520 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 6389 3965 192 642 0 5745 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 25556 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20798 /proc/meminfo: memFree=1695724/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=25556 CPUtime=462.17 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 4422 0 0 0 46100 117 0 0 25 0 1 0 12619147 26169344 3965 1992294400 134512640 137138936 4294627520 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 6389 3965 192 642 0 5745 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 25556 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20798 /proc/meminfo: memFree=1695724/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=25904 CPUtime=522.16 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 4497 0 0 0 52083 133 0 0 25 0 1 0 12619147 26525696 4040 1992294400 134512640 137138936 4294627520 18446744073709551615 134607604 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 6476 4040 192 642 0 5832 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 25904 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20800 /proc/meminfo: memFree=1695600/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=25876 CPUtime=582.14 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 4497 0 0 0 58066 148 0 0 25 0 1 0 12619147 26497024 4040 1992294400 134512640 137138936 4294627520 18446744073709551615 136500302 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 6469 4040 192 642 0 5825 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 25876 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20802 /proc/meminfo: memFree=1694732/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=27088 CPUtime=642.13 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 4792 0 0 0 64050 163 0 0 25 0 1 0 12619147 27738112 4335 1992294400 134512640 137138936 4294627520 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 6772 4335 192 642 0 6128 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 27088 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1691632/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=29864 CPUtime=1122 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 5491 0 0 0 111923 277 0 0 25 0 1 0 12619147 30580736 5034 1992294400 134512640 137138936 4294627520 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 7466 5034 192 642 0 6822 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 29864 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20816 /proc/meminfo: memFree=1691508/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=29840 CPUtime=1181.98 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 5491 0 0 0 117908 290 0 0 25 0 1 0 12619147 30556160 5034 1992294400 134512640 137138936 4294627520 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 7460 5034 192 642 0 6816 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 29840 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20818 /proc/meminfo: memFree=1691260/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=29816 CPUtime=1241.97 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 5491 0 0 0 123893 304 0 0 25 0 1 0 12619147 30531584 5030 1992294400 134512640 137138936 4294627520 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 7454 5030 192 642 0 6810 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 29816 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20820 /proc/meminfo: memFree=1691136/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=29736 CPUtime=1301.96 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 5491 0 0 0 129878 318 0 0 25 0 1 0 12619147 30449664 5010 1992294400 134512640 137138936 4294627520 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 7434 5010 192 642 0 6790 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 29736 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20822 /proc/meminfo: memFree=1691136/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=29804 CPUtime=1361.94 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 5517 0 0 0 135862 332 0 0 25 0 1 0 12619147 30519296 5025 1992294400 134512640 137138936 4294627520 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 7451 5025 192 642 0 6807 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 29804 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20822 /proc/meminfo: memFree=1691136/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=29828 CPUtime=1421.93 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 5542 0 0 0 141846 347 0 0 25 0 1 0 12619147 30543872 5031 1992294400 134512640 137138936 4294627520 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 7457 5031 192 642 0 6813 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 29828 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20824 /proc/meminfo: memFree=1690020/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=31192 CPUtime=1481.91 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 5878 0 0 0 147829 362 0 0 25 0 1 0 12619147 31940608 5367 1992294400 134512640 137138936 4294627520 18446744073709551615 134618515 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 7798 5367 192 642 0 7154 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 31192 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20826 /proc/meminfo: memFree=1689772/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=31416 CPUtime=1541.89 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 5938 0 0 0 153815 374 0 0 25 0 1 0 12619147 32169984 5427 1992294400 134512640 137138936 4294627520 18446744073709551615 134599754 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 7854 5427 192 642 0 7210 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 31416 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20828 /proc/meminfo: memFree=1689648/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=31416 CPUtime=1601.88 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 5938 0 0 0 159799 389 0 0 25 0 1 0 12619147 32169984 5427 1992294400 134512640 137138936 4294627520 18446744073709551615 136511209 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 7854 5427 192 642 0 7210 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 31416 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20839 /proc/meminfo: memFree=1688780/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=31416 CPUtime=1661.85 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 5938 0 0 0 165782 403 0 0 25 0 1 0 12619147 32169984 5427 1992294400 134512640 137138936 4294627520 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 7854 5427 192 642 0 7210 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 31416 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20839 /proc/meminfo: memFree=1688780/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=31408 CPUtime=1721.84 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 5938 0 0 0 171769 415 0 0 25 0 1 0 12619147 32161792 5427 1992294400 134512640 137138936 4294627520 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 7852 5427 192 642 0 7208 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 31408 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20841 /proc/meminfo: memFree=1688780/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=31512 CPUtime=1781.82 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 5946 0 0 0 177750 432 0 0 25 0 1 0 12619147 32268288 5435 1992294400 134512640 137138936 4294627520 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 7878 5435 192 642 0 7234 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 31512 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20841 /proc/meminfo: memFree=1688780/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=31512 CPUtime=1791.43 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 5946 0 0 0 178708 435 0 0 25 0 1 0 12619147 32268288 5435 1992294400 134512640 137138936 4294627520 18446744073709551615 134599724 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 7878 5435 192 642 0 7234 0 Current children cumulated CPU time (s) 1791.43 Current children cumulated vsize (KiB) 31512 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20841 /proc/meminfo: memFree=1688780/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=31512 CPUtime=1794.62 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 5946 0 0 0 179027 435 0 0 25 0 1 0 12619147 32268288 5435 1992294400 134512640 137138936 4294627520 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 7878 5435 192 642 0 7234 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (KiB) 31512 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20841 /proc/meminfo: memFree=1688780/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=31512 CPUtime=1796.22 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 5946 0 0 0 179186 436 0 0 25 0 1 0 12619147 32268288 5435 1992294400 134512640 137138936 4294627520 18446744073709551615 136297639 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 7878 5435 192 642 0 7234 0 Current children cumulated CPU time (s) 1796.22 Current children cumulated vsize (KiB) 31512 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20841 /proc/meminfo: memFree=1688780/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=31512 CPUtime=1797.02 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 5946 0 0 0 179266 436 0 0 25 0 1 0 12619147 32268288 5435 1992294400 134512640 137138936 4294627520 18446744073709551615 134542404 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 7878 5435 192 642 0 7234 0 Current children cumulated CPU time (s) 1797.02 Current children cumulated vsize (KiB) 31512 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20841 /proc/meminfo: memFree=1688780/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=31512 CPUtime=1797.42 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 5946 0 0 0 179306 436 0 0 25 0 1 0 12619147 32268288 5435 1992294400 134512640 137138936 4294627520 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 7878 5435 192 642 0 7234 0 Current children cumulated CPU time (s) 1797.42 Current children cumulated vsize (KiB) 31512 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20841 /proc/meminfo: memFree=1688780/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=31512 CPUtime=1797.82 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 5946 0 0 0 179346 436 0 0 25 0 1 0 12619147 32268288 5435 1992294400 134512640 137138936 4294627520 18446744073709551615 134542755 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 7878 5435 192 642 0 7234 0 Current children cumulated CPU time (s) 1797.82 Current children cumulated vsize (KiB) 31512 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20841 /proc/meminfo: memFree=1688780/2059040 swapFree=4148292/4192956 [pid=20783] ppid=20781 vsize=31512 CPUtime=1797.93 /proc/20783/stat : 20783 (bsolo_pb10) R 20781 20783 20750 0 -1 4202496 5946 0 0 0 179357 436 0 0 25 0 1 0 12619147 32268288 5435 1992294400 134512640 137138936 4294627520 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20783/statm: 7878 5435 192 642 0 7234 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (KiB) 31512 Child status: 0 Real time (s): 1798.48 CPU time (s): 1798 CPU user time (s): 1793.64 CPU system time (s): 4.36734 CPU usage (%): 99.9736 Max. virtual memory (cumulated for all children) (KiB): 31520 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.64 system time used= 4.36734 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5947 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= 1 involuntary context switches= 21900 runsolver used 3.05154 second user time and 8.40772 second system time The end
Begin job on node082 at 2010-06-16 20:34:16 IDJOB=2670983 IDBENCH=48208 IDSOLVER=1162 FILE ID=node082/2670983-1276713256 PBS_JOBID= 11174157 Free space on /tmp= 62584 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_1.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670983-1276713256/watcher-2670983-1276713256 -o /tmp/evaluation-result-2670983-1276713256/solver-2670983-1276713256 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670983-1276713256.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2be9d345a101e171c9ff93c0b5b2195d RANDOM SEED=892491041 node082.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.215 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 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.215 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1712628 kB Buffers: 101496 kB Cached: 144080 kB SwapCached: 6840 kB Active: 106988 kB Inactive: 160136 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1712628 kB SwapTotal: 4192956 kB SwapFree: 4148292 kB Dirty: 4184 kB Writeback: 0 kB AnonPages: 18672 kB Mapped: 13164 kB Slab: 57476 kB PageTables: 3968 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180572 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670983-1276713256.opb Free space on /tmp at the end= 62580 MiB End job on node082 at 2010-06-16 21:04:15