Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4JPSEUDO 2006.2 | SAT | 77.6122 | 74.4876 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb |
MD5SUM | d54403a51e1ff3d34cd210d836adfe84 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 10.0295 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 2800 |
Total number of constraints | 990001 |
Number of constraints which are clauses | 986760 |
Number of constraints which are cardinality constraints (but not clauses) | 81 |
Number of constraints which are nor clauses,nor cardinality constraints | 3160 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1200 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 344 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 1239 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.18 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.18 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.18 c no version file found!!! 0.18 c sun.arch.data.model 32 0.18 c java.version 1.5.0_06 0.18 c os.name Linux 0.18 c os.version 2.6.9-22.EL.rootsmp 0.18 c os.arch i386 0.18 c Free memory 1548419056 0.18 c Max memory 1551040512 0.18 c Total memory 1551040512 0.18 c Number of processors 2 0.23 c Cutting planes based inference 0.23 c --- Begin Solver configuration --- 0.23 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.23 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.23 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.23 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.23 c VSIDS like heuristics from MiniSAT using a heap 0.23 c No reason simplification 0.23 c --- End Solver configuration --- 0.23 c solving ROOT/tmp/node8/43635-1149226327/instance-43635-1149226327.opb 0.23 c reading problem ... 69.60 c ... done. Time 69.368 ms. 69.60 c #vars 2800 69.60 c #constraints 990082 74.39 c starts : 3 74.39 c conflicts : 435 74.39 c decisions : 8748 74.39 c propagations : 23314 74.39 c inspects : 399548 74.39 c learnt literals : 0 74.39 c learnt binary clauses : 0 74.39 c learnt ternary clauses : 0 74.39 c learnt clauses : 435 74.39 c root simplifications : 0 74.39 c removed literals (reason simplification) : 0 74.39 c reason swapping (by a shorter reason) : 0 74.39 c Calls to reduceDB : 0 74.39 c speed (decisions/second) : 1829.3601003764115 74.39 c non guided choices 3655 74.39 s SATISFIABLE 74.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 74.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 74.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 74.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 74.42 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 74.42 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 74.42 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 74.42 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 74.42 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 74.42 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 74.42 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 74.42 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 74.42 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 74.42 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 74.42 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 74.42 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 74.42 v x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 74.42 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 74.42 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 74.42 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 74.42 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 74.42 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 74.42 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 74.42 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 -x523 -x524 -x525 74.42 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 74.42 v -x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 74.42 v -x568 -x569 -x570 x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 74.42 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 74.42 v -x610 -x611 -x612 -x613 -x614 -x615 x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 74.42 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 74.42 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 74.42 v -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 74.42 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714 74.42 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 74.42 v -x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 74.42 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 74.42 v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 74.42 v -x799 -x800 -x801 x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 74.42 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 74.42 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 74.42 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 x881 -x882 74.42 v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 74.42 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 74.42 v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 74.42 v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 74.42 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 74.42 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 x1000 -x1001 -x1002 -x1003 -x1004 -x1005 x1006 -x1007 74.42 v -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 74.42 v -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 74.42 v -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 74.42 v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 74.42 v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 74.42 v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 74.42 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 74.42 v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 74.42 v -x1144 -x1145 x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 74.42 v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 74.42 v -x1178 -x1179 -x1180 -x1181 x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 74.42 v -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 -x1211 74.42 v -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 74.42 v -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 74.42 v -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 74.42 v -x1263 -x1264 x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 74.42 v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 74.42 v -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 74.42 v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 74.42 v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 74.42 v -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 74.42 v -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 74.42 v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 x1395 -x1396 -x1397 -x1398 74.42 v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 74.42 v -x1416 -x1417 -x1418 -x1419 x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 74.42 v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 x1445 -x1446 -x1447 -x1448 -x1449 74.42 v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 74.42 v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 74.42 v -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 74.42 v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 74.42 v -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 74.42 v -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 74.42 v -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 x1568 74.42 v -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 74.42 v -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 74.42 v -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 74.42 v -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 74.42 v -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 74.42 v -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 74.42 v -x1671 -x1672 -x1673 x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 74.42 v x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 74.42 v -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 74.42 v -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 74.42 v -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 74.42 v -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 74.42 v -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 74.42 v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 74.42 v -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 74.42 v -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 74.42 v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 74.42 v -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 74.42 v x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 74.42 v -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 74.42 v -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 74.42 v -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 74.42 v -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 74.42 v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 74.42 v -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 74.42 v -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 x2008 -x2009 -x2010 -x2011 74.42 v -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 x2020 -x2021 x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 74.42 v -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 74.42 v -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 74.42 v -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 74.42 v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 74.42 v -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 74.42 v -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 74.42 v -x2132 -x2133 x2134 x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 74.42 v -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 x2157 -x2158 -x2159 -x2160 x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 74.42 v -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 x2182 -x2183 -x2184 74.42 v -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 74.42 v -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 74.42 v -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 x2234 -x2235 74.42 v -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 x2248 -x2249 -x2250 -x2251 -x2252 74.42 v -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 x2266 -x2267 -x2268 -x2269 74.42 v -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 x2284 -x2285 -x2286 74.42 v -x2287 -x2288 -x2289 -x2290 x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 74.42 v -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 74.42 v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 74.42 v -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 74.42 v -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 74.42 v -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 74.42 v -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 x2403 -x2404 -x2405 74.42 v -x2406 -x2407 -x2408 -x2409 -x2410 x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 74.42 v -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 74.42 v -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 74.42 v -x2457 -x2458 -x2459 -x2460 -x2461 x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 74.42 v -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 74.42 v -x2491 -x2492 -x2493 x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 74.42 v -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 x2521 -x2522 -x2523 -x2524 74.42 v -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 74.42 v -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 74.42 v -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 x2569 -x2570 -x2571 -x2572 x2573 -x2574 -x2575 -x2576 74.42 v -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 74.42 v -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 74.42 v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 74.42 v -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 74.42 v -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 74.42 v -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 74.42 v -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 x2692 -x2693 -x2694 -x2695 74.42 v -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 74.42 v -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 74.42 v -x2730 -x2731 x2732 -x2733 x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 74.42 v -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 74.42 v -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 74.42 v -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 74.42 v -x2799 -x2800 74.42 c Total wall clock time (ms): 74.186
OK 0
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node8/watcher-43635-1149226327 -o ROOT/results/node8/solver-43635-1149226327 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node8/43635-1149226327/instance-43635-1149226327.opb 991433435 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.93 0.99 0.97 3/64 16584 /proc/meminfo: memFree=1347680/2055920 swapFree=4181412/4192956 [pid=16584] ppid=16582 vsize=308 CPUtime=0 /proc/16584/stat : 16584 (java) R 16582 16584 16539 0 -1 0 57 0 0 0 0 0 0 0 19 0 1 0 188295115 315392 40 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 10621732 0 0 4096 0 0 0 0 17 1 0 0 /proc/16584/statm: 374 43 33 14 0 7 0 [startup+10.0023 s] /proc/loadavg: 1.09 1.02 0.98 2/75 16595 /proc/meminfo: memFree=1153288/2055920 swapFree=4181412/4192956 [pid=16584] ppid=16582 vsize=1713508 CPUtime=10.69 /proc/16584/stat : 16584 (java) R 16582 16584 16539 0 -1 0 52603 0 1 0 1042 27 0 0 25 0 12 0 188295115 1754632192 50439 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071433434 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16584/statm: 428377 50439 1878 14 0 415124 0 [pid=16584/tid=16585] ppid=16582 vsize=1713508 CPUtime=0.22 /proc/16584/task/16585/stat : 16585 (java) S 16582 16584 16539 0 -1 64 2643 0 0 0 19 3 0 0 16 0 12 0 188295121 1754632192 50439 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16586] ppid=16582 vsize=1713508 CPUtime=0.22 /proc/16584/task/16586/stat : 16586 (java) S 16582 16584 16539 0 -1 64 3687 0 0 0 21 1 0 0 16 0 12 0 188295121 1754632192 50439 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16584/tid=16587] ppid=16582 vsize=1713508 CPUtime=0 /proc/16584/task/16587/stat : 16587 (java) S 16582 16584 16539 0 -1 64 29 0 0 0 0 0 0 0 16 0 12 0 188295124 1754632192 50439 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16588] ppid=16582 vsize=1713508 CPUtime=0 /proc/16584/task/16588/stat : 16588 (java) S 16582 16584 16539 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188295124 1754632192 50439 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16584/tid=16589] ppid=16582 vsize=1713508 CPUtime=0 /proc/16584/task/16589/stat : 16589 (java) S 16582 16584 16539 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188295124 1754632192 50439 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16584/tid=16590] ppid=16582 vsize=1713508 CPUtime=0 /proc/16584/task/16590/stat : 16590 (java) S 16582 16584 16539 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188295128 1754632192 50439 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16591] ppid=16582 vsize=1713508 CPUtime=0 /proc/16584/task/16591/stat : 16591 (java) S 16582 16584 16539 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188295128 1754632192 50439 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16592] ppid=16582 vsize=1713508 CPUtime=0.37 /proc/16584/task/16592/stat : 16592 (java) S 16582 16584 16539 0 -1 64 1210 0 0 0 37 0 0 0 16 0 12 0 188295128 1754632192 50439 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16593] ppid=16582 vsize=1713508 CPUtime=0.37 /proc/16584/task/16593/stat : 16593 (java) S 16582 16584 16539 0 -1 64 1495 0 0 0 37 0 0 0 16 0 12 0 188295128 1754632192 50439 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16584/tid=16594] ppid=16582 vsize=1713508 CPUtime=0 /proc/16584/task/16594/stat : 16594 (java) S 16582 16584 16539 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 188295128 1754632192 50439 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16595] ppid=16582 vsize=1713508 CPUtime=0 /proc/16584/task/16595/stat : 16595 (java) S 16582 16584 16539 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188295128 1754632192 50439 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 10.69 Current children cumulated vsize (Kb) 1713508 [startup+20.0092 s] /proc/loadavg: 1.08 1.02 0.98 2/75 16595 /proc/meminfo: memFree=1139720/2055920 swapFree=4181412/4192956 [pid=16584] ppid=16582 vsize=1713508 CPUtime=20.85 /proc/16584/stat : 16584 (java) R 16582 16584 16539 0 -1 0 56215 0 1 0 2055 30 0 0 25 0 12 0 188295115 1754632192 53863 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071432947 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16584/statm: 428377 53863 1878 14 0 415124 0 [pid=16584/tid=16585] ppid=16582 vsize=1713508 CPUtime=0.38 /proc/16584/task/16585/stat : 16585 (java) S 16582 16584 16539 0 -1 64 4548 0 0 0 35 3 0 0 16 0 12 0 188295121 1754632192 53863 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16584/tid=16586] ppid=16582 vsize=1713508 CPUtime=0.38 /proc/16584/task/16586/stat : 16586 (java) S 16582 16584 16539 0 -1 64 5374 0 0 0 36 2 0 0 16 0 12 0 188295121 1754632192 53863 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16587] ppid=16582 vsize=1713508 CPUtime=0 /proc/16584/task/16587/stat : 16587 (java) S 16582 16584 16539 0 -1 64 29 0 0 0 0 0 0 0 15 0 12 0 188295124 1754632192 53863 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16584/tid=16588] ppid=16582 vsize=1713508 CPUtime=0 /proc/16584/task/16588/stat : 16588 (java) S 16582 16584 16539 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188295124 1754632192 53863 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16584/tid=16589] ppid=16582 vsize=1713508 CPUtime=0 /proc/16584/task/16589/stat : 16589 (java) S 16582 16584 16539 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188295124 1754632192 53863 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16584/tid=16590] ppid=16582 vsize=1713508 CPUtime=0 /proc/16584/task/16590/stat : 16590 (java) S 16582 16584 16539 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188295128 1754632192 53863 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16591] ppid=16582 vsize=1713508 CPUtime=0 /proc/16584/task/16591/stat : 16591 (java) S 16582 16584 16539 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188295128 1754632192 53863 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16592] ppid=16582 vsize=1713508 CPUtime=0.37 /proc/16584/task/16592/stat : 16592 (java) S 16582 16584 16539 0 -1 64 1210 0 0 0 37 0 0 0 16 0 12 0 188295128 1754632192 53863 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16593] ppid=16582 vsize=1713508 CPUtime=0.37 /proc/16584/task/16593/stat : 16593 (java) S 16582 16584 16539 0 -1 64 1495 0 0 0 37 0 0 0 16 0 12 0 188295128 1754632192 53863 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16584/tid=16594] ppid=16582 vsize=1713508 CPUtime=0 /proc/16584/task/16594/stat : 16594 (java) S 16582 16584 16539 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 188295128 1754632192 53863 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16595] ppid=16582 vsize=1713508 CPUtime=0 /proc/16584/task/16595/stat : 16595 (java) S 16582 16584 16539 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188295128 1754632192 53863 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 20.85 Current children cumulated vsize (Kb) 1713508 [startup+30.0162 s] /proc/loadavg: 1.06 1.02 0.98 2/75 16595 /proc/meminfo: memFree=1123272/2055920 swapFree=4181412/4192956 [pid=16584] ppid=16582 vsize=1713508 CPUtime=31.05 /proc/16584/stat : 16584 (java) R 16582 16584 16539 0 -1 0 60568 0 1 0 3072 33 0 0 25 0 12 0 188295115 1754632192 57988 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071346106 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16584/statm: 428377 57988 1878 14 0 415124 0 [pid=16584/tid=16585] ppid=16582 vsize=1713508 CPUtime=0.6 /proc/16584/task/16585/stat : 16585 (java) S 16582 16584 16539 0 -1 64 6463 0 0 0 56 4 0 0 16 0 12 0 188295121 1754632192 57988 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16586] ppid=16582 vsize=1713508 CPUtime=0.58 /proc/16584/task/16586/stat : 16586 (java) S 16582 16584 16539 0 -1 64 7791 0 0 0 55 3 0 0 16 0 12 0 188295121 1754632192 57988 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16584/tid=16587] ppid=16582 vsize=1713508 CPUtime=0.01 /proc/16584/task/16587/stat : 16587 (java) S 16582 16584 16539 0 -1 64 29 0 0 0 1 0 0 0 15 0 12 0 188295124 1754632192 57988 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16584/tid=16588] ppid=16582 vsize=1713508 CPUtime=0 /proc/16584/task/16588/stat : 16588 (java) S 16582 16584 16539 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188295124 1754632192 57988 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16584/tid=16589] ppid=16582 vsize=1713508 CPUtime=0 /proc/16584/task/16589/stat : 16589 (java) S 16582 16584 16539 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188295124 1754632192 57988 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16584/tid=16590] ppid=16582 vsize=1713508 CPUtime=0 /proc/16584/task/16590/stat : 16590 (java) S 16582 16584 16539 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188295128 1754632192 57988 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16591] ppid=16582 vsize=1713508 CPUtime=0 /proc/16584/task/16591/stat : 16591 (java) S 16582 16584 16539 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188295128 1754632192 57988 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16592] ppid=16582 vsize=1713508 CPUtime=0.37 /proc/16584/task/16592/stat : 16592 (java) S 16582 16584 16539 0 -1 64 1210 0 0 0 37 0 0 0 16 0 12 0 188295128 1754632192 57988 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16593] ppid=16582 vsize=1713508 CPUtime=0.37 /proc/16584/task/16593/stat : 16593 (java) S 16582 16584 16539 0 -1 64 1495 0 0 0 37 0 0 0 17 0 12 0 188295128 1754632192 57988 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16584/tid=16594] ppid=16582 vsize=1713508 CPUtime=0 /proc/16584/task/16594/stat : 16594 (java) S 16582 16584 16539 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 188295128 1754632192 57988 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16595] ppid=16582 vsize=1713508 CPUtime=0 /proc/16584/task/16595/stat : 16595 (java) S 16582 16584 16539 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188295128 1754632192 57988 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.05 Current children cumulated vsize (Kb) 1713508 [startup+40.0231 s] /proc/loadavg: 1.05 1.02 0.98 2/75 16595 /proc/meminfo: memFree=1113032/2055920 swapFree=4181412/4192956 [pid=16584] ppid=16582 vsize=1712876 CPUtime=41.28 /proc/16584/stat : 16584 (java) R 16582 16584 16539 0 -1 0 63393 0 1 0 4092 36 0 0 25 0 12 0 188295115 1753985024 60563 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071432947 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16584/statm: 428219 60563 1878 14 0 414966 0 [pid=16584/tid=16585] ppid=16582 vsize=1712876 CPUtime=0.83 /proc/16584/task/16585/stat : 16585 (java) S 16582 16584 16539 0 -1 64 7981 0 0 0 78 5 0 0 16 0 12 0 188295121 1753985024 60563 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16586] ppid=16582 vsize=1712876 CPUtime=0.82 /proc/16584/task/16586/stat : 16586 (java) S 16582 16584 16539 0 -1 64 9077 0 0 0 78 4 0 0 16 0 12 0 188295121 1753985024 60563 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16584/tid=16587] ppid=16582 vsize=1712876 CPUtime=0.01 /proc/16584/task/16587/stat : 16587 (java) S 16582 16584 16539 0 -1 64 29 0 0 0 1 0 0 0 16 0 12 0 188295124 1753985024 60563 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16584/tid=16588] ppid=16582 vsize=1712876 CPUtime=0 /proc/16584/task/16588/stat : 16588 (java) S 16582 16584 16539 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188295124 1753985024 60563 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16584/tid=16589] ppid=16582 vsize=1712876 CPUtime=0 /proc/16584/task/16589/stat : 16589 (java) S 16582 16584 16539 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188295124 1753985024 60563 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16584/tid=16590] ppid=16582 vsize=1712876 CPUtime=0 /proc/16584/task/16590/stat : 16590 (java) S 16582 16584 16539 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188295128 1753985024 60563 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16591] ppid=16582 vsize=1712876 CPUtime=0 /proc/16584/task/16591/stat : 16591 (java) S 16582 16584 16539 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188295128 1753985024 60563 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16592] ppid=16582 vsize=1712876 CPUtime=0.37 /proc/16584/task/16592/stat : 16592 (java) S 16582 16584 16539 0 -1 64 1210 0 0 0 37 0 0 0 16 0 12 0 188295128 1753985024 60563 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16593] ppid=16582 vsize=1712876 CPUtime=0.37 /proc/16584/task/16593/stat : 16593 (java) S 16582 16584 16539 0 -1 64 1495 0 0 0 37 0 0 0 17 0 12 0 188295128 1753985024 60563 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16584/tid=16594] ppid=16582 vsize=1712876 CPUtime=0 /proc/16584/task/16594/stat : 16594 (java) S 16582 16584 16539 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 188295128 1753985024 60563 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16595] ppid=16582 vsize=1712876 CPUtime=0 /proc/16584/task/16595/stat : 16595 (java) S 16582 16584 16539 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188295128 1753985024 60563 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.28 Current children cumulated vsize (Kb) 1712876 [startup+50.031 s] /proc/loadavg: 1.04 1.02 0.98 2/75 16595 /proc/meminfo: memFree=1102856/2055920 swapFree=4181412/4192956 [pid=16584] ppid=16582 vsize=1712876 CPUtime=51.54 /proc/16584/stat : 16584 (java) R 16582 16584 16539 0 -1 0 66009 0 1 0 5116 38 0 0 25 0 12 0 188295115 1753985024 63115 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071433179 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16584/statm: 428219 63115 1878 14 0 414966 0 [pid=16584/tid=16585] ppid=16582 vsize=1712876 CPUtime=1.08 /proc/16584/task/16585/stat : 16585 (java) S 16582 16584 16539 0 -1 64 9375 0 0 0 103 5 0 0 16 0 12 0 188295121 1753985024 63115 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16586] ppid=16582 vsize=1712876 CPUtime=1.06 /proc/16584/task/16586/stat : 16586 (java) S 16582 16584 16539 0 -1 64 10277 0 0 0 102 4 0 0 16 0 12 0 188295121 1753985024 63115 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16584/tid=16587] ppid=16582 vsize=1712876 CPUtime=0.01 /proc/16584/task/16587/stat : 16587 (java) S 16582 16584 16539 0 -1 64 29 0 0 0 1 0 0 0 15 0 12 0 188295124 1753985024 63115 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16588] ppid=16582 vsize=1712876 CPUtime=0 /proc/16584/task/16588/stat : 16588 (java) S 16582 16584 16539 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188295124 1753985024 63115 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16584/tid=16589] ppid=16582 vsize=1712876 CPUtime=0 /proc/16584/task/16589/stat : 16589 (java) S 16582 16584 16539 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188295124 1753985024 63115 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16584/tid=16590] ppid=16582 vsize=1712876 CPUtime=0 /proc/16584/task/16590/stat : 16590 (java) S 16582 16584 16539 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188295128 1753985024 63115 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16591] ppid=16582 vsize=1712876 CPUtime=0 /proc/16584/task/16591/stat : 16591 (java) S 16582 16584 16539 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188295128 1753985024 63115 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16592] ppid=16582 vsize=1712876 CPUtime=0.38 /proc/16584/task/16592/stat : 16592 (java) S 16582 16584 16539 0 -1 64 1211 0 0 0 38 0 0 0 16 0 12 0 188295128 1753985024 63115 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16593] ppid=16582 vsize=1712876 CPUtime=0.37 /proc/16584/task/16593/stat : 16593 (java) S 16582 16584 16539 0 -1 64 1495 0 0 0 37 0 0 0 17 0 12 0 188295128 1753985024 63115 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16584/tid=16594] ppid=16582 vsize=1712876 CPUtime=0 /proc/16584/task/16594/stat : 16594 (java) S 16582 16584 16539 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 188295128 1753985024 63115 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16595] ppid=16582 vsize=1712876 CPUtime=0 /proc/16584/task/16595/stat : 16595 (java) S 16582 16584 16539 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188295128 1753985024 63115 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 51.54 Current children cumulated vsize (Kb) 1712876 [startup+60.0369 s] /proc/loadavg: 1.04 1.02 0.98 2/75 16595 /proc/meminfo: memFree=1087560/2055920 swapFree=4181412/4192956 [pid=16584] ppid=16582 vsize=1712876 CPUtime=61.81 /proc/16584/stat : 16584 (java) R 16582 16584 16539 0 -1 0 69885 0 1 0 6140 41 0 0 17 0 12 0 188295115 1753985024 66920 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071433445 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16584/statm: 428219 66920 1878 14 0 414966 0 [pid=16584/tid=16585] ppid=16582 vsize=1712876 CPUtime=1.35 /proc/16584/task/16585/stat : 16585 (java) S 16582 16584 16539 0 -1 64 12090 0 0 0 128 7 0 0 16 0 12 0 188295121 1753985024 66920 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16584/tid=16586] ppid=16582 vsize=1712876 CPUtime=1.33 /proc/16584/task/16586/stat : 16586 (java) S 16582 16584 16539 0 -1 64 11418 0 0 0 128 5 0 0 15 0 12 0 188295121 1753985024 66920 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16587] ppid=16582 vsize=1712876 CPUtime=0.02 /proc/16584/task/16587/stat : 16587 (java) S 16582 16584 16539 0 -1 64 29 0 0 0 1 1 0 0 15 0 12 0 188295124 1753985024 66920 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16588] ppid=16582 vsize=1712876 CPUtime=0 /proc/16584/task/16588/stat : 16588 (java) S 16582 16584 16539 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188295124 1753985024 66920 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16584/tid=16589] ppid=16582 vsize=1712876 CPUtime=0 /proc/16584/task/16589/stat : 16589 (java) S 16582 16584 16539 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188295124 1753985024 66920 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16584/tid=16590] ppid=16582 vsize=1712876 CPUtime=0 /proc/16584/task/16590/stat : 16590 (java) S 16582 16584 16539 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188295128 1753985024 66920 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16591] ppid=16582 vsize=1712876 CPUtime=0 /proc/16584/task/16591/stat : 16591 (java) S 16582 16584 16539 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188295128 1753985024 66920 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16592] ppid=16582 vsize=1712876 CPUtime=0.38 /proc/16584/task/16592/stat : 16592 (java) S 16582 16584 16539 0 -1 64 1211 0 0 0 38 0 0 0 16 0 12 0 188295128 1753985024 66920 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16593] ppid=16582 vsize=1712876 CPUtime=0.37 /proc/16584/task/16593/stat : 16593 (java) S 16582 16584 16539 0 -1 64 1495 0 0 0 37 0 0 0 17 0 12 0 188295128 1753985024 66920 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16584/tid=16594] ppid=16582 vsize=1712876 CPUtime=0 /proc/16584/task/16594/stat : 16594 (java) S 16582 16584 16539 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 188295128 1753985024 66920 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16595] ppid=16582 vsize=1712876 CPUtime=0 /proc/16584/task/16595/stat : 16595 (java) S 16582 16584 16539 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188295128 1753985024 66920 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 61.81 Current children cumulated vsize (Kb) 1712876 [startup+70.0509 s] /proc/loadavg: 1.03 1.02 0.98 3/76 16596 /proc/meminfo: memFree=1068032/2055920 swapFree=4181412/4192956 [pid=16584] ppid=16582 vsize=1713392 CPUtime=72.52 /proc/16584/stat : 16584 (java) R 16582 16584 16539 0 -1 0 75411 0 1 0 7207 45 0 0 25 0 13 0 188295115 1754513408 71794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071539143 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16584/statm: 428348 71794 1904 14 0 415095 0 [pid=16584/tid=16585] ppid=16582 vsize=1713392 CPUtime=1.67 /proc/16584/task/16585/stat : 16585 (java) S 16582 16584 16539 0 -1 64 14403 0 0 0 159 8 0 0 17 0 13 0 188295121 1754513408 71794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16584/tid=16586] ppid=16582 vsize=1713392 CPUtime=1.65 /proc/16584/task/16586/stat : 16586 (java) S 16582 16584 16539 0 -1 64 14166 0 0 0 159 6 0 0 16 0 13 0 188295121 1754513408 71794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16587] ppid=16582 vsize=1713392 CPUtime=0.03 /proc/16584/task/16587/stat : 16587 (java) S 16582 16584 16539 0 -1 64 29 0 0 0 2 1 0 0 15 0 13 0 188295124 1754513408 71794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16584/tid=16588] ppid=16582 vsize=1713392 CPUtime=0 /proc/16584/task/16588/stat : 16588 (java) S 16582 16584 16539 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 188295124 1754513408 71794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16584/tid=16589] ppid=16582 vsize=1713392 CPUtime=0 /proc/16584/task/16589/stat : 16589 (java) S 16582 16584 16539 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 188295124 1754513408 71794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16584/tid=16590] ppid=16582 vsize=1713392 CPUtime=0 /proc/16584/task/16590/stat : 16590 (java) S 16582 16584 16539 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 188295128 1754513408 71794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16591] ppid=16582 vsize=1713392 CPUtime=0 /proc/16584/task/16591/stat : 16591 (java) S 16582 16584 16539 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 188295128 1754513408 71794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16592] ppid=16582 vsize=1713392 CPUtime=0.62 /proc/16584/task/16592/stat : 16592 (java) R 16582 16584 16539 0 -1 64 1269 0 0 0 62 0 0 0 16 0 13 0 188295128 1754513408 71794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4152701024 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16593] ppid=16582 vsize=1713392 CPUtime=0.62 /proc/16584/task/16593/stat : 16593 (java) S 16582 16584 16539 0 -1 64 1825 0 0 0 62 0 0 0 16 0 13 0 188295128 1754513408 71794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16584/tid=16594] ppid=16582 vsize=1713392 CPUtime=0 /proc/16584/task/16594/stat : 16594 (java) S 16582 16584 16539 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 188295128 1754513408 71794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16584/tid=16595] ppid=16582 vsize=1713392 CPUtime=0 /proc/16584/task/16595/stat : 16595 (java) S 16582 16584 16539 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 188295128 1754513408 71794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16584/tid=16596] ppid=16582 vsize=1713392 CPUtime=0 /proc/16584/task/16596/stat : 16596 (java) S 16582 16584 16539 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 188302076 1754513408 71794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 72.52 Current children cumulated vsize (Kb) 1713392 Child status: 10 Real time (s): 74.4876 CPU time (s): 77.6122 CPU user time (s): 77.0943 CPU system time (s): 0.517921 CPU usage (%): 104.195 Max. virtual memory (cumulated for all children) (Kb): 1713508
Begin job on node8 on Fri Jun 2 05:32:08 UTC 2006 FILE ID= 43635-1149226327 PBS_JOBID= 295874 BENCH NAME= ROOT/tmp/node8/43635-1149226327/instance-43635-1149226327.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node8/43635-1149226327/instance-43635-1149226327.opb 991433435 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node8/watcher-43635-1149226327 -o ROOT/results/node8/solver-43635-1149226327 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node8/43635-1149226327/instance-43635-1149226327.opb 991433435 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= d54403a51e1ff3d34cd210d836adfe84 RANDOM SEED= 991433435 /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.220 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.220 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: 1348080 kB Buffers: 17396 kB Cached: 620624 kB SwapCached: 3424 kB Active: 209640 kB Inactive: 437280 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1348080 kB SwapTotal: 4192956 kB SwapFree: 4181412 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14860 kB Slab: 46892 kB Committed_AS: 207020 kB PageTables: 1488 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node8 on Fri Jun 2 05:33:24 UTC 2006