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