Trace number 351781

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)-4099 1800.37 1794.71

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-mkc.opb
MD5SUM7ddc5796bc843f2bf9bc94a0b22fd8e4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-4362
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -4362
Optimality of the best value was proved NO
Number of variables5383
Total number of constraints3279
Number of constraints which are clauses2977
Number of constraints which are cardinality constraints (but not clauses)276
Number of constraints which are nor clauses,nor cardinality constraints26
Minimum length of a constraint2
Maximum length of a constraint2952
Number of terms in the objective function 2946
Biggest coefficient in the objective function 334
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 526119
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 254588
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 526119
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.09/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.09/0.14	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.09/0.14	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.09/0.15	c no version file found!!!
0.09/0.15	c sun.arch.data.model	32
0.09/0.15	c java.version	1.6.0
0.09/0.15	c os.name	Linux
0.09/0.15	c os.version	2.6.9-22.EL.rootsmp
0.09/0.15	c os.arch	i386
0.09/0.15	c Free memory 1651659224
0.09/0.15	c Max memory 1654456320
0.09/0.15	c Total memory 1654456320
0.09/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/351781-1176613342/instance-351781-1176613342.opb
0.20/0.20	c reading problem ... 
2.00/1.22	c ... done. Wall clock time 1.019s.
2.00/1.22	c CPU time (experimental) 0.7s.
2.00/1.22	c #vars     5383
2.00/1.22	c #constraints  3225
2.98/1.80	c SATISFIABLE
2.98/1.80	c OPTIMIZING...
2.98/1.80	c Got one! Elapsed wall clock time (in seconds):1.596
2.98/1.82	o -4099
1633.12/1628.20	c cleaning 60317 clauses out of 120649 for limit 2.1972895833020855E7
1640.13/1635.29	c cleaning 30402 clauses out of 60827 for limit 7.15151335682306E7
1646.04/1641.14	c cleaning 15453 clauses out of 30926 for limit 2.3219934955168644E8
1649.73/1644.87	c cleaning 7980 clauses out of 15971 for limit 7.400132641184145E8
1651.43/1646.57	c cleaning 4239 clauses out of 8491 for limit 2.295454348195904E9
1653.23/1648.34	c cleaning 2368 clauses out of 4751 for limit 6.758710519182204E9
1664.18/1659.21	c cleaning 2184 clauses out of 4382 for limit 5.414589529736118E10
1667.08/1662.12	c cleaning 1346 clauses out of 2704 for limit 1.4557747511442297E11
1669.77/1664.86	c cleaning 926 clauses out of 1853 for limit 3.4858506728088416E11
1671.82/1666.81	c cleaning 714 clauses out of 1429 for limit 7.469248007505317E11
1674.12/1669.10	c cleaning 602 clauses out of 1212 for limit 1.447967588145575E12
1675.12/1670.18	c cleaning 549 clauses out of 1113 for limit 2.608108883449727E12
1676.52/1671.57	c cleaning 524 clauses out of 1064 for limit 4.499198371080791E12
1677.92/1672.97	c cleaning 510 clauses out of 1037 for limit 7.59015011045714E12
1679.52/1674.50	c cleaning 506 clauses out of 1031 for limit 1.2640503995044959E13
1688.16/1683.11	c cleaning 1253 clauses out of 2522 for limit 3.8106405623732164E13
1690.16/1685.19	c cleaning 895 clauses out of 1791 for limit 9.046125913536253E13
1691.06/1686.02	c cleaning 687 clauses out of 1374 for limit 1.9022522634348062E14
1691.92/1686.86	c cleaning 595 clauses out of 1190 for limit 3.6330159386468975E14
1693.02/1687.93	c cleaning 544 clauses out of 1095 for limit 6.511124991613639E14
1694.02/1688.97	c cleaning 520 clauses out of 1062 for limit 1.11938930026965E15
1695.22/1690.14	c cleaning 507 clauses out of 1031 for limit 1.8807161776997552E15
1696.22/1691.17	c cleaning 511 clauses out of 1031 for limit 3.123350547414315E15
1697.48/1692.38	c cleaning 504 clauses out of 1009 for limit 5.2055243975353E15
1698.68/1693.52	c cleaning 503 clauses out of 1006 for limit 8.618825156327313E15
1699.78/1694.68	c cleaning 474 clauses out of 1013 for limit 1.4257310591903842E16
1700.98/1695.80	c cleaning 520 clauses out of 1041 for limit 2.2925627789231672E16
1701.88/1696.77	c cleaning 512 clauses out of 1025 for limit 3.8551566989427376E16
1742.74/1737.39	c cleaning 5505 clauses out of 11017 for limit 1.314662350057375
1744.84/1739.44	c cleaning 2987 clauses out of 6010 for limit 3.9663402437729256
1747.84/1742.42	c cleaning 1751 clauses out of 3509 for limit 11.047240084352962
1749.34/1743.97	c cleaning 1125 clauses out of 2260 for limit 28.343510045820096
1751.15/1745.72	c cleaning 773 clauses out of 1629 for limit 64.45992609589624
1756.46/1751.05	c cleaning 1173 clauses out of 2355 for limit 199.78051362803498
1757.96/1752.50	c cleaning 833 clauses out of 1688 for limit 462.4178095858824
1759.46/1754.02	c cleaning 667 clauses out of 1353 for limit 949.5023880090664
1760.77/1755.33	c cleaning 598 clauses out of 1202 for limit 1791.0077522003376
1761.97/1756.50	c cleaning 514 clauses out of 1084 for limit 3210.245919696914
1763.17/1757.80	c cleaning 540 clauses out of 1087 for limit 5370.078421503549
1764.17/1758.74	c cleaning 502 clauses out of 1035 for limit 9189.916554159112
1765.57/1760.15	c cleaning 492 clauses out of 1029 for limit 15182.887808361058
1769.88/1764.48	c cleaning 1023 clauses out of 2052 for limit 34663.9251974046
1771.28/1765.83	c cleaning 741 clauses out of 1524 for limit 76586.71755686332
1772.87/1767.45	c cleaning 634 clauses out of 1274 for limit 149731.87963604636
1774.19/1768.73	c cleaning 564 clauses out of 1150 for limit 276303.80703882023
1775.78/1770.34	c cleaning 535 clauses out of 1077 for limit 482185.65607491706
1776.89/1771.43	c cleaning 521 clauses out of 1049 for limit 822151.7233875345
1777.99/1772.57	c cleaning 487 clauses out of 1032 for limit 1383699.2211979893
1779.28/1773.81	c cleaning 511 clauses out of 1031 for limit 2252347.7845690297
1783.49/1778.06	c cleaning 1003 clauses out of 2024 for limit 5166415.325097023
1785.09/1779.68	c cleaning 753 clauses out of 1522 for limit 1.1341632489287114E7
1786.41/1780.94	c cleaning 642 clauses out of 1284 for limit 2.2506023227756698E7
1787.60/1782.18	c cleaning 566 clauses out of 1132 for limit 4.168004017513951E7
1788.81/1783.35	c cleaning 527 clauses out of 1061 for limit 7.296968979315352E7
1789.91/1784.41	c cleaning 507 clauses out of 1048 for limit 1.2354798113202202E8
1791.01/1785.52	c cleaning 512 clauses out of 1025 for limit 2.0501081350877187E8
1795.23/1789.76	c cleaning 1005 clauses out of 2017 for limit 4.691378187546392E8
1796.52/1791.01	c cleaning 728 clauses out of 1509 for limit 1.0310256133058227E9
1797.82/1792.37	c cleaning 641 clauses out of 1289 for limit 2.0064935038828351E9
1798.93/1793.41	c cleaning 561 clauses out of 1150 for limit 3.7163597309387302E9
1800.03/1794.51	c starts		: 19
1800.03/1794.51	c conflicts		: 167610
1800.03/1794.51	c decisions		: 171883
1800.03/1794.51	c propagations		: 6234765
1800.03/1794.51	c inspects		: 270071057
1800.03/1794.51	c learnt literals	: 0
1800.03/1794.51	c learnt binary clauses	: 0
1800.03/1794.51	c learnt ternary clauses	: 0
1800.03/1794.51	c learnt clauses	: 167610
1800.03/1794.51	c root simplifications	: 0
1800.03/1794.51	c removed literals (reason simplification)	: 0
1800.03/1794.51	c reason swapping (by a shorter reason)	: 0
1800.03/1794.51	c Calls to reduceDB	: 60
1800.03/1794.51	c speed (decisions/second)	: 95.8851228360258
1800.03/1794.51	c non guided choices	1226
1800.03/1794.51	s SATISFIABLE
1800.03/1794.58	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/1794.58	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/1794.58	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/1794.58	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104
1800.03/1794.58	v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
1800.03/1794.58	v -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
1800.03/1794.58	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167
1800.03/1794.58	v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188
1800.03/1794.58	v -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209
1800.03/1794.58	v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1800.03/1794.58	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251
1800.03/1794.58	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272
1800.03/1794.58	v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293
1800.03/1794.58	v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314
1800.03/1794.58	v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335
1800.03/1794.58	v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356
1800.03/1794.58	v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377
1800.03/1794.58	v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398
1800.03/1794.58	v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419
1800.03/1794.58	v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
1800.03/1794.58	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461
1800.03/1794.58	v -x462 -x463 -x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482
1800.03/1794.58	v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503
1800.03/1794.58	v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524
1800.03/1794.58	v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545
1800.03/1794.58	v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566
1800.03/1794.58	v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587
1800.03/1794.58	v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608
1800.03/1794.58	v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629
1800.03/1794.58	v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
1800.03/1794.58	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671
1800.03/1794.58	v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692
1800.03/1794.58	v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713
1800.03/1794.58	v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734
1800.03/1794.58	v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755
1800.03/1794.58	v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776
1800.03/1794.58	v -x777 -x778 -x779 -x780 -x781 -x782 -x783 x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797
1800.03/1794.58	v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818
1800.03/1794.58	v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839
1800.03/1794.58	v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
1800.03/1794.58	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881
1800.03/1794.58	v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902
1800.03/1794.58	v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923
1800.03/1794.58	v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944
1800.03/1794.58	v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965
1800.03/1794.58	v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986
1800.03/1794.58	v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005
1800.03/1794.58	v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022
1800.03/1794.58	v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039
1800.03/1794.58	v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056
1800.03/1794.58	v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073
1800.03/1794.58	v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090
1800.03/1794.58	v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107
1800.03/1794.58	v -x1108 -x1109 x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124
1800.03/1794.58	v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141
1800.03/1794.58	v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158
1800.03/1794.58	v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175
1800.03/1794.58	v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192
1800.03/1794.58	v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209
1800.03/1794.58	v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226
1800.03/1794.58	v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243
1800.03/1794.58	v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260
1800.03/1794.58	v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 x1272 -x1273 -x1274 -x1275 -x1276 -x1277
1800.03/1794.58	v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294
1800.03/1794.58	v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311
1800.03/1794.58	v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328
1800.03/1794.58	v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345
1800.03/1794.58	v -x1346 -x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362
1800.03/1794.58	v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379
1800.03/1794.58	v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396
1800.03/1794.58	v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413
1800.03/1794.58	v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 x1425 -x1426 -x1427 -x1428 -x1429 -x1430
1800.03/1794.58	v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447
1800.03/1794.58	v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464
1800.03/1794.58	v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481
1800.03/1794.58	v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498
1800.03/1794.58	v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515
1800.03/1794.58	v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532
1800.03/1794.58	v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549
1800.03/1794.58	v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566
1800.03/1794.58	v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583
1800.03/1794.58	v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600
1800.03/1794.58	v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617
1800.03/1794.58	v -x1618 -x1619 -x1620 -x1621 -x1622 x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 x1630 -x1631 -x1632 -x1633 -x1634 -x1635
1800.03/1794.58	v -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652
1800.03/1794.58	v -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669
1800.03/1794.58	v -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686
1800.03/1794.58	v -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703
1800.03/1794.58	v -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720
1800.03/1794.58	v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737
1800.03/1794.58	v -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754
1800.03/1794.58	v -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771
1800.03/1794.58	v -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 x1786 -x1787 -x1788
1800.03/1794.58	v -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805
1800.03/1794.58	v -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822
1800.03/1794.58	v -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839
1800.03/1794.58	v -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856
1800.03/1794.58	v -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873
1800.03/1794.58	v x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891
1800.03/1794.58	v -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908
1800.03/1794.58	v -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925
1800.03/1794.58	v -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942
1800.03/1794.58	v -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 x1958 -x1959
1800.03/1794.58	v -x1960 -x1961 x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976
1800.03/1794.58	v -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993
1800.03/1794.58	v -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 x2009 -x2010
1800.03/1794.58	v -x2011 -x2012 -x2013 x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027
1800.03/1794.58	v -x2028 -x2029 -x2030 -x2031 -x2032 x2033 -x2034 -x2035 -x2036 -x2037 -x2038 x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045
1800.03/1794.58	v -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 x2053 -x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063
1800.03/1794.58	v -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 x2077 -x2078 -x2079 -x2080
1800.03/1794.58	v -x2081 x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097
1800.03/1794.58	v -x2098 -x2099 -x2100 -x2101 -x2102 x2103 -x2104 -x2105 x2106 -x2107 -x2108 -x2109 x2110 -x2111 -x2112 -x2113 -x2114 -x2115
1800.03/1794.58	v -x2116 -x2117 x2118 -x2119 -x2120 -x2121 x2122 x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 x2133
1800.03/1794.58	v x2134 -x2135 -x2136 -x2137 -x2138 x2139 x2140 x2141 x2142 x2143 x2144 x2145 -x2146 x2147 x2148 x2149 x2150 x2151 x2152 x2153
1800.03/1794.58	v x2154 x2155 x2156 -x2157 x2158 x2159 x2160 x2161 x2162 x2163 x2164 x2165 x2166 -x2167 x2168 x2169 -x2170 x2171 x2172 x2173
1800.03/1794.58	v x2174 x2175 -x2176 -x2177 x2178 -x2179 -x2180 x2181 -x2182 -x2183 x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191
1800.03/1794.58	v -x2192 -x2193 -x2194 x2195 x2196 -x2197 x2198 x2199 x2200 -x2201 x2202 -x2203 x2204 -x2205 -x2206 x2207 x2208 -x2209 x2210
1800.03/1794.58	v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227
1800.03/1794.58	v -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244
1800.03/1794.58	v -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261
1800.03/1794.58	v -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278
1800.03/1794.58	v -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295
1800.03/1794.58	v -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312
1800.03/1794.58	v -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 x2328 -x2329
1800.03/1794.58	v -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346
1800.03/1794.58	v -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363
1800.03/1794.58	v -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380
1800.03/1794.58	v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397
1800.03/1794.58	v -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414
1800.03/1794.58	v -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431
1800.03/1794.58	v -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448
1800.03/1794.58	v -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465
1800.03/1794.58	v -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482
1800.03/1794.58	v -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499
1800.03/1794.58	v -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516
1800.03/1794.58	v -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533
1800.03/1794.58	v -x2534 -x2535 x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550
1800.03/1794.58	v -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567
1800.03/1794.58	v -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584
1800.03/1794.58	v -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601
1800.03/1794.58	v -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618
1800.03/1794.58	v -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635
1800.03/1794.58	v -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652
1800.03/1794.58	v -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669
1800.03/1794.58	v -x2670 -x2671 -x2672 -x2673 -x2674 x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686
1800.03/1794.58	v -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703
1800.03/1794.58	v -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720
1800.03/1794.58	v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737
1800.03/1794.58	v -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754
1800.03/1794.58	v -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771
1800.03/1794.58	v -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 x2787 -x2788
1800.03/1794.58	v -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805
1800.03/1794.58	v -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822
1800.03/1794.58	v -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839
1800.03/1794.58	v -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856
1800.03/1794.58	v -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873
1800.03/1794.58	v -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890
1800.03/1794.58	v -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907
1800.03/1794.58	v -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 x2921 -x2922 -x2923 -x2924
1800.03/1794.58	v -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941
1800.03/1794.58	v -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958
1800.03/1794.58	v -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975
1800.03/1794.58	v -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992
1800.03/1794.58	v -x2993 -x2994 -x2995 x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009
1800.03/1794.58	v -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026
1800.03/1794.58	v -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043
1800.03/1794.58	v -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060
1800.03/1794.58	v -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077
1800.03/1794.58	v -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094
1800.03/1794.58	v -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111
1800.03/1794.58	v -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128
1800.03/1794.58	v -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145
1800.03/1794.58	v -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162
1800.03/1794.58	v -x3163 -x3164 -x3165 -x3166 x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179
1800.03/1794.58	v -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196
1800.03/1794.58	v -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213
1800.03/1794.58	v -x3214 -x3215 -x3216 -x3217 x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230
1800.03/1794.58	v -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247
1800.03/1794.58	v -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264
1800.03/1794.58	v -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281
1800.03/1794.58	v -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298
1800.03/1794.58	v -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315
1800.03/1794.58	v -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332
1800.03/1794.58	v -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349
1800.03/1794.58	v -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366
1800.03/1794.58	v -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383
1800.03/1794.58	v -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400
1800.03/1794.58	v -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417
1800.03/1794.58	v -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434
1800.03/1794.58	v -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451
1800.03/1794.58	v -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 x3463 -x3464 -x3465 -x3466 -x3467 -x3468
1800.03/1794.58	v -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485
1800.03/1794.58	v -x3486 -x3487 -x3488 x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502
1800.03/1794.58	v -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519
1800.03/1794.58	v -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536
1800.03/1794.58	v -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553
1800.03/1794.58	v -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570
1800.03/1794.58	v -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587
1800.03/1794.58	v -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604
1800.03/1794.58	v -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621
1800.03/1794.58	v -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638
1800.03/1794.58	v -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655
1800.03/1794.58	v -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672
1800.03/1794.58	v -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689
1800.03/1794.58	v -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 x3706
1800.03/1794.58	v -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723
1800.03/1794.58	v -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740
1800.03/1794.58	v -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757
1800.03/1794.58	v -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774
1800.03/1794.58	v -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791
1800.03/1794.58	v -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808
1800.03/1794.58	v -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825
1800.03/1794.58	v -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842
1800.03/1794.58	v -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859
1800.03/1794.58	v -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876
1800.03/1794.58	v -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893
1800.03/1794.58	v -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910
1800.03/1794.58	v -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927
1800.03/1794.58	v -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944
1800.03/1794.58	v -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961
1800.03/1794.58	v -x3962 -x3963 -x3964 -x3965 -x3966 x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978
1800.03/1794.58	v -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995
1800.03/1794.58	v -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012
1800.03/1794.58	v -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029
1800.03/1794.58	v -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046
1800.03/1794.58	v -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063
1800.03/1794.58	v -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080
1800.03/1794.58	v -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097
1800.03/1794.58	v -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114
1800.03/1794.58	v -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131
1800.03/1794.58	v -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148
1800.03/1794.58	v -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165
1800.03/1794.58	v -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 x4182
1800.03/1794.58	v -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199
1800.03/1794.58	v -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 x4213 -x4214 -x4215 -x4216
1800.03/1794.58	v -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 x4231 -x4232 -x4233
1800.03/1794.58	v -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250
1800.03/1794.58	v -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267
1800.03/1794.58	v -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284
1800.03/1794.58	v -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301
1800.03/1794.58	v -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318
1800.03/1794.58	v -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335
1800.03/1794.58	v -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352
1800.03/1794.58	v -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369
1800.03/1794.58	v -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386
1800.03/1794.58	v -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403
1800.03/1794.58	v -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 x4418 -x4419 -x4420
1800.03/1794.58	v -x4421 -x4422 x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437
1800.03/1794.58	v -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454
1800.03/1794.58	v -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471
1800.03/1794.58	v -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488
1800.03/1794.58	v -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505
1800.03/1794.58	v -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522
1800.03/1794.58	v -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539
1800.03/1794.58	v -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 x4555 -x4556
1800.03/1794.58	v -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573
1800.03/1794.58	v -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590
1800.03/1794.58	v -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607
1800.03/1794.58	v -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624
1800.03/1794.58	v -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641
1800.03/1794.58	v x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658
1800.03/1794.58	v -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675
1800.03/1794.58	v -x4676 -x4677 -x4678 x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692
1800.03/1794.58	v -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709
1800.03/1794.58	v -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 x4716 -x4717 -x4718 x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727
1800.03/1794.58	v -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744
1800.03/1794.58	v -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 x4758 -x4759 -x4760 -x4761
1800.03/1794.58	v x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778
1800.03/1794.58	v -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 x4790 -x4791 -x4792 -x4793 -x4794 -x4795
1800.03/1794.58	v -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 x4807 -x4808 -x4809 -x4810 -x4811 -x4812
1800.03/1794.58	v -x4813 -x4814 -x4815 x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830
1800.03/1794.58	v -x4831 -x4832 x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 x4848
1800.03/1794.58	v -x4849 x4850 x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 x4858 -x4859 -x4860 x4861 x4862 -x4863 -x4864 -x4865 -x4866
1800.03/1794.58	v -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883
1800.03/1794.58	v -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900
1800.03/1794.58	v -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 x4912 -x4913 -x4914 -x4915 -x4916 -x4917
1800.03/1794.58	v -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934
1800.03/1794.58	v -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951
1800.03/1794.58	v -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968
1800.03/1794.58	v -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985
1800.03/1794.58	v -x4986 -x4987 x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002
1800.03/1794.58	v -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019
1800.03/1794.58	v -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036
1800.03/1794.58	v -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053
1800.03/1794.58	v -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070
1800.03/1794.58	v -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087
1800.03/1794.58	v -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104
1800.03/1794.58	v -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121
1800.03/1794.58	v -x5122 -x5123 -x5124 -x5125 x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138
1800.03/1794.58	v -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155
1800.03/1794.58	v -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172
1800.03/1794.58	v -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189
1800.03/1794.58	v -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206
1800.03/1794.58	v -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223
1800.03/1794.58	v -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240
1800.03/1794.58	v -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257
1800.03/1794.58	v -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274
1800.03/1794.58	v -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291
1800.03/1794.58	v -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308
1800.03/1794.58	v -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325
1800.03/1794.58	v -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342
1800.03/1794.58	v -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359
1800.03/1794.58	v -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376
1800.03/1794.58	v -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383
1800.24/1794.61	c cleaning 521 clauses out of 1076 for limit 6.465625538993231E9
1800.24/1794.63	c objective function=-4099
1800.24/1794.63	c Total wall clock time (ms): 1794.424

Verifier Data (download as text)

OK	-4099

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.93 1.01 0.99 2/77 21051
/proc/meminfo: memFree=1780736/2055920 swapFree=4159528/4192956
[pid=21051] ppid=21049 vsize=152 CPUtime=0
/proc/21051/stat : 21051 (java) R 21049 21051 19837 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 109251638 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 7483691 0 0 4096 0 0 0 0 17 1 0 0
/proc/21051/statm: 38 26 19 9 0 4 0

[startup+0.072621 s]
/proc/loadavg: 0.93 1.01 0.99 2/77 21051
/proc/meminfo: memFree=1780736/2055920 swapFree=4159528/4192956
[pid=21051] ppid=21049 vsize=1777708 CPUtime=0.05
/proc/21051/stat : 21051 (java) S 21049 21051 19837 0 -1 0 3710 0 1 0 3 2 0 0 18 0 7 0 109251638 1820372992 3453 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/21051/statm: 444427 3453 1082 9 0 442063 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 1777708

[startup+0.101601 s]
/proc/loadavg: 0.93 1.01 0.99 2/77 21051
/proc/meminfo: memFree=1780736/2055920 swapFree=4159528/4192956
[pid=21051] ppid=21049 vsize=1780108 CPUtime=0.09
/proc/21051/stat : 21051 (java) S 21049 21051 19837 0 -1 0 3969 0 1 0 6 3 0 0 18 0 12 0 109251638 1822830592 3711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21051/statm: 445027 3711 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1780108

[startup+0.301625 s]
/proc/loadavg: 0.93 1.01 0.99 2/77 21051
/proc/meminfo: memFree=1780736/2055920 swapFree=4159528/4192956
[pid=21051] ppid=21049 vsize=1781428 CPUtime=0.33
/proc/21051/stat : 21051 (java) S 21049 21051 19837 0 -1 0 5093 0 1 0 30 3 0 0 18 0 12 0 109251638 1824182272 4832 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21051/statm: 445357 4832 1267 9 0 442969 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 1781428

[startup+0.701668 s]
/proc/loadavg: 0.93 1.01 0.99 2/77 21051
/proc/meminfo: memFree=1780736/2055920 swapFree=4159528/4192956
[pid=21051] ppid=21049 vsize=1788724 CPUtime=1.01
/proc/21051/stat : 21051 (java) S 21049 21051 19837 0 -1 0 8477 0 1 0 97 4 0 0 18 0 12 0 109251638 1831653376 7545 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21051/statm: 447181 7545 1302 9 0 444793 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 1788724

[startup+1.50276 s]
/proc/loadavg: 0.93 1.01 0.99 4/89 21063
/proc/meminfo: memFree=1746528/2055920 swapFree=4159528/4192956
[pid=21051] ppid=21049 vsize=1794000 CPUtime=2.54
/proc/21051/stat : 21051 (java) S 21049 21051 19837 0 -1 0 16525 0 1 0 246 8 0 0 18 0 13 0 109251638 1837056000 12363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21051/statm: 448500 12363 1315 9 0 446112 0
[pid=21051/tid=21053] ppid=21049 vsize=1794000 CPUtime=0.88
/proc/21051/task/21053/stat : 21053 (java) R 21049 21051 19837 0 -1 64 8334 0 1 0 83 5 0 0 19 0 13 0 109251639 1837056000 12363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21051/tid=21054] ppid=21049 vsize=1794000 CPUtime=0
/proc/21051/task/21054/stat : 21054 (java) S 21049 21051 19837 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 109251641 1837056000 12363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21055] ppid=21049 vsize=1794000 CPUtime=0
/proc/21051/task/21055/stat : 21055 (java) S 21049 21051 19837 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 109251641 1837056000 12363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21056] ppid=21049 vsize=1794000 CPUtime=0
/proc/21051/task/21056/stat : 21056 (java) S 21049 21051 19837 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 109251643 1837056000 12363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21057] ppid=21049 vsize=1794000 CPUtime=0
/proc/21051/task/21057/stat : 21057 (java) S 21049 21051 19837 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 109251643 1837056000 12363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21058] ppid=21049 vsize=1794000 CPUtime=0
/proc/21051/task/21058/stat : 21058 (java) S 21049 21051 19837 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 109251644 1837056000 12363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21059] ppid=21049 vsize=1794000 CPUtime=0
/proc/21051/task/21059/stat : 21059 (java) S 21049 21051 19837 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 109251647 1837056000 12363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21060] ppid=21049 vsize=1794000 CPUtime=0.98
/proc/21051/task/21060/stat : 21060 (java) R 21049 21051 19837 0 -1 64 5344 0 0 0 97 1 0 0 16 0 13 0 109251647 1837056000 12363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105864945 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21061] ppid=21049 vsize=1794000 CPUtime=0.65
/proc/21051/task/21061/stat : 21061 (java) R 21049 21051 19837 0 -1 64 2124 0 0 0 65 0 0 0 17 0 13 0 109251647 1837056000 12363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102915117 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21051/tid=21062] ppid=21049 vsize=1794000 CPUtime=0
/proc/21051/task/21062/stat : 21062 (java) S 21049 21051 19837 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 109251647 1837056000 12363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21063] ppid=21049 vsize=1794000 CPUtime=0
/proc/21051/task/21063/stat : 21063 (java) S 21049 21051 19837 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 109251647 1837056000 12363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 1794000

[startup+3.10293 s]
/proc/loadavg: 0.93 1.01 0.99 2/90 21065
/proc/meminfo: memFree=1728728/2055920 swapFree=4159528/4192956
[pid=21051] ppid=21049 vsize=1794000 CPUtime=4.57
/proc/21051/stat : 21051 (java) S 21049 21051 19837 0 -1 0 21275 0 1 0 446 11 0 0 18 0 13 0 109251638 1837056000 17111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21051/statm: 448500 17111 1318 9 0 446112 0
[pid=21051/tid=21053] ppid=21049 vsize=1794000 CPUtime=2.35
/proc/21051/task/21053/stat : 21053 (java) R 21049 21051 19837 0 -1 64 13021 0 1 0 228 7 0 0 25 0 13 0 109251639 1837056000 17111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109927296 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21054] ppid=21049 vsize=1794000 CPUtime=0
/proc/21051/task/21054/stat : 21054 (java) S 21049 21051 19837 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 109251641 1837056000 17111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21055] ppid=21049 vsize=1794000 CPUtime=0
/proc/21051/task/21055/stat : 21055 (java) S 21049 21051 19837 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 109251641 1837056000 17111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21056] ppid=21049 vsize=1794000 CPUtime=0
/proc/21051/task/21056/stat : 21056 (java) S 21049 21051 19837 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 109251643 1837056000 17111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21057] ppid=21049 vsize=1794000 CPUtime=0
/proc/21051/task/21057/stat : 21057 (java) S 21049 21051 19837 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 109251643 1837056000 17111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21058] ppid=21049 vsize=1794000 CPUtime=0
/proc/21051/task/21058/stat : 21058 (java) S 21049 21051 19837 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 109251644 1837056000 17111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21059] ppid=21049 vsize=1794000 CPUtime=0
/proc/21051/task/21059/stat : 21059 (java) S 21049 21051 19837 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 109251647 1837056000 17111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21060] ppid=21049 vsize=1794000 CPUtime=1.3
/proc/21051/task/21060/stat : 21060 (java) S 21049 21051 19837 0 -1 64 5394 0 0 0 129 1 0 0 16 0 13 0 109251647 1837056000 17111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21051/tid=21061] ppid=21049 vsize=1794000 CPUtime=0.88
/proc/21051/task/21061/stat : 21061 (java) S 21049 21051 19837 0 -1 64 2135 0 0 0 88 0 0 0 16 0 13 0 109251647 1837056000 17111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21062] ppid=21049 vsize=1794000 CPUtime=0
/proc/21051/task/21062/stat : 21062 (java) S 21049 21051 19837 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 109251647 1837056000 17111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21063] ppid=21049 vsize=1794000 CPUtime=0
/proc/21051/task/21063/stat : 21063 (java) S 21049 21051 19837 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 109251647 1837056000 17111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21051/tid=21065] ppid=21049 vsize=1794000 CPUtime=0
/proc/21051/task/21065/stat : 21065 (java) S 21049 21051 19837 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 109251830 1837056000 17111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.57
Current children cumulated vsize (KiB) 1794000

[startup+6.30127 s]
/proc/loadavg: 0.94 1.01 0.99 2/90 21065
/proc/meminfo: memFree=1691560/2055920 swapFree=4159528/4192956
[pid=21051] ppid=21049 vsize=1793968 CPUtime=7.77
/proc/21051/stat : 21051 (java) S 21049 21051 19837 0 -1 0 29957 0 1 0 762 15 0 0 18 0 13 0 109251638 1837023232 25784 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21051/statm: 448492 25784 1318 9 0 446104 0
[pid=21051/tid=21053] ppid=21049 vsize=1793968 CPUtime=5.54
/proc/21051/task/21053/stat : 21053 (java) R 21049 21051 19837 0 -1 64 21703 0 1 0 543 11 0 0 25 0 13 0 109251639 1837023232 25784 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105880117 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21051/tid=21054] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21054/stat : 21054 (java) S 21049 21051 19837 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 109251641 1837023232 25784 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21055] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21055/stat : 21055 (java) S 21049 21051 19837 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 109251641 1837023232 25784 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21056] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21056/stat : 21056 (java) S 21049 21051 19837 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 109251643 1837023232 25784 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21051/tid=21057] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21057/stat : 21057 (java) S 21049 21051 19837 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 109251643 1837023232 25784 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21058] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21058/stat : 21058 (java) S 21049 21051 19837 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 109251644 1837023232 25784 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21059] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21059/stat : 21059 (java) S 21049 21051 19837 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 109251647 1837023232 25784 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21060] ppid=21049 vsize=1793968 CPUtime=1.31
/proc/21051/task/21060/stat : 21060 (java) S 21049 21051 19837 0 -1 64 5394 0 0 0 130 1 0 0 17 0 13 0 109251647 1837023232 25784 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21051/tid=21061] ppid=21049 vsize=1793968 CPUtime=0.88
/proc/21051/task/21061/stat : 21061 (java) S 21049 21051 19837 0 -1 64 2135 0 0 0 88 0 0 0 16 0 13 0 109251647 1837023232 25784 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21062] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21062/stat : 21062 (java) S 21049 21051 19837 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 109251647 1837023232 25784 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21063] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21063/stat : 21063 (java) S 21049 21051 19837 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 109251647 1837023232 25784 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21051/tid=21065] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21065/stat : 21065 (java) S 21049 21051 19837 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 109251830 1837023232 25784 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.77
Current children cumulated vsize (KiB) 1793968

[startup+12.703 s]
/proc/loadavg: 0.94 1.01 0.99 2/90 21065
/proc/meminfo: memFree=1618280/2055920 swapFree=4159528/4192956
[pid=21051] ppid=21049 vsize=1793968 CPUtime=14.26
/proc/21051/stat : 21051 (java) S 21049 21051 19837 0 -1 0 61518 0 1 0 1394 32 0 0 18 0 13 0 109251638 1837023232 56057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21051/statm: 448492 56057 1325 9 0 446104 0
[pid=21051/tid=21053] ppid=21049 vsize=1793968 CPUtime=11.85
/proc/21051/task/21053/stat : 21053 (java) R 21049 21051 19837 0 -1 64 37695 0 1 0 1166 19 0 0 25 0 13 0 109251639 1837023232 56057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109523588 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21051/tid=21054] ppid=21049 vsize=1793968 CPUtime=0.08
/proc/21051/task/21054/stat : 21054 (java) S 21049 21051 19837 0 -1 64 8226 0 0 0 4 4 0 0 16 0 13 0 109251641 1837023232 56057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21055] ppid=21049 vsize=1793968 CPUtime=0.08
/proc/21051/task/21055/stat : 21055 (java) S 21049 21051 19837 0 -1 64 7342 0 0 0 4 4 0 0 17 0 13 0 109251641 1837023232 56057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21051/tid=21056] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21056/stat : 21056 (java) S 21049 21051 19837 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 109251643 1837023232 56057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21051/tid=21057] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21057/stat : 21057 (java) S 21049 21051 19837 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 109251643 1837023232 56057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21058] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21058/stat : 21058 (java) S 21049 21051 19837 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 109251644 1837023232 56057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21059] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21059/stat : 21059 (java) S 21049 21051 19837 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 109251647 1837023232 56057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21060] ppid=21049 vsize=1793968 CPUtime=1.31
/proc/21051/task/21060/stat : 21060 (java) S 21049 21051 19837 0 -1 64 5394 0 0 0 130 1 0 0 17 0 13 0 109251647 1837023232 56057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21051/tid=21061] ppid=21049 vsize=1793968 CPUtime=0.89
/proc/21051/task/21061/stat : 21061 (java) S 21049 21051 19837 0 -1 64 2135 0 0 0 89 0 0 0 16 0 13 0 109251647 1837023232 56057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21062] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21062/stat : 21062 (java) S 21049 21051 19837 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 109251647 1837023232 56057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21063] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21063/stat : 21063 (java) S 21049 21051 19837 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 109251647 1837023232 56057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21051/tid=21065] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21065/stat : 21065 (java) S 21049 21051 19837 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 109251830 1837023232 56057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 14.26
Current children cumulated vsize (KiB) 1793968

[startup+25.5024 s]
/proc/loadavg: 0.96 1.00 0.99 2/90 21065
/proc/meminfo: memFree=1560616/2055920 swapFree=4159528/4192956
[pid=21051] ppid=21049 vsize=1793968 CPUtime=27.14
/proc/21051/stat : 21051 (java) S 21049 21051 19837 0 -1 0 61552 0 1 0 2682 32 0 0 18 0 13 0 109251638 1837023232 56090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21051/statm: 448492 56090 1325 9 0 446104 0
[pid=21051/tid=21053] ppid=21049 vsize=1793968 CPUtime=24.63
/proc/21051/task/21053/stat : 21053 (java) R 21049 21051 19837 0 -1 64 37709 0 1 0 2444 19 0 0 25 0 13 0 109251639 1837023232 56090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109927344 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21051/tid=21054] ppid=21049 vsize=1793968 CPUtime=0.08
/proc/21051/task/21054/stat : 21054 (java) S 21049 21051 19837 0 -1 64 8226 0 0 0 4 4 0 0 16 0 13 0 109251641 1837023232 56090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21055] ppid=21049 vsize=1793968 CPUtime=0.08
/proc/21051/task/21055/stat : 21055 (java) S 21049 21051 19837 0 -1 64 7342 0 0 0 4 4 0 0 17 0 13 0 109251641 1837023232 56090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21051/tid=21056] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21056/stat : 21056 (java) S 21049 21051 19837 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 109251643 1837023232 56090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0

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

[pid=21051/tid=21056] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21056/stat : 21056 (java) S 21049 21051 19837 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 109251643 1837023232 390004 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21051/tid=21057] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21057/stat : 21057 (java) S 21049 21051 19837 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 109251643 1837023232 390004 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21058] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21058/stat : 21058 (java) S 21049 21051 19837 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 109251644 1837023232 390004 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21059] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21059/stat : 21059 (java) S 21049 21051 19837 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 109251647 1837023232 390004 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21060] ppid=21049 vsize=1793968 CPUtime=1.49
/proc/21051/task/21060/stat : 21060 (java) S 21049 21051 19837 0 -1 64 5423 0 0 0 148 1 0 0 17 0 13 0 109251647 1837023232 390004 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21051/tid=21061] ppid=21049 vsize=1793968 CPUtime=1.03
/proc/21051/task/21061/stat : 21061 (java) S 21049 21051 19837 0 -1 64 2142 0 0 0 103 0 0 0 16 0 13 0 109251647 1837023232 390004 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21062] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21062/stat : 21062 (java) S 21049 21051 19837 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 109251647 1837023232 390004 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21063] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21063/stat : 21063 (java) S 21049 21051 19837 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 109251647 1837023232 390004 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21051/tid=21065] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21065/stat : 21065 (java) S 21049 21051 19837 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 109251830 1837023232 390004 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1667.28
Current children cumulated vsize (KiB) 1793968

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 21065
/proc/meminfo: memFree=1324264/2055920 swapFree=4159528/4192956
[pid=21051] ppid=21049 vsize=1793968 CPUtime=1727.62
/proc/21051/stat : 21051 (java) S 21049 21051 19837 0 -1 0 435147 0 1 0 172476 286 0 0 18 0 13 0 109251638 1837023232 114338 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21051/statm: 448492 114338 1333 9 0 446104 0
[pid=21051/tid=21053] ppid=21049 vsize=1793968 CPUtime=1716.45
/proc/21051/task/21053/stat : 21053 (java) R 21049 21051 19837 0 -1 64 37763 0 1 0 171613 32 0 0 25 0 13 0 109251639 1837023232 114338 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109816268 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21051/tid=21054] ppid=21049 vsize=1793968 CPUtime=4.14
/proc/21051/task/21054/stat : 21054 (java) S 21049 21051 19837 0 -1 64 192161 0 0 0 299 115 0 0 16 0 13 0 109251641 1837023232 114338 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21051/tid=21055] ppid=21049 vsize=1793968 CPUtime=4.12
/proc/21051/task/21055/stat : 21055 (java) S 21049 21051 19837 0 -1 64 196927 0 0 0 295 117 0 0 16 0 13 0 109251641 1837023232 114338 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21056] ppid=21049 vsize=1793968 CPUtime=0.33
/proc/21051/task/21056/stat : 21056 (java) S 21049 21051 19837 0 -1 64 10 0 0 0 15 18 0 0 16 0 13 0 109251643 1837023232 114338 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21057] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21057/stat : 21057 (java) S 21049 21051 19837 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 109251643 1837023232 114338 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21058] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21058/stat : 21058 (java) S 21049 21051 19837 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 109251644 1837023232 114338 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21059] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21059/stat : 21059 (java) S 21049 21051 19837 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 109251647 1837023232 114338 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21060] ppid=21049 vsize=1793968 CPUtime=1.49
/proc/21051/task/21060/stat : 21060 (java) S 21049 21051 19837 0 -1 64 5423 0 0 0 148 1 0 0 17 0 13 0 109251647 1837023232 114338 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21051/tid=21061] ppid=21049 vsize=1793968 CPUtime=1.03
/proc/21051/task/21061/stat : 21061 (java) S 21049 21051 19837 0 -1 64 2142 0 0 0 103 0 0 0 16 0 13 0 109251647 1837023232 114338 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21062] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21062/stat : 21062 (java) S 21049 21051 19837 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 109251647 1837023232 114338 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21063] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21063/stat : 21063 (java) S 21049 21051 19837 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 109251647 1837023232 114338 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21065] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21065/stat : 21065 (java) S 21049 21051 19837 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 109251830 1837023232 114338 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1727.62
Current children cumulated vsize (KiB) 1793968

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 21065
/proc/meminfo: memFree=1347496/2055920 swapFree=4159528/4192956
[pid=21051] ppid=21049 vsize=1793968 CPUtime=1787.8
/proc/21051/stat : 21051 (java) S 21049 21051 19837 0 -1 0 435155 0 1 0 178493 287 0 0 18 0 13 0 109251638 1837023232 108519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21051/statm: 448492 108519 1333 9 0 446104 0
[pid=21051/tid=21053] ppid=21049 vsize=1793968 CPUtime=1776.22
/proc/21051/task/21053/stat : 21053 (java) R 21049 21051 19837 0 -1 64 37771 0 1 0 177590 32 0 0 25 0 13 0 109251639 1837023232 108519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109816297 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21051/tid=21054] ppid=21049 vsize=1793968 CPUtime=4.35
/proc/21051/task/21054/stat : 21054 (java) S 21049 21051 19837 0 -1 64 192161 0 0 0 320 115 0 0 16 0 13 0 109251641 1837023232 108519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21055] ppid=21049 vsize=1793968 CPUtime=4.32
/proc/21051/task/21055/stat : 21055 (java) S 21049 21051 19837 0 -1 64 196927 0 0 0 315 117 0 0 16 0 13 0 109251641 1837023232 108519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21051/tid=21056] ppid=21049 vsize=1793968 CPUtime=0.33
/proc/21051/task/21056/stat : 21056 (java) S 21049 21051 19837 0 -1 64 10 0 0 0 15 18 0 0 16 0 13 0 109251643 1837023232 108519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21057] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21057/stat : 21057 (java) S 21049 21051 19837 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 109251643 1837023232 108519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21058] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21058/stat : 21058 (java) S 21049 21051 19837 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 109251644 1837023232 108519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21059] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21059/stat : 21059 (java) S 21049 21051 19837 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 109251647 1837023232 108519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21060] ppid=21049 vsize=1793968 CPUtime=1.49
/proc/21051/task/21060/stat : 21060 (java) S 21049 21051 19837 0 -1 64 5423 0 0 0 148 1 0 0 17 0 13 0 109251647 1837023232 108519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21051/tid=21061] ppid=21049 vsize=1793968 CPUtime=1.03
/proc/21051/task/21061/stat : 21061 (java) S 21049 21051 19837 0 -1 64 2142 0 0 0 103 0 0 0 16 0 13 0 109251647 1837023232 108519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21062] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21062/stat : 21062 (java) S 21049 21051 19837 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 109251647 1837023232 108519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21063] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21063/stat : 21063 (java) S 21049 21051 19837 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 109251647 1837023232 108519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21051/tid=21065] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21065/stat : 21065 (java) S 21049 21051 19837 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 109251830 1837023232 108519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1787.8
Current children cumulated vsize (KiB) 1793968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 21065
/proc/meminfo: memFree=1352680/2055920 swapFree=4159528/4192956
[pid=21051] ppid=21049 vsize=1793968 CPUtime=1800.03
/proc/21051/stat : 21051 (java) S 21049 21051 19837 0 -1 0 435157 0 1 0 179715 288 0 0 18 0 13 0 109251638 1837023232 107237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21051/statm: 448492 107237 1333 9 0 446104 0
[pid=21051/tid=21053] ppid=21049 vsize=1793968 CPUtime=1788.39
/proc/21051/task/21053/stat : 21053 (java) R 21049 21051 19837 0 -1 64 37773 0 1 0 178807 32 0 0 25 0 13 0 109251639 1837023232 107237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109816402 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21051/tid=21054] ppid=21049 vsize=1793968 CPUtime=4.37
/proc/21051/task/21054/stat : 21054 (java) S 21049 21051 19837 0 -1 64 192161 0 0 0 322 115 0 0 16 0 13 0 109251641 1837023232 107237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21055] ppid=21049 vsize=1793968 CPUtime=4.35
/proc/21051/task/21055/stat : 21055 (java) S 21049 21051 19837 0 -1 64 196927 0 0 0 318 117 0 0 16 0 13 0 109251641 1837023232 107237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21051/tid=21056] ppid=21049 vsize=1793968 CPUtime=0.33
/proc/21051/task/21056/stat : 21056 (java) S 21049 21051 19837 0 -1 64 10 0 0 0 15 18 0 0 16 0 13 0 109251643 1837023232 107237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21051/tid=21057] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21057/stat : 21057 (java) S 21049 21051 19837 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 109251643 1837023232 107237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21058] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21058/stat : 21058 (java) S 21049 21051 19837 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 109251644 1837023232 107237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21059] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21059/stat : 21059 (java) S 21049 21051 19837 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 109251647 1837023232 107237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21060] ppid=21049 vsize=1793968 CPUtime=1.49
/proc/21051/task/21060/stat : 21060 (java) S 21049 21051 19837 0 -1 64 5423 0 0 0 148 1 0 0 17 0 13 0 109251647 1837023232 107237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21051/tid=21061] ppid=21049 vsize=1793968 CPUtime=1.03
/proc/21051/task/21061/stat : 21061 (java) S 21049 21051 19837 0 -1 64 2142 0 0 0 103 0 0 0 16 0 13 0 109251647 1837023232 107237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21062] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21062/stat : 21062 (java) S 21049 21051 19837 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 109251647 1837023232 107237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21063] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21063/stat : 21063 (java) S 21049 21051 19837 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 109251647 1837023232 107237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21051/tid=21065] ppid=21049 vsize=1793968 CPUtime=0
/proc/21051/task/21065/stat : 21065 (java) S 21049 21051 19837 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 109251830 1837023232 107237 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) 1793968

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

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

[startup+1794.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 21065
/proc/meminfo: memFree=1352680/2055920 swapFree=4159528/4192956
[pid=21051] ppid=21049 vsize=1794616 CPUtime=1800.24
/proc/21051/stat : 21051 (java) S 21049 21051 19837 0 -1 0 435178 0 1 0 179736 288 0 0 16 0 15 0 109251638 1837686784 107258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21051/statm: 448654 107258 1333 9 0 446266 0
[pid=21051/tid=21053] ppid=21049 vsize=1794616 CPUtime=1788.5
/proc/21051/task/21053/stat : 21053 (java) R 21049 21051 19837 0 -1 64 37773 0 1 0 178818 32 0 0 25 0 15 0 109251639 1837686784 107258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109816337 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21051/tid=21054] ppid=21049 vsize=1794616 CPUtime=4.37
/proc/21051/task/21054/stat : 21054 (java) S 21049 21051 19837 0 -1 64 192161 0 0 0 322 115 0 0 16 0 15 0 109251641 1837686784 107258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21055] ppid=21049 vsize=1794616 CPUtime=4.35
/proc/21051/task/21055/stat : 21055 (java) S 21049 21051 19837 0 -1 64 196927 0 0 0 318 117 0 0 16 0 15 0 109251641 1837686784 107258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21051/tid=21056] ppid=21049 vsize=1794616 CPUtime=0.33
/proc/21051/task/21056/stat : 21056 (java) S 21049 21051 19837 0 -1 64 10 0 0 0 15 18 0 0 16 0 15 0 109251643 1837686784 107258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21051/tid=21057] ppid=21049 vsize=1794616 CPUtime=0
/proc/21051/task/21057/stat : 21057 (java) S 21049 21051 19837 0 -1 64 9 0 0 0 0 0 0 0 17 0 15 0 109251643 1837686784 107258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21058] ppid=21049 vsize=1794616 CPUtime=0
/proc/21051/task/21058/stat : 21058 (java) S 21049 21051 19837 0 -1 64 6 0 0 0 0 0 0 0 16 0 15 0 109251644 1837686784 107258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21059] ppid=21049 vsize=1794616 CPUtime=0
/proc/21051/task/21059/stat : 21059 (java) S 21049 21051 19837 0 -1 64 6 0 0 0 0 0 0 0 18 0 15 0 109251647 1837686784 107258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21060] ppid=21049 vsize=1794616 CPUtime=1.55
/proc/21051/task/21060/stat : 21060 (java) R 21049 21051 19837 0 -1 64 5427 0 0 0 154 1 0 0 16 0 15 0 109251647 1837686784 107258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 104809817 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21061] ppid=21049 vsize=1794616 CPUtime=1.04
/proc/21051/task/21061/stat : 21061 (java) S 21049 21051 19837 0 -1 64 2142 0 0 0 104 0 0 0 16 0 15 0 109251647 1837686784 107258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21062] ppid=21049 vsize=1794616 CPUtime=0
/proc/21051/task/21062/stat : 21062 (java) S 21049 21051 19837 0 -1 64 2 0 0 0 0 0 0 0 25 0 15 0 109251647 1837686784 107258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21051/tid=21063] ppid=21049 vsize=1794616 CPUtime=0
/proc/21051/task/21063/stat : 21063 (java) S 21049 21051 19837 0 -1 64 0 0 0 0 0 0 0 0 15 0 15 0 109251647 1837686784 107258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21051/tid=21065] ppid=21049 vsize=1794616 CPUtime=0
/proc/21051/task/21065/stat : 21065 (java) S 21049 21051 19837 0 -1 64 0 0 0 0 0 0 0 0 24 0 15 0 109251830 1837686784 107258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 1794616

[startup+1794.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 21065
/proc/meminfo: memFree=1352680/2055920 swapFree=4159528/4192956
[pid=21051] ppid=21049 vsize=0 CPUtime=1800.35
/proc/21051/stat : 21051 (java) Z 21049 21051 19837 0 -1 1036 435181 0 1 0 179741 294 0 0 15 0 2 0 109251638 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21051/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.35
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1794.71
CPU time (s): 1800.37
CPU user time (s): 1797.42
CPU system time (s): 2.94955
CPU usage (%): 100.315
Max. virtual memory (cumulated for all children) (KiB): 1795884

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

runsolver used 1.53377 second user time and 5.03923 second system time

The end

Launcher Data (download as text)

Begin job on node19 on Sun Apr 15 05:02:23 UTC 2007

IDJOB= 351781
IDBENCH= 1810
IDSOLVER= 159
FILE ID= node19/351781-1176613342

PBS_JOBID= 4556822

Free space on /tmp= 66542 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-mkc.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351781-1176613342/sat4jPseudoResolution.jar /tmp/evaluation/351781-1176613342/instance-351781-1176613342.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-351781-1176613342 -o ROOT/results/node19/solver-351781-1176613342 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351781-1176613342/sat4jPseudoResolution.jar /tmp/evaluation/351781-1176613342/instance-351781-1176613342.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  7ddc5796bc843f2bf9bc94a0b22fd8e4

RANDOM SEED= 635268932

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node19.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.213
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.213
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:       1781080 kB
Buffers:         44064 kB
Cached:         140860 kB
SwapCached:       2960 kB
Active:          69696 kB
Inactive:       147804 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1781080 kB
SwapTotal:     4192956 kB
SwapFree:      4159528 kB
Dirty:            3904 kB
Writeback:           0 kB
Mapped:          31980 kB
Slab:            42812 kB
Committed_AS:  2862488 kB
PageTables:       1792 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= 66542 MiB

End job on node19 on Sun Apr 15 05:32:19 UTC 2007