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