Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 60 | 1800.07 | 1800.51 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-alu2.b.opb |
MD5SUM | a793af2f16b39bdc1dda733b5326bfb4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 60 |
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 | 60 |
Optimality of the best value was proved | NO |
Number of variables | 1266 |
Total number of constraints | 2888 |
Number of constraints which are clauses | 2888 |
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 | 183 |
Number of terms in the objective function | 1266 |
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 | 1266 |
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 | 1266 |
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.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 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/433489-1177960053/instance-433489-1177960053.opb 0.00/0.00 c File size is 613565 bytes. 0.09/0.11 c Highest Coefficient sum: 1266 0.09/0.11 c Parsing was ok!! 0.09/0.11 c Total parsing time: 0.11 s 0.09/0.11 c Var: 1266 Constr: 2888 2888/0/0 Lit: 72716 Watch. Lit: 5762 0.09/0.11 c Obj. Vars: 1266 (100 % of total variables) 0.19/0.24 c Formula reductions applied at preprocessing 0.19/0.24 c Pre-processing Time: 0.242 s 0.29/0.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.35 c 0 784 847 27394 32 1694 282 0 0 0.24 0.29/0.35 c Initial Lower Bound: 56 0.29/0.35 c Initial Path Cost: 18 0.29/0.35 o 85 0.353 1.19/1.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.25 c 0 784 848 28178 33 2413 1282 1 0 0.35 1.19/1.25 o 62 1.251 * 4.39/4.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.39/4.43 c 0 784 849 28962 34 3155 2282 2 0 1.25 4.39/4.43 c 101 784 1051 40539 38 3559 2511 204 29 3.44 4.39/4.43 o 61 4.433 * 69.98/70.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 69.98/70.07 c 104 784 1058 41681 39 4314 2282 211 23 4.43 69.98/70.07 c 204 784 1257 49709 39 4712 2511 410 30 6.65 69.98/70.07 c 456 784 1761 75355 42 5720 2763 914 38 11.82 69.98/70.07 c 933 784 2715 132621 48 7628 3040 1868 39 23.37 69.98/70.07 c 1747 784 4343 210534 48 10884 3345 3496 44 39.22 69.98/70.07 c 3070 784 2537 120575 47 5815 3680 1690 44 69.22 69.98/70.07 o 60 70.052 * 1800.06/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.06/1800.50 c 3075 784 2548 121749 47 6579 1282 1701 43 70.05 1800.06/1800.50 c 3177 784 1565 67863 43 3872 1411 718 43 72.69 1800.06/1800.50 c 3427 784 2065 91665 44 4872 1553 1218 43 78.50 1800.06/1800.50 c 3902 784 1700 66613 39 4142 1709 853 45 86.17 1800.06/1800.50 c 4716 784 1943 75013 38 4628 1880 1096 45 102.90 1800.06/1800.50 c 6037 784 3108 145361 46 6958 2069 2261 46 130.98 1800.06/1800.50 c 8119 784 2574 105667 41 5890 2276 1727 46 174.75 1800.06/1800.50 c 11342 784 2276 106000 46 5294 2504 1429 48 234.02 1800.06/1800.50 c 16278 784 3165 125415 39 7072 2755 2318 52 311.70 1800.06/1800.50 c 23784 784 2914 119647 41 6570 3031 2067 51 460.09 1800.06/1800.50 c 35145 784 2983 128391 43 6708 3335 2136 51 680.32 1800.06/1800.50 c 52292 784 4156 200654 48 9054 3669 3309 52 1004.14 1800.06/1800.50 c 78113 784 3443 164338 47 7628 4036 2596 49 1576.79 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 1800.06/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.06/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.06/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 1800.06/1800.50 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.06/1800.50 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1800.06/1800.50 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1800.06/1800.50 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.06/1800.50 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1800.06/1800.50 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1800.06/1800.50 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 1800.06/1800.50 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 1800.06/1800.50 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 1800.06/1800.50 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1800.06/1800.50 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 x327 -x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 1800.06/1800.50 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1800.06/1800.50 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1800.06/1800.50 v -x378 -x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 x398 1800.06/1800.50 v -x399 -x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1800.06/1800.50 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1800.06/1800.50 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 1800.06/1800.50 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1800.06/1800.50 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1800.06/1800.50 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1800.06/1800.50 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1800.06/1800.50 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.06/1800.50 v -x567 -x568 -x569 -x570 -x571 x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 1800.06/1800.50 v -x588 -x589 -x590 -x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1800.06/1800.50 v -x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1800.06/1800.50 v -x630 -x631 x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1800.06/1800.50 v -x651 x652 x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1800.06/1800.50 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1800.06/1800.50 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1800.06/1800.50 v -x714 -x715 -x716 -x717 x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1800.06/1800.50 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1800.06/1800.50 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1800.06/1800.50 v -x777 x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1800.06/1800.50 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 x817 -x818 1800.06/1800.50 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1800.06/1800.50 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1800.06/1800.50 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1800.06/1800.50 v -x882 x883 -x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 1800.06/1800.50 v -x903 -x904 -x905 x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1800.06/1800.50 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 -x934 x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1800.06/1800.50 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1800.06/1800.50 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1800.06/1800.50 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1800.06/1800.50 v x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 -x1022 -x1023 1800.06/1800.50 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1800.06/1800.50 v -x1041 -x1042 x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 1800.06/1800.50 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 x1069 -x1070 -x1071 -x1072 -x1073 -x1074 1800.06/1800.50 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 1800.06/1800.50 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 x1105 -x1106 -x1107 -x1108 1800.06/1800.50 v -x1109 -x1110 -x1111 -x1112 -x1113 x1114 -x1115 -x1116 -x1117 -x1118 x1119 -x1120 x1121 -x1122 -x1123 -x1124 -x1125 -x1126 1800.06/1800.50 v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 1800.06/1800.50 v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160 1800.06/1800.50 v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 1800.06/1800.50 v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 1800.06/1800.50 v -x1195 x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 x1211 -x1212 1800.06/1800.50 v -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 x1229 1800.06/1800.50 v -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 x1240 -x1241 -x1242 x1243 -x1244 -x1245 -x1246 x1247 1800.06/1800.50 v x1248 -x1249 -x1250 -x1251 x1252 x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 1800.06/1800.50 v -x1266 1800.06/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.06/1800.50 c 22 89372 911 92408 3006 122043 2159 49 1800.07 1800.06/1800.50 c Objective: 60 1800.06/1800.50 s SATISFIABLE 1800.06/1800.50 c Total time: 1800.07 s
OK 60
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node30/watcher-433489-1177960053 -o ROOT/results/node30/solver-433489-1177960053 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433489-1177960053/instance-433489-1177960053.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: 0.91 0.95 0.91 3/77 18099 /proc/meminfo: memFree=1857784/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=12336 CPUtime=0 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 243920957 12632064 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 3084 333 279 324 0 2004 0 [startup+0.0479459 s] /proc/loadavg: 0.91 0.95 0.91 3/77 18099 /proc/meminfo: memFree=1857784/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=5068 CPUtime=0.04 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 550 0 0 0 4 0 0 0 18 0 1 0 243920957 5189632 520 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7452283 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 1267 520 339 324 0 187 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 5068 [startup+0.101948 s] /proc/loadavg: 0.91 0.95 0.91 3/77 18099 /proc/meminfo: memFree=1857784/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=5584 CPUtime=0.09 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 762 0 0 0 9 0 0 0 18 0 1 0 243920957 5718016 732 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 1396 732 412 324 0 316 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5584 [startup+0.30196 s] /proc/loadavg: 0.91 0.95 0.91 3/77 18099 /proc/meminfo: memFree=1857784/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=7696 CPUtime=0.29 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 5117 0 0 0 28 1 0 0 19 0 1 0 243920957 7880704 1160 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134948697 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 1924 1160 390 324 0 994 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7696 [startup+0.701984 s] /proc/loadavg: 0.91 0.95 0.91 3/77 18099 /proc/meminfo: memFree=1857784/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=7924 CPUtime=0.69 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 9768 0 0 0 66 3 0 0 23 0 1 0 243920957 8114176 1166 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134941517 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 1981 1167 394 324 0 1051 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7924 [startup+1.50205 s] /proc/loadavg: 0.91 0.95 0.91 2/78 18100 /proc/meminfo: memFree=1854960/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=6372 CPUtime=1.49 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 22789 0 0 0 141 8 0 0 25 0 1 0 243920957 6524928 1069 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135447564 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 1593 1069 394 324 0 663 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6372 [startup+3.10113 s] /proc/loadavg: 0.91 0.95 0.91 2/78 18100 /proc/meminfo: memFree=1854576/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=7848 CPUtime=3.09 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 58711 0 0 0 288 21 0 0 25 0 1 0 243920957 8036352 1157 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7452283 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 1962 1157 395 324 0 1032 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7848 [startup+6.30133 s] /proc/loadavg: 0.92 0.95 0.91 2/78 18100 /proc/meminfo: memFree=1854576/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=7928 CPUtime=6.29 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 111774 0 0 0 589 40 0 0 25 0 1 0 243920957 8118272 1170 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694629 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 1982 1170 395 324 0 1052 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7928 [startup+12.7017 s] /proc/loadavg: 0.93 0.95 0.91 2/78 18100 /proc/meminfo: memFree=1853872/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=8264 CPUtime=12.69 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 156903 0 0 0 1208 61 0 0 25 0 1 0 243920957 8462336 1288 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 2066 1288 395 324 0 1136 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8264 [startup+25.5015 s] /proc/loadavg: 0.94 0.96 0.91 2/78 18100 /proc/meminfo: memFree=1853104/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=7916 CPUtime=25.49 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 212232 0 0 0 2461 88 0 0 25 0 1 0 243920957 8105984 1456 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135447558 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 1979 1456 395 324 0 1049 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 7916 [startup+51.1011 s] /proc/loadavg: 0.96 0.96 0.91 2/78 18100 /proc/meminfo: memFree=1851888/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=10500 CPUtime=51.08 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 426623 0 0 0 4928 180 0 0 25 0 1 0 243920957 10752000 1796 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694629 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 2625 1796 395 324 0 1695 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 10500 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.91 2/78 18100 /proc/meminfo: memFree=1851376/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=9556 CPUtime=102.27 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 642196 0 0 0 9929 298 0 0 25 0 1 0 243920957 9785344 1866 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134709904 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 2389 1866 395 324 0 1459 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 9556 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 18100 /proc/meminfo: memFree=1851376/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=10048 CPUtime=162.25 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 843544 0 0 0 15820 405 0 0 25 0 1 0 243920957 10289152 1873 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135254645 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 2512 1873 395 324 0 1582 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 10048 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 18100 /proc/meminfo: memFree=1851376/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=10276 CPUtime=222.24 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 1041255 0 0 0 21696 528 0 0 25 0 1 0 243920957 10522624 1880 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 2569 1880 395 324 0 1639 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 10276 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 18100 /proc/meminfo: memFree=1851312/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=10220 CPUtime=282.23 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 1223684 0 0 0 27577 646 0 0 25 0 1 0 243920957 10465280 1880 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 2555 1880 395 324 0 1625 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 10220 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 18100 /proc/meminfo: memFree=1851312/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=10480 CPUtime=342.21 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 1418746 0 0 0 33461 760 0 0 25 0 1 0 243920957 10731520 1886 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 2620 1886 395 324 0 1690 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 10480 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 18100 /proc/meminfo: memFree=1851312/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=9556 CPUtime=402.19 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 1626980 0 0 0 39338 881 0 0 25 0 1 0 243920957 9785344 1866 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135445176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 2389 1866 395 324 0 1459 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 9556 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 18100 /proc/meminfo: memFree=1851312/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=10292 CPUtime=462.18 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 1844198 0 0 0 45210 1008 0 0 25 0 1 0 243920957 10539008 1876 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 2573 1876 395 324 0 1643 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 10292 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 18100 /proc/meminfo: memFree=1851312/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=10296 CPUtime=522.16 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 2021185 0 0 0 51098 1118 0 0 25 0 1 0 243920957 10543104 1885 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 2574 1885 395 324 0 1644 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 10296 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 18100 /proc/meminfo: memFree=1851312/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=10436 CPUtime=582.15 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 2222310 0 0 0 56975 1240 0 0 25 0 1 0 243920957 10686464 1881 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 2609 1881 395 324 0 1679 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 10436 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 18100 /proc/meminfo: memFree=1851248/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=10012 CPUtime=642.14 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 2419296 0 0 0 62857 1357 0 0 25 0 1 0 243920957 10252288 1871 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134690005 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 2503 1871 395 324 0 1573 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 10012 ################ # More data... # ################ [startup+882.303 s] /proc/loadavg: 0.99 0.97 0.91 2/78 18100 /proc/meminfo: memFree=1851056/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=9736 CPUtime=882.08 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 3227903 0 0 0 86368 1840 0 0 25 0 1 0 243920957 9969664 1911 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134709716 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 2434 1911 395 324 0 1504 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 9736 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 18100 /proc/meminfo: memFree=1850992/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=10928 CPUtime=942.06 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 3463088 0 0 0 92240 1966 0 0 25 0 1 0 243920957 11190272 1939 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7452229 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 2732 1939 395 324 0 1802 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 10928 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 18100 /proc/meminfo: memFree=1850992/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=10900 CPUtime=1002.05 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 3701422 0 0 0 98110 2095 0 0 25 0 1 0 243920957 11161600 1939 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7452229 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 2725 1939 395 324 0 1795 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 10900 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 18100 /proc/meminfo: memFree=1850928/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=10932 CPUtime=1062.03 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 3962867 0 0 0 103979 2224 0 0 25 0 1 0 243920957 11194368 1946 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 2733 1946 395 324 0 1803 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 10932 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 18100 /proc/meminfo: memFree=1850864/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=11148 CPUtime=1122.02 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 4269995 0 0 0 109826 2376 0 0 25 0 1 0 243920957 11415552 1978 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 2787 1978 395 324 0 1857 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 11148 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 18100 /proc/meminfo: memFree=1850800/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=11092 CPUtime=1182.01 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 4539796 0 0 0 115681 2520 0 0 25 0 1 0 243920957 11358208 1981 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 2773 1981 395 324 0 1843 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 11092 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 18100 /proc/meminfo: memFree=1850736/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=11224 CPUtime=1242 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 4807419 0 0 0 121541 2659 0 0 25 0 1 0 243920957 11493376 2007 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135315574 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 2806 2007 395 324 0 1876 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 11224 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 18100 /proc/meminfo: memFree=1850288/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=10396 CPUtime=1301.98 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 5383013 0 0 0 127312 2886 0 0 25 0 1 0 243920957 10645504 2070 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134709664 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 2599 2070 395 324 0 1669 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 10396 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 18100 /proc/meminfo: memFree=1849712/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=11920 CPUtime=1361.96 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 5692791 0 0 0 133153 3043 0 0 25 0 1 0 243920957 12206080 2253 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135188128 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 2980 2253 395 324 0 2050 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 11920 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 18100 /proc/meminfo: memFree=1849712/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=11552 CPUtime=1421.95 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 5857732 0 0 0 139059 3136 0 0 25 0 1 0 243920957 11829248 2250 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134700324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 2888 2250 395 324 0 1958 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 11552 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 18100 /proc/meminfo: memFree=1849904/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=11648 CPUtime=1481.94 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 6013828 0 0 0 144969 3225 0 0 25 0 1 0 243920957 11927552 2188 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135184630 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 2912 2188 395 324 0 1982 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 11648 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 18100 /proc/meminfo: memFree=1849968/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=11628 CPUtime=1541.92 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 6201818 0 0 0 150858 3334 0 0 25 0 1 0 243920957 11907072 2185 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694624 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 2907 2185 395 324 0 1977 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 11628 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 18100 /proc/meminfo: memFree=1850416/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=11428 CPUtime=1601.9 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 6398069 0 0 0 156743 3447 0 0 25 0 1 0 243920957 11702272 2092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135308595 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 2857 2092 395 324 0 1927 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 11428 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 18100 /proc/meminfo: memFree=1850480/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=11400 CPUtime=1661.89 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 6665223 0 0 0 162604 3585 0 0 25 0 1 0 243920957 11673600 2085 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7453774 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 2850 2085 395 324 0 1920 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 11400 [startup+1722.3 s] /proc/loadavg: 1.05 0.99 0.91 2/78 18100 /proc/meminfo: memFree=1850480/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=11432 CPUtime=1721.87 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 6929956 0 0 0 168463 3724 0 0 25 0 1 0 243920957 11706368 2094 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135324394 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 2858 2094 395 324 0 1928 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 11432 [startup+1782.3 s] /proc/loadavg: 1.07 1.00 0.92 2/78 18100 /proc/meminfo: memFree=1850352/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=11460 CPUtime=1781.86 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 7197993 0 0 0 174325 3861 0 0 25 0 1 0 243920957 11735040 2087 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7453774 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 2865 2087 395 324 0 1935 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 11460 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.05 1.00 0.92 2/78 18100 /proc/meminfo: memFree=1850352/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=11432 CPUtime=1800.06 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 7277309 0 0 0 176103 3903 0 0 25 0 1 0 243920957 11706368 2093 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 2858 2093 395 324 0 1928 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 11432 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.05 1.00 0.92 2/78 18100 /proc/meminfo: memFree=1850352/2055920 swapFree=4157096/4192956 [pid=18099] ppid=18097 vsize=11432 CPUtime=1800.06 /proc/18099/stat : 18099 (bsolo3.0.17) R 18097 18099 17394 0 -1 4194304 7277309 0 0 0 176103 3903 0 0 25 0 1 0 243920957 11706368 2093 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18099/statm: 2858 2093 395 324 0 1928 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 11432 Child status: 15 Real time (s): 1800.51 CPU time (s): 1800.07 CPU user time (s): 1761.04 CPU system time (s): 39.0311 CPU usage (%): 99.9756 Max. virtual memory (cumulated for all children) (KiB): 12164 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1761.04 system time used= 39.0311 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7277312 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= 13 involuntary context switches= 37483 runsolver used 1.40878 second user time and 3.70344 second system time The end
Begin job on node30 on Mon Apr 30 19:07:33 UTC 2007 IDJOB= 433489 IDBENCH= 2876 IDSOLVER= 199 FILE ID= node30/433489-1177960053 PBS_JOBID= 4727709 Free space on /tmp= 66557 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-alu2.b.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433489-1177960053/instance-433489-1177960053.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-433489-1177960053 -o ROOT/results/node30/solver-433489-1177960053 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433489-1177960053/instance-433489-1177960053.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= a793af2f16b39bdc1dda733b5326bfb4 RANDOM SEED= 916011696 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node30.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.218 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.218 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: 1858128 kB Buffers: 30912 kB Cached: 74804 kB SwapCached: 15324 kB Active: 46008 kB Inactive: 89632 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1858128 kB SwapTotal: 4192956 kB SwapFree: 4157096 kB Dirty: 7196 kB Writeback: 0 kB Mapped: 36912 kB Slab: 47632 kB Committed_AS: 3670272 kB PageTables: 1788 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= 66557 MiB End job on node30 on Mon Apr 30 19:37:35 UTC 2007