Trace number 4308661

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-08-14SAT (TO)4722 2520.1 2470.66

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.67/0.55	c version: 2018-08-14
0.67/0.55	c seed: 1936309377
0.67/0.55	c timeout: 2520
0.67/0.55	c memlimit: 11000
0.67/0.55	c nbcore: 4
0.67/0.58	c Parsing instance...
11.10/6.15	c Parsing done, starting first complete search...
1307.71/1295.21	o 5644
1307.71/1295.21	c First complete search done, starting ALNS search...
1313.73/1297.73	o 5640
1314.19/1298.08	o 5639
1314.40/1298.13	o 5638
1314.40/1298.15	o 5637
1314.40/1298.18	o 5633
1314.53/1298.21	o 5631
1314.53/1298.24	o 5625
1314.53/1298.26	o 5623
1314.53/1298.29	o 5622
1314.70/1298.32	o 5621
1314.70/1298.35	o 5619
1314.70/1298.37	o 5618
1314.97/1298.44	o 5617
1314.97/1298.46	o 5616
1314.97/1298.49	o 5615
1315.14/1298.51	o 5614
1315.14/1298.53	o 5613
1315.14/1298.56	o 5612
1315.14/1298.58	o 5611
1315.24/1298.60	o 5610
1315.24/1298.64	o 5609
1315.24/1298.66	o 5608
1315.24/1298.68	o 5607
1315.40/1298.72	o 5606
1315.40/1298.76	o 5605
1315.40/1298.79	o 5604
1315.53/1298.82	o 5603
1315.87/1299.19	o 5601
1316.02/1299.21	o 5600
1316.02/1299.24	o 5599
1316.02/1299.30	o 5598
1316.12/1299.32	o 5597
1316.25/1299.41	o 5596
1316.25/1299.44	o 5595
1316.25/1299.47	o 5594
1316.25/1299.49	o 5593
1316.35/1299.55	o 5592
1316.35/1299.58	o 5591
1316.45/1299.61	o 5590
1326.65/1304.88	o 5589
1329.07/1306.98	o 5587
1329.20/1307.05	o 5585
1329.20/1307.10	o 5584
1329.30/1307.16	o 5582
1329.49/1307.31	o 5581
1329.49/1307.37	o 5580
1329.59/1307.42	o 5578
1329.59/1307.48	o 5577
1329.69/1307.54	o 5576
1329.69/1307.59	o 5574
1329.80/1307.65	o 5573
1329.90/1307.70	o 5572
1329.90/1307.75	o 5570
1330.00/1307.82	o 5568
1330.00/1307.89	o 5567
1330.10/1307.95	o 5565
1330.21/1308.01	o 5564
1330.21/1308.06	o 5562
1330.31/1308.14	o 5560
1330.40/1308.22	o 5559
1330.40/1308.28	o 5558
1330.60/1308.49	o 5557
1330.70/1308.55	o 5556
1330.80/1308.62	o 5555
1330.80/1308.67	o 5554
1330.91/1308.72	o 5553
1331.01/1308.81	o 5552
1331.01/1308.87	o 5551
1331.11/1308.94	o 5550
1331.21/1309.02	o 5549
1331.21/1309.09	o 5548
1331.32/1309.19	o 5547
1331.40/1309.24	o 5546
1331.40/1309.29	o 5545
1331.51/1309.38	o 5544
1331.64/1309.42	o 5543
1331.97/1309.69	o 5542
1332.07/1309.72	o 5541
1332.17/1309.86	o 5540
1332.17/1309.89	o 5539
1332.27/1309.93	o 5538
1332.27/1309.96	o 5537
1332.38/1310.10	o 5536
1332.48/1310.13	o 5535
1332.48/1310.17	o 5534
1332.57/1310.20	o 5533
1332.57/1310.26	o 5532
1337.07/1314.47	o 5524
1337.07/1314.47	o 5522
1338.77/1315.91	o 5521
1409.10/1380.95	o 5520
1409.60/1381.48	o 5519
1409.80/1381.63	o 5518
1409.91/1381.77	o 5517
1410.14/1381.90	o 5516
1410.25/1382.01	o 5515
1410.44/1382.22	o 5514
1410.54/1382.32	o 5513
1410.64/1382.46	o 5512
1410.74/1382.57	o 5511
1410.94/1382.74	o 5510
1411.04/1382.89	o 5509
1411.25/1383.07	o 5508
1411.39/1383.19	o 5507
1411.78/1383.54	o 5506
1412.08/1383.84	o 5505
1412.18/1383.93	o 5504
1412.29/1384.06	o 5503
1412.48/1384.20	o 5502
1412.58/1384.35	o 5501
1412.68/1384.47	o 5500
1412.88/1384.65	o 5499
1413.08/1384.80	o 5498
1413.29/1385.09	o 5497
1413.58/1385.30	o 5496
1413.72/1385.48	o 5495
1413.93/1385.69	o 5494
1414.23/1385.94	o 5493
1414.34/1386.10	o 5492
1414.73/1386.44	o 5491
1415.23/1386.90	o 5490
1415.34/1387.05	o 5489
1415.53/1387.21	o 5488
1415.64/1387.36	o 5487
1415.84/1387.59	o 5486
1416.04/1387.77	o 5485
1419.59/1391.12	o 5484
1422.22/1393.73	o 5483
1422.22/1393.76	o 5481
1422.42/1393.99	o 5480
1423.53/1395.02	o 5479
1423.53/1395.10	o 5478
1446.55/1416.23	o 5476
1446.65/1416.33	o 5474
1446.85/1416.57	o 5462
1446.95/1416.64	o 5460
1448.26/1417.92	o 5459
1448.37/1418.05	o 5457
1448.47/1418.14	o 5456
1448.56/1418.27	o 5455
1448.76/1418.45	o 5454
1448.86/1418.54	o 5452
1448.96/1418.63	o 5451
1449.89/1419.39	o 5450
1449.99/1419.48	o 5449
1451.09/1420.54	o 5447
1451.19/1420.63	o 5446
1452.38/1421.59	o 5445
1452.48/1421.67	o 5444
1452.58/1421.76	o 5443
1453.89/1423.11	o 5441
1453.99/1423.19	o 5440
1456.84/1425.72	o 5439
1456.94/1425.81	o 5438
1462.79/1431.12	o 5437
1462.79/1431.14	o 5436
1462.79/1431.18	o 5432
1463.12/1431.46	o 5430
1463.22/1431.56	o 5428
1480.33/1446.88	o 5427
1481.23/1447.77	o 5426
1481.33/1447.84	o 5425
1484.14/1450.21	o 5424
1484.27/1450.38	o 5423
1484.47/1450.52	o 5422
1484.57/1450.66	o 5421
1484.67/1450.79	o 5420
1484.87/1450.92	o 5419
1484.98/1451.06	o 5418
1486.51/1452.57	o 5417
1486.71/1452.74	o 5416
1486.81/1452.88	o 5415
1487.02/1453.01	o 5414
1487.81/1453.90	o 5413
1488.21/1454.23	o 5412
1488.71/1454.78	o 5411
1489.12/1455.13	o 5410
1489.21/1455.30	o 5409
1489.46/1455.45	o 5408
1489.66/1455.62	o 5407
1490.07/1456.03	o 5406
1490.17/1456.19	o 5405
1490.74/1456.64	o 5404
1490.94/1456.85	o 5403
1491.15/1457.05	o 5402
1491.54/1457.41	o 5401
1491.64/1457.60	o 5400
1494.19/1460.02	o 5398
1494.72/1460.55	o 5397
1494.84/1460.66	o 5396
1495.74/1461.56	o 5395
1495.85/1461.66	o 5393
1496.05/1461.80	o 5392
1496.15/1461.99	o 5391
1496.36/1462.11	o 5390
1496.55/1462.30	o 5389
1496.65/1462.42	o 5388
1496.75/1462.54	o 5387
1496.85/1462.66	o 5386
1502.24/1467.94	o 5385
1502.45/1468.14	o 5384
1502.74/1468.47	o 5382
1503.14/1468.80	o 5381
1503.45/1469.13	o 5380
1503.74/1469.45	o 5379
1521.54/1487.07	o 5376
1521.83/1487.30	o 5374
1522.03/1487.59	o 5371
1522.13/1487.69	o 5370
1522.23/1487.75	o 5367
1522.33/1487.88	o 5366
1523.29/1488.77	o 5365
1523.75/1489.12	o 5364
1526.65/1492.06	o 5363
1527.04/1492.41	o 5362
1527.75/1493.18	o 5361
1528.14/1493.52	o 5360
1528.74/1494.14	o 5359
1550.73/1515.85	o 5358
1553.99/1519.09	o 5355
1554.68/1519.77	o 5353
1555.18/1520.20	o 5352
1555.38/1520.40	o 5350
1555.99/1521.09	o 5345
1556.38/1521.44	o 5344
1556.58/1521.68	o 5342
1557.09/1522.14	o 5341
1557.28/1522.36	o 5339
1557.58/1522.65	o 5338
1557.99/1523.05	o 5337
1558.28/1523.31	o 5336
1558.48/1523.59	o 5335
1565.08/1530.02	o 5334
1565.27/1530.29	o 5333
1565.57/1530.56	o 5332
1567.08/1532.04	o 5331
1573.82/1538.70	o 5330
1573.92/1538.88	o 5329
1577.47/1542.33	o 5328
1577.77/1542.64	o 5327
1578.07/1542.98	o 5326
1583.32/1548.18	o 5325
1583.61/1548.48	o 5324
1584.01/1548.80	o 5323
1585.11/1549.94	o 5321
1585.41/1550.24	o 5320
1585.71/1550.58	o 5319
1587.22/1552.08	o 5318
1588.11/1552.99	o 5317
1588.41/1553.29	o 5316
1590.86/1555.68	o 5315
1592.27/1557.09	o 5314
1592.76/1557.58	o 5313
1593.96/1558.73	o 5312
1594.27/1559.05	o 5311
1594.57/1559.39	o 5310
1594.97/1559.75	o 5309
1595.21/1559.99	o 5308
1595.51/1560.26	o 5307
1595.71/1560.45	o 5306
1595.91/1560.62	o 5305
1596.11/1560.80	o 5304
1596.93/1561.67	o 5303
1597.23/1561.96	o 5301
1597.54/1562.25	o 5298
1597.64/1562.39	o 5297
1599.54/1564.24	o 5296
1599.64/1564.33	o 5294
1599.64/1564.37	o 5293
1600.06/1564.77	o 5289
1600.66/1565.38	o 5285
1601.26/1565.99	o 5283
1605.83/1570.46	o 5282
1606.73/1571.36	o 5278
1610.18/1574.70	o 5277
1610.49/1575.09	o 5276
1611.49/1576.10	o 5275
1611.98/1576.55	o 5274
1616.64/1581.17	o 5273
1617.04/1581.52	o 5270
1617.65/1582.11	o 5269
1618.14/1582.62	o 5268
1621.08/1585.54	o 5267
1621.48/1585.98	o 5266
1621.98/1586.40	o 5265
1622.28/1586.71	o 5262
1622.69/1587.14	o 5261
1623.59/1588.03	o 5260
1624.08/1588.53	o 5259
1625.48/1589.96	o 5258
1626.03/1590.50	o 5257
1627.23/1591.61	o 5256
1627.74/1592.13	o 5255
1649.39/1613.67	o 5254
1662.82/1626.92	o 5253
1663.14/1627.26	o 5252
1663.54/1627.68	o 5251
1663.94/1628.06	o 5250
1664.34/1628.49	o 5249
1664.84/1628.96	o 5247
1665.24/1629.34	o 5246
1665.64/1629.79	o 5245
1666.05/1630.19	o 5244
1666.54/1630.60	o 5243
1666.84/1630.98	o 5242
1667.24/1631.31	o 5241
1667.54/1631.69	o 5240
1667.95/1632.08	o 5239
1668.44/1632.50	o 5238
1668.88/1632.91	o 5237
1669.28/1633.32	o 5236
1669.68/1633.74	o 5235
1670.09/1634.11	o 5234
1670.38/1634.48	o 5233
1670.88/1634.93	o 5232
1671.68/1635.71	o 5231
1671.99/1636.09	o 5230
1672.38/1636.48	o 5229
1681.59/1645.52	o 5226
1681.69/1645.62	o 5225
1705.26/1669.02	o 5224
1705.36/1669.16	o 5221
1707.90/1671.69	o 5220
1708.70/1672.46	o 5219
1709.60/1673.31	o 5218
1710.31/1674.05	o 5217
1711.42/1675.14	o 5216
1712.14/1675.84	o 5214
1714.18/1677.84	o 5212
1714.98/1678.63	o 5211
1715.49/1679.17	o 5209
1716.28/1679.93	o 5208
1716.78/1680.45	o 5206
1717.78/1681.41	o 5204
1719.93/1683.50	o 5203
1720.54/1684.12	o 5201
1721.13/1684.78	o 5200
1721.73/1685.39	o 5198
1724.83/1688.48	o 5197
1725.58/1689.13	o 5196
1725.68/1689.22	o 5195
1726.68/1690.23	o 5193
1727.88/1691.44	o 5191
1729.38/1692.98	o 5187
1729.98/1693.51	o 5183
1730.59/1694.16	o 5179
1731.08/1694.65	o 5175
1731.82/1695.30	o 5171
1732.42/1695.91	o 5168
1733.02/1696.57	o 5164
1733.63/1697.15	o 5161
1736.93/1700.40	o 5159
1737.23/1700.71	o 5158
1737.64/1701.16	o 5156
1738.07/1701.54	o 5155
1738.87/1702.33	o 5154
1739.37/1702.84	o 5152
1739.68/1703.13	o 5151
1740.07/1703.54	o 5150
1741.97/1705.43	o 5149
1742.87/1706.31	o 5148
1743.17/1706.70	o 5147
1743.58/1707.07	o 5146
1743.97/1707.43	o 5145
1744.92/1708.34	o 5144
1745.83/1709.28	o 5143
1754.87/1718.23	o 5142
1761.22/1724.50	o 5141
1772.32/1735.51	o 5140
1773.02/1736.23	o 5139
1773.83/1737.02	o 5138
1775.23/1738.44	o 5137
1775.95/1739.19	o 5136
1777.99/1741.15	o 5135
1779.18/1742.31	o 5134
1779.89/1743.05	o 5133
1780.58/1743.79	o 5132
1781.38/1744.53	o 5131
1786.43/1749.50	o 5130
1787.14/1750.25	o 5127
1791.81/1754.79	o 5126
1794.91/1757.81	o 5124
1795.62/1758.59	o 5122
1796.28/1759.16	o 5121
1796.88/1759.72	o 5120
1797.48/1760.32	o 5119
1797.99/1760.85	o 5118
1798.49/1761.38	o 5117
1799.09/1761.95	o 5116
1800.49/1763.37	o 5112
1800.89/1763.74	o 5108
1801.20/1764.05	o 5105
1801.59/1764.41	o 5104
1801.89/1764.72	o 5103
1802.20/1765.10	o 5102
1805.13/1767.90	o 5101
1805.43/1768.23	o 5100
1805.73/1768.52	o 5099
1806.03/1768.85	o 5098
1807.24/1770.08	o 5097
1807.54/1770.37	o 5096
1808.04/1770.81	o 5095
1808.84/1771.68	o 5094
1816.85/1779.42	o 5086
1836.71/1795.45	o 5085
1837.12/1795.85	o 5084
1837.32/1796.02	o 5081
1837.43/1796.15	o 5080
1837.62/1796.35	o 5076
1837.72/1796.50	o 5072
1837.92/1796.69	o 5071
1838.33/1797.07	o 5069
1838.52/1797.20	o 5068
1838.62/1797.33	o 5066
1838.82/1797.52	o 5064
1839.02/1797.70	o 5063
1848.27/1806.91	o 5062
1848.67/1807.32	o 5061
1849.11/1807.74	o 5060
1849.52/1808.15	o 5059
1852.71/1811.34	o 5057
1853.11/1811.73	o 5056
1859.50/1818.07	o 5055
1868.69/1827.15	o 5054
1869.28/1827.71	o 5053
1870.38/1828.81	o 5052
1872.08/1830.52	o 5051
1873.60/1832.01	o 5049
1874.19/1832.61	o 5048
1875.33/1833.80	o 5046
1875.64/1834.03	o 5045
1876.85/1835.21	o 5044
1877.35/1835.70	o 5043
1878.25/1836.66	o 5041
1878.96/1837.34	o 5040
1880.06/1838.42	o 5039
1880.67/1839.06	o 5038
1881.36/1839.72	o 5037
1882.51/1840.84	o 5036
1883.31/1841.67	o 5035
1884.11/1842.49	o 5034
1885.01/1843.33	o 5033
1885.82/1844.13	o 5032
1886.41/1844.78	o 5031
1887.21/1845.53	o 5030
1888.16/1846.49	o 5029
1888.87/1847.13	o 5028
1889.56/1847.87	o 5027
1890.36/1848.67	o 5026
1891.16/1849.46	o 5025
1891.96/1850.25	o 5024
1892.66/1850.99	o 5022
1893.77/1852.04	o 5021
1894.81/1853.06	o 5020
1895.60/1853.86	o 5019
1896.31/1854.53	o 5018
1897.01/1855.29	o 5017
1918.37/1876.48	o 5016
1920.37/1878.42	o 5015
1922.61/1880.62	o 5014
1923.21/1881.24	o 5013
1925.42/1883.49	o 5012
1926.22/1884.29	o 5010
1926.92/1884.99	o 5009
1927.77/1885.78	o 5008
1928.77/1886.78	o 5007
1929.47/1887.49	o 5006
1930.18/1888.16	o 5005
1930.97/1888.98	o 5004
1940.96/1898.84	o 5001
1941.22/1899.10	o 5000
1941.51/1899.38	o 4999
1941.81/1899.68	o 4998
1953.28/1911.04	o 4997
1953.57/1911.34	o 4996
1953.77/1911.52	o 4995
1955.21/1912.98	o 4994
1955.81/1913.53	o 4993
1956.11/1913.88	o 4992
1956.42/1914.19	o 4989
1956.81/1914.60	o 4988
1978.27/1935.88	o 4986
1978.67/1936.23	o 4985
1978.97/1936.53	o 4984
1979.27/1936.82	o 4982
2000.11/1957.53	o 4981
2001.11/1958.52	o 4980
2015.92/1973.21	o 4978
2016.12/1973.45	o 4977
2016.52/1973.82	o 4973
2016.73/1974.09	o 4970
2017.12/1974.48	o 4968
2017.57/1974.86	o 4967
2019.78/1977.05	o 4966
2020.27/1977.54	o 4965
2021.37/1978.65	o 4964
2022.07/1979.36	o 4963
2022.88/1980.11	o 4962
2023.37/1980.63	o 4961
2024.18/1981.42	o 4960
2025.12/1982.37	o 4959
2025.72/1983.00	o 4958
2026.32/1983.56	o 4957
2026.93/1984.12	o 4956
2040.22/1997.30	o 4955
2040.22/1997.36	o 4954
2052.08/2009.19	o 4953
2053.51/2010.57	o 4952
2054.31/2011.32	o 4951
2055.02/2012.03	o 4950
2055.72/2012.72	o 4949
2057.13/2014.12	o 4948
2057.83/2014.83	o 4947
2058.53/2015.54	o 4946
2059.26/2016.24	o 4945
2061.89/2018.83	o 4944
2062.39/2019.33	o 4942
2062.89/2019.80	o 4939
2063.39/2020.32	o 4936
2063.89/2020.85	o 4935
2064.69/2021.67	o 4934
2065.39/2022.36	o 4933
2065.79/2022.74	o 4932
2066.43/2023.37	o 4931
2067.33/2024.20	o 4930
2080.74/2037.55	o 4928
2081.60/2038.33	o 4927
2082.20/2039.01	o 4924
2083.10/2039.86	o 4923
2084.41/2041.14	o 4922
2085.00/2041.75	o 4920
2085.80/2042.53	o 4919
2086.80/2043.59	o 4917
2087.60/2044.37	o 4916
2089.06/2045.78	o 4915
2090.16/2046.87	o 4913
2091.22/2047.82	o 4912
2091.72/2048.31	o 4910
2094.32/2050.92	o 4909
2095.97/2052.51	o 4908
2097.07/2053.62	o 4907
2097.67/2054.23	o 4906
2100.27/2056.87	o 4905
2100.87/2057.46	o 4904
2101.87/2058.41	o 4903
2102.07/2058.60	o 4899
2106.13/2062.60	o 4897
2106.64/2063.12	o 4896
2107.13/2063.65	o 4895
2107.93/2064.40	o 4894
2108.33/2064.85	o 4893
2108.83/2065.33	o 4892
2109.87/2066.31	o 4891
2110.47/2066.90	o 4890
2112.37/2068.82	o 4889
2112.87/2069.38	o 4888
2113.47/2069.95	o 4887
2114.88/2071.39	o 4886
2115.97/2072.45	o 4885
2117.13/2073.58	o 4884
2118.24/2074.61	o 4883
2119.34/2075.76	o 4882
2120.34/2076.79	o 4881
2143.59/2099.87	o 4880
2150.94/2107.12	o 4879
2151.84/2108.09	o 4878
2155.59/2111.71	o 4876
2161.05/2117.19	o 4874
2162.95/2119.06	o 4872
2164.15/2120.29	o 4870
2166.35/2122.41	o 4868
2167.69/2123.74	o 4866
2170.39/2126.49	o 4864
2172.69/2128.78	o 4863
2173.69/2129.78	o 4861
2177.35/2133.31	o 4860
2177.55/2133.52	o 4858
2177.75/2133.78	o 4857
2190.16/2146.06	o 4856
2193.95/2149.84	o 4855
2195.05/2150.93	o 4854
2196.31/2152.15	o 4853
2197.40/2153.22	o 4852
2204.37/2160.13	o 4851
2205.06/2160.83	o 4849
2209.57/2165.36	o 4846
2209.87/2165.60	o 4843
2210.28/2166.03	o 4839
2210.91/2166.66	o 4836
2211.51/2167.22	o 4835
2212.01/2167.76	o 4832
2228.42/2184.02	o 4829
2245.82/2201.34	o 4828
2246.42/2201.96	o 4826
2247.12/2202.61	o 4824
2247.87/2203.35	o 4823
2248.58/2204.04	o 4821
2249.27/2204.72	o 4820
2249.97/2205.41	o 4819
2252.78/2208.23	o 4816
2262.12/2217.56	o 4815
2262.87/2218.20	o 4814
2263.47/2218.82	o 4813
2265.87/2221.20	o 4812
2266.48/2221.80	o 4811
2266.98/2222.38	o 4810
2267.58/2222.97	o 4809
2268.18/2223.55	o 4808
2268.79/2224.11	o 4807
2269.38/2224.77	o 4806
2269.98/2225.34	o 4805
2270.52/2225.87	o 4804
2271.12/2226.41	o 4803
2274.73/2230.04	o 4802
2275.92/2231.24	o 4801
2276.92/2232.28	o 4800
2278.29/2233.54	o 4799
2279.59/2234.83	o 4798
2280.90/2236.17	o 4797
2282.09/2237.34	o 4796
2283.19/2238.49	o 4795
2284.39/2239.63	o 4794
2285.13/2240.34	o 4793
2285.94/2241.14	o 4792
2290.13/2245.35	o 4791
2291.63/2246.85	o 4789
2292.50/2247.61	o 4788
2293.30/2248.41	o 4787
2294.30/2249.45	o 4785
2305.05/2260.12	o 4784
2305.65/2260.75	o 4783
2311.01/2266.05	o 4782
2313.01/2268.09	o 4781
2313.60/2268.64	o 4779
2314.20/2269.29	o 4778
2315.25/2270.29	o 4777
2315.95/2270.96	o 4776
2334.57/2289.43	o 4774
2336.57/2291.45	o 4773
2338.53/2293.36	o 4772
2340.34/2295.11	o 4770
2342.63/2297.42	o 4769
2344.34/2299.15	o 4767
2354.14/2308.85	o 4766
2358.54/2313.20	o 4765
2359.65/2314.37	o 4764
2360.36/2315.10	o 4762
2361.20/2315.82	o 4761
2363.20/2317.82	o 4759
2364.10/2318.72	o 4758
2387.78/2342.25	o 4757
2388.39/2342.87	o 4756
2388.99/2343.42	o 4755
2389.49/2343.99	o 4754
2390.19/2344.65	o 4753
2390.70/2345.14	o 4752
2391.19/2345.61	o 4751
2391.83/2346.20	o 4750
2397.84/2352.26	o 4749
2423.96/2377.30	o 4748
2426.47/2379.61	o 4747
2433.62/2386.58	o 4745
2434.92/2387.90	o 4744
2472.64/2424.69	o 4743
2474.74/2426.56	o 4742
2479.14/2431.00	o 4741
2481.04/2432.83	o 4740
2490.58/2441.99	o 4739
2491.18/2442.56	o 4738
2491.79/2443.16	o 4737
2492.39/2443.70	o 4736
2492.89/2444.26	o 4735
2493.39/2444.74	o 4734
2501.27/2452.32	o 4732
2502.47/2453.59	o 4731
2508.78/2459.61	o 4730
2509.88/2460.80	o 4729
2511.58/2462.48	o 4728
2512.99/2463.89	o 4727
2514.09/2464.95	o 4726
2515.61/2466.22	o 4725
2517.32/2467.94	o 4724
2518.32/2468.95	o 4723
2519.43/2470.04	o 4722
2520.02/2470.60	s SATISFIABLE
2520.02/2470.61	v <instantiation>
2520.02/2470.61	v 	<list>
2520.02/2470.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]
2520.02/2470.61	v 	</list>
2520.02/2470.61	v 	<values>
2520.02/2470.61	v 		554 792 554 792 352 114 442 680 540 778 722 484 554 792 792 554 16 254 554 792 428 666 86 324 156 394 394 156 442 680 58 296 708 470 380 142 652 414 470 708 792 554 764 526 114 352 792 554 554 792 764 526 554 792 666 428 792 554 58 296 428 666 352 114 792 554 526 764 526 764 540 778 324 86 380 142 540 778 778 540 792 554 512 750 414 652 554 792 470 708 680 442 540 778 792 554 512 750 792 554 470 708 554 792 156 394 268 30 456 694 792 554 72 310 540 778 428 666 380 142 498 736 498 736 44 282 484 722 156 394 778 540 554 792 380 142 156 394 764 526 478 240 554 792 708 470 680 442 72 310 484 722 526 764 554 792 764 526 792 554 128 366 156 394 680 442 86 324 16 254 554 792 792 554 324 86 30 268 128 366 394 156 792 554 414 652 792 554 526 764 86 324 114 352 456 694 512 750 86 324 554 792 394 156 156 394 456 694 764 526 792 554 30 268 708 470 282 44 156 394 792 554 456 694 554 792 268 30 100 338 554 792 324 86 380 142 72 310 44 282 778 540 428 666 722 484 428 666 764 526 478 240 554 792 156 394 72 310 394 156 156 394 554 792 554 792 156 394 554 792 414 652 442 680 750 512 792 554 282 44 708 470 680 442 380 142 142 380 44 282 792 554 478 240 380 142 792 554 44 282 380 142 666 428 394 156 428 666 470 708 554 792 778 540 792 554 554 792 666 428 736 498 652 414 554 792 414 652 764 526 540 778 554 792 44 282 526 764 554 792 324 86 394 156 414 652 268 30 526 764 428 666 442 680 540 778 778 540 310 72 380 142 366 128 30 268 100 338 778 540 554 792 58 296 666 428 456 694 498 736 778 540 268 30 310 72 778 540 792 554 694 456 778 540 512 750 470 708 792 554 764 526 268 30 540 778 792 554 380 142 540 778 694 456 778 540 380 142 680 442 394 156 554 792 778 540 156 394 44 282 666 428 310 72 680 442 156 394 512 750 380 142 282 44 442 680 16 254 30 268 30 268 792 554 254 16 310 72 428 666 540 778 456 694 666 428 310 72 540 778 554 792 778 540 366 128 526 764 128 366 540 778 540 778 380 142 442 680 680 442 100 338 484 722 554 792 708 470 254 16 680 442 268 30 680 442 394 156 484 722 736 498 778 540 554 792 44 282 380 142 526 764 58 296 128 366 540 778 338 100 156 394 540 778 254 16 512 750 792 554 428 666 484 722 456 694 792 554 394 156 414 652 792 554 778 540 540 778 778 540 778 540 142 380 764 526 540 778 282 44 540 778 666 428 778 540 554 792 58 296 778 540 128 366 470 708 554 792 16 254 526 764 86 324 764 526 366 128 526 764 736 498 540 778 694 456 694 456 30 268 540 778 456 694 540 778 540 778 30 268 736 498 380 142 778 540 484 722 268 30 778 540 778 540 470 708 792 554 442 680 58 296 778 540 380 142 296 58 792 554 282 44 554 792 352 114 100 338 310 72 792 554 792 554 750 512 666 428 764 526 380 142 86 324 778 540 72 310 526 764 380 142 540 778 484 722 456 694 778 540 380 142 540 778 554 792 156 394 554 792 792 554 512 750 156 394 156 394 86 324 554 792 16 254 128 366 338 100 16 254 708 470 792 554 792 554 282 44 352 114 380 142 666 428 470 708 128 366 680 442 736 498 666 428 778 540 540 778 540 778 470 708 540 778 100 338 778 540 540 778 44 282 666 428 324 86 792 554 680 442 352 114 498 736 44 282 736 498 310 72 792 554 86 324 554 792 540 778 694 456 338 100 72 310 680 442 310 72 540 778 526 764 142 380 428 666 366 128 484 722 778 540 540 778 310 72 778 540 750 512 778 540 324 86 470 708 30 268 792 554 128 366 540 778 324 86 778 540 708 470 44 282 128 366 254 16 296 58 282 44 456 694 442 680 512 750 156 394 526 764 512 750 792 554 764 526 540 778 156 394 456 694 554 792 526 764 512 750 526 764 750 512 778 540 526 764 708 470 540 778 268 30 428 666 44 282 722 484 540 778 296 58 156 394 554 792 708 470 470 708 44 282 540 778 156 394 4 4 4 4 4 4 0 0 4 0 4 0 0 4 0 0 4 4 4 4 4 0 0 4 0 0 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 0 0 0 0 4 4 0 0 4 0 0 4 4 0 0 4 0 0 0 4 0 4 4 0 0 4 4 0 4 0 4 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 4 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 4 4 0 0 0 0 4 0 0 0 4 0 0 0 0 4 0 0 4 0 4 0 4 4 4 0 4 0 4 0 4 4 4 4 4 4 4 0 0 4 0 0 0 0 4 4 4 0 4 0 0 0 0 4 4 0 4 4 0 4 0 4 0 4 0 4 0 0 0 0 0 0 0 4 0 0 4 4 0 4 4 4 4 0 4 4 0 0 0 0 4 4 4 0 0 4 4 0 0 0 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 4 0 0 0 0 0 4 0 4 4 4 4 4 4 0 0 0 4 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 0 0 0 4 4 0 4 0 4 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 0 4 4 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 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 0 4 0 0 0 0 4 0 0 4 0 0 4 4 0 0 0 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 0 0 0 0 4 0 0 0 0 0 0 4 0 4 0 0 0 0 0 0 0 4 0 0 0 4 0 0 0 0 4 0 0 4 0 4 0 0 0 0 4 4 4 0 4 0 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 0 0 0 4 0 0 4 4 4 4 4 4 4 0 0 0 0 0 0 0 0 4 4 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 4 4 0 0 0 0 0 4 4 4 0 0 0 0 0 0 0 4 0 4 0 0 0 4 0 0 4 4 4 0 0 0 0 0 0 0 0 4 4 0 4 0 0 4 4 0 0 4 0 0 0 4 0 0 0 0 0 4 0 4 4 4 0 4 0 0 0 4 0 0 4 4 4 0 0 0 4 0 4 0 0 4 0 0 0 0 0 0 0 4 4 0 0 0 0 0 0 0 4 4 0 4 0 4 4 4 4 0 0 0 4 0 0 0 4 0 0 4 0 0 0 0 0 0 4 0 0 0 0 0 0 4 0 0 0 4 0 0 0 4 0 4 4 0 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 0 0 0 0 0 0 0 0 0 4 0 4 4 4 4 4 0 4 4 0 0 0 0 0 4 4 0 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 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 4 4 4 4 0 0 0 4 0 0 0 4 0 0 0 0 0 0 0 0 4 0 0 4 4 4 0 4 0 0 0 0 0 4 0 4 0 0 0 0 0 0 4 4 0 4 0 4 4 0 4 0 4 0 4 0 4 4 4 4 0 0 0 0 4 0 0 4 4 4 0 0 0 4 0 0 4 4 0 4 0 0 4 4 0 0 4 4 0 0 4 0 0 0 0 0 0 0 0 0 4 0 0 0 0 4 0 4 0 4 0 0 4 4 4 0 0 0 4 4 0 4 4 0 4 4 4 4 0 0 0 4 0 0 4 4 4 4 4 4 4 4 4 0 4 4 0 0 0 0 4 0 4 0 0 4 0 0 0 4 0 4 0 0 0 0 3 3 3 3 3 3 0 0 3 0 3 3 3 3 0 0 0 0 3 0 0 0 0 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 0 0 0 3 0 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 0 3 3 3 3 3 0 0 0 3 0 0 0 0 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 0 0 0 3 0 0 0 0 0 3 0 3 0 0 0 0 3 0 3 0 3 0 0 3 3 0 0 0 0 0 0 0 0 3 0 0 0 0 0 3 0 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 3 3 0 0 0 0 0 0 0 3 3 0 3 0 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 3 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 0 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 0 0 3 3 3 3 3 0 3 0 0 3 0 0 3 3 0 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 3 3 0 0 0 3 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 0 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 0 3 0 0 0 3 0 0 0 0 0 0 0 0 0 0 3 3 0 0 3 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 0 3 3 0 0 3 3 3 0 0 0 0 3 3 0 3 0 0 0 3 0 3 0 3 3 3 3 0 3 0 3 0 3 0 0 3 3 0 0 0 0 0 0 0 0 0 3 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 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 3 3 0 0 0 0 0 0 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 0 0 0 3 3 0 3 0 0 0 3 0 3 0 0 0 0 0 0 0 3 3 0 0 0 0 0 0 3 3 0 0 0 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 3 0 3 3 0 0 0 3 0 3 0 3 0 0 0 0 3 0 0 0 3 0 0 0 3 3 0 0 0 3 0 0 0 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 0 3 0 3 0 3 3 0 0 3 3 3 0 0 0 0 3 3 0 3 0 0 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 0 0 0 0 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 3 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 3 0 3 0 0 0 0 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 0 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 0 0 0 3 0 0 3 3 0 3 3 3 0 0 0 3 0 0 3 0 0 0 3 0 0 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 3 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 0 0 3 3 3 3 0 0 0 0 0 0 3 0 0 0 0 0 0 3 0 0 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 3 3 3 0 3 0 0 0 0 3 0 0 0 0 3 0 0 0 3 0 0 0 0 0 0 0 3 0 0 3 0 3 3 0 0 3 3 3 0 0 0 0 0 0 0 0 0 3 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 0 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 0 0 0 0 0 3 3 3 3 3 3 3 0 0 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 0 3 3 0 3 0 0 0 0 0 0 0 3 3 3 3 0 0 0 0 0 0 3 0 0 3 0 3 0 0 0 3 3 0 3 0 0 0 0 0 3 0 0 3 0 3 0 0 0 0 0 3 3 3 0 0 0 0 3 3 0 0 0 0 3 0 0 3 0 0 0 3 0 3 3 0 0 0 3 0 3 3 3 3 3 3 0 0 0 0 3 3 0 0 0 0 0 3 0 2 2 2 0 0 2 2 0 0 0 2 2 2 0 0 2 0 0 0 0 0 2 0 0 0 2 2 2 0 0 2 2 2 0 0 0 0 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 2 0 2 0 0 0 0 0 0 0 2 0 0 2 0 2 0 2 0 2 2 2 2 2 2 0 2 2 0 2 2 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 2 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 2 2 0 0 0 0 2 2 0 2 0 2 0 2 0 0 0 2 0 0 0 0 2 2 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 0 0 0 0 0 0 0 0 2 0 2 2 0 0 0 2 2 0 0 0 2 0 2 0 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 2 2 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 2 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 2 0 0 2 0 0 2 2 0 2 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 0 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 0 2 0 0 0 2 0 0 2 0 0 0 0 0 2 0 2 2 0 2 2 0 0 0 2 0 0 0 2 0 0 2 2 2 0 2 0 2 0 2 0 0 2 2 2 0 0 0 0 2 0 0 0 0 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 0 2 2 2 2 0 2 0 0 0 2 2 0 2 0 2 2 2 2 2 2 2 2 2 0 0 0 0 2 2 0 2 0 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 0 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 2 0 0 2 0 0 2 2 2 0 0 2 2 2 2 0 2 2 2 0 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 0 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 0 0 0 2 2 0 2 0 0 0 0 0 2 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 0 0 2 0 0 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 2 2 2 0 0 0 0 2 2 2 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 0 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 2 2 2 0 0 0 2 0 2 0 2 2 0 0 0 0 2 2 0 0 2 2 2 0 2 0 0 0 0 0 0 2 2 2 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 2 0 2 2 2 0 2 0 2 0 0 0 2 2 0 2 0 2 2 2 2 2 0 0 0 2 0 0 0 0 0 0 0 0 2 2 2 2 0 0 2 0 2 0 0 2 0 0 2 2 0 0 0 0 0 2 0 2 2 0 2 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 1 1 1 0 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 1 1 1 1 0 0 1 0 0 1 1 0 0 0 0 0 1 1 1 0 0 1 0 0 1 1 0 0 0 1 1 1 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 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 1 0 1 1 0 1 0 0 0 0 1 0 1 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 1 1 0 0 1 0 0 0 0 0 1 0 1 1 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 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 1 1 1 1 0 1 0 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 0 1 1 1 1 0 0 1 0 1 0 1 1 1 1 0 0 0 0 0 0 1 0 0 0 1 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 0 0 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 0 0 0 0 0 0 1 0 1 1 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 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 0 0 0 1 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 1 1 0 0 0 1 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 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 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 0 0 0 0 1 1 0 1 0 0 0 1 0 1 1 0 0 1 1 0 0 0 1 1 0 1 0 0 1 0 1 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 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 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 0 1 1 1 1 0 0 1 0 1 1 1 1 1 0 0 0 0 1 1 1 0 1 1 1 1 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 1 0 0 1 1 1 1 1 1 1 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 1 1 1 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 1 0 1 1 1 0 0 0 1 1 0 1 1 0 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 1 1 1 1 1 0 0 0 0 1 0 0 0 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 0 0 0 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 0 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 0 1 0 0 0 0 0 1 1 0 1 0 1 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 1 0 1 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 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 1 0 0 0 1 1 0 1 1 1 1 1 1 1 1 0 0 0 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 0 0 1 0 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 
2520.02/2470.61	v 	</values>
2520.02/2470.61	v </instantiation>

Verifier Data 

OK	4722

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 (11811 MiB free)
  memory of node 1: 16384 MiB (7295 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308661-1534284447/watcher-4308661-1534284447 -o /tmp/evaluation-result-4308661-1534284447/solver-4308661-1534284447 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534271020-14112 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1936309377 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308661-1534284447.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=15996, runsolver pid=15993


[startup+0.100481 s]*
/proc/loadavg: 1.20 1.35 1.49 3/215 16011
/proc/meminfo: memFree=19547108/32770624 swapFree=67105356/67108860
[pid=15996] ppid=15993 vsize=14082736 memory=34160 CPUtime=0.11 cores=0,2,4,6
/proc/15996/stat : 15996 (java) S 15993 15996 12124 0 -1 1077944320 6948 0 0 0 10 1 0 0 20 0 15 0 246007889 14420721664 8540 33554432000 4194304 4196468 140726285100080 140726285082624 139674640486135 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
/proc/15996/statm: 3520684 8540 3137 1 0 3482761 0
[pid=15996/tid=15998] ppid=15993 vsize=14082736 memory=-6966721798027829888 CPUtime=0.09 cores=0,2,4,6
/proc/15996/task/15998/stat : 15998 (java) R 15993 15996 12124 0 -1 4202560 5034 0 0 0 8 1 0 0 20 0 15 0 246007889 14420721664 8540 33554432000 4194304 4196468 140726285100080 139674644692256 139674624566622 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=15999] ppid=15993 vsize=14082736 memory=5793855041587231161 CPUtime=0 cores=0,2,4,6
/proc/15996/task/15999/stat : 15999 (java) S 15993 15996 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246007890 14420721664 8540 33554432000 4194304 4196468 140726285100080 139674555554448 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16000] ppid=15993 vsize=14082736 memory=139790577337984 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16000/stat : 16000 (java) S 15993 15996 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246007890 14420721664 8540 33554432000 4194304 4196468 140726285100080 139674554501648 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16001] ppid=15993 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16001/stat : 16001 (java) S 15993 15996 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246007890 14420721664 8540 33554432000 4194304 4196468 140726285100080 139674553448848 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16002] ppid=15993 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16002/stat : 16002 (java) S 15993 15996 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246007890 14420721664 8540 33554432000 4194304 4196468 140726285100080 139674552396048 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16003] ppid=15993 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16003/stat : 16003 (java) S 15993 15996 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246007891 14420721664 8540 33554432000 4194304 4196468 140726285100080 139673620679536 139674640497282 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16004] ppid=15993 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16004/stat : 16004 (java) S 15993 15996 12124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246007892 14420721664 8540 33554432000 4194304 4196468 140726285100080 139673619625504 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16005] ppid=15993 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16005/stat : 16005 (java) S 15993 15996 12124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246007892 14420721664 8540 33554432000 4194304 4196468 140726285100080 139673618572656 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16006] ppid=15993 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16006/stat : 16006 (java) S 15993 15996 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246007894 14420721664 8540 33554432000 4194304 4196468 140726285100080 139673617520976 139674640504731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16007] ppid=15993 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16007/stat : 16007 (java) S 15993 15996 12124 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 246007894 14420721664 8540 33554432000 4194304 4196468 140726285100080 139673616468336 139674640497282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16008] ppid=15993 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16008/stat : 16008 (java) R 15993 15996 12124 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 15 0 246007894 14420721664 8540 33554432000 4194304 4196468 140726285100080 139673615415536 139674640507482 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16009] ppid=15993 vsize=14082736 memory=139790577337984 CPUtime=0.01 cores=0,2,4,6
/proc/15996/task/16009/stat : 16009 (java) R 15993 15996 12124 0 -1 1077944384 235 0 0 0 1 0 0 0 20 0 15 0 246007894 14420721664 8540 33554432000 4194304 4196468 140726285100080 139673614362736 139674640497282 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16010] ppid=15993 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16010/stat : 16010 (java) S 15993 15996 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246007895 14420721664 8540 33554432000 4194304 4196468 140726285100080 139673613310176 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16011] ppid=15993 vsize=14082736 memory=139790577337984 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16011/stat : 16011 (java) S 15993 15996 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246007895 14420721664 8540 33554432000 4194304 4196468 140726285100080 139673169910960 139674640497282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 34160 KiB

[startup+0.210366 s]*
/proc/loadavg: 1.20 1.35 1.49 5/215 16011
/proc/meminfo: memFree=19532956/32770624 swapFree=67105356/67108860
[pid=15996] ppid=15993 vsize=14082736 memory=47540 CPUtime=0.3 cores=0,2,4,6
/proc/15996/stat : 15996 (java) S 15993 15996 12124 0 -1 1077944320 9985 0 0 0 28 2 0 0 20 0 15 0 246007889 14420721664 11885 33554432000 4194304 4196468 140726285100080 140726285082624 139674640486135 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
/proc/15996/statm: 3520684 11885 3382 1 0 3482761 0
[pid=15996/tid=15998] ppid=15993 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/15996/task/15998/stat : 15998 (java) R 15993 15996 12124 0 -1 4202560 7732 0 0 0 18 2 0 0 20 0 15 0 246007889 14420721664 11885 33554432000 4194304 4196468 140726285100080 139674644712960 139674632723262 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=15999] ppid=15993 vsize=14082736 memory=4211973516782128522 CPUtime=0 cores=0,2,4,6
/proc/15996/task/15999/stat : 15999 (java) S 15993 15996 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246007890 14420721664 11885 33554432000 4194304 4196468 140726285100080 139674555554448 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16000] ppid=15993 vsize=14082736 memory=139790577337984 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16000/stat : 16000 (java) S 15993 15996 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246007890 14420721664 11885 33554432000 4194304 4196468 140726285100080 139674554501648 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16001] ppid=15993 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16001/stat : 16001 (java) S 15993 15996 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246007890 14420721664 11885 33554432000 4194304 4196468 140726285100080 139674553448848 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16002] ppid=15993 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16002/stat : 16002 (java) S 15993 15996 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246007890 14420721664 11885 33554432000 4194304 4196468 140726285100080 139674552396048 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16003] ppid=15993 vsize=14082736 memory=139790577337984 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16003/stat : 16003 (java) S 15993 15996 12124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246007891 14420721664 11885 33554432000 4194304 4196468 140726285100080 139673620679536 139674640497282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16004] ppid=15993 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16004/stat : 16004 (java) S 15993 15996 12124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246007892 14420721664 11885 33554432000 4194304 4196468 140726285100080 139673619625504 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16005] ppid=15993 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16005/stat : 16005 (java) S 15993 15996 12124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246007892 14420721664 11885 33554432000 4194304 4196468 140726285100080 139673618572656 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16006] ppid=15993 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16006/stat : 16006 (java) S 15993 15996 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246007894 14420721664 11885 33554432000 4194304 4196468 140726285100080 139673617520976 139674640504731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16007] ppid=15993 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/15996/task/16007/stat : 16007 (java) R 15993 15996 12124 0 -1 1077944384 339 0 0 0 1 0 0 0 20 0 15 0 246007894 14420721664 11885 33554432000 4194304 4196468 140726285100080 139673616468336 139674640497282 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16008] ppid=15993 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/15996/task/16008/stat : 16008 (java) R 15993 15996 12124 0 -1 4202560 256 0 0 0 2 0 0 0 20 0 15 0 246007894 14420721664 11885 33554432000 4194304 4196468 140726285100080 139673615415536 139674625365157 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16009] ppid=15993 vsize=14082736 memory=139790577337984 CPUtime=0.06 cores=0,2,4,6
/proc/15996/task/16009/stat : 16009 (java) R 15993 15996 12124 0 -1 4202560 277 0 0 0 6 0 0 0 20 0 15 0 246007894 14420721664 11885 33554432000 4194304 4196468 140726285100080 139673614362736 139674618662337 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16010] ppid=15993 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16010/stat : 16010 (java) S 15993 15996 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246007895 14420721664 11885 33554432000 4194304 4196468 140726285100080 139673613310176 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16011] ppid=15993 vsize=14082736 memory=139790577337984 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16011/stat : 16011 (java) S 15993 15996 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246007895 14420721664 11885 33554432000 4194304 4196468 140726285100080 139673169910960 139674640497282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47540 KiB

[startup+0.310558 s]*
/proc/loadavg: 1.20 1.35 1.49 4/215 16011
/proc/meminfo: memFree=19529540/32770624 swapFree=67105356/67108860
[pid=15996] ppid=15993 vsize=14082736 memory=51140 CPUtime=0.42 cores=0,2,4,6
/proc/15996/stat : 15996 (java) S 15993 15996 12124 0 -1 1077944320 10459 0 0 0 40 2 0 0 20 0 15 0 246007889 14420721664 12785 33554432000 4194304 4196468 140726285100080 140726285082624 139674640486135 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
/proc/15996/statm: 3520684 12785 3423 1 0 3482761 0
[pid=15996/tid=15998] ppid=15993 vsize=14082736 memory=4871374705135476842 CPUtime=0.29 cores=0,2,4,6
/proc/15996/task/15998/stat : 15998 (java) R 15993 15996 12124 0 -1 4202560 8185 0 0 0 27 2 0 0 20 0 15 0 246007889 14420721664 12785 33554432000 4194304 4196468 140726285100080 139674644673968 139674622049622 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=15999] ppid=15993 vsize=14082736 memory=4211973516782128522 CPUtime=0 cores=0,2,4,6
/proc/15996/task/15999/stat : 15999 (java) S 15993 15996 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246007890 14420721664 12785 33554432000 4194304 4196468 140726285100080 139674555554448 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16000] ppid=15993 vsize=14082736 memory=139790577340328 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16000/stat : 16000 (java) S 15993 15996 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246007890 14420721664 12785 33554432000 4194304 4196468 140726285100080 139674554501648 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16001] ppid=15993 vsize=14082736 memory=139790448187756 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16001/stat : 16001 (java) S 15993 15996 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246007890 14420721664 12785 33554432000 4194304 4196468 140726285100080 139674553448848 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16002] ppid=15993 vsize=14082736 memory=139790448184783 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16002/stat : 16002 (java) S 15993 15996 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246007890 14420721664 12785 33554432000 4194304 4196468 140726285100080 139674552396048 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16003] ppid=15993 vsize=14082736 memory=139790577350135 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16003/stat : 16003 (java) S 15993 15996 12124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246007891 14420721664 12785 33554432000 4194304 4196468 140726285100080 139673620679536 139674640497282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16004] ppid=15993 vsize=14082736 memory=139790448193967 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16004/stat : 16004 (java) S 15993 15996 12124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246007892 14420721664 12785 33554432000 4194304 4196468 140726285100080 139673619625504 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16005] ppid=15993 vsize=14082736 memory=279580896378768 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16005/stat : 16005 (java) S 15993 15996 12124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246007892 14420721664 12785 33554432000 4194304 4196468 140726285100080 139673618572656 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16006] ppid=15993 vsize=14082736 memory=279580896376464 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16006/stat : 16006 (java) S 15993 15996 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246007894 14420721664 12785 33554432000 4194304 4196468 140726285100080 139673617520976 139674640504731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16007] ppid=15993 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/15996/task/16007/stat : 16007 (java) S 15993 15996 12124 0 -1 1077944384 341 0 0 0 2 0 0 0 20 0 15 0 246007894 14420721664 12785 33554432000 4194304 4196468 140726285100080 139673616468336 139674640497282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16008] ppid=15993 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/15996/task/16008/stat : 16008 (java) S 15993 15996 12124 0 -1 1077944384 269 0 0 0 2 0 0 0 20 0 15 0 246007894 14420721664 12785 33554432000 4194304 4196468 140726285100080 139673615415536 139674640497282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16009] ppid=15993 vsize=14082736 memory=139790577337984 CPUtime=0.08 cores=0,2,4,6
/proc/15996/task/16009/stat : 16009 (java) S 15993 15996 12124 0 -1 1077944384 282 0 0 0 8 0 0 0 20 0 15 0 246007894 14420721664 12785 33554432000 4194304 4196468 140726285100080 139673614362736 139674640497282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16010] ppid=15993 vsize=14082736 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16010/stat : 16010 (java) S 15993 15996 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246007895 14420721664 12785 33554432000 4194304 4196468 140726285100080 139673613310176 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16011] ppid=15993 vsize=14082736 memory=139790577337984 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16011/stat : 16011 (java) S 15993 15996 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246007895 14420721664 12785 33554432000 4194304 4196468 140726285100080 139673169910960 139674640497282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 51140 KiB

[startup+0.700779 s]
/proc/loadavg: 1.20 1.35 1.49 3/215 16011
/proc/meminfo: memFree=19507404/32770624 swapFree=67105356/67108860
[pid=15996] ppid=15993 vsize=14084804 memory=88852 CPUtime=0.99 cores=0,2,4,6
/proc/15996/stat : 15996 (java) S 15993 15996 12124 0 -1 1077944320 17054 0 0 0 95 4 0 0 20 0 15 0 246007889 14422839296 22213 33554432000 4194304 4196468 140726285100080 140726285082624 139674640486135 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
/proc/15996/statm: 3521201 22213 3499 1 0 3483273 0
[pid=15996/tid=15998] ppid=15993 vsize=14084804 memory=1612 CPUtime=0.67 cores=0,2,4,6
/proc/15996/task/15998/stat : 15998 (java) R 15993 15996 12124 0 -1 4202560 14397 0 0 0 64 3 0 0 20 0 15 0 246007889 14422839296 22213 33554432000 4194304 4196468 140726285100080 139674644711472 139674624566622 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=15999] ppid=15993 vsize=14084804 memory=1812 CPUtime=0 cores=0,2,4,6
/proc/15996/task/15999/stat : 15999 (java) S 15993 15996 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246007890 14422839296 22213 33554432000 4194304 4196468 140726285100080 139674555554448 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16000] ppid=15993 vsize=14084804 memory=1064 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16000/stat : 16000 (java) S 15993 15996 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246007890 14422839296 22213 33554432000 4194304 4196468 140726285100080 139674554501648 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16001] ppid=15993 vsize=14084804 memory=7235408084361307456 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16001/stat : 16001 (java) S 15993 15996 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246007890 14422839296 22213 33554432000 4194304 4196468 140726285100080 139674553448848 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16002] ppid=15993 vsize=14084804 memory=7739276948478389351 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16002/stat : 16002 (java) S 15993 15996 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246007890 14422839296 22213 33554432000 4194304 4196468 140726285100080 139674552396048 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16003] ppid=15993 vsize=14084804 memory=6154282490091891024 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16003/stat : 16003 (java) S 15993 15996 12124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246007891 14422839296 22213 33554432000 4194304 4196468 140726285100080 139673620679536 139674640497282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16004] ppid=15993 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16004/stat : 16004 (java) S 15993 15996 12124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246007892 14422839296 22213 33554432000 4194304 4196468 140726285100080 139673619625504 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16005] ppid=15993 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16005/stat : 16005 (java) S 15993 15996 12124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246007892 14422839296 22213 33554432000 4194304 4196468 140726285100080 139673618572656 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16006] ppid=15993 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16006/stat : 16006 (java) S 15993 15996 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246007894 14422839296 22213 33554432000 4194304 4196468 140726285100080 139673617520976 139674640504731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16007] ppid=15993 vsize=14084804 memory=8796 CPUtime=0.05 cores=0,2,4,6
/proc/15996/task/16007/stat : 16007 (java) S 15993 15996 12124 0 -1 1077944384 492 0 0 0 5 0 0 0 20 0 15 0 246007894 14422839296 22213 33554432000 4194304 4196468 140726285100080 139673616468336 139674640497282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16008] ppid=15993 vsize=14084804 memory=6 CPUtime=0.09 cores=0,2,4,6
/proc/15996/task/16008/stat : 16008 (java) S 15993 15996 12124 0 -1 1077944384 423 0 0 0 9 0 0 0 20 0 15 0 246007894 14422839296 22213 33554432000 4194304 4196468 140726285100080 139673615415536 139674640497282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16009] ppid=15993 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/15996/task/16009/stat : 16009 (java) S 15993 15996 12124 0 -1 1077944384 360 0 0 0 15 0 0 0 20 0 15 0 246007894 14422839296 22213 33554432000 4194304 4196468 140726285100080 139673614362736 139674640497282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16010] ppid=15993 vsize=14084804 memory=279580896562672 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16010/stat : 16010 (java) S 15993 15996 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246007895 14422839296 22213 33554432000 4194304 4196468 140726285100080 139673613310176 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16011] ppid=15993 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16011/stat : 16011 (java) S 15993 15996 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246007895 14422839296 22213 33554432000 4194304 4196468 140726285100080 139673169910960 139674640497282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88852 KiB

[startup+1.50087 s]
/proc/loadavg: 1.20 1.35 1.49 5/215 16011
/proc/meminfo: memFree=19446736/32770624 swapFree=67105356/67108860
[pid=15996] ppid=15993 vsize=14086852 memory=208532 CPUtime=3.45 cores=0,2,4,6
/proc/15996/stat : 15996 (java) S 15993 15996 12124 0 -1 1077944320 22241 0 0 0 338 7 0 0 20 0 15 0 246007889 14424936448 52133 33554432000 4194304 4196468 140726285100080 140726285082624 139674640486135 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
/proc/15996/statm: 3521713 52133 3548 1 0 3483785 0
[pid=15996/tid=15998] ppid=15993 vsize=14086852 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/15996/task/15998/stat : 15998 (java) S 15993 15996 12124 0 -1 1077944384 15776 0 0 0 142 5 0 0 20 0 15 0 246007889 14424936448 52133 33554432000 4194304 4196468 140726285100080 139674644721328 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=15999] ppid=15993 vsize=14086852 memory=-2746958450906831424 CPUtime=0 cores=0,2,4,6
/proc/15996/task/15999/stat : 15999 (java) R 15993 15996 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246007890 14424936448 52133 33554432000 4194304 4196468 140726285100080 139674555554448 139674640496341 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16000] ppid=15993 vsize=14086852 memory=4948221902975769472 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16000/stat : 16000 (java) S 15993 15996 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246007890 14424936448 52133 33554432000 4194304 4196468 140726285100080 139674554501648 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16001] ppid=15993 vsize=14086852 memory=-6585528546044026665 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16001/stat : 16001 (java) S 15993 15996 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246007890 14424936448 52133 33554432000 4194304 4196468 140726285100080 139674553448848 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16002] ppid=15993 vsize=14086852 memory=-6008179414859732867 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16002/stat : 16002 (java) R 15993 15996 12124 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 15 0 246007890 14424936448 52133 33554432000 4194304 4196468 140726285100080 139674552396048 139674622112010 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16003] ppid=15993 vsize=14086852 memory=-7089057623474917934 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16003/stat : 16003 (java) S 15993 15996 12124 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 246007891 14424936448 52133 33554432000 4194304 4196468 140726285100080 139673620678048 139674640496341 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0

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

/proc/15996/task/15998/stat : 15998 (java) R 15993 15996 12124 0 -1 4202560 148080 0 0 0 230917 48 0 0 20 0 15 0 246007889 14431227904 1216615 33554432000 4194304 4196468 140726285100080 139674644715248 139674236316864 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=15999] ppid=15993 vsize=14092996 memory=4850048 CPUtime=10.74 cores=0,2,4,6
/proc/15996/task/15999/stat : 15999 (java) S 15993 15996 12124 0 -1 1077944384 55392 0 0 0 974 100 0 0 20 0 15 0 246007890 14431227904 1216615 33554432000 4194304 4196468 140726285100080 139674555554448 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16000] ppid=15993 vsize=14092996 memory=4866432 CPUtime=10.69 cores=0,2,4,6
/proc/15996/task/16000/stat : 16000 (java) S 15993 15996 12124 0 -1 1077944384 69705 0 0 0 973 96 0 0 20 0 15 0 246007890 14431227904 1216615 33554432000 4194304 4196468 140726285100080 139674554501648 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16001] ppid=15993 vsize=14092996 memory=4866460 CPUtime=10.67 cores=0,2,4,6
/proc/15996/task/16001/stat : 16001 (java) S 15993 15996 12124 0 -1 1077944384 59461 0 0 0 964 103 0 0 20 0 15 0 246007890 14431227904 1216615 33554432000 4194304 4196468 140726285100080 139674553448848 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16002] ppid=15993 vsize=14092996 memory=4866460 CPUtime=10.68 cores=0,2,4,6
/proc/15996/task/16002/stat : 16002 (java) S 15993 15996 12124 0 -1 1077944384 60702 0 0 0 969 99 0 0 20 0 15 0 246007890 14431227904 1216615 33554432000 4194304 4196468 140726285100080 139674552396048 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16003] ppid=15993 vsize=14092996 memory=4866432 CPUtime=1.56 cores=0,2,4,6
/proc/15996/task/16003/stat : 16003 (java) S 15993 15996 12124 0 -1 1077944384 20662 0 0 0 148 8 0 0 20 0 15 0 246007891 14431227904 1216615 33554432000 4194304 4196468 140726285100080 139673620679536 139674640497282 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16004] ppid=15993 vsize=14092996 memory=4866460 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16004/stat : 16004 (java) S 15993 15996 12124 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 246007892 14431227904 1216615 33554432000 4194304 4196468 140726285100080 139673619625568 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16005] ppid=15993 vsize=14092996 memory=4866460 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16005/stat : 16005 (java) S 15993 15996 12124 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 246007892 14431227904 1216615 33554432000 4194304 4196468 140726285100080 139673618572672 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16006] ppid=15993 vsize=14092996 memory=4866460 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16006/stat : 16006 (java) S 15993 15996 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246007894 14431227904 1216615 33554432000 4194304 4196468 140726285100080 139673617520976 139674640504731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16007] ppid=15993 vsize=14092996 memory=279580896204872 CPUtime=5.21 cores=0,2,4,6
/proc/15996/task/16007/stat : 16007 (java) S 15993 15996 12124 0 -1 1077944384 23556 0 0 0 518 3 0 0 20 0 15 0 246007894 14431227904 1216615 33554432000 4194304 4196468 140726285100080 139673616468336 139674640497282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16008] ppid=15993 vsize=14092996 memory=928 CPUtime=5.76 cores=0,2,4,6
/proc/15996/task/16008/stat : 16008 (java) S 15993 15996 12124 0 -1 1077944384 24095 0 0 0 574 2 0 0 20 0 15 0 246007894 14431227904 1216615 33554432000 4194304 4196468 140726285100080 139673615415536 139674640497282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16009] ppid=15993 vsize=14092996 memory=4866460 CPUtime=1.69 cores=0,2,4,6
/proc/15996/task/16009/stat : 16009 (java) S 15993 15996 12124 0 -1 1077944384 29086 0 0 0 164 5 0 0 20 0 15 0 246007894 14431227904 1216615 33554432000 4194304 4196468 140726285100080 139673614362736 139674640497282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16010] ppid=15993 vsize=14092996 memory=4866460 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16010/stat : 16010 (java) S 15993 15996 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246007895 14431227904 1216615 33554432000 4194304 4196468 140726285100080 139673613310176 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16011] ppid=15993 vsize=14092996 memory=4426639978525455914 CPUtime=0.93 cores=0,2,4,6
/proc/15996/task/16011/stat : 16011 (java) S 15993 15996 12124 0 -1 1077944384 1779 0 0 0 44 49 0 0 20 0 15 0 246007895 14431227904 1216615 33554432000 4194304 4196468 140726285100080 139673169910960 139674640497282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 40 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
Current children cumulated CPU time: 2367.7 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4866460 KiB

[startup+2382.3 s]
/proc/loadavg: 1.68 1.60 1.63 3/215 16186
/proc/meminfo: memFree=16728136/32770624 swapFree=67105356/67108860
[pid=15996] ppid=15993 vsize=14092996 memory=5004804 CPUtime=2429.17 cores=0,2,4,6
/proc/15996/stat : 15996 (java) S 15993 15996 12124 0 -1 1077944320 509430 0 0 0 242396 521 0 0 20 0 15 0 246007889 14431227904 1251201 33554432000 4194304 4196468 140726285100080 140726285082624 139674640486135 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
/proc/15996/statm: 3523249 1251201 3621 1 0 3485321 0
[pid=15996/tid=15998] ppid=15993 vsize=14092996 memory=5004804 CPUtime=2369.17 cores=0,2,4,6
/proc/15996/task/15998/stat : 15998 (java) R 15993 15996 12124 0 -1 4202560 154849 0 0 0 236867 50 0 0 20 0 15 0 246007889 14431227904 1251201 33554432000 4194304 4196468 140726285100080 139674644715248 139674244220416 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=15999] ppid=15993 vsize=14092996 memory=5004804 CPUtime=11.2 cores=0,2,4,6
/proc/15996/task/15999/stat : 15999 (java) S 15993 15996 12124 0 -1 1077944384 56097 0 0 0 1017 103 0 0 20 0 15 0 246007890 14431227904 1251201 33554432000 4194304 4196468 140726285100080 139674555554448 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16000] ppid=15993 vsize=14092996 memory=4988380 CPUtime=11.16 cores=0,2,4,6
/proc/15996/task/16000/stat : 16000 (java) S 15993 15996 12124 0 -1 1077944384 70612 0 0 0 1016 100 0 0 20 0 15 0 246007890 14431227904 1251201 33554432000 4194304 4196468 140726285100080 139674554501648 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16001] ppid=15993 vsize=14092996 memory=4910556 CPUtime=11.15 cores=0,2,4,6
/proc/15996/task/16001/stat : 16001 (java) S 15993 15996 12124 0 -1 1077944384 61297 0 0 0 1008 107 0 0 20 0 15 0 246007890 14431227904 1251201 33554432000 4194304 4196468 140726285100080 139674553448848 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16002] ppid=15993 vsize=14092996 memory=4988380 CPUtime=11.16 cores=0,2,4,6
/proc/15996/task/16002/stat : 16002 (java) S 15993 15996 12124 0 -1 1077944384 63131 0 0 0 1013 103 0 0 20 0 15 0 246007890 14431227904 1251201 33554432000 4194304 4196468 140726285100080 139674552396048 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16003] ppid=15993 vsize=14092996 memory=4988380 CPUtime=1.56 cores=0,2,4,6
/proc/15996/task/16003/stat : 16003 (java) S 15993 15996 12124 0 -1 1077944384 21044 0 0 0 148 8 0 0 20 0 15 0 246007891 14431227904 1251201 33554432000 4194304 4196468 140726285100080 139673620679536 139674640497282 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16004] ppid=15993 vsize=14092996 memory=5004804 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16004/stat : 16004 (java) S 15993 15996 12124 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 246007892 14431227904 1251201 33554432000 4194304 4196468 140726285100080 139673619625568 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16005] ppid=15993 vsize=14092996 memory=5004804 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16005/stat : 16005 (java) S 15993 15996 12124 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 246007892 14431227904 1251201 33554432000 4194304 4196468 140726285100080 139673618572672 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16006] ppid=15993 vsize=14092996 memory=4988380 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16006/stat : 16006 (java) S 15993 15996 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246007894 14431227904 1251201 33554432000 4194304 4196468 140726285100080 139673617520976 139674640504731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16007] ppid=15993 vsize=14092996 memory=0 CPUtime=5.22 cores=0,2,4,6
/proc/15996/task/16007/stat : 16007 (java) S 15993 15996 12124 0 -1 1077944384 23883 0 0 0 519 3 0 0 20 0 15 0 246007894 14431227904 1251201 33554432000 4194304 4196468 140726285100080 139673616468336 139674640497282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16008] ppid=15993 vsize=14092996 memory=5004804 CPUtime=5.77 cores=0,2,4,6
/proc/15996/task/16008/stat : 16008 (java) S 15993 15996 12124 0 -1 1077944384 24485 0 0 0 575 2 0 0 20 0 15 0 246007894 14431227904 1251201 33554432000 4194304 4196468 140726285100080 139673615415536 139674640497282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16009] ppid=15993 vsize=14092996 memory=5004804 CPUtime=1.7 cores=0,2,4,6
/proc/15996/task/16009/stat : 16009 (java) S 15993 15996 12124 0 -1 1077944384 30802 0 0 0 165 5 0 0 20 0 15 0 246007894 14431227904 1251201 33554432000 4194304 4196468 140726285100080 139673614362736 139674640497282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16010] ppid=15993 vsize=14092996 memory=5004804 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16010/stat : 16010 (java) S 15993 15996 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246007895 14431227904 1251201 33554432000 4194304 4196468 140726285100080 139673613310176 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16011] ppid=15993 vsize=14092996 memory=3812 CPUtime=0.96 cores=0,2,4,6
/proc/15996/task/16011/stat : 16011 (java) S 15993 15996 12124 0 -1 1077944384 1791 0 0 0 45 51 0 0 20 0 15 0 246007895 14431227904 1251201 33554432000 4194304 4196468 140726285100080 139673169910960 139674640497282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 40 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
Current children cumulated CPU time: 2429.17 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5004804 KiB

[startup+2442.3 s]
/proc/loadavg: 1.70 1.61 1.64 3/215 16187
/proc/meminfo: memFree=16473232/32770624 swapFree=67105356/67108860
[pid=15996] ppid=15993 vsize=14092996 memory=5253096 CPUtime=2490.98 cores=0,2,4,6
/proc/15996/stat : 15996 (java) S 15993 15996 12124 0 -1 1077944320 522098 0 0 0 248548 550 0 0 20 0 15 0 246007889 14431227904 1313274 33554432000 4194304 4196468 140726285100080 140726285082624 139674640486135 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
/proc/15996/statm: 3523249 1313274 3622 1 0 3485321 0
[pid=15996/tid=15998] ppid=15993 vsize=14092996 memory=5060204 CPUtime=2428.56 cores=0,2,4,6
/proc/15996/task/15998/stat : 15998 (java) R 15993 15996 12124 0 -1 4202560 161288 0 0 0 242806 50 0 0 20 0 15 0 246007889 14431227904 1313274 33554432000 4194304 4196468 140726285100080 139674644723824 139674626193856 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=15999] ppid=15993 vsize=14092996 memory=5142252 CPUtime=11.78 cores=0,2,4,6
/proc/15996/task/15999/stat : 15999 (java) S 15993 15996 12124 0 -1 1077944384 57599 0 0 0 1068 110 0 0 20 0 15 0 246007890 14431227904 1313274 33554432000 4194304 4196468 140726285100080 139674555554448 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16000] ppid=15993 vsize=14092996 memory=5197696 CPUtime=11.75 cores=0,2,4,6
/proc/15996/task/16000/stat : 16000 (java) S 15993 15996 12124 0 -1 1077944384 72143 0 0 0 1068 107 0 0 20 0 15 0 246007890 14431227904 1313274 33554432000 4194304 4196468 140726285100080 139674554501648 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16001] ppid=15993 vsize=14092996 memory=5253092 CPUtime=11.73 cores=0,2,4,6
/proc/15996/task/16001/stat : 16001 (java) S 15993 15996 12124 0 -1 1077944384 61775 0 0 0 1060 113 0 0 20 0 15 0 246007890 14431227904 1313274 33554432000 4194304 4196468 140726285100080 139674553448848 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16002] ppid=15993 vsize=14092996 memory=5253092 CPUtime=11.76 cores=0,2,4,6
/proc/15996/task/16002/stat : 16002 (java) S 15993 15996 12124 0 -1 1077944384 63759 0 0 0 1066 110 0 0 20 0 15 0 246007890 14431227904 1313274 33554432000 4194304 4196468 140726285100080 139674552396048 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16003] ppid=15993 vsize=14092996 memory=5253092 CPUtime=1.58 cores=0,2,4,6
/proc/15996/task/16003/stat : 16003 (java) S 15993 15996 12124 0 -1 1077944384 21384 0 0 0 149 9 0 0 20 0 15 0 246007891 14431227904 1313274 33554432000 4194304 4196468 140726285100080 139673620679536 139674640497282 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16004] ppid=15993 vsize=14092996 memory=5253096 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16004/stat : 16004 (java) S 15993 15996 12124 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 246007892 14431227904 1313274 33554432000 4194304 4196468 140726285100080 139673619625568 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16005] ppid=15993 vsize=14092996 memory=5253092 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16005/stat : 16005 (java) S 15993 15996 12124 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 246007892 14431227904 1313274 33554432000 4194304 4196468 140726285100080 139673618572672 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16006] ppid=15993 vsize=14092996 memory=5253096 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16006/stat : 16006 (java) S 15993 15996 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246007894 14431227904 1313274 33554432000 4194304 4196468 140726285100080 139673617520976 139674640504731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16007] ppid=15993 vsize=14092996 memory=5253092 CPUtime=5.23 cores=0,2,4,6
/proc/15996/task/16007/stat : 16007 (java) S 15993 15996 12124 0 -1 1077944384 24842 0 0 0 520 3 0 0 20 0 15 0 246007894 14431227904 1313274 33554432000 4194304 4196468 140726285100080 139673616468336 139674640497282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16008] ppid=15993 vsize=14092996 memory=5253092 CPUtime=5.77 cores=0,2,4,6
/proc/15996/task/16008/stat : 16008 (java) S 15993 15996 12124 0 -1 1077944384 24488 0 0 0 575 2 0 0 20 0 15 0 246007894 14431227904 1313274 33554432000 4194304 4196468 140726285100080 139673615415536 139674640497282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16009] ppid=15993 vsize=14092996 memory=5253096 CPUtime=1.71 cores=0,2,4,6
/proc/15996/task/16009/stat : 16009 (java) S 15993 15996 12124 0 -1 1077944384 31553 0 0 0 166 5 0 0 20 0 15 0 246007894 14431227904 1313274 33554432000 4194304 4196468 140726285100080 139673614362736 139674640497282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16010] ppid=15993 vsize=14092996 memory=3812 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16010/stat : 16010 (java) S 15993 15996 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246007895 14431227904 1313274 33554432000 4194304 4196468 140726285100080 139673613310176 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16011] ppid=15993 vsize=14092996 memory=66596 CPUtime=0.99 cores=0,2,4,6
/proc/15996/task/16011/stat : 16011 (java) S 15993 15996 12124 0 -1 1077944384 1828 0 0 0 47 52 0 0 20 0 15 0 246007895 14431227904 1313274 33554432000 4194304 4196468 140726285100080 139673169910960 139674640497282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 40 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
Current children cumulated CPU time: 2490.98 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5253096 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2470.6 s]
/proc/loadavg: 1.69 1.62 1.64 3/215 16188
/proc/meminfo: memFree=16360468/32770624 swapFree=67105356/67108860
[pid=15996] ppid=15993 vsize=14092996 memory=5363900 CPUtime=2520.02 cores=0,2,4,6
/proc/15996/stat : 15996 (java) S 15993 15996 12124 0 -1 1077944320 533132 0 0 0 251442 560 0 0 20 0 15 0 246007889 14431227904 1340975 33554432000 4194304 4196468 140726285100080 140726285082624 139674640486135 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
/proc/15996/statm: 3523249 1340975 3622 1 0 3485321 0
[pid=15996/tid=15998] ppid=15993 vsize=14092996 memory=12468 CPUtime=2456.63 cores=0,2,4,6
/proc/15996/task/15998/stat : 15998 (java) R 15993 15996 12124 0 -1 4202560 165973 0 0 0 245612 51 0 0 20 0 15 0 246007889 14431227904 1340975 33554432000 4194304 4196468 140726285100080 139674644715184 139674244220688 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=15999] ppid=15993 vsize=14092996 memory=752 CPUtime=12.02 cores=0,2,4,6
/proc/15996/task/15999/stat : 15999 (java) S 15993 15996 12124 0 -1 1077944384 57947 0 0 0 1089 113 0 0 20 0 15 0 246007890 14431227904 1340975 33554432000 4194304 4196468 140726285100080 139674555554448 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16000] ppid=15993 vsize=14092996 memory=6791534058613427641 CPUtime=11.97 cores=0,2,4,6
/proc/15996/task/16000/stat : 16000 (java) S 15993 15996 12124 0 -1 1077944384 72361 0 0 0 1088 109 0 0 20 0 15 0 246007890 14431227904 1340975 33554432000 4194304 4196468 140726285100080 139674554501648 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16001] ppid=15993 vsize=14092996 memory=37440 CPUtime=11.96 cores=0,2,4,6
/proc/15996/task/16001/stat : 16001 (java) S 15993 15996 12124 0 -1 1077944384 62156 0 0 0 1081 115 0 0 20 0 15 0 246007890 14431227904 1340975 33554432000 4194304 4196468 140726285100080 139674553448848 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16002] ppid=15993 vsize=14092996 memory=1176 CPUtime=11.98 cores=0,2,4,6
/proc/15996/task/16002/stat : 16002 (java) S 15993 15996 12124 0 -1 1077944384 65902 0 0 0 1086 112 0 0 20 0 15 0 246007890 14431227904 1340975 33554432000 4194304 4196468 140726285100080 139674552396048 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16003] ppid=15993 vsize=14092996 memory=492 CPUtime=1.58 cores=0,2,4,6
/proc/15996/task/16003/stat : 16003 (java) S 15993 15996 12124 0 -1 1077944384 21647 0 0 0 149 9 0 0 20 0 15 0 246007891 14431227904 1340975 33554432000 4194304 4196468 140726285100080 139673620679536 139674640497282 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16004] ppid=15993 vsize=14092996 memory=5308504 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16004/stat : 16004 (java) S 15993 15996 12124 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 246007892 14431227904 1340975 33554432000 4194304 4196468 140726285100080 139673619625568 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16005] ppid=15993 vsize=14092996 memory=5308500 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16005/stat : 16005 (java) S 15993 15996 12124 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 246007892 14431227904 1340975 33554432000 4194304 4196468 140726285100080 139673618572672 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16006] ppid=15993 vsize=14092996 memory=5253092 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16006/stat : 16006 (java) S 15993 15996 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246007894 14431227904 1340975 33554432000 4194304 4196468 140726285100080 139673617520976 139674640504731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16007] ppid=15993 vsize=14092996 memory=1612 CPUtime=5.27 cores=0,2,4,6
/proc/15996/task/16007/stat : 16007 (java) S 15993 15996 12124 0 -1 1077944384 25863 0 0 0 524 3 0 0 20 0 15 0 246007894 14431227904 1340975 33554432000 4194304 4196468 140726285100080 139673616468336 139674640497282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16008] ppid=15993 vsize=14092996 memory=1812 CPUtime=5.77 cores=0,2,4,6
/proc/15996/task/16008/stat : 16008 (java) S 15993 15996 12124 0 -1 1077944384 24492 0 0 0 575 2 0 0 20 0 15 0 246007894 14431227904 1340975 33554432000 4194304 4196468 140726285100080 139673615415536 139674640497282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16009] ppid=15993 vsize=14092996 memory=1176 CPUtime=1.72 cores=0,2,4,6
/proc/15996/task/16009/stat : 16009 (java) S 15993 15996 12124 0 -1 1077944384 33484 0 0 0 167 5 0 0 20 0 15 0 246007894 14431227904 1340975 33554432000 4194304 4196468 140726285100080 139673614362736 139674640497282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16010] ppid=15993 vsize=14092996 memory=492 CPUtime=0 cores=0,2,4,6
/proc/15996/task/16010/stat : 16010 (java) S 15993 15996 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246007895 14431227904 1340975 33554432000 4194304 4196468 140726285100080 139673613310176 139674640496341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
[pid=15996/tid=16011] ppid=15993 vsize=14092996 memory=1616 CPUtime=1.01 cores=0,2,4,6
/proc/15996/task/16011/stat : 16011 (java) S 15993 15996 12124 0 -1 1077944384 1868 0 0 0 48 53 0 0 20 0 15 0 246007895 14431227904 1340975 33554432000 4194304 4196468 140726285100080 139673169910960 139674640497282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 40 0 0 6293624 6294260 39579648 140726285104212 140726285104393 140726285104393 140726285107151 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5363900 KiB

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

[startup+2470.66 s]
# the end of solver process 15996 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.46 s, system=5.63943 s

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

Child status: 143
Real time (s): 2470.66
CPU time (s): 2520.1
CPU user time (s): 2514.46
CPU system time (s): 5.63943
CPU usage (%): 102.001
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 5363900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.46
system time used= 5.63943
maximum resident set size= 5364404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 534588
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 69489
involuntary context switches= 3985


# summary of solver processes directly reported to runsolver:
#   pid: 15996
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2514.46
#   total CPU system time (s): 5.63943

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.907 second user time and 23.2636 second system time

The end

Launcher Data 

Begin job on node149 at 2018-08-15 00:07:27
IDJOB=4308661
IDBENCH=141189
IDSOLVER=2792
FILE ID=node149/4308661-1534284447
RUNJOBID= node149-1534271020-14112
PBS_JOBID= 21038116
Free space on /tmp= 41752 MiB

SOLVER NAME= OscaR - Hybrid 2018-08-14
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-4308661-1534284447/watcher-4308661-1534284447 -o /tmp/evaluation-result-4308661-1534284447/solver-4308661-1534284447 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534271020-14112 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1936309377 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308661-1534284447.xml

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

MD5SUM BENCH= 9be5bd0a86f9e024d7fdf548556c4b89
RANDOM SEED=1936309377

node149.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.60
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.60
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.60
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.60
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:        19566556 kB
MemAvailable:   29316356 kB
Buffers:          177412 kB
Cached:          9746060 kB
SwapCached:         1704 kB
Active:          6814348 kB
Inactive:        5747492 kB
Active(anon):    2589476 kB
Inactive(anon):   101568 kB
Active(file):    4224872 kB
Inactive(file):  5645924 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108860 kB
SwapFree:       67105356 kB
Dirty:             35932 kB
Writeback:            12 kB
AnonPages:       2798048 kB
Mapped:            67912 kB
Shmem:             49568 kB
Slab:             335292 kB
SReclaimable:     307464 kB
SUnreclaim:        27828 kB
KernelStack:        3792 kB
PageTables:        10388 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3268516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2584576 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 41716 MiB
End job on node149 at 2018-08-15 00:48:38