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