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