Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | SAT (TO) | 80 | 1800.94 | 1730.7 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-ex5.pi.opb |
MD5SUM | f97e3571862917880e13c63c8ac169f9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 65 |
Best CPU time to get the best result obtained on this benchmark | 28.7656 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 65 |
Optimality of the best value was proved | YES |
Number of variables | 2459 |
Total number of constraints | 873 |
Number of constraints which are clauses | 873 |
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 | 146 |
Number of terms in the objective function | 2459 |
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 | 2459 |
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 | 2459 |
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.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.15 c no version file found!!! 0.15 c sun.arch.data.model 32 0.15 c java.version 1.5.0_06 0.15 c os.name Linux 0.15 c os.version 2.6.9-22.EL.rootsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.21 c Cutting planes based inference 0.21 c --- Begin Solver configuration --- 0.21 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.21 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.21 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.21 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.21 c VSIDS like heuristics from MiniSAT using a heap 0.21 c No reason simplification 0.21 c --- End Solver configuration --- 0.21 c solving ROOT/tmp/node31/44297-1149404900/instance-44297-1149404900.opb 0.21 c reading problem ... 0.80 c ... done. Time 0.592 ms. 0.80 c #vars 2459 0.80 c #constraints 845 0.88 c SATISFIABLE 0.88 c OPTIMIZING... 0.88 c Got one! Ellapsed CPU time (in seconds):0.675 0.91 o 84 1.15 c Got one! Ellapsed CPU time (in seconds):0.941 1.16 o 83 1.48 c Got one! Ellapsed CPU time (in seconds):1.28 1.49 o 82 1.67 c Got one! Ellapsed CPU time (in seconds):1.461 1.67 o 81 2.22 c Got one! Ellapsed CPU time (in seconds):2.016 2.23 o 80 1730.45 c starts : 13 1730.45 c conflicts : 3866 1730.45 c decisions : 80160 1730.45 c propagations : 232567 1730.45 c inspects : 8574716 1730.45 c learnt literals : 0 1730.45 c learnt binary clauses : 0 1730.45 c learnt ternary clauses : 0 1730.45 c learnt clauses : 3865 1730.45 c root simplifications : 0 1730.45 c removed literals (reason simplification) : 0 1730.45 c reason swapping (by a shorter reason) : 0 1730.45 c Calls to reduceDB : 0 1730.45 c speed (decisions/second) : 46.38314467999912 1730.45 c non guided choices 13185 1730.45 s SATISFIABLE 1730.50 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 1730.50 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 1730.50 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1730.50 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 1730.50 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1730.50 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 1730.50 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1730.50 v -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1730.50 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1730.50 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1730.50 v -x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1730.50 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1730.50 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1730.50 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1730.50 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335 1730.50 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1730.50 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1730.50 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1730.50 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1730.50 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1730.50 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1730.50 v -x462 -x463 -x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1730.50 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1730.50 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1730.50 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1730.50 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 1730.50 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1730.50 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1730.50 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 -x629 1730.50 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1730.50 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 1730.50 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1730.50 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1730.50 v -x714 -x715 x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1730.50 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 -x754 -x755 1730.50 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1730.50 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1730.50 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1730.50 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1730.50 v -x840 -x841 -x842 -x843 -x844 x845 -x846 -x847 -x848 -x849 x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1730.50 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1730.50 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 x900 -x901 -x902 1730.50 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 x917 -x918 -x919 -x920 -x921 -x922 -x923 1730.50 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1730.50 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1730.50 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1730.50 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 x1005 -x1006 1730.50 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 -x1018 -x1019 x1020 -x1021 -x1022 -x1023 x1024 1730.50 v -x1025 -x1026 -x1027 x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 1730.50 v -x1043 x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 1730.50 v -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 1730.50 v -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 1730.50 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 1730.50 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 1730.50 v -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 1730.50 v -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 x1160 -x1161 1730.50 v x1162 x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 1730.50 v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 1730.50 v -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 x1206 -x1207 -x1208 -x1209 -x1210 x1211 -x1212 -x1213 -x1214 1730.50 v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 x1230 -x1231 -x1232 1730.50 v -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 1730.50 v -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 1730.50 v -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 1730.50 v -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 1730.50 v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 1730.50 v -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 1730.50 v -x1335 x1336 -x1337 -x1338 -x1339 -x1340 -x1341 x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 1730.50 v -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 x1368 -x1369 1730.50 v -x1370 x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 x1382 -x1383 -x1384 -x1385 x1386 -x1387 1730.50 v -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 1730.50 v -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 x1420 -x1421 1730.50 v -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 1730.50 v -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 1730.50 v -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 x1466 -x1467 -x1468 -x1469 x1470 -x1471 -x1472 -x1473 1730.50 v -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 1730.50 v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 1730.50 v -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 1730.50 v -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 1730.50 v -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 1730.50 v -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 x1574 -x1575 1730.50 v -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 1730.50 v -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 1730.50 v -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 x1625 -x1626 1730.50 v -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 1730.50 v -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 x1651 x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 1730.50 v -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 1730.50 v -x1679 -x1680 -x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 1730.50 v -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 1730.50 v -x1713 -x1714 -x1715 x1716 x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 1730.50 v -x1731 -x1732 -x1733 -x1734 -x1735 x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 1730.50 v -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 x1761 -x1762 -x1763 -x1764 1730.50 v -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 1730.50 v -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 1730.50 v -x1799 -x1800 -x1801 -x1802 -x1803 x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 1730.50 v -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 1730.50 v -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 x1844 -x1845 -x1846 -x1847 -x1848 -x1849 1730.50 v -x1850 x1851 x1852 x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 1730.50 v -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 1730.50 v -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 1730.50 v -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 1730.50 v x1919 x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 1730.50 v -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 1730.50 v -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 1730.50 v x1971 -x1972 -x1973 -x1974 x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 1730.50 v -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 1730.50 v -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 1730.50 v -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 1730.50 v -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 x2056 1730.50 v -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 1730.50 v -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 x2081 -x2082 -x2083 -x2084 -x2085 x2086 -x2087 -x2088 -x2089 -x2090 -x2091 1730.50 v -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 1730.50 v -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 1730.50 v -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 1730.50 v -x2143 -x2144 x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 1730.50 v -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 1730.50 v -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 1730.50 v -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 1730.50 v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 1730.50 v -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 1730.50 v -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 1730.50 v -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 1730.50 v -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 x2295 -x2296 1730.50 v -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 1730.50 v -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 1730.50 v -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 1730.50 v -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 1730.50 v -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 x2381 1730.50 v -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 1730.50 v -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 1730.50 v -x2416 -x2417 -x2418 x2419 -x2420 -x2421 -x2422 -x2423 -x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 1730.50 v -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 1730.50 v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 1730.50 c objective function=80 1730.50 c Total wall clock time (ms): 1730.299
OK 80
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node31/watcher-44297-1149404900 -o ROOT/results/node31/solver-44297-1149404900 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node31/44297-1149404900/instance-44297-1149404900.opb 978710811 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.06 0.99 0.99 3/64 17410 /proc/meminfo: memFree=1848576/2055920 swapFree=4181480/4192956 [pid=17410] ppid=17408 vsize=1452 CPUtime=0 /proc/17410/stat : 17410 (java) R 17408 17410 17364 0 -1 0 89 0 0 0 0 0 0 0 19 0 1 0 206153714 1486848 62 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 4160632085 0 0 4096 0 0 0 0 17 1 0 0 /proc/17410/statm: 363 73 57 14 0 8 0 [startup+10.0022 s] /proc/loadavg: 1.13 1.00 0.99 2/76 17427 /proc/meminfo: memFree=1662888/2055920 swapFree=4181480/4192956 [pid=17410] ppid=17408 vsize=1713584 CPUtime=11.73 /proc/17410/stat : 17410 (java) R 17408 17410 17364 0 -1 0 53448 0 1 0 1146 27 0 0 25 0 13 0 206153714 1754710016 48107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071531731 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17410/statm: 428396 48107 1910 14 0 415143 0 [pid=17410/tid=17411] ppid=17408 vsize=1713584 CPUtime=0.22 /proc/17410/task/17411/stat : 17411 (java) S 17408 17410 17364 0 -1 64 6083 0 0 0 19 3 0 0 16 0 13 0 206153718 1754710016 48107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17410/tid=17412] ppid=17408 vsize=1713584 CPUtime=0.22 /proc/17410/task/17412/stat : 17412 (java) S 17408 17410 17364 0 -1 64 5037 0 0 0 19 3 0 0 16 0 13 0 206153718 1754710016 48107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17413] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17413/stat : 17413 (java) S 17408 17410 17364 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 206153720 1754710016 48107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=17410/tid=17414] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17414/stat : 17414 (java) S 17408 17410 17364 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206153721 1754710016 48107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17415] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17415/stat : 17415 (java) S 17408 17410 17364 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206153721 1754710016 48107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17416] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17416/stat : 17416 (java) S 17408 17410 17364 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206153724 1754710016 48107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17417] ppid=17408 vsize=1713584 CPUtime=0.01 /proc/17410/task/17417/stat : 17417 (java) S 17408 17410 17364 0 -1 64 5 0 0 0 1 0 0 0 16 0 13 0 206153724 1754710016 48107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17418] ppid=17408 vsize=1713584 CPUtime=0.96 /proc/17410/task/17418/stat : 17418 (java) S 17408 17410 17364 0 -1 64 2138 0 0 0 96 0 0 0 17 0 13 0 206153724 1754710016 48107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17419] ppid=17408 vsize=1713584 CPUtime=1.03 /proc/17410/task/17419/stat : 17419 (java) S 17408 17410 17364 0 -1 64 2659 0 0 0 101 2 0 0 17 0 13 0 206153724 1754710016 48107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17410/tid=17420] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17420/stat : 17420 (java) S 17408 17410 17364 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206153724 1754710016 48107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17421] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17421/stat : 17421 (java) S 17408 17410 17364 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 206153724 1754710016 48107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17427] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17427/stat : 17427 (java) S 17408 17410 17364 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 206153938 1754710016 48107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.73 Current children cumulated vsize (Kb) 1713584 [startup+20.009 s] /proc/loadavg: 1.11 1.00 0.99 2/76 17427 /proc/meminfo: memFree=1634344/2055920 swapFree=4181480/4192956 [pid=17410] ppid=17408 vsize=1713584 CPUtime=21.91 /proc/17410/stat : 17410 (java) R 17408 17410 17364 0 -1 0 65418 0 1 0 2159 32 0 0 21 0 13 0 206153714 1754710016 55325 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071683477 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17410/statm: 428396 55325 1910 14 0 415143 0 [pid=17410/tid=17411] ppid=17408 vsize=1713584 CPUtime=0.38 /proc/17410/task/17411/stat : 17411 (java) S 17408 17410 17364 0 -1 64 10090 0 0 0 34 4 0 0 16 0 13 0 206153718 1754710016 55325 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17410/tid=17412] ppid=17408 vsize=1713584 CPUtime=0.38 /proc/17410/task/17412/stat : 17412 (java) S 17408 17410 17364 0 -1 64 9741 0 0 0 34 4 0 0 15 0 13 0 206153718 1754710016 55325 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17413] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17413/stat : 17413 (java) S 17408 17410 17364 0 -1 64 44 0 0 0 0 0 0 0 16 0 13 0 206153720 1754710016 55325 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=17410/tid=17414] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17414/stat : 17414 (java) S 17408 17410 17364 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206153721 1754710016 55325 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17415] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17415/stat : 17415 (java) S 17408 17410 17364 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206153721 1754710016 55325 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17416] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17416/stat : 17416 (java) S 17408 17410 17364 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206153724 1754710016 55325 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17417] ppid=17408 vsize=1713584 CPUtime=0.01 /proc/17410/task/17417/stat : 17417 (java) S 17408 17410 17364 0 -1 64 5 0 0 0 1 0 0 0 16 0 13 0 206153724 1754710016 55325 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17418] ppid=17408 vsize=1713584 CPUtime=0.97 /proc/17410/task/17418/stat : 17418 (java) S 17408 17410 17364 0 -1 64 2138 0 0 0 97 0 0 0 17 0 13 0 206153724 1754710016 55325 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17419] ppid=17408 vsize=1713584 CPUtime=1.05 /proc/17410/task/17419/stat : 17419 (java) S 17408 17410 17364 0 -1 64 2660 0 0 0 103 2 0 0 17 0 13 0 206153724 1754710016 55325 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17410/tid=17420] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17420/stat : 17420 (java) S 17408 17410 17364 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206153724 1754710016 55325 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17421] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17421/stat : 17421 (java) S 17408 17410 17364 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 206153724 1754710016 55325 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17427] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17427/stat : 17427 (java) S 17408 17410 17364 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 206153938 1754710016 55325 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.91 Current children cumulated vsize (Kb) 1713584 [startup+30.0158 s] /proc/loadavg: 1.09 1.00 0.99 2/76 17427 /proc/meminfo: memFree=1622440/2055920 swapFree=4181480/4192956 [pid=17410] ppid=17408 vsize=1713584 CPUtime=32.07 /proc/17410/stat : 17410 (java) R 17408 17410 17364 0 -1 0 71236 0 1 0 3170 37 0 0 17 0 13 0 206153714 1754710016 58265 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071531363 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17410/statm: 428396 58265 1910 14 0 415143 0 [pid=17410/tid=17411] ppid=17408 vsize=1713584 CPUtime=0.51 /proc/17410/task/17411/stat : 17411 (java) S 17408 17410 17364 0 -1 64 12764 0 0 0 45 6 0 0 15 0 13 0 206153718 1754710016 58265 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17412] ppid=17408 vsize=1713584 CPUtime=0.52 /proc/17410/task/17412/stat : 17412 (java) S 17408 17410 17364 0 -1 64 12855 0 0 0 46 6 0 0 16 0 13 0 206153718 1754710016 58265 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17410/tid=17413] ppid=17408 vsize=1713584 CPUtime=0.02 /proc/17410/task/17413/stat : 17413 (java) S 17408 17410 17364 0 -1 64 44 0 0 0 1 1 0 0 16 0 13 0 206153720 1754710016 58265 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=17410/tid=17414] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17414/stat : 17414 (java) S 17408 17410 17364 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206153721 1754710016 58265 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17415] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17415/stat : 17415 (java) S 17408 17410 17364 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206153721 1754710016 58265 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17416] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17416/stat : 17416 (java) S 17408 17410 17364 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206153724 1754710016 58265 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17417] ppid=17408 vsize=1713584 CPUtime=0.01 /proc/17410/task/17417/stat : 17417 (java) S 17408 17410 17364 0 -1 64 5 0 0 0 1 0 0 0 16 0 13 0 206153724 1754710016 58265 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17418] ppid=17408 vsize=1713584 CPUtime=0.99 /proc/17410/task/17418/stat : 17418 (java) S 17408 17410 17364 0 -1 64 2140 0 0 0 99 0 0 0 16 0 13 0 206153724 1754710016 58265 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17419] ppid=17408 vsize=1713584 CPUtime=1.05 /proc/17410/task/17419/stat : 17419 (java) S 17408 17410 17364 0 -1 64 2660 0 0 0 103 2 0 0 16 0 13 0 206153724 1754710016 58265 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17420] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17420/stat : 17420 (java) S 17408 17410 17364 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206153724 1754710016 58265 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17421] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17421/stat : 17421 (java) S 17408 17410 17364 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 206153724 1754710016 58265 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17427] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17427/stat : 17427 (java) S 17408 17410 17364 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 206153938 1754710016 58265 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 32.07 Current children cumulated vsize (Kb) 1713584 [startup+40.0226 s] /proc/loadavg: 1.08 1.00 0.99 2/76 17427 /proc/meminfo: memFree=1611496/2055920 swapFree=4181480/4192956 [pid=17410] ppid=17408 vsize=1713584 CPUtime=42.14 /proc/17410/stat : 17410 (java) R 17408 17410 17364 0 -1 0 77813 0 1 0 4174 40 0 0 25 0 13 0 206153714 1754710016 61034 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071531852 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17410/statm: 428396 61034 1910 14 0 415143 0 [pid=17410/tid=17411] ppid=17408 vsize=1713584 CPUtime=0.59 /proc/17410/task/17411/stat : 17411 (java) S 17408 17410 17364 0 -1 64 13675 0 0 0 53 6 0 0 15 0 13 0 206153718 1754710016 61034 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17412] ppid=17408 vsize=1713584 CPUtime=0.6 /proc/17410/task/17412/stat : 17412 (java) S 17408 17410 17364 0 -1 64 13689 0 0 0 54 6 0 0 16 0 13 0 206153718 1754710016 61034 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17410/tid=17413] ppid=17408 vsize=1713584 CPUtime=0.02 /proc/17410/task/17413/stat : 17413 (java) S 17408 17410 17364 0 -1 64 60 0 0 0 1 1 0 0 16 0 13 0 206153720 1754710016 61034 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=17410/tid=17414] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17414/stat : 17414 (java) S 17408 17410 17364 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206153721 1754710016 61034 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17415] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17415/stat : 17415 (java) S 17408 17410 17364 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206153721 1754710016 61034 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17416] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17416/stat : 17416 (java) S 17408 17410 17364 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206153724 1754710016 61034 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17417] ppid=17408 vsize=1713584 CPUtime=0.01 /proc/17410/task/17417/stat : 17417 (java) S 17408 17410 17364 0 -1 64 5 0 0 0 1 0 0 0 16 0 13 0 206153724 1754710016 61034 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17418] ppid=17408 vsize=1713584 CPUtime=0.99 /proc/17410/task/17418/stat : 17418 (java) S 17408 17410 17364 0 -1 64 2140 0 0 0 99 0 0 0 16 0 13 0 206153724 1754710016 61034 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17419] ppid=17408 vsize=1713584 CPUtime=1.05 /proc/17410/task/17419/stat : 17419 (java) S 17408 17410 17364 0 -1 64 2660 0 0 0 103 2 0 0 16 0 13 0 206153724 1754710016 61034 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17420] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17420/stat : 17420 (java) S 17408 17410 17364 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206153724 1754710016 61034 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17421] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17421/stat : 17421 (java) S 17408 17410 17364 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 206153724 1754710016 61034 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17427] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17427/stat : 17427 (java) S 17408 17410 17364 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 206153938 1754710016 61034 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 42.14 Current children cumulated vsize (Kb) 1713584 [startup+50.0305 s] /proc/loadavg: 1.06 1.00 0.99 2/76 17427 /proc/meminfo: memFree=1605864/2055920 swapFree=4181480/4192956 [pid=17410] ppid=17408 vsize=1713584 CPUtime=52.23 /proc/17410/stat : 17410 (java) R 17408 17410 17364 0 -1 0 80489 0 1 0 5181 42 0 0 25 0 13 0 206153714 1754710016 62451 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071518478 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17410/statm: 428396 62451 1910 14 0 415143 0 [pid=17410/tid=17411] ppid=17408 vsize=1713584 CPUtime=0.68 /proc/17410/task/17411/stat : 17411 (java) S 17408 17410 17364 0 -1 64 14616 0 0 0 61 7 0 0 16 0 13 0 206153718 1754710016 62451 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17412] ppid=17408 vsize=1713584 CPUtime=0.69 /proc/17410/task/17412/stat : 17412 (java) S 17408 17410 17364 0 -1 64 14428 0 0 0 62 7 0 0 16 0 13 0 206153718 1754710016 62451 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17410/tid=17413] ppid=17408 vsize=1713584 CPUtime=0.03 /proc/17410/task/17413/stat : 17413 (java) S 17408 17410 17364 0 -1 64 66 0 0 0 1 2 0 0 16 0 13 0 206153720 1754710016 62451 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=17410/tid=17414] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17414/stat : 17414 (java) S 17408 17410 17364 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206153721 1754710016 62451 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17415] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17415/stat : 17415 (java) S 17408 17410 17364 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206153721 1754710016 62451 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17416] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17416/stat : 17416 (java) S 17408 17410 17364 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206153724 1754710016 62451 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17417] ppid=17408 vsize=1713584 CPUtime=0.01 /proc/17410/task/17417/stat : 17417 (java) S 17408 17410 17364 0 -1 64 5 0 0 0 1 0 0 0 16 0 13 0 206153724 1754710016 62451 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17418] ppid=17408 vsize=1713584 CPUtime=0.99 /proc/17410/task/17418/stat : 17418 (java) S 17408 17410 17364 0 -1 64 2140 0 0 0 99 0 0 0 16 0 13 0 206153724 1754710016 62451 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17419] ppid=17408 vsize=1713584 CPUtime=1.05 /proc/17410/task/17419/stat : 17419 (java) S 17408 17410 17364 0 -1 64 2660 0 0 0 103 2 0 0 16 0 13 0 206153724 1754710016 62451 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17420] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17420/stat : 17420 (java) S 17408 17410 17364 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206153724 1754710016 62451 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17421] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17421/stat : 17421 (java) S 17408 17410 17364 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 206153724 1754710016 62451 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17427] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17427/stat : 17427 (java) S 17408 17410 17364 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 206153938 1754710016 62451 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 52.23 Current children cumulated vsize (Kb) 1713584 [startup+60.0373 s] /proc/loadavg: 1.05 1.00 0.99 2/76 17427 /proc/meminfo: memFree=1604840/2055920 swapFree=4181480/4192956 [pid=17410] ppid=17408 vsize=1713584 CPUtime=62.33 /proc/17410/stat : 17410 (java) R 17408 17410 17364 0 -1 0 83700 0 1 0 6188 45 0 0 18 0 13 0 206153714 1754710016 62702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071519988 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17410/statm: 428396 62702 1910 14 0 415143 0 [pid=17410/tid=17411] ppid=17408 vsize=1713584 CPUtime=0.79 /proc/17410/task/17411/stat : 17411 (java) S 17408 17410 17364 0 -1 64 16508 0 0 0 71 8 0 0 16 0 13 0 206153718 1754710016 62702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17412] ppid=17408 vsize=1713584 CPUtime=0.78 /proc/17410/task/17412/stat : 17412 (java) S 17408 17410 17364 0 -1 64 15714 0 0 0 70 8 0 0 16 0 13 0 206153718 1754710016 62702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17410/tid=17413] ppid=17408 vsize=1713584 CPUtime=0.04 /proc/17410/task/17413/stat : 17413 (java) S 17408 17410 17364 0 -1 64 71 0 0 0 2 2 0 0 16 0 13 0 206153720 1754710016 62702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17414] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17414/stat : 17414 (java) S 17408 17410 17364 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206153721 1754710016 62702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17415] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17415/stat : 17415 (java) S 17408 17410 17364 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206153721 1754710016 62702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17416] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17416/stat : 17416 (java) S 17408 17410 17364 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206153724 1754710016 62702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=17410/tid=17414] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17414/stat : 17414 (java) S 17408 17410 17364 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206153721 1754710016 248714 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17415] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17415/stat : 17415 (java) S 17408 17410 17364 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206153721 1754710016 248714 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17416] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17416/stat : 17416 (java) S 17408 17410 17364 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206153724 1754710016 248714 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17417] ppid=17408 vsize=1713584 CPUtime=0.01 /proc/17410/task/17417/stat : 17417 (java) S 17408 17410 17364 0 -1 64 5 0 0 0 1 0 0 0 16 0 13 0 206153724 1754710016 248714 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17418] ppid=17408 vsize=1713584 CPUtime=1.03 /proc/17410/task/17418/stat : 17418 (java) S 17408 17410 17364 0 -1 64 2141 0 0 0 103 0 0 0 17 0 13 0 206153724 1754710016 248714 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17410/tid=17419] ppid=17408 vsize=1713584 CPUtime=1.11 /proc/17410/task/17419/stat : 17419 (java) S 17408 17410 17364 0 -1 64 2662 0 0 0 109 2 0 0 17 0 13 0 206153724 1754710016 248714 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17420] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17420/stat : 17420 (java) S 17408 17410 17364 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206153724 1754710016 248714 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17421] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17421/stat : 17421 (java) S 17408 17410 17364 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 206153724 1754710016 248714 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17410/tid=17427] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17427/stat : 17427 (java) S 17408 17410 17364 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206153938 1754710016 248714 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.26 Current children cumulated vsize (Kb) 1713584 [startup+1727.43 s] /proc/loadavg: 1.02 1.05 1.00 3/76 17429 /proc/meminfo: memFree=857896/2055920 swapFree=4181480/4192956 [pid=17410] ppid=17408 vsize=1713584 CPUtime=1797.36 /proc/17410/stat : 17410 (java) S 17408 17410 17364 0 -1 0 303521 0 1 0 179432 304 0 0 25 0 13 0 206153714 1754710016 248794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/17410/statm: 428396 248794 1910 14 0 415143 0 [pid=17410/tid=17411] ppid=17408 vsize=1713584 CPUtime=69.49 /proc/17410/task/17411/stat : 17411 (java) R 17408 17410 17364 0 -1 64 120620 0 0 0 6837 112 0 0 16 0 13 0 206153718 1754710016 248794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4151727609 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17412] ppid=17408 vsize=1713584 CPUtime=69.52 /proc/17410/task/17412/stat : 17412 (java) R 17408 17410 17364 0 -1 64 120817 0 0 0 6846 106 0 0 17 0 13 0 206153718 1754710016 248794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154649087 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17410/tid=17413] ppid=17408 vsize=1713584 CPUtime=0.96 /proc/17410/task/17413/stat : 17413 (java) S 17408 17410 17364 0 -1 64 94 0 0 0 56 40 0 0 16 0 13 0 206153720 1754710016 248794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=17410/tid=17414] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17414/stat : 17414 (java) S 17408 17410 17364 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206153721 1754710016 248794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17415] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17415/stat : 17415 (java) S 17408 17410 17364 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206153721 1754710016 248794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17416] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17416/stat : 17416 (java) S 17408 17410 17364 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206153724 1754710016 248794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17417] ppid=17408 vsize=1713584 CPUtime=0.01 /proc/17410/task/17417/stat : 17417 (java) S 17408 17410 17364 0 -1 64 5 0 0 0 1 0 0 0 16 0 13 0 206153724 1754710016 248794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17418] ppid=17408 vsize=1713584 CPUtime=1.03 /proc/17410/task/17418/stat : 17418 (java) S 17408 17410 17364 0 -1 64 2141 0 0 0 103 0 0 0 17 0 13 0 206153724 1754710016 248794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17410/tid=17419] ppid=17408 vsize=1713584 CPUtime=1.11 /proc/17410/task/17419/stat : 17419 (java) S 17408 17410 17364 0 -1 64 2662 0 0 0 109 2 0 0 17 0 13 0 206153724 1754710016 248794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17420] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17420/stat : 17420 (java) S 17408 17410 17364 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206153724 1754710016 248794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17421] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17421/stat : 17421 (java) S 17408 17410 17364 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 206153724 1754710016 248794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17410/tid=17427] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17427/stat : 17427 (java) S 17408 17410 17364 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206153938 1754710016 248794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.36 Current children cumulated vsize (Kb) 1713584 [startup+1728.43 s] /proc/loadavg: 1.02 1.05 1.00 2/76 17429 /proc/meminfo: memFree=856744/2055920 swapFree=4181480/4192956 [pid=17410] ppid=17408 vsize=1713584 CPUtime=1798.46 /proc/17410/stat : 17410 (java) R 17408 17410 17364 0 -1 0 303816 0 1 0 179541 305 0 0 24 0 13 0 206153714 1754710016 249085 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071757177 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/17410/statm: 428396 249085 1910 14 0 415143 0 [pid=17410/tid=17411] ppid=17408 vsize=1713584 CPUtime=69.59 /proc/17410/task/17411/stat : 17411 (java) S 17408 17410 17364 0 -1 64 120894 0 0 0 6846 113 0 0 16 0 13 0 206153718 1754710016 249085 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17412] ppid=17408 vsize=1713584 CPUtime=69.62 /proc/17410/task/17412/stat : 17412 (java) S 17408 17410 17364 0 -1 64 120835 0 0 0 6856 106 0 0 17 0 13 0 206153718 1754710016 249085 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17410/tid=17413] ppid=17408 vsize=1713584 CPUtime=0.96 /proc/17410/task/17413/stat : 17413 (java) S 17408 17410 17364 0 -1 64 94 0 0 0 56 40 0 0 16 0 13 0 206153720 1754710016 249085 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=17410/tid=17414] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17414/stat : 17414 (java) S 17408 17410 17364 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206153721 1754710016 249085 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17415] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17415/stat : 17415 (java) S 17408 17410 17364 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206153721 1754710016 249085 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17416] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17416/stat : 17416 (java) S 17408 17410 17364 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206153724 1754710016 249085 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17417] ppid=17408 vsize=1713584 CPUtime=0.01 /proc/17410/task/17417/stat : 17417 (java) S 17408 17410 17364 0 -1 64 5 0 0 0 1 0 0 0 16 0 13 0 206153724 1754710016 249085 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17418] ppid=17408 vsize=1713584 CPUtime=1.03 /proc/17410/task/17418/stat : 17418 (java) S 17408 17410 17364 0 -1 64 2141 0 0 0 103 0 0 0 17 0 13 0 206153724 1754710016 249085 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17410/tid=17419] ppid=17408 vsize=1713584 CPUtime=1.11 /proc/17410/task/17419/stat : 17419 (java) S 17408 17410 17364 0 -1 64 2662 0 0 0 109 2 0 0 17 0 13 0 206153724 1754710016 249085 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17420] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17420/stat : 17420 (java) S 17408 17410 17364 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206153724 1754710016 249085 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17421] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17421/stat : 17421 (java) S 17408 17410 17364 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 206153724 1754710016 249085 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17410/tid=17427] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17427/stat : 17427 (java) S 17408 17410 17364 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206153938 1754710016 249085 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.46 Current children cumulated vsize (Kb) 1713584 [startup+1729.44 s] /proc/loadavg: 1.02 1.05 1.00 2/76 17429 /proc/meminfo: memFree=856232/2055920 swapFree=4181480/4192956 [pid=17410] ppid=17408 vsize=1713584 CPUtime=1799.55 /proc/17410/stat : 17410 (java) R 17408 17410 17364 0 -1 0 303940 0 1 0 179650 305 0 0 25 0 13 0 206153714 1754710016 249207 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071531648 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/17410/statm: 428396 249207 1910 14 0 415143 0 [pid=17410/tid=17411] ppid=17408 vsize=1713584 CPUtime=69.67 /proc/17410/task/17411/stat : 17411 (java) S 17408 17410 17364 0 -1 64 121000 0 0 0 6854 113 0 0 16 0 13 0 206153718 1754710016 249207 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17412] ppid=17408 vsize=1713584 CPUtime=69.7 /proc/17410/task/17412/stat : 17412 (java) S 17408 17410 17364 0 -1 64 120851 0 0 0 6864 106 0 0 17 0 13 0 206153718 1754710016 249207 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17410/tid=17413] ppid=17408 vsize=1713584 CPUtime=0.97 /proc/17410/task/17413/stat : 17413 (java) S 17408 17410 17364 0 -1 64 94 0 0 0 56 41 0 0 16 0 13 0 206153720 1754710016 249207 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=17410/tid=17414] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17414/stat : 17414 (java) S 17408 17410 17364 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206153721 1754710016 249207 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17415] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17415/stat : 17415 (java) S 17408 17410 17364 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206153721 1754710016 249207 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17416] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17416/stat : 17416 (java) S 17408 17410 17364 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206153724 1754710016 249207 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17417] ppid=17408 vsize=1713584 CPUtime=0.01 /proc/17410/task/17417/stat : 17417 (java) S 17408 17410 17364 0 -1 64 5 0 0 0 1 0 0 0 16 0 13 0 206153724 1754710016 249207 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17418] ppid=17408 vsize=1713584 CPUtime=1.03 /proc/17410/task/17418/stat : 17418 (java) S 17408 17410 17364 0 -1 64 2141 0 0 0 103 0 0 0 17 0 13 0 206153724 1754710016 249207 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17410/tid=17419] ppid=17408 vsize=1713584 CPUtime=1.11 /proc/17410/task/17419/stat : 17419 (java) S 17408 17410 17364 0 -1 64 2662 0 0 0 109 2 0 0 17 0 13 0 206153724 1754710016 249207 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17420] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17420/stat : 17420 (java) S 17408 17410 17364 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206153724 1754710016 249207 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17421] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17421/stat : 17421 (java) S 17408 17410 17364 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 206153724 1754710016 249207 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17410/tid=17427] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17427/stat : 17427 (java) S 17408 17410 17364 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206153938 1754710016 249207 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.55 Current children cumulated vsize (Kb) 1713584 [startup+1730.44 s] /proc/loadavg: 1.02 1.05 1.00 2/76 17429 /proc/meminfo: memFree=856232/2055920 swapFree=4181480/4192956 [pid=17410] ppid=17408 vsize=1713584 CPUtime=1800.61 /proc/17410/stat : 17410 (java) R 17408 17410 17364 0 -1 0 303947 0 1 0 179756 305 0 0 25 0 13 0 206153714 1754710016 249211 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071532171 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/17410/statm: 428396 249211 1910 14 0 415143 0 [pid=17410/tid=17411] ppid=17408 vsize=1713584 CPUtime=69.73 /proc/17410/task/17411/stat : 17411 (java) S 17408 17410 17364 0 -1 64 121003 0 0 0 6860 113 0 0 16 0 13 0 206153718 1754710016 249211 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17412] ppid=17408 vsize=1713584 CPUtime=69.76 /proc/17410/task/17412/stat : 17412 (java) S 17408 17410 17364 0 -1 64 120852 0 0 0 6870 106 0 0 16 0 13 0 206153718 1754710016 249211 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17410/tid=17413] ppid=17408 vsize=1713584 CPUtime=0.97 /proc/17410/task/17413/stat : 17413 (java) S 17408 17410 17364 0 -1 64 94 0 0 0 56 41 0 0 15 0 13 0 206153720 1754710016 249211 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17414] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17414/stat : 17414 (java) S 17408 17410 17364 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206153721 1754710016 249211 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17415] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17415/stat : 17415 (java) S 17408 17410 17364 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206153721 1754710016 249211 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17416] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17416/stat : 17416 (java) S 17408 17410 17364 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206153724 1754710016 249211 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17417] ppid=17408 vsize=1713584 CPUtime=0.01 /proc/17410/task/17417/stat : 17417 (java) S 17408 17410 17364 0 -1 64 5 0 0 0 1 0 0 0 16 0 13 0 206153724 1754710016 249211 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17418] ppid=17408 vsize=1713584 CPUtime=1.03 /proc/17410/task/17418/stat : 17418 (java) S 17408 17410 17364 0 -1 64 2141 0 0 0 103 0 0 0 17 0 13 0 206153724 1754710016 249211 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17410/tid=17419] ppid=17408 vsize=1713584 CPUtime=1.11 /proc/17410/task/17419/stat : 17419 (java) S 17408 17410 17364 0 -1 64 2662 0 0 0 109 2 0 0 17 0 13 0 206153724 1754710016 249211 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17420] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17420/stat : 17420 (java) S 17408 17410 17364 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206153724 1754710016 249211 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17421] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17421/stat : 17421 (java) S 17408 17410 17364 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 206153724 1754710016 249211 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17410/tid=17427] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17427/stat : 17427 (java) S 17408 17410 17364 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206153938 1754710016 249211 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.61 Current children cumulated vsize (Kb) 1713584 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1730.45 s] /proc/loadavg: 1.02 1.05 1.00 2/76 17429 /proc/meminfo: memFree=856232/2055920 swapFree=4181480/4192956 [pid=17410] ppid=17408 vsize=1713584 CPUtime=1800.62 /proc/17410/stat : 17410 (java) R 17408 17410 17364 0 -1 0 303947 0 1 0 179757 305 0 0 25 0 13 0 206153714 1754710016 249211 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071531669 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/17410/statm: 428396 249211 1910 14 0 415143 0 [pid=17410/tid=17411] ppid=17408 vsize=1713584 CPUtime=69.73 /proc/17410/task/17411/stat : 17411 (java) S 17408 17410 17364 0 -1 64 121003 0 0 0 6860 113 0 0 16 0 13 0 206153718 1754710016 249211 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17412] ppid=17408 vsize=1713584 CPUtime=69.76 /proc/17410/task/17412/stat : 17412 (java) S 17408 17410 17364 0 -1 64 120852 0 0 0 6870 106 0 0 16 0 13 0 206153718 1754710016 249211 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17410/tid=17413] ppid=17408 vsize=1713584 CPUtime=0.97 /proc/17410/task/17413/stat : 17413 (java) S 17408 17410 17364 0 -1 64 94 0 0 0 56 41 0 0 15 0 13 0 206153720 1754710016 249211 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17414] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17414/stat : 17414 (java) S 17408 17410 17364 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206153721 1754710016 249211 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17415] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17415/stat : 17415 (java) S 17408 17410 17364 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206153721 1754710016 249211 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17416] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17416/stat : 17416 (java) S 17408 17410 17364 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206153724 1754710016 249211 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17417] ppid=17408 vsize=1713584 CPUtime=0.01 /proc/17410/task/17417/stat : 17417 (java) S 17408 17410 17364 0 -1 64 5 0 0 0 1 0 0 0 16 0 13 0 206153724 1754710016 249211 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17418] ppid=17408 vsize=1713584 CPUtime=1.03 /proc/17410/task/17418/stat : 17418 (java) S 17408 17410 17364 0 -1 64 2141 0 0 0 103 0 0 0 17 0 13 0 206153724 1754710016 249211 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17410/tid=17419] ppid=17408 vsize=1713584 CPUtime=1.11 /proc/17410/task/17419/stat : 17419 (java) S 17408 17410 17364 0 -1 64 2662 0 0 0 109 2 0 0 17 0 13 0 206153724 1754710016 249211 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17420] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17420/stat : 17420 (java) S 17408 17410 17364 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206153724 1754710016 249211 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17410/tid=17421] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17421/stat : 17421 (java) S 17408 17410 17364 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 206153724 1754710016 249211 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17410/tid=17427] ppid=17408 vsize=1713584 CPUtime=0 /proc/17410/task/17427/stat : 17427 (java) S 17408 17410 17364 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206153938 1754710016 249211 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.62 Current children cumulated vsize (Kb) 1713584 Sending SIGTERM to -17410 Sleeping 2 seconds Child status: 143 Real time (s): 1730.7 CPU time (s): 1800.94 CPU user time (s): 1797.74 CPU system time (s): 3.20151 CPU usage (%): 104.059 Max. virtual memory (cumulated for all children) (Kb): 1713584
Begin job on node31 on Sun Jun 4 07:08:20 UTC 2006 FILE ID= 44297-1149404900 PBS_JOBID= 314345 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-ex5.pi.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node31/44297-1149404900/instance-44297-1149404900.opb 978710811 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node31/watcher-44297-1149404900 -o ROOT/results/node31/solver-44297-1149404900 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node31/44297-1149404900/instance-44297-1149404900.opb 978710811 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= f97e3571862917880e13c63c8ac169f9 RANDOM SEED= 978710811 /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: 1848784 kB Buffers: 11820 kB Cached: 126884 kB SwapCached: 3212 kB Active: 33144 kB Inactive: 114352 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1848784 kB SwapTotal: 4192956 kB SwapFree: 4181480 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14964 kB Slab: 45668 kB Committed_AS: 430740 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node31 on Sun Jun 4 07:37:11 UTC 2006