Trace number 353871

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
sat4jPseudoCPClause 2007-03-23SAT (TO)11841512 1800.46 1784.74

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran6x43.opb
MD5SUM9dd7506c46c3c26c10ff03753daf5d0f
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark9783292
Best CPU time to get the best result obtained on this benchmark1800.69
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 8442880
Optimality of the best value was proved NO
Number of variables7998
Total number of constraints307
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 constraints307
Minimum length of a constraint31
Maximum length of a constraint1290
Number of terms in the objective function 7998
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 1568780661323
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 1568780661323
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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	11841512

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node48/watcher-353871-1176687480 -o ROOT/results/node48/solver-353871-1176687480 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353871-1176687480/sat4jPseudoCPClause.jar /tmp/evaluation/353871-1176687480/instance-353871-1176687480.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 7630
/proc/meminfo: memFree=1759112/2055920 swapFree=4184696/4192956
[pid=7630] ppid=7628 vsize=152 CPUtime=0
/proc/7630/stat : 7630 (java) R 7628 7630 6700 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 23593291 155648 26 18446744073709551615 134512640 134550740 4294956560 18446744073709551615 3531051 0 0 4096 0 0 0 0 17 1 0 0
/proc/7630/statm: 38 26 19 9 0 4 0

[startup+0.10436 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 7630
/proc/meminfo: memFree=1759112/2055920 swapFree=4184696/4192956
[pid=7630] ppid=7628 vsize=1780260 CPUtime=0.09
/proc/7630/stat : 7630 (java) S 7628 7630 6700 0 -1 0 3998 0 1 0 6 3 0 0 18 0 12 0 23593291 1822986240 3740 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7630/statm: 445065 3740 1123 9 0 442683 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1780260

[startup+0.202365 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 7630
/proc/meminfo: memFree=1759112/2055920 swapFree=4184696/4192956
[pid=7630] ppid=7628 vsize=1780260 CPUtime=0.11
/proc/7630/stat : 7630 (java) S 7628 7630 6700 0 -1 0 4218 0 1 0 8 3 0 0 18 0 12 0 23593291 1822986240 3960 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7630/statm: 445065 3960 1134 9 0 442683 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 1780260

[startup+0.302376 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 7630
/proc/meminfo: memFree=1759112/2055920 swapFree=4184696/4192956
[pid=7630] ppid=7628 vsize=1782436 CPUtime=0.23
/proc/7630/stat : 7630 (java) S 7628 7630 6700 0 -1 0 4985 0 1 0 19 4 0 0 18 0 12 0 23593291 1825214464 4724 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7630/statm: 445609 4724 1246 9 0 443220 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 1782436

[startup+0.702414 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 7630
/proc/meminfo: memFree=1759112/2055920 swapFree=4184696/4192956
[pid=7630] ppid=7628 vsize=1785816 CPUtime=0.82
/proc/7630/stat : 7630 (java) S 7628 7630 6700 0 -1 0 7365 0 1 0 77 5 0 0 18 0 12 0 23593291 1828675584 6794 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7630/statm: 446454 6794 1294 9 0 444065 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 1785816

[startup+1.50149 s]
/proc/loadavg: 0.92 0.98 0.99 4/76 7642
/proc/meminfo: memFree=1720360/2055920 swapFree=4184696/4192956
[pid=7630] ppid=7628 vsize=1795028 CPUtime=2.33
/proc/7630/stat : 7630 (java) S 7628 7630 6700 0 -1 0 18263 0 1 0 223 10 0 0 18 0 12 0 23593291 1838108672 15049 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7630/statm: 448757 15049 1318 9 0 446368 0
[pid=7630/tid=7632] ppid=7628 vsize=1795028 CPUtime=0.86
/proc/7630/task/7632/stat : 7632 (java) R 7628 7630 6700 0 -1 64 10916 0 1 0 80 6 0 0 18 0 12 0 23593292 1838108672 15049 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7633] ppid=7628 vsize=1795028 CPUtime=0
/proc/7630/task/7633/stat : 7633 (java) S 7628 7630 6700 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 23593294 1838108672 15049 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7634] ppid=7628 vsize=1795028 CPUtime=0
/proc/7630/task/7634/stat : 7634 (java) S 7628 7630 6700 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 23593294 1838108672 15049 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7630/tid=7635] ppid=7628 vsize=1795028 CPUtime=0
/proc/7630/task/7635/stat : 7635 (java) S 7628 7630 6700 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 23593296 1838108672 15049 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7630/tid=7636] ppid=7628 vsize=1795028 CPUtime=0
/proc/7630/task/7636/stat : 7636 (java) S 7628 7630 6700 0 -1 64 10 0 0 0 0 0 0 0 21 0 12 0 23593296 1838108672 15049 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7637] ppid=7628 vsize=1795028 CPUtime=0
/proc/7630/task/7637/stat : 7637 (java) S 7628 7630 6700 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 23593296 1838108672 15049 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7638] ppid=7628 vsize=1795028 CPUtime=0
/proc/7630/task/7638/stat : 7638 (java) S 7628 7630 6700 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 23593300 1838108672 15049 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7639] ppid=7628 vsize=1795028 CPUtime=0.82
/proc/7630/task/7639/stat : 7639 (java) R 7628 7630 6700 0 -1 64 4555 0 0 0 80 2 0 0 16 0 12 0 23593300 1838108672 15049 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 102395550 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7630/tid=7640] ppid=7628 vsize=1795028 CPUtime=0.63
/proc/7630/task/7640/stat : 7640 (java) S 7628 7630 6700 0 -1 64 2070 0 0 0 62 1 0 0 16 0 12 0 23593300 1838108672 15049 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7630/tid=7641] ppid=7628 vsize=1795028 CPUtime=0
/proc/7630/task/7641/stat : 7641 (java) S 7628 7630 6700 0 -1 64 2 0 0 0 0 0 0 0 24 0 12 0 23593300 1838108672 15049 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7642] ppid=7628 vsize=1795028 CPUtime=0
/proc/7630/task/7642/stat : 7642 (java) S 7628 7630 6700 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 23593300 1838108672 15049 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 1795028

[startup+3.10164 s]
/proc/loadavg: 0.93 0.98 0.99 3/77 7643
/proc/meminfo: memFree=1687264/2055920 swapFree=4184696/4192956
[pid=7630] ppid=7628 vsize=1795352 CPUtime=4.55
/proc/7630/stat : 7630 (java) S 7628 7630 6700 0 -1 0 31618 0 1 0 438 17 0 0 18 0 13 0 23593291 1838440448 27003 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7630/statm: 448838 27003 1318 9 0 446449 0
[pid=7630/tid=7632] ppid=7628 vsize=1795352 CPUtime=2.18
/proc/7630/task/7632/stat : 7632 (java) R 7628 7630 6700 0 -1 64 22774 0 1 0 206 12 0 0 20 0 13 0 23593292 1838440448 27003 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109797886 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7633] ppid=7628 vsize=1795352 CPUtime=0
/proc/7630/task/7633/stat : 7633 (java) S 7628 7630 6700 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 23593294 1838440448 27003 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7634] ppid=7628 vsize=1795352 CPUtime=0
/proc/7630/task/7634/stat : 7634 (java) S 7628 7630 6700 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 23593294 1838440448 27003 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7630/tid=7635] ppid=7628 vsize=1795352 CPUtime=0
/proc/7630/task/7635/stat : 7635 (java) S 7628 7630 6700 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 23593296 1838440448 27003 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7636] ppid=7628 vsize=1795352 CPUtime=0
/proc/7630/task/7636/stat : 7636 (java) S 7628 7630 6700 0 -1 64 10 0 0 0 0 0 0 0 21 0 13 0 23593296 1838440448 27003 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7637] ppid=7628 vsize=1795352 CPUtime=0
/proc/7630/task/7637/stat : 7637 (java) S 7628 7630 6700 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 23593296 1838440448 27003 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7638] ppid=7628 vsize=1795352 CPUtime=0
/proc/7630/task/7638/stat : 7638 (java) S 7628 7630 6700 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 23593300 1838440448 27003 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7639] ppid=7628 vsize=1795352 CPUtime=1.26
/proc/7630/task/7639/stat : 7639 (java) S 7628 7630 6700 0 -1 64 4620 0 0 0 124 2 0 0 16 0 13 0 23593300 1838440448 27003 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7630/tid=7640] ppid=7628 vsize=1795352 CPUtime=1.08
/proc/7630/task/7640/stat : 7640 (java) S 7628 7630 6700 0 -1 64 3498 0 0 0 107 1 0 0 16 0 13 0 23593300 1838440448 27003 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7641] ppid=7628 vsize=1795352 CPUtime=0
/proc/7630/task/7641/stat : 7641 (java) S 7628 7630 6700 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 23593300 1838440448 27003 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7642] ppid=7628 vsize=1795352 CPUtime=0
/proc/7630/task/7642/stat : 7642 (java) S 7628 7630 6700 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23593300 1838440448 27003 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7643] ppid=7628 vsize=1795352 CPUtime=0
/proc/7630/task/7643/stat : 7643 (java) S 7628 7630 6700 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 23593453 1838440448 27003 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.55
Current children cumulated vsize (KiB) 1795352

[startup+6.30294 s]
/proc/loadavg: 0.93 0.98 0.99 3/77 7643
/proc/meminfo: memFree=1580776/2055920 swapFree=4184696/4192956
[pid=7630] ppid=7628 vsize=1795316 CPUtime=8.14
/proc/7630/stat : 7630 (java) S 7628 7630 6700 0 -1 0 51580 0 1 0 789 25 0 0 18 0 13 0 23593291 1838403584 45621 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7630/statm: 448829 45621 1327 9 0 446440 0
[pid=7630/tid=7632] ppid=7628 vsize=1795316 CPUtime=5.23
/proc/7630/task/7632/stat : 7632 (java) R 7628 7630 6700 0 -1 64 37733 0 1 0 505 18 0 0 25 0 13 0 23593292 1838403584 45621 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109666695 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7633] ppid=7628 vsize=1795316 CPUtime=0.06
/proc/7630/task/7633/stat : 7633 (java) S 7628 7630 6700 0 -1 64 2006 0 0 0 6 0 0 0 16 0 13 0 23593294 1838403584 45621 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7634] ppid=7628 vsize=1795316 CPUtime=0.06
/proc/7630/task/7634/stat : 7634 (java) S 7628 7630 6700 0 -1 64 1678 0 0 0 6 0 0 0 16 0 13 0 23593294 1838403584 45621 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7630/tid=7635] ppid=7628 vsize=1795316 CPUtime=0
/proc/7630/task/7635/stat : 7635 (java) S 7628 7630 6700 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 23593296 1838403584 45621 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7636] ppid=7628 vsize=1795316 CPUtime=0
/proc/7630/task/7636/stat : 7636 (java) S 7628 7630 6700 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 23593296 1838403584 45621 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7637] ppid=7628 vsize=1795316 CPUtime=0
/proc/7630/task/7637/stat : 7637 (java) S 7628 7630 6700 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 23593296 1838403584 45621 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7638] ppid=7628 vsize=1795316 CPUtime=0
/proc/7630/task/7638/stat : 7638 (java) S 7628 7630 6700 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 23593300 1838403584 45621 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7639] ppid=7628 vsize=1795316 CPUtime=1.44
/proc/7630/task/7639/stat : 7639 (java) S 7628 7630 6700 0 -1 64 4632 0 0 0 142 2 0 0 17 0 13 0 23593300 1838403584 45621 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7630/tid=7640] ppid=7628 vsize=1795316 CPUtime=1.3
/proc/7630/task/7640/stat : 7640 (java) S 7628 7630 6700 0 -1 64 4799 0 0 0 128 2 0 0 17 0 13 0 23593300 1838403584 45621 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7641] ppid=7628 vsize=1795316 CPUtime=0
/proc/7630/task/7641/stat : 7641 (java) S 7628 7630 6700 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 23593300 1838403584 45621 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7642] ppid=7628 vsize=1795316 CPUtime=0
/proc/7630/task/7642/stat : 7642 (java) R 7628 7630 6700 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23593300 1838403584 45621 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7643] ppid=7628 vsize=1795316 CPUtime=0
/proc/7630/task/7643/stat : 7643 (java) S 7628 7630 6700 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 23593453 1838403584 45621 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.14
Current children cumulated vsize (KiB) 1795316

[startup+12.7015 s]
/proc/loadavg: 0.94 0.98 0.99 2/77 7643
/proc/meminfo: memFree=1579048/2055920 swapFree=4184696/4192956
[pid=7630] ppid=7628 vsize=1795316 CPUtime=14.6
/proc/7630/stat : 7630 (java) S 7628 7630 6700 0 -1 0 52041 0 1 0 1435 25 0 0 18 0 13 0 23593291 1838403584 46044 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7630/statm: 448829 46044 1328 9 0 446440 0
[pid=7630/tid=7632] ppid=7628 vsize=1795316 CPUtime=11.57
/proc/7630/task/7632/stat : 7632 (java) R 7628 7630 6700 0 -1 64 37736 0 1 0 1139 18 0 0 25 0 13 0 23593292 1838403584 46044 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109623172 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7630/tid=7633] ppid=7628 vsize=1795316 CPUtime=0.09
/proc/7630/task/7633/stat : 7633 (java) S 7628 7630 6700 0 -1 64 2235 0 0 0 9 0 0 0 16 0 13 0 23593294 1838403584 46044 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7634] ppid=7628 vsize=1795316 CPUtime=0.09
/proc/7630/task/7634/stat : 7634 (java) S 7628 7630 6700 0 -1 64 1865 0 0 0 9 0 0 0 16 0 13 0 23593294 1838403584 46044 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7630/tid=7635] ppid=7628 vsize=1795316 CPUtime=0
/proc/7630/task/7635/stat : 7635 (java) S 7628 7630 6700 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 23593296 1838403584 46044 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7636] ppid=7628 vsize=1795316 CPUtime=0
/proc/7630/task/7636/stat : 7636 (java) S 7628 7630 6700 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 23593296 1838403584 46044 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7637] ppid=7628 vsize=1795316 CPUtime=0
/proc/7630/task/7637/stat : 7637 (java) S 7628 7630 6700 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 23593296 1838403584 46044 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7638] ppid=7628 vsize=1795316 CPUtime=0
/proc/7630/task/7638/stat : 7638 (java) S 7628 7630 6700 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 23593300 1838403584 46044 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7639] ppid=7628 vsize=1795316 CPUtime=1.45
/proc/7630/task/7639/stat : 7639 (java) S 7628 7630 6700 0 -1 64 4633 0 0 0 143 2 0 0 17 0 13 0 23593300 1838403584 46044 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7630/tid=7640] ppid=7628 vsize=1795316 CPUtime=1.34
/proc/7630/task/7640/stat : 7640 (java) S 7628 7630 6700 0 -1 64 4837 0 0 0 132 2 0 0 17 0 13 0 23593300 1838403584 46044 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7641] ppid=7628 vsize=1795316 CPUtime=0
/proc/7630/task/7641/stat : 7641 (java) S 7628 7630 6700 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 23593300 1838403584 46044 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7642] ppid=7628 vsize=1795316 CPUtime=0
/proc/7630/task/7642/stat : 7642 (java) S 7628 7630 6700 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23593300 1838403584 46044 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7643] ppid=7628 vsize=1795316 CPUtime=0
/proc/7630/task/7643/stat : 7643 (java) S 7628 7630 6700 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 23593453 1838403584 46044 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.6
Current children cumulated vsize (KiB) 1795316

[startup+25.5027 s]
/proc/loadavg: 0.95 0.98 0.99 2/77 7643
/proc/meminfo: memFree=1566056/2055920 swapFree=4184696/4192956
[pid=7630] ppid=7628 vsize=1796340 CPUtime=27.73
/proc/7630/stat : 7630 (java) S 7628 7630 6700 0 -1 0 56874 0 1 0 2745 28 0 0 18 0 13 0 23593291 1839452160 49322 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7630/statm: 449085 49322 1328 9 0 446696 0
[pid=7630/tid=7632] ppid=7628 vsize=1796340 CPUtime=24.17
/proc/7630/task/7632/stat : 7632 (java) R 7628 7630 6700 0 -1 64 37739 0 1 0 2398 19 0 0 25 0 13 0 23593292 1839452160 49322 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109668256 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7630/tid=7633] ppid=7628 vsize=1796340 CPUtime=0.27
/proc/7630/task/7633/stat : 7633 (java) S 7628 7630 6700 0 -1 64 4579 0 0 0 26 1 0 0 16 0 13 0 23593294 1839452160 49322 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7634] ppid=7628 vsize=1796340 CPUtime=0.26
/proc/7630/task/7634/stat : 7634 (java) S 7628 7630 6700 0 -1 64 4060 0 0 0 25 1 0 0 16 0 13 0 23593294 1839452160 49322 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7630/tid=7635] ppid=7628 vsize=1796340 CPUtime=0
/proc/7630/task/7635/stat : 7635 (java) S 7628 7630 6700 0 -1 64 26 0 0 0 0 0 0 0 16 0 13 0 23593296 1839452160 49322 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0

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

[pid=7630/tid=7635] ppid=7628 vsize=1797168 CPUtime=0.37
/proc/7630/task/7635/stat : 7635 (java) S 7628 7630 6700 0 -1 64 73 0 0 0 21 16 0 0 16 0 13 0 23593296 1840300032 62868 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7630/tid=7636] ppid=7628 vsize=1797168 CPUtime=0
/proc/7630/task/7636/stat : 7636 (java) S 7628 7630 6700 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 23593296 1840300032 62868 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7637] ppid=7628 vsize=1797168 CPUtime=0
/proc/7630/task/7637/stat : 7637 (java) S 7628 7630 6700 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 23593296 1840300032 62868 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7638] ppid=7628 vsize=1797168 CPUtime=0
/proc/7630/task/7638/stat : 7638 (java) S 7628 7630 6700 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 23593300 1840300032 62868 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7639] ppid=7628 vsize=1797168 CPUtime=1.99
/proc/7630/task/7639/stat : 7639 (java) S 7628 7630 6700 0 -1 64 4766 0 0 0 197 2 0 0 16 0 13 0 23593300 1840300032 62868 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7640] ppid=7628 vsize=1797168 CPUtime=1.62
/proc/7630/task/7640/stat : 7640 (java) S 7628 7630 6700 0 -1 64 7004 0 0 0 159 3 0 0 16 0 13 0 23593300 1840300032 62868 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7641] ppid=7628 vsize=1797168 CPUtime=0
/proc/7630/task/7641/stat : 7641 (java) S 7628 7630 6700 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 23593300 1840300032 62868 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7642] ppid=7628 vsize=1797168 CPUtime=0
/proc/7630/task/7642/stat : 7642 (java) S 7628 7630 6700 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23593300 1840300032 62868 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7630/tid=7644] ppid=7628 vsize=1797168 CPUtime=0
/proc/7630/task/7644/stat : 7644 (java) S 7628 7630 6700 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 23597008 1840300032 62868 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1616.27
Current children cumulated vsize (KiB) 1797168

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/77 8252
/proc/meminfo: memFree=1480984/2055920 swapFree=4184696/4192956
[pid=7630] ppid=7628 vsize=1797168 CPUtime=1676.82
/proc/7630/stat : 7630 (java) S 7628 7630 6700 0 -1 0 130479 0 1 0 167586 96 0 0 18 0 13 0 23593291 1840300032 62943 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7630/statm: 449292 62943 1336 9 0 446903 0
[pid=7630/tid=7632] ppid=7628 vsize=1797168 CPUtime=1646.85
/proc/7630/task/7632/stat : 7632 (java) R 7628 7630 6700 0 -1 64 50486 0 1 0 164651 34 0 0 25 0 13 0 23593292 1840300032 62943 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109539136 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7630/tid=7633] ppid=7628 vsize=1797168 CPUtime=12.94
/proc/7630/task/7633/stat : 7633 (java) S 7628 7630 6700 0 -1 64 32145 0 0 0 1278 16 0 0 16 0 13 0 23593294 1840300032 62943 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7630/tid=7634] ppid=7628 vsize=1797168 CPUtime=12.98
/proc/7630/task/7634/stat : 7634 (java) S 7628 7630 6700 0 -1 64 35280 0 0 0 1277 21 0 0 16 0 13 0 23593294 1840300032 62943 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7635] ppid=7628 vsize=1797168 CPUtime=0.38
/proc/7630/task/7635/stat : 7635 (java) S 7628 7630 6700 0 -1 64 73 0 0 0 22 16 0 0 16 0 13 0 23593296 1840300032 62943 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7630/tid=7636] ppid=7628 vsize=1797168 CPUtime=0
/proc/7630/task/7636/stat : 7636 (java) S 7628 7630 6700 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 23593296 1840300032 62943 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7637] ppid=7628 vsize=1797168 CPUtime=0
/proc/7630/task/7637/stat : 7637 (java) S 7628 7630 6700 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 23593296 1840300032 62943 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7638] ppid=7628 vsize=1797168 CPUtime=0
/proc/7630/task/7638/stat : 7638 (java) S 7628 7630 6700 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 23593300 1840300032 62943 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7639] ppid=7628 vsize=1797168 CPUtime=1.99
/proc/7630/task/7639/stat : 7639 (java) S 7628 7630 6700 0 -1 64 4766 0 0 0 197 2 0 0 16 0 13 0 23593300 1840300032 62943 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7640] ppid=7628 vsize=1797168 CPUtime=1.62
/proc/7630/task/7640/stat : 7640 (java) S 7628 7630 6700 0 -1 64 7004 0 0 0 159 3 0 0 16 0 13 0 23593300 1840300032 62943 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7641] ppid=7628 vsize=1797168 CPUtime=0
/proc/7630/task/7641/stat : 7641 (java) S 7628 7630 6700 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 23593300 1840300032 62943 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7642] ppid=7628 vsize=1797168 CPUtime=0
/proc/7630/task/7642/stat : 7642 (java) S 7628 7630 6700 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23593300 1840300032 62943 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7630/tid=7644] ppid=7628 vsize=1797168 CPUtime=0
/proc/7630/task/7644/stat : 7644 (java) S 7628 7630 6700 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 23597008 1840300032 62943 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1676.82
Current children cumulated vsize (KiB) 1797168

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 8252
/proc/meminfo: memFree=1480920/2055920 swapFree=4184696/4192956
[pid=7630] ppid=7628 vsize=1797168 CPUtime=1737.35
/proc/7630/stat : 7630 (java) S 7628 7630 6700 0 -1 0 131659 0 1 0 173637 98 0 0 18 0 13 0 23593291 1840300032 62932 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7630/statm: 449292 62932 1336 9 0 446903 0
[pid=7630/tid=7632] ppid=7628 vsize=1797168 CPUtime=1706.24
/proc/7630/task/7632/stat : 7632 (java) R 7628 7630 6700 0 -1 64 50531 0 1 0 170590 34 0 0 25 0 13 0 23593292 1840300032 62932 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109796962 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7630/tid=7633] ppid=7628 vsize=1797168 CPUtime=13.5
/proc/7630/task/7633/stat : 7633 (java) S 7628 7630 6700 0 -1 64 32567 0 0 0 1334 16 0 0 16 0 13 0 23593294 1840300032 62932 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7630/tid=7634] ppid=7628 vsize=1797168 CPUtime=13.53
/proc/7630/task/7634/stat : 7634 (java) S 7628 7630 6700 0 -1 64 35990 0 0 0 1331 22 0 0 16 0 13 0 23593294 1840300032 62932 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7635] ppid=7628 vsize=1797168 CPUtime=0.39
/proc/7630/task/7635/stat : 7635 (java) S 7628 7630 6700 0 -1 64 76 0 0 0 22 17 0 0 15 0 13 0 23593296 1840300032 62932 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7630/tid=7636] ppid=7628 vsize=1797168 CPUtime=0
/proc/7630/task/7636/stat : 7636 (java) S 7628 7630 6700 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 23593296 1840300032 62932 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7637] ppid=7628 vsize=1797168 CPUtime=0
/proc/7630/task/7637/stat : 7637 (java) S 7628 7630 6700 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 23593296 1840300032 62932 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7638] ppid=7628 vsize=1797168 CPUtime=0
/proc/7630/task/7638/stat : 7638 (java) S 7628 7630 6700 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 23593300 1840300032 62932 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7639] ppid=7628 vsize=1797168 CPUtime=1.99
/proc/7630/task/7639/stat : 7639 (java) S 7628 7630 6700 0 -1 64 4766 0 0 0 197 2 0 0 16 0 13 0 23593300 1840300032 62932 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7640] ppid=7628 vsize=1797168 CPUtime=1.62
/proc/7630/task/7640/stat : 7640 (java) S 7628 7630 6700 0 -1 64 7004 0 0 0 159 3 0 0 16 0 13 0 23593300 1840300032 62932 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7641] ppid=7628 vsize=1797168 CPUtime=0
/proc/7630/task/7641/stat : 7641 (java) S 7628 7630 6700 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 23593300 1840300032 62932 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7642] ppid=7628 vsize=1797168 CPUtime=0
/proc/7630/task/7642/stat : 7642 (java) S 7628 7630 6700 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23593300 1840300032 62932 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7630/tid=7644] ppid=7628 vsize=1797168 CPUtime=0
/proc/7630/task/7644/stat : 7644 (java) S 7628 7630 6700 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 23597008 1840300032 62932 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1737.35
Current children cumulated vsize (KiB) 1797168

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 8254
/proc/meminfo: memFree=1467040/2055920 swapFree=4184696/4192956
[pid=7630] ppid=7628 vsize=1797168 CPUtime=1797.84
/proc/7630/stat : 7630 (java) S 7628 7630 6700 0 -1 0 136173 0 1 0 179683 101 0 0 18 0 13 0 23593291 1840300032 66400 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7630/statm: 449292 66400 1336 9 0 446903 0
[pid=7630/tid=7632] ppid=7628 vsize=1797168 CPUtime=1765.67
/proc/7630/task/7632/stat : 7632 (java) R 7628 7630 6700 0 -1 64 53805 0 1 0 176531 36 0 0 17 0 13 0 23593292 1840300032 66400 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109666516 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7630/tid=7633] ppid=7628 vsize=1797168 CPUtime=14.04
/proc/7630/task/7633/stat : 7633 (java) S 7628 7630 6700 0 -1 64 33117 0 0 0 1387 17 0 0 16 0 13 0 23593294 1840300032 66400 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7630/tid=7634] ppid=7628 vsize=1797168 CPUtime=14.06
/proc/7630/task/7634/stat : 7634 (java) S 7628 7630 6700 0 -1 64 36670 0 0 0 1384 22 0 0 16 0 13 0 23593294 1840300032 66400 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7635] ppid=7628 vsize=1797168 CPUtime=0.4
/proc/7630/task/7635/stat : 7635 (java) S 7628 7630 6700 0 -1 64 86 0 0 0 23 17 0 0 16 0 13 0 23593296 1840300032 66400 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7636] ppid=7628 vsize=1797168 CPUtime=0
/proc/7630/task/7636/stat : 7636 (java) S 7628 7630 6700 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 23593296 1840300032 66400 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7637] ppid=7628 vsize=1797168 CPUtime=0
/proc/7630/task/7637/stat : 7637 (java) S 7628 7630 6700 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 23593296 1840300032 66400 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7638] ppid=7628 vsize=1797168 CPUtime=0
/proc/7630/task/7638/stat : 7638 (java) S 7628 7630 6700 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 23593300 1840300032 66400 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7639] ppid=7628 vsize=1797168 CPUtime=1.99
/proc/7630/task/7639/stat : 7639 (java) S 7628 7630 6700 0 -1 64 4766 0 0 0 197 2 0 0 16 0 13 0 23593300 1840300032 66400 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7640] ppid=7628 vsize=1797168 CPUtime=1.62
/proc/7630/task/7640/stat : 7640 (java) S 7628 7630 6700 0 -1 64 7004 0 0 0 159 3 0 0 16 0 13 0 23593300 1840300032 66400 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7641] ppid=7628 vsize=1797168 CPUtime=0
/proc/7630/task/7641/stat : 7641 (java) S 7628 7630 6700 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 23593300 1840300032 66400 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7642] ppid=7628 vsize=1797168 CPUtime=0
/proc/7630/task/7642/stat : 7642 (java) S 7628 7630 6700 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23593300 1840300032 66400 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7630/tid=7644] ppid=7628 vsize=1797168 CPUtime=0
/proc/7630/task/7644/stat : 7644 (java) S 7628 7630 6700 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 23597008 1840300032 66400 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 1797168



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1784.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 8254
/proc/meminfo: memFree=1467232/2055920 swapFree=4184696/4192956
[pid=7630] ppid=7628 vsize=1797168 CPUtime=1800.06
/proc/7630/stat : 7630 (java) S 7628 7630 6700 0 -1 0 136182 0 1 0 179905 101 0 0 18 0 13 0 23593291 1840300032 66344 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7630/statm: 449292 66344 1336 9 0 446903 0
[pid=7630/tid=7632] ppid=7628 vsize=1797168 CPUtime=1767.86
/proc/7630/task/7632/stat : 7632 (java) R 7628 7630 6700 0 -1 64 53806 0 1 0 176750 36 0 0 23 0 13 0 23593292 1840300032 66344 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109796962 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7630/tid=7633] ppid=7628 vsize=1797168 CPUtime=14.05
/proc/7630/task/7633/stat : 7633 (java) S 7628 7630 6700 0 -1 64 33118 0 0 0 1388 17 0 0 17 0 13 0 23593294 1840300032 66344 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7630/tid=7634] ppid=7628 vsize=1797168 CPUtime=14.07
/proc/7630/task/7634/stat : 7634 (java) S 7628 7630 6700 0 -1 64 36677 0 0 0 1385 22 0 0 16 0 13 0 23593294 1840300032 66344 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7635] ppid=7628 vsize=1797168 CPUtime=0.4
/proc/7630/task/7635/stat : 7635 (java) S 7628 7630 6700 0 -1 64 86 0 0 0 23 17 0 0 15 0 13 0 23593296 1840300032 66344 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7636] ppid=7628 vsize=1797168 CPUtime=0
/proc/7630/task/7636/stat : 7636 (java) S 7628 7630 6700 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 23593296 1840300032 66344 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7637] ppid=7628 vsize=1797168 CPUtime=0
/proc/7630/task/7637/stat : 7637 (java) S 7628 7630 6700 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 23593296 1840300032 66344 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7638] ppid=7628 vsize=1797168 CPUtime=0
/proc/7630/task/7638/stat : 7638 (java) S 7628 7630 6700 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 23593300 1840300032 66344 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7639] ppid=7628 vsize=1797168 CPUtime=1.99
/proc/7630/task/7639/stat : 7639 (java) S 7628 7630 6700 0 -1 64 4766 0 0 0 197 2 0 0 16 0 13 0 23593300 1840300032 66344 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7640] ppid=7628 vsize=1797168 CPUtime=1.62
/proc/7630/task/7640/stat : 7640 (java) S 7628 7630 6700 0 -1 64 7004 0 0 0 159 3 0 0 16 0 13 0 23593300 1840300032 66344 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7641] ppid=7628 vsize=1797168 CPUtime=0
/proc/7630/task/7641/stat : 7641 (java) S 7628 7630 6700 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 23593300 1840300032 66344 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7630/tid=7642] ppid=7628 vsize=1797168 CPUtime=0
/proc/7630/task/7642/stat : 7642 (java) S 7628 7630 6700 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23593300 1840300032 66344 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7630/tid=7644] ppid=7628 vsize=1797168 CPUtime=0
/proc/7630/task/7644/stat : 7644 (java) S 7628 7630 6700 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 23597008 1840300032 66344 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1797168

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

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

[startup+1784.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 8254
/proc/meminfo: memFree=1467232/2055920 swapFree=4184696/4192956
[pid=7630] ppid=7628 vsize=0 CPUtime=1800.41
/proc/7630/stat : 7630 (java) Z 7628 7630 6700 0 -1 1036 136201 0 1 0 179940 101 0 0 15 0 2 0 23593291 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7630/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.41
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1784.74
CPU time (s): 1800.46
CPU user time (s): 1799.4
CPU system time (s): 1.05384
CPU usage (%): 100.88
Max. virtual memory (cumulated for all children) (KiB): 1798916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.4
system time used= 1.05384
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136201
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= 50119
involuntary context switches= 36912

runsolver used 1.70874 second user time and 4.87726 second system time

The end

Launcher Data (download as text)

Begin job on node48 on Mon Apr 16 01:38:00 UTC 2007

IDJOB= 353871
IDBENCH= 2282
IDSOLVER= 164
FILE ID= node48/353871-1176687480

PBS_JOBID= 4559983

Free space on /tmp= 66545 MiB

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

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  9dd7506c46c3c26c10ff03753daf5d0f

RANDOM SEED= 763583067

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node48.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.238
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.238
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:       1759520 kB
Buffers:         45964 kB
Cached:         169200 kB
SwapCached:       2640 kB
Active:         107968 kB
Inactive:       117800 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1759520 kB
SwapTotal:     4192956 kB
SwapFree:      4184696 kB
Dirty:            4004 kB
Writeback:           0 kB
Mapped:          16464 kB
Slab:            56684 kB
Committed_AS:   886292 kB
PageTables:       1388 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66545 MiB

End job on node48 on Mon Apr 16 02:07:46 UTC 2007