Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
wildcat-rnp 0.8.0 | SAT (TO) | 136 | 1800.71 | 1801.21 |
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.71 |
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 c 0.00 c wildcat-rnp (VERSION 0.8.0-lite-rnp-devel) 0.00 c Developed by L. Liuand M. Truszczynski 0.00 c Last built on Tue 23 May 2006 09:33:09 PM EDT 0.00 c 0.00 c ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node35/49299-1154086035/instance-49299-1154086035.opb 938157906 0.00 c =================================== BEGIN =================================== 0.00 c 0.00 c Random Number Seed: 938157906 0.00 c Noise: 0.7 (70 : 100) 0.40 c Starting searching: 0.40 c Phase 1 ... 0.47 c trying 3098: vc 0.47 o 1546 0.57 c trying 1030: vc 0.57 o 1030 0.69 c trying 686: vc 0.69 o 686 0.86 c trying 456: vc 0.86 o 456 1.03 c trying 303: vc 1.03 o 303 1.22 c trying 201: vc 1.22 o 201 127.55 c trying 133: xxxxxxxxxxc 127.55 c Phase 2 ... 127.75 c trying 200: vc 127.75 o 200 128.41 c trying 199: vc 128.41 o 199 128.61 c trying 198: vc 128.61 o 198 129.32 c trying 197: vc 129.32 o 197 130.02 c trying 196: vc 130.02 o 196 130.80 c trying 195: vc 130.80 o 195 131.43 c trying 194: vc 131.43 o 194 131.64 c trying 193: vc 131.64 o 193 131.84 c trying 192: vc 131.84 o 192 132.04 c trying 191: vc 132.04 o 191 132.24 c trying 190: vc 132.24 o 190 133.11 c trying 189: vc 133.11 o 189 133.83 c trying 188: vc 133.83 o 188 134.55 c trying 187: vc 134.55 o 187 135.35 c trying 186: vc 135.35 o 186 136.20 c trying 185: vc 136.20 o 185 136.41 c trying 184: vc 136.41 o 184 137.41 c trying 183: vc 137.41 o 183 138.29 c trying 182: vc 138.29 o 182 139.18 c trying 181: vc 139.18 o 181 139.98 c trying 180: vc 139.98 o 180 140.95 c trying 179: vc 140.95 o 179 141.93 c trying 178: vc 141.93 o 178 142.88 c trying 177: vc 142.88 o 177 143.79 c trying 176: vc 143.79 o 176 144.82 c trying 175: vc 144.82 o 175 145.91 c trying 174: vc 145.91 o 174 146.89 c trying 173: vc 146.89 o 173 147.98 c trying 172: vc 147.98 o 172 149.00 c trying 171: vc 149.00 o 171 150.00 c trying 170: vc 150.00 o 170 151.14 c trying 169: vc 151.14 o 169 152.24 c trying 168: vc 152.24 o 168 153.47 c trying 167: vc 153.47 o 167 154.57 c trying 166: vc 154.57 o 166 155.78 c trying 165: vc 155.78 o 165 157.07 c trying 164: vc 157.07 o 164 158.34 c trying 163: vc 158.34 o 163 159.65 c trying 162: vc 159.65 o 162 161.00 c trying 161: vc 161.00 o 161 162.36 c trying 160: vc 162.36 o 160 163.75 c trying 159: vc 163.75 o 159 165.12 c trying 158: vc 165.12 o 158 166.53 c trying 157: vc 166.53 o 157 167.99 c trying 156: vc 167.99 o 156 169.62 c trying 155: vc 169.62 o 155 171.13 c trying 154: vc 171.13 o 154 172.79 c trying 153: vc 172.79 o 153 174.40 c trying 152: vc 174.40 o 152 176.14 c trying 151: vc 176.14 o 151 177.98 c trying 150: vc 177.98 o 150 179.97 c trying 149: vc 179.97 o 149 182.22 c trying 148: vc 182.22 o 148 184.22 c trying 147: vc 184.22 o 147 186.52 c trying 146: vc 186.52 o 146 189.59 c trying 145: vc 189.59 o 145 191.92 c trying 144: vc 191.92 o 144 194.62 c trying 143: vc 194.62 o 143 196.98 c trying 142: vc 196.98 o 142 199.35 c trying 141: vc 199.35 o 141 203.39 c trying 140: vc 203.39 o 140 210.27 c trying 139: vc 210.27 o 139 218.11 c trying 138: vc 218.11 o 138 261.02 c trying 137: vc 261.02 o 137 328.60 c trying 136: vc 328.60 o 136 1657.00 c trying 135: xxxxxxxxxxc 1657.00 c Phase 3 ... 1801.20 c trying 135 again: xc 1801.20 s SATISFIABLE 1801.20 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 1801.20 v -x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 x37 -x38 x39 x40 -x41 x42 -x43 -x44 -x45 -x46 x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 1801.20 v -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 1801.20 v -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 1801.20 v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 x125 -x126 -x127 1801.20 v -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 1801.20 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 1801.20 v -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 1801.20 v -x191 -x192 -x193 x194 -x195 x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 1801.20 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 1801.20 v -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 1801.20 v -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 1801.20 v -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 1801.20 v -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 1801.20 v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 1801.20 v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 1801.20 v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 1801.20 v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 1801.20 v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 1801.20 v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 1801.20 v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 1801.20 v -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 1801.20 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 1801.20 v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 1801.20 v -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 1801.20 v -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 1801.20 v -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 1801.20 v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 x609 -x610 1801.20 v -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 -x625 -x626 x627 -x628 -x629 -x630 -x631 1801.20 v -x632 -x633 -x634 -x635 -x636 x637 x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 1801.20 v -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 1801.20 v -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 1801.20 v -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 1801.20 v -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 1801.20 v -x737 x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 1801.20 v -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 1801.20 v -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 1801.20 v -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 1801.20 v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 1801.20 v -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 1801.20 v -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 1801.20 v -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 1801.20 v -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 1801.20 v -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 1801.20 v -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 1801.20 v -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 1801.20 v -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 1801.20 v -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 1801.20 v -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 1801.20 v -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 1801.20 v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 1801.20 v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 x1086 -x1087 -x1088 -x1089 -x1090 x1091 -x1092 -x1093 1801.20 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 x1107 -x1108 -x1109 -x1110 -x1111 1801.20 v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 1801.20 v -x1129 -x1130 -x1131 x1132 -x1133 -x1134 -x1135 -x1136 x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 1801.20 v -x1147 -x1148 -x1149 -x1150 -x1151 x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 1801.20 v -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 1801.20 v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 1801.20 v -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 1801.20 v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 1801.20 v -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 1801.20 v -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 1801.20 v -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 1801.20 v -x1283 -x1284 x1285 x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 1801.20 v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 1801.20 v -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 1801.20 v -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 1801.20 v -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 1801.20 v -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 1801.20 v -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 x1398 -x1399 -x1400 -x1401 -x1402 1801.20 v -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 1801.20 v -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 1801.20 v -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 1801.20 v -x1454 -x1455 -x1456 -x1457 -x1458 x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 1801.20 v -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 1801.20 v -x1488 x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 x1504 -x1505 1801.20 v -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 1801.20 v -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 x1535 -x1536 -x1537 -x1538 -x1539 1801.20 v -x1540 -x1541 -x1542 x1543 -x1544 -x1545 -x1546 x1547 x1548 -x1549 -x1550 -x1551 x1552 -x1553 -x1554 -x1555 -x1556 -x1557 1801.20 v -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 1801.20 v -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 1801.20 v -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 1801.20 v -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 1801.20 v -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 1801.20 v -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 1801.20 v -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 1801.20 v -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 1801.20 v -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 1801.20 v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 1801.20 v -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 1801.20 v -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 1801.20 v -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 1801.20 v -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 1801.20 v -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 1801.20 v -x1813 -x1814 -x1815 -x1816 x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 1801.20 v -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 1801.20 v -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 1801.20 v -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 1801.20 v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 1801.20 v -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 1801.20 v -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 1801.20 v -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 1801.20 v -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 1801.20 v -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 1801.20 v -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 1801.20 v -x2000 x2001 -x2002 x2003 -x2004 -x2005 x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 x2014 x2015 -x2016 -x2017 1801.20 v -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 x2029 -x2030 -x2031 -x2032 x2033 -x2034 x2035 1801.20 v -x2036 -x2037 x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 1801.20 v -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 1801.20 v -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 1801.20 v -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 1801.20 v -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 1801.20 v -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 1801.20 v -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 1801.20 v -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 1801.20 v -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 1801.20 v -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 1801.20 v -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 1801.20 v -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 1801.20 v -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 x2252 x2253 -x2254 -x2255 -x2256 -x2257 1801.20 v -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 1801.20 v -x2275 -x2276 x2277 -x2278 x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 1801.20 v -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 1801.20 v -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 1801.20 v -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 x2342 -x2343 1801.20 v -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 1801.20 v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 1801.20 v -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 x2391 -x2392 -x2393 x2394 -x2395 1801.20 v -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 x2412 1801.20 v -x2413 x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 1801.20 v -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 1801.20 v -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 1801.20 v -x2464 -x2465 -x2466 -x2467 x2468 -x2469 -x2470 -x2471 x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 1801.20 v -x2482 -x2483 -x2484 -x2485 -x2486 x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 1801.20 v -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 1801.20 v -x2516 -x2517 -x2518 -x2519 x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 1801.20 v -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 1801.20 v -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 1801.20 v -x2567 x2568 x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 x2581 -x2582 -x2583 -x2584 1801.20 v -x2585 -x2586 x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 1801.20 v -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 1801.20 v -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 1801.20 v -x2636 x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 1801.20 v -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 x2666 -x2667 -x2668 -x2669 1801.20 v -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 x2682 -x2683 -x2684 -x2685 x2686 -x2687 1801.20 v x2688 -x2689 x2690 -x2691 x2692 x2693 x2694 x2695 x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 1801.20 v -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 1801.20 v -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 x2739 1801.20 v -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 1801.20 v -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 1801.20 v -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 x2790 -x2791 1801.20 v -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 1801.20 v -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 x2824 -x2825 1801.20 v -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 x2842 1801.20 v -x2843 x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 x2859 x2860 1801.20 v x2861 -x2862 -x2863 -x2864 -x2865 x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 x2873 -x2874 -x2875 -x2876 -x2877 -x2878 1801.20 v -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 1801.20 v -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 1801.20 v -x2913 -x2914 -x2915 -x2916 x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 x2929 -x2930 1801.20 v -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 1801.20 v -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 x2963 -x2964 1801.20 v -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 x2976 -x2977 x2978 -x2979 -x2980 -x2981 x2982 1801.20 v -x2983 -x2984 x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 x2992 -x2993 -x2994 -x2995 -x2996 -x2997 x2998 -x2999 x3000 1801.20 v -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 x3012 x3013 -x3014 x3015 -x3016 -x3017 -x3018 1801.20 v -x3019 -x3020 x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 1801.20 v -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 1801.20 v -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 x3065 x3066 -x3067 x3068 -x3069 -x3070 1801.20 v -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 1801.20 v -x3088 x3089 x3090 -x3091 -x3092 -x3093 x3094 -x3095 -x3096 -x3097 x3098 1801.20 c Total Number of Positive Atoms : 136 1801.20 c 1801.20 c During searching: 328.193 seconds elapsed. 1801.20 c CPU time spent: 328.15 seconds. 1801.20 c 1801.20 c =================================== END ===================================== 1801.20 c
OK 136
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node35/watcher-49299-1154086035 -o ROOT/results/node35/solver-49299-1154086035 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node35/49299-1154086035/instance-49299-1154086035.opb 938157906 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.96 2/64 27609 /proc/meminfo: memFree=1346072/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=6000 CPUtime=0 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 153 0 0 0 0 0 0 0 18 0 1 0 155463634 6144000 136 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135002082 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 1500 136 105 226 0 1271 0 [startup+10.0024 s] /proc/loadavg: 0.93 0.97 0.96 2/64 27609 /proc/meminfo: memFree=1339808/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=9.99 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 998 1 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134566270 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 12040 [startup+20.0086 s] /proc/loadavg: 0.94 0.97 0.96 2/64 27609 /proc/meminfo: memFree=1339936/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=19.99 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 1998 1 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598304 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 12040 [startup+30.0148 s] /proc/loadavg: 0.95 0.97 0.96 2/64 27609 /proc/meminfo: memFree=1340000/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=30 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 2999 1 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134599189 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 12040 [startup+40.021 s] /proc/loadavg: 0.96 0.97 0.96 2/64 27609 /proc/meminfo: memFree=1340064/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=40 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 3999 1 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134566270 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 12040 [startup+50.0272 s] /proc/loadavg: 0.96 0.97 0.96 2/64 27609 /proc/meminfo: memFree=1340064/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=50.01 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 5000 1 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598332 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 12040 [startup+60.0334 s] /proc/loadavg: 0.97 0.97 0.96 2/64 27609 /proc/meminfo: memFree=1340064/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=60.01 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 6000 1 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605351 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 12040 [startup+70.0396 s] /proc/loadavg: 0.97 0.97 0.96 2/64 27609 /proc/meminfo: memFree=1340064/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=70.01 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 7000 1 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598613 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 12040 [startup+80.0458 s] /proc/loadavg: 0.98 0.97 0.96 2/64 27609 /proc/meminfo: memFree=1340064/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=80.01 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 8000 1 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134566270 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 12040 [startup+90.052 s] /proc/loadavg: 0.98 0.97 0.96 2/64 27609 /proc/meminfo: memFree=1340064/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=90.02 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 9001 1 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605345 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 12040 [startup+100.058 s] /proc/loadavg: 0.98 0.97 0.96 2/64 27609 /proc/meminfo: memFree=1340064/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=100.02 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 10001 1 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 12040 [startup+110.064 s] /proc/loadavg: 0.98 0.97 0.96 2/64 27609 /proc/meminfo: memFree=1340064/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=110.03 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 11002 1 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598603 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 12040 [startup+120.071 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27609 /proc/meminfo: memFree=1340064/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=120.03 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 12002 1 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134566270 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 12040 [startup+130.077 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27609 /proc/meminfo: memFree=1340128/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=130.03 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 13002 1 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134603880 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 12040 [startup+140.083 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27609 /proc/meminfo: memFree=1340128/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=140.04 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 14003 1 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605345 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 12040 [startup+150.089 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27609 /proc/meminfo: memFree=1340128/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=150.04 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 15003 1 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605345 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 12040 [startup+160.095 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27609 /proc/meminfo: memFree=1340064/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=160.04 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 16003 1 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598579 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 12040 [startup+170.102 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27609 /proc/meminfo: memFree=1340064/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=170.05 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 17004 1 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134566821 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 12040 [startup+180.108 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27609 /proc/meminfo: memFree=1340064/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=180.05 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 18004 1 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598984 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 12040 [startup+190.114 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27609 /proc/meminfo: memFree=1340064/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=190.05 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 19004 1 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605351 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 12040 [startup+200.12 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27609 /proc/meminfo: memFree=1340064/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=200.05 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 20004 1 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134603875 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 12040 [startup+210.126 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27609 ################ # More data... # ################ /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 178159 2 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605358 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (Kb) 12040 [startup+1783.1 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27611 /proc/meminfo: memFree=1340008/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=1782.61 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 178259 2 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134566270 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 1782.61 Current children cumulated vsize (Kb) 12040 [startup+1784.11 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27611 /proc/meminfo: memFree=1340008/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=1783.61 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 178359 2 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134566270 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 1783.61 Current children cumulated vsize (Kb) 12040 [startup+1785.11 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27611 /proc/meminfo: memFree=1340008/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=1784.62 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 178460 2 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598982 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 1784.62 Current children cumulated vsize (Kb) 12040 [startup+1786.12 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27611 /proc/meminfo: memFree=1340008/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=1785.62 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 178560 2 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598379 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 1785.62 Current children cumulated vsize (Kb) 12040 [startup+1787.12 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27611 /proc/meminfo: memFree=1340008/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=1786.63 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 178661 2 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134599234 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 1786.63 Current children cumulated vsize (Kb) 12040 [startup+1788.13 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27611 /proc/meminfo: memFree=1340008/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=1787.63 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 178761 2 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598956 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 1787.63 Current children cumulated vsize (Kb) 12040 [startup+1789.13 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27611 /proc/meminfo: memFree=1340008/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=1788.64 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 178862 2 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598329 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 1788.64 Current children cumulated vsize (Kb) 12040 [startup+1790.14 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27611 /proc/meminfo: memFree=1340008/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=1789.64 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 178962 2 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 1789.64 Current children cumulated vsize (Kb) 12040 [startup+1791.14 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27611 /proc/meminfo: memFree=1340008/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=1790.65 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 179063 2 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598355 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 1790.65 Current children cumulated vsize (Kb) 12040 [startup+1792.15 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27611 /proc/meminfo: memFree=1340008/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=1791.65 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 179163 2 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598346 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 1791.65 Current children cumulated vsize (Kb) 12040 [startup+1793.15 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27611 /proc/meminfo: memFree=1340008/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=1792.66 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 179264 2 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598324 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 1792.66 Current children cumulated vsize (Kb) 12040 [startup+1794.16 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27611 /proc/meminfo: memFree=1339944/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=1793.66 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 179364 2 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134549910 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 1793.66 Current children cumulated vsize (Kb) 12040 [startup+1795.16 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27611 /proc/meminfo: memFree=1339944/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=1794.67 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 179465 2 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134549783 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 1794.67 Current children cumulated vsize (Kb) 12040 [startup+1796.17 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27611 /proc/meminfo: memFree=1339944/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=1795.67 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 179565 2 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134566821 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 1795.67 Current children cumulated vsize (Kb) 12040 [startup+1797.17 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27611 /proc/meminfo: memFree=1339944/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=1796.68 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 179666 2 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134603892 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 1796.68 Current children cumulated vsize (Kb) 12040 [startup+1798.18 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27611 /proc/meminfo: memFree=1339944/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=1797.68 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 179766 2 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598592 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 1797.68 Current children cumulated vsize (Kb) 12040 [startup+1799.18 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27611 /proc/meminfo: memFree=1339944/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=1798.69 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 179867 2 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134566270 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 1798.69 Current children cumulated vsize (Kb) 12040 [startup+1800.19 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27611 /proc/meminfo: memFree=1339944/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=1799.69 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 179967 2 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134566823 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 1799.69 Current children cumulated vsize (Kb) 12040 [startup+1801.19 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27611 /proc/meminfo: memFree=1339944/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=1800.69 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 180067 2 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598304 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 1800.69 Current children cumulated vsize (Kb) 12040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.2 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27611 /proc/meminfo: memFree=1339944/2055920 swapFree=4182936/4192956 [pid=27609] ppid=27607 vsize=12040 CPUtime=1800.7 /proc/27609/stat : 27609 (wildcat-rnp) R 27607 27609 27560 0 -1 4194304 1705 0 0 0 180068 2 0 0 25 0 1 0 155463634 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27609/statm: 3010 1680 115 226 0 2781 0 Current children cumulated CPU time (s) 1800.7 Current children cumulated vsize (Kb) 12040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 0 Real time (s): 1801.21 CPU time (s): 1800.71 CPU user time (s): 1800.69 CPU system time (s): 0.023996 CPU usage (%): 99.9725 Max. virtual memory (cumulated for all children) (Kb): 12040 The end
Begin job on node35 on Fri Jul 28 11:27:16 UTC 2006 FILE ID= 49299-1154086035 PBS_JOBID= 885334 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-apex6.b.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node35/49299-1154086035/instance-49299-1154086035.opb 938157906 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-49299-1154086035 -o ROOT/results/node35/solver-49299-1154086035 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node35/49299-1154086035/instance-49299-1154086035.opb 938157906 MD5SUM SOLVER= 433c0d3a0d963188fa818d869a2c809a MD5SUM BENCH= 06ffce7cc6d5515cfd76def90ae69d59 RANDOM SEED= 938157906 TIMEOUT= 1800 seconds /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 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.232 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: 1346280 kB Buffers: 43068 kB Cached: 589176 kB SwapCached: 4372 kB Active: 214436 kB Inactive: 427080 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1346280 kB SwapTotal: 4192956 kB SwapFree: 4182936 kB Dirty: 152 kB Writeback: 0 kB Mapped: 14492 kB Slab: 54140 kB Committed_AS: 602412 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node35 on Fri Jul 28 11:57:17 UTC 2006