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