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