Trace number 350579

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
sat4jPseudoCP 2007-03-23SAT (TO)33838 1800.46 1785.55

General information on the benchmark

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

Verifier Data (download as text)

OK	33838

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node17/watcher-350579-1176521403 -o ROOT/results/node17/solver-350579-1176521403 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/350579-1176521403/sat4jPseudoCP.jar /tmp/evaluation/350579-1176521403/instance-350579-1176521403.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.71 0.93 0.97 2/77 8055
/proc/meminfo: memFree=1851008/2055920 swapFree=4191668/4192956
[pid=8055] ppid=8053 vsize=18568 CPUtime=0
/proc/8055/stat : 8055 (runsolver) D 8053 8055 7992 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 100057785 19013632 292 18446744073709551615 4194304 4296420 548682068880 18446744073709551615 245482712359 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/8055/statm: 4642 292 257 24 0 2626 0

[startup+0.072661 s]
/proc/loadavg: 0.71 0.93 0.97 2/77 8055
/proc/meminfo: memFree=1851008/2055920 swapFree=4191668/4192956
[pid=8055] ppid=8053 vsize=12056 CPUtime=0.01
/proc/8055/stat : 8055 (java) D 8053 8055 7992 0 -1 0 372 0 12 0 0 1 0 0 18 0 1 0 100057785 12345344 191 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 2831146 0 0 4096 0 18446744071563479169 0 0 17 0 0 0
/proc/8055/statm: 3014 191 135 9 0 1148 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12056

[startup+0.103478 s]
/proc/loadavg: 0.71 0.93 0.97 2/77 8055
/proc/meminfo: memFree=1851008/2055920 swapFree=4191668/4192956
[pid=8055] ppid=8053 vsize=12380 CPUtime=0.02
/proc/8055/stat : 8055 (java) S 8053 8055 7992 0 -1 0 711 0 25 0 0 2 0 0 18 0 2 0 100057785 12677120 530 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/8055/statm: 3095 530 225 9 0 1229 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12380

[startup+0.303526 s]
/proc/loadavg: 0.71 0.93 0.97 2/77 8055
/proc/meminfo: memFree=1851008/2055920 swapFree=4191668/4192956
[pid=8055] ppid=8053 vsize=1777708 CPUtime=0.06
/proc/8055/stat : 8055 (java) S 8053 8055 7992 0 -1 0 3567 0 34 0 2 4 0 0 18 0 7 0 100057785 1820372992 3342 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/8055/statm: 444427 3342 1069 9 0 442063 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 1777708

[startup+0.701545 s]
/proc/loadavg: 0.71 0.93 0.97 2/77 8055
/proc/meminfo: memFree=1851008/2055920 swapFree=4191668/4192956
[pid=8055] ppid=8053 vsize=1783800 CPUtime=0.52
/proc/8055/stat : 8055 (java) S 8053 8055 7992 0 -1 0 5693 0 34 0 45 7 0 0 18 0 12 0 100057785 1826611200 5324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8055/statm: 445950 5324 1283 9 0 443562 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 1783800

[startup+1.50262 s]
/proc/loadavg: 0.71 0.93 0.97 4/89 8067
/proc/meminfo: memFree=1819680/2055920 swapFree=4191668/4192956
[pid=8055] ppid=8053 vsize=1784912 CPUtime=1.62
/proc/8055/stat : 8055 (java) S 8053 8055 7992 0 -1 0 18078 0 34 0 150 12 0 0 18 0 12 0 100057785 1827749888 17231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8055/statm: 446228 17232 1303 9 0 443840 0
[pid=8055/tid=8057] ppid=8053 vsize=1784912 CPUtime=0.86
/proc/8055/task/8057/stat : 8057 (java) R 8053 8055 7992 0 -1 64 15562 0 9 0 76 10 0 0 18 0 12 0 100057794 1827749888 17233 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109555655 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8058] ppid=8053 vsize=1784912 CPUtime=0
/proc/8055/task/8058/stat : 8058 (java) S 8053 8055 7992 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 100057804 1827749888 17234 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8059] ppid=8053 vsize=1784912 CPUtime=0
/proc/8055/task/8059/stat : 8059 (java) S 8053 8055 7992 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 100057804 1827749888 17235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8060] ppid=8053 vsize=1784912 CPUtime=0
/proc/8055/task/8060/stat : 8060 (java) S 8053 8055 7992 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 100057808 1827749888 17235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8061] ppid=8053 vsize=1784912 CPUtime=0
/proc/8055/task/8061/stat : 8061 (java) S 8053 8055 7992 0 -1 64 10 0 0 0 0 0 0 0 21 0 12 0 100057809 1827749888 17235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8062] ppid=8053 vsize=1784912 CPUtime=0
/proc/8055/task/8062/stat : 8062 (java) S 8053 8055 7992 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 100057809 1827749888 17236 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8063] ppid=8053 vsize=1784912 CPUtime=0
/proc/8055/task/8063/stat : 8063 (java) S 8053 8055 7992 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 100057821 1827749888 17237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8064] ppid=8053 vsize=1784912 CPUtime=0.37
/proc/8055/task/8064/stat : 8064 (java) S 8053 8055 7992 0 -1 64 711 0 0 0 37 0 0 0 16 0 12 0 100057821 1827749888 17238 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8065] ppid=8053 vsize=1784912 CPUtime=0.36
/proc/8055/task/8065/stat : 8065 (java) S 8053 8055 7992 0 -1 64 1109 0 0 0 36 0 0 0 17 0 12 0 100057821 1827749888 17239 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8066] ppid=8053 vsize=1784912 CPUtime=0
/proc/8055/task/8066/stat : 8066 (java) S 8053 8055 7992 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 100057821 1827749888 17240 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8067] ppid=8053 vsize=1784912 CPUtime=0
/proc/8055/task/8067/stat : 8067 (java) S 8053 8055 7992 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 100057821 1827749888 17241 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 1784912

[startup+3.10179 s]
/proc/loadavg: 0.71 0.93 0.97 2/90 8068
/proc/meminfo: memFree=1761176/2055920 swapFree=4191668/4192956
[pid=8055] ppid=8053 vsize=1797808 CPUtime=4.14
/proc/8055/stat : 8055 (java) S 8053 8055 7992 0 -1 0 46646 0 34 0 391 23 0 0 18 0 13 0 100057785 1840955392 43000 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8055/statm: 449452 43000 1326 9 0 447064 0
[pid=8055/tid=8057] ppid=8053 vsize=1797808 CPUtime=2.05
/proc/8055/task/8057/stat : 8057 (java) R 8053 8055 7992 0 -1 64 37729 0 9 0 188 17 0 0 20 0 13 0 100057794 1840955392 43000 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109810396 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8058] ppid=8053 vsize=1797808 CPUtime=0.01
/proc/8055/task/8058/stat : 8058 (java) S 8053 8055 7992 0 -1 64 508 0 0 0 1 0 0 0 16 0 13 0 100057804 1840955392 43000 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8059] ppid=8053 vsize=1797808 CPUtime=0.01
/proc/8055/task/8059/stat : 8059 (java) S 8053 8055 7992 0 -1 64 338 0 0 0 1 0 0 0 16 0 13 0 100057804 1840955392 43000 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8060] ppid=8053 vsize=1797808 CPUtime=0
/proc/8055/task/8060/stat : 8060 (java) S 8053 8055 7992 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 100057808 1840955392 43000 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8061] ppid=8053 vsize=1797808 CPUtime=0
/proc/8055/task/8061/stat : 8061 (java) S 8053 8055 7992 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 100057809 1840955392 43000 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8062] ppid=8053 vsize=1797808 CPUtime=0
/proc/8055/task/8062/stat : 8062 (java) S 8053 8055 7992 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 100057809 1840955392 43000 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8063] ppid=8053 vsize=1797808 CPUtime=0
/proc/8055/task/8063/stat : 8063 (java) S 8053 8055 7992 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 100057821 1840955392 43000 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8064] ppid=8053 vsize=1797808 CPUtime=1.16
/proc/8055/task/8064/stat : 8064 (java) R 8053 8055 7992 0 -1 64 4280 0 0 0 115 1 0 0 19 0 13 0 100057821 1840955392 43000 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103334133 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8065] ppid=8053 vsize=1797808 CPUtime=0.84
/proc/8055/task/8065/stat : 8065 (java) R 8053 8055 7992 0 -1 64 3084 0 0 0 83 1 0 0 16 0 13 0 100057821 1840955392 43000 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105305762 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8066] ppid=8053 vsize=1797808 CPUtime=0
/proc/8055/task/8066/stat : 8066 (java) S 8053 8055 7992 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 100057821 1840955392 43000 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8067] ppid=8053 vsize=1797808 CPUtime=0
/proc/8055/task/8067/stat : 8067 (java) S 8053 8055 7992 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 100057821 1840955392 43000 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8068] ppid=8053 vsize=1797808 CPUtime=0
/proc/8055/task/8068/stat : 8068 (java) S 8053 8055 7992 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 100057956 1840955392 43000 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.14
Current children cumulated vsize (KiB) 1797808

[startup+6.30231 s]
/proc/loadavg: 0.73 0.94 0.97 2/90 8069
/proc/meminfo: memFree=1670608/2055920 swapFree=4191668/4192956
[pid=8055] ppid=8053 vsize=1795104 CPUtime=8.18
/proc/8055/stat : 8055 (java) S 8053 8055 7992 0 -1 0 50236 0 34 0 793 25 0 0 18 0 13 0 100057785 1838186496 43167 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8055/statm: 448776 43167 1328 9 0 446388 0
[pid=8055/tid=8057] ppid=8053 vsize=1795104 CPUtime=4.95
/proc/8055/task/8057/stat : 8057 (java) R 8053 8055 7992 0 -1 64 37738 0 9 0 478 17 0 0 20 0 13 0 100057794 1838186496 43167 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109646237 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8058] ppid=8053 vsize=1795104 CPUtime=0.07
/proc/8055/task/8058/stat : 8058 (java) S 8053 8055 7992 0 -1 64 1296 0 0 0 7 0 0 0 16 0 13 0 100057804 1838186496 43167 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8059] ppid=8053 vsize=1795104 CPUtime=0.06
/proc/8055/task/8059/stat : 8059 (java) S 8053 8055 7992 0 -1 64 959 0 0 0 6 0 0 0 17 0 13 0 100057804 1838186496 43167 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8060] ppid=8053 vsize=1795104 CPUtime=0
/proc/8055/task/8060/stat : 8060 (java) S 8053 8055 7992 0 -1 64 19 0 0 0 0 0 0 0 15 0 13 0 100057808 1838186496 43167 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8061] ppid=8053 vsize=1795104 CPUtime=0
/proc/8055/task/8061/stat : 8061 (java) S 8053 8055 7992 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 100057809 1838186496 43167 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8062] ppid=8053 vsize=1795104 CPUtime=0
/proc/8055/task/8062/stat : 8062 (java) S 8053 8055 7992 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 100057809 1838186496 43167 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8063] ppid=8053 vsize=1795104 CPUtime=0
/proc/8055/task/8063/stat : 8063 (java) S 8053 8055 7992 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 100057821 1838186496 43167 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8064] ppid=8053 vsize=1795104 CPUtime=1.78
/proc/8055/task/8064/stat : 8064 (java) S 8053 8055 7992 0 -1 64 6247 0 0 0 176 2 0 0 16 0 13 0 100057821 1838186496 43167 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8065] ppid=8053 vsize=1795104 CPUtime=1.23
/proc/8055/task/8065/stat : 8065 (java) S 8053 8055 7992 0 -1 64 3276 0 0 0 122 1 0 0 16 0 13 0 100057821 1838186496 43167 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8066] ppid=8053 vsize=1795104 CPUtime=0
/proc/8055/task/8066/stat : 8066 (java) S 8053 8055 7992 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 100057821 1838186496 43167 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8067] ppid=8053 vsize=1795104 CPUtime=0
/proc/8055/task/8067/stat : 8067 (java) S 8053 8055 7992 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 100057821 1838186496 43167 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8069] ppid=8053 vsize=1795104 CPUtime=0
/proc/8055/task/8069/stat : 8069 (java) S 8053 8055 7992 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 100058299 1838186496 43167 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8.18
Current children cumulated vsize (KiB) 1795104

[startup+12.702 s]
/proc/loadavg: 0.76 0.94 0.97 2/90 8069
/proc/meminfo: memFree=1634576/2055920 swapFree=4191668/4192956
[pid=8055] ppid=8053 vsize=1795104 CPUtime=14.67
/proc/8055/stat : 8055 (java) S 8053 8055 7992 0 -1 0 60263 0 34 0 1438 29 0 0 18 0 13 0 100057785 1838186496 53001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8055/statm: 448776 53001 1329 9 0 446388 0
[pid=8055/tid=8057] ppid=8053 vsize=1795104 CPUtime=11.22
/proc/8055/task/8057/stat : 8057 (java) R 8053 8055 7992 0 -1 64 43148 0 9 0 1103 19 0 0 25 0 13 0 100057794 1838186496 53001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109803691 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8058] ppid=8053 vsize=1795104 CPUtime=0.16
/proc/8055/task/8058/stat : 8058 (java) S 8053 8055 7992 0 -1 64 3645 0 0 0 16 0 0 0 16 0 13 0 100057804 1838186496 53001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8059] ppid=8053 vsize=1795104 CPUtime=0.16
/proc/8055/task/8059/stat : 8059 (java) S 8053 8055 7992 0 -1 64 3213 0 0 0 15 1 0 0 16 0 13 0 100057804 1838186496 53001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8060] ppid=8053 vsize=1795104 CPUtime=0
/proc/8055/task/8060/stat : 8060 (java) S 8053 8055 7992 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 100057808 1838186496 53001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8061] ppid=8053 vsize=1795104 CPUtime=0
/proc/8055/task/8061/stat : 8061 (java) S 8053 8055 7992 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 100057809 1838186496 53001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8062] ppid=8053 vsize=1795104 CPUtime=0
/proc/8055/task/8062/stat : 8062 (java) S 8053 8055 7992 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 100057809 1838186496 53001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8063] ppid=8053 vsize=1795104 CPUtime=0
/proc/8055/task/8063/stat : 8063 (java) S 8053 8055 7992 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 100057821 1838186496 53001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8064] ppid=8053 vsize=1795104 CPUtime=1.8
/proc/8055/task/8064/stat : 8064 (java) S 8053 8055 7992 0 -1 64 6247 0 0 0 178 2 0 0 16 0 13 0 100057821 1838186496 53001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8065] ppid=8053 vsize=1795104 CPUtime=1.24
/proc/8055/task/8065/stat : 8065 (java) S 8053 8055 7992 0 -1 64 3277 0 0 0 123 1 0 0 16 0 13 0 100057821 1838186496 53001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8066] ppid=8053 vsize=1795104 CPUtime=0
/proc/8055/task/8066/stat : 8066 (java) S 8053 8055 7992 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 100057821 1838186496 53001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8067] ppid=8053 vsize=1795104 CPUtime=0
/proc/8055/task/8067/stat : 8067 (java) S 8053 8055 7992 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 100057821 1838186496 53001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8069] ppid=8053 vsize=1795104 CPUtime=0
/proc/8055/task/8069/stat : 8069 (java) S 8053 8055 7992 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 100058299 1838186496 53001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 14.67
Current children cumulated vsize (KiB) 1795104

[startup+25.5023 s]
/proc/loadavg: 0.81 0.94 0.97 2/90 8070
/proc/meminfo: memFree=1674376/2055920 swapFree=4191668/4192956
[pid=8055] ppid=8053 vsize=1795104 CPUtime=27.58
/proc/8055/stat : 8055 (java) S 8053 8055 7992 0 -1 0 61218 0 34 0 2728 30 0 0 18 0 13 0 100057785 1838186496 42893 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8055/statm: 448776 42893 1329 9 0 446388 0
[pid=8055/tid=8057] ppid=8053 vsize=1795104 CPUtime=23.93
/proc/8055/task/8057/stat : 8057 (java) R 8053 8055 7992 0 -1 64 43180 0 9 0 2374 19 0 0 19 0 13 0 100057794 1838186496 42893 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109809978 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8058] ppid=8053 vsize=1795104 CPUtime=0.23
/proc/8055/task/8058/stat : 8058 (java) S 8053 8055 7992 0 -1 64 4126 0 0 0 22 1 0 0 16 0 13 0 100057804 1838186496 42893 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8059] ppid=8053 vsize=1795104 CPUtime=0.21
/proc/8055/task/8059/stat : 8059 (java) S 8053 8055 7992 0 -1 64 3642 0 0 0 20 1 0 0 16 0 13 0 100057804 1838186496 42893 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8060] ppid=8053 vsize=1795104 CPUtime=0.01
/proc/8055/task/8060/stat : 8060 (java) S 8053 8055 7992 0 -1 64 40 0 0 0 0 1 0 0 16 0 13 0 100057808 1838186496 42893 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0

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

[pid=8055/tid=8060] ppid=8053 vsize=1797152 CPUtime=0.94
/proc/8055/task/8060/stat : 8060 (java) S 8053 8055 7992 0 -1 64 399 0 0 0 52 42 0 0 16 0 13 0 100057808 1840283648 118769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8061] ppid=8053 vsize=1797152 CPUtime=0
/proc/8055/task/8061/stat : 8061 (java) S 8053 8055 7992 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 100057809 1840283648 118769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8062] ppid=8053 vsize=1797152 CPUtime=0
/proc/8055/task/8062/stat : 8062 (java) S 8053 8055 7992 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 100057809 1840283648 118769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8063] ppid=8053 vsize=1797152 CPUtime=0
/proc/8055/task/8063/stat : 8063 (java) S 8053 8055 7992 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 100057821 1840283648 118769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8064] ppid=8053 vsize=1797152 CPUtime=2.03
/proc/8055/task/8064/stat : 8064 (java) S 8053 8055 7992 0 -1 64 6268 0 0 0 201 2 0 0 17 0 13 0 100057821 1840283648 118769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8065] ppid=8053 vsize=1797152 CPUtime=1.93
/proc/8055/task/8065/stat : 8065 (java) S 8053 8055 7992 0 -1 64 6252 0 0 0 190 3 0 0 16 0 13 0 100057821 1840283648 118769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8066] ppid=8053 vsize=1797152 CPUtime=0
/proc/8055/task/8066/stat : 8066 (java) S 8053 8055 7992 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 100057821 1840283648 118769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8067] ppid=8053 vsize=1797152 CPUtime=0
/proc/8055/task/8067/stat : 8067 (java) S 8053 8055 7992 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 100057821 1840283648 118769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8079] ppid=8053 vsize=1797152 CPUtime=0
/proc/8055/task/8079/stat : 8079 (java) S 8053 8055 7992 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 100114936 1840283648 118769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1675.98
Current children cumulated vsize (KiB) 1797152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/90 8079
/proc/meminfo: memFree=1362768/2055920 swapFree=4191668/4192956
[pid=8055] ppid=8053 vsize=1797152 CPUtime=1736.48
/proc/8055/stat : 8055 (java) S 8053 8055 7992 0 -1 0 255706 0 34 0 173434 214 0 0 18 0 13 0 100057785 1840283648 120109 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8055/statm: 449288 120109 1329 9 0 446900 0
[pid=8055/tid=8057] ppid=8053 vsize=1797152 CPUtime=1705.17
/proc/8055/task/8057/stat : 8057 (java) R 8053 8055 7992 0 -1 64 153531 0 9 0 170438 79 0 0 17 0 13 0 100057794 1840283648 120109 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109652954 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8058] ppid=8053 vsize=1797152 CPUtime=13.19
/proc/8055/task/8058/stat : 8058 (java) S 8053 8055 7992 0 -1 64 43808 0 0 0 1277 42 0 0 16 0 13 0 100057804 1840283648 120109 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8059] ppid=8053 vsize=1797152 CPUtime=13.11
/proc/8055/task/8059/stat : 8059 (java) S 8053 8055 7992 0 -1 64 44732 0 0 0 1271 40 0 0 16 0 13 0 100057804 1840283648 120109 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8060] ppid=8053 vsize=1797152 CPUtime=0.97
/proc/8055/task/8060/stat : 8060 (java) S 8053 8055 7992 0 -1 64 402 0 0 0 54 43 0 0 16 0 13 0 100057808 1840283648 120109 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8061] ppid=8053 vsize=1797152 CPUtime=0
/proc/8055/task/8061/stat : 8061 (java) S 8053 8055 7992 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 100057809 1840283648 120109 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8062] ppid=8053 vsize=1797152 CPUtime=0
/proc/8055/task/8062/stat : 8062 (java) S 8053 8055 7992 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 100057809 1840283648 120109 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8063] ppid=8053 vsize=1797152 CPUtime=0
/proc/8055/task/8063/stat : 8063 (java) S 8053 8055 7992 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 100057821 1840283648 120109 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8064] ppid=8053 vsize=1797152 CPUtime=2.03
/proc/8055/task/8064/stat : 8064 (java) S 8053 8055 7992 0 -1 64 6268 0 0 0 201 2 0 0 17 0 13 0 100057821 1840283648 120109 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8065] ppid=8053 vsize=1797152 CPUtime=1.93
/proc/8055/task/8065/stat : 8065 (java) S 8053 8055 7992 0 -1 64 6252 0 0 0 190 3 0 0 16 0 13 0 100057821 1840283648 120109 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8066] ppid=8053 vsize=1797152 CPUtime=0
/proc/8055/task/8066/stat : 8066 (java) S 8053 8055 7992 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 100057821 1840283648 120109 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8067] ppid=8053 vsize=1797152 CPUtime=0
/proc/8055/task/8067/stat : 8067 (java) S 8053 8055 7992 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 100057821 1840283648 120109 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8079] ppid=8053 vsize=1797152 CPUtime=0
/proc/8055/task/8079/stat : 8079 (java) S 8053 8055 7992 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 100114936 1840283648 120109 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1736.48
Current children cumulated vsize (KiB) 1797152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.98 3/90 8079
/proc/meminfo: memFree=1353232/2055920 swapFree=4191668/4192956
[pid=8055] ppid=8053 vsize=1797152 CPUtime=1797.04
/proc/8055/stat : 8055 (java) S 8053 8055 7992 0 -1 0 261422 0 34 0 179485 219 0 0 18 0 13 0 100057785 1840283648 122428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8055/statm: 449288 122428 1329 9 0 446900 0
[pid=8055/tid=8057] ppid=8053 vsize=1797152 CPUtime=1764.5
/proc/8055/task/8057/stat : 8057 (java) R 8053 8055 7992 0 -1 64 156311 0 9 0 176370 80 0 0 19 0 13 0 100057794 1840283648 122428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109646174 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8058] ppid=8053 vsize=1797152 CPUtime=13.77
/proc/8055/task/8058/stat : 8058 (java) S 8053 8055 7992 0 -1 64 45099 0 0 0 1334 43 0 0 15 0 13 0 100057804 1840283648 122428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8059] ppid=8053 vsize=1797152 CPUtime=13.71
/proc/8055/task/8059/stat : 8059 (java) S 8053 8055 7992 0 -1 64 46370 0 0 0 1330 41 0 0 16 0 13 0 100057804 1840283648 122428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8060] ppid=8053 vsize=1797152 CPUtime=1
/proc/8055/task/8060/stat : 8060 (java) S 8053 8055 7992 0 -1 64 409 0 0 0 56 44 0 0 16 0 13 0 100057808 1840283648 122428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8061] ppid=8053 vsize=1797152 CPUtime=0
/proc/8055/task/8061/stat : 8061 (java) S 8053 8055 7992 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 100057809 1840283648 122428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8062] ppid=8053 vsize=1797152 CPUtime=0
/proc/8055/task/8062/stat : 8062 (java) S 8053 8055 7992 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 100057809 1840283648 122428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8063] ppid=8053 vsize=1797152 CPUtime=0
/proc/8055/task/8063/stat : 8063 (java) S 8053 8055 7992 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 100057821 1840283648 122428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8064] ppid=8053 vsize=1797152 CPUtime=2.03
/proc/8055/task/8064/stat : 8064 (java) S 8053 8055 7992 0 -1 64 6268 0 0 0 201 2 0 0 17 0 13 0 100057821 1840283648 122428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8065] ppid=8053 vsize=1797152 CPUtime=1.93
/proc/8055/task/8065/stat : 8065 (java) S 8053 8055 7992 0 -1 64 6252 0 0 0 190 3 0 0 16 0 13 0 100057821 1840283648 122428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8066] ppid=8053 vsize=1797152 CPUtime=0
/proc/8055/task/8066/stat : 8066 (java) S 8053 8055 7992 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 100057821 1840283648 122428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8067] ppid=8053 vsize=1797152 CPUtime=0
/proc/8055/task/8067/stat : 8067 (java) S 8053 8055 7992 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 100057821 1840283648 122428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8079] ppid=8053 vsize=1797152 CPUtime=0
/proc/8055/task/8079/stat : 8079 (java) S 8053 8055 7992 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 100114936 1840283648 122428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1797.04
Current children cumulated vsize (KiB) 1797152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1785.31 s]
/proc/loadavg: 1.00 1.00 0.98 2/90 8079
/proc/meminfo: memFree=1354256/2055920 swapFree=4191668/4192956
[pid=8055] ppid=8053 vsize=1797152 CPUtime=1800.07
/proc/8055/stat : 8055 (java) S 8053 8055 7992 0 -1 0 261429 0 34 0 179788 219 0 0 18 0 13 0 100057785 1840283648 122089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8055/statm: 449288 122089 1329 9 0 446900 0
[pid=8055/tid=8057] ppid=8053 vsize=1797152 CPUtime=1767.48
/proc/8055/task/8057/stat : 8057 (java) R 8053 8055 7992 0 -1 64 156318 0 9 0 176668 80 0 0 18 0 13 0 100057794 1840283648 122089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109809645 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8058] ppid=8053 vsize=1797152 CPUtime=13.8
/proc/8055/task/8058/stat : 8058 (java) S 8053 8055 7992 0 -1 64 45099 0 0 0 1337 43 0 0 15 0 13 0 100057804 1840283648 122089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8059] ppid=8053 vsize=1797152 CPUtime=13.74
/proc/8055/task/8059/stat : 8059 (java) S 8053 8055 7992 0 -1 64 46370 0 0 0 1333 41 0 0 16 0 13 0 100057804 1840283648 122089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8060] ppid=8053 vsize=1797152 CPUtime=1
/proc/8055/task/8060/stat : 8060 (java) S 8053 8055 7992 0 -1 64 409 0 0 0 56 44 0 0 16 0 13 0 100057808 1840283648 122089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8061] ppid=8053 vsize=1797152 CPUtime=0
/proc/8055/task/8061/stat : 8061 (java) S 8053 8055 7992 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 100057809 1840283648 122089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8062] ppid=8053 vsize=1797152 CPUtime=0
/proc/8055/task/8062/stat : 8062 (java) S 8053 8055 7992 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 100057809 1840283648 122089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8063] ppid=8053 vsize=1797152 CPUtime=0
/proc/8055/task/8063/stat : 8063 (java) S 8053 8055 7992 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 100057821 1840283648 122089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8064] ppid=8053 vsize=1797152 CPUtime=2.03
/proc/8055/task/8064/stat : 8064 (java) S 8053 8055 7992 0 -1 64 6268 0 0 0 201 2 0 0 17 0 13 0 100057821 1840283648 122089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8065] ppid=8053 vsize=1797152 CPUtime=1.93
/proc/8055/task/8065/stat : 8065 (java) S 8053 8055 7992 0 -1 64 6252 0 0 0 190 3 0 0 16 0 13 0 100057821 1840283648 122089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8066] ppid=8053 vsize=1797152 CPUtime=0
/proc/8055/task/8066/stat : 8066 (java) S 8053 8055 7992 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 100057821 1840283648 122089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8067] ppid=8053 vsize=1797152 CPUtime=0
/proc/8055/task/8067/stat : 8067 (java) S 8053 8055 7992 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 100057821 1840283648 122089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8079] ppid=8053 vsize=1797152 CPUtime=0
/proc/8055/task/8079/stat : 8079 (java) S 8053 8055 7992 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 100114936 1840283648 122089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1797152

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

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

[startup+1785.41 s]
/proc/loadavg: 1.00 1.00 0.98 2/90 8079
/proc/meminfo: memFree=1354256/2055920 swapFree=4191668/4192956
[pid=8055] ppid=8053 vsize=1797800 CPUtime=1800.27
/proc/8055/stat : 8055 (java) S 8053 8055 7992 0 -1 0 261447 0 34 0 179808 219 0 0 16 0 15 0 100057785 1840947200 122107 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8055/statm: 449450 122107 1329 9 0 447062 0
[pid=8055/tid=8057] ppid=8053 vsize=1797800 CPUtime=1767.58
/proc/8055/task/8057/stat : 8057 (java) R 8053 8055 7992 0 -1 64 156318 0 9 0 176678 80 0 0 19 0 15 0 100057794 1840947200 122107 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109646237 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8058] ppid=8053 vsize=1797800 CPUtime=13.8
/proc/8055/task/8058/stat : 8058 (java) S 8053 8055 7992 0 -1 64 45099 0 0 0 1337 43 0 0 15 0 15 0 100057804 1840947200 122107 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8059] ppid=8053 vsize=1797800 CPUtime=13.74
/proc/8055/task/8059/stat : 8059 (java) S 8053 8055 7992 0 -1 64 46370 0 0 0 1333 41 0 0 16 0 15 0 100057804 1840947200 122107 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8060] ppid=8053 vsize=1797800 CPUtime=1
/proc/8055/task/8060/stat : 8060 (java) S 8053 8055 7992 0 -1 64 409 0 0 0 56 44 0 0 16 0 15 0 100057808 1840947200 122107 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8061] ppid=8053 vsize=1797800 CPUtime=0
/proc/8055/task/8061/stat : 8061 (java) S 8053 8055 7992 0 -1 64 11 0 0 0 0 0 0 0 16 0 15 0 100057809 1840947200 122107 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8062] ppid=8053 vsize=1797800 CPUtime=0
/proc/8055/task/8062/stat : 8062 (java) S 8053 8055 7992 0 -1 64 6 0 0 0 0 0 0 0 16 0 15 0 100057809 1840947200 122107 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8063] ppid=8053 vsize=1797800 CPUtime=0
/proc/8055/task/8063/stat : 8063 (java) S 8053 8055 7992 0 -1 64 6 0 0 0 0 0 0 0 18 0 15 0 100057821 1840947200 122107 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8064] ppid=8053 vsize=1797800 CPUtime=2.06
/proc/8055/task/8064/stat : 8064 (java) S 8053 8055 7992 0 -1 64 6268 0 0 0 204 2 0 0 16 0 15 0 100057821 1840947200 122107 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8065] ppid=8053 vsize=1797800 CPUtime=1.95
/proc/8055/task/8065/stat : 8065 (java) S 8053 8055 7992 0 -1 64 6252 0 0 0 192 3 0 0 16 0 15 0 100057821 1840947200 122107 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8055/tid=8066] ppid=8053 vsize=1797800 CPUtime=0
/proc/8055/task/8066/stat : 8066 (java) S 8053 8055 7992 0 -1 64 2 0 0 0 0 0 0 0 21 0 15 0 100057821 1840947200 122107 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8067] ppid=8053 vsize=1797800 CPUtime=0
/proc/8055/task/8067/stat : 8067 (java) S 8053 8055 7992 0 -1 64 1 0 0 0 0 0 0 0 15 0 15 0 100057821 1840947200 122107 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8055/tid=8079] ppid=8053 vsize=1797800 CPUtime=0
/proc/8055/task/8079/stat : 8079 (java) S 8053 8055 7992 0 -1 64 1 0 0 0 0 0 0 0 25 0 15 0 100114936 1840947200 122107 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 1797800

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 0.98 2/90 8079
/proc/meminfo: memFree=1354256/2055920 swapFree=4191668/4192956
[pid=8055] ppid=8053 vsize=0 CPUtime=1800.4
/proc/8055/stat : 8055 (java) Z 8053 8055 7992 0 -1 1036 261449 0 34 0 179818 222 0 0 15 0 2 0 100057785 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8055/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.4
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1785.55
CPU time (s): 1800.46
CPU user time (s): 1798.19
CPU system time (s): 2.27665
CPU usage (%): 100.835
Max. virtual memory (cumulated for all children) (KiB): 1799928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.19
system time used= 2.27665
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 261449
page faults= 34
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 80871
involuntary context switches= 59093

runsolver used 2.21266 second user time and 5.68114 second system time

The end

Launcher Data (download as text)

Begin job on node17 on Sat Apr 14 03:30:03 UTC 2007

IDJOB= 350579
IDBENCH= 1521
IDSOLVER= 160
FILE ID= node17/350579-1176521403

PBS_JOBID= 4556727

Free space on /tmp= 66554 MiB

SOLVER NAME= sat4jPseudoCP 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air05.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/350579-1176521403/sat4jPseudoCP.jar /tmp/evaluation/350579-1176521403/instance-350579-1176521403.opb       
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node17/watcher-350579-1176521403 -o ROOT/results/node17/solver-350579-1176521403 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/350579-1176521403/sat4jPseudoCP.jar /tmp/evaluation/350579-1176521403/instance-350579-1176521403.opb       

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  7a59cd2d9b82be306fe717119e5558d0

RANDOM SEED= 859410923

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node17.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.240
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.240
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:       1851416 kB
Buffers:          7828 kB
Cached:          85708 kB
SwapCached:         32 kB
Active:          43376 kB
Inactive:       108844 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1851416 kB
SwapTotal:     4192956 kB
SwapFree:      4191668 kB
Dirty:            4312 kB
Writeback:           0 kB
Mapped:          76096 kB
Slab:            37736 kB
Committed_AS:  4053556 kB
PageTables:       1796 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= 66554 MiB

End job on node17 on Sat Apr 14 03:59:50 UTC 2007