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