Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
BoolVar 2009-04-26 | SAT | 127.053 | 127.145 |
Name | /PURE-SAT/SAT09/CRAFTED/ edgematching/all/em_7_4_9_all.opb |
MD5SUM | 9a5d69e530920eef84eb048c2f48d093 |
Bench Category | PURE-SAT (instances containing only clauses) |
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 | 4.63229 |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 1677 |
Total number of constraints | 40187 |
Number of constraints which are clauses | 40187 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 25 |
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 | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 26 |
Number of bits of the biggest sum of numbers | 5 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
3.76/3.82 ------------------------ 3.76/3.82 Encoding : LINEAR, DIRECT, BDD, POLYW, GLOBC 3.76/3.82 Size : 0, 98603, 0, 0, 0 3.76/3.82 Count : 0, 40187, 0, 0, 0 3.76/3.82 3.76/3.82 Command line : minisat tmp.dimacs %var 3.76/3.82 3.76/3.82 ------------------------ 3.76/3.83 This is MiniSat 2.0 beta 3.76/3.83 WARNING: for repeatability, setting FPU to use double precision 3.76/3.83 ============================[ Problem Statistics ]============================= 3.76/3.83 | | 3.76/3.83 | Number of variables: 1677 | 3.76/3.83 | Number of clauses: 40187 | 3.76/3.86 | Parsing time: 0.03 s | 3.78/3.94 ============================[ Search Statistics ]============================== 3.78/3.94 | Conflicts | ORIGINAL | LEARNT | Progress | 3.78/3.94 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 3.78/3.94 =============================================================================== 3.78/3.94 | 0 | 1673 39787 97439 | 13262 0 nan | 0.000 % | 3.78/3.94 | 100 | 1673 39787 97439 | 14588 100 24 | 0.000 % | 3.78/3.95 | 250 | 1668 39787 97439 | 16047 248 21 | 0.596 % | 3.78/3.96 | 475 | 1663 39787 97439 | 17652 473 28 | 0.596 % | 3.78/3.98 | 813 | 1663 39787 97439 | 19417 811 34 | 0.596 % | 3.79/4.01 | 1321 | 1663 39787 97439 | 21359 1319 41 | 0.596 % | 3.79/4.06 | 2080 | 1659 39609 97083 | 23495 2077 43 | 0.835 % | 3.79/4.14 | 3220 | 1659 39609 97083 | 25844 3217 45 | 0.835 % | 3.79/4.27 | 4929 | 1659 39544 96953 | 28428 4925 48 | 0.835 % | 4.45/4.53 | 7491 | 1656 39544 96953 | 31271 7486 50 | 1.133 % | 4.95/5.02 | 11335 | 1654 39463 96791 | 34399 11329 54 | 1.372 % | 5.85/5.92 | 17102 | 1641 39328 96521 | 37838 17091 53 | 1.908 % | 7.85/7.98 | 25753 | 1641 39328 96521 | 41622 25742 59 | 1.908 % | 13.35/13.43 | 38730 | 1641 39273 96411 | 45785 38718 61 | 1.908 % | 23.84/23.98 | 58191 | 1641 39273 96411 | 50363 32415 53 | 1.908 % | 41.93/42.07 | 87384 | 1640 39209 96255 | 55400 34064 53 | 1.968 % | 80.22/80.33 | 131173 | 1640 39209 96255 | 60940 47819 47 | 1.968 % | 127.01/127.11 =============================================================================== 127.01/127.11 restarts : 17 127.01/127.11 conflicts : 181331 (1472 /sec) 127.01/127.11 decisions : 420297 (1.60 % random) (3412 /sec) 127.01/127.11 propagations : 25692532 (208578 /sec) 127.01/127.11 conflict literals : 10999077 (35.36 % deleted) 127.01/127.11 Memory used : 20.79 MB 127.01/127.11 CPU time : 123.179 s 127.01/127.11 127.01/127.11 s SATISFIABLE 127.01/127.11 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 -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 -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 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 -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 x935 -x936 -x937 -x938 -x939 -x940 -x941 x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 x1038 -x1039 -x1040 -x1041 -x1042 -x1043 x1044 -x1045 x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057 x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 x1065 x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 -x1112 -x1113 -x1114 -x1115 -x1116 x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129 x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 -x1240 -x1241 -x1242 -x1243 x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 x1283 -x1284 -x1285 x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 x1359 -x1360 -x1361 x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1375 -x1376 -x1377 x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 x1474 -x1475 -x1476 -x1477 -x1478 x1479 -x1480 -x1481 -x1482 -x1483 -x1484 x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 x1497 -x1498 -x1499 -x1500 -x1501 -x1502 x1503 -x1504 -x1505 -x1506 -x1507 -x1508 x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 x1539 -x1540 -x1541 -x1542 -x1543 x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 x1562 -x1563 -x1564 -x1565 -x1566 x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 x1602 -x1603 -x1604 x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 x1651 -x1652 -x1653 -x1654 x1655 -x1656 -x1657 x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 x1665 -x1666 x1667 -x1668 -x1669 -x1670 -x1671 x1672 -x1673 x1674 -x1675 -x1676 -x1677
OK 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1885130-1245263520/watcher-1885130-1245263520 -o /tmp/evaluation-result-1885130-1245263520/solver-1885130-1245263520 -C 1800 -W 2000 -M 1800 java -Xmx1500m -jar pb2cnfsolver.jar 6 HOME/instance-1885130-1245263520.opb minisat %dimacs %var Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.92 3/64 3385 /proc/meminfo: memFree=1816824/2055920 swapFree=4192956/4192956 [pid=3385] ppid=3383 vsize=18576 CPUtime=0 /proc/3385/stat : 3385 (runsolver) R 3383 3385 3118 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 1829041 19021824 284 1992294400 4194304 4302564 548682068448 18446744073709551615 245482712359 0 2147483391 4096 24578 0 0 0 17 0 0 0 /proc/3385/statm: 4644 284 249 26 0 2626 0 [startup+0.0108211 s] /proc/loadavg: 0.99 0.98 0.92 3/64 3385 /proc/meminfo: memFree=1816824/2055920 swapFree=4192956/4192956 [pid=3385] ppid=3383 vsize=152 CPUtime=0 /proc/3385/stat : 3385 (java) R 3383 3385 3118 0 -1 0 221 0 0 0 0 0 0 0 18 0 1 0 1829041 155648 26 1992294400 134512640 134550932 4294956032 18446744073709551615 2859307 0 0 4096 0 0 0 0 17 1 0 0 /proc/3385/statm: 38 26 19 9 0 4 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 152 [startup+0.101939 s] /proc/loadavg: 0.99 0.98 0.92 3/64 3385 /proc/meminfo: memFree=1816824/2055920 swapFree=4192956/4192956 [pid=3385] ppid=3383 vsize=1681004 CPUtime=0.03 /proc/3385/stat : 3385 (java) S 3383 3385 3118 0 -1 0 1264 0 41 0 0 3 0 0 18 0 2 0 1829041 1721348096 992 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 /proc/3385/statm: 420251 992 542 9 0 415166 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1681004 [startup+0.301876 s] /proc/loadavg: 0.99 0.98 0.92 3/64 3385 /proc/meminfo: memFree=1816824/2055920 swapFree=4192956/4192956 [pid=3385] ppid=3383 vsize=1685444 CPUtime=0.2 /proc/3385/stat : 3385 (java) S 3383 3385 3118 0 -1 0 2980 0 68 0 14 6 0 0 18 0 9 0 1829041 1725894656 2540 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/3385/statm: 421361 2540 1222 9 0 416272 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 1685444 [startup+0.701945 s] /proc/loadavg: 0.99 0.98 0.92 3/64 3385 /proc/meminfo: memFree=1816824/2055920 swapFree=4192956/4192956 [pid=3385] ppid=3383 vsize=1685452 CPUtime=0.6 /proc/3385/stat : 3385 (java) S 3383 3385 3118 0 -1 0 6357 0 72 0 53 7 0 0 18 0 9 0 1829041 1725902848 5411 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/3385/statm: 421363 5411 2154 9 0 416274 0 Current children cumulated CPU time (s) 0.6 Current children cumulated vsize (KiB) 1685452 [startup+1.50209 s] /proc/loadavg: 0.99 0.98 0.92 3/73 3394 /proc/meminfo: memFree=1782128/2055920 swapFree=4192956/4192956 [pid=3385] ppid=3383 vsize=1686588 CPUtime=1.46 /proc/3385/stat : 3385 (java) S 3383 3385 3118 0 -1 0 10415 0 73 0 137 9 0 0 18 0 9 0 1829041 1727066112 8979 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/3385/statm: 421647 8979 2163 9 0 416558 0 [pid=3385/tid=3387] ppid=3383 vsize=1686588 CPUtime=0.95 /proc/3385/task/3387/stat : 3387 (java) S 3383 3385 3118 0 -1 64 2066 0 38 0 91 4 0 0 16 0 9 0 1829048 1727066112 8979 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3385/tid=3388] ppid=3383 vsize=1686588 CPUtime=0.36 /proc/3385/task/3388/stat : 3388 (java) R 3383 3385 3118 0 -1 64 7298 0 3 0 34 2 0 0 17 0 9 0 1829052 1727066112 8979 1992294400 134512640 134550932 4294956032 18446744073709551615 103825730 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3389] ppid=3383 vsize=1686588 CPUtime=0 /proc/3385/task/3389/stat : 3389 (java) S 3383 3385 3118 0 -1 64 13 0 0 0 0 0 0 0 15 0 9 0 1829054 1727066112 8979 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3390] ppid=3383 vsize=1686588 CPUtime=0 /proc/3385/task/3390/stat : 3390 (java) S 3383 3385 3118 0 -1 64 9 0 1 0 0 0 0 0 16 0 9 0 1829054 1727066112 8979 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3391] ppid=3383 vsize=1686588 CPUtime=0 /proc/3385/task/3391/stat : 3391 (java) S 3383 3385 3118 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 1829058 1727066112 8979 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3392] ppid=3383 vsize=1686588 CPUtime=0.1 /proc/3385/task/3392/stat : 3392 (java) S 3383 3385 3118 0 -1 64 349 0 0 0 10 0 0 0 16 0 9 0 1829058 1727066112 8979 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3385/tid=3393] ppid=3383 vsize=1686588 CPUtime=0 /proc/3385/task/3393/stat : 3393 (java) S 3383 3385 3118 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 1829058 1727066112 8979 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3394] ppid=3383 vsize=1686588 CPUtime=0 /proc/3385/task/3394/stat : 3394 (java) S 3383 3385 3118 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1829058 1727066112 8979 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 1686588 [startup+3.10237 s] /proc/loadavg: 0.99 0.98 0.92 2/73 3394 /proc/meminfo: memFree=1762096/2055920 swapFree=4192956/4192956 [pid=3385] ppid=3383 vsize=1685584 CPUtime=3.06 /proc/3385/stat : 3385 (java) S 3383 3385 3118 0 -1 0 18703 0 73 0 292 14 0 0 18 0 9 0 1829041 1726038016 16508 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/3385/statm: 421396 16508 2161 9 0 416307 0 [pid=3385/tid=3387] ppid=3383 vsize=1685584 CPUtime=1.93 /proc/3385/task/3387/stat : 3387 (java) R 3383 3385 3118 0 -1 64 2461 0 38 0 189 4 0 0 16 0 9 0 1829048 1726038016 16508 1992294400 134512640 134550932 4294956032 18446744073709551615 4126046811 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3385/tid=3388] ppid=3383 vsize=1685584 CPUtime=0.98 /proc/3385/task/3388/stat : 3388 (java) S 3383 3385 3118 0 -1 64 15190 0 3 0 92 6 0 0 15 0 9 0 1829052 1726038016 16508 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3389] ppid=3383 vsize=1685584 CPUtime=0 /proc/3385/task/3389/stat : 3389 (java) S 3383 3385 3118 0 -1 64 13 0 0 0 0 0 0 0 15 0 9 0 1829054 1726038016 16508 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3390] ppid=3383 vsize=1685584 CPUtime=0 /proc/3385/task/3390/stat : 3390 (java) S 3383 3385 3118 0 -1 64 9 0 1 0 0 0 0 0 16 0 9 0 1829054 1726038016 16508 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3391] ppid=3383 vsize=1685584 CPUtime=0 /proc/3385/task/3391/stat : 3391 (java) S 3383 3385 3118 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 1829058 1726038016 16508 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3392] ppid=3383 vsize=1685584 CPUtime=0.1 /proc/3385/task/3392/stat : 3392 (java) S 3383 3385 3118 0 -1 64 350 0 0 0 10 0 0 0 15 0 9 0 1829058 1726038016 16508 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3393] ppid=3383 vsize=1685584 CPUtime=0 /proc/3385/task/3393/stat : 3393 (java) S 3383 3385 3118 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 1829058 1726038016 16508 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3394] ppid=3383 vsize=1685584 CPUtime=0 /proc/3385/task/3394/stat : 3394 (java) S 3383 3385 3118 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1829058 1726038016 16508 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 1685584 [startup+6.30294 s] /proc/loadavg: 0.99 0.98 0.92 2/77 3398 /proc/meminfo: memFree=1725072/2055920 swapFree=4192956/4192956 [pid=3385] ppid=3383 vsize=1686544 CPUtime=3.79 /proc/3385/stat : 3385 (java) S 3383 3385 3118 0 -1 0 22228 0 74 0 364 15 0 0 18 0 12 0 1829041 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/3385/statm: 421636 19083 2164 9 0 416547 0 [pid=3396] ppid=3385 vsize=8644 CPUtime=2.46 /proc/3396/stat : 3396 (minisat) R 3385 3385 3118 0 -1 4194304 2037 0 0 0 245 1 0 0 25 0 1 0 1829424 8851456 1937 1992294400 134512640 135156773 4294956080 18446744073709551615 134710443 0 4 0 3 0 0 0 17 1 0 0 /proc/3396/statm: 2161 1937 75 157 0 2001 0 [pid=3385/tid=3387] ppid=3383 vsize=1686544 CPUtime=2.19 /proc/3385/task/3387/stat : 3387 (java) S 3383 3385 3118 0 -1 64 3043 0 39 0 214 5 0 0 16 0 12 0 1829048 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3385/tid=3388] ppid=3383 vsize=1686544 CPUtime=1.44 /proc/3385/task/3388/stat : 3388 (java) S 3383 3385 3118 0 -1 64 17924 0 3 0 137 7 0 0 16 0 12 0 1829052 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3389] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3389/stat : 3389 (java) S 3383 3385 3118 0 -1 64 13 0 0 0 0 0 0 0 15 0 12 0 1829054 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3390] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3390/stat : 3390 (java) S 3383 3385 3118 0 -1 64 9 0 1 0 0 0 0 0 16 0 12 0 1829054 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3391] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3391/stat : 3391 (java) S 3383 3385 3118 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 1829058 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3392] ppid=3383 vsize=1686544 CPUtime=0.1 /proc/3385/task/3392/stat : 3392 (java) S 3383 3385 3118 0 -1 64 423 0 0 0 10 0 0 0 16 0 12 0 1829058 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3385/tid=3393] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3393/stat : 3393 (java) S 3383 3385 3118 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 1829058 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3394] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3394/stat : 3394 (java) S 3383 3385 3118 0 -1 64 13 0 0 0 0 0 0 0 15 0 12 0 1829058 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3395] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3395/stat : 3395 (java) S 3383 3385 3118 0 -1 64 68 0 0 0 0 0 0 0 17 0 12 0 1829424 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 [pid=3385/tid=3397] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3397/stat : 3397 (java) S 3383 3385 3118 0 -1 64 45 0 0 0 0 0 0 0 16 0 12 0 1829425 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=3385/tid=3398] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3398/stat : 3398 (java) S 3383 3385 3118 0 -1 64 11 0 0 0 0 0 0 0 17 0 12 0 1829425 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 1695188 [startup+12.7021 s] /proc/loadavg: 0.99 0.98 0.92 2/77 3398 /proc/meminfo: memFree=1718224/2055920 swapFree=4192956/4192956 [pid=3385] ppid=3383 vsize=1686544 CPUtime=3.79 /proc/3385/stat : 3385 (java) S 3383 3385 3118 0 -1 0 22228 0 74 0 364 15 0 0 18 0 12 0 1829041 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/3385/statm: 421636 19083 2164 9 0 416547 0 [pid=3396] ppid=3385 vsize=14384 CPUtime=8.86 /proc/3396/stat : 3396 (minisat) R 3385 3385 3118 0 -1 4194304 3490 0 0 0 883 3 0 0 25 0 1 0 1829424 14729216 3390 1992294400 134512640 135156773 4294956080 18446744073709551615 134556262 0 4 0 3 0 0 0 17 1 0 0 /proc/3396/statm: 3596 3390 75 157 0 3436 0 [pid=3385/tid=3387] ppid=3383 vsize=1686544 CPUtime=2.19 /proc/3385/task/3387/stat : 3387 (java) S 3383 3385 3118 0 -1 64 3043 0 39 0 214 5 0 0 16 0 12 0 1829048 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3385/tid=3388] ppid=3383 vsize=1686544 CPUtime=1.44 /proc/3385/task/3388/stat : 3388 (java) S 3383 3385 3118 0 -1 64 17924 0 3 0 137 7 0 0 16 0 12 0 1829052 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3389] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3389/stat : 3389 (java) S 3383 3385 3118 0 -1 64 13 0 0 0 0 0 0 0 15 0 12 0 1829054 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3390] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3390/stat : 3390 (java) S 3383 3385 3118 0 -1 64 9 0 1 0 0 0 0 0 16 0 12 0 1829054 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3391] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3391/stat : 3391 (java) S 3383 3385 3118 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 1829058 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3392] ppid=3383 vsize=1686544 CPUtime=0.1 /proc/3385/task/3392/stat : 3392 (java) S 3383 3385 3118 0 -1 64 423 0 0 0 10 0 0 0 16 0 12 0 1829058 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3385/tid=3393] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3393/stat : 3393 (java) S 3383 3385 3118 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 1829058 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3394] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3394/stat : 3394 (java) S 3383 3385 3118 0 -1 64 13 0 0 0 0 0 0 0 15 0 12 0 1829058 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3395] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3395/stat : 3395 (java) S 3383 3385 3118 0 -1 64 68 0 0 0 0 0 0 0 17 0 12 0 1829424 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 [pid=3385/tid=3397] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3397/stat : 3397 (java) S 3383 3385 3118 0 -1 64 45 0 0 0 0 0 0 0 16 0 12 0 1829425 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=3385/tid=3398] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3398/stat : 3398 (java) S 3383 3385 3118 0 -1 64 11 0 0 0 0 0 0 0 17 0 12 0 1829425 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 1700928 [startup+25.5013 s] /proc/loadavg: 0.99 0.98 0.92 3/77 3398 /proc/meminfo: memFree=1714832/2055920 swapFree=4192956/4192956 [pid=3385] ppid=3383 vsize=1686544 CPUtime=3.79 /proc/3385/stat : 3385 (java) S 3383 3385 3118 0 -1 0 22228 0 74 0 364 15 0 0 18 0 12 0 1829041 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/3385/statm: 421636 19083 2164 9 0 416547 0 [pid=3396] ppid=3385 vsize=17424 CPUtime=21.64 /proc/3396/stat : 3396 (minisat) R 3385 3385 3118 0 -1 4194304 4226 0 0 0 2161 3 0 0 25 0 1 0 1829424 17842176 4126 1992294400 134512640 135156773 4294956080 18446744073709551615 134556245 0 4 0 3 0 0 0 17 1 0 0 /proc/3396/statm: 4356 4126 75 157 0 4196 0 [pid=3385/tid=3387] ppid=3383 vsize=1686544 CPUtime=2.19 /proc/3385/task/3387/stat : 3387 (java) S 3383 3385 3118 0 -1 64 3043 0 39 0 214 5 0 0 16 0 12 0 1829048 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3385/tid=3388] ppid=3383 vsize=1686544 CPUtime=1.44 /proc/3385/task/3388/stat : 3388 (java) S 3383 3385 3118 0 -1 64 17924 0 3 0 137 7 0 0 16 0 12 0 1829052 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3389] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3389/stat : 3389 (java) S 3383 3385 3118 0 -1 64 13 0 0 0 0 0 0 0 15 0 12 0 1829054 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3390] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3390/stat : 3390 (java) S 3383 3385 3118 0 -1 64 9 0 1 0 0 0 0 0 16 0 12 0 1829054 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3391] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3391/stat : 3391 (java) S 3383 3385 3118 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 1829058 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3392] ppid=3383 vsize=1686544 CPUtime=0.1 /proc/3385/task/3392/stat : 3392 (java) S 3383 3385 3118 0 -1 64 423 0 0 0 10 0 0 0 16 0 12 0 1829058 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3385/tid=3393] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3393/stat : 3393 (java) S 3383 3385 3118 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 1829058 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3394] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3394/stat : 3394 (java) S 3383 3385 3118 0 -1 64 13 0 0 0 0 0 0 0 15 0 12 0 1829058 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3395] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3395/stat : 3395 (java) S 3383 3385 3118 0 -1 64 68 0 0 0 0 0 0 0 17 0 12 0 1829424 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 ################ # More data... # ################ [startup+121.501 s] /proc/loadavg: 0.99 0.98 0.92 2/77 3398 /proc/meminfo: memFree=1711056/2055920 swapFree=4192956/4192956 [pid=3385] ppid=3383 vsize=1686544 CPUtime=3.8 /proc/3385/stat : 3385 (java) S 3383 3385 3118 0 -1 0 22228 0 74 0 364 16 0 0 18 0 12 0 1829041 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/3385/statm: 421636 19083 2164 9 0 416547 0 [pid=3396] ppid=3385 vsize=21280 CPUtime=117.61 /proc/3396/stat : 3396 (minisat) R 3385 3385 3118 0 -1 4194304 5151 0 0 0 11756 5 0 0 25 0 1 0 1829424 21790720 5051 1992294400 134512640 135156773 4294956080 18446744073709551615 134556262 0 4 0 3 0 0 0 17 1 0 0 /proc/3396/statm: 5320 5051 75 157 0 5160 0 [pid=3385/tid=3387] ppid=3383 vsize=1686544 CPUtime=2.19 /proc/3385/task/3387/stat : 3387 (java) S 3383 3385 3118 0 -1 64 3043 0 39 0 214 5 0 0 16 0 12 0 1829048 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3385/tid=3388] ppid=3383 vsize=1686544 CPUtime=1.44 /proc/3385/task/3388/stat : 3388 (java) S 3383 3385 3118 0 -1 64 17924 0 3 0 137 7 0 0 16 0 12 0 1829052 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3389] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3389/stat : 3389 (java) S 3383 3385 3118 0 -1 64 13 0 0 0 0 0 0 0 15 0 12 0 1829054 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3390] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3390/stat : 3390 (java) S 3383 3385 3118 0 -1 64 9 0 1 0 0 0 0 0 16 0 12 0 1829054 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3391] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3391/stat : 3391 (java) S 3383 3385 3118 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 1829058 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3392] ppid=3383 vsize=1686544 CPUtime=0.1 /proc/3385/task/3392/stat : 3392 (java) S 3383 3385 3118 0 -1 64 423 0 0 0 10 0 0 0 16 0 12 0 1829058 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3385/tid=3393] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3393/stat : 3393 (java) S 3383 3385 3118 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 1829058 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3394] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3394/stat : 3394 (java) S 3383 3385 3118 0 -1 64 13 0 0 0 0 0 0 0 15 0 12 0 1829058 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3395] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3395/stat : 3395 (java) S 3383 3385 3118 0 -1 64 68 0 0 0 0 0 0 0 17 0 12 0 1829424 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 [pid=3385/tid=3397] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3397/stat : 3397 (java) S 3383 3385 3118 0 -1 64 45 0 0 0 0 0 0 0 16 0 12 0 1829425 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=3385/tid=3398] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3398/stat : 3398 (java) S 3383 3385 3118 0 -1 64 11 0 0 0 0 0 0 0 17 0 12 0 1829425 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 Current children cumulated CPU time (s) 121.41 Current children cumulated vsize (KiB) 1707824 [startup+124.703 s] /proc/loadavg: 0.99 0.98 0.92 2/77 3398 /proc/meminfo: memFree=1711056/2055920 swapFree=4192956/4192956 [pid=3385] ppid=3383 vsize=1686544 CPUtime=3.8 /proc/3385/stat : 3385 (java) S 3383 3385 3118 0 -1 0 22228 0 74 0 364 16 0 0 18 0 12 0 1829041 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/3385/statm: 421636 19083 2164 9 0 416547 0 [pid=3396] ppid=3385 vsize=21280 CPUtime=120.81 /proc/3396/stat : 3396 (minisat) R 3385 3385 3118 0 -1 4194304 5152 0 0 0 12076 5 0 0 25 0 1 0 1829424 21790720 5052 1992294400 134512640 135156773 4294956080 18446744073709551615 134556384 0 4 0 3 0 0 0 17 1 0 0 /proc/3396/statm: 5320 5052 75 157 0 5160 0 [pid=3385/tid=3387] ppid=3383 vsize=1686544 CPUtime=2.19 /proc/3385/task/3387/stat : 3387 (java) S 3383 3385 3118 0 -1 64 3043 0 39 0 214 5 0 0 16 0 12 0 1829048 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3385/tid=3388] ppid=3383 vsize=1686544 CPUtime=1.44 /proc/3385/task/3388/stat : 3388 (java) S 3383 3385 3118 0 -1 64 17924 0 3 0 137 7 0 0 16 0 12 0 1829052 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3389] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3389/stat : 3389 (java) S 3383 3385 3118 0 -1 64 13 0 0 0 0 0 0 0 15 0 12 0 1829054 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3390] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3390/stat : 3390 (java) S 3383 3385 3118 0 -1 64 9 0 1 0 0 0 0 0 16 0 12 0 1829054 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3391] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3391/stat : 3391 (java) S 3383 3385 3118 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 1829058 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3392] ppid=3383 vsize=1686544 CPUtime=0.1 /proc/3385/task/3392/stat : 3392 (java) S 3383 3385 3118 0 -1 64 423 0 0 0 10 0 0 0 16 0 12 0 1829058 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3385/tid=3393] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3393/stat : 3393 (java) S 3383 3385 3118 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 1829058 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3394] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3394/stat : 3394 (java) S 3383 3385 3118 0 -1 64 13 0 0 0 0 0 0 0 15 0 12 0 1829058 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3395] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3395/stat : 3395 (java) S 3383 3385 3118 0 -1 64 68 0 0 0 0 0 0 0 17 0 12 0 1829424 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 [pid=3385/tid=3397] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3397/stat : 3397 (java) S 3383 3385 3118 0 -1 64 45 0 0 0 0 0 0 0 16 0 12 0 1829425 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=3385/tid=3398] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3398/stat : 3398 (java) S 3383 3385 3118 0 -1 64 11 0 0 0 0 0 0 0 17 0 12 0 1829425 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 Current children cumulated CPU time (s) 124.61 Current children cumulated vsize (KiB) 1707824 [startup+126.301 s] /proc/loadavg: 0.99 0.98 0.92 2/77 3398 /proc/meminfo: memFree=1711056/2055920 swapFree=4192956/4192956 [pid=3385] ppid=3383 vsize=1686544 CPUtime=3.8 /proc/3385/stat : 3385 (java) S 3383 3385 3118 0 -1 0 22228 0 74 0 364 16 0 0 18 0 12 0 1829041 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/3385/statm: 421636 19083 2164 9 0 416547 0 [pid=3396] ppid=3385 vsize=21280 CPUtime=122.41 /proc/3396/stat : 3396 (minisat) R 3385 3385 3118 0 -1 4194304 5152 0 0 0 12236 5 0 0 25 0 1 0 1829424 21790720 5052 1992294400 134512640 135156773 4294956080 18446744073709551615 134556332 0 4 0 3 0 0 0 17 1 0 0 /proc/3396/statm: 5320 5052 75 157 0 5160 0 [pid=3385/tid=3387] ppid=3383 vsize=1686544 CPUtime=2.19 /proc/3385/task/3387/stat : 3387 (java) S 3383 3385 3118 0 -1 64 3043 0 39 0 214 5 0 0 16 0 12 0 1829048 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3385/tid=3388] ppid=3383 vsize=1686544 CPUtime=1.44 /proc/3385/task/3388/stat : 3388 (java) S 3383 3385 3118 0 -1 64 17924 0 3 0 137 7 0 0 16 0 12 0 1829052 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3389] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3389/stat : 3389 (java) S 3383 3385 3118 0 -1 64 13 0 0 0 0 0 0 0 15 0 12 0 1829054 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3390] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3390/stat : 3390 (java) S 3383 3385 3118 0 -1 64 9 0 1 0 0 0 0 0 16 0 12 0 1829054 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3391] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3391/stat : 3391 (java) S 3383 3385 3118 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 1829058 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3392] ppid=3383 vsize=1686544 CPUtime=0.1 /proc/3385/task/3392/stat : 3392 (java) S 3383 3385 3118 0 -1 64 423 0 0 0 10 0 0 0 16 0 12 0 1829058 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3385/tid=3393] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3393/stat : 3393 (java) S 3383 3385 3118 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 1829058 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3394] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3394/stat : 3394 (java) S 3383 3385 3118 0 -1 64 13 0 0 0 0 0 0 0 15 0 12 0 1829058 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3395] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3395/stat : 3395 (java) S 3383 3385 3118 0 -1 64 68 0 0 0 0 0 0 0 17 0 12 0 1829424 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 [pid=3385/tid=3397] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3397/stat : 3397 (java) S 3383 3385 3118 0 -1 64 45 0 0 0 0 0 0 0 16 0 12 0 1829425 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=3385/tid=3398] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3398/stat : 3398 (java) S 3383 3385 3118 0 -1 64 11 0 0 0 0 0 0 0 17 0 12 0 1829425 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 Current children cumulated CPU time (s) 126.21 Current children cumulated vsize (KiB) 1707824 [startup+126.701 s] /proc/loadavg: 0.99 0.98 0.92 2/77 3398 /proc/meminfo: memFree=1711056/2055920 swapFree=4192956/4192956 [pid=3385] ppid=3383 vsize=1686544 CPUtime=3.8 /proc/3385/stat : 3385 (java) S 3383 3385 3118 0 -1 0 22228 0 74 0 364 16 0 0 18 0 12 0 1829041 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/3385/statm: 421636 19083 2164 9 0 416547 0 [pid=3396] ppid=3385 vsize=21280 CPUtime=122.81 /proc/3396/stat : 3396 (minisat) R 3385 3385 3118 0 -1 4194304 5152 0 0 0 12276 5 0 0 25 0 1 0 1829424 21790720 5052 1992294400 134512640 135156773 4294956080 18446744073709551615 134556262 0 4 0 3 0 0 0 17 1 0 0 /proc/3396/statm: 5320 5052 75 157 0 5160 0 [pid=3385/tid=3387] ppid=3383 vsize=1686544 CPUtime=2.19 /proc/3385/task/3387/stat : 3387 (java) S 3383 3385 3118 0 -1 64 3043 0 39 0 214 5 0 0 16 0 12 0 1829048 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3385/tid=3388] ppid=3383 vsize=1686544 CPUtime=1.44 /proc/3385/task/3388/stat : 3388 (java) S 3383 3385 3118 0 -1 64 17924 0 3 0 137 7 0 0 16 0 12 0 1829052 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3389] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3389/stat : 3389 (java) S 3383 3385 3118 0 -1 64 13 0 0 0 0 0 0 0 15 0 12 0 1829054 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3390] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3390/stat : 3390 (java) S 3383 3385 3118 0 -1 64 9 0 1 0 0 0 0 0 16 0 12 0 1829054 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3391] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3391/stat : 3391 (java) S 3383 3385 3118 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 1829058 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3392] ppid=3383 vsize=1686544 CPUtime=0.1 /proc/3385/task/3392/stat : 3392 (java) S 3383 3385 3118 0 -1 64 423 0 0 0 10 0 0 0 16 0 12 0 1829058 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3385/tid=3393] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3393/stat : 3393 (java) S 3383 3385 3118 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 1829058 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3394] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3394/stat : 3394 (java) S 3383 3385 3118 0 -1 64 13 0 0 0 0 0 0 0 15 0 12 0 1829058 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3395] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3395/stat : 3395 (java) S 3383 3385 3118 0 -1 64 68 0 0 0 0 0 0 0 17 0 12 0 1829424 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 [pid=3385/tid=3397] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3397/stat : 3397 (java) S 3383 3385 3118 0 -1 64 45 0 0 0 0 0 0 0 16 0 12 0 1829425 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=3385/tid=3398] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3398/stat : 3398 (java) S 3383 3385 3118 0 -1 64 11 0 0 0 0 0 0 0 17 0 12 0 1829425 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 Current children cumulated CPU time (s) 126.61 Current children cumulated vsize (KiB) 1707824 [startup+127.101 s] /proc/loadavg: 0.99 0.98 0.92 2/77 3398 /proc/meminfo: memFree=1711056/2055920 swapFree=4192956/4192956 [pid=3385] ppid=3383 vsize=1686544 CPUtime=3.8 /proc/3385/stat : 3385 (java) S 3383 3385 3118 0 -1 0 22228 0 74 0 364 16 0 0 18 0 12 0 1829041 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/3385/statm: 421636 19083 2164 9 0 416547 0 [pid=3396] ppid=3385 vsize=21280 CPUtime=123.21 /proc/3396/stat : 3396 (minisat) R 3385 3385 3118 0 -1 4194304 5152 0 0 0 12316 5 0 0 25 0 1 0 1829424 21790720 5052 1992294400 134512640 135156773 4294956080 18446744073709551615 134556415 0 4 0 3 0 0 0 17 1 0 0 /proc/3396/statm: 5320 5052 75 157 0 5160 0 [pid=3385/tid=3387] ppid=3383 vsize=1686544 CPUtime=2.19 /proc/3385/task/3387/stat : 3387 (java) S 3383 3385 3118 0 -1 64 3043 0 39 0 214 5 0 0 16 0 12 0 1829048 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3385/tid=3388] ppid=3383 vsize=1686544 CPUtime=1.44 /proc/3385/task/3388/stat : 3388 (java) S 3383 3385 3118 0 -1 64 17924 0 3 0 137 7 0 0 16 0 12 0 1829052 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3389] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3389/stat : 3389 (java) S 3383 3385 3118 0 -1 64 13 0 0 0 0 0 0 0 15 0 12 0 1829054 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3390] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3390/stat : 3390 (java) S 3383 3385 3118 0 -1 64 9 0 1 0 0 0 0 0 16 0 12 0 1829054 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3391] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3391/stat : 3391 (java) S 3383 3385 3118 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 1829058 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3392] ppid=3383 vsize=1686544 CPUtime=0.1 /proc/3385/task/3392/stat : 3392 (java) S 3383 3385 3118 0 -1 64 423 0 0 0 10 0 0 0 16 0 12 0 1829058 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3385/tid=3393] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3393/stat : 3393 (java) S 3383 3385 3118 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 1829058 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3394] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3394/stat : 3394 (java) S 3383 3385 3118 0 -1 64 13 0 0 0 0 0 0 0 15 0 12 0 1829058 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3385/tid=3395] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3395/stat : 3395 (java) S 3383 3385 3118 0 -1 64 68 0 0 0 0 0 0 0 17 0 12 0 1829424 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 [pid=3385/tid=3397] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3397/stat : 3397 (java) S 3383 3385 3118 0 -1 64 45 0 0 0 0 0 0 0 16 0 12 0 1829425 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=3385/tid=3398] ppid=3383 vsize=1686544 CPUtime=0 /proc/3385/task/3398/stat : 3398 (java) S 3383 3385 3118 0 -1 64 11 0 0 0 0 0 0 0 17 0 12 0 1829425 1727021056 19083 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 Current children cumulated CPU time (s) 127.01 Current children cumulated vsize (KiB) 1707824 Child status: 0 Real time (s): 127.145 CPU time (s): 127.053 CPU user time (s): 126.828 CPU system time (s): 0.224965 CPU usage (%): 99.9274 Max. virtual memory (cumulated for all children) (KiB): 1707824 getrusage(RUSAGE_CHILDREN,...) data: user time used= 126.828 system time used= 0.224965 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27456 page faults= 74 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3225 involuntary context switches= 511 runsolver used 0.166974 second user time and 0.304953 second system time The end
Begin job on node17 at 2009-06-17 20:32:00 IDJOB=1885130 IDBENCH=72026 IDSOLVER=688 FILE ID=node17/1885130-1245263520 PBS_JOBID= 9372436 Free space on /tmp= 66340 MiB SOLVER NAME= BoolVar 2009-04-26 BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT09/CRAFTED/edgematching/all/em_7_4_9_all.opb COMMAND LINE= java -Xmx1500m -jar pb2cnfsolver.jar 6 BENCHNAME minisat %dimacs %var CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1885130-1245263520/watcher-1885130-1245263520 -o /tmp/evaluation-result-1885130-1245263520/solver-1885130-1245263520 -C 1800 -W 2000 -M 1800 java -Xmx1500m -jar pb2cnfsolver.jar 6 HOME/instance-1885130-1245263520.opb minisat %dimacs %var TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9a5d69e530920eef84eb048c2f48d093 RANDOM SEED=758177246 node17.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.259 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.259 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1817304 kB Buffers: 31956 kB Cached: 132264 kB SwapCached: 0 kB Active: 77120 kB Inactive: 100024 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1817304 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 1968 kB Writeback: 0 kB Mapped: 22716 kB Slab: 47364 kB Committed_AS: 50448 kB PageTables: 1456 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1885130-1245263520.opb Free space on /tmp at the end= 66340 MiB End job on node17 at 2009-06-17 20:34:08