Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | SAT (TO) | 37 | 1800.97 | 1762.58 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-bw.b.opb |
MD5SUM | acd1698068c8e97cbd0c7cd62fe047fc |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 24 |
Best CPU time to get the best result obtained on this benchmark | 1800.49 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24 |
Optimality of the best value was proved | NO |
Number of variables | 2847 |
Total number of constraints | 4902 |
Number of constraints which are clauses | 4902 |
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 | 2 |
Maximum length of a constraint | 860 |
Number of terms in the objective function | 2847 |
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 | 2847 |
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 | 2847 |
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.22 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.22 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.23 c no version file found!!! 0.23 c sun.arch.data.model 32 0.23 c java.version 1.5.0_06 0.23 c os.name Linux 0.23 c os.version 2.6.9-22.EL.rootsmp 0.23 c os.arch i386 0.23 c Free memory 1548419056 0.23 c Max memory 1551040512 0.23 c Total memory 1551040512 0.23 c Number of processors 2 0.28 c Cutting planes based inference 0.28 c --- Begin Solver configuration --- 0.28 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.28 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.28 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.28 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.28 c VSIDS like heuristics from MiniSAT using a heap 0.28 c No reason simplification 0.28 c --- End Solver configuration --- 0.28 c solving ROOT/tmp/node52/50859-1154094496/instance-50859-1154094496.opb 0.28 c reading problem ... 2.31 c ... done. Time 2.035 ms. 2.31 c #vars 2847 2.31 c #constraints 4902 2.44 c SATISFIABLE 2.44 c OPTIMIZING... 2.44 c Got one! Ellapsed CPU time (in seconds):2.163 2.51 o 39 930.83 c Got one! Ellapsed CPU time (in seconds):930.558 930.84 o 38 1046.52 c Got one! Ellapsed CPU time (in seconds):1046.242 1046.53 o 37 1762.35 c starts : 17 1762.35 c conflicts : 3348 1762.35 c decisions : 183571 1762.35 c propagations : 481172 1762.35 c inspects : 7229847 1762.35 c learnt literals : 0 1762.35 c learnt binary clauses : 0 1762.35 c learnt ternary clauses : 0 1762.35 c learnt clauses : 3347 1762.35 c root simplifications : 0 1762.35 c removed literals (reason simplification) : 0 1762.35 c reason swapping (by a shorter reason) : 0 1762.35 c Calls to reduceDB : 0 1762.35 c speed (decisions/second) : 256.4503398224401 1762.35 c non guided choices 10960 1762.35 s SATISFIABLE 1762.41 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 x27 x28 x29 1762.41 v -x30 -x31 -x32 -x33 x34 -x35 x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 1762.41 v -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 1762.41 v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 1762.41 v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 1762.41 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 1762.41 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 1762.41 v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 1762.41 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 1762.41 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 1762.41 v -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 1762.41 v -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 1762.41 v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 1762.41 v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 1762.41 v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 1762.41 v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 1762.41 v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 1762.41 v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 1762.41 v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 1762.41 v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 x439 -x440 -x441 -x442 1762.41 v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 1762.41 v -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 1762.41 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 1762.41 v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 1762.41 v -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 1762.41 v -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 1762.41 v -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 1762.41 v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 1762.41 v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 1762.41 v -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 1762.41 v -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 1762.41 v -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 1762.41 v -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 1762.41 v -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 1762.41 v -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 1762.41 v -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 1762.41 v -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 1762.41 v -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 1762.41 v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 1762.41 v -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 1762.41 v -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 1762.41 v -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 1762.41 v x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 1762.41 v -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 1762.41 v -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 1762.41 v -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 1762.41 v -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 1762.41 v -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 1762.41 v -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 1762.41 v -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 1762.41 v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 1762.41 v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 1762.41 v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 1762.41 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 1762.41 v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 1762.41 v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 1762.41 v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 1762.41 v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 1762.41 v -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 1762.41 v -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 1762.41 v -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 1762.41 v -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 1762.41 v -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 1762.41 v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 1762.41 v -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 1762.41 v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 1762.41 v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 1762.41 v -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 1762.41 v -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 1762.41 v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 1762.41 v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 x1412 -x1413 -x1414 -x1415 1762.41 v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 1762.41 v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 x1448 -x1449 -x1450 1762.41 v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 1762.41 v -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 1762.41 v -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 1762.41 v -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 1762.41 v -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 1762.41 v -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 1762.41 v -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 1762.41 v -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 1762.41 v -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 1762.41 v -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 1762.41 v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 1762.41 v -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 1762.41 v -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 1762.41 v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 1762.41 v -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 1762.41 v -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 1762.41 v -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 1762.41 v -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 1762.41 v -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 1762.41 v -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 1762.41 v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 1762.41 v -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 1762.41 v -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 x1836 -x1837 -x1838 -x1839 -x1840 -x1841 1762.41 v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 1762.41 v -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 1762.41 v -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 1762.41 v -x1893 -x1894 -x1895 x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 x1907 -x1908 -x1909 -x1910 1762.41 v -x1911 -x1912 x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 -x1922 x1923 -x1924 -x1925 -x1926 -x1927 x1928 1762.41 v -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 1762.41 v -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 1762.41 v -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 1762.41 v -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 1762.41 v -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 1762.41 v -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 1762.41 v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 1762.41 v -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 1762.41 v -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 1762.41 v -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 1762.41 v -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 1762.41 v -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 1762.41 v -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 1762.41 v -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 1762.41 v -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 1762.41 v -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 1762.41 v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 1762.41 v -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 1762.41 v -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 1762.41 v -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 1762.41 v -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 1762.41 v -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 1762.41 v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 1762.41 v -x2320 -x2321 -x2322 -x2323 x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 1762.41 v -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 1762.41 v -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 1762.41 v -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 1762.41 v -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 1762.41 v -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 1762.41 v -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 1762.41 v -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 x2453 -x2454 -x2455 1762.41 v -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 1762.41 v -x2473 x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 1762.41 v -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 1762.41 v -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 1762.41 v -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 1762.41 v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 1762.41 v -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 1762.41 v -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 x2590 -x2591 1762.41 v -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 1762.41 v -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 x2621 -x2622 -x2623 -x2624 -x2625 1762.41 v -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 1762.41 v -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 1762.41 v -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 1762.41 v -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 1762.41 v -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 1762.41 v -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 1762.41 v -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 1762.41 v -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 1762.41 v -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 1762.41 v -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 1762.41 v -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 1762.41 v -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 1762.41 v -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 1762.41 v -x2847 1762.42 c objective function=37 1762.42 c Total wall clock time (ms): 1762.139
OK 37
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node52/watcher-50859-1154094496 -o ROOT/results/node52/solver-50859-1154094496 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node52/50859-1154094496/instance-50859-1154094496.opb 253588979 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.98 1.01 1.00 3/64 11565 /proc/meminfo: memFree=1239320/2055920 swapFree=4183112/4192956 [pid=11565] ppid=11563 vsize=168 CPUtime=0 /proc/11565/stat : 11565 (java) R 11563 11565 11516 0 -1 0 40 0 0 0 0 0 0 0 19 0 1 0 156320164 172032 23 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4309796 0 0 4096 0 0 0 0 17 1 0 0 /proc/11565/statm: 42 23 18 14 0 2 0 [startup+10.0025 s] /proc/loadavg: 0.98 1.01 1.00 2/76 11578 /proc/meminfo: memFree=1041152/2055920 swapFree=4183112/4192956 [pid=11565] ppid=11563 vsize=1712596 CPUtime=11.79 /proc/11565/stat : 11565 (java) R 11563 11565 11516 0 -1 0 57044 0 1 0 1151 28 0 0 17 0 13 0 156320164 1753698304 51319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071532428 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11565/statm: 428149 51319 1910 14 0 414896 0 [pid=11565/tid=11566] ppid=11563 vsize=1712596 CPUtime=0.4 /proc/11565/task/11566/stat : 11566 (java) S 11563 11565 11516 0 -1 64 8390 0 0 0 36 4 0 0 15 0 13 0 156320175 1753698304 51319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11567] ppid=11563 vsize=1712596 CPUtime=0.39 /proc/11565/task/11567/stat : 11567 (java) S 11563 11565 11516 0 -1 64 8895 0 0 0 35 4 0 0 16 0 13 0 156320175 1753698304 51319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11565/tid=11568] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11568/stat : 11568 (java) S 11563 11565 11516 0 -1 64 23 0 0 0 0 0 0 0 15 0 13 0 156320178 1753698304 51319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11569] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11569/stat : 11569 (java) S 11563 11565 11516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156320178 1753698304 51319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11570] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11570/stat : 11570 (java) S 11563 11565 11516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156320178 1753698304 51319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11571] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11571/stat : 11571 (java) S 11563 11565 11516 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 156320181 1753698304 51319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11572] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11572/stat : 11572 (java) S 11563 11565 11516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 156320181 1753698304 51319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11573] ppid=11563 vsize=1712596 CPUtime=1 /proc/11565/task/11573/stat : 11573 (java) S 11563 11565 11516 0 -1 64 2422 0 0 0 100 0 0 0 17 0 13 0 156320181 1753698304 51319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11574] ppid=11563 vsize=1712596 CPUtime=0.79 /proc/11565/task/11574/stat : 11574 (java) S 11563 11565 11516 0 -1 64 733 0 0 0 79 0 0 0 16 0 13 0 156320181 1753698304 51319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11565/tid=11575] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11575/stat : 11575 (java) S 11563 11565 11516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156320182 1753698304 51319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11576] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11576/stat : 11576 (java) S 11563 11565 11516 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 156320182 1753698304 51319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11565/tid=11578] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11578/stat : 11578 (java) S 11563 11565 11516 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 156320418 1753698304 51319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.79 Current children cumulated vsize (Kb) 1712596 [startup+20.0102 s] /proc/loadavg: 1.06 1.02 1.00 2/76 11578 /proc/meminfo: memFree=1088064/2055920 swapFree=4183112/4192956 [pid=11565] ppid=11563 vsize=1712596 CPUtime=21.83 /proc/11565/stat : 11565 (java) R 11563 11565 11516 0 -1 0 57490 0 1 0 2153 30 0 0 18 0 13 0 156320164 1753698304 39613 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071347554 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11565/statm: 428149 39613 1910 14 0 414896 0 [pid=11565/tid=11566] ppid=11563 vsize=1712596 CPUtime=0.43 /proc/11565/task/11566/stat : 11566 (java) S 11563 11565 11516 0 -1 64 8598 0 0 0 39 4 0 0 16 0 13 0 156320175 1753698304 39613 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11567] ppid=11563 vsize=1712596 CPUtime=0.43 /proc/11565/task/11567/stat : 11567 (java) S 11563 11565 11516 0 -1 64 9066 0 0 0 38 5 0 0 16 0 13 0 156320175 1753698304 39613 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11565/tid=11568] ppid=11563 vsize=1712596 CPUtime=0.02 /proc/11565/task/11568/stat : 11568 (java) S 11563 11565 11516 0 -1 64 23 0 0 0 0 2 0 0 16 0 13 0 156320178 1753698304 39613 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11569] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11569/stat : 11569 (java) S 11563 11565 11516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156320178 1753698304 39613 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11570] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11570/stat : 11570 (java) S 11563 11565 11516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156320178 1753698304 39613 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11571] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11571/stat : 11571 (java) S 11563 11565 11516 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 156320181 1753698304 39613 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11572] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11572/stat : 11572 (java) S 11563 11565 11516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 156320181 1753698304 39613 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11573] ppid=11563 vsize=1712596 CPUtime=1 /proc/11565/task/11573/stat : 11573 (java) S 11563 11565 11516 0 -1 64 2422 0 0 0 100 0 0 0 17 0 13 0 156320181 1753698304 39613 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11574] ppid=11563 vsize=1712596 CPUtime=0.81 /proc/11565/task/11574/stat : 11574 (java) S 11563 11565 11516 0 -1 64 763 0 0 0 81 0 0 0 17 0 13 0 156320181 1753698304 39613 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11575] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11575/stat : 11575 (java) S 11563 11565 11516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156320182 1753698304 39613 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11576] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11576/stat : 11576 (java) S 11563 11565 11516 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 156320182 1753698304 39613 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11565/tid=11578] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11578/stat : 11578 (java) S 11563 11565 11516 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 156320418 1753698304 39613 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.83 Current children cumulated vsize (Kb) 1712596 [startup+30.0169 s] /proc/loadavg: 1.05 1.02 1.00 2/76 11578 /proc/meminfo: memFree=1020800/2055920 swapFree=4183112/4192956 [pid=11565] ppid=11563 vsize=1712596 CPUtime=31.97 /proc/11565/stat : 11565 (java) R 11563 11565 11516 0 -1 0 76882 0 1 0 3156 41 0 0 24 0 13 0 156320164 1753698304 56495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071347554 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11565/statm: 428149 56495 1910 14 0 414896 0 [pid=11565/tid=11566] ppid=11563 vsize=1712596 CPUtime=0.53 /proc/11565/task/11566/stat : 11566 (java) S 11563 11565 11516 0 -1 64 11029 0 0 0 48 5 0 0 16 0 13 0 156320175 1753698304 56495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11565/tid=11567] ppid=11563 vsize=1712596 CPUtime=0.53 /proc/11565/task/11567/stat : 11567 (java) S 11563 11565 11516 0 -1 64 11739 0 0 0 47 6 0 0 16 0 13 0 156320175 1753698304 56495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11568] ppid=11563 vsize=1712596 CPUtime=0.03 /proc/11565/task/11568/stat : 11568 (java) S 11563 11565 11516 0 -1 64 58 0 0 0 1 2 0 0 16 0 13 0 156320178 1753698304 56495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11565/tid=11569] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11569/stat : 11569 (java) S 11563 11565 11516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156320178 1753698304 56495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11570] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11570/stat : 11570 (java) S 11563 11565 11516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156320178 1753698304 56495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11571] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11571/stat : 11571 (java) S 11563 11565 11516 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 156320181 1753698304 56495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11572] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11572/stat : 11572 (java) S 11563 11565 11516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 156320181 1753698304 56495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11573] ppid=11563 vsize=1712596 CPUtime=1.04 /proc/11565/task/11573/stat : 11573 (java) S 11563 11565 11516 0 -1 64 2424 0 0 0 104 0 0 0 16 0 13 0 156320181 1753698304 56495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11574] ppid=11563 vsize=1712596 CPUtime=0.81 /proc/11565/task/11574/stat : 11574 (java) S 11563 11565 11516 0 -1 64 763 0 0 0 81 0 0 0 15 0 13 0 156320181 1753698304 56495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11575] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11575/stat : 11575 (java) S 11563 11565 11516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156320182 1753698304 56495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11576] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11576/stat : 11576 (java) S 11563 11565 11516 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 156320182 1753698304 56495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11565/tid=11578] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11578/stat : 11578 (java) S 11563 11565 11516 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 156320418 1753698304 56495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.97 Current children cumulated vsize (Kb) 1712596 [startup+40.0235 s] /proc/loadavg: 1.04 1.02 1.00 2/76 11578 /proc/meminfo: memFree=1030976/2055920 swapFree=4183112/4192956 [pid=11565] ppid=11563 vsize=1712596 CPUtime=42 /proc/11565/stat : 11565 (java) R 11563 11565 11516 0 -1 0 77534 0 1 0 4158 42 0 0 16 0 13 0 156320164 1753698304 53915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071673251 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11565/statm: 428149 53915 1910 14 0 414896 0 [pid=11565/tid=11566] ppid=11563 vsize=1712596 CPUtime=0.57 /proc/11565/task/11566/stat : 11566 (java) S 11563 11565 11516 0 -1 64 11260 0 0 0 52 5 0 0 16 0 13 0 156320175 1753698304 53915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11567] ppid=11563 vsize=1712596 CPUtime=0.58 /proc/11565/task/11567/stat : 11567 (java) S 11563 11565 11516 0 -1 64 11966 0 0 0 51 7 0 0 16 0 13 0 156320175 1753698304 53915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11565/tid=11568] ppid=11563 vsize=1712596 CPUtime=0.05 /proc/11565/task/11568/stat : 11568 (java) S 11563 11565 11516 0 -1 64 58 0 0 0 2 3 0 0 15 0 13 0 156320178 1753698304 53915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11569] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11569/stat : 11569 (java) S 11563 11565 11516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156320178 1753698304 53915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11570] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11570/stat : 11570 (java) S 11563 11565 11516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156320178 1753698304 53915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11571] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11571/stat : 11571 (java) S 11563 11565 11516 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 156320181 1753698304 53915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11572] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11572/stat : 11572 (java) S 11563 11565 11516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 156320181 1753698304 53915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11573] ppid=11563 vsize=1712596 CPUtime=1.04 /proc/11565/task/11573/stat : 11573 (java) S 11563 11565 11516 0 -1 64 2424 0 0 0 104 0 0 0 16 0 13 0 156320181 1753698304 53915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11574] ppid=11563 vsize=1712596 CPUtime=0.81 /proc/11565/task/11574/stat : 11574 (java) S 11563 11565 11516 0 -1 64 763 0 0 0 81 0 0 0 15 0 13 0 156320181 1753698304 53915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11575] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11575/stat : 11575 (java) S 11563 11565 11516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156320182 1753698304 53915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11576] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11576/stat : 11576 (java) S 11563 11565 11516 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 156320182 1753698304 53915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11565/tid=11578] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11578/stat : 11578 (java) S 11563 11565 11516 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 156320418 1753698304 53915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 42 Current children cumulated vsize (Kb) 1712596 [startup+50.0312 s] /proc/loadavg: 1.03 1.02 1.00 2/76 11578 /proc/meminfo: memFree=1011840/2055920 swapFree=4183112/4192956 [pid=11565] ppid=11563 vsize=1712596 CPUtime=52.05 /proc/11565/stat : 11565 (java) R 11563 11565 11516 0 -1 0 83277 0 1 0 5160 45 0 0 24 0 13 0 156320164 1753698304 58743 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071532934 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11565/statm: 428149 58743 1910 14 0 414896 0 [pid=11565/tid=11566] ppid=11563 vsize=1712596 CPUtime=0.61 /proc/11565/task/11566/stat : 11566 (java) S 11563 11565 11516 0 -1 64 11817 0 0 0 56 5 0 0 16 0 13 0 156320175 1753698304 58743 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11565/tid=11567] ppid=11563 vsize=1712596 CPUtime=0.62 /proc/11565/task/11567/stat : 11567 (java) S 11563 11565 11516 0 -1 64 12598 0 0 0 55 7 0 0 16 0 13 0 156320175 1753698304 58743 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11568] ppid=11563 vsize=1712596 CPUtime=0.05 /proc/11565/task/11568/stat : 11568 (java) S 11563 11565 11516 0 -1 64 68 0 0 0 2 3 0 0 16 0 13 0 156320178 1753698304 58743 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11569] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11569/stat : 11569 (java) S 11563 11565 11516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156320178 1753698304 58743 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11570] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11570/stat : 11570 (java) S 11563 11565 11516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156320178 1753698304 58743 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11571] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11571/stat : 11571 (java) S 11563 11565 11516 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 156320181 1753698304 58743 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11572] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11572/stat : 11572 (java) S 11563 11565 11516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 156320181 1753698304 58743 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11573] ppid=11563 vsize=1712596 CPUtime=1.04 /proc/11565/task/11573/stat : 11573 (java) S 11563 11565 11516 0 -1 64 2424 0 0 0 104 0 0 0 16 0 13 0 156320181 1753698304 58743 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11574] ppid=11563 vsize=1712596 CPUtime=0.81 /proc/11565/task/11574/stat : 11574 (java) S 11563 11565 11516 0 -1 64 763 0 0 0 81 0 0 0 15 0 13 0 156320181 1753698304 58743 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11575] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11575/stat : 11575 (java) S 11563 11565 11516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156320182 1753698304 58743 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11576] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11576/stat : 11576 (java) S 11563 11565 11516 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 156320182 1753698304 58743 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11565/tid=11578] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11578/stat : 11578 (java) S 11563 11565 11516 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 156320418 1753698304 58743 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 52.05 Current children cumulated vsize (Kb) 1712596 [startup+60.0379 s] /proc/loadavg: 1.03 1.02 1.00 2/76 11578 /proc/meminfo: memFree=1018560/2055920 swapFree=4183112/4192956 [pid=11565] ppid=11563 vsize=1712596 CPUtime=62.17 /proc/11565/stat : 11565 (java) R 11563 11565 11516 0 -1 0 83770 0 1 0 6171 46 0 0 20 0 13 0 156320164 1753698304 57023 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071670525 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11565/statm: 428149 57023 1910 14 0 414896 0 [pid=11565/tid=11566] ppid=11563 vsize=1712596 CPUtime=0.65 /proc/11565/task/11566/stat : 11566 (java) S 11563 11565 11516 0 -1 64 12049 0 0 0 60 5 0 0 15 0 13 0 156320175 1753698304 57023 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11565/tid=11567] ppid=11563 vsize=1712596 CPUtime=0.65 /proc/11565/task/11567/stat : 11567 (java) S 11563 11565 11516 0 -1 64 12829 0 0 0 58 7 0 0 16 0 13 0 156320175 1753698304 57023 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11568] ppid=11563 vsize=1712596 CPUtime=0.06 /proc/11565/task/11568/stat : 11568 (java) S 11563 11565 11516 0 -1 64 68 0 0 0 2 4 0 0 16 0 13 0 156320178 1753698304 57023 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11569] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11569/stat : 11569 (java) S 11563 11565 11516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156320178 1753698304 57023 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11570] ppid=11563 vsize=1712596 CPUtime=0 /proc/11565/task/11570/stat : 11570 (java) S 11563 11565 11516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156320178 1753698304 57023 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11571] ppid=11563 vsize=1712596 CPUtime=0 ################ # More data... # ################ /proc/11565/task/11569/stat : 11569 (java) S 11563 11565 11516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156320178 1754746880 200795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11570] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11570/stat : 11570 (java) S 11563 11565 11516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156320178 1754746880 200795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11571] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11571/stat : 11571 (java) S 11563 11565 11516 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 156320181 1754746880 200795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11572] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11572/stat : 11572 (java) S 11563 11565 11516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 156320181 1754746880 200795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11573] ppid=11563 vsize=1713620 CPUtime=1.11 /proc/11565/task/11573/stat : 11573 (java) S 11563 11565 11516 0 -1 64 2426 0 0 0 111 0 0 0 17 0 13 0 156320181 1754746880 200795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11574] ppid=11563 vsize=1713620 CPUtime=0.94 /proc/11565/task/11574/stat : 11574 (java) S 11563 11565 11516 0 -1 64 1570 0 0 0 94 0 0 0 17 0 13 0 156320181 1754746880 200795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11575] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11575/stat : 11575 (java) S 11563 11565 11516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156320182 1754746880 200795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11576] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11576/stat : 11576 (java) S 11563 11565 11516 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 156320182 1754746880 200795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11565/tid=11778] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11778/stat : 11778 (java) S 11563 11565 11516 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 156424818 1754746880 200795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.52 Current children cumulated vsize (Kb) 1713620 [startup+1759.32 s] /proc/loadavg: 1.01 1.03 1.00 2/76 11778 /proc/meminfo: memFree=441656/2055920 swapFree=4183112/4192956 [pid=11565] ppid=11563 vsize=1713620 CPUtime=1797.56 /proc/11565/stat : 11565 (java) R 11563 11565 11516 0 -1 0 272634 0 1 0 179472 284 0 0 17 0 13 0 156320164 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071532738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11565/statm: 428405 200800 1910 14 0 415152 0 [pid=11565/tid=11566] ppid=11563 vsize=1713620 CPUtime=37.54 /proc/11565/task/11566/stat : 11566 (java) S 11563 11565 11516 0 -1 64 99585 0 0 0 3666 88 0 0 16 0 13 0 156320175 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11567] ppid=11563 vsize=1713620 CPUtime=37.6 /proc/11565/task/11567/stat : 11567 (java) S 11563 11565 11516 0 -1 64 94173 0 0 0 3672 88 0 0 16 0 13 0 156320175 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11565/tid=11568] ppid=11563 vsize=1713620 CPUtime=1.08 /proc/11565/task/11568/stat : 11568 (java) S 11563 11565 11516 0 -1 64 112 0 0 0 63 45 0 0 15 0 13 0 156320178 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11569] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11569/stat : 11569 (java) S 11563 11565 11516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156320178 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11570] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11570/stat : 11570 (java) S 11563 11565 11516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156320178 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11571] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11571/stat : 11571 (java) S 11563 11565 11516 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 156320181 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11572] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11572/stat : 11572 (java) S 11563 11565 11516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 156320181 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11573] ppid=11563 vsize=1713620 CPUtime=1.11 /proc/11565/task/11573/stat : 11573 (java) S 11563 11565 11516 0 -1 64 2426 0 0 0 111 0 0 0 17 0 13 0 156320181 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11574] ppid=11563 vsize=1713620 CPUtime=0.94 /proc/11565/task/11574/stat : 11574 (java) S 11563 11565 11516 0 -1 64 1570 0 0 0 94 0 0 0 17 0 13 0 156320181 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11575] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11575/stat : 11575 (java) S 11563 11565 11516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156320182 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11576] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11576/stat : 11576 (java) S 11563 11565 11516 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 156320182 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11565/tid=11778] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11778/stat : 11778 (java) S 11563 11565 11516 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 156424818 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.56 Current children cumulated vsize (Kb) 1713620 [startup+1760.33 s] /proc/loadavg: 1.01 1.03 1.00 2/76 11778 /proc/meminfo: memFree=441656/2055920 swapFree=4183112/4192956 [pid=11565] ppid=11563 vsize=1713620 CPUtime=1798.59 /proc/11565/stat : 11565 (java) R 11563 11565 11516 0 -1 0 272636 0 1 0 179575 284 0 0 19 0 13 0 156320164 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071532738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11565/statm: 428405 200800 1910 14 0 415152 0 [pid=11565/tid=11566] ppid=11563 vsize=1713620 CPUtime=37.57 /proc/11565/task/11566/stat : 11566 (java) S 11563 11565 11516 0 -1 64 99585 0 0 0 3669 88 0 0 16 0 13 0 156320175 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11567] ppid=11563 vsize=1713620 CPUtime=37.62 /proc/11565/task/11567/stat : 11567 (java) S 11563 11565 11516 0 -1 64 94173 0 0 0 3674 88 0 0 16 0 13 0 156320175 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11565/tid=11568] ppid=11563 vsize=1713620 CPUtime=1.08 /proc/11565/task/11568/stat : 11568 (java) S 11563 11565 11516 0 -1 64 112 0 0 0 63 45 0 0 15 0 13 0 156320178 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11569] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11569/stat : 11569 (java) S 11563 11565 11516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156320178 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11570] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11570/stat : 11570 (java) S 11563 11565 11516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156320178 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11571] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11571/stat : 11571 (java) S 11563 11565 11516 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 156320181 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11572] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11572/stat : 11572 (java) S 11563 11565 11516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 156320181 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11573] ppid=11563 vsize=1713620 CPUtime=1.11 /proc/11565/task/11573/stat : 11573 (java) S 11563 11565 11516 0 -1 64 2426 0 0 0 111 0 0 0 17 0 13 0 156320181 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11574] ppid=11563 vsize=1713620 CPUtime=0.94 /proc/11565/task/11574/stat : 11574 (java) S 11563 11565 11516 0 -1 64 1570 0 0 0 94 0 0 0 17 0 13 0 156320181 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11575] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11575/stat : 11575 (java) S 11563 11565 11516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156320182 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11576] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11576/stat : 11576 (java) S 11563 11565 11516 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 156320182 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11565/tid=11778] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11778/stat : 11778 (java) S 11563 11565 11516 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 156424818 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.59 Current children cumulated vsize (Kb) 1713620 [startup+1761.33 s] /proc/loadavg: 1.01 1.03 1.00 2/76 11778 /proc/meminfo: memFree=441656/2055920 swapFree=4183112/4192956 [pid=11565] ppid=11563 vsize=1713620 CPUtime=1799.63 /proc/11565/stat : 11565 (java) R 11563 11565 11516 0 -1 0 272645 0 1 0 179679 284 0 0 25 0 13 0 156320164 1754746880 200806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071533641 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11565/statm: 428405 200806 1910 14 0 415152 0 [pid=11565/tid=11566] ppid=11563 vsize=1713620 CPUtime=37.6 /proc/11565/task/11566/stat : 11566 (java) S 11563 11565 11516 0 -1 64 99591 0 0 0 3672 88 0 0 16 0 13 0 156320175 1754746880 200806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11567] ppid=11563 vsize=1713620 CPUtime=37.66 /proc/11565/task/11567/stat : 11567 (java) S 11563 11565 11516 0 -1 64 94173 0 0 0 3678 88 0 0 15 0 13 0 156320175 1754746880 200806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11565/tid=11568] ppid=11563 vsize=1713620 CPUtime=1.08 /proc/11565/task/11568/stat : 11568 (java) S 11563 11565 11516 0 -1 64 112 0 0 0 63 45 0 0 16 0 13 0 156320178 1754746880 200806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11569] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11569/stat : 11569 (java) S 11563 11565 11516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156320178 1754746880 200806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11570] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11570/stat : 11570 (java) S 11563 11565 11516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156320178 1754746880 200806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11571] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11571/stat : 11571 (java) S 11563 11565 11516 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 156320181 1754746880 200806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11572] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11572/stat : 11572 (java) S 11563 11565 11516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 156320181 1754746880 200806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11573] ppid=11563 vsize=1713620 CPUtime=1.11 /proc/11565/task/11573/stat : 11573 (java) S 11563 11565 11516 0 -1 64 2426 0 0 0 111 0 0 0 17 0 13 0 156320181 1754746880 200806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11574] ppid=11563 vsize=1713620 CPUtime=0.94 /proc/11565/task/11574/stat : 11574 (java) S 11563 11565 11516 0 -1 64 1570 0 0 0 94 0 0 0 17 0 13 0 156320181 1754746880 200806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11575] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11575/stat : 11575 (java) S 11563 11565 11516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156320182 1754746880 200806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11576] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11576/stat : 11576 (java) S 11563 11565 11516 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 156320182 1754746880 200806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11565/tid=11778] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11778/stat : 11778 (java) S 11563 11565 11516 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 156424818 1754746880 200806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.63 Current children cumulated vsize (Kb) 1713620 [startup+1762.34 s] /proc/loadavg: 1.01 1.03 1.00 2/76 11778 /proc/meminfo: memFree=441656/2055920 swapFree=4183112/4192956 [pid=11565] ppid=11563 vsize=1713620 CPUtime=1800.66 /proc/11565/stat : 11565 (java) R 11563 11565 11516 0 -1 0 272653 0 1 0 179782 284 0 0 25 0 13 0 156320164 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071671740 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11565/statm: 428405 200812 1910 14 0 415152 0 [pid=11565/tid=11566] ppid=11563 vsize=1713620 CPUtime=37.63 /proc/11565/task/11566/stat : 11566 (java) S 11563 11565 11516 0 -1 64 99596 0 0 0 3675 88 0 0 16 0 13 0 156320175 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11567] ppid=11563 vsize=1713620 CPUtime=37.68 /proc/11565/task/11567/stat : 11567 (java) S 11563 11565 11516 0 -1 64 94174 0 0 0 3680 88 0 0 15 0 13 0 156320175 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11565/tid=11568] ppid=11563 vsize=1713620 CPUtime=1.08 /proc/11565/task/11568/stat : 11568 (java) S 11563 11565 11516 0 -1 64 112 0 0 0 63 45 0 0 16 0 13 0 156320178 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11565/tid=11569] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11569/stat : 11569 (java) S 11563 11565 11516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156320178 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11570] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11570/stat : 11570 (java) S 11563 11565 11516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156320178 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11571] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11571/stat : 11571 (java) S 11563 11565 11516 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 156320181 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11572] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11572/stat : 11572 (java) S 11563 11565 11516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 156320181 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11573] ppid=11563 vsize=1713620 CPUtime=1.11 /proc/11565/task/11573/stat : 11573 (java) S 11563 11565 11516 0 -1 64 2426 0 0 0 111 0 0 0 17 0 13 0 156320181 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11574] ppid=11563 vsize=1713620 CPUtime=0.94 /proc/11565/task/11574/stat : 11574 (java) S 11563 11565 11516 0 -1 64 1570 0 0 0 94 0 0 0 17 0 13 0 156320181 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11575] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11575/stat : 11575 (java) S 11563 11565 11516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156320182 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11576] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11576/stat : 11576 (java) S 11563 11565 11516 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 156320182 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11778] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11778/stat : 11778 (java) S 11563 11565 11516 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 156424818 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.66 Current children cumulated vsize (Kb) 1713620 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1762.34 s] /proc/loadavg: 1.01 1.03 1.00 2/76 11778 /proc/meminfo: memFree=441592/2055920 swapFree=4183112/4192956 [pid=11565] ppid=11563 vsize=1713620 CPUtime=1800.66 /proc/11565/stat : 11565 (java) R 11563 11565 11516 0 -1 0 272653 0 1 0 179782 284 0 0 25 0 13 0 156320164 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071596849 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11565/statm: 428405 200812 1910 14 0 415152 0 [pid=11565/tid=11566] ppid=11563 vsize=1713620 CPUtime=37.63 /proc/11565/task/11566/stat : 11566 (java) S 11563 11565 11516 0 -1 64 99596 0 0 0 3675 88 0 0 16 0 13 0 156320175 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11567] ppid=11563 vsize=1713620 CPUtime=37.68 /proc/11565/task/11567/stat : 11567 (java) S 11563 11565 11516 0 -1 64 94174 0 0 0 3680 88 0 0 15 0 13 0 156320175 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11565/tid=11568] ppid=11563 vsize=1713620 CPUtime=1.08 /proc/11565/task/11568/stat : 11568 (java) S 11563 11565 11516 0 -1 64 112 0 0 0 63 45 0 0 16 0 13 0 156320178 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11565/tid=11569] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11569/stat : 11569 (java) S 11563 11565 11516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156320178 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11570] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11570/stat : 11570 (java) S 11563 11565 11516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156320178 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11571] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11571/stat : 11571 (java) S 11563 11565 11516 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 156320181 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11572] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11572/stat : 11572 (java) S 11563 11565 11516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 156320181 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11573] ppid=11563 vsize=1713620 CPUtime=1.11 /proc/11565/task/11573/stat : 11573 (java) S 11563 11565 11516 0 -1 64 2426 0 0 0 111 0 0 0 17 0 13 0 156320181 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11574] ppid=11563 vsize=1713620 CPUtime=0.94 /proc/11565/task/11574/stat : 11574 (java) S 11563 11565 11516 0 -1 64 1570 0 0 0 94 0 0 0 17 0 13 0 156320181 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11575] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11575/stat : 11575 (java) S 11563 11565 11516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156320182 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11576] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11576/stat : 11576 (java) S 11563 11565 11516 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 156320182 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11565/tid=11778] ppid=11563 vsize=1713620 CPUtime=0 /proc/11565/task/11778/stat : 11778 (java) S 11563 11565 11516 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 156424818 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.66 Current children cumulated vsize (Kb) 1713620 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 1762.58 CPU time (s): 1800.97 CPU user time (s): 1797.99 CPU system time (s): 2.97355 CPU usage (%): 102.178 Max. virtual memory (cumulated for all children) (Kb): 1713620 The end
Begin job on node52 on Fri Jul 28 13:48:16 UTC 2006 FILE ID= 50859-1154094496 PBS_JOBID= 885858 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-bw.b.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node52/50859-1154094496/instance-50859-1154094496.opb 253588979 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-50859-1154094496 -o ROOT/results/node52/solver-50859-1154094496 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node52/50859-1154094496/instance-50859-1154094496.opb 253588979 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= acd1698068c8e97cbd0c7cd62fe047fc RANDOM SEED= 253588979 TIMEOUT= 1800 seconds /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.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: 1239528 kB Buffers: 30372 kB Cached: 717076 kB SwapCached: 3680 kB Active: 30340 kB Inactive: 725732 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1239528 kB SwapTotal: 4192956 kB SwapFree: 4183112 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14712 kB Slab: 46212 kB Committed_AS: 657496 kB PageTables: 1500 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node52 on Fri Jul 28 14:17:38 UTC 2006