Trace number 351508

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
SAT4JPseudoResolution 2007-03-23SAT (TO)5110 1800.37 1783.55

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-aflow30a.opb
MD5SUMfd717ffc3177aa889b23f16defdc157a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3248
Best CPU time to get the best result obtained on this benchmark1782.76
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3248
Optimality of the best value was proved NO
Number of variables7195
Total number of constraints900
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)29
Number of constraints which are nor clauses,nor cardinality constraints871
Minimum length of a constraint10
Maximum length of a constraint555
Number of terms in the objective function 421
Biggest coefficient in the objective function 500
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 72290
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 102400
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 524691
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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

Verifier Data (download as text)

OK	5110

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 1.28 1.07 1.02 2/64 13373
/proc/meminfo: memFree=1833820/2055920 swapFree=4192812/4192956
[pid=13373] ppid=13371 vsize=152 CPUtime=0
/proc/13373/stat : 13373 (java) R 13371 13373 11772 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 15201756 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 4309291 0 0 4096 0 0 0 0 17 1 0 0
/proc/13373/statm: 38 26 19 9 0 4 0

[startup+0.0630841 s]
/proc/loadavg: 1.28 1.07 1.02 2/64 13373
/proc/meminfo: memFree=1833820/2055920 swapFree=4192812/4192956
[pid=13373] ppid=13371 vsize=1777708 CPUtime=0.05
/proc/13373/stat : 13373 (java) S 13371 13373 11772 0 -1 0 3625 0 1 0 3 2 0 0 18 0 7 0 15201756 1820372992 3367 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/13373/statm: 444427 3367 1070 9 0 442063 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 1777708

[startup+0.101086 s]
/proc/loadavg: 1.28 1.07 1.02 2/64 13373
/proc/meminfo: memFree=1833820/2055920 swapFree=4192812/4192956
[pid=13373] ppid=13371 vsize=1780108 CPUtime=0.08
/proc/13373/stat : 13373 (java) S 13371 13373 11772 0 -1 0 3966 0 1 0 5 3 0 0 18 0 12 0 15201756 1822830592 3707 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13373/statm: 445027 3707 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.301099 s]
/proc/loadavg: 1.28 1.07 1.02 2/64 13373
/proc/meminfo: memFree=1833820/2055920 swapFree=4192812/4192956
[pid=13373] ppid=13371 vsize=1781392 CPUtime=0.32
/proc/13373/stat : 13373 (java) S 13371 13373 11772 0 -1 0 5181 0 1 0 28 4 0 0 18 0 12 0 15201756 1824145408 4919 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13373/statm: 445348 4919 1264 9 0 442960 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 1781392

[startup+0.701125 s]
/proc/loadavg: 1.28 1.07 1.02 2/64 13373
/proc/meminfo: memFree=1833820/2055920 swapFree=4192812/4192956
[pid=13373] ppid=13371 vsize=1782720 CPUtime=0.92
/proc/13373/stat : 13373 (java) S 13371 13373 11772 0 -1 0 7495 0 1 0 86 6 0 0 18 0 12 0 15201756 1825505280 6967 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13373/statm: 445680 6967 1306 9 0 443292 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 1782720

[startup+1.50219 s]
/proc/loadavg: 1.28 1.07 1.02 4/76 13385
/proc/meminfo: memFree=1804476/2055920 swapFree=4192812/4192956
[pid=13373] ppid=13371 vsize=1795016 CPUtime=2.48
/proc/13373/stat : 13373 (java) S 13371 13373 11772 0 -1 0 19078 0 1 0 231 17 0 0 18 0 13 0 15201756 1838096384 14330 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13373/statm: 448754 14330 1318 9 0 446366 0
[pid=13373/tid=13375] ppid=13371 vsize=1795016 CPUtime=0.79
/proc/13373/task/13375/stat : 13375 (java) R 13371 13373 11772 0 -1 64 10475 0 1 0 73 6 0 0 18 0 13 0 15201757 1838096384 14330 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13373/tid=13376] ppid=13371 vsize=1795016 CPUtime=0
/proc/13373/task/13376/stat : 13376 (java) S 13371 13373 11772 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 15201759 1838096384 14330 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13377] ppid=13371 vsize=1795016 CPUtime=0
/proc/13373/task/13377/stat : 13377 (java) S 13371 13373 11772 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 15201759 1838096384 14330 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13373/tid=13378] ppid=13371 vsize=1795016 CPUtime=0.11
/proc/13373/task/13378/stat : 13378 (java) S 13371 13373 11772 0 -1 64 2 0 0 0 5 6 0 0 16 0 13 0 15201761 1838096384 14330 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13373/tid=13379] ppid=13371 vsize=1795016 CPUtime=0
/proc/13373/task/13379/stat : 13379 (java) S 13371 13373 11772 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 15201761 1838096384 14330 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13380] ppid=13371 vsize=1795016 CPUtime=0
/proc/13373/task/13380/stat : 13380 (java) S 13371 13373 11772 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 15201761 1838096384 14330 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13381] ppid=13371 vsize=1795016 CPUtime=0
/proc/13373/task/13381/stat : 13381 (java) S 13371 13373 11772 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 15201765 1838096384 14330 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13382] ppid=13371 vsize=1795016 CPUtime=0.66
/proc/13373/task/13382/stat : 13382 (java) R 13371 13373 11772 0 -1 64 3145 0 0 0 66 0 0 0 17 0 13 0 15201765 1838096384 14330 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105176137 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13373/tid=13383] ppid=13371 vsize=1795016 CPUtime=0.87
/proc/13373/task/13383/stat : 13383 (java) R 13371 13373 11772 0 -1 64 4731 0 0 0 85 2 0 0 21 0 13 0 15201765 1838096384 14330 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103336776 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13384] ppid=13371 vsize=1795016 CPUtime=0
/proc/13373/task/13384/stat : 13384 (java) S 13371 13373 11772 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 15201765 1838096384 14330 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13385] ppid=13371 vsize=1795016 CPUtime=0
/proc/13373/task/13385/stat : 13385 (java) S 13371 13373 11772 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 15201765 1838096384 14330 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 1795016

[startup+3.10229 s]
/proc/loadavg: 1.28 1.07 1.02 2/77 13386
/proc/meminfo: memFree=1760820/2055920 swapFree=4192812/4192956
[pid=13373] ppid=13371 vsize=1792848 CPUtime=4.48
/proc/13373/stat : 13373 (java) S 13371 13373 11772 0 -1 0 37515 0 1 0 424 24 0 0 18 0 13 0 15201756 1835876352 32308 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13373/statm: 448212 32308 1323 9 0 445824 0
[pid=13373/tid=13375] ppid=13371 vsize=1792848 CPUtime=2.29
/proc/13373/task/13375/stat : 13375 (java) R 13371 13373 11772 0 -1 64 28705 0 1 0 216 13 0 0 25 0 13 0 15201757 1835876352 32308 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109874019 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13376] ppid=13371 vsize=1792848 CPUtime=0
/proc/13373/task/13376/stat : 13376 (java) S 13371 13373 11772 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 15201759 1835876352 32308 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13377] ppid=13371 vsize=1792848 CPUtime=0
/proc/13373/task/13377/stat : 13377 (java) S 13371 13373 11772 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 15201759 1835876352 32308 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13373/tid=13378] ppid=13371 vsize=1792848 CPUtime=0.11
/proc/13373/task/13378/stat : 13378 (java) S 13371 13373 11772 0 -1 64 2 0 0 0 5 6 0 0 17 0 13 0 15201761 1835876352 32308 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13373/tid=13379] ppid=13371 vsize=1792848 CPUtime=0
/proc/13373/task/13379/stat : 13379 (java) S 13371 13373 11772 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 15201761 1835876352 32308 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13380] ppid=13371 vsize=1792848 CPUtime=0
/proc/13373/task/13380/stat : 13380 (java) S 13371 13373 11772 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 15201761 1835876352 32308 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13381] ppid=13371 vsize=1792848 CPUtime=0
/proc/13373/task/13381/stat : 13381 (java) S 13371 13373 11772 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 15201765 1835876352 32308 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13382] ppid=13371 vsize=1792848 CPUtime=1.01
/proc/13373/task/13382/stat : 13382 (java) S 13371 13373 11772 0 -1 64 3287 0 0 0 101 0 0 0 17 0 13 0 15201765 1835876352 32308 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13383] ppid=13371 vsize=1792848 CPUtime=1.03
/proc/13373/task/13383/stat : 13383 (java) S 13371 13373 11772 0 -1 64 4796 0 0 0 101 2 0 0 16 0 13 0 15201765 1835876352 32308 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13373/tid=13384] ppid=13371 vsize=1792848 CPUtime=0
/proc/13373/task/13384/stat : 13384 (java) S 13371 13373 11772 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 15201765 1835876352 32308 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13385] ppid=13371 vsize=1792848 CPUtime=0
/proc/13373/task/13385/stat : 13385 (java) S 13371 13373 11772 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 15201765 1835876352 32308 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13373/tid=13386] ppid=13371 vsize=1792848 CPUtime=0
/proc/13373/task/13386/stat : 13386 (java) S 13371 13373 11772 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 15201898 1835876352 32308 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.48
Current children cumulated vsize (KiB) 1792848

[startup+6.3015 s]
/proc/loadavg: 1.26 1.07 1.02 2/77 13386
/proc/meminfo: memFree=1665916/2055920 swapFree=4192812/4192956
[pid=13373] ppid=13371 vsize=1792752 CPUtime=7.75
/proc/13373/stat : 13373 (java) S 13371 13373 11772 0 -1 0 50986 0 1 0 746 29 0 0 18 0 13 0 15201756 1835778048 45665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13373/statm: 448188 45665 1332 9 0 445800 0
[pid=13373/tid=13375] ppid=13371 vsize=1792752 CPUtime=5.42
/proc/13373/task/13375/stat : 13375 (java) R 13371 13373 11772 0 -1 64 37712 0 1 0 526 16 0 0 25 0 13 0 15201757 1835778048 45665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109684952 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13373/tid=13376] ppid=13371 vsize=1792752 CPUtime=0.04
/proc/13373/task/13376/stat : 13376 (java) S 13371 13373 11772 0 -1 64 2064 0 0 0 4 0 0 0 16 0 13 0 15201759 1835778048 45665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13377] ppid=13371 vsize=1792752 CPUtime=0.04
/proc/13373/task/13377/stat : 13377 (java) S 13371 13373 11772 0 -1 64 2393 0 0 0 4 0 0 0 16 0 13 0 15201759 1835778048 45665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13373/tid=13378] ppid=13371 vsize=1792752 CPUtime=0.11
/proc/13373/task/13378/stat : 13378 (java) S 13371 13373 11772 0 -1 64 10 0 0 0 5 6 0 0 15 0 13 0 15201761 1835778048 45665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13379] ppid=13371 vsize=1792752 CPUtime=0
/proc/13373/task/13379/stat : 13379 (java) S 13371 13373 11772 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 15201761 1835778048 45665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13380] ppid=13371 vsize=1792752 CPUtime=0
/proc/13373/task/13380/stat : 13380 (java) S 13371 13373 11772 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 15201761 1835778048 45665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13381] ppid=13371 vsize=1792752 CPUtime=0
/proc/13373/task/13381/stat : 13381 (java) S 13371 13373 11772 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 15201765 1835778048 45665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13382] ppid=13371 vsize=1792752 CPUtime=1.02
/proc/13373/task/13382/stat : 13382 (java) S 13371 13373 11772 0 -1 64 3287 0 0 0 102 0 0 0 15 0 13 0 15201765 1835778048 45665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13383] ppid=13371 vsize=1792752 CPUtime=1.04
/proc/13373/task/13383/stat : 13383 (java) S 13371 13373 11772 0 -1 64 4796 0 0 0 102 2 0 0 16 0 13 0 15201765 1835778048 45665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13373/tid=13384] ppid=13371 vsize=1792752 CPUtime=0
/proc/13373/task/13384/stat : 13384 (java) S 13371 13373 11772 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 15201765 1835778048 45665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13385] ppid=13371 vsize=1792752 CPUtime=0
/proc/13373/task/13385/stat : 13385 (java) S 13371 13373 11772 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 15201765 1835778048 45665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13373/tid=13386] ppid=13371 vsize=1792752 CPUtime=0
/proc/13373/task/13386/stat : 13386 (java) S 13371 13373 11772 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 15201898 1835778048 45665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.75
Current children cumulated vsize (KiB) 1792752

[startup+12.7019 s]
/proc/loadavg: 1.24 1.07 1.02 2/77 13386
/proc/meminfo: memFree=1637564/2055920 swapFree=4192812/4192956
[pid=13373] ppid=13371 vsize=1791536 CPUtime=14.28
/proc/13373/stat : 13373 (java) S 13371 13373 11772 0 -1 0 58669 0 1 0 1395 33 0 0 18 0 13 0 15201756 1834532864 52808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13373/statm: 447884 52808 1332 9 0 445496 0
[pid=13373/tid=13375] ppid=13371 vsize=1791536 CPUtime=11.68
/proc/13373/task/13375/stat : 13375 (java) R 13371 13373 11772 0 -1 64 37718 0 1 0 1152 16 0 0 18 0 13 0 15201757 1834532864 52808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109873525 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13373/tid=13376] ppid=13371 vsize=1791536 CPUtime=0.16
/proc/13373/task/13376/stat : 13376 (java) S 13371 13373 11772 0 -1 64 6205 0 0 0 14 2 0 0 17 0 13 0 15201759 1834532864 52808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13377] ppid=13371 vsize=1791536 CPUtime=0.15
/proc/13373/task/13377/stat : 13377 (java) S 13371 13373 11772 0 -1 64 5919 0 0 0 13 2 0 0 17 0 13 0 15201759 1834532864 52808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13378] ppid=13371 vsize=1791536 CPUtime=0.11
/proc/13373/task/13378/stat : 13378 (java) S 13371 13373 11772 0 -1 64 17 0 0 0 5 6 0 0 16 0 13 0 15201761 1834532864 52808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13379] ppid=13371 vsize=1791536 CPUtime=0
/proc/13373/task/13379/stat : 13379 (java) S 13371 13373 11772 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 15201761 1834532864 52808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13380] ppid=13371 vsize=1791536 CPUtime=0
/proc/13373/task/13380/stat : 13380 (java) S 13371 13373 11772 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 15201761 1834532864 52808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13381] ppid=13371 vsize=1791536 CPUtime=0
/proc/13373/task/13381/stat : 13381 (java) S 13371 13373 11772 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 15201765 1834532864 52808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13382] ppid=13371 vsize=1791536 CPUtime=1.05
/proc/13373/task/13382/stat : 13382 (java) S 13371 13373 11772 0 -1 64 3288 0 0 0 105 0 0 0 16 0 13 0 15201765 1834532864 52808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13383] ppid=13371 vsize=1791536 CPUtime=1.06
/proc/13373/task/13383/stat : 13383 (java) S 13371 13373 11772 0 -1 64 4798 0 0 0 104 2 0 0 16 0 13 0 15201765 1834532864 52808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13373/tid=13384] ppid=13371 vsize=1791536 CPUtime=0
/proc/13373/task/13384/stat : 13384 (java) S 13371 13373 11772 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 15201765 1834532864 52808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13385] ppid=13371 vsize=1791536 CPUtime=0
/proc/13373/task/13385/stat : 13385 (java) S 13371 13373 11772 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 15201765 1834532864 52808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13373/tid=13386] ppid=13371 vsize=1791536 CPUtime=0
/proc/13373/task/13386/stat : 13386 (java) S 13371 13373 11772 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 15201898 1834532864 52808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 14.28
Current children cumulated vsize (KiB) 1791536

[startup+25.5028 s]
/proc/loadavg: 1.18 1.07 1.02 2/77 13386
/proc/meminfo: memFree=1583612/2055920 swapFree=4192812/4192956
[pid=13373] ppid=13371 vsize=1791536 CPUtime=27.31
/proc/13373/stat : 13373 (java) S 13371 13373 11772 0 -1 0 73896 0 1 0 2689 42 0 0 18 0 13 0 15201756 1834532864 63616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13373/statm: 447884 63616 1332 9 0 445496 0
[pid=13373/tid=13375] ppid=13371 vsize=1791536 CPUtime=24.25
/proc/13373/task/13375/stat : 13375 (java) R 13371 13373 11772 0 -1 64 37724 0 1 0 2409 16 0 0 25 0 13 0 15201757 1834532864 63616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109656180 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13373/tid=13376] ppid=13371 vsize=1791536 CPUtime=0.38
/proc/13373/task/13376/stat : 13376 (java) S 13371 13373 11772 0 -1 64 13501 0 0 0 32 6 0 0 17 0 13 0 15201759 1834532864 63616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13373/tid=13377] ppid=13371 vsize=1791536 CPUtime=0.38
/proc/13373/task/13377/stat : 13377 (java) S 13371 13373 11772 0 -1 64 13842 0 0 0 31 7 0 0 16 0 13 0 15201759 1834532864 63616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13378] ppid=13371 vsize=1791536 CPUtime=0.11
/proc/13373/task/13378/stat : 13378 (java) S 13371 13373 11772 0 -1 64 19 0 0 0 5 6 0 0 16 0 13 0 15201761 1834532864 63616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0

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

[pid=13373/tid=13378] ppid=13371 vsize=1791536 CPUtime=2.36
/proc/13373/task/13378/stat : 13378 (java) S 13371 13373 11772 0 -1 64 3343 0 2 0 191 45 0 0 16 0 13 0 15201761 1834532864 140986 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13379] ppid=13371 vsize=1791536 CPUtime=0
/proc/13373/task/13379/stat : 13379 (java) S 13371 13373 11772 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 15201761 1834532864 140986 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13380] ppid=13371 vsize=1791536 CPUtime=0
/proc/13373/task/13380/stat : 13380 (java) S 13371 13373 11772 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 15201761 1834532864 140986 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13381] ppid=13371 vsize=1791536 CPUtime=0
/proc/13373/task/13381/stat : 13381 (java) S 13371 13373 11772 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 15201765 1834532864 140986 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13382] ppid=13371 vsize=1791536 CPUtime=1.14
/proc/13373/task/13382/stat : 13382 (java) S 13371 13373 11772 0 -1 64 3296 0 0 0 114 0 0 0 16 0 13 0 15201765 1834532864 140986 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13383] ppid=13371 vsize=1791536 CPUtime=1.17
/proc/13373/task/13383/stat : 13383 (java) S 13371 13373 11772 0 -1 64 4805 0 0 0 115 2 0 0 17 0 13 0 15201765 1834532864 140986 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13373/tid=13384] ppid=13371 vsize=1791536 CPUtime=0
/proc/13373/task/13384/stat : 13384 (java) S 13371 13373 11772 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 15201765 1834532864 140986 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13385] ppid=13371 vsize=1791536 CPUtime=0
/proc/13373/task/13385/stat : 13385 (java) S 13371 13373 11772 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 15201765 1834532864 140986 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=15659] ppid=13371 vsize=1791536 CPUtime=0
/proc/13373/task/15659/stat : 15659 (java) S 13371 13373 11772 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 15240826 1834532864 140986 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1678.07
Current children cumulated vsize (KiB) 1791536

[startup+1722.3 s]
/proc/loadavg: 1.02 1.03 1.02 2/77 15659
/proc/meminfo: memFree=1238068/2055920 swapFree=4192812/4192956
[pid=13373] ppid=13371 vsize=1791536 CPUtime=1738.54
/proc/13373/stat : 13373 (java) S 13371 13373 11772 0 -1 0 752464 0 3 0 173404 450 0 0 18 0 13 0 15201756 1834532864 139024 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13373/statm: 447884 139024 1337 9 0 445496 0
[pid=13373/tid=13375] ppid=13371 vsize=1791536 CPUtime=1701.45
/proc/13373/task/13375/stat : 13375 (java) R 13371 13373 11772 0 -1 64 52987 0 1 0 170103 42 0 0 25 0 13 0 15201757 1834532864 139024 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109569143 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13373/tid=13376] ppid=13371 vsize=1791536 CPUtime=16.09
/proc/13373/task/13376/stat : 13376 (java) S 13371 13373 11772 0 -1 64 340624 0 0 0 1430 179 0 0 17 0 13 0 15201759 1834532864 139024 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13377] ppid=13371 vsize=1791536 CPUtime=16.08
/proc/13373/task/13377/stat : 13377 (java) S 13371 13373 11772 0 -1 64 346622 0 0 0 1430 178 0 0 16 0 13 0 15201759 1834532864 139024 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13373/tid=13378] ppid=13371 vsize=1791536 CPUtime=2.55
/proc/13373/task/13378/stat : 13378 (java) S 13371 13373 11772 0 -1 64 3404 0 2 0 209 46 0 0 16 0 13 0 15201761 1834532864 139024 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13373/tid=13379] ppid=13371 vsize=1791536 CPUtime=0
/proc/13373/task/13379/stat : 13379 (java) S 13371 13373 11772 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 15201761 1834532864 139024 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13380] ppid=13371 vsize=1791536 CPUtime=0
/proc/13373/task/13380/stat : 13380 (java) S 13371 13373 11772 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 15201761 1834532864 139024 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13381] ppid=13371 vsize=1791536 CPUtime=0
/proc/13373/task/13381/stat : 13381 (java) S 13371 13373 11772 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 15201765 1834532864 139024 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13382] ppid=13371 vsize=1791536 CPUtime=1.14
/proc/13373/task/13382/stat : 13382 (java) S 13371 13373 11772 0 -1 64 3296 0 0 0 114 0 0 0 16 0 13 0 15201765 1834532864 139024 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13383] ppid=13371 vsize=1791536 CPUtime=1.17
/proc/13373/task/13383/stat : 13383 (java) S 13371 13373 11772 0 -1 64 4805 0 0 0 115 2 0 0 17 0 13 0 15201765 1834532864 139024 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13373/tid=13384] ppid=13371 vsize=1791536 CPUtime=0
/proc/13373/task/13384/stat : 13384 (java) S 13371 13373 11772 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 15201765 1834532864 139024 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13385] ppid=13371 vsize=1791536 CPUtime=0
/proc/13373/task/13385/stat : 13385 (java) S 13371 13373 11772 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 15201765 1834532864 139024 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13373/tid=15659] ppid=13371 vsize=1791536 CPUtime=0
/proc/13373/task/15659/stat : 15659 (java) S 13371 13373 11772 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 15240826 1834532864 139024 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1738.54
Current children cumulated vsize (KiB) 1791536

[startup+1782.3 s]
/proc/loadavg: 1.09 1.05 1.02 2/77 15659
/proc/meminfo: memFree=1269044/2055920 swapFree=4192812/4192956
[pid=13373] ppid=13371 vsize=1791536 CPUtime=1799.02
/proc/13373/stat : 13373 (java) S 13371 13373 11772 0 -1 0 763832 0 3 0 179444 458 0 0 18 0 13 0 15201756 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13373/statm: 447884 131225 1337 9 0 445496 0
[pid=13373/tid=13375] ppid=13371 vsize=1791536 CPUtime=1760.78
/proc/13373/task/13375/stat : 13375 (java) R 13371 13373 11772 0 -1 64 53970 0 1 0 176036 42 0 0 25 0 13 0 15201757 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109873281 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13373/tid=13376] ppid=13371 vsize=1791536 CPUtime=16.58
/proc/13373/task/13376/stat : 13376 (java) S 13371 13373 11772 0 -1 64 345241 0 0 0 1477 181 0 0 16 0 13 0 15201759 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13373/tid=13377] ppid=13371 vsize=1791536 CPUtime=16.59
/proc/13373/task/13377/stat : 13377 (java) S 13371 13373 11772 0 -1 64 352383 0 0 0 1478 181 0 0 16 0 13 0 15201759 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13378] ppid=13371 vsize=1791536 CPUtime=2.69
/proc/13373/task/13378/stat : 13378 (java) S 13371 13373 11772 0 -1 64 3411 0 2 0 222 47 0 0 16 0 13 0 15201761 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13373/tid=13379] ppid=13371 vsize=1791536 CPUtime=0
/proc/13373/task/13379/stat : 13379 (java) S 13371 13373 11772 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 15201761 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13380] ppid=13371 vsize=1791536 CPUtime=0
/proc/13373/task/13380/stat : 13380 (java) S 13371 13373 11772 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 15201761 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13381] ppid=13371 vsize=1791536 CPUtime=0
/proc/13373/task/13381/stat : 13381 (java) S 13371 13373 11772 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 15201765 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13382] ppid=13371 vsize=1791536 CPUtime=1.14
/proc/13373/task/13382/stat : 13382 (java) S 13371 13373 11772 0 -1 64 3296 0 0 0 114 0 0 0 16 0 13 0 15201765 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13383] ppid=13371 vsize=1791536 CPUtime=1.17
/proc/13373/task/13383/stat : 13383 (java) S 13371 13373 11772 0 -1 64 4805 0 0 0 115 2 0 0 17 0 13 0 15201765 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13373/tid=13384] ppid=13371 vsize=1791536 CPUtime=0
/proc/13373/task/13384/stat : 13384 (java) S 13371 13373 11772 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 15201765 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13385] ppid=13371 vsize=1791536 CPUtime=0
/proc/13373/task/13385/stat : 13385 (java) S 13371 13373 11772 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 15201765 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13373/tid=15659] ppid=13371 vsize=1791536 CPUtime=0
/proc/13373/task/15659/stat : 15659 (java) S 13371 13373 11772 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 15240826 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1799.02
Current children cumulated vsize (KiB) 1791536



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1783.3 s]
/proc/loadavg: 1.09 1.05 1.02 2/77 15659
/proc/meminfo: memFree=1269044/2055920 swapFree=4192812/4192956
[pid=13373] ppid=13371 vsize=1791536 CPUtime=1800.03
/proc/13373/stat : 13373 (java) S 13371 13373 11772 0 -1 0 763832 0 3 0 179545 458 0 0 18 0 13 0 15201756 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13373/statm: 447884 131225 1337 9 0 445496 0
[pid=13373/tid=13375] ppid=13371 vsize=1791536 CPUtime=1761.78
/proc/13373/task/13375/stat : 13375 (java) R 13371 13373 11772 0 -1 64 53970 0 1 0 176136 42 0 0 25 0 13 0 15201757 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109684165 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13373/tid=13376] ppid=13371 vsize=1791536 CPUtime=16.58
/proc/13373/task/13376/stat : 13376 (java) S 13371 13373 11772 0 -1 64 345241 0 0 0 1477 181 0 0 16 0 13 0 15201759 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13373/tid=13377] ppid=13371 vsize=1791536 CPUtime=16.59
/proc/13373/task/13377/stat : 13377 (java) S 13371 13373 11772 0 -1 64 352383 0 0 0 1478 181 0 0 16 0 13 0 15201759 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13378] ppid=13371 vsize=1791536 CPUtime=2.69
/proc/13373/task/13378/stat : 13378 (java) S 13371 13373 11772 0 -1 64 3411 0 2 0 222 47 0 0 16 0 13 0 15201761 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13373/tid=13379] ppid=13371 vsize=1791536 CPUtime=0
/proc/13373/task/13379/stat : 13379 (java) S 13371 13373 11772 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 15201761 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13380] ppid=13371 vsize=1791536 CPUtime=0
/proc/13373/task/13380/stat : 13380 (java) S 13371 13373 11772 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 15201761 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13381] ppid=13371 vsize=1791536 CPUtime=0
/proc/13373/task/13381/stat : 13381 (java) S 13371 13373 11772 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 15201765 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13382] ppid=13371 vsize=1791536 CPUtime=1.14
/proc/13373/task/13382/stat : 13382 (java) S 13371 13373 11772 0 -1 64 3296 0 0 0 114 0 0 0 16 0 13 0 15201765 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13383] ppid=13371 vsize=1791536 CPUtime=1.17
/proc/13373/task/13383/stat : 13383 (java) S 13371 13373 11772 0 -1 64 4805 0 0 0 115 2 0 0 17 0 13 0 15201765 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13373/tid=13384] ppid=13371 vsize=1791536 CPUtime=0
/proc/13373/task/13384/stat : 13384 (java) S 13371 13373 11772 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 15201765 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13385] ppid=13371 vsize=1791536 CPUtime=0
/proc/13373/task/13385/stat : 13385 (java) S 13371 13373 11772 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 15201765 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13373/tid=15659] ppid=13371 vsize=1791536 CPUtime=0
/proc/13373/task/15659/stat : 15659 (java) S 13371 13373 11772 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 15240826 1834532864 131225 18446744073709551615 134512640 134550740 4294956448 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) 1791536

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

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

[startup+1783.41 s]
/proc/loadavg: 1.09 1.05 1.02 2/77 15659
/proc/meminfo: memFree=1269044/2055920 swapFree=4192812/4192956
[pid=13373] ppid=13371 vsize=1792184 CPUtime=1800.23
/proc/13373/stat : 13373 (java) S 13371 13373 11772 0 -1 0 763853 0 3 0 179565 458 0 0 16 0 15 0 15201756 1835196416 131245 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13373/statm: 448046 131245 1337 9 0 445658 0
[pid=13373/tid=13375] ppid=13371 vsize=1792184 CPUtime=1761.87
/proc/13373/task/13375/stat : 13375 (java) R 13371 13373 11772 0 -1 64 53971 0 1 0 176145 42 0 0 16 0 15 0 15201757 1835196416 131245 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109836772 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13373/tid=13376] ppid=13371 vsize=1792184 CPUtime=16.6
/proc/13373/task/13376/stat : 13376 (java) S 13371 13373 11772 0 -1 64 345241 0 0 0 1479 181 0 0 16 0 15 0 15201759 1835196416 131245 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13373/tid=13377] ppid=13371 vsize=1792184 CPUtime=16.61
/proc/13373/task/13377/stat : 13377 (java) S 13371 13373 11772 0 -1 64 352383 0 0 0 1480 181 0 0 16 0 15 0 15201759 1835196416 131245 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13378] ppid=13371 vsize=1792184 CPUtime=2.69
/proc/13373/task/13378/stat : 13378 (java) S 13371 13373 11772 0 -1 64 3413 0 2 0 222 47 0 0 15 0 15 0 15201761 1835196416 131245 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13373/tid=13379] ppid=13371 vsize=1792184 CPUtime=0
/proc/13373/task/13379/stat : 13379 (java) S 13371 13373 11772 0 -1 64 11 0 0 0 0 0 0 0 16 0 15 0 15201761 1835196416 131245 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13380] ppid=13371 vsize=1792184 CPUtime=0
/proc/13373/task/13380/stat : 13380 (java) S 13371 13373 11772 0 -1 64 6 0 0 0 0 0 0 0 16 0 15 0 15201761 1835196416 131245 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13381] ppid=13371 vsize=1792184 CPUtime=0
/proc/13373/task/13381/stat : 13381 (java) S 13371 13373 11772 0 -1 64 5 0 0 0 0 0 0 0 18 0 15 0 15201765 1835196416 131245 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13382] ppid=13371 vsize=1792184 CPUtime=1.15
/proc/13373/task/13382/stat : 13382 (java) S 13371 13373 11772 0 -1 64 3296 0 0 0 115 0 0 0 16 0 15 0 15201765 1835196416 131245 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13383] ppid=13371 vsize=1792184 CPUtime=1.2
/proc/13373/task/13383/stat : 13383 (java) S 13371 13373 11772 0 -1 64 4807 0 0 0 118 2 0 0 16 0 15 0 15201765 1835196416 131245 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13384] ppid=13371 vsize=1792184 CPUtime=0
/proc/13373/task/13384/stat : 13384 (java) S 13371 13373 11772 0 -1 64 2 0 0 0 0 0 0 0 25 0 15 0 15201765 1835196416 131245 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13373/tid=13385] ppid=13371 vsize=1792184 CPUtime=0
/proc/13373/task/13385/stat : 13385 (java) S 13371 13373 11772 0 -1 64 1 0 0 0 0 0 0 0 15 0 15 0 15201765 1835196416 131245 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13373/tid=15659] ppid=13371 vsize=1792184 CPUtime=0
/proc/13373/task/15659/stat : 15659 (java) S 13371 13373 11772 0 -1 64 1 0 0 0 0 0 0 0 25 0 15 0 15240826 1835196416 131245 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 1792184

[startup+1783.5 s]
/proc/loadavg: 1.09 1.05 1.02 2/77 15659
/proc/meminfo: memFree=1269044/2055920 swapFree=4192812/4192956
[pid=13373] ppid=13371 vsize=0 CPUtime=1800.32
/proc/13373/stat : 13373 (java) Z 13371 13373 11772 0 -1 1036 763855 0 3 0 179570 462 0 0 15 0 2 0 15201756 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13373/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1783.55
CPU time (s): 1800.37
CPU user time (s): 1795.71
CPU system time (s): 4.66429
CPU usage (%): 100.943
Max. virtual memory (cumulated for all children) (KiB): 1795016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.71
system time used= 4.66429
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 763855
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41966
involuntary context switches= 34945

runsolver used 1.72174 second user time and 4.90025 second system time

The end

Launcher Data (download as text)

Begin job on node52 on Sun Apr 15 02:19:27 UTC 2007

IDJOB= 351508
IDBENCH= 1771
IDSOLVER= 159
FILE ID= node52/351508-1176603567

PBS_JOBID= 4557000

Free space on /tmp= 66561 MiB

SOLVER NAME= SAT4JPseudoResolution 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-aflow30a.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351508-1176603567/sat4jPseudoResolution.jar /tmp/evaluation/351508-1176603567/instance-351508-1176603567.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node52/watcher-351508-1176603567 -o ROOT/results/node52/solver-351508-1176603567 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351508-1176603567/sat4jPseudoResolution.jar /tmp/evaluation/351508-1176603567/instance-351508-1176603567.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  fd717ffc3177aa889b23f16defdc157a

RANDOM SEED= 82388053

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node52.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.236
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.236
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:       1834292 kB
Buffers:         18952 kB
Cached:         109560 kB
SwapCached:        144 kB
Active:          63536 kB
Inactive:        83916 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1834292 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3880 kB
Writeback:           0 kB
Mapped:          26528 kB
Slab:            60072 kB
Committed_AS:   549836 kB
PageTables:       1488 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= 66561 MiB

End job on node52 on Sun Apr 15 02:49:12 UTC 2007