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