Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J Pseudo Resolution 2.1.1 | SAT (TO) | 4102 | 1800.73 | 1796.79 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-p2756.opb |
MD5SUM | 54b9b4de78a7992fd69d0caeed32daef |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3124 |
Best CPU time to get the best result obtained on this benchmark | 4.71528 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3695 |
Optimality of the best value was proved | NO |
Number of variables | 2756 |
Total number of constraints | 749 |
Number of constraints which are clauses | 132 |
Number of constraints which are cardinality constraints (but not clauses) | 220 |
Number of constraints which are nor clauses,nor cardinality constraints | 397 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 546 |
Number of terms in the objective function | 2166 |
Biggest coefficient in the objective function | 11000 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 321831 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 11000 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 321831 |
Number of bits of the biggest sum of numbers | 19 |
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-2008 Daniel Le Berre 0.08/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.14 c See www.sat4j.org for details. 0.08/0.15 c version 2.1.1.v20090612 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0_12 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 1342000320 0.08/0.15 c Max memory 1344274432 0.08/0.15 c Total memory 1344274432 0.08/0.15 c Number of processors 2 0.22/0.22 c Pseudo Boolean Optimization 0.22/0.22 c --- Begin Solver configuration --- 0.22/0.22 c Stops conflict analysis at the first Unique Implication Point 0.22/0.22 c org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure@3eca90 0.22/0.22 c Learn all clauses as in MiniSAT 0.22/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.22/0.22 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.22/0.22 c Expensive reason simplification 0.22/0.22 c MiniSAT restarts strategy 0.22/0.22 c Memory based learned constraints deletion strategy 0.22/0.22 c timeout=2147483s 0.22/0.22 c DB Simplification allowed=false 0.22/0.22 c --- End Solver configuration --- 0.22/0.22 c solving HOME/instance-1855393-1244874853.opb 0.22/0.22 c reading problem ... 1.32/0.83 c ... done. Wall clock time 0.613s. 1.32/0.83 c #vars 2756 1.32/0.83 c #constraints 764 1.32/0.83 c constraints type 1.32/0.83 c org.sat4j.minisat.constraints.card.MinWatchCard => 220 1.32/0.83 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 132 1.32/0.83 c org.sat4j.pb.constraints.pb.MaxWatchPb => 397 2.92/1.63 c SATISFIABLE 2.92/1.63 c OPTIMIZING... 2.92/1.63 c Got one! Elapsed wall clock time (in seconds):1.417 2.92/1.63 o 4547 3.48/1.98 c Got one! Elapsed wall clock time (in seconds):1.766 3.48/1.98 o 4546 5.50/3.76 c Got one! Elapsed wall clock time (in seconds):3.54 5.50/3.76 o 4541 5.62/3.81 c Got one! Elapsed wall clock time (in seconds):3.595 5.62/3.81 o 4540 5.62/3.85 c Got one! Elapsed wall clock time (in seconds):3.636 5.62/3.85 o 4539 5.62/3.88 c Got one! Elapsed wall clock time (in seconds):3.665 5.62/3.88 o 4152 5.77/3.91 c Got one! Elapsed wall clock time (in seconds):3.694 5.77/3.91 o 4148 5.77/3.95 c Got one! Elapsed wall clock time (in seconds):3.736 5.77/3.95 o 4147 5.77/3.98 c Got one! Elapsed wall clock time (in seconds):3.765 5.77/3.98 o 4143 6.66/4.71 c Got one! Elapsed wall clock time (in seconds):4.491 6.66/4.71 o 4142 53.24/51.23 c Got one! Elapsed wall clock time (in seconds):51.014 53.24/51.23 o 4141 62.17/60.12 c Got one! Elapsed wall clock time (in seconds):59.902 62.17/60.12 o 4140 88.34/86.23 c Got one! Elapsed wall clock time (in seconds):86.015 88.34/86.23 o 4139 549.13/546.87 c Got one! Elapsed wall clock time (in seconds):546.651 549.13/546.87 o 4138 550.03/547.71 c Got one! Elapsed wall clock time (in seconds):547.497 550.03/547.71 o 4124 799.66/797.16 c Got one! Elapsed wall clock time (in seconds):796.94 799.66/797.16 o 4123 970.03/967.38 c Got one! Elapsed wall clock time (in seconds):967.165 970.03/967.38 o 4122 971.23/968.55 c Got one! Elapsed wall clock time (in seconds):968.339 971.23/968.55 o 4117 974.13/971.43 c Got one! Elapsed wall clock time (in seconds):971.218 974.13/971.43 o 4116 1009.87/1007.13 c Got one! Elapsed wall clock time (in seconds):1006.913 1009.87/1007.13 o 4115 1010.92/1008.16 c Got one! Elapsed wall clock time (in seconds):1007.942 1010.92/1008.16 o 4102 1800.06/1796.41 c starts : 141 1800.06/1796.41 c conflicts : 586316 1800.06/1796.41 c decisions : 908437 1800.06/1796.41 c propagations : 64340465 1800.06/1796.41 c inspects : 407053400 1800.06/1796.41 c learnt literals : 8 1800.06/1796.41 c learnt binary clauses : 11 1800.06/1796.41 c learnt ternary clauses : 16 1800.06/1796.41 c learnt clauses : 586307 1800.06/1796.41 c ignored clauses : 0 1800.06/1796.41 c root simplifications : 0 1800.06/1796.41 c removed literals (reason simplification) : 82954817 1800.06/1796.41 c reason swapping (by a shorter reason) : 0 1800.06/1796.41 c Calls to reduceDB : 0 1800.06/1796.41 c speed (assignments/second) : 81624.57928903177 1800.06/1796.41 c non guided choices 7696 1800.27/1796.58 c learnt constraints type 1800.27/1796.58 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 586348 1800.27/1796.58 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 11 1800.27/1796.58 c constraints type 1800.27/1796.58 c org.sat4j.minisat.constraints.card.MinWatchCard => 220 1800.27/1796.58 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 132 1800.27/1796.58 c org.sat4j.pb.constraints.pb.MaxWatchPb => 398 1800.27/1796.58 s SATISFIABLE 1800.45/1796.67 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 x715 -x716 -x717 -x718 -x719 x720 -x721 -x722 -x723 x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 x1036 x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 x1288 -x1289 x1290 -x1291 -x1292 -x1293 -x1294 x1295 x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 x1514 -x1515 -x1516 -x1517 -x1518 x1519 x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 x1647 -x1648 x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 x1820 -x1821 -x1822 -x1823 -x1824 x1825 -x1826 -x1827 -x1828 -x1829 -x1830 x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 x1879 x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 -x2167 x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 x2245 x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 x2358 -x2359 -x2360 x2361 -x2362 -x2363 x2364 x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 x2437 -x2438 -x2439 -x2440 x2441 -x2442 x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 x2481 x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 x2528 -x2529 x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 x2584 -x2585 x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 x2667 -x2668 -x2669 x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 1800.45/1796.68 c objective function=4102 1800.45/1796.68 c Total wall clock time (in seconds): 1796.46
OK 4102
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1855393-1244874853/watcher-1855393-1244874853 -o /tmp/evaluation-result-1855393-1244874853/solver-1855393-1244874853 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-1855393-1244874853.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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.97 0.99 3/64 9624 /proc/meminfo: memFree=1167408/2055920 swapFree=4192040/4192956 [pid=9624] ppid=9622 vsize=152 CPUtime=0 /proc/9624/stat : 9624 (java6) R 9622 9624 9505 0 -1 0 41 0 0 0 0 0 0 0 20 0 1 0 155086395 155648 26 1992294400 134512640 134550932 4294956176 18446744073709551615 5829412 0 0 4096 0 0 0 0 17 1 0 0 /proc/9624/statm: 38 26 19 9 0 4 0 [startup+0.064386 s] /proc/loadavg: 0.92 0.97 0.99 3/64 9624 /proc/meminfo: memFree=1167408/2055920 swapFree=4192040/4192956 [pid=9624] ppid=9622 vsize=1470220 CPUtime=0.05 /proc/9624/stat : 9624 (java) S 9622 9624 9505 0 -1 0 3310 0 1 0 3 2 0 0 18 0 7 0 155086395 1505505280 3055 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 /proc/9624/statm: 367555 3055 1029 9 0 364906 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1470220 [startup+0.101389 s] /proc/loadavg: 0.92 0.97 0.99 3/64 9624 /proc/meminfo: memFree=1167408/2055920 swapFree=4192040/4192956 [pid=9624] ppid=9622 vsize=1472584 CPUtime=0.08 /proc/9624/stat : 9624 (java) S 9622 9624 9505 0 -1 0 3602 0 1 0 6 2 0 0 18 0 12 0 155086395 1507926016 3345 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9624/statm: 368146 3345 1066 9 0 365494 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1472584 [startup+0.301411 s] /proc/loadavg: 0.92 0.97 0.99 3/64 9624 /proc/meminfo: memFree=1167408/2055920 swapFree=4192040/4192956 [pid=9624] ppid=9622 vsize=1475404 CPUtime=0.35 /proc/9624/stat : 9624 (java) S 9622 9624 9505 0 -1 0 5031 0 1 0 32 3 0 0 18 0 12 0 155086395 1510813696 4768 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9624/statm: 368851 4768 1352 9 0 366194 0 Current children cumulated CPU time (s) 0.35 Current children cumulated vsize (KiB) 1475404 [startup+0.701463 s] /proc/loadavg: 0.92 0.97 0.99 3/64 9624 /proc/meminfo: memFree=1167408/2055920 swapFree=4192040/4192956 [pid=9624] ppid=9622 vsize=1481932 CPUtime=1.11 /proc/9624/stat : 9624 (java) S 9622 9624 9505 0 -1 0 9708 0 1 0 107 4 0 0 18 0 12 0 155086395 1517498368 8760 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9624/statm: 370483 8760 1398 9 0 367826 0 Current children cumulated CPU time (s) 1.11 Current children cumulated vsize (KiB) 1481932 [startup+1.50256 s] /proc/loadavg: 0.92 0.97 0.99 4/77 9637 /proc/meminfo: memFree=1129672/2055920 swapFree=4192040/4192956 [pid=9624] ppid=9622 vsize=1495460 CPUtime=2.71 /proc/9624/stat : 9624 (java) S 9622 9624 9505 0 -1 0 18385 0 1 0 263 8 0 0 18 0 13 0 155086395 1531351040 12739 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9624/statm: 373865 12739 1412 9 0 371208 0 [pid=9624/tid=9626] ppid=9622 vsize=1495460 CPUtime=1.17 /proc/9624/task/9626/stat : 9626 (java) R 9622 9624 9505 0 -1 64 7010 0 1 0 114 3 0 0 20 0 13 0 155086396 1531351040 12739 1992294400 134512640 134550932 4294956016 18446744073709551615 4109164004 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9627] ppid=9622 vsize=1495460 CPUtime=0 /proc/9624/task/9627/stat : 9627 (java) S 9622 9624 9505 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 155086398 1531351040 12739 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9628] ppid=9622 vsize=1495460 CPUtime=0 /proc/9624/task/9628/stat : 9628 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 155086398 1531351040 12739 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9629] ppid=9622 vsize=1495460 CPUtime=0 /proc/9624/task/9629/stat : 9629 (java) S 9622 9624 9505 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 155086399 1531351040 12739 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9630] ppid=9622 vsize=1495460 CPUtime=0 /proc/9624/task/9630/stat : 9630 (java) S 9622 9624 9505 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 155086400 1531351040 12739 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9631] ppid=9622 vsize=1495460 CPUtime=0 /proc/9624/task/9631/stat : 9631 (java) S 9622 9624 9505 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 155086400 1531351040 12739 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9632] ppid=9622 vsize=1495460 CPUtime=0 /proc/9624/task/9632/stat : 9632 (java) S 9622 9624 9505 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155086404 1531351040 12739 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9633] ppid=9622 vsize=1495460 CPUtime=0.81 /proc/9624/task/9633/stat : 9633 (java) R 9622 9624 9505 0 -1 64 5156 0 0 0 79 2 0 0 20 0 13 0 155086404 1531351040 12739 1992294400 134512640 134550932 4294956016 18446744073709551615 102535117 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9634] ppid=9622 vsize=1495460 CPUtime=0.69 /proc/9624/task/9634/stat : 9634 (java) R 9622 9624 9505 0 -1 64 5475 0 0 0 68 1 0 0 19 0 13 0 155086404 1531351040 12739 1992294400 134512640 134550932 4294956016 18446744073709551615 106251492 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9635] ppid=9622 vsize=1495460 CPUtime=0 /proc/9624/task/9635/stat : 9635 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155086404 1531351040 12739 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9636] ppid=9622 vsize=1495460 CPUtime=0 /proc/9624/task/9636/stat : 9636 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 155086404 1531351040 12739 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9637] ppid=9622 vsize=1495460 CPUtime=0 /proc/9624/task/9637/stat : 9637 (java) S 9622 9624 9505 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 155086493 1531351040 12739 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.71 Current children cumulated vsize (KiB) 1495460 [startup+3.10274 s] /proc/loadavg: 0.92 0.97 0.99 4/77 9637 /proc/meminfo: memFree=1114824/2055920 swapFree=4192040/4192956 [pid=9624] ppid=9622 vsize=1493080 CPUtime=4.88 /proc/9624/stat : 9624 (java) S 9622 9624 9505 0 -1 0 22883 0 1 0 478 10 0 0 18 0 13 0 155086395 1528913920 15812 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9624/statm: 373270 15812 1423 9 0 370613 0 [pid=9624/tid=9626] ppid=9622 vsize=1493080 CPUtime=2.5 /proc/9624/task/9626/stat : 9626 (java) R 9622 9624 9505 0 -1 64 10136 0 1 0 246 4 0 0 25 0 13 0 155086396 1528913920 15812 1992294400 134512640 134550932 4294956016 18446744073709551615 4109822990 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9627] ppid=9622 vsize=1493080 CPUtime=0 /proc/9624/task/9627/stat : 9627 (java) S 9622 9624 9505 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 155086398 1528913920 15812 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9628] ppid=9622 vsize=1493080 CPUtime=0 /proc/9624/task/9628/stat : 9628 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 155086398 1528913920 15812 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9629] ppid=9622 vsize=1493080 CPUtime=0 /proc/9624/task/9629/stat : 9629 (java) S 9622 9624 9505 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 155086399 1528913920 15812 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9630] ppid=9622 vsize=1493080 CPUtime=0 /proc/9624/task/9630/stat : 9630 (java) S 9622 9624 9505 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 155086400 1528913920 15812 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9631] ppid=9622 vsize=1493080 CPUtime=0 /proc/9624/task/9631/stat : 9631 (java) S 9622 9624 9505 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 155086400 1528913920 15812 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9632] ppid=9622 vsize=1493080 CPUtime=0 /proc/9624/task/9632/stat : 9632 (java) S 9622 9624 9505 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155086404 1528913920 15812 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9633] ppid=9622 vsize=1493080 CPUtime=1.22 /proc/9624/task/9633/stat : 9633 (java) S 9622 9624 9505 0 -1 64 5919 0 0 0 120 2 0 0 16 0 13 0 155086404 1528913920 15812 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9634] ppid=9622 vsize=1493080 CPUtime=1.13 /proc/9624/task/9634/stat : 9634 (java) S 9622 9624 9505 0 -1 64 6083 0 0 0 111 2 0 0 16 0 13 0 155086404 1528913920 15812 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9635] ppid=9622 vsize=1493080 CPUtime=0 /proc/9624/task/9635/stat : 9635 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155086404 1528913920 15812 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9636] ppid=9622 vsize=1493080 CPUtime=0 /proc/9624/task/9636/stat : 9636 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 155086404 1528913920 15812 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9637] ppid=9622 vsize=1493080 CPUtime=0 /proc/9624/task/9637/stat : 9637 (java) S 9622 9624 9505 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 155086493 1528913920 15812 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.88 Current children cumulated vsize (KiB) 1493080 [startup+6.30111 s] /proc/loadavg: 0.93 0.97 0.99 2/77 9637 /proc/meminfo: memFree=1052552/2055920 swapFree=4192040/4192956 [pid=9624] ppid=9622 vsize=1491840 CPUtime=8.25 /proc/9624/stat : 9624 (java) S 9622 9624 9505 0 -1 0 38734 0 1 0 809 16 0 0 18 0 13 0 155086395 1527644160 30985 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9624/statm: 372960 30985 1423 9 0 370303 0 [pid=9624/tid=9626] ppid=9622 vsize=1491840 CPUtime=5.68 /proc/9624/task/9626/stat : 9626 (java) R 9622 9624 9505 0 -1 64 25681 0 1 0 558 10 0 0 25 0 13 0 155086396 1527644160 30985 1992294400 134512640 134550932 4294956016 18446744073709551615 4109823051 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9627] ppid=9622 vsize=1491840 CPUtime=0 /proc/9624/task/9627/stat : 9627 (java) S 9622 9624 9505 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 155086398 1527644160 30985 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9628] ppid=9622 vsize=1491840 CPUtime=0 /proc/9624/task/9628/stat : 9628 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 155086398 1527644160 30985 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9629] ppid=9622 vsize=1491840 CPUtime=0 /proc/9624/task/9629/stat : 9629 (java) S 9622 9624 9505 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 155086399 1527644160 30985 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9630] ppid=9622 vsize=1491840 CPUtime=0 /proc/9624/task/9630/stat : 9630 (java) S 9622 9624 9505 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 155086400 1527644160 30985 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9631] ppid=9622 vsize=1491840 CPUtime=0 /proc/9624/task/9631/stat : 9631 (java) S 9622 9624 9505 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 155086400 1527644160 30985 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9632] ppid=9622 vsize=1491840 CPUtime=0 /proc/9624/task/9632/stat : 9632 (java) S 9622 9624 9505 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155086404 1527644160 30985 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9633] ppid=9622 vsize=1491840 CPUtime=1.34 /proc/9624/task/9633/stat : 9633 (java) S 9622 9624 9505 0 -1 64 6221 0 0 0 132 2 0 0 16 0 13 0 155086404 1527644160 30985 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9634] ppid=9622 vsize=1491840 CPUtime=1.21 /proc/9624/task/9634/stat : 9634 (java) S 9622 9624 9505 0 -1 64 6087 0 0 0 119 2 0 0 17 0 13 0 155086404 1527644160 30985 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9635] ppid=9622 vsize=1491840 CPUtime=0 /proc/9624/task/9635/stat : 9635 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155086404 1527644160 30985 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9636] ppid=9622 vsize=1491840 CPUtime=0 /proc/9624/task/9636/stat : 9636 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 155086404 1527644160 30985 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9637] ppid=9622 vsize=1491840 CPUtime=0 /proc/9624/task/9637/stat : 9637 (java) S 9622 9624 9505 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 155086493 1527644160 30985 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 8.25 Current children cumulated vsize (KiB) 1491840 [startup+12.7019 s] /proc/loadavg: 0.93 0.97 0.99 2/77 9637 /proc/meminfo: memFree=1030216/2055920 swapFree=4192040/4192956 [pid=9624] ppid=9622 vsize=1491604 CPUtime=14.67 /proc/9624/stat : 9624 (java) S 9622 9624 9505 0 -1 0 43735 0 1 0 1449 18 0 0 18 0 13 0 155086395 1527402496 35927 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9624/statm: 372901 35927 1423 9 0 370244 0 [pid=9624/tid=9626] ppid=9622 vsize=1491604 CPUtime=12.08 /proc/9624/task/9626/stat : 9626 (java) R 9622 9624 9505 0 -1 64 30682 0 1 0 1196 12 0 0 25 0 13 0 155086396 1527402496 35927 1992294400 134512640 134550932 4294956016 18446744073709551615 4109823051 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9627] ppid=9622 vsize=1491604 CPUtime=0 /proc/9624/task/9627/stat : 9627 (java) S 9622 9624 9505 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 155086398 1527402496 35927 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9628] ppid=9622 vsize=1491604 CPUtime=0 /proc/9624/task/9628/stat : 9628 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 155086398 1527402496 35927 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9629] ppid=9622 vsize=1491604 CPUtime=0 /proc/9624/task/9629/stat : 9629 (java) S 9622 9624 9505 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 155086399 1527402496 35927 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9630] ppid=9622 vsize=1491604 CPUtime=0 /proc/9624/task/9630/stat : 9630 (java) S 9622 9624 9505 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 155086400 1527402496 35927 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9631] ppid=9622 vsize=1491604 CPUtime=0 /proc/9624/task/9631/stat : 9631 (java) S 9622 9624 9505 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 155086400 1527402496 35927 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9632] ppid=9622 vsize=1491604 CPUtime=0 /proc/9624/task/9632/stat : 9632 (java) S 9622 9624 9505 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155086404 1527402496 35927 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9633] ppid=9622 vsize=1491604 CPUtime=1.35 /proc/9624/task/9633/stat : 9633 (java) S 9622 9624 9505 0 -1 64 6221 0 0 0 133 2 0 0 15 0 13 0 155086404 1527402496 35927 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9634] ppid=9622 vsize=1491604 CPUtime=1.21 /proc/9624/task/9634/stat : 9634 (java) S 9622 9624 9505 0 -1 64 6087 0 0 0 119 2 0 0 17 0 13 0 155086404 1527402496 35927 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9635] ppid=9622 vsize=1491604 CPUtime=0 /proc/9624/task/9635/stat : 9635 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155086404 1527402496 35927 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9636] ppid=9622 vsize=1491604 CPUtime=0 /proc/9624/task/9636/stat : 9636 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 155086404 1527402496 35927 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9637] ppid=9622 vsize=1491604 CPUtime=0 /proc/9624/task/9637/stat : 9637 (java) S 9622 9624 9505 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 155086493 1527402496 35927 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 14.67 Current children cumulated vsize (KiB) 1491604 [startup+25.5024 s] /proc/loadavg: 0.95 0.97 0.99 2/77 9637 /proc/meminfo: memFree=1022344/2055920 swapFree=4192040/4192956 [pid=9624] ppid=9622 vsize=1491604 CPUtime=27.48 /proc/9624/stat : 9624 (java) S 9622 9624 9505 0 -1 0 45260 0 1 0 2729 19 0 0 18 0 13 0 155086395 1527402496 37430 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9624/statm: 372901 37430 1432 9 0 370244 0 [pid=9624/tid=9626] ppid=9622 vsize=1491604 CPUtime=24.85 /proc/9624/task/9626/stat : 9626 (java) R 9622 9624 9505 0 -1 64 30973 0 1 0 2473 12 0 0 25 0 13 0 155086396 1527402496 37430 1992294400 134512640 134550932 4294956016 18446744073709551615 4109818356 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9627] ppid=9622 vsize=1491604 CPUtime=0.01 /proc/9624/task/9627/stat : 9627 (java) S 9622 9624 9505 0 -1 64 561 0 0 0 1 0 0 0 16 0 13 0 155086398 1527402496 37430 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9628] ppid=9622 vsize=1491604 CPUtime=0 /proc/9624/task/9628/stat : 9628 (java) S 9622 9624 9505 0 -1 64 664 0 0 0 0 0 0 0 16 0 13 0 155086398 1527402496 37430 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9629] ppid=9622 vsize=1491604 CPUtime=0 ################ # More data... # ################ [pid=9624] ppid=9622 vsize=1491128 CPUtime=1725.9 /proc/9624/stat : 9624 (java) S 9622 9624 9505 0 -1 0 159532 0 1 0 172510 80 0 0 18 0 13 0 155086395 1526915072 135448 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9624/statm: 372782 135448 1433 9 0 370125 0 [pid=9624/tid=9626] ppid=9622 vsize=1491128 CPUtime=1718.49 /proc/9624/task/9626/stat : 9626 (java) R 9622 9624 9505 0 -1 64 31094 0 1 0 171834 15 0 0 25 0 13 0 155086396 1526915072 135448 1992294400 134512640 134550932 4294956016 18446744073709551615 4109824020 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9627] ppid=9622 vsize=1491128 CPUtime=2.22 /proc/9624/task/9627/stat : 9627 (java) S 9622 9624 9505 0 -1 64 56140 0 0 0 194 28 0 0 16 0 13 0 155086398 1526915072 135448 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9628] ppid=9622 vsize=1491128 CPUtime=2.29 /proc/9624/task/9628/stat : 9628 (java) S 9622 9624 9505 0 -1 64 59188 0 0 0 201 28 0 0 17 0 13 0 155086398 1526915072 135448 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9629] ppid=9622 vsize=1491128 CPUtime=0.01 /proc/9624/task/9629/stat : 9629 (java) S 9622 9624 9505 0 -1 64 27 0 0 0 1 0 0 0 16 0 13 0 155086399 1526915072 135448 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9630] ppid=9622 vsize=1491128 CPUtime=0 /proc/9624/task/9630/stat : 9630 (java) S 9622 9624 9505 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 155086400 1526915072 135448 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9631] ppid=9622 vsize=1491128 CPUtime=0 /proc/9624/task/9631/stat : 9631 (java) S 9622 9624 9505 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 155086400 1526915072 135448 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9632] ppid=9622 vsize=1491128 CPUtime=0 /proc/9624/task/9632/stat : 9632 (java) S 9622 9624 9505 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155086404 1526915072 135448 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9633] ppid=9622 vsize=1491128 CPUtime=1.41 /proc/9624/task/9633/stat : 9633 (java) S 9622 9624 9505 0 -1 64 6225 0 0 0 139 2 0 0 16 0 13 0 155086404 1526915072 135448 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9634] ppid=9622 vsize=1491128 CPUtime=1.4 /proc/9624/task/9634/stat : 9634 (java) S 9622 9624 9505 0 -1 64 6113 0 0 0 138 2 0 0 16 0 13 0 155086404 1526915072 135448 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9635] ppid=9622 vsize=1491128 CPUtime=0 /proc/9624/task/9635/stat : 9635 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155086404 1526915072 135448 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9636] ppid=9622 vsize=1491128 CPUtime=0 /proc/9624/task/9636/stat : 9636 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 155086404 1526915072 135448 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9637] ppid=9622 vsize=1491128 CPUtime=0 /proc/9624/task/9637/stat : 9637 (java) S 9622 9624 9505 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 155086493 1526915072 135448 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1725.9 Current children cumulated vsize (KiB) 1491128 [startup+1782.3 s] /proc/loadavg: 1.10 1.13 1.17 2/77 9645 /proc/meminfo: memFree=619976/2055920 swapFree=4192040/4192956 [pid=9624] ppid=9622 vsize=1491128 CPUtime=1785.94 /proc/9624/stat : 9624 (java) S 9622 9624 9505 0 -1 0 162128 0 1 0 178513 81 0 0 18 0 13 0 155086395 1526915072 137674 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9624/statm: 372782 137674 1433 9 0 370125 0 [pid=9624/tid=9626] ppid=9622 vsize=1491128 CPUtime=1778.41 /proc/9624/task/9626/stat : 9626 (java) R 9622 9624 9505 0 -1 64 31096 0 1 0 177826 15 0 0 25 0 13 0 155086396 1526915072 137674 1992294400 134512640 134550932 4294956016 18446744073709551615 4109818360 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9627] ppid=9622 vsize=1491128 CPUtime=2.28 /proc/9624/task/9627/stat : 9627 (java) S 9622 9624 9505 0 -1 64 57942 0 0 0 199 29 0 0 17 0 13 0 155086398 1526915072 137674 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9628] ppid=9622 vsize=1491128 CPUtime=2.35 /proc/9624/task/9628/stat : 9628 (java) S 9622 9624 9505 0 -1 64 59980 0 0 0 206 29 0 0 16 0 13 0 155086398 1526915072 137674 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9629] ppid=9622 vsize=1491128 CPUtime=0.01 /proc/9624/task/9629/stat : 9629 (java) S 9622 9624 9505 0 -1 64 27 0 0 0 1 0 0 0 16 0 13 0 155086399 1526915072 137674 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9630] ppid=9622 vsize=1491128 CPUtime=0 /proc/9624/task/9630/stat : 9630 (java) S 9622 9624 9505 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 155086400 1526915072 137674 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9631] ppid=9622 vsize=1491128 CPUtime=0 /proc/9624/task/9631/stat : 9631 (java) S 9622 9624 9505 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 155086400 1526915072 137674 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9632] ppid=9622 vsize=1491128 CPUtime=0 /proc/9624/task/9632/stat : 9632 (java) S 9622 9624 9505 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155086404 1526915072 137674 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9633] ppid=9622 vsize=1491128 CPUtime=1.41 /proc/9624/task/9633/stat : 9633 (java) S 9622 9624 9505 0 -1 64 6225 0 0 0 139 2 0 0 16 0 13 0 155086404 1526915072 137674 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9634] ppid=9622 vsize=1491128 CPUtime=1.4 /proc/9624/task/9634/stat : 9634 (java) S 9622 9624 9505 0 -1 64 6113 0 0 0 138 2 0 0 16 0 13 0 155086404 1526915072 137674 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9635] ppid=9622 vsize=1491128 CPUtime=0 /proc/9624/task/9635/stat : 9635 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155086404 1526915072 137674 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9636] ppid=9622 vsize=1491128 CPUtime=0 /proc/9624/task/9636/stat : 9636 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 155086404 1526915072 137674 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9637] ppid=9622 vsize=1491128 CPUtime=0 /proc/9624/task/9637/stat : 9637 (java) S 9622 9624 9505 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 155086493 1526915072 137674 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1785.94 Current children cumulated vsize (KiB) 1491128 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.4 s] /proc/loadavg: 1.08 1.12 1.17 2/77 9645 /proc/meminfo: memFree=615176/2055920 swapFree=4192040/4192956 [pid=9624] ppid=9622 vsize=1491128 CPUtime=1800.06 /proc/9624/stat : 9624 (java) S 9622 9624 9505 0 -1 0 163443 0 1 0 179925 81 0 0 18 0 13 0 155086395 1526915072 138866 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9624/statm: 372782 138866 1433 9 0 370125 0 [pid=9624/tid=9626] ppid=9622 vsize=1491128 CPUtime=1792.49 /proc/9624/task/9626/stat : 9626 (java) R 9622 9624 9505 0 -1 64 31097 0 1 0 179234 15 0 0 25 0 13 0 155086396 1526915072 138866 1992294400 134512640 134550932 4294956016 18446744073709551615 4109823040 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9627] ppid=9622 vsize=1491128 CPUtime=2.31 /proc/9624/task/9627/stat : 9627 (java) S 9622 9624 9505 0 -1 64 58508 0 0 0 202 29 0 0 17 0 13 0 155086398 1526915072 138866 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9628] ppid=9622 vsize=1491128 CPUtime=2.37 /proc/9624/task/9628/stat : 9628 (java) S 9622 9624 9505 0 -1 64 60728 0 0 0 208 29 0 0 17 0 13 0 155086398 1526915072 138866 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9629] ppid=9622 vsize=1491128 CPUtime=0.01 /proc/9624/task/9629/stat : 9629 (java) S 9622 9624 9505 0 -1 64 27 0 0 0 1 0 0 0 16 0 13 0 155086399 1526915072 138866 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9630] ppid=9622 vsize=1491128 CPUtime=0 /proc/9624/task/9630/stat : 9630 (java) S 9622 9624 9505 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 155086400 1526915072 138866 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9631] ppid=9622 vsize=1491128 CPUtime=0 /proc/9624/task/9631/stat : 9631 (java) S 9622 9624 9505 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 155086400 1526915072 138866 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9632] ppid=9622 vsize=1491128 CPUtime=0 /proc/9624/task/9632/stat : 9632 (java) S 9622 9624 9505 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155086404 1526915072 138866 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9633] ppid=9622 vsize=1491128 CPUtime=1.41 /proc/9624/task/9633/stat : 9633 (java) S 9622 9624 9505 0 -1 64 6225 0 0 0 139 2 0 0 16 0 13 0 155086404 1526915072 138866 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9634] ppid=9622 vsize=1491128 CPUtime=1.4 /proc/9624/task/9634/stat : 9634 (java) S 9622 9624 9505 0 -1 64 6113 0 0 0 138 2 0 0 16 0 13 0 155086404 1526915072 138866 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9635] ppid=9622 vsize=1491128 CPUtime=0 /proc/9624/task/9635/stat : 9635 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155086404 1526915072 138866 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9636] ppid=9622 vsize=1491128 CPUtime=0 /proc/9624/task/9636/stat : 9636 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 155086404 1526915072 138866 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9637] ppid=9622 vsize=1491128 CPUtime=0 /proc/9624/task/9637/stat : 9637 (java) S 9622 9624 9505 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 155086493 1526915072 138866 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1491128 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1796.6 s] /proc/loadavg: 1.08 1.12 1.17 2/77 9645 /proc/meminfo: memFree=615176/2055920 swapFree=4192040/4192956 [pid=9624] ppid=9622 vsize=1491776 CPUtime=1800.45 /proc/9624/stat : 9624 (java) S 9622 9624 9505 0 -1 0 163469 0 1 0 179963 82 0 0 16 0 15 0 155086395 1527578624 138892 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/9624/statm: 372944 138892 1435 9 0 370287 0 [pid=9624/tid=9626] ppid=9622 vsize=1491776 CPUtime=1792.68 /proc/9624/task/9626/stat : 9626 (java) R 9622 9624 9505 0 -1 64 31097 0 1 0 179253 15 0 0 25 0 15 0 155086396 1527578624 138892 1992294400 134512640 134550932 4294956016 18446744073709551615 4109822970 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9627] ppid=9622 vsize=1491776 CPUtime=2.31 /proc/9624/task/9627/stat : 9627 (java) S 9622 9624 9505 0 -1 64 58508 0 0 0 202 29 0 0 17 0 15 0 155086398 1527578624 138892 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9628] ppid=9622 vsize=1491776 CPUtime=2.37 /proc/9624/task/9628/stat : 9628 (java) S 9622 9624 9505 0 -1 64 60728 0 0 0 208 29 0 0 17 0 15 0 155086398 1527578624 138892 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9629] ppid=9622 vsize=1491776 CPUtime=0.01 /proc/9624/task/9629/stat : 9629 (java) S 9622 9624 9505 0 -1 64 27 0 0 0 1 0 0 0 16 0 15 0 155086399 1527578624 138892 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9630] ppid=9622 vsize=1491776 CPUtime=0 /proc/9624/task/9630/stat : 9630 (java) S 9622 9624 9505 0 -1 64 11 0 0 0 0 0 0 0 16 0 15 0 155086400 1527578624 138892 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9631] ppid=9622 vsize=1491776 CPUtime=0 /proc/9624/task/9631/stat : 9631 (java) S 9622 9624 9505 0 -1 64 7 0 0 0 0 0 0 0 16 0 15 0 155086400 1527578624 138892 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9632] ppid=9622 vsize=1491776 CPUtime=0 /proc/9624/task/9632/stat : 9632 (java) S 9622 9624 9505 0 -1 64 5 0 0 0 0 0 0 0 18 0 15 0 155086404 1527578624 138892 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9633] ppid=9622 vsize=1491776 CPUtime=1.41 /proc/9624/task/9633/stat : 9633 (java) S 9622 9624 9505 0 -1 64 6225 0 0 0 139 2 0 0 16 0 15 0 155086404 1527578624 138892 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9634] ppid=9622 vsize=1491776 CPUtime=1.47 /proc/9624/task/9634/stat : 9634 (java) R 9622 9624 9505 0 -1 64 6120 0 0 0 145 2 0 0 16 0 15 0 155086404 1527578624 138892 1992294400 134512640 134550932 4294956016 18446744073709551615 104147243 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9635] ppid=9622 vsize=1491776 CPUtime=0 /proc/9624/task/9635/stat : 9635 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 25 0 15 0 155086404 1527578624 138892 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9636] ppid=9622 vsize=1491776 CPUtime=0 /proc/9624/task/9636/stat : 9636 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 15 0 15 0 155086404 1527578624 138892 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9637] ppid=9622 vsize=1491776 CPUtime=0 /proc/9624/task/9637/stat : 9637 (java) S 9622 9624 9505 0 -1 64 5 0 0 0 0 0 0 0 19 0 15 0 155086493 1527578624 138892 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.45 Current children cumulated vsize (KiB) 1491776 [startup+1796.7 s] /proc/loadavg: 1.08 1.12 1.17 2/77 9645 /proc/meminfo: memFree=615176/2055920 swapFree=4192040/4192956 [pid=9624] ppid=9622 vsize=1491776 CPUtime=1800.63 /proc/9624/stat : 9624 (java) S 9622 9624 9505 0 -1 0 163480 0 1 0 179981 82 0 0 16 0 14 0 155086395 1527578624 138903 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/9624/statm: 372944 138903 1436 9 0 370287 0 [pid=9624/tid=9626] ppid=9622 vsize=1491776 CPUtime=1792.78 /proc/9624/task/9626/stat : 9626 (java) R 9622 9624 9505 0 -1 64 31097 0 1 0 179263 15 0 0 25 0 14 0 155086396 1527578624 138903 1992294400 134512640 134550932 4294956016 18446744073709551615 4109822986 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9627] ppid=9622 vsize=1491776 CPUtime=2.31 /proc/9624/task/9627/stat : 9627 (java) S 9622 9624 9505 0 -1 64 58508 0 0 0 202 29 0 0 17 0 14 0 155086398 1527578624 138903 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9628] ppid=9622 vsize=1491776 CPUtime=2.37 /proc/9624/task/9628/stat : 9628 (java) S 9622 9624 9505 0 -1 64 60728 0 0 0 208 29 0 0 17 0 14 0 155086398 1527578624 138903 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9629] ppid=9622 vsize=1491776 CPUtime=0.01 /proc/9624/task/9629/stat : 9629 (java) S 9622 9624 9505 0 -1 64 27 0 0 0 1 0 0 0 16 0 14 0 155086399 1527578624 138903 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9630] ppid=9622 vsize=1491776 CPUtime=0 /proc/9624/task/9630/stat : 9630 (java) S 9622 9624 9505 0 -1 64 11 0 0 0 0 0 0 0 16 0 14 0 155086400 1527578624 138903 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9631] ppid=9622 vsize=1491776 CPUtime=0 /proc/9624/task/9631/stat : 9631 (java) S 9622 9624 9505 0 -1 64 7 0 0 0 0 0 0 0 16 0 14 0 155086400 1527578624 138903 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9632] ppid=9622 vsize=1491776 CPUtime=0 /proc/9624/task/9632/stat : 9632 (java) S 9622 9624 9505 0 -1 64 5 0 0 0 0 0 0 0 18 0 14 0 155086404 1527578624 138903 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9633] ppid=9622 vsize=1491776 CPUtime=1.41 /proc/9624/task/9633/stat : 9633 (java) S 9622 9624 9505 0 -1 64 6225 0 0 0 139 2 0 0 16 0 14 0 155086404 1527578624 138903 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9634] ppid=9622 vsize=1491776 CPUtime=1.54 /proc/9624/task/9634/stat : 9634 (java) S 9622 9624 9505 0 -1 64 6127 0 0 0 152 2 0 0 16 0 14 0 155086404 1527578624 138903 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9635] ppid=9622 vsize=1491776 CPUtime=0 /proc/9624/task/9635/stat : 9635 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 25 0 14 0 155086404 1527578624 138903 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9624/tid=9636] ppid=9622 vsize=1491776 CPUtime=0 /proc/9624/task/9636/stat : 9636 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 15 0 14 0 155086404 1527578624 138903 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9624/tid=9637] ppid=9622 vsize=1491776 CPUtime=0 /proc/9624/task/9637/stat : 9637 (java) S 9622 9624 9505 0 -1 64 5 0 0 0 0 0 0 0 19 0 14 0 155086493 1527578624 138903 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (KiB) 1491776 Child status: 143 Real time (s): 1796.79 CPU time (s): 1800.73 CPU user time (s): 1799.82 CPU system time (s): 0.905862 CPU usage (%): 100.219 Max. virtual memory (cumulated for all children) (KiB): 1496940 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.82 system time used= 0.905862 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 163480 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= 38430 involuntary context switches= 39386 runsolver used 1.92471 second user time and 4.6303 second system time The end
Begin job on node1 at 2009-06-13 08:34:13 IDJOB=1855393 IDBENCH=1871 IDSOLVER=682 FILE ID=node1/1855393-1244874853 PBS_JOBID= 9354373 Free space on /tmp= 66312 MiB SOLVER NAME= SAT4J Pseudo Resolution 2.1.1 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb COMMAND LINE= java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1855393-1244874853/watcher-1855393-1244874853 -o /tmp/evaluation-result-1855393-1244874853/solver-1855393-1244874853 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-1855393-1244874853.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 54b9b4de78a7992fd69d0caeed32daef RANDOM SEED=189804824 node1.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.245 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.245 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: 1167824 kB Buffers: 73564 kB Cached: 715088 kB SwapCached: 420 kB Active: 80312 kB Inactive: 721808 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1167824 kB SwapTotal: 4192956 kB SwapFree: 4192040 kB Dirty: 404 kB Writeback: 0 kB Mapped: 22552 kB Slab: 71900 kB Committed_AS: 109400 kB PageTables: 1436 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= 66312 MiB End job on node1 at 2009-06-13 09:04:12