Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 80721 | 1800.36 | 1781.96 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-data10_3.opb |
MD5SUM | dccfffd22c38fcd3c497d688dab4b7a4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 80503 |
Best CPU time to get the best result obtained on this benchmark | 1782.78 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 79290 |
Optimality of the best value was proved | NO |
Number of variables | 2700 |
Total number of constraints | 42620 |
Number of constraints which are clauses | 20220 |
Number of constraints which are cardinality constraints (but not clauses) | 800 |
Number of constraints which are nor clauses,nor cardinality constraints | 21600 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 36 |
Number of terms in the objective function | 900 |
Biggest coefficient in the objective function | 1380 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 559660 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1380 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 559660 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
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 --- 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=1.5 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 solving /tmp/evaluation/352717-1176639892/instance-352717-1176639892.opb 0.20/0.20 c reading problem ... 4.20/3.16 c ... done. Wall clock time 2.96s. 4.20/3.16 c CPU time (experimental) 2.55s. 4.20/3.16 c #vars 2700 4.20/3.16 c #constraints 43070 5.64/3.99 c SATISFIABLE 5.64/3.99 c OPTIMIZING... 5.64/3.99 c Got one! Elapsed wall clock time (in seconds):3.787 5.64/4.00 o 98201 6.17/4.35 c Got one! Elapsed wall clock time (in seconds):4.146 6.17/4.35 o 97591 6.57/4.67 c Got one! Elapsed wall clock time (in seconds):4.466 6.57/4.67 o 87653 7.90/5.81 c Got one! Elapsed wall clock time (in seconds):5.609 7.90/5.81 o 87118 15.86/13.11 c Got one! Elapsed wall clock time (in seconds):12.912 15.86/13.12 o 87003 20.58/17.67 c Got one! Elapsed wall clock time (in seconds):17.472 20.58/17.68 o 86798 23.87/20.81 c Got one! Elapsed wall clock time (in seconds):20.605 23.87/20.82 o 85999 59.39/55.80 c Got one! Elapsed wall clock time (in seconds):55.599 59.39/55.80 o 85821 166.17/161.58 c Got one! Elapsed wall clock time (in seconds):161.375 166.17/161.58 o 83204 242.57/237.25 c Got one! Elapsed wall clock time (in seconds):237.049 242.57/237.25 o 82929 261.87/256.38 c Got one! Elapsed wall clock time (in seconds):256.18 261.87/256.38 o 82770 313.12/307.19 c Got one! Elapsed wall clock time (in seconds):306.985 313.12/307.19 o 82549 424.64/417.63 c Got one! Elapsed wall clock time (in seconds):417.432 424.64/417.64 o 80721 1800.05/1781.71 c starts : 129 1800.05/1781.71 c conflicts : 417452 1800.05/1781.71 c decisions : 644667 1800.05/1781.71 c propagations : 47116518 1800.05/1781.71 c inspects : 2584209811 1800.05/1781.71 c learnt literals : 0 1800.05/1781.71 c learnt binary clauses : 0 1800.05/1781.71 c learnt ternary clauses : 0 1800.05/1781.71 c learnt clauses : 417452 1800.05/1781.71 c root simplifications : 0 1800.05/1781.71 c removed literals (reason simplification) : 0 1800.05/1781.71 c reason swapping (by a shorter reason) : 0 1800.05/1781.71 c Calls to reduceDB : 0 1800.05/1781.71 c speed (decisions/second) : 472.6048185139788 1800.05/1781.71 c non guided choices 1864 1800.05/1781.71 s SATISFIABLE 1800.05/1781.76 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 1800.05/1781.76 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 1800.05/1781.76 v 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 1800.05/1781.76 v -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 1800.05/1781.76 v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 1800.05/1781.76 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 1800.05/1781.76 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 1800.05/1781.76 v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 1800.05/1781.76 v -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 1800.05/1781.76 v -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 1800.05/1781.76 v -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 1800.05/1781.76 v -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 x270 -x271 -x272 -x273 -x274 1800.05/1781.76 v -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 -x295 1800.05/1781.76 v -x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 1800.05/1781.76 v -x317 -x318 -x319 x320 -x321 -x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 1800.05/1781.76 v -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 1800.05/1781.76 v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 1800.05/1781.76 v -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 1800.05/1781.76 v -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 1800.05/1781.76 v -x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 1800.05/1781.76 v -x443 -x444 x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 1800.05/1781.76 v -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 1800.05/1781.76 v -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 x497 -x498 -x499 -x500 x501 -x502 -x503 -x504 -x505 1800.05/1781.76 v -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 -x525 -x526 1800.05/1781.76 v -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 x543 -x544 -x545 -x546 -x547 1800.05/1781.76 v -x548 -x549 -x550 -x551 -x552 -x553 x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 1800.05/1781.76 v -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 1800.05/1781.76 v -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 x608 -x609 -x610 1800.05/1781.76 v -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 1800.05/1781.76 v -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x649 -x650 -x651 -x652 1800.05/1781.76 v -x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 1800.05/1781.76 v -x674 -x675 -x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 -x694 1800.05/1781.76 v -x695 -x696 -x697 -x698 -x699 x700 x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 x715 1800.05/1781.76 v -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 x731 -x732 -x733 -x734 -x735 -x736 1800.05/1781.76 v -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 -x757 1800.05/1781.76 v -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 x776 -x777 -x778 1800.05/1781.76 v -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 1800.05/1781.76 v x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 x816 -x817 -x818 -x819 -x820 1800.05/1781.76 v -x821 -x822 -x823 -x824 -x825 -x826 x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 x835 -x836 -x837 -x838 -x839 -x840 -x841 1800.05/1781.76 v -x842 -x843 -x844 x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 -x859 -x860 -x861 -x862 1800.05/1781.76 v -x863 -x864 -x865 -x866 x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 x880 x881 -x882 -x883 1800.05/1781.76 v -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 x900 x901 -x902 -x903 -x904 1800.05/1781.76 v -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 x917 -x918 -x919 -x920 -x921 -x922 x923 -x924 -x925 1800.05/1781.76 v -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 x934 -x935 -x936 -x937 -x938 -x939 -x940 x941 -x942 -x943 -x944 -x945 -x946 1800.05/1781.76 v -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 x967 1800.05/1781.76 v -x968 -x969 -x970 -x971 -x972 -x973 x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 x983 -x984 -x985 -x986 -x987 -x988 1800.05/1781.76 v -x989 -x990 -x991 -x992 -x993 -x994 -x995 x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 -x1006 -x1007 1800.05/1781.76 v -x1008 -x1009 -x1010 -x1011 x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 x1023 -x1024 -x1025 1800.05/1781.76 v -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 x1037 -x1038 -x1039 -x1040 -x1041 x1042 -x1043 1800.05/1781.76 v -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 x1059 -x1060 1800.05/1781.76 v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 1800.05/1781.76 v x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 1800.05/1781.76 v -x1096 -x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 x1110 -x1111 x1112 -x1113 1800.05/1781.76 v -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 1800.05/1781.76 v -x1131 -x1132 -x1133 x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 -x1148 1800.05/1781.76 v -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 x1158 -x1159 -x1160 -x1161 x1162 -x1163 -x1164 -x1165 -x1166 1800.05/1781.76 v -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 x1178 -x1179 -x1180 -x1181 -x1182 -x1183 1800.05/1781.76 v -x1184 x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 x1201 1800.05/1781.76 v -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 1800.05/1781.76 v -x1219 -x1220 -x1221 -x1222 x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 x1232 -x1233 -x1234 -x1235 -x1236 1800.05/1781.76 v -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 x1248 -x1249 -x1250 x1251 -x1252 -x1253 -x1254 1800.05/1781.76 v -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 1800.05/1781.76 v -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 1800.05/1781.76 v x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 x1299 -x1300 x1301 -x1302 -x1303 -x1304 -x1305 -x1306 1800.05/1781.76 v -x1307 -x1308 -x1309 -x1310 x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 1800.05/1781.76 v -x1324 -x1325 x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 x1340 -x1341 1800.05/1781.76 v -x1342 -x1343 -x1344 -x1345 -x1346 x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 x1356 -x1357 -x1358 -x1359 1800.05/1781.76 v -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 1800.05/1781.76 v -x1377 -x1378 x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 x1389 -x1390 -x1391 -x1392 -x1393 -x1394 1800.05/1781.76 v -x1395 -x1396 -x1397 -x1398 -x1399 x1400 x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 1800.05/1781.76 v -x1413 x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 x1429 -x1430 1800.05/1781.76 v -x1431 -x1432 -x1433 x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 1800.05/1781.76 v -x1448 -x1449 x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 1800.05/1781.76 v -x1466 x1467 -x1468 -x1469 -x1470 x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 1800.05/1781.76 v -x1484 -x1485 -x1486 -x1487 -x1488 x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500 -x1501 1800.05/1781.76 v -x1502 -x1503 -x1504 -x1505 -x1506 x1507 -x1508 -x1509 -x1510 -x1511 -x1512 x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 1800.05/1781.76 v -x1520 -x1521 -x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 x1536 -x1537 1800.05/1781.76 v -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 1800.05/1781.76 v -x1555 x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 x1567 -x1568 -x1569 -x1570 -x1571 -x1572 1800.05/1781.76 v -x1573 -x1574 x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 1800.05/1781.76 v x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 x1600 -x1601 x1602 -x1603 -x1604 -x1605 -x1606 -x1607 1800.05/1781.76 v -x1608 -x1609 -x1610 -x1611 x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 x1623 -x1624 -x1625 1800.05/1781.76 v -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 1800.05/1781.76 v -x1643 -x1644 x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 1800.05/1781.76 v -x1661 -x1662 -x1663 -x1664 x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 1800.05/1781.76 v x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 x1688 -x1689 -x1690 -x1691 -x1692 -x1693 x1694 -x1695 1800.05/1781.76 v -x1696 -x1697 -x1698 -x1699 -x1700 x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 x1712 -x1713 1800.05/1781.76 v -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 1800.05/1781.76 v -x1731 -x1732 -x1733 x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 x1745 -x1746 -x1747 -x1748 1800.05/1781.76 v -x1749 -x1750 -x1751 x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 1800.05/1781.76 v -x1766 -x1767 x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 x1778 -x1779 -x1780 -x1781 -x1782 -x1783 1800.05/1781.76 v x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 1800.05/1781.76 v x1802 -x1803 -x1804 x1805 x1806 x1807 x1808 -x1809 x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 1800.05/1781.76 v -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 x1827 -x1828 -x1829 -x1830 x1831 -x1832 -x1833 -x1834 -x1835 -x1836 x1837 1800.05/1781.76 v -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 x1849 -x1850 -x1851 -x1852 -x1853 -x1854 1800.05/1781.76 v -x1855 x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 1800.05/1781.76 v x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 1800.05/1781.76 v -x1891 -x1892 x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x1900 -x1901 -x1902 x1903 -x1904 -x1905 -x1906 x1907 -x1908 1800.05/1781.76 v -x1909 x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 1800.05/1781.76 v -x1927 -x1928 -x1929 -x1930 x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 x1941 -x1942 -x1943 -x1944 1800.05/1781.76 v -x1945 x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 1800.05/1781.76 v x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 x1970 -x1971 -x1972 x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 1800.05/1781.76 v -x1980 -x1981 x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 1800.05/1781.76 v -x1997 x1998 x1999 x2000 x2001 x2002 x2003 -x2004 x2005 -x2006 -x2007 -x2008 -x2009 x2010 -x2011 -x2012 -x2013 -x2014 -x2015 1800.05/1781.76 v -x2016 -x2017 -x2018 x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 1800.05/1781.76 v x2033 -x2034 -x2035 -x2036 x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 x2046 -x2047 -x2048 -x2049 -x2050 1800.05/1781.76 v -x2051 -x2052 -x2053 -x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 1800.05/1781.76 v x2068 -x2069 -x2070 -x2071 -x2072 -x2073 x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 1800.05/1781.76 v -x2086 -x2087 x2088 -x2089 -x2090 x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 x2098 x2099 x2100 -x2101 x2102 x2103 1800.05/1781.76 v x2104 -x2105 -x2106 -x2107 -x2108 -x2109 x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 x2119 -x2120 -x2121 1800.05/1781.76 v -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 1800.05/1781.76 v -x2139 -x2140 x2141 -x2142 -x2143 -x2144 -x2145 x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 x2155 -x2156 1800.05/1781.76 v -x2157 -x2158 -x2159 -x2160 x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 x2173 -x2174 1800.05/1781.76 v -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 x2186 -x2187 -x2188 -x2189 -x2190 -x2191 1800.05/1781.76 v x2192 -x2193 -x2194 -x2195 -x2196 x2197 -x2198 x2199 x2200 -x2201 -x2202 x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 1800.05/1781.76 v x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 x2223 -x2224 -x2225 -x2226 -x2227 1800.05/1781.76 v -x2228 -x2229 x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 1800.05/1781.76 v x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 1800.05/1781.76 v x2264 -x2265 -x2266 -x2267 -x2268 -x2269 x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 1800.05/1781.76 v -x2282 -x2283 -x2284 -x2285 x2286 -x2287 -x2288 -x2289 -x2290 x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 x2298 x2299 1800.05/1781.76 v x2300 x2301 -x2302 x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x2310 -x2311 -x2312 -x2313 x2314 -x2315 -x2316 -x2317 1800.05/1781.76 v -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 x2330 -x2331 -x2332 -x2333 -x2334 1800.05/1781.76 v -x2335 -x2336 x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 x2349 -x2350 x2351 -x2352 1800.05/1781.76 v -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 x2364 -x2365 -x2366 -x2367 -x2368 -x2369 1800.05/1781.76 v -x2370 -x2371 -x2372 -x2373 -x2374 x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 x2383 -x2384 -x2385 x2386 -x2387 1800.05/1781.76 v -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 x2396 -x2397 x2398 x2399 x2400 -x2401 -x2402 -x2403 -x2404 -x2405 1800.05/1781.76 v -x2406 -x2407 -x2408 -x2409 x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 x2419 -x2420 -x2421 -x2422 -x2423 1800.05/1781.76 v -x2424 -x2425 -x2426 -x2427 x2428 -x2429 -x2430 -x2431 -x2432 -x2433 x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 1800.05/1781.76 v -x2442 -x2443 -x2444 x2445 -x2446 -x2447 -x2448 -x2449 x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 1800.05/1781.76 v -x2460 -x2461 -x2462 -x2463 x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 x2473 -x2474 -x2475 -x2476 -x2477 1800.05/1781.76 v -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 -x2492 -x2493 -x2494 -x2495 1800.05/1781.76 v x2496 -x2497 -x2498 x2499 -x2500 x2501 -x2502 x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 1800.05/1781.76 v -x2514 x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 1800.05/1781.76 v -x2532 -x2533 -x2534 -x2535 -x2536 x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 x2546 -x2547 -x2548 -x2549 1800.05/1781.76 v -x2550 -x2551 -x2552 -x2553 -x2554 x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 x2567 1800.05/1781.76 v -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 x2580 -x2581 -x2582 -x2583 -x2584 1800.05/1781.76 v -x2585 -x2586 x2587 -x2588 -x2589 -x2590 -x2591 -x2592 x2593 -x2594 -x2595 -x2596 x2597 -x2598 x2599 -x2600 x2601 -x2602 1800.05/1781.76 v -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 x2619 -x2620 1800.05/1781.76 v x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 x2637 -x2638 1800.05/1781.76 v -x2639 -x2640 x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 x2655 -x2656 1800.05/1781.76 v -x2657 -x2658 -x2659 -x2660 -x2661 x2662 -x2663 -x2664 x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 1800.05/1781.76 v -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 x2691 -x2692 1800.05/1781.76 v x2693 -x2694 x2695 -x2696 x2697 x2698 -x2699 x2700 1800.05/1781.76 c objective function=80721 1800.05/1781.76 c Total wall clock time (ms): 1781.563
OK 80721
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node11/watcher-352717-1176639892 -o ROOT/results/node11/solver-352717-1176639892 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/352717-1176639892/sat4jPseudoResolution.jar /tmp/evaluation/352717-1176639892/instance-352717-1176639892.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: 0.93 0.98 0.99 3/77 17368 /proc/meminfo: memFree=1587312/2055920 swapFree=4146224/4192956 [pid=17368] ppid=17366 vsize=152 CPUtime=0 /proc/17368/stat : 17368 (java) D 17366 17368 16748 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 105038112 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 7979812 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/17368/statm: 38 26 19 9 0 4 0 [startup+0.023985 s] /proc/loadavg: 0.93 0.98 0.99 3/77 17368 /proc/meminfo: memFree=1587312/2055920 swapFree=4146224/4192956 [pid=17368] ppid=17366 vsize=1772952 CPUtime=0.01 /proc/17368/stat : 17368 (java) S 17366 17368 16748 0 -1 0 1444 0 1 0 0 1 0 0 18 0 2 0 105038112 1815502848 1194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/17368/statm: 443238 1205 381 9 0 441252 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1772952 [startup+0.102985 s] /proc/loadavg: 0.93 0.98 0.99 3/77 17368 /proc/meminfo: memFree=1587312/2055920 swapFree=4146224/4192956 [pid=17368] ppid=17366 vsize=1781132 CPUtime=0.08 /proc/17368/stat : 17368 (java) S 17366 17368 16748 0 -1 0 3976 0 1 0 6 2 0 0 18 0 12 0 105038112 1823879168 3718 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17368/statm: 445283 3718 1122 9 0 442902 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1781132 [startup+0.303017 s] /proc/loadavg: 0.93 0.98 0.99 3/77 17368 /proc/meminfo: memFree=1587312/2055920 swapFree=4146224/4192956 [pid=17368] ppid=17366 vsize=1782620 CPUtime=0.34 /proc/17368/stat : 17368 (java) S 17366 17368 16748 0 -1 0 5120 0 1 0 31 3 0 0 18 0 12 0 105038112 1825402880 4859 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17368/statm: 445655 4859 1267 9 0 443267 0 Current children cumulated CPU time (s) 0.34 Current children cumulated vsize (KiB) 1782620 [startup+0.701065 s] /proc/loadavg: 0.93 0.98 0.99 3/77 17368 /proc/meminfo: memFree=1587312/2055920 swapFree=4146224/4192956 [pid=17368] ppid=17366 vsize=1785344 CPUtime=0.92 /proc/17368/stat : 17368 (java) S 17366 17368 16748 0 -1 0 7535 0 1 0 88 4 0 0 18 0 12 0 105038112 1828192256 6846 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17368/statm: 446336 6846 1301 9 0 443948 0 Current children cumulated CPU time (s) 0.92 Current children cumulated vsize (KiB) 1785344 [startup+1.50115 s] /proc/loadavg: 0.93 0.98 0.99 2/89 17380 /proc/meminfo: memFree=1554896/2055920 swapFree=4146224/4192956 [pid=17368] ppid=17366 vsize=1786176 CPUtime=2.07 /proc/17368/stat : 17368 (java) S 17366 17368 16748 0 -1 0 19356 0 1 0 197 10 0 0 18 0 12 0 105038112 1829044224 17775 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17368/statm: 446544 17777 1304 9 0 444156 0 [pid=17368/tid=17370] ppid=17366 vsize=1786176 CPUtime=1.04 /proc/17368/task/17370/stat : 17370 (java) R 17366 17368 16748 0 -1 64 15784 0 1 0 96 8 0 0 18 0 12 0 105038114 1829044224 17778 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109652264 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17371] ppid=17366 vsize=1786176 CPUtime=0 /proc/17368/task/17371/stat : 17371 (java) S 17366 17368 16748 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 105038115 1829044224 17779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17372] ppid=17366 vsize=1786176 CPUtime=0 /proc/17368/task/17372/stat : 17372 (java) S 17366 17368 16748 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 105038115 1829044224 17781 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17368/tid=17373] ppid=17366 vsize=1786176 CPUtime=0 /proc/17368/task/17373/stat : 17373 (java) S 17366 17368 16748 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 105038118 1829044224 17782 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17374] ppid=17366 vsize=1786176 CPUtime=0 /proc/17368/task/17374/stat : 17374 (java) S 17366 17368 16748 0 -1 64 11 0 0 0 0 0 0 0 20 0 12 0 105038118 1829044224 17783 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17375] ppid=17366 vsize=1786176 CPUtime=0 /proc/17368/task/17375/stat : 17375 (java) S 17366 17368 16748 0 -1 64 4 0 0 0 0 0 0 0 21 0 12 0 105038118 1829044224 17785 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17376] ppid=17366 vsize=1786176 CPUtime=0 /proc/17368/task/17376/stat : 17376 (java) S 17366 17368 16748 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 105038122 1829044224 17786 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17377] ppid=17366 vsize=1786176 CPUtime=0.54 /proc/17368/task/17377/stat : 17377 (java) S 17366 17368 16748 0 -1 64 1478 0 0 0 54 0 0 0 16 0 12 0 105038122 1829044224 17787 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17368/tid=17378] ppid=17366 vsize=1786176 CPUtime=0.46 /proc/17368/task/17378/stat : 17378 (java) S 17366 17368 16748 0 -1 64 1378 0 0 0 46 0 0 0 16 0 12 0 105038122 1829044224 17788 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17368/tid=17379] ppid=17366 vsize=1786176 CPUtime=0 /proc/17368/task/17379/stat : 17379 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 105038122 1829044224 17790 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17380] ppid=17366 vsize=1786176 CPUtime=0 /proc/17368/task/17380/stat : 17380 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 105038122 1829044224 17791 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.07 Current children cumulated vsize (KiB) 1786176 [startup+3.10234 s] /proc/loadavg: 0.93 0.98 0.99 2/89 17380 /proc/meminfo: memFree=1459728/2055920 swapFree=4146224/4192956 [pid=17368] ppid=17366 vsize=1793288 CPUtime=4.2 /proc/17368/stat : 17368 (java) S 17366 17368 16748 0 -1 0 46814 0 1 0 396 24 0 0 18 0 12 0 105038112 1836326912 44223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17368/statm: 448322 44223 1313 9 0 445934 0 [pid=17368/tid=17370] ppid=17366 vsize=1793288 CPUtime=2.48 /proc/17368/task/17370/stat : 17370 (java) R 17366 17368 16748 0 -1 64 37677 0 1 0 229 19 0 0 21 0 12 0 105038114 1836326912 44223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109486229 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17371] ppid=17366 vsize=1793288 CPUtime=0.06 /proc/17368/task/17371/stat : 17371 (java) S 17366 17368 16748 0 -1 64 1425 0 0 0 5 1 0 0 17 0 12 0 105038115 1836326912 44223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17372] ppid=17366 vsize=1793288 CPUtime=0.05 /proc/17368/task/17372/stat : 17372 (java) S 17366 17368 16748 0 -1 64 1523 0 0 0 5 0 0 0 16 0 12 0 105038115 1836326912 44223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17368/tid=17373] ppid=17366 vsize=1793288 CPUtime=0 /proc/17368/task/17373/stat : 17373 (java) S 17366 17368 16748 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 105038118 1836326912 44223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=17368/tid=17374] ppid=17366 vsize=1793288 CPUtime=0 /proc/17368/task/17374/stat : 17374 (java) S 17366 17368 16748 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 105038118 1836326912 44223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17368/tid=17375] ppid=17366 vsize=1793288 CPUtime=0 /proc/17368/task/17375/stat : 17375 (java) S 17366 17368 16748 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 105038118 1836326912 44223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17368/tid=17376] ppid=17366 vsize=1793288 CPUtime=0 /proc/17368/task/17376/stat : 17376 (java) S 17366 17368 16748 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 105038122 1836326912 44223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17377] ppid=17366 vsize=1793288 CPUtime=0.66 /proc/17368/task/17377/stat : 17377 (java) S 17366 17368 16748 0 -1 64 1486 0 0 0 66 0 0 0 16 0 12 0 105038122 1836326912 44223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17378] ppid=17366 vsize=1793288 CPUtime=0.89 /proc/17368/task/17378/stat : 17378 (java) R 17366 17368 16748 0 -1 64 3979 0 0 0 88 1 0 0 18 0 12 0 105038122 1836326912 44223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 101901665 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17368/tid=17379] ppid=17366 vsize=1793288 CPUtime=0 /proc/17368/task/17379/stat : 17379 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 105038122 1836326912 44223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17380] ppid=17366 vsize=1793288 CPUtime=0 /proc/17368/task/17380/stat : 17380 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 105038122 1836326912 44223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.2 Current children cumulated vsize (KiB) 1793288 [startup+6.30273 s] /proc/loadavg: 0.93 0.98 0.99 3/90 17384 /proc/meminfo: memFree=1387776/2055920 swapFree=4146224/4192956 [pid=17368] ppid=17366 vsize=1795244 CPUtime=8.42 /proc/17368/stat : 17368 (java) S 17366 17368 16748 0 -1 0 61575 0 1 0 813 29 0 0 18 0 13 0 105038112 1838329856 54034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17368/statm: 448811 54034 1329 9 0 446423 0 [pid=17368/tid=17370] ppid=17366 vsize=1795244 CPUtime=4.98 /proc/17368/task/17370/stat : 17370 (java) R 17366 17368 16748 0 -1 64 37724 0 1 0 479 19 0 0 20 0 13 0 105038114 1838329856 54034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109806370 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17368/tid=17371] ppid=17366 vsize=1795244 CPUtime=0.26 /proc/17368/task/17371/stat : 17371 (java) S 17366 17368 16748 0 -1 64 6806 0 0 0 24 2 0 0 16 0 13 0 105038115 1838329856 54034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17372] ppid=17366 vsize=1795244 CPUtime=0.26 /proc/17368/task/17372/stat : 17372 (java) S 17366 17368 16748 0 -1 64 5323 0 0 0 25 1 0 0 17 0 13 0 105038115 1838329856 54034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17368/tid=17373] ppid=17366 vsize=1795244 CPUtime=0 /proc/17368/task/17373/stat : 17373 (java) S 17366 17368 16748 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 105038118 1838329856 54034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17374] ppid=17366 vsize=1795244 CPUtime=0 /proc/17368/task/17374/stat : 17374 (java) S 17366 17368 16748 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 105038118 1838329856 54034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17375] ppid=17366 vsize=1795244 CPUtime=0 /proc/17368/task/17375/stat : 17375 (java) S 17366 17368 16748 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 105038118 1838329856 54034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17376] ppid=17366 vsize=1795244 CPUtime=0 /proc/17368/task/17376/stat : 17376 (java) S 17366 17368 16748 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 105038122 1838329856 54034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17377] ppid=17366 vsize=1795244 CPUtime=1.21 /proc/17368/task/17377/stat : 17377 (java) S 17366 17368 16748 0 -1 64 3787 0 0 0 120 1 0 0 16 0 13 0 105038122 1838329856 54034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17378] ppid=17366 vsize=1795244 CPUtime=1.65 /proc/17368/task/17378/stat : 17378 (java) S 17366 17368 16748 0 -1 64 7201 0 0 0 163 2 0 0 15 0 13 0 105038122 1838329856 54034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17379] ppid=17366 vsize=1795244 CPUtime=0 /proc/17368/task/17379/stat : 17379 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 105038122 1838329856 54034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17380] ppid=17366 vsize=1795244 CPUtime=0 /proc/17368/task/17380/stat : 17380 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 105038122 1838329856 54034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 8.42 Current children cumulated vsize (KiB) 1795244 [startup+12.7025 s] /proc/loadavg: 0.94 0.98 0.99 2/90 17385 /proc/meminfo: memFree=1354488/2055920 swapFree=4146224/4192956 [pid=17368] ppid=17366 vsize=1793592 CPUtime=15.46 /proc/17368/stat : 17368 (java) S 17366 17368 16748 0 -1 0 68762 0 1 0 1514 32 0 0 18 0 13 0 105038112 1836638208 59481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17368/statm: 448398 59481 1329 9 0 446010 0 [pid=17368/tid=17370] ppid=17366 vsize=1793592 CPUtime=10.72 /proc/17368/task/17370/stat : 17370 (java) R 17366 17368 16748 0 -1 64 37731 0 1 0 1052 20 0 0 25 0 13 0 105038114 1836638208 59481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109821428 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17371] ppid=17366 vsize=1793592 CPUtime=0.92 /proc/17368/task/17371/stat : 17371 (java) S 17366 17368 16748 0 -1 64 11085 0 0 0 88 4 0 0 16 0 13 0 105038115 1836638208 59481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17368/tid=17372] ppid=17366 vsize=1793592 CPUtime=0.91 /proc/17368/task/17372/stat : 17372 (java) S 17366 17368 16748 0 -1 64 8224 0 0 0 89 2 0 0 16 0 13 0 105038115 1836638208 59481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17373] ppid=17366 vsize=1793592 CPUtime=0 /proc/17368/task/17373/stat : 17373 (java) S 17366 17368 16748 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 105038118 1836638208 59481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17374] ppid=17366 vsize=1793592 CPUtime=0 /proc/17368/task/17374/stat : 17374 (java) S 17366 17368 16748 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 105038118 1836638208 59481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17375] ppid=17366 vsize=1793592 CPUtime=0 /proc/17368/task/17375/stat : 17375 (java) S 17366 17368 16748 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 105038118 1836638208 59481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17376] ppid=17366 vsize=1793592 CPUtime=0 /proc/17368/task/17376/stat : 17376 (java) S 17366 17368 16748 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 105038122 1836638208 59481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17377] ppid=17366 vsize=1793592 CPUtime=1.21 /proc/17368/task/17377/stat : 17377 (java) S 17366 17368 16748 0 -1 64 3787 0 0 0 120 1 0 0 17 0 13 0 105038122 1836638208 59481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17378] ppid=17366 vsize=1793592 CPUtime=1.65 /proc/17368/task/17378/stat : 17378 (java) S 17366 17368 16748 0 -1 64 7201 0 0 0 163 2 0 0 16 0 13 0 105038122 1836638208 59481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17379] ppid=17366 vsize=1793592 CPUtime=0 /proc/17368/task/17379/stat : 17379 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 105038122 1836638208 59481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17380] ppid=17366 vsize=1793592 CPUtime=0 /proc/17368/task/17380/stat : 17380 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 105038122 1836638208 59481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17385] ppid=17366 vsize=1793592 CPUtime=0 /proc/17368/task/17385/stat : 17385 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 105038696 1836638208 59481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 15.46 Current children cumulated vsize (KiB) 1793592 [startup+25.503 s] /proc/loadavg: 0.95 0.98 0.99 2/90 17388 /proc/meminfo: memFree=1347808/2055920 swapFree=4146224/4192956 [pid=17368] ppid=17366 vsize=1793592 CPUtime=28.67 /proc/17368/stat : 17368 (java) S 17366 17368 16748 0 -1 0 71372 0 1 0 2834 33 0 0 18 0 13 0 105038112 1836638208 60868 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17368/statm: 448398 60868 1329 9 0 446010 0 [pid=17368/tid=17370] ppid=17366 vsize=1793592 CPUtime=23.19 /proc/17368/task/17370/stat : 17370 (java) R 17366 17368 16748 0 -1 64 37747 0 1 0 2299 20 0 0 25 0 13 0 105038114 1836638208 60868 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109675105 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17371] ppid=17366 vsize=1793592 CPUtime=1.21 /proc/17368/task/17371/stat : 17371 (java) S 17366 17368 16748 0 -1 64 12045 0 0 0 116 5 0 0 16 0 13 0 105038115 1836638208 60868 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17368/tid=17372] ppid=17366 vsize=1793592 CPUtime=1.19 /proc/17368/task/17372/stat : 17372 (java) S 17366 17368 16748 0 -1 64 9845 0 0 0 116 3 0 0 16 0 13 0 105038115 1836638208 60868 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17373] ppid=17366 vsize=1793592 CPUtime=0 /proc/17368/task/17373/stat : 17373 (java) S 17366 17368 16748 0 -1 64 13 0 0 0 0 0 0 0 16 0 13 0 105038118 1836638208 60868 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=17368/tid=17374] ppid=17366 vsize=1793592 CPUtime=0 /proc/17368/task/17374/stat : 17374 (java) S 17366 17368 16748 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 105038118 1836638208 60868 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17375] ppid=17366 vsize=1793592 CPUtime=0 /proc/17368/task/17375/stat : 17375 (java) S 17366 17368 16748 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 105038118 1836638208 60868 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=17368/tid=17373] ppid=17366 vsize=1793592 CPUtime=0.24 /proc/17368/task/17373/stat : 17373 (java) S 17366 17368 16748 0 -1 64 313 0 0 0 10 14 0 0 16 0 13 0 105038118 1836638208 213642 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=17368/tid=17374] ppid=17366 vsize=1793592 CPUtime=0 /proc/17368/task/17374/stat : 17374 (java) S 17366 17368 16748 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 105038118 1836638208 213642 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17375] ppid=17366 vsize=1793592 CPUtime=0 /proc/17368/task/17375/stat : 17375 (java) S 17366 17368 16748 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 105038118 1836638208 213642 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17376] ppid=17366 vsize=1793592 CPUtime=0 /proc/17368/task/17376/stat : 17376 (java) S 17366 17368 16748 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 105038122 1836638208 213642 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17377] ppid=17366 vsize=1793592 CPUtime=1.28 /proc/17368/task/17377/stat : 17377 (java) S 17366 17368 16748 0 -1 64 3787 0 0 0 127 1 0 0 16 0 13 0 105038122 1836638208 213642 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17368/tid=17378] ppid=17366 vsize=1793592 CPUtime=1.79 /proc/17368/task/17378/stat : 17378 (java) S 17366 17368 16748 0 -1 64 7208 0 0 0 177 2 0 0 16 0 13 0 105038122 1836638208 213642 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17368/tid=17379] ppid=17366 vsize=1793592 CPUtime=0 /proc/17368/task/17379/stat : 17379 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 105038122 1836638208 213642 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17380] ppid=17366 vsize=1793592 CPUtime=0 /proc/17368/task/17380/stat : 17380 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 105038122 1836638208 213642 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17394] ppid=17366 vsize=1793592 CPUtime=0 /proc/17368/task/17394/stat : 17394 (java) S 17366 17368 16748 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 105079877 1836638208 213642 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1619.33 Current children cumulated vsize (KiB) 1793592 [startup+1662.3 s] /proc/loadavg: 1.06 1.02 1.00 2/90 17396 /proc/meminfo: memFree=730416/2055920 swapFree=4146224/4192956 [pid=17368] ppid=17366 vsize=1793592 CPUtime=1679.6 /proc/17368/stat : 17368 (java) S 17366 17368 16748 0 -1 0 359917 0 1 0 167787 173 0 0 18 0 13 0 105038112 1836638208 214803 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17368/statm: 448398 214803 1329 9 0 446010 0 [pid=17368/tid=17370] ppid=17366 vsize=1793592 CPUtime=1643.7 /proc/17368/task/17370/stat : 17370 (java) R 17366 17368 16748 0 -1 64 101363 0 1 0 164323 47 0 0 25 0 13 0 105038114 1836638208 214803 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109816776 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17371] ppid=17366 vsize=1793592 CPUtime=16.27 /proc/17368/task/17371/stat : 17371 (java) S 17366 17368 16748 0 -1 64 125135 0 0 0 1574 53 0 0 16 0 13 0 105038115 1836638208 214803 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17368/tid=17372] ppid=17366 vsize=1793592 CPUtime=16.26 /proc/17368/task/17372/stat : 17372 (java) S 17366 17368 16748 0 -1 64 121379 0 0 0 1573 53 0 0 16 0 13 0 105038115 1836638208 214803 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17373] ppid=17366 vsize=1793592 CPUtime=0.24 /proc/17368/task/17373/stat : 17373 (java) S 17366 17368 16748 0 -1 64 313 0 0 0 10 14 0 0 16 0 13 0 105038118 1836638208 214803 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17374] ppid=17366 vsize=1793592 CPUtime=0 /proc/17368/task/17374/stat : 17374 (java) S 17366 17368 16748 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 105038118 1836638208 214803 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17375] ppid=17366 vsize=1793592 CPUtime=0 /proc/17368/task/17375/stat : 17375 (java) S 17366 17368 16748 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 105038118 1836638208 214803 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17376] ppid=17366 vsize=1793592 CPUtime=0 /proc/17368/task/17376/stat : 17376 (java) S 17366 17368 16748 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 105038122 1836638208 214803 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17377] ppid=17366 vsize=1793592 CPUtime=1.28 /proc/17368/task/17377/stat : 17377 (java) S 17366 17368 16748 0 -1 64 3787 0 0 0 127 1 0 0 16 0 13 0 105038122 1836638208 214803 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17368/tid=17378] ppid=17366 vsize=1793592 CPUtime=1.79 /proc/17368/task/17378/stat : 17378 (java) S 17366 17368 16748 0 -1 64 7208 0 0 0 177 2 0 0 16 0 13 0 105038122 1836638208 214803 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17368/tid=17379] ppid=17366 vsize=1793592 CPUtime=0 /proc/17368/task/17379/stat : 17379 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 105038122 1836638208 214803 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17380] ppid=17366 vsize=1793592 CPUtime=0 /proc/17368/task/17380/stat : 17380 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 105038122 1836638208 214803 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17394] ppid=17366 vsize=1793592 CPUtime=0 /proc/17368/task/17394/stat : 17394 (java) S 17366 17368 16748 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 105079877 1836638208 214803 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1679.6 Current children cumulated vsize (KiB) 1793592 [startup+1722.3 s] /proc/loadavg: 1.02 1.01 1.00 2/90 17396 /proc/meminfo: memFree=704240/2055920 swapFree=4146224/4192956 [pid=17368] ppid=17366 vsize=1793592 CPUtime=1740.11 /proc/17368/stat : 17368 (java) S 17366 17368 16748 0 -1 0 369959 0 1 0 173833 178 0 0 18 0 13 0 105038112 1836638208 221347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17368/statm: 448398 221347 1329 9 0 446010 0 [pid=17368/tid=17370] ppid=17366 vsize=1793592 CPUtime=1703.11 /proc/17368/task/17370/stat : 17370 (java) R 17366 17368 16748 0 -1 64 105411 0 1 0 170263 48 0 0 25 0 13 0 105038114 1836638208 221347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109890789 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17371] ppid=17366 vsize=1793592 CPUtime=16.8 /proc/17368/task/17371/stat : 17371 (java) S 17366 17368 16748 0 -1 64 127424 0 0 0 1626 54 0 0 17 0 13 0 105038115 1836638208 221347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17368/tid=17372] ppid=17366 vsize=1793592 CPUtime=16.81 /proc/17368/task/17372/stat : 17372 (java) S 17366 17368 16748 0 -1 64 125071 0 0 0 1626 55 0 0 16 0 13 0 105038115 1836638208 221347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17373] ppid=17366 vsize=1793592 CPUtime=0.25 /proc/17368/task/17373/stat : 17373 (java) S 17366 17368 16748 0 -1 64 326 0 0 0 10 15 0 0 16 0 13 0 105038118 1836638208 221347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=17368/tid=17374] ppid=17366 vsize=1793592 CPUtime=0 /proc/17368/task/17374/stat : 17374 (java) S 17366 17368 16748 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 105038118 1836638208 221347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17375] ppid=17366 vsize=1793592 CPUtime=0 /proc/17368/task/17375/stat : 17375 (java) S 17366 17368 16748 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 105038118 1836638208 221347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17376] ppid=17366 vsize=1793592 CPUtime=0 /proc/17368/task/17376/stat : 17376 (java) S 17366 17368 16748 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 105038122 1836638208 221347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17377] ppid=17366 vsize=1793592 CPUtime=1.28 /proc/17368/task/17377/stat : 17377 (java) S 17366 17368 16748 0 -1 64 3787 0 0 0 127 1 0 0 16 0 13 0 105038122 1836638208 221347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17368/tid=17378] ppid=17366 vsize=1793592 CPUtime=1.79 /proc/17368/task/17378/stat : 17378 (java) S 17366 17368 16748 0 -1 64 7208 0 0 0 177 2 0 0 16 0 13 0 105038122 1836638208 221347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17368/tid=17379] ppid=17366 vsize=1793592 CPUtime=0 /proc/17368/task/17379/stat : 17379 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 105038122 1836638208 221347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17380] ppid=17366 vsize=1793592 CPUtime=0 /proc/17368/task/17380/stat : 17380 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 105038122 1836638208 221347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17394] ppid=17366 vsize=1793592 CPUtime=0 /proc/17368/task/17394/stat : 17394 (java) S 17366 17368 16748 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 105079877 1836638208 221347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1740.11 Current children cumulated vsize (KiB) 1793592 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1781.7 s] /proc/loadavg: 1.01 1.00 1.00 2/90 17396 /proc/meminfo: memFree=687152/2055920 swapFree=4146224/4192956 [pid=17368] ppid=17366 vsize=1793592 CPUtime=1800.05 /proc/17368/stat : 17368 (java) S 17366 17368 16748 0 -1 0 378254 0 1 0 179824 181 0 0 18 0 13 0 105038112 1836638208 225632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17368/statm: 448398 225632 1329 9 0 446010 0 [pid=17368/tid=17370] ppid=17366 vsize=1793592 CPUtime=1761.9 /proc/17368/task/17370/stat : 17370 (java) R 17366 17368 16748 0 -1 64 105716 0 1 0 176141 49 0 0 25 0 13 0 105038114 1836638208 225632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109904478 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17371] ppid=17366 vsize=1793592 CPUtime=17.38 /proc/17368/task/17371/stat : 17371 (java) S 17366 17368 16748 0 -1 64 130672 0 0 0 1683 55 0 0 16 0 13 0 105038115 1836638208 225632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17368/tid=17372] ppid=17366 vsize=1793592 CPUtime=17.38 /proc/17368/task/17372/stat : 17372 (java) S 17366 17368 16748 0 -1 64 129784 0 0 0 1682 56 0 0 16 0 13 0 105038115 1836638208 225632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17373] ppid=17366 vsize=1793592 CPUtime=0.26 /proc/17368/task/17373/stat : 17373 (java) S 17366 17368 16748 0 -1 64 355 0 0 0 11 15 0 0 16 0 13 0 105038118 1836638208 225632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17374] ppid=17366 vsize=1793592 CPUtime=0 /proc/17368/task/17374/stat : 17374 (java) S 17366 17368 16748 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 105038118 1836638208 225632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17375] ppid=17366 vsize=1793592 CPUtime=0 /proc/17368/task/17375/stat : 17375 (java) S 17366 17368 16748 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 105038118 1836638208 225632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17376] ppid=17366 vsize=1793592 CPUtime=0 /proc/17368/task/17376/stat : 17376 (java) S 17366 17368 16748 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 105038122 1836638208 225632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17377] ppid=17366 vsize=1793592 CPUtime=1.28 /proc/17368/task/17377/stat : 17377 (java) S 17366 17368 16748 0 -1 64 3787 0 0 0 127 1 0 0 16 0 13 0 105038122 1836638208 225632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17368/tid=17378] ppid=17366 vsize=1793592 CPUtime=1.79 /proc/17368/task/17378/stat : 17378 (java) S 17366 17368 16748 0 -1 64 7208 0 0 0 177 2 0 0 16 0 13 0 105038122 1836638208 225632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17368/tid=17379] ppid=17366 vsize=1793592 CPUtime=0 /proc/17368/task/17379/stat : 17379 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 105038122 1836638208 225632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17380] ppid=17366 vsize=1793592 CPUtime=0 /proc/17368/task/17380/stat : 17380 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 105038122 1836638208 225632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17394] ppid=17366 vsize=1793592 CPUtime=0 /proc/17368/task/17394/stat : 17394 (java) S 17366 17368 16748 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 105079877 1836638208 225632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1793592 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1781.81 s] /proc/loadavg: 1.01 1.00 1.00 2/90 17396 /proc/meminfo: memFree=687152/2055920 swapFree=4146224/4192956 [pid=17368] ppid=17366 vsize=1794240 CPUtime=1800.21 /proc/17368/stat : 17368 (java) S 17366 17368 16748 0 -1 0 378272 0 1 0 179840 181 0 0 16 0 14 0 105038112 1837301760 225650 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17368/statm: 448560 225650 1329 9 0 446172 0 [pid=17368/tid=17370] ppid=17366 vsize=1794240 CPUtime=1762.01 /proc/17368/task/17370/stat : 17370 (java) R 17366 17368 16748 0 -1 64 105716 0 1 0 176152 49 0 0 25 0 14 0 105038114 1837301760 225650 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109816776 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17371] ppid=17366 vsize=1794240 CPUtime=17.38 /proc/17368/task/17371/stat : 17371 (java) S 17366 17368 16748 0 -1 64 130672 0 0 0 1683 55 0 0 16 0 14 0 105038115 1837301760 225650 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17368/tid=17372] ppid=17366 vsize=1794240 CPUtime=17.38 /proc/17368/task/17372/stat : 17372 (java) S 17366 17368 16748 0 -1 64 129784 0 0 0 1682 56 0 0 16 0 14 0 105038115 1837301760 225650 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17373] ppid=17366 vsize=1794240 CPUtime=0.26 /proc/17368/task/17373/stat : 17373 (java) S 17366 17368 16748 0 -1 64 355 0 0 0 11 15 0 0 16 0 14 0 105038118 1837301760 225650 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17374] ppid=17366 vsize=1794240 CPUtime=0 /proc/17368/task/17374/stat : 17374 (java) S 17366 17368 16748 0 -1 64 11 0 0 0 0 0 0 0 16 0 14 0 105038118 1837301760 225650 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17375] ppid=17366 vsize=1794240 CPUtime=0 /proc/17368/task/17375/stat : 17375 (java) S 17366 17368 16748 0 -1 64 6 0 0 0 0 0 0 0 16 0 14 0 105038118 1837301760 225650 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17376] ppid=17366 vsize=1794240 CPUtime=0 /proc/17368/task/17376/stat : 17376 (java) S 17366 17368 16748 0 -1 64 5 0 0 0 0 0 0 0 18 0 14 0 105038122 1837301760 225650 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17368/tid=17377] ppid=17366 vsize=1794240 CPUtime=1.31 /proc/17368/task/17377/stat : 17377 (java) S 17366 17368 16748 0 -1 64 3787 0 0 0 130 1 0 0 16 0 14 0 105038122 1837301760 225650 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17368/tid=17378] ppid=17366 vsize=1794240 CPUtime=1.8 /proc/17368/task/17378/stat : 17378 (java) S 17366 17368 16748 0 -1 64 7208 0 0 0 178 2 0 0 16 0 14 0 105038122 1837301760 225650 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17368/tid=17379] ppid=17366 vsize=1794240 CPUtime=0 /proc/17368/task/17379/stat : 17379 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 23 0 14 0 105038122 1837301760 225650 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17380] ppid=17366 vsize=1794240 CPUtime=0 /proc/17368/task/17380/stat : 17380 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 15 0 14 0 105038122 1837301760 225650 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17368/tid=17394] ppid=17366 vsize=1794240 CPUtime=0 /proc/17368/task/17394/stat : 17394 (java) S 17366 17368 16748 0 -1 64 1 0 0 0 0 0 0 0 17 0 14 0 105079877 1837301760 225650 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 1794240 [startup+1781.9 s] /proc/loadavg: 1.01 1.00 1.00 2/80 17399 /proc/meminfo: memFree=1219880/2055920 swapFree=4146224/4192956 [pid=17368] ppid=17366 vsize=0 CPUtime=1800.29 /proc/17368/stat : 17368 (java) Z 17366 17368 16748 0 -1 1036 378272 0 1 0 179840 189 0 0 15 0 2 0 105038112 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17368/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.29 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1781.96 CPU time (s): 1800.36 CPU user time (s): 1798.41 CPU system time (s): 1.9507 CPU usage (%): 101.032 Max. virtual memory (cumulated for all children) (KiB): 1797008 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.41 system time used= 1.9507 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 378272 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= 42892 involuntary context switches= 56811 runsolver used 2.21566 second user time and 5.51516 second system time The end
Begin job on node11 on Sun Apr 15 12:24:52 UTC 2007 IDJOB= 352717 IDBENCH= 2011 IDSOLVER= 159 FILE ID= node11/352717-1176639892 PBS_JOBID= 4556871 Free space on /tmp= 66464 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data10_3.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/352717-1176639892/sat4jPseudoResolution.jar /tmp/evaluation/352717-1176639892/instance-352717-1176639892.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-352717-1176639892 -o ROOT/results/node11/solver-352717-1176639892 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/352717-1176639892/sat4jPseudoResolution.jar /tmp/evaluation/352717-1176639892/instance-352717-1176639892.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= dccfffd22c38fcd3c497d688dab4b7a4 RANDOM SEED= 186904442 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node11.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.235 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.235 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: 1587720 kB Buffers: 55508 kB Cached: 339256 kB SwapCached: 15684 kB Active: 192104 kB Inactive: 229148 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1587720 kB SwapTotal: 4192956 kB SwapFree: 4146224 kB Dirty: 6580 kB Writeback: 0 kB Mapped: 29952 kB Slab: 32396 kB Committed_AS: 5596828 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= 66464 MiB End job on node11 on Sun Apr 15 12:54:36 UTC 2007