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