Trace number 353959

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)11992021 1800.43 1786.84

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran8x32.opb
MD5SUMcbc794920cb33f20cfa2472a22fd5e8b
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark9341955
Best CPU time to get the best result obtained on this benchmark1800.55
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7735294
Optimality of the best value was proved NO
Number of variables7936
Total number of constraints296
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints296
Minimum length of a constraint31
Maximum length of a constraint960
Number of terms in the objective function 7936
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 1548380176990
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 1548380176990
Number of bits of the biggest sum of numbers41
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	11992021

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node54/watcher-353959-1176689435 -o ROOT/results/node54/solver-353959-1176689435 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353959-1176689435/sat4jPseudoCP.jar /tmp/evaluation/353959-1176689435/instance-353959-1176689435.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: 1.07 1.02 1.00 2/66 30491
/proc/meminfo: memFree=1745648/2055920 swapFree=4183848/4192956
[pid=30491] ppid=30489 vsize=18568 CPUtime=0
/proc/30491/stat : 30491 (runsolver) R 30489 30491 28918 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 116317995 19013632 292 18446744073709551615 4194304 4296420 548682068848 18446744073709551615 234211568935 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/30491/statm: 4642 292 257 24 0 2626 0

[startup+0.060554 s]
/proc/loadavg: 1.07 1.02 1.00 2/66 30491
/proc/meminfo: memFree=1745648/2055920 swapFree=4183848/4192956
[pid=30491] ppid=30489 vsize=1777708 CPUtime=0.04
/proc/30491/stat : 30491 (java) S 30489 30491 28918 0 -1 0 3587 0 1 0 3 1 0 0 18 0 7 0 116317995 1820372992 3330 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/30491/statm: 444427 3330 1069 9 0 442063 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 1777708

[startup+0.101557 s]
/proc/loadavg: 1.07 1.02 1.00 2/66 30491
/proc/meminfo: memFree=1745648/2055920 swapFree=4183848/4192956
[pid=30491] ppid=30489 vsize=1780108 CPUtime=0.08
/proc/30491/stat : 30491 (java) S 30489 30491 28918 0 -1 0 3961 0 1 0 6 2 0 0 18 0 12 0 116317995 1822830592 3703 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30491/statm: 445027 3703 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.301585 s]
/proc/loadavg: 1.07 1.02 1.00 2/66 30491
/proc/meminfo: memFree=1745648/2055920 swapFree=4183848/4192956
[pid=30491] ppid=30489 vsize=1781636 CPUtime=0.33
/proc/30491/stat : 30491 (java) S 30489 30491 28918 0 -1 0 5133 0 1 0 30 3 0 0 18 0 12 0 116317995 1824395264 4872 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30491/statm: 445409 4872 1267 9 0 443021 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 1781636

[startup+0.701634 s]
/proc/loadavg: 1.07 1.02 1.00 2/66 30491
/proc/meminfo: memFree=1745648/2055920 swapFree=4183848/4192956
[pid=30491] ppid=30489 vsize=1786604 CPUtime=0.96
/proc/30491/stat : 30491 (java) S 30489 30491 28918 0 -1 0 7996 0 1 0 92 4 0 0 18 0 12 0 116317995 1829482496 7314 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30491/statm: 446651 7314 1303 9 0 444263 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 1786604

[startup+1.50274 s]
/proc/loadavg: 1.07 1.02 1.00 4/78 30503
/proc/meminfo: memFree=1707280/2055920 swapFree=4183848/4192956
[pid=30491] ppid=30489 vsize=1794688 CPUtime=2.53
/proc/30491/stat : 30491 (java) S 30489 30491 28918 0 -1 0 19258 0 1 0 244 9 0 0 18 0 12 0 116317995 1837760512 15472 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30491/statm: 448672 15472 1318 9 0 446284 0
[pid=30491/tid=30493] ppid=30489 vsize=1794688 CPUtime=0.92
/proc/30491/task/30493/stat : 30493 (java) R 30489 30491 28918 0 -1 64 11196 0 1 0 87 5 0 0 21 0 12 0 116317997 1837760512 15472 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109214905 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30491/tid=30494] ppid=30489 vsize=1794688 CPUtime=0
/proc/30491/task/30494/stat : 30494 (java) S 30489 30491 28918 0 -1 64 3 0 0 0 0 0 0 0 20 0 12 0 116317998 1837760512 15473 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30495] ppid=30489 vsize=1794688 CPUtime=0
/proc/30491/task/30495/stat : 30495 (java) S 30489 30491 28918 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 116317998 1837760512 15473 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30491/tid=30496] ppid=30489 vsize=1794688 CPUtime=0
/proc/30491/task/30496/stat : 30496 (java) S 30489 30491 28918 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 116318001 1837760512 15473 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30497] ppid=30489 vsize=1794688 CPUtime=0
/proc/30491/task/30497/stat : 30497 (java) S 30489 30491 28918 0 -1 64 9 0 0 0 0 0 0 0 23 0 12 0 116318001 1837760512 15474 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30498] ppid=30489 vsize=1794688 CPUtime=0
/proc/30491/task/30498/stat : 30498 (java) S 30489 30491 28918 0 -1 64 4 0 0 0 0 0 0 0 24 0 12 0 116318001 1837760512 15474 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30499] ppid=30489 vsize=1794688 CPUtime=0
/proc/30491/task/30499/stat : 30499 (java) S 30489 30491 28918 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 116318005 1837760512 15474 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30500] ppid=30489 vsize=1794688 CPUtime=0.96
/proc/30491/task/30500/stat : 30500 (java) S 30489 30491 28918 0 -1 64 5295 0 0 0 95 1 0 0 17 0 12 0 116318005 1837760512 15475 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30491/tid=30501] ppid=30489 vsize=1794688 CPUtime=0.61
/proc/30491/task/30501/stat : 30501 (java) R 30489 30491 28918 0 -1 64 2048 0 0 0 61 0 0 0 16 0 12 0 116318005 1837760512 15475 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 104790045 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30502] ppid=30489 vsize=1794688 CPUtime=0
/proc/30491/task/30502/stat : 30502 (java) S 30489 30491 28918 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 116318005 1837760512 15475 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30503] ppid=30489 vsize=1794688 CPUtime=0
/proc/30491/task/30503/stat : 30503 (java) S 30489 30491 28918 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 116318005 1837760512 15475 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 1794688

[startup+3.10294 s]
/proc/loadavg: 1.07 1.02 1.00 4/79 30504
/proc/meminfo: memFree=1672584/2055920 swapFree=4183848/4192956
[pid=30491] ppid=30489 vsize=1795012 CPUtime=5.17
/proc/30491/stat : 30491 (java) S 30489 30491 28918 0 -1 0 35126 0 1 0 502 15 0 0 18 0 13 0 116317995 1838092288 29189 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30491/statm: 448753 29193 1318 9 0 446365 0
[pid=30491/tid=30493] ppid=30489 vsize=1795012 CPUtime=2.16
/proc/30491/task/30493/stat : 30493 (java) R 30489 30491 28918 0 -1 64 24810 0 1 0 206 10 0 0 20 0 13 0 116317997 1838092288 29196 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109562335 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30491/tid=30494] ppid=30489 vsize=1795012 CPUtime=0
/proc/30491/task/30494/stat : 30494 (java) S 30489 30491 28918 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 116317998 1838092288 29197 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30495] ppid=30489 vsize=1795012 CPUtime=0
/proc/30491/task/30495/stat : 30495 (java) S 30489 30491 28918 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 116317998 1838092288 29198 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30491/tid=30496] ppid=30489 vsize=1795012 CPUtime=0
/proc/30491/task/30496/stat : 30496 (java) S 30489 30491 28918 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 116318001 1838092288 29200 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30491/tid=30497] ppid=30489 vsize=1795012 CPUtime=0
/proc/30491/task/30497/stat : 30497 (java) S 30489 30491 28918 0 -1 64 9 0 0 0 0 0 0 0 23 0 13 0 116318001 1838092288 29204 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30498] ppid=30489 vsize=1795012 CPUtime=0
/proc/30491/task/30498/stat : 30498 (java) S 30489 30491 28918 0 -1 64 4 0 0 0 0 0 0 0 24 0 13 0 116318001 1838092288 29207 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30499] ppid=30489 vsize=1795012 CPUtime=0
/proc/30491/task/30499/stat : 30499 (java) S 30489 30491 28918 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 116318005 1838092288 29210 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30500] ppid=30489 vsize=1795012 CPUtime=1.62
/proc/30491/task/30500/stat : 30500 (java) S 30489 30491 28918 0 -1 64 7003 0 0 0 160 2 0 0 16 0 13 0 116318005 1838092288 29213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30491/tid=30501] ppid=30489 vsize=1795012 CPUtime=1.36
/proc/30491/task/30501/stat : 30501 (java) S 30489 30491 28918 0 -1 64 2597 0 0 0 135 1 0 0 16 0 13 0 116318005 1838092288 29214 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30502] ppid=30489 vsize=1795012 CPUtime=0
/proc/30491/task/30502/stat : 30502 (java) S 30489 30491 28918 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 116318005 1838092288 29214 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30503] ppid=30489 vsize=1795012 CPUtime=0
/proc/30491/task/30503/stat : 30503 (java) S 30489 30491 28918 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 116318005 1838092288 29217 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30491/tid=30504] ppid=30489 vsize=1795012 CPUtime=0
/proc/30491/task/30504/stat : 30504 (java) S 30489 30491 28918 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 116318153 1838092288 29220 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.17
Current children cumulated vsize (KiB) 1795012

[startup+6.30134 s]
/proc/loadavg: 1.23 1.05 1.02 2/79 30504
/proc/meminfo: memFree=1575368/2055920 swapFree=4183848/4192956
[pid=30491] ppid=30489 vsize=1794756 CPUtime=8.45
/proc/30491/stat : 30491 (java) S 30489 30491 28918 0 -1 0 49604 0 1 0 824 21 0 0 18 0 13 0 116317995 1837830144 43593 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30491/statm: 448689 43593 1327 9 0 446301 0
[pid=30491/tid=30493] ppid=30489 vsize=1794756 CPUtime=5.27
/proc/30491/task/30493/stat : 30493 (java) R 30489 30491 28918 0 -1 64 37719 0 1 0 512 15 0 0 25 0 13 0 116317997 1837830144 43593 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109924278 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30494] ppid=30489 vsize=1794756 CPUtime=0.02
/proc/30491/task/30494/stat : 30494 (java) S 30489 30491 28918 0 -1 64 868 0 0 0 2 0 0 0 17 0 13 0 116317998 1837830144 43593 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30495] ppid=30489 vsize=1794756 CPUtime=0.02
/proc/30491/task/30495/stat : 30495 (java) S 30489 30491 28918 0 -1 64 688 0 0 0 2 0 0 0 16 0 13 0 116317998 1837830144 43593 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30491/tid=30496] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30496/stat : 30496 (java) S 30489 30491 28918 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 116318001 1837830144 43593 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30491/tid=30497] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30497/stat : 30497 (java) S 30489 30491 28918 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 116318001 1837830144 43593 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30498] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30498/stat : 30498 (java) S 30489 30491 28918 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 116318001 1837830144 43593 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30499] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30499/stat : 30499 (java) S 30489 30491 28918 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 116318005 1837830144 43593 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30500] ppid=30489 vsize=1794756 CPUtime=1.66
/proc/30491/task/30500/stat : 30500 (java) S 30489 30491 28918 0 -1 64 7003 0 0 0 164 2 0 0 16 0 13 0 116318005 1837830144 43593 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30491/tid=30501] ppid=30489 vsize=1794756 CPUtime=1.42
/proc/30491/task/30501/stat : 30501 (java) S 30489 30491 28918 0 -1 64 2599 0 0 0 141 1 0 0 16 0 13 0 116318005 1837830144 43593 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30502] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30502/stat : 30502 (java) S 30489 30491 28918 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 116318005 1837830144 43593 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30503] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30503/stat : 30503 (java) S 30489 30491 28918 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 116318005 1837830144 43593 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30491/tid=30504] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30504/stat : 30504 (java) S 30489 30491 28918 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 116318153 1837830144 43593 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.45
Current children cumulated vsize (KiB) 1794756

[startup+12.7022 s]
/proc/loadavg: 1.29 1.06 1.02 2/79 30504
/proc/meminfo: memFree=1547336/2055920 swapFree=4183848/4192956
[pid=30491] ppid=30489 vsize=1794756 CPUtime=15.37
/proc/30491/stat : 30491 (java) S 30489 30491 28918 0 -1 0 59109 0 1 0 1511 26 0 0 18 0 13 0 116317995 1837830144 50681 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30491/statm: 448689 50681 1328 9 0 446301 0
[pid=30491/tid=30493] ppid=30489 vsize=1794756 CPUtime=11.2
/proc/30491/task/30493/stat : 30493 (java) R 30489 30491 28918 0 -1 64 39333 0 1 0 1104 16 0 0 25 0 13 0 116317997 1837830144 50681 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109811278 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30491/tid=30494] ppid=30489 vsize=1794756 CPUtime=0.25
/proc/30491/task/30494/stat : 30494 (java) S 30489 30491 28918 0 -1 64 5068 0 0 0 23 2 0 0 16 0 13 0 116317998 1837830144 50681 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30495] ppid=30489 vsize=1794756 CPUtime=0.25
/proc/30491/task/30495/stat : 30495 (java) S 30489 30491 28918 0 -1 64 4320 0 0 0 23 2 0 0 16 0 13 0 116317998 1837830144 50681 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30491/tid=30496] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30496/stat : 30496 (java) S 30489 30491 28918 0 -1 64 28 0 0 0 0 0 0 0 16 0 13 0 116318001 1837830144 50681 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30491/tid=30497] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30497/stat : 30497 (java) S 30489 30491 28918 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 116318001 1837830144 50681 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30498] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30498/stat : 30498 (java) S 30489 30491 28918 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 116318001 1837830144 50681 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30499] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30499/stat : 30499 (java) S 30489 30491 28918 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 116318005 1837830144 50681 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30500] ppid=30489 vsize=1794756 CPUtime=1.95
/proc/30491/task/30500/stat : 30500 (java) S 30489 30491 28918 0 -1 64 7025 0 0 0 193 2 0 0 17 0 13 0 116318005 1837830144 50681 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30491/tid=30501] ppid=30489 vsize=1794756 CPUtime=1.67
/proc/30491/task/30501/stat : 30501 (java) S 30489 30491 28918 0 -1 64 2615 0 0 0 166 1 0 0 16 0 13 0 116318005 1837830144 50681 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30502] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30502/stat : 30502 (java) S 30489 30491 28918 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 116318005 1837830144 50681 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30503] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30503/stat : 30503 (java) S 30489 30491 28918 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 116318005 1837830144 50681 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30491/tid=30504] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30504/stat : 30504 (java) S 30489 30491 28918 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 116318153 1837830144 50681 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 15.37
Current children cumulated vsize (KiB) 1794756

[startup+25.5028 s]
/proc/loadavg: 1.22 1.06 1.02 2/79 30504
/proc/meminfo: memFree=1567752/2055920 swapFree=4183848/4192956
[pid=30491] ppid=30489 vsize=1794756 CPUtime=28.29
/proc/30491/stat : 30491 (java) S 30489 30491 28918 0 -1 0 61623 0 1 0 2801 28 0 0 18 0 13 0 116317995 1837830144 45520 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30491/statm: 448689 45520 1328 9 0 446301 0
[pid=30491/tid=30493] ppid=30489 vsize=1794756 CPUtime=23.9
/proc/30491/task/30493/stat : 30493 (java) R 30489 30491 28918 0 -1 64 39937 0 1 0 2374 16 0 0 25 0 13 0 116317997 1837830144 45520 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109562337 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30491/tid=30494] ppid=30489 vsize=1794756 CPUtime=0.32
/proc/30491/task/30494/stat : 30494 (java) S 30489 30491 28918 0 -1 64 6018 0 0 0 30 2 0 0 16 0 13 0 116317998 1837830144 45520 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30495] ppid=30489 vsize=1794756 CPUtime=0.32
/proc/30491/task/30495/stat : 30495 (java) S 30489 30491 28918 0 -1 64 5276 0 0 0 30 2 0 0 15 0 13 0 116317998 1837830144 45520 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30496] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30496/stat : 30496 (java) S 30489 30491 28918 0 -1 64 32 0 0 0 0 0 0 0 17 0 13 0 116318001 1837830144 45520 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0

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

[pid=30491/tid=30496] ppid=30489 vsize=1794756 CPUtime=0.71
/proc/30491/task/30496/stat : 30496 (java) S 30489 30491 28918 0 -1 64 347 0 0 0 36 35 0 0 15 0 13 0 116318001 1837830144 85810 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30497] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30497/stat : 30497 (java) S 30489 30491 28918 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 116318001 1837830144 85810 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30498] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30498/stat : 30498 (java) S 30489 30491 28918 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 116318001 1837830144 85810 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30499] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30499/stat : 30499 (java) S 30489 30491 28918 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 116318005 1837830144 85810 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30500] ppid=30489 vsize=1794756 CPUtime=2.15
/proc/30491/task/30500/stat : 30500 (java) S 30489 30491 28918 0 -1 64 7034 0 0 0 213 2 0 0 16 0 13 0 116318005 1837830144 85810 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30501] ppid=30489 vsize=1794756 CPUtime=1.99
/proc/30491/task/30501/stat : 30501 (java) S 30489 30491 28918 0 -1 64 2627 0 0 0 198 1 0 0 16 0 13 0 116318005 1837830144 85810 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30491/tid=30502] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30502/stat : 30502 (java) S 30489 30491 28918 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 116318005 1837830144 85810 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30503] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30503/stat : 30503 (java) S 30489 30491 28918 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 116318005 1837830144 85810 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30491/tid=30507] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30507/stat : 30507 (java) S 30489 30491 28918 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 116335680 1837830144 85810 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1614.5
Current children cumulated vsize (KiB) 1794756

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 30507
/proc/meminfo: memFree=1399472/2055920 swapFree=4183848/4192956
[pid=30491] ppid=30489 vsize=1794756 CPUtime=1674.93
/proc/30491/stat : 30491 (java) S 30489 30491 28918 0 -1 0 185135 0 1 0 167345 148 0 0 18 0 13 0 116317995 1837830144 87333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30491/statm: 448689 87333 1330 9 0 446301 0
[pid=30491/tid=30493] ppid=30489 vsize=1794756 CPUtime=1648.35
/proc/30491/task/30493/stat : 30493 (java) R 30489 30491 28918 0 -1 64 98185 0 1 0 164780 55 0 0 25 0 13 0 116317997 1837830144 87333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109562542 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30494] ppid=30489 vsize=1794756 CPUtime=10.85
/proc/30491/task/30494/stat : 30494 (java) S 30489 30491 28918 0 -1 64 39148 0 0 0 1059 26 0 0 16 0 13 0 116317998 1837830144 87333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30491/tid=30495] ppid=30489 vsize=1794756 CPUtime=10.78
/proc/30491/task/30495/stat : 30495 (java) S 30489 30491 28918 0 -1 64 37053 0 0 0 1054 24 0 0 15 0 13 0 116317998 1837830144 87333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30496] ppid=30489 vsize=1794756 CPUtime=0.74
/proc/30491/task/30496/stat : 30496 (java) S 30489 30491 28918 0 -1 64 363 0 0 0 38 36 0 0 16 0 13 0 116318001 1837830144 87333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30497] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30497/stat : 30497 (java) S 30489 30491 28918 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 116318001 1837830144 87333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30498] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30498/stat : 30498 (java) S 30489 30491 28918 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 116318001 1837830144 87333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30499] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30499/stat : 30499 (java) S 30489 30491 28918 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 116318005 1837830144 87333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30500] ppid=30489 vsize=1794756 CPUtime=2.15
/proc/30491/task/30500/stat : 30500 (java) S 30489 30491 28918 0 -1 64 7034 0 0 0 213 2 0 0 16 0 13 0 116318005 1837830144 87333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30501] ppid=30489 vsize=1794756 CPUtime=1.99
/proc/30491/task/30501/stat : 30501 (java) S 30489 30491 28918 0 -1 64 2627 0 0 0 198 1 0 0 16 0 13 0 116318005 1837830144 87333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30491/tid=30502] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30502/stat : 30502 (java) S 30489 30491 28918 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 116318005 1837830144 87333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30503] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30503/stat : 30503 (java) S 30489 30491 28918 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 116318005 1837830144 87333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30491/tid=30507] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30507/stat : 30507 (java) S 30489 30491 28918 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 116335680 1837830144 87333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1674.93
Current children cumulated vsize (KiB) 1794756

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 30507
/proc/meminfo: memFree=1377712/2055920 swapFree=4183848/4192956
[pid=30491] ppid=30489 vsize=1794756 CPUtime=1735.33
/proc/30491/stat : 30491 (java) S 30489 30491 28918 0 -1 0 192115 0 1 0 173380 153 0 0 18 0 13 0 116317995 1837830144 92826 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30491/statm: 448689 92826 1330 9 0 446301 0
[pid=30491/tid=30493] ppid=30489 vsize=1794756 CPUtime=1707.84
/proc/30491/task/30493/stat : 30493 (java) R 30489 30491 28918 0 -1 64 103096 0 1 0 170727 57 0 0 25 0 13 0 116317997 1837830144 92826 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4110031368 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30494] ppid=30489 vsize=1794756 CPUtime=11.3
/proc/30491/task/30494/stat : 30494 (java) S 30489 30491 28918 0 -1 64 40218 0 0 0 1103 27 0 0 16 0 13 0 116317998 1837830144 92826 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30495] ppid=30489 vsize=1794756 CPUtime=11.21
/proc/30491/task/30495/stat : 30495 (java) S 30489 30491 28918 0 -1 64 38036 0 0 0 1097 24 0 0 16 0 13 0 116317998 1837830144 92826 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30491/tid=30496] ppid=30489 vsize=1794756 CPUtime=0.76
/proc/30491/task/30496/stat : 30496 (java) S 30489 30491 28918 0 -1 64 379 0 0 0 39 37 0 0 16 0 13 0 116318001 1837830144 92826 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30497] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30497/stat : 30497 (java) S 30489 30491 28918 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 116318001 1837830144 92826 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30498] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30498/stat : 30498 (java) S 30489 30491 28918 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 116318001 1837830144 92826 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30499] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30499/stat : 30499 (java) S 30489 30491 28918 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 116318005 1837830144 92826 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30500] ppid=30489 vsize=1794756 CPUtime=2.15
/proc/30491/task/30500/stat : 30500 (java) S 30489 30491 28918 0 -1 64 7034 0 0 0 213 2 0 0 16 0 13 0 116318005 1837830144 92826 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30501] ppid=30489 vsize=1794756 CPUtime=1.99
/proc/30491/task/30501/stat : 30501 (java) S 30489 30491 28918 0 -1 64 2627 0 0 0 198 1 0 0 16 0 13 0 116318005 1837830144 92826 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30491/tid=30502] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30502/stat : 30502 (java) S 30489 30491 28918 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 116318005 1837830144 92826 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30503] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30503/stat : 30503 (java) S 30489 30491 28918 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 116318005 1837830144 92826 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30491/tid=30507] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30507/stat : 30507 (java) S 30489 30491 28918 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 116335680 1837830144 92826 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1735.33
Current children cumulated vsize (KiB) 1794756

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 30507
/proc/meminfo: memFree=1380336/2055920 swapFree=4183848/4192956
[pid=30491] ppid=30489 vsize=1794756 CPUtime=1795.72
/proc/30491/stat : 30491 (java) S 30489 30491 28918 0 -1 0 193534 0 1 0 179416 156 0 0 18 0 13 0 116317995 1837830144 92067 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30491/statm: 448689 92067 1330 9 0 446301 0
[pid=30491/tid=30493] ppid=30489 vsize=1794756 CPUtime=1767.32
/proc/30491/task/30493/stat : 30493 (java) R 30489 30491 28918 0 -1 64 103286 0 1 0 176675 57 0 0 17 0 13 0 116317997 1837830144 92067 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4110072782 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30491/tid=30494] ppid=30489 vsize=1794756 CPUtime=11.74
/proc/30491/task/30494/stat : 30494 (java) S 30489 30491 28918 0 -1 64 40851 0 0 0 1146 28 0 0 16 0 13 0 116317998 1837830144 92067 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30495] ppid=30489 vsize=1794756 CPUtime=11.65
/proc/30491/task/30495/stat : 30495 (java) S 30489 30491 28918 0 -1 64 38625 0 0 0 1140 25 0 0 16 0 13 0 116317998 1837830144 92067 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30496] ppid=30489 vsize=1794756 CPUtime=0.8
/proc/30491/task/30496/stat : 30496 (java) S 30489 30491 28918 0 -1 64 386 0 0 0 41 39 0 0 15 0 13 0 116318001 1837830144 92067 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30497] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30497/stat : 30497 (java) S 30489 30491 28918 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 116318001 1837830144 92067 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30498] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30498/stat : 30498 (java) S 30489 30491 28918 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 116318001 1837830144 92067 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30499] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30499/stat : 30499 (java) S 30489 30491 28918 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 116318005 1837830144 92067 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30500] ppid=30489 vsize=1794756 CPUtime=2.15
/proc/30491/task/30500/stat : 30500 (java) S 30489 30491 28918 0 -1 64 7034 0 0 0 213 2 0 0 16 0 13 0 116318005 1837830144 92067 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30501] ppid=30489 vsize=1794756 CPUtime=1.99
/proc/30491/task/30501/stat : 30501 (java) S 30489 30491 28918 0 -1 64 2627 0 0 0 198 1 0 0 16 0 13 0 116318005 1837830144 92067 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30491/tid=30502] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30502/stat : 30502 (java) S 30489 30491 28918 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 116318005 1837830144 92067 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30503] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30503/stat : 30503 (java) S 30489 30491 28918 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 116318005 1837830144 92067 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30491/tid=30507] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30507/stat : 30507 (java) S 30489 30491 28918 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 116335680 1837830144 92067 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1795.72
Current children cumulated vsize (KiB) 1794756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1786.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 30507
/proc/meminfo: memFree=1380784/2055920 swapFree=4183848/4192956
[pid=30491] ppid=30489 vsize=1794756 CPUtime=1800.04
/proc/30491/stat : 30491 (java) S 30489 30491 28918 0 -1 0 193558 0 1 0 179848 156 0 0 18 0 13 0 116317995 1837830144 91941 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30491/statm: 448689 91941 1330 9 0 446301 0
[pid=30491/tid=30493] ppid=30489 vsize=1794756 CPUtime=1771.6
/proc/30491/task/30493/stat : 30493 (java) R 30489 30491 28918 0 -1 64 103292 0 1 0 177103 57 0 0 25 0 13 0 116317997 1837830144 91941 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109784233 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30491/tid=30494] ppid=30489 vsize=1794756 CPUtime=11.76
/proc/30491/task/30494/stat : 30494 (java) S 30489 30491 28918 0 -1 64 40856 0 0 0 1148 28 0 0 16 0 13 0 116317998 1837830144 91941 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30491/tid=30495] ppid=30489 vsize=1794756 CPUtime=11.67
/proc/30491/task/30495/stat : 30495 (java) S 30489 30491 28918 0 -1 64 38638 0 0 0 1142 25 0 0 16 0 13 0 116317998 1837830144 91941 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30496] ppid=30489 vsize=1794756 CPUtime=0.8
/proc/30491/task/30496/stat : 30496 (java) S 30489 30491 28918 0 -1 64 386 0 0 0 41 39 0 0 16 0 13 0 116318001 1837830144 91941 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30491/tid=30497] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30497/stat : 30497 (java) S 30489 30491 28918 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 116318001 1837830144 91941 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30498] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30498/stat : 30498 (java) S 30489 30491 28918 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 116318001 1837830144 91941 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30499] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30499/stat : 30499 (java) S 30489 30491 28918 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 116318005 1837830144 91941 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30500] ppid=30489 vsize=1794756 CPUtime=2.15
/proc/30491/task/30500/stat : 30500 (java) S 30489 30491 28918 0 -1 64 7034 0 0 0 213 2 0 0 16 0 13 0 116318005 1837830144 91941 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30501] ppid=30489 vsize=1794756 CPUtime=1.99
/proc/30491/task/30501/stat : 30501 (java) S 30489 30491 28918 0 -1 64 2627 0 0 0 198 1 0 0 16 0 13 0 116318005 1837830144 91941 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30491/tid=30502] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30502/stat : 30502 (java) S 30489 30491 28918 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 116318005 1837830144 91941 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30491/tid=30503] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30503/stat : 30503 (java) S 30489 30491 28918 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 116318005 1837830144 91941 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30491/tid=30507] ppid=30489 vsize=1794756 CPUtime=0
/proc/30491/task/30507/stat : 30507 (java) S 30489 30491 28918 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 116335680 1837830144 91941 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1794756

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

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

[startup+1786.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 30507
/proc/meminfo: memFree=1380784/2055920 swapFree=4183848/4192956
[pid=30491] ppid=30489 vsize=0 CPUtime=1800.38
/proc/30491/stat : 30491 (java) Z 30489 30491 28918 0 -1 1036 193576 0 1 0 179880 158 0 0 15 0 2 0 116317995 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30491/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.38
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1786.84
CPU time (s): 1800.43
CPU user time (s): 1798.81
CPU system time (s): 1.62275
CPU usage (%): 100.761
Max. virtual memory (cumulated for all children) (KiB): 1798360

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

runsolver used 2.26066 second user time and 5.79012 second system time

The end

Launcher Data (download as text)

Begin job on node54 on Mon Apr 16 02:10:35 UTC 2007

IDJOB= 353959
IDBENCH= 2300
IDSOLVER= 160
FILE ID= node54/353959-1176689435

PBS_JOBID= 4559974

Free space on /tmp= 66448 MiB

SOLVER NAME= sat4jPseudoCP 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran8x32.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353959-1176689435/sat4jPseudoCP.jar /tmp/evaluation/353959-1176689435/instance-353959-1176689435.opb       
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node54/watcher-353959-1176689435 -o ROOT/results/node54/solver-353959-1176689435 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353959-1176689435/sat4jPseudoCP.jar /tmp/evaluation/353959-1176689435/instance-353959-1176689435.opb       

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  cbc794920cb33f20cfa2472a22fd5e8b

RANDOM SEED= 428305658

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node54.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.234
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.234
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:       1746056 kB
Buffers:          9520 kB
Cached:         212304 kB
SwapCached:       2644 kB
Active:         165664 kB
Inactive:        79592 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1746056 kB
SwapTotal:     4192956 kB
SwapFree:      4183848 kB
Dirty:            4088 kB
Writeback:           0 kB
Mapped:          29712 kB
Slab:            50492 kB
Committed_AS:  1992600 kB
PageTables:       1444 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66448 MiB

End job on node54 on Mon Apr 16 02:40:24 UTC 2007