Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | MSAT (TO) | 1800.07 | 1800.01 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_45_pb.cnf.cr--soft-0-100-0.wbo |
MD5SUM | 6dc14d51c0879b2054c8b72501c6facc |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 4 |
Best CPU time to get the best result obtained on this benchmark | 0.201968 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 3600 |
Total number of constraints | 170 |
Number of soft constraints | 170 |
Number of constraints which are clauses | 90 |
Number of constraints which are cardinality constraints (but not clauses) | 80 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 40 |
Maximum length of a constraint | 45 |
Top cost | 7974 |
Min constraint cost | 1 |
Max constraint cost | 99 |
Sum of constraints costs | 7973 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 46 |
Number of bits of the biggest sum of numbers | 6 |
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 PB/CT 0.1.2 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.01/0.01 c constraints 0/80 clauses 0/90 units 0 0.01/0.01 c vars 3600 0.09/0.12 c 0.112982 28.9023 77 7352 0.09/0.12 o 3632 0.09/0.13 c 0.118981 29.2227 78 7779 0.09/0.13 o 236 0.09/0.14 c 0.123981 29.2227 79 8275 0.09/0.14 o 232 0.09/0.16 c 0.139978 29.2227 180 9032 0.09/0.16 o 230 0.09/0.16 c 0.144977 29.2227 180 9574 0.09/0.16 o 228 0.09/0.17 c 0.150977 29.2227 180 10087 0.09/0.17 o 223 0.09/0.17 c 0.154976 29.2227 180 10711 0.09/0.17 o 217 0.09/0.18 c 0.160975 29.2227 180 11165 0.09/0.18 o 216 0.09/0.19 c 0.162975 29.2227 180 11678 0.09/0.19 o 211 0.09/0.19 c 0.168974 29.2227 180 12183 0.09/0.19 o 210 0.19/0.20 c 0.172973 29.2227 182 12819 0.19/0.20 o 200 0.19/0.21 c 0.176973 29.2227 182 13242 0.19/0.21 o 197 0.19/0.21 c 0.179972 29.2227 182 13863 0.19/0.21 o 175 0.19/0.22 c 0.186971 29.2227 182 14443 0.19/0.22 o 171 0.19/0.23 c 0.189971 29.2227 182 14861 0.19/0.23 o 170 0.19/0.23 c 0.19497 29.2227 182 15281 0.19/0.23 o 169 0.19/0.24 c 0.198969 29.2227 183 15785 0.19/0.24 o 168 0.19/0.25 c 0.202969 29.2227 183 16207 0.19/0.25 o 163 0.19/0.25 c 0.204968 29.2227 183 16622 0.19/0.25 o 161 0.19/0.26 c 0.209968 29.2227 183 16986 0.19/0.26 o 160 0.19/0.27 c 0.215967 29.2227 183 17427 0.19/0.27 o 157 0.19/0.27 c 0.219966 29.2227 183 17765 0.19/0.27 o 155 0.19/0.28 c 0.222966 29.2227 183 18337 0.19/0.28 o 150 0.19/0.29 c 0.226965 29.2227 183 18746 0.19/0.29 o 149 0.19/0.29 c 0.231964 29.2227 183 19211 0.19/0.29 o 145 0.29/0.30 c 0.232964 29.2227 183 19644 0.29/0.30 o 137 0.29/0.30 c 0.237963 29.2227 183 20128 0.29/0.30 o 134 0.29/0.31 c 0.241963 29.2227 184 20616 0.29/0.31 o 132 0.29/0.32 c 0.245962 29.2227 185 21068 0.29/0.32 o 131 0.29/0.32 c 0.248962 29.3516 185 21515 0.29/0.32 o 126 0.29/0.33 c 0.252961 29.3516 186 22049 0.29/0.33 o 123 0.29/0.34 c 0.25696 29.3516 186 22461 0.29/0.34 o 122 0.29/0.34 c 0.26096 29.3516 186 22815 0.29/0.34 o 114 0.29/0.35 c 0.266959 29.3516 186 23313 0.29/0.35 o 101 0.29/0.36 c 0.269958 29.3516 186 23772 0.29/0.36 o 91 0.29/0.36 c 0.273958 29.3516 187 24270 0.29/0.36 o 90 0.29/0.37 c 0.279957 29.3516 188 24614 0.29/0.37 o 86 0.29/0.39 c 0.297954 29.3516 292 25896 0.29/0.39 o 81 0.39/0.40 c 0.303953 29.3516 309 27003 0.39/0.40 o 75 0.39/0.41 c 0.310952 29.3516 319 27743 0.39/0.41 o 73 0.39/0.43 c 0.332949 29.4805 429 30695 0.39/0.43 o 69 0.39/0.44 c 0.336948 29.4805 429 31579 0.39/0.44 o 68 0.39/0.45 c 0.340948 29.4805 430 32491 0.39/0.45 o 66 0.39/0.45 c 0.342947 29.4805 430 33446 0.39/0.45 o 61 0.39/0.46 c 0.345947 29.4805 431 34327 0.39/0.46 o 59 0.39/0.48 c 0.356945 29.4805 531 36306 0.39/0.48 o 57 0.49/0.50 c 0.370943 29.6094 637 38802 0.49/0.50 o 55 0.49/0.52 c 0.385941 29.7383 742 41436 0.49/0.52 o 53 0.49/0.57 c 0.420936 29.9961 1145 47239 0.49/0.57 o 39 0.59/0.61 c 0.444932 30.125 1354 50483 0.59/0.61 o 31 0.59/0.61 c 0.449931 30.125 1358 51927 0.59/0.61 o 30 0.79/0.81 c 0.612906 32.4453 3551 58507 0.79/0.81 o 20 0.79/0.82 c 0.619905 32.4453 1781 60359 0.79/0.82 o 11 0.79/0.88 c 0.664898 32.4453 2283 67838 0.79/0.88 o 5 1.10/1.13 c 0.843871 32.4453 1899 88030 1.10/1.13 o 4 1800.06/1800.00 s SATISFIABLE 1800.06/1800.00 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 -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 -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 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 x1794 -x1795 -x1796 x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 x1917 -x1918 -x1919 -x1920 -x1921 x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 x1930 -x1931 x1932 x1933 x1934 -x1935 -x1936 -x1937 -x1938 -x1939 x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600
OK 4
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699230-1278462861/watcher-2699230-1278462861 -o /tmp/evaluation-result-2699230-1278462861/solver-2699230-1278462861 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699230-1278462861.wbo 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.02 2.01 1.93 3/178 14308 /proc/meminfo: memFree=29520940/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=2136 CPUtime=0 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 244 0 0 0 0 0 0 0 25 0 1 0 14500240 2187264 163 4089446400 134512640 136422188 4288043888 18446744073709551615 135873822 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/14308/statm: 534 163 143 467 0 65 0 [startup+0.012093 s] /proc/loadavg: 2.02 2.01 1.93 3/178 14308 /proc/meminfo: memFree=29520940/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=2400 CPUtime=0.01 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 315 0 0 0 1 0 0 0 25 0 1 0 14500240 2457600 234 4089446400 134512640 136422188 4288043888 18446744073709551615 135380713 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/14308/statm: 600 235 144 467 0 131 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2400 [startup+0.101065 s] /proc/loadavg: 2.02 2.01 1.93 3/178 14308 /proc/meminfo: memFree=29520940/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=27820 CPUtime=0.09 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 6714 0 0 0 8 1 0 0 25 0 1 0 14500240 28487680 6444 4089446400 134512640 136422188 4288043888 18446744073709551615 134588002 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/14308/statm: 6955 6444 203 467 0 6486 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27820 [startup+0.301028 s] /proc/loadavg: 2.02 2.01 1.93 3/178 14308 /proc/meminfo: memFree=29520940/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=29920 CPUtime=0.29 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 7291 0 0 0 23 6 0 0 25 0 1 0 14500240 30638080 6996 4089446400 134512640 136422188 4288043888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/14308/statm: 7480 6996 237 467 0 7011 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29920 [startup+0.700952 s] /proc/loadavg: 2.02 2.01 1.93 3/178 14308 /proc/meminfo: memFree=29520940/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=31900 CPUtime=0.69 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 7803 0 0 0 51 18 0 0 18 0 1 0 14500240 32665600 7482 4089446400 134512640 136422188 4288043888 18446744073709551615 134864012 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/14308/statm: 7975 7482 237 467 0 7506 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31900 [startup+1.5008 s] /proc/loadavg: 2.02 2.01 1.93 3/179 14309 /proc/meminfo: memFree=29490676/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=34144 CPUtime=1.49 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 8353 0 0 0 115 34 0 0 19 0 1 0 14500240 34963456 8028 4089446400 134512640 136422188 4288043888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/14308/statm: 8536 8028 237 467 0 8067 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34144 [startup+3.10052 s] /proc/loadavg: 2.02 2.01 1.93 3/179 14309 /proc/meminfo: memFree=29489048/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=38632 CPUtime=3.09 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 9474 0 0 0 255 54 0 0 22 0 1 0 14500240 39559168 9149 4089446400 134512640 136422188 4288043888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/14308/statm: 9658 9149 237 467 0 9189 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 38632 [startup+6.30092 s] /proc/loadavg: 2.02 2.01 1.93 3/179 14309 /proc/meminfo: memFree=29484284/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=39160 CPUtime=6.29 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 9626 0 0 0 527 102 0 0 25 0 1 0 14500240 40099840 9301 4089446400 134512640 136422188 4288043888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/14308/statm: 9790 9301 237 467 0 9321 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 39160 [startup+12.7007 s] /proc/loadavg: 2.02 2.01 1.93 3/179 14309 /proc/meminfo: memFree=29480552/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=42868 CPUtime=12.69 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 10538 0 0 0 1095 174 0 0 25 0 1 0 14500240 43896832 10213 4089446400 134512640 136422188 4288043888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/14308/statm: 10717 10213 237 467 0 10248 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 42868 [startup+25.5003 s] /proc/loadavg: 2.01 2.01 1.93 3/179 14309 /proc/meminfo: memFree=29469276/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=54528 CPUtime=25.49 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 13452 0 0 0 2242 307 0 0 25 0 1 0 14500240 55836672 13127 4089446400 134512640 136422188 4288043888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/14308/statm: 13632 13127 237 467 0 13163 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 54528 [startup+51.1006 s] /proc/loadavg: 2.01 2.01 1.93 3/179 14310 /proc/meminfo: memFree=29469240/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=54528 CPUtime=51.1 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 13453 0 0 0 4487 623 0 0 25 0 1 0 14500240 55836672 13128 4089446400 134512640 136422188 4288043888 18446744073709551615 134862334 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/14308/statm: 13632 13128 237 467 0 13163 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 54528 [startup+102.306 s] /proc/loadavg: 2.00 2.00 1.93 3/179 14311 /proc/meminfo: memFree=29464120/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=59364 CPUtime=102.3 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 14656 0 0 0 9023 1207 0 0 25 0 1 0 14500240 60788736 14331 4089446400 134512640 136422188 4288043888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/14308/statm: 14841 14331 237 467 0 14372 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 59364 [startup+162.301 s] /proc/loadavg: 2.00 2.00 1.93 3/179 14313 /proc/meminfo: memFree=29447336/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=75016 CPUtime=162.29 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 18734 0 0 0 14505 1724 0 0 25 0 1 0 14500240 76816384 18254 4089446400 134512640 136422188 4288043888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/14308/statm: 18754 18254 237 467 0 18285 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 75016 [startup+222.301 s] /proc/loadavg: 2.00 2.00 1.93 3/179 14314 /proc/meminfo: memFree=29447796/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=75412 CPUtime=222.3 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 18830 0 0 0 19851 2379 0 0 25 0 1 0 14500240 77221888 18350 4089446400 134512640 136422188 4288043888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/14308/statm: 18853 18350 237 467 0 18384 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 75412 [startup+282.301 s] /proc/loadavg: 2.00 2.00 1.93 3/179 14316 /proc/meminfo: memFree=29447496/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=75412 CPUtime=282.3 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 18830 0 0 0 25227 3003 0 0 25 0 1 0 14500240 77221888 18350 4089446400 134512640 136422188 4288043888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/14308/statm: 18853 18350 237 467 0 18384 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 75412 [startup+342.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 14317 /proc/meminfo: memFree=29440512/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=82840 CPUtime=342.3 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 20663 0 0 0 30717 3513 0 0 25 0 1 0 14500240 84828160 20183 4089446400 134512640 136422188 4288043888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/14308/statm: 20710 20183 237 467 0 20241 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 82840 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 14319 /proc/meminfo: memFree=29434888/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=87780 CPUtime=402.3 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 22373 0 0 0 36261 3969 0 0 25 0 1 0 14500240 89886720 21435 4089446400 134512640 136422188 4288043888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/14308/statm: 21945 21435 237 467 0 21476 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 87780 [startup+462.301 s] /proc/loadavg: 1.93 1.98 1.93 3/179 14349 /proc/meminfo: memFree=29434856/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=87780 CPUtime=462.31 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 22373 0 0 0 41593 4638 0 0 25 0 1 0 14500240 89886720 21435 4089446400 134512640 136422188 4288043888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14308/statm: 21945 21435 237 467 0 21476 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 87780 [startup+522.301 s] /proc/loadavg: 1.97 1.98 1.93 3/179 14350 /proc/meminfo: memFree=29429312/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=88384 CPUtime=522.31 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 22812 0 0 0 45894 6337 0 0 25 0 1 0 14500240 90505216 21586 4089446400 134512640 136422188 4288043888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/14308/statm: 22096 21586 237 467 0 21627 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 88384 [startup+582.301 s] /proc/loadavg: 1.99 1.98 1.93 3/179 14352 /proc/meminfo: memFree=29420480/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=95984 CPUtime=582.31 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 24666 0 0 0 50529 7702 0 0 25 0 1 0 14500240 98287616 23440 4089446400 134512640 136422188 4288043888 18446744073709551615 135006370 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/14308/statm: 23996 23440 237 467 0 23527 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 95984 [startup+642.301 s] /proc/loadavg: 1.99 1.98 1.93 3/179 14353 /proc/meminfo: memFree=29418196/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=95984 CPUtime=642.32 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 24666 0 0 0 55048 9184 0 0 25 0 1 0 14500240 98287616 23440 4089446400 134512640 136422188 4288043888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/14308/statm: 23996 23440 237 467 0 23527 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 95984 [startup+702.3 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.01 2.00 1.94 3/179 14358 /proc/meminfo: memFree=29396872/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=113712 CPUtime=822.32 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 29111 0 0 0 69459 12773 0 0 25 0 1 0 14500240 116441088 27885 4089446400 134512640 136422188 4288043888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/14308/statm: 28428 27885 237 467 0 27959 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 113712 [startup+882.301 s] /proc/loadavg: 2.00 2.00 1.94 3/179 14360 /proc/meminfo: memFree=29395220/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=115428 CPUtime=882.32 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 29514 0 0 0 74510 13722 0 0 25 0 1 0 14500240 118198272 28288 4089446400 134512640 136422188 4288043888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/14308/statm: 28857 28288 237 467 0 28388 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 115428 [startup+942.301 s] /proc/loadavg: 2.00 2.00 1.94 3/179 14361 /proc/meminfo: memFree=29390704/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=117728 CPUtime=942.32 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 30112 0 0 0 79327 14905 0 0 25 0 1 0 14500240 120553472 28886 4089446400 134512640 136422188 4288043888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/14308/statm: 29432 28886 237 467 0 28963 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 117728 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 14363 /proc/meminfo: memFree=29389788/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=117728 CPUtime=1002.32 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 30112 0 0 0 83611 16621 0 0 25 0 1 0 14500240 120553472 28886 4089446400 134512640 136422188 4288043888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/14308/statm: 29432 28886 237 467 0 28963 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 117728 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 1.94 4/179 14365 /proc/meminfo: memFree=29389728/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=117728 CPUtime=1062.32 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 30112 0 0 0 88173 18059 0 0 25 0 1 0 14500240 120553472 28886 4089446400 134512640 136422188 4288043888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/14308/statm: 29432 28886 237 467 0 28963 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 117728 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 14366 /proc/meminfo: memFree=29389420/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=117728 CPUtime=1122.32 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 30114 0 0 0 92963 19269 0 0 25 0 1 0 14500240 120553472 28888 4089446400 134512640 136422188 4288043888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/14308/statm: 29432 28888 237 467 0 28963 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 117728 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 14368 /proc/meminfo: memFree=29382308/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=124628 CPUtime=1182.33 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 31809 0 0 0 97513 20720 0 0 25 0 1 0 14500240 127619072 30583 4089446400 134512640 136422188 4288043888 18446744073709551615 134862222 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/14308/statm: 31157 30583 237 467 0 30688 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 124628 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 14369 /proc/meminfo: memFree=29381512/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=124628 CPUtime=1242.33 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 31813 0 0 0 102067 22166 0 0 25 0 1 0 14500240 127619072 30587 4089446400 134512640 136422188 4288043888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/14308/statm: 31157 30587 237 467 0 30688 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 124628 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 14371 /proc/meminfo: memFree=29381324/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=124628 CPUtime=1302.34 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 31813 0 0 0 106734 23500 0 0 25 0 1 0 14500240 127619072 30587 4089446400 134512640 136422188 4288043888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/14308/statm: 31157 30587 237 467 0 30688 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 124628 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 14373 /proc/meminfo: memFree=29380536/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=124628 CPUtime=1362.33 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 31814 0 0 0 112004 24229 0 0 25 0 1 0 14500240 127619072 30588 4089446400 134512640 136422188 4288043888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/14308/statm: 31157 30588 237 467 0 30688 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 124628 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.94 3/179 14374 /proc/meminfo: memFree=29379968/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=124628 CPUtime=1422.34 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 31814 0 0 0 116744 25490 0 0 25 0 1 0 14500240 127619072 30588 4089446400 134512640 136422188 4288043888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/14308/statm: 31157 30588 237 467 0 30688 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 124628 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 14376 /proc/meminfo: memFree=29378688/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=124628 CPUtime=1482.34 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 31814 0 0 0 121161 27073 0 0 25 0 1 0 14500240 127619072 30588 4089446400 134512640 136422188 4288043888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/14308/statm: 31157 30588 237 467 0 30688 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 124628 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 14377 /proc/meminfo: memFree=29376148/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=126480 CPUtime=1542.34 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 32575 0 0 0 125723 28511 0 0 25 0 1 0 14500240 129515520 31078 4089446400 134512640 136422188 4288043888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/14308/statm: 31620 31078 237 467 0 31151 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 126480 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 14388 /proc/meminfo: memFree=29372624/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=129784 CPUtime=1602.34 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 33395 0 0 0 130528 29706 0 0 25 0 1 0 14500240 132898816 31898 4089446400 134512640 136422188 4288043888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/14308/statm: 32446 31898 237 467 0 31977 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 129784 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 14390 /proc/meminfo: memFree=29372240/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=129784 CPUtime=1662.34 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 33395 0 0 0 135096 31138 0 0 25 0 1 0 14500240 132898816 31898 4089446400 134512640 136422188 4288043888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/14308/statm: 32446 31898 237 467 0 31977 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 129784 [startup+1722.3 s] /proc/loadavg: 2.08 2.02 1.94 3/179 14391 /proc/meminfo: memFree=29371832/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=129784 CPUtime=1722.34 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 33395 0 0 0 139434 32800 0 0 25 0 1 0 14500240 132898816 31898 4089446400 134512640 136422188 4288043888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/14308/statm: 32446 31898 237 467 0 31977 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 129784 [startup+1782.3 s] /proc/loadavg: 2.09 2.03 1.95 3/179 14393 /proc/meminfo: memFree=29363852/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=136384 CPUtime=1782.35 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 35027 0 0 0 144697 33538 0 0 25 0 1 0 14500240 139657216 33530 4089446400 134512640 136422188 4288043888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/14308/statm: 34096 33530 237 467 0 33627 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 136384 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.07 2.03 1.95 3/179 14394 /proc/meminfo: memFree=29364332/32951124 swapFree=67111528/67111528 [pid=14308] ppid=14306 vsize=135144 CPUtime=1800.06 /proc/14308/stat : 14308 (pbct) R 14306 14308 13847 0 -1 4202496 35027 0 0 0 145980 34026 0 0 25 0 1 0 14500240 138387456 33242 4089446400 134512640 136422188 4288043888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/14308/statm: 33786 33242 237 467 0 33317 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 135144 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.01 CPU time (s): 1800.07 CPU user time (s): 1459.8 CPU system time (s): 340.268 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 136384 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1459.8 system time used= 340.268 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35028 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= 4 involuntary context switches= 3007 runsolver used 2.49062 second user time and 5.75612 second system time The end
Begin job on node111 at 2010-07-07 02:34:21 IDJOB=2699230 IDBENCH=79149 IDSOLVER=1212 FILE ID=node111/2699230-1278462861 PBS_JOBID= 11233770 Free space on /tmp= 73820 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr--soft-0-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699230-1278462861/watcher-2699230-1278462861 -o /tmp/evaluation-result-2699230-1278462861/solver-2699230-1278462861 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699230-1278462861.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6dc14d51c0879b2054c8b72501c6facc RANDOM SEED=1885334378 node111.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5233.30 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29521584 kB Buffers: 110108 kB Cached: 3105092 kB SwapCached: 0 kB Active: 1743596 kB Inactive: 1549280 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29521584 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1948 kB Writeback: 0 kB AnonPages: 77604 kB Mapped: 15444 kB Slab: 74836 kB PageTables: 4804 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 219556 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73816 MiB End job on node111 at 2010-07-07 03:04:23