Trace number 354439

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)2147483575 1800.28 1786.57

General information on the benchmark

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

Verifier Data (download as text)

OK	2147483575

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 4635
/proc/meminfo: memFree=1794936/2055920 swapFree=4184672/4192956
[pid=4635] ppid=4633 vsize=152 CPUtime=0
/proc/4635/stat : 4635 (java) D 4633 4635 4084 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 118866139 155648 26 18446744073709551615 134512640 134550740 4294956608 18446744073709551615 10027812 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/4635/statm: 38 26 19 9 0 4 0

[startup+0.0747541 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 4635
/proc/meminfo: memFree=1794936/2055920 swapFree=4184672/4192956
[pid=4635] ppid=4633 vsize=1777708 CPUtime=0.05
/proc/4635/stat : 4635 (java) S 4633 4635 4084 0 -1 0 3740 0 1 0 4 1 0 0 18 0 7 0 118866139 1820372992 3482 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/4635/statm: 444427 3482 1082 9 0 442063 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 1777708

[startup+0.101757 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 4635
/proc/meminfo: memFree=1794936/2055920 swapFree=4184672/4192956
[pid=4635] ppid=4633 vsize=1780108 CPUtime=0.08
/proc/4635/stat : 4635 (java) S 4633 4635 4084 0 -1 0 3970 0 1 0 6 2 0 0 18 0 12 0 118866139 1822830592 3711 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4635/statm: 445027 3711 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.301791 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 4635
/proc/meminfo: memFree=1794936/2055920 swapFree=4184672/4192956
[pid=4635] ppid=4633 vsize=1782660 CPUtime=0.34
/proc/4635/stat : 4635 (java) S 4633 4635 4084 0 -1 0 5147 0 1 0 31 3 0 0 18 0 12 0 118866139 1825443840 4885 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4635/statm: 445665 4885 1267 9 0 443277 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 1782660

[startup+0.701859 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 4635
/proc/meminfo: memFree=1794936/2055920 swapFree=4184672/4192956
[pid=4635] ppid=4633 vsize=1783440 CPUtime=0.93
/proc/4635/stat : 4635 (java) S 4633 4635 4084 0 -1 0 7255 0 1 0 89 4 0 0 18 0 12 0 118866139 1826242560 6729 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4635/statm: 445860 6730 1302 9 0 443472 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 1783440

[startup+1.503 s]
/proc/loadavg: 0.92 0.98 0.99 3/76 4647
/proc/meminfo: memFree=1759576/2055920 swapFree=4184672/4192956
[pid=4635] ppid=4633 vsize=1783720 CPUtime=1.96
/proc/4635/stat : 4635 (java) S 4633 4635 4084 0 -1 0 23979 0 1 0 186 10 0 0 18 0 12 0 118866139 1826529280 22703 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4635/statm: 445930 22703 1304 9 0 443542 0
[pid=4635/tid=4637] ppid=4633 vsize=1783720 CPUtime=1.18
/proc/4635/task/4637/stat : 4637 (java) R 4633 4635 4084 0 -1 64 21412 0 1 0 109 9 0 0 21 0 12 0 118866141 1826529280 22703 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109474896 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4638] ppid=4633 vsize=1783720 CPUtime=0
/proc/4635/task/4638/stat : 4638 (java) S 4633 4635 4084 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 118866142 1826529280 22703 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4639] ppid=4633 vsize=1783720 CPUtime=0
/proc/4635/task/4639/stat : 4639 (java) S 4633 4635 4084 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 118866142 1826529280 22703 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4635/tid=4640] ppid=4633 vsize=1783720 CPUtime=0
/proc/4635/task/4640/stat : 4640 (java) S 4633 4635 4084 0 -1 64 1 0 0 0 0 0 0 0 17 0 12 0 118866144 1826529280 22703 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4641] ppid=4633 vsize=1783720 CPUtime=0
/proc/4635/task/4641/stat : 4641 (java) S 4633 4635 4084 0 -1 64 9 0 0 0 0 0 0 0 22 0 12 0 118866145 1826529280 22703 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4642] ppid=4633 vsize=1783720 CPUtime=0
/proc/4635/task/4642/stat : 4642 (java) S 4633 4635 4084 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 118866145 1826529280 22703 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4643] ppid=4633 vsize=1783720 CPUtime=0
/proc/4635/task/4643/stat : 4643 (java) S 4633 4635 4084 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 118866149 1826529280 22703 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4644] ppid=4633 vsize=1783720 CPUtime=0.45
/proc/4635/task/4644/stat : 4644 (java) S 4633 4635 4084 0 -1 64 1488 0 0 0 45 0 0 0 16 0 12 0 118866149 1826529280 22703 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4635/tid=4645] ppid=4633 vsize=1783720 CPUtime=0.31
/proc/4635/task/4645/stat : 4645 (java) S 4633 4635 4084 0 -1 64 359 0 0 0 31 0 0 0 15 0 12 0 118866149 1826529280 22703 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4646] ppid=4633 vsize=1783720 CPUtime=0
/proc/4635/task/4646/stat : 4646 (java) S 4633 4635 4084 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 118866149 1826529280 22703 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4647] ppid=4633 vsize=1783720 CPUtime=0
/proc/4635/task/4647/stat : 4647 (java) R 4633 4635 4084 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 118866149 1826529280 22703 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 1783720

[startup+3.10127 s]
/proc/loadavg: 0.92 0.98 0.99 3/76 4647
/proc/meminfo: memFree=1644056/2055920 swapFree=4184672/4192956
[pid=4635] ppid=4633 vsize=1786328 CPUtime=4.12
/proc/4635/stat : 4635 (java) S 4633 4635 4084 0 -1 0 44548 0 1 0 394 18 0 0 18 0 13 0 118866139 1829199872 42439 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4635/statm: 446582 42439 1325 9 0 444194 0
[pid=4635/tid=4637] ppid=4633 vsize=1786328 CPUtime=2.51
/proc/4635/task/4637/stat : 4637 (java) R 4633 4635 4084 0 -1 64 37749 0 1 0 236 15 0 0 21 0 13 0 118866141 1829199872 42439 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109706909 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4638] ppid=4633 vsize=1786328 CPUtime=0.04
/proc/4635/task/4638/stat : 4638 (java) S 4633 4635 4084 0 -1 64 1485 0 0 0 4 0 0 0 16 0 13 0 118866142 1829199872 42439 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4639] ppid=4633 vsize=1786328 CPUtime=0.05
/proc/4635/task/4639/stat : 4639 (java) S 4633 4635 4084 0 -1 64 1351 0 0 0 5 0 0 0 16 0 13 0 118866142 1829199872 42439 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4635/tid=4640] ppid=4633 vsize=1786328 CPUtime=0
/proc/4635/task/4640/stat : 4640 (java) S 4633 4635 4084 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 118866144 1829199872 42439 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4635/tid=4641] ppid=4633 vsize=1786328 CPUtime=0
/proc/4635/task/4641/stat : 4641 (java) S 4633 4635 4084 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 118866145 1829199872 42439 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4635/tid=4642] ppid=4633 vsize=1786328 CPUtime=0
/proc/4635/task/4642/stat : 4642 (java) S 4633 4635 4084 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 118866145 1829199872 42439 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4643] ppid=4633 vsize=1786328 CPUtime=0
/proc/4635/task/4643/stat : 4643 (java) S 4633 4635 4084 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118866149 1829199872 42439 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4644] ppid=4633 vsize=1786328 CPUtime=0.82
/proc/4635/task/4644/stat : 4644 (java) S 4633 4635 4084 0 -1 64 2067 0 0 0 82 0 0 0 17 0 13 0 118866149 1829199872 42439 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4635/tid=4645] ppid=4633 vsize=1786328 CPUtime=0.65
/proc/4635/task/4645/stat : 4645 (java) S 4633 4635 4084 0 -1 64 1168 0 0 0 65 0 0 0 16 0 13 0 118866149 1829199872 42439 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4635/tid=4646] ppid=4633 vsize=1786328 CPUtime=0
/proc/4635/task/4646/stat : 4646 (java) S 4633 4635 4084 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118866149 1829199872 42439 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4647] ppid=4633 vsize=1786328 CPUtime=0
/proc/4635/task/4647/stat : 4647 (java) S 4633 4635 4084 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 118866149 1829199872 42439 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4648] ppid=4633 vsize=1786328 CPUtime=0
/proc/4635/task/4648/stat : 4648 (java) S 4633 4635 4084 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 118866349 1829199872 42439 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.12
Current children cumulated vsize (KiB) 1786328

[startup+6.30281 s]
/proc/loadavg: 0.93 0.98 0.99 2/77 4650
/proc/meminfo: memFree=1612864/2055920 swapFree=4184672/4192956
[pid=4635] ppid=4633 vsize=1787552 CPUtime=8.02
/proc/4635/stat : 4635 (java) S 4633 4635 4084 0 -1 0 49951 0 1 0 781 21 0 0 18 0 13 0 118866139 1830453248 44776 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4635/statm: 446888 44776 1328 9 0 444500 0
[pid=4635/tid=4637] ppid=4633 vsize=1787552 CPUtime=5.29
/proc/4635/task/4637/stat : 4637 (java) R 4633 4635 4084 0 -1 64 37758 0 1 0 514 15 0 0 17 0 13 0 118866141 1830453248 44776 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109541846 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4635/tid=4638] ppid=4633 vsize=1787552 CPUtime=0.3
/proc/4635/task/4638/stat : 4638 (java) S 4633 4635 4084 0 -1 64 3328 0 0 0 29 1 0 0 16 0 13 0 118866142 1830453248 44776 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4639] ppid=4633 vsize=1787552 CPUtime=0.31
/proc/4635/task/4639/stat : 4639 (java) S 4633 4635 4084 0 -1 64 3332 0 0 0 30 1 0 0 16 0 13 0 118866142 1830453248 44776 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4635/tid=4640] ppid=4633 vsize=1787552 CPUtime=0
/proc/4635/task/4640/stat : 4640 (java) S 4633 4635 4084 0 -1 64 16 0 0 0 0 0 0 0 15 0 13 0 118866144 1830453248 44776 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4641] ppid=4633 vsize=1787552 CPUtime=0
/proc/4635/task/4641/stat : 4641 (java) S 4633 4635 4084 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 118866145 1830453248 44776 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4642] ppid=4633 vsize=1787552 CPUtime=0
/proc/4635/task/4642/stat : 4642 (java) S 4633 4635 4084 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 118866145 1830453248 44776 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4643] ppid=4633 vsize=1787552 CPUtime=0
/proc/4635/task/4643/stat : 4643 (java) S 4633 4635 4084 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118866149 1830453248 44776 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4644] ppid=4633 vsize=1787552 CPUtime=1.16
/proc/4635/task/4644/stat : 4644 (java) S 4633 4635 4084 0 -1 64 2619 0 0 0 116 0 0 0 17 0 13 0 118866149 1830453248 44776 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4645] ppid=4633 vsize=1787552 CPUtime=0.9
/proc/4635/task/4645/stat : 4645 (java) S 4633 4635 4084 0 -1 64 2175 0 0 0 90 0 0 0 16 0 13 0 118866149 1830453248 44776 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4635/tid=4646] ppid=4633 vsize=1787552 CPUtime=0
/proc/4635/task/4646/stat : 4646 (java) S 4633 4635 4084 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118866149 1830453248 44776 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4647] ppid=4633 vsize=1787552 CPUtime=0
/proc/4635/task/4647/stat : 4647 (java) S 4633 4635 4084 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 118866149 1830453248 44776 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4650] ppid=4633 vsize=1787552 CPUtime=0
/proc/4635/task/4650/stat : 4650 (java) S 4633 4635 4084 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 118866612 1830453248 44776 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8.02
Current children cumulated vsize (KiB) 1787552

[startup+12.7019 s]
/proc/loadavg: 0.93 0.98 0.99 3/77 4650
/proc/meminfo: memFree=1595464/2055920 swapFree=4184672/4192956
[pid=4635] ppid=4633 vsize=1788576 CPUtime=14.71
/proc/4635/stat : 4635 (java) S 4633 4635 4084 0 -1 0 57388 0 1 0 1446 25 0 0 18 0 13 0 118866139 1831501824 50945 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4635/statm: 447144 50945 1328 9 0 444756 0
[pid=4635/tid=4637] ppid=4633 vsize=1788576 CPUtime=11.46
/proc/4635/task/4637/stat : 4637 (java) R 4633 4635 4084 0 -1 64 37772 0 1 0 1131 15 0 0 17 0 13 0 118866141 1831501824 50945 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109835415 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4635/tid=4638] ppid=4633 vsize=1788576 CPUtime=0.47
/proc/4635/task/4638/stat : 4638 (java) S 4633 4635 4084 0 -1 64 6555 0 0 0 44 3 0 0 15 0 13 0 118866142 1831501824 50945 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4639] ppid=4633 vsize=1788576 CPUtime=0.47
/proc/4635/task/4639/stat : 4639 (java) S 4633 4635 4084 0 -1 64 6530 0 0 0 44 3 0 0 16 0 13 0 118866142 1831501824 50945 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4635/tid=4640] ppid=4633 vsize=1788576 CPUtime=0
/proc/4635/task/4640/stat : 4640 (java) S 4633 4635 4084 0 -1 64 24 0 0 0 0 0 0 0 15 0 13 0 118866144 1831501824 50945 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4641] ppid=4633 vsize=1788576 CPUtime=0
/proc/4635/task/4641/stat : 4641 (java) S 4633 4635 4084 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 118866145 1831501824 50945 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4642] ppid=4633 vsize=1788576 CPUtime=0
/proc/4635/task/4642/stat : 4642 (java) S 4633 4635 4084 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 118866145 1831501824 50945 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4643] ppid=4633 vsize=1788576 CPUtime=0
/proc/4635/task/4643/stat : 4643 (java) S 4633 4635 4084 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118866149 1831501824 50945 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4644] ppid=4633 vsize=1788576 CPUtime=1.28
/proc/4635/task/4644/stat : 4644 (java) S 4633 4635 4084 0 -1 64 3601 0 0 0 127 1 0 0 16 0 13 0 118866149 1831501824 50945 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4645] ppid=4633 vsize=1788576 CPUtime=0.97
/proc/4635/task/4645/stat : 4645 (java) S 4633 4635 4084 0 -1 64 2183 0 0 0 97 0 0 0 17 0 13 0 118866149 1831501824 50945 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4635/tid=4646] ppid=4633 vsize=1788576 CPUtime=0
/proc/4635/task/4646/stat : 4646 (java) S 4633 4635 4084 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118866149 1831501824 50945 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4647] ppid=4633 vsize=1788576 CPUtime=0
/proc/4635/task/4647/stat : 4647 (java) R 4633 4635 4084 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 118866149 1831501824 50945 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4650] ppid=4633 vsize=1788576 CPUtime=0
/proc/4635/task/4650/stat : 4650 (java) S 4633 4635 4084 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 118866612 1831501824 50945 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 14.71
Current children cumulated vsize (KiB) 1788576

[startup+25.5021 s]
/proc/loadavg: 0.95 0.98 0.99 2/77 4650
/proc/meminfo: memFree=1665544/2055920 swapFree=4184672/4192956
[pid=4635] ppid=4633 vsize=1789600 CPUtime=27.7
/proc/4635/stat : 4635 (java) S 4633 4635 4084 0 -1 0 58927 0 1 0 2742 28 0 0 18 0 13 0 118866139 1832550400 33212 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4635/statm: 447400 33212 1328 9 0 445012 0
[pid=4635/tid=4637] ppid=4633 vsize=1789600 CPUtime=24.11
/proc/4635/task/4637/stat : 4637 (java) R 4633 4635 4084 0 -1 64 37818 0 1 0 2396 15 0 0 17 0 13 0 118866141 1832550400 33212 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109966307 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4635/tid=4638] ppid=4633 vsize=1789600 CPUtime=0.5
/proc/4635/task/4638/stat : 4638 (java) S 4633 4635 4084 0 -1 64 6888 0 0 0 47 3 0 0 16 0 13 0 118866142 1832550400 33212 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4639] ppid=4633 vsize=1789600 CPUtime=0.51
/proc/4635/task/4639/stat : 4639 (java) S 4633 4635 4084 0 -1 64 6706 0 0 0 47 4 0 0 15 0 13 0 118866142 1832550400 33212 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4640] ppid=4633 vsize=1789600 CPUtime=0.01
/proc/4635/task/4640/stat : 4640 (java) S 4633 4635 4084 0 -1 64 37 0 0 0 0 1 0 0 16 0 13 0 118866144 1832550400 33212 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0

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

[pid=4635/tid=4640] ppid=4633 vsize=1789924 CPUtime=1.17
/proc/4635/task/4640/stat : 4640 (java) S 4633 4635 4084 0 -1 64 293 0 0 0 66 51 0 0 16 0 13 0 118866144 1832882176 88913 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4641] ppid=4633 vsize=1789924 CPUtime=0
/proc/4635/task/4641/stat : 4641 (java) S 4633 4635 4084 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 118866145 1832882176 88913 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4642] ppid=4633 vsize=1789924 CPUtime=0
/proc/4635/task/4642/stat : 4642 (java) S 4633 4635 4084 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 118866145 1832882176 88913 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4643] ppid=4633 vsize=1789924 CPUtime=0
/proc/4635/task/4643/stat : 4643 (java) S 4633 4635 4084 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118866149 1832882176 88913 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4644] ppid=4633 vsize=1789924 CPUtime=1.56
/proc/4635/task/4644/stat : 4644 (java) S 4633 4635 4084 0 -1 64 4734 0 0 0 155 1 0 0 17 0 13 0 118866149 1832882176 88913 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4645] ppid=4633 vsize=1789924 CPUtime=1.28
/proc/4635/task/4645/stat : 4645 (java) S 4633 4635 4084 0 -1 64 2212 0 0 0 128 0 0 0 16 0 13 0 118866149 1832882176 88913 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4635/tid=4646] ppid=4633 vsize=1789924 CPUtime=0
/proc/4635/task/4646/stat : 4646 (java) S 4633 4635 4084 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118866149 1832882176 88913 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4647] ppid=4633 vsize=1789924 CPUtime=0
/proc/4635/task/4647/stat : 4647 (java) S 4633 4635 4084 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 118866149 1832882176 88913 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4635/tid=4918] ppid=4633 vsize=1789924 CPUtime=0
/proc/4635/task/4918/stat : 4918 (java) S 4633 4635 4084 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 119019920 1832882176 88913 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1614.57
Current children cumulated vsize (KiB) 1789924

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 4918
/proc/meminfo: memFree=1442072/2055920 swapFree=4184672/4192956
[pid=4635] ppid=4633 vsize=1789924 CPUtime=1674.99
/proc/4635/stat : 4635 (java) S 4633 4635 4084 0 -1 0 186708 0 1 0 167308 191 0 0 18 0 13 0 118866139 1832882176 88795 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4635/statm: 447481 88795 1328 9 0 445093 0
[pid=4635/tid=4637] ppid=4633 vsize=1789924 CPUtime=1645.7
/proc/4635/task/4637/stat : 4637 (java) R 4633 4635 4084 0 -1 64 113872 0 1 0 164508 62 0 0 25 0 13 0 118866141 1832882176 88795 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109891965 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4638] ppid=4633 vsize=1789924 CPUtime=12.55
/proc/4635/task/4638/stat : 4638 (java) S 4633 4635 4084 0 -1 64 32578 0 0 0 1219 36 0 0 16 0 13 0 118866142 1832882176 88795 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4635/tid=4639] ppid=4633 vsize=1789924 CPUtime=12.61
/proc/4635/task/4639/stat : 4639 (java) S 4633 4635 4084 0 -1 64 32174 0 0 0 1226 35 0 0 15 0 13 0 118866142 1832882176 88795 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4640] ppid=4633 vsize=1789924 CPUtime=1.21
/proc/4635/task/4640/stat : 4640 (java) S 4633 4635 4084 0 -1 64 305 0 0 0 68 53 0 0 16 0 13 0 118866144 1832882176 88795 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4635/tid=4641] ppid=4633 vsize=1789924 CPUtime=0
/proc/4635/task/4641/stat : 4641 (java) S 4633 4635 4084 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 118866145 1832882176 88795 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4642] ppid=4633 vsize=1789924 CPUtime=0
/proc/4635/task/4642/stat : 4642 (java) S 4633 4635 4084 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 118866145 1832882176 88795 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4643] ppid=4633 vsize=1789924 CPUtime=0
/proc/4635/task/4643/stat : 4643 (java) S 4633 4635 4084 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118866149 1832882176 88795 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4644] ppid=4633 vsize=1789924 CPUtime=1.56
/proc/4635/task/4644/stat : 4644 (java) S 4633 4635 4084 0 -1 64 4734 0 0 0 155 1 0 0 17 0 13 0 118866149 1832882176 88795 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4645] ppid=4633 vsize=1789924 CPUtime=1.28
/proc/4635/task/4645/stat : 4645 (java) S 4633 4635 4084 0 -1 64 2212 0 0 0 128 0 0 0 16 0 13 0 118866149 1832882176 88795 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4635/tid=4646] ppid=4633 vsize=1789924 CPUtime=0
/proc/4635/task/4646/stat : 4646 (java) S 4633 4635 4084 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118866149 1832882176 88795 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4647] ppid=4633 vsize=1789924 CPUtime=0
/proc/4635/task/4647/stat : 4647 (java) S 4633 4635 4084 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 118866149 1832882176 88795 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4635/tid=4918] ppid=4633 vsize=1789924 CPUtime=0
/proc/4635/task/4918/stat : 4918 (java) S 4633 4635 4084 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 119019920 1832882176 88795 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1674.99
Current children cumulated vsize (KiB) 1789924

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 4918
/proc/meminfo: memFree=1433880/2055920 swapFree=4184672/4192956
[pid=4635] ppid=4633 vsize=1789924 CPUtime=1735.44
/proc/4635/stat : 4635 (java) S 4633 4635 4084 0 -1 0 189150 0 1 0 173349 195 0 0 18 0 13 0 118866139 1832882176 90834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4635/statm: 447481 90834 1328 9 0 445093 0
[pid=4635/tid=4637] ppid=4633 vsize=1789924 CPUtime=1705.12
/proc/4635/task/4637/stat : 4637 (java) R 4633 4635 4084 0 -1 64 115594 0 1 0 170449 63 0 0 25 0 13 0 118866141 1832882176 90834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109710667 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4635/tid=4638] ppid=4633 vsize=1789924 CPUtime=13.05
/proc/4635/task/4638/stat : 4638 (java) S 4633 4635 4084 0 -1 64 32935 0 0 0 1268 37 0 0 16 0 13 0 118866142 1832882176 90834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4635/tid=4639] ppid=4633 vsize=1789924 CPUtime=13.12
/proc/4635/task/4639/stat : 4639 (java) S 4633 4635 4084 0 -1 64 32537 0 0 0 1276 36 0 0 16 0 13 0 118866142 1832882176 90834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4640] ppid=4633 vsize=1789924 CPUtime=1.24
/proc/4635/task/4640/stat : 4640 (java) S 4633 4635 4084 0 -1 64 305 0 0 0 70 54 0 0 16 0 13 0 118866144 1832882176 90834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4635/tid=4641] ppid=4633 vsize=1789924 CPUtime=0
/proc/4635/task/4641/stat : 4641 (java) S 4633 4635 4084 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 118866145 1832882176 90834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4642] ppid=4633 vsize=1789924 CPUtime=0
/proc/4635/task/4642/stat : 4642 (java) S 4633 4635 4084 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 118866145 1832882176 90834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4643] ppid=4633 vsize=1789924 CPUtime=0
/proc/4635/task/4643/stat : 4643 (java) S 4633 4635 4084 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118866149 1832882176 90834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4644] ppid=4633 vsize=1789924 CPUtime=1.56
/proc/4635/task/4644/stat : 4644 (java) S 4633 4635 4084 0 -1 64 4734 0 0 0 155 1 0 0 17 0 13 0 118866149 1832882176 90834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4645] ppid=4633 vsize=1789924 CPUtime=1.28
/proc/4635/task/4645/stat : 4645 (java) S 4633 4635 4084 0 -1 64 2212 0 0 0 128 0 0 0 16 0 13 0 118866149 1832882176 90834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4635/tid=4646] ppid=4633 vsize=1789924 CPUtime=0
/proc/4635/task/4646/stat : 4646 (java) S 4633 4635 4084 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118866149 1832882176 90834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4647] ppid=4633 vsize=1789924 CPUtime=0
/proc/4635/task/4647/stat : 4647 (java) S 4633 4635 4084 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 118866149 1832882176 90834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4635/tid=4918] ppid=4633 vsize=1789924 CPUtime=0
/proc/4635/task/4918/stat : 4918 (java) S 4633 4635 4084 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 119019920 1832882176 90834 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1735.44
Current children cumulated vsize (KiB) 1789924

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 4919
/proc/meminfo: memFree=1423760/2055920 swapFree=4184672/4192956
[pid=4635] ppid=4633 vsize=1789924 CPUtime=1795.9
/proc/4635/stat : 4635 (java) S 4633 4635 4084 0 -1 0 193173 0 1 0 179391 199 0 0 18 0 13 0 118866139 1832882176 93324 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4635/statm: 447481 93324 1328 9 0 445093 0
[pid=4635/tid=4637] ppid=4633 vsize=1789924 CPUtime=1764.52
/proc/4635/task/4637/stat : 4637 (java) R 4633 4635 4084 0 -1 64 117789 0 1 0 176387 65 0 0 25 0 13 0 118866141 1832882176 93324 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109892098 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4638] ppid=4633 vsize=1789924 CPUtime=13.57
/proc/4635/task/4638/stat : 4638 (java) S 4633 4635 4084 0 -1 64 33831 0 0 0 1319 38 0 0 15 0 13 0 118866142 1832882176 93324 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4639] ppid=4633 vsize=1789924 CPUtime=13.63
/proc/4635/task/4639/stat : 4639 (java) S 4633 4635 4084 0 -1 64 33463 0 0 0 1327 36 0 0 16 0 13 0 118866142 1832882176 93324 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4635/tid=4640] ppid=4633 vsize=1789924 CPUtime=1.26
/proc/4635/task/4640/stat : 4640 (java) S 4633 4635 4084 0 -1 64 309 0 0 0 71 55 0 0 16 0 13 0 118866144 1832882176 93324 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4635/tid=4641] ppid=4633 vsize=1789924 CPUtime=0
/proc/4635/task/4641/stat : 4641 (java) S 4633 4635 4084 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 118866145 1832882176 93324 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4642] ppid=4633 vsize=1789924 CPUtime=0
/proc/4635/task/4642/stat : 4642 (java) S 4633 4635 4084 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 118866145 1832882176 93324 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4643] ppid=4633 vsize=1789924 CPUtime=0
/proc/4635/task/4643/stat : 4643 (java) S 4633 4635 4084 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118866149 1832882176 93324 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4644] ppid=4633 vsize=1789924 CPUtime=1.56
/proc/4635/task/4644/stat : 4644 (java) S 4633 4635 4084 0 -1 64 4734 0 0 0 155 1 0 0 16 0 13 0 118866149 1832882176 93324 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4645] ppid=4633 vsize=1789924 CPUtime=1.28
/proc/4635/task/4645/stat : 4645 (java) S 4633 4635 4084 0 -1 64 2212 0 0 0 128 0 0 0 16 0 13 0 118866149 1832882176 93324 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4635/tid=4646] ppid=4633 vsize=1789924 CPUtime=0
/proc/4635/task/4646/stat : 4646 (java) S 4633 4635 4084 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118866149 1832882176 93324 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4647] ppid=4633 vsize=1789924 CPUtime=0
/proc/4635/task/4647/stat : 4647 (java) S 4633 4635 4084 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 118866149 1832882176 93324 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4635/tid=4919] ppid=4633 vsize=1789924 CPUtime=0
/proc/4635/task/4919/stat : 4919 (java) S 4633 4635 4084 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 119038470 1832882176 93324 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1795.9
Current children cumulated vsize (KiB) 1789924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1786.41 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 4919
/proc/meminfo: memFree=1423952/2055920 swapFree=4184672/4192956
[pid=4635] ppid=4633 vsize=1789924 CPUtime=1800.03
/proc/4635/stat : 4635 (java) S 4633 4635 4084 0 -1 0 193183 0 1 0 179803 200 0 0 18 0 13 0 118866139 1832882176 93292 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4635/statm: 447481 93292 1328 9 0 445093 0
[pid=4635/tid=4637] ppid=4633 vsize=1789924 CPUtime=1768.58
/proc/4635/task/4637/stat : 4637 (java) R 4633 4635 4084 0 -1 64 117799 0 1 0 176793 65 0 0 25 0 13 0 118866141 1832882176 93292 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109542419 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4638] ppid=4633 vsize=1789924 CPUtime=13.6
/proc/4635/task/4638/stat : 4638 (java) S 4633 4635 4084 0 -1 64 33831 0 0 0 1322 38 0 0 15 0 13 0 118866142 1832882176 93292 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4639] ppid=4633 vsize=1789924 CPUtime=13.66
/proc/4635/task/4639/stat : 4639 (java) S 4633 4635 4084 0 -1 64 33463 0 0 0 1330 36 0 0 16 0 13 0 118866142 1832882176 93292 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4635/tid=4640] ppid=4633 vsize=1789924 CPUtime=1.26
/proc/4635/task/4640/stat : 4640 (java) S 4633 4635 4084 0 -1 64 309 0 0 0 71 55 0 0 16 0 13 0 118866144 1832882176 93292 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4635/tid=4641] ppid=4633 vsize=1789924 CPUtime=0
/proc/4635/task/4641/stat : 4641 (java) S 4633 4635 4084 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 118866145 1832882176 93292 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4642] ppid=4633 vsize=1789924 CPUtime=0
/proc/4635/task/4642/stat : 4642 (java) S 4633 4635 4084 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 118866145 1832882176 93292 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4643] ppid=4633 vsize=1789924 CPUtime=0
/proc/4635/task/4643/stat : 4643 (java) S 4633 4635 4084 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118866149 1832882176 93292 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4644] ppid=4633 vsize=1789924 CPUtime=1.56
/proc/4635/task/4644/stat : 4644 (java) S 4633 4635 4084 0 -1 64 4734 0 0 0 155 1 0 0 16 0 13 0 118866149 1832882176 93292 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4645] ppid=4633 vsize=1789924 CPUtime=1.28
/proc/4635/task/4645/stat : 4645 (java) S 4633 4635 4084 0 -1 64 2212 0 0 0 128 0 0 0 16 0 13 0 118866149 1832882176 93292 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4635/tid=4646] ppid=4633 vsize=1789924 CPUtime=0
/proc/4635/task/4646/stat : 4646 (java) S 4633 4635 4084 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118866149 1832882176 93292 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4647] ppid=4633 vsize=1789924 CPUtime=0
/proc/4635/task/4647/stat : 4647 (java) S 4633 4635 4084 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 118866149 1832882176 93292 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4635/tid=4919] ppid=4633 vsize=1789924 CPUtime=0
/proc/4635/task/4919/stat : 4919 (java) S 4633 4635 4084 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 119038470 1832882176 93292 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1789924

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

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

[startup+1786.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 4919
/proc/meminfo: memFree=1423952/2055920 swapFree=4184672/4192956
[pid=4635] ppid=4633 vsize=0 CPUtime=1800.21
/proc/4635/stat : 4635 (java) Z 4633 4635 4084 0 -1 1036 193196 0 1 0 179821 200 0 0 15 0 2 0 118866139 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4635/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1786.57
CPU time (s): 1800.28
CPU user time (s): 1798.22
CPU system time (s): 2.06369
CPU usage (%): 100.767
Max. virtual memory (cumulated for all children) (KiB): 1790244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.22
system time used= 2.06369
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193196
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103411
involuntary context switches= 55819

runsolver used 2.10068 second user time and 5.31419 second system time

The end

Launcher Data (download as text)

Begin job on node25 on Mon Apr 16 07:44:51 UTC 2007

IDJOB= 354439
IDBENCH= 2527
IDSOLVER= 160
FILE ID= node25/354439-1176709491

PBS_JOBID= 4560072

Free space on /tmp= 66537 MiB

SOLVER NAME= sat4jPseudoCP 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354439-1176709491/sat4jPseudoCP.jar /tmp/evaluation/354439-1176709491/instance-354439-1176709491.opb       
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node25/watcher-354439-1176709491 -o ROOT/results/node25/solver-354439-1176709491 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354439-1176709491/sat4jPseudoCP.jar /tmp/evaluation/354439-1176709491/instance-354439-1176709491.opb       

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  6eba7367ef128fb0872fe815e4ef2398

RANDOM SEED= 302090017

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node25.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.261
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.261
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:       1795472 kB
Buffers:         38216 kB
Cached:         151072 kB
SwapCached:       2472 kB
Active:         115948 kB
Inactive:        84140 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1795472 kB
SwapTotal:     4192956 kB
SwapFree:      4184672 kB
Dirty:            5604 kB
Writeback:           0 kB
Mapped:          16868 kB
Slab:            46452 kB
Committed_AS:  2088096 kB
PageTables:       1476 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= 66537 MiB

End job on node25 on Mon Apr 16 08:14:39 UTC 2007