Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 259 | 1800.01 | 1800.57 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-max1024.pi.opb |
MD5SUM | 93fc03471d2b2f18ece1d77179dbcb30 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 259 |
Best CPU time to get the best result obtained on this benchmark | 84.0212 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 259 |
Optimality of the best value was proved | YES |
Number of variables | 1278 |
Total number of constraints | 1087 |
Number of constraints which are clauses | 1087 |
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 | 18 |
Number of terms in the objective function | 1278 |
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 | 1278 |
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 | 1278 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/352773-1176641259/instance-352773-1176641259.opb 0.00/0.00 c File size is 74860 bytes. 0.00/0.01 c Highest Coefficient sum: 1278 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.014 s 0.00/0.01 c Var: 1278 Constr: 1087 1087/0/0 Lit: 6974 Watch. Lit: 2158 0.00/0.01 c Obj. Vars: 1278 (100 % of total variables) 0.01/0.03 c Formula reductions applied at preprocessing 0.01/0.03 c Pre-processing Time: 0.033 s 0.19/0.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.26 c 0 932 996 6340 6 1992 331 0 0 0.03 0.19/0.26 c Initial Lower Bound: 257 0.19/0.26 c Initial Path Cost: 42 0.19/0.26 o 303 0.258 1.00/1.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.05 c 0 932 997 7272 7 2665 1331 1 0 0.26 1.00/1.05 o 265 1.053 * 2.29/2.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.32 c 0 932 998 8204 8 3376 2331 2 0 1.05 2.29/2.32 o 263 2.325 * 4.99/5.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.99/5.06 c 0 932 999 9136 9 4089 3331 3 0 2.33 4.99/5.06 c 100 932 1199 20677 17 4489 3665 203 23 4.33 4.99/5.06 o 262 5.06 * 5.59/5.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.59/5.69 c 101 932 1202 21673 18 5207 3331 206 19 5.06 5.59/5.69 o 260 5.687 * 1279.76/1280.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1279.76/1280.23 c 101 932 1203 22605 18 5923 3331 207 17 5.69 1279.76/1280.23 c 201 932 1403 29368 20 6323 3665 407 20 9.68 1279.76/1280.23 c 451 932 1903 69335 36 7323 4032 907 29 15.27 1279.76/1280.23 c 926 932 2853 125010 43 9223 4436 1857 35 25.79 1279.76/1280.23 c 1739 932 4479 232826 51 12475 4880 3483 42 40.70 1279.76/1280.23 c 3059 932 4325 229136 52 9364 5369 3329 44 69.41 1279.76/1280.23 c 5140 932 5412 292204 53 11538 5906 4416 45 113.48 1279.76/1280.23 c 8363 932 5134 285246 55 10982 6497 4138 47 177.22 1279.76/1280.23 c 13299 932 7626 472409 61 15966 7147 6630 50 263.55 1279.76/1280.23 c 20805 932 6610 442060 66 13934 7862 5614 52 393.10 1279.76/1280.23 c 32166 932 7540 472292 62 15794 8649 6544 51 625.37 1279.76/1280.23 c 49310 932 8389 560248 66 17492 9514 7393 51 953.49 1279.76/1280.23 o 259 1279.81 * 1799.94/1800.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.94/1800.56 c 65273 932 9277 604624 65 19983 1331 8281 51 1279.81 1799.94/1800.56 c 65373 932 1863 76781 41 4441 1465 867 50 1281.92 1799.94/1800.56 c 65623 932 2363 107394 45 5441 1612 1367 50 1289.07 1799.94/1800.56 c 66098 932 2093 79214 37 4901 1774 1097 50 1300.15 1799.94/1800.56 c 66911 932 2458 87798 35 5631 1952 1462 50 1319.94 1799.94/1800.56 c 68231 932 2389 105539 44 5493 2148 1393 50 1344.74 1799.94/1800.56 c 70312 932 2071 75865 36 4857 2363 1075 50 1392.86 1799.94/1800.56 c 73535 932 2231 84509 37 5177 2600 1235 50 1461.87 1799.94/1800.56 c 78471 932 3563 189999 53 7841 2861 2567 50 1562.03 1799.94/1800.56 c 85977 932 3898 214673 55 8511 3148 2902 49 1720.55 1799.94/1800.56 c Resources Exceeded 1799.94/1800.56 v -x1 x2 -x3 -x4 -x5 -x6 x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 x21 x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 1799.94/1800.56 v -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 x51 -x52 -x53 -x54 -x55 x56 -x57 1799.94/1800.56 v -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 x70 x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 x84 1799.94/1800.56 v -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 x96 -x97 -x98 -x99 x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 1799.94/1800.56 v -x109 x110 -x111 x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 1799.94/1800.56 v -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 x144 x145 x146 -x147 -x148 -x149 -x150 x151 1799.94/1800.56 v -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 x171 -x172 1799.94/1800.56 v -x173 x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 1799.94/1800.56 v -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 1799.94/1800.56 v -x215 -x216 x217 -x218 -x219 x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 1799.94/1800.56 v -x236 x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 x248 x249 -x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 1799.94/1800.56 v -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 x273 x274 -x275 -x276 -x277 x278 -x279 1799.94/1800.56 v -x280 x281 -x282 -x283 -x284 x285 -x286 x287 -x288 x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 x298 -x299 -x300 -x301 1799.94/1800.56 v -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 x322 1799.94/1800.56 v -x323 -x324 -x325 -x326 -x327 x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 x339 -x340 -x341 x342 -x343 -x344 1799.94/1800.56 v -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 x365 1799.94/1800.56 v -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 1799.94/1800.56 v -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 1799.94/1800.56 v -x408 x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 x419 -x420 -x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 1799.94/1800.56 v x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 x447 x448 -x449 x450 1799.94/1800.56 v x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 1799.94/1800.56 v -x473 -x474 -x475 -x476 -x477 x478 -x479 x480 -x481 x482 -x483 -x484 -x485 -x486 -x487 x488 -x489 x490 -x491 -x492 x493 x494 1799.94/1800.56 v -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 x514 -x515 1799.94/1800.56 v -x516 x517 -x518 -x519 -x520 x521 -x522 -x523 x524 x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 x534 -x535 x536 -x537 1799.94/1800.56 v -x538 x539 -x540 -x541 x542 -x543 -x544 x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 1799.94/1800.56 v x559 -x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 1799.94/1800.56 v -x580 x581 x582 -x583 x584 -x585 -x586 -x587 x588 -x589 -x590 x591 -x592 -x593 x594 -x595 -x596 x597 -x598 -x599 -x600 -x601 1799.94/1800.56 v -x602 -x603 x604 x605 x606 -x607 x608 -x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 x617 x618 -x619 -x620 -x621 -x622 -x623 1799.94/1800.56 v -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 x644 1799.94/1800.56 v -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 1799.94/1800.56 v -x666 x667 -x668 -x669 x670 -x671 -x672 -x673 -x674 x675 -x676 x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 1799.94/1800.56 v -x687 x688 -x689 -x690 -x691 -x692 -x693 x694 -x695 x696 -x697 -x698 -x699 x700 x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 1799.94/1800.56 v -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 x725 -x726 -x727 x728 x729 -x730 1799.94/1800.56 v -x731 -x732 x733 x734 -x735 -x736 -x737 -x738 x739 x740 -x741 -x742 x743 -x744 x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 1799.94/1800.56 v -x753 -x754 -x755 -x756 -x757 -x758 x759 -x760 -x761 x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 1799.94/1800.56 v x774 -x775 -x776 -x777 -x778 -x779 x780 -x781 -x782 -x783 x784 -x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 -x793 -x794 1799.94/1800.56 v -x795 -x796 x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 x815 1799.94/1800.56 v -x816 x817 -x818 -x819 -x820 x821 x822 x823 x824 x825 -x826 -x827 x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 -x837 1799.94/1800.56 v -x838 -x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 x849 -x850 -x851 -x852 x853 -x854 -x855 -x856 -x857 x858 1799.94/1800.56 v -x859 -x860 -x861 -x862 -x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 -x875 -x876 x877 -x878 -x879 1799.94/1800.56 v -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 x893 -x894 -x895 -x896 x897 -x898 -x899 -x900 1799.94/1800.56 v -x901 -x902 -x903 -x904 x905 -x906 -x907 -x908 x909 x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 x921 1799.94/1800.56 v -x922 -x923 x924 -x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 x935 x936 x937 x938 -x939 -x940 x941 -x942 -x943 1799.94/1800.56 v -x944 x945 -x946 x947 -x948 -x949 x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 -x963 -x964 1799.94/1800.56 v -x965 -x966 -x967 -x968 x969 x970 -x971 -x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 x983 -x984 -x985 1799.94/1800.56 v -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 x995 x996 -x997 -x998 x999 -x1000 -x1001 -x1002 -x1003 -x1004 x1005 1799.94/1800.56 v -x1006 x1007 -x1008 -x1009 -x1010 x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 x1019 -x1020 -x1021 x1022 -x1023 1799.94/1800.56 v -x1024 -x1025 -x1026 x1027 -x1028 -x1029 -x1030 x1031 -x1032 x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 1799.94/1800.56 v -x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 1799.94/1800.56 v -x1059 -x1060 -x1061 x1062 -x1063 -x1064 -x1065 -x1066 -x1067 x1068 -x1069 -x1070 x1071 -x1072 -x1073 -x1074 -x1075 -x1076 1799.94/1800.56 v -x1077 -x1078 -x1079 x1080 -x1081 -x1082 -x1083 -x1084 x1085 x1086 -x1087 -x1088 -x1089 -x1090 x1091 -x1092 -x1093 -x1094 1799.94/1800.56 v -x1095 -x1096 x1097 x1098 -x1099 -x1100 -x1101 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 x1112 1799.94/1800.56 v -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129 -x1130 1799.94/1800.56 v -x1131 -x1132 -x1133 -x1134 x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 x1147 -x1148 1799.94/1800.56 v -x1149 x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 x1161 -x1162 x1163 -x1164 -x1165 -x1166 1799.94/1800.56 v -x1167 x1168 -x1169 -x1170 -x1171 -x1172 x1173 x1174 x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 1799.94/1800.56 v -x1185 -x1186 x1187 -x1188 -x1189 -x1190 -x1191 -x1192 x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200 x1201 x1202 1799.94/1800.56 v -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 x1211 -x1212 -x1213 x1214 x1215 -x1216 -x1217 x1218 -x1219 -x1220 1799.94/1800.56 v -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 x1235 -x1236 -x1237 -x1238 1799.94/1800.56 v -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 x1254 -x1255 x1256 1799.94/1800.56 v x1257 x1258 x1259 x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 x1267 -x1268 -x1269 -x1270 -x1271 x1272 x1273 -x1274 -x1275 1799.94/1800.56 v -x1276 -x1277 -x1278 1799.94/1800.56 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.94/1800.56 c 27 89405 1 91467 2893 135035 1897 49 1800.01 1799.94/1800.56 c Objective: 259 1799.94/1800.56 s SATISFIABLE 1799.94/1800.56 c Total time: 1800.01 s
OK 259
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node15/watcher-352773-1176641259 -o ROOT/results/node15/solver-352773-1176641259 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352773-1176641259/instance-352773-1176641259.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.93 0.99 0.99 3/77 15377 /proc/meminfo: memFree=1843264/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=11812 CPUtime=0 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 112043470 12095488 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7972646 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 2953 335 281 324 0 2003 0 [startup+0.0245439 s] /proc/loadavg: 0.93 0.99 0.99 3/77 15377 /proc/meminfo: memFree=1843264/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=4476 CPUtime=0.01 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 539 0 0 0 1 0 0 0 18 0 1 0 112043470 4583424 488 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7942202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 1119 488 306 324 0 188 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4476 [startup+0.10155 s] /proc/loadavg: 0.93 0.99 0.99 3/77 15377 /proc/meminfo: memFree=1843264/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=6424 CPUtime=0.09 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 899 0 0 0 9 0 0 0 18 0 1 0 112043470 6578176 807 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135235520 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 1606 807 385 324 0 675 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6424 [startup+0.301569 s] /proc/loadavg: 0.93 0.99 0.99 3/77 15377 /proc/meminfo: memFree=1843264/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=6832 CPUtime=0.29 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 1345 0 0 0 28 1 0 0 19 0 1 0 112043470 6995968 877 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135331935 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 1708 878 392 324 0 777 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6832 [startup+0.701606 s] /proc/loadavg: 0.93 0.99 0.99 3/77 15377 /proc/meminfo: memFree=1843264/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=6768 CPUtime=0.69 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 4325 0 0 0 67 2 0 0 23 0 1 0 112043470 6930432 845 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313648 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 1692 845 392 324 0 761 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6768 [startup+1.50168 s] /proc/loadavg: 0.93 0.99 0.99 2/78 15378 /proc/meminfo: memFree=1841336/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=6852 CPUtime=1.49 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 10767 0 0 0 145 4 0 0 25 0 1 0 112043470 7016448 863 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313599 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 1713 863 392 324 0 782 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6852 [startup+3.10183 s] /proc/loadavg: 0.94 0.99 0.99 2/78 15378 /proc/meminfo: memFree=1841144/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=6820 CPUtime=3.09 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 21437 0 0 0 301 8 0 0 25 0 1 0 112043470 6983680 855 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135235510 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 1705 855 392 324 0 774 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6820 [startup+6.30112 s] /proc/loadavg: 0.94 0.99 0.99 2/78 15378 /proc/meminfo: memFree=1840696/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=7248 CPUtime=6.29 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 37091 0 0 0 613 16 0 0 25 0 1 0 112043470 7421952 969 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135308923 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 1812 969 393 324 0 881 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7248 [startup+12.7017 s] /proc/loadavg: 0.95 0.99 0.99 2/78 15378 /proc/meminfo: memFree=1840440/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=7228 CPUtime=12.69 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 54109 0 0 0 1246 23 0 0 25 0 1 0 112043470 7401472 1017 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135267606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 1807 1017 393 324 0 876 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 7228 [startup+25.5019 s] /proc/loadavg: 0.95 0.99 0.99 2/78 15378 /proc/meminfo: memFree=1839224/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=8796 CPUtime=25.48 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 92769 0 0 0 2505 43 0 0 25 0 1 0 112043470 9007104 1353 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135324501 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 2199 1353 393 324 0 1268 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 8796 [startup+51.1012 s] /proc/loadavg: 0.97 0.99 0.99 2/78 15378 /proc/meminfo: memFree=1836984/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=11024 CPUtime=51.07 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 167877 0 0 0 5029 78 0 0 25 0 1 0 112043470 11288576 1912 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 2756 1912 393 324 0 1825 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 11024 [startup+102.306 s] /proc/loadavg: 0.99 0.99 0.99 2/78 15378 /proc/meminfo: memFree=1835640/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=12392 CPUtime=102.27 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 323638 0 0 0 10070 157 0 0 25 0 1 0 112043470 12689408 2264 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 3098 2264 393 324 0 2167 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 12392 [startup+162.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 15378 /proc/meminfo: memFree=1834616/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=13180 CPUtime=162.24 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 494102 0 0 0 15981 243 0 0 25 0 1 0 112043470 13496320 2479 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134700807 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 3295 2479 393 324 0 2364 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 13180 [startup+222.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 15378 /proc/meminfo: memFree=1834040/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=13504 CPUtime=222.24 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 687136 0 0 0 21885 339 0 0 25 0 1 0 112043470 13828096 2585 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135267606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 3472 2587 393 324 0 2541 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 13504 [startup+282.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 15378 /proc/meminfo: memFree=1833272/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=13084 CPUtime=282.22 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 885863 0 0 0 27785 437 0 0 25 0 1 0 112043470 13398016 2746 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 3271 2746 393 324 0 2340 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 13084 [startup+342.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 15378 /proc/meminfo: memFree=1833272/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=14548 CPUtime=342.21 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 1076181 0 0 0 33693 528 0 0 25 0 1 0 112043470 14897152 2830 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135315846 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 3637 2830 393 324 0 2706 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 14548 [startup+402.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 15378 /proc/meminfo: memFree=1833080/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=14640 CPUtime=402.19 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 1278930 0 0 0 39593 626 0 0 25 0 1 0 112043470 14991360 2820 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 3660 2820 393 324 0 2729 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 14640 [startup+462.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 15378 /proc/meminfo: memFree=1832056/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=15572 CPUtime=462.17 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 1452932 0 0 0 45512 705 0 0 25 0 1 0 112043470 15945728 3063 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134700784 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 3893 3063 393 324 0 2962 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 15572 [startup+522.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 15378 /proc/meminfo: memFree=1831992/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=15720 CPUtime=522.16 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 1637784 0 0 0 51424 792 0 0 25 0 1 0 112043470 16097280 3117 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135325595 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 3930 3117 393 324 0 2999 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 15720 [startup+582.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 15378 /proc/meminfo: memFree=1831992/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=15820 CPUtime=582.14 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 1818785 0 0 0 57333 881 0 0 25 0 1 0 112043470 16199680 3029 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7947845 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 3955 3029 393 324 0 3024 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 15820 [startup+642.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 15378 /proc/meminfo: memFree=1831800/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=15720 CPUtime=642.13 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 2005207 0 0 0 63244 969 0 0 25 0 1 0 112043470 16097280 3091 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 3930 3091 393 324 0 2999 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 15720 ################ # More data... # ################ /proc/meminfo: memFree=1829432/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=17704 CPUtime=1061.92 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 3286282 0 0 0 104586 1606 0 0 25 0 1 0 112043470 18128896 3524 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 4426 3524 393 324 0 3495 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 17704 [startup+1122.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 15576 /proc/meminfo: memFree=1829432/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=17680 CPUtime=1121.9 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 3470453 0 0 0 110494 1696 0 0 25 0 1 0 112043470 18104320 3533 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 4420 3533 393 324 0 3489 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 17680 [startup+1182.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 15576 /proc/meminfo: memFree=1829304/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=17704 CPUtime=1181.89 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 3646202 0 0 0 116411 1778 0 0 25 0 1 0 112043470 18128896 3561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135315846 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 4426 3561 393 324 0 3495 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 17704 [startup+1242.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 15576 /proc/meminfo: memFree=1829304/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=17732 CPUtime=1241.88 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 3828483 0 0 0 122315 1873 0 0 25 0 1 0 112043470 18157568 3535 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135308708 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 4433 3535 393 324 0 3502 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 17732 [startup+1302.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 15576 /proc/meminfo: memFree=1829240/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=17244 CPUtime=1301.86 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 4003880 0 0 0 128230 1956 0 0 25 0 1 0 112043470 17657856 3513 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135265845 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 4311 3513 393 324 0 3380 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 17244 [startup+1362.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 15576 /proc/meminfo: memFree=1829304/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=17572 CPUtime=1361.85 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 4176121 0 0 0 134144 2041 0 0 25 0 1 0 112043470 17993728 3499 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134720790 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 4393 3499 393 324 0 3462 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 17572 [startup+1422.31 s] /proc/loadavg: 1.05 1.00 1.00 2/78 15576 /proc/meminfo: memFree=1829304/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=17460 CPUtime=1421.84 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 4343512 0 0 0 140067 2117 0 0 25 0 1 0 112043470 17879040 3472 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7949390 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 4365 3472 393 324 0 3434 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 17460 [startup+1482.3 s] /proc/loadavg: 1.02 1.00 1.00 2/78 15576 /proc/meminfo: memFree=1829240/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=17572 CPUtime=1481.81 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 4514535 0 0 0 145983 2198 0 0 25 0 1 0 112043470 17993728 3487 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135308763 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 4393 3487 393 324 0 3462 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 17572 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15576 /proc/meminfo: memFree=1829112/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=17604 CPUtime=1541.8 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 4684823 0 0 0 151900 2280 0 0 25 0 1 0 112043470 18026496 3502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 4401 3502 393 324 0 3470 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 17604 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15576 /proc/meminfo: memFree=1829112/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=17600 CPUtime=1601.79 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 4855103 0 0 0 157814 2365 0 0 25 0 1 0 112043470 18022400 3484 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135226146 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 4400 3484 393 324 0 3469 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 17600 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15576 /proc/meminfo: memFree=1829048/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=17520 CPUtime=1661.77 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 5021378 0 0 0 163730 2447 0 0 25 0 1 0 112043470 17940480 3478 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135332400 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 4380 3479 393 324 0 3449 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 17520 [startup+1722.3 s] /proc/loadavg: 1.04 1.01 1.00 2/78 15576 /proc/meminfo: memFree=1829048/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=17572 CPUtime=1721.76 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 5196504 0 0 0 169646 2530 0 0 25 0 1 0 112043470 17993728 3493 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134720775 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 4393 3493 393 324 0 3462 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 17572 [startup+1782.3 s] /proc/loadavg: 1.13 1.04 1.01 2/78 15576 /proc/meminfo: memFree=1829048/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=17576 CPUtime=1781.74 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 5361430 0 0 0 175564 2610 0 0 25 0 1 0 112043470 17997824 3508 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135332220 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 4394 3508 393 324 0 3463 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 17576 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.12 1.04 1.01 2/78 15576 /proc/meminfo: memFree=1829048/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=17600 CPUtime=1791.34 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 5386166 0 0 0 176513 2621 0 0 25 0 1 0 112043470 18022400 3515 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313633 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 4400 3515 393 324 0 3469 0 Current children cumulated CPU time (s) 1791.34 Current children cumulated vsize (KiB) 17600 [startup+1795.1 s] /proc/loadavg: 1.19 1.05 1.01 2/78 15576 /proc/meminfo: memFree=1829048/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=17436 CPUtime=1794.54 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 5396052 0 0 0 176829 2625 0 0 25 0 1 0 112043470 17854464 3471 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7949390 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 4359 3471 393 324 0 3428 0 Current children cumulated CPU time (s) 1794.54 Current children cumulated vsize (KiB) 17436 [startup+1798.3 s] /proc/loadavg: 1.17 1.05 1.01 2/78 15576 /proc/meminfo: memFree=1829048/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=17544 CPUtime=1797.74 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 5404397 0 0 0 177144 2630 0 0 25 0 1 0 112043470 17965056 3503 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 4386 3503 393 324 0 3455 0 Current children cumulated CPU time (s) 1797.74 Current children cumulated vsize (KiB) 17544 [startup+1799.9 s] /proc/loadavg: 1.17 1.05 1.01 2/78 15576 /proc/meminfo: memFree=1828856/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=17572 CPUtime=1799.34 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 5409420 0 0 0 177301 2633 0 0 25 0 1 0 112043470 17993728 3513 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135331957 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 4393 3513 393 324 0 3462 0 Current children cumulated CPU time (s) 1799.34 Current children cumulated vsize (KiB) 17572 [startup+1800.3 s] /proc/loadavg: 1.17 1.05 1.01 2/78 15576 /proc/meminfo: memFree=1828856/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=17520 CPUtime=1799.74 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 5410341 0 0 0 177341 2633 0 0 25 0 1 0 112043470 17940480 3495 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135315846 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 4380 3495 393 324 0 3449 0 Current children cumulated CPU time (s) 1799.74 Current children cumulated vsize (KiB) 17520 [startup+1800.5 s] /proc/loadavg: 1.17 1.05 1.01 2/78 15576 /proc/meminfo: memFree=1828856/2055920 swapFree=4169120/4192956 [pid=15377] ppid=15375 vsize=17492 CPUtime=1799.94 /proc/15377/stat : 15377 (bsolo3.0.16) R 15375 15377 14353 0 -1 4194304 5411211 0 0 0 177360 2634 0 0 25 0 1 0 112043470 17911808 3483 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135309021 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15377/statm: 4373 3483 393 324 0 3442 0 Current children cumulated CPU time (s) 1799.94 Current children cumulated vsize (KiB) 17492 Child status: 0 Real time (s): 1800.57 CPU time (s): 1800.01 CPU user time (s): 1773.67 CPU system time (s): 26.344 CPU usage (%): 99.9692 Max. virtual memory (cumulated for all children) (KiB): 17844 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1773.67 system time used= 26.344 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5411433 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= 36247 runsolver used 2.15167 second user time and 4.08238 second system time The end
Begin job on node15 on Sun Apr 15 12:47:39 UTC 2007 IDJOB= 352773 IDBENCH= 2043 IDSOLVER= 163 FILE ID= node15/352773-1176641259 PBS_JOBID= 4556854 Free space on /tmp= 66553 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-max1024.pi.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352773-1176641259/instance-352773-1176641259.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-352773-1176641259 -o ROOT/results/node15/solver-352773-1176641259 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352773-1176641259/instance-352773-1176641259.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 93fc03471d2b2f18ece1d77179dbcb30 RANDOM SEED= 923656676 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node15.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.227 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.227 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: 1843736 kB Buffers: 20752 kB Cached: 100672 kB SwapCached: 2268 kB Active: 65084 kB Inactive: 84052 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1843736 kB SwapTotal: 4192956 kB SwapFree: 4169120 kB Dirty: 4484 kB Writeback: 0 kB Mapped: 35108 kB Slab: 48532 kB Committed_AS: 6070884 kB PageTables: 1884 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= 66553 MiB End job on node15 on Sun Apr 15 13:17:39 UTC 2007