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