Trace number 354179

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
sat4jPseudoCP 2007-03-23SAT (TO)2147483566 1800.25 1785.16

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb
MD5SUM77d03e06bcf76c9b07fd6535ab6acb65
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1207959552
Best CPU time to get the best result obtained on this benchmark1800.17
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1207959552
Optimality of the best value was proved NO
Number of variables6651
Total number of constraints721
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)331
Number of constraints which are nor clauses,nor cardinality constraints390
Minimum length of a constraint20
Maximum length of a constraint6651
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1073741824
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 26715880447
Number of bits of the biggest sum of numbers35
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.10/0.37	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.10/0.37	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.10/0.37	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.10/0.38	c no version file found!!!
0.10/0.38	c sun.arch.data.model	32
0.10/0.38	c java.version	1.6.0
0.10/0.38	c os.name	Linux
0.10/0.38	c os.version	2.6.9-22.EL.rootsmp
0.10/0.38	c os.arch	i386
0.10/0.38	c Free memory 1651659224
0.10/0.38	c Max memory 1654456320
0.10/0.38	c Total memory 1654456320
0.10/0.38	c Number of processors 2
0.18/0.44	c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolver)
0.18/0.44	--- Begin Solver configuration ---
0.18/0.44	c Stops conflict analysis at the first Unique Implication Point
0.18/0.44	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.18/0.44	c Learn all clauses as in MiniSAT
0.18/0.44	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 
0.18/0.44	c VSIDS like heuristics from MiniSAT using a heap
0.18/0.44	c No reason simplification
0.18/0.44	c --- End Solver configuration ---
0.18/0.44	c solving /tmp/evaluation/354179-1176697771/instance-354179-1176697771.opb
0.18/0.44	c reading problem ... 
2.58/2.33	c ... done. Wall clock time 1.885s.
2.58/2.33	c CPU time (experimental) 1.79s.
2.58/2.33	c #vars     6651
2.58/2.33	c #constraints  721
4.39/3.74	c SATISFIABLE
4.39/3.74	c OPTIMIZING...
4.39/3.74	c Got one! Elapsed wall clock time (in seconds):3.296
4.39/3.74	o 2147483647
6.09/5.15	c Got one! Elapsed wall clock time (in seconds):4.706
6.09/5.15	o 2147483646
8.64/7.44	c Got one! Elapsed wall clock time (in seconds):7.002
8.64/7.44	o 2147483645
10.26/8.83	c Got one! Elapsed wall clock time (in seconds):8.39
10.26/8.83	o 2147483644
12.24/10.55	c Got one! Elapsed wall clock time (in seconds):10.11
12.24/10.55	o 2147483643
13.86/12.12	c Got one! Elapsed wall clock time (in seconds):11.68
13.86/12.12	o 2147483642
15.69/13.91	c Got one! Elapsed wall clock time (in seconds):13.466
15.69/13.91	o 2147483641
18.24/16.49	c Got one! Elapsed wall clock time (in seconds):16.052
18.24/16.49	o 2147483640
22.19/20.30	c Got one! Elapsed wall clock time (in seconds):19.859
22.19/20.30	o 2147483639
23.23/21.37	c Got one! Elapsed wall clock time (in seconds):20.933
23.23/21.38	o 2147483638
28.86/26.97	c Got one! Elapsed wall clock time (in seconds):26.527
28.86/26.97	o 2147483637
39.83/37.61	c Got one! Elapsed wall clock time (in seconds):37.169
39.83/37.61	o 2147483636
52.91/50.37	c Got one! Elapsed wall clock time (in seconds):49.924
52.91/50.37	o 2147483635
64.84/62.18	c Got one! Elapsed wall clock time (in seconds):61.74
64.84/62.18	o 2147483634
76.76/74.04	c Got one! Elapsed wall clock time (in seconds):73.595
76.76/74.04	o 2147483633
88.70/85.90	c Got one! Elapsed wall clock time (in seconds):85.459
88.70/85.90	o 2147483632
100.65/97.87	c Got one! Elapsed wall clock time (in seconds):97.425
100.65/97.87	o 2147483631
119.77/116.81	c Got one! Elapsed wall clock time (in seconds):116.366
119.77/116.81	o 2147483630
125.50/122.52	c Got one! Elapsed wall clock time (in seconds):122.08
125.50/122.52	o 2147483629
126.61/123.61	c Got one! Elapsed wall clock time (in seconds):123.166
126.61/123.61	o 2147483628
127.96/124.93	c Got one! Elapsed wall clock time (in seconds):124.492
127.96/124.93	o 2147483627
129.18/126.17	c Got one! Elapsed wall clock time (in seconds):125.723
129.18/126.17	o 2147483626
130.60/127.56	c Got one! Elapsed wall clock time (in seconds):127.117
130.60/127.56	o 2147483625
132.11/129.00	c Got one! Elapsed wall clock time (in seconds):128.562
132.11/129.00	o 2147483624
133.53/130.40	c Got one! Elapsed wall clock time (in seconds):129.96
133.53/130.40	o 2147483623
135.24/132.14	c Got one! Elapsed wall clock time (in seconds):131.695
135.24/132.14	o 2147483622
138.39/135.16	c Got one! Elapsed wall clock time (in seconds):134.714
138.39/135.16	o 2147483621
141.40/138.15	c Got one! Elapsed wall clock time (in seconds):137.709
141.40/138.15	o 2147483620
143.62/140.37	c Got one! Elapsed wall clock time (in seconds):139.93
143.62/140.37	o 2147483619
146.15/142.80	c Got one! Elapsed wall clock time (in seconds):142.357
146.15/142.80	o 2147483618
148.57/145.24	c Got one! Elapsed wall clock time (in seconds):144.802
148.57/145.24	o 2147483617
151.68/148.36	c Got one! Elapsed wall clock time (in seconds):147.914
151.68/148.36	o 2147483616
154.90/151.55	c Got one! Elapsed wall clock time (in seconds):151.11
154.90/151.55	o 2147483615
158.83/155.40	c Got one! Elapsed wall clock time (in seconds):154.956
158.83/155.40	o 2147483614
162.86/159.41	c Got one! Elapsed wall clock time (in seconds):158.963
162.86/159.41	o 2147483613
167.39/163.90	c Got one! Elapsed wall clock time (in seconds):163.461
167.39/163.90	o 2147483612
171.81/168.38	c Got one! Elapsed wall clock time (in seconds):167.933
171.81/168.38	o 2147483611
176.75/173.27	c Got one! Elapsed wall clock time (in seconds):172.828
176.75/173.27	o 2147483610
183.09/179.55	c Got one! Elapsed wall clock time (in seconds):179.109
183.09/179.55	o 2147483609
190.14/186.53	c Got one! Elapsed wall clock time (in seconds):186.091
190.14/186.53	o 2147483608
198.59/194.95	c Got one! Elapsed wall clock time (in seconds):194.511
198.59/194.95	o 2147483607
199.70/196.08	c Got one! Elapsed wall clock time (in seconds):195.642
199.70/196.08	o 2147483606
209.27/205.57	c Got one! Elapsed wall clock time (in seconds):205.132
209.27/205.57	o 2147483605
230.76/226.89	c Got one! Elapsed wall clock time (in seconds):226.445
230.76/226.89	o 2147483604
233.99/230.00	c Got one! Elapsed wall clock time (in seconds):229.561
233.99/230.00	o 2147483603
253.42/249.32	c Got one! Elapsed wall clock time (in seconds):248.882
253.42/249.32	o 2147483602
274.86/270.68	c Got one! Elapsed wall clock time (in seconds):270.236
274.86/270.68	o 2147483601
276.67/272.44	c Got one! Elapsed wall clock time (in seconds):271.993
276.67/272.44	o 2147483600
280.00/275.78	c Got one! Elapsed wall clock time (in seconds):275.334
280.00/275.78	o 2147483599
283.32/279.07	c Got one! Elapsed wall clock time (in seconds):278.627
283.32/279.07	o 2147483598
318.79/314.31	c Got one! Elapsed wall clock time (in seconds):313.863
318.79/314.31	o 2147483597
478.15/472.70	c Got one! Elapsed wall clock time (in seconds):472.26
478.15/472.70	o 2147483596
580.19/574.18	c Got one! Elapsed wall clock time (in seconds):573.733
580.19/574.18	o 2147483595
679.65/672.90	c Got one! Elapsed wall clock time (in seconds):672.459
679.65/672.90	o 2147483594
782.12/774.73	c Got one! Elapsed wall clock time (in seconds):774.287
782.12/774.73	o 2147483593
882.66/874.57	c Got one! Elapsed wall clock time (in seconds):874.125
882.66/874.57	o 2147483592
982.47/973.64	c Got one! Elapsed wall clock time (in seconds):973.199
982.47/973.64	o 2147483591
1084.97/1075.49	c Got one! Elapsed wall clock time (in seconds):1075.049
1084.97/1075.49	o 2147483590
1183.67/1173.43	c Got one! Elapsed wall clock time (in seconds):1172.986
1183.67/1173.43	o 2147483589
1185.83/1175.55	c Got one! Elapsed wall clock time (in seconds):1175.112
1185.83/1175.55	o 2147483588
1195.50/1185.10	c Got one! Elapsed wall clock time (in seconds):1184.659
1195.50/1185.10	o 2147483587
1359.31/1347.76	c Got one! Elapsed wall clock time (in seconds):1347.319
1359.31/1347.76	o 2147483586
1368.70/1357.03	c Got one! Elapsed wall clock time (in seconds):1356.593
1368.70/1357.04	o 2147483585
1377.96/1366.27	c Got one! Elapsed wall clock time (in seconds):1365.828
1377.96/1366.27	o 2147483584
1388.15/1376.30	c Got one! Elapsed wall clock time (in seconds):1375.858
1388.15/1376.30	o 2147483583
1424.09/1412.02	c Got one! Elapsed wall clock time (in seconds):1411.58
1424.09/1412.02	o 2147483582
1433.88/1421.70	c Got one! Elapsed wall clock time (in seconds):1421.257
1433.88/1421.70	o 2147483581
1455.43/1443.20	c Got one! Elapsed wall clock time (in seconds):1442.758
1455.43/1443.20	o 2147483580
1457.65/1445.37	c Got one! Elapsed wall clock time (in seconds):1444.926
1457.65/1445.37	o 2147483579
1460.58/1448.22	c Got one! Elapsed wall clock time (in seconds):1447.782
1460.58/1448.22	o 2147483578
1462.69/1450.36	c Got one! Elapsed wall clock time (in seconds):1449.915
1462.69/1450.36	o 2147483577
1466.84/1454.40	c Got one! Elapsed wall clock time (in seconds):1453.956
1466.84/1454.40	o 2147483576
1477.11/1464.64	c Got one! Elapsed wall clock time (in seconds):1464.2
1477.11/1464.64	o 2147483575
1485.67/1473.18	c Got one! Elapsed wall clock time (in seconds):1472.74
1485.67/1473.18	o 2147483574
1487.60/1475.02	c Got one! Elapsed wall clock time (in seconds):1474.581
1487.60/1475.02	o 2147483573
1489.61/1477.01	c Got one! Elapsed wall clock time (in seconds):1476.572
1489.61/1477.01	o 2147483572
1511.77/1499.09	c Got one! Elapsed wall clock time (in seconds):1498.648
1511.77/1499.09	o 2147483571
1514.52/1501.79	c Got one! Elapsed wall clock time (in seconds):1501.344
1514.52/1501.79	o 2147483570
1584.35/1571.07	c Got one! Elapsed wall clock time (in seconds):1570.626
1584.35/1571.07	o 2147483569
1618.02/1604.49	c Got one! Elapsed wall clock time (in seconds):1604.048
1618.02/1604.49	o 2147483568
1620.55/1606.96	c Got one! Elapsed wall clock time (in seconds):1606.515
1620.55/1606.96	o 2147483567
1683.65/1669.54	c Got one! Elapsed wall clock time (in seconds):1669.099
1683.65/1669.54	o 2147483566
1800.03/1785.01	c starts		: 83
1800.03/1785.01	c conflicts		: 427
1800.03/1785.01	c decisions		: 532569
1800.03/1785.01	c propagations		: 1066886
1800.03/1785.01	c inspects		: 31123347
1800.03/1785.01	c learnt literals	: 0
1800.03/1785.01	c learnt binary clauses	: 0
1800.03/1785.01	c learnt ternary clauses	: 0
1800.03/1785.01	c learnt clauses	: 426
1800.03/1785.01	c root simplifications	: 0
1800.03/1785.01	c removed literals (reason simplification)	: 0
1800.03/1785.01	c reason swapping (by a shorter reason)	: 0
1800.03/1785.01	c Calls to reduceDB	: 0
1800.03/1785.01	c speed (decisions/second)	: 4612.105099071637
1800.03/1785.01	c non guided choices	6726
1800.03/1785.01	s SATISFIABLE
1800.03/1785.04	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1800.03/1785.04	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54
1800.03/1785.04	v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
1800.03/1785.04	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104
1800.03/1785.04	v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
1800.03/1785.04	v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
1800.03/1785.04	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167
1800.03/1785.04	v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188
1800.03/1785.04	v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209
1800.03/1785.04	v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1800.03/1785.04	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251
1800.03/1785.04	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272
1800.03/1785.04	v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293
1800.03/1785.04	v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314
1800.03/1785.04	v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335
1800.03/1785.04	v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356
1800.03/1785.04	v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377
1800.03/1785.04	v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398
1800.03/1785.04	v -x399 -x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419
1800.03/1785.04	v -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
1800.03/1785.04	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461
1800.03/1785.04	v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482
1800.03/1785.04	v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503
1800.03/1785.04	v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524
1800.03/1785.04	v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545
1800.03/1785.04	v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566
1800.03/1785.04	v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587
1800.03/1785.04	v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608
1800.03/1785.04	v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629
1800.03/1785.04	v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650
1800.03/1785.04	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671
1800.03/1785.04	v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692
1800.03/1785.04	v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713
1800.03/1785.04	v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734
1800.03/1785.04	v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755
1800.03/1785.04	v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776
1800.03/1785.04	v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797
1800.03/1785.04	v -x798 -x799 -x800 -x801 -x802 -x803 x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818
1800.03/1785.04	v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839
1800.03/1785.04	v -x840 -x841 -x842 -x843 -x844 x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
1800.03/1785.04	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881
1800.03/1785.04	v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902
1800.03/1785.04	v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923
1800.03/1785.04	v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944
1800.03/1785.04	v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965
1800.03/1785.04	v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 x979 -x980 x981 -x982 -x983 -x984 -x985 -x986
1800.03/1785.04	v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005
1800.03/1785.04	v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022
1800.03/1785.04	v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039
1800.03/1785.04	v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056
1800.03/1785.04	v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073
1800.03/1785.04	v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090
1800.03/1785.04	v -x1091 x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107
1800.03/1785.04	v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124
1800.03/1785.04	v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 x1138 -x1139 -x1140 -x1141
1800.03/1785.04	v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158
1800.03/1785.04	v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175
1800.03/1785.04	v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192
1800.03/1785.04	v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 x1204 -x1205 -x1206 -x1207 -x1208 -x1209
1800.03/1785.04	v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226
1800.03/1785.04	v x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243
1800.03/1785.04	v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260
1800.03/1785.04	v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277
1800.03/1785.04	v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294
1800.03/1785.04	v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311
1800.03/1785.04	v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328
1800.03/1785.04	v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346
1800.03/1785.04	v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 x1360 -x1361 -x1362 -x1363
1800.03/1785.04	v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380
1800.03/1785.04	v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 x1394 -x1395 -x1396 -x1397
1800.03/1785.04	v -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414
1800.03/1785.04	v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431
1800.03/1785.04	v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448
1800.03/1785.04	v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 x1460 -x1461 -x1462 -x1463 -x1464 -x1465
1800.03/1785.04	v -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482
1800.03/1785.04	v -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499
1800.03/1785.04	v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516
1800.03/1785.04	v -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533
1800.03/1785.04	v -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550
1800.03/1785.04	v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567
1800.03/1785.04	v -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584
1800.03/1785.04	v -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601
1800.03/1785.04	v -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618
1800.03/1785.04	v -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635
1800.03/1785.04	v -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652
1800.03/1785.04	v -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669
1800.03/1785.04	v -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686
1800.03/1785.04	v -x1687 -x1688 x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703
1800.03/1785.04	v -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720
1800.03/1785.04	v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737
1800.03/1785.04	v -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754
1800.03/1785.04	v -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771
1800.03/1785.04	v -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788
1800.03/1785.04	v -x1789 -x1790 -x1791 -x1792 x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805
1800.03/1785.04	v -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822
1800.03/1785.04	v -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839
1800.03/1785.04	v -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856
1800.03/1785.04	v -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873
1800.03/1785.04	v -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890
1800.03/1785.04	v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907
1800.03/1785.04	v -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924
1800.03/1785.04	v -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941
1800.03/1785.04	v -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958
1800.03/1785.04	v -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975
1800.03/1785.04	v -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992
1800.03/1785.04	v -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009
1800.03/1785.04	v -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026
1800.03/1785.04	v -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043
1800.03/1785.04	v -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060
1800.03/1785.04	v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077
1800.03/1785.04	v -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094
1800.03/1785.04	v -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111
1800.03/1785.04	v -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128
1800.03/1785.04	v -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145
1800.03/1785.04	v -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162
1800.03/1785.04	v -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179
1800.03/1785.04	v -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196
1800.03/1785.04	v -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213
1800.03/1785.04	v -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230
1800.03/1785.04	v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247
1800.03/1785.04	v -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264
1800.03/1785.04	v -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281
1800.03/1785.04	v x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298
1800.03/1785.04	v -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315
1800.03/1785.04	v -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332
1800.03/1785.04	v -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349
1800.03/1785.04	v -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366
1800.03/1785.04	v -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383
1800.03/1785.04	v -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400
1800.03/1785.04	v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417
1800.03/1785.04	v -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434
1800.03/1785.04	v -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 x2448 -x2449 -x2450 -x2451
1800.03/1785.04	v -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468
1800.03/1785.04	v -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485
1800.03/1785.04	v -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502
1800.03/1785.04	v -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 x2515 -x2516 -x2517 -x2518 -x2519
1800.03/1785.04	v -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536
1800.03/1785.04	v -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553
1800.03/1785.04	v -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570
1800.03/1785.04	v -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587
1800.03/1785.04	v -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604
1800.03/1785.04	v -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621
1800.03/1785.04	v -x2622 -x2623 -x2624 -x2625 x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638
1800.03/1785.04	v -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655
1800.03/1785.04	v -x2656 -x2657 -x2658 x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 x2670 -x2671 -x2672 -x2673
1800.03/1785.04	v -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690
1800.03/1785.04	v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707
1800.03/1785.04	v -x2708 x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724
1800.03/1785.04	v -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741
1800.03/1785.04	v -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758
1800.03/1785.04	v x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775
1800.03/1785.04	v -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792
1800.03/1785.04	v -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809
1800.03/1785.04	v -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826
1800.03/1785.04	v -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843
1800.03/1785.04	v -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860
1800.03/1785.04	v -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877
1800.03/1785.04	v -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894
1800.03/1785.04	v -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911
1800.03/1785.04	v -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928
1800.03/1785.04	v -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945
1800.03/1785.04	v -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962
1800.03/1785.04	v -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979
1800.03/1785.04	v -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996
1800.03/1785.04	v -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013
1800.03/1785.04	v -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030
1800.03/1785.04	v -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047
1800.03/1785.04	v -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064
1800.03/1785.04	v -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081
1800.03/1785.04	v -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098
1800.03/1785.04	v -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115
1800.03/1785.04	v -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132
1800.03/1785.04	v -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149
1800.03/1785.04	v -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166
1800.03/1785.04	v -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183
1800.03/1785.04	v -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200
1800.03/1785.04	v -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217
1800.03/1785.04	v -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234
1800.03/1785.04	v -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251
1800.03/1785.04	v -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 x3268
1800.03/1785.04	v -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285
1800.03/1785.04	v -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302
1800.03/1785.04	v -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319
1800.03/1785.04	v -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336
1800.03/1785.04	v -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353
1800.03/1785.04	v -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370
1800.03/1785.04	v -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387
1800.03/1785.04	v -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404
1800.03/1785.04	v -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 x3416 -x3417 -x3418 -x3419 -x3420 -x3421
1800.03/1785.04	v -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438
1800.03/1785.04	v -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455
1800.03/1785.04	v -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472
1800.03/1785.04	v -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489
1800.03/1785.04	v -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506
1800.03/1785.04	v -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523
1800.03/1785.04	v -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540
1800.03/1785.04	v -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 x3555 -x3556 -x3557
1800.03/1785.04	v -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574
1800.03/1785.04	v -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591
1800.03/1785.04	v -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608
1800.03/1785.04	v -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625
1800.03/1785.04	v -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642
1800.03/1785.04	v -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659
1800.03/1785.04	v -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676
1800.03/1785.04	v -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693
1800.03/1785.04	v -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710
1800.03/1785.04	v -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727
1800.03/1785.04	v -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744
1800.03/1785.04	v -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761
1800.03/1785.04	v -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778
1800.03/1785.04	v -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795
1800.03/1785.04	v -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812
1800.03/1785.04	v -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829
1800.03/1785.04	v -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846
1800.03/1785.04	v -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863
1800.03/1785.04	v -x3864 -x3865 -x3866 -x3867 x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880
1800.03/1785.04	v -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897
1800.03/1785.04	v -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914
1800.03/1785.04	v -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931
1800.03/1785.04	v -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948
1800.03/1785.04	v -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965
1800.03/1785.04	v -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982
1800.03/1785.04	v -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999
1800.03/1785.04	v -x4000 -x4001 -x4002 x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016
1800.03/1785.04	v -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033
1800.03/1785.04	v -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050
1800.03/1785.04	v -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067
1800.03/1785.04	v -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084
1800.03/1785.04	v -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101
1800.03/1785.04	v -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118
1800.03/1785.04	v -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135
1800.03/1785.04	v -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152
1800.03/1785.04	v -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169
1800.03/1785.04	v -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186
1800.03/1785.04	v -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203
1800.03/1785.04	v -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220
1800.03/1785.04	v -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237
1800.03/1785.04	v -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254
1800.03/1785.04	v -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271
1800.03/1785.04	v -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288
1800.03/1785.04	v -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305
1800.03/1785.04	v -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322
1800.03/1785.04	v -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339
1800.03/1785.04	v -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356
1800.03/1785.04	v -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373
1800.03/1785.04	v -x4374 -x4375 x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390
1800.03/1785.04	v -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407
1800.03/1785.04	v -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424
1800.03/1785.04	v -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441
1800.03/1785.04	v -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458
1800.03/1785.04	v -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475
1800.03/1785.04	v -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492
1800.03/1785.04	v -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509
1800.03/1785.04	v -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526
1800.03/1785.04	v -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543
1800.03/1785.04	v -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560
1800.03/1785.04	v -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577
1800.03/1785.04	v -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594
1800.03/1785.04	v -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611
1800.03/1785.04	v -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628
1800.03/1785.04	v -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645
1800.03/1785.04	v -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662
1800.03/1785.04	v -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679
1800.03/1785.04	v -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696
1800.03/1785.04	v -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713
1800.03/1785.04	v -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730
1800.03/1785.04	v -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747
1800.03/1785.04	v -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764
1800.03/1785.04	v -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781
1800.03/1785.04	v -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798
1800.03/1785.04	v -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815
1800.03/1785.04	v -x4816 -x4817 -x4818 -x4819 x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832
1800.03/1785.04	v -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849
1800.03/1785.04	v -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866
1800.03/1785.04	v -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883
1800.03/1785.04	v -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900
1800.03/1785.04	v -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917
1800.03/1785.04	v -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934
1800.03/1785.04	v -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951
1800.03/1785.04	v -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968
1800.03/1785.04	v -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985
1800.03/1785.04	v -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002
1800.03/1785.04	v -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019
1800.03/1785.04	v -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036
1800.03/1785.04	v -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053
1800.03/1785.04	v -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070
1800.03/1785.04	v -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087
1800.03/1785.04	v -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104
1800.03/1785.04	v -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121
1800.03/1785.04	v -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138
1800.03/1785.04	v -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 x5153 -x5154 -x5155
1800.03/1785.04	v -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172
1800.03/1785.04	v -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189
1800.03/1785.04	v -x5190 -x5191 -x5192 x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206
1800.03/1785.04	v -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223
1800.03/1785.04	v -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240
1800.03/1785.04	v -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257
1800.03/1785.04	v -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274
1800.03/1785.04	v -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291
1800.03/1785.04	v -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308
1800.03/1785.04	v -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325
1800.03/1785.04	v -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342
1800.03/1785.04	v -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 x5355 -x5356 -x5357 -x5358 -x5359
1800.03/1785.04	v -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376
1800.03/1785.04	v -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393
1800.03/1785.04	v -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410
1800.03/1785.04	v -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427
1800.03/1785.04	v -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444
1800.03/1785.04	v -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461
1800.03/1785.04	v -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478
1800.03/1785.04	v -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495
1800.03/1785.04	v -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512
1800.03/1785.04	v -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529
1800.03/1785.04	v -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546
1800.03/1785.04	v -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563
1800.03/1785.04	v -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580
1800.03/1785.04	v -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597
1800.03/1785.04	v -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614
1800.03/1785.04	v -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631
1800.03/1785.04	v -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648
1800.03/1785.04	v -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665
1800.03/1785.04	v -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682
1800.03/1785.04	v -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699
1800.03/1785.04	v -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716
1800.03/1785.04	v -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733
1800.03/1785.04	v -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750
1800.03/1785.04	v -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767
1800.03/1785.04	v -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784
1800.03/1785.04	v -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801
1800.03/1785.04	v -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818
1800.03/1785.04	v -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835
1800.03/1785.04	v -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852
1800.03/1785.04	v -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869
1800.03/1785.04	v -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886
1800.03/1785.04	v -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903
1800.03/1785.04	v -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920
1800.03/1785.04	v -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937
1800.03/1785.04	v -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954
1800.03/1785.04	v -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971
1800.03/1785.04	v -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988
1800.03/1785.04	v -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005
1800.03/1785.04	v -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022
1800.03/1785.04	v -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039
1800.03/1785.04	v -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056
1800.03/1785.04	v -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073
1800.03/1785.04	v -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090
1800.03/1785.04	v -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107
1800.03/1785.04	v -x6108 x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124
1800.03/1785.04	v -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141
1800.03/1785.04	v -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158
1800.03/1785.04	v -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175
1800.03/1785.04	v -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192
1800.03/1785.04	v -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209
1800.03/1785.04	v -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226
1800.03/1785.04	v -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243
1800.03/1785.04	v -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 x6257 -x6258 -x6259 -x6260
1800.03/1785.04	v -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277
1800.03/1785.04	v -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294
1800.03/1785.04	v -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311
1800.03/1785.04	v -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328
1800.03/1785.04	v -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345
1800.03/1785.04	v -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362
1800.03/1785.04	v -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379
1800.03/1785.04	v -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396
1800.03/1785.04	v -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413
1800.03/1785.04	v -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430
1800.03/1785.04	v -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447
1800.03/1785.04	v -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464
1800.03/1785.04	v -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481
1800.03/1785.04	v -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498
1800.03/1785.04	v -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515
1800.03/1785.04	v -x6516 x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532
1800.03/1785.04	v -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549
1800.03/1785.04	v -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566
1800.03/1785.04	v -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583
1800.03/1785.04	v -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600
1800.03/1785.04	v -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 x6612 -x6613 -x6614 -x6615 -x6616 -x6617
1800.03/1785.04	v -x6618 -x6619 -x6620 -x6621 x6622 x6623 x6624 -x6625 x6626 -x6627 x6628 x6629 x6630 x6631 x6632 x6633 x6634 x6635 x6636
1800.03/1785.04	v x6637 x6638 x6639 x6640 x6641 x6642 x6643 x6644 x6645 x6646 x6647 x6648 x6649 x6650 x6651
1800.03/1785.07	c objective function=2147483566
1800.03/1785.07	c Total wall clock time (ms): 1784.628

Verifier Data (download as text)

OK	2147483566

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 7691
/proc/meminfo: memFree=1813736/2055920 swapFree=4168128/4192956
[pid=7691] ppid=7689 vsize=18568 CPUtime=0
/proc/7691/stat : 7691 (runsolver) D 7689 7691 6992 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 117692611 19013632 292 18446744073709551615 4194304 4296420 548682068880 18446744073709551615 210824129831 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/7691/statm: 4642 292 257 24 0 2626 0

[startup+0.099758 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 7691
/proc/meminfo: memFree=1813736/2055920 swapFree=4168128/4192956
[pid=7691] ppid=7689 vsize=12056 CPUtime=0.02
/proc/7691/stat : 7691 (java) R 7689 7691 6992 0 -1 0 565 0 24 0 0 2 0 0 18 0 1 0 117692611 12345344 396 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 10916650 0 0 4096 0 0 0 0 17 0 0 0
/proc/7691/statm: 3014 396 140 9 0 1148 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12056

[startup+0.101836 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 7691
/proc/meminfo: memFree=1813736/2055920 swapFree=4168128/4192956
[pid=7691] ppid=7689 vsize=12056 CPUtime=0.02
/proc/7691/stat : 7691 (java) D 7689 7691 6992 0 -1 0 633 0 24 0 0 2 0 0 18 0 1 0 117692611 12345344 464 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 104906042 0 0 4096 0 18446744071563479169 0 0 17 0 0 0
/proc/7691/statm: 3014 464 171 9 0 1148 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12056

[startup+0.301797 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 7691
/proc/meminfo: memFree=1813736/2055920 swapFree=4168128/4192956
[pid=7691] ppid=7689 vsize=1780040 CPUtime=0.1
/proc/7691/stat : 7691 (java) S 7689 7691 6992 0 -1 0 3864 0 49 0 4 6 0 0 18 0 12 0 117692611 1822760960 3653 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7691/statm: 445010 3653 1101 9 0 442646 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1780040

[startup+0.701879 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 7691
/proc/meminfo: memFree=1813736/2055920 swapFree=4168128/4192956
[pid=7691] ppid=7689 vsize=1783480 CPUtime=0.6
/proc/7691/stat : 7691 (java) S 7689 7691 6992 0 -1 0 5896 0 49 0 52 8 0 0 18 0 12 0 117692611 1826283520 5647 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7691/statm: 445870 5648 1284 9 0 443482 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 1783480

[startup+1.50204 s]
/proc/loadavg: 0.92 0.98 0.99 5/89 7703
/proc/meminfo: memFree=1781128/2055920 swapFree=4168128/4192956
[pid=7691] ppid=7689 vsize=1783480 CPUtime=1.75
/proc/7691/stat : 7691 (java) S 7689 7691 6992 0 -1 0 18553 0 49 0 162 13 0 0 18 0 12 0 117692611 1826283520 17600 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7691/statm: 445870 17601 1303 9 0 443482 0
[pid=7691/tid=7693] ppid=7689 vsize=1783480 CPUtime=0.97
/proc/7691/task/7693/stat : 7693 (java) R 7689 7691 6992 0 -1 64 16155 0 24 0 87 10 0 0 19 0 12 0 117692621 1826283520 17601 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109496453 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7691/tid=7694] ppid=7689 vsize=1783480 CPUtime=0
/proc/7691/task/7694/stat : 7694 (java) S 7689 7691 6992 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 117692629 1826283520 17602 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7695] ppid=7689 vsize=1783480 CPUtime=0
/proc/7691/task/7695/stat : 7695 (java) S 7689 7691 6992 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 117692629 1826283520 17603 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7696] ppid=7689 vsize=1783480 CPUtime=0
/proc/7691/task/7696/stat : 7696 (java) S 7689 7691 6992 0 -1 64 1 0 0 0 0 0 0 0 17 0 12 0 117692633 1826283520 17604 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7691/tid=7697] ppid=7689 vsize=1783480 CPUtime=0
/proc/7691/task/7697/stat : 7697 (java) S 7689 7691 6992 0 -1 64 9 0 0 0 0 0 0 0 19 0 12 0 117692634 1826283520 17605 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7691/tid=7698] ppid=7689 vsize=1783480 CPUtime=0
/proc/7691/task/7698/stat : 7698 (java) S 7689 7691 6992 0 -1 64 4 0 0 0 0 0 0 0 20 0 12 0 117692634 1826283520 17606 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7691/tid=7699] ppid=7689 vsize=1783480 CPUtime=0
/proc/7691/task/7699/stat : 7699 (java) S 7689 7691 6992 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 117692641 1826283520 17607 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7700] ppid=7689 vsize=1783480 CPUtime=0.28
/proc/7691/task/7700/stat : 7700 (java) S 7689 7691 6992 0 -1 64 340 0 0 0 28 0 0 0 16 0 12 0 117692641 1826283520 17608 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7691/tid=7701] ppid=7689 vsize=1783480 CPUtime=0.46
/proc/7691/task/7701/stat : 7701 (java) S 7689 7691 6992 0 -1 64 1364 0 0 0 46 0 0 0 17 0 12 0 117692641 1826283520 17609 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7702] ppid=7689 vsize=1783480 CPUtime=0
/proc/7691/task/7702/stat : 7702 (java) S 7689 7691 6992 0 -1 64 2 0 0 0 0 0 0 0 20 0 12 0 117692641 1826283520 17610 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7703] ppid=7689 vsize=1783480 CPUtime=0
/proc/7691/task/7703/stat : 7703 (java) S 7689 7691 6992 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 117692641 1826283520 17611 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.75
Current children cumulated vsize (KiB) 1783480

[startup+3.10236 s]
/proc/loadavg: 0.92 0.98 0.99 2/89 7703
/proc/meminfo: memFree=1675720/2055920 swapFree=4168128/4192956
[pid=7691] ppid=7689 vsize=1785304 CPUtime=3.73
/proc/7691/stat : 7691 (java) S 7689 7691 6992 0 -1 0 43895 0 49 0 348 25 0 0 18 0 13 0 117692611 1828151296 42269 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7691/statm: 446326 42269 1321 9 0 443938 0
[pid=7691/tid=7693] ppid=7689 vsize=1785304 CPUtime=2.36
/proc/7691/task/7693/stat : 7693 (java) R 7689 7691 6992 0 -1 64 37692 0 24 0 216 20 0 0 21 0 13 0 117692621 1828151296 42269 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109770082 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7691/tid=7694] ppid=7689 vsize=1785304 CPUtime=0.04
/proc/7691/task/7694/stat : 7694 (java) S 7689 7691 6992 0 -1 64 1465 0 0 0 4 0 0 0 16 0 13 0 117692629 1828151296 42269 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7695] ppid=7689 vsize=1785304 CPUtime=0.05
/proc/7691/task/7695/stat : 7695 (java) S 7689 7691 6992 0 -1 64 1377 0 0 0 5 0 0 0 16 0 13 0 117692629 1828151296 42269 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7691/tid=7696] ppid=7689 vsize=1785304 CPUtime=0
/proc/7691/task/7696/stat : 7696 (java) S 7689 7691 6992 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 117692633 1828151296 42269 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7691/tid=7697] ppid=7689 vsize=1785304 CPUtime=0
/proc/7691/task/7697/stat : 7697 (java) S 7689 7691 6992 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 117692634 1828151296 42269 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7698] ppid=7689 vsize=1785304 CPUtime=0
/proc/7691/task/7698/stat : 7698 (java) S 7689 7691 6992 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 117692634 1828151296 42269 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7699] ppid=7689 vsize=1785304 CPUtime=0
/proc/7691/task/7699/stat : 7699 (java) S 7689 7691 6992 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 117692641 1828151296 42269 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7700] ppid=7689 vsize=1785304 CPUtime=0.51
/proc/7691/task/7700/stat : 7700 (java) S 7689 7691 6992 0 -1 64 745 0 0 0 51 0 0 0 16 0 13 0 117692641 1828151296 42269 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7691/tid=7701] ppid=7689 vsize=1785304 CPUtime=0.7
/proc/7691/task/7701/stat : 7701 (java) S 7689 7691 6992 0 -1 64 1913 0 0 0 69 1 0 0 17 0 13 0 117692641 1828151296 42269 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7702] ppid=7689 vsize=1785304 CPUtime=0
/proc/7691/task/7702/stat : 7702 (java) S 7689 7691 6992 0 -1 64 2 0 0 0 0 0 0 0 20 0 13 0 117692641 1828151296 42269 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7703] ppid=7689 vsize=1785304 CPUtime=0
/proc/7691/task/7703/stat : 7703 (java) S 7689 7691 6992 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 117692641 1828151296 42269 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 1785304

[startup+6.30303 s]
/proc/loadavg: 0.93 0.98 0.99 2/90 7706
/proc/meminfo: memFree=1626864/2055920 swapFree=4168128/4192956
[pid=7691] ppid=7689 vsize=1785052 CPUtime=7.43
/proc/7691/stat : 7691 (java) S 7689 7691 6992 0 -1 0 48059 0 49 0 715 28 0 0 18 0 13 0 117692611 1827893248 46220 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7691/statm: 446263 46220 1328 9 0 443875 0
[pid=7691/tid=7693] ppid=7689 vsize=1785052 CPUtime=5.27
/proc/7691/task/7693/stat : 7693 (java) S 7689 7691 6992 0 -1 64 37701 0 24 0 507 20 0 0 25 0 13 0 117692621 1827893248 46220 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7694] ppid=7689 vsize=1785052 CPUtime=0.17
/proc/7691/task/7694/stat : 7694 (java) R 7689 7691 6992 0 -1 64 3495 0 0 0 16 1 0 0 16 0 13 0 117692629 1827893248 46220 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 105370100 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7695] ppid=7689 vsize=1785052 CPUtime=0.17
/proc/7691/task/7695/stat : 7695 (java) R 7689 7691 6992 0 -1 64 3447 0 0 0 16 1 0 0 16 0 13 0 117692629 1827893248 46220 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 105367529 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7691/tid=7696] ppid=7689 vsize=1785052 CPUtime=0
/proc/7691/task/7696/stat : 7696 (java) S 7689 7691 6992 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 117692633 1827893248 46220 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7691/tid=7697] ppid=7689 vsize=1785052 CPUtime=0
/proc/7691/task/7697/stat : 7697 (java) S 7689 7691 6992 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 117692634 1827893248 46220 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7691/tid=7698] ppid=7689 vsize=1785052 CPUtime=0
/proc/7691/task/7698/stat : 7698 (java) S 7689 7691 6992 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 117692634 1827893248 46220 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7691/tid=7699] ppid=7689 vsize=1785052 CPUtime=0
/proc/7691/task/7699/stat : 7699 (java) S 7689 7691 6992 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 117692641 1827893248 46220 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7700] ppid=7689 vsize=1785052 CPUtime=0.78
/proc/7691/task/7700/stat : 7700 (java) S 7689 7691 6992 0 -1 64 774 0 0 0 78 0 0 0 16 0 13 0 117692641 1827893248 46220 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7691/tid=7701] ppid=7689 vsize=1785052 CPUtime=0.98
/proc/7691/task/7701/stat : 7701 (java) S 7689 7691 6992 0 -1 64 1932 0 0 0 97 1 0 0 16 0 13 0 117692641 1827893248 46220 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7702] ppid=7689 vsize=1785052 CPUtime=0
/proc/7691/task/7702/stat : 7702 (java) S 7689 7691 6992 0 -1 64 2 0 0 0 0 0 0 0 20 0 13 0 117692641 1827893248 46220 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7703] ppid=7689 vsize=1785052 CPUtime=0
/proc/7691/task/7703/stat : 7703 (java) S 7689 7691 6992 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 117692641 1827893248 46220 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7691/tid=7706] ppid=7689 vsize=1785052 CPUtime=0
/proc/7691/task/7706/stat : 7706 (java) S 7689 7691 6992 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 117693129 1827893248 46220 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.43
Current children cumulated vsize (KiB) 1785052

[startup+12.7023 s]
/proc/loadavg: 1.01 1.00 1.00 3/90 7709
/proc/meminfo: memFree=1603288/2055920 swapFree=4168192/4192956
[pid=7691] ppid=7689 vsize=1790172 CPUtime=14.47
/proc/7691/stat : 7691 (java) S 7689 7691 6992 0 -1 0 56850 0 49 0 1415 32 0 0 18 0 13 0 117692611 1833136128 51526 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7691/statm: 447543 51526 1328 9 0 445155 0
[pid=7691/tid=7693] ppid=7689 vsize=1790172 CPUtime=11.33
/proc/7691/task/7693/stat : 7693 (java) R 7689 7691 6992 0 -1 64 37712 0 24 0 1113 20 0 0 20 0 13 0 117692621 1833136128 51526 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109538354 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7691/tid=7694] ppid=7689 vsize=1790172 CPUtime=0.4
/proc/7691/task/7694/stat : 7694 (java) S 7689 7691 6992 0 -1 64 6808 0 0 0 37 3 0 0 16 0 13 0 117692629 1833136128 51526 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7695] ppid=7689 vsize=1790172 CPUtime=0.4
/proc/7691/task/7695/stat : 7695 (java) S 7689 7691 6992 0 -1 64 6297 0 0 0 38 2 0 0 16 0 13 0 117692629 1833136128 51526 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7691/tid=7696] ppid=7689 vsize=1790172 CPUtime=0
/proc/7691/task/7696/stat : 7696 (java) S 7689 7691 6992 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 117692633 1833136128 51526 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7697] ppid=7689 vsize=1790172 CPUtime=0
/proc/7691/task/7697/stat : 7697 (java) S 7689 7691 6992 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 117692634 1833136128 51526 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7698] ppid=7689 vsize=1790172 CPUtime=0
/proc/7691/task/7698/stat : 7698 (java) S 7689 7691 6992 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 117692634 1833136128 51526 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7699] ppid=7689 vsize=1790172 CPUtime=0
/proc/7691/task/7699/stat : 7699 (java) S 7689 7691 6992 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 117692641 1833136128 51526 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7700] ppid=7689 vsize=1790172 CPUtime=0.91
/proc/7691/task/7700/stat : 7700 (java) S 7689 7691 6992 0 -1 64 1118 0 0 0 91 0 0 0 17 0 13 0 117692641 1833136128 51526 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7691/tid=7701] ppid=7689 vsize=1790172 CPUtime=1.34
/proc/7691/task/7701/stat : 7701 (java) S 7689 7691 6992 0 -1 64 4186 0 0 0 132 2 0 0 17 0 13 0 117692641 1833136128 51526 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7702] ppid=7689 vsize=1790172 CPUtime=0
/proc/7691/task/7702/stat : 7702 (java) S 7689 7691 6992 0 -1 64 2 0 0 0 0 0 0 0 20 0 13 0 117692641 1833136128 51526 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7703] ppid=7689 vsize=1790172 CPUtime=0
/proc/7691/task/7703/stat : 7703 (java) S 7689 7691 6992 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 117692641 1833136128 51526 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.47
Current children cumulated vsize (KiB) 1790172

[startup+25.502 s]
/proc/loadavg: 1.01 1.00 1.00 2/90 7714
/proc/meminfo: memFree=1632944/2055920 swapFree=4168192/4192956
[pid=7691] ppid=7689 vsize=1790496 CPUtime=27.46
/proc/7691/stat : 7691 (java) S 7689 7691 6992 0 -1 0 58903 0 49 0 2712 34 0 0 18 0 13 0 117692611 1833467904 43102 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7691/statm: 447624 43102 1328 9 0 445236 0
[pid=7691/tid=7693] ppid=7689 vsize=1790496 CPUtime=23.98
/proc/7691/task/7693/stat : 7693 (java) R 7689 7691 6992 0 -1 64 37739 0 24 0 2378 20 0 0 18 0 13 0 117692621 1833467904 43102 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109869152 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7691/tid=7694] ppid=7689 vsize=1790496 CPUtime=0.49
/proc/7691/task/7694/stat : 7694 (java) S 7689 7691 6992 0 -1 64 7759 0 0 0 46 3 0 0 16 0 13 0 117692629 1833467904 43102 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7691/tid=7695] ppid=7689 vsize=1790496 CPUtime=0.49
/proc/7691/task/7695/stat : 7695 (java) S 7689 7691 6992 0 -1 64 7299 0 0 0 46 3 0 0 17 0 13 0 117692629 1833467904 43102 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7691/tid=7696] ppid=7689 vsize=1790496 CPUtime=0.02
/proc/7691/task/7696/stat : 7696 (java) S 7689 7691 6992 0 -1 64 31 0 0 0 1 1 0 0 16 0 13 0 117692633 1833467904 43102 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7697] ppid=7689 vsize=1790496 CPUtime=0
/proc/7691/task/7697/stat : 7697 (java) S 7689 7691 6992 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 117692634 1833467904 43102 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7698] ppid=7689 vsize=1790496 CPUtime=0
/proc/7691/task/7698/stat : 7698 (java) S 7689 7691 6992 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 117692634 1833467904 43102 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=7691/tid=7696] ppid=7689 vsize=1790096 CPUtime=1.11
/proc/7691/task/7696/stat : 7696 (java) S 7689 7691 6992 0 -1 64 363 0 0 0 66 45 0 0 15 0 13 0 117692633 1833058304 96283 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7697] ppid=7689 vsize=1790096 CPUtime=0
/proc/7691/task/7697/stat : 7697 (java) S 7689 7691 6992 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 117692634 1833058304 96283 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7698] ppid=7689 vsize=1790096 CPUtime=0
/proc/7691/task/7698/stat : 7698 (java) S 7689 7691 6992 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 117692634 1833058304 96283 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7699] ppid=7689 vsize=1790096 CPUtime=0
/proc/7691/task/7699/stat : 7699 (java) S 7689 7691 6992 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 117692641 1833058304 96283 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7700] ppid=7689 vsize=1790096 CPUtime=1.56
/proc/7691/task/7700/stat : 7700 (java) S 7689 7691 6992 0 -1 64 3026 0 0 0 155 1 0 0 16 0 13 0 117692641 1833058304 96283 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7691/tid=7701] ppid=7689 vsize=1790096 CPUtime=2.13
/proc/7691/task/7701/stat : 7701 (java) S 7689 7691 6992 0 -1 64 5620 0 0 0 210 3 0 0 17 0 13 0 117692641 1833058304 96283 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7702] ppid=7689 vsize=1790096 CPUtime=0
/proc/7691/task/7702/stat : 7702 (java) S 7689 7691 6992 0 -1 64 2 0 0 0 0 0 0 0 20 0 13 0 117692641 1833058304 96283 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7703] ppid=7689 vsize=1790096 CPUtime=0
/proc/7691/task/7703/stat : 7703 (java) S 7689 7691 6992 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 117692641 1833058304 96283 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7691/tid=7785] ppid=7689 vsize=1790096 CPUtime=0
/proc/7691/task/7785/stat : 7785 (java) S 7689 7691 6992 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 117849718 1833058304 96283 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1615.91
Current children cumulated vsize (KiB) 1790096

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 7787
/proc/meminfo: memFree=1414072/2055920 swapFree=4168896/4192956
[pid=7691] ppid=7689 vsize=1790096 CPUtime=1676.4
/proc/7691/stat : 7691 (java) S 7689 7691 6992 0 -1 0 213457 0 49 0 167371 269 0 0 18 0 13 0 117692611 1833058304 97865 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7691/statm: 447524 97865 1329 9 0 445136 0
[pid=7691/tid=7693] ppid=7689 vsize=1790096 CPUtime=1645.01
/proc/7691/task/7693/stat : 7693 (java) R 7689 7691 6992 0 -1 64 134541 0 24 0 164426 75 0 0 25 0 13 0 117692621 1833058304 97865 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109538300 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7694] ppid=7689 vsize=1790096 CPUtime=13.19
/proc/7691/task/7694/stat : 7694 (java) S 7689 7691 6992 0 -1 64 34471 0 0 0 1249 70 0 0 16 0 13 0 117692629 1833058304 97865 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7695] ppid=7689 vsize=1790096 CPUtime=13.28
/proc/7691/task/7695/stat : 7695 (java) S 7689 7691 6992 0 -1 64 34599 0 0 0 1259 69 0 0 16 0 13 0 117692629 1833058304 97865 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7691/tid=7696] ppid=7689 vsize=1790096 CPUtime=1.14
/proc/7691/task/7696/stat : 7696 (java) S 7689 7691 6992 0 -1 64 372 0 0 0 68 46 0 0 16 0 13 0 117692633 1833058304 97865 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7691/tid=7697] ppid=7689 vsize=1790096 CPUtime=0
/proc/7691/task/7697/stat : 7697 (java) S 7689 7691 6992 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 117692634 1833058304 97865 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7698] ppid=7689 vsize=1790096 CPUtime=0
/proc/7691/task/7698/stat : 7698 (java) S 7689 7691 6992 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 117692634 1833058304 97865 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7699] ppid=7689 vsize=1790096 CPUtime=0
/proc/7691/task/7699/stat : 7699 (java) S 7689 7691 6992 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 117692641 1833058304 97865 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7700] ppid=7689 vsize=1790096 CPUtime=1.56
/proc/7691/task/7700/stat : 7700 (java) S 7689 7691 6992 0 -1 64 3026 0 0 0 155 1 0 0 16 0 13 0 117692641 1833058304 97865 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7691/tid=7701] ppid=7689 vsize=1790096 CPUtime=2.13
/proc/7691/task/7701/stat : 7701 (java) S 7689 7691 6992 0 -1 64 5620 0 0 0 210 3 0 0 17 0 13 0 117692641 1833058304 97865 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7702] ppid=7689 vsize=1790096 CPUtime=0
/proc/7691/task/7702/stat : 7702 (java) S 7689 7691 6992 0 -1 64 2 0 0 0 0 0 0 0 20 0 13 0 117692641 1833058304 97865 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7703] ppid=7689 vsize=1790096 CPUtime=0
/proc/7691/task/7703/stat : 7703 (java) S 7689 7691 6992 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 117692641 1833058304 97865 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7691/tid=7787] ppid=7689 vsize=1790096 CPUtime=0
/proc/7691/task/7787/stat : 7787 (java) S 7689 7691 6992 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 117853307 1833058304 97865 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1676.4
Current children cumulated vsize (KiB) 1790096

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 7788
/proc/meminfo: memFree=1411504/2055920 swapFree=4168896/4192956
[pid=7691] ppid=7689 vsize=1790096 CPUtime=1736.85
/proc/7691/stat : 7691 (java) S 7689 7691 6992 0 -1 0 216096 0 49 0 173410 275 0 0 18 0 13 0 117692611 1833058304 98455 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7691/statm: 447524 98455 1329 9 0 445136 0
[pid=7691/tid=7693] ppid=7689 vsize=1790096 CPUtime=1704.41
/proc/7691/task/7693/stat : 7693 (java) R 7689 7691 6992 0 -1 64 136157 0 24 0 170365 76 0 0 19 0 13 0 117692621 1833058304 98455 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109538306 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7691/tid=7694] ppid=7689 vsize=1790096 CPUtime=13.7
/proc/7691/task/7694/stat : 7694 (java) S 7689 7691 6992 0 -1 64 34989 0 0 0 1298 72 0 0 16 0 13 0 117692629 1833058304 98455 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7695] ppid=7689 vsize=1790096 CPUtime=13.79
/proc/7691/task/7695/stat : 7695 (java) S 7689 7691 6992 0 -1 64 35097 0 0 0 1308 71 0 0 15 0 13 0 117692629 1833058304 98455 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7691/tid=7696] ppid=7689 vsize=1790096 CPUtime=1.17
/proc/7691/task/7696/stat : 7696 (java) S 7689 7691 6992 0 -1 64 378 0 0 0 70 47 0 0 15 0 13 0 117692633 1833058304 98455 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7697] ppid=7689 vsize=1790096 CPUtime=0
/proc/7691/task/7697/stat : 7697 (java) S 7689 7691 6992 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 117692634 1833058304 98455 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7698] ppid=7689 vsize=1790096 CPUtime=0
/proc/7691/task/7698/stat : 7698 (java) S 7689 7691 6992 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 117692634 1833058304 98455 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7699] ppid=7689 vsize=1790096 CPUtime=0
/proc/7691/task/7699/stat : 7699 (java) S 7689 7691 6992 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 117692641 1833058304 98455 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7700] ppid=7689 vsize=1790096 CPUtime=1.56
/proc/7691/task/7700/stat : 7700 (java) S 7689 7691 6992 0 -1 64 3026 0 0 0 155 1 0 0 16 0 13 0 117692641 1833058304 98455 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7691/tid=7701] ppid=7689 vsize=1790096 CPUtime=2.13
/proc/7691/task/7701/stat : 7701 (java) S 7689 7691 6992 0 -1 64 5620 0 0 0 210 3 0 0 17 0 13 0 117692641 1833058304 98455 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7702] ppid=7689 vsize=1790096 CPUtime=0
/proc/7691/task/7702/stat : 7702 (java) S 7689 7691 6992 0 -1 64 2 0 0 0 0 0 0 0 20 0 13 0 117692641 1833058304 98455 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7703] ppid=7689 vsize=1790096 CPUtime=0
/proc/7691/task/7703/stat : 7703 (java) S 7689 7691 6992 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 117692641 1833058304 98455 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7691/tid=7788] ppid=7689 vsize=1790096 CPUtime=0
/proc/7691/task/7788/stat : 7788 (java) S 7689 7691 6992 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 117859566 1833058304 98455 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1736.85
Current children cumulated vsize (KiB) 1790096

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 7788
/proc/meminfo: memFree=1407280/2055920 swapFree=4168960/4192956
[pid=7691] ppid=7689 vsize=1790096 CPUtime=1797.3
/proc/7691/stat : 7691 (java) S 7689 7691 6992 0 -1 0 217906 0 49 0 179451 279 0 0 18 0 13 0 117692611 1833058304 99501 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7691/statm: 447524 99501 1329 9 0 445136 0
[pid=7691/tid=7693] ppid=7689 vsize=1790096 CPUtime=1763.8
/proc/7691/task/7693/stat : 7693 (java) R 7689 7691 6992 0 -1 64 137198 0 24 0 176304 76 0 0 25 0 13 0 117692621 1833058304 99501 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109538248 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7694] ppid=7689 vsize=1790096 CPUtime=14.23
/proc/7691/task/7694/stat : 7694 (java) S 7689 7691 6992 0 -1 64 35452 0 0 0 1348 75 0 0 16 0 13 0 117692629 1833058304 99501 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7691/tid=7695] ppid=7689 vsize=1790096 CPUtime=14.29
/proc/7691/task/7695/stat : 7695 (java) S 7689 7691 6992 0 -1 64 35402 0 0 0 1358 71 0 0 16 0 13 0 117692629 1833058304 99501 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7696] ppid=7689 vsize=1790096 CPUtime=1.2
/proc/7691/task/7696/stat : 7696 (java) S 7689 7691 6992 0 -1 64 379 0 0 0 72 48 0 0 16 0 13 0 117692633 1833058304 99501 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7691/tid=7697] ppid=7689 vsize=1790096 CPUtime=0
/proc/7691/task/7697/stat : 7697 (java) S 7689 7691 6992 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 117692634 1833058304 99501 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7698] ppid=7689 vsize=1790096 CPUtime=0
/proc/7691/task/7698/stat : 7698 (java) S 7689 7691 6992 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 117692634 1833058304 99501 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7699] ppid=7689 vsize=1790096 CPUtime=0
/proc/7691/task/7699/stat : 7699 (java) S 7689 7691 6992 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 117692641 1833058304 99501 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7700] ppid=7689 vsize=1790096 CPUtime=1.56
/proc/7691/task/7700/stat : 7700 (java) S 7689 7691 6992 0 -1 64 3026 0 0 0 155 1 0 0 16 0 13 0 117692641 1833058304 99501 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7691/tid=7701] ppid=7689 vsize=1790096 CPUtime=2.13
/proc/7691/task/7701/stat : 7701 (java) S 7689 7691 6992 0 -1 64 5620 0 0 0 210 3 0 0 17 0 13 0 117692641 1833058304 99501 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7702] ppid=7689 vsize=1790096 CPUtime=0
/proc/7691/task/7702/stat : 7702 (java) S 7689 7691 6992 0 -1 64 2 0 0 0 0 0 0 0 20 0 13 0 117692641 1833058304 99501 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7703] ppid=7689 vsize=1790096 CPUtime=0
/proc/7691/task/7703/stat : 7703 (java) S 7689 7691 6992 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 117692641 1833058304 99501 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7788] ppid=7689 vsize=1790096 CPUtime=0
/proc/7691/task/7788/stat : 7788 (java) S 7689 7691 6992 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 117859566 1833058304 99501 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1797.3
Current children cumulated vsize (KiB) 1790096



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1785 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 7788
/proc/meminfo: memFree=1407280/2055920 swapFree=4168960/4192956
[pid=7691] ppid=7689 vsize=1790096 CPUtime=1800.03
/proc/7691/stat : 7691 (java) S 7689 7691 6992 0 -1 0 217913 0 49 0 179724 279 0 0 18 0 13 0 117692611 1833058304 99484 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7691/statm: 447524 99484 1329 9 0 445136 0
[pid=7691/tid=7693] ppid=7689 vsize=1790096 CPUtime=1766.48
/proc/7691/task/7693/stat : 7693 (java) R 7689 7691 6992 0 -1 64 137205 0 24 0 176572 76 0 0 25 0 13 0 117692621 1833058304 99484 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109539506 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7694] ppid=7689 vsize=1790096 CPUtime=14.25
/proc/7691/task/7694/stat : 7694 (java) S 7689 7691 6992 0 -1 64 35452 0 0 0 1350 75 0 0 16 0 13 0 117692629 1833058304 99484 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7691/tid=7695] ppid=7689 vsize=1790096 CPUtime=14.31
/proc/7691/task/7695/stat : 7695 (java) S 7689 7691 6992 0 -1 64 35402 0 0 0 1360 71 0 0 16 0 13 0 117692629 1833058304 99484 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7696] ppid=7689 vsize=1790096 CPUtime=1.2
/proc/7691/task/7696/stat : 7696 (java) S 7689 7691 6992 0 -1 64 379 0 0 0 72 48 0 0 16 0 13 0 117692633 1833058304 99484 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7691/tid=7697] ppid=7689 vsize=1790096 CPUtime=0
/proc/7691/task/7697/stat : 7697 (java) S 7689 7691 6992 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 117692634 1833058304 99484 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7698] ppid=7689 vsize=1790096 CPUtime=0
/proc/7691/task/7698/stat : 7698 (java) S 7689 7691 6992 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 117692634 1833058304 99484 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7699] ppid=7689 vsize=1790096 CPUtime=0
/proc/7691/task/7699/stat : 7699 (java) S 7689 7691 6992 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 117692641 1833058304 99484 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7700] ppid=7689 vsize=1790096 CPUtime=1.56
/proc/7691/task/7700/stat : 7700 (java) S 7689 7691 6992 0 -1 64 3026 0 0 0 155 1 0 0 16 0 13 0 117692641 1833058304 99484 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7691/tid=7701] ppid=7689 vsize=1790096 CPUtime=2.13
/proc/7691/task/7701/stat : 7701 (java) S 7689 7691 6992 0 -1 64 5620 0 0 0 210 3 0 0 17 0 13 0 117692641 1833058304 99484 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7702] ppid=7689 vsize=1790096 CPUtime=0
/proc/7691/task/7702/stat : 7702 (java) S 7689 7691 6992 0 -1 64 2 0 0 0 0 0 0 0 20 0 13 0 117692641 1833058304 99484 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7703] ppid=7689 vsize=1790096 CPUtime=0
/proc/7691/task/7703/stat : 7703 (java) S 7689 7691 6992 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 117692641 1833058304 99484 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7691/tid=7788] ppid=7689 vsize=1790096 CPUtime=0
/proc/7691/task/7788/stat : 7788 (java) S 7689 7691 6992 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 117859566 1833058304 99484 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1790096

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

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

[startup+1785.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 7788
/proc/meminfo: memFree=1407280/2055920 swapFree=4168960/4192956
[pid=7691] ppid=7689 vsize=0 CPUtime=1800.2
/proc/7691/stat : 7691 (java) Z 7689 7691 6992 0 -1 1036 217928 0 49 0 179738 282 0 0 15 0 2 0 117692611 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7691/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1785.16
CPU time (s): 1800.25
CPU user time (s): 1797.38
CPU system time (s): 2.86456
CPU usage (%): 100.845
Max. virtual memory (cumulated for all children) (KiB): 1791376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.38
system time used= 2.86456
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217928
page faults= 49
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 95208
involuntary context switches= 66630

runsolver used 1.9717 second user time and 5.9371 second system time

The end

Launcher Data (download as text)

Begin job on node33 on Mon Apr 16 04:29:31 UTC 2007

IDJOB= 354179
IDBENCH= 2371
IDSOLVER= 160
FILE ID= node33/354179-1176697771

PBS_JOBID= 4560012

Free space on /tmp= 66546 MiB

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

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  77d03e06bcf76c9b07fd6535ab6acb65

RANDOM SEED= 188213504

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node33.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.272
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.272
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:       1814400 kB
Buffers:           536 kB
Cached:          37552 kB
SwapCached:       2100 kB
Active:         168024 kB
Inactive:         9852 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1814400 kB
SwapTotal:     4192956 kB
SwapFree:      4168128 kB
Dirty:            5620 kB
Writeback:           0 kB
Mapped:         154916 kB
Slab:            48952 kB
Committed_AS:  1632148 kB
PageTables:       2000 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66546 MiB

End job on node33 on Mon Apr 16 04:59:18 UTC 2007