Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | -47 | 1798 | 1798.55 |
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 | -49 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
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.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: Clause Learning 0.00/0.00 c Instance file HOME/instance-2670990-1276713434.opb 0.00/0.00 c File size is 104187 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.018 s 0.00/0.02 c Var: 1464 Constr: 2928 1464/200/1264 Lit: 12640 Watch. Lit: 8848 0.00/0.02 c Obj. Vars: 200 (13.6612 % of total variables) 0.00/0.03 c Pre-processing Time: 0.03 s 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 0 200 1264 3792 3 2528 421 0 0 0.03 0.00/0.03 c Switching off lower bounding mode. 0.00/0.03 o -45 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 0 200 1265 3992 3 2575 1421 1 0 0.03 0.00/0.03 o -46 1089.97/1090.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1089.97/1090.30 c 56 200 1322 12723 9 2735 1421 58 1513 0.04 1089.97/1090.30 c 156 200 1422 27806 19 2935 1564 158 2943 0.05 1089.97/1090.30 c 407 200 1673 65602 39 3437 1721 409 4522 0.09 1089.97/1090.30 c 882 200 2148 137087 63 4387 1894 884 5313 0.17 1089.97/1090.30 c 1695 200 2961 259460 87 6013 2084 1697 5380 0.32 1089.97/1090.30 c 3015 200 4281 458146 107 8653 2293 3017 4718 0.64 1089.97/1090.30 c 5096 200 3780 382774 101 7606 2523 2516 4348 1.17 1089.97/1090.30 c 8319 200 4311 462667 107 8668 2776 3047 3916 2.12 1089.97/1090.30 c 13255 200 3598 355411 98 7242 3054 2334 3619 3.66 1089.97/1090.30 c 20761 200 5176 592926 114 10398 3360 3912 3452 6.01 1089.97/1090.30 c 32122 200 4085 427653 104 8216 3697 2821 3248 9.89 1089.97/1090.30 c 49266 200 4845 542968 112 9736 4067 3581 3056 16.12 1089.97/1090.30 c 75085 200 6431 779934 121 12908 4474 5167 2526 29.72 1089.97/1090.30 c 113918 200 4919 553817 112 9884 4922 3655 2467 46.17 1089.97/1090.30 c 172270 200 4969 561543 113 9984 5415 3705 2246 76.67 1089.97/1090.30 c 259905 200 5784 684684 118 11614 5957 4520 2146 121.08 1089.97/1090.30 c 391457 200 5186 593475 114 10418 6553 3922 1929 202.92 1089.97/1090.30 c 588890 200 5147 587501 114 10340 7209 3883 1776 331.41 1089.97/1090.30 c 885142 200 9609 1258646 130 19264 7930 8345 1686 524.69 1089.97/1090.30 c 1329625 200 6764 831716 122 13574 8724 5500 1549 857.90 1089.97/1090.30 o -47 1797.95/1798.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.95/1798.55 c 1572817 200 6667 818135 122 13427 1421 5403 1442 1089.98 1797.95/1798.55 c 1572919 200 2078 126099 60 4203 1564 814 1442 1090.12 1797.95/1798.55 c 1573170 200 2329 163655 70 4705 1721 1065 1443 1090.16 1797.95/1798.55 c 1573645 200 2804 234604 83 5655 1894 1540 1443 1090.26 1797.95/1798.55 c 1574458 200 3617 356329 98 7281 2084 2353 1443 1090.42 1797.95/1798.55 c 1575778 200 2466 183742 74 4979 2293 1202 1444 1090.70 1797.95/1798.55 c 1577859 200 4547 494434 108 9141 2523 3283 1445 1091.23 1797.95/1798.55 c 1581083 200 2527 192567 76 5101 2776 1263 1447 1092.18 1797.95/1798.55 c 1586019 200 4645 509518 109 9337 3054 3381 1450 1093.58 1797.95/1798.55 c 1593525 200 3278 303544 92 6603 3360 2014 1453 1096.44 1797.95/1798.55 c 1604887 200 5319 609233 114 10685 3697 4055 1457 1101.13 1797.95/1798.55 c 1622031 200 6088 725166 119 12223 4067 4824 1464 1107.74 1797.95/1798.55 c 1647850 200 4208 444160 105 8463 4474 2944 1473 1118.28 1797.95/1798.55 c 1686682 200 6404 771835 120 12855 4922 5140 1487 1134.26 1797.95/1798.55 c 1745034 200 6431 776102 120 12909 5415 5167 1499 1164.11 1797.95/1798.55 c 1832667 200 7272 903679 124 14591 5957 6008 1510 1213.30 1797.95/1798.55 c 1964219 200 6815 833066 122 13677 6553 5551 1525 1287.81 1797.95/1798.55 c 2161651 200 6826 835773 122 13699 7209 5562 1533 1409.63 1797.95/1798.55 c 2457904 200 6629 805949 121 13305 7930 5365 1538 1597.23 1797.95/1798.55 c Resources Exceeded 1797.95/1798.55 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.95/1798.55 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1798.55 c 40 2725840 308549 3147185 10522 1388677 9258 1516 1798.00 1797.95/1798.55 c Objective: -47 1797.95/1798.55 s SATISFIABLE 1797.95/1798.55 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-2670990-1276713434/watcher-2670990-1276713434 -o /tmp/evaluation-result-2670990-1276713434/solver-2670990-1276713434 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670990-1276713434.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 2/106 19436 /proc/meminfo: memFree=1775584/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=11032 CPUtime=0 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 344 0 0 0 0 0 0 0 20 0 1 0 12636201 11296768 262 1992294400 134512640 137138936 4294944736 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 2758 263 174 642 0 2088 0 [startup+0.0965109 s] /proc/loadavg: 0.92 0.98 0.99 2/106 19436 /proc/meminfo: memFree=1775584/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=12188 CPUtime=0.09 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 716 0 0 0 9 0 0 0 20 0 1 0 12636201 12480512 608 1992294400 134512640 137138936 4294944736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 3047 609 191 642 0 2403 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12188 [startup+0.101512 s] /proc/loadavg: 0.92 0.98 0.99 2/106 19436 /proc/meminfo: memFree=1775584/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=12304 CPUtime=0.09 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 734 0 0 0 9 0 0 0 20 0 1 0 12636201 12599296 626 1992294400 134512640 137138936 4294944736 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 3076 626 191 642 0 2432 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12304 [startup+0.30154 s] /proc/loadavg: 0.92 0.98 0.99 2/106 19436 /proc/meminfo: memFree=1775584/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=14520 CPUtime=0.29 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 1302 0 0 0 29 0 0 0 20 0 1 0 12636201 14868480 1194 1992294400 134512640 137138936 4294944736 18446744073709551615 134603287 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 3630 1194 191 642 0 2986 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14520 [startup+0.700598 s] /proc/loadavg: 0.92 0.98 0.99 2/106 19436 /proc/meminfo: memFree=1775584/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=17928 CPUtime=0.69 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 2147 0 0 0 69 0 0 0 21 0 1 0 12636201 18358272 2039 1992294400 134512640 137138936 4294944736 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 4482 2039 191 642 0 3838 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17928 [startup+1.50071 s] /proc/loadavg: 0.92 0.98 0.99 2/107 19437 /proc/meminfo: memFree=1767392/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=19120 CPUtime=1.49 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 2458 0 0 0 148 1 0 0 23 0 1 0 12636201 19578880 2350 1992294400 134512640 137138936 4294944736 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 4780 2350 191 642 0 4136 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19120 [startup+3.10094 s] /proc/loadavg: 0.93 0.98 0.99 2/107 19437 /proc/meminfo: memFree=1766896/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=19704 CPUtime=3.09 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 2590 0 0 0 307 2 0 0 25 0 1 0 12636201 20176896 2482 1992294400 134512640 137138936 4294944736 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 4926 2482 191 642 0 4282 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19704 [startup+6.3004 s] /proc/loadavg: 0.93 0.98 0.99 2/107 19437 /proc/meminfo: memFree=1765532/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=20836 CPUtime=6.29 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 2883 0 0 0 626 3 0 0 25 0 1 0 12636201 21336064 2775 1992294400 134512640 137138936 4294944736 18446744073709551615 134573856 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 5209 2775 191 642 0 4565 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20836 [startup+12.7013 s] /proc/loadavg: 0.94 0.98 0.99 2/107 19437 /proc/meminfo: memFree=1764168/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=21560 CPUtime=12.69 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 3052 0 0 0 1262 7 0 0 25 0 1 0 12636201 22077440 2944 1992294400 134512640 137138936 4294944736 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 5390 2944 191 642 0 4746 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21560 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.99 2/107 19437 /proc/meminfo: memFree=1763424/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=22268 CPUtime=25.48 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 3245 0 0 0 2537 11 0 0 25 0 1 0 12636201 22802432 3137 1992294400 134512640 137138936 4294944736 18446744073709551615 134542544 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 5567 3137 191 642 0 4923 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 22268 [startup+51.1018 s] /proc/loadavg: 0.96 0.98 0.99 2/107 19439 /proc/meminfo: memFree=1761688/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=24036 CPUtime=51.08 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 3679 0 0 0 5088 20 0 0 25 0 1 0 12636201 24612864 3571 1992294400 134512640 137138936 4294944736 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 6009 3571 191 642 0 5365 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 24036 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/107 19439 /proc/meminfo: memFree=1760696/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=25080 CPUtime=102.27 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 3930 0 0 0 10191 36 0 0 25 0 1 0 12636201 25681920 3822 1992294400 134512640 137138936 4294944736 18446744073709551615 136521011 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 6270 3822 191 642 0 5626 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 25080 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19441 /proc/meminfo: memFree=1759456/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=26152 CPUtime=162.24 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 4207 0 0 0 16171 53 0 0 25 0 1 0 12636201 26779648 4099 1992294400 134512640 137138936 4294944736 18446744073709551615 134602753 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 6538 4099 191 642 0 5894 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 26152 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19443 /proc/meminfo: memFree=1758216/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=27352 CPUtime=222.23 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 4512 0 0 0 22150 73 0 0 25 0 1 0 12636201 28008448 4404 1992294400 134512640 137138936 4294944736 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 6838 4404 191 642 0 6194 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 27352 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19445 /proc/meminfo: memFree=1758216/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=27352 CPUtime=282.2 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 4514 0 0 0 28128 92 0 0 25 0 1 0 12636201 28008448 4406 1992294400 134512640 137138936 4294944736 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 6838 4406 191 642 0 6194 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 27352 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19445 /proc/meminfo: memFree=1756852/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=28744 CPUtime=342.19 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 4845 0 0 0 34108 111 0 0 25 0 1 0 12636201 29433856 4737 1992294400 134512640 137138936 4294944736 18446744073709551615 134544903 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 7186 4737 191 642 0 6542 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 28744 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19447 /proc/meminfo: memFree=1756728/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=28716 CPUtime=402.17 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 4850 0 0 0 40087 130 0 0 25 0 1 0 12636201 29405184 4742 1992294400 134512640 137138936 4294944736 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 7179 4742 191 642 0 6535 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 28716 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19449 /proc/meminfo: memFree=1756728/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=28704 CPUtime=462.15 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 4850 0 0 0 46066 149 0 0 25 0 1 0 12636201 29392896 4742 1992294400 134512640 137138936 4294944736 18446744073709551615 136521035 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 7176 4742 191 642 0 6532 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 28704 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19451 /proc/meminfo: memFree=1756728/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=28704 CPUtime=522.14 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 4850 0 0 0 52046 168 0 0 25 0 1 0 12636201 29392896 4742 1992294400 134512640 137138936 4294944736 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 7176 4742 191 642 0 6532 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 28704 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19453 /proc/meminfo: memFree=1755240/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=30116 CPUtime=582.12 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 5209 0 0 0 58024 188 0 0 25 0 1 0 12636201 30838784 5101 1992294400 134512640 137138936 4294944736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 7529 5101 191 642 0 6885 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 30116 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19453 /proc/meminfo: memFree=1755116/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=30116 CPUtime=642.11 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 5212 0 0 0 64006 205 0 0 25 0 1 0 12636201 30838784 5104 1992294400 134512640 137138936 4294944736 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 7529 5104 191 642 0 6885 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 30116 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1753256/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=31816 CPUtime=1061.98 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 5629 0 0 0 105874 324 0 0 25 0 1 0 12636201 32579584 5521 1992294400 134512640 137138936 4294944736 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 7954 5521 191 642 0 7310 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 31816 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19467 /proc/meminfo: memFree=1755364/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=28940 CPUtime=1121.96 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 5629 0 0 0 111848 348 0 0 25 0 1 0 12636201 29634560 4810 1992294400 134512640 137138936 4294944736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 7235 4810 191 642 0 6591 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 28940 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19469 /proc/meminfo: memFree=1755364/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=28940 CPUtime=1181.94 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 5629 0 0 0 117825 369 0 0 25 0 1 0 12636201 29634560 4810 1992294400 134512640 137138936 4294944736 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 7235 4810 191 642 0 6591 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 28940 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 3/107 19469 /proc/meminfo: memFree=1755364/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=28940 CPUtime=1241.92 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 5629 0 0 0 123804 388 0 0 25 0 1 0 12636201 29634560 4810 1992294400 134512640 137138936 4294944736 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 7235 4810 191 642 0 6591 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 28940 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19471 /proc/meminfo: memFree=1755364/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=28940 CPUtime=1301.91 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 5629 0 0 0 129781 410 0 0 25 0 1 0 12636201 29634560 4810 1992294400 134512640 137138936 4294944736 18446744073709551615 136511190 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 7235 4810 191 642 0 6591 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 28940 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19473 /proc/meminfo: memFree=1755364/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=28940 CPUtime=1361.88 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 5629 0 0 0 135757 431 0 0 25 0 1 0 12636201 29634560 4810 1992294400 134512640 137138936 4294944736 18446744073709551615 136521011 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 7235 4810 191 642 0 6591 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 28940 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 3/107 19475 /proc/meminfo: memFree=1755364/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=28940 CPUtime=1421.87 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 5629 0 0 0 141735 452 0 0 25 0 1 0 12636201 29634560 4810 1992294400 134512640 137138936 4294944736 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 7235 4810 191 642 0 6591 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 28940 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19486 /proc/meminfo: memFree=1754744/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=28940 CPUtime=1481.84 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 5629 0 0 0 147712 472 0 0 25 0 1 0 12636201 29634560 4810 1992294400 134512640 137138936 4294944736 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 7235 4810 191 642 0 6591 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 28940 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19486 /proc/meminfo: memFree=1755116/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=28940 CPUtime=1541.82 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 5629 0 0 0 153689 493 0 0 25 0 1 0 12636201 29634560 4810 1992294400 134512640 137138936 4294944736 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 7235 4810 191 642 0 6591 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 28940 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19488 /proc/meminfo: memFree=1754620/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=30000 CPUtime=1601.8 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 5886 0 0 0 159666 514 0 0 25 0 1 0 12636201 30720000 5067 1992294400 134512640 137138936 4294944736 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 7500 5067 191 642 0 6856 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 30000 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19490 /proc/meminfo: memFree=1754620/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=30000 CPUtime=1661.78 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 5890 0 0 0 165646 532 0 0 25 0 1 0 12636201 30720000 5071 1992294400 134512640 137138936 4294944736 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 7500 5071 191 642 0 6856 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 30000 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19492 /proc/meminfo: memFree=1754496/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=30000 CPUtime=1721.77 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 5890 0 0 0 171631 546 0 0 25 0 1 0 12636201 30720000 5071 1992294400 134512640 137138936 4294944736 18446744073709551615 134542537 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 7500 5071 191 642 0 6856 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 30000 [startup+1782.3 s] /proc/loadavg: 1.06 1.01 1.00 2/107 19494 /proc/meminfo: memFree=1754496/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=30000 CPUtime=1781.75 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 5890 0 0 0 177610 565 0 0 25 0 1 0 12636201 30720000 5071 1992294400 134512640 137138936 4294944736 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 7500 5071 191 642 0 6856 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 30000 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.05 1.01 1.00 2/107 19494 /proc/meminfo: memFree=1754496/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=30000 CPUtime=1791.36 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 5894 0 0 0 178568 568 0 0 25 0 1 0 12636201 30720000 5075 1992294400 134512640 137138936 4294944736 18446744073709551615 136296961 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 7500 5075 191 642 0 6856 0 Current children cumulated CPU time (s) 1791.36 Current children cumulated vsize (KiB) 30000 [startup+1795.1 s] /proc/loadavg: 1.05 1.01 1.00 2/107 19494 /proc/meminfo: memFree=1754496/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=30000 CPUtime=1794.56 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 5894 0 0 0 178887 569 0 0 25 0 1 0 12636201 30720000 5075 1992294400 134512640 137138936 4294944736 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 7500 5075 191 642 0 6856 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (KiB) 30000 [startup+1796.7 s] /proc/loadavg: 1.04 1.01 1.00 2/107 19494 /proc/meminfo: memFree=1754496/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=30000 CPUtime=1796.14 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 5894 0 0 0 179045 569 0 0 25 0 1 0 12636201 30720000 5075 1992294400 134512640 137138936 4294944736 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 7500 5075 191 642 0 6856 0 Current children cumulated CPU time (s) 1796.14 Current children cumulated vsize (KiB) 30000 [startup+1797.5 s] /proc/loadavg: 1.04 1.01 1.00 2/107 19494 /proc/meminfo: memFree=1754496/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=30000 CPUtime=1796.94 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 5894 0 0 0 179125 569 0 0 25 0 1 0 12636201 30720000 5075 1992294400 134512640 137138936 4294944736 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 7500 5075 191 642 0 6856 0 Current children cumulated CPU time (s) 1796.94 Current children cumulated vsize (KiB) 30000 [startup+1798.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 19494 /proc/meminfo: memFree=1754496/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=30000 CPUtime=1797.74 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 5894 0 0 0 179205 569 0 0 25 0 1 0 12636201 30720000 5075 1992294400 134512640 137138936 4294944736 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 7500 5075 191 642 0 6856 0 Current children cumulated CPU time (s) 1797.74 Current children cumulated vsize (KiB) 30000 [startup+1798.51 s] /proc/loadavg: 1.04 1.01 1.00 2/107 19494 /proc/meminfo: memFree=1754496/2059040 swapFree=4192956/4192956 [pid=19436] ppid=19434 vsize=30000 CPUtime=1797.95 /proc/19436/stat : 19436 (bsolo_pb10) R 19434 19436 19403 0 -1 4202496 5894 0 0 0 179226 569 0 0 25 0 1 0 12636201 30720000 5075 1992294400 134512640 137138936 4294944736 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19436/statm: 7500 5075 191 642 0 6856 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 30000 Child status: 0 Real time (s): 1798.55 CPU time (s): 1798 CPU user time (s): 1792.3 CPU system time (s): 5.70213 CPU usage (%): 99.9695 Max. virtual memory (cumulated for all children) (KiB): 31840 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.3 system time used= 5.70213 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5895 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= 21159 runsolver used 2.91956 second user time and 8.5357 second system time The end
Begin job on node039 at 2010-06-16 20:37:14 IDJOB=2670990 IDBENCH=48211 IDSOLVER=1163 FILE ID=node039/2670990-1276713434 PBS_JOBID= 11174164 Free space on /tmp= 62552 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_5.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670990-1276713434/watcher-2670990-1276713434 -o /tmp/evaluation-result-2670990-1276713434/solver-2670990-1276713434 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670990-1276713434.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2585c1015aa6228da840b6f61adc6732 RANDOM SEED=432488466 node039.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.267 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.53 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.267 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 : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1776360 kB Buffers: 20400 kB Cached: 126332 kB SwapCached: 0 kB Active: 137024 kB Inactive: 68968 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1776360 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4312 kB Writeback: 0 kB AnonPages: 59216 kB Mapped: 15312 kB Slab: 55020 kB PageTables: 4064 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180948 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670990-1276713434.opb Free space on /tmp at the end= 62548 MiB End job on node039 at 2010-06-16 21:07:13