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