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