Trace number 353924

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
sat4jPseudoCP 2007-03-23SAT (TO)8367624 1800.5 1772.51

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran16x16.opb
MD5SUM334ff12347ae763156f4e4389dfec521
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark8367624
Best CPU time to get the best result obtained on this benchmark1800.5
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5885956
Optimality of the best value was proved NO
Number of variables7936
Total number of constraints288
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 constraints288
Minimum length of a constraint31
Maximum length of a constraint480
Number of terms in the objective function 7936
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 1558042522197
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 1558042522197
Number of bits of the biggest sum of numbers41
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	8367624

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node16/watcher-353924-1176688390 -o ROOT/results/node16/solver-353924-1176688390 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353924-1176688390/sat4jPseudoCP.jar /tmp/evaluation/353924-1176688390/instance-353924-1176688390.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.21 1.17 1.12 3/77 14750
/proc/meminfo: memFree=1795248/2055920 swapFree=4158176/4192956
[pid=14750] ppid=14748 vsize=152 CPUtime=0
/proc/14750/stat : 14750 (java) R 14748 14750 9558 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 116756661 155648 26 18446744073709551615 134512640 134550740 4294956560 18446744073709551615 7205163 0 0 4096 0 0 0 0 17 1 0 0
/proc/14750/statm: 38 26 19 9 0 4 0

[startup+0.064661 s]
/proc/loadavg: 1.21 1.17 1.12 3/77 14750
/proc/meminfo: memFree=1795248/2055920 swapFree=4158176/4192956
[pid=14750] ppid=14748 vsize=12056 CPUtime=0.01
/proc/14750/stat : 14750 (java) R 14748 14750 9558 0 -1 0 369 0 14 0 0 1 0 0 18 0 1 0 116756661 12345344 191 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 7177002 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/14750/statm: 3014 191 135 9 0 1148 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12056

[startup+0.101653 s]
/proc/loadavg: 1.21 1.17 1.12 3/77 14750
/proc/meminfo: memFree=1795248/2055920 swapFree=4158176/4192956
[pid=14750] ppid=14748 vsize=12496 CPUtime=0.02
/proc/14750/stat : 14750 (java) S 14748 14750 9558 0 -1 0 750 0 28 0 0 2 0 0 18 0 2 0 116756661 12795904 561 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/14750/statm: 3124 561 250 9 0 1241 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12496

[startup+0.301607 s]
/proc/loadavg: 1.21 1.17 1.12 3/77 14750
/proc/meminfo: memFree=1795248/2055920 swapFree=4158176/4192956
[pid=14750] ppid=14748 vsize=1777844 CPUtime=0.08
/proc/14750/stat : 14750 (java) S 14748 14750 9558 0 -1 0 3761 0 53 0 4 4 0 0 18 0 7 0 116756661 1820512256 3556 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/14750/statm: 444461 3556 1089 9 0 442097 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1777844

[startup+0.701528 s]
/proc/loadavg: 1.21 1.17 1.12 3/77 14750
/proc/meminfo: memFree=1795248/2055920 swapFree=4158176/4192956
[pid=14750] ppid=14748 vsize=1783964 CPUtime=0.59
/proc/14750/stat : 14750 (java) S 14748 14750 9558 0 -1 0 5903 0 53 0 53 6 0 0 18 0 12 0 116756661 1826779136 5693 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14750/statm: 445991 5693 1284 9 0 443603 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 1783964

[startup+1.50236 s]
/proc/loadavg: 1.21 1.17 1.12 4/89 14762
/proc/meminfo: memFree=1758672/2055920 swapFree=4158176/4192956
[pid=14750] ppid=14748 vsize=1792248 CPUtime=2.06
/proc/14750/stat : 14750 (java) S 14748 14750 9558 0 -1 0 16509 0 53 0 193 13 0 0 18 0 12 0 116756661 1835261952 13529 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14750/statm: 448062 13529 1304 9 0 445674 0
[pid=14750/tid=14752] ppid=14748 vsize=1792248 CPUtime=0.77
/proc/14750/task/14752/stat : 14752 (java) R 14748 14750 9558 0 -1 64 10054 0 26 0 70 7 0 0 18 0 12 0 116756670 1835261952 13529 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109529894 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14750/tid=14753] ppid=14748 vsize=1792248 CPUtime=0
/proc/14750/task/14753/stat : 14753 (java) S 14748 14750 9558 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 116756679 1835261952 13529 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14754] ppid=14748 vsize=1792248 CPUtime=0
/proc/14750/task/14754/stat : 14754 (java) S 14748 14750 9558 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 116756679 1835261952 13529 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14755] ppid=14748 vsize=1792248 CPUtime=0
/proc/14750/task/14755/stat : 14755 (java) S 14748 14750 9558 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 116756684 1835261952 13529 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14750/tid=14756] ppid=14748 vsize=1792248 CPUtime=0
/proc/14750/task/14756/stat : 14756 (java) S 14748 14750 9558 0 -1 64 10 0 0 0 0 0 0 0 21 0 12 0 116756684 1835261952 13529 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14757] ppid=14748 vsize=1792248 CPUtime=0
/proc/14750/task/14757/stat : 14757 (java) S 14748 14750 9558 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 116756684 1835261952 13529 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14758] ppid=14748 vsize=1792248 CPUtime=0
/proc/14750/task/14758/stat : 14758 (java) S 14748 14750 9558 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 116756693 1835261952 13529 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14759] ppid=14748 vsize=1792248 CPUtime=0.72
/proc/14750/task/14759/stat : 14759 (java) R 14748 14750 9558 0 -1 64 3966 0 0 0 70 2 0 0 16 0 12 0 116756693 1835261952 13529 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 104846848 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14760] ppid=14748 vsize=1792248 CPUtime=0.53
/proc/14750/task/14760/stat : 14760 (java) S 14748 14750 9558 0 -1 64 1794 0 0 0 52 1 0 0 16 0 12 0 116756693 1835261952 13529 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14750/tid=14761] ppid=14748 vsize=1792248 CPUtime=0
/proc/14750/task/14761/stat : 14761 (java) S 14748 14750 9558 0 -1 64 2 0 0 0 0 0 0 0 22 0 12 0 116756693 1835261952 13529 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14762] ppid=14748 vsize=1792248 CPUtime=0
/proc/14750/task/14762/stat : 14762 (java) S 14748 14750 9558 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 116756693 1835261952 13529 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 1792248

[startup+3.10203 s]
/proc/loadavg: 1.21 1.17 1.12 3/90 14763
/proc/meminfo: memFree=1724488/2055920 swapFree=4158176/4192956
[pid=14750] ppid=14748 vsize=1792572 CPUtime=4.6
/proc/14750/stat : 14750 (java) S 14748 14750 9558 0 -1 0 46225 0 53 0 432 28 0 0 18 0 13 0 116756661 1835593728 40232 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14750/statm: 448143 40232 1318 9 0 445755 0
[pid=14750/tid=14752] ppid=14748 vsize=1792572 CPUtime=2.04
/proc/14750/task/14752/stat : 14752 (java) R 14748 14750 9558 0 -1 64 36614 0 26 0 183 21 0 0 18 0 13 0 116756670 1835593728 40232 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109809263 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14750/tid=14753] ppid=14748 vsize=1792572 CPUtime=0
/proc/14750/task/14753/stat : 14753 (java) S 14748 14750 9558 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 116756679 1835593728 40232 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14754] ppid=14748 vsize=1792572 CPUtime=0
/proc/14750/task/14754/stat : 14754 (java) S 14748 14750 9558 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 116756679 1835593728 40232 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14755] ppid=14748 vsize=1792572 CPUtime=0
/proc/14750/task/14755/stat : 14755 (java) S 14748 14750 9558 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 116756684 1835593728 40232 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14756] ppid=14748 vsize=1792572 CPUtime=0
/proc/14750/task/14756/stat : 14756 (java) S 14748 14750 9558 0 -1 64 10 0 0 0 0 0 0 0 21 0 13 0 116756684 1835593728 40232 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14757] ppid=14748 vsize=1792572 CPUtime=0
/proc/14750/task/14757/stat : 14757 (java) S 14748 14750 9558 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 116756684 1835593728 40232 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14758] ppid=14748 vsize=1792572 CPUtime=0
/proc/14750/task/14758/stat : 14758 (java) S 14748 14750 9558 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 116756693 1835593728 40232 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14759] ppid=14748 vsize=1792572 CPUtime=1.36
/proc/14750/task/14759/stat : 14759 (java) S 14748 14750 9558 0 -1 64 5345 0 0 0 133 3 0 0 16 0 13 0 116756693 1835593728 40232 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14760] ppid=14748 vsize=1792572 CPUtime=1.17
/proc/14750/task/14760/stat : 14760 (java) S 14748 14750 9558 0 -1 64 3567 0 0 0 115 2 0 0 16 0 13 0 116756693 1835593728 40232 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14750/tid=14761] ppid=14748 vsize=1792572 CPUtime=0
/proc/14750/task/14761/stat : 14761 (java) S 14748 14750 9558 0 -1 64 2 0 0 0 0 0 0 0 22 0 13 0 116756693 1835593728 40232 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14762] ppid=14748 vsize=1792572 CPUtime=0
/proc/14750/task/14762/stat : 14762 (java) S 14748 14750 9558 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 116756693 1835593728 40232 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14763] ppid=14748 vsize=1792572 CPUtime=0
/proc/14750/task/14763/stat : 14763 (java) S 14748 14750 9558 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 116756839 1835593728 40232 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.6
Current children cumulated vsize (KiB) 1792572

[startup+6.30217 s]
/proc/loadavg: 1.28 1.19 1.12 2/90 14763
/proc/meminfo: memFree=1613408/2055920 swapFree=4158176/4192956
[pid=14750] ppid=14748 vsize=1791880 CPUtime=8.11
/proc/14750/stat : 14750 (java) S 14748 14750 9558 0 -1 0 51060 0 53 0 781 30 0 0 18 0 13 0 116756661 1834885120 44542 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14750/statm: 447970 44542 1327 9 0 445582 0
[pid=14750/tid=14752] ppid=14748 vsize=1791880 CPUtime=5.09
/proc/14750/task/14752/stat : 14752 (java) R 14748 14750 9558 0 -1 64 37712 0 26 0 488 21 0 0 18 0 13 0 116756670 1834885120 44542 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109770062 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14750/tid=14753] ppid=14748 vsize=1791880 CPUtime=0.07
/proc/14750/task/14753/stat : 14753 (java) S 14748 14750 9558 0 -1 64 1707 0 0 0 7 0 0 0 16 0 13 0 116756679 1834885120 44542 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14754] ppid=14748 vsize=1791880 CPUtime=0.07
/proc/14750/task/14754/stat : 14754 (java) S 14748 14750 9558 0 -1 64 1694 0 0 0 7 0 0 0 16 0 13 0 116756679 1834885120 44542 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14750/tid=14755] ppid=14748 vsize=1791880 CPUtime=0
/proc/14750/task/14755/stat : 14755 (java) S 14748 14750 9558 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 116756684 1834885120 44542 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14756] ppid=14748 vsize=1791880 CPUtime=0
/proc/14750/task/14756/stat : 14756 (java) S 14748 14750 9558 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 116756684 1834885120 44542 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14757] ppid=14748 vsize=1791880 CPUtime=0
/proc/14750/task/14757/stat : 14757 (java) S 14748 14750 9558 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 116756684 1834885120 44542 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14758] ppid=14748 vsize=1791880 CPUtime=0
/proc/14750/task/14758/stat : 14758 (java) S 14748 14750 9558 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 116756693 1834885120 44542 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14759] ppid=14748 vsize=1791880 CPUtime=1.52
/proc/14750/task/14759/stat : 14759 (java) S 14748 14750 9558 0 -1 64 5610 0 0 0 149 3 0 0 16 0 13 0 116756693 1834885120 44542 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14760] ppid=14748 vsize=1791880 CPUtime=1.3
/proc/14750/task/14760/stat : 14760 (java) S 14748 14750 9558 0 -1 64 3630 0 0 0 128 2 0 0 16 0 13 0 116756693 1834885120 44542 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14750/tid=14761] ppid=14748 vsize=1791880 CPUtime=0
/proc/14750/task/14761/stat : 14761 (java) S 14748 14750 9558 0 -1 64 2 0 0 0 0 0 0 0 22 0 13 0 116756693 1834885120 44542 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14762] ppid=14748 vsize=1791880 CPUtime=0
/proc/14750/task/14762/stat : 14762 (java) S 14748 14750 9558 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 116756693 1834885120 44542 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14763] ppid=14748 vsize=1791880 CPUtime=0
/proc/14750/task/14763/stat : 14763 (java) S 14748 14750 9558 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 116756839 1834885120 44542 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.11
Current children cumulated vsize (KiB) 1791880

[startup+12.7018 s]
/proc/loadavg: 1.25 1.18 1.12 2/90 14763
/proc/meminfo: memFree=1601888/2055920 swapFree=4158176/4192956
[pid=14750] ppid=14748 vsize=1792904 CPUtime=14.87
/proc/14750/stat : 14750 (java) S 14748 14750 9558 0 -1 0 56132 0 53 0 1454 33 0 0 18 0 13 0 116756661 1835933696 47159 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14750/statm: 448226 47159 1328 9 0 445838 0
[pid=14750/tid=14752] ppid=14748 vsize=1792904 CPUtime=11.27
/proc/14750/task/14752/stat : 14752 (java) R 14748 14750 9558 0 -1 64 37718 0 26 0 1105 22 0 0 25 0 13 0 116756670 1835933696 47159 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109523042 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14750/tid=14753] ppid=14748 vsize=1792904 CPUtime=0.23
/proc/14750/task/14753/stat : 14753 (java) S 14748 14750 9558 0 -1 64 4307 0 0 0 21 2 0 0 16 0 13 0 116756679 1835933696 47159 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14754] ppid=14748 vsize=1792904 CPUtime=0.22
/proc/14750/task/14754/stat : 14754 (java) S 14748 14750 9558 0 -1 64 3882 0 0 0 21 1 0 0 16 0 13 0 116756679 1835933696 47159 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14750/tid=14755] ppid=14748 vsize=1792904 CPUtime=0
/proc/14750/task/14755/stat : 14755 (java) S 14748 14750 9558 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 116756684 1835933696 47159 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14756] ppid=14748 vsize=1792904 CPUtime=0
/proc/14750/task/14756/stat : 14756 (java) S 14748 14750 9558 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 116756684 1835933696 47159 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14757] ppid=14748 vsize=1792904 CPUtime=0
/proc/14750/task/14757/stat : 14757 (java) S 14748 14750 9558 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 116756684 1835933696 47159 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14758] ppid=14748 vsize=1792904 CPUtime=0
/proc/14750/task/14758/stat : 14758 (java) S 14748 14750 9558 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 116756693 1835933696 47159 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14759] ppid=14748 vsize=1792904 CPUtime=1.71
/proc/14750/task/14759/stat : 14759 (java) S 14748 14750 9558 0 -1 64 5633 0 0 0 168 3 0 0 16 0 13 0 116756693 1835933696 47159 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14760] ppid=14748 vsize=1792904 CPUtime=1.38
/proc/14750/task/14760/stat : 14760 (java) S 14748 14750 9558 0 -1 64 3866 0 0 0 136 2 0 0 17 0 13 0 116756693 1835933696 47159 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14750/tid=14761] ppid=14748 vsize=1792904 CPUtime=0
/proc/14750/task/14761/stat : 14761 (java) S 14748 14750 9558 0 -1 64 2 0 0 0 0 0 0 0 22 0 13 0 116756693 1835933696 47159 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14762] ppid=14748 vsize=1792904 CPUtime=0
/proc/14750/task/14762/stat : 14762 (java) S 14748 14750 9558 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 116756693 1835933696 47159 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14763] ppid=14748 vsize=1792904 CPUtime=0
/proc/14750/task/14763/stat : 14763 (java) S 14748 14750 9558 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 116756839 1835933696 47159 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.87
Current children cumulated vsize (KiB) 1792904

[startup+25.5022 s]
/proc/loadavg: 1.20 1.17 1.12 2/90 14763
/proc/meminfo: memFree=1587616/2055920 swapFree=4158176/4192956
[pid=14750] ppid=14748 vsize=1792904 CPUtime=27.85
/proc/14750/stat : 14750 (java) S 14748 14750 9558 0 -1 0 60650 0 53 0 2751 34 0 0 18 0 13 0 116756661 1835933696 50737 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14750/statm: 448226 50737 1328 9 0 445838 0
[pid=14750/tid=14752] ppid=14748 vsize=1792904 CPUtime=23.97
/proc/14750/task/14752/stat : 14752 (java) R 14748 14750 9558 0 -1 64 38979 0 26 0 2375 22 0 0 25 0 13 0 116756670 1835933696 50737 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109770780 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14750/tid=14753] ppid=14748 vsize=1792904 CPUtime=0.31
/proc/14750/task/14753/stat : 14753 (java) S 14748 14750 9558 0 -1 64 5993 0 0 0 29 2 0 0 16 0 13 0 116756679 1835933696 50737 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14754] ppid=14748 vsize=1792904 CPUtime=0.3
/proc/14750/task/14754/stat : 14754 (java) S 14748 14750 9558 0 -1 64 5450 0 0 0 28 2 0 0 16 0 13 0 116756679 1835933696 50737 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14750/tid=14755] ppid=14748 vsize=1792904 CPUtime=0
/proc/14750/task/14755/stat : 14755 (java) S 14748 14750 9558 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 116756684 1835933696 50737 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0

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

[pid=14750/tid=14755] ppid=14748 vsize=1792904 CPUtime=0.49
/proc/14750/task/14755/stat : 14755 (java) S 14748 14750 9558 0 -1 64 194 0 0 0 29 20 0 0 16 0 13 0 116756684 1835933696 140627 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14750/tid=14756] ppid=14748 vsize=1792904 CPUtime=0
/proc/14750/task/14756/stat : 14756 (java) S 14748 14750 9558 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 116756684 1835933696 140627 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14757] ppid=14748 vsize=1792904 CPUtime=0
/proc/14750/task/14757/stat : 14757 (java) S 14748 14750 9558 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 116756684 1835933696 140627 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14758] ppid=14748 vsize=1792904 CPUtime=0
/proc/14750/task/14758/stat : 14758 (java) S 14748 14750 9558 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 116756693 1835933696 140627 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14759] ppid=14748 vsize=1792904 CPUtime=2.1
/proc/14750/task/14759/stat : 14759 (java) S 14748 14750 9558 0 -1 64 5652 0 0 0 207 3 0 0 17 0 13 0 116756693 1835933696 140627 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14750/tid=14760] ppid=14748 vsize=1792904 CPUtime=1.61
/proc/14750/task/14760/stat : 14760 (java) S 14748 14750 9558 0 -1 64 3963 0 0 0 159 2 0 0 17 0 13 0 116756693 1835933696 140627 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14761] ppid=14748 vsize=1792904 CPUtime=0
/proc/14750/task/14761/stat : 14761 (java) S 14748 14750 9558 0 -1 64 2 0 0 0 0 0 0 0 22 0 13 0 116756693 1835933696 140627 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14762] ppid=14748 vsize=1792904 CPUtime=0
/proc/14750/task/14762/stat : 14762 (java) S 14748 14750 9558 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 116756693 1835933696 140627 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14768] ppid=14748 vsize=1792904 CPUtime=0
/proc/14750/task/14768/stat : 14768 (java) S 14748 14750 9558 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 116783096 1835933696 140627 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1625.78
Current children cumulated vsize (KiB) 1792904

[startup+1662.3 s]
/proc/loadavg: 1.11 1.04 1.02 2/90 15376
/proc/meminfo: memFree=1182264/2055920 swapFree=4158176/4192956
[pid=14750] ppid=14748 vsize=1792904 CPUtime=1687.28
/proc/14750/stat : 14750 (java) S 14748 14750 9558 0 -1 0 211521 0 53 0 168579 149 0 0 18 0 13 0 116756661 1835933696 144268 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14750/statm: 448226 144268 1330 9 0 445838 0
[pid=14750/tid=14752] ppid=14748 vsize=1792904 CPUtime=1637.17
/proc/14750/task/14752/stat : 14752 (java) R 14748 14750 9558 0 -1 64 80867 0 26 0 163655 62 0 0 25 0 13 0 116756670 1835933696 144268 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109892934 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14753] ppid=14748 vsize=1792904 CPUtime=22.96
/proc/14750/task/14753/stat : 14753 (java) S 14748 14750 9558 0 -1 64 63640 0 0 0 2264 32 0 0 16 0 13 0 116756679 1835933696 144268 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14754] ppid=14748 vsize=1792904 CPUtime=22.9
/proc/14750/task/14754/stat : 14754 (java) S 14748 14750 9558 0 -1 64 56500 0 0 0 2263 27 0 0 16 0 13 0 116756679 1835933696 144268 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14750/tid=14755] ppid=14748 vsize=1792904 CPUtime=0.49
/proc/14750/task/14755/stat : 14755 (java) S 14748 14750 9558 0 -1 64 194 0 0 0 29 20 0 0 16 0 13 0 116756684 1835933696 144268 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14756] ppid=14748 vsize=1792904 CPUtime=0
/proc/14750/task/14756/stat : 14756 (java) S 14748 14750 9558 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 116756684 1835933696 144268 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14757] ppid=14748 vsize=1792904 CPUtime=0
/proc/14750/task/14757/stat : 14757 (java) S 14748 14750 9558 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 116756684 1835933696 144268 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14758] ppid=14748 vsize=1792904 CPUtime=0
/proc/14750/task/14758/stat : 14758 (java) S 14748 14750 9558 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 116756693 1835933696 144268 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14759] ppid=14748 vsize=1792904 CPUtime=2.1
/proc/14750/task/14759/stat : 14759 (java) S 14748 14750 9558 0 -1 64 5652 0 0 0 207 3 0 0 17 0 13 0 116756693 1835933696 144268 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14750/tid=14760] ppid=14748 vsize=1792904 CPUtime=1.61
/proc/14750/task/14760/stat : 14760 (java) S 14748 14750 9558 0 -1 64 3963 0 0 0 159 2 0 0 17 0 13 0 116756693 1835933696 144268 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14761] ppid=14748 vsize=1792904 CPUtime=0
/proc/14750/task/14761/stat : 14761 (java) S 14748 14750 9558 0 -1 64 2 0 0 0 0 0 0 0 22 0 13 0 116756693 1835933696 144268 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14762] ppid=14748 vsize=1792904 CPUtime=0
/proc/14750/task/14762/stat : 14762 (java) S 14748 14750 9558 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 116756693 1835933696 144268 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14768] ppid=14748 vsize=1792904 CPUtime=0
/proc/14750/task/14768/stat : 14768 (java) S 14748 14750 9558 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 116783096 1835933696 144268 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1687.28
Current children cumulated vsize (KiB) 1792904

[startup+1722.3 s]
/proc/loadavg: 1.04 1.03 1.02 2/90 15376
/proc/meminfo: memFree=1167480/2055920 swapFree=4158176/4192956
[pid=14750] ppid=14748 vsize=1792904 CPUtime=1748.81
/proc/14750/stat : 14750 (java) S 14748 14750 9558 0 -1 0 215787 0 53 0 174729 152 0 0 18 0 13 0 116756661 1835933696 148012 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14750/statm: 448226 148012 1330 9 0 445838 0
[pid=14750/tid=14752] ppid=14748 vsize=1792904 CPUtime=1695.61
/proc/14750/task/14752/stat : 14752 (java) R 14748 14750 9558 0 -1 64 80933 0 26 0 169499 62 0 0 25 0 13 0 116756670 1835933696 148012 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109876857 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14753] ppid=14748 vsize=1792904 CPUtime=24.5
/proc/14750/task/14753/stat : 14753 (java) S 14748 14750 9558 0 -1 64 66294 0 0 0 2417 33 0 0 16 0 13 0 116756679 1835933696 148012 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14754] ppid=14748 vsize=1792904 CPUtime=24.43
/proc/14750/task/14754/stat : 14754 (java) S 14748 14750 9558 0 -1 64 58046 0 0 0 2415 28 0 0 16 0 13 0 116756679 1835933696 148012 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14750/tid=14755] ppid=14748 vsize=1792904 CPUtime=0.51
/proc/14750/task/14755/stat : 14755 (java) S 14748 14750 9558 0 -1 64 194 0 0 0 31 20 0 0 16 0 13 0 116756684 1835933696 148012 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14756] ppid=14748 vsize=1792904 CPUtime=0
/proc/14750/task/14756/stat : 14756 (java) S 14748 14750 9558 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 116756684 1835933696 148012 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14757] ppid=14748 vsize=1792904 CPUtime=0
/proc/14750/task/14757/stat : 14757 (java) S 14748 14750 9558 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 116756684 1835933696 148012 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14758] ppid=14748 vsize=1792904 CPUtime=0
/proc/14750/task/14758/stat : 14758 (java) S 14748 14750 9558 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 116756693 1835933696 148012 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14759] ppid=14748 vsize=1792904 CPUtime=2.1
/proc/14750/task/14759/stat : 14759 (java) S 14748 14750 9558 0 -1 64 5652 0 0 0 207 3 0 0 17 0 13 0 116756693 1835933696 148012 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14750/tid=14760] ppid=14748 vsize=1792904 CPUtime=1.61
/proc/14750/task/14760/stat : 14760 (java) S 14748 14750 9558 0 -1 64 3963 0 0 0 159 2 0 0 17 0 13 0 116756693 1835933696 148012 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14761] ppid=14748 vsize=1792904 CPUtime=0
/proc/14750/task/14761/stat : 14761 (java) S 14748 14750 9558 0 -1 64 2 0 0 0 0 0 0 0 22 0 13 0 116756693 1835933696 148012 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14762] ppid=14748 vsize=1792904 CPUtime=0
/proc/14750/task/14762/stat : 14762 (java) S 14748 14750 9558 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 116756693 1835933696 148012 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14768] ppid=14748 vsize=1792904 CPUtime=0
/proc/14750/task/14768/stat : 14768 (java) S 14748 14750 9558 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 116783096 1835933696 148012 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1748.81
Current children cumulated vsize (KiB) 1792904



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1772.2 s]
/proc/loadavg: 1.02 1.02 1.01 2/90 15376
/proc/meminfo: memFree=1154296/2055920 swapFree=4158176/4192956
[pid=14750] ppid=14748 vsize=1792904 CPUtime=1800.04
/proc/14750/stat : 14750 (java) S 14748 14750 9558 0 -1 0 219519 0 53 0 179849 155 0 0 18 0 13 0 116756661 1835933696 151207 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14750/statm: 448226 151207 1330 9 0 445838 0
[pid=14750/tid=14752] ppid=14748 vsize=1792904 CPUtime=1744.14
/proc/14750/task/14752/stat : 14752 (java) R 14748 14750 9558 0 -1 64 80988 0 26 0 174352 62 0 0 23 0 13 0 116756670 1835933696 151207 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109898490 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14753] ppid=14748 vsize=1792904 CPUtime=25.82
/proc/14750/task/14753/stat : 14753 (java) S 14748 14750 9558 0 -1 64 68623 0 0 0 2549 33 0 0 16 0 13 0 116756679 1835933696 151207 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14754] ppid=14748 vsize=1792904 CPUtime=25.76
/proc/14750/task/14754/stat : 14754 (java) S 14748 14750 9558 0 -1 64 59394 0 0 0 2547 29 0 0 16 0 13 0 116756679 1835933696 151207 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14750/tid=14755] ppid=14748 vsize=1792904 CPUtime=0.53
/proc/14750/task/14755/stat : 14755 (java) S 14748 14750 9558 0 -1 64 194 0 0 0 32 21 0 0 16 0 13 0 116756684 1835933696 151207 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14750/tid=14756] ppid=14748 vsize=1792904 CPUtime=0
/proc/14750/task/14756/stat : 14756 (java) S 14748 14750 9558 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 116756684 1835933696 151207 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14757] ppid=14748 vsize=1792904 CPUtime=0
/proc/14750/task/14757/stat : 14757 (java) S 14748 14750 9558 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 116756684 1835933696 151207 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14758] ppid=14748 vsize=1792904 CPUtime=0
/proc/14750/task/14758/stat : 14758 (java) S 14748 14750 9558 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 116756693 1835933696 151207 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14759] ppid=14748 vsize=1792904 CPUtime=2.1
/proc/14750/task/14759/stat : 14759 (java) S 14748 14750 9558 0 -1 64 5652 0 0 0 207 3 0 0 16 0 13 0 116756693 1835933696 151207 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14750/tid=14760] ppid=14748 vsize=1792904 CPUtime=1.61
/proc/14750/task/14760/stat : 14760 (java) S 14748 14750 9558 0 -1 64 3963 0 0 0 159 2 0 0 17 0 13 0 116756693 1835933696 151207 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14761] ppid=14748 vsize=1792904 CPUtime=0
/proc/14750/task/14761/stat : 14761 (java) S 14748 14750 9558 0 -1 64 2 0 0 0 0 0 0 0 22 0 13 0 116756693 1835933696 151207 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14762] ppid=14748 vsize=1792904 CPUtime=0
/proc/14750/task/14762/stat : 14762 (java) S 14748 14750 9558 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 116756693 1835933696 151207 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14768] ppid=14748 vsize=1792904 CPUtime=0
/proc/14750/task/14768/stat : 14768 (java) S 14748 14750 9558 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 116783096 1835933696 151207 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1792904

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

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

[startup+1772.4 s]
/proc/loadavg: 1.02 1.02 1.01 2/90 15376
/proc/meminfo: memFree=1154296/2055920 swapFree=4158176/4192956
[pid=14750] ppid=14748 vsize=1793552 CPUtime=1800.38
/proc/14750/stat : 14750 (java) S 14748 14750 9558 0 -1 0 219538 0 53 0 179883 155 0 0 16 0 14 0 116756661 1836597248 151226 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14750/statm: 448388 151226 1330 9 0 446000 0
[pid=14750/tid=14752] ppid=14748 vsize=1793552 CPUtime=1744.34
/proc/14750/task/14752/stat : 14752 (java) R 14748 14750 9558 0 -1 64 80988 0 26 0 174372 62 0 0 25 0 14 0 116756670 1836597248 151226 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109670369 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14753] ppid=14748 vsize=1793552 CPUtime=25.82
/proc/14750/task/14753/stat : 14753 (java) S 14748 14750 9558 0 -1 64 68623 0 0 0 2549 33 0 0 16 0 14 0 116756679 1836597248 151226 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14754] ppid=14748 vsize=1793552 CPUtime=25.76
/proc/14750/task/14754/stat : 14754 (java) S 14748 14750 9558 0 -1 64 59394 0 0 0 2547 29 0 0 16 0 14 0 116756679 1836597248 151226 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14750/tid=14755] ppid=14748 vsize=1793552 CPUtime=0.53
/proc/14750/task/14755/stat : 14755 (java) S 14748 14750 9558 0 -1 64 194 0 0 0 32 21 0 0 16 0 14 0 116756684 1836597248 151226 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14750/tid=14756] ppid=14748 vsize=1793552 CPUtime=0
/proc/14750/task/14756/stat : 14756 (java) S 14748 14750 9558 0 -1 64 10 0 0 0 0 0 0 0 17 0 14 0 116756684 1836597248 151226 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14757] ppid=14748 vsize=1793552 CPUtime=0
/proc/14750/task/14757/stat : 14757 (java) S 14748 14750 9558 0 -1 64 6 0 0 0 0 0 0 0 16 0 14 0 116756684 1836597248 151226 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14758] ppid=14748 vsize=1793552 CPUtime=0
/proc/14750/task/14758/stat : 14758 (java) S 14748 14750 9558 0 -1 64 5 0 0 0 0 0 0 0 18 0 14 0 116756693 1836597248 151226 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14750/tid=14759] ppid=14748 vsize=1793552 CPUtime=2.13
/proc/14750/task/14759/stat : 14759 (java) S 14748 14750 9558 0 -1 64 5653 0 0 0 210 3 0 0 16 0 14 0 116756693 1836597248 151226 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14750/tid=14760] ppid=14748 vsize=1793552 CPUtime=1.62
/proc/14750/task/14760/stat : 14760 (java) S 14748 14750 9558 0 -1 64 3963 0 0 0 160 2 0 0 16 0 14 0 116756693 1836597248 151226 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14750/tid=14761] ppid=14748 vsize=1793552 CPUtime=0
/proc/14750/task/14761/stat : 14761 (java) S 14748 14750 9558 0 -1 64 2 0 0 0 0 0 0 0 22 0 14 0 116756693 1836597248 151226 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14762] ppid=14748 vsize=1793552 CPUtime=0
/proc/14750/task/14762/stat : 14762 (java) S 14748 14750 9558 0 -1 64 1 0 0 0 0 0 0 0 15 0 14 0 116756693 1836597248 151226 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14750/tid=14768] ppid=14748 vsize=1793552 CPUtime=0
/proc/14750/task/14768/stat : 14768 (java) S 14748 14750 9558 0 -1 64 1 0 0 0 0 0 0 0 19 0 14 0 116783096 1836597248 151226 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.38
Current children cumulated vsize (KiB) 1793552

[startup+1772.5 s]
/proc/loadavg: 1.02 1.02 1.01 2/90 15376
/proc/meminfo: memFree=1154296/2055920 swapFree=4158176/4192956
[pid=14750] ppid=14748 vsize=0 CPUtime=1800.48
/proc/14750/stat : 14750 (java) Z 14748 14750 9558 0 -1 1036 219538 0 53 0 179885 163 0 0 15 0 2 0 116756661 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14750/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.48
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1772.51
CPU time (s): 1800.5
CPU user time (s): 1798.85
CPU system time (s): 1.64775
CPU usage (%): 101.579
Max. virtual memory (cumulated for all children) (KiB): 1794448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.85
system time used= 1.64775
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 219538
page faults= 53
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56615
involuntary context switches= 62333

runsolver used 1.9847 second user time and 5.71013 second system time

The end

Launcher Data (download as text)

Begin job on node16 on Mon Apr 16 01:53:10 UTC 2007

IDJOB= 353924
IDBENCH= 2293
IDSOLVER= 160
FILE ID= node16/353924-1176688390

PBS_JOBID= 4559402

Free space on /tmp= 66429 MiB

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

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  334ff12347ae763156f4e4389dfec521

RANDOM SEED= 20320238

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
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:       1795848 kB
Buffers:         39068 kB
Cached:         141104 kB
SwapCached:       2612 kB
Active:         136528 kB
Inactive:        71736 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1795848 kB
SwapTotal:     4192956 kB
SwapFree:      4158176 kB
Dirty:            4152 kB
Writeback:           0 kB
Mapped:          34992 kB
Slab:            37284 kB
Committed_AS:  6379776 kB
PageTables:       1848 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= 66429 MiB

End job on node16 on Mon Apr 16 02:22:45 UTC 2007