Trace number 4291861

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
OscaR - Hybrid 2018-07-02SAT (TO)4903 2400.15 2344.65

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-scen-08-opt_c18.xml
MD5SUM9be5bd0a86f9e024d7fdf548556c4b89
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1997
Best CPU time to get the best result obtained on this benchmark2519.99
Satisfiable
(Un)Satisfiability was proved
Number of variables6202
Number of constraints5744
Number of domains11
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":5286},{"size":6,"count":6},{"size":22,"count":36},{"size":24,"count":8},{"size":36,"count":360},{"size":42,"count":22},{"size":44,"count":484}]
Minimum variable degree1
Maximum variable degree62
Distribution of variable degrees[{"degree":1,"count":12},{"degree":2,"count":5287},{"degree":3,"count":38},{"degree":4,"count":17},{"degree":5,"count":102},{"degree":6,"count":22},{"degree":7,"count":111},{"degree":8,"count":16},{"degree":9,"count":111},{"degree":10,"count":35},{"degree":11,"count":48},{"degree":12,"count":33},{"degree":13,"count":52},{"degree":14,"count":19},{"degree":15,"count":61},{"degree":16,"count":14},{"degree":17,"count":33},{"degree":18,"count":10},{"degree":19,"count":26},{"degree":20,"count":19},{"degree":21,"count":18},{"degree":22,"count":8},{"degree":23,"count":15},{"degree":24,"count":11},{"degree":25,"count":13},{"degree":26,"count":1},{"degree":27,"count":14},{"degree":28,"count":12},{"degree":29,"count":6},{"degree":30,"count":10},{"degree":31,"count":2},{"degree":32,"count":2},{"degree":34,"count":3},{"degree":35,"count":4},{"degree":36,"count":4},{"degree":37,"count":1},{"degree":38,"count":2},{"degree":39,"count":4},{"degree":42,"count":1},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":47,"count":1},{"degree":55,"count":1},{"degree":62,"count":1}]
Minimum constraint arity2
Maximum constraint arity3
Distribution of constraint arities[{"arity":2,"count":458},{"arity":3,"count":5286}]
Number of extensional constraints0
Number of intensional constraints5744
Distribution of constraint types[{"type":"intension","count":5744}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.68/0.54	c version: 2018-07-02
0.68/0.54	c seed: 1607809829
0.68/0.54	c timeout: 2400
0.68/0.54	c memlimit: 11000
0.68/0.54	c nbcore: 4
0.68/0.57	c Parsing instance...
17.28/9.94	c Parsing done, starting first complete search...
1456.22/1442.73	o 5644
1456.22/1442.74	c First complete search done, starting ALNS search...
1456.93/1443.29	o 5636
1456.93/1443.29	o 5634
1457.07/1443.30	o 5632
1457.59/1443.51	o 5626
1457.73/1443.64	o 5625
1457.73/1443.68	o 5624
1457.88/1443.71	o 5623
1457.88/1443.76	o 5622
1458.04/1443.80	o 5620
1458.04/1443.83	o 5619
1458.04/1443.86	o 5618
1458.27/1443.91	o 5617
1458.27/1443.94	o 5616
1458.27/1443.97	o 5615
1458.27/1443.99	o 5614
1458.41/1444.03	o 5613
1458.41/1444.06	o 5612
1458.52/1444.11	o 5611
1458.52/1444.15	o 5610
1458.52/1444.19	o 5609
1458.61/1444.23	o 5608
1460.13/1445.59	o 5607
1460.24/1445.63	o 5606
1460.24/1445.68	o 5605
1470.77/1453.45	o 5604
1470.87/1453.51	o 5603
1470.87/1453.57	o 5602
1470.98/1453.63	o 5601
1470.98/1453.69	o 5599
1473.25/1455.89	o 5598
1473.46/1456.07	o 5597
1473.56/1456.13	o 5596
1473.65/1456.21	o 5595
1473.65/1456.27	o 5594
1473.75/1456.38	o 5592
1473.85/1456.44	o 5591
1475.30/1457.74	o 5590
1475.30/1457.75	o 5588
1475.30/1457.76	o 5587
1475.30/1457.77	o 5585
1476.02/1458.43	o 5583
1477.27/1459.70	o 5581
1477.80/1460.12	o 5578
1477.80/1460.20	o 5575
1477.89/1460.30	o 5574
1477.99/1460.37	o 5573
1478.10/1460.48	o 5572
1498.55/1475.33	o 5569
1498.85/1475.62	o 5568
1499.26/1476.05	o 5567
1499.66/1476.44	o 5566
1500.85/1477.25	o 5565
1501.15/1477.58	o 5564
1501.55/1477.93	o 5563
1502.06/1478.44	o 5562
1502.36/1478.73	o 5561
1502.86/1479.26	o 5560
1503.36/1479.77	o 5559
1504.25/1480.33	o 5558
1504.75/1480.82	o 5557
1509.12/1484.78	o 5556
1509.33/1484.92	o 5555
1509.44/1485.09	o 5554
1509.63/1485.23	o 5553
1509.84/1485.41	o 5552
1510.04/1485.67	o 5551
1510.24/1485.80	o 5550
1510.34/1485.95	o 5549
1510.74/1486.33	o 5548
1510.84/1486.46	o 5547
1511.04/1486.62	o 5546
1514.46/1489.78	o 5545
1514.66/1489.92	o 5544
1516.53/1491.58	o 5543
1529.48/1503.34	o 5539
1529.58/1503.43	o 5538
1533.13/1506.71	o 5535
1545.15/1517.72	o 5532
1574.29/1544.49	o 5531
1596.86/1565.50	o 5530
1596.96/1565.64	o 5528
1597.06/1565.79	o 5527
1597.26/1565.93	o 5526
1597.37/1566.06	o 5525
1597.56/1566.20	o 5524
1597.66/1566.33	o 5523
1597.76/1566.48	o 5521
1597.96/1566.64	o 5520
1598.06/1566.79	o 5519
1598.26/1566.95	o 5518
1598.37/1567.09	o 5517
1598.75/1567.36	o 5516
1599.05/1567.49	o 5515
1599.25/1567.65	o 5514
1599.35/1567.79	o 5513
1599.55/1567.92	o 5512
1599.66/1568.09	o 5511
1599.85/1568.24	o 5510
1600.05/1568.40	o 5509
1600.15/1568.55	o 5508
1600.25/1568.69	o 5507
1600.45/1568.83	o 5506
1600.55/1568.97	o 5505
1600.66/1569.10	o 5504
1600.95/1569.31	o 5503
1601.05/1569.44	o 5502
1601.15/1569.57	o 5501
1601.45/1569.81	o 5500
1601.55/1569.99	o 5499
1601.85/1570.23	o 5497
1602.05/1570.42	o 5496
1602.25/1570.61	o 5495
1602.57/1570.99	o 5493
1606.79/1574.73	o 5492
1606.89/1574.87	o 5491
1607.10/1575.04	o 5490
1607.29/1575.22	o 5489
1607.40/1575.38	o 5488
1607.60/1575.56	o 5487
1607.80/1575.72	o 5486
1607.90/1575.87	o 5485
1608.11/1576.05	o 5484
1608.30/1576.20	o 5483
1608.40/1576.38	o 5482
1608.60/1576.52	o 5481
1608.70/1576.69	o 5480
1608.90/1576.83	o 5479
1609.50/1577.12	o 5478
1609.80/1577.48	o 5477
1610.00/1577.64	o 5475
1615.81/1583.09	o 5472
1616.40/1583.63	o 5471
1648.28/1611.31	o 5469
1648.58/1611.64	o 5467
1648.88/1611.98	o 5465
1649.28/1612.36	o 5463
1649.68/1612.71	o 5462
1649.99/1613.05	o 5461
1650.28/1613.38	o 5460
1650.71/1613.73	o 5458
1651.02/1614.07	o 5456
1651.41/1614.42	o 5455
1654.91/1617.96	o 5454
1655.44/1618.44	o 5453
1655.74/1618.78	o 5452
1656.15/1619.14	o 5451
1656.54/1619.57	o 5450
1656.94/1619.92	o 5449
1657.64/1620.63	o 5448
1658.44/1621.43	o 5447
1658.84/1621.81	o 5446
1659.15/1622.16	o 5445
1659.84/1622.89	o 5444
1660.27/1623.25	o 5443
1660.78/1623.79	o 5442
1661.48/1624.42	o 5441
1661.88/1624.85	o 5440
1662.28/1625.23	o 5439
1662.68/1625.69	o 5438
1663.38/1626.35	o 5437
1663.78/1626.78	o 5436
1664.19/1627.13	o 5435
1664.72/1627.60	o 5434
1665.32/1628.24	o 5433
1665.82/1628.77	o 5432
1666.23/1629.18	o 5431
1666.62/1629.55	o 5430
1667.13/1630.01	o 5429
1667.82/1630.70	o 5428
1668.04/1630.91	o 5426
1668.84/1631.74	o 5422
1668.94/1631.89	o 5418
1670.51/1633.33	o 5416
1670.51/1633.38	o 5414
1670.61/1633.43	o 5412
1671.71/1634.52	o 5410
1671.81/1634.69	o 5408
1672.11/1634.91	o 5407
1672.22/1635.03	o 5406
1672.32/1635.16	o 5404
1672.51/1635.35	o 5402
1672.61/1635.49	o 5400
1673.01/1635.81	o 5399
1673.11/1635.94	o 5397
1674.46/1637.28	o 5396
1674.86/1637.69	o 5395
1675.06/1637.84	o 5394
1675.37/1638.12	o 5393
1675.86/1638.68	o 5392
1676.06/1638.83	o 5391
1676.16/1638.99	o 5390
1676.56/1639.35	o 5389
1676.86/1639.67	o 5388
1677.06/1639.83	o 5387
1679.41/1642.13	o 5386
1679.50/1642.28	o 5385
1679.70/1642.43	o 5384
1680.00/1642.77	o 5383
1683.31/1646.03	o 5382
1683.41/1646.19	o 5381
1683.60/1646.36	o 5380
1683.83/1646.52	o 5379
1683.93/1646.68	o 5378
1684.13/1646.87	o 5377
1684.44/1647.19	o 5376
1684.64/1647.35	o 5375
1684.84/1647.55	o 5374
1685.74/1648.42	o 5373
1685.84/1648.58	o 5372
1688.51/1651.16	o 5368
1688.60/1651.28	o 5365
1688.95/1651.57	o 5362
1689.05/1651.66	o 5361
1689.15/1651.77	o 5359
1689.25/1651.83	o 5358
1690.05/1652.68	o 5357
1690.15/1652.79	o 5354
1690.25/1652.87	o 5353
1690.56/1653.17	o 5351
1690.65/1653.22	o 5350
1690.85/1653.44	o 5349
1690.96/1653.56	o 5348
1691.26/1653.80	o 5347
1691.26/1653.85	o 5346
1691.36/1653.91	o 5345
1712.39/1674.75	o 5344
1712.59/1674.95	o 5342
1712.80/1675.18	o 5341
1712.99/1675.39	o 5340
1713.19/1675.52	o 5339
1713.44/1675.77	o 5338
1713.75/1676.07	o 5337
1713.94/1676.25	o 5336
1715.85/1678.15	o 5333
1716.24/1678.54	o 5331
1716.85/1679.13	o 5329
1717.14/1679.48	o 5327
1717.34/1679.68	o 5325
1717.85/1680.11	o 5324
1718.64/1680.93	o 5323
1720.29/1682.54	o 5322
1720.39/1682.69	o 5321
1723.39/1685.62	o 5320
1724.75/1686.97	o 5319
1724.86/1687.10	o 5318
1731.40/1693.53	o 5317
1731.40/1693.58	o 5316
1731.51/1693.64	o 5315
1732.11/1694.24	o 5314
1732.21/1694.40	o 5313
1732.61/1694.75	o 5312
1733.46/1695.51	o 5311
1735.07/1697.13	o 5310
1735.16/1697.25	o 5308
1735.26/1697.36	o 5307
1735.36/1697.46	o 5304
1736.98/1699.05	o 5303
1737.57/1699.65	o 5301
1737.77/1699.81	o 5300
1737.87/1699.95	o 5297
1738.08/1700.11	o 5296
1739.13/1701.14	o 5295
1739.22/1701.29	o 5294
1740.82/1702.85	o 5293
1743.43/1705.42	o 5290
1743.53/1705.52	o 5289
1743.63/1705.62	o 5286
1743.63/1705.68	o 5285
1743.83/1705.82	o 5283
1743.93/1705.95	o 5282
1767.23/1726.62	o 5281
1767.43/1726.84	o 5280
1769.03/1728.45	o 5279
1769.23/1728.63	o 5278
1769.42/1728.85	o 5277
1770.52/1729.60	o 5276
1770.62/1729.78	o 5275
1770.82/1729.96	o 5274
1771.03/1730.15	o 5273
1773.53/1732.64	o 5272
1774.43/1733.59	o 5270
1774.73/1733.88	o 5268
1775.42/1734.28	o 5267
1775.72/1734.59	o 5266
1776.02/1734.86	o 5264
1776.43/1735.20	o 5263
1776.72/1735.55	o 5262
1777.02/1735.90	o 5261
1777.42/1736.20	o 5260
1777.72/1736.59	o 5259
1778.23/1737.02	o 5258
1778.52/1737.35	o 5257
1778.82/1737.60	o 5256
1779.13/1737.92	o 5255
1780.42/1738.99	o 5254
1780.72/1739.27	o 5252
1780.92/1739.46	o 5250
1781.42/1739.92	o 5248
1781.63/1740.11	o 5246
1781.72/1740.28	o 5244
1782.12/1740.63	o 5243
1785.42/1743.67	o 5242
1786.93/1745.15	o 5241
1787.32/1745.53	o 5240
1787.72/1745.96	o 5239
1788.32/1746.53	o 5238
1789.43/1747.60	o 5237
1790.24/1748.19	o 5236
1790.93/1748.84	o 5235
1794.14/1752.07	o 5234
1799.23/1756.82	o 5233
1803.23/1760.50	o 5232
1805.13/1762.19	o 5231
1805.52/1762.56	o 5230
1805.82/1762.84	o 5229
1806.13/1763.12	o 5228
1807.04/1764.05	o 5227
1807.33/1764.32	o 5226
1808.25/1765.23	o 5224
1808.85/1765.81	o 5223
1809.25/1766.27	o 5222
1810.15/1766.80	o 5220
1811.45/1768.13	o 5219
1811.84/1768.58	o 5217
1812.54/1769.20	o 5216
1816.75/1773.11	o 5213
1817.94/1774.38	o 5210
1818.24/1774.64	o 5208
1818.54/1774.98	o 5206
1818.94/1775.32	o 5204
1824.99/1778.38	o 5203
1825.09/1778.49	o 5202
1825.19/1778.57	o 5201
1825.39/1778.71	o 5200
1825.80/1779.16	o 5199
1825.89/1779.27	o 5197
1827.23/1780.56	o 5196
1831.17/1784.43	o 5195
1832.07/1785.37	o 5193
1832.47/1785.70	o 5192
1833.88/1787.13	o 5191
1834.30/1787.51	o 5189
1834.51/1787.79	o 5188
1835.41/1788.65	o 5187
1836.21/1789.48	o 5186
1836.51/1789.76	o 5185
1836.92/1790.17	o 5183
1837.21/1790.45	o 5182
1837.61/1790.82	o 5181
1838.32/1791.50	o 5180
1839.36/1792.59	o 5178
1839.56/1792.78	o 5177
1841.58/1794.75	o 5176
1841.78/1794.92	o 5175
1841.99/1795.16	o 5174
1843.82/1796.96	o 5172
1865.23/1818.11	o 5169
1867.82/1820.76	o 5167
1876.22/1829.04	o 5163
1876.42/1829.26	o 5161
1905.07/1857.69	o 5160
1908.67/1861.21	o 5159
1908.97/1861.55	o 5158
1909.58/1862.19	o 5157
1910.02/1862.53	o 5156
1918.77/1871.24	o 5155
1919.27/1871.70	o 5154
1919.72/1872.15	o 5153
1920.11/1872.59	o 5152
1922.31/1874.75	o 5151
1922.72/1875.18	o 5150
1924.66/1877.05	o 5149
1925.16/1877.52	o 5148
1925.56/1878.00	o 5147
1926.16/1878.50	o 5146
1926.56/1878.96	o 5145
1927.06/1879.44	o 5144
1927.46/1879.85	o 5143
1930.00/1882.40	o 5142
1931.00/1883.34	o 5141
1931.90/1884.24	o 5140
1932.82/1885.12	o 5139
1933.82/1886.15	o 5138
1934.96/1887.23	o 5137
1935.66/1887.99	o 5136
1936.66/1888.99	o 5135
1937.77/1890.09	o 5134
1938.96/1891.24	o 5133
1940.02/1892.27	o 5132
1947.27/1899.48	o 5131
1948.07/1900.27	o 5130
1950.51/1902.67	o 5129
1962.50/1914.51	o 5128
1963.20/1915.29	o 5127
1964.15/1916.15	o 5126
1964.94/1916.92	o 5125
1969.89/1921.84	o 5124
1970.10/1922.10	o 5123
1973.21/1925.12	o 5120
1973.80/1925.76	o 5119
1974.25/1926.14	o 5118
1975.04/1926.93	o 5116
1988.43/1940.24	o 5115
1988.94/1940.71	o 5114
1989.59/1941.35	o 5113
1990.40/1942.12	o 5112
1990.99/1942.80	o 5111
1997.34/1949.10	o 5110
1997.84/1949.55	o 5109
1998.24/1949.92	o 5108
1998.64/1950.38	o 5107
1999.14/1950.84	o 5106
1999.98/1951.67	o 5105
2001.18/1952.86	o 5104
2002.88/1954.59	o 5103
2006.23/1957.84	o 5102
2050.56/2000.49	o 5100
2050.77/2000.62	o 5099
2051.18/2001.03	o 5095
2051.57/2001.47	o 5094
2059.07/2008.65	o 5093
2061.67/2011.26	o 5092
2062.62/2012.09	o 5091
2064.52/2013.93	o 5090
2064.82/2014.24	o 5089
2065.52/2014.90	o 5088
2071.38/2020.62	o 5086
2071.79/2021.04	o 5084
2076.83/2025.94	o 5083
2077.88/2026.85	o 5082
2078.37/2027.38	o 5080
2078.87/2027.87	o 5079
2079.98/2028.93	o 5078
2080.58/2029.51	o 5075
2081.19/2030.15	o 5074
2082.28/2031.25	o 5072
2085.23/2034.03	o 5071
2093.43/2041.92	o 5069
2094.13/2042.67	o 5067
2095.13/2043.61	o 5066
2096.03/2044.51	o 5064
2096.73/2045.24	o 5063
2097.43/2045.96	o 5062
2097.93/2046.48	o 5061
2099.48/2047.89	o 5060
2100.49/2048.80	o 5059
2113.59/2061.62	o 5058
2114.46/2062.38	o 5057
2119.07/2066.97	o 5056
2121.02/2068.89	o 5054
2121.52/2069.33	o 5052
2122.12/2069.90	o 5051
2122.52/2070.37	o 5050
2122.62/2070.43	o 5048
2124.23/2072.09	o 5047
2146.08/2093.69	o 5044
2146.18/2093.77	o 5041
2158.39/2105.80	o 5037
2158.49/2105.90	o 5036
2158.79/2106.26	o 5034
2171.16/2118.48	o 5033
2172.01/2119.22	o 5032
2172.71/2119.93	o 5031
2173.41/2120.66	o 5030
2174.11/2121.32	o 5029
2174.91/2122.13	o 5028
2175.62/2122.84	o 5027
2176.21/2123.48	o 5026
2185.53/2132.68	o 5023
2212.55/2159.36	o 5022
2213.65/2160.45	o 5021
2218.50/2165.27	o 5020
2219.03/2165.73	o 5017
2219.33/2166.07	o 5016
2219.93/2166.68	o 5014
2220.23/2167.00	o 5012
2220.83/2167.50	o 5011
2221.13/2167.82	o 5010
2222.53/2169.21	o 5009
2228.33/2174.97	o 5008
2232.54/2179.17	o 5007
2233.89/2180.43	o 5006
2235.39/2181.94	o 5003
2235.69/2182.26	o 5002
2235.99/2182.56	o 5001
2236.49/2183.03	o 5000
2237.50/2184.02	o 4996
2237.70/2184.22	o 4994
2238.00/2184.53	o 4991
2240.16/2186.68	o 4989
2242.26/2188.77	o 4988
2246.17/2192.59	o 4987
2246.38/2192.77	o 4986
2246.58/2192.98	o 4985
2246.88/2193.20	o 4984
2253.05/2199.32	o 4982
2253.86/2200.12	o 4981
2255.29/2201.53	o 4980
2259.20/2205.46	o 4979
2259.96/2206.14	o 4978
2260.55/2206.75	o 4977
2261.05/2207.21	o 4976
2261.45/2207.66	o 4975
2262.25/2208.43	o 4974
2265.61/2211.76	o 4973
2266.51/2212.64	o 4971
2267.41/2213.55	o 4969
2268.22/2214.32	o 4967
2268.92/2215.09	o 4966
2269.42/2215.59	o 4964
2270.12/2216.27	o 4963
2270.89/2216.90	o 4961
2271.59/2217.66	o 4959
2288.96/2234.89	o 4957
2291.62/2237.43	o 4956
2294.23/2240.06	o 4955
2297.08/2242.84	o 4951
2297.18/2242.94	o 4947
2301.99/2247.61	o 4946
2302.49/2248.17	o 4945
2303.28/2248.98	o 4944
2304.08/2249.76	o 4942
2304.68/2250.37	o 4941
2305.08/2250.71	o 4939
2305.58/2251.25	o 4938
2306.08/2251.71	o 4935
2309.14/2254.78	o 4932
2310.50/2256.05	o 4931
2311.72/2257.21	o 4929
2312.12/2257.62	o 4927
2312.72/2258.21	o 4925
2333.64/2278.94	o 4923
2346.80/2292.00	o 4922
2352.66/2297.72	o 4920
2352.86/2297.97	o 4916
2359.32/2304.33	o 4915
2361.97/2306.94	o 4914
2365.08/2310.11	o 4913
2367.02/2311.96	o 4912
2368.02/2312.94	o 4911
2368.83/2313.70	o 4910
2371.29/2316.12	o 4909
2372.88/2317.71	o 4906
2373.08/2317.97	o 4905
2385.80/2330.56	o 4904
2387.26/2331.98	o 4903
2400.07/2344.60	s SATISFIABLE
2400.07/2344.61	v <instantiation>
2400.07/2344.61	v 	<list>
2400.07/2344.61	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[410] za1[411] za1[412] za1[413] za1[414] za1[415] za1[416] za1[417] za1[418] za1[419] za1[420] za1[421] za1[422] za1[423] za1[424] za1[425] za1[426] za1[427] za1[428] za1[429] za1[430] za1[431] za1[432] za1[433] za1[434] za1[435] za1[436] za1[437] za1[438] za1[439] za1[440] za1[441] za1[442] za1[443] za1[444] za1[445] za1[446] za1[447] za1[448] za1[449] za1[450] za1[451] za1[452] za1[453] za1[454] za1[455] za1[456] za1[457] za1[458] za1[459] za1[460] za1[461] za1[462] za1[463] za1[464] za1[465] za1[466] za1[467] za1[468] za1[469] za1[470] za1[471] za1[472] za1[473] za1[474] za1[475] za1[476] za1[477] za1[478] za1[479] za1[480] za1[481] za1[482] za1[483] za1[484] za1[485] za1[486] za1[487] za1[488] za1[489] za1[490] za1[491] za1[492] za1[493] za1[494] za1[495] za1[496] za1[497] za1[498] za1[499] za1[500] za1[501] za1[502] za1[503] za1[504] za1[505] za1[506] za1[507] za1[508] za1[509] za1[510] za1[511] za1[512] za1[513] za1[514] za1[515] za1[516] za1[517] za1[518] za1[519] za1[520] za1[521] za1[522] za1[523] za1[524] za1[525] za1[526] za1[527] za1[528] za1[529] za1[530] za1[531] za1[532] za1[533] za1[534] za1[535] za1[536] za1[537] za1[538] za1[539] za1[540] za1[541] za1[542] za1[543] za1[544] za1[545] za1[546] za1[547] za1[548] za1[549] za1[550] za1[551] za1[552] za1[553] za1[554] za1[555] za1[556] za1[557] za1[558] za1[559] za1[560] za1[561] za1[562] za1[563] za1[564] za1[565] za1[566] za1[567] za1[568] za1[569] za1[570] za1[571] za1[572] za1[573] za1[574] za1[575] za1[576] za1[577] za1[578] za1[579] za1[580] za1[581] za1[582] za1[583] za1[584] za1[585] za1[586] za1[587] za1[588] za1[589] za1[590] za1[591] za1[592] za1[593] za1[594] za1[595] za1[596] za1[597] za1[598] za1[599] za1[600] za1[601] za1[602] za1[603] za1[604] za1[605] za1[606] za1[607] za1[608] za1[609] za1[610] za1[611] za1[612] za1[613] za1[614] za1[615] za1[616] za1[617] za1[618] za1[619] za1[620] za1[621] za1[622] za1[623] za1[624] za1[625] za1[626] za1[627] za1[628] za1[629] za1[630] za1[631] za1[632] za1[633] za1[634] za1[635] za1[636] za1[637] za1[638] za1[639] za1[640] za1[641] za1[642] za1[643] za1[644] za1[645] za1[646] za1[647] za1[648] za1[649] za1[650] za1[651] za1[652] za1[653] za1[654] za1[655] za1[656] za1[657] za1[658] za1[659] za1[660] za1[661] za1[662] za1[663] za1[664] za1[665] za1[666] za1[667] za1[668] za1[669] za1[670] za1[671] za1[672] za1[673] za1[674] za1[675] za1[676] za1[677] za1[678] za1[679] za1[680] za1[681] za1[682] za1[683] za1[684] za1[685] za1[686] za1[687] za1[688] za1[689] za1[690] za1[691] za1[692] za1[693] za1[694] za1[695] za1[696] za1[697] za1[698] za1[699] za1[700] za1[701] za1[702] za1[703] za1[704] za1[705] za1[706] za1[707] za1[708] za1[709] za1[710] za1[711] za1[712] za1[713] za1[714] za1[715] za1[716] za1[717] za1[718] za1[719] za1[720] za1[721] za1[722] za1[723] za1[724] za1[725] za1[726] za1[727] za1[728] za1[729] za1[730] za1[731] za1[732] za1[733] za1[734] za1[735] za1[736] za1[737] za1[738] za1[739] za1[740] za1[741] za1[742] za1[743] za1[744] za1[745] za1[746] za1[747] za1[748] za1[749] za1[750] za1[751] za1[752] za1[753] za1[754] za1[755] za1[756] za1[757] za1[758] za1[759] za1[760] za1[761] za1[762] za1[763] za1[764] za1[765] za1[766] za1[767] za1[768] za1[769] za1[770] za1[771] za1[772] za1[773] za1[774] za1[775] za1[776] za1[777] za1[778] za1[779] za1[780] za1[781] za1[782] za1[783] za1[784] za1[785] za1[786] za1[787] za1[788] za1[789] za1[790] za1[791] za1[792] za1[793] za1[794] za1[795] za1[796] za1[797] za1[798] za1[799] za1[800] za1[801] za1[802] za1[803] za1[804] za1[805] za1[806] za1[807] za1[808] za1[809] za1[810] za1[811] za1[812] za1[813] za1[814] za1[815] za1[816] za1[817] za1[818] za1[819] za1[820] za1[821] za1[822] za1[823] za1[824] za1[825] za1[826] za1[827] za1[828] za1[829] za1[830] za1[831] za1[832] za1[833] za1[834] za1[835] za1[836] za1[837] za1[838] za1[839] za1[840] za1[841] za1[842] za1[843] za1[844] za1[845] za1[846] za1[847] za1[848] za1[849] za1[850] za1[851] za1[852] za1[853] za1[854] za1[855] za1[856] za1[857] za1[858] za1[859] za1[860] za1[861] za1[862] za1[863] za1[864] za1[865] za1[866] za1[867] za1[868] za1[869] za1[870] za1[871] za1[872] za1[873] za1[874] za1[875] za1[876] za1[877] za1[878] za1[879] za1[880] za1[881] za1[882] za1[883] za1[884] za1[885] za1[886] za1[887] za1[888] za1[889] za1[890] za1[891] za1[892] za1[893] za1[894] za1[895] za1[896] za1[897] za1[898] za1[899] za1[900] za1[901] za1[902] za1[903] za1[904] za1[905] za1[906] za1[907] za1[908] za1[909] za1[910] za1[911] za1[912] za1[913] za1[914] za1[915] za1[916] za1[917] za1[918] za1[919] za1[920] za1[921] za1[922] za1[923] za1[924] za1[925] za1[926] za1[927] za1[928] za1[929] za1[930] za1[931] za1[932] za1[933] za1[934] za1[935] za1[936] za1[937] za1[938] za1[939] za1[940] za1[941] za1[942] za1[943] za1[944] za1[945] za1[946] za1[947] za1[948] za1[949] za1[950] za1[951] za1[952] za1[953] za1[954] za1[955] za1[956] za1[957] za1[958] za1[959] za1[960] za1[961] za1[962] za1[963] za1[964] za1[965] za1[966] za1[967] za1[968] za1[969] za1[970] za1[971] za1[972] za1[973] za1[974] za1[975] za1[976] za1[977] za1[978] za1[979] za1[980] za1[981] za1[982] za1[983] za1[984] za1[985] za1[986] za1[987] za1[988] za1[989] za1[990] za1[991] za1[992] za1[993] za1[994] za1[995] za1[996] za1[997] za1[998] za1[999] za1[1000] za1[1001] za1[1002] za1[1003] za1[1004] za1[1005] za1[1006] za1[1007] za1[1008] za1[1009] za1[1010] za1[1011] za1[1012] za1[1013] za1[1014] za1[1015] za1[1016] za1[1017] za1[1018] za1[1019] za1[1020] za1[1021] za1[1022] za1[1023] za1[1024] za1[1025] za1[1026] za1[1027] za1[1028] za1[1029] za1[1030] za1[1031] za1[1032] za1[1033] za1[1034] za1[1035] za1[1036] za1[1037] za1[1038] za1[1039] za1[1040] za1[1041] za1[1042] za1[1043] za1[1044] za1[1045] za1[1046] za1[1047] za1[1048] za1[1049] za1[1050] za1[1051] za1[1052] za1[1053] za1[1054] za1[1055] za1[1056] za1[1057] za1[1058] za1[1059] za1[1060] za1[1061] za1[1062] za1[1063] za1[1064] za1[1065] za1[1066] za1[1067] za1[1068] za1[1069] za1[1070] za1[1071] za1[1072] za1[1073] za1[1074] za1[1075] za1[1076] za1[1077] za1[1078] za1[1079] za1[1080] za1[1081] za1[1082] za1[1083] za1[1084] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za2[329] za2[330] za2[331] za2[332] za2[333] za2[334] za2[335] za2[336] za2[337] za2[338] za2[339] za2[340] za2[341] za2[342] za2[343] za2[344] za2[345] za2[346] za2[347] za2[348] za2[349] za2[350] za2[351] za2[352] za2[353] za2[354] za2[355] za2[356] za2[357] za2[358] za2[359] za2[360] za2[361] za2[362] za2[363] za2[364] za2[365] za2[366] za2[367] za2[368] za2[369] za2[370] za2[371] za2[372] za2[373] za2[374] za2[375] za2[376] za2[377] za2[378] za2[379] za2[380] za2[381] za2[382] za2[383] za2[384] za2[385] za2[386] za2[387] za2[388] za2[389] za2[390] za2[391] za2[392] za2[393] za2[394] za2[395] za2[396] za2[397] za2[398] za2[399] za2[400] za2[401] za2[402] za2[403] za2[404] za2[405] za2[406] za2[407] za2[408] za2[409] za2[410] za2[411] za2[412] za2[413] za2[414] za2[415] za2[416] za2[417] za2[418] za2[419] za2[420] za2[421] za2[422] za2[423] za2[424] za2[425] za2[426] za2[427] za2[428] za2[429] za2[430] za2[431] za2[432] za2[433] za2[434] za2[435] za2[436] za2[437] za2[438] za2[439] za2[440] za2[441] za2[442] za2[443] za2[444] za2[445] za2[446] za2[447] za2[448] za2[449] za2[450] za2[451] za2[452] za2[453] za2[454] za2[455] za2[456] za2[457] za2[458] za2[459] za2[460] za2[461] za2[462] za2[463] za2[464] za2[465] za2[466] za2[467] za2[468] za2[469] za2[470] za2[471] za2[472] za2[473] za2[474] za2[475] za2[476] za2[477] za2[478] za2[479] za2[480] za2[481] za2[482] za2[483] za2[484] za2[485] za2[486] za2[487] za2[488] za2[489] za2[490] za2[491] za2[492] za2[493] za2[494] za2[495] za2[496] za2[497] za2[498] za2[499] za2[500] za2[501] za2[502] za2[503] za2[504] za2[505] za2[506] za2[507] za2[508] za2[509] za2[510] za2[511] za2[512] za2[513] za2[514] za2[515] za2[516] za2[517] za2[518] za2[519] za2[520] za2[521] za2[522] za2[523] za2[524] za2[525] za2[526] za2[527] za2[528] za2[529] za2[530] za2[531] za2[532] za2[533] za2[534] za2[535] za2[536] za2[537] za2[538] za2[539] za2[540] za2[541] za2[542] za2[543] za2[544] za2[545] za2[546] za2[547] za2[548] za2[549] za2[550] za2[551] za2[552] za2[553] za2[554] za2[555] za2[556] za2[557] za2[558] za2[559] za2[560] za2[561] za2[562] za2[563] za2[564] za2[565] za2[566] za2[567] za2[568] za2[569] za2[570] za2[571] za2[572] za2[573] za2[574] za2[575] za2[576] za2[577] za2[578] za2[579] za2[580] za2[581] za2[582] za2[583] za2[584] za2[585] za2[586] za2[587] za2[588] za2[589] za2[590] za2[591] za2[592] za2[593] za2[594] za2[595] za2[596] za2[597] za2[598] za2[599] za2[600] za2[601] za2[602] za2[603] za2[604] za2[605] za2[606] za2[607] za2[608] za2[609] za2[610] za2[611] za2[612] za2[613] za2[614] za2[615] za2[616] za2[617] za2[618] za2[619] za2[620] za2[621] za2[622] za2[623] za2[624] za2[625] za2[626] za2[627] za2[628] za2[629] za2[630] za2[631] za2[632] za2[633] za2[634] za2[635] za2[636] za2[637] za2[638] za2[639] za2[640] za2[641] za2[642] za2[643] za2[644] za2[645] za2[646] za2[647] za2[648] za2[649] za2[650] za2[651] za2[652] za2[653] za2[654] za2[655] za2[656] za2[657] za2[658] za2[659] za2[660] za2[661] za2[662] za2[663] za2[664] za2[665] za2[666] za2[667] za2[668] za2[669] za2[670] za2[671] za2[672] za2[673] za2[674] za2[675] za2[676] za2[677] za2[678] za2[679] za2[680] za2[681] za2[682] za2[683] za2[684] za2[685] za2[686] za2[687] za2[688] za2[689] za2[690] za2[691] za2[692] za2[693] za2[694] za2[695] za2[696] za2[697] za2[698] za2[699] za2[700] za2[701] za2[702] za2[703] za2[704] za2[705] za2[706] za2[707] za2[708] za2[709] za2[710] za2[711] za2[712] za2[713] za2[714] za2[715] za2[716] za2[717] za2[718] za2[719] za2[720] za2[721] za2[722] za2[723] za2[724] za2[725] za2[726] za2[727] za2[728] za2[729] za2[730] za2[731] za2[732] za2[733] za2[734] za2[735] za2[736] za2[737] za2[738] za2[739] za2[740] za2[741] za2[742] za2[743] za2[744] za2[745] za2[746] za2[747] za2[748] za2[749] za2[750] za2[751] za2[752] za2[753] za2[754] za2[755] za2[756] za2[757] za2[758] za2[759] za2[760] za2[761] za2[762] za2[763] za2[764] za2[765] za2[766] za2[767] za2[768] za2[769] za2[770] za2[771] za2[772] za2[773] za2[774] za2[775] za2[776] za2[777] za2[778] za2[779] za2[780] za2[781] za2[782] za2[783] za2[784] za2[785] za2[786] za2[787] za2[788] za2[789] za2[790] za2[791] za2[792] za2[793] za2[794] za2[795] za2[796] za2[797] za2[798] za2[799] za2[800] za2[801] za2[802] za2[803] za2[804] za2[805] za2[806] za2[807] za2[808] za2[809] za2[810] za2[811] za2[812] za2[813] za2[814] za2[815] za2[816] za2[817] za2[818] za2[819] za2[820] za2[821] za2[822] za2[823] za2[824] za2[825] za2[826] za2[827] za2[828] za2[829] za2[830] za2[831] za2[832] za2[833] za2[834] za2[835] za2[836] za2[837] za2[838] za2[839] za2[840] za2[841] za2[842] za2[843] za2[844] za2[845] za2[846] za2[847] za2[848] za2[849] za2[850] za2[851] za2[852] za2[853] za2[854] za2[855] za2[856] za2[857] za2[858] za2[859] za2[860] za2[861] za2[862] za2[863] za2[864] za2[865] za2[866] za2[867] za2[868] za2[869] za2[870] za2[871] za2[872] za2[873] za2[874] za2[875] za2[876] za2[877] za2[878] za2[879] za2[880] za2[881] za2[882] za2[883] za2[884] za2[885] za2[886] za2[887] za2[888] za2[889] za2[890] za2[891] za2[892] za2[893] za2[894] za2[895] za2[896] za2[897] za2[898] za2[899] za2[900] za2[901] za2[902] za2[903] za2[904] za2[905] za2[906] za2[907] za2[908] za2[909] za2[910] za2[911] za2[912] za2[913] za2[914] za2[915] za2[916] za2[917] za2[918] za2[919] za2[920] za2[921] za2[922] za2[923] za2[924] za2[925] za2[926] za2[927] za2[928] za2[929] za2[930] za2[931] za2[932] za2[933] za2[934] za2[935] za2[936] za2[937] za2[938] za2[939] za2[940] za2[941] za2[942] za2[943] za2[944] za2[945] za2[946] za2[947] za2[948] za2[949] za2[950] za2[951] za2[952] za2[953] za2[954] za2[955] za2[956] za2[957] za2[958] za2[959] za2[960] za2[961] za2[962] za2[963] za2[964] za2[965] za2[966] za2[967] za2[968] za2[969] za2[970] za2[971] za2[972] za2[973] za2[974] za2[975] za2[976] za2[977] za2[978] za2[979] za2[980] za2[981] za2[982] za2[983] za2[984] za2[985] za2[986] za2[987] za2[988] za2[989] za2[990] za2[991] za2[992] za2[993] za2[994] za2[995] za2[996] za2[997] za2[998] za2[999] za2[1000] za2[1001] za2[1002] za2[1003] za2[1004] za2[1005] za2[1006] za2[1007] za2[1008] za2[1009] za2[1010] za2[1011] za2[1012] za2[1013] za2[1014] za2[1015] za2[1016] za2[1017] za2[1018] za2[1019] za2[1020] za2[1021] za2[1022] za2[1023] za2[1024] za2[1025] za2[1026] za2[1027] za2[1028] za2[1029] za2[1030] za2[1031] za2[1032] za2[1033] za2[1034] za2[1035] za2[1036] za2[1037] za2[1038] za2[1039] za2[1040] za2[1041] za2[1042] za2[1043] za2[1044] za2[1045] za2[1046] za2[1047] za2[1048] za2[1049] za2[1050] za2[1051] za2[1052] za2[1053] za2[1054] za2[1055] za2[1056] za2[1057] za2[1058] za2[1059] za2[1060] za2[1061] za2[1062] za2[1063] za2[1064] za2[1065] za2[1066] za2[1067] za2[1068] za2[1069] za2[1070] za2[1071] za2[1072] za2[1073] za2[1074] za2[1075] za2[1076] za2[1077] za2[1078] za2[1079] za2[1080] za2[1081] za2[1082] za2[1083] za2[1084] za2[1085] za2[1086] za2[1087] za2[1088] za2[1089] za2[1090] za2[1091] za2[1092] za2[1093] za2[1094] za2[1095] za2[1096] za2[1097] za2[1098] za2[1099] za2[1100] za2[1101] za2[1102] za2[1103] za2[1104] za2[1105] za2[1106] za2[1107] za2[1108] za2[1109] za2[1110] za2[1111] za2[1112] za2[1113] za2[1114] za2[1115] za2[1116] za2[1117] za2[1118] za2[1119] za2[1120] za2[1121] za2[1122] za2[1123] za2[1124] za2[1125] za2[1126] za2[1127] za2[1128] za2[1129] za2[1130] za2[1131] za2[1132] za2[1133] za2[1134] za2[1135] za2[1136] za2[1137] za2[1138] za2[1139] za2[1140] za2[1141] za2[1142] za2[1143] za2[1144] za2[1145] za2[1146] za2[1147] za2[1148] za2[1149] za2[1150] za2[1151] za2[1152] za2[1153] za2[1154] za2[1155] za2[1156] za2[1157] za2[1158] za2[1159] za2[1160] za2[1161] za2[1162] za2[1163] za2[1164] za2[1165] za2[1166] za2[1167] za2[1168] za2[1169] za2[1170] za2[1171] za2[1172] za2[1173] za2[1174] za2[1175] za2[1176] za2[1177] za2[1178] za2[1179] za2[1180] za2[1181] za2[1182] za2[1183] za2[1184] za2[1185] za2[1186] za2[1187] za2[1188] za2[1189] za2[1190] za2[1191] za2[1192] za2[1193] za2[1194] za2[1195] za2[1196] za2[1197] za2[1198] za2[1199] za2[1200] za2[1201] za2[1202] za2[1203] za2[1204] za2[1205] za2[1206] za2[1207] za2[1208] za2[1209] za2[1210] za2[1211] za2[1212] za2[1213] za2[1214] za2[1215] za2[1216] za2[1217] za2[1218] za2[1219] za2[1220] za2[1221] za2[1222] za2[1223] za2[1224] za2[1225] za2[1226] za2[1227] za2[1228] za2[1229] za2[1230] za2[1231] za2[1232] za2[1233] za2[1234] za2[1235] za2[1236] za2[1237] za2[1238] za2[1239] za2[1240] za2[1241] za2[1242] za2[1243] za2[1244] za2[1245] za2[1246] za2[1247] za2[1248] za2[1249] za2[1250] za2[1251] za2[1252] za2[1253] za2[1254] za2[1255] za2[1256] za2[1257] za2[1258] za2[1259] za2[1260] za2[1261] za2[1262] za2[1263] za2[1264] za2[1265] za2[1266] za2[1267] za2[1268] za2[1269] za2[1270] za2[1271] za2[1272] za2[1273] za2[1274] za2[1275] za2[1276] za2[1277] za2[1278] za2[1279] za2[1280] za2[1281] za2[1282] za2[1283] za2[1284] za2[1285] za2[1286] za2[1287] za2[1288] za2[1289] za2[1290] za2[1291] za2[1292] za2[1293] za2[1294] za2[1295] za2[1296] za2[1297] za2[1298] za2[1299] za2[1300] za2[1301] za2[1302] za2[1303] za2[1304] za2[1305] za2[1306] za2[1307] za2[1308] za2[1309] za2[1310] za2[1311] za2[1312] za2[1313] za2[1314] za2[1315] za2[1316] za2[1317] za2[1318] za2[1319] za2[1320] za2[1321] za2[1322] za2[1323] za2[1324] za2[1325] za2[1326] za2[1327] za2[1328] za2[1329] za2[1330] za2[1331] za2[1332] za2[1333] za2[1334] za2[1335] za2[1336] za2[1337] za2[1338] za2[1339] za2[1340] za2[1341] za2[1342] za2[1343] za2[1344] za2[1345] za2[1346] za2[1347] za2[1348] za2[1349] za2[1350] za2[1351] za2[1352] za2[1353] za2[1354] za2[1355] za2[1356] za2[1357] za2[1358] za2[1359] za2[1360] za2[1361] za2[1362] za2[1363] za2[1364] za2[1365] za2[1366] za2[1367] za2[1368] za2[1369] za2[1370] za2[1371] za2[1372] za2[1373] za2[1374] za2[1375] za2[1376] za2[1377] za2[1378] za2[1379] za2[1380] za2[1381] za2[1382] za2[1383] za2[1384] za2[1385] za2[1386] za2[1387] za2[1388] za2[1389] za2[1390] za2[1391] za2[1392] za2[1393] za2[1394] za2[1395] za2[1396] za2[1397] za2[1398] za2[1399] za2[1400] za2[1401] za2[1402] za2[1403] za2[1404] za2[1405] za2[1406] za2[1407] za2[1408] za2[1409] za2[1410] za2[1411] za2[1412] za2[1413] za2[1414] za2[1415] za2[1416] za2[1417] za2[1418] za2[1419] za2[1420] za2[1421] za2[1422] za2[1423] za2[1424] za2[1425] za2[1426] za2[1427] za2[1428] za2[1429] za2[1430] za2[1431] za2[1432] za2[1433] za2[1434] za2[1435] za2[1436] za2[1437] za2[1438] za2[1439] za2[1440] za2[1441] za2[1442] za2[1443] za2[1444] za2[1445] za2[1446] za2[1447] za2[1448] za2[1449] za2[1450] za2[1451] za2[1452] za2[1453] za2[1454] za2[1455] za2[1456] za2[1457] za2[1458] za2[1459] za2[1460] za2[1461] za2[1462] za2[1463] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[290] za3[291] za3[292] za3[293] za3[294] za3[295] za3[296] za3[297] za3[298] za3[299] za3[300] za3[301] za3[302] za3[303] za3[304] za3[305] za3[306] za3[307] za3[308] za3[309] za3[310] za3[311] za3[312] za3[313] za3[314] za3[315] za3[316] za3[317] za3[318] za3[319] za3[320] za3[321] za3[322] za3[323] za3[324] za3[325] za3[326] za3[327] za3[328] za3[329] za3[330] za3[331] za3[332] za3[333] za3[334] za3[335] za3[336] za3[337] za3[338] za3[339] za3[340] za3[341] za3[342] za3[343] za3[344] za3[345] za3[346] za3[347] za3[348] za3[349] za3[350] za3[351] za3[352] za3[353] za3[354] za3[355] za3[356] za3[357] za3[358] za3[359] za3[360] za3[361] za3[362] za3[363] za3[364] za3[365] za3[366] za3[367] za3[368] za3[369] za3[370] za3[371] za3[372] za3[373] za3[374] za3[375] za3[376] za3[377] za3[378] za3[379] za3[380] za3[381] za3[382] za3[383] za3[384] za3[385] za3[386] za3[387] za3[388] za3[389] za3[390] za3[391] za3[392] za3[393] za3[394] za3[395] za3[396] za3[397] za3[398] za3[399] za3[400] za3[401] za3[402] za3[403] za3[404] za3[405] za3[406] za3[407] za3[408] za3[409] za3[410] za3[411] za3[412] za3[413] za3[414] za3[415] za3[416] za3[417] za3[418] za3[419] za3[420] za3[421] za3[422] za3[423] za3[424] za3[425] za3[426] za3[427] za3[428] za3[429] za3[430] za3[431] za3[432] za3[433] za3[434] za3[435] za3[436] za3[437] za3[438] za3[439] za3[440] za3[441] za3[442] za3[443] za3[444] za3[445] za3[446] za3[447] za3[448] za3[449] za3[450] za3[451] za3[452] za3[453] za3[454] za3[455] za3[456] za3[457] za3[458] za3[459] za3[460] za3[461] za3[462] za3[463] za3[464] za3[465] za3[466] za3[467] za3[468] za3[469] za3[470] za3[471] za3[472] za3[473] za3[474] za3[475] za3[476] za3[477] za3[478] za3[479] za3[480] za3[481] za3[482] za3[483] za3[484] za3[485] za3[486] za3[487] za3[488] za3[489] za3[490] za3[491] za3[492] za3[493] za3[494] za3[495] za3[496] za3[497] za3[498] za3[499] za3[500] za3[501] za3[502] za3[503] za3[504] za3[505] za3[506] za3[507] za3[508] za3[509] za3[510] za3[511] za3[512] za3[513] za3[514] za3[515] za3[516] za3[517] za3[518] za3[519] za3[520] za3[521] za3[522] za3[523] za3[524] za3[525] za3[526] za3[527] za3[528] za3[529] za3[530] za3[531] za3[532] za3[533] za3[534] za3[535] za3[536] za3[537] za3[538] za3[539] za3[540] za3[541] za3[542] za3[543] za3[544] za3[545] za3[546] za3[547] za3[548] za3[549] za3[550] za3[551] za3[552] za3[553] za3[554] za3[555] za3[556] za3[557] za3[558] za3[559] za3[560] za3[561] za3[562] za3[563] za3[564] za3[565] za3[566] za3[567] za3[568] za3[569] za3[570] za3[571] za3[572] za3[573] za3[574] za3[575] za3[576] za3[577] za3[578] za3[579] za3[580] za3[581] za3[582] za3[583] za3[584] za3[585] za3[586] za3[587] za3[588] za3[589] za3[590] za3[591] za3[592] za3[593] za3[594] za3[595] za3[596] za3[597] za3[598] za3[599] za3[600] za3[601] za3[602] za3[603] za3[604] za3[605] za3[606] za3[607] za3[608] za3[609] za3[610] za3[611] za3[612] za3[613] za3[614] za3[615] za3[616] za3[617] za3[618] za3[619] za3[620] za3[621] za3[622] za3[623] za3[624] za3[625] za3[626] za3[627] za3[628] za3[629] za3[630] za3[631] za3[632] za3[633] za3[634] za3[635] za3[636] za3[637] za3[638] za3[639] za3[640] za3[641] za3[642] za3[643] za3[644] za3[645] za3[646] za3[647] za3[648] za3[649] za3[650] za3[651] za3[652] za3[653] za3[654] za3[655] za3[656] za3[657] za3[658] za3[659] za3[660] za3[661] za3[662] za3[663] za3[664] za3[665] za3[666] za3[667] za3[668] za3[669] za3[670] za3[671] za3[672] za3[673] za3[674] za3[675] za3[676] za3[677] za3[678] za3[679] za3[680] za3[681] za3[682] za3[683] za3[684] za3[685] za3[686] za3[687] za3[688] za3[689] za3[690] za3[691] za3[692] za3[693] za3[694] za3[695] za3[696] za3[697] za3[698] za3[699] za3[700] za3[701] za3[702] za3[703] za3[704] za3[705] za3[706] za3[707] za3[708] za3[709] za3[710] za3[711] za3[712] za3[713] za3[714] za3[715] za3[716] za3[717] za3[718] za3[719] za3[720] za3[721] za3[722] za3[723] za3[724] za3[725] za3[726] za3[727] za3[728] za3[729] za3[730] za3[731] za3[732] za3[733] za3[734] za3[735] za3[736] za3[737] za3[738] za3[739] za3[740] za3[741] za3[742] za3[743] za3[744] za3[745] za3[746] za3[747] za3[748] za3[749] za3[750] za3[751] za3[752] za3[753] za3[754] za3[755] za3[756] za3[757] za3[758] za3[759] za3[760] za3[761] za3[762] za3[763] za3[764] za3[765] za3[766] za3[767] za3[768] za3[769] za3[770] za3[771] za3[772] za3[773] za3[774] za3[775] za3[776] za3[777] za3[778] za3[779] za3[780] za3[781] za3[782] za3[783] za3[784] za3[785] za3[786] za3[787] za3[788] za3[789] za3[790] za3[791] za3[792] za3[793] za3[794] za3[795] za3[796] za3[797] za3[798] za3[799] za3[800] za3[801] za3[802] za3[803] za3[804] za3[805] za3[806] za3[807] za3[808] za3[809] za3[810] za3[811] za3[812] za3[813] za3[814] za3[815] za3[816] za3[817] za3[818] za3[819] za3[820] za3[821] za3[822] za3[823] za3[824] za3[825] za3[826] za3[827] za3[828] za3[829] za3[830] za3[831] za3[832] za3[833] za3[834] za3[835] za3[836] za3[837] za3[838] za3[839] za3[840] za3[841] za3[842] za3[843] za3[844] za3[845] za3[846] za3[847] za3[848] za3[849] za3[850] za3[851] za3[852] za3[853] za3[854] za3[855] za3[856] za3[857] za3[858] za3[859] za3[860] za3[861] za3[862] za3[863] za3[864] za3[865] za3[866] za3[867] za3[868] za3[869] za3[870] za3[871] za3[872] za3[873] za3[874] za3[875] za3[876] za3[877] za3[878] za3[879] za3[880] za3[881] za3[882] za3[883] za3[884] za3[885] za3[886] za3[887] za3[888] za3[889] za3[890] za3[891] za3[892] za3[893] za3[894] za3[895] za3[896] za3[897] za3[898] za3[899] za3[900] za3[901] za3[902] za3[903] za3[904] za3[905] za3[906] za3[907] za3[908] za3[909] za3[910] za3[911] za3[912] za3[913] za3[914] za3[915] za3[916] za3[917] za3[918] za3[919] za3[920] za3[921] za3[922] za3[923] za3[924] za3[925] za3[926] za3[927] za3[928] za3[929] za3[930] za3[931] za3[932] za3[933] za3[934] za3[935] za3[936] za3[937] za3[938] za3[939] za3[940] za3[941] za3[942] za3[943] za3[944] za3[945] za3[946] za3[947] za3[948] za3[949] za3[950] za3[951] za3[952] za3[953] za3[954] za3[955] za3[956] za3[957] za3[958] za3[959] za3[960] za3[961] za3[962] za3[963] za3[964] za3[965] za3[966] za3[967] za3[968] za3[969] za3[970] za3[971] za3[972] za3[973] za3[974] za3[975] za3[976] za3[977] za3[978] za3[979] za3[980] za3[981] za3[982] za3[983] za3[984] za3[985] za3[986] za3[987] za3[988] za3[989] za3[990] za3[991] za3[992] za3[993] za3[994] za3[995] za3[996] za3[997] za3[998] za3[999] za3[1000] za3[1001] za3[1002] za3[1003] za3[1004] za3[1005] za3[1006] za3[1007] za3[1008] za3[1009] za3[1010] za3[1011] za3[1012] za3[1013] za3[1014] za3[1015] za3[1016] za3[1017] za3[1018] za3[1019] za3[1020] za3[1021] za3[1022] za3[1023] za3[1024] za3[1025] za3[1026] za3[1027] za3[1028] za3[1029] za3[1030] za3[1031] za3[1032] za3[1033] za3[1034] za3[1035] za3[1036] za3[1037] za3[1038] za3[1039] za3[1040] za3[1041] za3[1042] za3[1043] za3[1044] za3[1045] za3[1046] za3[1047] za3[1048] za3[1049] za3[1050] za3[1051] za3[1052] za3[1053] za3[1054] za3[1055] za3[1056] za3[1057] za3[1058] za3[1059] za3[1060] za3[1061] za3[1062] za3[1063] za3[1064] za3[1065] za3[1066] za3[1067] za3[1068] za3[1069] za3[1070] za3[1071] za3[1072] za3[1073] za3[1074] za3[1075] za3[1076] za3[1077] za3[1078] za3[1079] za3[1080] za3[1081] za3[1082] za3[1083] za3[1084] za3[1085] za3[1086] za3[1087] za3[1088] za3[1089] za3[1090] za3[1091] za3[1092] za3[1093] za3[1094] za3[1095] za3[1096] za3[1097] za3[1098] za3[1099] za3[1100] za3[1101] za3[1102] za3[1103] za3[1104] za3[1105] za3[1106] za3[1107] za3[1108] za3[1109] za3[1110] za3[1111] za3[1112] za3[1113] za3[1114] za3[1115] za3[1116] za3[1117] za3[1118] za3[1119] za3[1120] za3[1121] za3[1122] za3[1123] za3[1124] za3[1125] za3[1126] za3[1127] za3[1128] za3[1129] za3[1130] za3[1131] za3[1132] za3[1133] za3[1134] za3[1135] za3[1136] za3[1137] za3[1138] za3[1139] za3[1140] za3[1141] za3[1142] za3[1143] za3[1144] za3[1145] za3[1146] za3[1147] za3[1148] za3[1149] za3[1150] za3[1151] za3[1152] za3[1153] za3[1154] za3[1155] za3[1156] za3[1157] za3[1158] za3[1159] za3[1160] za3[1161] za3[1162] za3[1163] za3[1164] za3[1165] za3[1166] za3[1167] za3[1168] za3[1169] za3[1170] za3[1171] za3[1172] za3[1173] za3[1174] za3[1175] za3[1176] za3[1177] za3[1178] za3[1179] za3[1180] za3[1181] za3[1182] za3[1183] za3[1184] za3[1185] za3[1186] za3[1187] za3[1188] za3[1189] za3[1190] za3[1191] za3[1192] za3[1193] za3[1194] za3[1195] za3[1196] za3[1197] za3[1198] za3[1199] za3[1200] za3[1201] za3[1202] za3[1203] za3[1204] za3[1205] za3[1206] za3[1207] za3[1208] za3[1209] za3[1210] za3[1211] za3[1212] za3[1213] za3[1214] za3[1215] za3[1216] za3[1217] za3[1218] za3[1219] za3[1220] za3[1221] za3[1222] za3[1223] za3[1224] za3[1225] za3[1226] za3[1227] za3[1228] za3[1229] za3[1230] za3[1231] za3[1232] za3[1233] za3[1234] za3[1235] za3[1236] za3[1237] za3[1238] za3[1239] za3[1240] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[380] za4[381] za4[382] za4[383] za4[384] za4[385] za4[386] za4[387] za4[388] za4[389] za4[390] za4[391] za4[392] za4[393] za4[394] za4[395] za4[396] za4[397] za4[398] za4[399] za4[400] za4[401] za4[402] za4[403] za4[404] za4[405] za4[406] za4[407] za4[408] za4[409] za4[410] za4[411] za4[412] za4[413] za4[414] za4[415] za4[416] za4[417] za4[418] za4[419] za4[420] za4[421] za4[422] za4[423] za4[424] za4[425] za4[426] za4[427] za4[428] za4[429] za4[430] za4[431] za4[432] za4[433] za4[434] za4[435] za4[436] za4[437] za4[438] za4[439] za4[440] za4[441] za4[442] za4[443] za4[444] za4[445] za4[446] za4[447] za4[448] za4[449] za4[450] za4[451] za4[452] za4[453] za4[454] za4[455] za4[456] za4[457] za4[458] za4[459] za4[460] za4[461] za4[462] za4[463] za4[464] za4[465] za4[466] za4[467] za4[468] za4[469] za4[470] za4[471] za4[472] za4[473] za4[474] za4[475] za4[476] za4[477] za4[478] za4[479] za4[480] za4[481] za4[482] za4[483] za4[484] za4[485] za4[486] za4[487] za4[488] za4[489] za4[490] za4[491] za4[492] za4[493] za4[494] za4[495] za4[496] za4[497] za4[498] za4[499] za4[500] za4[501] za4[502] za4[503] za4[504] za4[505] za4[506] za4[507] za4[508] za4[509] za4[510] za4[511] za4[512] za4[513] za4[514] za4[515] za4[516] za4[517] za4[518] za4[519] za4[520] za4[521] za4[522] za4[523] za4[524] za4[525] za4[526] za4[527] za4[528] za4[529] za4[530] za4[531] za4[532] za4[533] za4[534] za4[535] za4[536] za4[537] za4[538] za4[539] za4[540] za4[541] za4[542] za4[543] za4[544] za4[545] za4[546] za4[547] za4[548] za4[549] za4[550] za4[551] za4[552] za4[553] za4[554] za4[555] za4[556] za4[557] za4[558] za4[559] za4[560] za4[561] za4[562] za4[563] za4[564] za4[565] za4[566] za4[567] za4[568] za4[569] za4[570] za4[571] za4[572] za4[573] za4[574] za4[575] za4[576] za4[577] za4[578] za4[579] za4[580] za4[581] za4[582] za4[583] za4[584] za4[585] za4[586] za4[587] za4[588] za4[589] za4[590] za4[591] za4[592] za4[593] za4[594] za4[595] za4[596] za4[597] za4[598] za4[599] za4[600] za4[601] za4[602] za4[603] za4[604] za4[605] za4[606] za4[607] za4[608] za4[609] za4[610] za4[611] za4[612] za4[613] za4[614] za4[615] za4[616] za4[617] za4[618] za4[619] za4[620] za4[621] za4[622] za4[623] za4[624] za4[625] za4[626] za4[627] za4[628] za4[629] za4[630] za4[631] za4[632] za4[633] za4[634] za4[635] za4[636] za4[637] za4[638] za4[639] za4[640] za4[641] za4[642] za4[643] za4[644] za4[645] za4[646] za4[647] za4[648] za4[649] za4[650] za4[651] za4[652] za4[653] za4[654] za4[655] za4[656] za4[657] za4[658] za4[659] za4[660] za4[661] za4[662] za4[663] za4[664] za4[665] za4[666] za4[667] za4[668] za4[669] za4[670] za4[671] za4[672] za4[673] za4[674] za4[675] za4[676] za4[677] za4[678] za4[679] za4[680] za4[681] za4[682] za4[683] za4[684] za4[685] za4[686] za4[687] za4[688] za4[689] za4[690] za4[691] za4[692] za4[693] za4[694] za4[695] za4[696] za4[697] za4[698] za4[699] za4[700] za4[701] za4[702] za4[703] za4[704] za4[705] za4[706] za4[707] za4[708] za4[709] za4[710] za4[711] za4[712] za4[713] za4[714] za4[715] za4[716] za4[717] za4[718] za4[719] za4[720] za4[721] za4[722] za4[723] za4[724] za4[725] za4[726] za4[727] za4[728] za4[729] za4[730] za4[731] za4[732] za4[733] za4[734] za4[735] za4[736] za4[737] za4[738] za4[739] za4[740] za4[741] za4[742] za4[743] za4[744] za4[745] za4[746] za4[747] za4[748] za4[749] za4[750] za4[751] za4[752] za4[753] za4[754] za4[755] za4[756] za4[757] za4[758] za4[759] za4[760] za4[761] za4[762] za4[763] za4[764] za4[765] za4[766] za4[767] za4[768] za4[769] za4[770] za4[771] za4[772] za4[773] za4[774] za4[775] za4[776] za4[777] za4[778] za4[779] za4[780] za4[781] za4[782] za4[783] za4[784] za4[785] za4[786] za4[787] za4[788] za4[789] za4[790] za4[791] za4[792] za4[793] za4[794] za4[795] za4[796] za4[797] za4[798] za4[799] za4[800] za4[801] za4[802] za4[803] za4[804] za4[805] za4[806] za4[807] za4[808] za4[809] za4[810] za4[811] za4[812] za4[813] za4[814] za4[815] za4[816] za4[817] za4[818] za4[819] za4[820] za4[821] za4[822] za4[823] za4[824] za4[825] za4[826] za4[827] za4[828] za4[829] za4[830] za4[831] za4[832] za4[833] za4[834] za4[835] za4[836] za4[837] za4[838] za4[839] za4[840] za4[841] za4[842] za4[843] za4[844] za4[845] za4[846] za4[847] za4[848] za4[849] za4[850] za4[851] za4[852] za4[853] za4[854] za4[855] za4[856] za4[857] za4[858] za4[859] za4[860] za4[861] za4[862] za4[863] za4[864] za4[865] za4[866] za4[867] za4[868] za4[869] za4[870] za4[871] za4[872] za4[873] za4[874] za4[875] za4[876] za4[877] za4[878] za4[879] za4[880] za4[881] za4[882] za4[883] za4[884] za4[885] za4[886] za4[887] za4[888] za4[889] za4[890] za4[891] za4[892] za4[893] za4[894] za4[895] za4[896] za4[897] za4[898] za4[899] za4[900] za4[901] za4[902] za4[903] za4[904] za4[905] za4[906] za4[907] za4[908] za4[909] za4[910] za4[911] za4[912] za4[913] za4[914] za4[915] za4[916] za4[917] za4[918] za4[919] za4[920] za4[921] za4[922] za4[923] za4[924] za4[925] za4[926] za4[927] za4[928] za4[929] za4[930] za4[931] za4[932] za4[933] za4[934] za4[935] za4[936] za4[937] za4[938] za4[939] za4[940] za4[941] za4[942] za4[943] za4[944] za4[945] za4[946] za4[947] za4[948] za4[949] za4[950] za4[951] za4[952] za4[953] za4[954] za4[955] za4[956] za4[957] za4[958] za4[959] za4[960] za4[961] za4[962] za4[963] za4[964] za4[965] za4[966] za4[967] za4[968] za4[969] za4[970] za4[971] za4[972] za4[973] za4[974] za4[975] za4[976] za4[977] za4[978] za4[979] za4[980] za4[981] za4[982] za4[983] za4[984] za4[985] za4[986] za4[987] za4[988] za4[989] za4[990] za4[991] za4[992] za4[993] za4[994] za4[995] za4[996] za4[997] za4[998] za4[999] za4[1000] za4[1001] za4[1002] za4[1003] za4[1004] za4[1005] za4[1006] za4[1007] za4[1008] za4[1009] za4[1010] za4[1011] za4[1012] za4[1013] za4[1014] za4[1015] za4[1016] za4[1017] za4[1018] za4[1019] za4[1020] za4[1021] za4[1022] za4[1023] za4[1024] za4[1025] za4[1026] za4[1027] za4[1028] za4[1029] za4[1030] za4[1031] za4[1032] za4[1033] za4[1034] za4[1035] za4[1036] za4[1037] za4[1038] za4[1039] za4[1040] za4[1041] za4[1042] za4[1043] za4[1044] za4[1045] za4[1046] za4[1047] za4[1048] za4[1049] za4[1050] za4[1051] za4[1052] za4[1053] za4[1054] za4[1055] za4[1056] za4[1057] za4[1058] za4[1059] za4[1060] za4[1061] za4[1062] za4[1063] za4[1064] za4[1065] za4[1066] za4[1067] za4[1068] za4[1069] za4[1070] za4[1071] za4[1072] za4[1073] za4[1074] za4[1075] za4[1076] za4[1077] za4[1078] za4[1079] za4[1080] za4[1081] za4[1082] za4[1083] za4[1084] za4[1085] za4[1086] za4[1087] za4[1088] za4[1089] za4[1090] za4[1091] za4[1092] za4[1093] za4[1094] za4[1095] za4[1096] za4[1097] za4[1098] za4[1099] za4[1100] za4[1101] za4[1102] za4[1103] za4[1104] za4[1105] za4[1106] za4[1107] za4[1108] za4[1109] za4[1110] za4[1111] za4[1112] za4[1113] za4[1114] za4[1115] za4[1116] za4[1117] za4[1118] za4[1119] za4[1120] za4[1121] za4[1122] za4[1123] za4[1124] za4[1125] za4[1126] za4[1127] za4[1128] za4[1129] za4[1130] za4[1131] za4[1132] za4[1133] za4[1134] za4[1135] za4[1136] za4[1137] za4[1138] za4[1139] za4[1140] za4[1141] za4[1142] za4[1143] za4[1144] za4[1145] za4[1146] za4[1147] za4[1148] za4[1149] za4[1150] za4[1151] za4[1152] za4[1153] za4[1154] za4[1155] za4[1156] za4[1157] za4[1158] za4[1159] za4[1160] za4[1161] za4[1162] za4[1163] za4[1164] za4[1165] za4[1166] za4[1167] za4[1168] za4[1169] za4[1170] za4[1171] za4[1172] za4[1173] za4[1174] za4[1175] za4[1176] za4[1177] za4[1178] za4[1179] za4[1180] za4[1181] za4[1182] za4[1183] za4[1184] za4[1185] za4[1186] za4[1187] za4[1188] za4[1189] za4[1190] za4[1191] za4[1192] za4[1193] za4[1194] za4[1195] za4[1196] za4[1197] za4[1198] za4[1199] za4[1200] za4[1201] za4[1202] za4[1203] za4[1204] za4[1205] za4[1206] za4[1207] za4[1208] za4[1209] za4[1210] za4[1211] za4[1212] za4[1213] za4[1214] za4[1215] za4[1216] za4[1217] za4[1218] za4[1219] za4[1220] za4[1221] za4[1222] za4[1223] za4[1224] za4[1225] za4[1226] za4[1227] za4[1228] za4[1229] za4[1230] za4[1231] za4[1232] za4[1233] za4[1234] za4[1235] za4[1236] za4[1237] za4[1238] za4[1239] za4[1240] za4[1241] za4[1242] za4[1243] za4[1244] za4[1245] za4[1246] za4[1247] za4[1248] za4[1249] za4[1250] za4[1251] za4[1252] za4[1253] za4[1254] za4[1255] za4[1256] za4[1257] za4[1258] za4[1259] za4[1260] za4[1261] za4[1262] za4[1263] za4[1264] za4[1265] za4[1266] za4[1267] za4[1268] za4[1269] za4[1270] za4[1271] za4[1272] za4[1273] za4[1274] za4[1275] za4[1276] za4[1277] za4[1278] za4[1279] za4[1280] za4[1281] za4[1282] za4[1283] za4[1284] za4[1285] za4[1286] za4[1287] za4[1288] za4[1289] za4[1290] za4[1291] za4[1292] za4[1293] za4[1294] za4[1295] za4[1296] za4[1297] za4[1298] za4[1299] za4[1300] za4[1301] za4[1302] za4[1303] za4[1304] za4[1305] za4[1306] za4[1307] za4[1308] za4[1309] za4[1310] za4[1311] za4[1312] za4[1313] za4[1314] za4[1315] za4[1316] za4[1317] za4[1318] za4[1319] za4[1320] za4[1321] za4[1322] za4[1323] za4[1324] za4[1325] za4[1326] za4[1327] za4[1328] za4[1329] za4[1330] za4[1331] za4[1332] za4[1333] za4[1334] za4[1335] za4[1336] za4[1337] za4[1338] za4[1339] za4[1340] za4[1341] za4[1342] za4[1343] za4[1344] za4[1345] za4[1346] za4[1347] za4[1348] za4[1349] za4[1350] za4[1351] za4[1352] za4[1353] za4[1354] za4[1355] za4[1356] za4[1357] za4[1358] za4[1359] za4[1360] za4[1361] za4[1362] za4[1363] za4[1364] za4[1365] za4[1366] za4[1367] za4[1368] za4[1369] za4[1370] za4[1371] za4[1372] za4[1373] za4[1374] za4[1375] za4[1376] za4[1377] za4[1378] za4[1379] za4[1380] za4[1381] za4[1382] za4[1383] za4[1384] za4[1385] za4[1386] za4[1387] za4[1388] za4[1389] za4[1390] za4[1391] za4[1392] za4[1393] za4[1394] za4[1395] za4[1396] za4[1397] za4[1398] za4[1399] za4[1400] za4[1401] za4[1402] za4[1403] za4[1404] za4[1405] za4[1406] za4[1407] za4[1408] za4[1409] za4[1410] za4[1411] za4[1412] za4[1413] za4[1414] za4[1415] za4[1416] za4[1417] za4[1418] za4[1419] za4[1420] za4[1421] za4[1422] za4[1423] za4[1424] za4[1425] za4[1426] za4[1427] za4[1428] za4[1429] za4[1430] za4[1431] za4[1432] za4[1433] za4[1434] za4[1435] za4[1436] za4[1437] za4[1438] za4[1439] za4[1440] za4[1441] za4[1442] za4[1443] za4[1444] za4[1445] za4[1446] za4[1447] za4[1448] za4[1449] za4[1450] za4[1451] za4[1452] za4[1453] za4[1454] za4[1455] za4[1456] za4[1457] za4[1458] za4[1459] za4[1460] za4[1461] za4[1462] za4[1463] za4[1464] za4[1465] za4[1466] za4[1467] za4[1468] za4[1469] za4[1470] za4[1471] za4[1472] za4[1473] za4[1474] za4[1475] za4[1476] za4[1477] za4[1478] za4[1479] za4[1480] za4[1481] za4[1482] za4[1483] za4[1484] za4[1485] za4[1486] za4[1487] za4[1488] za4[1489] za4[1490] za4[1491] za4[1492] za4[1493] za4[1494] za4[1495]
2400.07/2344.61	v 	</list>
2400.07/2344.61	v 	<values>
2400.07/2344.61	v 		414 652 526 764 540 778 442 680 554 792 722 484 554 792 792 554 58 296 554 792 512 750 44 282 456 694 380 142 442 680 58 296 736 498 380 142 708 470 414 652 792 554 708 470 86 324 792 554 540 778 764 526 442 680 666 428 792 554 58 296 484 722 352 114 792 554 554 792 526 764 540 778 792 554 268 30 540 778 72 310 792 554 512 750 554 792 526 764 470 708 680 442 540 778 792 554 554 792 792 554 470 708 792 554 142 380 310 72 142 380 792 554 554 792 540 778 428 666 338 100 498 736 498 736 44 282 484 722 156 394 764 526 554 792 394 156 72 310 694 456 478 240 554 792 666 428 722 484 72 310 456 694 540 778 456 694 764 526 792 554 58 296 156 394 680 442 44 282 30 268 554 792 680 442 324 86 44 282 100 338 366 128 792 554 414 652 736 498 526 764 156 394 114 352 554 792 792 554 16 254 554 792 394 156 156 394 456 694 764 526 792 554 44 282 722 484 352 114 764 526 86 324 652 414 540 778 296 58 58 296 512 750 366 128 310 72 86 324 44 282 778 540 428 666 750 512 414 652 792 554 478 240 554 792 310 72 72 310 58 296 792 554 554 792 512 750 142 380 554 792 414 652 442 680 750 512 792 554 282 44 652 414 652 414 310 72 142 380 414 652 792 554 478 240 380 142 792 554 72 310 352 114 666 428 394 156 428 666 484 722 554 792 778 540 554 792 554 792 156 394 736 498 694 456 554 792 414 652 792 554 540 778 554 792 394 156 554 792 554 792 366 128 394 156 414 652 254 16 526 764 428 666 442 680 540 778 778 540 310 72 380 142 366 128 44 282 72 310 778 540 554 792 58 296 666 428 456 694 498 736 778 540 366 128 310 72 778 540 680 442 708 470 778 540 512 750 470 708 792 554 778 540 338 100 526 764 792 554 142 380 352 114 778 540 778 540 338 100 778 540 282 44 394 156 778 540 156 394 540 778 708 470 310 72 778 540 128 366 512 750 352 114 114 352 554 792 16 254 30 268 254 16 792 554 254 16 282 44 512 750 540 778 442 680 666 428 310 72 540 778 554 792 778 540 338 100 540 778 128 366 540 778 540 778 680 442 526 764 680 442 142 380 540 778 792 554 708 470 254 16 680 442 268 30 694 456 394 156 470 708 778 540 778 540 512 750 44 282 380 142 540 778 44 282 764 526 540 778 792 554 30 268 540 778 254 16 512 750 792 554 428 666 484 722 456 694 792 554 394 156 554 792 764 526 778 540 540 778 778 540 778 540 142 380 764 526 540 778 296 58 540 778 778 540 778 540 484 722 100 338 736 498 142 380 456 694 470 708 296 58 526 764 142 380 764 526 366 128 498 736 736 498 540 778 694 456 694 456 30 268 540 778 442 680 540 778 512 750 30 268 778 540 498 736 778 540 484 722 380 142 778 540 778 540 526 764 764 526 498 736 30 268 764 526 394 156 114 352 792 554 30 268 554 792 324 86 156 394 324 86 792 554 792 554 750 512 666 428 554 792 380 142 16 254 694 456 44 282 470 708 540 778 30 268 540 778 428 666 778 540 366 128 428 666 764 526 394 156 554 792 792 554 512 750 156 394 792 554 86 324 554 792 16 254 128 366 338 100 16 254 708 470 792 554 792 554 282 44 352 114 310 72 666 428 470 708 380 142 680 442 750 512 666 428 778 540 540 778 540 778 470 708 540 778 114 352 736 498 540 778 142 380 666 428 310 72 792 554 778 540 394 156 498 736 128 366 750 512 310 72 792 554 44 282 512 750 540 778 694 456 282 44 142 380 736 498 310 72 540 778 526 764 142 380 428 666 722 484 442 680 778 540 470 708 310 72 778 540 750 512 778 540 366 128 470 708 72 310 792 554 282 44 72 310 352 114 708 470 58 296 100 338 156 394 254 16 380 142 380 142 540 778 442 680 456 694 680 442 540 778 792 554 694 456 778 540 540 778 156 394 554 792 792 554 540 778 526 764 540 778 750 512 778 540 484 722 666 428 540 778 540 778 428 666 142 380 778 540 456 694 540 778 778 540 554 792 778 540 442 680 30 268 456 694 394 156 4 4 4 4 4 4 4 0 4 0 4 0 0 4 0 0 4 4 4 0 4 0 4 4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 4 4 4 4 0 4 0 4 4 4 0 0 4 0 4 0 4 0 4 0 0 4 0 0 0 4 4 0 0 0 4 4 0 0 4 0 0 4 4 0 0 0 0 0 0 4 0 4 4 0 0 4 4 0 4 0 0 4 4 0 0 0 4 4 4 0 0 0 4 4 0 0 0 0 0 0 0 0 0 4 4 0 4 0 4 4 4 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 4 4 0 0 4 4 0 4 0 0 0 4 0 0 0 0 0 0 0 0 4 0 0 0 0 4 0 0 4 0 0 0 4 4 0 0 4 0 4 0 4 4 4 4 4 0 0 0 0 4 0 0 0 0 4 4 4 0 4 0 0 4 0 4 4 0 4 4 0 4 0 4 0 4 0 4 0 0 0 0 0 0 0 0 0 0 4 4 0 4 4 4 4 0 4 4 0 0 0 0 4 4 4 0 0 4 4 0 4 4 0 0 0 0 0 0 4 0 0 0 4 0 0 4 4 0 4 0 0 4 0 0 0 0 0 4 4 4 0 4 0 0 0 0 0 0 4 0 4 4 4 4 4 4 0 0 0 0 4 0 0 4 0 0 0 4 0 0 0 0 0 0 4 0 4 0 0 0 0 0 4 0 4 0 4 0 0 0 0 0 4 4 4 4 0 4 0 4 0 0 4 4 4 0 0 4 4 0 4 0 0 4 4 4 0 0 0 0 0 0 0 0 0 0 4 4 4 4 0 0 0 0 0 4 0 0 0 0 4 4 4 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 4 0 4 0 4 0 4 0 0 0 0 0 0 0 0 0 4 0 4 0 0 4 4 0 4 4 4 0 0 0 0 4 0 0 4 0 0 4 0 0 4 4 4 4 4 0 4 4 4 0 4 0 4 4 0 0 0 4 0 4 4 4 4 0 0 4 4 4 0 0 0 4 0 0 4 0 0 0 4 0 4 0 0 0 0 0 0 0 4 0 0 0 4 0 0 0 0 0 0 0 4 0 4 0 0 4 0 4 4 4 0 4 4 0 4 0 0 0 0 0 0 4 4 0 4 4 4 4 0 0 4 0 0 0 4 0 0 0 0 4 0 0 0 0 0 0 0 4 4 0 0 0 0 0 0 0 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 4 0 4 0 0 4 0 0 4 0 0 0 4 4 4 4 4 4 0 0 0 0 0 0 0 0 4 4 0 0 0 0 4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 4 4 0 0 4 0 0 4 4 4 4 0 0 0 0 0 0 0 0 0 0 0 0 4 0 4 4 4 4 0 0 0 0 0 0 0 0 4 4 4 0 0 0 4 4 0 0 4 0 0 0 4 0 0 0 0 0 4 0 4 0 4 0 4 0 0 0 4 0 0 4 4 4 0 0 4 4 0 4 0 4 4 0 0 0 0 0 0 0 4 4 0 0 0 0 0 0 0 4 4 0 4 0 4 4 0 4 0 0 0 0 0 0 0 4 0 0 4 0 4 4 0 4 4 4 0 0 0 0 0 0 4 0 0 0 4 0 0 0 4 0 4 4 4 0 4 0 4 4 4 0 4 4 4 4 4 4 4 0 4 4 0 4 0 4 4 0 4 0 4 4 0 4 0 4 0 0 0 0 0 0 0 0 4 4 4 0 0 0 0 0 4 4 0 4 0 4 4 0 0 0 0 4 0 4 0 4 0 4 4 4 4 4 0 4 4 0 0 0 0 0 4 4 4 0 4 0 4 0 0 0 0 0 4 4 0 0 4 4 4 0 0 4 4 0 4 0 0 4 4 0 4 4 0 4 4 0 0 4 4 4 0 0 4 0 0 0 4 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 4 4 4 0 0 0 4 0 0 0 4 0 0 0 0 0 4 0 0 0 0 0 4 4 4 0 4 0 0 0 4 0 4 0 4 0 0 0 0 0 0 0 0 4 0 0 4 4 0 4 0 4 0 4 0 4 4 4 4 0 4 0 0 4 0 0 4 0 4 0 0 0 4 0 0 4 4 0 4 4 4 0 4 4 0 4 4 0 0 4 0 0 0 0 0 0 0 0 0 4 0 0 0 0 4 0 0 0 4 0 0 4 4 4 0 4 4 4 4 0 4 4 0 4 4 4 0 0 0 0 4 0 0 4 4 4 4 4 4 4 4 4 4 4 0 4 0 4 0 4 0 4 4 0 4 0 4 0 4 4 4 0 4 4 3 3 3 3 3 3 3 0 0 3 0 3 3 3 3 0 0 0 0 3 0 0 0 3 0 0 3 0 0 3 3 0 0 0 3 3 3 3 0 3 3 3 3 3 0 3 0 0 0 0 3 0 3 3 0 3 0 3 0 0 0 0 0 0 0 3 0 0 0 3 0 0 0 0 3 0 0 3 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 0 0 3 3 0 0 3 0 0 0 0 3 0 0 3 0 3 0 0 0 3 0 0 0 3 0 0 0 0 3 0 3 3 3 3 3 3 0 0 0 3 0 0 0 3 0 3 0 3 3 0 3 0 3 3 0 0 0 0 3 0 0 0 0 0 0 0 0 3 0 0 3 3 0 0 0 0 0 0 3 0 0 3 0 0 3 0 0 0 0 3 0 0 0 0 0 0 0 3 3 0 0 3 3 3 0 0 0 0 0 0 0 3 0 0 0 0 0 3 3 0 3 0 0 3 0 0 3 3 0 0 0 0 3 0 0 3 0 0 3 0 3 0 3 0 3 0 3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 0 3 3 3 0 3 0 0 3 0 3 3 0 3 3 3 3 3 3 0 0 3 0 0 3 0 0 0 3 0 0 0 3 3 0 0 0 0 0 3 3 3 3 0 0 0 0 0 0 0 3 3 0 0 0 3 0 3 0 0 0 3 3 0 0 0 3 0 0 0 3 3 3 0 0 0 3 3 0 3 0 0 3 0 0 0 0 0 0 0 3 0 3 0 3 0 3 3 3 3 3 0 3 0 0 0 0 3 0 3 3 0 3 0 3 3 0 0 3 0 0 0 0 3 0 0 0 3 3 3 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 3 0 0 0 0 0 0 3 0 0 0 3 3 0 3 0 3 0 0 3 0 3 3 3 3 0 3 0 0 0 3 0 0 3 3 3 0 0 0 3 3 0 0 3 0 3 0 0 0 0 0 0 3 3 3 0 0 3 0 0 0 0 0 0 0 0 0 0 3 0 0 3 0 0 0 0 3 3 3 0 0 0 0 0 0 0 3 3 0 0 3 3 0 0 0 0 0 0 0 0 3 3 3 0 0 3 3 3 0 0 3 0 3 3 0 3 0 0 0 3 0 3 0 3 3 3 3 0 3 0 3 0 3 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 0 3 0 0 3 0 0 3 0 0 3 0 0 0 0 0 0 0 3 0 3 0 0 0 3 3 0 3 0 3 0 3 0 0 0 0 3 3 3 3 0 3 0 0 0 0 0 0 0 0 0 0 0 3 0 3 3 0 3 0 0 3 0 0 3 0 3 3 0 0 0 0 0 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 3 0 0 3 0 0 3 3 0 0 3 3 3 3 0 0 0 3 0 3 0 0 0 3 3 0 0 0 0 0 3 0 0 0 0 3 3 0 0 3 0 0 0 0 0 3 3 0 3 0 0 3 0 0 0 3 0 0 0 3 3 0 0 3 3 0 0 0 0 3 0 0 0 3 0 0 3 0 0 0 0 3 0 0 0 3 0 0 0 0 3 0 0 0 3 0 0 0 3 3 0 0 0 3 0 0 3 0 0 3 0 3 3 3 3 0 0 3 3 0 0 3 3 0 3 3 0 0 0 0 0 0 3 0 0 3 0 0 0 0 0 3 0 3 3 3 3 3 0 3 0 3 3 0 0 3 3 3 3 0 0 0 3 3 0 3 0 3 3 0 0 0 0 3 3 0 0 0 0 3 3 0 3 0 0 0 0 0 0 0 3 3 3 0 0 0 3 0 0 3 0 0 0 0 0 0 0 0 3 0 3 3 0 0 0 0 0 3 0 3 3 0 3 3 0 3 3 0 3 0 0 3 0 0 3 0 3 0 0 3 0 0 0 0 3 0 3 0 0 3 0 3 3 3 0 3 0 0 0 0 0 3 0 3 0 3 3 0 0 0 3 0 3 0 0 3 0 0 0 3 0 3 0 3 0 3 0 0 0 0 3 3 0 3 3 3 0 3 3 3 3 0 0 0 0 0 0 0 0 3 0 0 0 0 3 0 3 0 0 0 0 0 3 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 3 0 3 0 3 0 0 0 0 0 0 0 0 3 0 0 3 0 0 0 3 0 0 3 0 0 3 3 0 3 3 3 0 0 0 0 0 0 3 0 0 0 3 0 3 3 3 3 3 3 0 0 0 0 0 0 0 0 3 3 0 0 0 0 0 0 0 0 3 0 0 3 3 3 3 3 3 3 3 3 3 3 0 0 3 0 3 3 0 0 3 3 0 0 0 0 0 0 0 0 0 3 0 0 3 0 0 0 0 0 3 3 3 0 0 3 3 3 0 0 0 0 3 3 0 0 0 0 0 0 3 3 3 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 3 3 0 3 0 3 3 3 3 0 0 0 0 0 3 3 0 0 0 3 0 0 0 3 3 0 3 0 3 3 0 3 0 0 0 0 3 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 3 0 3 3 0 3 3 3 3 3 0 3 0 3 0 0 0 0 0 0 0 0 0 3 3 3 0 0 0 3 0 0 0 0 0 0 0 3 3 0 3 3 0 0 0 3 3 0 3 3 3 0 0 0 3 0 3 3 3 3 3 0 0 0 3 3 3 3 3 3 3 3 0 0 3 3 3 0 0 3 3 0 0 0 0 3 0 3 3 0 3 0 0 0 0 3 3 0 0 0 3 0 0 0 0 3 0 3 0 0 0 0 3 3 3 3 3 3 3 0 3 3 0 0 0 3 0 0 0 0 3 0 3 0 3 3 3 0 0 0 0 0 0 0 0 3 3 3 3 0 3 0 0 0 0 0 0 0 3 3 3 3 0 0 0 0 0 0 3 0 0 0 0 3 0 0 0 3 3 0 3 0 3 3 0 0 3 0 0 3 0 3 3 0 0 0 0 3 3 3 0 3 3 0 3 3 0 0 0 0 3 0 0 3 0 0 0 3 3 3 3 0 0 3 3 0 0 3 3 0 0 3 0 0 0 3 3 0 0 0 0 3 0 3 3 2 2 0 2 0 0 2 0 0 0 2 2 2 0 0 2 0 0 0 2 0 2 0 0 0 0 0 2 0 0 2 2 2 0 0 0 0 0 2 2 2 2 2 2 2 2 0 0 0 0 0 0 2 2 2 0 0 0 0 0 0 0 2 0 0 2 0 2 0 2 0 2 2 2 0 2 2 0 2 2 2 2 0 2 2 0 0 2 2 2 0 0 2 0 2 2 2 2 0 0 2 2 0 0 2 0 0 0 2 2 2 2 0 0 0 0 0 2 2 2 0 0 0 0 0 0 0 0 0 2 2 0 2 0 0 2 2 2 2 2 2 0 2 0 0 0 0 2 2 0 0 2 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 2 0 0 2 0 0 0 0 0 2 2 2 2 0 2 0 0 0 0 2 2 0 2 0 2 0 2 0 0 0 2 0 0 0 2 2 0 2 0 0 0 2 2 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 2 2 0 0 2 2 2 2 0 0 0 0 0 0 0 2 0 0 2 0 0 0 0 2 0 0 0 2 0 2 2 2 0 2 0 0 0 0 2 2 2 0 0 2 2 0 0 0 0 0 2 0 0 0 0 0 2 0 0 0 2 2 2 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 2 0 0 0 0 0 0 2 0 0 2 0 2 2 0 0 2 0 0 0 0 2 0 0 0 0 2 0 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 2 2 0 2 0 2 2 0 2 2 2 2 2 2 2 2 2 0 2 2 0 2 0 2 2 0 2 2 0 0 0 0 0 0 0 2 2 2 0 0 2 0 0 0 0 0 2 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 2 0 2 0 0 0 0 0 0 0 2 0 0 2 2 0 0 0 2 2 2 2 0 2 0 0 0 2 0 0 2 2 0 2 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 2 0 2 0 0 0 0 0 0 0 2 2 2 0 2 0 2 2 2 2 0 0 0 0 0 0 0 2 0 0 2 0 0 0 2 2 2 0 2 2 0 0 0 0 0 0 0 0 0 2 2 0 0 0 2 0 2 0 0 0 0 2 0 0 2 0 0 0 2 2 2 0 0 2 2 0 0 0 2 0 2 0 0 0 0 0 0 0 0 0 2 2 0 0 0 2 0 0 2 2 2 2 2 0 0 0 2 0 0 2 0 0 0 0 0 2 0 0 2 0 2 0 0 0 0 2 0 0 0 2 0 0 2 2 0 0 2 0 2 0 2 0 0 2 2 0 0 0 0 0 2 2 0 0 2 0 2 0 2 0 0 0 0 2 2 0 0 0 0 2 2 2 2 0 2 0 2 2 0 0 0 2 2 0 0 0 0 2 2 2 2 2 2 0 0 2 2 0 2 0 0 0 0 2 0 2 0 2 2 2 2 2 2 0 2 2 0 0 0 0 0 2 0 2 2 0 0 0 0 0 0 2 0 0 0 0 2 0 0 2 0 2 0 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 2 0 2 2 0 2 0 0 0 0 0 2 2 2 2 2 2 0 2 0 2 2 2 0 2 0 2 2 2 0 2 2 2 2 0 2 2 0 0 0 0 0 2 0 0 0 2 2 0 0 2 2 2 2 0 2 2 2 2 0 2 2 0 2 0 2 2 2 2 0 2 0 0 2 0 0 0 2 0 0 2 0 0 0 0 2 0 2 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 2 0 2 0 2 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 2 2 2 0 2 0 2 2 0 0 2 0 0 2 0 0 0 0 0 2 2 0 0 2 2 0 0 0 2 2 0 2 0 0 0 2 2 2 0 0 0 2 2 0 2 2 0 0 0 0 2 0 0 2 2 2 2 0 2 2 0 0 0 2 0 0 0 0 2 0 0 0 0 2 2 2 0 0 0 2 2 0 0 0 2 0 2 0 0 2 0 0 0 0 2 2 2 0 0 2 0 0 0 2 0 2 0 2 0 0 0 0 0 0 2 0 2 2 0 2 0 0 0 2 2 2 0 2 0 2 0 2 0 2 0 0 2 2 0 0 2 0 0 0 0 0 0 0 2 2 2 0 2 0 2 0 0 0 0 0 2 2 0 0 2 2 0 2 2 0 0 0 0 2 2 0 2 2 2 0 2 2 2 0 2 0 0 2 2 2 0 2 0 0 0 2 2 0 0 0 0 0 0 2 0 2 0 0 0 2 2 2 2 2 0 0 0 0 0 2 2 2 0 0 0 0 2 0 2 2 2 0 0 0 0 2 0 0 0 0 0 2 2 2 2 2 0 2 0 0 2 0 0 0 0 2 0 2 2 2 2 0 0 0 0 2 2 0 0 2 2 2 0 2 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 2 0 2 2 0 0 2 0 2 0 0 0 2 2 0 2 2 0 2 2 2 2 0 2 0 2 0 0 0 2 0 0 0 0 2 2 2 2 0 0 2 0 2 2 2 2 2 0 2 2 2 0 2 0 0 0 0 2 2 2 0 2 0 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 0 1 0 1 0 0 0 1 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 1 1 0 0 0 1 0 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 1 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 1 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 1 0 0 0 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 1 0 1 0 1 1 1 0 1 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 1 0 1 1 0 1 1 1 1 0 1 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 1 1 0 0 1 1 1 0 1 1 1 1 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 1 1 0 1 1 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 1 0 0 1 0 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 0 1 0 1 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 0 1 1 1 1 1 0 0 0 0 1 1 0 1 1 0 0 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 0 1 1 1 1 0 0 1 1 0 1 1 0 0 1 1 0 1 1 1 1 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 1 0 1 0 1 0 1 1 1 0 0 0 0 1 1 1 0 1 1 1 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 1 1 1 1 1 1 1 0 0 1 0 1 1 1 1 0 0 0 0 0 1 1 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 1 1 1 1 0 0 0 0 1 0 1 0 1 0 0 0 1 1 1 1 1 1 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 1 1 1 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 1 1 1 1 0 1 0 1 1 1 1 1 0 0 1 1 0 0 0 1 0 1 0 1 1 0 0 1 1 0 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 1 0 0 0 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 0 1 1 0 0 0 0 1 1 0 0 0 1 0 0 1 0 1 0 1 1 1 1 0 0 0 0 0 1 1 0 1 0 1 1 1 0 0 0 0 1 1 1 0 1 0 1 0 0 1 1 1 0 1 0 1 1 0 0 1 1 1 1 0 1 1 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 
2400.07/2344.61	v 	</values>
2400.07/2344.61	v </instantiation>

Verifier Data 

OK	4903

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (9037 MiB free)
  memory of node 1: 16384 MiB (14735 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291861-1532263694/watcher-4291861-1532263694 -o /tmp/evaluation-result-4291861-1532263694/solver-4291861-1532263694 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532261360-2533 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1607809829 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291861-1532263694.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=2806, runsolver pid=2803

[startup+0.100143 s]*
/proc/loadavg: 1.74 1.58 1.48 4/215 2821
/proc/meminfo: memFree=24325456/32770624 swapFree=67108852/67108860
[pid=2806] ppid=2803 vsize=14082740 memory=33664 CPUtime=0.11 cores=1,3,5,7
/proc/2806/stat : 2806 (java) S 2803 2806 2501 0 -1 1077944320 7302 0 0 0 10 1 0 0 20 0 15 0 43932589 14420725760 8416 33554432000 4194304 4196468 140736383378992 140736383361536 139692858416887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
/proc/2806/statm: 3520685 8416 3164 1 0 3482761 0
[pid=2806/tid=2808] ppid=2803 vsize=14082740 memory=-8680508471920915648 CPUtime=0.09 cores=1,3,5,7
/proc/2806/task/2808/stat : 2808 (java) R 2803 2806 2501 0 -1 4202560 5363 0 0 0 9 0 0 0 20 0 15 0 43932589 14420725760 8416 33554432000 4194304 4196468 140736383378992 139692862624304 139692842497374 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2809] ppid=2803 vsize=14082740 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2809/stat : 2809 (java) S 2803 2806 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43932590 14420725760 8416 33554432000 4194304 4196468 140736383378992 139692811037072 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2810] ppid=2803 vsize=14082740 memory=140095451481728 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2810/stat : 2810 (java) S 2803 2806 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43932590 14420725760 8416 33554432000 4194304 4196468 140736383378992 139692809984272 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2811] ppid=2803 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2811/stat : 2811 (java) S 2803 2806 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43932590 14420725760 8416 33554432000 4194304 4196468 140736383378992 139692808931984 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2812] ppid=2803 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2812/stat : 2812 (java) S 2803 2806 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43932590 14420725760 8416 33554432000 4194304 4196468 140736383378992 139692807879184 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2813] ppid=2803 vsize=14082740 memory=140095451481728 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2813/stat : 2813 (java) S 2803 2806 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43932591 14420725760 8416 33554432000 4194304 4196468 140736383378992 139692331743856 139692858428034 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2814] ppid=2803 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2814/stat : 2814 (java) S 2803 2806 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43932592 14420725760 8416 33554432000 4194304 4196468 140736383378992 139692330689824 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2815] ppid=2803 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2815/stat : 2815 (java) S 2803 2806 2501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43932592 14420725760 8416 33554432000 4194304 4196468 140736383378992 139692329637488 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2816] ppid=2803 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2816/stat : 2816 (java) S 2803 2806 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43932594 14420725760 8416 33554432000 4194304 4196468 140736383378992 139692328585808 139692858435483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2817] ppid=2803 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2817/stat : 2817 (java) S 2803 2806 2501 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 43932594 14420725760 8416 33554432000 4194304 4196468 140736383378992 139692327532656 139692858428034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2818] ppid=2803 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2818/stat : 2818 (java) S 2803 2806 2501 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43932594 14420725760 8416 33554432000 4194304 4196468 140736383378992 139692326479856 139692858428034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2819] ppid=2803 vsize=14082740 memory=140095451481728 CPUtime=0.01 cores=1,3,5,7
/proc/2806/task/2819/stat : 2819 (java) R 2803 2806 2501 0 -1 4202560 269 0 0 0 1 0 0 0 20 0 15 0 43932594 14420725760 8416 33554432000 4194304 4196468 140736383378992 139692325427568 139692850654014 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2820] ppid=2803 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2820/stat : 2820 (java) S 2803 2806 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43932595 14420725760 8416 33554432000 4194304 4196468 140736383378992 139692324375008 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2821] ppid=2803 vsize=14082740 memory=140095451481728 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2821/stat : 2821 (java) S 2803 2806 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43932595 14420725760 8416 33554432000 4194304 4196468 140736383378992 139692323322800 139692858428034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 33664 KiB

[startup+0.21255 s]*
/proc/loadavg: 1.74 1.58 1.48 6/215 2821
/proc/meminfo: memFree=24310260/32770624 swapFree=67108852/67108860
[pid=2806] ppid=2803 vsize=14082740 memory=47160 CPUtime=0.31 cores=1,3,5,7
/proc/2806/stat : 2806 (java) S 2803 2806 2501 0 -1 1077944320 10390 0 0 0 28 3 0 0 20 0 15 0 43932589 14420725760 11790 33554432000 4194304 4196468 140736383378992 140736383361536 139692858416887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
/proc/2806/statm: 3520685 11790 3381 1 0 3482761 0
[pid=2806/tid=2808] ppid=2803 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/2806/task/2808/stat : 2808 (java) R 2803 2806 2501 0 -1 4202560 8102 0 0 0 19 1 0 0 20 0 15 0 43932589 14420725760 11790 33554432000 4194304 4196468 140736383378992 139692862643536 139692485990226 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2809] ppid=2803 vsize=14082740 memory=343 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2809/stat : 2809 (java) S 2803 2806 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43932590 14420725760 11790 33554432000 4194304 4196468 140736383378992 139692811037072 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2810] ppid=2803 vsize=14082740 memory=140095451484791 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2810/stat : 2810 (java) S 2803 2806 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43932590 14420725760 11790 33554432000 4194304 4196468 140736383378992 139692809984272 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2811] ppid=2803 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2811/stat : 2811 (java) S 2803 2806 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43932590 14420725760 11790 33554432000 4194304 4196468 140736383378992 139692808931984 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2812] ppid=2803 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2812/stat : 2812 (java) S 2803 2806 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43932590 14420725760 11790 33554432000 4194304 4196468 140736383378992 139692807879184 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2813] ppid=2803 vsize=14082740 memory=140095451481728 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2813/stat : 2813 (java) S 2803 2806 2501 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43932591 14420725760 11790 33554432000 4194304 4196468 140736383378992 139692331743856 139692858428034 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2814] ppid=2803 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2814/stat : 2814 (java) S 2803 2806 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43932592 14420725760 11790 33554432000 4194304 4196468 140736383378992 139692330689824 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2815] ppid=2803 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2815/stat : 2815 (java) S 2803 2806 2501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43932592 14420725760 11790 33554432000 4194304 4196468 140736383378992 139692329637488 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2816] ppid=2803 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2816/stat : 2816 (java) S 2803 2806 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43932594 14420725760 11790 33554432000 4194304 4196468 140736383378992 139692328585808 139692858435483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2817] ppid=2803 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2806/task/2817/stat : 2817 (java) S 2803 2806 2501 0 -1 1077944384 558 0 0 0 2 0 0 0 20 0 15 0 43932594 14420725760 11790 33554432000 4194304 4196468 140736383378992 139692327532656 139692858428034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2818] ppid=2803 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/2806/task/2818/stat : 2818 (java) S 2803 2806 2501 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 15 0 43932594 14420725760 11790 33554432000 4194304 4196468 140736383378992 139692326479856 139692858428034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2819] ppid=2803 vsize=14082740 memory=140095451481728 CPUtime=0.05 cores=1,3,5,7
/proc/2806/task/2819/stat : 2819 (java) R 2803 2806 2501 0 -1 4202560 299 0 0 0 5 0 0 0 20 0 15 0 43932594 14420725760 11790 33554432000 4194304 4196468 140736383378992 139692325423296 139692851513280 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2820] ppid=2803 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2820/stat : 2820 (java) S 2803 2806 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43932595 14420725760 11790 33554432000 4194304 4196468 140736383378992 139692324375008 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2821] ppid=2803 vsize=14082740 memory=140095451481728 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2821/stat : 2821 (java) S 2803 2806 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43932595 14420725760 11790 33554432000 4194304 4196468 140736383378992 139692323322800 139692858428034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47160 KiB

[startup+0.310429 s]*
/proc/loadavg: 1.74 1.58 1.48 3/215 2821
/proc/meminfo: memFree=24306848/32770624 swapFree=67108852/67108860
[pid=2806] ppid=2803 vsize=14082740 memory=50348 CPUtime=0.43 cores=1,3,5,7
/proc/2806/stat : 2806 (java) S 2803 2806 2501 0 -1 1077944320 10740 0 0 0 40 3 0 0 20 0 15 0 43932589 14420725760 12587 33554432000 4194304 4196468 140736383378992 140736383361536 139692858416887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
/proc/2806/statm: 3520685 12587 3383 1 0 3482761 0
[pid=2806/tid=2808] ppid=2803 vsize=14082740 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/2806/task/2808/stat : 2808 (java) R 2803 2806 2501 0 -1 4202560 8430 0 0 0 28 1 0 0 20 0 15 0 43932589 14420725760 12587 33554432000 4194304 4196468 140736383378992 139692862651472 139692858438813 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2809] ppid=2803 vsize=14082740 memory=290763879498383383 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2809/stat : 2809 (java) S 2803 2806 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43932590 14420725760 12587 33554432000 4194304 4196468 140736383378992 139692811037072 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2810] ppid=2803 vsize=14082740 memory=13987581954016920 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2810/stat : 2810 (java) S 2803 2806 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43932590 14420725760 12587 33554432000 4194304 4196468 140736383378992 139692809984272 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2811] ppid=2803 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2811/stat : 2811 (java) S 2803 2806 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43932590 14420725760 12587 33554432000 4194304 4196468 140736383378992 139692808931984 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2812] ppid=2803 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2812/stat : 2812 (java) S 2803 2806 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43932590 14420725760 12587 33554432000 4194304 4196468 140736383378992 139692807879184 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2813] ppid=2803 vsize=14082740 memory=140095451481728 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2813/stat : 2813 (java) S 2803 2806 2501 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43932591 14420725760 12587 33554432000 4194304 4196468 140736383378992 139692331743856 139692858428034 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2814] ppid=2803 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2814/stat : 2814 (java) S 2803 2806 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43932592 14420725760 12587 33554432000 4194304 4196468 140736383378992 139692330689824 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2815] ppid=2803 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2815/stat : 2815 (java) S 2803 2806 2501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43932592 14420725760 12587 33554432000 4194304 4196468 140736383378992 139692329637488 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2816] ppid=2803 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2816/stat : 2816 (java) S 2803 2806 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43932594 14420725760 12587 33554432000 4194304 4196468 140736383378992 139692328585808 139692858435483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2817] ppid=2803 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2806/task/2817/stat : 2817 (java) S 2803 2806 2501 0 -1 1077944384 558 0 0 0 2 0 0 0 20 0 15 0 43932594 14420725760 12587 33554432000 4194304 4196468 140736383378992 139692327532656 139692858428034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2818] ppid=2803 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/2806/task/2818/stat : 2818 (java) R 2803 2806 2501 0 -1 4202560 54 0 0 0 1 0 0 0 20 0 15 0 43932594 14420725760 12587 33554432000 4194304 4196468 140736383378992 139692326479856 139692851401929 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2819] ppid=2803 vsize=14082740 memory=140095451481728 CPUtime=0.07 cores=1,3,5,7
/proc/2806/task/2819/stat : 2819 (java) S 2803 2806 2501 0 -1 1077944384 316 0 0 0 7 0 0 0 20 0 15 0 43932594 14420725760 12587 33554432000 4194304 4196468 140736383378992 139692325427568 139692858428034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2820] ppid=2803 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2820/stat : 2820 (java) S 2803 2806 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43932595 14420725760 12587 33554432000 4194304 4196468 140736383378992 139692324375008 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2821] ppid=2803 vsize=14082740 memory=140095451481728 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2821/stat : 2821 (java) S 2803 2806 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43932595 14420725760 12587 33554432000 4194304 4196468 140736383378992 139692323322800 139692858428034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50348 KiB

[startup+0.700838 s]
/proc/loadavg: 1.74 1.58 1.48 3/215 2821
/proc/meminfo: memFree=24283036/32770624 swapFree=67108852/67108860
[pid=2806] ppid=2803 vsize=14084808 memory=88892 CPUtime=0.99 cores=1,3,5,7
/proc/2806/stat : 2806 (java) S 2803 2806 2501 0 -1 1077944320 17629 0 0 0 94 5 0 0 20 0 15 0 43932589 14422843392 22223 33554432000 4194304 4196468 140736383378992 140736383361536 139692858416887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
/proc/2806/statm: 3521202 22223 3504 1 0 3483273 0
[pid=2806/tid=2808] ppid=2803 vsize=14084808 memory=9224 CPUtime=0.68 cores=1,3,5,7
/proc/2806/task/2808/stat : 2808 (java) R 2803 2806 2501 0 -1 4202560 14886 0 0 0 65 3 0 0 20 0 15 0 43932589 14422843392 22223 33554432000 4194304 4196468 140736383378992 139692862641056 139692842497374 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2809] ppid=2803 vsize=14084808 memory=16432 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2809/stat : 2809 (java) S 2803 2806 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43932590 14422843392 22223 33554432000 4194304 4196468 140736383378992 139692811037072 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2810] ppid=2803 vsize=14084808 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2810/stat : 2810 (java) S 2803 2806 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43932590 14422843392 22223 33554432000 4194304 4196468 140736383378992 139692809984272 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2811] ppid=2803 vsize=14084808 memory=644 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2811/stat : 2811 (java) S 2803 2806 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43932590 14422843392 22223 33554432000 4194304 4196468 140736383378992 139692808931984 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2812] ppid=2803 vsize=14084808 memory=956 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2812/stat : 2812 (java) S 2803 2806 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43932590 14422843392 22223 33554432000 4194304 4196468 140736383378992 139692807879184 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2813] ppid=2803 vsize=14084808 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2813/stat : 2813 (java) S 2803 2806 2501 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43932591 14422843392 22223 33554432000 4194304 4196468 140736383378992 139692331743856 139692858428034 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2814] ppid=2803 vsize=14084808 memory=2336 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2814/stat : 2814 (java) S 2803 2806 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43932592 14422843392 22223 33554432000 4194304 4196468 140736383378992 139692330689824 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2815] ppid=2803 vsize=14084808 memory=1580 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2815/stat : 2815 (java) S 2803 2806 2501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43932592 14422843392 22223 33554432000 4194304 4196468 140736383378992 139692329637488 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2816] ppid=2803 vsize=14084808 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2816/stat : 2816 (java) S 2803 2806 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43932594 14422843392 22223 33554432000 4194304 4196468 140736383378992 139692328585808 139692858435483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2817] ppid=2803 vsize=14084808 memory=6081387179578519657 CPUtime=0.07 cores=1,3,5,7
/proc/2806/task/2817/stat : 2817 (java) S 2803 2806 2501 0 -1 1077944384 716 0 0 0 7 0 0 0 20 0 15 0 43932594 14422843392 22223 33554432000 4194304 4196468 140736383378992 139692327532656 139692858428034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2818] ppid=2803 vsize=14084808 memory=6076878065162868073 CPUtime=0.06 cores=1,3,5,7
/proc/2806/task/2818/stat : 2818 (java) S 2803 2806 2501 0 -1 1077944384 222 0 0 0 6 0 0 0 20 0 15 0 43932594 14422843392 22223 33554432000 4194304 4196468 140736383378992 139692326479856 139692858428034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2819] ppid=2803 vsize=14084808 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/2806/task/2819/stat : 2819 (java) S 2803 2806 2501 0 -1 1077944384 423 0 0 0 14 0 0 0 20 0 15 0 43932594 14422843392 22223 33554432000 4194304 4196468 140736383378992 139692325427568 139692858428034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2820] ppid=2803 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2820/stat : 2820 (java) S 2803 2806 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43932595 14422843392 22223 33554432000 4194304 4196468 140736383378992 139692324375008 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2821] ppid=2803 vsize=14084808 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2821/stat : 2821 (java) S 2803 2806 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43932595 14422843392 22223 33554432000 4194304 4196468 140736383378992 139692323322800 139692858428034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88892 KiB

[startup+1.50077 s]
/proc/loadavg: 1.74 1.58 1.48 5/215 2821
/proc/meminfo: memFree=24221608/32770624 swapFree=67108852/67108860
[pid=2806] ppid=2803 vsize=14086856 memory=214188 CPUtime=3.51 cores=1,3,5,7
/proc/2806/stat : 2806 (java) S 2803 2806 2501 0 -1 1077944320 27018 0 0 0 343 8 0 0 20 0 15 0 43932589 14424940544 53547 33554432000 4194304 4196468 140736383378992 140736383361536 139692858416887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
/proc/2806/statm: 3521714 53547 3555 1 0 3483785 0
[pid=2806/tid=2808] ppid=2803 vsize=14086856 memory=174244 CPUtime=1.47 cores=1,3,5,7
/proc/2806/task/2808/stat : 2808 (java) S 2803 2806 2501 0 -1 1077944384 17887 0 0 0 142 5 0 0 20 0 15 0 43932589 14424940544 53547 33554432000 4194304 4196468 140736383378992 139692862652400 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2809] ppid=2803 vsize=14086856 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2809/stat : 2809 (java) R 2803 2806 2501 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 15 0 43932590 14424940544 53547 33554432000 4194304 4196468 140736383378992 139692811037072 139692843440942 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2810] ppid=2803 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2810/stat : 2810 (java) S 2803 2806 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43932590 14424940544 53547 33554432000 4194304 4196468 140736383378992 139692809984272 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2811] ppid=2803 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2811/stat : 2811 (java) R 2803 2806 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43932590 14424940544 53547 33554432000 4194304 4196468 140736383378992 139692808931984 139692858427093 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2812] ppid=2803 vsize=14086856 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2812/stat : 2812 (java) R 2803 2806 2501 0 -1 4202560 192 0 0 0 0 0 0 0 20 0 15 0 43932590 14424940544 53547 33554432000 4194304 4196468 140736383378992 139692807879184 139692842865099 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2813] ppid=2803 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2813/stat : 2813 (java) S 2803 2806 2501 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 15 0 43932591 14424940544 53547 33554432000 4194304 4196468 140736383378992 139692331742368 139692858427093 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0

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

/proc/2806/task/2808/stat : 2808 (java) R 2803 2806 2501 0 -1 4202560 165574 0 0 0 218632 55 0 0 20 0 15 0 43932589 14431232000 1368475 33554432000 4194304 4196468 140736383378992 139692862646144 139692492422026 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2809] ppid=2803 vsize=14093000 memory=1704 CPUtime=13.36 cores=1,3,5,7
/proc/2806/task/2809/stat : 2809 (java) S 2803 2806 2501 0 -1 1077944384 45982 0 2 0 1231 105 0 0 20 0 15 0 43932590 14431232000 1368475 33554432000 4194304 4196468 140736383378992 139692811037072 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2810] ppid=2803 vsize=14093000 memory=5473900 CPUtime=13.32 cores=1,3,5,7
/proc/2806/task/2810/stat : 2810 (java) S 2803 2806 2501 0 -1 1077944384 41346 0 1 0 1229 103 0 0 20 0 15 0 43932590 14431232000 1368475 33554432000 4194304 4196468 140736383378992 139692809984272 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2811] ppid=2803 vsize=14093000 memory=5466372 CPUtime=13.38 cores=1,3,5,7
/proc/2806/task/2811/stat : 2811 (java) S 2803 2806 2501 0 -1 1077944384 45628 0 0 0 1232 106 0 0 20 0 15 0 43932590 14431232000 1368475 33554432000 4194304 4196468 140736383378992 139692808931984 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2812] ppid=2803 vsize=14093000 memory=5466372 CPUtime=13.34 cores=1,3,5,7
/proc/2806/task/2812/stat : 2812 (java) S 2803 2806 2501 0 -1 1077944384 38239 0 0 0 1232 102 0 0 20 0 15 0 43932590 14431232000 1368475 33554432000 4194304 4196468 140736383378992 139692807879184 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2813] ppid=2803 vsize=14093000 memory=5471852 CPUtime=1.75 cores=1,3,5,7
/proc/2806/task/2813/stat : 2813 (java) S 2803 2806 2501 0 -1 1077944384 26657 0 0 0 166 9 0 0 20 0 15 0 43932591 14431232000 1368475 33554432000 4194304 4196468 140736383378992 139692331743856 139692858428034 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2814] ppid=2803 vsize=14093000 memory=4282452935648779162 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2814/stat : 2814 (java) S 2803 2806 2501 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 43932592 14431232000 1368475 33554432000 4194304 4196468 140736383378992 139692330689888 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2815] ppid=2803 vsize=14093000 memory=5473900 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2815/stat : 2815 (java) S 2803 2806 2501 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 43932592 14431232000 1368475 33554432000 4194304 4196468 140736383378992 139692329637504 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2816] ppid=2803 vsize=14093000 memory=280188567676765 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2816/stat : 2816 (java) S 2803 2806 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43932594 14431232000 1368475 33554432000 4194304 4196468 140736383378992 139692328585808 139692858435483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2817] ppid=2803 vsize=14093000 memory=5473900 CPUtime=5.48 cores=1,3,5,7
/proc/2806/task/2817/stat : 2817 (java) S 2803 2806 2501 0 -1 1077944384 22406 0 0 0 545 3 0 0 20 0 15 0 43932594 14431232000 1368475 33554432000 4194304 4196468 140736383378992 139692327532656 139692858428034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2818] ppid=2803 vsize=14093000 memory=5473900 CPUtime=5.92 cores=1,3,5,7
/proc/2806/task/2818/stat : 2818 (java) S 2803 2806 2501 0 -1 1077944384 26553 0 0 0 588 4 0 0 20 0 15 0 43932594 14431232000 1368475 33554432000 4194304 4196468 140736383378992 139692326479856 139692858428034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2819] ppid=2803 vsize=14093000 memory=5466372 CPUtime=1.75 cores=1,3,5,7
/proc/2806/task/2819/stat : 2819 (java) S 2803 2806 2501 0 -1 1077944384 30249 0 0 0 170 5 0 0 20 0 15 0 43932594 14431232000 1368475 33554432000 4194304 4196468 140736383378992 139692325427568 139692858428034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2820] ppid=2803 vsize=14093000 memory=5471852 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2820/stat : 2820 (java) S 2803 2806 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43932595 14431232000 1368475 33554432000 4194304 4196468 140736383378992 139692324375008 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2821] ppid=2803 vsize=14093000 memory=5466372 CPUtime=0.83 cores=1,3,5,7
/proc/2806/task/2821/stat : 2821 (java) S 2803 2806 2501 0 -1 1077944384 2044 0 0 0 34 49 0 0 20 0 15 0 43932595 14431232000 1368475 33554432000 4194304 4196468 140736383378992 139692323322800 139692858428034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 34 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
Current children cumulated CPU time: 2256.09 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 5473900 KiB

[startup+2262.3 s]
/proc/loadavg: 1.45 1.42 1.55 3/215 3219
/proc/meminfo: memFree=17730072/32770624 swapFree=67108852/67108860
[pid=2806] ppid=2803 vsize=14093000 memory=5490448 CPUtime=2316.88 cores=1,3,5,7
/proc/2806/stat : 2806 (java) S 2803 2806 2501 0 -1 1077944320 469848 0 3 0 231150 538 0 0 20 0 15 0 43932589 14431232000 1372612 33554432000 4194304 4196468 140736383378992 140736383361536 139692858416887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
/proc/2806/statm: 3523250 1372612 3627 1 0 3485321 0
[pid=2806/tid=2808] ppid=2803 vsize=14093000 memory=5490448 CPUtime=2246.63 cores=1,3,5,7
/proc/2806/task/2808/stat : 2808 (java) R 2803 2806 2501 0 -1 4202560 175792 0 0 0 224607 56 0 0 20 0 15 0 43932589 14431232000 1372612 33554432000 4194304 4196468 140736383378992 139692862654528 139692495670507 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2809] ppid=2803 vsize=14093000 memory=5484296 CPUtime=13.57 cores=1,3,5,7
/proc/2806/task/2809/stat : 2809 (java) S 2803 2806 2501 0 -1 1077944384 47792 0 2 0 1251 106 0 0 20 0 15 0 43932590 14431232000 1372612 33554432000 4194304 4196468 140736383378992 139692811037072 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2810] ppid=2803 vsize=14093000 memory=5486344 CPUtime=13.53 cores=1,3,5,7
/proc/2806/task/2810/stat : 2810 (java) S 2803 2806 2501 0 -1 1077944384 42835 0 1 0 1249 104 0 0 20 0 15 0 43932590 14431232000 1372612 33554432000 4194304 4196468 140736383378992 139692809984272 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2811] ppid=2803 vsize=14093000 memory=5486344 CPUtime=13.58 cores=1,3,5,7
/proc/2806/task/2811/stat : 2811 (java) S 2803 2806 2501 0 -1 1077944384 47093 0 0 0 1252 106 0 0 20 0 15 0 43932590 14431232000 1372612 33554432000 4194304 4196468 140736383378992 139692808931984 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2812] ppid=2803 vsize=14093000 memory=5486348 CPUtime=13.55 cores=1,3,5,7
/proc/2806/task/2812/stat : 2812 (java) S 2803 2806 2501 0 -1 1077944384 39741 0 0 0 1252 103 0 0 20 0 15 0 43932590 14431232000 1372612 33554432000 4194304 4196468 140736383378992 139692807879184 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2813] ppid=2803 vsize=14093000 memory=5490448 CPUtime=1.76 cores=1,3,5,7
/proc/2806/task/2813/stat : 2813 (java) S 2803 2806 2501 0 -1 1077944384 26893 0 0 0 167 9 0 0 20 0 15 0 43932591 14431232000 1372612 33554432000 4194304 4196468 140736383378992 139692331743856 139692858428034 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2814] ppid=2803 vsize=14093000 memory=5490448 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2814/stat : 2814 (java) S 2803 2806 2501 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 43932592 14431232000 1372612 33554432000 4194304 4196468 140736383378992 139692330689888 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2815] ppid=2803 vsize=14093000 memory=2336 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2815/stat : 2815 (java) S 2803 2806 2501 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 43932592 14431232000 1372612 33554432000 4194304 4196468 140736383378992 139692329637504 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2816] ppid=2803 vsize=14093000 memory=5490448 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2816/stat : 2816 (java) S 2803 2806 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43932594 14431232000 1372612 33554432000 4194304 4196468 140736383378992 139692328585808 139692858435483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2817] ppid=2803 vsize=14093000 memory=5490448 CPUtime=5.55 cores=1,3,5,7
/proc/2806/task/2817/stat : 2817 (java) S 2803 2806 2501 0 -1 1077944384 25273 0 0 0 552 3 0 0 20 0 15 0 43932594 14431232000 1372612 33554432000 4194304 4196468 140736383378992 139692327532656 139692858428034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2818] ppid=2803 vsize=14093000 memory=5486348 CPUtime=5.99 cores=1,3,5,7
/proc/2806/task/2818/stat : 2818 (java) S 2803 2806 2501 0 -1 1077944384 28905 0 0 0 594 5 0 0 20 0 15 0 43932594 14431232000 1372612 33554432000 4194304 4196468 140736383378992 139692326479856 139692858428034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2819] ppid=2803 vsize=14093000 memory=10936 CPUtime=1.76 cores=1,3,5,7
/proc/2806/task/2819/stat : 2819 (java) S 2803 2806 2501 0 -1 1077944384 31997 0 0 0 171 5 0 0 20 0 15 0 43932594 14431232000 1372612 33554432000 4194304 4196468 140736383378992 139692325427568 139692858428034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2820] ppid=2803 vsize=14093000 memory=5490448 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2820/stat : 2820 (java) S 2803 2806 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43932595 14431232000 1372612 33554432000 4194304 4196468 140736383378992 139692324375008 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2821] ppid=2803 vsize=14093000 memory=4012 CPUtime=0.87 cores=1,3,5,7
/proc/2806/task/2821/stat : 2821 (java) S 2803 2806 2501 0 -1 1077944384 2084 0 0 0 36 51 0 0 20 0 15 0 43932595 14431232000 1372612 33554432000 4194304 4196468 140736383378992 139692323322800 139692858428034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 34 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
Current children cumulated CPU time: 2316.88 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 5490448 KiB

[startup+2322.3 s]
/proc/loadavg: 1.55 1.45 1.55 3/215 3220
/proc/meminfo: memFree=17869568/32770624 swapFree=67108852/67108860
[pid=2806] ppid=2803 vsize=14093000 memory=5498648 CPUtime=2377.54 cores=1,3,5,7
/proc/2806/stat : 2806 (java) S 2803 2806 2501 0 -1 1077944320 485394 0 3 0 237212 542 0 0 20 0 15 0 43932589 14431232000 1374662 33554432000 4194304 4196468 140736383378992 140736383361536 139692858416887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
/proc/2806/statm: 3523250 1374662 3627 1 0 3485321 0
[pid=2806/tid=2808] ppid=2803 vsize=14093000 memory=5498640 CPUtime=2306.41 cores=1,3,5,7
/proc/2806/task/2808/stat : 2808 (java) R 2803 2806 2501 0 -1 4202560 181976 0 0 0 230584 57 0 0 20 0 15 0 43932589 14431232000 1374662 33554432000 4194304 4196468 140736383378992 139692862652888 139692495670599 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2809] ppid=2803 vsize=14093000 memory=5498640 CPUtime=13.78 cores=1,3,5,7
/proc/2806/task/2809/stat : 2809 (java) S 2803 2806 2501 0 -1 1077944384 48930 0 2 0 1272 106 0 0 20 0 15 0 43932590 14431232000 1374662 33554432000 4194304 4196468 140736383378992 139692811037072 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2810] ppid=2803 vsize=14093000 memory=5498640 CPUtime=13.73 cores=1,3,5,7
/proc/2806/task/2810/stat : 2810 (java) S 2803 2806 2501 0 -1 1077944384 44822 0 1 0 1269 104 0 0 20 0 15 0 43932590 14431232000 1374662 33554432000 4194304 4196468 140736383378992 139692809984272 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2811] ppid=2803 vsize=14093000 memory=5498640 CPUtime=13.78 cores=1,3,5,7
/proc/2806/task/2811/stat : 2811 (java) S 2803 2806 2501 0 -1 1077944384 48896 0 0 0 1272 106 0 0 20 0 15 0 43932590 14431232000 1374662 33554432000 4194304 4196468 140736383378992 139692808931984 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2812] ppid=2803 vsize=14093000 memory=5498640 CPUtime=13.76 cores=1,3,5,7
/proc/2806/task/2812/stat : 2812 (java) S 2803 2806 2501 0 -1 1077944384 41403 0 0 0 1273 103 0 0 20 0 15 0 43932590 14431232000 1374662 33554432000 4194304 4196468 140736383378992 139692807879184 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2813] ppid=2803 vsize=14093000 memory=5498640 CPUtime=1.77 cores=1,3,5,7
/proc/2806/task/2813/stat : 2813 (java) S 2803 2806 2501 0 -1 1077944384 26983 0 0 0 168 9 0 0 20 0 15 0 43932591 14431232000 1374662 33554432000 4194304 4196468 140736383378992 139692331743856 139692858428034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2814] ppid=2803 vsize=14093000 memory=5498648 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2814/stat : 2814 (java) S 2803 2806 2501 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 43932592 14431232000 1374662 33554432000 4194304 4196468 140736383378992 139692330689888 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2815] ppid=2803 vsize=14093000 memory=5498640 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2815/stat : 2815 (java) S 2803 2806 2501 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 43932592 14431232000 1374662 33554432000 4194304 4196468 140736383378992 139692329637504 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2816] ppid=2803 vsize=14093000 memory=5498648 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2816/stat : 2816 (java) S 2803 2806 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43932594 14431232000 1374662 33554432000 4194304 4196468 140736383378992 139692328585808 139692858435483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2817] ppid=2803 vsize=14093000 memory=1440 CPUtime=5.55 cores=1,3,5,7
/proc/2806/task/2817/stat : 2817 (java) S 2803 2806 2501 0 -1 1077944384 25363 0 0 0 552 3 0 0 20 0 15 0 43932594 14431232000 1374662 33554432000 4194304 4196468 140736383378992 139692327532656 139692858428034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2818] ppid=2803 vsize=14093000 memory=4012 CPUtime=5.99 cores=1,3,5,7
/proc/2806/task/2818/stat : 2818 (java) S 2803 2806 2501 0 -1 1077944384 28908 0 0 0 594 5 0 0 20 0 15 0 43932594 14431232000 1374662 33554432000 4194304 4196468 140736383378992 139692326479856 139692858428034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2819] ppid=2803 vsize=14093000 memory=1228 CPUtime=1.77 cores=1,3,5,7
/proc/2806/task/2819/stat : 2819 (java) S 2803 2806 2501 0 -1 1077944384 34562 0 0 0 172 5 0 0 20 0 15 0 43932594 14431232000 1374662 33554432000 4194304 4196468 140736383378992 139692325427568 139692858428034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2820] ppid=2803 vsize=14093000 memory=5372 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2820/stat : 2820 (java) S 2803 2806 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43932595 14431232000 1374662 33554432000 4194304 4196468 140736383378992 139692324375008 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2821] ppid=2803 vsize=14093000 memory=5498640 CPUtime=0.9 cores=1,3,5,7
/proc/2806/task/2821/stat : 2821 (java) S 2803 2806 2501 0 -1 1077944384 2109 0 0 0 38 52 0 0 20 0 15 0 43932595 14431232000 1374662 33554432000 4194304 4196468 140736383378992 139692323322800 139692858428034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 34 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
Current children cumulated CPU time: 2377.54 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 5498648 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2344.6 s]
/proc/loadavg: 1.65 1.48 1.55 3/215 3220
/proc/meminfo: memFree=17841708/32770624 swapFree=67108852/67108860
[pid=2806] ppid=2803 vsize=14093000 memory=5500696 CPUtime=2400.07 cores=1,3,5,7
/proc/2806/stat : 2806 (java) S 2803 2806 2501 0 -1 1077944320 490938 0 3 0 239464 543 0 0 20 0 15 0 43932589 14431232000 1375174 33554432000 4194304 4196468 140736383378992 140736383361536 139692858416887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
/proc/2806/statm: 3523250 1375174 3627 1 0 3485321 0
[pid=2806/tid=2808] ppid=2803 vsize=14093000 memory=6656426216303648864 CPUtime=2328.64 cores=1,3,5,7
/proc/2806/task/2808/stat : 2808 (java) R 2803 2806 2501 0 -1 4202560 182980 0 0 0 232807 57 0 0 20 0 15 0 43932589 14431232000 1375174 33554432000 4194304 4196468 140736383378992 139692862654464 139692496956359 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2809] ppid=2803 vsize=14093000 memory=6944656592455360604 CPUtime=13.84 cores=1,3,5,7
/proc/2806/task/2809/stat : 2809 (java) S 2803 2806 2501 0 -1 1077944384 49611 0 2 0 1278 106 0 0 20 0 15 0 43932590 14431232000 1375174 33554432000 4194304 4196468 140736383378992 139692811037072 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2810] ppid=2803 vsize=14093000 memory=6943526294502006880 CPUtime=13.81 cores=1,3,5,7
/proc/2806/task/2810/stat : 2810 (java) S 2803 2806 2501 0 -1 1077944384 45904 0 1 0 1276 105 0 0 20 0 15 0 43932590 14431232000 1375174 33554432000 4194304 4196468 140736383378992 139692809984272 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2811] ppid=2803 vsize=14093000 memory=6944652177228980320 CPUtime=13.86 cores=1,3,5,7
/proc/2806/task/2811/stat : 2811 (java) S 2803 2806 2501 0 -1 1077944384 49425 0 0 0 1279 107 0 0 20 0 15 0 43932590 14431232000 1375174 33554432000 4194304 4196468 140736383378992 139692808931984 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2812] ppid=2803 vsize=14093000 memory=7017355383449828662 CPUtime=13.82 cores=1,3,5,7
/proc/2806/task/2812/stat : 2812 (java) S 2803 2806 2501 0 -1 1077944384 42480 0 0 0 1279 103 0 0 20 0 15 0 43932590 14431232000 1375174 33554432000 4194304 4196468 140736383378992 139692807879184 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2813] ppid=2803 vsize=14093000 memory=7017355383550623062 CPUtime=1.77 cores=1,3,5,7
/proc/2806/task/2813/stat : 2813 (java) S 2803 2806 2501 0 -1 1077944384 27117 0 0 0 168 9 0 0 20 0 15 0 43932591 14431232000 1375174 33554432000 4194304 4196468 140736383378992 139692331743856 139692858428034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2814] ppid=2803 vsize=14093000 memory=140095451482193 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2814/stat : 2814 (java) S 2803 2806 2501 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 43932592 14431232000 1375174 33554432000 4194304 4196468 140736383378992 139692330689888 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2815] ppid=2803 vsize=14093000 memory=280190648275264 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2815/stat : 2815 (java) S 2803 2806 2501 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 43932592 14431232000 1375174 33554432000 4194304 4196468 140736383378992 139692329637504 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2816] ppid=2803 vsize=14093000 memory=-7745171290444885161 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2816/stat : 2816 (java) S 2803 2806 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43932594 14431232000 1375174 33554432000 4194304 4196468 140736383378992 139692328585808 139692858435483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2817] ppid=2803 vsize=14093000 memory=6944656592452807320 CPUtime=5.55 cores=1,3,5,7
/proc/2806/task/2817/stat : 2817 (java) S 2803 2806 2501 0 -1 1077944384 25564 0 0 0 552 3 0 0 20 0 15 0 43932594 14431232000 1375174 33554432000 4194304 4196468 140736383378992 139692327532656 139692858428034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2818] ppid=2803 vsize=14093000 memory=-3967418655009478193 CPUtime=5.99 cores=1,3,5,7
/proc/2806/task/2818/stat : 2818 (java) S 2803 2806 2501 0 -1 1077944384 28908 0 0 0 594 5 0 0 20 0 15 0 43932594 14431232000 1375174 33554432000 4194304 4196468 140736383378992 139692326479856 139692858428034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2819] ppid=2803 vsize=14093000 memory=-1807685287717842718 CPUtime=1.78 cores=1,3,5,7
/proc/2806/task/2819/stat : 2819 (java) S 2803 2806 2501 0 -1 1077944384 35385 0 0 0 173 5 0 0 20 0 15 0 43932594 14431232000 1375174 33554432000 4194304 4196468 140736383378992 139692325427568 139692858428034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2820] ppid=2803 vsize=14093000 memory=7756773734236447552 CPUtime=0 cores=1,3,5,7
/proc/2806/task/2820/stat : 2820 (java) S 2803 2806 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43932595 14431232000 1375174 33554432000 4194304 4196468 140736383378992 139692324375008 139692858427093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
[pid=2806/tid=2821] ppid=2803 vsize=14093000 memory=-6585810021020737321 CPUtime=0.92 cores=1,3,5,7
/proc/2806/task/2821/stat : 2821 (java) S 2803 2806 2501 0 -1 1077944384 2121 0 0 0 39 53 0 0 20 0 15 0 43932595 14431232000 1375174 33554432000 4194304 4196468 140736383378992 139692323322800 139692858428034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 34 0 0 6293624 6294260 14729216 140736383382612 140736383382793 140736383382793 140736383385551 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 5500696 KiB

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

[startup+2344.65 s]
# the end of solver process 2806 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2394.68 s, system=5.47228 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2344.65
CPU time (s): 2400.15
CPU user time (s): 2394.68
CPU system time (s): 5.47228
CPU usage (%): 102.367
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 5500696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.68
system time used= 5.47228
maximum resident set size= 5501068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 491674
page faults= 3
swaps= 0
block input operations= 648
block output operations= 2824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66903
involuntary context switches= 2117


# summary of solver processes directly reported to runsolver:
#   pid: 2806
#   total CPU time (s): 2400.15
#   total CPU user time (s): 2394.68
#   total CPU system time (s): 5.47228

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.282 second user time and 20.7802 second system time

The end

Launcher Data 

Begin job on node148 at 2018-07-22 14:48:14
IDJOB=4291861
IDBENCH=141189
IDSOLVER=2746
FILE ID=node148/4291861-1532263694
RUNJOBID= node148-1532261360-2533
PBS_JOBID= 21018973
Free space on /tmp= 51956 MiB

SOLVER NAME= OscaR - Hybrid 2018-07-02
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-08-opt_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291861-1532263694/watcher-4291861-1532263694 -o /tmp/evaluation-result-4291861-1532263694/solver-4291861-1532263694 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532261360-2533 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1607809829 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291861-1532263694.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 9be5bd0a86f9e024d7fdf548556c4b89
RANDOM SEED=1607809829

node148.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24345088 kB
MemAvailable:   31189196 kB
Buffers:          150892 kB
Cached:          6876984 kB
SwapCached:            8 kB
Active:          1996108 kB
Inactive:        5834340 kB
Active(anon):     756384 kB
Inactive(anon):    66112 kB
Active(file):    1239724 kB
Inactive(file):  5768228 kB
Unevictable:        7080 kB
Mlocked:            7080 kB
SwapTotal:      67108860 kB
SwapFree:       67108852 kB
Dirty:             36132 kB
Writeback:             8 kB
AnonPages:        809420 kB
Mapped:            49296 kB
Shmem:             17024 kB
Slab:             292188 kB
SReclaimable:     264616 kB
SUnreclaim:        27572 kB
KernelStack:        3520 kB
PageTables:         6912 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1405128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    729088 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 51920 MiB
End job on node148 at 2018-07-22 15:27:19