Trace number 353868

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
SAT4JPseudoResolution 2007-03-23SAT (TO)9783292 1800.69 1789.19

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

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	9783292

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 1.11 1.06 1.01 1/65 25620
/proc/meminfo: memFree=1892384/2055920 swapFree=4184528/4192956
[pid=25620] ppid=25618 vsize=152 CPUtime=0
/proc/25620/stat : 25620 (java) D 25618 25620 24522 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 23427000 155648 26 18446744073709551615 134512640 134550740 4294956560 18446744073709551615 7795492 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/25620/statm: 38 26 19 9 0 4 0

[startup+0.011067 s]
/proc/loadavg: 1.11 1.06 1.01 1/65 25620
/proc/meminfo: memFree=1892384/2055920 swapFree=4184528/4192956
[pid=25620] ppid=25618 vsize=1800 CPUtime=0
/proc/25620/stat : 25620 (java) D 25618 25620 24522 0 -1 0 176 0 0 0 0 0 0 0 18 0 1 0 23427000 1843200 148 18446744073709551615 134512640 134550740 4294956560 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/25620/statm: 450 148 111 9 0 92 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1800

[startup+0.10109 s]
/proc/loadavg: 1.11 1.06 1.01 1/65 25620
/proc/meminfo: memFree=1892384/2055920 swapFree=4184528/4192956
[pid=25620] ppid=25618 vsize=1777844 CPUtime=0.06
/proc/25620/stat : 25620 (java) S 25618 25620 24522 0 -1 0 3813 0 1 0 4 2 0 0 18 0 7 0 23427000 1820512256 3556 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 0 0 0
/proc/25620/statm: 444461 3556 1090 9 0 442097 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 1777844

[startup+0.301127 s]
/proc/loadavg: 1.11 1.06 1.01 1/65 25620
/proc/meminfo: memFree=1892384/2055920 swapFree=4184528/4192956
[pid=25620] ppid=25618 vsize=1782400 CPUtime=0.3
/proc/25620/stat : 25620 (java) S 25618 25620 24522 0 -1 0 5087 0 1 0 27 3 0 0 18 0 12 0 23427000 1825177600 4826 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25620/statm: 445600 4826 1263 9 0 443212 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 1782400

[startup+0.701206 s]
/proc/loadavg: 1.11 1.06 1.01 1/65 25620
/proc/meminfo: memFree=1892384/2055920 swapFree=4184528/4192956
[pid=25620] ppid=25618 vsize=1787632 CPUtime=0.92
/proc/25620/stat : 25620 (java) S 25618 25620 24522 0 -1 0 7875 0 1 0 88 4 0 0 18 0 12 0 23427000 1830535168 7254 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25620/statm: 446908 7255 1298 9 0 444520 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 1787632

[startup+1.50235 s]
/proc/loadavg: 1.11 1.06 1.01 4/77 25632
/proc/meminfo: memFree=1854912/2055920 swapFree=4184528/4192956
[pid=25620] ppid=25618 vsize=1795296 CPUtime=2.51
/proc/25620/stat : 25620 (java) S 25618 25620 24522 0 -1 0 19463 0 1 0 242 9 0 0 18 0 12 0 23427000 1838383104 15078 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25620/statm: 448824 15079 1318 9 0 446436 0
[pid=25620/tid=25622] ppid=25618 vsize=1795296 CPUtime=0.86
/proc/25620/task/25622/stat : 25622 (java) R 25618 25620 24522 0 -1 64 10763 0 1 0 81 5 0 0 24 0 12 0 23427002 1838383104 15079 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109196321 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25620/tid=25623] ppid=25618 vsize=1795296 CPUtime=0
/proc/25620/task/25623/stat : 25623 (java) S 25618 25620 24522 0 -1 64 3 0 0 0 0 0 0 0 20 0 12 0 23427004 1838383104 15079 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25624] ppid=25618 vsize=1795296 CPUtime=0
/proc/25620/task/25624/stat : 25624 (java) S 25618 25620 24522 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 23427004 1838383104 15079 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25625] ppid=25618 vsize=1795296 CPUtime=0
/proc/25620/task/25625/stat : 25625 (java) S 25618 25620 24522 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 23427006 1838383104 15080 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25620/tid=25626] ppid=25618 vsize=1795296 CPUtime=0
/proc/25620/task/25626/stat : 25626 (java) S 25618 25620 24522 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 23427007 1838383104 15080 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25627] ppid=25618 vsize=1795296 CPUtime=0
/proc/25620/task/25627/stat : 25627 (java) S 25618 25620 24522 0 -1 64 3 0 0 0 0 0 0 0 23 0 12 0 23427007 1838383104 15080 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25628] ppid=25618 vsize=1795296 CPUtime=0
/proc/25620/task/25628/stat : 25628 (java) S 25618 25620 24522 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 23427011 1838383104 15080 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25629] ppid=25618 vsize=1795296 CPUtime=0.62
/proc/25620/task/25629/stat : 25629 (java) S 25618 25620 24522 0 -1 64 2178 0 0 0 61 1 0 0 16 0 12 0 23427011 1838383104 15081 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25620/tid=25630] ppid=25618 vsize=1795296 CPUtime=1.01
/proc/25620/task/25630/stat : 25630 (java) R 25618 25620 24522 0 -1 64 5803 0 0 0 99 2 0 0 18 0 12 0 23427011 1838383104 15081 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 102294707 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25631] ppid=25618 vsize=1795296 CPUtime=0
/proc/25620/task/25631/stat : 25631 (java) S 25618 25620 24522 0 -1 64 2 0 0 0 0 0 0 0 24 0 12 0 23427011 1838383104 15081 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25632] ppid=25618 vsize=1795296 CPUtime=0
/proc/25620/task/25632/stat : 25632 (java) S 25618 25620 24522 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 23427011 1838383104 15082 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 1795296

[startup+3.10264 s]
/proc/loadavg: 1.11 1.06 1.01 3/78 25633
/proc/meminfo: memFree=1828792/2055920 swapFree=4184528/4192956
[pid=25620] ppid=25618 vsize=1795620 CPUtime=4.71
/proc/25620/stat : 25620 (java) S 25618 25620 24522 0 -1 0 27273 0 1 0 458 13 0 0 18 0 13 0 23427000 1838714880 22356 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25620/statm: 448905 22356 1319 9 0 446517 0
[pid=25620/tid=25622] ppid=25618 vsize=1795620 CPUtime=2.26
/proc/25620/task/25622/stat : 25622 (java) R 25618 25620 24522 0 -1 64 17956 0 1 0 218 8 0 0 25 0 13 0 23427002 1838714880 22356 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109904192 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25620/tid=25623] ppid=25618 vsize=1795620 CPUtime=0
/proc/25620/task/25623/stat : 25623 (java) S 25618 25620 24522 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 23427004 1838714880 22356 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25624] ppid=25618 vsize=1795620 CPUtime=0
/proc/25620/task/25624/stat : 25624 (java) S 25618 25620 24522 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 23427004 1838714880 22356 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25625] ppid=25618 vsize=1795620 CPUtime=0
/proc/25620/task/25625/stat : 25625 (java) S 25618 25620 24522 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 23427006 1838714880 22356 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25626] ppid=25618 vsize=1795620 CPUtime=0
/proc/25620/task/25626/stat : 25626 (java) S 25618 25620 24522 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 23427007 1838714880 22356 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25627] ppid=25618 vsize=1795620 CPUtime=0
/proc/25620/task/25627/stat : 25627 (java) S 25618 25620 24522 0 -1 64 3 0 0 0 0 0 0 0 23 0 13 0 23427007 1838714880 22356 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25628] ppid=25618 vsize=1795620 CPUtime=0
/proc/25620/task/25628/stat : 25628 (java) S 25618 25620 24522 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 23427011 1838714880 22356 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25629] ppid=25618 vsize=1795620 CPUtime=1.01
/proc/25620/task/25629/stat : 25629 (java) S 25618 25620 24522 0 -1 64 2613 0 0 0 100 1 0 0 17 0 13 0 23427011 1838714880 22356 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25630] ppid=25618 vsize=1795620 CPUtime=1.41
/proc/25620/task/25630/stat : 25630 (java) S 25618 25620 24522 0 -1 64 5979 0 0 0 139 2 0 0 16 0 13 0 23427011 1838714880 22356 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25620/tid=25631] ppid=25618 vsize=1795620 CPUtime=0
/proc/25620/task/25631/stat : 25631 (java) S 25618 25620 24522 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 23427011 1838714880 22356 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25632] ppid=25618 vsize=1795620 CPUtime=0
/proc/25620/task/25632/stat : 25632 (java) S 25618 25620 24522 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23427011 1838714880 22356 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.71
Current children cumulated vsize (KiB) 1795620

[startup+6.30223 s]
/proc/loadavg: 1.10 1.06 1.00 2/78 25636
/proc/meminfo: memFree=1781408/2055920 swapFree=4184528/4192956
[pid=25620] ppid=25618 vsize=1795556 CPUtime=7.96
/proc/25620/stat : 25620 (java) S 25618 25620 24522 0 -1 0 35037 0 1 0 781 15 0 0 18 0 13 0 23427000 1838649344 29973 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25620/statm: 448889 29973 1320 9 0 446501 0
[pid=25620/tid=25622] ppid=25618 vsize=1795556 CPUtime=5.44
/proc/25620/task/25622/stat : 25622 (java) R 25618 25620 24522 0 -1 64 25715 0 1 0 533 11 0 0 25 0 13 0 23427002 1838649344 29973 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109593089 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25620/tid=25623] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25623/stat : 25623 (java) S 25618 25620 24522 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 23427004 1838649344 29973 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25624] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25624/stat : 25624 (java) S 25618 25620 24522 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 23427004 1838649344 29973 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25625] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25625/stat : 25625 (java) S 25618 25620 24522 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 23427006 1838649344 29973 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25626] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25626/stat : 25626 (java) S 25618 25620 24522 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 23427007 1838649344 29973 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25627] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25627/stat : 25627 (java) S 25618 25620 24522 0 -1 64 3 0 0 0 0 0 0 0 23 0 13 0 23427007 1838649344 29973 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25628] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25628/stat : 25628 (java) S 25618 25620 24522 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 23427011 1838649344 29974 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25629] ppid=25618 vsize=1795556 CPUtime=1.05
/proc/25620/task/25629/stat : 25629 (java) S 25618 25620 24522 0 -1 64 2615 0 0 0 104 1 0 0 16 0 13 0 23427011 1838649344 29974 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25630] ppid=25618 vsize=1795556 CPUtime=1.45
/proc/25620/task/25630/stat : 25630 (java) S 25618 25620 24522 0 -1 64 5981 0 0 0 143 2 0 0 16 0 13 0 23427011 1838649344 29974 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25620/tid=25631] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25631/stat : 25631 (java) S 25618 25620 24522 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 23427011 1838649344 29975 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25632] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25632/stat : 25632 (java) S 25618 25620 24522 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23427011 1838649344 29975 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25620/tid=25636] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25636/stat : 25636 (java) S 25618 25620 24522 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 23427459 1838649344 29975 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.96
Current children cumulated vsize (KiB) 1795556

[startup+12.7024 s]
/proc/loadavg: 1.09 1.06 1.00 2/78 25636
/proc/meminfo: memFree=1751520/2055920 swapFree=4184528/4192956
[pid=25620] ppid=25618 vsize=1795556 CPUtime=14.4
/proc/25620/stat : 25620 (java) S 25618 25620 24522 0 -1 0 42320 0 1 0 1421 19 0 0 18 0 13 0 23427000 1838649344 37256 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25620/statm: 448889 37256 1320 9 0 446501 0
[pid=25620/tid=25622] ppid=25618 vsize=1795556 CPUtime=11.82
/proc/25620/task/25622/stat : 25622 (java) R 25618 25620 24522 0 -1 64 32990 0 1 0 1168 14 0 0 25 0 13 0 23427002 1838649344 37256 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109513812 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25620/tid=25623] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25623/stat : 25623 (java) S 25618 25620 24522 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 23427004 1838649344 37256 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25624] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25624/stat : 25624 (java) S 25618 25620 24522 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 23427004 1838649344 37256 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25625] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25625/stat : 25625 (java) S 25618 25620 24522 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 23427006 1838649344 37256 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25626] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25626/stat : 25626 (java) S 25618 25620 24522 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 23427007 1838649344 37256 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25627] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25627/stat : 25627 (java) S 25618 25620 24522 0 -1 64 3 0 0 0 0 0 0 0 23 0 13 0 23427007 1838649344 37256 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25628] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25628/stat : 25628 (java) S 25618 25620 24522 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 23427011 1838649344 37256 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25629] ppid=25618 vsize=1795556 CPUtime=1.09
/proc/25620/task/25629/stat : 25629 (java) S 25618 25620 24522 0 -1 64 2622 0 0 0 108 1 0 0 17 0 13 0 23427011 1838649344 37256 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25630] ppid=25618 vsize=1795556 CPUtime=1.46
/proc/25620/task/25630/stat : 25630 (java) S 25618 25620 24522 0 -1 64 5982 0 0 0 144 2 0 0 16 0 13 0 23427011 1838649344 37256 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25620/tid=25631] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25631/stat : 25631 (java) S 25618 25620 24522 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 23427011 1838649344 37256 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25632] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25632/stat : 25632 (java) S 25618 25620 24522 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23427011 1838649344 37256 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25620/tid=25636] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25636/stat : 25636 (java) S 25618 25620 24522 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 23427459 1838649344 37256 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 14.4
Current children cumulated vsize (KiB) 1795556

[startup+25.5018 s]
/proc/loadavg: 1.07 1.05 1.00 2/78 25636
/proc/meminfo: memFree=1717536/2055920 swapFree=4184528/4192956
[pid=25620] ppid=25618 vsize=1795556 CPUtime=27.23
/proc/25620/stat : 25620 (java) S 25618 25620 24522 0 -1 0 49885 0 1 0 2701 22 0 0 18 0 13 0 23427000 1838649344 44791 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25620/statm: 448889 44791 1329 9 0 446501 0
[pid=25620/tid=25622] ppid=25618 vsize=1795556 CPUtime=24.56
/proc/25620/task/25622/stat : 25622 (java) R 25618 25620 24522 0 -1 64 37711 0 1 0 2440 16 0 0 25 0 13 0 23427002 1838649344 44791 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109664806 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25620/tid=25623] ppid=25618 vsize=1795556 CPUtime=0.03
/proc/25620/task/25623/stat : 25623 (java) S 25618 25620 24522 0 -1 64 1414 0 0 0 3 0 0 0 16 0 13 0 23427004 1838649344 44791 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25624] ppid=25618 vsize=1795556 CPUtime=0.03
/proc/25620/task/25624/stat : 25624 (java) S 25618 25620 24522 0 -1 64 1424 0 0 0 2 1 0 0 16 0 13 0 23427004 1838649344 44791 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25620/tid=25625] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25625/stat : 25625 (java) S 25618 25620 24522 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 23427006 1838649344 44791 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25626] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25626/stat : 25626 (java) S 25618 25620 24522 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 23427007 1838649344 44791 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

/proc/25620/task/25629/stat : 25629 (java) S 25618 25620 24522 0 -1 64 2625 0 0 0 112 1 0 0 16 0 13 0 23427011 1838649344 265082 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25630] ppid=25618 vsize=1795556 CPUtime=1.51
/proc/25620/task/25630/stat : 25630 (java) S 25618 25620 24522 0 -1 64 5983 0 0 0 149 2 0 0 17 0 13 0 23427011 1838649344 265082 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25620/tid=25631] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25631/stat : 25631 (java) S 25618 25620 24522 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 23427011 1838649344 265082 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25632] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25632/stat : 25632 (java) S 25618 25620 24522 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23427011 1838649344 265082 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25636] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25636/stat : 25636 (java) S 25618 25620 24522 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 23427459 1838649344 265082 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1612.1
Current children cumulated vsize (KiB) 1795556

[startup+1662.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 26244
/proc/meminfo: memFree=731680/2055920 swapFree=4184528/4192956
[pid=25620] ppid=25618 vsize=1795556 CPUtime=1672.62
/proc/25620/stat : 25620 (java) S 25618 25620 24522 0 -1 0 415827 0 1 0 167051 211 0 0 18 0 13 0 23427000 1838649344 281179 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25620/statm: 448889 281179 1329 9 0 446501 0
[pid=25620/tid=25622] ppid=25618 vsize=1795556 CPUtime=1650.81
/proc/25620/task/25622/stat : 25622 (java) R 25618 25620 24522 0 -1 64 43528 0 1 0 165056 25 0 0 25 0 13 0 23427002 1838649344 281179 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109513913 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25623] ppid=25618 vsize=1795556 CPUtime=9.46
/proc/25620/task/25623/stat : 25623 (java) S 25618 25620 24522 0 -1 64 182998 0 0 0 861 85 0 0 16 0 13 0 23427004 1838649344 281179 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25620/tid=25624] ppid=25618 vsize=1795556 CPUtime=9.49
/proc/25620/task/25624/stat : 25624 (java) S 25618 25620 24522 0 -1 64 179897 0 0 0 862 87 0 0 16 0 13 0 23427004 1838649344 281179 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25625] ppid=25618 vsize=1795556 CPUtime=0.16
/proc/25620/task/25625/stat : 25625 (java) S 25618 25620 24522 0 -1 64 72 0 0 0 8 8 0 0 16 0 13 0 23427006 1838649344 281179 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25626] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25626/stat : 25626 (java) S 25618 25620 24522 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 23427007 1838649344 281179 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25627] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25627/stat : 25627 (java) S 25618 25620 24522 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 23427007 1838649344 281179 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25628] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25628/stat : 25628 (java) S 25618 25620 24522 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 23427011 1838649344 281179 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25629] ppid=25618 vsize=1795556 CPUtime=1.13
/proc/25620/task/25629/stat : 25629 (java) S 25618 25620 24522 0 -1 64 2625 0 0 0 112 1 0 0 16 0 13 0 23427011 1838649344 281179 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25630] ppid=25618 vsize=1795556 CPUtime=1.51
/proc/25620/task/25630/stat : 25630 (java) S 25618 25620 24522 0 -1 64 5983 0 0 0 149 2 0 0 17 0 13 0 23427011 1838649344 281179 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25620/tid=25631] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25631/stat : 25631 (java) S 25618 25620 24522 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 23427011 1838649344 281179 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25632] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25632/stat : 25632 (java) S 25618 25620 24522 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23427011 1838649344 281179 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25636] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25636/stat : 25636 (java) S 25618 25620 24522 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 23427459 1838649344 281179 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1672.62
Current children cumulated vsize (KiB) 1795556

[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 26244
/proc/meminfo: memFree=677408/2055920 swapFree=4184528/4192956
[pid=25620] ppid=25618 vsize=1795556 CPUtime=1733.13
/proc/25620/stat : 25620 (java) S 25618 25620 24522 0 -1 0 435112 0 1 0 173094 219 0 0 18 0 13 0 23427000 1838649344 294756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25620/statm: 448889 294756 1329 9 0 446501 0
[pid=25620/tid=25622] ppid=25618 vsize=1795556 CPUtime=1710.23
/proc/25620/task/25622/stat : 25622 (java) R 25618 25620 24522 0 -1 64 43547 0 1 0 170998 25 0 0 25 0 13 0 23427002 1838649344 294756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4110036834 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25623] ppid=25618 vsize=1795556 CPUtime=10
/proc/25620/task/25623/stat : 25623 (java) S 25618 25620 24522 0 -1 64 191006 0 0 0 912 88 0 0 16 0 13 0 23427004 1838649344 294756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25620/tid=25624] ppid=25618 vsize=1795556 CPUtime=10.03
/proc/25620/task/25624/stat : 25624 (java) S 25618 25620 24522 0 -1 64 191147 0 0 0 912 91 0 0 16 0 13 0 23427004 1838649344 294756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25625] ppid=25618 vsize=1795556 CPUtime=0.16
/proc/25620/task/25625/stat : 25625 (java) S 25618 25620 24522 0 -1 64 80 0 0 0 8 8 0 0 16 0 13 0 23427006 1838649344 294756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25626] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25626/stat : 25626 (java) S 25618 25620 24522 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 23427007 1838649344 294756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25627] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25627/stat : 25627 (java) S 25618 25620 24522 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 23427007 1838649344 294756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25628] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25628/stat : 25628 (java) S 25618 25620 24522 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 23427011 1838649344 294756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25629] ppid=25618 vsize=1795556 CPUtime=1.13
/proc/25620/task/25629/stat : 25629 (java) S 25618 25620 24522 0 -1 64 2625 0 0 0 112 1 0 0 16 0 13 0 23427011 1838649344 294756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25630] ppid=25618 vsize=1795556 CPUtime=1.51
/proc/25620/task/25630/stat : 25630 (java) S 25618 25620 24522 0 -1 64 5983 0 0 0 149 2 0 0 17 0 13 0 23427011 1838649344 294756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25620/tid=25631] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25631/stat : 25631 (java) S 25618 25620 24522 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 23427011 1838649344 294756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25632] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25632/stat : 25632 (java) S 25618 25620 24522 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23427011 1838649344 294756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25636] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25636/stat : 25636 (java) S 25618 25620 24522 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 23427459 1838649344 294756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1733.13
Current children cumulated vsize (KiB) 1795556

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 26244
/proc/meminfo: memFree=624864/2055920 swapFree=4184528/4192956
[pid=25620] ppid=25618 vsize=1795556 CPUtime=1793.62
/proc/25620/stat : 25620 (java) S 25618 25620 24522 0 -1 0 453914 0 1 0 179134 228 0 0 18 0 13 0 23427000 1838649344 307803 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25620/statm: 448889 307803 1329 9 0 446501 0
[pid=25620/tid=25622] ppid=25618 vsize=1795556 CPUtime=1769.69
/proc/25620/task/25622/stat : 25622 (java) R 25618 25620 24522 0 -1 64 43564 0 1 0 176944 25 0 0 25 0 13 0 23427002 1838649344 307803 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109808504 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25623] ppid=25618 vsize=1795556 CPUtime=10.51
/proc/25620/task/25623/stat : 25623 (java) S 25618 25620 24522 0 -1 64 199614 0 0 0 958 93 0 0 16 0 13 0 23427004 1838649344 307803 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25624] ppid=25618 vsize=1795556 CPUtime=10.54
/proc/25620/task/25624/stat : 25624 (java) S 25618 25620 24522 0 -1 64 201324 0 0 0 959 95 0 0 17 0 13 0 23427004 1838649344 307803 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25620/tid=25625] ppid=25618 vsize=1795556 CPUtime=0.17
/proc/25620/task/25625/stat : 25625 (java) S 25618 25620 24522 0 -1 64 80 0 0 0 8 9 0 0 16 0 13 0 23427006 1838649344 307803 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25620/tid=25626] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25626/stat : 25626 (java) S 25618 25620 24522 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 23427007 1838649344 307803 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25627] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25627/stat : 25627 (java) S 25618 25620 24522 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 23427007 1838649344 307803 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25628] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25628/stat : 25628 (java) S 25618 25620 24522 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 23427011 1838649344 307803 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25629] ppid=25618 vsize=1795556 CPUtime=1.13
/proc/25620/task/25629/stat : 25629 (java) S 25618 25620 24522 0 -1 64 2625 0 0 0 112 1 0 0 16 0 13 0 23427011 1838649344 307803 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25630] ppid=25618 vsize=1795556 CPUtime=1.51
/proc/25620/task/25630/stat : 25630 (java) S 25618 25620 24522 0 -1 64 5983 0 0 0 149 2 0 0 17 0 13 0 23427011 1838649344 307803 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25620/tid=25631] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25631/stat : 25631 (java) S 25618 25620 24522 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 23427011 1838649344 307803 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25632] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25632/stat : 25632 (java) S 25618 25620 24522 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23427011 1838649344 307803 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25636] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25636/stat : 25636 (java) S 25618 25620 24522 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 23427459 1838649344 307803 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1793.62
Current children cumulated vsize (KiB) 1795556



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1788.7 s]
/proc/loadavg: 1.00 1.01 1.00 3/78 26244
/proc/meminfo: memFree=621152/2055920 swapFree=4184528/4192956
[pid=25620] ppid=25618 vsize=1795556 CPUtime=1800.08
/proc/25620/stat : 25620 (java) S 25618 25620 24522 0 -1 0 455378 0 1 0 179779 229 0 0 18 0 13 0 23427000 1838649344 308718 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25620/statm: 448889 308718 1329 9 0 446501 0
[pid=25620/tid=25622] ppid=25618 vsize=1795556 CPUtime=1776.03
/proc/25620/task/25622/stat : 25622 (java) S 25618 25620 24522 0 -1 64 43566 0 1 0 177578 25 0 0 25 0 13 0 23427002 1838649344 308718 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25623] ppid=25618 vsize=1795556 CPUtime=10.57
/proc/25620/task/25623/stat : 25623 (java) R 25618 25620 24522 0 -1 64 200543 0 0 0 964 93 0 0 16 0 13 0 23427004 1838649344 308718 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 105070795 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25624] ppid=25618 vsize=1795556 CPUtime=10.6
/proc/25620/task/25624/stat : 25624 (java) R 25618 25620 24522 0 -1 64 201857 0 0 0 965 95 0 0 16 0 13 0 23427004 1838649344 308718 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 102354582 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25620/tid=25625] ppid=25618 vsize=1795556 CPUtime=0.17
/proc/25620/task/25625/stat : 25625 (java) S 25618 25620 24522 0 -1 64 80 0 0 0 8 9 0 0 16 0 13 0 23427006 1838649344 308718 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25620/tid=25626] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25626/stat : 25626 (java) S 25618 25620 24522 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 23427007 1838649344 308718 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25627] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25627/stat : 25627 (java) S 25618 25620 24522 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 23427007 1838649344 308718 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25628] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25628/stat : 25628 (java) S 25618 25620 24522 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 23427011 1838649344 308718 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25629] ppid=25618 vsize=1795556 CPUtime=1.13
/proc/25620/task/25629/stat : 25629 (java) S 25618 25620 24522 0 -1 64 2625 0 0 0 112 1 0 0 16 0 13 0 23427011 1838649344 308718 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25630] ppid=25618 vsize=1795556 CPUtime=1.51
/proc/25620/task/25630/stat : 25630 (java) S 25618 25620 24522 0 -1 64 5983 0 0 0 149 2 0 0 17 0 13 0 23427011 1838649344 308718 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25620/tid=25631] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25631/stat : 25631 (java) S 25618 25620 24522 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 23427011 1838649344 308718 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25632] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25632/stat : 25632 (java) S 25618 25620 24522 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23427011 1838649344 308718 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25620/tid=25636] ppid=25618 vsize=1795556 CPUtime=0
/proc/25620/task/25636/stat : 25636 (java) S 25618 25620 24522 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 23427459 1838649344 308718 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1795556

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

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

[startup+1789 s]
/proc/loadavg: 1.00 1.01 1.00 3/78 26244
/proc/meminfo: memFree=621152/2055920 swapFree=4184528/4192956
[pid=25620] ppid=25618 vsize=0 CPUtime=1800.56
/proc/25620/stat : 25620 (java) Z 25618 25620 24522 0 -1 1036 455979 0 1 0 179820 236 0 0 15 0 2 0 23427000 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25620/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.56
Current children cumulated vsize (KiB) 0

[startup+1789.1 s]
/proc/loadavg: 1.00 1.01 1.00 3/78 26244
/proc/meminfo: memFree=621152/2055920 swapFree=4184528/4192956
[pid=25620] ppid=25618 vsize=0 CPUtime=1800.66
/proc/25620/stat : 25620 (java) Z 25618 25620 24522 0 -1 1036 455979 0 1 0 179820 246 0 0 15 0 2 0 23427000 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25620/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.66
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1789.19
CPU time (s): 1800.69
CPU user time (s): 1798.2
CPU system time (s): 2.48462
CPU usage (%): 100.643
Max. virtual memory (cumulated for all children) (KiB): 1797996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.2
system time used= 2.48462
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 455979
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= 42240
involuntary context switches= 40115

runsolver used 2.07668 second user time and 4.5713 second system time

The end

Launcher Data (download as text)

Begin job on node46 on Mon Apr 16 01:37:20 UTC 2007

IDJOB= 353868
IDBENCH= 2282
IDSOLVER= 159
FILE ID= node46/353868-1176687440

PBS_JOBID= 4559958

Free space on /tmp= 66169 MiB

SOLVER NAME= SAT4JPseudoResolution 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/353868-1176687440/sat4jPseudoResolution.jar /tmp/evaluation/353868-1176687440/instance-353868-1176687440.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node46/watcher-353868-1176687440 -o ROOT/results/node46/solver-353868-1176687440 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353868-1176687440/sat4jPseudoResolution.jar /tmp/evaluation/353868-1176687440/instance-353868-1176687440.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  9dd7506c46c3c26c10ff03753daf5d0f

RANDOM SEED= 980314740

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.268
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:       1892856 kB
Buffers:          5600 kB
Cached:          95316 kB
SwapCached:       2512 kB
Active:          68640 kB
Inactive:        42548 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1892856 kB
SwapTotal:     4192956 kB
SwapFree:      4184528 kB
Dirty:            4020 kB
Writeback:           0 kB
Mapped:          16572 kB
Slab:            37912 kB
Committed_AS:  1662172 kB
PageTables:       1472 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= 66169 MiB

End job on node46 on Mon Apr 16 02:07:11 UTC 2007