Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB07: bsolo 3.0.17 | SAT (TO) | 44219296 | 1800.08 | 1800.51 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-mod013.opb |
MD5SUM | 4cb1be2dcc654132071469b521292770 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 29890560 |
Best CPU time to get the best result obtained on this benchmark | 1800.19 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 32455680 |
Optimality of the best value was proved | NO |
Number of variables | 1488 |
Total number of constraints | 62 |
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 | 62 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 240 |
Number of terms in the objective function | 1488 |
Biggest coefficient in the objective function | 375272767488 |
Number of bits for the biggest coefficient in the objective function | 39 |
Sum of the numbers in the objective function | 12937590079727 |
Number of bits of the sum of numbers in the objective function | 44 |
Biggest number in a constraint | 375272767488 |
Number of bits of the biggest number in a constraint | 39 |
Biggest sum of numbers in a constraint | 12937590079727 |
Number of bits of the biggest sum of numbers | 44 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 15500 MB 0.00/0.00 c Instance file HOME/instance-3733461-1338695867.opb 0.00/0.00 c File size is 75105 bytes. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Highest Coefficient sum: 1.29376e+13 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.006 s 0.00/0.01 c Var: 1488 Constr: 76 0/0/76 Lit: 7248 Watch. Lit: 4396 0.00/0.01 c Obj. Vars: 1488 (100 % of total variables) 0.00/0.01 c Pre-processing Time: 0.015 s 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 725 76 7248 95 4419 14496 0 0 0.01 0.00/0.02 o 44510171 0.016 14.29/14.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.29/14.31 c 1 725 78 8033 102 5357 15946 2 62 0.02 14.29/14.31 c 102 725 179 28144 157 5662 17541 103 2615 0.04 14.29/14.31 c 353 725 430 74792 173 6246 19296 354 3495 0.10 14.29/14.31 c 830 725 907 145488 160 7293 21226 831 3990 0.21 14.29/14.31 c 1644 725 1721 332207 193 8927 23349 1645 3886 0.42 14.29/14.31 c 2966 725 3043 564794 185 11737 25684 2967 3556 0.83 14.29/14.31 c 5048 725 5125 1107494 216 15818 28253 5049 3254 1.55 14.29/14.31 c 8271 725 8348 1859074 222 22148 31079 8272 2950 2.80 14.29/14.31 c 13208 725 13285 3192675 240 31991 34187 13209 2792 4.73 14.29/14.31 c 20715 725 20792 5353013 257 47123 37606 20716 2070 10.00 14.29/14.31 o 44428288 14.306 15.29/15.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.29/15.30 c 26704 725 26782 6895817 257 59689 15946 26706 1866 14.31 15.29/15.30 c 26804 725 8150 2167382 265 21699 17541 8074 1846 14.52 15.29/15.30 c 27055 725 8401 2219776 264 22354 19296 8325 1854 14.59 15.29/15.30 c 27530 725 8876 2339674 263 23264 21226 8800 1850 14.88 15.29/15.30 c 28344 725 9690 2503034 258 24927 23349 9614 1875 15.11 15.29/15.30 o 44219296 15.299 1800.06/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.06/1800.50 c 29053 725 10400 2624894 252 26836 15946 10324 1899 15.30 1800.06/1800.50 c 29154 725 10501 2639459 251 27045 17541 10425 1902 15.32 1800.06/1800.50 c 29407 725 10754 2701217 251 27810 19296 10678 1903 15.45 1800.06/1800.50 c 29882 725 11229 2763848 246 28421 21226 11153 1917 15.58 1800.06/1800.50 c 30696 725 12043 2902279 240 30316 23349 11967 1930 15.90 1800.06/1800.50 c 32016 725 13363 3073567 230 32515 25684 13287 1960 16.33 1800.06/1800.50 c 34097 725 15444 3489019 225 37125 28253 15368 1929 17.67 1800.06/1800.50 c 37320 725 18667 4286711 229 43422 31079 18591 1932 19.31 1800.06/1800.50 c 42256 725 23603 5481005 232 53331 34187 23527 1899 22.25 1800.06/1800.50 c 49762 725 31109 7204822 231 68406 37606 31033 1881 26.45 1800.06/1800.50 c 61123 725 14911 3903149 261 36043 41367 14835 1777 34.39 1800.06/1800.50 c 78267 725 32055 7960436 248 70360 45504 31979 1556 50.28 1800.06/1800.50 c 104087 725 22721 6225193 273 51018 50055 22645 1434 72.58 1800.06/1800.50 c 142920 725 22025 5256087 238 49613 55061 21949 1356 105.38 1800.06/1800.50 c 201272 725 35880 9327463 259 77306 60568 35804 948 212.10 1800.06/1800.50 c 288905 725 23645 5948700 251 52826 66625 23569 851 339.26 1800.06/1800.50 c 420457 725 43604 10567839 242 92779 73288 43528 942 445.98 1800.06/1800.50 c 617891 725 53364 13878864 260 112261 80617 53288 817 755.78 1800.06/1800.50 c 914143 725 72572 19383859 267 150693 88679 72496 577 1582.96 1800.06/1800.50 c Caught signal: 15 1800.06/1800.50 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 -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 -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 -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 -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 -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 -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 -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 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -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 -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 -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 -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 x1321 -x1322 x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 x1330 -x1361 x1362 -x1363 x1364 x1365 -x1366 -x1367 x1368 -x1369 -x1370 x1401 -x1402 -x1403 x1404 -x1405 x1406 -x1407 x1408 x1409 -x1410 -x1441 -x1442 -x1443 -x1444 x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1481 -x1482 x1483 -x1484 -x1485 -x1486 -x1487 -x1488 1800.06/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.06/1800.50 c 34 1008425 122272 1223676 89148 26255182 89072 560 1800.08 1800.06/1800.50 c Objective: 44219296 1800.06/1800.50 s SATISFIABLE 1800.06/1800.50 c Total time: 1800.08 s
OK 44219296
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-3733461-1338695867/watcher-3733461-1338695867 -o /tmp/evaluation-result-3733461-1338695867/solver-3733461-1338695867 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3733461-1338695867.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: 1.92 1.99 2.04 3/176 813 /proc/meminfo: memFree=28096176/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=20256 CPUtime=0 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 417 0 0 0 0 0 0 0 20 0 1 0 335712386 20742144 353 33554432000 134512640 135840783 4289612192 4289611164 1380800 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/813/statm: 5064 364 321 325 0 3981 0 [startup+0.0321549 s] /proc/loadavg: 1.92 1.99 2.04 3/176 813 /proc/meminfo: memFree=28096176/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=5228 CPUtime=0.02 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 641 0 0 0 2 0 0 0 20 0 1 0 335712386 5353472 558 33554432000 134512640 135840783 4289612192 4289611488 134572704 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/813/statm: 1307 558 352 325 0 243 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5228 [startup+0.100211 s] /proc/loadavg: 1.92 1.99 2.04 3/176 813 /proc/meminfo: memFree=28096176/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=5872 CPUtime=0.09 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 814 0 0 0 9 0 0 0 20 0 1 0 335712386 6012928 731 33554432000 134512640 135840783 4289612192 4289611264 1698718 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/813/statm: 1468 731 352 325 0 404 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5872 [startup+0.300174 s] /proc/loadavg: 1.92 1.99 2.04 3/176 813 /proc/meminfo: memFree=28096176/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=7936 CPUtime=0.29 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 1325 0 0 0 29 0 0 0 20 0 1 0 335712386 8126464 1242 33554432000 134512640 135840783 4289612192 4289605232 1701159 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/813/statm: 1984 1242 352 325 0 920 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7936 [startup+0.700173 s] /proc/loadavg: 1.92 1.99 2.04 3/176 813 /proc/meminfo: memFree=28096176/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=11660 CPUtime=0.69 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 2260 0 0 0 69 0 0 0 20 0 1 0 335712386 11939840 2177 33554432000 134512640 135840783 4289612192 4289611552 134551330 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/813/statm: 2915 2177 352 325 0 1851 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11660 [startup+1.50018 s] /proc/loadavg: 1.92 1.99 2.04 3/177 814 /proc/meminfo: memFree=28086472/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=18900 CPUtime=1.49 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 4076 0 0 0 149 0 0 0 20 0 1 0 335712386 19353600 3993 33554432000 134512640 135840783 4289612192 4289611552 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/813/statm: 4725 3993 352 325 0 3661 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18900 [startup+3.10018 s] /proc/loadavg: 1.92 1.99 2.04 3/177 814 /proc/meminfo: memFree=28076428/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=33096 CPUtime=3.09 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 7637 0 0 0 308 1 0 0 20 0 1 0 335712386 33890304 7554 33554432000 134512640 135840783 4289612192 4289611220 1687906 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/813/statm: 8274 7554 352 325 0 7210 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33096 [startup+6.30019 s] /proc/loadavg: 1.93 1.99 2.04 3/177 814 /proc/meminfo: memFree=28048280/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=56816 CPUtime=6.28 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 13555 0 0 0 626 2 0 0 20 0 1 0 335712386 58179584 13472 33554432000 134512640 135840783 4289612192 4289611504 134551330 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/813/statm: 14204 13472 352 325 0 13140 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 56816 [startup+12.7002 s] /proc/loadavg: 1.93 1.99 2.04 3/177 814 /proc/meminfo: memFree=28015072/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=87708 CPUtime=12.68 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 21272 0 0 0 1265 3 0 0 20 0 1 0 335712386 89812992 21189 33554432000 134512640 135840783 4289612192 4289611552 134550893 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/813/statm: 21927 21189 352 325 0 20863 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 87708 [startup+25.5002 s] /proc/loadavg: 1.95 1.99 2.04 3/177 814 /proc/meminfo: memFree=28004036/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=95676 CPUtime=25.48 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 23280 0 0 0 2544 4 0 0 20 0 1 0 335712386 97972224 23197 33554432000 134512640 135840783 4289612192 4289611504 134551326 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/813/statm: 23919 23197 352 325 0 22855 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 95676 [startup+51.1002 s] /proc/loadavg: 1.96 1.99 2.04 3/177 814 /proc/meminfo: memFree=27971392/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=128004 CPUtime=51.07 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 31375 0 0 0 5102 5 0 0 20 0 1 0 335712386 131076096 31253 33554432000 134512640 135840783 4289612192 4289611552 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/813/statm: 32001 31253 352 325 0 30937 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 128004 [startup+102.306 s] /proc/loadavg: 1.98 1.99 2.03 3/177 814 /proc/meminfo: memFree=27923308/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=175836 CPUtime=102.28 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 43449 0 0 0 10220 8 0 0 20 0 1 0 335712386 180056064 43230 33554432000 134512640 135840783 4289612192 4289611552 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/813/statm: 43959 43230 352 325 0 42895 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 175836 [startup+162.3 s] /proc/loadavg: 1.99 1.99 2.02 3/178 818 /proc/meminfo: memFree=27908076/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=191036 CPUtime=162.26 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 47298 0 0 0 16217 9 0 0 20 0 1 0 335712386 195620864 47023 33554432000 134512640 135840783 4289612192 4289611552 134551052 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/813/statm: 47759 47023 352 325 0 46695 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 191036 [startup+222.3 s] /proc/loadavg: 1.99 1.99 2.02 3/178 841 /proc/meminfo: memFree=27907980/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=191036 CPUtime=222.25 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 47298 0 0 0 22216 9 0 0 20 0 1 0 335712386 195620864 47023 33554432000 134512640 135840783 4289612192 4289611552 134550902 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/813/statm: 47759 47023 352 325 0 46695 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 191036 [startup+282.3 s] /proc/loadavg: 1.99 1.99 2.01 3/177 841 /proc/meminfo: memFree=27892516/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=206368 CPUtime=282.24 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 51198 0 0 0 28214 10 0 0 20 0 1 0 335712386 211320832 50862 33554432000 134512640 135840783 4289612192 4289611504 134550910 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/813/statm: 51592 50862 352 325 0 50528 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 206368 [startup+342.3 s] /proc/loadavg: 1.99 1.99 2.01 3/177 841 /proc/meminfo: memFree=27892420/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=206368 CPUtime=342.23 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 51198 0 0 0 34213 10 0 0 20 0 1 0 335712386 211320832 50862 33554432000 134512640 135840783 4289612192 4289611552 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/813/statm: 51592 50862 352 325 0 50528 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 206368 [startup+402.3 s] /proc/loadavg: 1.99 1.99 2.00 3/177 841 /proc/meminfo: memFree=27884388/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=214708 CPUtime=402.18 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 53398 0 0 0 40208 10 0 0 20 0 1 0 335712386 219860992 52954 33554432000 134512640 135840783 4289612192 4289611552 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/813/statm: 53677 52954 352 325 0 52613 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 214708 [startup+462.3 s] /proc/loadavg: 1.99 1.99 2.00 3/177 842 /proc/meminfo: memFree=27859492/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=239808 CPUtime=462.13 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 59694 0 0 0 46201 12 0 0 20 0 1 0 335712386 245563392 59202 33554432000 134512640 135840783 4289612192 4289611552 134550910 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/813/statm: 59952 59202 352 325 0 58888 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 239808 [startup+522.3 s] /proc/loadavg: 1.99 1.99 2.00 3/177 842 /proc/meminfo: memFree=27852308/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=246568 CPUtime=522.09 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 61509 0 0 0 52197 12 0 0 20 0 1 0 335712386 252485632 60920 33554432000 134512640 135840783 4289612192 4289611552 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/813/statm: 61642 60920 352 325 0 60578 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 246568 [startup+582.3 s] /proc/loadavg: 1.99 1.99 2.00 3/177 842 /proc/meminfo: memFree=27852556/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=246568 CPUtime=582.08 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 61509 0 0 0 58196 12 0 0 20 0 1 0 335712386 252485632 60920 33554432000 134512640 135840783 4289612192 4289606284 9872487 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/813/statm: 61642 60920 352 325 0 60578 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 246568 [startup+642.3 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.03 2.01 2.00 3/177 846 /proc/meminfo: memFree=27780740/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=283104 CPUtime=882.04 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 70725 0 0 0 88189 15 0 0 20 0 1 0 335712386 289898496 70055 33554432000 134512640 135840783 4289612192 4289611552 134551052 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/813/statm: 70776 70055 352 325 0 69712 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 283104 [startup+942.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 846 /proc/meminfo: memFree=27760940/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=285080 CPUtime=942.02 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 71190 0 0 0 94187 15 0 0 20 0 1 0 335712386 291921920 70520 33554432000 134512640 135840783 4289612192 4289611504 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/813/statm: 71270 70520 352 325 0 70206 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 285080 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 846 /proc/meminfo: memFree=27746556/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=285080 CPUtime=1002.01 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 71190 0 0 0 100186 15 0 0 20 0 1 0 335712386 291921920 70520 33554432000 134512640 135840783 4289612192 4289611552 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/813/statm: 71270 70520 352 325 0 70206 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 285080 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 847 /proc/meminfo: memFree=27730528/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=285080 CPUtime=1061.99 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 71206 0 0 0 106184 15 0 0 20 0 1 0 335712386 291921920 70520 33554432000 134512640 135840783 4289612192 4289611552 134551093 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/813/statm: 71270 70520 352 325 0 70206 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 285080 [startup+1122.3 s] /proc/loadavg: 2.07 2.02 2.00 3/177 847 /proc/meminfo: memFree=27711364/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=285080 CPUtime=1121.98 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 71209 0 0 0 112183 15 0 0 20 0 1 0 335712386 291921920 70520 33554432000 134512640 135840783 4289612192 4289611504 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/813/statm: 71270 70520 352 325 0 70206 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 285080 [startup+1182.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 847 /proc/meminfo: memFree=27687680/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=293824 CPUtime=1181.98 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 73395 0 0 0 118182 16 0 0 20 0 1 0 335712386 300875776 72706 33554432000 134512640 135840783 4289612192 4289611552 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/813/statm: 73456 72706 352 325 0 72392 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 293824 [startup+1242.3 s] /proc/loadavg: 1.94 1.99 1.99 3/177 924 /proc/meminfo: memFree=28398008/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=293824 CPUtime=1241.96 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 73395 0 0 0 124180 16 0 0 20 0 1 0 335712386 300875776 72706 33554432000 134512640 135840783 4289612192 4289611552 134550902 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/813/statm: 73456 72706 352 325 0 72392 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 293824 [startup+1302.3 s] /proc/loadavg: 1.98 1.99 1.99 3/177 924 /proc/meminfo: memFree=28397760/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=293824 CPUtime=1301.96 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 73395 0 0 0 130180 16 0 0 20 0 1 0 335712386 300875776 72706 33554432000 134512640 135840783 4289612192 4289611280 1698506 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/813/statm: 73456 72706 352 325 0 72392 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 293824 [startup+1362.3 s] /proc/loadavg: 2.03 2.00 2.00 3/178 928 /proc/meminfo: memFree=28397256/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=293824 CPUtime=1361.94 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 73395 0 0 0 136178 16 0 0 20 0 1 0 335712386 300875776 72706 33554432000 134512640 135840783 4289612192 4289611504 134551093 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/813/statm: 73456 72706 352 325 0 72392 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 293824 [startup+1422.31 s] /proc/loadavg: 2.01 2.00 2.00 3/177 928 /proc/meminfo: memFree=28389376/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=301364 CPUtime=1421.93 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 75287 0 0 0 142176 17 0 0 20 0 1 0 335712386 308596736 74591 33554432000 134512640 135840783 4289612192 4289611552 134551482 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/813/statm: 75341 74591 352 325 0 74277 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 301364 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 928 /proc/meminfo: memFree=28389128/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=301364 CPUtime=1481.92 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 75287 0 0 0 148175 17 0 0 20 0 1 0 335712386 308596736 74591 33554432000 134512640 135840783 4289612192 4289611504 134550791 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/813/statm: 75341 74591 352 325 0 74277 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 301364 [startup+1542.3 s] /proc/loadavg: 2.07 2.02 2.00 3/177 928 /proc/meminfo: memFree=28389128/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=301364 CPUtime=1541.91 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 75287 0 0 0 154174 17 0 0 20 0 1 0 335712386 308596736 74591 33554432000 134512640 135840783 4289612192 4289611552 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/813/statm: 75341 74591 352 325 0 74277 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 301364 [startup+1602.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 928 /proc/meminfo: memFree=28367796/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=321588 CPUtime=1601.9 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 80443 0 0 0 160172 18 0 0 20 0 1 0 335712386 329306112 79658 33554432000 134512640 135840783 4289612192 4289611616 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/813/statm: 80397 79658 352 325 0 79333 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 321588 [startup+1662.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 929 /proc/meminfo: memFree=28368148/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=321588 CPUtime=1661.89 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 80444 0 0 0 166171 18 0 0 20 0 1 0 335712386 329306112 79658 33554432000 134512640 135840783 4289612192 4289611504 134550878 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/813/statm: 80397 79658 352 325 0 79333 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 321588 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 929 /proc/meminfo: memFree=28368148/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=321588 CPUtime=1721.88 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 80444 0 0 0 172170 18 0 0 20 0 1 0 335712386 329306112 79658 33554432000 134512640 135840783 4289612192 4289611552 134551093 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/813/statm: 80397 79658 352 325 0 79333 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 321588 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 930 /proc/meminfo: memFree=28357104/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=332940 CPUtime=1781.87 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 83297 0 0 0 178168 19 0 0 20 0 1 0 335712386 340930560 82511 33554432000 134512640 135840783 4289612192 4289611552 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/813/statm: 83235 82511 352 325 0 82171 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 332940 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.00 2.00 2.00 3/177 930 /proc/meminfo: memFree=28341116/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=348656 CPUtime=1800.06 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 87218 0 0 0 179986 20 0 0 20 0 1 0 335712386 357023744 86432 33554432000 134512640 135840783 4289612192 4289611552 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/813/statm: 87164 86432 352 325 0 86100 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 348656 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.00 2.00 2.00 3/177 930 /proc/meminfo: memFree=28341116/32873844 swapFree=7112/7112 [pid=813] ppid=811 vsize=348656 CPUtime=1800.06 cores=0,2,4,6 /proc/813/stat : 813 (bsolo3.0.17) R 811 813 31541 0 -1 4202496 87218 0 0 0 179986 20 0 0 20 0 1 0 335712386 357023744 86432 33554432000 134512640 135840783 4289612192 4289611552 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/813/statm: 87164 86432 352 325 0 86100 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 348656 Child status: 15 Real time (s): 1800.51 CPU time (s): 1800.08 CPU user time (s): 1799.87 CPU system time (s): 0.210967 CPU usage (%): 99.9763 Max. virtual memory (cumulated for all children) (KiB): 348656 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.87 system time used= 0.210967 maximum resident set size= 345728 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 87221 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= 149 involuntary context switches= 1965 runsolver used 3.45147 second user time and 8.75367 second system time The end
Begin job on node119 at 2012-06-03 05:57:47 IDJOB=3733461 IDBENCH=2469 IDSOLVER=2318 FILE ID=node119/3733461-1338695867 RUNJOBID= node119-1338678620-31560 PBS_JOBID= 14636694 Free space on /tmp= 70892 MiB SOLVER NAME= PB07: bsolo 3.0.17 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod013.opb COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733461-1338695867/watcher-3733461-1338695867 -o /tmp/evaluation-result-3733461-1338695867/solver-3733461-1338695867 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3733461-1338695867.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4cb1be2dcc654132071469b521292770 RANDOM SEED=3132280 node119.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.943 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.88 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.943 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 : 5331.91 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.943 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 : 5331.93 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.943 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 : 5331.91 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.943 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 : 5331.93 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.943 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 : 5331.92 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.943 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 : 5331.90 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.943 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28096440 kB Buffers: 400172 kB Cached: 2947744 kB SwapCached: 1936 kB Active: 2058252 kB Inactive: 1890024 kB Active(anon): 596292 kB Inactive(anon): 6624 kB Active(file): 1461960 kB Inactive(file): 1883400 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67100224 kB Dirty: 6796 kB Writeback: 0 kB AnonPages: 606112 kB Mapped: 13120 kB Shmem: 0 kB Slab: 689564 kB SReclaimable: 131504 kB SUnreclaim: 558060 kB KernelStack: 1456 kB PageTables: 4752 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 719224 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 2048 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70888 MiB End job on node119 at 2012-06-03 06:27:50