Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4jPseudoCPClause 2007-03-23 | SAT (TO) | 3792896 | 1800.4 | 1777.77 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran12x12.opb |
MD5SUM | 56c71282ea86eaaf05df174b87b01c4e |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3416057 |
Best CPU time to get the best result obtained on this benchmark | 1800.41 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3039236 |
Optimality of the best value was proved | NO |
Number of variables | 4464 |
Total number of constraints | 168 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 168 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 360 |
Number of terms in the objective function | 4464 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 856864234722 |
Number of bits of the sum of numbers in the objective function | 40 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 856864234722 |
Number of bits of the biggest sum of numbers | 40 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.09/0.23 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.09/0.23 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.09/0.23 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.09/0.24 c no version file found!!! 0.09/0.24 c sun.arch.data.model 32 0.09/0.24 c java.version 1.6.0 0.09/0.24 c os.name Linux 0.09/0.24 c os.version 2.6.9-22.EL.rootsmp 0.09/0.24 c os.arch i386 0.09/0.24 c Free memory 1651659224 0.09/0.24 c Max memory 1654456320 0.09/0.24 c Total memory 1654456320 0.09/0.24 c Number of processors 2 0.21/0.30 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolverClause) 0.21/0.30 --- Begin Solver configuration --- 0.21/0.30 c Stops conflict analysis at the first Unique Implication Point 0.21/0.30 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.21/0.30 c Learn all clauses as in MiniSAT 0.21/0.30 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 0.21/0.30 c VSIDS like heuristics from MiniSAT using a heap 0.21/0.30 c No reason simplification 0.21/0.30 c --- End Solver configuration --- 0.21/0.30 c Simplify asserted PB constraints to clauses 0.21/0.30 c solving /tmp/evaluation/353931-1176688705/instance-353931-1176688705.opb 0.21/0.30 c reading problem ... 1.76/1.21 c ... done. Wall clock time 0.911s. 1.76/1.21 c CPU time (experimental) 0.6s. 1.76/1.21 c #vars 4464 1.76/1.21 c #constraints 192 37.04/35.24 c SATISFIABLE 37.04/35.24 c OPTIMIZING... 37.04/35.24 c Got one! Elapsed wall clock time (in seconds):34.944 37.04/35.27 o 9226256 42.07/40.12 c Got one! Elapsed wall clock time (in seconds):39.816 42.07/40.14 o 5238783 48.54/46.49 c Got one! Elapsed wall clock time (in seconds):46.189 48.64/46.51 o 5146062 60.75/58.55 c Got one! Elapsed wall clock time (in seconds):58.246 60.75/58.57 o 5110684 77.84/75.58 c Got one! Elapsed wall clock time (in seconds):75.284 77.94/75.60 o 5062637 102.39/99.97 c Got one! Elapsed wall clock time (in seconds):99.67 102.39/99.99 o 5057353 104.89/102.40 c Got one! Elapsed wall clock time (in seconds):102.102 104.89/102.42 o 3792896 1800.04/1777.52 c starts : 12 1800.04/1777.52 c conflicts : 22510 1800.04/1777.52 c decisions : 301677 1800.04/1777.52 c propagations : 1016700 1800.04/1777.52 c inspects : 122283655 1800.04/1777.52 c learnt literals : 0 1800.04/1777.52 c learnt binary clauses : 0 1800.04/1777.52 c learnt ternary clauses : 0 1800.04/1777.52 c learnt clauses : 22510 1800.04/1777.52 c root simplifications : 0 1800.04/1777.52 c removed literals (reason simplification) : 0 1800.04/1777.52 c reason swapping (by a shorter reason) : 0 1800.04/1777.52 c Calls to reduceDB : 0 1800.04/1777.52 c speed (decisions/second) : 180.09900529055045 1800.04/1777.52 c non guided choices 1404 1800.04/1777.52 s SATISFIABLE 1800.04/1777.56 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 1800.04/1777.56 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1800.04/1777.56 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1800.04/1777.56 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 x103 -x104 -x105 1800.04/1777.56 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.04/1777.56 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.04/1777.56 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.04/1777.56 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.04/1777.56 v -x190 x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.04/1777.56 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.04/1777.56 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.04/1777.56 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.04/1777.56 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1800.04/1777.56 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.04/1777.56 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1800.04/1777.56 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.04/1777.56 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1800.04/1777.56 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1800.04/1777.56 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1800.04/1777.56 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 1800.04/1777.56 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1800.04/1777.56 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1800.04/1777.56 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1800.04/1777.56 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1800.04/1777.56 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1800.04/1777.56 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1800.04/1777.56 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1800.04/1777.56 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1800.04/1777.56 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 1800.04/1777.56 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1800.04/1777.56 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1800.04/1777.56 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1800.04/1777.56 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1800.04/1777.56 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 1800.04/1777.56 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 1800.04/1777.56 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 1800.04/1777.56 v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 1800.04/1777.56 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 1800.04/1777.56 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1800.04/1777.56 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 1800.04/1777.56 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 1800.04/1777.56 v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 1800.04/1777.56 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 1800.04/1777.56 v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 1800.04/1777.56 v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 1800.04/1777.56 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 1800.04/1777.56 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 x1001 -x1002 x1003 x1004 -x1005 -x1006 -x1007 1800.04/1777.56 v -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 1800.04/1777.56 v -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 1800.04/1777.56 v -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 1800.04/1777.56 v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 1800.04/1777.56 v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 1800.04/1777.56 v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 1800.04/1777.56 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 1800.04/1777.56 v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 1800.04/1777.56 v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 1800.04/1777.56 v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 1800.04/1777.56 v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 1800.04/1777.56 v -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 1800.04/1777.56 v -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 1800.04/1777.56 v -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 1800.04/1777.56 v -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 1800.04/1777.56 v -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 1800.04/1777.56 v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 1800.04/1777.56 v -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 1800.04/1777.56 v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 1800.04/1777.56 v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 1800.04/1777.56 v -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 1800.04/1777.56 v -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 1800.04/1777.56 v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 1800.04/1777.56 v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 1800.04/1777.56 v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 1800.04/1777.56 v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 1800.04/1777.56 v -x1450 -x1451 -x1452 -x1453 x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 1800.04/1777.56 v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 1800.04/1777.56 v -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 1800.04/1777.56 v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 x1512 x1513 -x1514 -x1515 -x1516 -x1517 -x1518 1800.04/1777.56 v -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 1800.04/1777.56 v -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 1800.04/1777.56 v -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 1800.04/1777.56 v -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 1800.04/1777.56 v -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 1800.04/1777.56 v -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 1800.04/1777.56 v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 1800.04/1777.56 v -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 1800.04/1777.56 v -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 1800.04/1777.56 v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 1800.04/1777.56 v -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 1800.04/1777.56 v -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 1800.04/1777.56 v -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 1800.04/1777.56 v -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 1800.04/1777.56 v -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 1800.04/1777.56 v -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 x1781 -x1782 x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 1800.04/1777.56 v -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 1800.04/1777.56 v -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 1800.04/1777.56 v -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 1800.04/1777.56 v -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 1800.04/1777.56 v -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 1800.04/1777.56 v -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 1800.04/1777.56 v -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 1800.04/1777.56 v -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 1800.04/1777.56 v -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 1800.04/1777.56 v -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 1800.04/1777.56 v -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 1800.04/1777.56 v -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 1800.04/1777.56 v -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 1800.04/1777.56 v -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 1800.04/1777.56 v -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 1800.04/1777.56 v -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 1800.04/1777.56 v -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 1800.04/1777.56 v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 1800.04/1777.56 v -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 1800.04/1777.56 v -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 1800.04/1777.56 v -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 1800.04/1777.56 v -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 1800.04/1777.56 v -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 1800.04/1777.56 v -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 1800.04/1777.56 v -x2200 x2201 x2202 -x2203 -x2204 x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 1800.04/1777.56 v -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 1800.04/1777.56 v -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 1800.04/1777.56 v -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 1800.04/1777.56 v -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 1800.04/1777.56 v -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 1800.04/1777.56 v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 1800.04/1777.56 v -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 1800.04/1777.56 v -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 x2351 x2352 x2353 -x2354 1800.04/1777.56 v x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 1800.04/1777.56 v -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 x2383 -x2384 -x2385 -x2386 -x2387 -x2388 1800.04/1777.56 v -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 1800.04/1777.56 v -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 x2413 -x2414 x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 1800.04/1777.56 v -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 1800.04/1777.56 v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 1800.04/1777.56 v -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 1800.04/1777.56 v -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 1800.04/1777.56 v -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 1800.04/1777.56 v -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 1800.04/1777.56 v -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 1800.04/1777.56 v -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 1800.04/1777.56 v -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 1800.04/1777.56 v -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 1800.04/1777.56 v -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 1800.04/1777.56 v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 1800.04/1777.56 v -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 1800.04/1777.56 v -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 1800.04/1777.56 v -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 1800.04/1777.56 v -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 1800.04/1777.56 v -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 1800.04/1777.56 v -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 1800.04/1777.56 v -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 1800.04/1777.56 v -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 1800.04/1777.56 v -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 1800.04/1777.56 v -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 1800.04/1777.56 v -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 1800.04/1777.56 v -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 1800.04/1777.56 v -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 1800.04/1777.56 v -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 1800.04/1777.56 v -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 1800.04/1777.56 v -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 1800.04/1777.56 v -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 1800.04/1777.56 v -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 1800.04/1777.56 v -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 1800.04/1777.56 v -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 1800.04/1777.56 v -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 1800.04/1777.56 v -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 1800.04/1777.56 v -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 1800.04/1777.56 v -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 1800.04/1777.56 v -x3036 -x3037 -x3038 -x3039 -x3040 x3041 -x3042 x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 1800.04/1777.56 v -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 1800.04/1777.56 v -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 1800.04/1777.56 v -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 1800.04/1777.56 v -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 1800.04/1777.56 v -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 x3131 -x3132 x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 1800.04/1777.56 v -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 1800.04/1777.56 v -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 1800.04/1777.56 v -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 1800.04/1777.56 v -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 1800.04/1777.56 v -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 x3221 x3222 -x3223 x3224 -x3225 1800.04/1777.56 v -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 1800.04/1777.56 v -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 1800.04/1777.56 v -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 1800.04/1777.56 v -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 1800.04/1777.56 v -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 1800.04/1777.56 v -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 1800.04/1777.56 v -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 1800.04/1777.56 v -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 1800.04/1777.56 v -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 1800.04/1777.56 v -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 1800.04/1777.56 v -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 1800.04/1777.56 v -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 1800.04/1777.56 v -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 1800.04/1777.56 v -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 1800.04/1777.56 v -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 1800.04/1777.56 v -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 1800.04/1777.56 v -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 1800.04/1777.56 v -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 1800.04/1777.56 v -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 1800.04/1777.56 v -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 1800.04/1777.56 v -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 1800.04/1777.56 v -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 1800.04/1777.56 v -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 1800.04/1777.56 v -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 1800.04/1777.56 v -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 1800.04/1777.56 v -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 1800.04/1777.56 v -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 1800.04/1777.56 v -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 1800.04/1777.56 v -x3702 x3703 x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 1800.04/1777.56 v -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 1800.04/1777.56 v -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 1800.04/1777.56 v -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 1800.04/1777.56 v -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 1800.04/1777.56 v -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 1800.04/1777.56 v -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 1800.04/1777.56 v -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 1800.04/1777.56 v -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 1800.04/1777.56 v -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 1800.04/1777.56 v -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 1800.04/1777.56 v -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 1800.04/1777.56 v -x3907 -x3908 -x3909 -x3910 x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 1800.04/1777.56 v -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 1800.04/1777.56 v -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 1800.04/1777.56 v -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 1800.04/1777.56 v -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 1800.04/1777.56 v -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 1800.04/1777.56 v -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 1800.04/1777.56 v -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 1800.04/1777.56 v -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 1800.04/1777.56 v -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 1800.04/1777.56 v -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 x4091 x4092 x4093 x4094 1800.04/1777.56 v -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 1800.04/1777.56 v -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 1800.04/1777.56 v -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 1800.04/1777.56 v -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 1800.04/1777.56 v -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 1800.04/1777.56 v -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 1800.04/1777.56 v -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 x4212 -x4213 1800.04/1777.56 v -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 1800.04/1777.56 v -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 1800.04/1777.56 v -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 1800.04/1777.56 v -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 1800.04/1777.56 v -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 1800.04/1777.56 v -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 1800.04/1777.56 v -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 x4324 -x4325 -x4326 x4327 -x4328 -x4329 x4330 -x4331 -x4332 -x4333 1800.04/1777.56 v -x4334 x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 x4343 -x4344 -x4345 -x4346 x4347 -x4348 -x4349 -x4350 x4351 1800.04/1777.56 v -x4352 -x4353 x4354 x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 x4369 1800.04/1777.56 v -x4370 x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 1800.04/1777.56 v -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 x4394 x4395 x4396 -x4397 -x4398 x4399 x4400 x4401 -x4402 -x4403 -x4404 -x4405 1800.04/1777.56 v -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 x4417 -x4418 -x4419 -x4420 -x4421 x4422 -x4423 1800.04/1777.56 v -x4424 x4425 -x4426 -x4427 x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 1800.04/1777.56 v -x4442 -x4443 x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 x4451 -x4452 -x4453 -x4454 -x4455 -x4456 x4457 -x4458 -x4459 1800.04/1777.56 v -x4460 x4461 -x4462 -x4463 -x4464 1800.04/1777.60 c objective function=3792896 1800.04/1777.60 c Total wall clock time (ms): 1777.304
OK 3792896
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node4/watcher-353931-1176688705 -o ROOT/results/node4/solver-353931-1176688705 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353931-1176688705/sat4jPseudoCPClause.jar /tmp/evaluation/353931-1176688705/instance-353931-1176688705.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.92 0.98 0.99 2/77 11622 /proc/meminfo: memFree=1883032/2055920 swapFree=4153844/4192956 [pid=11622] ppid=11620 vsize=18568 CPUtime=0 /proc/11622/stat : 11622 (runsolver) D 11620 11622 11449 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 144908295 19013632 292 18446744073709551615 4194304 4296420 548682068880 18446744073709551615 259913215271 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0 /proc/11622/statm: 4642 292 257 24 0 2626 0 [startup+0.078771 s] /proc/loadavg: 0.92 0.98 0.99 2/77 11622 /proc/meminfo: memFree=1883032/2055920 swapFree=4153844/4192956 [pid=11622] ppid=11620 vsize=12620 CPUtime=0 /proc/11622/stat : 11622 (java) S 11620 11622 11449 0 -1 0 848 0 0 0 0 0 0 0 18 0 2 0 144908295 12922880 604 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0 /proc/11622/statm: 3155 604 287 9 0 1243 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12620 [startup+0.102776 s] /proc/loadavg: 0.92 0.98 0.99 2/77 11622 /proc/meminfo: memFree=1883032/2055920 swapFree=4153844/4192956 [pid=11622] ppid=11620 vsize=1775952 CPUtime=0.02 /proc/11622/stat : 11622 (java) S 11620 11622 11449 0 -1 0 2830 0 1 0 1 1 0 0 18 0 4 0 144908295 1818574848 2577 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0 /proc/11622/statm: 443988 2577 609 9 0 441624 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1775952 [startup+0.302794 s] /proc/loadavg: 0.92 0.98 0.99 2/77 11622 /proc/meminfo: memFree=1883032/2055920 swapFree=4153844/4192956 [pid=11622] ppid=11620 vsize=1781996 CPUtime=0.21 /proc/11622/stat : 11622 (java) S 11620 11622 11449 0 -1 0 4884 0 1 0 17 4 0 0 18 0 12 0 144908295 1824763904 4622 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11622/statm: 445499 4622 1244 9 0 443110 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 1781996 [startup+0.702833 s] /proc/loadavg: 0.92 0.98 0.99 2/77 11622 /proc/meminfo: memFree=1883032/2055920 swapFree=4153844/4192956 [pid=11622] ppid=11620 vsize=1784524 CPUtime=0.78 /proc/11622/stat : 11622 (java) S 11620 11622 11449 0 -1 0 6927 0 1 0 74 4 0 0 18 0 12 0 144908295 1827352576 6405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11622/statm: 446131 6405 1301 9 0 443742 0 Current children cumulated CPU time (s) 0.78 Current children cumulated vsize (KiB) 1784524 [startup+1.50291 s] /proc/loadavg: 0.92 0.98 0.99 4/89 11634 /proc/meminfo: memFree=1849528/2055920 swapFree=4153844/4192956 [pid=11622] ppid=11620 vsize=1793500 CPUtime=2.2 /proc/11622/stat : 11622 (java) S 11620 11622 11449 0 -1 0 15147 0 1 0 212 8 0 0 18 0 13 0 144908295 1836544000 12182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11622/statm: 448375 12182 1318 9 0 445986 0 [pid=11622/tid=11624] ppid=11620 vsize=1793500 CPUtime=0.8 /proc/11622/task/11624/stat : 11624 (java) R 11620 11622 11449 0 -1 64 8473 0 1 0 76 4 0 0 20 0 13 0 144908299 1836544000 12182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109639982 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11625] ppid=11620 vsize=1793500 CPUtime=0 /proc/11622/task/11625/stat : 11625 (java) S 11620 11622 11449 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 144908305 1836544000 12182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11626] ppid=11620 vsize=1793500 CPUtime=0 /proc/11622/task/11626/stat : 11626 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 144908305 1836544000 12182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11627] ppid=11620 vsize=1793500 CPUtime=0 /proc/11622/task/11627/stat : 11627 (java) S 11620 11622 11449 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 144908307 1836544000 12182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11622/tid=11628] ppid=11620 vsize=1793500 CPUtime=0 /proc/11622/task/11628/stat : 11628 (java) S 11620 11622 11449 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 144908308 1836544000 12182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11629] ppid=11620 vsize=1793500 CPUtime=0 /proc/11622/task/11629/stat : 11629 (java) S 11620 11622 11449 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 144908308 1836544000 12182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11630] ppid=11620 vsize=1793500 CPUtime=0 /proc/11622/task/11630/stat : 11630 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 144908313 1836544000 12182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11631] ppid=11620 vsize=1793500 CPUtime=0.77 /proc/11622/task/11631/stat : 11631 (java) S 11620 11622 11449 0 -1 64 3901 0 0 0 76 1 0 0 16 0 13 0 144908313 1836544000 12182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11632] ppid=11620 vsize=1793500 CPUtime=0.59 /proc/11622/task/11632/stat : 11632 (java) R 11620 11622 11449 0 -1 64 2046 0 0 0 59 0 0 0 16 0 13 0 144908314 1836544000 12182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105861064 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11622/tid=11633] ppid=11620 vsize=1793500 CPUtime=0 /proc/11622/task/11633/stat : 11633 (java) S 11620 11622 11449 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 144908314 1836544000 12182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11634] ppid=11620 vsize=1793500 CPUtime=0 /proc/11622/task/11634/stat : 11634 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 144908314 1836544000 12182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.2 Current children cumulated vsize (KiB) 1793500 [startup+3.10107 s] /proc/loadavg: 0.93 0.98 0.99 4/90 11635 /proc/meminfo: memFree=1816752/2055920 swapFree=4153844/4192956 [pid=11622] ppid=11620 vsize=1794524 CPUtime=4.58 /proc/11622/stat : 11622 (java) S 11620 11622 11449 0 -1 0 35155 0 1 0 443 15 0 0 18 0 13 0 144908295 1837592576 28635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11622/statm: 448631 28635 1324 9 0 446242 0 [pid=11622/tid=11624] ppid=11620 vsize=1794524 CPUtime=1.93 /proc/11622/task/11624/stat : 11624 (java) R 11620 11622 11449 0 -1 64 24654 0 1 0 183 10 0 0 22 0 13 0 144908299 1837592576 28635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109837851 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11625] ppid=11620 vsize=1794524 CPUtime=0 /proc/11622/task/11625/stat : 11625 (java) S 11620 11622 11449 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 144908305 1837592576 28635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11626] ppid=11620 vsize=1794524 CPUtime=0 /proc/11622/task/11626/stat : 11626 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 144908305 1837592576 28635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11627] ppid=11620 vsize=1794524 CPUtime=0 /proc/11622/task/11627/stat : 11627 (java) S 11620 11622 11449 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 144908307 1837592576 28635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11622/tid=11628] ppid=11620 vsize=1794524 CPUtime=0 /proc/11622/task/11628/stat : 11628 (java) S 11620 11622 11449 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 144908308 1837592576 28635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11629] ppid=11620 vsize=1794524 CPUtime=0 /proc/11622/task/11629/stat : 11629 (java) S 11620 11622 11449 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 144908308 1837592576 28635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11630] ppid=11620 vsize=1794524 CPUtime=0 /proc/11622/task/11630/stat : 11630 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 144908313 1837592576 28635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11631] ppid=11620 vsize=1794524 CPUtime=1.33 /proc/11622/task/11631/stat : 11631 (java) S 11620 11622 11449 0 -1 64 4464 0 0 0 131 2 0 0 16 0 13 0 144908313 1837592576 28635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11632] ppid=11620 vsize=1794524 CPUtime=1.29 /proc/11622/task/11632/stat : 11632 (java) S 11620 11622 11449 0 -1 64 5310 0 0 0 128 1 0 0 16 0 13 0 144908314 1837592576 28635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11622/tid=11633] ppid=11620 vsize=1794524 CPUtime=0 /proc/11622/task/11633/stat : 11633 (java) S 11620 11622 11449 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 144908314 1837592576 28635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11634] ppid=11620 vsize=1794524 CPUtime=0 /proc/11622/task/11634/stat : 11634 (java) R 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 144908314 1837592576 28635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11635] ppid=11620 vsize=1794524 CPUtime=0 /proc/11622/task/11635/stat : 11635 (java) S 11620 11622 11449 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 144908433 1837592576 28635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 4.58 Current children cumulated vsize (KiB) 1794524 [startup+6.30237 s] /proc/loadavg: 0.93 0.98 0.99 2/90 11635 /proc/meminfo: memFree=1714672/2055920 swapFree=4153844/4192956 [pid=11622] ppid=11620 vsize=1794168 CPUtime=7.82 /proc/11622/stat : 11622 (java) S 11620 11622 11449 0 -1 0 49576 0 1 0 761 21 0 0 18 0 13 0 144908295 1837228032 42989 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11622/statm: 448542 42989 1333 9 0 446153 0 [pid=11622/tid=11624] ppid=11620 vsize=1794168 CPUtime=5.07 /proc/11622/task/11624/stat : 11624 (java) R 11620 11622 11449 0 -1 64 37719 0 1 0 492 15 0 0 25 0 13 0 144908299 1837228032 42989 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109522101 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11625] ppid=11620 vsize=1794168 CPUtime=0.02 /proc/11622/task/11625/stat : 11625 (java) S 11620 11622 11449 0 -1 64 676 0 0 0 2 0 0 0 16 0 13 0 144908305 1837228032 42989 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11626] ppid=11620 vsize=1794168 CPUtime=0.02 /proc/11622/task/11626/stat : 11626 (java) S 11620 11622 11449 0 -1 64 676 0 0 0 2 0 0 0 16 0 13 0 144908305 1837228032 42989 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11622/tid=11627] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11627/stat : 11627 (java) S 11620 11622 11449 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 144908307 1837228032 42989 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11628] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11628/stat : 11628 (java) S 11620 11622 11449 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 144908308 1837228032 42989 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11629] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11629/stat : 11629 (java) S 11620 11622 11449 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144908308 1837228032 42989 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11630] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11630/stat : 11630 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 144908313 1837228032 42989 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11631] ppid=11620 vsize=1794168 CPUtime=1.35 /proc/11622/task/11631/stat : 11631 (java) S 11620 11622 11449 0 -1 64 4464 0 0 0 133 2 0 0 16 0 13 0 144908313 1837228032 42989 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11632] ppid=11620 vsize=1794168 CPUtime=1.31 /proc/11622/task/11632/stat : 11632 (java) S 11620 11622 11449 0 -1 64 5310 0 0 0 130 1 0 0 16 0 13 0 144908314 1837228032 42989 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11622/tid=11633] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11633/stat : 11633 (java) S 11620 11622 11449 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 144908314 1837228032 42989 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11634] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11634/stat : 11634 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 144908314 1837228032 42989 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11635] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11635/stat : 11635 (java) S 11620 11622 11449 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 144908433 1837228032 42989 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.82 Current children cumulated vsize (KiB) 1794168 [startup+12.702 s] /proc/loadavg: 0.94 0.98 0.99 2/90 11635 /proc/meminfo: memFree=1702960/2055920 swapFree=4153844/4192956 [pid=11622] ppid=11620 vsize=1794168 CPUtime=14.33 /proc/11622/stat : 11622 (java) S 11620 11622 11449 0 -1 0 52581 0 1 0 1410 23 0 0 18 0 13 0 144908295 1837228032 45960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11622/statm: 448542 45960 1334 9 0 446153 0 [pid=11622/tid=11624] ppid=11620 vsize=1794168 CPUtime=11.39 /proc/11622/task/11624/stat : 11624 (java) R 11620 11622 11449 0 -1 64 37721 0 1 0 1124 15 0 0 25 0 13 0 144908299 1837228032 45960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109773343 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11622/tid=11625] ppid=11620 vsize=1794168 CPUtime=0.08 /proc/11622/task/11625/stat : 11625 (java) S 11620 11622 11449 0 -1 64 2224 0 0 0 7 1 0 0 16 0 13 0 144908305 1837228032 45960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11626] ppid=11620 vsize=1794168 CPUtime=0.09 /proc/11622/task/11626/stat : 11626 (java) S 11620 11622 11449 0 -1 64 2123 0 0 0 8 1 0 0 16 0 13 0 144908305 1837228032 45960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11622/tid=11627] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11627/stat : 11627 (java) S 11620 11622 11449 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 144908307 1837228032 45960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11628] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11628/stat : 11628 (java) S 11620 11622 11449 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 144908308 1837228032 45960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11629] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11629/stat : 11629 (java) S 11620 11622 11449 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144908308 1837228032 45960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11630] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11630/stat : 11630 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 144908313 1837228032 45960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11631] ppid=11620 vsize=1794168 CPUtime=1.4 /proc/11622/task/11631/stat : 11631 (java) S 11620 11622 11449 0 -1 64 4467 0 0 0 138 2 0 0 17 0 13 0 144908313 1837228032 45960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11632] ppid=11620 vsize=1794168 CPUtime=1.31 /proc/11622/task/11632/stat : 11632 (java) S 11620 11622 11449 0 -1 64 5311 0 0 0 130 1 0 0 17 0 13 0 144908314 1837228032 45960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11622/tid=11633] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11633/stat : 11633 (java) S 11620 11622 11449 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 144908314 1837228032 45960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11634] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11634/stat : 11634 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 144908314 1837228032 45960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11635] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11635/stat : 11635 (java) S 11620 11622 11449 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 144908433 1837228032 45960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 14.33 Current children cumulated vsize (KiB) 1794168 [startup+25.5022 s] /proc/loadavg: 0.95 0.98 0.99 2/90 11635 /proc/meminfo: memFree=1703856/2055920 swapFree=4153844/4192956 [pid=11622] ppid=11620 vsize=1794168 CPUtime=27.21 /proc/11622/stat : 11622 (java) S 11620 11622 11449 0 -1 0 54263 0 1 0 2697 24 0 0 18 0 13 0 144908295 1837228032 45702 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11622/statm: 448542 45702 1334 9 0 446153 0 [pid=11622/tid=11624] ppid=11620 vsize=1794168 CPUtime=24.11 /proc/11622/task/11624/stat : 11624 (java) R 11620 11622 11449 0 -1 64 37723 0 1 0 2395 16 0 0 25 0 13 0 144908299 1837228032 45702 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109758159 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11622/tid=11625] ppid=11620 vsize=1794168 CPUtime=0.16 /proc/11622/task/11625/stat : 11625 (java) S 11620 11622 11449 0 -1 64 3119 0 0 0 15 1 0 0 16 0 13 0 144908305 1837228032 45702 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11622/tid=11626] ppid=11620 vsize=1794168 CPUtime=0.17 /proc/11622/task/11626/stat : 11626 (java) S 11620 11622 11449 0 -1 64 2903 0 0 0 16 1 0 0 17 0 13 0 144908305 1837228032 45702 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11622/tid=11627] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11627/stat : 11627 (java) S 11620 11622 11449 0 -1 64 16 0 0 0 0 0 0 0 16 0 13 0 144908307 1837228032 45702 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=11622/tid=11627] ppid=11620 vsize=1794168 CPUtime=0.26 /proc/11622/task/11627/stat : 11627 (java) S 11620 11622 11449 0 -1 64 150 0 0 0 15 11 0 0 15 0 13 0 144908307 1837228032 186799 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11628] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11628/stat : 11628 (java) S 11620 11622 11449 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 144908308 1837228032 186799 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11629] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11629/stat : 11629 (java) S 11620 11622 11449 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144908308 1837228032 186799 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11630] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11630/stat : 11630 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 144908313 1837228032 186799 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11631] ppid=11620 vsize=1794168 CPUtime=1.87 /proc/11622/task/11631/stat : 11631 (java) S 11620 11622 11449 0 -1 64 4491 0 0 0 185 2 0 0 16 0 13 0 144908313 1837228032 186799 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11632] ppid=11620 vsize=1794168 CPUtime=1.62 /proc/11622/task/11632/stat : 11632 (java) S 11620 11622 11449 0 -1 64 5327 0 0 0 161 1 0 0 17 0 13 0 144908314 1837228032 186799 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11633] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11633/stat : 11633 (java) S 11620 11622 11449 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 144908314 1837228032 186799 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11634] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11634/stat : 11634 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 144908314 1837228032 186799 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11622/tid=11642] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11642/stat : 11642 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 144918541 1837228032 186799 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1620.15 Current children cumulated vsize (KiB) 1794168 [startup+1662.3 s] /proc/loadavg: 1.03 1.01 1.00 2/90 12250 /proc/meminfo: memFree=1071032/2055920 swapFree=4153844/4192956 [pid=11622] ppid=11620 vsize=1794168 CPUtime=1681.78 /proc/11622/stat : 11622 (java) S 11620 11622 11449 0 -1 0 284621 0 1 0 168027 151 0 0 18 0 13 0 144908295 1837228032 195665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11622/statm: 448542 195665 1336 9 0 446153 0 [pid=11622/tid=11624] ppid=11620 vsize=1794168 CPUtime=1641.59 /proc/11622/task/11624/stat : 11624 (java) R 11620 11622 11449 0 -1 64 83643 0 1 0 164107 52 0 0 25 0 13 0 144908299 1837228032 195665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4110034869 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11622/tid=11625] ppid=11620 vsize=1794168 CPUtime=18.17 /proc/11622/task/11625/stat : 11625 (java) S 11620 11622 11449 0 -1 64 96780 0 0 0 1778 39 0 0 16 0 13 0 144908305 1837228032 195665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11626] ppid=11620 vsize=1794168 CPUtime=18.2 /proc/11622/task/11626/stat : 11626 (java) S 11620 11622 11449 0 -1 64 93492 0 0 0 1778 42 0 0 16 0 13 0 144908305 1837228032 195665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11622/tid=11627] ppid=11620 vsize=1794168 CPUtime=0.27 /proc/11622/task/11627/stat : 11627 (java) S 11620 11622 11449 0 -1 64 150 0 0 0 16 11 0 0 16 0 13 0 144908307 1837228032 195665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11622/tid=11628] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11628/stat : 11628 (java) S 11620 11622 11449 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 144908308 1837228032 195665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11629] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11629/stat : 11629 (java) S 11620 11622 11449 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144908308 1837228032 195665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11630] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11630/stat : 11630 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 144908313 1837228032 195665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11631] ppid=11620 vsize=1794168 CPUtime=1.87 /proc/11622/task/11631/stat : 11631 (java) S 11620 11622 11449 0 -1 64 4491 0 0 0 185 2 0 0 16 0 13 0 144908313 1837228032 195665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11632] ppid=11620 vsize=1794168 CPUtime=1.62 /proc/11622/task/11632/stat : 11632 (java) S 11620 11622 11449 0 -1 64 5327 0 0 0 161 1 0 0 17 0 13 0 144908314 1837228032 195665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11633] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11633/stat : 11633 (java) S 11620 11622 11449 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 144908314 1837228032 195665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11634] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11634/stat : 11634 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 144908314 1837228032 195665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11622/tid=11642] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11642/stat : 11642 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 144918541 1837228032 195665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1681.78 Current children cumulated vsize (KiB) 1794168 [startup+1722.3 s] /proc/loadavg: 1.01 1.01 1.00 2/90 12250 /proc/meminfo: memFree=1040568/2055920 swapFree=4153844/4192956 [pid=11622] ppid=11620 vsize=1794168 CPUtime=1743.27 /proc/11622/stat : 11622 (java) S 11620 11622 11449 0 -1 0 293292 0 1 0 174172 155 0 0 18 0 13 0 144908295 1837228032 203065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11622/statm: 448542 203065 1336 9 0 446153 0 [pid=11622/tid=11624] ppid=11620 vsize=1794168 CPUtime=1700.03 /proc/11622/task/11624/stat : 11624 (java) R 11620 11622 11449 0 -1 64 83680 0 1 0 169950 53 0 0 25 0 13 0 144908299 1837228032 203065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109521984 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11622/tid=11625] ppid=11620 vsize=1794168 CPUtime=19.69 /proc/11622/task/11625/stat : 11625 (java) S 11620 11622 11449 0 -1 64 101301 0 0 0 1929 40 0 0 16 0 13 0 144908305 1837228032 203065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11626] ppid=11620 vsize=1794168 CPUtime=19.72 /proc/11622/task/11626/stat : 11626 (java) S 11620 11622 11449 0 -1 64 97604 0 0 0 1928 44 0 0 17 0 13 0 144908305 1837228032 203065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11622/tid=11627] ppid=11620 vsize=1794168 CPUtime=0.28 /proc/11622/task/11627/stat : 11627 (java) S 11620 11622 11449 0 -1 64 151 0 0 0 17 11 0 0 16 0 13 0 144908307 1837228032 203065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11628] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11628/stat : 11628 (java) S 11620 11622 11449 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 144908308 1837228032 203065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11629] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11629/stat : 11629 (java) S 11620 11622 11449 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144908308 1837228032 203065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11630] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11630/stat : 11630 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 144908313 1837228032 203065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11631] ppid=11620 vsize=1794168 CPUtime=1.87 /proc/11622/task/11631/stat : 11631 (java) S 11620 11622 11449 0 -1 64 4491 0 0 0 185 2 0 0 16 0 13 0 144908313 1837228032 203065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11632] ppid=11620 vsize=1794168 CPUtime=1.62 /proc/11622/task/11632/stat : 11632 (java) S 11620 11622 11449 0 -1 64 5327 0 0 0 161 1 0 0 17 0 13 0 144908314 1837228032 203065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11633] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11633/stat : 11633 (java) S 11620 11622 11449 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 144908314 1837228032 203065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11634] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11634/stat : 11634 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 144908314 1837228032 203065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11622/tid=11642] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11642/stat : 11642 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 144918541 1837228032 203065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1743.27 Current children cumulated vsize (KiB) 1794168 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1777.5 s] /proc/loadavg: 1.10 1.03 1.01 2/90 12250 /proc/meminfo: memFree=999288/2055920 swapFree=4153844/4192956 [pid=11622] ppid=11620 vsize=1794168 CPUtime=1800.04 /proc/11622/stat : 11622 (java) S 11620 11622 11449 0 -1 0 304918 0 1 0 179843 161 0 0 18 0 13 0 144908295 1837228032 213347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11622/statm: 448542 213347 1336 9 0 446153 0 [pid=11622/tid=11624] ppid=11620 vsize=1794168 CPUtime=1753.61 /proc/11622/task/11624/stat : 11624 (java) R 11620 11622 11449 0 -1 64 83713 0 1 0 175308 53 0 0 25 0 13 0 144908299 1837228032 213347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109838009 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11622/tid=11625] ppid=11620 vsize=1794168 CPUtime=21.27 /proc/11622/task/11625/stat : 11625 (java) S 11620 11622 11449 0 -1 64 107279 0 0 0 2084 43 0 0 16 0 13 0 144908305 1837228032 213347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11626] ppid=11620 vsize=1794168 CPUtime=21.31 /proc/11622/task/11626/stat : 11626 (java) S 11620 11622 11449 0 -1 64 103219 0 0 0 2085 46 0 0 16 0 13 0 144908305 1837228032 213347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11622/tid=11627] ppid=11620 vsize=1794168 CPUtime=0.3 /proc/11622/task/11627/stat : 11627 (java) S 11620 11622 11449 0 -1 64 151 0 0 0 18 12 0 0 15 0 13 0 144908307 1837228032 213347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11622/tid=11628] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11628/stat : 11628 (java) S 11620 11622 11449 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 144908308 1837228032 213347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11629] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11629/stat : 11629 (java) S 11620 11622 11449 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144908308 1837228032 213347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11630] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11630/stat : 11630 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 144908313 1837228032 213347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11631] ppid=11620 vsize=1794168 CPUtime=1.87 /proc/11622/task/11631/stat : 11631 (java) S 11620 11622 11449 0 -1 64 4491 0 0 0 185 2 0 0 16 0 13 0 144908313 1837228032 213347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11632] ppid=11620 vsize=1794168 CPUtime=1.62 /proc/11622/task/11632/stat : 11632 (java) S 11620 11622 11449 0 -1 64 5327 0 0 0 161 1 0 0 17 0 13 0 144908314 1837228032 213347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11633] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11633/stat : 11633 (java) S 11620 11622 11449 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 144908314 1837228032 213347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11634] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11634/stat : 11634 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 144908314 1837228032 213347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11622/tid=11642] ppid=11620 vsize=1794168 CPUtime=0 /proc/11622/task/11642/stat : 11642 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 144918541 1837228032 213347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1794168 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1777.62 s] /proc/loadavg: 1.10 1.03 1.01 2/90 12250 /proc/meminfo: memFree=999288/2055920 swapFree=4153844/4192956 [pid=11622] ppid=11620 vsize=1794816 CPUtime=1800.24 /proc/11622/stat : 11622 (java) S 11620 11622 11449 0 -1 0 304936 0 1 0 179863 161 0 0 16 0 14 0 144908295 1837891584 213365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11622/statm: 448704 213365 1336 9 0 446315 0 [pid=11622/tid=11624] ppid=11620 vsize=1794816 CPUtime=1753.72 /proc/11622/task/11624/stat : 11624 (java) R 11620 11622 11449 0 -1 64 83713 0 1 0 175319 53 0 0 25 0 14 0 144908299 1837891584 213365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109647613 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11622/tid=11625] ppid=11620 vsize=1794816 CPUtime=21.27 /proc/11622/task/11625/stat : 11625 (java) S 11620 11622 11449 0 -1 64 107279 0 0 0 2084 43 0 0 16 0 14 0 144908305 1837891584 213365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11626] ppid=11620 vsize=1794816 CPUtime=21.31 /proc/11622/task/11626/stat : 11626 (java) S 11620 11622 11449 0 -1 64 103219 0 0 0 2085 46 0 0 16 0 14 0 144908305 1837891584 213365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11622/tid=11627] ppid=11620 vsize=1794816 CPUtime=0.3 /proc/11622/task/11627/stat : 11627 (java) S 11620 11622 11449 0 -1 64 151 0 0 0 18 12 0 0 15 0 14 0 144908307 1837891584 213365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11622/tid=11628] ppid=11620 vsize=1794816 CPUtime=0 /proc/11622/task/11628/stat : 11628 (java) S 11620 11622 11449 0 -1 64 11 0 0 0 0 0 0 0 16 0 14 0 144908308 1837891584 213365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11629] ppid=11620 vsize=1794816 CPUtime=0 /proc/11622/task/11629/stat : 11629 (java) S 11620 11622 11449 0 -1 64 6 0 0 0 0 0 0 0 16 0 14 0 144908308 1837891584 213365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11630] ppid=11620 vsize=1794816 CPUtime=0 /proc/11622/task/11630/stat : 11630 (java) S 11620 11622 11449 0 -1 64 5 0 0 0 0 0 0 0 18 0 14 0 144908313 1837891584 213365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11631] ppid=11620 vsize=1794816 CPUtime=1.9 /proc/11622/task/11631/stat : 11631 (java) S 11620 11622 11449 0 -1 64 4491 0 0 0 188 2 0 0 17 0 14 0 144908313 1837891584 213365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11632] ppid=11620 vsize=1794816 CPUtime=1.63 /proc/11622/task/11632/stat : 11632 (java) S 11620 11622 11449 0 -1 64 5327 0 0 0 162 1 0 0 16 0 14 0 144908314 1837891584 213365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11633] ppid=11620 vsize=1794816 CPUtime=0 /proc/11622/task/11633/stat : 11633 (java) S 11620 11622 11449 0 -1 64 2 0 0 0 0 0 0 0 23 0 14 0 144908314 1837891584 213365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11622/tid=11634] ppid=11620 vsize=1794816 CPUtime=0 /proc/11622/task/11634/stat : 11634 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 15 0 14 0 144908314 1837891584 213365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11622/tid=11642] ppid=11620 vsize=1794816 CPUtime=0 /proc/11622/task/11642/stat : 11642 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 18 0 14 0 144918541 1837891584 213365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 1794816 [startup+1777.7 s] /proc/loadavg: 1.10 1.03 1.01 2/90 12250 /proc/meminfo: memFree=999288/2055920 swapFree=4153844/4192956 [pid=11622] ppid=11620 vsize=0 CPUtime=1800.33 /proc/11622/stat : 11622 (java) Z 11620 11622 11449 0 -1 1036 304936 0 1 0 179865 168 0 0 15 0 2 0 144908295 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11622/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.33 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1777.77 CPU time (s): 1800.4 CPU user time (s): 1798.66 CPU system time (s): 1.74373 CPU usage (%): 101.273 Max. virtual memory (cumulated for all children) (KiB): 1799332 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.66 system time used= 1.74373 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 304936 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= 46015 involuntary context switches= 61792 runsolver used 1.65975 second user time and 4.92225 second system time The end
Begin job on node4 on Mon Apr 16 01:58:26 UTC 2007 IDJOB= 353931 IDBENCH= 2294 IDSOLVER= 164 FILE ID= node4/353931-1176688705 PBS_JOBID= 4559407 Free space on /tmp= 66515 MiB SOLVER NAME= sat4jPseudoCPClause 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x12.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353931-1176688705/sat4jPseudoCPClause.jar /tmp/evaluation/353931-1176688705/instance-353931-1176688705.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-353931-1176688705 -o ROOT/results/node4/solver-353931-1176688705 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353931-1176688705/sat4jPseudoCPClause.jar /tmp/evaluation/353931-1176688705/instance-353931-1176688705.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 56c71282ea86eaaf05df174b87b01c4e RANDOM SEED= 716088801 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node4.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.218 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 : 5931.00 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.218 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: 1883632 kB Buffers: 7152 kB Cached: 90288 kB SwapCached: 2044 kB Active: 49040 kB Inactive: 71284 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1883632 kB SwapTotal: 4192956 kB SwapFree: 4153844 kB Dirty: 3820 kB Writeback: 0 kB Mapped: 30456 kB Slab: 37376 kB Committed_AS: 5163324 kB PageTables: 1816 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= 66515 MiB End job on node4 on Mon Apr 16 02:28:05 UTC 2007