Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
wildcat-rnp 2007-03-21 | SAT (TO) | -30 | 1800.02 | 1800.62 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_4.opb |
MD5SUM | edb32574ecafd14c2d1410b208d85a45 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -30 |
Best CPU time to get the best result obtained on this benchmark | 1800.02 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -30 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 301 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2516 |
Sum of products size (including duplicates) | 5032 |
Number of different products | 1258 |
Sum of products size | 2516 |
0.00/0.00 c 0.00/0.00 c wildcat-rnp (VERSION 0.8.0-lite-rnp-devel) 0.00/0.00 c Developed by L. Liuand M. Truszczynski 0.00/0.00 c Last built on Sun 18 Mar 2007 03:03:40 PM EDT 0.00/0.00 c 0.00/0.00 c /tmp/evaluation/455593-1178239627/wildcat-rnp /tmp/evaluation/455593-1178239627/instance-455593-1178239627.opb 561187939 0.00/0.00 c =================================== BEGIN =================================== 0.00/0.00 c 0.00/0.00 c Random Number Seed: 561187939 0.00/0.00 c Noise: 0.7 (70 : 100) 0.00/0.05 c Starting searching: 0.00/0.05 c Phase 1 ... 0.08/0.09 c trying 0: vc 0.08/0.09 o -14 0.19/0.27 c trying -24: vc 0.19/0.27 o -24 207.93/208.09 c trying -33: xxxxxxxxxxc 207.93/208.09 c Phase 2 ... 208.13/208.22 c trying -25: vc 208.13/208.22 o -25 208.73/208.83 c trying -26: vc 208.73/208.83 o -26 208.83/208.98 c trying -27: vc 208.83/208.98 o -27 209.23/209.37 c trying -28: vc 209.23/209.37 o -28 215.63/215.70 c trying -29: vc 215.63/215.70 o -29 547.04/547.24 c trying -30: vc 547.04/547.24 o -30 1800.00/1800.60 c trying -31: xxxxxc 1800.00/1800.60 c Phase 3 ... 1800.00/1800.61 c trying -31 again: c 1800.00/1800.61 s SATISFIABLE 1800.00/1800.61 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 x10 -x11 -x12 -x13 x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 x29 1800.00/1800.61 v x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 x39 x40 -x41 x42 -x43 -x44 x45 -x46 -x47 -x48 x49 -x50 x51 x52 -x53 -x54 -x55 -x56 -x57 1800.00/1800.61 v -x58 -x59 x60 x61 -x62 x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 x82 x83 -x84 -x85 1800.00/1800.61 v -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 1800.00/1800.61 v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 x125 -x126 x127 -x128 -x129 -x130 -x131 1800.00/1800.61 v x132 -x133 -x134 -x135 -x136 x137 x138 -x139 -x140 x141 -x142 -x143 x144 -x145 x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 1800.00/1800.61 v -x154 -x155 x156 x157 -x158 -x159 -x160 -x161 x162 -x163 x164 x165 x166 -x167 -x168 x169 -x170 -x171 x172 x173 -x174 x175 -x176 1800.00/1800.61 v -x177 -x178 -x179 x180 x181 -x182 -x183 -x184 x185 x186 -x187 x188 -x189 x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 x198 1800.00/1800.61 v -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 1800.00/1800.61 v -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 1800.00/1800.61 v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 1800.00/1800.61 v -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 1800.00/1800.61 v -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 1800.00/1800.61 v -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 1800.00/1800.61 v -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 1800.00/1800.61 v -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 1800.00/1800.61 v -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 1800.00/1800.61 v -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 1800.00/1800.61 v -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 1800.00/1800.61 v -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 1800.00/1800.61 v -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 1800.00/1800.61 v -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 1800.00/1800.61 v -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 1800.00/1800.61 v -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 1800.00/1800.61 v -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 1800.00/1800.61 v -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 1800.00/1800.61 v -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 1800.00/1800.61 v -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 1800.00/1800.61 v -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 1800.00/1800.61 v -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 x655 -x656 -x657 -x658 -x659 -x660 1800.00/1800.61 v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 1800.00/1800.61 v -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 1800.00/1800.61 v -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 1800.00/1800.61 v -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 1800.00/1800.61 v -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 1800.00/1800.61 v -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 1800.00/1800.61 v -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 1800.00/1800.61 v -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 x823 -x824 -x825 -x826 -x827 -x828 1800.00/1800.61 v -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 -x849 1800.00/1800.61 v -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 1800.00/1800.61 v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 1800.00/1800.61 v -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 1800.00/1800.61 v -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 1800.00/1800.61 v -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 1800.00/1800.61 v -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 x969 -x970 -x971 -x972 -x973 -x974 -x975 1800.00/1800.61 v -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 1800.00/1800.61 v -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 1800.00/1800.61 v -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 1800.00/1800.61 v -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 1800.00/1800.61 v -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 1800.00/1800.61 v -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 x1079 -x1080 -x1081 -x1082 1800.00/1800.61 v -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 1800.00/1800.61 v -x1100 x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 1800.00/1800.61 v -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 1800.00/1800.61 v -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 1800.00/1800.61 v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 x1166 -x1167 1800.00/1800.61 v -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 1800.00/1800.61 v -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 1800.00/1800.61 v -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 1800.00/1800.61 v -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 1800.00/1800.61 v -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 1800.00/1800.61 v -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 1800.00/1800.61 v -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 1800.00/1800.61 v -x1287 x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 1800.00/1800.61 v -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 1800.00/1800.61 v -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 1800.00/1800.61 v -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 1800.00/1800.61 v -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 1800.00/1800.61 v -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 1800.00/1800.61 v -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 x1398 -x1399 -x1400 -x1401 x1402 -x1403 -x1404 -x1405 -x1406 1800.00/1800.61 v -x1407 -x1408 -x1409 x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 1800.00/1800.61 v -x1424 -x1425 -x1426 -x1427 x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 1800.00/1800.61 v x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 1800.00/1800.61 v -x1458 1800.00/1800.61 c Total Number of Positive Atoms : 81 1800.00/1800.61 c 1800.00/1800.61 c During searching: 547.186 seconds elapsed. 1800.00/1800.61 c CPU time spent: 547.08 seconds. 1800.00/1800.61 c 1800.00/1800.61 c =================================== END ===================================== 1800.00/1800.61 c
OK -30
Linearizing /tmp/evaluation/455593-1178239627/instance-455593-1178239627.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node12/watcher-455593-1178239627 -o ROOT/results/node12/solver-455593-1178239627 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/455593-1178239627/wildcat-rnp /tmp/evaluation/455593-1178239627/instance-455593-1178239627.opb 561187939 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/77 18473 /proc/meminfo: memFree=1697960/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=7200 CPUtime=0 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 438 0 0 0 0 0 0 0 18 0 1 0 300000102 7372800 423 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 1800 427 110 226 0 1571 0 [startup+0.0881581 s] /proc/loadavg: 1.00 1.00 1.00 3/77 18473 /proc/meminfo: memFree=1697960/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=0.08 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 6 2 0 0 18 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134598421 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 28508 [startup+0.101158 s] /proc/loadavg: 1.00 1.00 1.00 3/77 18473 /proc/meminfo: memFree=1697960/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=0.09 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 7 2 0 0 18 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134550190 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 28508 [startup+0.301178 s] /proc/loadavg: 1.00 1.00 1.00 3/77 18473 /proc/meminfo: memFree=1697960/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=0.29 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 27 2 0 0 19 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605291 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 28508 [startup+0.701217 s] /proc/loadavg: 1.00 1.00 1.00 3/77 18473 /proc/meminfo: memFree=1697960/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=0.69 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 67 2 0 0 23 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134601200 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28508 [startup+1.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18474 /proc/meminfo: memFree=1675488/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=1.49 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 147 2 0 0 25 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28508 [startup+3.10146 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18474 /proc/meminfo: memFree=1675360/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=3.09 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 307 2 0 0 25 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134598418 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28508 [startup+6.30178 s] /proc/loadavg: 1.08 1.02 1.01 2/78 18474 /proc/meminfo: memFree=1675232/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=6.29 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 627 2 0 0 25 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605318 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28508 [startup+12.7014 s] /proc/loadavg: 1.07 1.02 1.00 2/78 18474 /proc/meminfo: memFree=1675232/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=12.69 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 1267 2 0 0 25 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605283 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28508 [startup+25.5017 s] /proc/loadavg: 1.06 1.01 1.00 2/78 18474 /proc/meminfo: memFree=1675296/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=25.48 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 2546 2 0 0 25 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605283 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28508 [startup+51.1013 s] /proc/loadavg: 1.04 1.01 1.00 2/78 18474 /proc/meminfo: memFree=1675296/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=51.08 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 5106 2 0 0 25 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134601200 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 28508 [startup+102.305 s] /proc/loadavg: 1.01 1.01 1.00 2/78 18474 /proc/meminfo: memFree=1675296/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=102.26 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 10224 2 0 0 25 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605291 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 28508 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18474 /proc/meminfo: memFree=1675232/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=162.25 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 16222 3 0 0 25 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605343 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 28508 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18474 /proc/meminfo: memFree=1675232/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=222.23 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 22219 4 0 0 25 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605291 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 28508 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18474 /proc/meminfo: memFree=1675232/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=282.21 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 28217 4 0 0 25 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605289 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 28508 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18474 /proc/meminfo: memFree=1675232/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=342.2 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 34215 5 0 0 25 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134598421 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 28508 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18474 /proc/meminfo: memFree=1675296/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=402.18 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 40213 5 0 0 25 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605289 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 28508 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18474 /proc/meminfo: memFree=1675232/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=462.16 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 46211 5 0 0 25 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605291 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 28508 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18474 /proc/meminfo: memFree=1675296/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=522.15 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 52209 6 0 0 25 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605283 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 28508 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18474 /proc/meminfo: memFree=1675232/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=582.13 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 58207 6 0 0 25 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134601200 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 28508 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18474 /proc/meminfo: memFree=1675296/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=642.12 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 64205 7 0 0 25 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605283 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 28508 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18474 /proc/meminfo: memFree=1675296/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=822.06 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 82198 8 0 0 25 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134607328 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 28508 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/84 18648 /proc/meminfo: memFree=1674024/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=881.96 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 88188 8 0 0 25 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605318 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 28508 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18672 /proc/meminfo: memFree=1675104/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=941.94 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 94185 9 0 0 25 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134550784 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 28508 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18672 /proc/meminfo: memFree=1675296/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=1001.92 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 100183 9 0 0 25 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605291 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 28508 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18672 /proc/meminfo: memFree=1675360/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=1061.9 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 106181 9 0 0 25 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134607281 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 28508 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18672 /proc/meminfo: memFree=1675360/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=1121.88 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 112178 10 0 0 25 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134607840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 28508 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18672 /proc/meminfo: memFree=1675360/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=1181.87 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 118176 11 0 0 25 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134607396 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 28508 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18672 /proc/meminfo: memFree=1675360/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=1241.85 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 124174 11 0 0 25 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605283 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 28508 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18672 /proc/meminfo: memFree=1675296/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=1301.84 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 130172 12 0 0 25 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134598421 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 28508 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18672 /proc/meminfo: memFree=1675232/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=1361.82 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 136170 12 0 0 25 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605283 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 28508 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18672 /proc/meminfo: memFree=1675168/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=1421.81 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 142168 13 0 0 25 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605289 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 28508 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18672 /proc/meminfo: memFree=1675232/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=1481.78 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 148165 13 0 0 25 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134598432 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 28508 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18672 /proc/meminfo: memFree=1675168/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=1541.77 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 154163 14 0 0 25 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134601551 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 28508 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18672 /proc/meminfo: memFree=1675168/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=1601.75 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 160161 14 0 0 25 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134601200 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 28508 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18672 /proc/meminfo: memFree=1675168/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=1661.74 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 166159 15 0 0 25 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134598421 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 28508 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18672 /proc/meminfo: memFree=1675232/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=1721.72 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 172157 15 0 0 25 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605283 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 28508 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18672 /proc/meminfo: memFree=1675232/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=1781.7 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 178155 15 0 0 25 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134601200 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 28508 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18672 /proc/meminfo: memFree=1675232/2055920 swapFree=4160052/4192956 [pid=18473] ppid=18471 vsize=28508 CPUtime=1800 /proc/18473/stat : 18473 (wildcat-rnp) R 18471 18473 17722 0 -1 4194304 5714 0 0 0 179985 15 0 0 25 0 1 0 300000102 29192192 5698 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134598421 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18473/statm: 7127 5698 117 226 0 6898 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 28508 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.62 CPU time (s): 1800.02 CPU user time (s): 1799.86 CPU system time (s): 0.164974 CPU usage (%): 99.9669 Max. virtual memory (cumulated for all children) (KiB): 28508 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.86 system time used= 0.164974 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5714 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= 8 involuntary context switches= 36760 runsolver used 1.40679 second user time and 3.84741 second system time The end
Begin job on node12 on Fri May 4 00:47:07 UTC 2007 IDJOB= 455593 IDBENCH= 48274 IDSOLVER= 161 FILE ID= node12/455593-1178239627 PBS_JOBID= 4751308 Free space on /tmp= 66562 MiB SOLVER NAME= wildcat-rnp 2007-03-21 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_4.opb COMMAND LINE= /tmp/evaluation/455593-1178239627/wildcat-rnp /tmp/evaluation/455593-1178239627/instance-455593-1178239627.opb 561187939 CONVERSION COMMAND LINE= runsolver -w ROOT/results/node12/convwatcher-455593-1178239627 -o ROOT/results/node12/conversion-455593-1178239627 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/455593-1178239627/instance-455593-1178239627.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-455593-1178239627 -o ROOT/results/node12/solver-455593-1178239627 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/455593-1178239627/wildcat-rnp /tmp/evaluation/455593-1178239627/instance-455593-1178239627.opb 561187939 META MD5SUM SOLVER= 05d21ee76b90579709a9929b8e99937a MD5SUM BENCH= edb32574ecafd14c2d1410b208d85a45 RANDOM SEED= 561187939 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node12.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.239 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.239 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: 1698304 kB Buffers: 109684 kB Cached: 135880 kB SwapCached: 11884 kB Active: 151052 kB Inactive: 120744 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1698304 kB SwapTotal: 4192956 kB SwapFree: 4160052 kB Dirty: 2504 kB Writeback: 0 kB Mapped: 32864 kB Slab: 71288 kB Committed_AS: 10786348 kB PageTables: 1800 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66562 MiB End job on node12 on Fri May 4 01:17:10 UTC 2007