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