Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
wildcat-rnp 2007-03-21 | SAT (TO) | 4 | 1800.07 | 1800.62 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_50_25_3.opb |
MD5SUM | da214a3f088b29c437fc8e7d0ee2cf8a |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 0.207968 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2 |
Optimality of the best value was proved | YES |
Number of variables | 50 |
Total number of constraints | 50 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 50 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 38 |
Number of terms in the objective function | 50 |
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 | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 50 |
Number of bits of the biggest sum of numbers | 6 |
Number of products (including duplicates) | 1476 |
Sum of products size (including duplicates) | 2952 |
Number of different products | 1476 |
Sum of products size | 2952 |
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/453358-1178214216/wildcat-rnp /tmp/evaluation/453358-1178214216/instance-453358-1178214216.opb 411220135 0.00/0.00 c =================================== BEGIN =================================== 0.00/0.00 c 0.00/0.00 c Random Number Seed: 411220135 0.00/0.00 c Noise: 0.7 (70 : 100) 0.04/0.05 c Starting searching: 0.04/0.05 c Phase 1 ... 0.09/0.11 c trying 50: vc 0.09/0.12 o 50 18.59/18.62 c trying 42: xxxvc 18.59/18.62 o 42 32.29/32.37 c trying 35: xxvc 32.29/32.37 o 35 48.48/48.50 c trying 29: xvc 48.48/48.50 o 29 104.47/104.51 c trying 23: xxxxxxxxxxc 104.47/104.51 c Phase 2 ... 112.26/112.39 c trying 28: vc 112.26/112.39 o 4 824.19/824.45 c trying 3: xxxxxxxxxxc 824.19/824.45 c Phase 3 ... 1800.05/1800.61 c trying 3 again: xc 1800.05/1800.61 s SATISFIABLE 1800.05/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 1800.05/1800.61 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 1800.05/1800.61 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 1800.05/1800.61 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 1800.05/1800.61 v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 1800.05/1800.61 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 x148 1800.05/1800.61 v -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 1800.05/1800.61 v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 1800.05/1800.61 v -x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 1800.05/1800.61 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 1800.05/1800.61 v -x233 -x234 x235 -x236 -x237 -x238 x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 1800.05/1800.61 v -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 x273 -x274 1800.05/1800.61 v -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 1800.05/1800.61 v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 1800.05/1800.61 v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 x337 1800.05/1800.61 v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 1800.05/1800.61 v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 1800.05/1800.61 v -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 1800.05/1800.61 v -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 -x421 1800.05/1800.61 v -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 -x438 x439 -x440 -x441 -x442 1800.05/1800.61 v -x443 -x444 -x445 -x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 -x460 x461 -x462 -x463 1800.05/1800.61 v -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 x482 -x483 -x484 1800.05/1800.61 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 x500 -x501 x502 -x503 -x504 -x505 1800.05/1800.61 v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 1800.05/1800.61 v x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 -x542 -x543 -x544 x545 -x546 -x547 1800.05/1800.61 v -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 x560 -x561 -x562 x563 -x564 -x565 -x566 -x567 -x568 1800.05/1800.61 v -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 1800.05/1800.61 v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 -x610 1800.05/1800.61 v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 1800.05/1800.61 v -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 1800.05/1800.61 v -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 1800.05/1800.61 v -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 x693 -x694 1800.05/1800.61 v -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 1800.05/1800.61 v -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 1800.05/1800.61 v -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 1800.05/1800.61 v -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 -x778 1800.05/1800.61 v -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 1800.05/1800.61 v -x800 -x801 -x802 -x803 -x804 -x805 -x806 x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 x815 -x816 -x817 -x818 -x819 -x820 1800.05/1800.61 v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 1800.05/1800.61 v -x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 1800.05/1800.61 v -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 1800.05/1800.61 v -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 1800.05/1800.61 v -x905 x906 -x907 x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 1800.05/1800.61 v -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 1800.05/1800.61 v -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 1800.05/1800.61 v -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 x985 -x986 -x987 x988 1800.05/1800.61 v -x989 -x990 -x991 -x992 x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 1800.05/1800.61 v -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 x1023 -x1024 1800.05/1800.61 v -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 1800.05/1800.61 v -x1042 -x1043 -x1044 -x1045 -x1046 x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 1800.05/1800.61 v -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 x1069 -x1070 -x1071 -x1072 x1073 -x1074 -x1075 x1076 -x1077 1800.05/1800.61 v -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 1800.05/1800.61 v -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 1800.05/1800.61 v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 x1124 -x1125 -x1126 -x1127 -x1128 1800.05/1800.61 v x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 1800.05/1800.61 v -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 1800.05/1800.61 v -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 x1176 -x1177 -x1178 -x1179 1800.05/1800.61 v -x1180 -x1181 -x1182 -x1183 -x1184 x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 1800.05/1800.61 v -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 x1205 -x1206 -x1207 -x1208 -x1209 x1210 -x1211 -x1212 -x1213 -x1214 1800.05/1800.61 v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 1800.05/1800.61 v x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 1800.05/1800.61 v -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 1800.05/1800.61 v -x1267 x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 1800.05/1800.61 v -x1284 -x1285 -x1286 x1287 -x1288 -x1289 -x1290 -x1291 x1292 x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 1800.05/1800.61 v -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 1800.05/1800.61 v x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 1800.05/1800.61 v -x1336 -x1337 -x1338 -x1339 x1340 -x1341 -x1342 -x1343 x1344 -x1345 x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 1800.05/1800.61 v -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 x1365 -x1366 -x1367 -x1368 -x1369 -x1370 1800.05/1800.61 v -x1371 -x1372 -x1373 x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 1800.05/1800.61 v -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 1800.05/1800.61 v -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 x1418 -x1419 -x1420 -x1421 1800.05/1800.61 v -x1422 x1423 x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 1800.05/1800.61 v -x1440 -x1441 x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 1800.05/1800.61 v -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 x1469 -x1470 -x1471 -x1472 -x1473 1800.05/1800.61 v -x1474 x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 1800.05/1800.61 v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 1800.05/1800.61 v -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 x1516 -x1517 -x1518 x1519 -x1520 -x1521 -x1522 -x1523 x1524 -x1525 1800.05/1800.61 v x1526 1800.05/1800.61 c Total Number of Positive Atoms : 105 1800.05/1800.61 c 1800.05/1800.61 c During searching: 112.335 seconds elapsed. 1800.05/1800.61 c CPU time spent: 112.32 seconds. 1800.05/1800.61 c 1800.05/1800.61 c =================================== END ===================================== 1800.05/1800.61 c
OK 4
Linearizing /tmp/evaluation/453358-1178214216/instance-453358-1178214216.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node18/watcher-453358-1178214216 -o ROOT/results/node18/solver-453358-1178214216 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/453358-1178214216/wildcat-rnp /tmp/evaluation/453358-1178214216/instance-453358-1178214216.opb 411220135 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.97 0.99 3/77 17073 /proc/meminfo: memFree=1618312/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=6908 CPUtime=0 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 373 0 0 0 0 0 0 0 18 0 1 0 269339065 7073792 358 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 1727 362 110 226 0 1498 0 [startup+0.055956 s] /proc/loadavg: 0.92 0.97 0.99 3/77 17073 /proc/meminfo: memFree=1618312/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28320 CPUtime=0.04 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5545 0 0 0 2 2 0 0 18 0 1 0 269339065 28999680 5530 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7080 5534 110 226 0 6851 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 28320 [startup+0.10196 s] /proc/loadavg: 0.92 0.97 0.99 3/77 17073 /proc/meminfo: memFree=1618312/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28580 CPUtime=0.09 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5767 0 0 0 7 2 0 0 18 0 1 0 269339065 29265920 5751 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134601321 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7145 5751 115 226 0 6916 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 28580 [startup+0.301979 s] /proc/loadavg: 0.92 0.97 0.99 3/77 17073 /proc/meminfo: memFree=1618312/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28580 CPUtime=0.29 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5767 0 0 0 27 2 0 0 19 0 1 0 269339065 29265920 5751 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605283 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7145 5751 115 226 0 6916 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 28580 [startup+0.702018 s] /proc/loadavg: 0.92 0.97 0.99 3/77 17073 /proc/meminfo: memFree=1618312/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28580 CPUtime=0.69 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5767 0 0 0 67 2 0 0 22 0 1 0 269339065 29265920 5751 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134601829 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7145 5751 115 226 0 6916 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28580 [startup+1.5011 s] /proc/loadavg: 0.92 0.97 0.99 2/78 17074 /proc/meminfo: memFree=1595840/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28580 CPUtime=1.49 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5767 0 0 0 147 2 0 0 25 0 1 0 269339065 29265920 5751 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605318 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7145 5751 115 226 0 6916 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28580 [startup+3.10125 s] /proc/loadavg: 0.92 0.97 0.99 2/78 17074 /proc/meminfo: memFree=1595584/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28580 CPUtime=3.09 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5767 0 0 0 307 2 0 0 25 0 1 0 269339065 29265920 5751 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605289 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7145 5751 115 226 0 6916 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28580 [startup+6.30156 s] /proc/loadavg: 0.93 0.97 0.99 2/78 17074 /proc/meminfo: memFree=1595584/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28580 CPUtime=6.29 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5767 0 0 0 627 2 0 0 25 0 1 0 269339065 29265920 5751 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134577452 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7145 5751 115 226 0 6916 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28580 [startup+12.7012 s] /proc/loadavg: 0.93 0.97 0.99 2/78 17074 /proc/meminfo: memFree=1595648/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28580 CPUtime=12.68 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5767 0 0 0 1266 2 0 0 25 0 1 0 269339065 29265920 5751 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605318 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7145 5751 115 226 0 6916 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 28580 [startup+25.5024 s] /proc/loadavg: 0.95 0.97 0.99 2/78 17074 /proc/meminfo: memFree=1595776/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28580 CPUtime=25.48 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5767 0 0 0 2546 2 0 0 25 0 1 0 269339065 29265920 5751 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134601167 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7145 5751 115 226 0 6916 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28580 [startup+51.1029 s] /proc/loadavg: 0.96 0.97 0.99 2/78 17074 /proc/meminfo: memFree=1595776/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28580 CPUtime=51.08 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5767 0 0 0 5105 3 0 0 25 0 1 0 269339065 29265920 5751 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134601465 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7145 5751 115 226 0 6916 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 28580 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.99 2/78 17074 /proc/meminfo: memFree=1595776/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28580 CPUtime=102.27 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5767 0 0 0 10224 3 0 0 25 0 1 0 269339065 29265920 5751 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134549783 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7145 5751 115 226 0 6916 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 28580 [startup+162.303 s] /proc/loadavg: 0.99 0.97 0.99 3/78 17074 /proc/meminfo: memFree=1595776/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28580 CPUtime=162.25 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5767 0 0 0 16221 4 0 0 25 0 1 0 269339065 29265920 5751 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134601710 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7145 5751 115 226 0 6916 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 28580 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17074 /proc/meminfo: memFree=1595776/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28580 CPUtime=222.23 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5769 0 0 0 22219 4 0 0 25 0 1 0 269339065 29265920 5753 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134601586 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7145 5753 117 226 0 6916 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 28580 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17074 /proc/meminfo: memFree=1595776/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28580 CPUtime=282.22 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5769 0 0 0 28217 5 0 0 25 0 1 0 269339065 29265920 5753 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605289 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7145 5753 117 226 0 6916 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 28580 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17074 /proc/meminfo: memFree=1595776/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28580 CPUtime=342.2 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5769 0 0 0 34215 5 0 0 25 0 1 0 269339065 29265920 5753 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605318 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7145 5753 117 226 0 6916 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 28580 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17074 /proc/meminfo: memFree=1595776/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28580 CPUtime=402.19 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5769 0 0 0 40213 6 0 0 25 0 1 0 269339065 29265920 5753 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605318 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7145 5753 117 226 0 6916 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 28580 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17074 /proc/meminfo: memFree=1595776/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28580 CPUtime=462.17 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5769 0 0 0 46211 6 0 0 25 0 1 0 269339065 29265920 5753 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134601200 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7145 5753 117 226 0 6916 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 28580 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17074 /proc/meminfo: memFree=1595776/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28580 CPUtime=522.16 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5769 0 0 0 52210 6 0 0 25 0 1 0 269339065 29265920 5753 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134550038 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7145 5753 117 226 0 6916 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 28580 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17074 /proc/meminfo: memFree=1595776/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28580 CPUtime=582.15 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5769 0 0 0 58208 7 0 0 25 0 1 0 269339065 29265920 5753 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134598421 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7145 5753 117 226 0 6916 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 28580 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17074 /proc/meminfo: memFree=1595712/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28580 CPUtime=642.13 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5769 0 0 0 64206 7 0 0 25 0 1 0 269339065 29265920 5753 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134601200 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7145 5753 117 226 0 6916 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 28580 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.03 0.99 0.99 2/78 17074 /proc/meminfo: memFree=1595712/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28580 CPUtime=822.09 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5769 0 0 0 82200 9 0 0 25 0 1 0 269339065 29265920 5753 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605291 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7145 5753 117 226 0 6916 0 Current children cumulated CPU time (s) 822.09 Current children cumulated vsize (KiB) 28580 [startup+882.301 s] /proc/loadavg: 1.01 0.99 0.99 2/78 17074 /proc/meminfo: memFree=1595840/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28580 CPUtime=882.07 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5769 0 0 0 88198 9 0 0 25 0 1 0 269339065 29265920 5753 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605318 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7145 5753 117 226 0 6916 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 28580 [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 17074 /proc/meminfo: memFree=1595840/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28580 CPUtime=942.06 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5769 0 0 0 94196 10 0 0 25 0 1 0 269339065 29265920 5753 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605318 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7145 5753 117 226 0 6916 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 28580 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 17074 /proc/meminfo: memFree=1595840/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28580 CPUtime=1002.04 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5769 0 0 0 100194 10 0 0 25 0 1 0 269339065 29265920 5753 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605291 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7145 5753 117 226 0 6916 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 28580 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.99 2/84 17182 /proc/meminfo: memFree=1594432/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28580 CPUtime=1061.97 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5769 0 0 0 106186 11 0 0 25 0 1 0 269339065 29265920 5753 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605283 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7145 5753 117 226 0 6916 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 28580 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 17272 /proc/meminfo: memFree=1595584/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28580 CPUtime=1121.91 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5769 0 0 0 112179 12 0 0 25 0 1 0 269339065 29265920 5753 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605289 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7145 5753 117 226 0 6916 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 28580 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 17272 /proc/meminfo: memFree=1595648/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28580 CPUtime=1181.9 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5769 0 0 0 118177 13 0 0 25 0 1 0 269339065 29265920 5753 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134601321 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7145 5753 117 226 0 6916 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 28580 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 17272 /proc/meminfo: memFree=1595648/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28580 CPUtime=1241.88 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5769 0 0 0 124175 13 0 0 25 0 1 0 269339065 29265920 5753 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605318 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7145 5753 117 226 0 6916 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 28580 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 17272 /proc/meminfo: memFree=1595648/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28580 CPUtime=1301.87 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5769 0 0 0 130173 14 0 0 25 0 1 0 269339065 29265920 5753 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605289 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7145 5753 117 226 0 6916 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 28580 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 17272 /proc/meminfo: memFree=1595648/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28580 CPUtime=1361.86 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5769 0 0 0 136171 15 0 0 25 0 1 0 269339065 29265920 5753 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605291 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7145 5753 117 226 0 6916 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 28580 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.99 2/78 17272 /proc/meminfo: memFree=1595648/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28580 CPUtime=1421.84 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5769 0 0 0 142169 15 0 0 25 0 1 0 269339065 29265920 5753 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605283 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7145 5753 117 226 0 6916 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 28580 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 17272 /proc/meminfo: memFree=1595648/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28580 CPUtime=1481.82 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5769 0 0 0 148167 15 0 0 25 0 1 0 269339065 29265920 5753 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605286 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7145 5753 117 226 0 6916 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 28580 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 17272 /proc/meminfo: memFree=1595648/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28580 CPUtime=1541.81 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5769 0 0 0 154165 16 0 0 25 0 1 0 269339065 29265920 5753 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605291 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7145 5753 117 226 0 6916 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 28580 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 17272 /proc/meminfo: memFree=1595712/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28580 CPUtime=1601.79 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5769 0 0 0 160163 16 0 0 25 0 1 0 269339065 29265920 5753 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134598421 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7145 5753 117 226 0 6916 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 28580 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 17272 /proc/meminfo: memFree=1595712/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28580 CPUtime=1661.78 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5769 0 0 0 166161 17 0 0 25 0 1 0 269339065 29265920 5753 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134598432 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7145 5753 117 226 0 6916 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 28580 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 17272 /proc/meminfo: memFree=1595712/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28580 CPUtime=1721.76 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5769 0 0 0 172159 17 0 0 25 0 1 0 269339065 29265920 5753 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605291 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7145 5753 117 226 0 6916 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 28580 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 17272 /proc/meminfo: memFree=1595712/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28580 CPUtime=1781.75 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5769 0 0 0 178157 18 0 0 25 0 1 0 269339065 29265920 5753 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605318 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7145 5753 117 226 0 6916 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 28580 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 0.99 0.99 2/78 17272 /proc/meminfo: memFree=1595712/2055920 swapFree=4147168/4192956 [pid=17073] ppid=17071 vsize=28580 CPUtime=1800.05 /proc/17073/stat : 17073 (wildcat-rnp) R 17071 17073 16322 0 -1 4194304 5769 0 0 0 179987 18 0 0 25 0 1 0 269339065 29265920 5753 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605283 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17073/statm: 7145 5753 117 226 0 6916 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 28580 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.07 CPU user time (s): 1799.88 CPU system time (s): 0.19097 CPU usage (%): 99.9694 Max. virtual memory (cumulated for all children) (KiB): 28580 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.88 system time used= 0.19097 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5769 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= 2555 runsolver used 1.46978 second user time and 3.79942 second system time The end
Begin job on node18 on Thu May 3 17:43:36 UTC 2007 IDJOB= 453358 IDBENCH= 48125 IDSOLVER= 161 FILE ID= node18/453358-1178214216 PBS_JOBID= 4751260 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/mds/normalized-mds_50_25_3.opb COMMAND LINE= /tmp/evaluation/453358-1178214216/wildcat-rnp /tmp/evaluation/453358-1178214216/instance-453358-1178214216.opb 411220135 CONVERSION COMMAND LINE= runsolver -w ROOT/results/node18/convwatcher-453358-1178214216 -o ROOT/results/node18/conversion-453358-1178214216 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453358-1178214216/instance-453358-1178214216.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-453358-1178214216 -o ROOT/results/node18/solver-453358-1178214216 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/453358-1178214216/wildcat-rnp /tmp/evaluation/453358-1178214216/instance-453358-1178214216.opb 411220135 META MD5SUM SOLVER= 05d21ee76b90579709a9929b8e99937a MD5SUM BENCH= da214a3f088b29c437fc8e7d0ee2cf8a RANDOM SEED= 411220135 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node18.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.234 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.234 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: 1618848 kB Buffers: 110024 kB Cached: 203572 kB SwapCached: 15116 kB Active: 145504 kB Inactive: 196528 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1618848 kB SwapTotal: 4192956 kB SwapFree: 4147168 kB Dirty: 2464 kB Writeback: 0 kB Mapped: 32684 kB Slab: 80536 kB Committed_AS: 8562472 kB PageTables: 1780 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 node18 on Thu May 3 18:13:40 UTC 2007