Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | SAT (TO) | 1410 | 1800.68 | 1780.52 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell5.opb |
MD5SUM | 6b5a85fbc00dc0684845d7179dbc62de |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 770 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 770 |
Optimality of the best value was proved | NO |
Number of variables | 1704 |
Total number of constraints | 118 |
Number of constraints which are clauses | 15 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 103 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 135 |
Number of terms in the objective function | 1268 |
Biggest coefficient in the objective function | 29693 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 525250 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261970 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 525250 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.14 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.21 c Cutting planes based inference 0.21 c --- Begin Solver configuration --- 0.21 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.21 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.21 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 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/node60/44010-1149350532/instance-44010-1149350532.opb 0.21 c reading problem ... 0.53 c ... done. Time 0.315 ms. 0.53 c #vars 1704 0.53 c #constraints 118 1.65 c SATISFIABLE 1.65 c OPTIMIZING... 1.65 c Got one! Ellapsed CPU time (in seconds):1.444 1.67 o 2759 1.91 c Got one! Ellapsed CPU time (in seconds):1.699 1.91 o 2073 10.16 c Got one! Ellapsed CPU time (in seconds):9.948 10.16 o 2068 10.43 c Got one! Ellapsed CPU time (in seconds):10.224 10.44 o 1739 10.60 c Got one! Ellapsed CPU time (in seconds):10.385 10.60 o 1622 10.84 c Got one! Ellapsed CPU time (in seconds):10.627 10.84 o 1577 10.99 c Got one! Ellapsed CPU time (in seconds):10.781 10.99 o 1574 12.30 c Got one! Ellapsed CPU time (in seconds):12.09 12.30 o 1572 183.17 c Got one! Ellapsed CPU time (in seconds):182.957 183.17 o 1523 184.52 c Got one! Ellapsed CPU time (in seconds):184.307 184.52 o 1431 186.48 c Got one! Ellapsed CPU time (in seconds):186.27 186.48 o 1428 188.72 c Got one! Ellapsed CPU time (in seconds):188.506 188.72 o 1425 689.69 c Got one! Ellapsed CPU time (in seconds):689.483 689.70 o 1416 692.17 c Got one! Ellapsed CPU time (in seconds):691.963 692.18 o 1411 695.52 c Got one! Ellapsed CPU time (in seconds):695.312 695.52 o 1410 1780.36 c starts : 29 1780.36 c conflicts : 4024 1780.36 c decisions : 108463 1780.36 c propagations : 244573 1780.36 c inspects : 15782191 1780.36 c learnt literals : 0 1780.36 c learnt binary clauses : 0 1780.36 c learnt ternary clauses : 0 1780.36 c learnt clauses : 4023 1780.36 c root simplifications : 0 1780.36 c removed literals (reason simplification) : 0 1780.36 c reason swapping (by a shorter reason) : 0 1780.36 c Calls to reduceDB : 0 1780.36 c speed (decisions/second) : 99.98174825871014 1780.36 c non guided choices 16729 1780.36 s SATISFIABLE 1780.39 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 1780.39 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 -x55 -x56 -x57 -x58 1780.39 v -x59 -x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 -x78 x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 1780.39 v -x89 -x90 -x91 x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 x107 x108 x109 x110 -x111 -x112 1780.39 v -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 1780.39 v -x134 x135 x136 x137 x138 x139 x140 x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 x152 x153 x154 x155 x156 1780.39 v x157 x158 x159 x160 -x161 -x162 -x163 -x164 x165 x166 x167 x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 1780.39 v -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 x198 -x199 1780.39 v x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 1780.39 v -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 1780.39 v x242 x243 x244 x245 x246 x247 x248 x249 x250 -x251 x252 x253 x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 1780.39 v -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 1780.39 v -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 1780.39 v -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 1780.39 v -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 1780.39 v -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 1780.39 v -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 1780.39 v x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 x410 x411 -x412 x413 -x414 -x415 1780.39 v -x416 -x417 -x418 -x419 -x420 x421 x422 x423 x424 x425 x426 x427 x428 x429 x430 x431 x432 x433 x434 x435 x436 x437 x438 x439 1780.39 v x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 x457 -x458 -x459 -x460 1780.39 v -x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 1780.39 v -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 x498 -x499 x500 -x501 -x502 1780.39 v -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 1780.39 v -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 1780.39 v -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 1780.39 v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 1780.39 v -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 1780.39 v -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 1780.39 v -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 1780.39 v -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 1780.39 v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 1780.39 v -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 1780.39 v -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 1780.39 v -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 1780.39 v -x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 1780.39 v -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 1780.39 v -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 1780.39 v -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 1780.39 v -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 1780.39 v -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 1780.39 v -x881 -x882 x883 x884 x885 x886 -x887 x888 x889 x890 x891 x892 x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 1780.39 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 x916 x917 x918 -x919 x920 -x921 x922 -x923 -x924 -x925 1780.39 v -x926 -x927 -x928 -x929 -x930 x931 x932 x933 x934 x935 x936 x937 x938 x939 x940 x941 x942 x943 -x944 -x945 -x946 -x947 -x948 1780.39 v -x949 x950 -x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 x969 1780.39 v x970 x971 x972 x973 x974 -x975 -x976 x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 x985 x986 x987 x988 x989 -x990 -x991 -x992 1780.39 v -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 1780.39 v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 x1022 x1023 x1024 x1025 x1026 x1027 x1028 x1029 1780.39 v x1030 x1031 x1032 x1033 x1034 x1035 x1036 x1037 x1038 x1039 x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 1780.39 v -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 1780.39 v -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 1780.39 v -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 1780.39 v -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 1780.39 v -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 1780.39 v -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 1780.39 v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 1780.39 v -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 1780.39 v -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 1780.39 v -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 1780.39 v -x1219 -x1220 -x1221 x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 x1232 x1233 -x1234 -x1235 x1236 1780.39 v -x1237 x1238 x1239 x1240 x1241 x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 1780.39 v -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 1780.39 v -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 1780.39 v -x1289 -x1290 x1291 x1292 x1293 x1294 x1295 x1296 x1297 x1298 x1299 x1300 x1301 x1302 x1303 x1304 x1305 x1306 x1307 x1308 1780.39 v x1309 x1310 x1311 x1312 x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 1780.39 v -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 x1336 x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 1780.39 v -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 1780.39 v -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 x1372 x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 1780.39 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 1780.39 v -x1397 -x1398 -x1399 -x1400 x1401 x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 1780.39 v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 x1423 x1424 -x1425 x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 1780.39 v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 1780.39 v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 1780.39 v -x1467 -x1468 x1469 x1470 x1471 -x1472 -x1473 x1474 x1475 -x1476 x1477 x1478 x1479 -x1480 -x1481 -x1482 x1483 -x1484 -x1485 1780.39 v -x1486 -x1487 -x1488 x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 x1502 -x1503 1780.39 v -x1504 -x1505 x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 x1516 -x1517 -x1518 -x1519 -x1520 x1521 1780.39 v -x1522 x1523 x1524 x1525 x1526 -x1527 -x1528 x1529 -x1530 x1531 -x1532 x1533 -x1534 x1535 -x1536 -x1537 -x1538 -x1539 -x1540 1780.39 v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 1780.39 v -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 1780.39 v -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 1780.39 v -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 x1608 1780.39 v -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 1780.39 v -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 1780.39 v -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 x1649 x1650 x1651 x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 1780.39 v -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 1780.39 v -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 1780.39 v -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 1780.39 c objective function=1410 1780.39 c Total wall clock time (ms): 1780.184
OK 1410
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node60/watcher-44010-1149350532 -o ROOT/results/node60/solver-44010-1149350532 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node60/44010-1149350532/instance-44010-1149350532.opb 702804143 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 0.98 2/64 24586 /proc/meminfo: memFree=1453808/2055920 swapFree=4181460/4192956 [pid=24586] ppid=24584 vsize=0 CPUtime=0 /proc/24586/stat : 24586 (java) R 24584 24586 24540 0 -1 0 178 0 0 0 0 0 0 0 18 0 1 0 200721033 0 0 18446744073709551615 0 0 0 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/24586/statm: 0 0 0 0 0 0 0 [startup+10.002 s] /proc/loadavg: 1.00 1.00 0.98 2/76 24600 /proc/meminfo: memFree=1269344/2055920 swapFree=4181460/4192956 [pid=24586] ppid=24584 vsize=1713696 CPUtime=11.08 /proc/24586/stat : 24586 (java) R 24584 24586 24540 0 -1 0 50983 0 1 0 1086 22 0 0 25 0 13 0 200721033 1754824704 47834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071422595 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24586/statm: 428424 47834 1908 14 0 415171 0 [pid=24586/tid=24587] ppid=24584 vsize=1713696 CPUtime=0.07 /proc/24586/task/24587/stat : 24587 (java) S 24584 24586 24540 0 -1 64 2280 0 0 0 7 0 0 0 16 0 13 0 200721036 1754824704 47834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24588] ppid=24584 vsize=1713696 CPUtime=0.07 /proc/24586/task/24588/stat : 24588 (java) S 24584 24586 24540 0 -1 64 2093 0 0 0 7 0 0 0 16 0 13 0 200721036 1754824704 47834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24589] ppid=24584 vsize=1713696 CPUtime=0 /proc/24586/task/24589/stat : 24589 (java) S 24584 24586 24540 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 200721039 1754824704 47834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24590] ppid=24584 vsize=1713696 CPUtime=0 /proc/24586/task/24590/stat : 24590 (java) S 24584 24586 24540 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200721039 1754824704 47834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24591] ppid=24584 vsize=1713696 CPUtime=0 /proc/24586/task/24591/stat : 24591 (java) S 24584 24586 24540 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200721039 1754824704 47834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24592] ppid=24584 vsize=1713696 CPUtime=0 /proc/24586/task/24592/stat : 24592 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200721043 1754824704 47834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24593] ppid=24584 vsize=1713696 CPUtime=0 /proc/24586/task/24593/stat : 24593 (java) S 24584 24586 24540 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 200721043 1754824704 47834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24594] ppid=24584 vsize=1713696 CPUtime=0.8 /proc/24586/task/24594/stat : 24594 (java) S 24584 24586 24540 0 -1 64 1378 0 0 0 80 0 0 0 17 0 13 0 200721043 1754824704 47834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24595] ppid=24584 vsize=1713696 CPUtime=0.81 /proc/24586/task/24595/stat : 24595 (java) S 24584 24586 24540 0 -1 64 1837 0 0 0 81 0 0 0 17 0 13 0 200721043 1754824704 47834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24596] ppid=24584 vsize=1713696 CPUtime=0 /proc/24586/task/24596/stat : 24596 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200721043 1754824704 47834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24597] ppid=24584 vsize=1713696 CPUtime=0 /proc/24586/task/24597/stat : 24597 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 200721043 1754824704 47834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24600] ppid=24584 vsize=1713696 CPUtime=0 /proc/24586/task/24600/stat : 24600 (java) S 24584 24586 24540 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 200721225 1754824704 47834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.08 Current children cumulated vsize (Kb) 1713696 [startup+20.0088 s] /proc/loadavg: 1.00 1.00 0.98 2/76 24606 /proc/meminfo: memFree=1280984/2055920 swapFree=4181460/4192956 [pid=24586] ppid=24584 vsize=1713548 CPUtime=21.2 /proc/24586/stat : 24586 (java) R 24584 24586 24540 0 -1 0 52476 0 1 0 2096 24 0 0 25 0 13 0 200721033 1754673152 44917 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071475676 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24586/statm: 428387 44917 1911 14 0 415134 0 [pid=24586/tid=24587] ppid=24584 vsize=1713548 CPUtime=0.13 /proc/24586/task/24587/stat : 24587 (java) S 24584 24586 24540 0 -1 64 3040 0 0 0 12 1 0 0 16 0 13 0 200721036 1754673152 44917 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24588] ppid=24584 vsize=1713548 CPUtime=0.13 /proc/24586/task/24588/stat : 24588 (java) S 24584 24586 24540 0 -1 64 2797 0 0 0 12 1 0 0 16 0 13 0 200721036 1754673152 44917 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24589] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24589/stat : 24589 (java) S 24584 24586 24540 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 200721039 1754673152 44917 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24590] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24590/stat : 24590 (java) S 24584 24586 24540 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200721039 1754673152 44917 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24591] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24591/stat : 24591 (java) S 24584 24586 24540 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200721039 1754673152 44917 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24592] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24592/stat : 24592 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200721043 1754673152 44917 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24593] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24593/stat : 24593 (java) S 24584 24586 24540 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 200721043 1754673152 44917 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24594] ppid=24584 vsize=1713548 CPUtime=0.84 /proc/24586/task/24594/stat : 24594 (java) S 24584 24586 24540 0 -1 64 1382 0 0 0 84 0 0 0 16 0 13 0 200721043 1754673152 44917 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24595] ppid=24584 vsize=1713548 CPUtime=0.85 /proc/24586/task/24595/stat : 24595 (java) S 24584 24586 24540 0 -1 64 1842 0 0 0 85 0 0 0 17 0 13 0 200721043 1754673152 44917 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24596] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24596/stat : 24596 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200721043 1754673152 44917 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24597] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24597/stat : 24597 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 200721043 1754673152 44917 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24606] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24606/stat : 24606 (java) S 24584 24586 24540 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 200722264 1754673152 44917 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.2 Current children cumulated vsize (Kb) 1713548 [startup+30.0156 s] /proc/loadavg: 1.00 1.00 0.98 2/76 24606 /proc/meminfo: memFree=1289368/2055920 swapFree=4181460/4192956 [pid=24586] ppid=24584 vsize=1713548 CPUtime=31.23 /proc/24586/stat : 24586 (java) R 24584 24586 24540 0 -1 0 52870 0 1 0 3098 25 0 0 25 0 13 0 200721033 1754673152 42818 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071441208 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24586/statm: 428387 42818 1911 14 0 415134 0 [pid=24586/tid=24587] ppid=24584 vsize=1713548 CPUtime=0.15 /proc/24586/task/24587/stat : 24587 (java) S 24584 24586 24540 0 -1 64 3238 0 0 0 14 1 0 0 16 0 13 0 200721036 1754673152 42818 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24588] ppid=24584 vsize=1713548 CPUtime=0.15 /proc/24586/task/24588/stat : 24588 (java) S 24584 24586 24540 0 -1 64 2970 0 0 0 14 1 0 0 16 0 13 0 200721036 1754673152 42818 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24589] ppid=24584 vsize=1713548 CPUtime=0.01 /proc/24586/task/24589/stat : 24589 (java) S 24584 24586 24540 0 -1 64 30 0 0 0 0 1 0 0 16 0 13 0 200721039 1754673152 42818 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24590] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24590/stat : 24590 (java) S 24584 24586 24540 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200721039 1754673152 42818 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24591] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24591/stat : 24591 (java) S 24584 24586 24540 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200721039 1754673152 42818 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24592] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24592/stat : 24592 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200721043 1754673152 42818 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24593] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24593/stat : 24593 (java) S 24584 24586 24540 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 200721043 1754673152 42818 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24594] ppid=24584 vsize=1713548 CPUtime=0.84 /proc/24586/task/24594/stat : 24594 (java) S 24584 24586 24540 0 -1 64 1383 0 0 0 84 0 0 0 17 0 13 0 200721043 1754673152 42818 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24595] ppid=24584 vsize=1713548 CPUtime=0.85 /proc/24586/task/24595/stat : 24595 (java) S 24584 24586 24540 0 -1 64 1842 0 0 0 85 0 0 0 17 0 13 0 200721043 1754673152 42818 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24596] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24596/stat : 24596 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200721043 1754673152 42818 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24597] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24597/stat : 24597 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 200721043 1754673152 42818 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24606] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24606/stat : 24606 (java) S 24584 24586 24540 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 200722264 1754673152 42818 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.23 Current children cumulated vsize (Kb) 1713548 [startup+40.0224 s] /proc/loadavg: 1.00 1.00 0.98 2/76 24606 /proc/meminfo: memFree=1292184/2055920 swapFree=4181460/4192956 [pid=24586] ppid=24584 vsize=1713548 CPUtime=41.25 /proc/24586/stat : 24586 (java) R 24584 24586 24540 0 -1 0 53505 0 1 0 4099 26 0 0 25 0 13 0 200721033 1754673152 42114 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071503482 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24586/statm: 428387 42114 1911 14 0 415134 0 [pid=24586/tid=24587] ppid=24584 vsize=1713548 CPUtime=0.18 /proc/24586/task/24587/stat : 24587 (java) S 24584 24586 24540 0 -1 64 3499 0 0 0 16 2 0 0 16 0 13 0 200721036 1754673152 42114 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24588] ppid=24584 vsize=1713548 CPUtime=0.19 /proc/24586/task/24588/stat : 24588 (java) S 24584 24586 24540 0 -1 64 3319 0 0 0 18 1 0 0 16 0 13 0 200721036 1754673152 42114 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24589] ppid=24584 vsize=1713548 CPUtime=0.01 /proc/24586/task/24589/stat : 24589 (java) S 24584 24586 24540 0 -1 64 30 0 0 0 0 1 0 0 15 0 13 0 200721039 1754673152 42114 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24590] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24590/stat : 24590 (java) S 24584 24586 24540 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200721039 1754673152 42114 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24591] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24591/stat : 24591 (java) S 24584 24586 24540 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200721039 1754673152 42114 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24592] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24592/stat : 24592 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200721043 1754673152 42114 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24593] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24593/stat : 24593 (java) S 24584 24586 24540 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 200721043 1754673152 42114 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24594] ppid=24584 vsize=1713548 CPUtime=0.84 /proc/24586/task/24594/stat : 24594 (java) S 24584 24586 24540 0 -1 64 1383 0 0 0 84 0 0 0 17 0 13 0 200721043 1754673152 42114 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24595] ppid=24584 vsize=1713548 CPUtime=0.85 /proc/24586/task/24595/stat : 24595 (java) S 24584 24586 24540 0 -1 64 1842 0 0 0 85 0 0 0 17 0 13 0 200721043 1754673152 42114 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24596] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24596/stat : 24596 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200721043 1754673152 42114 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24597] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24597/stat : 24597 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 200721043 1754673152 42114 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24606] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24606/stat : 24606 (java) S 24584 24586 24540 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 200722264 1754673152 42114 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.25 Current children cumulated vsize (Kb) 1713548 [startup+50.0292 s] /proc/loadavg: 1.00 1.00 0.98 2/76 24606 /proc/meminfo: memFree=1294296/2055920 swapFree=4181460/4192956 [pid=24586] ppid=24584 vsize=1713548 CPUtime=51.33 /proc/24586/stat : 24586 (java) R 24584 24586 24540 0 -1 0 54417 0 1 0 5106 27 0 0 25 0 13 0 200721033 1754673152 41593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071475962 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24586/statm: 428387 41593 1911 14 0 415134 0 [pid=24586/tid=24587] ppid=24584 vsize=1713548 CPUtime=0.23 /proc/24586/task/24587/stat : 24587 (java) S 24584 24586 24540 0 -1 64 3963 0 0 0 21 2 0 0 16 0 13 0 200721036 1754673152 41593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24588] ppid=24584 vsize=1713548 CPUtime=0.23 /proc/24586/task/24588/stat : 24588 (java) S 24584 24586 24540 0 -1 64 3734 0 0 0 22 1 0 0 16 0 13 0 200721036 1754673152 41593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24589] ppid=24584 vsize=1713548 CPUtime=0.01 /proc/24586/task/24589/stat : 24589 (java) S 24584 24586 24540 0 -1 64 30 0 0 0 0 1 0 0 16 0 13 0 200721039 1754673152 41593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24590] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24590/stat : 24590 (java) S 24584 24586 24540 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200721039 1754673152 41593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24591] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24591/stat : 24591 (java) S 24584 24586 24540 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200721039 1754673152 41593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24592] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24592/stat : 24592 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200721043 1754673152 41593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24593] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24593/stat : 24593 (java) S 24584 24586 24540 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 200721043 1754673152 41593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24594] ppid=24584 vsize=1713548 CPUtime=0.84 /proc/24586/task/24594/stat : 24594 (java) S 24584 24586 24540 0 -1 64 1383 0 0 0 84 0 0 0 17 0 13 0 200721043 1754673152 41593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24595] ppid=24584 vsize=1713548 CPUtime=0.89 /proc/24586/task/24595/stat : 24595 (java) S 24584 24586 24540 0 -1 64 1845 0 0 0 89 0 0 0 17 0 13 0 200721043 1754673152 41593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24596] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24596/stat : 24596 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200721043 1754673152 41593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24597] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24597/stat : 24597 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 200721043 1754673152 41593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24606] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24606/stat : 24606 (java) S 24584 24586 24540 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 200722264 1754673152 41593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 51.33 Current children cumulated vsize (Kb) 1713548 [startup+60.036 s] /proc/loadavg: 1.00 1.00 0.98 2/76 24606 /proc/meminfo: memFree=1273176/2055920 swapFree=4181460/4192956 [pid=24586] ppid=24584 vsize=1713548 CPUtime=61.39 /proc/24586/stat : 24586 (java) R 24584 24586 24540 0 -1 0 61414 0 1 0 6108 31 0 0 25 0 13 0 200721033 1754673152 46872 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071475908 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24586/statm: 428387 46872 1911 14 0 415134 0 [pid=24586/tid=24587] ppid=24584 vsize=1713548 CPUtime=0.29 /proc/24586/task/24587/stat : 24587 (java) S 24584 24586 24540 0 -1 64 4598 0 0 0 27 2 0 0 16 0 13 0 200721036 1754673152 46872 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24588] ppid=24584 vsize=1713548 CPUtime=0.3 /proc/24586/task/24588/stat : 24588 (java) S 24584 24586 24540 0 -1 64 4359 0 0 0 28 2 0 0 15 0 13 0 200721036 1754673152 46872 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24589] ppid=24584 vsize=1713548 CPUtime=0.03 /proc/24586/task/24589/stat : 24589 (java) S 24584 24586 24540 0 -1 64 42 0 0 0 1 2 0 0 16 0 13 0 200721039 1754673152 46872 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24590] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24590/stat : 24590 (java) S 24584 24586 24540 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200721039 1754673152 46872 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24591] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24591/stat : 24591 (java) S 24584 24586 24540 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200721039 1754673152 46872 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24592] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24592/stat : 24592 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200721043 1754673152 46872 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=24586/tid=24590] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24590/stat : 24590 (java) S 24584 24586 24540 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200721039 1754673152 162855 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24591] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24591/stat : 24591 (java) S 24584 24586 24540 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200721039 1754673152 162855 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24592] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24592/stat : 24592 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200721043 1754673152 162855 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24593] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24593/stat : 24593 (java) S 24584 24586 24540 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 200721043 1754673152 162855 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24594] ppid=24584 vsize=1713548 CPUtime=0.84 /proc/24586/task/24594/stat : 24594 (java) S 24584 24586 24540 0 -1 64 1383 0 0 0 84 0 0 0 16 0 13 0 200721043 1754673152 162855 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24595] ppid=24584 vsize=1713548 CPUtime=0.89 /proc/24586/task/24595/stat : 24595 (java) S 24584 24586 24540 0 -1 64 1845 0 0 0 89 0 0 0 17 0 13 0 200721043 1754673152 162855 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24596] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24596/stat : 24596 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200721043 1754673152 162855 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24597] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24597/stat : 24597 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 200721043 1754673152 162855 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24613] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24613/stat : 24613 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 200790586 1754673152 162855 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.38 Current children cumulated vsize (Kb) 1713548 [startup+1777.33 s] /proc/loadavg: 1.00 1.00 1.00 2/76 24613 /proc/meminfo: memFree=807744/2055920 swapFree=4181460/4192956 [pid=24586] ppid=24584 vsize=1713548 CPUtime=1797.4 /proc/24586/stat : 24586 (java) R 24584 24586 24540 0 -1 0 252652 0 1 0 179554 186 0 0 18 0 13 0 200721033 1754673152 162868 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071476067 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24586/statm: 428387 162868 1911 14 0 415134 0 [pid=24586/tid=24587] ppid=24584 vsize=1713548 CPUtime=20.15 /proc/24586/task/24587/stat : 24587 (java) S 24584 24586 24540 0 -1 64 72506 0 0 0 1968 47 0 0 16 0 13 0 200721036 1754673152 162868 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24588] ppid=24584 vsize=1713548 CPUtime=20.34 /proc/24586/task/24588/stat : 24588 (java) S 24584 24586 24540 0 -1 64 78747 0 0 0 1983 51 0 0 16 0 13 0 200721036 1754673152 162868 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24589] ppid=24584 vsize=1713548 CPUtime=0.76 /proc/24586/task/24589/stat : 24589 (java) S 24584 24586 24540 0 -1 64 180 0 0 0 42 34 0 0 16 0 13 0 200721039 1754673152 162868 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24590] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24590/stat : 24590 (java) S 24584 24586 24540 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200721039 1754673152 162868 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24591] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24591/stat : 24591 (java) S 24584 24586 24540 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200721039 1754673152 162868 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24592] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24592/stat : 24592 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200721043 1754673152 162868 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24593] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24593/stat : 24593 (java) S 24584 24586 24540 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 200721043 1754673152 162868 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24594] ppid=24584 vsize=1713548 CPUtime=0.84 /proc/24586/task/24594/stat : 24594 (java) S 24584 24586 24540 0 -1 64 1383 0 0 0 84 0 0 0 16 0 13 0 200721043 1754673152 162868 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24595] ppid=24584 vsize=1713548 CPUtime=0.89 /proc/24586/task/24595/stat : 24595 (java) S 24584 24586 24540 0 -1 64 1845 0 0 0 89 0 0 0 17 0 13 0 200721043 1754673152 162868 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24596] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24596/stat : 24596 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200721043 1754673152 162868 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24597] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24597/stat : 24597 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 200721043 1754673152 162868 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24613] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24613/stat : 24613 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 200790586 1754673152 162868 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.4 Current children cumulated vsize (Kb) 1713548 [startup+1778.34 s] /proc/loadavg: 1.00 1.00 1.00 2/76 24613 /proc/meminfo: memFree=807744/2055920 swapFree=4181460/4192956 [pid=24586] ppid=24584 vsize=1713548 CPUtime=1798.41 /proc/24586/stat : 24586 (java) R 24584 24586 24540 0 -1 0 252654 0 1 0 179655 186 0 0 25 0 13 0 200721033 1754673152 162869 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071422607 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24586/statm: 428387 162869 1911 14 0 415134 0 [pid=24586/tid=24587] ppid=24584 vsize=1713548 CPUtime=20.16 /proc/24586/task/24587/stat : 24587 (java) S 24584 24586 24540 0 -1 64 72507 0 0 0 1969 47 0 0 16 0 13 0 200721036 1754673152 162869 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24588] ppid=24584 vsize=1713548 CPUtime=20.35 /proc/24586/task/24588/stat : 24588 (java) S 24584 24586 24540 0 -1 64 78747 0 0 0 1984 51 0 0 16 0 13 0 200721036 1754673152 162869 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24589] ppid=24584 vsize=1713548 CPUtime=0.76 /proc/24586/task/24589/stat : 24589 (java) S 24584 24586 24540 0 -1 64 180 0 0 0 42 34 0 0 16 0 13 0 200721039 1754673152 162869 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24590] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24590/stat : 24590 (java) S 24584 24586 24540 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200721039 1754673152 162869 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24591] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24591/stat : 24591 (java) S 24584 24586 24540 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200721039 1754673152 162869 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24592] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24592/stat : 24592 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200721043 1754673152 162869 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24593] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24593/stat : 24593 (java) S 24584 24586 24540 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 200721043 1754673152 162869 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24594] ppid=24584 vsize=1713548 CPUtime=0.84 /proc/24586/task/24594/stat : 24594 (java) S 24584 24586 24540 0 -1 64 1383 0 0 0 84 0 0 0 16 0 13 0 200721043 1754673152 162869 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24595] ppid=24584 vsize=1713548 CPUtime=0.89 /proc/24586/task/24595/stat : 24595 (java) S 24584 24586 24540 0 -1 64 1845 0 0 0 89 0 0 0 17 0 13 0 200721043 1754673152 162869 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24596] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24596/stat : 24596 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200721043 1754673152 162869 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24597] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24597/stat : 24597 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 200721043 1754673152 162869 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24613] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24613/stat : 24613 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 200790586 1754673152 162869 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.41 Current children cumulated vsize (Kb) 1713548 [startup+1779.34 s] /proc/loadavg: 1.00 1.00 1.00 2/76 24613 /proc/meminfo: memFree=807168/2055920 swapFree=4181460/4192956 [pid=24586] ppid=24584 vsize=1713548 CPUtime=1799.45 /proc/24586/stat : 24586 (java) R 24584 24586 24540 0 -1 0 252846 0 1 0 179758 187 0 0 19 0 13 0 200721033 1754673152 163024 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071475908 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24586/statm: 428387 163024 1911 14 0 415134 0 [pid=24586/tid=24587] ppid=24584 vsize=1713548 CPUtime=20.19 /proc/24586/task/24587/stat : 24587 (java) S 24584 24586 24540 0 -1 64 72579 0 0 0 1972 47 0 0 15 0 13 0 200721036 1754673152 163024 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24588] ppid=24584 vsize=1713548 CPUtime=20.38 /proc/24586/task/24588/stat : 24588 (java) S 24584 24586 24540 0 -1 64 78865 0 0 0 1987 51 0 0 16 0 13 0 200721036 1754673152 163024 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24589] ppid=24584 vsize=1713548 CPUtime=0.77 /proc/24586/task/24589/stat : 24589 (java) S 24584 24586 24540 0 -1 64 180 0 0 0 43 34 0 0 15 0 13 0 200721039 1754673152 163024 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24590] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24590/stat : 24590 (java) S 24584 24586 24540 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200721039 1754673152 163024 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24591] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24591/stat : 24591 (java) S 24584 24586 24540 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200721039 1754673152 163024 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24592] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24592/stat : 24592 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200721043 1754673152 163024 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24593] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24593/stat : 24593 (java) S 24584 24586 24540 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 200721043 1754673152 163024 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24594] ppid=24584 vsize=1713548 CPUtime=0.84 /proc/24586/task/24594/stat : 24594 (java) S 24584 24586 24540 0 -1 64 1383 0 0 0 84 0 0 0 16 0 13 0 200721043 1754673152 163024 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24595] ppid=24584 vsize=1713548 CPUtime=0.89 /proc/24586/task/24595/stat : 24595 (java) S 24584 24586 24540 0 -1 64 1845 0 0 0 89 0 0 0 17 0 13 0 200721043 1754673152 163024 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24596] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24596/stat : 24596 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200721043 1754673152 163024 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24597] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24597/stat : 24597 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 200721043 1754673152 163024 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24613] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24613/stat : 24613 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 200790586 1754673152 163024 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.45 Current children cumulated vsize (Kb) 1713548 [startup+1780.35 s] /proc/loadavg: 1.00 1.00 1.00 2/76 24613 /proc/meminfo: memFree=806400/2055920 swapFree=4181460/4192956 [pid=24586] ppid=24584 vsize=1713548 CPUtime=1800.47 /proc/24586/stat : 24586 (java) R 24584 24586 24540 0 -1 0 253027 0 1 0 179860 187 0 0 18 0 13 0 200721033 1754673152 163191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071476030 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24586/statm: 428387 163191 1911 14 0 415134 0 [pid=24586/tid=24587] ppid=24584 vsize=1713548 CPUtime=20.21 /proc/24586/task/24587/stat : 24587 (java) S 24584 24586 24540 0 -1 64 72628 0 0 0 1974 47 0 0 15 0 13 0 200721036 1754673152 163191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24588] ppid=24584 vsize=1713548 CPUtime=20.4 /proc/24586/task/24588/stat : 24588 (java) S 24584 24586 24540 0 -1 64 78995 0 0 0 1989 51 0 0 16 0 13 0 200721036 1754673152 163191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24589] ppid=24584 vsize=1713548 CPUtime=0.77 /proc/24586/task/24589/stat : 24589 (java) S 24584 24586 24540 0 -1 64 180 0 0 0 43 34 0 0 15 0 13 0 200721039 1754673152 163191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24590] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24590/stat : 24590 (java) S 24584 24586 24540 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200721039 1754673152 163191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24591] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24591/stat : 24591 (java) S 24584 24586 24540 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200721039 1754673152 163191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24592] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24592/stat : 24592 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200721043 1754673152 163191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24593] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24593/stat : 24593 (java) S 24584 24586 24540 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 200721043 1754673152 163191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24594] ppid=24584 vsize=1713548 CPUtime=0.84 /proc/24586/task/24594/stat : 24594 (java) S 24584 24586 24540 0 -1 64 1383 0 0 0 84 0 0 0 16 0 13 0 200721043 1754673152 163191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24595] ppid=24584 vsize=1713548 CPUtime=0.89 /proc/24586/task/24595/stat : 24595 (java) S 24584 24586 24540 0 -1 64 1845 0 0 0 89 0 0 0 17 0 13 0 200721043 1754673152 163191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24596] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24596/stat : 24596 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200721043 1754673152 163191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24597] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24597/stat : 24597 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 200721043 1754673152 163191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24613] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24613/stat : 24613 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 200790586 1754673152 163191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.47 Current children cumulated vsize (Kb) 1713548 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1780.35 s] /proc/loadavg: 1.00 1.00 1.00 2/76 24613 /proc/meminfo: memFree=806400/2055920 swapFree=4181460/4192956 [pid=24586] ppid=24584 vsize=1713548 CPUtime=1800.48 /proc/24586/stat : 24586 (java) R 24584 24586 24540 0 -1 0 253027 0 1 0 179861 187 0 0 19 0 13 0 200721033 1754673152 163191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071441171 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24586/statm: 428387 163191 1911 14 0 415134 0 [pid=24586/tid=24587] ppid=24584 vsize=1713548 CPUtime=20.21 /proc/24586/task/24587/stat : 24587 (java) S 24584 24586 24540 0 -1 64 72628 0 0 0 1974 47 0 0 15 0 13 0 200721036 1754673152 163191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24588] ppid=24584 vsize=1713548 CPUtime=20.4 /proc/24586/task/24588/stat : 24588 (java) S 24584 24586 24540 0 -1 64 78995 0 0 0 1989 51 0 0 16 0 13 0 200721036 1754673152 163191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24589] ppid=24584 vsize=1713548 CPUtime=0.77 /proc/24586/task/24589/stat : 24589 (java) S 24584 24586 24540 0 -1 64 180 0 0 0 43 34 0 0 15 0 13 0 200721039 1754673152 163191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24590] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24590/stat : 24590 (java) S 24584 24586 24540 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200721039 1754673152 163191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24591] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24591/stat : 24591 (java) S 24584 24586 24540 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200721039 1754673152 163191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24592] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24592/stat : 24592 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200721043 1754673152 163191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24593] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24593/stat : 24593 (java) S 24584 24586 24540 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 200721043 1754673152 163191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24594] ppid=24584 vsize=1713548 CPUtime=0.84 /proc/24586/task/24594/stat : 24594 (java) S 24584 24586 24540 0 -1 64 1383 0 0 0 84 0 0 0 16 0 13 0 200721043 1754673152 163191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24595] ppid=24584 vsize=1713548 CPUtime=0.89 /proc/24586/task/24595/stat : 24595 (java) S 24584 24586 24540 0 -1 64 1845 0 0 0 89 0 0 0 17 0 13 0 200721043 1754673152 163191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24596] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24596/stat : 24596 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200721043 1754673152 163191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24586/tid=24597] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24597/stat : 24597 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 200721043 1754673152 163191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24586/tid=24613] ppid=24584 vsize=1713548 CPUtime=0 /proc/24586/task/24613/stat : 24613 (java) S 24584 24586 24540 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 200790586 1754673152 163191 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.48 Current children cumulated vsize (Kb) 1713548 Sending SIGTERM to -24586 Sleeping 2 seconds Child status: 143 Real time (s): 1780.52 CPU time (s): 1800.68 CPU user time (s): 1798.71 CPU system time (s): 1.9737 CPU usage (%): 101.132 Max. virtual memory (cumulated for all children) (Kb): 1713696
Begin job on node60 on Sat Jun 3 16:02:12 UTC 2006 FILE ID= 44010-1149350532 PBS_JOBID= 310954 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell5.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node60/44010-1149350532/instance-44010-1149350532.opb 702804143 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-44010-1149350532 -o ROOT/results/node60/solver-44010-1149350532 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node60/44010-1149350532/instance-44010-1149350532.opb 702804143 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 6b5a85fbc00dc0684845d7179dbc62de RANDOM SEED= 702804143 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.257 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.257 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1454016 kB Buffers: 31404 kB Cached: 497576 kB SwapCached: 3188 kB Active: 82100 kB Inactive: 455544 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1454016 kB SwapTotal: 4192956 kB SwapFree: 4181460 kB Dirty: 168 kB Writeback: 0 kB Mapped: 14740 kB Slab: 50312 kB Committed_AS: 359656 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node60 on Sat Jun 3 16:31:53 UTC 2006