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