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