Trace number 43061

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
SAT4JPSEUDO 2006.2 HeuristicsSAT (TO)999 1801.29 1774.61

General information on the benchmark

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

Verifier Data (download as text)

OK	999

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node51/watcher-43061-1149291124 -o ROOT/results/node51/solver-43061-1149291124 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node51/43061-1149291124/instance-43061-1149291124.opb 426080293 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.97 0.91 2/64 9110
/proc/meminfo: memFree=1635544/2055920 swapFree=4181388/4192956
[pid=9110] ppid=9108 vsize=1592 CPUtime=0
/proc/9110/stat : 9110 (java) D 9108 9110 9064 0 -1 0 131 0 0 0 0 0 0 0 18 0 1 0 194779725 1630208 103 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/9110/statm: 398 103 82 14 0 43 0

[startup+10.0025 s]
/proc/loadavg: 0.93 0.97 0.91 2/76 9122
/proc/meminfo: memFree=1446344/2055920 swapFree=4181388/4192956
[pid=9110] ppid=9108 vsize=1711224 CPUtime=11.25
/proc/9110/stat : 9110 (java) R 9108 9110 9064 0 -1 0 51744 0 1 0 1102 23 0 0 25 0 13 0 194779725 1752293376 49111 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071371037 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9110/statm: 427806 49111 1909 14 0 414553 0
[pid=9110/tid=9111] ppid=9108 vsize=1711224 CPUtime=0.12
/proc/9110/task/9111/stat : 9111 (java) S 9108 9110 9064 0 -1 64 2750 0 0 0 11 1 0 0 16 0 13 0 194779730 1752293376 49111 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9112] ppid=9108 vsize=1711224 CPUtime=0.12
/proc/9110/task/9112/stat : 9112 (java) S 9108 9110 9064 0 -1 64 2909 0 0 0 11 1 0 0 16 0 13 0 194779730 1752293376 49111 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9110/tid=9113] ppid=9108 vsize=1711224 CPUtime=0
/proc/9110/task/9113/stat : 9113 (java) S 9108 9110 9064 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 194779733 1752293376 49111 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9110/tid=9114] ppid=9108 vsize=1711224 CPUtime=0
/proc/9110/task/9114/stat : 9114 (java) S 9108 9110 9064 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 194779733 1752293376 49111 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9115] ppid=9108 vsize=1711224 CPUtime=0
/proc/9110/task/9115/stat : 9115 (java) S 9108 9110 9064 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 194779733 1752293376 49111 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9116] ppid=9108 vsize=1711224 CPUtime=0
/proc/9110/task/9116/stat : 9116 (java) S 9108 9110 9064 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 194779737 1752293376 49111 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9117] ppid=9108 vsize=1711224 CPUtime=0
/proc/9110/task/9117/stat : 9117 (java) S 9108 9110 9064 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 194779737 1752293376 49111 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9118] ppid=9108 vsize=1711224 CPUtime=0.82
/proc/9110/task/9118/stat : 9118 (java) S 9108 9110 9064 0 -1 64 684 0 0 0 82 0 0 0 16 0 13 0 194779737 1752293376 49111 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9110/tid=9119] ppid=9108 vsize=1711224 CPUtime=0.84
/proc/9110/task/9119/stat : 9119 (java) S 9108 9110 9064 0 -1 64 1958 0 0 0 83 1 0 0 16 0 13 0 194779737 1752293376 49111 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9120] ppid=9108 vsize=1711224 CPUtime=0
/proc/9110/task/9120/stat : 9120 (java) S 9108 9110 9064 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 194779737 1752293376 49111 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9121] ppid=9108 vsize=1711224 CPUtime=0
/proc/9110/task/9121/stat : 9121 (java) S 9108 9110 9064 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 194779737 1752293376 49111 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9122] ppid=9108 vsize=1711224 CPUtime=0
/proc/9110/task/9122/stat : 9122 (java) S 9108 9110 9064 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 194780122 1752293376 49111 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.25
Current children cumulated vsize (Kb) 1711224

[startup+20.0094 s]
/proc/loadavg: 0.94 0.97 0.91 2/76 9123
/proc/meminfo: memFree=1431240/2055920 swapFree=4181388/4192956
[pid=9110] ppid=9108 vsize=1711936 CPUtime=21.64
/proc/9110/stat : 9110 (java) R 9108 9110 9064 0 -1 0 56640 0 1 0 2139 25 0 0 25 0 13 0 194779725 1753022464 52893 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071589816 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9110/statm: 427984 52893 1912 14 0 414731 0
[pid=9110/tid=9111] ppid=9108 vsize=1711936 CPUtime=0.21
/proc/9110/task/9111/stat : 9111 (java) S 9108 9110 9064 0 -1 64 5080 0 0 0 19 2 0 0 16 0 13 0 194779730 1753022464 52893 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9112] ppid=9108 vsize=1711936 CPUtime=0.21
/proc/9110/task/9112/stat : 9112 (java) S 9108 9110 9064 0 -1 64 4779 0 0 0 19 2 0 0 17 0 13 0 194779730 1753022464 52893 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9110/tid=9113] ppid=9108 vsize=1711936 CPUtime=0
/proc/9110/task/9113/stat : 9113 (java) S 9108 9110 9064 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 194779733 1753022464 52893 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9114] ppid=9108 vsize=1711936 CPUtime=0
/proc/9110/task/9114/stat : 9114 (java) S 9108 9110 9064 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 194779733 1753022464 52893 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9115] ppid=9108 vsize=1711936 CPUtime=0
/proc/9110/task/9115/stat : 9115 (java) S 9108 9110 9064 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 194779733 1753022464 52893 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9116] ppid=9108 vsize=1711936 CPUtime=0
/proc/9110/task/9116/stat : 9116 (java) S 9108 9110 9064 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 194779737 1753022464 52893 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9117] ppid=9108 vsize=1711936 CPUtime=0
/proc/9110/task/9117/stat : 9117 (java) S 9108 9110 9064 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 194779737 1753022464 52893 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9118] ppid=9108 vsize=1711936 CPUtime=1.09
/proc/9110/task/9118/stat : 9118 (java) S 9108 9110 9064 0 -1 64 1169 0 0 0 109 0 0 0 17 0 13 0 194779737 1753022464 52893 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9110/tid=9119] ppid=9108 vsize=1711936 CPUtime=0.96
/proc/9110/task/9119/stat : 9119 (java) S 9108 9110 9064 0 -1 64 2159 0 0 0 95 1 0 0 17 0 13 0 194779737 1753022464 52893 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9120] ppid=9108 vsize=1711936 CPUtime=0
/proc/9110/task/9120/stat : 9120 (java) S 9108 9110 9064 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 194779737 1753022464 52893 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9121] ppid=9108 vsize=1711936 CPUtime=0
/proc/9110/task/9121/stat : 9121 (java) S 9108 9110 9064 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 194779737 1753022464 52893 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9123] ppid=9108 vsize=1711936 CPUtime=0
/proc/9110/task/9123/stat : 9123 (java) S 9108 9110 9064 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 194781365 1753022464 52893 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.64
Current children cumulated vsize (Kb) 1711936

[startup+30.0164 s]
/proc/loadavg: 0.95 0.97 0.91 2/76 9124
/proc/meminfo: memFree=1425728/2055920 swapFree=4181388/4192956
[pid=9110] ppid=9108 vsize=1711904 CPUtime=31.69
/proc/9110/stat : 9110 (java) R 9108 9110 9064 0 -1 0 58344 0 1 0 3143 26 0 0 25 0 13 0 194779725 1752989696 54270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071483655 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9110/statm: 427976 54270 1912 14 0 414723 0
[pid=9110/tid=9111] ppid=9108 vsize=1711904 CPUtime=0.26
/proc/9110/task/9111/stat : 9111 (java) S 9108 9110 9064 0 -1 64 6107 0 0 0 23 3 0 0 16 0 13 0 194779730 1752989696 54270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9112] ppid=9108 vsize=1711904 CPUtime=0.26
/proc/9110/task/9112/stat : 9112 (java) S 9108 9110 9064 0 -1 64 5453 0 0 0 24 2 0 0 16 0 13 0 194779730 1752989696 54270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9110/tid=9113] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9113/stat : 9113 (java) S 9108 9110 9064 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 194779733 1752989696 54270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9110/tid=9114] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9114/stat : 9114 (java) S 9108 9110 9064 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 194779733 1752989696 54270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9115] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9115/stat : 9115 (java) S 9108 9110 9064 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 194779733 1752989696 54270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9116] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9116/stat : 9116 (java) S 9108 9110 9064 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 194779737 1752989696 54270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9117] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9117/stat : 9117 (java) S 9108 9110 9064 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 194779737 1752989696 54270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9118] ppid=9108 vsize=1711904 CPUtime=1.1
/proc/9110/task/9118/stat : 9118 (java) S 9108 9110 9064 0 -1 64 1169 0 0 0 110 0 0 0 17 0 13 0 194779737 1752989696 54270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9110/tid=9119] ppid=9108 vsize=1711904 CPUtime=0.97
/proc/9110/task/9119/stat : 9119 (java) S 9108 9110 9064 0 -1 64 2159 0 0 0 96 1 0 0 17 0 13 0 194779737 1752989696 54270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9120] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9120/stat : 9120 (java) S 9108 9110 9064 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 194779737 1752989696 54270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9121] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9121/stat : 9121 (java) S 9108 9110 9064 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 194779737 1752989696 54270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9124] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9124/stat : 9124 (java) S 9108 9110 9064 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 194782350 1752989696 54270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 31.69
Current children cumulated vsize (Kb) 1711904

[startup+40.0233 s]
/proc/loadavg: 0.96 0.97 0.91 2/76 9124
/proc/meminfo: memFree=1380544/2055920 swapFree=4181388/4192956
[pid=9110] ppid=9108 vsize=1711904 CPUtime=42.05
/proc/9110/stat : 9110 (java) R 9108 9110 9064 0 -1 0 71299 0 1 0 4172 33 0 0 25 0 13 0 194779725 1752989696 65556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071484051 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9110/statm: 427976 65556 1912 14 0 414723 0
[pid=9110/tid=9111] ppid=9108 vsize=1711904 CPUtime=0.62
/proc/9110/task/9111/stat : 9111 (java) S 9108 9110 9064 0 -1 64 12914 0 0 0 56 6 0 0 16 0 13 0 194779730 1752989696 65556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9112] ppid=9108 vsize=1711904 CPUtime=0.61
/proc/9110/task/9112/stat : 9112 (java) S 9108 9110 9064 0 -1 64 11588 0 0 0 56 5 0 0 16 0 13 0 194779730 1752989696 65556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9110/tid=9113] ppid=9108 vsize=1711904 CPUtime=0.01
/proc/9110/task/9113/stat : 9113 (java) S 9108 9110 9064 0 -1 64 33 0 0 0 1 0 0 0 16 0 13 0 194779733 1752989696 65556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9110/tid=9114] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9114/stat : 9114 (java) S 9108 9110 9064 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 194779733 1752989696 65556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9115] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9115/stat : 9115 (java) S 9108 9110 9064 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 194779733 1752989696 65556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9116] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9116/stat : 9116 (java) S 9108 9110 9064 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 194779737 1752989696 65556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9117] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9117/stat : 9117 (java) S 9108 9110 9064 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 194779737 1752989696 65556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9118] ppid=9108 vsize=1711904 CPUtime=1.1
/proc/9110/task/9118/stat : 9118 (java) S 9108 9110 9064 0 -1 64 1169 0 0 0 110 0 0 0 17 0 13 0 194779737 1752989696 65556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9110/tid=9119] ppid=9108 vsize=1711904 CPUtime=0.97
/proc/9110/task/9119/stat : 9119 (java) S 9108 9110 9064 0 -1 64 2159 0 0 0 96 1 0 0 17 0 13 0 194779737 1752989696 65556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9120] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9120/stat : 9120 (java) S 9108 9110 9064 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 194779737 1752989696 65556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9121] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9121/stat : 9121 (java) S 9108 9110 9064 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 194779737 1752989696 65556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9124] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9124/stat : 9124 (java) S 9108 9110 9064 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 194782350 1752989696 65556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 42.05
Current children cumulated vsize (Kb) 1711904

[startup+50.0302 s]
/proc/loadavg: 0.96 0.97 0.91 2/76 9124
/proc/meminfo: memFree=1356288/2055920 swapFree=4181388/4192956
[pid=9110] ppid=9108 vsize=1711904 CPUtime=52.27
/proc/9110/stat : 9110 (java) R 9108 9110 9064 0 -1 0 78621 0 1 0 5191 36 0 0 25 0 13 0 194779725 1752989696 71609 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071680739 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9110/statm: 427976 71609 1912 14 0 414723 0
[pid=9110/tid=9111] ppid=9108 vsize=1711904 CPUtime=0.84
/proc/9110/task/9111/stat : 9111 (java) S 9108 9110 9064 0 -1 64 17533 0 0 0 76 8 0 0 16 0 13 0 194779730 1752989696 71609 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9112] ppid=9108 vsize=1711904 CPUtime=0.83
/proc/9110/task/9112/stat : 9112 (java) S 9108 9110 9064 0 -1 64 14284 0 0 0 76 7 0 0 16 0 13 0 194779730 1752989696 71609 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9110/tid=9113] ppid=9108 vsize=1711904 CPUtime=0.01
/proc/9110/task/9113/stat : 9113 (java) S 9108 9110 9064 0 -1 64 33 0 0 0 1 0 0 0 16 0 13 0 194779733 1752989696 71609 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9110/tid=9114] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9114/stat : 9114 (java) S 9108 9110 9064 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 194779733 1752989696 71609 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9115] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9115/stat : 9115 (java) S 9108 9110 9064 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 194779733 1752989696 71609 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9116] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9116/stat : 9116 (java) S 9108 9110 9064 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 194779737 1752989696 71609 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9117] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9117/stat : 9117 (java) S 9108 9110 9064 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 194779737 1752989696 71609 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9118] ppid=9108 vsize=1711904 CPUtime=1.1
/proc/9110/task/9118/stat : 9118 (java) S 9108 9110 9064 0 -1 64 1169 0 0 0 110 0 0 0 17 0 13 0 194779737 1752989696 71609 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9110/tid=9119] ppid=9108 vsize=1711904 CPUtime=0.97
/proc/9110/task/9119/stat : 9119 (java) S 9108 9110 9064 0 -1 64 2159 0 0 0 96 1 0 0 17 0 13 0 194779737 1752989696 71609 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9120] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9120/stat : 9120 (java) S 9108 9110 9064 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 194779737 1752989696 71609 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9121] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9121/stat : 9121 (java) S 9108 9110 9064 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 194779737 1752989696 71609 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9124] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9124/stat : 9124 (java) S 9108 9110 9064 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 194782350 1752989696 71609 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 52.27
Current children cumulated vsize (Kb) 1711904

[startup+60.0371 s]
/proc/loadavg: 0.97 0.97 0.91 2/76 9125
/proc/meminfo: memFree=1353080/2055920 swapFree=4181388/4192956
[pid=9110] ppid=9108 vsize=1711904 CPUtime=62.31
/proc/9110/stat : 9110 (java) R 9108 9110 9064 0 -1 0 79603 0 1 0 6194 37 0 0 25 0 13 0 194779725 1752989696 72425 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071704608 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9110/statm: 427976 72425 1912 14 0 414723 0
[pid=9110/tid=9111] ppid=9108 vsize=1711904 CPUtime=0.88
/proc/9110/task/9111/stat : 9111 (java) S 9108 9110 9064 0 -1 64 17993 0 0 0 79 9 0 0 16 0 13 0 194779730 1752989696 72425 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9112] ppid=9108 vsize=1711904 CPUtime=0.86
/proc/9110/task/9112/stat : 9112 (java) S 9108 9110 9064 0 -1 64 14805 0 0 0 79 7 0 0 16 0 13 0 194779730 1752989696 72425 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9110/tid=9113] ppid=9108 vsize=1711904 CPUtime=0.01
/proc/9110/task/9113/stat : 9113 (java) S 9108 9110 9064 0 -1 64 33 0 0 0 1 0 0 0 16 0 13 0 194779733 1752989696 72425 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9110/tid=9114] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9114/stat : 9114 (java) S 9108 9110 9064 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 194779733 1752989696 72425 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9115] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9115/stat : 9115 (java) S 9108 9110 9064 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 194779733 1752989696 72425 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9116] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9116/stat : 9116 (java) S 9108 9110 9064 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 194779737 1752989696 72425 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=9110/tid=9114] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9114/stat : 9114 (java) S 9108 9110 9064 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 194779733 1752989696 185415 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9115] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9115/stat : 9115 (java) S 9108 9110 9064 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 194779733 1752989696 185415 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9116] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9116/stat : 9116 (java) S 9108 9110 9064 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 194779737 1752989696 185415 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9117] ppid=9108 vsize=1711904 CPUtime=0.01
/proc/9110/task/9117/stat : 9117 (java) S 9108 9110 9064 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 194779737 1752989696 185415 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9118] ppid=9108 vsize=1711904 CPUtime=1.28
/proc/9110/task/9118/stat : 9118 (java) S 9108 9110 9064 0 -1 64 1177 0 0 0 128 0 0 0 17 0 13 0 194779737 1752989696 185415 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9110/tid=9119] ppid=9108 vsize=1711904 CPUtime=1.12
/proc/9110/task/9119/stat : 9119 (java) S 9108 9110 9064 0 -1 64 2169 0 0 0 111 1 0 0 16 0 13 0 194779737 1752989696 185415 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9120] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9120/stat : 9120 (java) S 9108 9110 9064 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 194779737 1752989696 185415 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9121] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9121/stat : 9121 (java) S 9108 9110 9064 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 194779737 1752989696 185415 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9110/tid=9134] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9134/stat : 9134 (java) S 9108 9110 9064 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 194926176 1752989696 185415 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1796.66
Current children cumulated vsize (Kb) 1711904

[startup+1771.29 s]
/proc/loadavg: 1.00 1.00 0.94 2/76 9329
/proc/meminfo: memFree=899008/2055920 swapFree=4181388/4192956
[pid=9110] ppid=9108 vsize=1711904 CPUtime=1797.7
/proc/9110/stat : 9110 (java) R 9108 9110 9064 0 -1 0 213233 0 1 0 179588 182 0 0 17 0 13 0 194779725 1752989696 185415 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071484541 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9110/statm: 427976 185415 1912 14 0 414723 0
[pid=9110/tid=9111] ppid=9108 vsize=1711904 CPUtime=25.57
/proc/9110/task/9111/stat : 9111 (java) S 9108 9110 9064 0 -1 64 81206 0 0 0 2492 65 0 0 16 0 13 0 194779730 1752989696 185415 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9112] ppid=9108 vsize=1711904 CPUtime=25.57
/proc/9110/task/9112/stat : 9112 (java) S 9108 9110 9064 0 -1 64 82784 0 0 0 2490 67 0 0 17 0 13 0 194779730 1752989696 185415 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9113] ppid=9108 vsize=1711904 CPUtime=0.4
/proc/9110/task/9113/stat : 9113 (java) S 9108 9110 9064 0 -1 64 45 0 0 0 24 16 0 0 16 0 13 0 194779733 1752989696 185415 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9114] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9114/stat : 9114 (java) S 9108 9110 9064 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 194779733 1752989696 185415 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9115] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9115/stat : 9115 (java) S 9108 9110 9064 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 194779733 1752989696 185415 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9116] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9116/stat : 9116 (java) S 9108 9110 9064 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 194779737 1752989696 185415 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9117] ppid=9108 vsize=1711904 CPUtime=0.01
/proc/9110/task/9117/stat : 9117 (java) S 9108 9110 9064 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 194779737 1752989696 185415 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9118] ppid=9108 vsize=1711904 CPUtime=1.28
/proc/9110/task/9118/stat : 9118 (java) S 9108 9110 9064 0 -1 64 1177 0 0 0 128 0 0 0 17 0 13 0 194779737 1752989696 185415 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9110/tid=9119] ppid=9108 vsize=1711904 CPUtime=1.12
/proc/9110/task/9119/stat : 9119 (java) S 9108 9110 9064 0 -1 64 2169 0 0 0 111 1 0 0 16 0 13 0 194779737 1752989696 185415 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9120] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9120/stat : 9120 (java) S 9108 9110 9064 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 194779737 1752989696 185415 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9121] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9121/stat : 9121 (java) S 9108 9110 9064 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 194779737 1752989696 185415 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9110/tid=9134] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9134/stat : 9134 (java) S 9108 9110 9064 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 194926176 1752989696 185415 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1797.7
Current children cumulated vsize (Kb) 1711904

[startup+1772.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/76 9329
/proc/meminfo: memFree=899008/2055920 swapFree=4181388/4192956
[pid=9110] ppid=9108 vsize=1711904 CPUtime=1798.75
/proc/9110/stat : 9110 (java) R 9108 9110 9064 0 -1 0 213235 0 1 0 179693 182 0 0 17 0 13 0 194779725 1752989696 185399 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071714812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9110/statm: 427976 185399 1912 14 0 414723 0
[pid=9110/tid=9111] ppid=9108 vsize=1711904 CPUtime=25.62
/proc/9110/task/9111/stat : 9111 (java) S 9108 9110 9064 0 -1 64 81206 0 0 0 2496 66 0 0 16 0 13 0 194779730 1752989696 185399 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9112] ppid=9108 vsize=1711904 CPUtime=25.61
/proc/9110/task/9112/stat : 9112 (java) S 9108 9110 9064 0 -1 64 82784 0 0 0 2494 67 0 0 16 0 13 0 194779730 1752989696 185399 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9110/tid=9113] ppid=9108 vsize=1711904 CPUtime=0.4
/proc/9110/task/9113/stat : 9113 (java) S 9108 9110 9064 0 -1 64 45 0 0 0 24 16 0 0 16 0 13 0 194779733 1752989696 185399 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9114] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9114/stat : 9114 (java) S 9108 9110 9064 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 194779733 1752989696 185399 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9115] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9115/stat : 9115 (java) S 9108 9110 9064 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 194779733 1752989696 185399 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9116] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9116/stat : 9116 (java) S 9108 9110 9064 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 194779737 1752989696 185399 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9117] ppid=9108 vsize=1711904 CPUtime=0.01
/proc/9110/task/9117/stat : 9117 (java) S 9108 9110 9064 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 194779737 1752989696 185399 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9118] ppid=9108 vsize=1711904 CPUtime=1.28
/proc/9110/task/9118/stat : 9118 (java) S 9108 9110 9064 0 -1 64 1177 0 0 0 128 0 0 0 17 0 13 0 194779737 1752989696 185399 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9110/tid=9119] ppid=9108 vsize=1711904 CPUtime=1.12
/proc/9110/task/9119/stat : 9119 (java) S 9108 9110 9064 0 -1 64 2169 0 0 0 111 1 0 0 16 0 13 0 194779737 1752989696 185399 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9120] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9120/stat : 9120 (java) S 9108 9110 9064 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 194779737 1752989696 185399 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9121] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9121/stat : 9121 (java) S 9108 9110 9064 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 194779737 1752989696 185399 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9110/tid=9134] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9134/stat : 9134 (java) S 9108 9110 9064 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 194926176 1752989696 185399 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1798.75
Current children cumulated vsize (Kb) 1711904

[startup+1773.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/76 9329
/proc/meminfo: memFree=899008/2055920 swapFree=4181388/4192956
[pid=9110] ppid=9108 vsize=1711904 CPUtime=1799.8
/proc/9110/stat : 9110 (java) R 9108 9110 9064 0 -1 0 213238 0 1 0 179798 182 0 0 17 0 13 0 194779725 1752989696 185400 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071791906 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9110/statm: 427976 185400 1912 14 0 414723 0
[pid=9110/tid=9111] ppid=9108 vsize=1711904 CPUtime=25.67
/proc/9110/task/9111/stat : 9111 (java) S 9108 9110 9064 0 -1 64 81206 0 0 0 2501 66 0 0 16 0 13 0 194779730 1752989696 185400 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9112] ppid=9108 vsize=1711904 CPUtime=25.66
/proc/9110/task/9112/stat : 9112 (java) S 9108 9110 9064 0 -1 64 82785 0 0 0 2499 67 0 0 16 0 13 0 194779730 1752989696 185400 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9110/tid=9113] ppid=9108 vsize=1711904 CPUtime=0.4
/proc/9110/task/9113/stat : 9113 (java) S 9108 9110 9064 0 -1 64 45 0 0 0 24 16 0 0 16 0 13 0 194779733 1752989696 185400 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9114] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9114/stat : 9114 (java) S 9108 9110 9064 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 194779733 1752989696 185400 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9115] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9115/stat : 9115 (java) S 9108 9110 9064 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 194779733 1752989696 185400 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9116] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9116/stat : 9116 (java) S 9108 9110 9064 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 194779737 1752989696 185400 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9117] ppid=9108 vsize=1711904 CPUtime=0.01
/proc/9110/task/9117/stat : 9117 (java) S 9108 9110 9064 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 194779737 1752989696 185400 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9118] ppid=9108 vsize=1711904 CPUtime=1.28
/proc/9110/task/9118/stat : 9118 (java) S 9108 9110 9064 0 -1 64 1177 0 0 0 128 0 0 0 17 0 13 0 194779737 1752989696 185400 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9110/tid=9119] ppid=9108 vsize=1711904 CPUtime=1.12
/proc/9110/task/9119/stat : 9119 (java) S 9108 9110 9064 0 -1 64 2169 0 0 0 111 1 0 0 16 0 13 0 194779737 1752989696 185400 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9120] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9120/stat : 9120 (java) S 9108 9110 9064 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 194779737 1752989696 185400 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9121] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9121/stat : 9121 (java) S 9108 9110 9064 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 194779737 1752989696 185400 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9110/tid=9134] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9134/stat : 9134 (java) S 9108 9110 9064 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 194926176 1752989696 185400 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1799.8
Current children cumulated vsize (Kb) 1711904

[startup+1774.31 s]
/proc/loadavg: 1.00 1.00 0.94 2/76 9329
/proc/meminfo: memFree=898944/2055920 swapFree=4181388/4192956
[pid=9110] ppid=9108 vsize=1711904 CPUtime=1800.85
/proc/9110/stat : 9110 (java) R 9108 9110 9064 0 -1 0 213272 0 1 0 179902 183 0 0 17 0 13 0 194779725 1752989696 185432 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071483809 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9110/statm: 427976 185432 1912 14 0 414723 0
[pid=9110/tid=9111] ppid=9108 vsize=1711904 CPUtime=25.71
/proc/9110/task/9111/stat : 9111 (java) S 9108 9110 9064 0 -1 64 81206 0 0 0 2505 66 0 0 16 0 13 0 194779730 1752989696 185432 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9110/tid=9112] ppid=9108 vsize=1711904 CPUtime=25.71
/proc/9110/task/9112/stat : 9112 (java) S 9108 9110 9064 0 -1 64 82817 0 0 0 2503 68 0 0 16 0 13 0 194779730 1752989696 185432 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9113] ppid=9108 vsize=1711904 CPUtime=0.4
/proc/9110/task/9113/stat : 9113 (java) S 9108 9110 9064 0 -1 64 45 0 0 0 24 16 0 0 16 0 13 0 194779733 1752989696 185432 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9114] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9114/stat : 9114 (java) S 9108 9110 9064 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 194779733 1752989696 185432 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9115] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9115/stat : 9115 (java) S 9108 9110 9064 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 194779733 1752989696 185432 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9116] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9116/stat : 9116 (java) S 9108 9110 9064 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 194779737 1752989696 185432 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9117] ppid=9108 vsize=1711904 CPUtime=0.01
/proc/9110/task/9117/stat : 9117 (java) S 9108 9110 9064 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 194779737 1752989696 185432 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9118] ppid=9108 vsize=1711904 CPUtime=1.28
/proc/9110/task/9118/stat : 9118 (java) S 9108 9110 9064 0 -1 64 1177 0 0 0 128 0 0 0 17 0 13 0 194779737 1752989696 185432 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9110/tid=9119] ppid=9108 vsize=1711904 CPUtime=1.12
/proc/9110/task/9119/stat : 9119 (java) S 9108 9110 9064 0 -1 64 2169 0 0 0 111 1 0 0 16 0 13 0 194779737 1752989696 185432 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9120] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9120/stat : 9120 (java) S 9108 9110 9064 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 194779737 1752989696 185432 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9121] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9121/stat : 9121 (java) S 9108 9110 9064 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 194779737 1752989696 185432 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9110/tid=9134] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9134/stat : 9134 (java) S 9108 9110 9064 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 194926176 1752989696 185432 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.85
Current children cumulated vsize (Kb) 1711904



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1774.31 s]
/proc/loadavg: 1.00 1.00 0.94 2/76 9329
/proc/meminfo: memFree=898944/2055920 swapFree=4181388/4192956
[pid=9110] ppid=9108 vsize=1711904 CPUtime=1800.86
/proc/9110/stat : 9110 (java) R 9108 9110 9064 0 -1 0 213272 0 1 0 179903 183 0 0 17 0 13 0 194779725 1752989696 185432 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071483643 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9110/statm: 427976 185432 1912 14 0 414723 0
[pid=9110/tid=9111] ppid=9108 vsize=1711904 CPUtime=25.71
/proc/9110/task/9111/stat : 9111 (java) S 9108 9110 9064 0 -1 64 81206 0 0 0 2505 66 0 0 16 0 13 0 194779730 1752989696 185432 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9110/tid=9112] ppid=9108 vsize=1711904 CPUtime=25.71
/proc/9110/task/9112/stat : 9112 (java) S 9108 9110 9064 0 -1 64 82817 0 0 0 2503 68 0 0 16 0 13 0 194779730 1752989696 185432 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9113] ppid=9108 vsize=1711904 CPUtime=0.4
/proc/9110/task/9113/stat : 9113 (java) S 9108 9110 9064 0 -1 64 45 0 0 0 24 16 0 0 16 0 13 0 194779733 1752989696 185432 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9114] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9114/stat : 9114 (java) S 9108 9110 9064 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 194779733 1752989696 185432 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9115] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9115/stat : 9115 (java) S 9108 9110 9064 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 194779733 1752989696 185432 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9116] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9116/stat : 9116 (java) S 9108 9110 9064 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 194779737 1752989696 185432 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9117] ppid=9108 vsize=1711904 CPUtime=0.01
/proc/9110/task/9117/stat : 9117 (java) S 9108 9110 9064 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 194779737 1752989696 185432 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9118] ppid=9108 vsize=1711904 CPUtime=1.28
/proc/9110/task/9118/stat : 9118 (java) S 9108 9110 9064 0 -1 64 1177 0 0 0 128 0 0 0 17 0 13 0 194779737 1752989696 185432 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9110/tid=9119] ppid=9108 vsize=1711904 CPUtime=1.12
/proc/9110/task/9119/stat : 9119 (java) S 9108 9110 9064 0 -1 64 2169 0 0 0 111 1 0 0 16 0 13 0 194779737 1752989696 185432 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9120] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9120/stat : 9120 (java) S 9108 9110 9064 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 194779737 1752989696 185432 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9110/tid=9121] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9121/stat : 9121 (java) S 9108 9110 9064 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 194779737 1752989696 185432 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9110/tid=9134] ppid=9108 vsize=1711904 CPUtime=0
/proc/9110/task/9134/stat : 9134 (java) S 9108 9110 9064 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 194926176 1752989696 185432 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.86
Current children cumulated vsize (Kb) 1711904

Sending SIGTERM to -9110
Sleeping 2 seconds

Child status: 143
Real time (s): 1774.61
CPU time (s): 1801.29
CPU user time (s): 1799.34
CPU system time (s): 1.9457
CPU usage (%): 101.503
Max. virtual memory (cumulated for all children) (Kb): 1711936

Launcher Data (download as text)

Begin job on node51 on Fri Jun  2 23:32:05 UTC 2006


FILE ID= 43061-1149291124

PBS_JOBID= 306866

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node51/43061-1149291124/instance-43061-1149291124.opb 426080293
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node51/watcher-43061-1149291124 -o ROOT/results/node51/solver-43061-1149291124 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node51/43061-1149291124/instance-43061-1149291124.opb 426080293

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  f480d2d56550630df651872786c078c9

RANDOM SEED= 426080293


/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:       1635752 kB
Buffers:         21540 kB
Cached:         336276 kB
SwapCached:       3400 kB
Active:          56148 kB
Inactive:       310516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1635752 kB
SwapTotal:     4192956 kB
SwapFree:      4181388 kB
Dirty:             176 kB
Writeback:           0 kB
Mapped:          14916 kB
Slab:            39540 kB
Committed_AS:   301256 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node51 on Sat Jun  3 00:01:39 UTC 2006