Trace number 353901

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
sat4jPseudoCPClause 2007-03-23SAT (TO)10419320 1800.53 1763.21

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran10x26.opb
MD5SUM24310f50398f30cad58c742db29765ce
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark6593540
Best CPU time to get the best result obtained on this benchmark1800.66
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 6593540
Optimality of the best value was proved NO
Number of variables8060
Total number of constraints296
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints296
Minimum length of a constraint31
Maximum length of a constraint780
Number of terms in the objective function 8060
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 1599918681646
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 1599918681646
Number of bits of the biggest sum of numbers41
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.11/0.47	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.11/0.47	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.11/0.47	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.11/0.48	c no version file found!!!
0.11/0.48	c sun.arch.data.model	32
0.11/0.48	c java.version	1.6.0
0.11/0.48	c os.name	Linux
0.11/0.48	c os.version	2.6.9-22.EL.rootsmp
0.11/0.48	c os.arch	i386
0.11/0.48	c Free memory 1651659224
0.11/0.48	c Max memory 1654456320
0.11/0.48	c Total memory 1654456320
0.11/0.48	c Number of processors 2
0.19/0.54	c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolverClause)
0.19/0.54	--- Begin Solver configuration ---
0.19/0.54	c Stops conflict analysis at the first Unique Implication Point
0.19/0.54	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.19/0.54	c Learn all clauses as in MiniSAT
0.19/0.54	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 
0.19/0.54	c VSIDS like heuristics from MiniSAT using a heap
0.19/0.54	c No reason simplification
0.19/0.54	c --- End Solver configuration ---
0.19/0.54	c Simplify asserted PB constraints to clauses
0.19/0.54	c solving /tmp/evaluation/353901-1176687891/instance-353901-1176687891.opb
0.19/0.54	c reading problem ... 
1.90/1.59	c ... done. Wall clock time 1.047s.
1.90/1.59	c CPU time (experimental) 0.78s.
1.90/1.59	c #vars     8060
1.90/1.59	c #constraints  332
43.89/41.63	c SATISFIABLE
43.89/41.63	c OPTIMIZING...
43.89/41.63	c Got one! Elapsed wall clock time (in seconds):41.088
44.00/41.71	o 13881348
62.29/59.88	c Got one! Elapsed wall clock time (in seconds):59.337
62.41/59.96	o 10711046
71.36/68.83	c Got one! Elapsed wall clock time (in seconds):68.286
71.36/68.89	o 10419320
1800.06/1762.91	c starts		: 6
1800.06/1762.91	c conflicts		: 47009
1800.06/1762.91	c decisions		: 222037
1800.06/1762.91	c propagations		: 1507776
1800.06/1762.91	c inspects		: 201749486
1800.06/1762.91	c learnt literals	: 0
1800.06/1762.91	c learnt binary clauses	: 0
1800.06/1762.91	c learnt ternary clauses	: 0
1800.06/1762.91	c learnt clauses	: 47008
1800.06/1762.91	c root simplifications	: 0
1800.06/1762.91	c removed literals (reason simplification)	: 0
1800.06/1762.91	c reason swapping (by a shorter reason)	: 0
1800.06/1762.91	c Calls to reduceDB	: 0
1800.06/1762.91	c speed (decisions/second)	: 131.07756137185822
1800.06/1762.91	c non guided choices	0
1800.06/1762.91	s SATISFIABLE
1800.06/1762.96	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.06/1762.96	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.06/1762.96	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.06/1762.96	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
1800.06/1762.96	v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
1800.06/1762.96	v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
1800.06/1762.96	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167
1800.06/1762.96	v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 x183 -x184 -x185 -x186 -x187 -x188
1800.06/1762.96	v -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209
1800.06/1762.96	v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1800.06/1762.96	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251
1800.06/1762.96	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272
1800.06/1762.96	v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293
1800.06/1762.96	v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 x312 -x313 -x314
1800.06/1762.96	v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335
1800.06/1762.96	v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356
1800.06/1762.96	v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377
1800.06/1762.96	v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 x392 x393 -x394 -x395 -x396 -x397 -x398
1800.06/1762.96	v -x399 -x400 x401 x402 -x403 x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419
1800.06/1762.96	v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
1800.06/1762.96	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461
1800.06/1762.96	v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482
1800.06/1762.96	v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503
1800.06/1762.96	v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524
1800.06/1762.96	v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545
1800.06/1762.96	v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566
1800.06/1762.96	v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587
1800.06/1762.96	v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608
1800.06/1762.96	v -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629
1800.06/1762.96	v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
1800.06/1762.96	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671
1800.06/1762.96	v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692
1800.06/1762.96	v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713
1800.06/1762.96	v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734
1800.06/1762.96	v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755
1800.06/1762.96	v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776
1800.06/1762.96	v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 x794 -x795 -x796 -x797
1800.06/1762.96	v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818
1800.06/1762.96	v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839
1800.06/1762.96	v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
1800.06/1762.96	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881
1800.06/1762.96	v x882 x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902
1800.06/1762.96	v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923
1800.06/1762.96	v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944
1800.06/1762.96	v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965
1800.06/1762.96	v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986
1800.06/1762.96	v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005
1800.06/1762.96	v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022
1800.06/1762.96	v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039
1800.06/1762.96	v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056
1800.06/1762.96	v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073
1800.06/1762.96	v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090
1800.06/1762.96	v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107
1800.06/1762.96	v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124
1800.06/1762.96	v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141
1800.06/1762.96	v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 x1152 x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159
1800.06/1762.96	v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176
1800.06/1762.96	v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193
1800.06/1762.96	v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 x1202 x1203 -x1204 x1205 x1206 x1207 x1208 x1209 x1210 -x1211 x1212
1800.06/1762.96	v -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229
1800.06/1762.96	v -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246
1800.06/1762.96	v -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263
1800.06/1762.96	v -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280
1800.06/1762.96	v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297
1800.06/1762.96	v -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314
1800.06/1762.96	v -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331
1800.06/1762.96	v -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348
1800.06/1762.96	v -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365
1800.06/1762.96	v -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 x1381 -x1382
1800.06/1762.96	v -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 x1391 -x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400
1800.06/1762.96	v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417
1800.06/1762.96	v -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434
1800.06/1762.96	v -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451
1800.06/1762.96	v -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468
1800.06/1762.96	v -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485
1800.06/1762.96	v -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502
1800.06/1762.96	v -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519
1800.06/1762.96	v -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536
1800.06/1762.96	v -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553
1800.06/1762.96	v -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570
1800.06/1762.96	v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587
1800.06/1762.96	v -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 x1602 x1603 -x1604 -x1605
1800.06/1762.96	v -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622
1800.06/1762.96	v -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639
1800.06/1762.96	v -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656
1800.06/1762.96	v -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673
1800.06/1762.96	v -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690
1800.06/1762.96	v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707
1800.06/1762.96	v -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724
1800.06/1762.96	v -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741
1800.06/1762.96	v -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758
1800.06/1762.96	v -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775
1800.06/1762.96	v -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792
1800.06/1762.96	v -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 x1802 -x1803 x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810
1800.06/1762.96	v -x1811 x1812 x1813 x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828
1800.06/1762.96	v -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845
1800.06/1762.96	v -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862
1800.06/1762.96	v -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 x1872 x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880
1800.06/1762.96	v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897
1800.06/1762.96	v -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914
1800.06/1762.96	v -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931
1800.06/1762.96	v -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948
1800.06/1762.96	v -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965
1800.06/1762.96	v -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982
1800.06/1762.96	v -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999
1800.06/1762.96	v -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016
1800.06/1762.96	v -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033
1800.06/1762.96	v -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050
1800.06/1762.96	v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067
1800.06/1762.96	v -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084
1800.06/1762.96	v -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101
1800.06/1762.96	v -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118
1800.06/1762.96	v -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135
1800.06/1762.96	v -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152
1800.06/1762.96	v -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169
1800.06/1762.96	v -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186
1800.06/1762.96	v -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 x2202 -x2203
1800.06/1762.96	v -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220
1800.06/1762.96	v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 x2231 x2232 x2233 -x2234 -x2235 -x2236 -x2237 -x2238
1800.06/1762.96	v -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255
1800.06/1762.96	v -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272
1800.06/1762.96	v -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289
1800.06/1762.96	v -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306
1800.06/1762.96	v -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323
1800.06/1762.96	v -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340
1800.06/1762.96	v -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357
1800.06/1762.96	v -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374
1800.06/1762.96	v -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391
1800.06/1762.96	v -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408
1800.06/1762.96	v -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425
1800.06/1762.96	v -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442
1800.06/1762.96	v -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459
1800.06/1762.96	v -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 x2472 -x2473 -x2474 -x2475 -x2476
1800.06/1762.96	v -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493
1800.06/1762.96	v -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510
1800.06/1762.96	v -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527
1800.06/1762.96	v -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544
1800.06/1762.96	v -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561
1800.06/1762.96	v -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578
1800.06/1762.96	v -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595
1800.06/1762.96	v -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612
1800.06/1762.96	v -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629
1800.06/1762.96	v -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646
1800.06/1762.96	v -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663
1800.06/1762.96	v -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680
1800.06/1762.96	v -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697
1800.06/1762.96	v -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714
1800.06/1762.96	v -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731
1800.06/1762.96	v -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748
1800.06/1762.96	v -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765
1800.06/1762.96	v -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782
1800.06/1762.96	v -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799
1800.06/1762.96	v -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816
1800.06/1762.96	v -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833
1800.06/1762.96	v -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850
1800.06/1762.96	v -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867
1800.06/1762.96	v -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884
1800.06/1762.96	v -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901
1800.06/1762.96	v -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918
1800.06/1762.96	v -x2919 -x2920 -x2921 -x2922 -x2923 x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935
1800.06/1762.96	v -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952
1800.06/1762.96	v -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969
1800.06/1762.96	v -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986
1800.06/1762.96	v -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003
1800.06/1762.96	v -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020
1800.06/1762.96	v -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037
1800.06/1762.96	v -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054
1800.06/1762.96	v -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071
1800.06/1762.96	v -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088
1800.06/1762.96	v -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105
1800.06/1762.96	v -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122
1800.06/1762.96	v -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 x3135 -x3136 -x3137 -x3138 -x3139
1800.06/1762.96	v -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156
1800.06/1762.96	v -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173
1800.06/1762.96	v -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190
1800.06/1762.96	v -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207
1800.06/1762.96	v -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224
1800.06/1762.96	v -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241
1800.06/1762.96	v -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258
1800.06/1762.96	v -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275
1800.06/1762.96	v -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292
1800.06/1762.96	v -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309
1800.06/1762.96	v -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326
1800.06/1762.96	v -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343
1800.06/1762.96	v -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360
1800.06/1762.96	v -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377
1800.06/1762.96	v -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394
1800.06/1762.96	v -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411
1800.06/1762.96	v -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428
1800.06/1762.96	v -x3429 -x3430 -x3431 x3432 x3433 x3434 x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446
1800.06/1762.96	v -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463
1800.06/1762.96	v -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480
1800.06/1762.96	v -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497
1800.06/1762.96	v -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514
1800.06/1762.96	v -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531
1800.06/1762.96	v -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548
1800.06/1762.96	v -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565
1800.06/1762.96	v -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582
1800.06/1762.96	v -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599
1800.06/1762.96	v -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616
1800.06/1762.96	v -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633
1800.06/1762.96	v -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650
1800.06/1762.96	v -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667
1800.06/1762.96	v -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684
1800.06/1762.96	v -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701
1800.06/1762.96	v -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718
1800.06/1762.96	v -x3719 -x3720 x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 x3734 -x3735 -x3736
1800.06/1762.96	v -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753
1800.06/1762.96	v -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770
1800.06/1762.96	v -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 x3781 x3782 x3783 x3784 x3785 x3786 x3787 x3788 x3789
1800.06/1762.96	v x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806
1800.06/1762.96	v -x3807 -x3808 -x3809 -x3810 -x3811 x3812 -x3813 x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824
1800.06/1762.96	v -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841
1800.06/1762.96	v -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858
1800.06/1762.96	v -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875
1800.06/1762.96	v -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892
1800.06/1762.96	v -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909
1800.06/1762.96	v -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926
1800.06/1762.96	v -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943
1800.06/1762.96	v -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960
1800.06/1762.96	v -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977
1800.06/1762.96	v -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994
1800.06/1762.96	v -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011
1800.06/1762.96	v -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 x4021 x4022 x4023 x4024 x4025 x4026 x4027 x4028 x4029 x4030
1800.06/1762.96	v -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047
1800.06/1762.96	v -x4048 -x4049 -x4050 x4051 x4052 x4053 -x4054 x4055 x4056 x4057 x4058 x4059 x4060 x4061 -x4062 -x4063 -x4064 x4065 -x4066
1800.06/1762.96	v -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083
1800.06/1762.96	v -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100
1800.06/1762.96	v -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117
1800.06/1762.96	v -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134
1800.06/1762.96	v -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 x4141 x4142 x4143 x4144 x4145 x4146 x4147 x4148 x4149 x4150 x4151 -x4152 -x4153
1800.06/1762.96	v -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170
1800.06/1762.96	v -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187
1800.06/1762.96	v -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204
1800.06/1762.96	v -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221
1800.06/1762.96	v -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238
1800.06/1762.96	v -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255
1800.06/1762.96	v -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272
1800.06/1762.96	v -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289
1800.06/1762.96	v -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306
1800.06/1762.96	v -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323
1800.06/1762.96	v -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340
1800.06/1762.96	v -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 x4351 x4352 x4353 x4354 x4355 x4356 x4357 x4358 x4359
1800.06/1762.96	v x4360 x4361 x4362 x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377
1800.06/1762.96	v -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394
1800.06/1762.96	v -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 x4411
1800.06/1762.96	v x4412 x4413 x4414 x4415 x4416 x4417 x4418 x4419 x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430
1800.06/1762.96	v -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447
1800.06/1762.96	v -x4448 -x4449 -x4450 -x4451 -x4452 x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464
1800.06/1762.96	v -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481
1800.06/1762.96	v -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498
1800.06/1762.96	v -x4499 -x4500 x4501 x4502 -x4503 x4504 x4505 x4506 x4507 x4508 x4509 x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517
1800.06/1762.96	v -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534
1800.06/1762.96	v -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 x4541 -x4542 x4543 -x4544 x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552
1800.06/1762.96	v -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569
1800.06/1762.96	v -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586
1800.06/1762.96	v -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603
1800.06/1762.96	v -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620
1800.06/1762.96	v -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637
1800.06/1762.96	v -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654
1800.06/1762.96	v -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671
1800.06/1762.96	v -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 x4681 x4682 x4683 x4684 x4685 x4686 x4687 x4688 x4689 x4690
1800.06/1762.96	v x4691 x4692 x4693 x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708
1800.06/1762.96	v -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725
1800.06/1762.96	v -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742
1800.06/1762.96	v -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759
1800.06/1762.96	v -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776
1800.06/1762.96	v -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793
1800.06/1762.96	v -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810
1800.06/1762.96	v -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827
1800.06/1762.96	v -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844
1800.06/1762.96	v -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861
1800.06/1762.96	v -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878
1800.06/1762.96	v -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 x4892 -x4893 -x4894 -x4895
1800.06/1762.96	v -x4896 -x4897 -x4898 -x4899 -x4900 x4901 -x4902 x4903 x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913
1800.06/1762.96	v -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930
1800.06/1762.96	v -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947
1800.06/1762.96	v -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964
1800.06/1762.96	v -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981
1800.06/1762.96	v -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998
1800.06/1762.96	v -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015
1800.06/1762.96	v -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032
1800.06/1762.96	v -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049
1800.06/1762.96	v -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066
1800.06/1762.96	v -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083
1800.06/1762.96	v -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100
1800.06/1762.96	v -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117
1800.06/1762.96	v -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134
1800.06/1762.96	v -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151
1800.06/1762.96	v -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 x5161 x5162 x5163 x5164 x5165 x5166 x5167 x5168 x5169 x5170
1800.06/1762.96	v x5171 x5172 x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188
1800.06/1762.96	v -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205
1800.06/1762.96	v -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222
1800.06/1762.96	v -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239
1800.06/1762.96	v -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256
1800.06/1762.96	v -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273
1800.06/1762.96	v -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290
1800.06/1762.96	v -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307
1800.06/1762.96	v -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324
1800.06/1762.96	v -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341
1800.06/1762.96	v -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358
1800.06/1762.96	v -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375
1800.06/1762.96	v -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392
1800.06/1762.96	v -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409
1800.06/1762.96	v -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426
1800.06/1762.96	v -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443
1800.06/1762.96	v -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460
1800.06/1762.96	v -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477
1800.06/1762.96	v -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494
1800.06/1762.96	v -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511
1800.06/1762.96	v -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528
1800.06/1762.96	v -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545
1800.06/1762.96	v -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562
1800.06/1762.96	v -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579
1800.06/1762.96	v -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 x5591 x5592 -x5593 -x5594 -x5595 -x5596 -x5597
1800.06/1762.96	v -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614
1800.06/1762.96	v -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 x5622 x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632
1800.06/1762.96	v -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649
1800.06/1762.96	v -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666
1800.06/1762.96	v -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683
1800.06/1762.96	v -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700
1800.06/1762.96	v -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 x5711 -x5712 x5713 x5714 -x5715 -x5716 -x5717 -x5718
1800.06/1762.96	v -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735
1800.06/1762.96	v -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752
1800.06/1762.96	v -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769
1800.06/1762.96	v -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786
1800.06/1762.96	v -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 x5802 x5803 -x5804
1800.06/1762.96	v -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821
1800.06/1762.96	v -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838
1800.06/1762.96	v -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855
1800.06/1762.96	v -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872
1800.06/1762.96	v -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889
1800.06/1762.96	v -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906
1800.06/1762.96	v -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923
1800.06/1762.96	v -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940
1800.06/1762.96	v -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957
1800.06/1762.96	v -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974
1800.06/1762.96	v -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991
1800.06/1762.96	v -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008
1800.06/1762.96	v -x6009 -x6010 x6011 x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026
1800.06/1762.96	v -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043
1800.06/1762.96	v -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060
1800.06/1762.96	v -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077
1800.06/1762.96	v -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094
1800.06/1762.96	v -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111
1800.06/1762.96	v -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128
1800.06/1762.96	v -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145
1800.06/1762.96	v -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162
1800.06/1762.96	v -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179
1800.06/1762.96	v -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196
1800.06/1762.96	v -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213
1800.06/1762.96	v -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230
1800.06/1762.96	v -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247
1800.06/1762.96	v -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264
1800.06/1762.96	v -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281
1800.06/1762.96	v -x6282 -x6283 x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298
1800.06/1762.96	v -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315
1800.06/1762.96	v -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332
1800.06/1762.96	v -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349
1800.06/1762.96	v -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366
1800.06/1762.96	v -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383
1800.06/1762.96	v -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400
1800.06/1762.96	v -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417
1800.06/1762.96	v -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434
1800.06/1762.96	v -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451
1800.06/1762.96	v -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468
1800.06/1762.96	v -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485
1800.06/1762.96	v -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502
1800.06/1762.96	v -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519
1800.06/1762.96	v -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536
1800.06/1762.96	v -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553
1800.06/1762.96	v -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570
1800.06/1762.96	v -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587
1800.06/1762.96	v -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604
1800.06/1762.96	v -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621
1800.06/1762.96	v -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638
1800.06/1762.96	v -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655
1800.06/1762.96	v -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672
1800.06/1762.96	v -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689
1800.06/1762.96	v -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 x6703 -x6704 x6705 -x6706 -x6707
1800.06/1762.96	v -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724
1800.06/1762.96	v -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741
1800.06/1762.96	v -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758
1800.06/1762.96	v -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775
1800.06/1762.96	v -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792
1800.06/1762.96	v -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809
1800.06/1762.96	v -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826
1800.06/1762.96	v -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843
1800.06/1762.96	v -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860
1800.06/1762.96	v -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877
1800.06/1762.96	v -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894
1800.06/1762.96	v -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911
1800.06/1762.96	v -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928
1800.06/1762.96	v -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945
1800.06/1762.96	v -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962
1800.06/1762.96	v -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979
1800.06/1762.96	v -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996
1800.06/1762.96	v -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013
1800.06/1762.96	v -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030
1800.06/1762.96	v -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047
1800.06/1762.96	v -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 x7061 -x7062 -x7063 -x7064
1800.06/1762.96	v -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081
1800.06/1762.96	v -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098
1800.06/1762.96	v -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115
1800.06/1762.96	v -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132
1800.06/1762.96	v -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149
1800.06/1762.96	v -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166
1800.06/1762.96	v -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183
1800.06/1762.96	v -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200
1800.06/1762.96	v x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 x7212 x7213 -x7214 -x7215 -x7216 -x7217 -x7218
1800.06/1762.96	v -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235
1800.06/1762.96	v -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252
1800.06/1762.96	v -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269
1800.06/1762.96	v -x7270 x7271 x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287
1800.06/1762.96	v -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304
1800.06/1762.96	v -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321
1800.06/1762.96	v -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338
1800.06/1762.96	v -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355
1800.06/1762.96	v -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372
1800.06/1762.96	v -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389
1800.06/1762.96	v -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406
1800.06/1762.96	v -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423
1800.06/1762.96	v -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440
1800.06/1762.96	v -x7441 -x7442 -x7443 x7444 x7445 x7446 x7447 x7448 x7449 x7450 -x7451 x7452 x7453 x7454 -x7455 -x7456 -x7457 -x7458 -x7459
1800.06/1762.96	v -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476
1800.06/1762.96	v -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493
1800.06/1762.96	v -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510
1800.06/1762.96	v -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527
1800.06/1762.96	v -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544
1800.06/1762.96	v -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561
1800.06/1762.96	v -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578
1800.06/1762.96	v -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595
1800.06/1762.96	v -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612
1800.06/1762.96	v -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629
1800.06/1762.96	v -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646
1800.06/1762.96	v -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663
1800.06/1762.96	v -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680
1800.06/1762.96	v -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697
1800.06/1762.96	v -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 x7711 -x7712 -x7713 -x7714
1800.06/1762.96	v -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731
1800.06/1762.96	v -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748
1800.06/1762.96	v -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765
1800.06/1762.96	v -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782
1800.06/1762.96	v -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799
1800.06/1762.96	v -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 x7807 -x7808 -x7809 -x7810 x7811 -x7812 -x7813 x7814 -x7815 -x7816 -x7817
1800.06/1762.96	v -x7818 -x7819 -x7820 x7821 -x7822 -x7823 -x7824 -x7825 x7826 x7827 -x7828 -x7829 x7830 -x7831 -x7832 -x7833 -x7834 -x7835
1800.06/1762.96	v -x7836 -x7837 -x7838 x7839 -x7840 x7841 -x7842 -x7843 -x7844 -x7845 -x7846 x7847 -x7848 -x7849 x7850 -x7851 -x7852 -x7853
1800.06/1762.96	v x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 x7861 -x7862 x7863 -x7864 -x7865 -x7866 x7867 -x7868 x7869 -x7870 -x7871
1800.06/1762.96	v -x7872 -x7873 x7874 x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889
1800.06/1762.96	v -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 x7905 -x7906 -x7907
1800.06/1762.96	v -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924
1800.06/1762.96	v x7925 -x7926 x7927 x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 x7935 x7936 -x7937 -x7938 x7939 -x7940 -x7941 -x7942
1800.06/1762.96	v -x7943 -x7944 -x7945 x7946 -x7947 x7948 x7949 -x7950 x7951 x7952 -x7953 -x7954 -x7955 -x7956 x7957 -x7958 -x7959 -x7960
1800.06/1762.96	v -x7961 -x7962 -x7963 x7964 -x7965 -x7966 -x7967 x7968 -x7969 -x7970 -x7971 x7972 x7973 -x7974 -x7975 -x7976 -x7977 -x7978
1800.06/1762.96	v -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 x7987 x7988 -x7989 -x7990 x7991 -x7992 -x7993 x7994 x7995 -x7996
1800.06/1762.96	v -x7997 -x7998 -x7999 -x8000 x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 x8010 -x8011 -x8012 -x8013 -x8014
1800.06/1762.96	v -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031
1800.06/1762.96	v -x8032 -x8033 -x8034 -x8035 x8036 -x8037 -x8038 -x8039 -x8040 x8041 -x8042 x8043 -x8044 -x8045 -x8046 x8047 -x8048 x8049
1800.06/1762.96	v -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 x8058 -x8059 -x8060
1800.27/1763.07	c objective function=10419320
1800.27/1763.07	c Total wall clock time (ms): 1762.524

Verifier Data (download as text)

OK	10419320

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node27/watcher-353901-1176687891 -o ROOT/results/node27/solver-353901-1176687891 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353901-1176687891/sat4jPseudoCPClause.jar /tmp/evaluation/353901-1176687891/instance-353901-1176687891.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.91 0.95 0.96 3/65 30387
/proc/meminfo: memFree=1878768/2055920 swapFree=4184608/4192956
[pid=30387] ppid=30385 vsize=152 CPUtime=0
/proc/30387/stat : 30387 (java) D 30385 30387 29198 0 -1 0 41 0 0 0 0 0 0 0 19 0 1 0 81485042 155648 26 18446744073709551615 134512640 134550740 4294956560 18446744073709551615 1467172 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/30387/statm: 38 26 19 9 0 4 0

[startup+0.104638 s]
/proc/loadavg: 0.91 0.95 0.96 3/65 30387
/proc/meminfo: memFree=1878768/2055920 swapFree=4184608/4192956
[pid=30387] ppid=30385 vsize=272 CPUtime=0
/proc/30387/stat : 30387 (java) D 30385 30387 29198 0 -1 0 216 0 0 0 0 0 0 0 18 0 1 0 81485042 278528 37 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 1467172 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/30387/statm: 68 37 28 9 0 6 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 272

[startup+0.201651 s]
/proc/loadavg: 0.91 0.95 0.96 3/65 30387
/proc/meminfo: memFree=1878768/2055920 swapFree=4184608/4192956
[pid=30387] ppid=30385 vsize=12584 CPUtime=0.02
/proc/30387/stat : 30387 (java) S 30385 30387 29198 0 -1 0 783 0 27 0 0 2 0 0 18 0 2 0 81485042 12886016 584 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/30387/statm: 3146 584 271 9 0 1243 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12584

[startup+0.302676 s]
/proc/loadavg: 0.91 0.95 0.96 3/65 30387
/proc/meminfo: memFree=1878768/2055920 swapFree=4184608/4192956
[pid=30387] ppid=30385 vsize=1777060 CPUtime=0.06
/proc/30387/stat : 30387 (java) S 30385 30387 29198 0 -1 0 3475 0 42 0 2 4 0 0 18 0 5 0 81485042 1819709440 3261 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/30387/statm: 444265 3261 1046 9 0 441901 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 1777060

[startup+0.702705 s]
/proc/loadavg: 0.91 0.95 0.96 3/65 30387
/proc/meminfo: memFree=1878768/2055920 swapFree=4184608/4192956
[pid=30387] ppid=30385 vsize=1781796 CPUtime=0.46
/proc/30387/stat : 30387 (java) S 30385 30387 29198 0 -1 0 5283 0 42 0 40 6 0 0 18 0 12 0 81485042 1824559104 5046 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30387/statm: 445449 5046 1273 9 0 443060 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 1781796

[startup+1.50279 s]
/proc/loadavg: 0.91 0.95 0.96 4/77 30399
/proc/meminfo: memFree=1841616/2055920 swapFree=4184608/4192956
[pid=30387] ppid=30385 vsize=1791760 CPUtime=1.9
/proc/30387/stat : 30387 (java) S 30385 30387 29198 0 -1 0 14965 0 42 0 179 11 0 0 18 0 12 0 81485042 1834762240 12219 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30387/statm: 447940 12221 1304 9 0 445551 0
[pid=30387/tid=30389] ppid=30385 vsize=1791760 CPUtime=0.71
/proc/30387/task/30389/stat : 30389 (java) R 30385 30387 29198 0 -1 64 8680 0 18 0 65 6 0 0 18 0 12 0 81485059 1834762240 12221 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109546935 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30387/tid=30390] ppid=30385 vsize=1791760 CPUtime=0
/proc/30387/task/30390/stat : 30390 (java) S 30385 30387 29198 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 81485067 1834762240 12222 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30391] ppid=30385 vsize=1791760 CPUtime=0
/proc/30387/task/30391/stat : 30391 (java) S 30385 30387 29198 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 81485068 1834762240 12223 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30392] ppid=30385 vsize=1791760 CPUtime=0
/proc/30387/task/30392/stat : 30392 (java) S 30385 30387 29198 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 81485072 1834762240 12224 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30393] ppid=30385 vsize=1791760 CPUtime=0
/proc/30387/task/30393/stat : 30393 (java) S 30385 30387 29198 0 -1 64 9 0 0 0 0 0 0 0 21 0 12 0 81485073 1834762240 12224 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30394] ppid=30385 vsize=1791760 CPUtime=0
/proc/30387/task/30394/stat : 30394 (java) S 30385 30387 29198 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 81485073 1834762240 12225 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30395] ppid=30385 vsize=1791760 CPUtime=0
/proc/30387/task/30395/stat : 30395 (java) S 30385 30387 29198 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 81485082 1834762240 12226 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30396] ppid=30385 vsize=1791760 CPUtime=0.63
/proc/30387/task/30396/stat : 30396 (java) S 30385 30387 29198 0 -1 64 3592 0 0 0 62 1 0 0 18 0 12 0 81485082 1834762240 12227 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30387/tid=30397] ppid=30385 vsize=1791760 CPUtime=0.51
/proc/30387/task/30397/stat : 30397 (java) S 30385 30387 29198 0 -1 64 2000 0 0 0 50 1 0 0 16 0 12 0 81485082 1834762240 12228 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30398] ppid=30385 vsize=1791760 CPUtime=0
/proc/30387/task/30398/stat : 30398 (java) S 30385 30387 29198 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 81485082 1834762240 12228 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30399] ppid=30385 vsize=1791760 CPUtime=0
/proc/30387/task/30399/stat : 30399 (java) S 30385 30387 29198 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 81485082 1834762240 12229 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 1791760

[startup+3.10194 s]
/proc/loadavg: 0.91 0.95 0.96 3/78 30400
/proc/meminfo: memFree=1806088/2055920 swapFree=4184608/4192956
[pid=30387] ppid=30385 vsize=1793108 CPUtime=4.56
/proc/30387/stat : 30387 (java) S 30385 30387 29198 0 -1 0 31473 0 42 0 439 17 0 0 18 0 13 0 81485042 1836142592 24232 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30387/statm: 448277 24232 1318 9 0 445888 0
[pid=30387/tid=30389] ppid=30385 vsize=1793108 CPUtime=1.86
/proc/30387/task/30389/stat : 30389 (java) R 30385 30387 29198 0 -1 64 20538 0 18 0 176 10 0 0 19 0 13 0 81485059 1836142592 24233 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109630026 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30387/tid=30390] ppid=30385 vsize=1793108 CPUtime=0
/proc/30387/task/30390/stat : 30390 (java) S 30385 30387 29198 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 81485067 1836142592 24233 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30391] ppid=30385 vsize=1793108 CPUtime=0
/proc/30387/task/30391/stat : 30391 (java) S 30385 30387 29198 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 81485068 1836142592 24234 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30392] ppid=30385 vsize=1793108 CPUtime=0
/proc/30387/task/30392/stat : 30392 (java) S 30385 30387 29198 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 81485072 1836142592 24234 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30387/tid=30393] ppid=30385 vsize=1793108 CPUtime=0
/proc/30387/task/30393/stat : 30393 (java) S 30385 30387 29198 0 -1 64 9 0 0 0 0 0 0 0 21 0 13 0 81485073 1836142592 24234 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30394] ppid=30385 vsize=1793108 CPUtime=0
/proc/30387/task/30394/stat : 30394 (java) S 30385 30387 29198 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 81485073 1836142592 24235 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30395] ppid=30385 vsize=1793108 CPUtime=0
/proc/30387/task/30395/stat : 30395 (java) S 30385 30387 29198 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 81485082 1836142592 24235 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30396] ppid=30385 vsize=1793108 CPUtime=1.38
/proc/30387/task/30396/stat : 30396 (java) S 30385 30387 29198 0 -1 64 5982 0 0 0 136 2 0 0 17 0 13 0 81485082 1836142592 24235 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30387/tid=30397] ppid=30385 vsize=1793108 CPUtime=1.28
/proc/30387/task/30397/stat : 30397 (java) S 30385 30387 29198 0 -1 64 4253 0 0 0 126 2 0 0 17 0 13 0 81485082 1836142592 24235 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30398] ppid=30385 vsize=1793108 CPUtime=0
/proc/30387/task/30398/stat : 30398 (java) S 30385 30387 29198 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 81485082 1836142592 24236 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30399] ppid=30385 vsize=1793108 CPUtime=0
/proc/30387/task/30399/stat : 30399 (java) S 30385 30387 29198 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 81485082 1836142592 24236 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30387/tid=30400] ppid=30385 vsize=1793108 CPUtime=0
/proc/30387/task/30400/stat : 30400 (java) S 30385 30387 29198 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 81485228 1836142592 24236 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.56
Current children cumulated vsize (KiB) 1793108

[startup+6.30226 s]
/proc/loadavg: 0.92 0.95 0.96 2/78 30400
/proc/meminfo: memFree=1700744/2055920 swapFree=4184608/4192956
[pid=30387] ppid=30385 vsize=1793044 CPUtime=8.19
/proc/30387/stat : 30387 (java) S 30385 30387 29198 0 -1 0 52703 0 42 0 794 25 0 0 18 0 13 0 81485042 1836077056 43242 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30387/statm: 448261 43242 1327 9 0 445872 0
[pid=30387/tid=30389] ppid=30385 vsize=1793044 CPUtime=4.99
/proc/30387/task/30389/stat : 30389 (java) R 30385 30387 29198 0 -1 64 37697 0 18 0 483 16 0 0 25 0 13 0 81485059 1836077056 43242 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109774167 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30387/tid=30390] ppid=30385 vsize=1793044 CPUtime=0.03
/proc/30387/task/30390/stat : 30390 (java) S 30385 30387 29198 0 -1 64 941 0 0 0 3 0 0 0 16 0 13 0 81485067 1836077056 43242 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30391] ppid=30385 vsize=1793044 CPUtime=0.02
/proc/30387/task/30391/stat : 30391 (java) S 30385 30387 29198 0 -1 64 765 0 0 0 2 0 0 0 16 0 13 0 81485068 1836077056 43242 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30387/tid=30392] ppid=30385 vsize=1793044 CPUtime=0
/proc/30387/task/30392/stat : 30392 (java) S 30385 30387 29198 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 81485072 1836077056 43242 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30393] ppid=30385 vsize=1793044 CPUtime=0
/proc/30387/task/30393/stat : 30393 (java) S 30385 30387 29198 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 81485073 1836077056 43242 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30394] ppid=30385 vsize=1793044 CPUtime=0
/proc/30387/task/30394/stat : 30394 (java) S 30385 30387 29198 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 81485073 1836077056 43242 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30395] ppid=30385 vsize=1793044 CPUtime=0
/proc/30387/task/30395/stat : 30395 (java) S 30385 30387 29198 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 81485082 1836077056 43242 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30396] ppid=30385 vsize=1793044 CPUtime=1.6
/proc/30387/task/30396/stat : 30396 (java) S 30385 30387 29198 0 -1 64 6937 0 0 0 158 2 0 0 15 0 13 0 81485082 1836077056 43242 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30397] ppid=30385 vsize=1793044 CPUtime=1.48
/proc/30387/task/30397/stat : 30397 (java) S 30385 30387 29198 0 -1 64 5657 0 0 0 145 3 0 0 16 0 13 0 81485082 1836077056 43242 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30387/tid=30398] ppid=30385 vsize=1793044 CPUtime=0
/proc/30387/task/30398/stat : 30398 (java) S 30385 30387 29198 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 81485082 1836077056 43242 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30399] ppid=30385 vsize=1793044 CPUtime=0
/proc/30387/task/30399/stat : 30399 (java) S 30385 30387 29198 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 81485082 1836077056 43242 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30387/tid=30400] ppid=30385 vsize=1793044 CPUtime=0
/proc/30387/task/30400/stat : 30400 (java) S 30385 30387 29198 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 81485228 1836077056 43242 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.19
Current children cumulated vsize (KiB) 1793044

[startup+12.7019 s]
/proc/loadavg: 0.93 0.95 0.96 2/78 30400
/proc/meminfo: memFree=1687688/2055920 swapFree=4184608/4192956
[pid=30387] ppid=30385 vsize=1792884 CPUtime=14.72
/proc/30387/stat : 30387 (java) S 30385 30387 29198 0 -1 0 56105 0 42 0 1445 27 0 0 18 0 13 0 81485042 1835913216 46572 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30387/statm: 448221 46572 1328 9 0 445832 0
[pid=30387/tid=30389] ppid=30385 vsize=1792884 CPUtime=11.29
/proc/30387/task/30389/stat : 30389 (java) R 30385 30387 29198 0 -1 64 37700 0 18 0 1113 16 0 0 25 0 13 0 81485059 1835913216 46572 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109807583 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30387/tid=30390] ppid=30385 vsize=1792884 CPUtime=0.11
/proc/30387/task/30390/stat : 30390 (java) S 30385 30387 29198 0 -1 64 2661 0 0 0 10 1 0 0 16 0 13 0 81485067 1835913216 46572 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30391] ppid=30385 vsize=1792884 CPUtime=0.1
/proc/30387/task/30391/stat : 30391 (java) S 30385 30387 29198 0 -1 64 2435 0 0 0 9 1 0 0 16 0 13 0 81485068 1835913216 46572 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30387/tid=30392] ppid=30385 vsize=1792884 CPUtime=0
/proc/30387/task/30392/stat : 30392 (java) S 30385 30387 29198 0 -1 64 13 0 0 0 0 0 0 0 16 0 13 0 81485072 1835913216 46572 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30393] ppid=30385 vsize=1792884 CPUtime=0
/proc/30387/task/30393/stat : 30393 (java) S 30385 30387 29198 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 81485073 1835913216 46572 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30394] ppid=30385 vsize=1792884 CPUtime=0
/proc/30387/task/30394/stat : 30394 (java) S 30385 30387 29198 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 81485073 1835913216 46572 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30395] ppid=30385 vsize=1792884 CPUtime=0
/proc/30387/task/30395/stat : 30395 (java) S 30385 30387 29198 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 81485082 1835913216 46572 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30396] ppid=30385 vsize=1792884 CPUtime=1.66
/proc/30387/task/30396/stat : 30396 (java) S 30385 30387 29198 0 -1 64 6940 0 0 0 164 2 0 0 17 0 13 0 81485082 1835913216 46572 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30397] ppid=30385 vsize=1792884 CPUtime=1.49
/proc/30387/task/30397/stat : 30397 (java) S 30385 30387 29198 0 -1 64 5658 0 0 0 146 3 0 0 16 0 13 0 81485082 1835913216 46572 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30387/tid=30398] ppid=30385 vsize=1792884 CPUtime=0
/proc/30387/task/30398/stat : 30398 (java) S 30385 30387 29198 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 81485082 1835913216 46572 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30399] ppid=30385 vsize=1792884 CPUtime=0
/proc/30387/task/30399/stat : 30399 (java) S 30385 30387 29198 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 81485082 1835913216 46572 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30387/tid=30400] ppid=30385 vsize=1792884 CPUtime=0
/proc/30387/task/30400/stat : 30400 (java) S 30385 30387 29198 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 81485228 1835913216 46572 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.72
Current children cumulated vsize (KiB) 1792884

[startup+25.5022 s]
/proc/loadavg: 0.94 0.96 0.96 2/78 30400
/proc/meminfo: memFree=1670984/2055920 swapFree=4184608/4192956
[pid=30387] ppid=30385 vsize=1792884 CPUtime=27.73
/proc/30387/stat : 30387 (java) S 30385 30387 29198 0 -1 0 61554 0 42 0 2743 30 0 0 18 0 13 0 81485042 1835913216 50772 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30387/statm: 448221 50772 1328 9 0 445832 0
[pid=30387/tid=30389] ppid=30385 vsize=1792884 CPUtime=23.85
/proc/30387/task/30389/stat : 30389 (java) R 30385 30387 29198 0 -1 64 37705 0 18 0 2369 16 0 0 25 0 13 0 81485059 1835913216 50772 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109775702 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30387/tid=30390] ppid=30385 vsize=1792884 CPUtime=0.32
/proc/30387/task/30390/stat : 30390 (java) S 30385 30387 29198 0 -1 64 5152 0 0 0 30 2 0 0 16 0 13 0 81485067 1835913216 50772 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30391] ppid=30385 vsize=1792884 CPUtime=0.32
/proc/30387/task/30391/stat : 30391 (java) S 30385 30387 29198 0 -1 64 5375 0 0 0 29 3 0 0 16 0 13 0 81485068 1835913216 50772 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30387/tid=30392] ppid=30385 vsize=1792884 CPUtime=0
/proc/30387/task/30392/stat : 30392 (java) S 30385 30387 29198 0 -1 64 24 0 0 0 0 0 0 0 16 0 13 0 81485072 1835913216 50772 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0

################
# More data... #
################

/proc/30387/task/30396/stat : 30396 (java) S 30385 30387 29198 0 -1 64 6971 0 0 0 201 2 0 0 16 0 13 0 81485082 1835913216 175251 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30397] ppid=30385 vsize=1792884 CPUtime=1.86
/proc/30387/task/30397/stat : 30397 (java) S 30385 30387 29198 0 -1 64 5681 0 0 0 183 3 0 0 16 0 13 0 81485082 1835913216 175251 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30387/tid=30398] ppid=30385 vsize=1792884 CPUtime=0
/proc/30387/task/30398/stat : 30398 (java) S 30385 30387 29198 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 81485082 1835913216 175251 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30399] ppid=30385 vsize=1792884 CPUtime=0
/proc/30387/task/30399/stat : 30399 (java) S 30385 30387 29198 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 81485082 1835913216 175251 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30403] ppid=30385 vsize=1792884 CPUtime=0
/proc/30387/task/30403/stat : 30403 (java) S 30385 30387 29198 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 81491940 1835913216 175251 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1572.66
Current children cumulated vsize (KiB) 1792884

[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 31011
/proc/meminfo: memFree=1128176/2055920 swapFree=4184608/4192956
[pid=30387] ppid=30385 vsize=1792884 CPUtime=1634.42
/proc/30387/stat : 30387 (java) S 30385 30387 29198 0 -1 0 227356 0 42 0 163320 122 0 0 18 0 13 0 81485042 1835913216 178336 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30387/statm: 448221 178336 1336 9 0 445832 0
[pid=30387/tid=30389] ppid=30385 vsize=1792884 CPUtime=1568.4
/proc/30387/task/30389/stat : 30389 (java) R 30385 30387 29198 0 -1 64 59407 0 18 0 156808 32 0 0 25 0 13 0 81485059 1835913216 178336 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109775631 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30390] ppid=30385 vsize=1792884 CPUtime=30.9
/proc/30387/task/30390/stat : 30390 (java) S 30385 30387 29198 0 -1 64 77760 0 0 0 3055 35 0 0 16 0 13 0 81485067 1835913216 178336 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30391] ppid=30385 vsize=1792884 CPUtime=30.86
/proc/30387/task/30391/stat : 30391 (java) S 30385 30387 29198 0 -1 64 76758 0 0 0 3052 34 0 0 17 0 13 0 81485068 1835913216 178336 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30387/tid=30392] ppid=30385 vsize=1792884 CPUtime=0.29
/proc/30387/task/30392/stat : 30392 (java) S 30385 30387 29198 0 -1 64 76 0 0 0 18 11 0 0 16 0 13 0 81485072 1835913216 178336 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30393] ppid=30385 vsize=1792884 CPUtime=0
/proc/30387/task/30393/stat : 30393 (java) S 30385 30387 29198 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 81485073 1835913216 178336 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30394] ppid=30385 vsize=1792884 CPUtime=0
/proc/30387/task/30394/stat : 30394 (java) S 30385 30387 29198 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 81485073 1835913216 178336 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30395] ppid=30385 vsize=1792884 CPUtime=0
/proc/30387/task/30395/stat : 30395 (java) S 30385 30387 29198 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 81485082 1835913216 178336 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30396] ppid=30385 vsize=1792884 CPUtime=2.03
/proc/30387/task/30396/stat : 30396 (java) S 30385 30387 29198 0 -1 64 6971 0 0 0 201 2 0 0 16 0 13 0 81485082 1835913216 178336 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30397] ppid=30385 vsize=1792884 CPUtime=1.86
/proc/30387/task/30397/stat : 30397 (java) S 30385 30387 29198 0 -1 64 5681 0 0 0 183 3 0 0 16 0 13 0 81485082 1835913216 178336 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30387/tid=30398] ppid=30385 vsize=1792884 CPUtime=0
/proc/30387/task/30398/stat : 30398 (java) S 30385 30387 29198 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 81485082 1835913216 178336 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30399] ppid=30385 vsize=1792884 CPUtime=0
/proc/30387/task/30399/stat : 30399 (java) S 30385 30387 29198 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 81485082 1835913216 178336 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30403] ppid=30385 vsize=1792884 CPUtime=0
/proc/30387/task/30403/stat : 30403 (java) S 30385 30387 29198 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 81491940 1835913216 178336 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1634.42
Current children cumulated vsize (KiB) 1792884

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31011
/proc/meminfo: memFree=1113264/2055920 swapFree=4184608/4192956
[pid=30387] ppid=30385 vsize=1792884 CPUtime=1696.33
/proc/30387/stat : 30387 (java) S 30385 30387 29198 0 -1 0 231273 0 42 0 169508 125 0 0 18 0 13 0 81485042 1835913216 182070 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30387/statm: 448221 182070 1336 9 0 445832 0
[pid=30387/tid=30389] ppid=30385 vsize=1792884 CPUtime=1626.4
/proc/30387/task/30389/stat : 30389 (java) R 30385 30387 29198 0 -1 64 59444 0 18 0 162608 32 0 0 25 0 13 0 81485059 1835913216 182070 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109536256 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30390] ppid=30385 vsize=1792884 CPUtime=32.86
/proc/30387/task/30390/stat : 30390 (java) S 30385 30387 29198 0 -1 64 80674 0 0 0 3249 37 0 0 16 0 13 0 81485067 1835913216 182070 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30391] ppid=30385 vsize=1792884 CPUtime=32.81
/proc/30387/task/30391/stat : 30391 (java) S 30385 30387 29198 0 -1 64 77724 0 0 0 3246 35 0 0 17 0 13 0 81485068 1835913216 182070 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30387/tid=30392] ppid=30385 vsize=1792884 CPUtime=0.29
/proc/30387/task/30392/stat : 30392 (java) S 30385 30387 29198 0 -1 64 76 0 0 0 18 11 0 0 16 0 13 0 81485072 1835913216 182070 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30387/tid=30393] ppid=30385 vsize=1792884 CPUtime=0
/proc/30387/task/30393/stat : 30393 (java) S 30385 30387 29198 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 81485073 1835913216 182070 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30394] ppid=30385 vsize=1792884 CPUtime=0
/proc/30387/task/30394/stat : 30394 (java) S 30385 30387 29198 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 81485073 1835913216 182070 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30395] ppid=30385 vsize=1792884 CPUtime=0
/proc/30387/task/30395/stat : 30395 (java) S 30385 30387 29198 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 81485082 1835913216 182070 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30396] ppid=30385 vsize=1792884 CPUtime=2.03
/proc/30387/task/30396/stat : 30396 (java) S 30385 30387 29198 0 -1 64 6971 0 0 0 201 2 0 0 16 0 13 0 81485082 1835913216 182070 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30397] ppid=30385 vsize=1792884 CPUtime=1.86
/proc/30387/task/30397/stat : 30397 (java) S 30385 30387 29198 0 -1 64 5681 0 0 0 183 3 0 0 16 0 13 0 81485082 1835913216 182070 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30387/tid=30398] ppid=30385 vsize=1792884 CPUtime=0
/proc/30387/task/30398/stat : 30398 (java) S 30385 30387 29198 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 81485082 1835913216 182070 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30399] ppid=30385 vsize=1792884 CPUtime=0
/proc/30387/task/30399/stat : 30399 (java) S 30385 30387 29198 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 81485082 1835913216 182070 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30403] ppid=30385 vsize=1792884 CPUtime=0
/proc/30387/task/30403/stat : 30403 (java) S 30385 30387 29198 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 81491940 1835913216 182070 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1696.33
Current children cumulated vsize (KiB) 1792884

[startup+1722.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 31011
/proc/meminfo: memFree=1100016/2055920 swapFree=4184608/4192956
[pid=30387] ppid=30385 vsize=1792884 CPUtime=1758.17
/proc/30387/stat : 30387 (java) S 30385 30387 29198 0 -1 0 234697 0 42 0 175690 127 0 0 18 0 13 0 81485042 1835913216 185366 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30387/statm: 448221 185366 1336 9 0 445832 0
[pid=30387/tid=30389] ppid=30385 vsize=1792884 CPUtime=1684.45
/proc/30387/task/30389/stat : 30389 (java) R 30385 30387 29198 0 -1 64 59479 0 18 0 168413 32 0 0 25 0 13 0 81485059 1835913216 185366 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109889643 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30390] ppid=30385 vsize=1792884 CPUtime=34.74
/proc/30387/task/30390/stat : 30390 (java) S 30385 30387 29198 0 -1 64 82253 0 0 0 3437 37 0 0 17 0 13 0 81485067 1835913216 185366 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30391] ppid=30385 vsize=1792884 CPUtime=34.7
/proc/30387/task/30391/stat : 30391 (java) S 30385 30387 29198 0 -1 64 79534 0 0 0 3433 37 0 0 16 0 13 0 81485068 1835913216 185366 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30387/tid=30392] ppid=30385 vsize=1792884 CPUtime=0.3
/proc/30387/task/30392/stat : 30392 (java) S 30385 30387 29198 0 -1 64 76 0 0 0 19 11 0 0 16 0 13 0 81485072 1835913216 185366 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30387/tid=30393] ppid=30385 vsize=1792884 CPUtime=0
/proc/30387/task/30393/stat : 30393 (java) S 30385 30387 29198 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 81485073 1835913216 185366 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30394] ppid=30385 vsize=1792884 CPUtime=0
/proc/30387/task/30394/stat : 30394 (java) S 30385 30387 29198 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 81485073 1835913216 185366 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30395] ppid=30385 vsize=1792884 CPUtime=0
/proc/30387/task/30395/stat : 30395 (java) S 30385 30387 29198 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 81485082 1835913216 185366 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30396] ppid=30385 vsize=1792884 CPUtime=2.03
/proc/30387/task/30396/stat : 30396 (java) S 30385 30387 29198 0 -1 64 6971 0 0 0 201 2 0 0 16 0 13 0 81485082 1835913216 185366 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30397] ppid=30385 vsize=1792884 CPUtime=1.86
/proc/30387/task/30397/stat : 30397 (java) S 30385 30387 29198 0 -1 64 5681 0 0 0 183 3 0 0 16 0 13 0 81485082 1835913216 185366 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30387/tid=30398] ppid=30385 vsize=1792884 CPUtime=0
/proc/30387/task/30398/stat : 30398 (java) S 30385 30387 29198 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 81485082 1835913216 185366 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30399] ppid=30385 vsize=1792884 CPUtime=0
/proc/30387/task/30399/stat : 30399 (java) S 30385 30387 29198 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 81485082 1835913216 185366 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30403] ppid=30385 vsize=1792884 CPUtime=0
/proc/30387/task/30403/stat : 30403 (java) S 30385 30387 29198 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 81491940 1835913216 185366 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1758.17
Current children cumulated vsize (KiB) 1792884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1762.9 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 31011
/proc/meminfo: memFree=1091440/2055920 swapFree=4184608/4192956
[pid=30387] ppid=30385 vsize=1792884 CPUtime=1800.06
/proc/30387/stat : 30387 (java) S 30385 30387 29198 0 -1 0 236963 0 42 0 179878 128 0 0 18 0 13 0 81485042 1835913216 187514 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30387/statm: 448221 187514 1336 9 0 445832 0
[pid=30387/tid=30389] ppid=30385 vsize=1792884 CPUtime=1723.72
/proc/30387/task/30389/stat : 30389 (java) R 30385 30387 29198 0 -1 64 59503 0 18 0 172340 32 0 0 25 0 13 0 81485059 1835913216 187514 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109774925 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30390] ppid=30385 vsize=1792884 CPUtime=36.05
/proc/30387/task/30390/stat : 30390 (java) S 30385 30387 29198 0 -1 64 84038 0 0 0 3567 38 0 0 16 0 13 0 81485067 1835913216 187514 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30391] ppid=30385 vsize=1792884 CPUtime=36.02
/proc/30387/task/30391/stat : 30391 (java) S 30385 30387 29198 0 -1 64 79991 0 0 0 3565 37 0 0 16 0 13 0 81485068 1835913216 187514 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30387/tid=30392] ppid=30385 vsize=1792884 CPUtime=0.3
/proc/30387/task/30392/stat : 30392 (java) S 30385 30387 29198 0 -1 64 76 0 0 0 19 11 0 0 15 0 13 0 81485072 1835913216 187514 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30387/tid=30393] ppid=30385 vsize=1792884 CPUtime=0
/proc/30387/task/30393/stat : 30393 (java) S 30385 30387 29198 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 81485073 1835913216 187514 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30394] ppid=30385 vsize=1792884 CPUtime=0
/proc/30387/task/30394/stat : 30394 (java) S 30385 30387 29198 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 81485073 1835913216 187514 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30395] ppid=30385 vsize=1792884 CPUtime=0
/proc/30387/task/30395/stat : 30395 (java) S 30385 30387 29198 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 81485082 1835913216 187514 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30396] ppid=30385 vsize=1792884 CPUtime=2.03
/proc/30387/task/30396/stat : 30396 (java) S 30385 30387 29198 0 -1 64 6971 0 0 0 201 2 0 0 16 0 13 0 81485082 1835913216 187514 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30397] ppid=30385 vsize=1792884 CPUtime=1.86
/proc/30387/task/30397/stat : 30397 (java) S 30385 30387 29198 0 -1 64 5681 0 0 0 183 3 0 0 16 0 13 0 81485082 1835913216 187514 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30387/tid=30398] ppid=30385 vsize=1792884 CPUtime=0
/proc/30387/task/30398/stat : 30398 (java) S 30385 30387 29198 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 81485082 1835913216 187514 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30399] ppid=30385 vsize=1792884 CPUtime=0
/proc/30387/task/30399/stat : 30399 (java) S 30385 30387 29198 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 81485082 1835913216 187514 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30387/tid=30403] ppid=30385 vsize=1792884 CPUtime=0
/proc/30387/task/30403/stat : 30403 (java) S 30385 30387 29198 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 81491940 1835913216 187514 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1792884

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1763.1 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 31011
/proc/meminfo: memFree=1091440/2055920 swapFree=4184608/4192956
[pid=30387] ppid=30385 vsize=0 CPUtime=1800.41
/proc/30387/stat : 30387 (java) Z 30385 30387 29198 0 -1 1036 236982 0 42 0 179912 129 0 0 15 0 2 0 81485042 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30387/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.41
Current children cumulated vsize (KiB) 0

[startup+1763.2 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 31011
/proc/meminfo: memFree=1091440/2055920 swapFree=4184608/4192956
[pid=30387] ppid=30385 vsize=0 CPUtime=1800.51
/proc/30387/stat : 30387 (java) Z 30385 30387 29198 0 -1 1036 236982 0 42 0 179912 139 0 0 15 0 2 0 81485042 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30387/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.51
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1763.21
CPU time (s): 1800.53
CPU user time (s): 1799.12
CPU system time (s): 1.40079
CPU usage (%): 102.117
Max. virtual memory (cumulated for all children) (KiB): 1797616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.12
system time used= 1.40079
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 236982
page faults= 42
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46896
involuntary context switches= 35312

runsolver used 1.88971 second user time and 5.12122 second system time

The end

Launcher Data (download as text)

Begin job on node27 on Mon Apr 16 01:44:51 UTC 2007

IDJOB= 353901
IDBENCH= 2288
IDSOLVER= 164
FILE ID= node27/353901-1176687891

PBS_JOBID= 4559956

Free space on /tmp= 66514 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-ran10x26.opb
COMMAND LINE= java  -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353901-1176687891/sat4jPseudoCPClause.jar /tmp/evaluation/353901-1176687891/instance-353901-1176687891.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node27/watcher-353901-1176687891 -o ROOT/results/node27/solver-353901-1176687891 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java  -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353901-1176687891/sat4jPseudoCPClause.jar /tmp/evaluation/353901-1176687891/instance-353901-1176687891.opb

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  24310f50398f30cad58c742db29765ce

RANDOM SEED= 763947420

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node27.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.213
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.213
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:       1879176 kB
Buffers:          5564 kB
Cached:         103820 kB
SwapCached:       2476 kB
Active:          62180 kB
Inactive:        58608 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1879176 kB
SwapTotal:     4192956 kB
SwapFree:      4184608 kB
Dirty:            3984 kB
Writeback:           0 kB
Mapped:          18124 kB
Slab:            41972 kB
Committed_AS:  1543776 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= 66514 MiB

End job on node27 on Mon Apr 16 02:14:16 UTC 2007