Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 60 | 1800.04 | 1800.77 |
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.04 |
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.03 c Time Limit set via PBTIMEOUT to 1800 0.06 c INFO: OSL Context initialized. 0.37 c Initial problem consists of 1266 variables and 2888 constraints. 0.65 c Switching on LPR. 0.65 c preprocess terminated. Elapsed time: 0.6 0.65 c After prepocess the problem consists of 852 variables and 1056 constraints. 1.28 c Initial Lower Bound: 57 3.05 o 62 3.05 c NEW SOLUTION FOUND: 62 @ 2.998 4.06 o 61 4.06 c NEW SOLUTION FOUND: 61 @ 4.007 6.41 c Restart #1 #Var: 851 LB: 57 @ 6.352 19.71 c Restart #2 #Var: 851 LB: 57 @ 19.65 31.54 c Restart #3 #Var: 851 LB: 57 @ 31.478 42.39 c Restart #4 #Var: 851 LB: 57 @ 42.317 63.07 c Restart #5 #Var: 851 LB: 57 @ 62.997 75.06 c Restart #6 #Var: 851 LB: 57 @ 74.982 78.30 o 60 78.30 c NEW SOLUTION FOUND: 60 @ 78.219 116.80 c Restart #7 #Var: 851 LB: 57 @ 116.7 180.08 c Restart #8 #Var: 851 LB: 57 @ 179.96 279.81 c Restart #9 #Var: 851 LB: 57 @ 279.66 368.26 c Restart #10 #Var: 851 LB: 57 @ 368.07 470.50 c Restart #11 #Var: 851 LB: 57 @ 470.27 545.75 c Restart #12 #Var: 851 LB: 57 @ 545.49 740.98 c Restart #13 #Var: 851 LB: 57 @ 740.65 843.77 c Restart #14 #Var: 851 LB: 57 @ 843.4 928.70 c Restart #15 #Var: 851 LB: 57 @ 928.3 1122.18 c Restart #16 #Var: 851 LB: 57 @ 1121.7 1185.93 c Restart #17 #Var: 851 LB: 57 @ 1185.4 1369.51 c Restart #18 #Var: 851 LB: 57 @ 1369 1471.62 c Restart #19 #Var: 851 LB: 57 @ 1471 1625.25 c Restart #20 #Var: 851 LB: 57 @ 1624.6 1755.44 c Restart #21 #Var: 851 LB: 57 @ 1754.7 1800.76 s SATISFIABLE 1800.76 c Cost: 60 1800.76 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.76 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.76 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.76 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.76 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.76 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 1800.76 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.76 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.76 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.76 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.76 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 -x252 1800.76 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.76 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1800.76 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.76 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 x332 -x333 -x334 -x335 -x336 1800.76 v -x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.76 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1800.76 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1800.76 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1800.76 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 -x441 1800.76 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 1800.76 v -x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1800.76 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1800.76 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1800.76 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1800.76 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1800.76 v -x568 -x569 -x570 -x571 x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1800.76 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 -x609 1800.76 v -x610 -x611 -x612 -x613 x614 -x615 -x616 x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 -x629 -x630 1800.76 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 -x651 1800.76 v -x652 x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1800.76 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1800.76 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1800.76 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 1800.76 v -x736 -x737 -x738 x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 1800.76 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 x776 -x777 1800.76 v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 1800.76 v -x799 -x800 -x801 -x802 x803 x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 1800.76 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1800.76 v -x841 -x842 -x843 -x844 x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 1800.76 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 1800.76 v x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 -x903 1800.76 v -x904 -x905 x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 1800.76 v -x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 x941 -x942 -x943 -x944 -x945 1800.76 v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 1800.76 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 1800.76 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1800.76 v -x1007 -x1008 -x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1800.76 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1800.76 v x1041 -x1042 -x1043 x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 1800.76 v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 1800.76 v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 1800.76 v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 1800.76 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 x1119 -x1120 x1121 -x1122 -x1123 x1124 -x1125 -x1126 -x1127 1800.76 v x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 1800.76 v -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 x1158 -x1159 -x1160 -x1161 1800.76 v -x1162 -x1163 -x1164 x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 1800.76 v -x1179 -x1180 -x1181 x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 1800.76 v -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 -x1211 -x1212 -x1213 1800.76 v -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 x1226 -x1227 -x1228 x1229 -x1230 -x1231 1800.76 v x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 x1240 x1241 -x1242 x1243 -x1244 -x1245 -x1246 x1247 x1248 -x1249 1800.76 v -x1250 -x1251 x1252 x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 1800.76 c Exit Code: 10 1800.76 c Total time: 1800 s
OK 60
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node59/watcher-50281-1154091780 -o ROOT/results/node59/solver-50281-1154091780 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node59/50281-1154091780/instance-50281-1154091780.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.93 0.99 0.99 2/64 15285 /proc/meminfo: memFree=975200/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=2900 CPUtime=0 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 40 0 0 0 0 0 0 0 18 0 1 0 156047869 2969600 24 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 9290759 0 0 4096 0 0 0 0 17 1 0 0 /proc/15285/statm: 725 24 18 55 0 19 0 [startup+10.0028 s] /proc/loadavg: 0.94 0.99 0.99 2/64 15285 /proc/meminfo: memFree=960744/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=15720 CPUtime=9.93 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 36780 0 13 0 977 16 0 0 25 0 1 0 156047869 16097280 3253 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4158535883 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 3930 3253 433 55 0 2822 0 Current children cumulated CPU time (s) 9.93 Current children cumulated vsize (Kb) 15720 [startup+20.0087 s] /proc/loadavg: 0.95 0.99 0.99 2/64 15285 /proc/meminfo: memFree=960040/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=17252 CPUtime=19.94 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 57802 0 13 0 1969 25 0 0 25 0 1 0 156047869 17666048 3517 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 9752189 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4313 3517 434 55 0 3205 0 Current children cumulated CPU time (s) 19.94 Current children cumulated vsize (Kb) 17252 [startup+30.0146 s] /proc/loadavg: 0.96 0.99 0.99 2/64 15285 /proc/meminfo: memFree=960424/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=16280 CPUtime=29.94 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 86609 0 13 0 2954 40 0 0 25 0 1 0 156047869 16670720 3394 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4158520370 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4070 3394 434 55 0 2962 0 Current children cumulated CPU time (s) 29.94 Current children cumulated vsize (Kb) 16280 [startup+40.0205 s] /proc/loadavg: 0.96 0.99 0.99 2/64 15285 /proc/meminfo: memFree=959528/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=17272 CPUtime=39.94 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 119638 0 13 0 3937 57 0 0 25 0 1 0 156047869 17686528 3643 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4318 3643 435 55 0 3210 0 Current children cumulated CPU time (s) 39.94 Current children cumulated vsize (Kb) 17272 [startup+50.0265 s] /proc/loadavg: 0.97 0.99 0.99 2/64 15285 /proc/meminfo: memFree=959464/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=17264 CPUtime=49.95 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 141068 0 13 0 4926 69 0 0 25 0 1 0 156047869 17678336 3641 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4158536000 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4316 3641 435 55 0 3208 0 Current children cumulated CPU time (s) 49.95 Current children cumulated vsize (Kb) 17264 [startup+60.0324 s] /proc/loadavg: 0.97 0.99 0.99 2/64 15285 /proc/meminfo: memFree=959464/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=17264 CPUtime=59.95 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 158010 0 13 0 5917 78 0 0 25 0 1 0 156047869 17678336 3641 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4159249552 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4316 3641 435 55 0 3208 0 Current children cumulated CPU time (s) 59.95 Current children cumulated vsize (Kb) 17264 [startup+70.0383 s] /proc/loadavg: 0.98 0.99 0.99 2/64 15285 /proc/meminfo: memFree=958632/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=18540 CPUtime=69.95 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 189023 0 13 0 6900 95 0 0 25 0 1 0 156047869 18984960 3877 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4159473525 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4635 3877 435 55 0 3527 0 Current children cumulated CPU time (s) 69.95 Current children cumulated vsize (Kb) 18540 [startup+80.0443 s] /proc/loadavg: 0.98 0.99 0.99 2/64 15285 /proc/meminfo: memFree=958312/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=18840 CPUtime=79.96 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 216397 0 13 0 7885 111 0 0 25 0 1 0 156047869 19292160 3958 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4159943245 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4710 3958 435 55 0 3602 0 Current children cumulated CPU time (s) 79.96 Current children cumulated vsize (Kb) 18840 [startup+90.0502 s] /proc/loadavg: 0.98 0.99 0.99 2/64 15285 /proc/meminfo: memFree=958312/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=18784 CPUtime=89.95 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 229500 0 13 0 8878 117 0 0 25 0 1 0 156047869 19234816 3947 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4159477374 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4696 3957 435 55 0 3588 0 Current children cumulated CPU time (s) 89.95 Current children cumulated vsize (Kb) 18784 [startup+100.056 s] /proc/loadavg: 0.98 0.99 0.99 2/64 15285 /proc/meminfo: memFree=958312/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=18432 CPUtime=99.96 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 241631 0 13 0 9873 123 0 0 25 0 1 0 156047869 18874368 3933 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4608 3933 435 55 0 3500 0 Current children cumulated CPU time (s) 99.96 Current children cumulated vsize (Kb) 18432 [startup+110.062 s] /proc/loadavg: 0.99 0.99 0.99 2/64 15285 /proc/meminfo: memFree=958312/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=18432 CPUtime=109.96 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 253713 0 13 0 10867 129 0 0 25 0 1 0 156047869 18874368 3933 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4158535877 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4608 3933 435 55 0 3500 0 Current children cumulated CPU time (s) 109.96 Current children cumulated vsize (Kb) 18432 [startup+120.068 s] /proc/loadavg: 0.99 0.99 0.99 2/64 15285 /proc/meminfo: memFree=958312/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=18432 CPUtime=119.96 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 274508 0 13 0 11857 139 0 0 25 0 1 0 156047869 18874368 3933 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4608 3933 435 55 0 3500 0 Current children cumulated CPU time (s) 119.96 Current children cumulated vsize (Kb) 18432 [startup+130.074 s] /proc/loadavg: 0.99 0.99 0.99 2/64 15285 /proc/meminfo: memFree=958312/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=18980 CPUtime=129.97 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 288356 0 13 0 12851 146 0 0 25 0 1 0 156047869 19435520 3972 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4160431268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4745 3972 435 55 0 3637 0 Current children cumulated CPU time (s) 129.97 Current children cumulated vsize (Kb) 18980 [startup+140.08 s] /proc/loadavg: 0.99 0.99 0.99 2/64 15285 /proc/meminfo: memFree=958248/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=18432 CPUtime=139.97 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 304255 0 13 0 13843 154 0 0 25 0 1 0 156047869 18874368 3933 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134684546 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4608 3933 435 55 0 3500 0 Current children cumulated CPU time (s) 139.97 Current children cumulated vsize (Kb) 18432 [startup+150.086 s] /proc/loadavg: 0.99 0.99 0.99 2/64 15285 /proc/meminfo: memFree=958120/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=18432 CPUtime=149.97 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 318732 0 13 0 14836 161 0 0 25 0 1 0 156047869 18874368 3933 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4160022480 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4608 3933 435 55 0 3500 0 Current children cumulated CPU time (s) 149.97 Current children cumulated vsize (Kb) 18432 [startup+160.092 s] /proc/loadavg: 0.99 0.99 0.99 2/64 15285 /proc/meminfo: memFree=958312/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=18432 CPUtime=159.96 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 333378 0 13 0 15828 168 0 0 25 0 1 0 156047869 18874368 3933 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4608 3933 435 55 0 3500 0 Current children cumulated CPU time (s) 159.96 Current children cumulated vsize (Kb) 18432 [startup+170.098 s] /proc/loadavg: 0.99 0.99 0.99 2/64 15285 /proc/meminfo: memFree=958184/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=18432 CPUtime=169.98 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 348510 0 13 0 16822 176 0 0 25 0 1 0 156047869 18874368 3933 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4608 3933 435 55 0 3500 0 Current children cumulated CPU time (s) 169.98 Current children cumulated vsize (Kb) 18432 [startup+180.104 s] /proc/loadavg: 0.99 0.99 0.99 2/64 15285 /proc/meminfo: memFree=958120/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=18732 CPUtime=179.97 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 365751 0 13 0 17814 183 0 0 25 0 1 0 156047869 19181568 3980 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4158535961 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4683 3980 435 55 0 3575 0 Current children cumulated CPU time (s) 179.97 Current children cumulated vsize (Kb) 18732 [startup+190.109 s] /proc/loadavg: 0.99 0.99 0.99 2/64 15285 /proc/meminfo: memFree=958312/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=18600 CPUtime=189.97 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 390831 0 13 0 18804 193 0 0 25 0 1 0 156047869 19046400 3974 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4158522249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4650 3974 435 55 0 3542 0 Current children cumulated CPU time (s) 189.97 Current children cumulated vsize (Kb) 18600 [startup+200.115 s] /proc/loadavg: 0.99 0.99 0.99 2/64 15285 /proc/meminfo: memFree=958376/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=18432 CPUtime=199.98 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 411882 0 13 0 19795 203 0 0 25 0 1 0 156047869 18874368 3933 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4158536008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4608 3933 435 55 0 3500 0 Current children cumulated CPU time (s) 199.98 Current children cumulated vsize (Kb) 18432 [startup+210.122 s] /proc/loadavg: 0.99 0.99 0.99 2/64 15285 ################ # More data... # ################ Current children cumulated CPU time (s) 1760.36 Current children cumulated vsize (Kb) 19192 [startup+1771.08 s] /proc/loadavg: 0.99 0.99 0.99 2/64 15285 /proc/meminfo: memFree=957992/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=18772 CPUtime=1770.36 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 4031618 0 13 0 175167 1869 0 0 25 0 1 0 156047869 19222528 4020 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4693 4020 437 55 0 3585 0 Current children cumulated CPU time (s) 1770.36 Current children cumulated vsize (Kb) 18772 [startup+1781.08 s] /proc/loadavg: 0.99 0.99 0.99 2/64 15285 /proc/meminfo: memFree=957992/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=18772 CPUtime=1780.36 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 4039515 0 13 0 176163 1873 0 0 25 0 1 0 156047869 19222528 4020 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4159300791 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4693 4020 437 55 0 3585 0 Current children cumulated CPU time (s) 1780.36 Current children cumulated vsize (Kb) 18772 [startup+1782.09 s] /proc/loadavg: 0.99 0.99 0.99 2/64 15285 /proc/meminfo: memFree=957992/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=18772 CPUtime=1781.36 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 4040241 0 13 0 176262 1874 0 0 25 0 1 0 156047869 19222528 4020 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4158535906 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4693 4020 437 55 0 3585 0 Current children cumulated CPU time (s) 1781.36 Current children cumulated vsize (Kb) 18772 [startup+1783.09 s] /proc/loadavg: 0.99 0.99 0.99 2/64 15285 /proc/meminfo: memFree=957992/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=19192 CPUtime=1782.37 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 4041101 0 13 0 176362 1875 0 0 25 0 1 0 156047869 19652608 4049 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4159332327 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4798 4049 437 55 0 3690 0 Current children cumulated CPU time (s) 1782.37 Current children cumulated vsize (Kb) 19192 [startup+1784.1 s] /proc/loadavg: 0.99 0.99 0.99 2/64 15285 /proc/meminfo: memFree=957992/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=18772 CPUtime=1783.37 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 4041764 0 13 0 176462 1875 0 0 25 0 1 0 156047869 19222528 4020 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4693 4020 437 55 0 3585 0 Current children cumulated CPU time (s) 1783.37 Current children cumulated vsize (Kb) 18772 [startup+1785.1 s] /proc/loadavg: 0.99 0.99 0.99 2/64 15285 /proc/meminfo: memFree=957992/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=18772 CPUtime=1784.38 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 4042608 0 13 0 176562 1876 0 0 25 0 1 0 156047869 19222528 4020 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4159300493 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4693 4020 437 55 0 3585 0 Current children cumulated CPU time (s) 1784.38 Current children cumulated vsize (Kb) 18772 [startup+1786.11 s] /proc/loadavg: 0.99 0.99 0.99 2/64 15285 /proc/meminfo: memFree=957992/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=19172 CPUtime=1785.38 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 4043236 0 13 0 176662 1876 0 0 25 0 1 0 156047869 19632128 4046 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4160233031 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4793 4046 437 55 0 3685 0 Current children cumulated CPU time (s) 1785.38 Current children cumulated vsize (Kb) 19172 [startup+1787.11 s] /proc/loadavg: 0.99 0.99 0.99 2/64 15285 /proc/meminfo: memFree=957992/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=18772 CPUtime=1786.38 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 4044016 0 13 0 176762 1876 0 0 25 0 1 0 156047869 19222528 4020 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4693 4020 437 55 0 3585 0 Current children cumulated CPU time (s) 1786.38 Current children cumulated vsize (Kb) 18772 [startup+1788.12 s] /proc/loadavg: 0.99 0.99 0.99 2/64 15285 /proc/meminfo: memFree=957992/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=18992 CPUtime=1787.39 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 4044921 0 13 0 176862 1877 0 0 25 0 1 0 156047869 19447808 4033 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 9752189 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4748 4033 437 55 0 3640 0 Current children cumulated CPU time (s) 1787.39 Current children cumulated vsize (Kb) 18992 [startup+1789.12 s] /proc/loadavg: 0.99 0.99 0.99 2/64 15285 /proc/meminfo: memFree=957992/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=18772 CPUtime=1788.39 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 4045580 0 13 0 176962 1877 0 0 25 0 1 0 156047869 19222528 4020 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4693 4020 437 55 0 3585 0 Current children cumulated CPU time (s) 1788.39 Current children cumulated vsize (Kb) 18772 [startup+1790.13 s] /proc/loadavg: 0.99 0.99 0.99 2/64 15285 /proc/meminfo: memFree=957992/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=18772 CPUtime=1789.4 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 4046313 0 13 0 177062 1878 0 0 25 0 1 0 156047869 19222528 4020 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4693 4020 437 55 0 3585 0 Current children cumulated CPU time (s) 1789.4 Current children cumulated vsize (Kb) 18772 [startup+1791.13 s] /proc/loadavg: 0.99 0.99 0.99 2/64 15285 /proc/meminfo: memFree=957992/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=19172 CPUtime=1790.4 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 4047077 0 13 0 177162 1878 0 0 25 0 1 0 156047869 19632128 4041 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4159243201 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4793 4043 437 55 0 3685 0 Current children cumulated CPU time (s) 1790.4 Current children cumulated vsize (Kb) 19172 [startup+1792.14 s] /proc/loadavg: 0.99 0.99 0.99 2/64 15285 /proc/meminfo: memFree=957992/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=18772 CPUtime=1791.4 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 4047817 0 13 0 177262 1878 0 0 25 0 1 0 156047869 19222528 4020 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4158525088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4693 4020 437 55 0 3585 0 Current children cumulated CPU time (s) 1791.4 Current children cumulated vsize (Kb) 18772 [startup+1793.14 s] /proc/loadavg: 0.99 0.99 0.99 2/64 15285 /proc/meminfo: memFree=957992/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=18788 CPUtime=1792.42 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 4048613 0 13 0 177363 1879 0 0 25 0 1 0 156047869 19238912 4024 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4158103476 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4697 4024 437 55 0 3589 0 Current children cumulated CPU time (s) 1792.42 Current children cumulated vsize (Kb) 18788 [startup+1794.15 s] /proc/loadavg: 0.99 0.99 0.99 2/64 15285 /proc/meminfo: memFree=957992/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=18772 CPUtime=1793.42 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 4049355 0 13 0 177463 1879 0 0 25 0 1 0 156047869 19222528 4020 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134541667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4693 4020 437 55 0 3585 0 Current children cumulated CPU time (s) 1793.42 Current children cumulated vsize (Kb) 18772 [startup+1795.15 s] /proc/loadavg: 0.99 0.99 0.99 2/64 15285 /proc/meminfo: memFree=957992/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=18772 CPUtime=1794.42 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 4049881 0 13 0 177563 1879 0 0 25 0 1 0 156047869 19222528 4020 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4158536023 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4693 4020 437 55 0 3585 0 Current children cumulated CPU time (s) 1794.42 Current children cumulated vsize (Kb) 18772 [startup+1796.15 s] /proc/loadavg: 0.99 0.99 0.99 2/64 15285 /proc/meminfo: memFree=957992/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=18772 CPUtime=1795.43 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 4050512 0 13 0 177663 1880 0 0 25 0 1 0 156047869 19222528 4020 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4693 4020 437 55 0 3585 0 Current children cumulated CPU time (s) 1795.43 Current children cumulated vsize (Kb) 18772 [startup+1797.16 s] /proc/loadavg: 0.99 0.99 0.99 2/64 15285 /proc/meminfo: memFree=957992/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=18772 CPUtime=1796.43 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 4051382 0 13 0 177763 1880 0 0 25 0 1 0 156047869 19222528 4020 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4693 4020 437 55 0 3585 0 Current children cumulated CPU time (s) 1796.43 Current children cumulated vsize (Kb) 18772 [startup+1798.17 s] /proc/loadavg: 0.99 0.99 0.99 2/64 15285 /proc/meminfo: memFree=957992/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=18976 CPUtime=1797.44 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 4052081 0 13 0 177863 1881 0 0 25 0 1 0 156047869 19431424 4024 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4160276711 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4744 4024 437 55 0 3636 0 Current children cumulated CPU time (s) 1797.44 Current children cumulated vsize (Kb) 18976 [startup+1799.17 s] /proc/loadavg: 0.99 0.99 0.99 2/64 15285 /proc/meminfo: memFree=957992/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=19192 CPUtime=1798.44 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 4052916 0 13 0 177963 1881 0 0 25 0 1 0 156047869 19652608 4046 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4159477374 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4798 4046 437 55 0 3690 0 Current children cumulated CPU time (s) 1798.44 Current children cumulated vsize (Kb) 19192 [startup+1800.17 s] /proc/loadavg: 0.99 0.99 0.99 2/64 15285 /proc/meminfo: memFree=957992/2055920 swapFree=4182992/4192956 [pid=15285] ppid=15283 vsize=18772 CPUtime=1799.44 /proc/15285/stat : 15285 (bsolo) R 15283 15285 15236 0 -1 0 4053760 0 13 0 178063 1881 0 0 25 0 1 0 156047869 19222528 4020 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4158535974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15285/statm: 4693 4020 437 55 0 3585 0 Current children cumulated CPU time (s) 1799.44 Current children cumulated vsize (Kb) 18772 Child status: 10 Real time (s): 1800.77 CPU time (s): 1800.04 CPU user time (s): 1781.22 CPU system time (s): 18.8221 CPU usage (%): 99.9596 Max. virtual memory (cumulated for all children) (Kb): 19740 The end
Begin job on node59 on Fri Jul 28 13:03:01 UTC 2006 FILE ID= 50281-1154091780 PBS_JOBID= 885708 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-alu2.b.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node59/50281-1154091780/instance-50281-1154091780.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-50281-1154091780 -o ROOT/results/node59/solver-50281-1154091780 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node59/50281-1154091780/instance-50281-1154091780.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= a793af2f16b39bdc1dda733b5326bfb4 RANDOM SEED= 966894591 TIMEOUT= 1800 seconds /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.263 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.263 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: 975408 kB Buffers: 43720 kB Cached: 953728 kB SwapCached: 3852 kB Active: 239824 kB Inactive: 766276 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 975408 kB SwapTotal: 4192956 kB SwapFree: 4182992 kB Dirty: 232 kB Writeback: 0 kB Mapped: 14756 kB Slab: 60432 kB Committed_AS: 1084840 kB PageTables: 1488 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node59 on Fri Jul 28 13:33:02 UTC 2006