Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4jPseudoCPClause 2007-03-23 | SAT (TO) | 27 | 1800.3 | 1753.62 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_10_5.opb |
MD5SUM | 08d7a5060b972f308367859ff82f87f6 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 25 |
Best CPU time to get the best result obtained on this benchmark | 1800.11 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 200 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 23 |
Number of terms in the objective function | 200 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2528 |
Sum of products size (including duplicates) | 5056 |
Number of different products | 2528 |
Sum of products size | 5056 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.15 c no version file found!!! 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.9-22.EL.rootsmp 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1651659224 0.08/0.15 c Max memory 1654456320 0.08/0.15 c Total memory 1654456320 0.08/0.15 c Number of processors 2 0.20/0.20 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolverClause) 0.20/0.20 --- Begin Solver configuration --- 0.20/0.20 c Stops conflict analysis at the first Unique Implication Point 0.20/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.20/0.20 c Learn all clauses as in MiniSAT 0.20/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 0.20/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20/0.20 c No reason simplification 0.20/0.20 c --- End Solver configuration --- 0.20/0.20 c Simplify asserted PB constraints to clauses 0.20/0.20 c solving /tmp/evaluation/453316-1178130048/instance-453316-1178130048.opb 0.20/0.20 c reading problem ... 2.02/1.59 c ... done. Wall clock time 1.386s. 2.02/1.59 c CPU time (experimental) 1.24s. 2.02/1.59 c #vars 2728 2.02/1.59 c #constraints 5256 2.14/1.68 c SATISFIABLE 2.14/1.68 c OPTIMIZING... 2.14/1.68 c Got one! Elapsed wall clock time (in seconds):1.479 2.14/1.69 o 31 2.82/2.02 c Got one! Elapsed wall clock time (in seconds):1.816 2.82/2.02 o 30 3.01/2.19 c Got one! Elapsed wall clock time (in seconds):1.993 3.01/2.20 o 29 4.66/3.06 c Got one! Elapsed wall clock time (in seconds):2.853 4.66/3.06 o 28 226.30/220.47 c Got one! Elapsed wall clock time (in seconds):220.268 226.30/220.47 o 27 1800.04/1753.41 c starts : 8 1800.04/1753.42 c conflicts : 21687 1800.04/1753.42 c decisions : 33701 1800.04/1753.42 c propagations : 2073661 1800.04/1753.42 c inspects : 272230275 1800.04/1753.42 c learnt literals : 0 1800.04/1753.42 c learnt binary clauses : 0 1800.04/1753.42 c learnt ternary clauses : 0 1800.04/1753.42 c learnt clauses : 21687 1800.04/1753.42 c root simplifications : 0 1800.04/1753.42 c removed literals (reason simplification) : 0 1800.04/1753.42 c reason swapping (by a shorter reason) : 0 1800.04/1753.42 c Calls to reduceDB : 0 1800.04/1753.42 c speed (decisions/second) : 21.98453821771353 1800.04/1753.42 c non guided choices 0 1800.04/1753.42 s SATISFIABLE 1800.04/1753.46 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 1800.04/1753.46 v -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 1800.04/1753.46 v 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 1800.04/1753.46 v -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 1800.04/1753.46 v -x108 -x109 x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 x128 1800.04/1753.46 v -x129 x130 -x131 -x132 -x133 -x134 x135 x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 1800.04/1753.46 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 1800.04/1753.46 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 1800.04/1753.46 v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 1800.04/1753.46 v -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 1800.04/1753.46 v -x234 -x235 -x236 x237 -x238 -x239 x240 -x241 -x242 x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 1800.04/1753.46 v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 x270 -x271 -x272 -x273 -x274 -x275 -x276 1800.04/1753.46 v -x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 1800.04/1753.46 v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 x315 -x316 -x317 -x318 1800.04/1753.46 v -x319 x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 -x339 1800.04/1753.46 v -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 x359 x360 -x361 1800.04/1753.46 v x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 1800.04/1753.46 v -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 1800.04/1753.46 v x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 1800.04/1753.46 v -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 -x443 -x444 -x445 1800.04/1753.46 v -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 x460 x461 -x462 -x463 -x464 -x465 -x466 1800.04/1753.46 v -x467 -x468 -x469 x470 x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 x486 -x487 1800.04/1753.46 v -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 1800.04/1753.46 v -x509 -x510 x511 -x512 x513 -x514 -x515 -x516 -x517 x518 -x519 -x520 x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 1800.04/1753.46 v -x531 -x532 x533 x534 x535 -x536 -x537 x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 1800.04/1753.46 v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 1800.04/1753.46 v -x573 x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 1800.04/1753.46 v -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 1800.04/1753.46 v -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 1800.04/1753.46 v -x636 -x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 x656 1800.04/1753.46 v x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 1800.04/1753.46 v -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 -x693 -x694 -x695 x696 -x697 -x698 1800.04/1753.46 v -x699 -x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 x708 -x709 x710 -x711 -x712 -x713 -x714 -x715 x716 -x717 -x718 -x719 1800.04/1753.46 v x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 x735 -x736 -x737 -x738 -x739 -x740 1800.04/1753.46 v -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 -x757 -x758 -x759 x760 -x761 1800.04/1753.46 v -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 1800.04/1753.46 v -x783 -x784 -x785 -x786 -x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 1800.04/1753.46 v -x804 -x805 -x806 -x807 x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 x822 -x823 -x824 1800.04/1753.46 v -x825 -x826 -x827 -x828 -x829 x830 -x831 -x832 -x833 x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 1800.04/1753.46 v -x846 -x847 -x848 -x849 x850 x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 -x859 -x860 x861 x862 -x863 -x864 -x865 -x866 -x867 1800.04/1753.46 v -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 x883 -x884 -x885 -x886 -x887 -x888 1800.04/1753.46 v -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 x906 -x907 -x908 -x909 1800.04/1753.46 v -x910 -x911 -x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 1800.04/1753.46 v -x931 -x932 -x933 -x934 -x935 -x936 x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 x948 x949 -x950 x951 1800.04/1753.46 v -x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 x963 -x964 -x965 -x966 x967 -x968 -x969 -x970 -x971 -x972 1800.04/1753.46 v -x973 -x974 -x975 -x976 -x977 -x978 x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 1800.04/1753.46 v -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 x1006 -x1007 -x1008 -x1009 -x1010 -x1011 1800.04/1753.46 v -x1012 x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 1800.04/1753.46 v -x1029 -x1030 -x1031 -x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 x1044 -x1045 -x1046 1800.04/1753.46 v -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 x1063 1800.04/1753.46 v -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 1800.04/1753.46 v -x1081 x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 1800.04/1753.46 v x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 1800.04/1753.46 v -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129 -x1130 -x1131 1800.04/1753.46 v -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 1800.04/1753.46 v -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 1800.04/1753.46 v -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 x1176 -x1177 -x1178 x1179 x1180 x1181 -x1182 -x1183 1800.04/1753.46 v -x1184 x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 1800.04/1753.46 v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 -x1211 -x1212 -x1213 x1214 -x1215 -x1216 -x1217 -x1218 1800.04/1753.46 v -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 x1227 x1228 -x1229 x1230 -x1231 -x1232 -x1233 x1234 x1235 -x1236 1800.04/1753.46 v -x1237 -x1238 x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 x1253 -x1254 1800.04/1753.46 v -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 x1267 x1268 x1269 -x1270 -x1271 x1272 1800.04/1753.46 v -x1273 -x1274 -x1275 x1276 -x1277 -x1278 -x1279 x1280 -x1281 x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 1800.04/1753.46 v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 1800.04/1753.46 v -x1308 -x1309 -x1310 x1311 -x1312 -x1313 -x1314 -x1315 x1316 -x1317 x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 1800.04/1753.46 v -x1326 -x1327 -x1328 -x1329 x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 1800.04/1753.46 v -x1344 -x1345 -x1346 -x1347 x1348 -x1349 -x1350 x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 1800.04/1753.46 v x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 1800.04/1753.46 v -x1380 -x1381 -x1382 -x1383 -x1384 x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 x1395 -x1396 -x1397 1800.04/1753.46 v -x1398 -x1399 x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 x1413 -x1414 -x1415 1800.04/1753.46 v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 x1432 -x1433 1800.04/1753.46 v -x1434 x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 x1446 -x1447 -x1448 -x1449 -x1450 -x1451 1800.04/1753.46 v -x1452 x1453 x1454 x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 x1464 -x1465 -x1466 x1467 x1468 -x1469 1800.04/1753.46 v x1470 -x1471 x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 x1479 -x1480 -x1481 -x1482 -x1483 -x1484 x1485 -x1486 -x1487 1800.04/1753.46 v x1488 x1489 -x1490 x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 x1501 -x1502 -x1503 -x1504 x1505 1800.04/1753.46 v -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 1800.04/1753.46 v x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 1800.04/1753.46 v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 x1547 -x1548 -x1549 x1550 x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 1800.04/1753.46 v -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 1800.04/1753.46 v x1576 -x1577 -x1578 x1579 x1580 -x1581 -x1582 x1583 x1584 -x1585 -x1586 -x1587 x1588 -x1589 x1590 -x1591 -x1592 -x1593 1800.04/1753.46 v -x1594 -x1595 -x1596 x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 x1606 x1607 -x1608 -x1609 x1610 x1611 1800.04/1753.46 v x1612 x1613 -x1614 -x1615 -x1616 -x1617 x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 x1628 -x1629 1800.04/1753.46 v -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 x1637 -x1638 -x1639 -x1640 -x1641 x1642 -x1643 -x1644 x1645 -x1646 x1647 1800.04/1753.46 v -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 1800.04/1753.46 v -x1665 x1666 -x1667 -x1668 -x1669 x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 x1677 -x1678 -x1679 -x1680 -x1681 -x1682 1800.04/1753.46 v -x1683 -x1684 -x1685 x1686 -x1687 -x1688 x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 1800.04/1753.46 v -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 1800.04/1753.46 v -x1718 x1719 x1720 x1721 x1722 -x1723 -x1724 -x1725 -x1726 x1727 -x1728 x1729 -x1730 -x1731 -x1732 -x1733 x1734 -x1735 1800.04/1753.46 v -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 x1752 1800.04/1753.46 v -x1753 -x1754 -x1755 -x1756 x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 1800.04/1753.46 v -x1770 -x1771 -x1772 -x1773 x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 1800.04/1753.46 v x1787 x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 x1798 x1799 x1800 -x1801 -x1802 x1803 -x1804 1800.04/1753.46 v -x1805 -x1806 -x1807 -x1808 x1809 -x1810 -x1811 x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 1800.04/1753.46 v x1823 -x1824 -x1825 -x1826 -x1827 x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 x1840 1800.04/1753.46 v -x1841 -x1842 -x1843 -x1844 x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 x1853 -x1854 -x1855 x1856 -x1857 -x1858 1800.04/1753.46 v -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 x1866 -x1867 -x1868 -x1869 -x1870 -x1871 x1872 -x1873 -x1874 -x1875 -x1876 1800.04/1753.46 v x1877 -x1878 -x1879 -x1880 x1881 x1882 x1883 -x1884 -x1885 -x1886 -x1887 -x1888 x1889 x1890 -x1891 -x1892 -x1893 x1894 1800.04/1753.46 v -x1895 -x1896 -x1897 x1898 -x1899 x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 1800.04/1753.46 v -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 x1924 -x1925 -x1926 -x1927 -x1928 -x1929 1800.04/1753.46 v -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 1800.04/1753.46 v -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 x1959 x1960 -x1961 -x1962 -x1963 -x1964 1800.04/1753.46 v x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 x1978 -x1979 -x1980 -x1981 -x1982 1800.04/1753.46 v -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 x1992 x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 1800.04/1753.46 v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 x2008 -x2009 x2010 -x2011 -x2012 -x2013 -x2014 -x2015 x2016 x2017 -x2018 1800.04/1753.46 v -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 1800.04/1753.46 v -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 1800.04/1753.46 v x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 x2069 -x2070 1800.04/1753.46 v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 x2077 x2078 -x2079 -x2080 x2081 -x2082 x2083 -x2084 -x2085 -x2086 -x2087 -x2088 1800.04/1753.46 v -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 x2101 -x2102 x2103 -x2104 -x2105 -x2106 1800.04/1753.46 v -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 x2114 -x2115 x2116 -x2117 x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 1800.04/1753.46 v x2125 -x2126 x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 x2137 x2138 x2139 -x2140 -x2141 -x2142 1800.04/1753.46 v -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 x2156 -x2157 -x2158 -x2159 1800.04/1753.46 v x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 x2172 -x2173 -x2174 -x2175 -x2176 -x2177 1800.04/1753.46 v -x2178 -x2179 -x2180 -x2181 -x2182 x2183 -x2184 -x2185 -x2186 x2187 -x2188 x2189 -x2190 -x2191 -x2192 -x2193 -x2194 x2195 1800.04/1753.46 v -x2196 -x2197 x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 1800.04/1753.46 v -x2213 -x2214 -x2215 -x2216 x2217 -x2218 -x2219 x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 1800.04/1753.46 v -x2231 -x2232 -x2233 -x2234 x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 x2246 -x2247 -x2248 1800.04/1753.46 v -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 x2264 -x2265 -x2266 1800.04/1753.46 v x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 1800.04/1753.46 v -x2285 -x2286 -x2287 -x2288 -x2289 x2290 -x2291 -x2292 -x2293 x2294 -x2295 -x2296 -x2297 -x2298 -x2299 x2300 -x2301 -x2302 1800.04/1753.46 v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 x2315 -x2316 -x2317 -x2318 -x2319 1800.04/1753.46 v x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 1800.04/1753.46 v -x2338 x2339 -x2340 -x2341 -x2342 -x2343 x2344 x2345 -x2346 -x2347 -x2348 -x2349 -x2350 x2351 -x2352 -x2353 -x2354 -x2355 1800.04/1753.46 v -x2356 -x2357 -x2358 x2359 x2360 -x2361 -x2362 x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 x2370 -x2371 -x2372 -x2373 1800.04/1753.46 v -x2374 x2375 -x2376 -x2377 -x2378 x2379 -x2380 x2381 x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 1800.04/1753.46 v -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 x2399 -x2400 -x2401 -x2402 -x2403 -x2404 x2405 -x2406 -x2407 x2408 x2409 1800.04/1753.46 v -x2410 -x2411 x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 x2424 -x2425 -x2426 -x2427 1800.04/1753.46 v -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 1800.04/1753.46 v -x2445 -x2446 x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 x2455 -x2456 x2457 -x2458 -x2459 -x2460 -x2461 x2462 1800.04/1753.46 v -x2463 -x2464 -x2465 x2466 -x2467 -x2468 x2469 -x2470 -x2471 -x2472 x2473 -x2474 -x2475 x2476 -x2477 -x2478 -x2479 -x2480 1800.04/1753.46 v -x2481 x2482 -x2483 -x2484 -x2485 -x2486 -x2487 x2488 -x2489 -x2490 -x2491 -x2492 x2493 -x2494 x2495 -x2496 -x2497 -x2498 1800.04/1753.46 v -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 1800.04/1753.46 v -x2516 -x2517 -x2518 x2519 x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 x2527 x2528 -x2529 x2530 -x2531 -x2532 -x2533 1800.04/1753.46 v -x2534 -x2535 x2536 -x2537 -x2538 -x2539 -x2540 x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 x2550 -x2551 1800.04/1753.46 v -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 x2563 -x2564 -x2565 -x2566 -x2567 -x2568 1800.04/1753.46 v -x2569 -x2570 -x2571 -x2572 x2573 -x2574 -x2575 -x2576 -x2577 -x2578 x2579 -x2580 -x2581 x2582 x2583 x2584 -x2585 -x2586 1800.04/1753.46 v -x2587 -x2588 x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 x2599 -x2600 x2601 -x2602 -x2603 x2604 1800.04/1753.46 v -x2605 -x2606 -x2607 -x2608 -x2609 x2610 -x2611 x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 x2621 -x2622 1800.04/1753.46 v -x2623 -x2624 -x2625 -x2626 -x2627 x2628 -x2629 x2630 -x2631 x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 1800.04/1753.46 v -x2641 -x2642 x2643 -x2644 -x2645 -x2646 -x2647 -x2648 x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 x2658 1800.04/1753.46 v -x2659 -x2660 -x2661 x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 x2670 -x2671 x2672 -x2673 -x2674 x2675 -x2676 1800.04/1753.46 v -x2677 -x2678 -x2679 -x2680 x2681 -x2682 x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 x2690 -x2691 -x2692 -x2693 -x2694 1800.04/1753.46 v -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 1800.04/1753.46 v x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 x2724 -x2725 -x2726 -x2727 -x2728 1800.04/1753.46 c objective function=27 1800.04/1753.46 c Total wall clock time (ms): 1753.258
OK 27
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node16/watcher-453316-1178130048 -o ROOT/results/node16/solver-453316-1178130048 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/453316-1178130048/sat4jPseudoCPClause.jar /tmp/evaluation/453316-1178130048/instance-453316-1178130048.opb 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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.03 1.01 1.00 2/77 32066 /proc/meminfo: memFree=1815104/2055920 swapFree=4148560/4192956 [pid=32066] ppid=32064 vsize=272 CPUtime=0 /proc/32066/stat : 32066 (java) R 32064 32066 31328 0 -1 0 52 0 0 0 0 0 0 0 18 0 1 0 260922445 278528 37 18446744073709551615 134512640 134550740 4294956512 18446744073709551615 7207565 0 0 4096 0 0 0 0 17 1 0 0 /proc/32066/statm: 77 39 29 9 0 6 0 [startup+0.00704505 s] /proc/loadavg: 1.03 1.01 1.00 2/77 32066 /proc/meminfo: memFree=1815104/2055920 swapFree=4148560/4192956 [pid=32066] ppid=32064 vsize=1800 CPUtime=0 /proc/32066/stat : 32066 (java) D 32064 32066 31328 0 -1 0 178 0 0 0 0 0 0 0 18 0 1 0 260922445 1843200 151 18446744073709551615 134512640 134550740 4294956512 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/32066/statm: 450 151 114 9 0 92 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1800 [startup+0.10103 s] /proc/loadavg: 1.03 1.01 1.00 2/77 32066 /proc/meminfo: memFree=1815104/2055920 swapFree=4148560/4192956 [pid=32066] ppid=32064 vsize=1780408 CPUtime=0.08 /proc/32066/stat : 32066 (java) S 32064 32066 31328 0 -1 0 3968 0 1 0 6 2 0 0 18 0 12 0 260922445 1823137792 3711 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32066/statm: 445102 3711 1122 9 0 442720 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780408 [startup+0.301986 s] /proc/loadavg: 1.03 1.01 1.00 2/77 32066 /proc/meminfo: memFree=1815104/2055920 swapFree=4148560/4192956 [pid=32066] ppid=32064 vsize=1781436 CPUtime=0.31 /proc/32066/stat : 32066 (java) S 32064 32066 31328 0 -1 0 5110 0 1 0 28 3 0 0 18 0 12 0 260922445 1824190464 4850 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32066/statm: 445359 4850 1260 9 0 442970 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 1781436 [startup+0.7019 s] /proc/loadavg: 1.03 1.01 1.00 2/77 32066 /proc/meminfo: memFree=1815104/2055920 swapFree=4148560/4192956 [pid=32066] ppid=32064 vsize=1782896 CPUtime=0.87 /proc/32066/stat : 32066 (java) S 32064 32066 31328 0 -1 0 6172 0 1 0 83 4 0 0 18 0 12 0 260922445 1825685504 5886 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32066/statm: 445724 5886 1301 9 0 443335 0 Current children cumulated CPU time (s) 0.87 Current children cumulated vsize (KiB) 1782896 [startup+1.50273 s] /proc/loadavg: 1.02 1.01 1.00 2/89 32078 /proc/meminfo: memFree=1790112/2055920 swapFree=4148560/4192956 [pid=32066] ppid=32064 vsize=1787380 CPUtime=2.02 /proc/32066/stat : 32066 (java) S 32064 32066 31328 0 -1 0 10409 0 1 0 196 6 0 0 18 0 12 0 260922445 1830277120 8261 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32066/statm: 446845 8261 1304 9 0 444456 0 [pid=32066/tid=32068] ppid=32064 vsize=1787380 CPUtime=1.17 /proc/32066/task/32068/stat : 32068 (java) R 32064 32066 31328 0 -1 64 5992 0 1 0 114 3 0 0 22 0 12 0 260922447 1830277120 8261 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109573830 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32069] ppid=32064 vsize=1787380 CPUtime=0 /proc/32066/task/32069/stat : 32069 (java) S 32064 32066 31328 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 260922448 1830277120 8262 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32070] ppid=32064 vsize=1787380 CPUtime=0 /proc/32066/task/32070/stat : 32070 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 260922448 1830277120 8262 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32071] ppid=32064 vsize=1787380 CPUtime=0 /proc/32066/task/32071/stat : 32071 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 260922450 1830277120 8262 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32072] ppid=32064 vsize=1787380 CPUtime=0 /proc/32066/task/32072/stat : 32072 (java) S 32064 32066 31328 0 -1 64 10 0 0 0 0 0 0 0 20 0 12 0 260922451 1830277120 8262 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32073] ppid=32064 vsize=1787380 CPUtime=0 /proc/32066/task/32073/stat : 32073 (java) S 32064 32066 31328 0 -1 64 4 0 0 0 0 0 0 0 21 0 12 0 260922451 1830277120 8262 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32074] ppid=32064 vsize=1787380 CPUtime=0 /proc/32066/task/32074/stat : 32074 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 260922455 1830277120 8262 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32075] ppid=32064 vsize=1787380 CPUtime=0.46 /proc/32066/task/32075/stat : 32075 (java) S 32064 32066 31328 0 -1 64 2493 0 0 0 45 1 0 0 16 0 12 0 260922455 1830277120 8262 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32076] ppid=32064 vsize=1787380 CPUtime=0.35 /proc/32066/task/32076/stat : 32076 (java) S 32064 32066 31328 0 -1 64 1206 0 0 0 35 0 0 0 15 0 12 0 260922455 1830277120 8262 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32077] ppid=32064 vsize=1787380 CPUtime=0 /proc/32066/task/32077/stat : 32077 (java) S 32064 32066 31328 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 260922455 1830277120 8262 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32078] ppid=32064 vsize=1787380 CPUtime=0 /proc/32066/task/32078/stat : 32078 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 260922455 1830277120 8262 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.02 Current children cumulated vsize (KiB) 1787380 [startup+3.10241 s] /proc/loadavg: 1.02 1.01 1.00 5/90 32081 /proc/meminfo: memFree=1771224/2055920 swapFree=4148560/4192956 [pid=32066] ppid=32064 vsize=1794980 CPUtime=4.85 /proc/32066/stat : 32066 (java) S 32064 32066 31328 0 -1 0 38672 0 1 0 466 19 0 0 18 0 13 0 260922445 1838059520 30438 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32066/statm: 448745 30439 1317 9 0 446356 0 [pid=32066/tid=32068] ppid=32064 vsize=1794980 CPUtime=1.99 /proc/32066/task/32068/stat : 32068 (java) R 32064 32066 31328 0 -1 64 26426 0 1 0 186 13 0 0 21 0 13 0 260922447 1838059520 30439 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109174820 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32069] ppid=32064 vsize=1794980 CPUtime=0 /proc/32066/task/32069/stat : 32069 (java) S 32064 32066 31328 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 260922448 1838059520 30439 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32070] ppid=32064 vsize=1794980 CPUtime=0 /proc/32066/task/32070/stat : 32070 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 260922448 1838059520 30440 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32071] ppid=32064 vsize=1794980 CPUtime=0 /proc/32066/task/32071/stat : 32071 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 260922450 1838059520 30440 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32072] ppid=32064 vsize=1794980 CPUtime=0 /proc/32066/task/32072/stat : 32072 (java) S 32064 32066 31328 0 -1 64 10 0 0 0 0 0 0 0 20 0 13 0 260922451 1838059520 30440 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32073] ppid=32064 vsize=1794980 CPUtime=0 /proc/32066/task/32073/stat : 32073 (java) S 32064 32066 31328 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 260922451 1838059520 30441 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32074] ppid=32064 vsize=1794980 CPUtime=0 /proc/32066/task/32074/stat : 32074 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 260922455 1838059520 30441 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32075] ppid=32064 vsize=1794980 CPUtime=1.49 /proc/32066/task/32075/stat : 32075 (java) R 32064 32066 31328 0 -1 64 5476 0 0 0 147 2 0 0 20 0 13 0 260922455 1838059520 30441 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 103336899 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32076] ppid=32064 vsize=1794980 CPUtime=1.34 /proc/32066/task/32076/stat : 32076 (java) S 32064 32066 31328 0 -1 64 6047 0 0 0 132 2 0 0 16 0 13 0 260922455 1838059520 30442 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32077] ppid=32064 vsize=1794980 CPUtime=0 /proc/32066/task/32077/stat : 32077 (java) S 32064 32066 31328 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 260922455 1838059520 30442 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32078] ppid=32064 vsize=1794980 CPUtime=0 /proc/32066/task/32078/stat : 32078 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260922455 1838059520 30442 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.85 Current children cumulated vsize (KiB) 1794980 [startup+6.30172 s] /proc/loadavg: 1.02 1.01 1.00 2/90 32083 /proc/meminfo: memFree=1643352/2055920 swapFree=4148560/4192956 [pid=32066] ppid=32064 vsize=1794220 CPUtime=8.7 /proc/32066/stat : 32066 (java) S 32064 32066 31328 0 -1 0 55593 0 1 0 842 28 0 0 18 0 13 0 260922445 1837281280 43048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32066/statm: 448555 43048 1326 9 0 446166 0 [pid=32066/tid=32068] ppid=32064 vsize=1794220 CPUtime=4.91 /proc/32066/task/32068/stat : 32068 (java) R 32064 32066 31328 0 -1 64 37722 0 1 0 472 19 0 0 24 0 13 0 260922447 1837281280 43048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109751019 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32069] ppid=32064 vsize=1794220 CPUtime=0.08 /proc/32066/task/32069/stat : 32069 (java) S 32064 32066 31328 0 -1 64 1309 0 0 0 8 0 0 0 16 0 13 0 260922448 1837281280 43048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32070] ppid=32064 vsize=1794220 CPUtime=0.07 /proc/32066/task/32070/stat : 32070 (java) S 32064 32066 31328 0 -1 64 1114 0 0 0 7 0 0 0 16 0 13 0 260922448 1837281280 43048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32071] ppid=32064 vsize=1794220 CPUtime=0 /proc/32066/task/32071/stat : 32071 (java) S 32064 32066 31328 0 -1 64 16 0 0 0 0 0 0 0 16 0 13 0 260922450 1837281280 43048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32072] ppid=32064 vsize=1794220 CPUtime=0 /proc/32066/task/32072/stat : 32072 (java) S 32064 32066 31328 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 260922451 1837281280 43048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32073] ppid=32064 vsize=1794220 CPUtime=0 /proc/32066/task/32073/stat : 32073 (java) S 32064 32066 31328 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 260922451 1837281280 43048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32074] ppid=32064 vsize=1794220 CPUtime=0 /proc/32066/task/32074/stat : 32074 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 260922455 1837281280 43048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32075] ppid=32064 vsize=1794220 CPUtime=2.03 /proc/32066/task/32075/stat : 32075 (java) S 32064 32066 31328 0 -1 64 7799 0 0 0 199 4 0 0 16 0 13 0 260922455 1837281280 43048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32076] ppid=32064 vsize=1794220 CPUtime=1.55 /proc/32066/task/32076/stat : 32076 (java) S 32064 32066 31328 0 -1 64 6911 0 0 0 152 3 0 0 16 0 13 0 260922455 1837281280 43048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32077] ppid=32064 vsize=1794220 CPUtime=0 /proc/32066/task/32077/stat : 32077 (java) S 32064 32066 31328 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 260922455 1837281280 43048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32078] ppid=32064 vsize=1794220 CPUtime=0 /proc/32066/task/32078/stat : 32078 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260922455 1837281280 43048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32083] ppid=32064 vsize=1794220 CPUtime=0 /proc/32066/task/32083/stat : 32083 (java) S 32064 32066 31328 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 260922755 1837281280 43048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 8.7 Current children cumulated vsize (KiB) 1794220 [startup+12.7014 s] /proc/loadavg: 1.02 1.01 1.00 2/90 32083 /proc/meminfo: memFree=1604952/2055920 swapFree=4148560/4192956 [pid=32066] ppid=32064 vsize=1794220 CPUtime=15.29 /proc/32066/stat : 32066 (java) S 32064 32066 31328 0 -1 0 66940 0 1 0 1495 34 0 0 18 0 13 0 260922445 1837281280 53800 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32066/statm: 448555 53800 1327 9 0 446166 0 [pid=32066/tid=32068] ppid=32064 vsize=1794220 CPUtime=11.16 /proc/32066/task/32068/stat : 32068 (java) R 32064 32066 31328 0 -1 64 42513 0 1 0 1095 21 0 0 17 0 13 0 260922447 1837281280 53800 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109751047 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32069] ppid=32064 vsize=1794220 CPUtime=0.22 /proc/32066/task/32069/stat : 32069 (java) S 32064 32066 31328 0 -1 64 4731 0 0 0 21 1 0 0 16 0 13 0 260922448 1837281280 53800 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32070] ppid=32064 vsize=1794220 CPUtime=0.21 /proc/32066/task/32070/stat : 32070 (java) S 32064 32066 31328 0 -1 64 4234 0 0 0 19 2 0 0 16 0 13 0 260922448 1837281280 53800 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32071] ppid=32064 vsize=1794220 CPUtime=0 /proc/32066/task/32071/stat : 32071 (java) S 32064 32066 31328 0 -1 64 29 0 0 0 0 0 0 0 15 0 13 0 260922450 1837281280 53800 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32072] ppid=32064 vsize=1794220 CPUtime=0 /proc/32066/task/32072/stat : 32072 (java) S 32064 32066 31328 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 260922451 1837281280 53800 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32073] ppid=32064 vsize=1794220 CPUtime=0 /proc/32066/task/32073/stat : 32073 (java) S 32064 32066 31328 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 260922451 1837281280 53800 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32074] ppid=32064 vsize=1794220 CPUtime=0 /proc/32066/task/32074/stat : 32074 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 260922455 1837281280 53800 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32075] ppid=32064 vsize=1794220 CPUtime=2.04 /proc/32066/task/32075/stat : 32075 (java) S 32064 32066 31328 0 -1 64 7799 0 0 0 200 4 0 0 16 0 13 0 260922455 1837281280 53800 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32076] ppid=32064 vsize=1794220 CPUtime=1.6 /proc/32066/task/32076/stat : 32076 (java) S 32064 32066 31328 0 -1 64 6912 0 0 0 157 3 0 0 15 0 13 0 260922455 1837281280 53800 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32077] ppid=32064 vsize=1794220 CPUtime=0 /proc/32066/task/32077/stat : 32077 (java) S 32064 32066 31328 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 260922455 1837281280 53800 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32078] ppid=32064 vsize=1794220 CPUtime=0 /proc/32066/task/32078/stat : 32078 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260922455 1837281280 53800 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32083] ppid=32064 vsize=1794220 CPUtime=0 /proc/32066/task/32083/stat : 32083 (java) S 32064 32066 31328 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 260922755 1837281280 53800 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 15.29 Current children cumulated vsize (KiB) 1794220 [startup+25.5027 s] /proc/loadavg: 1.02 1.01 1.00 2/90 32083 /proc/meminfo: memFree=1589976/2055920 swapFree=4148560/4192956 [pid=32066] ppid=32064 vsize=1793132 CPUtime=28.39 /proc/32066/stat : 32066 (java) S 32064 32066 31328 0 -1 0 71353 0 1 0 2803 36 0 0 18 0 13 0 260922445 1836167168 57378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32066/statm: 448283 57378 1327 9 0 445894 0 [pid=32066/tid=32068] ppid=32064 vsize=1793132 CPUtime=23.81 /proc/32066/task/32068/stat : 32068 (java) R 32064 32066 31328 0 -1 64 42581 0 1 0 2360 21 0 0 21 0 13 0 260922447 1836167168 57378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109702055 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32069] ppid=32064 vsize=1793132 CPUtime=0.37 /proc/32066/task/32069/stat : 32069 (java) S 32064 32066 31328 0 -1 64 7031 0 0 0 34 3 0 0 16 0 13 0 260922448 1836167168 57378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32070] ppid=32064 vsize=1793132 CPUtime=0.36 /proc/32066/task/32070/stat : 32070 (java) S 32064 32066 31328 0 -1 64 6279 0 0 0 34 2 0 0 16 0 13 0 260922448 1836167168 57378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32071] ppid=32064 vsize=1793132 CPUtime=0 /proc/32066/task/32071/stat : 32071 (java) S 32064 32066 31328 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 260922450 1836167168 57378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32072] ppid=32064 vsize=1793132 CPUtime=0 /proc/32066/task/32072/stat : 32072 (java) S 32064 32066 31328 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 260922451 1836167168 57378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=32066/tid=32071] ppid=32064 vsize=1791084 CPUtime=0.21 /proc/32066/task/32071/stat : 32071 (java) S 32064 32066 31328 0 -1 64 33 0 0 0 15 6 0 0 16 0 13 0 260922450 1834070016 200991 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32072] ppid=32064 vsize=1791084 CPUtime=0 /proc/32066/task/32072/stat : 32072 (java) S 32064 32066 31328 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 260922451 1834070016 200991 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32073] ppid=32064 vsize=1791084 CPUtime=0 /proc/32066/task/32073/stat : 32073 (java) S 32064 32066 31328 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 260922451 1834070016 200991 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32074] ppid=32064 vsize=1791084 CPUtime=0 /proc/32066/task/32074/stat : 32074 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 260922455 1834070016 200991 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32075] ppid=32064 vsize=1791084 CPUtime=2.28 /proc/32066/task/32075/stat : 32075 (java) S 32064 32066 31328 0 -1 64 7808 0 0 0 224 4 0 0 16 0 13 0 260922455 1834070016 200991 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32076] ppid=32064 vsize=1791084 CPUtime=1.68 /proc/32066/task/32076/stat : 32076 (java) S 32064 32066 31328 0 -1 64 6918 0 0 0 165 3 0 0 16 0 13 0 260922455 1834070016 200991 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32077] ppid=32064 vsize=1791084 CPUtime=0 /proc/32066/task/32077/stat : 32077 (java) S 32064 32066 31328 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 260922455 1834070016 200991 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32078] ppid=32064 vsize=1791084 CPUtime=0 /proc/32066/task/32078/stat : 32078 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260922455 1834070016 200991 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32084] ppid=32064 vsize=1791084 CPUtime=0 /proc/32066/task/32084/stat : 32084 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 260944493 1834070016 200991 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1581.79 Current children cumulated vsize (KiB) 1791084 [startup+1602.3 s] /proc/loadavg: 1.04 1.02 1.00 2/90 32086 /proc/meminfo: memFree=998480/2055920 swapFree=4148560/4192956 [pid=32066] ppid=32064 vsize=1791084 CPUtime=1643.77 /proc/32066/stat : 32066 (java) S 32064 32066 31328 0 -1 0 239352 0 1 0 164247 130 0 0 18 0 13 0 260922445 1834070016 204700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32066/statm: 447771 204700 1336 9 0 445382 0 [pid=32066/tid=32068] ppid=32064 vsize=1791084 CPUtime=1561.23 /proc/32066/task/32068/stat : 32068 (java) R 32064 32066 31328 0 -1 64 43570 0 1 0 156087 36 0 0 25 0 13 0 260922447 1834070016 204700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109751428 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32069] ppid=32064 vsize=1791084 CPUtime=39.17 /proc/32066/task/32069/stat : 32069 (java) S 32064 32066 31328 0 -1 64 92661 0 0 0 3881 36 0 0 16 0 13 0 260922448 1834070016 204700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32070] ppid=32064 vsize=1791084 CPUtime=39.13 /proc/32066/task/32070/stat : 32070 (java) S 32064 32066 31328 0 -1 64 87639 0 0 0 3872 41 0 0 16 0 13 0 260922448 1834070016 204700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32071] ppid=32064 vsize=1791084 CPUtime=0.22 /proc/32066/task/32071/stat : 32071 (java) S 32064 32066 31328 0 -1 64 33 0 0 0 16 6 0 0 16 0 13 0 260922450 1834070016 204700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32072] ppid=32064 vsize=1791084 CPUtime=0 /proc/32066/task/32072/stat : 32072 (java) S 32064 32066 31328 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 260922451 1834070016 204700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32073] ppid=32064 vsize=1791084 CPUtime=0 /proc/32066/task/32073/stat : 32073 (java) S 32064 32066 31328 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 260922451 1834070016 204700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32074] ppid=32064 vsize=1791084 CPUtime=0 /proc/32066/task/32074/stat : 32074 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 260922455 1834070016 204700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32075] ppid=32064 vsize=1791084 CPUtime=2.28 /proc/32066/task/32075/stat : 32075 (java) S 32064 32066 31328 0 -1 64 7808 0 0 0 224 4 0 0 16 0 13 0 260922455 1834070016 204700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32076] ppid=32064 vsize=1791084 CPUtime=1.68 /proc/32066/task/32076/stat : 32076 (java) S 32064 32066 31328 0 -1 64 6918 0 0 0 165 3 0 0 16 0 13 0 260922455 1834070016 204700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32077] ppid=32064 vsize=1791084 CPUtime=0 /proc/32066/task/32077/stat : 32077 (java) S 32064 32066 31328 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 260922455 1834070016 204700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32078] ppid=32064 vsize=1791084 CPUtime=0 /proc/32066/task/32078/stat : 32078 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260922455 1834070016 204700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32084] ppid=32064 vsize=1791084 CPUtime=0 /proc/32066/task/32084/stat : 32084 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 260944493 1834070016 204700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1643.77 Current children cumulated vsize (KiB) 1791084 [startup+1662.3 s] /proc/loadavg: 1.04 1.03 1.00 2/90 32086 /proc/meminfo: memFree=984720/2055920 swapFree=4148560/4192956 [pid=32066] ppid=32064 vsize=1791084 CPUtime=1705.85 /proc/32066/stat : 32066 (java) S 32064 32066 31328 0 -1 0 243094 0 1 0 170453 132 0 0 18 0 13 0 260922445 1834070016 208223 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32066/statm: 447771 208223 1336 9 0 445382 0 [pid=32066/tid=32068] ppid=32064 vsize=1791084 CPUtime=1619.11 /proc/32066/task/32068/stat : 32068 (java) R 32064 32066 31328 0 -1 64 43601 0 1 0 161874 37 0 0 25 0 13 0 260922447 1834070016 208223 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109702135 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32069] ppid=32064 vsize=1791084 CPUtime=41.26 /proc/32066/task/32069/stat : 32069 (java) S 32064 32066 31328 0 -1 64 95403 0 0 0 4089 37 0 0 16 0 13 0 260922448 1834070016 208223 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32070] ppid=32064 vsize=1791084 CPUtime=41.23 /proc/32066/task/32070/stat : 32070 (java) S 32064 32066 31328 0 -1 64 88608 0 0 0 4082 41 0 0 16 0 13 0 260922448 1834070016 208223 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32071] ppid=32064 vsize=1791084 CPUtime=0.22 /proc/32066/task/32071/stat : 32071 (java) S 32064 32066 31328 0 -1 64 33 0 0 0 16 6 0 0 15 0 13 0 260922450 1834070016 208223 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32072] ppid=32064 vsize=1791084 CPUtime=0 /proc/32066/task/32072/stat : 32072 (java) S 32064 32066 31328 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 260922451 1834070016 208223 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32073] ppid=32064 vsize=1791084 CPUtime=0 /proc/32066/task/32073/stat : 32073 (java) S 32064 32066 31328 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 260922451 1834070016 208223 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32074] ppid=32064 vsize=1791084 CPUtime=0 /proc/32066/task/32074/stat : 32074 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 260922455 1834070016 208223 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32075] ppid=32064 vsize=1791084 CPUtime=2.28 /proc/32066/task/32075/stat : 32075 (java) S 32064 32066 31328 0 -1 64 7808 0 0 0 224 4 0 0 16 0 13 0 260922455 1834070016 208223 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32076] ppid=32064 vsize=1791084 CPUtime=1.68 /proc/32066/task/32076/stat : 32076 (java) S 32064 32066 31328 0 -1 64 6918 0 0 0 165 3 0 0 16 0 13 0 260922455 1834070016 208223 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32077] ppid=32064 vsize=1791084 CPUtime=0 /proc/32066/task/32077/stat : 32077 (java) S 32064 32066 31328 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 260922455 1834070016 208223 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32078] ppid=32064 vsize=1791084 CPUtime=0 /proc/32066/task/32078/stat : 32078 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260922455 1834070016 208223 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32084] ppid=32064 vsize=1791084 CPUtime=0 /proc/32066/task/32084/stat : 32084 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 260944493 1834070016 208223 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1705.85 Current children cumulated vsize (KiB) 1791084 [startup+1722.3 s] /proc/loadavg: 1.01 1.02 1.00 2/90 32086 /proc/meminfo: memFree=970448/2055920 swapFree=4148560/4192956 [pid=32066] ppid=32064 vsize=1791084 CPUtime=1767.86 /proc/32066/stat : 32066 (java) S 32064 32066 31328 0 -1 0 246910 0 1 0 176652 134 0 0 18 0 13 0 260922445 1834070016 211806 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32066/statm: 447771 211806 1336 9 0 445382 0 [pid=32066/tid=32068] ppid=32064 vsize=1791084 CPUtime=1677.08 /proc/32066/task/32068/stat : 32068 (java) R 32064 32066 31328 0 -1 64 43630 0 1 0 167671 37 0 0 25 0 13 0 260922447 1834070016 211806 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109710793 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32069] ppid=32064 vsize=1791084 CPUtime=43.27 /proc/32066/task/32069/stat : 32069 (java) S 32064 32066 31328 0 -1 64 98306 0 0 0 4289 38 0 0 16 0 13 0 260922448 1834070016 211806 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32070] ppid=32064 vsize=1791084 CPUtime=43.25 /proc/32066/task/32070/stat : 32070 (java) S 32064 32066 31328 0 -1 64 89492 0 0 0 4283 42 0 0 17 0 13 0 260922448 1834070016 211806 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32071] ppid=32064 vsize=1791084 CPUtime=0.23 /proc/32066/task/32071/stat : 32071 (java) S 32064 32066 31328 0 -1 64 33 0 0 0 17 6 0 0 16 0 13 0 260922450 1834070016 211806 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32072] ppid=32064 vsize=1791084 CPUtime=0 /proc/32066/task/32072/stat : 32072 (java) S 32064 32066 31328 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 260922451 1834070016 211806 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32073] ppid=32064 vsize=1791084 CPUtime=0 /proc/32066/task/32073/stat : 32073 (java) S 32064 32066 31328 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 260922451 1834070016 211806 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32074] ppid=32064 vsize=1791084 CPUtime=0 /proc/32066/task/32074/stat : 32074 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 260922455 1834070016 211806 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32075] ppid=32064 vsize=1791084 CPUtime=2.28 /proc/32066/task/32075/stat : 32075 (java) S 32064 32066 31328 0 -1 64 7808 0 0 0 224 4 0 0 16 0 13 0 260922455 1834070016 211806 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32076] ppid=32064 vsize=1791084 CPUtime=1.68 /proc/32066/task/32076/stat : 32076 (java) S 32064 32066 31328 0 -1 64 6918 0 0 0 165 3 0 0 16 0 13 0 260922455 1834070016 211806 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32077] ppid=32064 vsize=1791084 CPUtime=0 /proc/32066/task/32077/stat : 32077 (java) S 32064 32066 31328 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 260922455 1834070016 211806 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32078] ppid=32064 vsize=1791084 CPUtime=0 /proc/32066/task/32078/stat : 32078 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260922455 1834070016 211806 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32084] ppid=32064 vsize=1791084 CPUtime=0 /proc/32066/task/32084/stat : 32084 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 260944493 1834070016 211806 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1767.86 Current children cumulated vsize (KiB) 1791084 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1753.41 s] /proc/loadavg: 1.01 1.02 1.00 2/90 32086 /proc/meminfo: memFree=962576/2055920 swapFree=4148560/4192956 [pid=32066] ppid=32064 vsize=1791084 CPUtime=1800.04 /proc/32066/stat : 32066 (java) S 32064 32066 31328 0 -1 0 249052 0 1 0 179868 136 0 0 18 0 13 0 260922445 1834070016 213664 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32066/statm: 447771 213664 1336 9 0 445382 0 [pid=32066/tid=32068] ppid=32064 vsize=1791084 CPUtime=1707.12 /proc/32066/task/32068/stat : 32068 (java) R 32064 32066 31328 0 -1 64 43645 0 1 0 170674 38 0 0 24 0 13 0 260922447 1834070016 213664 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109710793 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32069] ppid=32064 vsize=1791084 CPUtime=44.34 /proc/32066/task/32069/stat : 32069 (java) S 32064 32066 31328 0 -1 64 99829 0 0 0 4395 39 0 0 16 0 13 0 260922448 1834070016 213664 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32070] ppid=32064 vsize=1791084 CPUtime=44.31 /proc/32066/task/32070/stat : 32070 (java) S 32064 32066 31328 0 -1 64 90096 0 0 0 4389 42 0 0 17 0 13 0 260922448 1834070016 213664 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32071] ppid=32064 vsize=1791084 CPUtime=0.23 /proc/32066/task/32071/stat : 32071 (java) S 32064 32066 31328 0 -1 64 33 0 0 0 17 6 0 0 16 0 13 0 260922450 1834070016 213664 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32072] ppid=32064 vsize=1791084 CPUtime=0 /proc/32066/task/32072/stat : 32072 (java) S 32064 32066 31328 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 260922451 1834070016 213664 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32073] ppid=32064 vsize=1791084 CPUtime=0 /proc/32066/task/32073/stat : 32073 (java) S 32064 32066 31328 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 260922451 1834070016 213664 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32074] ppid=32064 vsize=1791084 CPUtime=0 /proc/32066/task/32074/stat : 32074 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 260922455 1834070016 213664 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32075] ppid=32064 vsize=1791084 CPUtime=2.28 /proc/32066/task/32075/stat : 32075 (java) S 32064 32066 31328 0 -1 64 7808 0 0 0 224 4 0 0 16 0 13 0 260922455 1834070016 213664 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32076] ppid=32064 vsize=1791084 CPUtime=1.68 /proc/32066/task/32076/stat : 32076 (java) S 32064 32066 31328 0 -1 64 6918 0 0 0 165 3 0 0 16 0 13 0 260922455 1834070016 213664 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32077] ppid=32064 vsize=1791084 CPUtime=0 /proc/32066/task/32077/stat : 32077 (java) S 32064 32066 31328 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 260922455 1834070016 213664 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32066/tid=32078] ppid=32064 vsize=1791084 CPUtime=0 /proc/32066/task/32078/stat : 32078 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260922455 1834070016 213664 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32066/tid=32084] ppid=32064 vsize=1791084 CPUtime=0 /proc/32066/task/32084/stat : 32084 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 260944493 1834070016 213664 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1791084 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1753.6 s] /proc/loadavg: 1.01 1.02 1.00 2/90 32086 /proc/meminfo: memFree=962576/2055920 swapFree=4148560/4192956 [pid=32066] ppid=32064 vsize=0 CPUtime=1800.27 /proc/32066/stat : 32066 (java) Z 32064 32066 31328 0 -1 1036 249070 0 1 0 179880 147 0 0 15 0 2 0 260922445 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/32066/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.27 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1753.62 CPU time (s): 1800.3 CPU user time (s): 1798.81 CPU system time (s): 1.49177 CPU usage (%): 102.662 Max. virtual memory (cumulated for all children) (KiB): 1796688 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.81 system time used= 1.49177 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 249070 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 46436 involuntary context switches= 65793 runsolver used 1.73074 second user time and 4.67329 second system time The end
Begin job on node16 on Wed May 2 18:20:48 UTC 2007 IDJOB= 453316 IDBENCH= 48122 IDSOLVER= 164 FILE ID= node16/453316-1178130048 PBS_JOBID= 4751042 Free space on /tmp= 66561 MiB SOLVER NAME= sat4jPseudoCPClause 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_10_5.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/453316-1178130048/sat4jPseudoCPClause.jar /tmp/evaluation/453316-1178130048/instance-453316-1178130048.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-453316-1178130048 -o ROOT/results/node16/solver-453316-1178130048 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/453316-1178130048/sat4jPseudoCPClause.jar /tmp/evaluation/453316-1178130048/instance-453316-1178130048.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 08d7a5060b972f308367859ff82f87f6 RANDOM SEED= 272409010 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node16.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.232 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.232 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: 1815512 kB Buffers: 80588 kB Cached: 76576 kB SwapCached: 12496 kB Active: 100800 kB Inactive: 88644 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1815512 kB SwapTotal: 4192956 kB SwapFree: 4148560 kB Dirty: 3728 kB Writeback: 0 kB Mapped: 35588 kB Slab: 36504 kB Committed_AS: 13936348 kB PageTables: 1848 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66561 MiB End job on node16 on Wed May 2 18:50:04 UTC 2007