Trace number 372564

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
SAT4JPseudoResolution 2007-03-23SAT (TO)34 1800.4 1798.03

General information on the benchmark

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

Verifier Data (download as text)

OK	34

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node40/watcher-372564-1177106899 -o ROOT/results/node40/solver-372564-1177106899 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/372564-1177106899/sat4jPseudoResolution.jar /tmp/evaluation/372564-1177106899/instance-372564-1177106899.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.88 0.97 0.99 2/77 18652
/proc/meminfo: memFree=1762072/2055920 swapFree=4112856/4192956
[pid=18652] ppid=18650 vsize=1800 CPUtime=0
/proc/18652/stat : 18652 (java) D 18650 18652 17553 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 39569524 1843200 138 18446744073709551615 134512640 134550740 4294956560 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/18652/statm: 450 138 101 9 0 92 0

[startup+0.105203 s]
/proc/loadavg: 0.88 0.97 0.99 2/77 18652
/proc/meminfo: memFree=1762072/2055920 swapFree=4112856/4192956
[pid=18652] ppid=18650 vsize=1780256 CPUtime=0.09
/proc/18652/stat : 18652 (java) S 18650 18652 17553 0 -1 0 4016 0 1 0 7 2 0 0 18 0 12 0 39569524 1822982144 3758 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18652/statm: 445064 3758 1124 9 0 442683 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1780256

[startup+0.202226 s]
/proc/loadavg: 0.88 0.97 0.99 2/77 18652
/proc/meminfo: memFree=1762072/2055920 swapFree=4112856/4192956
[pid=18652] ppid=18650 vsize=1782036 CPUtime=0.2
/proc/18652/stat : 18652 (java) S 18650 18652 17553 0 -1 0 4862 0 1 0 18 2 0 0 18 0 12 0 39569524 1824804864 4601 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18652/statm: 445509 4601 1244 9 0 443121 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 1782036

[startup+0.302245 s]
/proc/loadavg: 0.88 0.97 0.99 2/77 18652
/proc/meminfo: memFree=1762072/2055920 swapFree=4112856/4192956
[pid=18652] ppid=18650 vsize=1782036 CPUtime=0.33
/proc/18652/stat : 18652 (java) S 18650 18652 17553 0 -1 0 5132 0 1 0 30 3 0 0 18 0 12 0 39569524 1824804864 4868 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18652/statm: 445509 4868 1264 9 0 443121 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 1782036

[startup+0.70133 s]
/proc/loadavg: 0.88 0.97 0.99 2/77 18652
/proc/meminfo: memFree=1762072/2055920 swapFree=4112856/4192956
[pid=18652] ppid=18650 vsize=1784188 CPUtime=0.91
/proc/18652/stat : 18652 (java) S 18650 18652 17553 0 -1 0 7445 0 1 0 87 4 0 0 18 0 12 0 39569524 1827008512 6767 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18652/statm: 446047 6767 1300 9 0 443659 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 1784188

[startup+1.5015 s]
/proc/loadavg: 0.88 0.97 0.99 2/89 18664
/proc/meminfo: memFree=1727224/2055920 swapFree=4112856/4192956
[pid=18652] ppid=18650 vsize=1785688 CPUtime=2.13
/proc/18652/stat : 18652 (java) S 18650 18652 17553 0 -1 0 17880 0 1 0 204 9 0 0 18 0 12 0 39569524 1828544512 15966 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18652/statm: 446422 15967 1305 9 0 444034 0
[pid=18652/tid=18654] ppid=18650 vsize=1785688 CPUtime=1.01
/proc/18652/task/18654/stat : 18654 (java) R 18650 18652 17553 0 -1 64 14061 0 1 0 95 6 0 0 24 0 12 0 39569526 1828544512 15968 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109641878 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18652/tid=18655] ppid=18650 vsize=1785688 CPUtime=0
/proc/18652/task/18655/stat : 18655 (java) S 18650 18652 17553 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 39569527 1828544512 15968 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18656] ppid=18650 vsize=1785688 CPUtime=0
/proc/18652/task/18656/stat : 18656 (java) S 18650 18652 17553 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 39569527 1828544512 15969 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18657] ppid=18650 vsize=1785688 CPUtime=0
/proc/18652/task/18657/stat : 18657 (java) S 18650 18652 17553 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 39569529 1828544512 15970 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18658] ppid=18650 vsize=1785688 CPUtime=0
/proc/18652/task/18658/stat : 18658 (java) S 18650 18652 17553 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 39569530 1828544512 15971 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18659] ppid=18650 vsize=1785688 CPUtime=0
/proc/18652/task/18659/stat : 18659 (java) S 18650 18652 17553 0 -1 64 3 0 0 0 0 0 0 0 23 0 12 0 39569530 1828544512 15972 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18660] ppid=18650 vsize=1785688 CPUtime=0
/proc/18652/task/18660/stat : 18660 (java) S 18650 18652 17553 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 39569534 1828544512 15972 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18661] ppid=18650 vsize=1785688 CPUtime=0.6
/proc/18652/task/18661/stat : 18661 (java) S 18650 18652 17553 0 -1 64 2018 0 0 0 60 0 0 0 16 0 12 0 39569534 1828544512 15973 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18652/tid=18662] ppid=18650 vsize=1785688 CPUtime=0.47
/proc/18652/task/18662/stat : 18662 (java) S 18650 18652 17553 0 -1 64 1083 0 0 0 47 0 0 0 16 0 12 0 39569534 1828544512 15974 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18663] ppid=18650 vsize=1785688 CPUtime=0
/proc/18652/task/18663/stat : 18663 (java) S 18650 18652 17553 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 39569534 1828544512 15975 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18664] ppid=18650 vsize=1785688 CPUtime=0
/proc/18652/task/18664/stat : 18664 (java) S 18650 18652 17553 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 39569534 1828544512 15975 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 1785688

[startup+3.10282 s]
/proc/loadavg: 0.88 0.97 0.99 3/90 18666
/proc/meminfo: memFree=1686640/2055920 swapFree=4112856/4192956
[pid=18652] ppid=18650 vsize=1788156 CPUtime=4.27
/proc/18652/stat : 18652 (java) S 18650 18652 17553 0 -1 0 23983 0 1 0 415 12 0 0 18 0 13 0 39569524 1831071744 20213 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18652/statm: 447039 20213 1317 9 0 444651 0
[pid=18652/tid=18654] ppid=18650 vsize=1788156 CPUtime=2.24
/proc/18652/task/18654/stat : 18654 (java) R 18650 18652 17553 0 -1 64 17835 0 1 0 216 8 0 0 25 0 13 0 39569526 1831071744 20213 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109897372 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18652/tid=18655] ppid=18650 vsize=1788156 CPUtime=0
/proc/18652/task/18655/stat : 18655 (java) S 18650 18652 17553 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 39569527 1831071744 20213 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18656] ppid=18650 vsize=1788156 CPUtime=0
/proc/18652/task/18656/stat : 18656 (java) S 18650 18652 17553 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 39569527 1831071744 20213 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18657] ppid=18650 vsize=1788156 CPUtime=0
/proc/18652/task/18657/stat : 18657 (java) S 18650 18652 17553 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 39569529 1831071744 20213 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18658] ppid=18650 vsize=1788156 CPUtime=0
/proc/18652/task/18658/stat : 18658 (java) S 18650 18652 17553 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 39569530 1831071744 20213 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18659] ppid=18650 vsize=1788156 CPUtime=0
/proc/18652/task/18659/stat : 18659 (java) S 18650 18652 17553 0 -1 64 3 0 0 0 0 0 0 0 23 0 13 0 39569530 1831071744 20213 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18660] ppid=18650 vsize=1788156 CPUtime=0
/proc/18652/task/18660/stat : 18660 (java) S 18650 18652 17553 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 39569534 1831071744 20213 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18661] ppid=18650 vsize=1788156 CPUtime=1.04
/proc/18652/task/18661/stat : 18661 (java) S 18650 18652 17553 0 -1 64 2655 0 0 0 103 1 0 0 16 0 13 0 39569534 1831071744 20213 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18652/tid=18662] ppid=18650 vsize=1788156 CPUtime=0.96
/proc/18652/task/18662/stat : 18662 (java) S 18650 18652 17553 0 -1 64 2768 0 0 0 95 1 0 0 16 0 13 0 39569534 1831071744 20213 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18663] ppid=18650 vsize=1788156 CPUtime=0
/proc/18652/task/18663/stat : 18663 (java) S 18650 18652 17553 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 39569534 1831071744 20213 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18664] ppid=18650 vsize=1788156 CPUtime=0
/proc/18652/task/18664/stat : 18664 (java) S 18650 18652 17553 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 39569534 1831071744 20213 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18652/tid=18666] ppid=18650 vsize=1788156 CPUtime=0
/proc/18652/task/18666/stat : 18666 (java) S 18650 18652 17553 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 39569733 1831071744 20213 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 1788156

[startup+6.30149 s]
/proc/loadavg: 0.89 0.97 0.99 2/90 18666
/proc/meminfo: memFree=1685432/2055920 swapFree=4112856/4192956
[pid=18652] ppid=18650 vsize=1787872 CPUtime=7.47
/proc/18652/stat : 18652 (java) S 18650 18652 17553 0 -1 0 24130 0 1 0 735 12 0 0 18 0 13 0 39569524 1830780928 20262 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18652/statm: 446968 20262 1317 9 0 444580 0
[pid=18652/tid=18654] ppid=18650 vsize=1787872 CPUtime=5.44
/proc/18652/task/18654/stat : 18654 (java) R 18650 18652 17553 0 -1 64 17982 0 1 0 536 8 0 0 25 0 13 0 39569526 1830780928 20262 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109962576 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18652/tid=18655] ppid=18650 vsize=1787872 CPUtime=0
/proc/18652/task/18655/stat : 18655 (java) S 18650 18652 17553 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 39569527 1830780928 20262 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18656] ppid=18650 vsize=1787872 CPUtime=0
/proc/18652/task/18656/stat : 18656 (java) S 18650 18652 17553 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 39569527 1830780928 20262 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18657] ppid=18650 vsize=1787872 CPUtime=0
/proc/18652/task/18657/stat : 18657 (java) S 18650 18652 17553 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 39569529 1830780928 20262 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18658] ppid=18650 vsize=1787872 CPUtime=0
/proc/18652/task/18658/stat : 18658 (java) S 18650 18652 17553 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 39569530 1830780928 20262 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18659] ppid=18650 vsize=1787872 CPUtime=0
/proc/18652/task/18659/stat : 18659 (java) S 18650 18652 17553 0 -1 64 3 0 0 0 0 0 0 0 23 0 13 0 39569530 1830780928 20262 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18660] ppid=18650 vsize=1787872 CPUtime=0
/proc/18652/task/18660/stat : 18660 (java) S 18650 18652 17553 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 39569534 1830780928 20262 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18661] ppid=18650 vsize=1787872 CPUtime=1.04
/proc/18652/task/18661/stat : 18661 (java) S 18650 18652 17553 0 -1 64 2655 0 0 0 103 1 0 0 16 0 13 0 39569534 1830780928 20262 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18652/tid=18662] ppid=18650 vsize=1787872 CPUtime=0.96
/proc/18652/task/18662/stat : 18662 (java) S 18650 18652 17553 0 -1 64 2768 0 0 0 95 1 0 0 16 0 13 0 39569534 1830780928 20262 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18663] ppid=18650 vsize=1787872 CPUtime=0
/proc/18652/task/18663/stat : 18663 (java) S 18650 18652 17553 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 39569534 1830780928 20262 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18664] ppid=18650 vsize=1787872 CPUtime=0
/proc/18652/task/18664/stat : 18664 (java) S 18650 18652 17553 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 39569534 1830780928 20262 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18652/tid=18666] ppid=18650 vsize=1787872 CPUtime=0
/proc/18652/task/18666/stat : 18666 (java) S 18650 18652 17553 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 39569733 1830780928 20262 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.47
Current children cumulated vsize (KiB) 1787872

[startup+12.7028 s]
/proc/loadavg: 0.90 0.97 0.99 2/90 18667
/proc/meminfo: memFree=1681024/2055920 swapFree=4112856/4192956
[pid=18652] ppid=18650 vsize=1788000 CPUtime=14.03
/proc/18652/stat : 18652 (java) S 18650 18652 17553 0 -1 0 25511 0 1 0 1390 13 0 0 18 0 13 0 39569524 1830912000 21386 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18652/statm: 447000 21386 1318 9 0 444612 0
[pid=18652/tid=18654] ppid=18650 vsize=1788000 CPUtime=11.76
/proc/18652/task/18654/stat : 18654 (java) R 18650 18652 17553 0 -1 64 19063 0 1 0 1167 9 0 0 25 0 13 0 39569526 1830912000 21386 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109994494 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18652/tid=18655] ppid=18650 vsize=1788000 CPUtime=0
/proc/18652/task/18655/stat : 18655 (java) S 18650 18652 17553 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 39569527 1830912000 21386 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18656] ppid=18650 vsize=1788000 CPUtime=0
/proc/18652/task/18656/stat : 18656 (java) S 18650 18652 17553 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 39569527 1830912000 21386 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18657] ppid=18650 vsize=1788000 CPUtime=0
/proc/18652/task/18657/stat : 18657 (java) S 18650 18652 17553 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 39569529 1830912000 21386 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18658] ppid=18650 vsize=1788000 CPUtime=0
/proc/18652/task/18658/stat : 18658 (java) S 18650 18652 17553 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 39569530 1830912000 21386 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18659] ppid=18650 vsize=1788000 CPUtime=0
/proc/18652/task/18659/stat : 18659 (java) S 18650 18652 17553 0 -1 64 3 0 0 0 0 0 0 0 23 0 13 0 39569530 1830912000 21386 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18660] ppid=18650 vsize=1788000 CPUtime=0
/proc/18652/task/18660/stat : 18660 (java) S 18650 18652 17553 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 39569534 1830912000 21386 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18661] ppid=18650 vsize=1788000 CPUtime=1.17
/proc/18652/task/18661/stat : 18661 (java) S 18650 18652 17553 0 -1 64 2934 0 0 0 116 1 0 0 17 0 13 0 39569534 1830912000 21386 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18652/tid=18662] ppid=18650 vsize=1788000 CPUtime=1.06
/proc/18652/task/18662/stat : 18662 (java) S 18650 18652 17553 0 -1 64 2788 0 0 0 105 1 0 0 16 0 13 0 39569534 1830912000 21386 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18663] ppid=18650 vsize=1788000 CPUtime=0
/proc/18652/task/18663/stat : 18663 (java) S 18650 18652 17553 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 39569534 1830912000 21386 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18664] ppid=18650 vsize=1788000 CPUtime=0
/proc/18652/task/18664/stat : 18664 (java) S 18650 18652 17553 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 39569534 1830912000 21386 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18652/tid=18667] ppid=18650 vsize=1788000 CPUtime=0
/proc/18652/task/18667/stat : 18667 (java) S 18650 18652 17553 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 39570301 1830912000 21386 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 14.03
Current children cumulated vsize (KiB) 1788000

[startup+25.5025 s]
/proc/loadavg: 0.92 0.97 0.99 2/90 18669
/proc/meminfo: memFree=1671728/2055920 swapFree=4112856/4192956
[pid=18652] ppid=18650 vsize=1787872 CPUtime=26.86
/proc/18652/stat : 18652 (java) S 18650 18652 17553 0 -1 0 27842 0 1 0 2672 14 0 0 18 0 13 0 39569524 1830780928 23700 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18652/statm: 446968 23700 1318 9 0 444580 0
[pid=18652/tid=18654] ppid=18650 vsize=1787872 CPUtime=24.5
/proc/18652/task/18654/stat : 18654 (java) R 18650 18652 17553 0 -1 64 21391 0 1 0 2440 10 0 0 22 0 13 0 39569526 1830780928 23700 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109994494 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18652/tid=18655] ppid=18650 vsize=1787872 CPUtime=0
/proc/18652/task/18655/stat : 18655 (java) S 18650 18652 17553 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 39569527 1830780928 23700 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18656] ppid=18650 vsize=1787872 CPUtime=0
/proc/18652/task/18656/stat : 18656 (java) S 18650 18652 17553 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 39569527 1830780928 23700 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18657] ppid=18650 vsize=1787872 CPUtime=0
/proc/18652/task/18657/stat : 18657 (java) S 18650 18652 17553 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 39569529 1830780928 23700 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0

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

[pid=18652/tid=18657] ppid=18650 vsize=1798120 CPUtime=0
/proc/18652/task/18657/stat : 18657 (java) S 18650 18652 17553 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 39569529 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18658] ppid=18650 vsize=1798120 CPUtime=0
/proc/18652/task/18658/stat : 18658 (java) S 18650 18652 17553 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 39569530 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18659] ppid=18650 vsize=1798120 CPUtime=0
/proc/18652/task/18659/stat : 18659 (java) S 18650 18652 17553 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 39569530 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18660] ppid=18650 vsize=1798120 CPUtime=0
/proc/18652/task/18660/stat : 18660 (java) S 18650 18652 17553 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 39569534 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18661] ppid=18650 vsize=1798120 CPUtime=1.25
/proc/18652/task/18661/stat : 18661 (java) S 18650 18652 17553 0 -1 64 2934 0 0 0 124 1 0 0 16 0 13 0 39569534 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18662] ppid=18650 vsize=1798120 CPUtime=1.12
/proc/18652/task/18662/stat : 18662 (java) S 18650 18652 17553 0 -1 64 2788 0 0 0 111 1 0 0 16 0 13 0 39569534 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18663] ppid=18650 vsize=1798120 CPUtime=0
/proc/18652/task/18663/stat : 18663 (java) S 18650 18652 17553 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 39569534 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18664] ppid=18650 vsize=1798120 CPUtime=0
/proc/18652/task/18664/stat : 18664 (java) S 18650 18652 17553 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 39569534 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18671] ppid=18650 vsize=1798120 CPUtime=0
/proc/18652/task/18671/stat : 18671 (java) S 18650 18652 17553 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 39582100 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1664.61
Current children cumulated vsize (KiB) 1798120

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/90 18673
/proc/meminfo: memFree=1255072/2055920 swapFree=4112856/4192956
[pid=18652] ppid=18650 vsize=1798120 CPUtime=1724.59
/proc/18652/stat : 18652 (java) S 18650 18652 17553 0 -1 0 152944 0 1 0 172366 93 0 0 18 0 13 0 39569524 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18652/statm: 449530 127569 1327 9 0 447142 0
[pid=18652/tid=18654] ppid=18650 vsize=1798120 CPUtime=1719.03
/proc/18652/task/18654/stat : 18654 (java) R 18650 18652 17553 0 -1 64 37740 0 1 0 171865 38 0 0 25 0 13 0 39569526 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109852510 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18652/tid=18655] ppid=18650 vsize=1798120 CPUtime=1.54
/proc/18652/task/18655/stat : 18655 (java) S 18650 18652 17553 0 -1 64 53073 0 0 0 131 23 0 0 16 0 13 0 39569527 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18656] ppid=18650 vsize=1798120 CPUtime=1.59
/proc/18652/task/18656/stat : 18656 (java) S 18650 18652 17553 0 -1 64 55666 0 0 0 132 27 0 0 24 0 13 0 39569527 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18652/tid=18657] ppid=18650 vsize=1798120 CPUtime=0
/proc/18652/task/18657/stat : 18657 (java) S 18650 18652 17553 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 39569529 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18658] ppid=18650 vsize=1798120 CPUtime=0
/proc/18652/task/18658/stat : 18658 (java) S 18650 18652 17553 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 39569530 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18659] ppid=18650 vsize=1798120 CPUtime=0
/proc/18652/task/18659/stat : 18659 (java) S 18650 18652 17553 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 39569530 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18660] ppid=18650 vsize=1798120 CPUtime=0
/proc/18652/task/18660/stat : 18660 (java) S 18650 18652 17553 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 39569534 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18661] ppid=18650 vsize=1798120 CPUtime=1.25
/proc/18652/task/18661/stat : 18661 (java) S 18650 18652 17553 0 -1 64 2934 0 0 0 124 1 0 0 16 0 13 0 39569534 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18662] ppid=18650 vsize=1798120 CPUtime=1.12
/proc/18652/task/18662/stat : 18662 (java) S 18650 18652 17553 0 -1 64 2788 0 0 0 111 1 0 0 16 0 13 0 39569534 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18663] ppid=18650 vsize=1798120 CPUtime=0
/proc/18652/task/18663/stat : 18663 (java) S 18650 18652 17553 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 39569534 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18664] ppid=18650 vsize=1798120 CPUtime=0
/proc/18652/task/18664/stat : 18664 (java) S 18650 18652 17553 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 39569534 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18671] ppid=18650 vsize=1798120 CPUtime=0
/proc/18652/task/18671/stat : 18671 (java) S 18650 18652 17553 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 39582100 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1724.59
Current children cumulated vsize (KiB) 1798120

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/90 18673
/proc/meminfo: memFree=1255072/2055920 swapFree=4112856/4192956
[pid=18652] ppid=18650 vsize=1798120 CPUtime=1784.56
/proc/18652/stat : 18652 (java) S 18650 18652 17553 0 -1 0 152944 0 1 0 178363 93 0 0 18 0 13 0 39569524 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18652/statm: 449530 127569 1327 9 0 447142 0
[pid=18652/tid=18654] ppid=18650 vsize=1798120 CPUtime=1779.01
/proc/18652/task/18654/stat : 18654 (java) R 18650 18652 17553 0 -1 64 37740 0 1 0 177862 39 0 0 25 0 13 0 39569526 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109962579 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18652/tid=18655] ppid=18650 vsize=1798120 CPUtime=1.54
/proc/18652/task/18655/stat : 18655 (java) S 18650 18652 17553 0 -1 64 53073 0 0 0 131 23 0 0 16 0 13 0 39569527 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18656] ppid=18650 vsize=1798120 CPUtime=1.59
/proc/18652/task/18656/stat : 18656 (java) S 18650 18652 17553 0 -1 64 55666 0 0 0 132 27 0 0 24 0 13 0 39569527 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18652/tid=18657] ppid=18650 vsize=1798120 CPUtime=0
/proc/18652/task/18657/stat : 18657 (java) S 18650 18652 17553 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 39569529 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18658] ppid=18650 vsize=1798120 CPUtime=0
/proc/18652/task/18658/stat : 18658 (java) S 18650 18652 17553 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 39569530 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18659] ppid=18650 vsize=1798120 CPUtime=0
/proc/18652/task/18659/stat : 18659 (java) S 18650 18652 17553 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 39569530 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18660] ppid=18650 vsize=1798120 CPUtime=0
/proc/18652/task/18660/stat : 18660 (java) S 18650 18652 17553 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 39569534 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18661] ppid=18650 vsize=1798120 CPUtime=1.25
/proc/18652/task/18661/stat : 18661 (java) S 18650 18652 17553 0 -1 64 2934 0 0 0 124 1 0 0 16 0 13 0 39569534 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18662] ppid=18650 vsize=1798120 CPUtime=1.12
/proc/18652/task/18662/stat : 18662 (java) S 18650 18652 17553 0 -1 64 2788 0 0 0 111 1 0 0 16 0 13 0 39569534 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18663] ppid=18650 vsize=1798120 CPUtime=0
/proc/18652/task/18663/stat : 18663 (java) S 18650 18652 17553 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 39569534 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18664] ppid=18650 vsize=1798120 CPUtime=0
/proc/18652/task/18664/stat : 18664 (java) S 18650 18652 17553 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 39569534 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18671] ppid=18650 vsize=1798120 CPUtime=0
/proc/18652/task/18671/stat : 18671 (java) S 18650 18652 17553 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 39582100 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1784.56
Current children cumulated vsize (KiB) 1798120



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.8 s]
/proc/loadavg: 1.00 0.99 0.99 2/90 18673
/proc/meminfo: memFree=1255072/2055920 swapFree=4112856/4192956
[pid=18652] ppid=18650 vsize=1798120 CPUtime=1800.06
/proc/18652/stat : 18652 (java) S 18650 18652 17553 0 -1 0 152944 0 1 0 179913 93 0 0 18 0 13 0 39569524 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18652/statm: 449530 127569 1327 9 0 447142 0
[pid=18652/tid=18654] ppid=18650 vsize=1798120 CPUtime=1794.51
/proc/18652/task/18654/stat : 18654 (java) R 18650 18652 17553 0 -1 64 37740 0 1 0 179412 39 0 0 25 0 13 0 39569526 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109962735 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18652/tid=18655] ppid=18650 vsize=1798120 CPUtime=1.54
/proc/18652/task/18655/stat : 18655 (java) S 18650 18652 17553 0 -1 64 53073 0 0 0 131 23 0 0 16 0 13 0 39569527 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18656] ppid=18650 vsize=1798120 CPUtime=1.59
/proc/18652/task/18656/stat : 18656 (java) S 18650 18652 17553 0 -1 64 55666 0 0 0 132 27 0 0 24 0 13 0 39569527 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18652/tid=18657] ppid=18650 vsize=1798120 CPUtime=0
/proc/18652/task/18657/stat : 18657 (java) S 18650 18652 17553 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 39569529 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18658] ppid=18650 vsize=1798120 CPUtime=0
/proc/18652/task/18658/stat : 18658 (java) S 18650 18652 17553 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 39569530 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18659] ppid=18650 vsize=1798120 CPUtime=0
/proc/18652/task/18659/stat : 18659 (java) S 18650 18652 17553 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 39569530 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18660] ppid=18650 vsize=1798120 CPUtime=0
/proc/18652/task/18660/stat : 18660 (java) S 18650 18652 17553 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 39569534 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18661] ppid=18650 vsize=1798120 CPUtime=1.25
/proc/18652/task/18661/stat : 18661 (java) S 18650 18652 17553 0 -1 64 2934 0 0 0 124 1 0 0 16 0 13 0 39569534 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18662] ppid=18650 vsize=1798120 CPUtime=1.12
/proc/18652/task/18662/stat : 18662 (java) S 18650 18652 17553 0 -1 64 2788 0 0 0 111 1 0 0 16 0 13 0 39569534 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18663] ppid=18650 vsize=1798120 CPUtime=0
/proc/18652/task/18663/stat : 18663 (java) S 18650 18652 17553 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 39569534 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18664] ppid=18650 vsize=1798120 CPUtime=0
/proc/18652/task/18664/stat : 18664 (java) S 18650 18652 17553 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 39569534 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18671] ppid=18650 vsize=1798120 CPUtime=0
/proc/18652/task/18671/stat : 18671 (java) S 18650 18652 17553 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 39582100 1841274880 127569 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1798120

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

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

[startup+1797.91 s]
/proc/loadavg: 1.00 0.99 0.99 2/90 18673
/proc/meminfo: memFree=1255072/2055920 swapFree=4112856/4192956
[pid=18652] ppid=18650 vsize=1798768 CPUtime=1800.26
/proc/18652/stat : 18652 (java) S 18650 18652 17553 0 -1 0 152965 0 1 0 179933 93 0 0 16 0 15 0 39569524 1841938432 127590 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18652/statm: 449692 127590 1327 9 0 447304 0
[pid=18652/tid=18654] ppid=18650 vsize=1798768 CPUtime=1794.62
/proc/18652/task/18654/stat : 18654 (java) R 18650 18652 17553 0 -1 64 37740 0 1 0 179423 39 0 0 25 0 15 0 39569526 1841938432 127590 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109963822 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18652/tid=18655] ppid=18650 vsize=1798768 CPUtime=1.54
/proc/18652/task/18655/stat : 18655 (java) S 18650 18652 17553 0 -1 64 53073 0 0 0 131 23 0 0 16 0 15 0 39569527 1841938432 127590 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18656] ppid=18650 vsize=1798768 CPUtime=1.59
/proc/18652/task/18656/stat : 18656 (java) S 18650 18652 17553 0 -1 64 55666 0 0 0 132 27 0 0 24 0 15 0 39569527 1841938432 127590 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18652/tid=18657] ppid=18650 vsize=1798768 CPUtime=0
/proc/18652/task/18657/stat : 18657 (java) S 18650 18652 17553 0 -1 64 8 0 0 0 0 0 0 0 16 0 15 0 39569529 1841938432 127590 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18658] ppid=18650 vsize=1798768 CPUtime=0
/proc/18652/task/18658/stat : 18658 (java) S 18650 18652 17553 0 -1 64 11 0 0 0 0 0 0 0 17 0 15 0 39569530 1841938432 127590 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18659] ppid=18650 vsize=1798768 CPUtime=0
/proc/18652/task/18659/stat : 18659 (java) S 18650 18652 17553 0 -1 64 10 0 0 0 0 0 0 0 17 0 15 0 39569530 1841938432 127590 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18660] ppid=18650 vsize=1798768 CPUtime=0
/proc/18652/task/18660/stat : 18660 (java) S 18650 18652 17553 0 -1 64 5 0 0 0 0 0 0 0 18 0 15 0 39569534 1841938432 127590 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18661] ppid=18650 vsize=1798768 CPUtime=1.26
/proc/18652/task/18661/stat : 18661 (java) S 18650 18652 17553 0 -1 64 2934 0 0 0 125 1 0 0 16 0 15 0 39569534 1841938432 127590 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18662] ppid=18650 vsize=1798768 CPUtime=1.15
/proc/18652/task/18662/stat : 18662 (java) S 18650 18652 17553 0 -1 64 2791 0 0 0 114 1 0 0 16 0 15 0 39569534 1841938432 127590 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18663] ppid=18650 vsize=1798768 CPUtime=0
/proc/18652/task/18663/stat : 18663 (java) S 18650 18652 17553 0 -1 64 2 0 0 0 0 0 0 0 25 0 15 0 39569534 1841938432 127590 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18664] ppid=18650 vsize=1798768 CPUtime=0
/proc/18652/task/18664/stat : 18664 (java) S 18650 18652 17553 0 -1 64 1 0 0 0 0 0 0 0 15 0 15 0 39569534 1841938432 127590 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18652/tid=18671] ppid=18650 vsize=1798768 CPUtime=0
/proc/18652/task/18671/stat : 18671 (java) S 18650 18652 17553 0 -1 64 1 0 0 0 0 0 0 0 18 0 15 0 39582100 1841938432 127590 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 1798768

[startup+1798 s]
/proc/loadavg: 1.00 0.99 0.99 2/90 18673
/proc/meminfo: memFree=1255072/2055920 swapFree=4112856/4192956
[pid=18652] ppid=18650 vsize=0 CPUtime=1800.37
/proc/18652/stat : 18652 (java) Z 18650 18652 17553 0 -1 1036 152967 0 1 0 179938 99 0 0 15 0 2 0 39569524 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18652/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.37
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1798.03
CPU time (s): 1800.4
CPU user time (s): 1799.39
CPU system time (s): 1.01484
CPU usage (%): 100.132
Max. virtual memory (cumulated for all children) (KiB): 1800684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.39
system time used= 1.01484
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152967
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37380
involuntary context switches= 40512

runsolver used 1.60076 second user time and 4.97124 second system time

The end

Launcher Data (download as text)

Begin job on node40 on Fri Apr 20 22:08:20 UTC 2007

IDJOB= 372564
IDBENCH= 24981
IDSOLVER= 159
FILE ID= node40/372564-1177106899

PBS_JOBID= 4640398

Free space on /tmp= 66525 MiB

SOLVER NAME= SAT4JPseudoResolution 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_015_area_delay.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/372564-1177106899/sat4jPseudoResolution.jar /tmp/evaluation/372564-1177106899/instance-372564-1177106899.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node40/watcher-372564-1177106899 -o ROOT/results/node40/solver-372564-1177106899 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/372564-1177106899/sat4jPseudoResolution.jar /tmp/evaluation/372564-1177106899/instance-372564-1177106899.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  90acfb7d1c18536583ef7e2a90905f54

RANDOM SEED= 414420409

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node40.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.283
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.283
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:       1762480 kB
Buffers:         61068 kB
Cached:         153692 kB
SwapCached:       2092 kB
Active:         113532 kB
Inactive:       126496 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1762480 kB
SwapTotal:     4192956 kB
SwapFree:      4112856 kB
Dirty:            4368 kB
Writeback:           0 kB
Mapped:          34148 kB
Slab:            38748 kB
Committed_AS:   961412 kB
PageTables:       1932 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= 66525 MiB

End job on node40 on Fri Apr 20 22:38:20 UTC 2007