Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 71 | 1800.11 | 1800.62 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-C499.a.opb |
MD5SUM | a983c7d791d0da9cc5e2ec69578db721 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 64 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 64 |
Optimality of the best value was proved | NO |
Number of variables | 1226 |
Total number of constraints | 4208 |
Number of constraints which are clauses | 4208 |
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 | 2 |
Maximum length of a constraint | 105 |
Number of terms in the objective function | 1226 |
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 | 1226 |
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 | 1226 |
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/433497-1177960094/instance-433497-1177960094.opb 0.00/0.00 c File size is 357653 bytes. 0.00/0.07 c Highest Coefficient sum: 1226 0.00/0.07 c Parsing was ok!! 0.00/0.07 c Total parsing time: 0.067 s 0.00/0.07 c Var: 1226 Constr: 4208 4208/0/0 Lit: 39421 Watch. Lit: 8416 0.00/0.07 c Obj. Vars: 1226 (100 % of total variables) 0.09/0.14 c Formula reductions applied at preprocessing 0.09/0.14 c Pre-processing Time: 0.142 s 1.00/1.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.04 c 0 1157 4016 38083 9 8032 1338 0 0 0.14 1.00/1.04 c Initial Lower Bound: 59 1.00/1.04 c Initial Path Cost: 0 1.00/1.04 o 82 1.04 338.28/338.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 338.28/338.45 c 7 1157 4024 39318 9 9123 2338 8 6 1.04 338.28/338.45 c 107 1157 4223 111178 26 9521 2572 207 13 8.01 338.28/338.45 c 358 1157 4725 231392 48 10525 2830 709 13 26.42 338.28/338.45 c 833 1157 5671 513045 90 12417 3114 1655 14 56.19 338.28/338.45 c 1646 1157 5574 458580 82 12223 3426 1558 16 99.52 338.28/338.45 c 2969 1157 6005 746732 124 13085 3769 1989 18 164.45 338.28/338.45 c 5050 1157 5902 468044 79 12879 4146 1886 17 286.10 338.28/338.45 o 81 338.348 * 490.46/490.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 490.46/490.60 c 6170 1157 8142 1364798 167 18435 2338 4126 18 338.35 490.46/490.60 c 6270 1157 5386 552758 102 11848 2572 1370 18 348.11 490.46/490.60 c 6520 1157 5885 743896 126 12846 2830 1869 18 360.64 490.46/490.60 c 6995 1157 6834 1103334 161 14744 3114 2818 18 382.27 490.46/490.60 c 7808 1157 6432 869358 135 13940 3426 2416 17 436.92 490.46/490.60 c 9130 1157 6741 1214303 180 14558 3769 2725 18 487.66 490.46/490.60 o 79 490.462 * 503.25/503.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 503.25/503.42 c 9130 1157 6742 1215460 180 15638 2338 2726 18 490.46 503.25/503.42 c 9230 1157 5384 673836 125 11846 2572 1368 18 500.45 503.25/503.42 o 72 503.275 * 768.27/768.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 768.27/768.57 c 9230 1157 5385 674993 125 12933 2338 1369 18 503.28 768.27/768.57 c 9331 1157 5587 736716 131 13337 2572 1571 18 512.78 768.27/768.57 c 9581 1157 6086 861562 141 14335 2830 2070 18 530.80 768.27/768.57 c 10057 1157 5432 527741 97 11949 3114 1416 17 576.07 768.27/768.57 c 10871 1157 7056 876822 124 15197 3426 3040 17 625.09 768.27/768.57 c 12194 1157 5730 581188 101 12545 3769 1714 16 727.14 768.27/768.57 o 71 768.354 * 1800.09/1800.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.09/1800.61 c 12489 1157 6321 717054 113 14813 2338 2305 16 768.36 1800.09/1800.61 c 12589 1157 5186 408795 78 11458 2572 1170 16 777.86 1800.09/1800.61 c 12841 1157 5689 558052 98 12464 2830 1673 16 799.96 1800.09/1800.61 c 13317 1157 6641 832252 125 14368 3114 2625 15 836.21 1800.09/1800.61 c 14131 1157 6330 661298 104 13746 3426 2314 15 915.14 1800.09/1800.61 c 15452 1157 7083 511167 72 15252 3769 3067 14 1031.21 1800.09/1800.61 c 17535 1157 6759 710671 105 14604 4146 2743 14 1174.05 1800.09/1800.61 c 20759 1157 6090 497140 81 13266 4561 2074 14 1472.57 1800.09/1800.61 c Caught signal: 15 1800.09/1800.61 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.09/1800.61 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.09/1800.61 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.09/1800.61 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.09/1800.61 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.09/1800.61 v -x126 x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1800.09/1800.61 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1800.09/1800.61 v -x168 x169 -x170 -x171 x172 -x173 -x174 x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 1800.09/1800.61 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.09/1800.61 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.09/1800.61 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.09/1800.61 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.09/1800.61 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 -x294 1800.09/1800.61 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.09/1800.61 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1800.09/1800.61 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.09/1800.61 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1800.09/1800.61 v -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 x388 -x389 -x390 -x391 x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 1800.09/1800.61 v -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1800.09/1800.61 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1800.09/1800.61 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1800.09/1800.61 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1800.09/1800.61 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1800.09/1800.61 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1800.09/1800.61 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1800.09/1800.61 v -x547 -x548 -x549 -x550 x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1800.09/1800.61 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1800.09/1800.61 v -x589 x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1800.09/1800.61 v x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 x625 -x626 -x627 -x628 -x629 -x630 1800.09/1800.61 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1800.09/1800.61 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1800.09/1800.61 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 1800.09/1800.61 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1800.09/1800.61 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 1800.09/1800.61 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 x744 x745 -x746 -x747 -x748 x749 -x750 -x751 x752 -x753 -x754 -x755 -x756 1800.09/1800.61 v -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 1800.09/1800.61 v x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 x796 -x797 -x798 1800.09/1800.61 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 1800.09/1800.61 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1800.09/1800.61 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 1800.09/1800.61 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 x880 -x881 x882 1800.09/1800.61 v -x883 -x884 x885 -x886 -x887 x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 1800.09/1800.61 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 1800.09/1800.61 v -x925 -x926 -x927 -x928 x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 1800.09/1800.61 v -x946 -x947 -x948 -x949 x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 x962 -x963 -x964 -x965 -x966 1800.09/1800.61 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 x980 -x981 -x982 x983 -x984 -x985 -x986 -x987 1800.09/1800.61 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1800.09/1800.61 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1800.09/1800.61 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1800.09/1800.61 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 x1052 -x1053 -x1054 -x1055 -x1056 -x1057 1800.09/1800.61 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 1800.09/1800.61 v -x1075 x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 x1092 1800.09/1800.61 v -x1093 -x1094 -x1095 -x1096 -x1097 x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 x1108 -x1109 -x1110 1800.09/1800.61 v -x1111 x1112 x1113 -x1114 -x1115 x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 -x1126 -x1127 -x1128 1800.09/1800.61 v -x1129 -x1130 -x1131 -x1132 -x1133 x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 1800.09/1800.61 v -x1146 -x1147 -x1148 x1149 -x1150 x1151 -x1152 -x1153 -x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 1800.09/1800.61 v -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 x1178 x1179 -x1180 -x1181 1800.09/1800.61 v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 x1196 -x1197 -x1198 1800.09/1800.61 v -x1199 -x1200 -x1201 x1202 x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 x1214 -x1215 -x1216 1800.09/1800.61 v -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 1800.09/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.09/1800.61 c 29 24468 415 27306 8501 702817 4485 13 1800.10 1800.09/1800.61 c Objective: 71 1800.09/1800.61 s SATISFIABLE 1800.09/1800.61 c Total time: 1800.1 s
OK 71
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node54/watcher-433497-1177960094 -o ROOT/results/node54/solver-433497-1177960094 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433497-1177960094/instance-433497-1177960094.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.88 0.94 0.97 3/66 29338 /proc/meminfo: memFree=1389760/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=12088 CPUtime=0 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 243383869 12378112 336 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 3022 337 279 324 0 2004 0 [startup+0.0950701 s] /proc/loadavg: 0.88 0.94 0.97 3/66 29338 /proc/meminfo: memFree=1389760/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=5792 CPUtime=0.08 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 925 0 0 0 8 0 0 0 18 0 1 0 243383869 5931008 807 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 1448 807 305 324 0 518 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5792 [startup+0.10107 s] /proc/loadavg: 0.88 0.94 0.97 3/66 29338 /proc/meminfo: memFree=1389760/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=5792 CPUtime=0.09 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 925 0 0 0 9 0 0 0 18 0 1 0 243383869 5931008 807 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 1448 807 305 324 0 518 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5792 [startup+0.301095 s] /proc/loadavg: 0.88 0.94 0.97 3/66 29338 /proc/meminfo: memFree=1389760/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=5960 CPUtime=0.29 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 11653 0 0 0 25 4 0 0 19 0 1 0 243383869 6103040 905 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 1590 910 335 324 0 660 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5960 [startup+0.701146 s] /proc/loadavg: 0.88 0.94 0.97 3/66 29338 /proc/meminfo: memFree=1389760/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=10768 CPUtime=0.69 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 69045 0 0 0 48 21 0 0 23 0 1 0 243383869 11026432 1547 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134941104 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 2692 1547 391 324 0 1762 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10768 [startup+1.50125 s] /proc/loadavg: 0.88 0.94 0.97 2/67 29339 /proc/meminfo: memFree=1385080/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=10444 CPUtime=1.49 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 73014 0 0 0 126 23 0 0 25 0 1 0 243383869 10694656 1551 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135265573 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 2611 1551 395 324 0 1681 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10444 [startup+3.10145 s] /proc/loadavg: 0.89 0.94 0.97 2/67 29339 /proc/meminfo: memFree=1384952/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=7452 CPUtime=3.09 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 95089 0 0 0 276 33 0 0 25 0 1 0 243383869 7630848 1321 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 1863 1321 574 324 0 933 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7452 [startup+6.30186 s] /proc/loadavg: 0.89 0.94 0.97 2/67 29339 /proc/meminfo: memFree=1385976/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=7228 CPUtime=6.29 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 190677 0 0 0 558 71 0 0 25 0 1 0 243383869 7401472 1283 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135447564 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 1807 1283 395 324 0 877 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7228 [startup+12.7017 s] /proc/loadavg: 0.91 0.94 0.97 2/67 29339 /proc/meminfo: memFree=1384632/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=12388 CPUtime=12.69 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 273912 0 0 0 1162 107 0 0 25 0 1 0 243383869 12685312 1777 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134948469 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 3097 1777 395 324 0 2167 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12388 [startup+25.5013 s] /proc/loadavg: 0.92 0.95 0.97 2/67 29339 /proc/meminfo: memFree=1382904/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=13716 CPUtime=25.49 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 488395 0 0 0 2350 199 0 0 25 0 1 0 243383869 14045184 2035 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2255950 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 3429 2035 395 324 0 2499 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 13716 [startup+51.1016 s] /proc/loadavg: 0.95 0.95 0.97 2/67 29339 /proc/meminfo: memFree=1380792/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=12604 CPUtime=51.07 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 930432 0 0 0 4715 392 0 0 25 0 1 0 243383869 12906496 2600 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135194949 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 3151 2604 395 324 0 2221 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 12604 [startup+102.305 s] /proc/loadavg: 0.98 0.95 0.97 2/67 29339 /proc/meminfo: memFree=1373432/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=23088 CPUtime=102.25 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 1947009 0 0 0 9394 831 0 0 25 0 1 0 243383869 23642112 4395 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2255950 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 5526 4360 395 324 0 4596 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 23088 [startup+162.302 s] /proc/loadavg: 0.99 0.96 0.97 2/67 29339 /proc/meminfo: memFree=1364152/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=31292 CPUtime=162.24 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 3373199 0 0 0 14775 1449 0 0 25 0 1 0 243383869 32043008 6676 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134690021 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 7823 6676 395 324 0 6893 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 31292 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.97 2/67 29341 /proc/meminfo: memFree=1364280/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=31560 CPUtime=222.22 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 3889927 0 0 0 20544 1678 0 0 25 0 1 0 243383869 32317440 6682 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134690021 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 7890 6682 395 324 0 6960 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 31560 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.97 2/67 29341 /proc/meminfo: memFree=1363960/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=32732 CPUtime=282.21 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 4441495 0 0 0 26286 1935 0 0 25 0 1 0 243383869 33517568 6723 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 8183 6723 395 324 0 7253 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 32732 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/67 29341 /proc/meminfo: memFree=1364024/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=33160 CPUtime=342.19 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 5152206 0 0 0 31970 2249 0 0 25 0 1 0 243383869 33955840 6704 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135336313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 8290 6704 395 324 0 7360 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 33160 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.97 2/67 29341 /proc/meminfo: memFree=1364088/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=32360 CPUtime=402.17 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 5848281 0 0 0 37659 2558 0 0 25 0 1 0 243383869 33136640 6708 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694629 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 8090 6708 395 324 0 7160 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 32360 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.97 2/67 29341 /proc/meminfo: memFree=1363960/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=31200 CPUtime=462.16 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 6513910 0 0 0 43351 2865 0 0 25 0 1 0 243383869 31948800 6660 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135259740 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 7800 6664 395 324 0 6870 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 31200 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.97 2/67 29341 /proc/meminfo: memFree=1362680/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=29920 CPUtime=522.14 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 7397735 0 0 0 48962 3252 0 0 25 0 1 0 243383869 30638080 6955 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135447564 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 7480 6955 395 324 0 6550 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 29920 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.97 2/67 29341 /proc/meminfo: memFree=1362616/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=34092 CPUtime=582.12 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 7842829 0 0 0 54761 3451 0 0 25 0 1 0 243383869 34910208 7033 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134689759 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 8523 7033 395 324 0 7593 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 34092 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.97 2/67 29341 /proc/meminfo: memFree=1362744/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=29448 CPUtime=642.11 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 8399508 0 0 0 60512 3699 0 0 25 0 1 0 243383869 30154752 6837 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 7362 6837 395 324 0 6432 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 29448 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.97 2/67 29341 /proc/meminfo: memFree=1362744/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=33668 CPUtime=822.06 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 9705884 0 0 0 77908 4298 0 0 25 0 1 0 243383869 34476032 6983 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2255950 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 8417 6983 395 324 0 7487 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 33668 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.97 2/67 29341 /proc/meminfo: memFree=1362808/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=33760 CPUtime=882.04 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 10077062 0 0 0 83729 4475 0 0 25 0 1 0 243383869 34570240 6991 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135316026 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 8440 6991 395 324 0 7510 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 33760 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.97 2/67 29341 /proc/meminfo: memFree=1362808/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=34468 CPUtime=942.02 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 10488543 0 0 0 89533 4669 0 0 25 0 1 0 243383869 35295232 7018 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 8617 7018 395 324 0 7687 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 34468 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.97 2/67 29341 /proc/meminfo: memFree=1362616/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=34692 CPUtime=1002.01 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 10932038 0 0 0 95335 4866 0 0 25 0 1 0 243383869 35524608 7018 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 8673 7018 395 324 0 7743 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 34692 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/67 29341 /proc/meminfo: memFree=1363256/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=32700 CPUtime=1061.99 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 11379338 0 0 0 101121 5078 0 0 25 0 1 0 243383869 33484800 6958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134690021 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 8175 6958 395 324 0 7245 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 32700 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/67 29341 /proc/meminfo: memFree=1362552/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=33828 CPUtime=1121.97 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 11855198 0 0 0 106890 5307 0 0 25 0 1 0 243383869 34639872 6986 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135334031 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 8457 6986 395 324 0 7527 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 33828 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/67 29341 /proc/meminfo: memFree=1362552/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=34016 CPUtime=1181.96 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 12324022 0 0 0 112673 5523 0 0 25 0 1 0 243383869 34832384 6996 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134792418 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 8504 6996 395 324 0 7574 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 34016 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/67 29341 /proc/meminfo: memFree=1362616/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=33988 CPUtime=1241.94 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 12671031 0 0 0 118507 5687 0 0 25 0 1 0 243383869 34803712 6994 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135333269 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 8497 6994 395 324 0 7567 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 33988 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/67 29341 /proc/meminfo: memFree=1362680/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=34144 CPUtime=1301.93 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 13056252 0 0 0 124333 5860 0 0 25 0 1 0 243383869 34963456 7013 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 8536 7013 395 324 0 7606 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 34144 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/67 29341 /proc/meminfo: memFree=1362424/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=33892 CPUtime=1361.9 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 13445506 0 0 0 130151 6039 0 0 25 0 1 0 243383869 34705408 7013 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135331656 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 8473 7013 395 324 0 7543 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 33892 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.97 2/67 29341 /proc/meminfo: memFree=1362680/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=34212 CPUtime=1421.89 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 13859868 0 0 0 135952 6237 0 0 25 0 1 0 243383869 35033088 7074 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 8553 7074 395 324 0 7623 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 34212 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/67 29341 /proc/meminfo: memFree=1362552/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=29732 CPUtime=1481.87 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 14236618 0 0 0 141777 6410 0 0 25 0 1 0 243383869 30445568 6909 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134705477 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 7433 6909 395 324 0 6503 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 29732 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.97 2/67 29341 /proc/meminfo: memFree=1362808/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=31968 CPUtime=1541.85 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 14630322 0 0 0 147598 6587 0 0 25 0 1 0 243383869 32735232 6946 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134690021 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 7992 6946 395 324 0 7062 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 31968 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 2/67 29341 /proc/meminfo: memFree=1362872/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=33568 CPUtime=1601.84 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 15041809 0 0 0 153409 6775 0 0 25 0 1 0 243383869 34373632 7015 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 8392 7015 395 324 0 7462 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 33568 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.97 2/67 29341 /proc/meminfo: memFree=1362936/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=33928 CPUtime=1661.82 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 15432099 0 0 0 159225 6957 0 0 25 0 1 0 243383869 34742272 7021 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135331848 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 8482 7021 395 324 0 7552 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 33928 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.97 2/67 29341 /proc/meminfo: memFree=1362808/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=34080 CPUtime=1721.8 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 15782627 0 0 0 165058 7122 0 0 25 0 1 0 243383869 34897920 7061 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135333133 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 8520 7061 416 324 0 7590 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 34080 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.97 2/67 29341 /proc/meminfo: memFree=1362744/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=33064 CPUtime=1781.78 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 16147257 0 0 0 170888 7290 0 0 25 0 1 0 243383869 33857536 7031 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135316026 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 8266 7031 395 324 0 7336 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 33064 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.97 2/67 29341 /proc/meminfo: memFree=1362680/2055920 swapFree=4182164/4192956 [pid=29338] ppid=29336 vsize=33392 CPUtime=1800.09 /proc/29338/stat : 29338 (bsolo3.0.17) R 29336 29338 28201 0 -1 4194304 16267572 0 0 0 172664 7345 0 0 25 0 1 0 243383869 34193408 7008 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134941155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29338/statm: 8348 7008 395 324 0 7418 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 33392 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.62 CPU time (s): 1800.11 CPU user time (s): 1726.65 CPU system time (s): 73.4588 CPU usage (%): 99.9716 Max. virtual memory (cumulated for all children) (KiB): 35144 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1726.65 system time used= 73.4588 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16267575 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= 12 involuntary context switches= 3087 runsolver used 1.56976 second user time and 4.99024 second system time The end
Begin job on node54 on Mon Apr 30 19:08:14 UTC 2007 IDJOB= 433497 IDBENCH= 2884 IDSOLVER= 199 FILE ID= node54/433497-1177960094 PBS_JOBID= 4727694 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.a.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433497-1177960094/instance-433497-1177960094.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node54/watcher-433497-1177960094 -o ROOT/results/node54/solver-433497-1177960094 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433497-1177960094/instance-433497-1177960094.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= a983c7d791d0da9cc5e2ec69578db721 RANDOM SEED= 322176582 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node54.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: 1390168 kB Buffers: 32416 kB Cached: 552836 kB SwapCached: 4036 kB Active: 151204 kB Inactive: 444080 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1390168 kB SwapTotal: 4192956 kB SwapFree: 4182164 kB Dirty: 6936 kB Writeback: 0 kB Mapped: 16064 kB Slab: 56380 kB Committed_AS: 2417184 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node54 on Mon Apr 30 19:38:17 UTC 2007