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