Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | SAT (TO) | -23 | 1800.95 | 1786.53 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-blend.opb |
MD5SUM | b27b0c72b75cc4f9d136fed88900224a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -24 |
Best CPU time to get the best result obtained on this benchmark | 488.339 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -24 |
Optimality of the best value was proved | YES |
Number of variables | 2490 |
Total number of constraints | 74 |
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 | 74 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 780 |
Number of terms in the objective function | 660 |
Biggest coefficient in the objective function | 37049 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 524798 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 524862 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.15 c no version file found!!! 0.15 c sun.arch.data.model 32 0.15 c java.version 1.5.0_06 0.15 c os.name Linux 0.15 c os.version 2.6.9-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.20 c Cutting planes based inference 0.20 c --- Begin Solver configuration --- 0.20 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.20 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.20 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20 c No reason simplification 0.20 c --- End Solver configuration --- 0.20 c solving ROOT/tmp/node60/43912-1149327056/instance-43912-1149327056.opb 0.20 c reading problem ... 0.88 c ... done. Time 0.676 ms. 0.88 c #vars 2490 0.88 c #constraints 114 1.03 c SATISFIABLE 1.03 c OPTIMIZING... 1.03 c Got one! Ellapsed CPU time (in seconds):0.822 1.04 o 0 19.94 c Got one! Ellapsed CPU time (in seconds):19.736 19.94 o -1 29.63 c Got one! Ellapsed CPU time (in seconds):29.422 29.63 o -8 74.14 c Got one! Ellapsed CPU time (in seconds):73.938 74.14 o -20 87.39 c Got one! Ellapsed CPU time (in seconds):87.183 87.39 o -21 134.99 c Got one! Ellapsed CPU time (in seconds):134.789 135.00 o -22 317.96 c Got one! Ellapsed CPU time (in seconds):317.757 317.96 o -23 1786.34 c starts : 26 1786.34 c conflicts : 36781 1786.34 c decisions : 65801 1786.34 c propagations : 307635 1786.34 c inspects : 304585205 1786.34 c learnt literals : 0 1786.34 c learnt binary clauses : 0 1786.34 c learnt ternary clauses : 0 1786.34 c learnt clauses : 36780 1786.34 c root simplifications : 0 1786.34 c removed literals (reason simplification) : 0 1786.34 c reason swapping (by a shorter reason) : 0 1786.34 c Calls to reduceDB : 0 1786.34 c speed (decisions/second) : 44.81218328040627 1786.34 c non guided choices 1249 1786.34 s SATISFIABLE 1786.38 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 1786.38 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 1786.38 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 1786.38 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 1786.38 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1786.38 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1786.38 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1786.38 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1786.38 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1786.38 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1786.38 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1786.38 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1786.38 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1786.38 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1786.38 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1786.38 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1786.38 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1786.38 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1786.38 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1786.38 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1786.38 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1786.38 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1786.38 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1786.38 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1786.38 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1786.38 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1786.38 v -x567 -x568 -x569 -x570 x571 x572 x573 x574 x575 x576 x577 x578 x579 x580 x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 1786.38 v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 1786.38 v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 1786.38 v -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 1786.38 v -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 1786.38 v -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 1786.38 v -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 1786.38 v -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 1786.38 v -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 1786.38 v -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 1786.38 v -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 1786.38 v -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 1786.38 v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 x841 1786.38 v x842 -x843 x844 x845 -x846 -x847 -x848 -x849 -x850 x851 x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 1786.38 v -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 1786.38 v -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 x902 -x903 -x904 -x905 1786.38 v -x906 -x907 -x908 -x909 -x910 -x911 x912 -x913 -x914 x915 x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 1786.38 v -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 1786.38 v -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 1786.38 v -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 1786.38 v -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 1786.38 v -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 1786.38 v -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 1786.38 v -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 1786.38 v -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 1786.38 v -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 1786.38 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 1786.38 v -x1111 -x1112 -x1113 -x1114 x1115 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 1786.38 v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 1786.38 v -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 1786.38 v -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 x1175 -x1176 -x1177 -x1178 -x1179 1786.38 v -x1180 -x1181 x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 1786.38 v -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 1786.38 v -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 1786.38 v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 1786.38 v -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 1786.38 v -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 1786.38 v -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 1786.38 v -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 1786.38 v -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 1786.38 v -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 1786.38 v -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 1786.38 v -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 x1381 x1382 x1383 x1384 1786.38 v x1385 x1386 x1387 x1388 x1389 x1390 x1391 x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 1786.38 v -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 1786.38 v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 1786.38 v -x1438 -x1439 -x1440 x1441 x1442 x1443 x1444 -x1445 x1446 x1447 x1448 x1449 x1450 -x1451 x1452 x1453 x1454 -x1455 -x1456 1786.38 v -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 1786.38 v -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 1786.38 v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 1786.38 v -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 1786.38 v -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 1786.38 v -x1542 -x1543 x1544 x1545 x1546 x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 1786.38 v -x1560 x1561 x1562 x1563 x1564 x1565 x1566 x1567 x1568 x1569 x1570 x1571 x1572 x1573 -x1574 x1575 x1576 -x1577 -x1578 -x1579 1786.38 v -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 1786.38 v -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 1786.38 v -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 1786.38 v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 1786.38 v -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 1786.38 v -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 1786.38 v -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 1786.38 v -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 1786.38 v -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 1786.38 v -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 1786.38 v -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 1786.38 v -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 1786.38 v -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 1786.38 v -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 1786.38 v -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 1786.38 v -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 1786.38 v -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 1786.38 v -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 1786.38 v -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 1786.38 v -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 1786.38 v -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 1786.38 v -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 1786.38 v -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 1786.38 v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 1786.38 v -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 1786.38 v -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 1786.38 v -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 1786.38 v -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 1786.38 v -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 1786.38 v -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 1786.38 v -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 1786.38 v -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 1786.38 v -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 1786.38 v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 1786.38 v -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 1786.38 v -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 1786.38 v -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 1786.38 v -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 1786.38 v -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 1786.38 v -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 1786.38 v -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 1786.38 v -x2277 -x2278 -x2279 -x2280 x2281 x2282 x2283 x2284 x2285 x2286 x2287 x2288 x2289 x2290 x2291 x2292 x2293 x2294 x2295 -x2296 1786.38 v -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 1786.38 v -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 1786.38 v -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 1786.38 v -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 1786.38 v -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 1786.38 v -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 1786.38 v -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 1786.38 v -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 1786.38 v -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 1786.38 v -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 1786.38 v -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 1786.38 v -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 1786.38 c objective function=-23 1786.38 c Total wall clock time (ms): 1786.178
OK -23
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/node60/watcher-43912-1149327056 -o ROOT/results/node60/solver-43912-1149327056 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node60/43912-1149327056/instance-43912-1149327056.opb 627872305 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.99 3/64 22266 /proc/meminfo: memFree=1530728/2055920 swapFree=4181460/4192956 [pid=22266] ppid=22264 vsize=18540 CPUtime=0 /proc/22266/stat : 22266 (runsolver) R 22264 22266 22220 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 198373403 18984960 279 18446744073709551615 4194304 4262084 548682068944 18446744073709551615 271894244647 0 2147483391 4096 24578 0 0 0 17 0 0 0 /proc/22266/statm: 4635 279 243 16 0 2626 0 [startup+10.0026 s] /proc/loadavg: 1.00 0.99 0.99 2/76 22279 /proc/meminfo: memFree=1345936/2055920 swapFree=4181460/4192956 [pid=22266] ppid=22264 vsize=1715424 CPUtime=11.51 /proc/22266/stat : 22266 (java) R 22264 22266 22220 0 -1 0 52084 0 1 0 1128 23 0 0 25 0 13 0 198373403 1756594176 47965 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071700408 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22266/statm: 428856 47965 1905 14 0 415603 0 [pid=22266/tid=22267] ppid=22264 vsize=1715424 CPUtime=0.09 /proc/22266/task/22267/stat : 22267 (java) S 22264 22266 22220 0 -1 64 2409 0 0 0 8 1 0 0 16 0 13 0 198373407 1756594176 47965 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22268] ppid=22264 vsize=1715424 CPUtime=0.1 /proc/22266/task/22268/stat : 22268 (java) S 22264 22266 22220 0 -1 64 2742 0 0 0 9 1 0 0 16 0 13 0 198373407 1756594176 47965 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22269] ppid=22264 vsize=1715424 CPUtime=0 /proc/22266/task/22269/stat : 22269 (java) S 22264 22266 22220 0 -1 64 35 0 0 0 0 0 0 0 16 0 13 0 198373410 1756594176 47965 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22270] ppid=22264 vsize=1715424 CPUtime=0 /proc/22266/task/22270/stat : 22270 (java) S 22264 22266 22220 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198373410 1756594176 47965 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22271] ppid=22264 vsize=1715424 CPUtime=0 /proc/22266/task/22271/stat : 22271 (java) S 22264 22266 22220 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198373410 1756594176 47965 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22272] ppid=22264 vsize=1715424 CPUtime=0 /proc/22266/task/22272/stat : 22272 (java) S 22264 22266 22220 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198373414 1756594176 47965 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22273] ppid=22264 vsize=1715424 CPUtime=0 /proc/22266/task/22273/stat : 22273 (java) S 22264 22266 22220 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 198373414 1756594176 47965 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22274] ppid=22264 vsize=1715424 CPUtime=1.04 /proc/22266/task/22274/stat : 22274 (java) S 22264 22266 22220 0 -1 64 2236 0 0 0 104 0 0 0 16 0 13 0 198373414 1756594176 47965 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22275] ppid=22264 vsize=1715424 CPUtime=0.92 /proc/22266/task/22275/stat : 22275 (java) S 22264 22266 22220 0 -1 64 2521 0 0 0 91 1 0 0 16 0 13 0 198373414 1756594176 47965 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22276] ppid=22264 vsize=1715424 CPUtime=0 /proc/22266/task/22276/stat : 22276 (java) S 22264 22266 22220 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 198373414 1756594176 47965 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22277] ppid=22264 vsize=1715424 CPUtime=0 /proc/22266/task/22277/stat : 22277 (java) S 22264 22266 22220 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 198373414 1756594176 47965 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22279] ppid=22264 vsize=1715424 CPUtime=0 /proc/22266/task/22279/stat : 22279 (java) S 22264 22266 22220 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 198373509 1756594176 47965 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.51 Current children cumulated vsize (Kb) 1715424 [startup+20.0094 s] /proc/loadavg: 1.00 0.99 0.99 2/76 22280 /proc/meminfo: memFree=1346248/2055920 swapFree=4181460/4192956 [pid=22266] ppid=22264 vsize=1715424 CPUtime=21.6 /proc/22266/stat : 22266 (java) R 22264 22266 22220 0 -1 0 54370 0 1 0 2135 25 0 0 23 0 13 0 198373403 1756594176 47907 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071358314 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22266/statm: 428856 47907 1907 14 0 415603 0 [pid=22266/tid=22267] ppid=22264 vsize=1715424 CPUtime=0.15 /proc/22266/task/22267/stat : 22267 (java) S 22264 22266 22220 0 -1 64 3348 0 0 0 14 1 0 0 16 0 13 0 198373407 1756594176 47907 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22268] ppid=22264 vsize=1715424 CPUtime=0.15 /proc/22266/task/22268/stat : 22268 (java) S 22264 22266 22220 0 -1 64 4062 0 0 0 14 1 0 0 16 0 13 0 198373407 1756594176 47907 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22269] ppid=22264 vsize=1715424 CPUtime=0 /proc/22266/task/22269/stat : 22269 (java) S 22264 22266 22220 0 -1 64 42 0 0 0 0 0 0 0 16 0 13 0 198373410 1756594176 47907 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22270] ppid=22264 vsize=1715424 CPUtime=0 /proc/22266/task/22270/stat : 22270 (java) S 22264 22266 22220 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198373410 1756594176 47907 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22271] ppid=22264 vsize=1715424 CPUtime=0 /proc/22266/task/22271/stat : 22271 (java) S 22264 22266 22220 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198373410 1756594176 47907 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22272] ppid=22264 vsize=1715424 CPUtime=0 /proc/22266/task/22272/stat : 22272 (java) S 22264 22266 22220 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198373414 1756594176 47907 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22273] ppid=22264 vsize=1715424 CPUtime=0 /proc/22266/task/22273/stat : 22273 (java) S 22264 22266 22220 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 198373414 1756594176 47907 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22274] ppid=22264 vsize=1715424 CPUtime=1.07 /proc/22266/task/22274/stat : 22274 (java) S 22264 22266 22220 0 -1 64 2237 0 0 0 107 0 0 0 16 0 13 0 198373414 1756594176 47907 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22275] ppid=22264 vsize=1715424 CPUtime=0.93 /proc/22266/task/22275/stat : 22275 (java) S 22264 22266 22220 0 -1 64 2524 0 0 0 92 1 0 0 17 0 13 0 198373414 1756594176 47907 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22276] ppid=22264 vsize=1715424 CPUtime=0 /proc/22266/task/22276/stat : 22276 (java) S 22264 22266 22220 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 198373414 1756594176 47907 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22277] ppid=22264 vsize=1715424 CPUtime=0 /proc/22266/task/22277/stat : 22277 (java) S 22264 22266 22220 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 198373414 1756594176 47907 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22280] ppid=22264 vsize=1715424 CPUtime=0 /proc/22266/task/22280/stat : 22280 (java) S 22264 22266 22220 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 198375399 1756594176 47907 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.6 Current children cumulated vsize (Kb) 1715424 [startup+30.0162 s] /proc/loadavg: 1.00 0.99 0.99 2/76 22281 /proc/meminfo: memFree=1317440/2055920 swapFree=4181460/4192956 [pid=22266] ppid=22264 vsize=1715392 CPUtime=31.74 /proc/22266/stat : 22266 (java) R 22264 22266 22220 0 -1 0 62567 0 1 0 3146 28 0 0 23 0 13 0 198373403 1756561408 55089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071571103 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22266/statm: 428848 55089 1909 14 0 415595 0 [pid=22266/tid=22267] ppid=22264 vsize=1715392 CPUtime=0.25 /proc/22266/task/22267/stat : 22267 (java) S 22264 22266 22220 0 -1 64 6031 0 0 0 23 2 0 0 16 0 13 0 198373407 1756561408 55089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22268] ppid=22264 vsize=1715392 CPUtime=0.27 /proc/22266/task/22268/stat : 22268 (java) S 22264 22266 22220 0 -1 64 6970 0 0 0 24 3 0 0 16 0 13 0 198373407 1756561408 55089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22269] ppid=22264 vsize=1715392 CPUtime=0 /proc/22266/task/22269/stat : 22269 (java) S 22264 22266 22220 0 -1 64 43 0 0 0 0 0 0 0 15 0 13 0 198373410 1756561408 55089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22270] ppid=22264 vsize=1715392 CPUtime=0 /proc/22266/task/22270/stat : 22270 (java) S 22264 22266 22220 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198373410 1756561408 55089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22271] ppid=22264 vsize=1715392 CPUtime=0 /proc/22266/task/22271/stat : 22271 (java) S 22264 22266 22220 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198373410 1756561408 55089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22272] ppid=22264 vsize=1715392 CPUtime=0 /proc/22266/task/22272/stat : 22272 (java) S 22264 22266 22220 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198373414 1756561408 55089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22273] ppid=22264 vsize=1715392 CPUtime=0 /proc/22266/task/22273/stat : 22273 (java) S 22264 22266 22220 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 198373414 1756561408 55089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22274] ppid=22264 vsize=1715392 CPUtime=1.09 /proc/22266/task/22274/stat : 22274 (java) S 22264 22266 22220 0 -1 64 2243 0 0 0 109 0 0 0 17 0 13 0 198373414 1756561408 55089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22275] ppid=22264 vsize=1715392 CPUtime=0.95 /proc/22266/task/22275/stat : 22275 (java) S 22264 22266 22220 0 -1 64 2671 0 0 0 94 1 0 0 17 0 13 0 198373414 1756561408 55089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22276] ppid=22264 vsize=1715392 CPUtime=0 /proc/22266/task/22276/stat : 22276 (java) S 22264 22266 22220 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 198373414 1756561408 55089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22277] ppid=22264 vsize=1715392 CPUtime=0 /proc/22266/task/22277/stat : 22277 (java) S 22264 22266 22220 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 198373414 1756561408 55089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22281] ppid=22264 vsize=1715392 CPUtime=0 /proc/22266/task/22281/stat : 22281 (java) S 22264 22266 22220 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 198376367 1756561408 55089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.74 Current children cumulated vsize (Kb) 1715392 [startup+40.023 s] /proc/loadavg: 1.00 0.99 0.99 2/76 22281 /proc/meminfo: memFree=1325568/2055920 swapFree=4181460/4192956 [pid=22266] ppid=22264 vsize=1715392 CPUtime=41.8 /proc/22266/stat : 22266 (java) R 22264 22266 22220 0 -1 0 63885 0 1 0 4151 29 0 0 19 0 13 0 198373403 1756561408 53019 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071698969 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22266/statm: 428848 53019 1909 14 0 415595 0 [pid=22266/tid=22267] ppid=22264 vsize=1715392 CPUtime=0.31 /proc/22266/task/22267/stat : 22267 (java) S 22264 22266 22220 0 -1 64 6520 0 0 0 29 2 0 0 15 0 13 0 198373407 1756561408 53019 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22268] ppid=22264 vsize=1715392 CPUtime=0.33 /proc/22266/task/22268/stat : 22268 (java) S 22264 22266 22220 0 -1 64 7783 0 0 0 30 3 0 0 16 0 13 0 198373407 1756561408 53019 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22269] ppid=22264 vsize=1715392 CPUtime=0.01 /proc/22266/task/22269/stat : 22269 (java) S 22264 22266 22220 0 -1 64 43 0 0 0 0 1 0 0 16 0 13 0 198373410 1756561408 53019 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22270] ppid=22264 vsize=1715392 CPUtime=0 /proc/22266/task/22270/stat : 22270 (java) S 22264 22266 22220 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198373410 1756561408 53019 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22271] ppid=22264 vsize=1715392 CPUtime=0 /proc/22266/task/22271/stat : 22271 (java) S 22264 22266 22220 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198373410 1756561408 53019 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22272] ppid=22264 vsize=1715392 CPUtime=0 /proc/22266/task/22272/stat : 22272 (java) S 22264 22266 22220 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198373414 1756561408 53019 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22273] ppid=22264 vsize=1715392 CPUtime=0 /proc/22266/task/22273/stat : 22273 (java) S 22264 22266 22220 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 198373414 1756561408 53019 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22274] ppid=22264 vsize=1715392 CPUtime=1.09 /proc/22266/task/22274/stat : 22274 (java) S 22264 22266 22220 0 -1 64 2243 0 0 0 109 0 0 0 17 0 13 0 198373414 1756561408 53019 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22275] ppid=22264 vsize=1715392 CPUtime=0.95 /proc/22266/task/22275/stat : 22275 (java) S 22264 22266 22220 0 -1 64 2671 0 0 0 94 1 0 0 17 0 13 0 198373414 1756561408 53019 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22276] ppid=22264 vsize=1715392 CPUtime=0 /proc/22266/task/22276/stat : 22276 (java) S 22264 22266 22220 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 198373414 1756561408 53019 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22277] ppid=22264 vsize=1715392 CPUtime=0 /proc/22266/task/22277/stat : 22277 (java) S 22264 22266 22220 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 198373414 1756561408 53019 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22281] ppid=22264 vsize=1715392 CPUtime=0 /proc/22266/task/22281/stat : 22281 (java) S 22264 22266 22220 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 198376367 1756561408 53019 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.8 Current children cumulated vsize (Kb) 1715392 [startup+50.0308 s] /proc/loadavg: 1.00 0.99 0.99 2/76 22281 /proc/meminfo: memFree=1329344/2055920 swapFree=4181460/4192956 [pid=22266] ppid=22264 vsize=1715392 CPUtime=51.84 /proc/22266/stat : 22266 (java) R 22264 22266 22220 0 -1 0 64550 0 1 0 5154 30 0 0 17 0 13 0 198373403 1756561408 52111 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071505286 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22266/statm: 428848 52111 1909 14 0 415595 0 [pid=22266/tid=22267] ppid=22264 vsize=1715392 CPUtime=0.35 /proc/22266/task/22267/stat : 22267 (java) S 22264 22266 22220 0 -1 64 6776 0 0 0 32 3 0 0 16 0 13 0 198373407 1756561408 52111 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22268] ppid=22264 vsize=1715392 CPUtime=0.36 /proc/22266/task/22268/stat : 22268 (java) S 22264 22266 22220 0 -1 64 8181 0 0 0 33 3 0 0 16 0 13 0 198373407 1756561408 52111 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22269] ppid=22264 vsize=1715392 CPUtime=0.01 /proc/22266/task/22269/stat : 22269 (java) S 22264 22266 22220 0 -1 64 43 0 0 0 0 1 0 0 16 0 13 0 198373410 1756561408 52111 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22270] ppid=22264 vsize=1715392 CPUtime=0 /proc/22266/task/22270/stat : 22270 (java) S 22264 22266 22220 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198373410 1756561408 52111 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22271] ppid=22264 vsize=1715392 CPUtime=0 /proc/22266/task/22271/stat : 22271 (java) S 22264 22266 22220 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198373410 1756561408 52111 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22272] ppid=22264 vsize=1715392 CPUtime=0 /proc/22266/task/22272/stat : 22272 (java) S 22264 22266 22220 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198373414 1756561408 52111 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22273] ppid=22264 vsize=1715392 CPUtime=0 /proc/22266/task/22273/stat : 22273 (java) S 22264 22266 22220 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 198373414 1756561408 52111 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22274] ppid=22264 vsize=1715392 CPUtime=1.09 /proc/22266/task/22274/stat : 22274 (java) S 22264 22266 22220 0 -1 64 2243 0 0 0 109 0 0 0 17 0 13 0 198373414 1756561408 52111 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22275] ppid=22264 vsize=1715392 CPUtime=0.95 /proc/22266/task/22275/stat : 22275 (java) S 22264 22266 22220 0 -1 64 2671 0 0 0 94 1 0 0 17 0 13 0 198373414 1756561408 52111 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22276] ppid=22264 vsize=1715392 CPUtime=0 /proc/22266/task/22276/stat : 22276 (java) S 22264 22266 22220 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 198373414 1756561408 52111 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22277] ppid=22264 vsize=1715392 CPUtime=0 /proc/22266/task/22277/stat : 22277 (java) S 22264 22266 22220 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 198373414 1756561408 52111 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22281] ppid=22264 vsize=1715392 CPUtime=0 /proc/22266/task/22281/stat : 22281 (java) S 22264 22266 22220 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 198376367 1756561408 52111 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 51.84 Current children cumulated vsize (Kb) 1715392 [startup+60.0376 s] /proc/loadavg: 1.00 0.99 0.99 2/76 22281 /proc/meminfo: memFree=1332672/2055920 swapFree=4181460/4192956 [pid=22266] ppid=22264 vsize=1715392 CPUtime=61.9 /proc/22266/stat : 22266 (java) R 22264 22266 22220 0 -1 0 65665 0 1 0 6159 31 0 0 16 0 13 0 198373403 1756561408 51245 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071700219 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22266/statm: 428848 51245 1909 14 0 415595 0 [pid=22266/tid=22267] ppid=22264 vsize=1715392 CPUtime=0.4 /proc/22266/task/22267/stat : 22267 (java) S 22264 22266 22220 0 -1 64 7363 0 0 0 37 3 0 0 16 0 13 0 198373407 1756561408 51245 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22268] ppid=22264 vsize=1715392 CPUtime=0.41 /proc/22266/task/22268/stat : 22268 (java) S 22264 22266 22220 0 -1 64 8694 0 0 0 38 3 0 0 16 0 13 0 198373407 1756561408 51245 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22269] ppid=22264 vsize=1715392 CPUtime=0.01 /proc/22266/task/22269/stat : 22269 (java) S 22264 22266 22220 0 -1 64 43 0 0 0 0 1 0 0 15 0 13 0 198373410 1756561408 51245 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22270] ppid=22264 vsize=1715392 CPUtime=0 /proc/22266/task/22270/stat : 22270 (java) S 22264 22266 22220 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198373410 1756561408 51245 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22271] ppid=22264 vsize=1715392 CPUtime=0 /proc/22266/task/22271/stat : 22271 (java) S 22264 22266 22220 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198373410 1756561408 51245 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22272] ppid=22264 vsize=1715392 CPUtime=0 /proc/22266/task/22272/stat : 22272 (java) S 22264 22266 22220 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198373414 1756561408 51245 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=22266/tid=22270] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22270/stat : 22270 (java) S 22264 22266 22220 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198373410 1757609984 159065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22271] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22271/stat : 22271 (java) S 22264 22266 22220 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198373410 1757609984 159065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22272] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22272/stat : 22272 (java) S 22264 22266 22220 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198373414 1757609984 159065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22273] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22273/stat : 22273 (java) S 22264 22266 22220 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 198373414 1757609984 159065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22274] ppid=22264 vsize=1716416 CPUtime=1.12 /proc/22266/task/22274/stat : 22274 (java) S 22264 22266 22220 0 -1 64 2245 0 0 0 111 1 0 0 17 0 13 0 198373414 1757609984 159065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22275] ppid=22264 vsize=1716416 CPUtime=1 /proc/22266/task/22275/stat : 22275 (java) S 22264 22266 22220 0 -1 64 2796 0 0 0 99 1 0 0 17 0 13 0 198373414 1757609984 159065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22276] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22276/stat : 22276 (java) S 22264 22266 22220 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 198373414 1757609984 159065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22277] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22277/stat : 22277 (java) S 22264 22266 22220 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 198373414 1757609984 159065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22287] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22287/stat : 22287 (java) S 22264 22266 22220 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 198405201 1757609984 159065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1796.67 Current children cumulated vsize (Kb) 1716416 [startup+1783.32 s] /proc/loadavg: 1.00 1.00 1.00 2/76 22287 /proc/meminfo: memFree=899936/2055920 swapFree=4181460/4192956 [pid=22266] ppid=22264 vsize=1716416 CPUtime=1797.67 /proc/22266/stat : 22266 (java) R 22264 22266 22220 0 -1 0 313976 0 1 0 179604 163 0 0 25 0 13 0 198373403 1757609984 159065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071668510 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22266/statm: 429104 159065 1911 14 0 415851 0 [pid=22266/tid=22267] ppid=22264 vsize=1716416 CPUtime=13.82 /proc/22266/task/22267/stat : 22267 (java) S 22264 22266 22220 0 -1 64 75391 0 0 0 1346 36 0 0 17 0 13 0 198373407 1757609984 159065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22268] ppid=22264 vsize=1716416 CPUtime=13.99 /proc/22266/task/22268/stat : 22268 (java) S 22264 22266 22220 0 -1 64 79753 0 0 0 1363 36 0 0 16 0 13 0 198373407 1757609984 159065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22269] ppid=22264 vsize=1716416 CPUtime=0.36 /proc/22266/task/22269/stat : 22269 (java) S 22264 22266 22220 0 -1 64 382 0 0 0 17 19 0 0 16 0 13 0 198373410 1757609984 159065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22270] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22270/stat : 22270 (java) S 22264 22266 22220 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198373410 1757609984 159065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22271] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22271/stat : 22271 (java) S 22264 22266 22220 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198373410 1757609984 159065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22272] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22272/stat : 22272 (java) S 22264 22266 22220 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198373414 1757609984 159065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22273] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22273/stat : 22273 (java) S 22264 22266 22220 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 198373414 1757609984 159065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22274] ppid=22264 vsize=1716416 CPUtime=1.12 /proc/22266/task/22274/stat : 22274 (java) S 22264 22266 22220 0 -1 64 2245 0 0 0 111 1 0 0 17 0 13 0 198373414 1757609984 159065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22275] ppid=22264 vsize=1716416 CPUtime=1 /proc/22266/task/22275/stat : 22275 (java) S 22264 22266 22220 0 -1 64 2796 0 0 0 99 1 0 0 17 0 13 0 198373414 1757609984 159065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22276] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22276/stat : 22276 (java) S 22264 22266 22220 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 198373414 1757609984 159065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22277] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22277/stat : 22277 (java) S 22264 22266 22220 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 198373414 1757609984 159065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22287] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22287/stat : 22287 (java) S 22264 22266 22220 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 198405201 1757609984 159065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (Kb) 1716416 [startup+1784.32 s] /proc/loadavg: 1.00 1.00 1.00 2/76 22287 /proc/meminfo: memFree=899936/2055920 swapFree=4181460/4192956 [pid=22266] ppid=22264 vsize=1716416 CPUtime=1798.68 /proc/22266/stat : 22266 (java) R 22264 22266 22220 0 -1 0 313976 0 1 0 179705 163 0 0 25 0 13 0 198373403 1757609984 159065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071505132 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22266/statm: 429104 159065 1911 14 0 415851 0 [pid=22266/tid=22267] ppid=22264 vsize=1716416 CPUtime=13.82 /proc/22266/task/22267/stat : 22267 (java) S 22264 22266 22220 0 -1 64 75391 0 0 0 1346 36 0 0 17 0 13 0 198373407 1757609984 159065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22268] ppid=22264 vsize=1716416 CPUtime=13.99 /proc/22266/task/22268/stat : 22268 (java) S 22264 22266 22220 0 -1 64 79753 0 0 0 1363 36 0 0 16 0 13 0 198373407 1757609984 159065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22269] ppid=22264 vsize=1716416 CPUtime=0.36 /proc/22266/task/22269/stat : 22269 (java) S 22264 22266 22220 0 -1 64 382 0 0 0 17 19 0 0 16 0 13 0 198373410 1757609984 159065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22270] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22270/stat : 22270 (java) S 22264 22266 22220 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198373410 1757609984 159065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22271] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22271/stat : 22271 (java) S 22264 22266 22220 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198373410 1757609984 159065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22272] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22272/stat : 22272 (java) S 22264 22266 22220 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198373414 1757609984 159065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22273] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22273/stat : 22273 (java) S 22264 22266 22220 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 198373414 1757609984 159065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22274] ppid=22264 vsize=1716416 CPUtime=1.12 /proc/22266/task/22274/stat : 22274 (java) S 22264 22266 22220 0 -1 64 2245 0 0 0 111 1 0 0 17 0 13 0 198373414 1757609984 159065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22275] ppid=22264 vsize=1716416 CPUtime=1 /proc/22266/task/22275/stat : 22275 (java) S 22264 22266 22220 0 -1 64 2796 0 0 0 99 1 0 0 17 0 13 0 198373414 1757609984 159065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22276] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22276/stat : 22276 (java) S 22264 22266 22220 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 198373414 1757609984 159065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22277] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22277/stat : 22277 (java) S 22264 22266 22220 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 198373414 1757609984 159065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22287] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22287/stat : 22287 (java) S 22264 22266 22220 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 198405201 1757609984 159065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.68 Current children cumulated vsize (Kb) 1716416 [startup+1785.33 s] /proc/loadavg: 1.00 1.00 1.00 2/76 22287 /proc/meminfo: memFree=899936/2055920 swapFree=4181460/4192956 [pid=22266] ppid=22264 vsize=1716416 CPUtime=1799.7 /proc/22266/stat : 22266 (java) R 22264 22266 22220 0 -1 0 313979 0 1 0 179807 163 0 0 23 0 13 0 198373403 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071505132 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22266/statm: 429104 159067 1911 14 0 415851 0 [pid=22266/tid=22267] ppid=22264 vsize=1716416 CPUtime=13.84 /proc/22266/task/22267/stat : 22267 (java) S 22264 22266 22220 0 -1 64 75391 0 0 0 1348 36 0 0 16 0 13 0 198373407 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22268] ppid=22264 vsize=1716416 CPUtime=14.01 /proc/22266/task/22268/stat : 22268 (java) S 22264 22266 22220 0 -1 64 79755 0 0 0 1365 36 0 0 16 0 13 0 198373407 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22269] ppid=22264 vsize=1716416 CPUtime=0.36 /proc/22266/task/22269/stat : 22269 (java) S 22264 22266 22220 0 -1 64 382 0 0 0 17 19 0 0 16 0 13 0 198373410 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22270] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22270/stat : 22270 (java) S 22264 22266 22220 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198373410 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22271] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22271/stat : 22271 (java) S 22264 22266 22220 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198373410 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22272] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22272/stat : 22272 (java) S 22264 22266 22220 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198373414 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22273] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22273/stat : 22273 (java) S 22264 22266 22220 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 198373414 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22274] ppid=22264 vsize=1716416 CPUtime=1.12 /proc/22266/task/22274/stat : 22274 (java) S 22264 22266 22220 0 -1 64 2245 0 0 0 111 1 0 0 17 0 13 0 198373414 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22275] ppid=22264 vsize=1716416 CPUtime=1 /proc/22266/task/22275/stat : 22275 (java) S 22264 22266 22220 0 -1 64 2796 0 0 0 99 1 0 0 17 0 13 0 198373414 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22276] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22276/stat : 22276 (java) S 22264 22266 22220 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 198373414 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22277] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22277/stat : 22277 (java) S 22264 22266 22220 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 198373414 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22287] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22287/stat : 22287 (java) S 22264 22266 22220 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 198405201 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.7 Current children cumulated vsize (Kb) 1716416 [startup+1786.33 s] /proc/loadavg: 1.00 1.00 1.00 2/76 22287 /proc/meminfo: memFree=899936/2055920 swapFree=4181460/4192956 [pid=22266] ppid=22264 vsize=1716416 CPUtime=1800.71 /proc/22266/stat : 22266 (java) R 22264 22266 22220 0 -1 0 313979 0 1 0 179908 163 0 0 25 0 13 0 198373403 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071505846 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22266/statm: 429104 159067 1911 14 0 415851 0 [pid=22266/tid=22267] ppid=22264 vsize=1716416 CPUtime=13.84 /proc/22266/task/22267/stat : 22267 (java) S 22264 22266 22220 0 -1 64 75391 0 0 0 1348 36 0 0 16 0 13 0 198373407 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22268] ppid=22264 vsize=1716416 CPUtime=14.01 /proc/22266/task/22268/stat : 22268 (java) S 22264 22266 22220 0 -1 64 79755 0 0 0 1365 36 0 0 16 0 13 0 198373407 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22269] ppid=22264 vsize=1716416 CPUtime=0.36 /proc/22266/task/22269/stat : 22269 (java) S 22264 22266 22220 0 -1 64 382 0 0 0 17 19 0 0 16 0 13 0 198373410 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22270] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22270/stat : 22270 (java) S 22264 22266 22220 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198373410 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22271] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22271/stat : 22271 (java) S 22264 22266 22220 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198373410 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22272] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22272/stat : 22272 (java) S 22264 22266 22220 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198373414 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22273] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22273/stat : 22273 (java) S 22264 22266 22220 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 198373414 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22274] ppid=22264 vsize=1716416 CPUtime=1.12 /proc/22266/task/22274/stat : 22274 (java) S 22264 22266 22220 0 -1 64 2245 0 0 0 111 1 0 0 17 0 13 0 198373414 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22275] ppid=22264 vsize=1716416 CPUtime=1 /proc/22266/task/22275/stat : 22275 (java) S 22264 22266 22220 0 -1 64 2796 0 0 0 99 1 0 0 17 0 13 0 198373414 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22276] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22276/stat : 22276 (java) S 22264 22266 22220 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 198373414 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22277] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22277/stat : 22277 (java) S 22264 22266 22220 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 198373414 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22287] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22287/stat : 22287 (java) S 22264 22266 22220 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 198405201 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.71 Current children cumulated vsize (Kb) 1716416 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1786.34 s] /proc/loadavg: 1.00 1.00 1.00 2/76 22287 /proc/meminfo: memFree=899936/2055920 swapFree=4181460/4192956 [pid=22266] ppid=22264 vsize=1716416 CPUtime=1800.71 /proc/22266/stat : 22266 (java) R 22264 22266 22220 0 -1 0 313979 0 1 0 179908 163 0 0 25 0 13 0 198373403 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071505132 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22266/statm: 429104 159067 1911 14 0 415851 0 [pid=22266/tid=22267] ppid=22264 vsize=1716416 CPUtime=13.84 /proc/22266/task/22267/stat : 22267 (java) S 22264 22266 22220 0 -1 64 75391 0 0 0 1348 36 0 0 16 0 13 0 198373407 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22268] ppid=22264 vsize=1716416 CPUtime=14.01 /proc/22266/task/22268/stat : 22268 (java) S 22264 22266 22220 0 -1 64 79755 0 0 0 1365 36 0 0 16 0 13 0 198373407 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22269] ppid=22264 vsize=1716416 CPUtime=0.36 /proc/22266/task/22269/stat : 22269 (java) S 22264 22266 22220 0 -1 64 382 0 0 0 17 19 0 0 16 0 13 0 198373410 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22270] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22270/stat : 22270 (java) S 22264 22266 22220 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198373410 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22271] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22271/stat : 22271 (java) S 22264 22266 22220 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198373410 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22272] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22272/stat : 22272 (java) S 22264 22266 22220 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198373414 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22273] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22273/stat : 22273 (java) S 22264 22266 22220 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 198373414 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22274] ppid=22264 vsize=1716416 CPUtime=1.12 /proc/22266/task/22274/stat : 22274 (java) S 22264 22266 22220 0 -1 64 2245 0 0 0 111 1 0 0 17 0 13 0 198373414 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22266/tid=22275] ppid=22264 vsize=1716416 CPUtime=1 /proc/22266/task/22275/stat : 22275 (java) S 22264 22266 22220 0 -1 64 2796 0 0 0 99 1 0 0 17 0 13 0 198373414 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22276] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22276/stat : 22276 (java) S 22264 22266 22220 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 198373414 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22277] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22277/stat : 22277 (java) S 22264 22266 22220 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 198373414 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22266/tid=22287] ppid=22264 vsize=1716416 CPUtime=0 /proc/22266/task/22287/stat : 22287 (java) S 22264 22266 22220 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 198405201 1757609984 159067 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.71 Current children cumulated vsize (Kb) 1716416 Sending SIGTERM to -22266 Sleeping 2 seconds Child status: 143 Real time (s): 1786.53 CPU time (s): 1800.95 CPU user time (s): 1799.21 CPU system time (s): 1.73673 CPU usage (%): 100.807 Max. virtual memory (cumulated for all children) (Kb): 1716416
Begin job on node60 on Sat Jun 3 09:30:56 UTC 2006 FILE ID= 43912-1149327056 PBS_JOBID= 309676 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-blend.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node60/43912-1149327056/instance-43912-1149327056.opb 627872305 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-43912-1149327056 -o ROOT/results/node60/solver-43912-1149327056 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node60/43912-1149327056/instance-43912-1149327056.opb 627872305 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= b27b0c72b75cc4f9d136fed88900224a RANDOM SEED= 627872305 /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.257 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.257 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: 1531000 kB Buffers: 29424 kB Cached: 422784 kB SwapCached: 3188 kB Active: 69896 kB Inactive: 391000 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1531000 kB SwapTotal: 4192956 kB SwapFree: 4181460 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14740 kB Slab: 50044 kB Committed_AS: 335968 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node60 on Sat Jun 3 10:00:42 UTC 2006