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