Trace number 4293245

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
Concrete 3.8 2018-06-13SAT (TO)3322 2520.07 2364.95

General information on the benchmark

NameGraphColoring/
GraphColoring-4-fullins-5_c18.xml
MD5SUM95ec92f657fea8ce6e93e6f35592ce49
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark2519.94
Satisfiable
(Un)Satisfiability was proved
Number of variables4146
Number of constraints77305
Number of domains1
Minimum domain size4146
Maximum domain size4146
Distribution of domain sizes[{"size":4146,"count":4146}]
Minimum variable degree9
Maximum variable degree696
Distribution of variable degrees[{"degree":9,"count":4},{"degree":10,"count":18},{"degree":11,"count":14},{"degree":12,"count":56},{"degree":13,"count":22},{"degree":14,"count":94},{"degree":15,"count":28},{"degree":16,"count":112},{"degree":17,"count":54},{"degree":18,"count":216},{"degree":19,"count":62},{"degree":20,"count":248},{"degree":21,"count":24},{"degree":22,"count":96},{"degree":23,"count":78},{"degree":24,"count":312},{"degree":25,"count":10},{"degree":26,"count":40},{"degree":27,"count":40},{"degree":28,"count":166},{"degree":29,"count":40},{"degree":30,"count":160},{"degree":31,"count":166},{"degree":32,"count":664},{"degree":33,"count":30},"...",{"degree":36,"count":96}, {"degree":37,"count":6}, {"degree":38,"count":24}, {"degree":39,"count":24}, {"degree":40,"count":96}, {"degree":49,"count":6}, {"degree":50,"count":24}, {"degree":51,"count":6}, {"degree":52,"count":24}, {"degree":57,"count":6}, {"degree":58,"count":24}, {"degree":59,"count":24}, {"degree":60,"count":96}, {"degree":61,"count":24}, {"degree":62,"count":96}, {"degree":63,"count":96}, {"degree":64,"count":384}, {"degree":93,"count":6}, {"degree":94,"count":24}, {"degree":95,"count":24}, {"degree":96,"count":96}, {"degree":122,"count":6}, {"degree":239,"count":6}, {"degree":240,"count":24}, {"degree":696,"count":6}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":77305}]
Number of extensional constraints0
Number of intensional constraints77305
Distribution of constraint types[{"type":"intension","count":77305}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data 

0.99/0.75	c Concrete v3.8.1528841891564 running
1107.20/996.97	o 4145
1144.34/1027.80	o 4144
1147.32/1030.50	o 4143
1150.51/1033.06	o 4142
1153.46/1035.54	o 4141
1156.22/1038.23	o 4140
1159.30/1040.93	o 4139
1161.92/1043.17	o 4138
1164.43/1045.61	o 4137
1167.09/1047.97	o 4136
1170.08/1050.52	o 4135
1174.99/1054.04	o 4134
1178.27/1056.94	o 4133
1181.39/1059.71	o 4132
1183.71/1062.04	o 4131
1186.82/1065.04	o 4130
1189.23/1067.39	o 4129
1191.96/1070.00	o 4128
1194.80/1072.68	o 4127
1197.24/1075.03	o 4126
1199.86/1077.53	o 4125
1202.50/1080.09	o 4124
1205.00/1082.50	o 4123
1207.23/1084.67	o 4122
1209.74/1087.17	o 4121
1212.23/1089.57	o 4120
1214.85/1092.03	o 4119
1217.03/1094.29	o 4118
1219.48/1096.56	o 4117
1221.68/1098.77	o 4116
1224.24/1101.12	o 4115
1226.33/1103.26	o 4114
1228.97/1105.68	o 4113
1231.27/1107.97	o 4112
1233.38/1110.04	o 4111
1235.97/1112.50	o 4110
1238.07/1114.68	o 4109
1240.57/1117.09	o 4108
1242.68/1119.19	o 4107
1245.19/1121.54	o 4106
1247.40/1123.74	o 4105
1249.63/1125.82	o 4104
1251.89/1128.07	o 4103
1254.29/1130.42	o 4102
1256.59/1132.67	o 4101
1258.89/1134.91	o 4100
1261.03/1136.96	o 4099
1263.14/1139.06	o 4098
1265.64/1141.49	o 4097
1267.89/1143.59	o 4096
1270.10/1145.75	o 4095
1272.30/1147.87	o 4094
1274.40/1149.94	o 4093
1276.40/1151.97	o 4092
1278.83/1154.27	o 4091
1281.03/1156.41	o 4090
1283.26/1158.55	o 4089
1285.46/1160.73	o 4088
1287.57/1162.87	o 4087
1289.68/1164.84	o 4086
1291.68/1166.87	o 4085
1294.08/1169.27	o 4084
1296.38/1171.44	o 4083
1298.49/1173.52	o 4082
1300.39/1175.42	o 4081
1302.47/1177.46	o 4080
1304.57/1179.50	o 4079
1306.47/1181.48	o 4078
1308.47/1183.33	o 4077
1310.28/1185.18	o 4076
1312.58/1187.40	o 4075
1314.89/1189.60	o 4074
1316.99/1191.75	o 4073
1319.22/1193.87	o 4072
1321.22/1195.85	o 4071
1323.23/1197.81	o 4070
1325.46/1199.90	o 4069
1327.36/1201.89	o 4068
1329.36/1203.80	o 4067
1331.40/1205.75	o 4066
1333.30/1207.66	o 4065
1335.50/1209.89	o 4064
1338.04/1212.25	o 4063
1340.35/1214.50	o 4062
1342.25/1216.47	o 4061
1344.48/1218.57	o 4060
1346.58/1220.63	o 4059
1348.48/1222.59	o 4058
1350.72/1224.63	o 4057
1352.62/1226.55	o 4056
1354.52/1228.46	o 4055
1356.69/1230.42	o 4054
1358.51/1232.25	o 4053
1360.42/1234.16	o 4052
1363.37/1236.97	o 4051
1365.37/1238.96	o 4050
1367.58/1241.13	o 4049
1369.90/1243.30	o 4048
1371.80/1245.24	o 4047
1373.80/1247.29	o 4046
1376.13/1249.41	o 4045
1378.23/1251.51	o 4044
1380.23/1253.51	o 4043
1382.26/1255.44	o 4042
1384.16/1257.38	o 4041
1386.27/1259.44	o 4040
1388.41/1261.48	o 4039
1390.31/1263.34	o 4038
1392.21/1265.29	o 4037
1394.71/1267.52	o 4036
1397.12/1269.98	o 4035
1399.33/1272.16	o 4034
1401.93/1274.62	o 4033
1404.13/1276.82	o 4032
1406.34/1279.07	o 4031
1408.55/1281.17	o 4030
1410.75/1283.31	o 4029
1412.85/1285.44	o 4028
1415.04/1287.60	o 4027
1417.34/1289.81	o 4026
1419.54/1291.90	o 4025
1421.44/1293.87	o 4024
1423.54/1295.97	o 4023
1425.44/1297.89	o 4022
1427.65/1299.99	o 4021
1429.76/1302.03	o 4020
1431.66/1303.97	o 4019
1434.09/1306.28	o 4018
1436.40/1308.58	o 4017
1438.64/1310.72	o 4016
1440.69/1312.73	o 4015
1442.69/1314.71	o 4014
1444.69/1316.76	o 4013
1446.88/1318.89	o 4012
1448.89/1320.88	o 4011
1450.89/1322.85	o 4010
1452.90/1324.79	o 4009
1454.90/1326.71	o 4008
1456.80/1328.64	o 4007
1458.94/1330.64	o 4006
1460.74/1332.48	o 4005
1462.64/1334.40	o 4004
1464.70/1336.26	o 4003
1466.70/1338.24	o 4002
1468.40/1339.96	o 4001
1470.20/1341.79	o 4000
1472.24/1343.66	o 3999
1474.14/1345.51	o 3998
1476.04/1347.41	o 3997
1478.31/1349.58	o 3996
1480.61/1351.84	o 3995
1482.62/1353.89	o 3994
1484.84/1355.99	o 3993
1486.95/1358.07	o 3992
1489.05/1360.13	o 3991
1491.17/1362.16	o 3990
1493.17/1364.13	o 3989
1495.17/1366.15	o 3988
1497.30/1368.13	o 3987
1499.10/1369.95	o 3986
1501.00/1371.86	o 3985
1503.04/1373.75	o 3984
1504.94/1375.60	o 3983
1506.74/1377.42	o 3982
1508.54/1379.20	o 3981
1510.47/1381.01	o 3980
1512.17/1382.79	o 3979
1513.97/1384.54	o 3978
1515.92/1386.32	o 3977
1517.62/1388.08	o 3976
1519.42/1389.81	o 3975
1521.02/1391.49	o 3974
1522.95/1393.23	o 3973
1524.65/1394.97	o 3972
1526.35/1396.66	o 3971
1528.22/1398.32	o 3970
1530.43/1400.50	o 3969
1532.63/1402.75	o 3968
1534.86/1404.89	o 3967
1536.96/1406.99	o 3966
1539.07/1409.10	o 3965
1541.40/1411.24	o 3964
1543.30/1413.19	o 3963
1545.40/1415.24	o 3962
1547.63/1417.33	o 3961
1549.64/1419.32	o 3960
1551.74/1421.42	o 3959
1553.67/1423.38	o 3958
1555.79/1425.36	o 3957
1557.69/1427.28	o 3956
1559.60/1429.14	o 3955
1561.51/1430.92	o 3954
1563.32/1432.70	o 3953
1565.02/1434.45	o 3952
1566.96/1436.22	o 3951
1568.78/1438.03	o 3950
1570.48/1439.76	o 3949
1572.18/1441.48	o 3948
1574.10/1443.24	o 3947
1575.91/1445.06	o 3946
1577.70/1446.80	o 3945
1579.56/1448.54	o 3944
1581.17/1450.20	o 3943
1582.87/1451.89	o 3942
1584.57/1453.59	o 3941
1586.52/1455.30	o 3940
1588.12/1456.96	o 3939
1589.72/1458.59	o 3938
1592.32/1460.98	o 3937
1594.54/1463.20	o 3936
1596.73/1465.33	o 3935
1599.04/1467.59	o 3934
1601.14/1469.62	o 3933
1603.04/1471.54	o 3932
1605.05/1473.49	o 3931
1607.06/1475.47	o 3930
1608.97/1477.30	o 3929
1611.00/1479.24	o 3928
1612.91/1481.13	o 3927
1614.70/1482.98	o 3926
1616.74/1484.82	o 3925
1618.54/1486.60	o 3924
1620.35/1488.40	o 3923
1622.06/1490.17	o 3922
1623.97/1491.91	o 3921
1625.67/1493.68	o 3920
1627.47/1495.44	o 3919
1629.42/1497.22	o 3918
1631.12/1498.95	o 3917
1632.92/1500.74	o 3916
1634.62/1502.45	o 3915
1636.45/1504.16	o 3914
1638.14/1505.84	o 3913
1639.74/1507.49	o 3912
1641.70/1509.20	o 3911
1643.30/1510.83	o 3910
1644.90/1512.48	o 3909
1646.51/1514.06	o 3908
1648.25/1515.69	o 3907
1649.85/1517.29	o 3906
1651.55/1518.90	o 3905
1653.20/1520.54	o 3904
1654.90/1522.14	o 3903
1656.50/1523.76	o 3902
1658.10/1525.32	o 3901
1659.89/1526.94	o 3900
1661.39/1528.48	o 3899
1663.39/1530.43	o 3898
1666.32/1533.23	o 3897
1668.23/1535.17	o 3896
1670.23/1537.12	o 3895
1672.36/1539.19	o 3894
1674.36/1541.18	o 3893
1676.26/1543.10	o 3892
1678.40/1545.05	o 3891
1680.41/1547.05	o 3890
1682.42/1549.04	o 3889
1684.66/1551.13	o 3888
1686.45/1552.93	o 3887
1688.25/1554.79	o 3886
1690.25/1556.72	o 3885
1692.16/1558.58	o 3884
1693.96/1560.38	o 3883
1695.78/1562.16	o 3882
1697.70/1563.95	o 3881
1699.50/1565.75	o 3880
1701.30/1567.51	o 3879
1703.11/1569.34	o 3878
1705.04/1571.11	o 3877
1706.73/1572.86	o 3876
1708.44/1574.56	o 3875
1710.38/1576.31	o 3874
1712.09/1578.01	o 3873
1713.68/1579.64	o 3872
1715.28/1581.20	o 3871
1717.01/1582.86	o 3870
1718.61/1584.46	o 3869
1720.22/1586.07	o 3868
1722.09/1587.73	o 3867
1723.59/1589.27	o 3866
1725.19/1590.83	o 3865
1726.78/1592.40	o 3864
1728.56/1594.04	o 3863
1730.05/1595.58	o 3862
1731.56/1597.08	o 3861
1733.06/1598.52	o 3860
1734.84/1600.12	o 3859
1736.23/1601.50	o 3858
1737.54/1602.84	o 3857
1738.85/1604.19	o 3856
1740.51/1605.61	o 3855
1741.81/1606.93	o 3854
1743.11/1608.27	o 3853
1744.41/1609.59	o 3852
1745.81/1610.90	o 3851
1747.97/1612.98	o 3850
1749.97/1614.93	o 3849
1752.51/1617.39	o 3848
1754.71/1619.51	o 3847
1756.71/1621.53	o 3846
1758.75/1623.43	o 3845
1760.65/1625.32	o 3844
1762.46/1627.16	o 3843
1764.25/1628.95	o 3842
1766.24/1630.80	o 3841
1768.04/1632.61	o 3840
1769.74/1634.33	o 3839
1771.66/1636.13	o 3838
1773.35/1637.87	o 3837
1775.06/1639.58	o 3836
1776.90/1641.24	o 3835
1778.60/1642.96	o 3834
1780.20/1644.55	o 3833
1781.90/1646.26	o 3832
1783.71/1647.93	o 3831
1785.32/1649.56	o 3830
1787.02/1651.22	o 3829
1788.77/1652.88	o 3828
1790.37/1654.47	o 3827
1791.98/1656.01	o 3826
1793.47/1657.53	o 3825
1795.23/1659.11	o 3824
1796.72/1660.69	o 3823
1798.32/1662.24	o 3822
1799.82/1663.76	o 3821
1801.45/1665.25	o 3820
1802.95/1666.72	o 3819
1804.45/1668.24	o 3818
1805.95/1669.71	o 3817
1807.49/1671.19	o 3816
1808.98/1672.63	o 3815
1810.40/1674.03	o 3814
1811.69/1675.37	o 3813
1813.24/1676.79	o 3812
1814.65/1678.13	o 3811
1815.95/1679.44	o 3810
1817.25/1680.74	o 3809
1818.72/1682.10	o 3808
1820.12/1683.41	o 3807
1821.32/1684.65	o 3806
1822.52/1685.89	o 3805
1824.04/1687.18	o 3804
1825.21/1688.37	o 3803
1826.41/1689.56	o 3802
1827.61/1690.72	o 3801
1828.71/1691.87	o 3800
1830.09/1693.06	o 3799
1831.20/1694.19	o 3798
1832.39/1695.34	o 3797
1833.49/1696.47	o 3796
1834.69/1697.61	o 3795
1835.98/1698.77	o 3794
1837.08/1699.88	o 3793
1838.18/1700.97	o 3792
1839.29/1702.06	o 3791
1840.40/1703.13	o 3790
1841.67/1704.22	o 3789
1842.67/1705.26	o 3788
1844.77/1707.38	o 3787
1847.41/1709.85	o 3786
1849.61/1712.03	o 3785
1851.71/1714.11	o 3784
1853.82/1716.15	o 3783
1855.91/1718.22	o 3782
1857.91/1720.24	o 3781
1860.02/1722.27	o 3780
1862.02/1724.26	o 3779
1864.02/1726.21	o 3778
1866.04/1728.15	o 3777
1867.94/1730.07	o 3776
1869.83/1731.97	o 3775
1871.85/1733.85	o 3774
1873.65/1735.64	o 3773
1875.45/1737.45	o 3772
1877.38/1739.25	o 3771
1879.29/1741.12	o 3770
1880.98/1742.86	o 3769
1882.92/1744.70	o 3768
1884.82/1746.52	o 3767
1886.53/1748.24	o 3766
1888.50/1750.02	o 3765
1890.12/1751.65	o 3764
1891.92/1753.41	o 3763
1893.65/1755.16	o 3762
1895.59/1756.93	o 3761
1897.29/1758.62	o 3760
1898.89/1760.28	o 3759
1900.76/1761.97	o 3758
1902.46/1763.65	o 3757
1904.06/1765.21	o 3756
1905.66/1766.82	o 3755
1907.30/1768.39	o 3754
1908.90/1769.94	o 3753
1910.41/1771.43	o 3752
1911.92/1772.93	o 3751
1913.56/1774.45	o 3750
1915.06/1775.97	o 3749
1916.56/1777.49	o 3748
1918.13/1779.01	o 3747
1919.74/1780.46	o 3746
1921.24/1781.94	o 3745
1922.64/1783.39	o 3744
1924.42/1784.90	o 3743
1925.82/1786.35	o 3742
1927.22/1787.74	o 3741
1928.53/1789.10	o 3740
1930.21/1790.55	o 3739
1931.61/1791.90	o 3738
1932.91/1793.29	o 3737
1934.31/1794.67	o 3736
1935.81/1796.06	o 3735
1937.29/1797.41	o 3734
1938.60/1798.71	o 3733
1939.90/1800.05	o 3732
1941.27/1801.39	o 3731
1942.84/1802.72	o 3730
1944.04/1803.98	o 3729
1945.35/1805.22	o 3728
1946.55/1806.46	o 3727
1948.02/1807.77	o 3726
1949.22/1808.99	o 3725
1950.43/1810.17	o 3724
1951.62/1811.34	o 3723
1953.10/1812.63	o 3722
1954.30/1813.81	o 3721
1955.41/1814.98	o 3720
1956.62/1816.13	o 3719
1957.81/1817.30	o 3718
1959.18/1818.51	o 3717
1960.18/1819.58	o 3716
1961.28/1820.65	o 3715
1963.38/1822.76	o 3714
1965.69/1824.99	o 3713
1967.80/1827.03	o 3712
1969.80/1829.03	o 3711
1971.89/1831.03	o 3710
1973.89/1833.03	o 3709
1975.89/1835.06	o 3708
1977.98/1837.05	o 3707
1979.87/1838.99	o 3706
1981.95/1840.96	o 3705
1984.01/1842.91	o 3704
1985.91/1844.84	o 3703
1987.97/1846.71	o 3702
1989.87/1848.62	o 3701
1991.67/1850.49	o 3700
1993.47/1852.26	o 3699
1995.39/1854.07	o 3698
1997.18/1855.89	o 3697
1998.98/1857.67	o 3696
2000.90/1859.44	o 3695
2002.61/1861.15	o 3694
2004.40/1862.90	o 3693
2006.25/1864.65	o 3692
2007.95/1866.36	o 3691
2009.66/1868.08	o 3690
2011.61/1869.81	o 3689
2013.31/1871.51	o 3688
2015.01/1873.25	o 3687
2016.71/1874.92	o 3686
2018.65/1876.70	o 3685
2020.25/1878.38	o 3684
2021.96/1880.04	o 3683
2023.82/1881.76	o 3682
2025.54/1883.45	o 3681
2027.14/1885.08	o 3680
2028.74/1886.65	o 3679
2030.48/1888.30	o 3678
2032.18/1889.90	o 3677
2033.69/1891.44	o 3676
2035.57/1893.11	o 3675
2037.06/1894.61	o 3674
2038.66/1896.21	o 3673
2040.16/1897.77	o 3672
2041.84/1899.29	o 3671
2043.44/1900.83	o 3670
2044.94/1902.36	o 3669
2046.43/1903.83	o 3668
2048.21/1905.42	o 3667
2049.61/1906.85	o 3666
2051.11/1908.36	o 3665
2052.51/1909.79	o 3664
2054.29/1911.32	o 3663
2055.69/1912.75	o 3662
2057.10/1914.18	o 3661
2058.59/1915.63	o 3660
2060.17/1917.09	o 3659
2061.57/1918.46	o 3658
2062.97/1919.85	o 3657
2064.47/1921.31	o 3656
2066.05/1922.73	o 3655
2067.46/1924.12	o 3654
2068.75/1925.48	o 3653
2070.25/1926.91	o 3652
2071.72/1928.27	o 3651
2073.12/1929.62	o 3650
2074.42/1930.91	o 3649
2075.63/1932.19	o 3648
2077.19/1933.54	o 3647
2078.40/1934.78	o 3646
2079.70/1936.02	o 3645
2080.89/1937.20	o 3644
2082.09/1938.41	o 3643
2083.45/1939.67	o 3642
2084.65/1940.87	o 3641
2085.86/1942.06	o 3640
2087.05/1943.25	o 3639
2088.42/1944.47	o 3638
2089.62/1945.64	o 3637
2090.82/1946.83	o 3636
2091.93/1947.97	o 3635
2093.04/1949.10	o 3634
2094.50/1950.31	o 3633
2095.60/1951.41	o 3632
2096.70/1952.51	o 3631
2097.80/1953.60	o 3630
2098.90/1954.71	o 3629
2100.14/1955.81	o 3628
2101.14/1956.88	o 3627
2102.14/1957.88	o 3626
2105.56/1961.08	o 3625
2107.85/1963.32	o 3624
2109.85/1965.34	o 3623
2112.06/1967.48	o 3622
2114.06/1969.48	o 3621
2116.17/1971.51	o 3620
2118.18/1973.46	o 3619
2120.18/1975.43	o 3618
2122.08/1977.35	o 3617
2124.10/1979.29	o 3616
2126.01/1981.13	o 3615
2127.80/1983.00	o 3614
2129.83/1984.85	o 3613
2131.73/1986.71	o 3612
2133.53/1988.56	o 3611
2135.47/1990.38	o 3610
2137.37/1992.22	o 3609
2139.18/1994.08	o 3608
2140.97/1995.86	o 3607
2142.99/1997.72	o 3606
2144.69/1999.46	o 3605
2146.49/2001.23	o 3604
2148.32/2002.98	o 3603
2150.02/2004.65	o 3602
2151.72/2006.35	o 3601
2153.68/2008.13	o 3600
2155.38/2009.88	o 3599
2157.08/2011.57	o 3598
2158.78/2013.23	o 3597
2160.61/2014.91	o 3596
2162.21/2016.54	o 3595
2163.91/2018.23	o 3594
2165.68/2019.88	o 3593
2167.28/2021.50	o 3592
2168.99/2023.11	o 3591
2170.58/2024.72	o 3590
2172.33/2026.33	o 3589
2173.84/2027.84	o 3588
2175.34/2029.37	o 3587
2176.94/2030.97	o 3586
2178.68/2032.55	o 3585
2180.29/2034.15	o 3584
2181.78/2035.65	o 3583
2183.56/2037.25	o 3582
2185.06/2038.71	o 3581
2186.47/2040.12	o 3580
2187.86/2041.57	o 3579
2189.66/2043.11	o 3578
2191.05/2044.59	o 3577
2192.45/2045.98	o 3576
2193.95/2047.41	o 3575
2195.54/2048.89	o 3574
2197.04/2050.32	o 3573
2198.34/2051.68	o 3572
2199.74/2053.06	o 3571
2201.21/2054.49	o 3570
2202.73/2055.84	o 3569
2204.04/2057.15	o 3568
2205.33/2058.45	o 3567
2206.63/2059.75	o 3566
2208.10/2061.10	o 3565
2209.39/2062.39	o 3564
2210.69/2063.66	o 3563
2211.99/2064.93	o 3562
2213.47/2066.21	o 3561
2214.67/2067.46	o 3560
2215.87/2068.68	o 3559
2217.17/2069.90	o 3558
2218.65/2071.21	o 3557
2219.86/2072.42	o 3556
2221.06/2073.63	o 3555
2222.26/2074.84	o 3554
2223.47/2076.05	o 3553
2224.83/2077.28	o 3552
2226.03/2078.49	o 3551
2227.23/2079.69	o 3550
2228.43/2080.85	o 3549
2229.53/2081.97	o 3548
2230.90/2083.12	o 3547
2231.99/2084.23	o 3546
2233.09/2085.34	o 3545
2234.19/2086.44	o 3544
2235.29/2087.51	o 3543
2236.54/2088.61	o 3542
2237.54/2089.68	o 3541
2238.64/2090.72	o 3540
2239.64/2091.74	o 3539
2240.65/2092.78	o 3538
2241.90/2093.82	o 3537
2242.90/2094.83	o 3536
2243.90/2095.81	o 3535
2244.80/2096.78	o 3534
2245.81/2097.74	o 3533
2246.97/2098.72	o 3532
2247.87/2099.64	o 3531
2248.77/2100.52	o 3530
2249.67/2101.42	o 3529
2250.47/2102.29	o 3528
2251.38/2103.12	o 3527
2252.17/2103.99	o 3526
2253.23/2104.80	o 3525
2253.93/2105.59	o 3524
2254.73/2106.36	o 3523
2255.54/2107.12	o 3522
2256.23/2107.87	o 3521
2257.03/2108.63	o 3520
2257.98/2109.41	o 3519
2258.69/2110.14	o 3518
2259.38/2110.86	o 3517
2260.09/2111.58	o 3516
2260.89/2112.30	o 3515
2261.49/2113.00	o 3514
2262.19/2113.68	o 3513
2262.89/2114.35	o 3512
2263.74/2115.07	o 3511
2264.43/2115.75	o 3510
2265.13/2116.42	o 3509
2267.33/2118.65	o 3508
2269.87/2121.05	o 3507
2271.97/2123.18	o 3506
2274.00/2125.14	o 3505
2276.12/2127.15	o 3504
2278.21/2129.29	o 3503
2280.41/2131.46	o 3502
2282.53/2133.43	o 3501
2284.63/2135.54	o 3500
2286.53/2137.42	o 3499
2288.55/2139.38	o 3498
2290.45/2141.29	o 3497
2292.36/2143.14	o 3496
2294.39/2145.08	o 3495
2296.29/2146.94	o 3494
2298.18/2148.84	o 3493
2300.33/2150.84	o 3492
2302.23/2152.71	o 3491
2304.13/2154.62	o 3490
2306.19/2156.52	o 3489
2307.99/2158.36	o 3488
2309.80/2160.19	o 3487
2311.70/2162.08	o 3486
2313.81/2164.04	o 3485
2315.61/2165.81	o 3484
2317.41/2167.64	o 3483
2319.44/2169.50	o 3482
2321.14/2171.29	o 3481
2323.05/2173.12	o 3480
2324.98/2174.95	o 3479
2326.78/2176.70	o 3478
2328.48/2178.45	o 3477
2330.54/2180.30	o 3476
2332.14/2181.97	o 3475
2333.95/2183.73	o 3474
2335.75/2185.51	o 3473
2337.60/2187.28	o 3472
2339.30/2188.96	o 3471
2341.00/2190.70	o 3470
2342.96/2192.42	o 3469
2344.56/2194.06	o 3468
2346.16/2195.66	o 3467
2347.85/2197.31	o 3466
2349.62/2198.96	o 3465
2351.22/2200.57	o 3464
2352.83/2202.17	o 3463
2354.43/2203.78	o 3462
2356.27/2205.43	o 3461
2357.77/2206.99	o 3460
2359.37/2208.53	o 3459
2361.06/2210.09	o 3458
2362.65/2211.65	o 3457
2364.16/2213.13	o 3456
2365.65/2214.69	o 3455
2367.33/2216.16	o 3454
2368.82/2217.60	o 3453
2370.23/2219.08	o 3452
2371.73/2220.54	o 3451
2373.42/2222.08	o 3450
2374.91/2223.52	o 3449
2376.31/2224.94	o 3448
2377.71/2226.36	o 3447
2379.38/2227.83	o 3446
2380.79/2229.22	o 3445
2382.19/2230.61	o 3444
2383.49/2232.00	o 3443
2385.16/2233.41	o 3442
2386.46/2234.75	o 3441
2387.76/2236.07	o 3440
2389.06/2237.39	o 3439
2390.46/2238.70	o 3438
2391.92/2240.04	o 3437
2393.11/2241.28	o 3436
2394.41/2242.52	o 3435
2395.61/2243.76	o 3434
2397.08/2245.03	o 3433
2398.27/2246.24	o 3432
2399.47/2247.43	o 3431
2400.57/2248.58	o 3430
2401.77/2249.71	o 3429
2403.03/2250.87	o 3428
2404.13/2251.96	o 3427
2405.24/2253.03	o 3426
2406.24/2254.07	o 3425
2407.24/2255.09	o 3424
2408.49/2256.16	o 3423
2409.49/2257.18	o 3422
2410.49/2258.19	o 3421
2411.58/2259.21	o 3420
2412.49/2260.16	o 3419
2413.39/2261.08	o 3418
2414.53/2262.04	o 3417
2415.42/2262.95	o 3416
2416.32/2263.85	o 3415
2417.22/2264.74	o 3414
2418.12/2265.60	o 3413
2418.92/2266.42	o 3412
2419.87/2267.27	o 3411
2420.68/2268.08	o 3410
2421.47/2268.87	o 3409
2422.27/2269.66	o 3408
2423.07/2270.44	o 3407
2423.87/2271.21	o 3406
2424.82/2272.02	o 3405
2425.52/2272.77	o 3404
2426.32/2273.52	o 3403
2427.02/2274.26	o 3402
2427.72/2274.99	o 3401
2428.52/2275.70	o 3400
2429.22/2276.41	o 3399
2429.93/2277.11	o 3398
2430.76/2277.84	o 3397
2431.46/2278.53	o 3396
2432.16/2279.21	o 3395
2432.76/2279.89	o 3394
2433.46/2280.56	o 3393
2434.16/2281.22	o 3392
2434.76/2281.87	o 3391
2435.46/2282.50	o 3390
2436.21/2283.17	o 3389
2436.80/2283.76	o 3388
2437.40/2284.33	o 3387
2438.00/2284.91	o 3386
2438.50/2285.43	o 3385
2439.00/2285.96	o 3384
2439.60/2286.50	o 3383
2440.11/2287.03	o 3382
2440.61/2287.55	o 3381
2441.36/2288.12	o 3380
2441.85/2288.62	o 3379
2442.36/2289.12	o 3378
2442.86/2289.61	o 3377
2443.27/2290.10	o 3376
2443.76/2290.59	o 3375
2444.27/2291.07	o 3374
2444.76/2291.53	o 3373
2445.16/2291.98	o 3372
2445.66/2292.43	o 3371
2446.06/2292.84	o 3370
2446.61/2293.27	o 3369
2447.01/2293.64	o 3368
2447.31/2294.00	o 3367
2447.71/2294.35	o 3366
2448.01/2294.70	o 3365
2448.42/2295.03	o 3364
2448.71/2295.35	o 3363
2449.01/2295.65	o 3362
2449.31/2295.96	o 3361
2449.61/2296.25	o 3360
2449.91/2296.54	o 3359
2450.21/2296.82	o 3358
2452.52/2298.98	o 3357
2454.82/2301.21	o 3356
2456.82/2303.25	o 3355
2459.03/2305.35	o 3354
2461.04/2307.39	o 3353
2463.14/2309.47	o 3352
2465.26/2311.47	o 3351
2467.16/2313.37	o 3350
2469.16/2315.36	o 3349
2471.28/2317.37	o 3348
2473.29/2319.30	o 3347
2475.19/2321.23	o 3346
2477.23/2323.18	o 3345
2479.13/2325.02	o 3344
2481.02/2326.91	o 3343
2483.06/2328.81	o 3342
2484.87/2330.67	o 3341
2486.77/2332.50	o 3340
2488.47/2334.29	o 3339
2490.39/2336.10	o 3338
2492.28/2337.91	o 3337
2494.08/2339.70	o 3336
2496.01/2341.52	o 3335
2497.71/2343.29	o 3334
2499.52/2345.04	o 3333
2501.46/2346.86	o 3332
2503.16/2348.57	o 3331
2504.86/2350.28	o 3330
2506.56/2351.97	o 3329
2508.39/2353.66	o 3328
2510.09/2355.33	o 3327
2511.70/2356.98	o 3326
2513.66/2358.72	o 3325
2515.26/2360.35	o 3324
2516.86/2361.99	o 3323
2518.46/2363.56	o 3322
2520.01/2364.91	Exception in thread "main" java.util.concurrent.TimeoutException
2520.01/2364.91		at concrete.MAC.mac(MAC.scala:188)
2520.01/2364.91		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.01/2364.91		at scala.util.Try$.apply(Try.scala:209)
2520.01/2364.91		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.01/2364.91		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.01/2364.91		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.01/2364.91		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.01/2364.91		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.01/2364.91		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.01/2364.91		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.01/2364.91		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.01/2364.91		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.01/2364.91		at concrete.MAC.oneRun(MAC.scala:253)
2520.01/2364.91		at concrete.MAC.nextSolution(MAC.scala:272)
2520.01/2364.91		at concrete.MAC.nextSolution(MAC.scala:355)
2520.01/2364.91		at concrete.Solver.hasNext(Solver.scala:166)
2520.01/2364.91		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.01/2364.91		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.01/2364.91		at concrete.Solver.foreach(Solver.scala:68)
2520.01/2364.91		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.01/2364.91		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.01/2364.91		at scala.util.Success.map(Try.scala:209)
2520.01/2364.91		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.01/2364.91		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.01/2364.91		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.01/2364.91		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.01/2364.91		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.01/2364.91		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.01/2364.91		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.01/2364.91		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.01/2364.91		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.01/2364.91		at scala.collection.immutable.List.foreach(List.scala:389)
2520.01/2364.91		at scala.App.main(App.scala:76)
2520.01/2364.91		at scala.App.main$(App.scala:74)
2520.01/2364.91		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.01/2364.91		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.01/2364.92	v <instantiation cost="3322">
2520.01/2364.92	v       <list>
2520.01/2364.92	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] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029] x[2030] x[2031] x[2032] x[2033] x[2034] x[2035] x[2036] x[2037] x[2038] x[2039] x[2040] x[2041] x[2042] x[2043] x[2044] x[2045] x[2046] x[2047] x[2048] x[2049] x[2050] x[2051] x[2052] x[2053] x[2054] x[2055] x[2056] x[2057] x[2058] x[2059] x[2060] x[2061] x[2062] x[2063] x[2064] x[2065] x[2066] x[2067] x[2068] x[2069] x[2070] x[2071] x[2072] x[2073] x[2074] x[2075] x[2076] x[2077] x[2078] x[2079] x[2080] x[2081] x[2082] x[2083] x[2084] x[2085] x[2086] x[2087] x[2088] x[2089] x[2090] x[2091] x[2092] x[2093] x[2094] x[2095] x[2096] x[2097] x[2098] x[2099] x[2100] x[2101] x[2102] x[2103] x[2104] x[2105] x[2106] x[2107] x[2108] x[2109] x[2110] x[2111] x[2112] x[2113] x[2114] x[2115] x[2116] x[2117] x[2118] x[2119] x[2120] x[2121] x[2122] x[2123] x[2124] x[2125] x[2126] x[2127] x[2128] x[2129] x[2130] x[2131] x[2132] x[2133] x[2134] x[2135] x[2136] x[2137] x[2138] x[2139] x[2140] x[2141] x[2142] x[2143] x[2144] x[2145] x[2146] x[2147] x[2148] x[2149] x[2150] x[2151] x[2152] x[2153] x[2154] x[2155] x[2156] x[2157] x[2158] x[2159] x[2160] x[2161] x[2162] x[2163] x[2164] x[2165] x[2166] x[2167] x[2168] x[2169] x[2170] x[2171] x[2172] x[2173] x[2174] x[2175] x[2176] x[2177] x[2178] x[2179] x[2180] x[2181] x[2182] x[2183] x[2184] x[2185] x[2186] x[2187] x[2188] x[2189] x[2190] x[2191] x[2192] x[2193] x[2194] x[2195] x[2196] x[2197] x[2198] x[2199] x[2200] x[2201] x[2202] x[2203] x[2204] x[2205] x[2206] x[2207] x[2208] x[2209] x[2210] x[2211] x[2212] x[2213] x[2214] x[2215] x[2216] x[2217] x[2218] x[2219] x[2220] x[2221] x[2222] x[2223] x[2224] x[2225] x[2226] x[2227] x[2228] x[2229] x[2230] x[2231] x[2232] x[2233] x[2234] x[2235] x[2236] x[2237] x[2238] x[2239] x[2240] x[2241] x[2242] x[2243] x[2244] x[2245] x[2246] x[2247] x[2248] x[2249] x[2250] x[2251] x[2252] x[2253] x[2254] x[2255] x[2256] x[2257] x[2258] x[2259] x[2260] x[2261] x[2262] x[2263] x[2264] x[2265] x[2266] x[2267] x[2268] x[2269] x[2270] x[2271] x[2272] x[2273] x[2274] x[2275] x[2276] x[2277] x[2278] x[2279] x[2280] x[2281] x[2282] x[2283] x[2284] x[2285] x[2286] x[2287] x[2288] x[2289] x[2290] x[2291] x[2292] x[2293] x[2294] x[2295] x[2296] x[2297] x[2298] x[2299] x[2300] x[2301] x[2302] x[2303] x[2304] x[2305] x[2306] x[2307] x[2308] x[2309] x[2310] x[2311] x[2312] x[2313] x[2314] x[2315] x[2316] x[2317] x[2318] x[2319] x[2320] x[2321] x[2322] x[2323] x[2324] x[2325] x[2326] x[2327] x[2328] x[2329] x[2330] x[2331] x[2332] x[2333] x[2334] x[2335] x[2336] x[2337] x[2338] x[2339] x[2340] x[2341] x[2342] x[2343] x[2344] x[2345] x[2346] x[2347] x[2348] x[2349] x[2350] x[2351] x[2352] x[2353] x[2354] x[2355] x[2356] x[2357] x[2358] x[2359] x[2360] x[2361] x[2362] x[2363] x[2364] x[2365] x[2366] x[2367] x[2368] x[2369] x[2370] x[2371] x[2372] x[2373] x[2374] x[2375] x[2376] x[2377] x[2378] x[2379] x[2380] x[2381] x[2382] x[2383] x[2384] x[2385] x[2386] x[2387] x[2388] x[2389] x[2390] x[2391] x[2392] x[2393] x[2394] x[2395] x[2396] x[2397] x[2398] x[2399] x[2400] x[2401] x[2402] x[2403] x[2404] x[2405] x[2406] x[2407] x[2408] x[2409] x[2410] x[2411] x[2412] x[2413] x[2414] x[2415] x[2416] x[2417] x[2418] x[2419] x[2420] x[2421] x[2422] x[2423] x[2424] x[2425] x[2426] x[2427] x[2428] x[2429] x[2430] x[2431] x[2432] x[2433] x[2434] x[2435] x[2436] x[2437] x[2438] x[2439] x[2440] x[2441] x[2442] x[2443] x[2444] x[2445] x[2446] x[2447] x[2448] x[2449] x[2450] x[2451] x[2452] x[2453] x[2454] x[2455] x[2456] x[2457] x[2458] x[2459] x[2460] x[2461] x[2462] x[2463] x[2464] x[2465] x[2466] x[2467] x[2468] x[2469] x[2470] x[2471] x[2472] x[2473] x[2474] x[2475] x[2476] x[2477] x[2478] x[2479] x[2480] x[2481] x[2482] x[2483] x[2484] x[2485] x[2486] x[2487] x[2488] x[2489] x[2490] x[2491] x[2492] x[2493] x[2494] x[2495] x[2496] x[2497] x[2498] x[2499] x[2500] x[2501] x[2502] x[2503] x[2504] x[2505] x[2506] x[2507] x[2508] x[2509] x[2510] x[2511] x[2512] x[2513] x[2514] x[2515] x[2516] x[2517] x[2518] x[2519] x[2520] x[2521] x[2522] x[2523] x[2524] x[2525] x[2526] x[2527] x[2528] x[2529] x[2530] x[2531] x[2532] x[2533] x[2534] x[2535] x[2536] x[2537] x[2538] x[2539] x[2540] x[2541] x[2542] x[2543] x[2544] x[2545] x[2546] x[2547] x[2548] x[2549] x[2550] x[2551] x[2552] x[2553] x[2554] x[2555] x[2556] x[2557] x[2558] x[2559] x[2560] x[2561] x[2562] x[2563] x[2564] x[2565] x[2566] x[2567] x[2568] x[2569] x[2570] x[2571] x[2572] x[2573] x[2574] x[2575] x[2576] x[2577] x[2578] x[2579] x[2580] x[2581] x[2582] x[2583] x[2584] x[2585] x[2586] x[2587] x[2588] x[2589] x[2590] x[2591] x[2592] x[2593] x[2594] x[2595] x[2596] x[2597] x[2598] x[2599] x[2600] x[2601] x[2602] x[2603] x[2604] x[2605] x[2606] x[2607] x[2608] x[2609] x[2610] x[2611] x[2612] x[2613] x[2614] x[2615] x[2616] x[2617] x[2618] x[2619] x[2620] x[2621] x[2622] x[2623] x[2624] x[2625] x[2626] x[2627] x[2628] x[2629] x[2630] x[2631] x[2632] x[2633] x[2634] x[2635] x[2636] x[2637] x[2638] x[2639] x[2640] x[2641] x[2642] x[2643] x[2644] x[2645] x[2646] x[2647] x[2648] x[2649] x[2650] x[2651] x[2652] x[2653] x[2654] x[2655] x[2656] x[2657] x[2658] x[2659] x[2660] x[2661] x[2662] x[2663] x[2664] x[2665] x[2666] x[2667] x[2668] x[2669] x[2670] x[2671] x[2672] x[2673] x[2674] x[2675] x[2676] x[2677] x[2678] x[2679] x[2680] x[2681] x[2682] x[2683] x[2684] x[2685] x[2686] x[2687] x[2688] x[2689] x[2690] x[2691] x[2692] x[2693] x[2694] x[2695] x[2696] x[2697] x[2698] x[2699] x[2700] x[2701] x[2702] x[2703] x[2704] x[2705] x[2706] x[2707] x[2708] x[2709] x[2710] x[2711] x[2712] x[2713] x[2714] x[2715] x[2716] x[2717] x[2718] x[2719] x[2720] x[2721] x[2722] x[2723] x[2724] x[2725] x[2726] x[2727] x[2728] x[2729] x[2730] x[2731] x[2732] x[2733] x[2734] x[2735] x[2736] x[2737] x[2738] x[2739] x[2740] x[2741] x[2742] x[2743] x[2744] x[2745] x[2746] x[2747] x[2748] x[2749] x[2750] x[2751] x[2752] x[2753] x[2754] x[2755] x[2756] x[2757] x[2758] x[2759] x[2760] x[2761] x[2762] x[2763] x[2764] x[2765] x[2766] x[2767] x[2768] x[2769] x[2770] x[2771] x[2772] x[2773] x[2774] x[2775] x[2776] x[2777] x[2778] x[2779] x[2780] x[2781] x[2782] x[2783] x[2784] x[2785] x[2786] x[2787] x[2788] x[2789] x[2790] x[2791] x[2792] x[2793] x[2794] x[2795] x[2796] x[2797] x[2798] x[2799] x[2800] x[2801] x[2802] x[2803] x[2804] x[2805] x[2806] x[2807] x[2808] x[2809] x[2810] x[2811] x[2812] x[2813] x[2814] x[2815] x[2816] x[2817] x[2818] x[2819] x[2820] x[2821] x[2822] x[2823] x[2824] x[2825] x[2826] x[2827] x[2828] x[2829] x[2830] x[2831] x[2832] x[2833] x[2834] x[2835] x[2836] x[2837] x[2838] x[2839] x[2840] x[2841] x[2842] x[2843] x[2844] x[2845] x[2846] x[2847] x[2848] x[2849] x[2850] x[2851] x[2852] x[2853] x[2854] x[2855] x[2856] x[2857] x[2858] x[2859] x[2860] x[2861] x[2862] x[2863] x[2864] x[2865] x[2866] x[2867] x[2868] x[2869] x[2870] x[2871] x[2872] x[2873] x[2874] x[2875] x[2876] x[2877] x[2878] x[2879] x[2880] x[2881] x[2882] x[2883] x[2884] x[2885] x[2886] x[2887] x[2888] x[2889] x[2890] x[2891] x[2892] x[2893] x[2894] x[2895] x[2896] x[2897] x[2898] x[2899] x[2900] x[2901] x[2902] x[2903] x[2904] x[2905] x[2906] x[2907] x[2908] x[2909] x[2910] x[2911] x[2912] x[2913] x[2914] x[2915] x[2916] x[2917] x[2918] x[2919] x[2920] x[2921] x[2922] x[2923] x[2924] x[2925] x[2926] x[2927] x[2928] x[2929] x[2930] x[2931] x[2932] x[2933] x[2934] x[2935] x[2936] x[2937] x[2938] x[2939] x[2940] x[2941] x[2942] x[2943] x[2944] x[2945] x[2946] x[2947] x[2948] x[2949] x[2950] x[2951] x[2952] x[2953] x[2954] x[2955] x[2956] x[2957] x[2958] x[2959] x[2960] x[2961] x[2962] x[2963] x[2964] x[2965] x[2966] x[2967] x[2968] x[2969] x[2970] x[2971] x[2972] x[2973] x[2974] x[2975] x[2976] x[2977] x[2978] x[2979] x[2980] x[2981] x[2982] x[2983] x[2984] x[2985] x[2986] x[2987] x[2988] x[2989] x[2990] x[2991] x[2992] x[2993] x[2994] x[2995] x[2996] x[2997] x[2998] x[2999] x[3000] x[3001] x[3002] x[3003] x[3004] x[3005] x[3006] x[3007] x[3008] x[3009] x[3010] x[3011] x[3012] x[3013] x[3014] x[3015] x[3016] x[3017] x[3018] x[3019] x[3020] x[3021] x[3022] x[3023] x[3024] x[3025] x[3026] x[3027] x[3028] x[3029] x[3030] x[3031] x[3032] x[3033] x[3034] x[3035] x[3036] x[3037] x[3038] x[3039] x[3040] x[3041] x[3042] x[3043] x[3044] x[3045] x[3046] x[3047] x[3048] x[3049] x[3050] x[3051] x[3052] x[3053] x[3054] x[3055] x[3056] x[3057] x[3058] x[3059] x[3060] x[3061] x[3062] x[3063] x[3064] x[3065] x[3066] x[3067] x[3068] x[3069] x[3070] x[3071] x[3072] x[3073] x[3074] x[3075] x[3076] x[3077] x[3078] x[3079] x[3080] x[3081] x[3082] x[3083] x[3084] x[3085] x[3086] x[3087] x[3088] x[3089] x[3090] x[3091] x[3092] x[3093] x[3094] x[3095] x[3096] x[3097] x[3098] x[3099] x[3100] x[3101] x[3102] x[3103] x[3104] x[3105] x[3106] x[3107] x[3108] x[3109] x[3110] x[3111] x[3112] x[3113] x[3114] x[3115] x[3116] x[3117] x[3118] x[3119] x[3120] x[3121] x[3122] x[3123] x[3124] x[3125] x[3126] x[3127] x[3128] x[3129] x[3130] x[3131] x[3132] x[3133] x[3134] x[3135] x[3136] x[3137] x[3138] x[3139] x[3140] x[3141] x[3142] x[3143] x[3144] x[3145] x[3146] x[3147] x[3148] x[3149] x[3150] x[3151] x[3152] x[3153] x[3154] x[3155] x[3156] x[3157] x[3158] x[3159] x[3160] x[3161] x[3162] x[3163] x[3164] x[3165] x[3166] x[3167] x[3168] x[3169] x[3170] x[3171] x[3172] x[3173] x[3174] x[3175] x[3176] x[3177] x[3178] x[3179] x[3180] x[3181] x[3182] x[3183] x[3184] x[3185] x[3186] x[3187] x[3188] x[3189] x[3190] x[3191] x[3192] x[3193] x[3194] x[3195] x[3196] x[3197] x[3198] x[3199] x[3200] x[3201] x[3202] x[3203] x[3204] x[3205] x[3206] x[3207] x[3208] x[3209] x[3210] x[3211] x[3212] x[3213] x[3214] x[3215] x[3216] x[3217] x[3218] x[3219] x[3220] x[3221] x[3222] x[3223] x[3224] x[3225] x[3226] x[3227] x[3228] x[3229] x[3230] x[3231] x[3232] x[3233] x[3234] x[3235] x[3236] x[3237] x[3238] x[3239] x[3240] x[3241] x[3242] x[3243] x[3244] x[3245] x[3246] x[3247] x[3248] x[3249] x[3250] x[3251] x[3252] x[3253] x[3254] x[3255] x[3256] x[3257] x[3258] x[3259] x[3260] x[3261] x[3262] x[3263] x[3264] x[3265] x[3266] x[3267] x[3268] x[3269] x[3270] x[3271] x[3272] x[3273] x[3274] x[3275] x[3276] x[3277] x[3278] x[3279] x[3280] x[3281] x[3282] x[3283] x[3284] x[3285] x[3286] x[3287] x[3288] x[3289] x[3290] x[3291] x[3292] x[3293] x[3294] x[3295] x[3296] x[3297] x[3298] x[3299] x[3300] x[3301] x[3302] x[3303] x[3304] x[3305] x[3306] x[3307] x[3308] x[3309] x[3310] x[3311] x[3312] x[3313] x[3314] x[3315] x[3316] x[3317] x[3318] x[3319] x[3320] x[3321] x[3322] x[3323] x[3324] x[3325] x[3326] x[3327] x[3328] x[3329] x[3330] x[3331] x[3332] x[3333] x[3334] x[3335] x[3336] x[3337] x[3338] x[3339] x[3340] x[3341] x[3342] x[3343] x[3344] x[3345] x[3346] x[3347] x[3348] x[3349] x[3350] x[3351] x[3352] x[3353] x[3354] x[3355] x[3356] x[3357] x[3358] x[3359] x[3360] x[3361] x[3362] x[3363] x[3364] x[3365] x[3366] x[3367] x[3368] x[3369] x[3370] x[3371] x[3372] x[3373] x[3374] x[3375] x[3376] x[3377] x[3378] x[3379] x[3380] x[3381] x[3382] x[3383] x[3384] x[3385] x[3386] x[3387] x[3388] x[3389] x[3390] x[3391] x[3392] x[3393] x[3394] x[3395] x[3396] x[3397] x[3398] x[3399] x[3400] x[3401] x[3402] x[3403] x[3404] x[3405] x[3406] x[3407] x[3408] x[3409] x[3410] x[3411] x[3412] x[3413] x[3414] x[3415] x[3416] x[3417] x[3418] x[3419] x[3420] x[3421] x[3422] x[3423] x[3424] x[3425] x[3426] x[3427] x[3428] x[3429] x[3430] x[3431] x[3432] x[3433] x[3434] x[3435] x[3436] x[3437] x[3438] x[3439] x[3440] x[3441] x[3442] x[3443] x[3444] x[3445] x[3446] x[3447] x[3448] x[3449] x[3450] x[3451] x[3452] x[3453] x[3454] x[3455] x[3456] x[3457] x[3458] x[3459] x[3460] x[3461] x[3462] x[3463] x[3464] x[3465] x[3466] x[3467] x[3468] x[3469] x[3470] x[3471] x[3472] x[3473] x[3474] x[3475] x[3476] x[3477] x[3478] x[3479] x[3480] x[3481] x[3482] x[3483] x[3484] x[3485] x[3486] x[3487] x[3488] x[3489] x[3490] x[3491] x[3492] x[3493] x[3494] x[3495] x[3496] x[3497] x[3498] x[3499] x[3500] x[3501] x[3502] x[3503] x[3504] x[3505] x[3506] x[3507] x[3508] x[3509] x[3510] x[3511] x[3512] x[3513] x[3514] x[3515] x[3516] x[3517] x[3518] x[3519] x[3520] x[3521] x[3522] x[3523] x[3524] x[3525] x[3526] x[3527] x[3528] x[3529] x[3530] x[3531] x[3532] x[3533] x[3534] x[3535] x[3536] x[3537] x[3538] x[3539] x[3540] x[3541] x[3542] x[3543] x[3544] x[3545] x[3546] x[3547] x[3548] x[3549] x[3550] x[3551] x[3552] x[3553] x[3554] x[3555] x[3556] x[3557] x[3558] x[3559] x[3560] x[3561] x[3562] x[3563] x[3564] x[3565] x[3566] x[3567] x[3568] x[3569] x[3570] x[3571] x[3572] x[3573] x[3574] x[3575] x[3576] x[3577] x[3578] x[3579] x[3580] x[3581] x[3582] x[3583] x[3584] x[3585] x[3586] x[3587] x[3588] x[3589] x[3590] x[3591] x[3592] x[3593] x[3594] x[3595] x[3596] x[3597] x[3598] x[3599] x[3600] x[3601] x[3602] x[3603] x[3604] x[3605] x[3606] x[3607] x[3608] x[3609] x[3610] x[3611] x[3612] x[3613] x[3614] x[3615] x[3616] x[3617] x[3618] x[3619] x[3620] x[3621] x[3622] x[3623] x[3624] x[3625] x[3626] x[3627] x[3628] x[3629] x[3630] x[3631] x[3632] x[3633] x[3634] x[3635] x[3636] x[3637] x[3638] x[3639] x[3640] x[3641] x[3642] x[3643] x[3644] x[3645] x[3646] x[3647] x[3648] x[3649] x[3650] x[3651] x[3652] x[3653] x[3654] x[3655] x[3656] x[3657] x[3658] x[3659] x[3660] x[3661] x[3662] x[3663] x[3664] x[3665] x[3666] x[3667] x[3668] x[3669] x[3670] x[3671] x[3672] x[3673] x[3674] x[3675] x[3676] x[3677] x[3678] x[3679] x[3680] x[3681] x[3682] x[3683] x[3684] x[3685] x[3686] x[3687] x[3688] x[3689] x[3690] x[3691] x[3692] x[3693] x[3694] x[3695] x[3696] x[3697] x[3698] x[3699] x[3700] x[3701] x[3702] x[3703] x[3704] x[3705] x[3706] x[3707] x[3708] x[3709] x[3710] x[3711] x[3712] x[3713] x[3714] x[3715] x[3716] x[3717] x[3718] x[3719] x[3720] x[3721] x[3722] x[3723] x[3724] x[3725] x[3726] x[3727] x[3728] x[3729] x[3730] x[3731] x[3732] x[3733] x[3734] x[3735] x[3736] x[3737] x[3738] x[3739] x[3740] x[3741] x[3742] x[3743] x[3744] x[3745] x[3746] x[3747] x[3748] x[3749] x[3750] x[3751] x[3752] x[3753] x[3754] x[3755] x[3756] x[3757] x[3758] x[3759] x[3760] x[3761] x[3762] x[3763] x[3764] x[3765] x[3766] x[3767] x[3768] x[3769] x[3770] x[3771] x[3772] x[3773] x[3774] x[3775] x[3776] x[3777] x[3778] x[3779] x[3780] x[3781] x[3782] x[3783] x[3784] x[3785] x[3786] x[3787] x[3788] x[3789] x[3790] x[3791] x[3792] x[3793] x[3794] x[3795] x[3796] x[3797] x[3798] x[3799] x[3800] x[3801] x[3802] x[3803] x[3804] x[3805] x[3806] x[3807] x[3808] x[3809] x[3810] x[3811] x[3812] x[3813] x[3814] x[3815] x[3816] x[3817] x[3818] x[3819] x[3820] x[3821] x[3822] x[3823] x[3824] x[3825] x[3826] x[3827] x[3828] x[3829] x[3830] x[3831] x[3832] x[3833] x[3834] x[3835] x[3836] x[3837] x[3838] x[3839] x[3840] x[3841] x[3842] x[3843] x[3844] x[3845] x[3846] x[3847] x[3848] x[3849] x[3850] x[3851] x[3852] x[3853] x[3854] x[3855] x[3856] x[3857] x[3858] x[3859] x[3860] x[3861] x[3862] x[3863] x[3864] x[3865] x[3866] x[3867] x[3868] x[3869] x[3870] x[3871] x[3872] x[3873] x[3874] x[3875] x[3876] x[3877] x[3878] x[3879] x[3880] x[3881] x[3882] x[3883] x[3884] x[3885] x[3886] x[3887] x[3888] x[3889] x[3890] x[3891] x[3892] x[3893] x[3894] x[3895] x[3896] x[3897] x[3898] x[3899] x[3900] x[3901] x[3902] x[3903] x[3904] x[3905] x[3906] x[3907] x[3908] x[3909] x[3910] x[3911] x[3912] x[3913] x[3914] x[3915] x[3916] x[3917] x[3918] x[3919] x[3920] x[3921] x[3922] x[3923] x[3924] x[3925] x[3926] x[3927] x[3928] x[3929] x[3930] x[3931] x[3932] x[3933] x[3934] x[3935] x[3936] x[3937] x[3938] x[3939] x[3940] x[3941] x[3942] x[3943] x[3944] x[3945] x[3946] x[3947] x[3948] x[3949] x[3950] x[3951] x[3952] x[3953] x[3954] x[3955] x[3956] x[3957] x[3958] x[3959] x[3960] x[3961] x[3962] x[3963] x[3964] x[3965] x[3966] x[3967] x[3968] x[3969] x[3970] x[3971] x[3972] x[3973] x[3974] x[3975] x[3976] x[3977] x[3978] x[3979] x[3980] x[3981] x[3982] x[3983] x[3984] x[3985] x[3986] x[3987] x[3988] x[3989] x[3990] x[3991] x[3992] x[3993] x[3994] x[3995] x[3996] x[3997] x[3998] x[3999] x[4000] x[4001] x[4002] x[4003] x[4004] x[4005] x[4006] x[4007] x[4008] x[4009] x[4010] x[4011] x[4012] x[4013] x[4014] x[4015] x[4016] x[4017] x[4018] x[4019] x[4020] x[4021] x[4022] x[4023] x[4024] x[4025] x[4026] x[4027] x[4028] x[4029] x[4030] x[4031] x[4032] x[4033] x[4034] x[4035] x[4036] x[4037] x[4038] x[4039] x[4040] x[4041] x[4042] x[4043] x[4044] x[4045] x[4046] x[4047] x[4048] x[4049] x[4050] x[4051] x[4052] x[4053] x[4054] x[4055] x[4056] x[4057] x[4058] x[4059] x[4060] x[4061] x[4062] x[4063] x[4064] x[4065] x[4066] x[4067] x[4068] x[4069] x[4070] x[4071] x[4072] x[4073] x[4074] x[4075] x[4076] x[4077] x[4078] x[4079] x[4080] x[4081] x[4082] x[4083] x[4084] x[4085] x[4086] x[4087] x[4088] x[4089] x[4090] x[4091] x[4092] x[4093] x[4094] x[4095] x[4096] x[4097] x[4098] x[4099] x[4100] x[4101] x[4102] x[4103] x[4104] x[4105] x[4106] x[4107] x[4108] x[4109] x[4110] x[4111] x[4112] x[4113] x[4114] x[4115] x[4116] x[4117] x[4118] x[4119] x[4120] x[4121] x[4122] x[4123] x[4124] x[4125] x[4126] x[4127] x[4128] x[4129] x[4130] x[4131] x[4132] x[4133] x[4134] x[4135] x[4136] x[4137] x[4138] x[4139] x[4140] x[4141] x[4142] x[4143] x[4144] x[4145]
2520.01/2364.92	v       </list>
2520.01/2364.92	v       <values>
2520.01/2364.92	v         1 2 0 0 1 1 2 0 2 0 1 1 2 5 0 4 1 3 3 5 3 3 1 1 5 5 3 3 3322 8 8 5 8 4 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 3321 1 1 1 1 1 1 1 1 3321 1 1 1 1 1 1 0 0 0 0 0 0 0 0 3322 0 0 0 0 0 0 0 0 0 2 2 3321 2 2 2 2 2 2 2 2 2 5 2 2 2 2 3 4 2 3 0 5 1 6 2 6 2 2 4 2 5 2 4 1 1 2 6 0 4 1 6 6 5 4 8 6 4 5 5 4 4 4 4 6 5 6 4 6 6 0 3322 0 0 0 0 0 0 0 0 0 0 0 3322 0 0 3322 0 2 3321 2 2 2 2 2 2 2 2 3322 2 2 2 2 3321 2 2 3322 0 0 0 0 0 0 0 0 0 0 0 0 0 3322 0 0 0 2 2 2 2 2 2 5 2 2 2 2 2 2 2 2 2 5 2 4 2 9 0 9 1 0 0 0 0 1 1 0 0 0 0 0 3322 2 3 0 3 1 3 1 1 3 3 1 1 1 1 3 3 1 1 3 3 3 3 1 3 1 1 1 1 1 1 1 1 1 1 3322 1 1 1 1 1 1 1 1 2 2 2 1 3321 1 1 1 1 1 3322 3 1 1 1 3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 3 2 2 2 3 2 2 2 2 2 2 2 2 2 3 3 2 3 3 3 1 5 5 5 5 5 5 5 5 5 5 1 1 5 5 5 5 5 5 5 5 5 3322 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 3322 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 5 5 0 0 0 5 5 5 5 5 5 5 5 5 5 5 5 5 5 3322 5 5 5 0 5 5 0 5 0 0 0 3322 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3322 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 3322 1 1 1 1 1 1 1 1 1 1 1 1 1 3322 1 1 1 1 1 1 1 1 1 1 1 1 3322 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3322 1 1 1 1 1 1 1 1 1 1 3322 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3322 1 1 3322 1 1 1 1 1 1 1 1 1 3322 1 1 1 1 1 1 1 1 1 1 1 2 3 5 4 1 0 4 5 3 4 4 3322 5 5 3 3 1 1 7 5 0 4 1 3 3 3 3 3 3 3 3 3 3 3 5 3322 7 5 7 4 7 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3322 0 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 3322 3322 3322 0 0 0 0 0 0 3322 0 0 0 0 0 0 0 3 3 3 3 3 3 3 3 3322 3 3 3321 3 3 3 3 3 3 4 7 3 6 5 8 4 3321 4 4 4 4 5 5 4 4 1 1 6 5 0 4 1 6 4 4 4 4 4 4 5 5 4 4 4 4 6 5 6 4 6 6 0 0 0 0 0 3322 0 0 0 0 0 4 0 0 0 0 0 0 4 4 4 4 4 4 4 4 4 4 4 4 3321 4 4 4 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 4 6 6 0 5 1 0 0 0 0 3 3 0 0 0 0 0 0 3322 3 0 3 1 3 3321 3 3 3 3 3 3 3 3321 3 3 3 3 3 3 3 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3322 0 0 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3321 3 3 3 3 3 3 3 3 3 3321 3 3 3 3 3 3 3 3 3 3 3 3 5 5 5 5 5 5 5 5 3 3 5 1 5 5 5 5 1 5 3 3 5 5 3 3 5 5 3 3 5 5 5 5 5 5 5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3321 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 0 0 0 0 0 0 0 0 0 0 0 3321 0 0 0 0 0 5 5 5 5 5 5 5 5 5 5 5 5 5 3322 5 5 5 5 5 5 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3321 3 3 3 3 3 3 3 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3322 1 1 1 1 1 1 1 3322 1 1 1 1 1 3321 1 1 1 1 1 1 3322 3 3 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3322 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3321 3 6 3 5 6 1 6 0 0 0 0 1 1 0 0 0 0 0 0 2 2 0 2 1 2 1 1 1 1 1 1 1 1 2 2 1 1 2 2 2 2 3322 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 3322 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 2 3322 1 1 2 2 2 2 1 2 1 1 1 1 1 1 1 1 2 2 1 1 2 2 2 2 1 2 1 1 1 1 1 3322 1 1 1 1 1 3322 1 1 1 1 1 1 1 1 1 1 1 3321 3321 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3322 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 3322 1 1 0 3322 0 0 0 0 2 2 0 2 1 2 3322 1 1 1 1 1 1 1 2 2 1 1 2 2 2 2 1 2 1 1 1 1 1 1 1 1 1 1 1 3322 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3322 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3322 1 1 1 3322 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 3322 3322 2 2 2 3322 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 2 2 1 1 2 2 2 2 1 2 1 1 1 1 1 1 1 1 2 2 1 1 2 2 2 2 1 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3320 1 1 1 1 1 1 1 1 1 1 1 1 3321 1 1 1 1 1 1 1 1 1 3322 1 1 1 1 1 1 1 3322 1 1 1 3322 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3322 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3322 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3322 2 2 2 3322 2 2 2 3322 2 2 2 2 2 2 2 3322 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3322 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3322 1 1 1 3322 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3322 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3322 1 1 1 1 1 1 1 1 1 2 2 2 2 1 2 2 2 4 4 4 4 4 4 2 2 4 4 4 4 0 4 4 4 4 4 4 4 4 4 4 4 4 4 3321 4 4 4 0 4 4 4 3322 0 0 0 0 0 0 3321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3322 0 0 0 0 0 0 3322 0 0 0 0 0 0 0 0 3322 0 0 0 0 0 0 0 3322 0 3322 0 0 0 0 0 0 0 0 0 3322 0 0 0 4 0 0 0 0 4 4 4 4 4 4 4 4 4 4 3322 4 4 4 0 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 4 3322 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3322 0 0 3322 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3321 0 0 0 0 0 0 0 0 0 0 0 3322 0 0 3322 0 0 0 0 0 0 0 3322 0 0 0 0 0 0 0 0 0 0 0 0 3321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3321 0 3322 0 0 0 0 0 0 4 4 4 4 4 4 3322 4 4 4 4 4 4 4 0 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 4 4 4 0 0 0 0 0 0 0 3321 0 0 0 0 0 0 0 0 0 0 0 0 0 3322 3322 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3321 0 0 0 3322 0 0 0 0 0 0 0 0 0 0 0 0 3322 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3322 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3322 0 0 0 0 0 0 0 0 0 0 3322 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3322 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3321 0 3321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3322 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 1 1 3322 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3322 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3322 1 1 1 1 1 1 1 1 1 1 1 1 3322 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3321 1 3322 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3322 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3322 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3322 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3322 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3322 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3322 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3322 1 1 1 1 1 1 1 1 1 3322 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3322 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3322 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3322 3322 1 1 1 3322 1 1 1 1 3322 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3322 1 3321 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3322 1 1 1 3322 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3322 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3322 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3322 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3322 0 3322 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3322 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3322 0 0 0 0 0 3321 0 0 0 0 0 0 0 0 0 0 0 0 0 3321 0 3322 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3320 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3321 0 3322 0 0 0 0 3322 0 0 0 0 0 0 0 0 0 0 0 0 0 3322 0 0 0 0 0 0 0 0 0 0 0 0 3321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3322 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3322 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3322 0 3322 0 0 0 0 0 0 0 0 0 0 0 0 0 3322 0 0 0 0 0 0 0 0 0 0 0 3322 0 0 0 0 0 0 0 0 0 0 0 3322 0 0 0 0 3321 0 3321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3322 0 0 0 0 0 0 0 0 0 3322 0 0 0 3322 0 0 0 0 0 0 0 0 3322 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3322 0 0 0 0 0 0 0 0 0 0 0 0 3321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3322 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3322 0 0 3322 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3322 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3322 0 0 0 0 0 0 3322 0 0 0 0 0 0 0 0 0 5 2 4 3 0 1
2520.01/2364.92	v       </values>
2520.01/2364.92	v     </instantiation>
2520.01/2364.92	s SATISFIABLE

Verifier Data 

OK	3322

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293245-1532312749/watcher-4293245-1532312749 -o /tmp/evaluation-result-4293245-1532312749/solver-4293245-1532312749 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532296223-4593 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1882872548 HOME/instance-4293245-1532312749.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=8205, runsolver pid=8202

[startup+0.100196 s]*
/proc/loadavg: 1.54 1.47 1.57 2/206 8262
/proc/meminfo: memFree=17453140/32770624 swapFree=67108860/67108860
[pid=8205] ppid=8202 vsize=9972712 memory=17072 CPUtime=0.09 cores=0,2,4,6
/proc/8205/stat : 8205 (java) S 8202 8205 4562 0 -1 1077944320 4413 12895 0 0 1 0 5 3 20 0 6 0 48838080 10212057088 4268 33554432000 4194304 4196468 140733681096112 140733681078656 139698073964279 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
/proc/8205/statm: 2493178 4268 1934 1 0 2481616 0
[pid=8205/tid=8258] ppid=8202 vsize=9972712 memory=-8530506832973971397 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8258/stat : 8258 (java) R 8202 8205 4562 0 -1 4202560 2250 12895 0 0 0 0 5 3 20 0 6 0 48838089 10212057088 4268 33554432000 4194304 4196468 140733681096112 139698045801040 139698059087216 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8259] ppid=8202 vsize=9972712 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8259/stat : 8259 (java) S 8202 8205 4562 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 6 0 48838090 10212057088 4268 33554432000 4194304 4196468 140733681096112 139698078206480 139698073974485 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8260] ppid=8202 vsize=9972712 memory=140483766765184 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8260/stat : 8260 (java) S 8202 8205 4562 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 6 0 48838090 10212057088 4268 33554432000 4194304 4196468 140733681096112 139697977096848 139698073974485 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8261] ppid=8202 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8261/stat : 8261 (java) S 8202 8205 4562 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 6 0 48838090 10212057088 4268 33554432000 4194304 4196468 140733681096112 139697976043792 139698073974485 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8262] ppid=8202 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8262/stat : 8262 (java) S 8202 8205 4562 0 -1 1077944384 2 12895 0 0 0 0 5 3 20 0 6 0 48838090 10212057088 4268 33554432000 4194304 4196468 140733681096112 139697974991248 139698073974485 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17072 KiB

[startup+0.209868 s]*
/proc/loadavg: 1.54 1.47 1.57 3/215 8271
/proc/meminfo: memFree=17433940/32770624 swapFree=67108860/67108860
[pid=8205] ppid=8202 vsize=10818904 memory=41552 CPUtime=0.25 cores=0,2,4,6
/proc/8205/stat : 8205 (java) S 8202 8205 4562 0 -1 1077944320 7596 12895 0 0 16 1 5 3 20 0 15 0 48838080 11078557696 10388 33554432000 4194304 4196468 140733681096112 140733681078656 139698073964279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
/proc/8205/statm: 2704726 10388 2948 1 0 2667149 0
[pid=8205/tid=8258] ppid=8202 vsize=10818904 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/8205/task/8258/stat : 8258 (java) R 8202 8205 4562 0 -1 4202560 4333 12895 0 0 10 1 5 3 20 0 15 0 48838089 11078557696 10520 33554432000 4194304 4196468 140733681096112 139698045781392 139698054239986 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8259] ppid=8202 vsize=10818904 memory=331 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8259/stat : 8259 (java) S 8202 8205 4562 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 15 0 48838090 11078557696 10586 33554432000 4194304 4196468 140733681096112 139698078206480 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8260] ppid=8202 vsize=10818904 memory=140483766773958 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8260/stat : 8260 (java) S 8202 8205 4562 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 15 0 48838090 11078557696 10586 33554432000 4194304 4196468 140733681096112 139697977096848 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8261] ppid=8202 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8261/stat : 8261 (java) S 8202 8205 4562 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 15 0 48838090 11078557696 10586 33554432000 4194304 4196468 140733681096112 139697976043792 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8262] ppid=8202 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8262/stat : 8262 (java) S 8202 8205 4562 0 -1 1077944384 2 12895 0 0 0 0 5 3 20 0 15 0 48838090 11078557696 10586 33554432000 4194304 4196468 140733681096112 139697974991248 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8263] ppid=8202 vsize=10818904 memory=140483766765184 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8263/stat : 8263 (java) S 8202 8205 4562 0 -1 1077944384 2 12895 0 0 0 0 5 3 20 0 15 0 48838091 11078557696 10586 33554432000 4194304 4196468 140733681096112 139697533500144 139698073975426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8264] ppid=8202 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8264/stat : 8264 (java) S 8202 8205 4562 0 -1 1077944384 13 12895 0 0 0 0 5 3 20 0 15 0 48838092 11078557696 10586 33554432000 4194304 4196468 140733681096112 139696965412512 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8265] ppid=8202 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8265/stat : 8265 (java) S 8202 8205 4562 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 15 0 48838092 11078557696 10586 33554432000 4194304 4196468 140733681096112 139696831194352 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8266] ppid=8202 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8266/stat : 8266 (java) S 8202 8205 4562 0 -1 1077944384 3 12895 0 0 0 0 5 3 20 0 15 0 48838094 11078557696 10586 33554432000 4194304 4196468 140733681096112 139696590903760 139698073982875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8267] ppid=8202 vsize=10818904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/8205/task/8267/stat : 8267 (java) S 8202 8205 4562 0 -1 1077944384 480 12895 0 0 1 0 5 3 20 0 15 0 48838095 11078557696 10586 33554432000 4194304 4196468 140733681096112 139697532446960 139698073975426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8268] ppid=8202 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8268/stat : 8268 (java) S 8202 8205 4562 0 -1 1077944384 127 12895 0 0 0 0 5 3 20 0 15 0 48838095 11078557696 10586 33554432000 4194304 4196468 140733681096112 139697531394416 139698073975426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8269] ppid=8202 vsize=10818904 memory=140483766765184 CPUtime=0.11 cores=0,2,4,6
/proc/8205/task/8269/stat : 8269 (java) S 8202 8205 4562 0 -1 1077944384 610 12895 0 0 3 0 5 3 20 0 15 0 48838095 11078557696 10586 33554432000 4194304 4196468 140733681096112 139697530341360 139698073975426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8270] ppid=8202 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8270/stat : 8270 (java) S 8202 8205 4562 0 -1 1077944384 3 12895 0 0 0 0 5 3 20 0 15 0 48838095 11078557696 10652 33554432000 4194304 4196468 140733681096112 139696557345120 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8271] ppid=8202 vsize=10818904 memory=140483766765184 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8271/stat : 8271 (java) S 8202 8205 4562 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 15 0 48838095 11078557696 10652 33554432000 4194304 4196468 140733681096112 139697529289776 139698073975426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 41552 KiB

[startup+0.310865 s]*
/proc/loadavg: 1.54 1.47 1.57 3/215 8271
/proc/meminfo: memFree=17422712/32770624 swapFree=67108860/67108860
[pid=8205] ppid=8202 vsize=10819352 memory=54100 CPUtime=0.38 cores=0,2,4,6
/proc/8205/stat : 8205 (java) S 8202 8205 4562 0 -1 1077944320 10585 12895 0 0 28 2 5 3 20 0 15 0 48838080 11079016448 13525 33554432000 4194304 4196468 140733681096112 140733681078656 139698073964279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
/proc/8205/statm: 2704838 13525 3067 1 0 2667149 0
[pid=8205/tid=8258] ppid=8202 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=0,2,4,6
/proc/8205/task/8258/stat : 8258 (java) R 8202 8205 4562 0 -1 4202560 7140 12895 0 0 19 1 5 3 20 0 15 0 48838089 11079016448 13525 33554432000 4194304 4196468 140733681096112 139698045753808 139698055527831 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8259] ppid=8202 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8259/stat : 8259 (java) S 8202 8205 4562 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 15 0 48838090 11079016448 13525 33554432000 4194304 4196468 140733681096112 139698078206480 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8260] ppid=8202 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8260/stat : 8260 (java) S 8202 8205 4562 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 15 0 48838090 11079016448 13525 33554432000 4194304 4196468 140733681096112 139697977096848 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8261] ppid=8202 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8261/stat : 8261 (java) S 8202 8205 4562 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 15 0 48838090 11079016448 13525 33554432000 4194304 4196468 140733681096112 139697976043792 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8262] ppid=8202 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8262/stat : 8262 (java) S 8202 8205 4562 0 -1 1077944384 2 12895 0 0 0 0 5 3 20 0 15 0 48838090 11079016448 13525 33554432000 4194304 4196468 140733681096112 139697974991248 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8263] ppid=8202 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8263/stat : 8263 (java) S 8202 8205 4562 0 -1 1077944384 2 12895 0 0 0 0 5 3 20 0 15 0 48838091 11079016448 13525 33554432000 4194304 4196468 140733681096112 139697533500144 139698073975426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8264] ppid=8202 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8264/stat : 8264 (java) S 8202 8205 4562 0 -1 1077944384 13 12895 0 0 0 0 5 3 20 0 15 0 48838092 11079016448 13525 33554432000 4194304 4196468 140733681096112 139696965412512 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8265] ppid=8202 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8265/stat : 8265 (java) S 8202 8205 4562 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 15 0 48838092 11079016448 13525 33554432000 4194304 4196468 140733681096112 139696831194352 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8266] ppid=8202 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8266/stat : 8266 (java) S 8202 8205 4562 0 -1 1077944384 3 12895 0 0 0 0 5 3 20 0 15 0 48838094 11079016448 13525 33554432000 4194304 4196468 140733681096112 139696590903760 139698073982875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8267] ppid=8202 vsize=10819352 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/8205/task/8267/stat : 8267 (java) S 8202 8205 4562 0 -1 1077944384 481 12895 0 0 2 0 5 3 20 0 15 0 48838095 11079016448 13525 33554432000 4194304 4196468 140733681096112 139697532446960 139698073975426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8268] ppid=8202 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8268/stat : 8268 (java) S 8202 8205 4562 0 -1 1077944384 127 12895 0 0 0 0 5 3 20 0 15 0 48838095 11079016448 13525 33554432000 4194304 4196468 140733681096112 139697531394416 139698073975426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8269] ppid=8202 vsize=10819352 memory=140483766765184 CPUtime=0.13 cores=0,2,4,6
/proc/8205/task/8269/stat : 8269 (java) S 8202 8205 4562 0 -1 1077944384 621 12895 0 0 5 0 5 3 20 0 15 0 48838095 11079016448 13525 33554432000 4194304 4196468 140733681096112 139697530341360 139698073975426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8270] ppid=8202 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8270/stat : 8270 (java) S 8202 8205 4562 0 -1 1077944384 3 12895 0 0 0 0 5 3 20 0 15 0 48838095 11079016448 13525 33554432000 4194304 4196468 140733681096112 139696557345120 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8271] ppid=8202 vsize=10819352 memory=140483766765184 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8271/stat : 8271 (java) S 8202 8205 4562 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 15 0 48838095 11079016448 13525 33554432000 4194304 4196468 140733681096112 139697529289776 139698073975426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 54100 KiB

[startup+0.700704 s]
/proc/loadavg: 1.54 1.47 1.57 4/215 8271
/proc/meminfo: memFree=17411736/32770624 swapFree=67108860/67108860
[pid=8205] ppid=8202 vsize=10819352 memory=86276 CPUtime=0.99 cores=0,2,4,6
/proc/8205/stat : 8205 (java) S 8202 8205 4562 0 -1 1077944320 16728 12895 0 0 88 3 5 3 20 0 15 0 48838080 11079016448 21569 33554432000 4194304 4196468 140733681096112 140733681078656 139698073964279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
/proc/8205/statm: 2704838 21569 3237 1 0 2667149 0
[pid=8205/tid=8258] ppid=8202 vsize=10819352 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/8205/task/8258/stat : 8258 (java) R 8202 8205 4562 0 -1 4202560 12217 12895 0 0 57 2 5 3 20 0 15 0 48838089 11079016448 21569 33554432000 4194304 4196468 140733681096112 139698045787280 139698060210999 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8259] ppid=8202 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8259/stat : 8259 (java) S 8202 8205 4562 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 15 0 48838090 11079016448 21569 33554432000 4194304 4196468 140733681096112 139698078206480 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8260] ppid=8202 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8260/stat : 8260 (java) S 8202 8205 4562 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 15 0 48838090 11079016448 21569 33554432000 4194304 4196468 140733681096112 139697977096848 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8261] ppid=8202 vsize=10819352 memory=140483615666960 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8261/stat : 8261 (java) S 8202 8205 4562 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 15 0 48838090 11079016448 21569 33554432000 4194304 4196468 140733681096112 139697976043792 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8262] ppid=8202 vsize=10819352 memory=140484085285460 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8262/stat : 8262 (java) S 8202 8205 4562 0 -1 1077944384 2 12895 0 0 0 0 5 3 20 0 15 0 48838090 11079016448 21569 33554432000 4194304 4196468 140733681096112 139697974991248 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8263] ppid=8202 vsize=10819352 memory=8368 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8263/stat : 8263 (java) S 8202 8205 4562 0 -1 1077944384 5 12895 0 0 0 0 5 3 20 0 15 0 48838091 11079016448 21569 33554432000 4194304 4196468 140733681096112 139697533500144 139698073975426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8264] ppid=8202 vsize=10819352 memory=7662705889289527641 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8264/stat : 8264 (java) S 8202 8205 4562 0 -1 1077944384 13 12895 0 0 0 0 5 3 20 0 15 0 48838092 11079016448 21569 33554432000 4194304 4196468 140733681096112 139696965412512 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8265] ppid=8202 vsize=10819352 memory=7885635084775281010 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8265/stat : 8265 (java) S 8202 8205 4562 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 15 0 48838092 11079016448 21569 33554432000 4194304 4196468 140733681096112 139696831194352 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8266] ppid=8202 vsize=10819352 memory=16436 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8266/stat : 8266 (java) S 8202 8205 4562 0 -1 1077944384 3 12895 0 0 0 0 5 3 20 0 15 0 48838094 11079016448 21569 33554432000 4194304 4196468 140733681096112 139696590903760 139698073982875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8267] ppid=8202 vsize=10819352 memory=9912 CPUtime=0.18 cores=0,2,4,6
/proc/8205/task/8267/stat : 8267 (java) S 8202 8205 4562 0 -1 1077944384 1074 12895 0 0 10 0 5 3 20 0 15 0 48838095 11079016448 21569 33554432000 4194304 4196468 140733681096112 139697532446960 139698073975426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8268] ppid=8202 vsize=10819352 memory=4008 CPUtime=0.14 cores=0,2,4,6
/proc/8205/task/8268/stat : 8268 (java) S 8202 8205 4562 0 -1 1077944384 523 12895 0 0 6 0 5 3 20 0 15 0 48838095 11079016448 21569 33554432000 4194304 4196468 140733681096112 139697531394416 139698073975426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8269] ppid=8202 vsize=10819352 memory=1796 CPUtime=0.21 cores=0,2,4,6
/proc/8205/task/8269/stat : 8269 (java) S 8202 8205 4562 0 -1 1077944384 690 12895 0 0 13 0 5 3 20 0 15 0 48838095 11079016448 21569 33554432000 4194304 4196468 140733681096112 139697530341360 139698073975426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8270] ppid=8202 vsize=10819352 memory=644 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8270/stat : 8270 (java) S 8202 8205 4562 0 -1 1077944384 3 12895 0 0 0 0 5 3 20 0 15 0 48838095 11079016448 21569 33554432000 4194304 4196468 140733681096112 139696557345120 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8271] ppid=8202 vsize=10819352 memory=956 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8271/stat : 8271 (java) S 8202 8205 4562 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 15 0 48838095 11079016448 21569 33554432000 4194304 4196468 140733681096112 139697529289776 139698073975426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86276 KiB

[startup+1.50087 s]
/proc/loadavg: 1.54 1.47 1.57 3/215 8271
/proc/meminfo: memFree=17367868/32770624 swapFree=67108860/67108860
[pid=8205] ppid=8202 vsize=10828108 memory=211216 CPUtime=2.95 cores=0,2,4,6
/proc/8205/stat : 8205 (java) S 8202 8205 4562 0 -1 1077944320 22148 12895 0 0 279 8 5 3 20 0 15 0 48838080 11087982592 52804 33554432000 4194304 4196468 140733681096112 140733681078656 139698073964279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
/proc/8205/statm: 2707027 52804 3448 1 0 2668685 0
[pid=8205/tid=8258] ppid=8202 vsize=10828108 memory=62756 CPUtime=1.46 cores=0,2,4,6
/proc/8205/task/8258/stat : 8258 (java) R 8202 8205 4562 0 -1 4202560 14980 12895 0 0 133 5 5 3 20 0 15 0 48838089 11087982592 52804 33554432000 4194304 4196468 140733681096112 139698045795440 139697657788552 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8259] ppid=8202 vsize=10828108 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8259/stat : 8259 (java) S 8202 8205 4562 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 15 0 48838090 11087982592 52804 33554432000 4194304 4196468 140733681096112 139698078206480 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8260] ppid=8202 vsize=10828108 memory=280967231365280 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8260/stat : 8260 (java) S 8202 8205 4562 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 15 0 48838090 11087982592 52804 33554432000 4194304 4196468 140733681096112 139697977096848 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8261] ppid=8202 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8261/stat : 8261 (java) S 8202 8205 4562 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 15 0 48838090 11087982592 52804 33554432000 4194304 4196468 140733681096112 139697976043792 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8262] ppid=8202 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8262/stat : 8262 (java) S 8202 8205 4562 0 -1 1077944384 2 12895 0 0 0 0 5 3 20 0 15 0 48838090 11087982592 52804 33554432000 4194304 4196468 140733681096112 139697974991248 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8263] ppid=8202 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8263/stat : 8263 (java) S 8202 8205 4562 0 -1 1077944384 6 12895 0 0 0 0 5 3 20 0 15 0 48838091 11087982592 52804 33554432000 4194304 4196468 140733681096112 139697533500144 139698073975426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8264] ppid=8202 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8264/stat : 8264 (java) S 8202 8205 4562 0 -1 1077944384 13 12895 0 0 0 0 5 3 20 0 15 0 48838092 11087982592 52804 33554432000 4194304 4196468 140733681096112 139696965412512 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8265] ppid=8202 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8265/stat : 8265 (java) S 8202 8205 4562 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 15 0 48838092 11087982592 52804 33554432000 4194304 4196468 140733681096112 139696831194352 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8266] ppid=8202 vsize=10828108 memory=-2746958450906831424 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8266/stat : 8266 (java) S 8202 8205 4562 0 -1 1077944384 3 12895 0 0 0 0 5 3 20 0 15 0 48838094 11087982592 52804 33554432000 4194304 4196468 140733681096112 139696590903760 139698073982875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8267] ppid=8202 vsize=10828108 memory=0 CPUtime=0.62 cores=0,2,4,6
/proc/8205/task/8267/stat : 8267 (java) R 8202 8205 4562 0 -1 4202560 2248 12895 0 0 54 0 5 3 20 0 15 0 48838095 11087982592 52804 33554432000 4194304 4196468 140733681096112 139697532433056 139698055508479 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8268] ppid=8202 vsize=10828108 memory=0 CPUtime=0.6 cores=0,2,4,6
/proc/8205/task/8268/stat : 8268 (java) R 8202 8205 4562 0 -1 4202560 1339 12895 0 0 52 0 5 3 20 0 15 0 48838095 11087982592 52804 33554432000 4194304 4196468 140733681096112 139697531375432 139698055511686 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8269] ppid=8202 vsize=10828108 memory=8112282956445269571 CPUtime=0.47 cores=0,2,4,6
/proc/8205/task/8269/stat : 8269 (java) S 8202 8205 4562 0 -1 1077944384 1356 12895 0 0 39 0 5 3 20 0 15 0 48838095 11087982592 52804 33554432000 4194304 4196468 140733681096112 139697530341360 139698073975426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8270] ppid=8202 vsize=10828108 memory=4638778398332698720 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8270/stat : 8270 (java) S 8202 8205 4562 0 -1 1077944384 3 12895 0 0 0 0 5 3 20 0 15 0 48838095 11087982592 52804 33554432000 4194304 4196468 140733681096112 139696557345120 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8271] ppid=8202 vsize=10828108 memory=280967231609728 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8271/stat : 8271 (java) S 8202 8205 4562 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 15 0 48838095 11087982592 52804 33554432000 4194304 4196468 140733681096112 139697529289776 139698073975426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 10828108 KiB

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

/proc/8205/task/8258/stat : 8258 (java) R 8202 8205 4562 0 -1 4202560 221734 12895 0 0 221399 68 5 3 20 0 15 0 48838089 11176083456 1057679 33554432000 4194304 4196468 140733681096112 139698045799840 139697665575868 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8259] ppid=8202 vsize=10914144 memory=4230736 CPUtime=44.04 cores=0,2,4,6
/proc/8205/task/8259/stat : 8259 (java) S 8202 8205 4562 0 -1 1077944384 91059 12895 0 0 4323 73 5 3 20 0 15 0 48838090 11176083456 1057679 33554432000 4194304 4196468 140733681096112 139698078206480 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8260] ppid=8202 vsize=10914144 memory=4230736 CPUtime=43.78 cores=0,2,4,6
/proc/8205/task/8260/stat : 8260 (java) S 8202 8205 4562 0 -1 1077944384 88493 12895 0 0 4299 71 5 3 20 0 15 0 48838090 11176083456 1057679 33554432000 4194304 4196468 140733681096112 139697977096848 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8261] ppid=8202 vsize=10914144 memory=164 CPUtime=43.95 cores=0,2,4,6
/proc/8205/task/8261/stat : 8261 (java) S 8202 8205 4562 0 -1 1077944384 90473 12895 0 0 4317 70 5 3 20 0 15 0 48838090 11176083456 1057679 33554432000 4194304 4196468 140733681096112 139697976043792 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8262] ppid=8202 vsize=10914144 memory=4230716 CPUtime=43.84 cores=0,2,4,6
/proc/8205/task/8262/stat : 8262 (java) S 8202 8205 4562 0 -1 1077944384 78215 12895 0 0 4299 77 5 3 20 0 15 0 48838090 11176083456 1057679 33554432000 4194304 4196468 140733681096112 139697974991248 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8263] ppid=8202 vsize=10914144 memory=4230716 CPUtime=2.68 cores=0,2,4,6
/proc/8205/task/8263/stat : 8263 (java) S 8202 8205 4562 0 -1 1077944384 83331 12895 0 0 243 17 5 3 20 0 15 0 48838091 11176083456 1057679 33554432000 4194304 4196468 140733681096112 139697533500144 139698073975426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8264] ppid=8202 vsize=10914144 memory=4230716 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8264/stat : 8264 (java) S 8202 8205 4562 0 -1 1077944384 19 12895 0 0 0 0 5 3 20 0 15 0 48838092 11176083456 1057679 33554432000 4194304 4196468 140733681096112 139696965412576 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8265] ppid=8202 vsize=10914144 memory=4230716 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8265/stat : 8265 (java) S 8202 8205 4562 0 -1 1077944384 4 12895 0 0 0 0 5 3 20 0 15 0 48838092 11176083456 1057679 33554432000 4194304 4196468 140733681096112 139696831194368 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8266] ppid=8202 vsize=10914144 memory=4230716 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8266/stat : 8266 (java) S 8202 8205 4562 0 -1 1077944384 3 12895 0 0 0 0 5 3 20 0 15 0 48838094 11176083456 1057679 33554432000 4194304 4196468 140733681096112 139696590903760 139698073982875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8267] ppid=8202 vsize=10914144 memory=4230716 CPUtime=9.08 cores=0,2,4,6
/proc/8205/task/8267/stat : 8267 (java) S 8202 8205 4562 0 -1 1077944384 29578 12895 0 0 896 4 5 3 20 0 15 0 48838095 11176083456 1057679 33554432000 4194304 4196468 140733681096112 139697532446960 139698073975426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8268] ppid=8202 vsize=10914144 memory=4230716 CPUtime=9.12 cores=0,2,4,6
/proc/8205/task/8268/stat : 8268 (java) S 8202 8205 4562 0 -1 1077944384 37946 12895 0 0 897 7 5 3 20 0 15 0 48838095 11176083456 1057679 33554432000 4194304 4196468 140733681096112 139697531394416 139698073975426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8269] ppid=8202 vsize=10914144 memory=280967232575888 CPUtime=2.8 cores=0,2,4,6
/proc/8205/task/8269/stat : 8269 (java) S 8202 8205 4562 0 -1 1077944384 69879 12895 0 0 266 6 5 3 20 0 15 0 48838095 11176083456 1057679 33554432000 4194304 4196468 140733681096112 139697530341360 139698073975426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8270] ppid=8202 vsize=10914144 memory=4230716 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8270/stat : 8270 (java) S 8202 8205 4562 0 -1 1077944384 3 12895 0 0 0 0 5 3 20 0 15 0 48838095 11176083456 1057679 33554432000 4194304 4196468 140733681096112 139696557345120 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8271] ppid=8202 vsize=10914144 memory=4140 CPUtime=1.42 cores=0,2,4,6
/proc/8205/task/8271/stat : 8271 (java) S 8202 8205 4562 0 -1 1077944384 2204 12895 0 0 67 67 5 3 20 0 15 0 48838095 11176083456 1057679 33554432000 4194304 4196468 140733681096112 139697529289776 139698073975426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
Current children cumulated CPU time: 2414.82 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 4230716 KiB

[startup+2322.3 s]
/proc/loadavg: 1.99 1.95 1.92 3/216 8495
/proc/meminfo: memFree=15744244/32770624 swapFree=67108860/67108860
[pid=8205] ppid=8202 vsize=10914144 memory=4246476 CPUtime=2476.29 cores=0,2,4,6
/proc/8205/stat : 8205 (java) S 8202 8205 4562 0 -1 1077944320 810096 12895 0 0 247171 450 5 3 20 0 15 0 48838080 11176083456 1061619 33554432000 4194304 4196468 140733681096112 140733681078656 139698073964279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
/proc/8205/statm: 2728536 1061619 3537 1 0 2690189 0
[pid=8205/tid=8258] ppid=8202 vsize=10914144 memory=4246476 CPUtime=2274.25 cores=0,2,4,6
/proc/8205/task/8258/stat : 8258 (java) R 8202 8205 4562 0 -1 4202560 225637 12895 0 0 227349 68 5 3 20 0 15 0 48838089 11176083456 1061619 33554432000 4194304 4196468 140733681096112 139698045794064 139697667547320 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8259] ppid=8202 vsize=10914144 memory=4246476 CPUtime=44.52 cores=0,2,4,6
/proc/8205/task/8259/stat : 8259 (java) S 8202 8205 4562 0 -1 1077944384 92119 12895 0 0 4370 74 5 3 20 0 15 0 48838090 11176083456 1061619 33554432000 4194304 4196468 140733681096112 139698078206480 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8260] ppid=8202 vsize=10914144 memory=4246476 CPUtime=44.26 cores=0,2,4,6
/proc/8205/task/8260/stat : 8260 (java) S 8202 8205 4562 0 -1 1077944384 89634 12895 0 0 4346 72 5 3 20 0 15 0 48838090 11176083456 1061619 33554432000 4194304 4196468 140733681096112 139697977096848 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8261] ppid=8202 vsize=10914144 memory=4246476 CPUtime=44.43 cores=0,2,4,6
/proc/8205/task/8261/stat : 8261 (java) S 8202 8205 4562 0 -1 1077944384 91618 12895 0 0 4364 71 5 3 20 0 15 0 48838090 11176083456 1061619 33554432000 4194304 4196468 140733681096112 139697976043792 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8262] ppid=8202 vsize=10914144 memory=4246476 CPUtime=44.3 cores=0,2,4,6
/proc/8205/task/8262/stat : 8262 (java) S 8202 8205 4562 0 -1 1077944384 80782 12895 0 0 4345 77 5 3 20 0 15 0 48838090 11176083456 1061619 33554432000 4194304 4196468 140733681096112 139697974991248 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8263] ppid=8202 vsize=10914144 memory=4230716 CPUtime=2.69 cores=0,2,4,6
/proc/8205/task/8263/stat : 8263 (java) S 8202 8205 4562 0 -1 1077944384 83706 12895 0 0 244 17 5 3 20 0 15 0 48838091 11176083456 1061619 33554432000 4194304 4196468 140733681096112 139697533500144 139698073975426 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8264] ppid=8202 vsize=10914144 memory=2436 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8264/stat : 8264 (java) S 8202 8205 4562 0 -1 1077944384 19 12895 0 0 0 0 5 3 20 0 15 0 48838092 11176083456 1061619 33554432000 4194304 4196468 140733681096112 139696965412576 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8265] ppid=8202 vsize=10914144 memory=4246476 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8265/stat : 8265 (java) S 8202 8205 4562 0 -1 1077944384 4 12895 0 0 0 0 5 3 20 0 15 0 48838092 11176083456 1061619 33554432000 4194304 4196468 140733681096112 139696831194368 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8266] ppid=8202 vsize=10914144 memory=4246476 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8266/stat : 8266 (java) S 8202 8205 4562 0 -1 1077944384 3 12895 0 0 0 0 5 3 20 0 15 0 48838094 11176083456 1061619 33554432000 4194304 4196468 140733681096112 139696590903760 139698073982875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8267] ppid=8202 vsize=10914144 memory=280967232179456 CPUtime=9.08 cores=0,2,4,6
/proc/8205/task/8267/stat : 8267 (java) S 8202 8205 4562 0 -1 1077944384 29587 12895 0 0 896 4 5 3 20 0 15 0 48838095 11176083456 1061619 33554432000 4194304 4196468 140733681096112 139697532446960 139698073975426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8268] ppid=8202 vsize=10914144 memory=8128038100524242582 CPUtime=9.12 cores=0,2,4,6
/proc/8205/task/8268/stat : 8268 (java) S 8202 8205 4562 0 -1 1077944384 38392 12895 0 0 897 7 5 3 20 0 15 0 48838095 11176083456 1061619 33554432000 4194304 4196468 140733681096112 139697531394416 139698073975426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8269] ppid=8202 vsize=10914144 memory=4246476 CPUtime=2.81 cores=0,2,4,6
/proc/8205/task/8269/stat : 8269 (java) S 8202 8205 4562 0 -1 1077944384 74148 12895 0 0 267 6 5 3 20 0 15 0 48838095 11176083456 1061619 33554432000 4194304 4196468 140733681096112 139697530341360 139698073975426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8270] ppid=8202 vsize=10914144 memory=1728 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8270/stat : 8270 (java) S 8202 8205 4562 0 -1 1077944384 3 12895 0 0 0 0 5 3 20 0 15 0 48838095 11176083456 1061619 33554432000 4194304 4196468 140733681096112 139696557345120 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8271] ppid=8202 vsize=10914144 memory=8112282956445269571 CPUtime=1.45 cores=0,2,4,6
/proc/8205/task/8271/stat : 8271 (java) S 8202 8205 4562 0 -1 1077944384 2251 12895 0 0 68 69 5 3 20 0 15 0 48838095 11176083456 1061619 33554432000 4194304 4196468 140733681096112 139697529289776 139698073975426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
Current children cumulated CPU time: 2476.29 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 4246476 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2364.9 s]
/proc/loadavg: 1.95 1.94 1.92 3/216 8496
/proc/meminfo: memFree=15749564/32770624 swapFree=67108860/67108860
[pid=8205] ppid=8202 vsize=10914144 memory=4240424 CPUtime=2520.01 cores=0,2,4,6
/proc/8205/stat : 8205 (java) S 8202 8205 4562 0 -1 1077944320 818577 12895 0 0 251541 452 5 3 20 0 15 0 48838080 11176083456 1060106 33554432000 4194304 4196468 140733681096112 140733681078656 139698073964279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
/proc/8205/statm: 2728536 1060106 3537 1 0 2690189 0
[pid=8205/tid=8258] ppid=8202 vsize=10914144 memory=4240424 CPUtime=2316.47 cores=0,2,4,6
/proc/8205/task/8258/stat : 8258 (java) R 8202 8205 4562 0 -1 4202560 228261 12895 0 0 231570 69 5 3 20 0 15 0 48838089 11176083456 1060106 33554432000 4194304 4196468 140733681096112 139698045799040 139697665609433 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8259] ppid=8202 vsize=10914144 memory=0 CPUtime=44.89 cores=0,2,4,6
/proc/8205/task/8259/stat : 8259 (java) S 8202 8205 4562 0 -1 1077944384 93123 12895 0 0 4407 74 5 3 20 0 15 0 48838090 11176083456 1060106 33554432000 4194304 4196468 140733681096112 139698078206480 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8260] ppid=8202 vsize=10914144 memory=4240424 CPUtime=44.63 cores=0,2,4,6
/proc/8205/task/8260/stat : 8260 (java) S 8202 8205 4562 0 -1 1077944384 90896 12895 0 0 4383 72 5 3 20 0 15 0 48838090 11176083456 1060106 33554432000 4194304 4196468 140733681096112 139697977096848 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8261] ppid=8202 vsize=10914144 memory=4240424 CPUtime=44.79 cores=0,2,4,6
/proc/8205/task/8261/stat : 8261 (java) S 8202 8205 4562 0 -1 1077944384 92537 12895 0 0 4400 71 5 3 20 0 15 0 48838090 11176083456 1060106 33554432000 4194304 4196468 140733681096112 139697976043792 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8262] ppid=8202 vsize=10914144 memory=235225 CPUtime=44.68 cores=0,2,4,6
/proc/8205/task/8262/stat : 8262 (java) S 8202 8205 4562 0 -1 1077944384 83055 12895 0 0 4382 78 5 3 20 0 15 0 48838090 11176083456 1060106 33554432000 4194304 4196468 140733681096112 139697974991248 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8263] ppid=8202 vsize=10914144 memory=4240424 CPUtime=2.69 cores=0,2,4,6
/proc/8205/task/8263/stat : 8263 (java) S 8202 8205 4562 0 -1 1077944384 84078 12895 0 0 244 17 5 3 20 0 15 0 48838091 11176083456 1060106 33554432000 4194304 4196468 140733681096112 139697533500144 139698073975426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8264] ppid=8202 vsize=10914144 memory=4240424 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8264/stat : 8264 (java) S 8202 8205 4562 0 -1 1077944384 19 12895 0 0 0 0 5 3 20 0 15 0 48838092 11176083456 1060106 33554432000 4194304 4196468 140733681096112 139696965412576 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8265] ppid=8202 vsize=10914144 memory=4240424 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8265/stat : 8265 (java) S 8202 8205 4562 0 -1 1077944384 4 12895 0 0 0 0 5 3 20 0 15 0 48838092 11176083456 1060106 33554432000 4194304 4196468 140733681096112 139696831194368 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8266] ppid=8202 vsize=10914144 memory=33 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8266/stat : 8266 (java) S 8202 8205 4562 0 -1 1077944384 3 12895 0 0 0 0 5 3 20 0 15 0 48838094 11176083456 1060106 33554432000 4194304 4196468 140733681096112 139696590903760 139698073982875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8267] ppid=8202 vsize=10914144 memory=4230720 CPUtime=9.08 cores=0,2,4,6
/proc/8205/task/8267/stat : 8267 (java) S 8202 8205 4562 0 -1 1077944384 29588 12895 0 0 896 4 5 3 20 0 15 0 48838095 11176083456 1060106 33554432000 4194304 4196468 140733681096112 139697532446960 139698073975426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8268] ppid=8202 vsize=10914144 memory=4240424 CPUtime=9.12 cores=0,2,4,6
/proc/8205/task/8268/stat : 8268 (java) S 8202 8205 4562 0 -1 1077944384 38392 12895 0 0 897 7 5 3 20 0 15 0 48838095 11176083456 1060106 33554432000 4194304 4196468 140733681096112 139697531394416 139698073975426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8269] ppid=8202 vsize=10914144 memory=4240424 CPUtime=2.81 cores=0,2,4,6
/proc/8205/task/8269/stat : 8269 (java) S 8202 8205 4562 0 -1 1077944384 74148 12895 0 0 267 6 5 3 20 0 15 0 48838095 11176083456 1060106 33554432000 4194304 4196468 140733681096112 139697530341360 139698073975426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8270] ppid=8202 vsize=10914144 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8270/stat : 8270 (java) S 8202 8205 4562 0 -1 1077944384 3 12895 0 0 0 0 5 3 20 0 15 0 48838095 11176083456 1060106 33554432000 4194304 4196468 140733681096112 139696557345120 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8271] ppid=8202 vsize=10914144 memory=16180 CPUtime=1.48 cores=0,2,4,6
/proc/8205/task/8271/stat : 8271 (java) S 8202 8205 4562 0 -1 1077944384 2277 12895 0 0 70 70 5 3 20 0 15 0 48838095 11176083456 1060106 33554432000 4194304 4196468 140733681096112 139697529289776 139698073975426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 4240424 KiB

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

[startup+2364.95 s]
# the end of solver process 8205 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.48 s, system=4.5836 s

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

[startup+2364.9 s]
/proc/loadavg: 1.95 1.94 1.92 3/216 8496
/proc/meminfo: memFree=15749564/32770624 swapFree=67108860/67108860
[pid=8205] ppid=8202 vsize=10914144 memory=4240424 CPUtime=2520.01 cores=0,2,4,6
/proc/8205/stat : 8205 (java) S 8202 8205 4562 0 -1 1077944320 818577 12895 0 0 251541 452 5 3 20 0 15 0 48838080 11176083456 1060106 33554432000 4194304 4196468 140733681096112 140733681078656 139698073964279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
/proc/8205/statm: 2728536 1060106 3537 1 0 2690189 0
[pid=8205/tid=8258] ppid=8202 vsize=10914144 memory=4240424 CPUtime=2316.47 cores=0,2,4,6
/proc/8205/task/8258/stat : 8258 (java) R 8202 8205 4562 0 -1 4202560 228261 12895 0 0 231570 69 5 3 20 0 15 0 48838089 11176083456 1060106 33554432000 4194304 4196468 140733681096112 139698045799040 139697665609433 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8259] ppid=8202 vsize=10914144 memory=0 CPUtime=44.89 cores=0,2,4,6
/proc/8205/task/8259/stat : 8259 (java) S 8202 8205 4562 0 -1 1077944384 93123 12895 0 0 4407 74 5 3 20 0 15 0 48838090 11176083456 1060106 33554432000 4194304 4196468 140733681096112 139698078206480 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8260] ppid=8202 vsize=10914144 memory=4240424 CPUtime=44.63 cores=0,2,4,6
/proc/8205/task/8260/stat : 8260 (java) S 8202 8205 4562 0 -1 1077944384 90896 12895 0 0 4383 72 5 3 20 0 15 0 48838090 11176083456 1060106 33554432000 4194304 4196468 140733681096112 139697977096848 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8261] ppid=8202 vsize=10914144 memory=4240424 CPUtime=44.79 cores=0,2,4,6
/proc/8205/task/8261/stat : 8261 (java) S 8202 8205 4562 0 -1 1077944384 92537 12895 0 0 4400 71 5 3 20 0 15 0 48838090 11176083456 1060106 33554432000 4194304 4196468 140733681096112 139697976043792 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8262] ppid=8202 vsize=10914144 memory=235225 CPUtime=44.68 cores=0,2,4,6
/proc/8205/task/8262/stat : 8262 (java) S 8202 8205 4562 0 -1 1077944384 83055 12895 0 0 4382 78 5 3 20 0 15 0 48838090 11176083456 1060106 33554432000 4194304 4196468 140733681096112 139697974991248 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8263] ppid=8202 vsize=10914144 memory=4240424 CPUtime=2.69 cores=0,2,4,6
/proc/8205/task/8263/stat : 8263 (java) S 8202 8205 4562 0 -1 1077944384 84078 12895 0 0 244 17 5 3 20 0 15 0 48838091 11176083456 1060106 33554432000 4194304 4196468 140733681096112 139697533500144 139698073975426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8264] ppid=8202 vsize=10914144 memory=4240424 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8264/stat : 8264 (java) S 8202 8205 4562 0 -1 1077944384 19 12895 0 0 0 0 5 3 20 0 15 0 48838092 11176083456 1060106 33554432000 4194304 4196468 140733681096112 139696965412576 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8265] ppid=8202 vsize=10914144 memory=4240424 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8265/stat : 8265 (java) S 8202 8205 4562 0 -1 1077944384 4 12895 0 0 0 0 5 3 20 0 15 0 48838092 11176083456 1060106 33554432000 4194304 4196468 140733681096112 139696831194368 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8266] ppid=8202 vsize=10914144 memory=33 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8266/stat : 8266 (java) S 8202 8205 4562 0 -1 1077944384 3 12895 0 0 0 0 5 3 20 0 15 0 48838094 11176083456 1060106 33554432000 4194304 4196468 140733681096112 139696590903760 139698073982875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8267] ppid=8202 vsize=10914144 memory=4230720 CPUtime=9.08 cores=0,2,4,6
/proc/8205/task/8267/stat : 8267 (java) S 8202 8205 4562 0 -1 1077944384 29588 12895 0 0 896 4 5 3 20 0 15 0 48838095 11176083456 1060106 33554432000 4194304 4196468 140733681096112 139697532446960 139698073975426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8268] ppid=8202 vsize=10914144 memory=4240424 CPUtime=9.12 cores=0,2,4,6
/proc/8205/task/8268/stat : 8268 (java) S 8202 8205 4562 0 -1 1077944384 38392 12895 0 0 897 7 5 3 20 0 15 0 48838095 11176083456 1060106 33554432000 4194304 4196468 140733681096112 139697531394416 139698073975426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8269] ppid=8202 vsize=10914144 memory=4240424 CPUtime=2.81 cores=0,2,4,6
/proc/8205/task/8269/stat : 8269 (java) S 8202 8205 4562 0 -1 1077944384 74148 12895 0 0 267 6 5 3 20 0 15 0 48838095 11176083456 1060106 33554432000 4194304 4196468 140733681096112 139697530341360 139698073975426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8270] ppid=8202 vsize=10914144 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/8205/task/8270/stat : 8270 (java) S 8202 8205 4562 0 -1 1077944384 3 12895 0 0 0 0 5 3 20 0 15 0 48838095 11176083456 1060106 33554432000 4194304 4196468 140733681096112 139696557345120 139698073974485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
[pid=8205/tid=8271] ppid=8202 vsize=10914144 memory=16180 CPUtime=1.48 cores=0,2,4,6
/proc/8205/task/8271/stat : 8271 (java) S 8202 8205 4562 0 -1 1077944384 2277 12895 0 0 70 70 5 3 20 0 15 0 48838095 11176083456 1060106 33554432000 4194304 4196468 140733681096112 139697529289776 139698073975426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34877440 140733681097326 140733681100124 140733681100124 140733681102799 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 4240424 KiB

Child status: 143
Real time (s): 2364.95
CPU time (s): 2520.07
CPU user time (s): 2515.48
CPU system time (s): 4.5836
CPU usage (%): 106.559
Max. virtual memory (cumulated for all children) (KiB): 10916780
Max. memory (cumulated for all children) (KiB): 4676348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.48
system time used= 4.5836
maximum resident set size= 4676348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 833341
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82756
involuntary context switches= 7298


# summary of solver processes directly reported to runsolver:
#   pid: 8205
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2515.48
#   total CPU system time (s): 4.5836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2035 second user time and 18.1229 second system time

The end

Launcher Data 

Begin job on node136 at 2018-07-23 04:25:49
IDJOB=4293245
IDBENCH=141141
IDSOLVER=2750
FILE ID=node136/4293245-1532312749
RUNJOBID= node136-1532296223-4593
PBS_JOBID= 21018988
Free space on /tmp= 57048 MiB

SOLVER NAME= Concrete 3.8 2018-06-13
BENCH NAME= XCSP18/GraphColoring/GraphColoring-4-fullins-5_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293245-1532312749/watcher-4293245-1532312749 -o /tmp/evaluation-result-4293245-1532312749/solver-4293245-1532312749 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532296223-4593 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1882872548 HOME/instance-4293245-1532312749.xml

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

MD5SUM BENCH= 95ec92f657fea8ce6e93e6f35592ce49
RANDOM SEED=1882872548

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        17462272 kB
MemAvailable:   27546156 kB
Buffers:          256880 kB
Cached:         10029636 kB
SwapCached:            0 kB
Active:          5668904 kB
Inactive:        9059064 kB
Active(anon):    4443808 kB
Inactive(anon):    16916 kB
Active(file):    1225096 kB
Inactive(file):  9042148 kB
Unevictable:        7336 kB
Mlocked:            7336 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             29244 kB
Writeback:             0 kB
AnonPages:       4446232 kB
Mapped:            49692 kB
Shmem:             17036 kB
Slab:             272276 kB
SReclaimable:     245100 kB
SUnreclaim:        27176 kB
KernelStack:        3696 kB
PageTables:        13980 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5310388 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4255744 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 57056 MiB
End job on node136 at 2018-07-23 05:05:14