Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | 118 | 1800.01 | 1800.51 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-rot.b.opb |
MD5SUM | 82ceb454755e01aa6cecb68eb859eaa6 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 116 |
Best CPU time to get the best result obtained on this benchmark | 1800.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 116 |
Optimality of the best value was proved | NO |
Number of variables | 1451 |
Total number of constraints | 2932 |
Number of constraints which are clauses | 2932 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 81 |
Number of terms in the objective function | 1451 |
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 | 1451 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1451 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/352838-1176642929/instance-352838-1176642929.opb 0.00/0.00 c File size is 363009 bytes. 0.00/0.07 c Highest Coefficient sum: 1451 0.00/0.07 c Parsing was ok!! 0.00/0.07 c Total parsing time: 0.065 s 0.00/0.07 c Var: 1451 Constr: 2932 2932/0/0 Lit: 40755 Watch. Lit: 5830 0.00/0.07 c Obj. Vars: 1451 (100 % of total variables) 0.09/0.16 c Formula reductions applied at preprocessing 0.09/0.16 c Pre-processing Time: 0.155 s 0.29/0.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.30 c 0 903 1276 17444 13 2552 425 0 0 0.15 0.29/0.30 c Initial Lower Bound: 111 0.29/0.30 c Initial Path Cost: 29 0.29/0.30 o 152 0.299 1.69/1.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.76 c 4 903 1281 18486 14 3342 1425 5 13 0.30 1.69/1.76 o 121 1.764 * 8.19/8.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.19/8.24 c 7 902 1285 19398 15 4160 1425 9 3 1.76 8.19/8.24 c 107 901 1480 35820 24 4549 1568 204 21 4.99 8.19/8.24 c 357 901 1980 87786 44 5549 1725 704 46 7.61 8.19/8.24 o 118 8.239 * 1799.89/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.89/1800.50 c 357 901 1981 88687 44 6365 1425 705 43 8.24 1799.89/1800.50 c 457 901 2181 104995 48 6765 1568 905 47 9.60 1799.89/1800.50 c 707 901 2681 146887 54 7765 1725 1405 59 11.86 1799.89/1800.50 c 1182 901 2144 90510 42 5100 1898 868 75 15.73 1799.89/1800.50 c 1995 901 2230 90427 40 5272 2088 954 87 22.76 1799.89/1800.50 c 3315 901 3199 171193 53 7210 2297 1923 103 32.08 1799.89/1800.50 c 5396 901 3810 194409 51 8432 2527 2534 113 47.51 1799.89/1800.50 c 8619 901 2659 134000 50 6130 2780 1383 117 73.55 1799.89/1800.50 c 13555 901 4387 288290 65 9586 3059 3111 128 105.81 1799.89/1800.50 c 21061 901 4166 270938 65 9144 3365 2890 132 158.58 1799.89/1800.50 c 32422 901 3703 201108 54 8218 3702 2427 138 234.46 1799.89/1800.50 c 49566 901 3157 164270 52 7126 4073 1881 138 357.18 1799.89/1800.50 c 75385 901 4144 259169 62 9100 4481 2868 142 527.83 1800.00/1800.50 c 114217 901 6221 554078 89 13254 4930 4945 141 809.16 1800.00/1800.50 c 172569 901 4598 336717 73 10008 5424 3322 140 1227.18 1800.00/1800.50 c Resources Exceeded 1800.00/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 1800.00/1800.50 v -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 1800.00/1800.50 v -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 1800.00/1800.50 v 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 1800.00/1800.50 v -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 x124 -x125 -x126 1800.00/1800.50 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 1800.00/1800.50 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.00/1800.50 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.00/1800.50 v -x190 -x191 x192 x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.00/1800.50 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 1800.00/1800.50 v -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.00/1800.50 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.00/1800.50 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1800.00/1800.50 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.00/1800.50 v x316 -x317 -x318 -x319 -x320 -x321 -x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 x333 -x334 -x335 -x336 1800.00/1800.50 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.00/1800.50 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 -x376 -x377 -x378 1800.00/1800.50 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1800.00/1800.50 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1800.00/1800.50 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 1800.00/1800.50 v -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1800.00/1800.50 v x463 -x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 1800.00/1800.50 v -x484 -x485 -x486 -x487 x488 x489 x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 x501 -x502 -x503 -x504 -x505 1800.00/1800.50 v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 x524 -x525 -x526 1800.00/1800.50 v -x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 x544 x545 -x546 -x547 1800.00/1800.50 v -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 1800.00/1800.50 v x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 1800.00/1800.50 v -x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 1800.00/1800.50 v -x611 -x612 -x613 -x614 -x615 x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 1800.00/1800.50 v -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 1800.00/1800.50 v -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 1800.00/1800.50 v -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 1800.00/1800.50 v -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714 -x715 1800.00/1800.50 v -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 1800.00/1800.50 v -x737 -x738 x739 -x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 1800.00/1800.50 v -x758 -x759 x760 -x761 -x762 x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 x775 -x776 -x777 -x778 1800.00/1800.50 v -x779 -x780 -x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 1800.00/1800.50 v -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 1800.00/1800.50 v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 1800.00/1800.50 v x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 1800.00/1800.50 v -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 x883 1800.00/1800.50 v -x884 -x885 -x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 -x900 -x901 -x902 -x903 -x904 1800.00/1800.50 v -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 x915 -x916 -x917 -x918 x919 x920 -x921 -x922 -x923 -x924 -x925 1800.00/1800.50 v -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 x941 -x942 -x943 -x944 -x945 -x946 1800.00/1800.50 v -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 1800.00/1800.50 v -x968 x969 -x970 -x971 x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 1800.00/1800.50 v -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 x1005 -x1006 -x1007 1800.00/1800.50 v -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 x1014 -x1015 x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 1800.00/1800.50 v x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 -x1033 x1034 -x1035 x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 x1043 1800.00/1800.50 v -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 1800.00/1800.50 v -x1061 x1062 -x1063 -x1064 x1065 -x1066 -x1067 x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 1800.00/1800.50 v -x1079 -x1080 x1081 -x1082 -x1083 x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 1800.00/1800.50 v -x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 x1106 -x1107 -x1108 -x1109 -x1110 -x1111 x1112 x1113 -x1114 1800.00/1800.50 v -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 x1129 -x1130 -x1131 1800.00/1800.50 v -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 1800.00/1800.50 v -x1149 -x1150 x1151 -x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 x1165 -x1166 1800.00/1800.50 v -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 1800.00/1800.50 v -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 1800.00/1800.50 v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 1800.00/1800.50 v -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 1800.00/1800.50 v -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 x1249 x1250 -x1251 -x1252 1800.00/1800.50 v x1253 -x1254 -x1255 -x1256 x1257 -x1258 x1259 -x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 1800.00/1800.50 v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 x1282 -x1283 -x1284 x1285 -x1286 x1287 -x1288 1800.00/1800.50 v -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 1800.00/1800.50 v -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 1800.00/1800.50 v -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 1800.00/1800.50 v -x1340 -x1341 x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 1800.00/1800.50 v -x1357 x1358 -x1359 -x1360 -x1361 x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 1800.00/1800.50 v -x1375 -x1376 -x1377 -x1378 -x1379 x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 1800.00/1800.50 v -x1392 -x1393 x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 x1407 x1408 x1409 1800.00/1800.50 v -x1410 -x1411 -x1412 -x1413 x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 1800.00/1800.50 v -x1427 -x1428 -x1429 -x1430 x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 1800.00/1800.50 v -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 x1450 -x1451 1800.00/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.00/1800.50 c 19 244314 111 258299 7043 528602 5767 135 1800.00 1800.00/1800.50 c Objective: 118 1800.00/1800.50 s SATISFIABLE 1800.00/1800.50 c Total time: 1800 s
OK 118
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node18/watcher-352838-1176642929 -o ROOT/results/node18/solver-352838-1176642929 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352838-1176642929/instance-352838-1176642929.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.05 1.01 1.00 3/77 22114 /proc/meminfo: memFree=1834744/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=12092 CPUtime=0 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 112210257 12382208 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 3023 336 281 324 0 2003 0 [startup+0.0834599 s] /proc/loadavg: 1.05 1.01 1.00 3/77 22114 /proc/meminfo: memFree=1834744/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=5652 CPUtime=0.07 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194304 904 0 0 0 7 0 0 0 18 0 1 0 112210257 5787648 783 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 1413 783 307 324 0 482 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 5652 [startup+0.102458 s] /proc/loadavg: 1.05 1.01 1.00 3/77 22114 /proc/meminfo: memFree=1834744/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=5652 CPUtime=0.09 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194304 904 0 0 0 9 0 0 0 18 0 1 0 112210257 5787648 783 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 1413 783 307 324 0 482 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5652 [startup+0.301474 s] /proc/loadavg: 1.05 1.01 1.00 3/77 22114 /proc/meminfo: memFree=1834744/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=8168 CPUtime=0.29 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194304 4225 0 0 0 28 1 0 0 19 0 1 0 112210257 8364032 1143 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134690023 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 2042 1143 391 324 0 1111 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8168 [startup+0.701512 s] /proc/loadavg: 1.05 1.01 1.00 3/77 22114 /proc/meminfo: memFree=1834744/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=7948 CPUtime=0.69 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194304 12783 0 0 0 64 5 0 0 23 0 1 0 112210257 8138752 1107 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134941473 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 1987 1107 394 324 0 1056 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7948 [startup+1.50159 s] /proc/loadavg: 1.05 1.01 1.00 2/78 22115 /proc/meminfo: memFree=1831856/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=7268 CPUtime=1.49 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194304 30024 0 0 0 137 12 0 0 25 0 1 0 112210257 7442432 1026 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134690293 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 1817 1031 395 324 0 886 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7268 [startup+3.10174 s] /proc/loadavg: 1.05 1.01 1.00 2/78 22115 /proc/meminfo: memFree=1831472/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=7920 CPUtime=3.09 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194304 71200 0 0 0 282 27 0 0 25 0 1 0 112210257 8110080 1089 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134700657 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 1980 1089 394 324 0 1049 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7920 [startup+6.30105 s] /proc/loadavg: 1.04 1.01 1.00 2/78 22115 /proc/meminfo: memFree=1831536/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=8196 CPUtime=6.29 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194304 155461 0 0 0 572 57 0 0 25 0 1 0 112210257 8392704 1180 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135188396 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 2049 1180 394 324 0 1118 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8196 [startup+12.7017 s] /proc/loadavg: 1.04 1.01 1.00 2/78 22115 /proc/meminfo: memFree=1829680/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=9428 CPUtime=12.69 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194304 210245 0 0 0 1185 84 0 0 25 0 1 0 112210257 9654272 1523 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8297550 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 2357 1523 394 324 0 1426 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9428 [startup+25.5029 s] /proc/loadavg: 1.03 1.01 1.00 2/78 22115 /proc/meminfo: memFree=1828912/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=10368 CPUtime=25.48 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194304 299459 0 0 0 2422 126 0 0 25 0 1 0 112210257 10616832 1746 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135316298 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 2592 1746 394 324 0 1661 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 10368 [startup+51.1024 s] /proc/loadavg: 1.02 1.01 1.00 2/78 22115 /proc/meminfo: memFree=1828400/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=10800 CPUtime=51.08 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194304 447940 0 0 0 4903 205 0 0 25 0 1 0 112210257 11059200 1889 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8297550 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 2700 1889 394 324 0 1769 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 10800 [startup+102.305 s] /proc/loadavg: 1.01 1.00 1.00 2/78 22115 /proc/meminfo: memFree=1827568/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=10484 CPUtime=102.26 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194304 779861 0 0 0 9840 386 0 0 25 0 1 0 112210257 10735616 2091 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 2621 2091 394 324 0 1690 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 10484 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22115 /proc/meminfo: memFree=1826992/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=12136 CPUtime=162.24 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194304 1150824 0 0 0 15640 584 0 0 25 0 1 0 112210257 12427264 2226 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313633 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 3034 2226 394 324 0 2103 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 12136 [startup+222.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22115 /proc/meminfo: memFree=1826992/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=12188 CPUtime=222.23 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194304 1557667 0 0 0 21423 800 0 0 25 0 1 0 112210257 12480512 2234 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135306705 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 3047 2234 394 324 0 2116 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 12188 [startup+282.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22115 /proc/meminfo: memFree=1826864/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=12156 CPUtime=282.22 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194304 1948483 0 0 0 27216 1006 0 0 25 0 1 0 112210257 12447744 2241 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134688104 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 3039 2241 394 324 0 2108 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 12156 [startup+342.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22115 /proc/meminfo: memFree=1826416/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=12664 CPUtime=342.2 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194304 2335068 0 0 0 33015 1205 0 0 25 0 1 0 112210257 12967936 2355 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134700780 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 3166 2356 394 324 0 2235 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 12664 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22115 /proc/meminfo: memFree=1825968/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=13080 CPUtime=402.18 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194304 2698456 0 0 0 38821 1397 0 0 25 0 1 0 112210257 13393920 2485 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135267579 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 3357 2487 394 324 0 2426 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 13080 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22115 /proc/meminfo: memFree=1825904/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=13036 CPUtime=462.16 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194304 3003457 0 0 0 44646 1570 0 0 25 0 1 0 112210257 13348864 2482 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134690023 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 3259 2482 394 324 0 2328 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 13036 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22115 /proc/meminfo: memFree=1825648/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=12104 CPUtime=522.15 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194304 3355723 0 0 0 50446 1769 0 0 25 0 1 0 112210257 12394496 2502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 3026 2502 394 324 0 2095 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 12104 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22115 /proc/meminfo: memFree=1823088/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=15372 CPUtime=582.13 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194304 3744288 0 0 0 56237 1976 0 0 25 0 1 0 112210257 15740928 3156 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135304977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 3843 3156 394 324 0 2912 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 15372 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22115 /proc/meminfo: memFree=1823024/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=14684 CPUtime=642.12 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194304 4115762 0 0 0 62042 2170 0 0 25 0 1 0 112210257 15036416 3147 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 3671 3147 394 324 0 2740 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 14684 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22115 /proc/meminfo: memFree=1822640/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=16252 CPUtime=882.05 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194304 5563829 0 0 0 85253 2952 0 0 25 0 1 0 112210257 16642048 3229 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 4086 3230 394 324 0 3155 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 16252 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22115 /proc/meminfo: memFree=1822640/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=16172 CPUtime=942.03 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194304 5921221 0 0 0 91057 3146 0 0 25 0 1 0 112210257 16560128 3236 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135333705 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 4043 3236 394 324 0 3112 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 16172 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22115 /proc/meminfo: memFree=1822576/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=16144 CPUtime=1002.02 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194304 6283213 0 0 0 96867 3335 0 0 25 0 1 0 112210257 16531456 3226 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134792690 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 4036 3226 394 324 0 3105 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 16144 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22115 /proc/meminfo: memFree=1822512/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=16320 CPUtime=1062 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194304 6657044 0 0 0 102668 3532 0 0 25 0 1 0 112210257 16711680 3235 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135184782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 4080 3235 394 324 0 3149 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 16320 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22115 /proc/meminfo: memFree=1822576/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=14940 CPUtime=1121.99 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194304 7028160 0 0 0 108472 3727 0 0 25 0 1 0 112210257 15298560 3211 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134786885 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 3735 3211 394 324 0 2804 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 14940 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22115 /proc/meminfo: memFree=1822576/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=14940 CPUtime=1181.97 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194304 7371970 0 0 0 114288 3909 0 0 25 0 1 0 112210257 15298560 3211 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134705792 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 3735 3211 394 324 0 2804 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 14940 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22115 /proc/meminfo: memFree=1822512/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=16120 CPUtime=1241.95 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194304 7749353 0 0 0 120089 4106 0 0 25 0 1 0 112210257 16506880 3247 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135326379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 4030 3247 394 324 0 3099 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 16120 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22115 /proc/meminfo: memFree=1822512/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=16416 CPUtime=1301.94 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194304 8111134 0 0 0 125894 4300 0 0 25 0 1 0 112210257 16809984 3231 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135188219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 4104 3231 394 324 0 3173 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 16416 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22117 /proc/meminfo: memFree=1822320/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=16376 CPUtime=1361.91 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194304 8476201 0 0 0 131703 4488 0 0 25 0 1 0 112210257 16769024 3232 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8296005 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 4094 3232 394 324 0 3163 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 16376 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22117 /proc/meminfo: memFree=1822512/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=16204 CPUtime=1421.9 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194304 8846365 0 0 0 137514 4676 0 0 25 0 1 0 112210257 16592896 3247 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135332389 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 4051 3247 394 324 0 3120 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 16204 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22117 /proc/meminfo: memFree=1822448/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=16148 CPUtime=1481.89 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194304 9223324 0 0 0 143320 4869 0 0 25 0 1 0 112210257 16535552 3228 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8297550 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 4037 3228 394 324 0 3106 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 16148 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22117 /proc/meminfo: memFree=1822448/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=15820 CPUtime=1541.87 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194304 9589614 0 0 0 149123 5064 0 0 25 0 1 0 112210257 16199680 3223 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135265845 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 3999 3225 394 324 0 3068 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 15820 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22117 /proc/meminfo: memFree=1822448/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=16256 CPUtime=1601.85 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194304 9944220 0 0 0 154925 5260 0 0 25 0 1 0 112210257 16646144 3230 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313633 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 4064 3230 394 324 0 3133 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 16256 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22117 /proc/meminfo: memFree=1822384/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=16224 CPUtime=1661.83 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194304 10295278 0 0 0 160735 5448 0 0 25 0 1 0 112210257 16613376 3230 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313633 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 4056 3230 394 324 0 3125 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 16224 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22117 /proc/meminfo: memFree=1822384/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=16160 CPUtime=1721.82 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194304 10651909 0 0 0 166537 5645 0 0 25 0 1 0 112210257 16547840 3226 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134800536 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 4040 3226 394 324 0 3109 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 16160 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22117 /proc/meminfo: memFree=1822384/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=16460 CPUtime=1781.8 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194304 11013776 0 0 0 172345 5835 0 0 25 0 1 0 112210257 16855040 3229 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134694903 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 4115 3229 394 324 0 3184 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 16460 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 3/78 22117 /proc/meminfo: memFree=1822384/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=0 CPUtime=1800 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194308 11125796 0 0 0 174105 5895 0 0 16 0 1 0 112210257 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 0 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: 1.00 1.00 1.00 3/78 22117 /proc/meminfo: memFree=1822384/2055920 swapFree=4167952/4192956 [pid=22114] ppid=22112 vsize=0 CPUtime=1800 /proc/22114/stat : 22114 (bsolo3.0.16) R 22112 22114 20919 0 -1 4194308 11125796 0 0 0 174105 5895 0 0 16 0 1 0 112210257 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22114/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.51 CPU time (s): 1800.01 CPU user time (s): 1741.05 CPU system time (s): 58.954 CPU usage (%): 99.9722 Max. virtual memory (cumulated for all children) (KiB): 16636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1741.05 system time used= 58.954 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11125796 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= 15 involuntary context switches= 2708 runsolver used 2.04969 second user time and 4.05838 second system time The end
Begin job on node18 on Sun Apr 15 13:15:29 UTC 2007 IDJOB= 352838 IDBENCH= 2055 IDSOLVER= 163 FILE ID= node18/352838-1176642929 PBS_JOBID= 4556858 Free space on /tmp= 66555 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-rot.b.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352838-1176642929/instance-352838-1176642929.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-352838-1176642929 -o ROOT/results/node18/solver-352838-1176642929 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352838-1176642929/instance-352838-1176642929.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 82ceb454755e01aa6cecb68eb859eaa6 RANDOM SEED= 740070562 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node18.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1835152 kB Buffers: 28016 kB Cached: 106896 kB SwapCached: 2380 kB Active: 75540 kB Inactive: 91736 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1835152 kB SwapTotal: 4192956 kB SwapFree: 4167952 kB Dirty: 4760 kB Writeback: 0 kB Mapped: 40356 kB Slab: 39020 kB Committed_AS: 3966012 kB PageTables: 1776 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66555 MiB End job on node18 on Sun Apr 15 13:45:31 UTC 2007