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