Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 138 | 1800.07 | 1800.62 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-apex6.b.opb |
MD5SUM | 06ffce7cc6d5515cfd76def90ae69d59 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 136 |
Best CPU time to get the best result obtained on this benchmark | 1800.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 136 |
Optimality of the best value was proved | NO |
Number of variables | 3098 |
Total number of constraints | 6012 |
Number of constraints which are clauses | 6012 |
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 | 386 |
Number of terms in the objective function | 3098 |
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 | 3098 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 3098 |
Number of bits of the biggest sum of numbers | 12 |
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/433461-1177959991/instance-433461-1177959991.opb 0.00/0.00 c File size is 2387751 bytes. 0.39/0.44 c Highest Coefficient sum: 3098 0.39/0.44 c Parsing was ok!! 0.39/0.44 c Total parsing time: 0.437 s 0.39/0.44 c Var: 3098 Constr: 6012 6012/0/0 Lit: 270908 Watch. Lit: 11980 0.39/0.44 c Obj. Vars: 3098 (100 % of total variables) 2.49/2.56 c Formula reductions applied at preprocessing 2.49/2.57 c Pre-processing Time: 2.57 s 3.48/3.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.48/3.54 c 0 2244 3609 177739 49 7218 1202 0 0 2.57 3.48/3.54 c Initial Lower Bound: 133 3.48/3.54 c Initial Path Cost: 48 3.48/3.54 o 180 3.543 16.39/16.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.39/16.46 c 1 2244 3611 180038 49 9334 2202 2 0 3.54 16.39/16.46 o 141 16.456 * 26.18/26.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 26.18/26.28 c 2 2243 3613 182282 50 11488 2202 4 0 16.46 26.18/26.28 o 140 26.275 * 46.67/46.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 46.67/46.77 c 2 2243 3614 184525 51 13642 2202 5 0 26.28 46.67/46.77 c 104 2243 3817 213864 56 14048 2423 208 2 42.49 46.67/46.77 o 139 46.761 * 58.67/58.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 58.67/58.72 c 108 2243 3826 216611 56 16219 2202 217 2 46.76 58.67/58.72 o 138 58.705 * 1800.05/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.05/1800.60 c 129 2243 3869 225164 58 18459 2202 260 2 58.71 1800.05/1800.60 c 231 2243 4073 243566 59 18867 2423 464 3 72.36 1800.05/1800.60 c 481 2243 4573 266439 58 19867 2666 964 5 94.75 1800.05/1800.60 c 958 2243 5527 326890 59 21775 2933 1918 6 156.68 1800.05/1800.60 c 1771 2243 7153 446035 62 25027 3227 3544 7 240.75 1800.05/1800.60 c 3091 2243 7229 447639 61 16611 3550 3620 8 346.56 1800.05/1800.60 c 5173 2243 5730 409119 71 13613 3906 2121 9 537.18 1800.05/1800.60 c 8396 2243 6264 457277 73 14681 4297 2655 10 791.82 1800.05/1800.60 c 13332 2243 6897 365668 53 15947 4727 3288 10 1224.83 1800.05/1800.60 c 20840 2243 8791 439414 49 19735 5200 5182 11 1793.16 1800.05/1800.60 c Caught signal: 15 1800.05/1800.60 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 1800.05/1800.60 v -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 -x55 -x56 -x57 -x58 1800.05/1800.60 v 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 1800.05/1800.60 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 1800.05/1800.60 v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 1800.05/1800.60 v -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 1800.05/1800.60 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 1800.05/1800.60 v -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 1800.05/1800.60 v -x193 -x194 x195 x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 1800.05/1800.60 v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 1800.05/1800.60 v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 1800.05/1800.60 v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 1800.05/1800.60 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 1800.05/1800.60 v -x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 1800.05/1800.60 v -x319 -x320 -x321 -x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 -x339 1800.05/1800.60 v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 1800.05/1800.60 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 1800.05/1800.60 v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 1800.05/1800.60 v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 1800.05/1800.60 v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 1800.05/1800.60 v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 1800.05/1800.60 v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 1800.05/1800.60 v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 1800.05/1800.60 v -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 1800.05/1800.60 v -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 1800.05/1800.60 v -x550 -x551 -x552 -x553 x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 1800.05/1800.60 v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 1800.05/1800.60 v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 1800.05/1800.60 v -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 1800.05/1800.60 v -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 1800.05/1800.60 v -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 -x672 -x673 -x674 -x675 1800.05/1800.60 v -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 1800.05/1800.60 v -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 1800.05/1800.60 v -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 1800.05/1800.60 v -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 1800.05/1800.60 v -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 1800.05/1800.60 v -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 1800.05/1800.60 v -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 1800.05/1800.60 v -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 1800.05/1800.60 v -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 1800.05/1800.60 v -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 1800.05/1800.60 v -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 1800.05/1800.60 v -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 1800.05/1800.60 v -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 1800.05/1800.60 v -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 x964 -x965 -x966 -x967 -x968 -x969 1800.05/1800.60 v -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 1800.05/1800.60 v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 1800.05/1800.60 v -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 1800.05/1800.60 v -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 1800.05/1800.60 v -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 x1058 -x1059 -x1060 1800.05/1800.60 v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 1800.05/1800.60 v -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 1800.05/1800.60 v -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 1800.05/1800.60 v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 1800.05/1800.60 v -x1129 -x1130 -x1131 x1132 -x1133 -x1134 -x1135 -x1136 x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 1800.05/1800.60 v -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 x1158 -x1159 -x1160 -x1161 -x1162 -x1163 1800.05/1800.60 v -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 1800.05/1800.60 v -x1181 x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 1800.05/1800.60 v -x1198 -x1199 x1200 -x1201 -x1202 -x1203 x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 1800.05/1800.60 v -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 1800.05/1800.60 v -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 1800.05/1800.60 v -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 1800.05/1800.60 v -x1267 x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 1800.05/1800.60 v -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 x1298 -x1299 -x1300 1800.05/1800.60 v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 1800.05/1800.60 v -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 1800.05/1800.60 v -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 1800.05/1800.60 v -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 1800.05/1800.60 v -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 1800.05/1800.60 v -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 1800.05/1800.60 v -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 x1414 -x1415 -x1416 -x1417 -x1418 -x1419 1800.05/1800.60 v -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 1800.05/1800.60 v -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 1800.05/1800.60 v -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 x1465 -x1466 -x1467 -x1468 -x1469 -x1470 1800.05/1800.60 v -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 x1485 -x1486 -x1487 1800.05/1800.60 v -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 x1503 -x1504 1800.05/1800.60 v -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 x1520 -x1521 1800.05/1800.60 v -x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 x1535 -x1536 -x1537 -x1538 -x1539 1800.05/1800.60 v -x1540 -x1541 -x1542 -x1543 x1544 -x1545 -x1546 x1547 x1548 -x1549 -x1550 -x1551 x1552 -x1553 -x1554 -x1555 -x1556 -x1557 1800.05/1800.60 v -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 1800.05/1800.60 v -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 1800.05/1800.60 v -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 1800.05/1800.60 v -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 1800.05/1800.60 v -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 1800.05/1800.60 v -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 1800.05/1800.60 v -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 x1672 -x1673 -x1674 -x1675 -x1676 1800.05/1800.60 v -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 1800.05/1800.60 v -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 1800.05/1800.60 v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 1800.05/1800.60 v -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 1800.05/1800.60 v -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 1800.05/1800.60 v -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 1800.05/1800.60 v -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 1800.05/1800.60 v -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 1800.05/1800.60 v -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 1800.05/1800.60 v -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 1800.05/1800.60 v -x1847 x1848 x1849 x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 1800.05/1800.60 v -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 1800.05/1800.60 v -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 1800.05/1800.60 v -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 1800.05/1800.60 v -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 1800.05/1800.60 v -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 1800.05/1800.60 v -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 1800.05/1800.60 v -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 1800.05/1800.60 v -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 1800.05/1800.60 v -x2001 x2002 x2003 -x2004 -x2005 x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 x2014 x2015 -x2016 -x2017 -x2018 1800.05/1800.60 v -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 x2030 -x2031 -x2032 -x2033 x2034 x2035 -x2036 1800.05/1800.60 v -x2037 x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 1800.05/1800.60 v -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 1800.05/1800.60 v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 1800.05/1800.60 v -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 1800.05/1800.60 v -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 1800.05/1800.60 v -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 1800.05/1800.60 v -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 1800.05/1800.60 v -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 1800.05/1800.60 v -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 1800.05/1800.60 v x2190 -x2191 -x2192 x2193 -x2194 -x2195 x2196 x2197 x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 1800.05/1800.60 v -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 1800.05/1800.60 v -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 1800.05/1800.60 v -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 x2252 x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 1800.05/1800.60 v -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 x2272 -x2273 -x2274 -x2275 -x2276 1800.05/1800.60 v x2277 -x2278 x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 1800.05/1800.60 v -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 1800.05/1800.60 v -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 1800.05/1800.60 v -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 1800.05/1800.60 v -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 1800.05/1800.60 v -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 1800.05/1800.60 v -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 1800.05/1800.60 v -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 1800.05/1800.60 v -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 x2426 -x2427 -x2428 -x2429 x2430 -x2431 1800.05/1800.60 v -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 1800.05/1800.60 v -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 1800.05/1800.60 v -x2466 -x2467 -x2468 -x2469 x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 1800.05/1800.60 v -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 1800.05/1800.60 v -x2500 -x2501 -x2502 -x2503 -x2504 x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 1800.05/1800.60 v -x2517 -x2518 x2519 -x2520 -x2521 -x2522 -x2523 x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 1800.05/1800.60 v -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 1800.05/1800.60 v -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 x2566 -x2567 -x2568 1800.05/1800.60 v -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 1800.05/1800.60 v -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 1800.05/1800.60 v -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 1800.05/1800.60 v -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 1800.05/1800.60 v -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 1800.05/1800.60 v -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 x2666 -x2667 -x2668 -x2669 -x2670 1800.05/1800.60 v -x2671 -x2672 x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 x2682 -x2683 x2684 -x2685 x2686 -x2687 -x2688 1800.05/1800.60 v -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 1800.05/1800.60 v x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 1800.05/1800.60 v -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 1800.05/1800.60 v -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 1800.05/1800.60 v -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 1800.05/1800.60 v -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 x2790 -x2791 1800.05/1800.60 v -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 1800.05/1800.60 v -x2809 -x2810 -x2811 x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 1800.05/1800.60 v -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 x2839 -x2840 -x2841 x2842 -x2843 1800.05/1800.60 v x2844 -x2845 -x2846 x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 x2861 1800.05/1800.60 v -x2862 -x2863 -x2864 -x2865 x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 1800.05/1800.60 v -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 1800.05/1800.60 v -x2896 -x2897 -x2898 x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 1800.05/1800.60 v -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 1800.05/1800.60 v -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 1800.05/1800.60 v -x2947 -x2948 -x2949 x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 x2960 -x2961 -x2962 x2963 -x2964 1800.05/1800.60 v -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 x2976 -x2977 x2978 -x2979 -x2980 -x2981 -x2982 1800.05/1800.60 v -x2983 -x2984 x2985 -x2986 -x2987 -x2988 -x2989 x2990 -x2991 x2992 -x2993 -x2994 -x2995 -x2996 -x2997 x2998 -x2999 x3000 1800.05/1800.60 v -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 x3013 -x3014 x3015 -x3016 -x3017 -x3018 1800.05/1800.60 v -x3019 -x3020 x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 1800.05/1800.60 v -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 1800.05/1800.60 v -x3053 x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 x3064 -x3065 -x3066 -x3067 x3068 -x3069 -x3070 1800.05/1800.60 v -x3071 -x3072 -x3073 x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 1800.05/1800.60 v -x3088 -x3089 x3090 -x3091 x3092 -x3093 x3094 -x3095 -x3096 -x3097 x3098 1800.05/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.05/1800.61 c 15 20868 467 25771 8847 443919 5238 11 1800.06 1800.05/1800.61 c Objective: 138 1800.05/1800.61 s SATISFIABLE 1800.05/1800.61 c Total time: 1800.06 s
OK 138
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node22/watcher-433461-1177959991 -o ROOT/results/node22/solver-433461-1177959991 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433461-1177959991/instance-433461-1177959991.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 0.99 0.95 3/77 10407 /proc/meminfo: memFree=1805960/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=14068 CPUtime=0 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 243916766 14405632 335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 3517 335 279 324 0 2004 0 [startup+0.0861119 s] /proc/loadavg: 1.00 0.99 0.95 3/77 10407 /proc/meminfo: memFree=1805960/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=7224 CPUtime=0.08 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 695 0 0 0 8 0 0 0 18 0 1 0 243916766 7397376 665 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 1806 665 389 324 0 293 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 7224 [startup+0.101113 s] /proc/loadavg: 1.00 0.99 0.95 3/77 10407 /proc/meminfo: memFree=1805960/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=7356 CPUtime=0.09 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 752 0 0 0 9 0 0 0 18 0 1 0 243916766 7532544 722 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 1839 722 409 324 0 326 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7356 [startup+0.301145 s] /proc/loadavg: 1.00 0.99 0.95 3/77 10407 /proc/meminfo: memFree=1805960/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=9164 CPUtime=0.29 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 1468 0 0 0 29 0 0 0 19 0 1 0 243916766 9383936 1438 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 2291 1438 677 324 0 778 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9164 [startup+0.701206 s] /proc/loadavg: 1.00 0.99 0.95 3/77 10407 /proc/meminfo: memFree=1805960/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=12788 CPUtime=0.69 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 3177 0 0 0 68 1 0 0 23 0 1 0 243916766 13094912 2564 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 3197 2564 306 324 0 2267 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12788 [startup+1.50234 s] /proc/loadavg: 1.00 0.99 0.95 2/78 10408 /proc/meminfo: memFree=1798208/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=11496 CPUtime=1.49 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 3883 0 0 0 148 1 0 0 25 0 1 0 243916766 11771904 2237 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134545307 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 2874 2237 306 324 0 1944 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11496 [startup+3.10157 s] /proc/loadavg: 1.00 0.99 0.95 2/78 10408 /proc/meminfo: memFree=1798080/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=14760 CPUtime=3.09 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 37536 0 0 0 293 16 0 0 25 0 1 0 243916766 15114240 2904 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135467970 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 3690 2908 335 324 0 2760 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14760 [startup+6.30206 s] /proc/loadavg: 1.00 0.99 0.95 2/78 10408 /proc/meminfo: memFree=1793856/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=13292 CPUtime=6.29 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 79985 0 0 0 592 37 0 0 25 0 1 0 243916766 13611008 2799 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 3323 2799 395 324 0 2393 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13292 [startup+12.701 s] /proc/loadavg: 1.00 0.99 0.95 2/78 10408 /proc/meminfo: memFree=1794304/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=19636 CPUtime=12.68 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 169497 0 0 0 1192 76 0 0 25 0 1 0 243916766 20107264 3274 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134689757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 4909 3274 395 324 0 3979 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 19636 [startup+25.502 s] /proc/loadavg: 1.00 0.99 0.95 2/78 10408 /proc/meminfo: memFree=1795840/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=19436 CPUtime=25.48 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 351582 0 0 0 2395 153 0 0 25 0 1 0 243916766 19902464 3277 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 4859 3277 395 324 0 3929 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19436 [startup+51.1019 s] /proc/loadavg: 1.00 0.99 0.95 2/78 10408 /proc/meminfo: memFree=1794176/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=20808 CPUtime=51.08 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 737670 0 0 0 4792 316 0 0 25 0 1 0 243916766 21307392 3314 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 5202 3314 395 324 0 4272 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 20808 [startup+102.306 s] /proc/loadavg: 1.00 0.99 0.95 2/78 10408 /proc/meminfo: memFree=1793536/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=21508 CPUtime=102.26 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 1557576 0 0 0 9550 676 0 0 25 0 1 0 243916766 22024192 3437 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134687834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 5377 3437 395 324 0 4447 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 21508 [startup+162.302 s] /proc/loadavg: 1.00 0.99 0.95 2/78 10408 /proc/meminfo: memFree=1792704/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=15624 CPUtime=162.24 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 2321654 0 0 0 15211 1013 0 0 25 0 1 0 243916766 15998976 3323 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135447564 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 3906 3330 395 324 0 2976 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 15624 [startup+222.301 s] /proc/loadavg: 1.00 0.99 0.95 2/78 10408 /proc/meminfo: memFree=1791360/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=22928 CPUtime=222.23 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 3304184 0 0 0 20787 1436 0 0 25 0 1 0 243916766 23478272 3881 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134689757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 5732 3881 395 324 0 4802 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 22928 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.95 2/78 10408 /proc/meminfo: memFree=1790208/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=23936 CPUtime=282.2 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 4434323 0 0 0 26305 1915 0 0 25 0 1 0 243916766 24510464 4142 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5114958 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 5984 4142 395 324 0 5054 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 23936 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.95 2/78 10408 /proc/meminfo: memFree=1790208/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=24212 CPUtime=342.18 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 5639283 0 0 0 31776 2442 0 0 25 0 1 0 243916766 24793088 4209 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135333285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 6053 4209 395 324 0 5123 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 24212 [startup+402.302 s] /proc/loadavg: 1.00 0.99 0.95 2/78 10408 /proc/meminfo: memFree=1789504/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=18596 CPUtime=402.17 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 6577139 0 0 0 37369 2848 0 0 25 0 1 0 243916766 19042304 4125 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134705479 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 4649 4125 395 324 0 3719 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 18596 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.95 2/78 10408 /proc/meminfo: memFree=1790464/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=23172 CPUtime=462.15 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 7607374 0 0 0 42934 3281 0 0 25 0 1 0 243916766 23728128 4353 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 5793 4353 395 324 0 4863 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 23172 [startup+522.302 s] /proc/loadavg: 1.00 0.99 0.95 2/78 10408 /proc/meminfo: memFree=1790656/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=25320 CPUtime=522.13 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 8787826 0 0 0 48431 3782 0 0 25 0 1 0 243916766 25927680 4802 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135190555 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 6330 4802 395 324 0 5400 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 25320 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.95 2/78 10408 /proc/meminfo: memFree=1788736/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=20272 CPUtime=582.11 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 10067507 0 0 0 53881 4330 0 0 25 0 1 0 243916766 20758528 4544 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134705479 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 5068 4544 395 324 0 4138 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 20272 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.95 2/78 10408 /proc/meminfo: memFree=1787648/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=25464 CPUtime=642.1 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 11434786 0 0 0 59305 4905 0 0 25 0 1 0 243916766 26075136 4823 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135333259 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 6366 4823 395 324 0 5436 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 25464 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 0.99 0.95 2/78 10408 /proc/meminfo: memFree=1787072/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=27092 CPUtime=822.04 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 15419631 0 0 0 75599 6605 0 0 25 0 1 0 243916766 27742208 4913 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135188678 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 6773 4913 395 324 0 5843 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 27092 [startup+882.302 s] /proc/loadavg: 1.00 0.99 0.95 2/78 10408 /proc/meminfo: memFree=1787136/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=20776 CPUtime=882.02 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 16656554 0 0 0 81069 7133 0 0 25 0 1 0 243916766 21274624 4669 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135447564 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 5194 4669 395 324 0 4264 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 20776 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.95 2/78 10408 /proc/meminfo: memFree=1786752/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=25800 CPUtime=942.01 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 17883616 0 0 0 86545 7656 0 0 25 0 1 0 243916766 26419200 4856 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134802133 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 6450 4856 395 324 0 5520 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 25800 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 10408 /proc/meminfo: memFree=1787584/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=20776 CPUtime=1001.98 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 19100615 0 0 0 92028 8170 0 0 25 0 1 0 243916766 21274624 4529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135447564 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 5194 4533 395 324 0 4264 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 20776 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 10408 /proc/meminfo: memFree=1787520/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=26236 CPUtime=1061.97 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 20356020 0 0 0 97490 8707 0 0 25 0 1 0 243916766 26865664 4861 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135188692 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 6559 4861 395 324 0 5629 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 26236 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 10408 /proc/meminfo: memFree=1786752/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=20776 CPUtime=1121.95 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 21549579 0 0 0 102980 9215 0 0 25 0 1 0 243916766 21274624 4670 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134705477 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 5194 4670 395 324 0 4264 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 20776 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 10408 /proc/meminfo: memFree=1786944/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=24092 CPUtime=1181.93 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 22721657 0 0 0 108488 9705 0 0 25 0 1 0 243916766 24670208 4735 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134690021 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 6023 4735 395 324 0 5093 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 24092 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 10408 /proc/meminfo: memFree=1786752/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=20776 CPUtime=1241.91 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 23907035 0 0 0 113977 10214 0 0 25 0 1 0 243916766 21274624 4403 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135447576 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 5194 4413 395 324 0 4264 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 20776 [startup+1302.3 s] /proc/loadavg: 1.03 1.00 0.95 2/78 10408 /proc/meminfo: memFree=1786816/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=26468 CPUtime=1301.9 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 25196641 0 0 0 119427 10763 0 0 25 0 1 0 243916766 27103232 4793 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134689757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 6617 4793 395 324 0 5687 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 26468 [startup+1362.3 s] /proc/loadavg: 1.01 1.00 0.95 2/78 10408 /proc/meminfo: memFree=1786752/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=22948 CPUtime=1361.87 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 26483603 0 0 0 124870 11317 0 0 25 0 1 0 243916766 23498752 4672 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 6099 4675 395 324 0 5169 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 22948 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.95 2/78 10408 /proc/meminfo: memFree=1786432/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=26956 CPUtime=1421.86 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 27822255 0 0 0 130300 11886 0 0 25 0 1 0 243916766 27602944 4858 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134700480 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 6739 4858 395 324 0 5809 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 26956 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 10408 /proc/meminfo: memFree=1786944/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=26208 CPUtime=1481.84 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 29144651 0 0 0 135727 12457 0 0 25 0 1 0 243916766 26836992 4799 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134689757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 6552 4799 395 324 0 5622 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 26208 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 10408 /proc/meminfo: memFree=1786368/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=24420 CPUtime=1541.82 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 30473029 0 0 0 141158 13024 0 0 25 0 1 0 243916766 25006080 4748 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135261916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 6105 4748 395 324 0 5175 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 24420 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 10408 /proc/meminfo: memFree=1786304/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=18692 CPUtime=1601.81 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 31800021 0 0 0 146581 13600 0 0 25 0 1 0 243916766 19140608 4149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134709686 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 4673 4149 395 324 0 3743 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 18692 [startup+1662.3 s] /proc/loadavg: 1.11 1.03 0.96 2/78 10408 /proc/meminfo: memFree=1786176/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=20780 CPUtime=1661.78 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 33131358 0 0 0 152006 14172 0 0 25 0 1 0 243916766 21278720 4671 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135447579 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 5195 4671 395 324 0 4265 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 20780 [startup+1722.3 s] /proc/loadavg: 1.04 1.02 0.96 2/78 10408 /proc/meminfo: memFree=1788544/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=20780 CPUtime=1721.77 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 34407315 0 0 0 157457 14720 0 0 25 0 1 0 243916766 21278720 4671 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135447542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 5195 4671 395 324 0 4265 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 20780 [startup+1782.3 s] /proc/loadavg: 1.01 1.02 0.96 2/78 10408 /proc/meminfo: memFree=1786176/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=26120 CPUtime=1781.75 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 35658706 0 0 0 162916 15259 0 0 25 0 1 0 243916766 26746880 4806 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134689770 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 6530 4806 395 324 0 5600 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 26120 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.01 1.01 0.96 2/78 10408 /proc/meminfo: memFree=1785856/2055920 swapFree=4163632/4192956 [pid=10407] ppid=10405 vsize=24916 CPUtime=1800.05 /proc/10407/stat : 10407 (bsolo3.0.17) R 10405 10407 9998 0 -1 4194304 36036054 0 0 0 164583 15422 0 0 25 0 1 0 243916766 25513984 4788 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135266058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10407/statm: 6417 4792 395 324 0 5487 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 24916 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.07 CPU user time (s): 1645.84 CPU system time (s): 154.23 CPU usage (%): 99.9694 Max. virtual memory (cumulated for all children) (KiB): 27576 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1645.84 system time used= 154.23 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36036077 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= 37571 runsolver used 1.44278 second user time and 3.85341 second system time The end
Begin job on node22 on Mon Apr 30 19:06:31 UTC 2007 IDJOB= 433461 IDBENCH= 2848 IDSOLVER= 199 FILE ID= node22/433461-1177959991 PBS_JOBID= 4727739 Free space on /tmp= 66556 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-apex6.b.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433461-1177959991/instance-433461-1177959991.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-433461-1177959991 -o ROOT/results/node22/solver-433461-1177959991 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433461-1177959991/instance-433461-1177959991.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 06ffce7cc6d5515cfd76def90ae69d59 RANDOM SEED= 914618271 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node22.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.265 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.265 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: 1806368 kB Buffers: 16828 kB Cached: 140292 kB SwapCached: 7372 kB Active: 52556 kB Inactive: 127400 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1806368 kB SwapTotal: 4192956 kB SwapFree: 4163632 kB Dirty: 8924 kB Writeback: 0 kB Mapped: 29936 kB Slab: 55220 kB Committed_AS: 2062580 kB PageTables: 1676 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= 66556 MiB End job on node22 on Mon Apr 30 19:36:34 UTC 2007