Trace number 4304258

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.9.2-SuperNGSAT (TO)3369 2520.12 2022.08

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.98/0.74	c Concrete v3.9.2.1532736233296 running
358.38/233.29	o 4145
397.04/264.55	o 4144
401.38/267.17	o 4143
404.94/269.89	o 4142
407.68/272.36	o 4141
410.93/274.94	o 4140
413.91/277.44	o 4139
417.23/280.24	o 4138
420.52/283.03	o 4137
423.80/285.84	o 4136
426.77/288.37	o 4135
430.07/291.19	o 4134
433.53/293.82	o 4133
436.79/296.48	o 4132
439.78/298.93	o 4131
443.17/301.82	o 4130
446.36/304.50	o 4129
449.48/307.12	o 4128
452.97/310.17	o 4127
455.73/312.77	o 4126
458.40/315.25	o 4125
460.96/317.60	o 4124
463.82/320.33	o 4123
466.86/323.18	o 4122
469.84/325.94	o 4121
472.49/328.44	o 4120
474.95/330.80	o 4119
477.94/333.43	o 4118
480.33/335.66	o 4117
483.34/338.41	o 4116
485.64/340.75	o 4115
487.91/342.89	o 4114
491.09/345.75	o 4113
494.00/348.45	o 4112
496.71/350.91	o 4111
500.27/354.27	o 4110
502.78/356.69	o 4109
505.00/358.77	o 4108
507.31/360.85	o 4107
510.57/363.77	o 4106
512.80/365.98	o 4105
515.34/368.24	o 4104
517.91/370.54	o 4103
521.41/373.66	o 4102
523.58/375.79	o 4101
526.06/377.98	o 4100
528.11/379.97	o 4099
530.49/382.03	o 4098
534.59/385.67	o 4097
537.49/388.13	o 4096
540.05/390.65	o 4095
543.10/393.25	o 4094
545.99/395.72	o 4093
548.19/397.91	o 4092
551.83/401.03	o 4091
555.14/403.99	o 4090
558.05/406.87	o 4089
561.42/409.73	o 4088
564.53/412.41	o 4087
567.04/414.98	o 4086
570.24/417.60	o 4085
573.15/420.59	o 4084
576.72/423.76	o 4083
580.07/426.70	o 4082
582.48/429.11	o 4081
585.20/431.55	o 4080
587.31/433.69	o 4079
589.96/435.91	o 4078
592.07/438.08	o 4077
594.79/440.44	o 4076
598.10/443.75	o 4075
600.92/446.27	o 4074
603.12/448.46	o 4073
605.82/450.82	o 4072
607.92/452.95	o 4071
610.35/455.08	o 4070
612.35/457.06	o 4069
614.35/459.06	o 4068
616.75/461.12	o 4067
618.75/463.13	o 4066
620.75/465.11	o 4065
626.64/470.14	o 4064
630.01/472.84	o 4063
632.52/475.38	o 4062
635.53/477.83	o 4061
637.94/480.21	o 4060
640.96/482.71	o 4059
643.16/484.93	o 4058
645.98/487.27	o 4057
648.19/489.42	o 4056
651.03/491.74	o 4055
653.03/493.75	o 4054
655.13/495.83	o 4053
660.82/500.60	o 4052
663.93/503.21	o 4051
666.13/505.43	o 4050
669.04/507.87	o 4049
671.25/510.08	o 4048
674.05/512.32	o 4047
676.25/514.50	o 4046
678.90/516.73	o 4045
681.02/518.80	o 4044
683.57/520.96	o 4043
685.57/522.92	o 4042
687.57/524.92	o 4041
690.10/527.05	o 4040
692.11/529.01	o 4039
694.55/531.08	o 4038
701.53/536.80	o 4037
704.66/539.22	o 4036
706.96/541.51	o 4035
709.87/543.81	o 4034
711.97/545.92	o 4033
713.88/547.84	o 4032
716.53/549.98	o 4031
718.53/551.95	o 4030
721.19/554.03	o 4029
723.09/555.98	o 4028
725.77/558.05	o 4027
727.67/559.96	o 4026
730.47/562.12	o 4025
732.37/564.07	o 4024
734.95/566.11	o 4023
736.74/567.95	o 4022
739.09/569.96	o 4021
741.01/571.78	o 4020
758.20/581.11	o 4019
761.13/583.86	o 4018
763.63/586.33	o 4017
766.34/588.86	o 4016
768.96/591.22	o 4015
771.07/593.37	o 4014
773.47/595.54	o 4013
775.93/597.70	o 4012
778.02/599.81	o 4011
780.26/601.86	o 4010
782.26/603.87	o 4009
784.49/605.84	o 4008
786.39/607.77	o 4007
788.63/609.70	o 4006
790.43/611.54	o 4005
792.47/613.39	o 4004
794.37/615.20	o 4003
796.41/617.06	o 4002
798.20/618.89	o 4001
800.35/620.72	o 4000
802.15/622.50	o 3999
804.31/624.42	o 3998
814.93/632.58	o 3997
818.62/635.43	o 3996
821.85/638.06	o 3995
824.26/640.40	o 3994
827.60/642.94	o 3993
830.95/645.51	o 3992
834.32/648.18	o 3991
837.67/650.79	o 3990
839.98/653.09	o 3989
843.29/655.65	o 3988
846.43/658.08	o 3987
849.69/660.58	o 3986
852.62/662.83	o 3985
855.34/665.05	o 3984
857.88/667.25	o 3983
859.88/669.24	o 3982
862.10/671.30	o 3981
864.16/673.25	o 3980
866.43/675.34	o 3979
868.33/677.23	o 3978
870.29/679.04	o 3977
872.25/680.88	o 3976
874.05/682.66	o 3975
876.00/684.45	o 3974
877.72/686.15	o 3973
879.64/687.92	o 3972
896.05/699.00	o 3971
901.97/702.83	o 3970
912.70/707.56	o 3969
915.08/709.89	o 3968
917.70/712.30	o 3967
920.12/714.60	o 3966
922.56/716.94	o 3965
924.80/719.10	o 3964
927.00/721.27	o 3963
929.33/723.42	o 3962
931.51/725.58	o 3961
933.79/727.75	o 3960
935.98/729.88	o 3959
938.27/732.08	o 3958
940.47/734.16	o 3957
942.67/736.22	o 3956
944.90/738.33	o 3955
947.01/740.41	o 3954
949.10/742.43	o 3953
951.20/744.47	o 3952
953.43/746.55	o 3951
955.44/748.53	o 3950
957.63/750.64	o 3949
959.74/752.67	o 3948
961.97/754.76	o 3947
963.87/756.66	o 3946
965.97/758.69	o 3945
968.10/760.68	o 3944
970.10/762.64	o 3943
972.11/764.53	o 3942
974.16/766.46	o 3941
994.69/779.43	o 3940
999.07/782.72	o 3939
1004.00/786.08	o 3938
1007.28/788.77	o 3937
1017.65/793.41	o 3936
1020.13/795.83	o 3935
1022.86/798.43	o 3934
1025.28/800.72	o 3933
1027.80/803.13	o 3932
1030.41/805.63	o 3931
1032.82/807.97	o 3930
1035.16/810.14	o 3929
1037.25/812.29	o 3928
1039.44/814.35	o 3927
1041.55/816.39	o 3926
1043.89/818.50	o 3925
1045.89/820.56	o 3924
1048.00/822.57	o 3923
1050.14/824.56	o 3922
1052.14/826.52	o 3921
1054.25/828.54	o 3920
1056.40/830.53	o 3919
1058.41/832.54	o 3918
1060.54/834.56	o 3917
1062.54/836.55	o 3916
1064.55/838.46	o 3915
1066.71/840.46	o 3914
1068.70/842.40	o 3913
1070.75/844.39	o 3912
1072.65/846.30	o 3911
1074.79/848.25	o 3910
1076.70/850.17	o 3909
1078.72/852.06	o 3908
1080.41/853.79	o 3907
1082.44/855.61	o 3906
1084.14/857.38	o 3905
1086.08/859.17	o 3904
1113.84/875.93	o 3903
1117.62/878.82	o 3902
1130.45/884.01	o 3901
1133.02/886.59	o 3900
1135.65/889.04	o 3899
1138.07/891.35	o 3898
1140.46/893.67	o 3897
1142.86/895.99	o 3896
1145.27/898.24	o 3895
1147.47/900.38	o 3894
1149.89/902.61	o 3893
1152.10/904.73	o 3892
1154.31/906.93	o 3891
1156.40/908.99	o 3890
1158.62/911.06	o 3889
1160.85/913.14	o 3888
1162.75/915.10	o 3887
1164.86/917.03	o 3886
1166.98/919.06	o 3885
1168.98/921.04	o 3884
1170.98/922.95	o 3883
1173.12/924.98	o 3882
1175.11/926.94	o 3881
1177.23/928.96	o 3880
1179.19/930.88	o 3879
1181.18/932.74	o 3878
1183.23/934.61	o 3877
1185.13/936.52	o 3876
1187.07/938.37	o 3875
1188.88/940.15	o 3874
1190.69/941.90	o 3873
1192.50/943.63	o 3872
1194.45/945.41	o 3871
1196.06/947.09	o 3870
1198.00/948.83	o 3869
1199.60/950.48	o 3868
1201.54/952.20	o 3867
1203.24/953.96	o 3866
1204.84/955.59	o 3865
1206.66/957.23	o 3864
1208.26/958.84	o 3863
1210.00/960.45	o 3862
1211.61/962.02	o 3861
1213.35/963.64	o 3860
1214.86/965.19	o 3859
1216.45/966.73	o 3858
1218.08/968.27	o 3857
1279.83/1001.99	o 3856
1283.87/1005.80	o 3855
1286.72/1008.58	o 3854
1289.13/1010.97	o 3853
1291.64/1013.38	o 3852
1294.04/1015.79	o 3851
1296.46/1018.08	o 3850
1298.90/1020.36	o 3849
1301.00/1022.48	o 3848
1303.20/1024.64	o 3847
1305.40/1026.75	o 3846
1307.49/1028.83	o 3845
1309.61/1030.83	o 3844
1311.61/1032.80	o 3843
1313.75/1034.87	o 3842
1315.75/1036.81	o 3841
1317.66/1038.74	o 3840
1319.77/1040.70	o 3839
1321.67/1042.62	o 3838
1323.62/1044.49	o 3837
1325.52/1046.38	o 3836
1327.42/1048.27	o 3835
1329.56/1050.20	o 3834
1331.47/1052.11	o 3833
1333.43/1054.05	o 3832
1335.29/1055.88	o 3831
1337.09/1057.68	o 3830
1339.26/1059.60	o 3829
1341.06/1061.46	o 3828
1342.86/1063.28	o 3827
1344.95/1065.13	o 3826
1346.74/1066.94	o 3825
1348.44/1068.66	o 3824
1350.41/1070.41	o 3823
1352.12/1072.13	o 3822
1353.81/1073.84	o 3821
1355.80/1075.62	o 3820
1357.50/1077.37	o 3819
1359.22/1079.03	o 3818
1360.91/1080.73	o 3817
1362.77/1082.41	o 3816
1364.38/1084.09	o 3815
1366.07/1085.71	o 3814
1367.88/1087.37	o 3813
1369.48/1089.00	o 3812
1371.18/1090.63	o 3811
1372.70/1092.18	o 3810
1374.48/1093.77	o 3809
1375.98/1095.30	o 3808
1377.58/1096.82	o 3807
1379.29/1098.36	o 3806
1380.79/1099.81	o 3805
1382.19/1101.27	o 3804
1383.59/1102.69	o 3803
1385.41/1104.22	o 3802
1386.83/1105.66	o 3801
1388.34/1107.13	o 3800
1389.73/1108.54	o 3799
1480.31/1155.18	o 3798
1484.42/1159.10	o 3797
1487.63/1162.20	o 3796
1490.97/1165.43	o 3795
1494.34/1168.65	o 3794
1497.75/1172.04	o 3793
1501.00/1175.11	o 3792
1503.69/1177.88	o 3791
1506.72/1180.70	o 3790
1509.22/1183.25	o 3789
1512.06/1185.93	o 3788
1514.56/1188.44	o 3787
1517.10/1190.85	o 3786
1519.50/1193.25	o 3785
1522.06/1195.63	o 3784
1524.36/1197.99	o 3783
1526.84/1200.24	o 3782
1528.94/1202.38	o 3781
1531.15/1204.55	o 3780
1533.51/1206.70	o 3779
1535.61/1208.86	o 3778
1537.87/1210.99	o 3777
1540.02/1213.08	o 3776
1542.02/1215.10	o 3775
1544.41/1217.20	o 3774
1546.41/1219.26	o 3773
1548.41/1221.28	o 3772
1550.71/1223.38	o 3771
1552.81/1225.41	o 3770
1554.71/1227.38	o 3769
1557.01/1229.40	o 3768
1558.91/1231.33	o 3767
1560.82/1233.30	o 3766
1563.01/1235.29	o 3765
1564.92/1237.19	o 3764
1566.82/1239.09	o 3763
1569.04/1241.05	o 3762
1570.94/1242.95	o 3761
1572.74/1244.79	o 3760
1574.99/1246.72	o 3759
1576.79/1248.57	o 3758
1578.59/1250.37	o 3757
1580.70/1252.27	o 3756
1582.51/1254.07	o 3755
1584.30/1255.87	o 3754
1586.20/1257.70	o 3753
1588.09/1259.49	o 3752
1589.89/1261.26	o 3751
1591.60/1263.00	o 3750
1593.60/1264.79	o 3749
1595.40/1266.56	o 3748
1597.20/1268.30	o 3747
1598.81/1269.99	o 3746
1600.81/1271.78	o 3745
1602.61/1273.52	o 3744
1604.22/1275.13	o 3743
1606.02/1276.78	o 3742
1607.72/1278.40	o 3741
1609.22/1280.00	o 3740
1610.83/1281.57	o 3739
1612.66/1283.18	o 3738
1614.26/1284.79	o 3737
1615.86/1286.39	o 3736
1617.46/1287.95	o 3735
1619.27/1289.55	o 3734
1620.78/1291.05	o 3733
1622.27/1292.59	o 3732
1623.95/1294.11	o 3731
1703.74/1334.67	o 3730
1708.31/1338.91	o 3729
1711.68/1342.16	o 3728
1714.94/1345.21	o 3727
1717.81/1347.96	o 3726
1720.60/1350.59	o 3725
1723.11/1353.08	o 3724
1725.76/1355.57	o 3723
1728.25/1357.85	o 3722
1730.57/1360.13	o 3721
1733.13/1362.53	o 3720
1735.73/1364.94	o 3719
1737.94/1367.19	o 3718
1740.42/1369.46	o 3717
1742.72/1371.72	o 3716
1745.09/1373.94	o 3715
1747.51/1376.18	o 3714
1749.70/1378.33	o 3713
1752.00/1380.46	o 3712
1754.00/1382.49	o 3711
1756.30/1384.57	o 3710
1758.50/1386.71	o 3709
1760.71/1388.73	o 3708
1762.70/1390.76	o 3707
1764.98/1392.82	o 3706
1766.88/1394.74	o 3705
1768.94/1396.64	o 3704
1770.94/1398.60	o 3703
1773.00/1400.54	o 3702
1774.91/1402.46	o 3701
1776.97/1404.33	o 3700
1778.78/1406.19	o 3699
1780.75/1407.93	o 3698
1782.45/1409.62	o 3697
1784.15/1411.31	o 3696
1786.02/1413.07	o 3695
1787.71/1414.76	o 3694
1789.58/1416.48	o 3693
1791.19/1418.10	o 3692
1792.78/1419.65	o 3691
1794.64/1421.32	o 3690
1796.24/1422.91	o 3689
1798.01/1424.51	o 3688
1799.51/1426.08	o 3687
1801.11/1427.64	o 3686
1802.86/1429.25	o 3685
1804.37/1430.78	o 3684
1806.15/1432.33	o 3683
1807.56/1433.77	o 3682
1809.06/1435.24	o 3681
1810.74/1436.76	o 3680
1812.24/1438.20	o 3679
1813.64/1439.67	o 3678
1815.33/1441.16	o 3677
1816.72/1442.59	o 3676
1818.23/1444.05	o 3675
1819.90/1445.51	o 3674
1821.30/1446.93	o 3673
1822.60/1448.30	o 3672
1824.28/1449.73	o 3671
1825.59/1451.08	o 3670
1826.98/1452.40	o 3669
1828.56/1453.85	o 3668
1829.87/1455.18	o 3667
1831.26/1456.53	o 3666
1832.56/1457.89	o 3665
1834.12/1459.26	o 3664
1835.42/1460.54	o 3663
1836.72/1461.80	o 3662
1838.10/1463.10	o 3661
1839.39/1464.39	o 3660
1840.59/1465.59	o 3659
1842.10/1466.88	o 3658
1843.41/1468.11	o 3657
1844.60/1469.33	o 3656
1845.81/1470.55	o 3655
1847.28/1471.80	o 3654
1848.38/1472.99	o 3653
1849.59/1474.17	o 3652
1850.79/1475.34	o 3651
1852.15/1476.53	o 3650
1853.25/1477.67	o 3649
1854.35/1478.79	o 3648
1855.64/1479.99	o 3647
1856.84/1481.10	o 3646
1858.03/1482.23	o 3645
1859.13/1483.34	o 3644
1860.44/1484.49	o 3643
1861.54/1485.59	o 3642
1862.65/1486.66	o 3641
1863.75/1487.72	o 3640
1938.78/1531.22	o 3639
1961.63/1539.65	o 3638
1964.68/1542.50	o 3637
1967.48/1545.31	o 3636
1970.25/1547.98	o 3635
1972.97/1550.64	o 3634
1975.75/1553.29	o 3633
1978.35/1555.84	o 3632
1980.93/1558.27	o 3631
1983.33/1560.66	o 3630
1985.74/1563.08	o 3629
1988.18/1565.39	o 3628
1990.48/1567.60	o 3627
1992.96/1569.97	o 3626
1995.26/1572.21	o 3625
1997.56/1574.55	o 3624
2000.02/1576.80	o 3623
2002.33/1579.16	o 3622
2004.62/1581.30	o 3621
2006.82/1583.46	o 3620
2009.02/1585.61	o 3619
2011.21/1587.68	o 3618
2013.31/1589.75	o 3617
2015.41/1591.87	o 3616
2017.69/1594.00	o 3615
2019.80/1596.10	o 3614
2021.90/1598.13	o 3613
2024.09/1600.17	o 3612
2026.09/1602.18	o 3611
2028.09/1604.19	o 3610
2030.27/1606.15	o 3609
2032.17/1608.10	o 3608
2034.18/1610.06	o 3607
2036.37/1612.07	o 3606
2038.27/1613.91	o 3605
2040.17/1615.80	o 3604
2042.28/1617.71	o 3603
2044.08/1619.59	o 3602
2045.98/1621.47	o 3601
2048.10/1623.31	o 3600
2049.91/1625.16	o 3599
2051.70/1627.00	o 3598
2053.85/1628.87	o 3597
2055.65/1630.61	o 3596
2057.35/1632.36	o 3595
2059.16/1634.12	o 3594
2061.13/1635.93	o 3593
2062.83/1637.63	o 3592
2064.53/1639.33	o 3591
2066.54/1641.13	o 3590
2068.23/1642.83	o 3589
2069.84/1644.48	o 3588
2071.55/1646.14	o 3587
2073.42/1647.83	o 3586
2075.03/1649.48	o 3585
2076.74/1651.12	o 3584
2078.33/1652.76	o 3583
2080.20/1654.41	o 3582
2081.70/1656.00	o 3581
2083.30/1657.59	o 3580
2085.20/1659.22	o 3579
2086.70/1660.75	o 3578
2088.20/1662.26	o 3577
2089.70/1663.78	o 3576
2091.64/1665.41	o 3575
2093.04/1666.87	o 3574
2094.54/1668.35	o 3573
2096.04/1669.84	o 3572
2097.75/1671.32	o 3571
2099.15/1672.75	o 3570
2100.56/1674.18	o 3569
2102.05/1675.62	o 3568
2103.47/1677.05	o 3567
2105.14/1678.51	o 3566
2106.44/1679.89	o 3565
2107.84/1681.28	o 3564
2109.24/1682.63	o 3563
2110.83/1684.03	o 3562
2112.12/1685.39	o 3561
2113.53/1686.72	o 3560
2114.83/1688.04	o 3559
2116.43/1689.47	o 3558
2117.73/1690.75	o 3557
2119.04/1692.05	o 3556
2120.33/1693.32	o 3555
2121.63/1694.63	o 3554
2123.12/1695.90	o 3553
2124.33/1697.12	o 3552
2125.52/1698.35	o 3551
2126.72/1699.57	o 3550
2128.22/1700.86	o 3549
2129.43/1702.07	o 3548
2130.62/1703.23	o 3547
2131.73/1704.37	o 3546
2132.92/1705.52	o 3545
2134.33/1706.72	o 3544
2135.42/1707.85	o 3543
2136.53/1708.99	o 3542
2137.74/1710.12	o 3541
2138.83/1711.22	o 3540
2140.12/1712.38	o 3539
2141.22/1713.46	o 3538
2142.32/1714.54	o 3537
2143.42/1715.62	o 3536
2144.42/1716.67	o 3535
2145.52/1717.75	o 3534
2146.79/1718.84	o 3533
2215.11/1755.43	o 3532
2218.88/1759.05	o 3531
2222.80/1762.81	o 3530
2226.24/1766.11	o 3529
2229.57/1769.33	o 3528
2232.71/1772.32	o 3527
2235.67/1775.16	o 3526
2238.85/1778.11	o 3525
2242.23/1781.31	o 3524
2244.94/1784.04	o 3523
2247.88/1786.88	o 3522
2250.97/1789.79	o 3521
2253.88/1792.65	o 3520
2256.84/1795.45	o 3519
2260.03/1798.42	o 3518
2262.93/1801.33	o 3517
2265.70/1803.98	o 3516
2268.51/1806.52	o 3515
2271.12/1809.13	o 3514
2273.70/1811.54	o 3513
2276.10/1813.90	o 3512
2278.58/1816.28	o 3511
2280.88/1818.57	o 3510
2283.25/1820.77	o 3509
2285.56/1823.09	o 3508
2287.91/1825.26	o 3507
2290.12/1827.43	o 3506
2292.50/1829.67	o 3505
2294.70/1831.86	o 3504
2296.97/1834.00	o 3503
2299.19/1836.13	o 3502
2301.37/1838.17	o 3501
2303.37/1840.19	o 3500
2305.37/1842.16	o 3499
2307.53/1844.13	o 3498
2309.53/1846.13	o 3497
2311.70/1848.14	o 3496
2313.70/1850.14	o 3495
2315.89/1852.15	o 3494
2317.89/1854.13	o 3493
2319.90/1856.12	o 3492
2322.15/1858.24	o 3491
2324.06/1860.12	o 3490
2326.14/1862.07	o 3489
2327.94/1863.85	o 3488
2329.84/1865.70	o 3487
2331.91/1867.63	o 3486
2333.81/1869.53	o 3485
2335.42/1871.16	o 3484
2337.28/1872.83	o 3483
2338.78/1874.39	o 3482
2340.38/1875.96	o 3481
2342.15/1877.56	o 3480
2343.76/1879.14	o 3479
2345.25/1880.66	o 3478
2346.93/1882.19	o 3477
2348.42/1883.66	o 3476
2349.83/1885.07	o 3475
2351.49/1886.51	o 3474
2352.90/1887.92	o 3473
2354.30/1889.32	o 3472
2355.70/1890.77	o 3471
2357.38/1892.23	o 3470
2358.78/1893.61	o 3469
2360.18/1895.03	o 3468
2361.92/1896.50	o 3467
2363.22/1897.85	o 3466
2364.62/1899.21	o 3465
2365.92/1900.53	o 3464
2367.50/1901.92	o 3463
2368.71/1903.17	o 3462
2369.90/1904.38	o 3461
2371.10/1905.60	o 3460
2372.61/1906.89	o 3459
2373.82/1908.08	o 3458
2375.02/1909.28	o 3457
2376.22/1910.48	o 3456
2377.59/1911.70	o 3455
2378.79/1912.83	o 3454
2379.89/1913.97	o 3453
2381.10/1915.11	o 3452
2382.19/1916.24	o 3451
2383.58/1917.41	o 3450
2384.68/1918.53	o 3449
2385.78/1919.62	o 3448
2386.89/1920.71	o 3447
2388.16/1921.82	o 3446
2389.26/1922.90	o 3445
2390.26/1923.99	o 3444
2391.37/1925.05	o 3443
2392.37/1926.10	o 3442
2393.78/1927.23	o 3441
2394.78/1928.26	o 3440
2395.78/1929.29	o 3439
2396.88/1930.32	o 3438
2397.88/1931.34	o 3437
2399.05/1932.33	o 3436
2399.95/1933.26	o 3435
2400.85/1934.18	o 3434
2401.75/1935.10	o 3433
2402.65/1936.00	o 3432
2403.87/1936.97	o 3431
2404.77/1937.83	o 3430
2405.57/1938.69	o 3429
2406.47/1939.54	o 3428
2407.27/1940.38	o 3427
2408.17/1941.20	o 3426
2409.15/1942.09	o 3425
2410.04/1942.91	o 3424
2410.84/1943.73	o 3423
2411.65/1944.55	o 3422
2412.44/1945.36	o 3421
2413.25/1946.16	o 3420
2414.04/1946.92	o 3419
2415.05/1947.75	o 3418
2415.85/1948.51	o 3417
2416.55/1949.23	o 3416
2417.26/1949.96	o 3415
2418.06/1950.70	o 3414
2418.76/1951.42	o 3413
2419.47/1952.14	o 3412
2420.32/1952.88	o 3411
2421.02/1953.58	o 3410
2421.72/1954.25	o 3409
2422.32/1954.89	o 3408
2423.02/1955.53	o 3407
2423.63/1956.17	o 3406
2424.33/1956.82	o 3405
2424.92/1957.46	o 3404
2425.83/1958.15	o 3403
2426.42/1958.73	o 3402
2426.92/1959.29	o 3401
2427.52/1959.85	o 3400
2428.02/1960.39	o 3399
2428.62/1960.93	o 3398
2429.12/1961.47	o 3397
2429.73/1962.02	o 3396
2430.22/1962.56	o 3395
2431.00/1963.13	o 3394
2431.49/1963.64	o 3393
2432.00/1964.14	o 3392
2432.49/1964.63	o 3391
2432.99/1965.12	o 3390
2433.39/1965.59	o 3389
2433.89/1966.07	o 3388
2434.39/1966.55	o 3387
2434.89/1967.03	o 3386
2435.39/1967.50	o 3385
2435.79/1967.96	o 3384
2436.49/1968.49	o 3383
2436.99/1968.91	o 3382
2437.39/1969.31	o 3381
2437.79/1969.70	o 3380
2438.10/1970.07	o 3379
2438.49/1970.43	o 3378
2438.81/1970.78	o 3377
2439.22/1971.13	o 3376
2439.51/1971.46	o 3375
2439.91/1971.80	o 3374
2506.65/2009.17	o 3373
2510.03/2012.34	o 3372
2513.29/2015.41	o 3371
2516.29/2018.49	o 3370
2519.32/2021.37	o 3369
2520.02/2022.02	Exception in thread "main" java.util.concurrent.TimeoutException
2520.02/2022.02		at concrete.MAC.mac(MAC.scala:188)
2520.02/2022.02		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.02/2022.02		at scala.util.Try$.apply(Try.scala:209)
2520.02/2022.02		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.02/2022.02		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.02/2022.02		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.02/2022.02		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.02/2022.02		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.02/2022.02		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.02/2022.02		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.02/2022.02		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.02/2022.02		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.02/2022.02		at concrete.MAC.oneRun(MAC.scala:253)
2520.02/2022.02		at concrete.MAC.nextSolution(MAC.scala:272)
2520.02/2022.02		at concrete.MAC.nextSolution(MAC.scala:355)
2520.02/2022.02		at concrete.Solver.hasNext(Solver.scala:166)
2520.02/2022.02		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.02/2022.02		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.02/2022.02		at concrete.Solver.foreach(Solver.scala:68)
2520.02/2022.02		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.02/2022.02		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.02/2022.02		at scala.util.Success.map(Try.scala:209)
2520.02/2022.02		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.02/2022.02		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.02/2022.02		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.02/2022.02		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.02/2022.02		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.02/2022.02		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.02/2022.02		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.02/2022.02		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.02/2022.02		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.02/2022.02		at scala.collection.immutable.List.foreach(List.scala:389)
2520.02/2022.02		at scala.App.main(App.scala:76)
2520.02/2022.02		at scala.App.main$(App.scala:74)
2520.02/2022.02		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.02/2022.02		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.02/2022.02	v <instantiation cost="3369">
2520.02/2022.02	v       <list>
2520.02/2022.02	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.02/2022.02	v       </list>
2520.02/2022.02	v       <values>
2520.02/2022.02	v         0 1 0 1 0 2 0 3 1 1 0 0 2 5 1 4 0 3 2 2 8 8 2 2 5 5 2 3369 4 4 2 5 8 4 3368 8 0 0 0 3369 0 0 0 0 3 3 0 0 3 3 0 0 0 0 3 4 4 4 4 4 4 4 3 3368 4 4 7 7 7 4 7 7 0 0 0 2 0 2 0 2 0 2 0 2 2 3369 0 0 0 3369 3 3 3 3368 3 3 3368 3 3 3 3 3 3 3 3 3 3 3 3369 3 2 5 3368 0 4 3369 4 1 2 2 5 5 1 1 4 4 2 5 1 4 7 3 2 4 4 2 2 4 5 2 2 2 4 4 2 5 7 4 7 3369 1 1 3369 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3369 4 4 4 4 3368 4 4 4 3368 4 3368 4 3368 4 4 4 3368 7 2 2 2 2 2 2 2 2 2 1 3369 2 2 2 2 2 2 2 5 3368 5 5 5 5 5 5 3368 5 5 3368 3368 5 3368 5 5 3368 4 7 2 5 3368 3367 0 0 0 0 0 0 0 0 0 3369 0 0 0 0 0 0 0 0 3 3368 3 3368 3368 3368 0 3 3 3368 3368 4 3368 0 8 3368 8 3 3 3369 0 3 0 3 3 0 3 3369 3 3 3 3 0 0 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 3 2 3367 2 2 2 0 2 2 0 2 2 2 0 0 2 2 2 3367 3369 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3368 3368 3368 4 3 3 3 8 3 5 5 2 7 5 5 5 5 2 2 2 2 2 3367 7 7 7 3 5 5 2 5 2 5 5 5 2 2 5 5 2 5 2 5 2 5 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3369 2 2 3366 5 3366 5 5 5 5 3369 3367 3368 5 3368 3368 3368 5 5 5 3368 0 2 3369 2 2 3369 3369 2 3369 3369 2 3369 2 2 2 2 2 2 3369 5 3369 3369 5 5 5 3369 3369 3369 5 3369 5 5 5 3369 3369 3369 2 2 2 3369 3369 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3368 3368 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 1 0 3369 0 0 0 0 3369 0 0 0 3369 3369 0 0 0 0 3369 0 3 3 3 3 0 0 3 3 3 3367 0 3 3 3 0 0 3 3 3 3 0 0 0 3 3 3368 0 3368 3 3 3 3 3 3 3 3 3 3368 3368 3368 3367 3 3 3 3 3 3 3 3 3 3 3 3 3 3367 3367 3 3 3 0 2 2 3367 2 3369 3369 2 2 2 2 2 2 2 2 2 2 2 2 3368 2 2 2 2 2 3368 2 2 2 2 2 2 3368 2 2 2 2 3369 2 3369 2 3369 2 2 2 3369 3369 2 2 3369 2 2 2 2 3369 2 3369 2 2 2 2 3367 3369 2 2 2 2 2 3368 3368 2 2 2 3369 2 2 2 2 3369 2 3369 2 3369 2 3369 2 3369 3369 2 2 3369 2 2 2 2 2 2 2 2 2 2 2 3369 3369 3369 2 2 3369 2 2 3369 2 2 3369 2 5 0 1 4 2 3 3 1 3 1 4 3 6 6 1 1 0 0 2 6 1 4 0 3 4 6 3367 6 4 6 6 6 6 6 3368 4 6 6 6 4 6 6 1 1 3 1 3369 1 1 1 3 3 1 1 1 6 1 1 1 3 3 3 6 4 3 3368 6 4 3 3 6 6 6 6 3368 6 6 3368 3369 1 1 1 1 1 3369 1 3369 3369 1 3369 1 1 1 1 1 1 3368 3368 3368 3 1 3 3368 3 3 3368 3 3 3 3368 3368 3368 3 3368 6 6 6 6 6 6 4 3369 4 1 2 2 6 6 1 1 6 3369 2 6 1 4 6 3369 3368 1 4 1 2 3367 6 6 1 3368 4 3368 2 6 1 4 6 6 1 1 1 3369 3369 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3368 1 1 1 1 6 1 3368 3368 1 1 2 2 1 1 2 3369 2 2 2 2 1 2 3369 3369 1 2 3369 3369 1 1 1 1 1 1 1 1 3368 1 1 1 1 1 1 3368 1 1 4 1 3367 6 1 6 0 0 0 0 0 0 0 3 3368 0 0 3368 0 3368 6 4 6 3368 3 3 3 3 3368 3 3 3 3368 3 4 4 6 6 6 4 3368 3 3 0 3369 3 3 3 0 3 3 3 3 3 3 0 3 0 3 3 3368 3 3 3 3 3368 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3367 3 3 3 3 3 3 3 3367 3 3 3 3 3 3 3368 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3369 2 3369 3369 6 6 6 6 6 6 6 6 6 6 3367 6 6 3367 2 2 2 3368 2 2 2 3368 3368 2 2 2 2 2 2 2 2 2 6 6 6 3366 6 6 6 6 6 3367 6 6 6 6 3366 6 3366 6 6 6 6 6 3367 6 6 3368 6 6 6 6 6 6 6 3366 6 6 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3369 1 3368 1 0 0 3369 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3369 1 3368 1 1 1 1 3368 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 3369 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 3368 1 1 1 1 1 1 3368 1 3368 1 1 1 1 1 3368 1 3368 1 1 1 1 1 1 1 1 1 1 1 1 1 3368 1 1 1 3368 1 1 1 1 1 1 1 1 1 1 1 1 3368 1 3369 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 3367 4 4 4 1 3368 4 1 4 4 4 4 4 4 4 4 4 4 3368 4 4 4 4 3368 3367 3369 4 4 4 4 4 4 3367 3367 3367 4 4 3368 4 3368 1 4 4 4 4 4 4 3369 1 4 4 4 4 4 4 1 1 1 1 1 1 1 1 1 3368 1 1 1 1 3368 1 1 1 1 1 1 3369 1 1 1 1 1 1 1 3369 1 1 1 1 1 1 1 4 6 1 1 1 6 6 1 4 6 6 0 0 0 0 0 0 0 0 2 2 0 0 2 3368 3368 3368 0 3 3368 0 0 0 0 0 0 0 4 4 3368 3368 5 3368 3368 4 0 5 0 0 0 0 0 3369 0 0 0 0 0 0 0 0 0 0 3369 0 0 0 0 0 0 0 0 0 3366 3368 4 3366 4 0 4 0 3366 0 0 0 4 3369 0 4 0 4 0 4 0 4 0 3369 0 3369 3369 4 0 0 0 0 0 0 0 0 0 0 0 3367 0 0 0 0 0 0 0 0 0 5 0 3369 2 2 2 2 2 2 2 2 2 2 4 4 2 3369 5 4 3369 3369 2 3368 2 2 2 2 2 2 5 3368 4 4 5 5 5 4 5 5 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3369 2 2 2 2 3368 3368 2 2 2 2 3368 3366 3368 4 2 2 2 2 2 3369 2 2 2 2 2 2 2 2 2 2 2 3369 2 2 2 2 2 2 5 5 3366 5 5 2 2 2 2 5 3366 2 5 5 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 3 3 3 3 3368 3368 3368 3 3 3368 4 4 3 5 3 4 3368 3 3369 0 0 0 3369 0 0 3369 3369 0 0 0 0 0 3369 0 3369 0 0 0 0 0 3367 3 0 0 3 3 0 0 0 3 3 3 0 0 0 0 0 0 0 3369 0 0 0 0 0 3369 0 0 0 3369 0 0 3 3369 3368 3 3369 3369 3367 3369 3 3367 3 3367 3 3367 3 3 3 3 3 3 3 3 3 3366 5 5 5 5 5 3369 5 5 3369 5 5 5 5 5 5 5 5 5 5 5 5 5 3368 5 5 5 5 3368 5 5 5 5 5 5 3366 5 3369 5 3369 3369 5 5 5 0 0 5 0 0 5 3367 5 3367 5 5 5 5 5 5 5 3368 3366 5 3367 5 5 3368 3368 5 3368 5 5 5 5 3369 0 5 0 5 5 3369 0 3367 3369 3369 0 0 0 5 5 5 5 3368 0 5 5 0 3366 5 5 3368 0 3368 0 3368 3368 5 5 5 5 0 5 5 0 0 0 0 0 0 0 0 3369 0 0 0 0 0 0 0 0 0 3369 0 3368 3368 3368 2 2 2 2 2 3368 2 3368 2 2 3368 2 3368 2 2 0 0 3369 0 0 0 0 3369 0 0 3369 0 0 0 0 0 0 0 2 2 0 2 2 2 0 2 0 0 2 3369 2 3369 3369 0 3369 2 0 0 0 0 0 0 0 0 0 0 0 3369 0 0 0 3369 0 0 3369 3 3 3 3369 3 3 3369 3369 3369 3 3 3 3 3 3 3 3 3 3369 3 3 3 3 3367 4 3 4 3 3 3368 4 4 4 3 4 4 4 3 4 4 4 4 3369 4 4 4 4 4 4 4 3369 4 3 4 4 4 4 4 4 0 0 0 0 0 3 0 0 0 3367 0 0 3 0 0 3 0 3367 3 3368 3 0 3 3 0 0 3 3 3 3 3 3 3368 3367 3 3 3 0 0 3 0 3 3 0 0 3 3369 0 3 3 3367 3 0 3367 3 0 0 0 0 0 0 3368 0 3368 0 0 3368 0 0 0 0 0 3369 3369 3 3 3367 3 2 0 2 3 5 2 3 3369 3 3 3 3367 3367 6 3 3 6 6 2 3367 6 6 6 3 3 3 3 3 3 3 3 3 3 3 5 5 6 3367 3367 6 6 3 3 3 3 3 3367 3369 3367 3367 3 3 3369 3 3367 6 3367 6 6 3 3 3 3 3 3 3 3 3 3 3 3 3 3368 3 3368 3 3 3 3 3 3 3 3369 3 3 3 3368 3 3369 3 3 3367 3367 3 3367 3 3 3 3 3 3 3368 3 3 3 3 3 3 3368 3 3 3 3 3 3368 3 3 3 3 3 2 2 3367 2 2 2 5 5 2 2 3367 6 2 6 6 3367 6 3367 3368 2 2 2 2 2 5 5 2 2 5 5 2 6 6 5 6 6 3368 2 2 2 2 2 2 3365 2 2 2 2 2 2 2 2 2 2 2 3368 2 3368 2 2 3368 2 2 3368 2 2 2 2 2 2 2 2 2 3369 2 2 2 2 2 2 3368 2 2 3368 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3368 2 3368 2 2 2 2 2 2 0 0 0 0 3367 3367 3 0 3 0 0 0 0 3367 0 3 0 0 3 3 3 3368 3 3367 3 3 3 3 6 6 3 6 6 3366 6 3 3 0 0 3 0 0 3 3 3369 3 3369 3 3 3367 3369 3 3 0 3 3 3 3 3 3367 3 3 3368 3 3 3 3 3 3 3 3 3 3 3 3 3369 3 3 3 3 3 3 3 3369 3 3 3 3 3 3 3 3 3 3 3 3367 3 3369 3 3368 3 3369 3 3369 3 3 3366 3367 3 3 3 3369 3 3 3369 2 3367 6 5 5 5 3367 3367 3367 5 3367 6 5 6 6 6 6 2 3368 2 2 2 2 2 2 2 3368 2 2 2 2 2 3368 2 2 5 5 3367 6 5 5 5 3366 5 5 3367 5 3367 5 6 6 6 6 2 2 2 2 2 2 3368 2 2 2 2 2 3368 2 3368 2 2 2 5 5 3368 5 5 2 5 3368 5 5 3368 5 3368 5 5 3368 5 5 2 2 2 2 3368 2 2 3368 2 2 2 2 3368 2 2 2 2 2 2 0 2 3368 2 2 0 0 0 0 2 0 0 0 3369 0 0 0 0 0 0 3369 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 0 2 2 0 2 2 2 0 2 2 2 2 2 0 0 3368 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3369 2 2 2 3369 2 2 2 2 2 2 2 3369 2 3369 2 2 3369 2 2 3368 2 3367 2 2 3366 2 2 2 2 2 2 3366 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3367 3 3 3 3 3 3 3 3 3 3 3 3367 3 3 5 5 5 5 5 5 5 5 5 3 3 5 3 3368 5 5 0 5 3367 5 0 5 3367 3367 5 5 5 5 5 5 3367 5 3367 3367 3369 3368 5 3369 5 5 5 5 3368 5 5 3369 5 3368 5 5 5 3368 5 5 3368 3368 5 5 5 5 5 5 5 3368 5 5 5 5 5 3368 3369 3369 5 3369 3369 5 5 5 5 5 5 3369 5 5 5 5 5 5 5 5 5 5 5 5 6 0 6 3 5 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3369 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3369 3369 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3369 0 0 0 0 0 0 0 3369 0 0 3367 3369 0 0 0 0 0 3366 0 0 0 0 3369 0 0 0 0 1 1 1 1 1 1 3369 1 1 1 3369 1 3369 1 3369 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3369 1 1 1 1 1 1 1 1 1 1 3368 1 1 1 1 1 3368 1 1 1 1 1 1 1 1 1 1 1 1 3369 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3366 3366 1 1 1 1 1 3369 3366 3366 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3369 0 0 0 1 1 1 1 1 3369 3369 1 3369 3369 3369 3369 3369 1 1 1 3369 1 3369 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3369 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 3369 3369 0 0 0 3369 0 0 0 0 3369 1 0 0 3369 0 1 0 3369 3369 0 1 1 3369 0 1 3369 1 3369 1 3369 1 1 1 1 1 1 3368 0 1 1 3369 1 1 1 1 1 1 1 1 3369 1 3369 1 1 1 1 3369 1 1 3368 1 1 3368 1 1 1 0 0 0 3369 0 0 0 0 0 3368 0 3369 0 0 0 0 0 0 1 1 1 1 1 1 1 3368 3368 1 1 3368 1 1 1 1 1 1 0 0 0 0 0 3369 3369 0 0 3368 0 0 3368 3368 3368 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3368 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 1 3369 1 3369 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3369 1 1 1 0 0 0 1 1 1 1 1 1 1 0 0 0 1 0 1 1 1 0 3369 1 1 1 1 3369 1 1 1 3369 3369 1 1 1 1 0 0 0 1 1 0 1 0 1 1 1 1 3369 3369 1 1 1 1 1 1 0 1 1 0 1 0 0 1 0 1 1 1 3369 1 1 3369 1 1 1 1 3369 1 3369 1 1 1 1 1 1 1 1 3368 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3368 3368 1 1 3368 1 1 1 1 1 1 1 1 1 0 0 3368 0 0 0 0 0 0 0 0 3368 0 0 0 0 0 0 1 0 1 0 1 3367 0 0 1 1 3368 1 1 1 1 1 1 3368 0 0 0 0 0 0 0 0 0 3368 0 0 0 0 0 0 0 0 3368 0 0 3368 0 0 3368 0 0 3368 0 0 0 0 3368 0 3368 0 0 0 1 0 0 0 1 1 1 1 1 1 3 3 3 3 3368 3 3 3 3369 3368 3 3 3 3 3 3 3 3 3 3 3 3 3 3368 3 3 3368 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3368 3 3 3 3 3 3367 3 3 3 3 3 3 3 3 3 3368 3369 3 3 3 3 3 3368 3 3 3368 3 3 3 3 3 3 3 3 3 3368 3 3 3369 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3368 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3368 3 3 3 3368 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3369 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3368 3 3 3 3 3 3 3 3 3 3 3368 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3368 3 3 3 3 3 3 3 3368 3 3 3 3 3 3 3 3 3 3 3 3 3368 3 3 3 3 3 3368 3 3 3 3 3 3369 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3367 3 3 3 3 3 3 3369 3 3 3367 3 3 3 3 3 3 3367 3 3 3 3 3 3367 3 3 3 3 3367 3369 3 3369 3 3 3369 3 3 3369 3 3 3 3 3 3 3 3 3 3 3 3367 3369 3 3 3 3 3 3 3 3 3 3369 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3368 3 3 3 3 3 3 3 3 3 3 3 3 3368 3 3 3 3 3 3368 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3368 3 3 3 3 3 3368 3 3368 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3368 3 3 3 3 3368 3 3 3 3 3 3 3368 3 3 3 3368 3 3368 3 3 3 3 3 3368 3368 3 3 3 3 3 3 3 3 3368 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3367 3 3369 3 3 3 3 3 3 3 3368 3369 3 3 3 3 3 3 3 3 3 3 3 3 3 3369 3 3 3 3 3 3 3 3369 3 3 3369 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3369 3 3 3 3369 3 3369 3 3 3 3 3369 3 3 3 3 3 3 3 3 3 3 3 3369 3 3369 3 3369 3 3 3 3 3 3 3 3 3 3 3 3 3369 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3369 3 3 3 3 3 3 3368 3 3 3 3 3 3 3 3 3 3369 3368 3 3 3 3 3 3 3 3 3 3 3 3 3 3368 3 3 3 3369 3 3 3 3 3 3 3369 3 3 3 3369 3 3369 3 3 3 3 3368 3 3368 3 3 3 3 3 3 3 3 3368 3 3 3 3 3368 3368 3 3369 3 3 3 3369 3 3 3 3 3 3 3 3 3369 3 3 3 3 3 3 3 3 3 3369 3 3 3 3 3 2 5 1 4 3 0
2520.02/2022.02	v       </values>
2520.02/2022.02	v     </instantiation>
2520.02/2022.02	s SATISFIABLE

Verifier Data 

OK	3369

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304258-1534051195/watcher-4304258-1534051195 -o /tmp/evaluation-result-4304258-1534051195/solver-4304258-1534051195 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534038993-15972 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1370650934 -superng HOME/instance-4304258-1534051195.xml 

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

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
solver pid=18575, runsolver pid=18572
Current StackSize limit: 8192 KiB


[startup+0.100092 s]*
/proc/loadavg: 1.66 2.86 3.24 3/206 18632
/proc/meminfo: memFree=14980904/32770624 swapFree=67058728/67108860
[pid=18575] ppid=18572 vsize=10005480 memory=18952 CPUtime=0.08 cores=1,3,5,7
/proc/18575/stat : 18575 (java) S 18572 18575 15060 0 -1 1077944320 4362 13024 0 0 1 0 5 2 20 0 6 0 222682679 10245611520 4738 33554432000 4194304 4196468 140735685069408 140735685051952 140567746199287 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
/proc/18575/statm: 2501370 4738 1934 1 0 2489808 0
[pid=18575/tid=18628] ppid=18572 vsize=10005480 memory=4279135703946725007 CPUtime=0.08 cores=1,3,5,7
/proc/18575/task/18628/stat : 18628 (java) R 18572 18575 15060 0 -1 4202560 2173 13024 0 0 1 0 5 2 20 0 6 0 222682688 10245611520 4738 33554432000 4194304 4196468 140735685069408 140567718036048 140567731881813 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18629] ppid=18572 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18629/stat : 18629 (java) S 18572 18575 15060 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 6 0 222682689 10245611520 4738 33554432000 4194304 4196468 140735685069408 140567750441232 140567746209493 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18630] ppid=18572 vsize=10005480 memory=140282041767552 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18630/stat : 18630 (java) S 18572 18575 15060 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 6 0 222682689 10245611520 4738 33554432000 4194304 4196468 140735685069408 140567637846416 140567746209493 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18631] ppid=18572 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18631/stat : 18631 (java) S 18572 18575 15060 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 6 0 222682689 10245611520 4738 33554432000 4194304 4196468 140735685069408 140567284361744 140567746209493 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18632] ppid=18572 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18632/stat : 18632 (java) S 18572 18575 15060 0 -1 1077944384 2 13024 0 0 0 0 5 2 20 0 6 0 222682689 10245611520 4738 33554432000 4194304 4196468 140735685069408 140567283309200 140567746209493 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18952 KiB

[startup+0.209868 s]*
/proc/loadavg: 1.66 2.86 3.24 3/215 18641
/proc/meminfo: memFree=14957296/32770624 swapFree=67058728/67108860
[pid=18575] ppid=18572 vsize=10982744 memory=44720 CPUtime=0.25 cores=1,3,5,7
/proc/18575/stat : 18575 (java) S 18572 18575 15060 0 -1 1077944320 7923 13024 0 0 16 2 5 2 20 0 15 0 222682679 11246329856 11180 33554432000 4194304 4196468 140735685069408 140735685051952 140567746199287 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
/proc/18575/statm: 2745686 11180 2956 1 0 2708109 0
[pid=18575/tid=18628] ppid=18572 vsize=10982744 memory=-6517102902069810590 CPUtime=0.18 cores=1,3,5,7
/proc/18575/task/18628/stat : 18628 (java) R 18572 18575 15060 0 -1 4202560 4476 13024 0 0 10 1 5 2 20 0 15 0 222682688 11246329856 11180 33554432000 4194304 4196468 140735685069408 140567717977248 140567730279774 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18629] ppid=18572 vsize=10982744 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18629/stat : 18629 (java) S 18572 18575 15060 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 15 0 222682689 11246329856 11180 33554432000 4194304 4196468 140735685069408 140567750441232 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18630] ppid=18572 vsize=10982744 memory=140282041767552 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18630/stat : 18630 (java) S 18572 18575 15060 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 15 0 222682689 11246329856 11180 33554432000 4194304 4196468 140735685069408 140567637846416 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18631] ppid=18572 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18631/stat : 18631 (java) S 18572 18575 15060 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 15 0 222682689 11246329856 11180 33554432000 4194304 4196468 140735685069408 140567284361744 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18632] ppid=18572 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18632/stat : 18632 (java) S 18572 18575 15060 0 -1 1077944384 2 13024 0 0 0 0 5 2 20 0 15 0 222682689 11246329856 11180 33554432000 4194304 4196468 140735685069408 140567283309200 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18633] ppid=18572 vsize=10982744 memory=140282041767552 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18633/stat : 18633 (java) S 18572 18575 15060 0 -1 1077944384 2 13024 0 0 0 0 5 2 20 0 15 0 222682690 11246329856 11180 33554432000 4194304 4196468 140735685069408 140567239215600 140567746210434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18634] ppid=18572 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18634/stat : 18634 (java) S 18572 18575 15060 0 -1 1077944384 13 13024 0 0 0 0 5 2 20 0 15 0 222682691 11246329856 11180 33554432000 4194304 4196468 140735685069408 140566562071968 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18635] ppid=18572 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18635/stat : 18635 (java) S 18572 18575 15060 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 15 0 222682691 11246329856 11180 33554432000 4194304 4196468 140735685069408 140566360745456 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18636] ppid=18572 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18636/stat : 18636 (java) S 18572 18575 15060 0 -1 1077944384 3 13024 0 0 0 0 5 2 20 0 15 0 222682694 11246329856 11180 33554432000 4194304 4196468 140735685069408 140566053346000 140567746217883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18637] ppid=18572 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18575/task/18637/stat : 18637 (java) S 18572 18575 15060 0 -1 1077944384 368 13024 0 0 1 0 5 2 20 0 15 0 222682694 11246329856 11180 33554432000 4194304 4196468 140735685069408 140567238162416 140567746210434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18638] ppid=18572 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18638/stat : 18638 (java) S 18572 18575 15060 0 -1 1077944384 258 13024 0 0 0 0 5 2 20 0 15 0 222682694 11246329856 11180 33554432000 4194304 4196468 140735685069408 140567237109872 140567746210434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18639] ppid=18572 vsize=10982744 memory=140282041767552 CPUtime=0.1 cores=1,3,5,7
/proc/18575/task/18639/stat : 18639 (java) S 18572 18575 15060 0 -1 1077944384 608 13024 0 0 3 0 5 2 20 0 15 0 222682694 11246329856 11180 33554432000 4194304 4196468 140735685069408 140567236057328 140567746210434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18640] ppid=18572 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18640/stat : 18640 (java) S 18572 18575 15060 0 -1 1077944384 3 13024 0 0 0 0 5 2 20 0 15 0 222682694 11246329856 11180 33554432000 4194304 4196468 140735685069408 140565622549088 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18641] ppid=18572 vsize=10982744 memory=140282041767552 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18641/stat : 18641 (java) S 18572 18575 15060 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 15 0 222682694 11246329856 11180 33554432000 4194304 4196468 140735685069408 140567235005232 140567746210434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44720 KiB

[startup+0.310203 s]*
/proc/loadavg: 1.66 2.86 3.24 3/215 18641
/proc/meminfo: memFree=14929716/32770624 swapFree=67058728/67108860
[pid=18575] ppid=18572 vsize=10983192 memory=55424 CPUtime=0.38 cores=1,3,5,7
/proc/18575/stat : 18575 (java) S 18572 18575 15060 0 -1 1077944320 10442 13024 0 0 28 3 5 2 20 0 15 0 222682679 11246788608 13856 33554432000 4194304 4196468 140735685069408 140735685051952 140567746199287 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
/proc/18575/statm: 2745798 13856 3075 1 0 2708109 0
[pid=18575/tid=18628] ppid=18572 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/18575/task/18628/stat : 18628 (java) R 18572 18575 15060 0 -1 4202560 6970 13024 0 0 19 2 5 2 20 0 15 0 222682688 11246788608 13856 33554432000 4194304 4196468 140735685069408 140567718011296 140567730279774 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18629] ppid=18572 vsize=10983192 memory=7084813469699035216 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18629/stat : 18629 (java) S 18572 18575 15060 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 15 0 222682689 11246788608 13856 33554432000 4194304 4196468 140735685069408 140567750441232 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18630] ppid=18572 vsize=10983192 memory=2076 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18630/stat : 18630 (java) S 18572 18575 15060 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 15 0 222682689 11246788608 13856 33554432000 4194304 4196468 140735685069408 140567637846416 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18631] ppid=18572 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18631/stat : 18631 (java) S 18572 18575 15060 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 15 0 222682689 11246788608 13856 33554432000 4194304 4196468 140735685069408 140567284361744 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18632] ppid=18572 vsize=10983192 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18632/stat : 18632 (java) S 18572 18575 15060 0 -1 1077944384 2 13024 0 0 0 0 5 2 20 0 15 0 222682689 11246788608 13856 33554432000 4194304 4196468 140735685069408 140567283309200 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18633] ppid=18572 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18633/stat : 18633 (java) S 18572 18575 15060 0 -1 1077944384 2 13024 0 0 0 0 5 2 20 0 15 0 222682690 11246788608 13856 33554432000 4194304 4196468 140735685069408 140567239215600 140567746210434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18634] ppid=18572 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18634/stat : 18634 (java) S 18572 18575 15060 0 -1 1077944384 13 13024 0 0 0 0 5 2 20 0 15 0 222682691 11246788608 13856 33554432000 4194304 4196468 140735685069408 140566562071968 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18635] ppid=18572 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18635/stat : 18635 (java) S 18572 18575 15060 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 15 0 222682691 11246788608 13856 33554432000 4194304 4196468 140735685069408 140566360745456 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18636] ppid=18572 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18636/stat : 18636 (java) S 18572 18575 15060 0 -1 1077944384 3 13024 0 0 0 0 5 2 20 0 15 0 222682694 11246788608 13856 33554432000 4194304 4196468 140735685069408 140566053346000 140567746217883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18637] ppid=18572 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18575/task/18637/stat : 18637 (java) S 18572 18575 15060 0 -1 1077944384 369 13024 0 0 1 0 5 2 20 0 15 0 222682694 11246788608 13856 33554432000 4194304 4196468 140735685069408 140567238162416 140567746210434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18638] ppid=18572 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18575/task/18638/stat : 18638 (java) S 18572 18575 15060 0 -1 1077944384 261 13024 0 0 1 0 5 2 20 0 15 0 222682694 11246788608 13856 33554432000 4194304 4196468 140735685069408 140567237109872 140567746210434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18639] ppid=18572 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/18575/task/18639/stat : 18639 (java) S 18572 18575 15060 0 -1 1077944384 624 13024 0 0 5 0 5 2 20 0 15 0 222682694 11246788608 13856 33554432000 4194304 4196468 140735685069408 140567236057328 140567746210434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18640] ppid=18572 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18640/stat : 18640 (java) S 18572 18575 15060 0 -1 1077944384 3 13024 0 0 0 0 5 2 20 0 15 0 222682694 11246788608 13856 33554432000 4194304 4196468 140735685069408 140565622549088 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18641] ppid=18572 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18641/stat : 18641 (java) S 18572 18575 15060 0 -1 1077944384 2 13024 0 0 0 0 5 2 20 0 15 0 222682694 11246788608 13856 33554432000 4194304 4196468 140735685069408 140567235005232 140567746210434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55424 KiB

[startup+0.700788 s]
/proc/loadavg: 1.66 2.86 3.24 3/215 18641
/proc/meminfo: memFree=14923016/32770624 swapFree=67058728/67108860
[pid=18575] ppid=18572 vsize=10983192 memory=88608 CPUtime=0.98 cores=1,3,5,7
/proc/18575/stat : 18575 (java) S 18572 18575 15060 0 -1 1077944320 16767 13024 0 0 87 4 5 2 20 0 15 0 222682679 11246788608 22152 33554432000 4194304 4196468 140735685069408 140735685051952 140567746199287 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
/proc/18575/statm: 2745798 22152 3247 1 0 2708109 0
[pid=18575/tid=18628] ppid=18572 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/18575/task/18628/stat : 18628 (java) R 18572 18575 15060 0 -1 4202560 12187 13024 0 0 56 3 5 2 20 0 15 0 222682688 11246788608 22152 33554432000 4194304 4196468 140735685069408 140567718020112 140567726475168 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18629] ppid=18572 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18629/stat : 18629 (java) S 18572 18575 15060 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 15 0 222682689 11246788608 22152 33554432000 4194304 4196468 140735685069408 140567750441232 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18630] ppid=18572 vsize=10983192 memory=3544 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18630/stat : 18630 (java) S 18572 18575 15060 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 15 0 222682689 11246788608 22152 33554432000 4194304 4196468 140735685069408 140567637846416 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18631] ppid=18572 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18631/stat : 18631 (java) S 18572 18575 15060 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 15 0 222682689 11246788608 22152 33554432000 4194304 4196468 140735685069408 140567284361744 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18632] ppid=18572 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18632/stat : 18632 (java) S 18572 18575 15060 0 -1 1077944384 2 13024 0 0 0 0 5 2 20 0 15 0 222682689 11246788608 22152 33554432000 4194304 4196468 140735685069408 140567283309200 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18633] ppid=18572 vsize=10983192 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18633/stat : 18633 (java) S 18572 18575 15060 0 -1 1077944384 5 13024 0 0 0 0 5 2 20 0 15 0 222682690 11246788608 22152 33554432000 4194304 4196468 140735685069408 140567239215600 140567746210434 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18634] ppid=18572 vsize=10983192 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18634/stat : 18634 (java) S 18572 18575 15060 0 -1 1077944384 13 13024 0 0 0 0 5 2 20 0 15 0 222682691 11246788608 22152 33554432000 4194304 4196468 140735685069408 140566562071968 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18635] ppid=18572 vsize=10983192 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18635/stat : 18635 (java) S 18572 18575 15060 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 15 0 222682691 11246788608 22152 33554432000 4194304 4196468 140735685069408 140566360745456 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18636] ppid=18572 vsize=10983192 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18636/stat : 18636 (java) S 18572 18575 15060 0 -1 1077944384 3 13024 0 0 0 0 5 2 20 0 15 0 222682694 11246788608 22152 33554432000 4194304 4196468 140735685069408 140566053346000 140567746217883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18637] ppid=18572 vsize=10983192 memory=13252 CPUtime=0.16 cores=1,3,5,7
/proc/18575/task/18637/stat : 18637 (java) S 18572 18575 15060 0 -1 1077944384 985 13024 0 0 9 0 5 2 20 0 15 0 222682694 11246788608 22152 33554432000 4194304 4196468 140735685069408 140567238162416 140567746210434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18638] ppid=18572 vsize=10983192 memory=15460 CPUtime=0.15 cores=1,3,5,7
/proc/18575/task/18638/stat : 18638 (java) S 18572 18575 15060 0 -1 1077944384 663 13024 0 0 8 0 5 2 20 0 15 0 222682694 11246788608 22152 33554432000 4194304 4196468 140735685069408 140567237109872 140567746210434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18639] ppid=18572 vsize=10983192 memory=17668 CPUtime=0.2 cores=1,3,5,7
/proc/18575/task/18639/stat : 18639 (java) S 18572 18575 15060 0 -1 1077944384 708 13024 0 0 13 0 5 2 20 0 15 0 222682694 11246788608 22152 33554432000 4194304 4196468 140735685069408 140567236057328 140567746210434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18640] ppid=18572 vsize=10983192 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18640/stat : 18640 (java) S 18572 18575 15060 0 -1 1077944384 3 13024 0 0 0 0 5 2 20 0 15 0 222682694 11246788608 22152 33554432000 4194304 4196468 140735685069408 140565622549088 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18641] ppid=18572 vsize=10983192 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18641/stat : 18641 (java) S 18572 18575 15060 0 -1 1077944384 2 13024 0 0 0 0 5 2 20 0 15 0 222682694 11246788608 22152 33554432000 4194304 4196468 140735685069408 140567235005232 140567746210434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88608 KiB

[startup+1.50136 s]
/proc/loadavg: 1.66 2.86 3.24 4/215 18641
/proc/meminfo: memFree=14887624/32770624 swapFree=67058728/67108860
[pid=18575] ppid=18572 vsize=10991948 memory=200592 CPUtime=3.03 cores=1,3,5,7
/proc/18575/stat : 18575 (java) S 18572 18575 15060 0 -1 1077944320 23677 13024 0 0 288 8 5 2 20 0 15 0 222682679 11255754752 50148 33554432000 4194304 4196468 140735685069408 140735685051952 140567746199287 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
/proc/18575/statm: 2747987 50148 3450 1 0 2709645 0
[pid=18575/tid=18628] ppid=18572 vsize=10991948 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/18575/task/18628/stat : 18628 (java) R 18572 18575 15060 0 -1 4202560 15026 13024 0 0 132 6 5 2 20 0 15 0 222682688 11255754752 50148 33554432000 4194304 4196468 140735685069408 140567718031152 140567319459864 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18629] ppid=18572 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18629/stat : 18629 (java) S 18572 18575 15060 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 15 0 222682689 11255754752 50148 33554432000 4194304 4196468 140735685069408 140567750441232 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18630] ppid=18572 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18630/stat : 18630 (java) S 18572 18575 15060 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 15 0 222682689 11255754752 50148 33554432000 4194304 4196468 140735685069408 140567637846416 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18631] ppid=18572 vsize=10991948 memory=3834024672109998386 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18631/stat : 18631 (java) S 18572 18575 15060 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 15 0 222682689 11255754752 50148 33554432000 4194304 4196468 140735685069408 140567284361744 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18632] ppid=18572 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18632/stat : 18632 (java) S 18572 18575 15060 0 -1 1077944384 2 13024 0 0 0 0 5 2 20 0 15 0 222682689 11255754752 50148 33554432000 4194304 4196468 140735685069408 140567283309200 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18633] ppid=18572 vsize=10991948 memory=-7965959130280075168 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18633/stat : 18633 (java) S 18572 18575 15060 0 -1 1077944384 13 13024 0 0 0 0 5 2 20 0 15 0 222682690 11255754752 50148 33554432000 4194304 4196468 140735685069408 140567239215600 140567746210434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18634] ppid=18572 vsize=10991948 memory=280563772631296 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18634/stat : 18634 (java) S 18572 18575 15060 0 -1 1077944384 13 13024 0 0 0 0 5 2 20 0 15 0 222682691 11255754752 50148 33554432000 4194304 4196468 140735685069408 140566562071968 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18635] ppid=18572 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18635/stat : 18635 (java) S 18572 18575 15060 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 15 0 222682691 11255754752 50148 33554432000 4194304 4196468 140735685069408 140566360745456 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18636] ppid=18572 vsize=10991948 memory=1024 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18636/stat : 18636 (java) S 18572 18575 15060 0 -1 1077944384 3 13024 0 0 0 0 5 2 20 0 15 0 222682694 11255754752 50148 33554432000 4194304 4196468 140735685069408 140566053346000 140567746217883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18637] ppid=18572 vsize=10991948 memory=3172 CPUtime=0.62 cores=1,3,5,7
/proc/18575/task/18637/stat : 18637 (java) R 18572 18575 15060 0 -1 4202560 2593 13024 0 0 55 0 5 2 20 0 15 0 222682694 11255754752 50148 33554432000 4194304 4196468 140735685069408 140567238148448 140567727718966 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18638] ppid=18572 vsize=10991948 memory=2076 CPUtime=0.64 cores=1,3,5,7
/proc/18575/task/18638/stat : 18638 (java) R 18572 18575 15060 0 -1 4202560 2428 13024 0 0 57 0 5 2 20 0 15 0 222682694 11255754752 50148 33554432000 4194304 4196468 140735685069408 140567237095952 140567725892391 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18639] ppid=18572 vsize=10991948 memory=9004 CPUtime=0.48 cores=1,3,5,7
/proc/18575/task/18639/stat : 18639 (java) S 18572 18575 15060 0 -1 1077944384 1398 13024 0 0 41 0 5 2 20 0 15 0 222682694 11255754752 50148 33554432000 4194304 4196468 140735685069408 140567236057328 140567746210434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18640] ppid=18572 vsize=10991948 memory=768 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18640/stat : 18640 (java) S 18572 18575 15060 0 -1 1077944384 3 13024 0 0 0 0 5 2 20 0 15 0 222682694 11255754752 50148 33554432000 4194304 4196468 140735685069408 140565622549088 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18641] ppid=18572 vsize=10991948 memory=736 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18641/stat : 18641 (java) S 18572 18575 15060 0 -1 1077944384 2 13024 0 0 0 0 5 2 20 0 15 0 222682694 11255754752 50148 33554432000 4194304 4196468 140735685069408 140567235005232 140567746210434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 10991948 KiB

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

/proc/18575/task/18628/stat : 18628 (java) S 18572 18575 15060 0 -1 1077944384 454525 13024 0 0 169023 65 5 2 20 0 15 0 222682688 11343855616 1780130 33554432000 4194304 4196468 140735685069408 140567718034144 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18629] ppid=18572 vsize=11077984 memory=7133348 CPUtime=146.01 cores=1,3,5,7
/proc/18575/task/18629/stat : 18629 (java) R 18572 18575 15060 0 -1 4202560 355330 13024 0 0 14182 412 5 2 20 0 15 0 222682689 11343855616 1780130 33554432000 4194304 4196468 140735685069408 140567750441432 140567731226134 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18630] ppid=18572 vsize=11077984 memory=7121548 CPUtime=146.31 cores=1,3,5,7
/proc/18575/task/18630/stat : 18630 (java) R 18572 18575 15060 0 -1 4202560 333785 13024 0 0 14216 408 5 2 20 0 15 0 222682689 11343855616 1780130 33554432000 4194304 4196468 140735685069408 140567637846416 140567739295886 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18631] ppid=18572 vsize=11077984 memory=7121548 CPUtime=146.19 cores=1,3,5,7
/proc/18575/task/18631/stat : 18631 (java) R 18572 18575 15060 0 -1 4202560 355690 13024 0 0 14201 411 5 2 20 0 15 0 222682689 11343855616 1780130 33554432000 4194304 4196468 140735685069408 140567284361744 140567730647502 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18632] ppid=18572 vsize=11077984 memory=7120520 CPUtime=146.3 cores=1,3,5,7
/proc/18575/task/18632/stat : 18632 (java) R 18572 18575 15060 0 -1 4202560 323096 13024 0 0 14259 364 5 2 20 0 15 0 222682689 11343855616 1780130 33554432000 4194304 4196468 140735685069408 140567283309200 140567731227647 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18633] ppid=18572 vsize=11077984 memory=7120520 CPUtime=3.74 cores=1,3,5,7
/proc/18575/task/18633/stat : 18633 (java) S 18572 18575 15060 0 -1 1077944384 163650 13024 0 0 342 25 5 2 20 0 15 0 222682690 11343855616 1780130 33554432000 4194304 4196468 140735685069408 140567239214112 140567746209493 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18634] ppid=18572 vsize=11077984 memory=7120520 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18634/stat : 18634 (java) S 18572 18575 15060 0 -1 1077944384 23 13024 0 0 0 0 5 2 20 0 15 0 222682691 11343855616 1780130 33554432000 4194304 4196468 140735685069408 140566562072032 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18635] ppid=18572 vsize=11077984 memory=7121548 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18635/stat : 18635 (java) S 18572 18575 15060 0 -1 1077944384 3 13024 0 0 0 0 5 2 20 0 15 0 222682691 11343855616 1780130 33554432000 4194304 4196468 140735685069408 140566360745472 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18636] ppid=18572 vsize=11077984 memory=4104 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18636/stat : 18636 (java) S 18572 18575 15060 0 -1 1077944384 3 13024 0 0 0 0 5 2 20 0 15 0 222682694 11343855616 1780130 33554432000 4194304 4196468 140735685069408 140566053346000 140567746217883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18637] ppid=18572 vsize=11077984 memory=4104 CPUtime=11.01 cores=1,3,5,7
/proc/18575/task/18637/stat : 18637 (java) S 18572 18575 15060 0 -1 1077944384 43294 13024 0 0 1088 6 5 2 20 0 15 0 222682694 11343855616 1780130 33554432000 4194304 4196468 140735685069408 140567238162416 140567746210434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18638] ppid=18572 vsize=11077984 memory=7121548 CPUtime=11.54 cores=1,3,5,7
/proc/18575/task/18638/stat : 18638 (java) S 18572 18575 15060 0 -1 1077944384 46007 13024 0 0 1141 6 5 2 20 0 15 0 222682694 11343855616 1780130 33554432000 4194304 4196468 140735685069408 140567237109872 140567746210434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18639] ppid=18572 vsize=11077984 memory=7133348 CPUtime=2.99 cores=1,3,5,7
/proc/18575/task/18639/stat : 18639 (java) S 18572 18575 15060 0 -1 1077944384 69862 13024 0 0 283 9 5 2 20 0 15 0 222682694 11343855616 1780130 33554432000 4194304 4196468 140735685069408 140567236057328 140567746210434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18640] ppid=18572 vsize=11077984 memory=7120520 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18640/stat : 18640 (java) S 18572 18575 15060 0 -1 1077944384 3 13024 0 0 0 0 5 2 20 0 15 0 222682694 11343855616 1780130 33554432000 4194304 4196468 140735685069408 140565622549088 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18641] ppid=18572 vsize=11077984 memory=7120520 CPUtime=1.14 cores=1,3,5,7
/proc/18575/task/18641/stat : 18641 (java) S 18572 18575 15060 0 -1 1077944384 1702 13024 0 0 47 60 5 2 20 0 15 0 222682694 11343855616 1780130 33554432000 4194304 4196468 140735685069408 140567235005232 140567746210434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
Current children cumulated CPU time: 2305.66 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 7120520 KiB

[startup+1902.3 s]
/proc/loadavg: 1.76 1.77 1.96 3/216 18837
/proc/meminfo: memFree=4841016/32770624 swapFree=67058732/67108860
[pid=18575] ppid=18572 vsize=11077984 memory=7198568 CPUtime=2367.9 cores=1,3,5,7
/proc/18575/stat : 18575 (java) S 18572 18575 15060 0 -1 1077944320 2175305 13024 0 0 235019 1764 5 2 20 0 15 0 222682679 11343855616 1799642 33554432000 4194304 4196468 140735685069408 140735685051952 140567746199287 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
/proc/18575/statm: 2769496 1799642 3541 1 0 2731149 0
[pid=18575/tid=18628] ppid=18572 vsize=11077984 memory=7198560 CPUtime=1750.2 cores=1,3,5,7
/proc/18575/task/18628/stat : 18628 (java) R 18572 18575 15060 0 -1 4202560 462719 13024 0 0 174947 66 5 2 20 0 15 0 222682688 11343855616 1799642 33554432000 4194304 4196468 140735685069408 140567718034736 140567332772414 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18629] ppid=18572 vsize=11077984 memory=7198568 CPUtime=146.75 cores=1,3,5,7
/proc/18575/task/18629/stat : 18629 (java) S 18572 18575 15060 0 -1 1077944384 362134 13024 0 0 14253 415 5 2 20 0 15 0 222682689 11343855616 1799642 33554432000 4194304 4196468 140735685069408 140567750441232 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18630] ppid=18572 vsize=11077984 memory=7198560 CPUtime=147.04 cores=1,3,5,7
/proc/18575/task/18630/stat : 18630 (java) S 18572 18575 15060 0 -1 1077944384 337386 13024 0 0 14287 410 5 2 20 0 15 0 222682689 11343855616 1799642 33554432000 4194304 4196468 140735685069408 140567637846416 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18631] ppid=18572 vsize=11077984 memory=7198568 CPUtime=146.93 cores=1,3,5,7
/proc/18575/task/18631/stat : 18631 (java) S 18572 18575 15060 0 -1 1077944384 358108 13024 0 0 14272 414 5 2 20 0 15 0 222682689 11343855616 1799642 33554432000 4194304 4196468 140735685069408 140567284361744 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18632] ppid=18572 vsize=11077984 memory=33 CPUtime=147.04 cores=1,3,5,7
/proc/18575/task/18632/stat : 18632 (java) S 18572 18575 15060 0 -1 1077944384 326198 13024 0 0 14330 367 5 2 20 0 15 0 222682689 11343855616 1799642 33554432000 4194304 4196468 140735685069408 140567283309200 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18633] ppid=18572 vsize=11077984 memory=7198560 CPUtime=3.75 cores=1,3,5,7
/proc/18575/task/18633/stat : 18633 (java) S 18572 18575 15060 0 -1 1077944384 164467 13024 0 0 343 25 5 2 20 0 15 0 222682690 11343855616 1799642 33554432000 4194304 4196468 140735685069408 140567239215600 140567746210434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18634] ppid=18572 vsize=11077984 memory=7198560 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18634/stat : 18634 (java) S 18572 18575 15060 0 -1 1077944384 23 13024 0 0 0 0 5 2 20 0 15 0 222682691 11343855616 1799642 33554432000 4194304 4196468 140735685069408 140566562072032 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18635] ppid=18572 vsize=11077984 memory=7198568 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18635/stat : 18635 (java) S 18572 18575 15060 0 -1 1077944384 3 13024 0 0 0 0 5 2 20 0 15 0 222682691 11343855616 1799642 33554432000 4194304 4196468 140735685069408 140566360745472 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18636] ppid=18572 vsize=11077984 memory=736 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18636/stat : 18636 (java) S 18572 18575 15060 0 -1 1077944384 3 13024 0 0 0 0 5 2 20 0 15 0 222682694 11343855616 1799642 33554432000 4194304 4196468 140735685069408 140566053346000 140567746217883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18637] ppid=18572 vsize=11077984 memory=6791534058613427641 CPUtime=11.01 cores=1,3,5,7
/proc/18575/task/18637/stat : 18637 (java) S 18572 18575 15060 0 -1 1077944384 43300 13024 0 0 1088 6 5 2 20 0 15 0 222682694 11343855616 1799642 33554432000 4194304 4196468 140735685069408 140567238162416 140567746210434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18638] ppid=18572 vsize=11077984 memory=7141148 CPUtime=11.54 cores=1,3,5,7
/proc/18575/task/18638/stat : 18638 (java) S 18572 18575 15060 0 -1 1077944384 47120 13024 0 0 1141 6 5 2 20 0 15 0 222682694 11343855616 1799642 33554432000 4194304 4196468 140735685069408 140567237109872 140567746210434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18639] ppid=18572 vsize=11077984 memory=6791534058613427641 CPUtime=2.99 cores=1,3,5,7
/proc/18575/task/18639/stat : 18639 (java) S 18572 18575 15060 0 -1 1077944384 69869 13024 0 0 283 9 5 2 20 0 15 0 222682694 11343855616 1799642 33554432000 4194304 4196468 140735685069408 140567236057328 140567746210434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18640] ppid=18572 vsize=11077984 memory=1140 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18640/stat : 18640 (java) S 18572 18575 15060 0 -1 1077944384 3 13024 0 0 0 0 5 2 20 0 15 0 222682694 11343855616 1799642 33554432000 4194304 4196468 140735685069408 140565622549088 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18641] ppid=18572 vsize=11077984 memory=1024 CPUtime=1.17 cores=1,3,5,7
/proc/18575/task/18641/stat : 18641 (java) S 18572 18575 15060 0 -1 1077944384 1780 13024 0 0 48 62 5 2 20 0 15 0 222682694 11343855616 1799642 33554432000 4194304 4196468 140735685069408 140567235005232 140567746210434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
Current children cumulated CPU time: 2367.9 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 7198568 KiB

[startup+1962.3 s]
/proc/loadavg: 1.71 1.75 1.94 3/216 18838
/proc/meminfo: memFree=4588740/32770624 swapFree=67058732/67108860
[pid=18575] ppid=18572 vsize=11077984 memory=7450948 CPUtime=2430.02 cores=1,3,5,7
/proc/18575/stat : 18575 (java) S 18572 18575 15060 0 -1 1077944320 2192056 13024 0 0 241195 1800 5 2 20 0 15 0 222682679 11343855616 1862737 33554432000 4194304 4196468 140735685069408 140735685051952 140567746199287 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
/proc/18575/statm: 2769496 1862737 3541 1 0 2731149 0
[pid=18575/tid=18628] ppid=18572 vsize=11077984 memory=7450948 CPUtime=1809.49 cores=1,3,5,7
/proc/18575/task/18628/stat : 18628 (java) R 18572 18575 15060 0 -1 4202560 468865 13024 0 0 180876 66 5 2 20 0 15 0 222682688 11343855616 1862737 33554432000 4194304 4196468 140735685069408 140567718029072 140567325802644 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18629] ppid=18572 vsize=11077984 memory=7450948 CPUtime=147.44 cores=1,3,5,7
/proc/18575/task/18629/stat : 18629 (java) S 18572 18575 15060 0 -1 1077944384 365627 13024 0 0 14314 423 5 2 20 0 15 0 222682689 11343855616 1862737 33554432000 4194304 4196468 140735685069408 140567750441232 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18630] ppid=18572 vsize=11077984 memory=7450948 CPUtime=147.74 cores=1,3,5,7
/proc/18575/task/18630/stat : 18630 (java) S 18572 18575 15060 0 -1 1077944384 339471 13024 0 0 14348 419 5 2 20 0 15 0 222682689 11343855616 1862737 33554432000 4194304 4196468 140735685069408 140567637846416 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18631] ppid=18572 vsize=11077984 memory=9004 CPUtime=147.62 cores=1,3,5,7
/proc/18575/task/18631/stat : 18631 (java) S 18572 18575 15060 0 -1 1077944384 360669 13024 0 0 14333 422 5 2 20 0 15 0 222682689 11343855616 1862737 33554432000 4194304 4196468 140735685069408 140567284361744 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18632] ppid=18572 vsize=11077984 memory=7372964 CPUtime=147.73 cores=1,3,5,7
/proc/18575/task/18632/stat : 18632 (java) S 18572 18575 15060 0 -1 1077944384 327256 13024 0 0 14391 375 5 2 20 0 15 0 222682689 11343855616 1862737 33554432000 4194304 4196468 140735685069408 140567283309200 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18633] ppid=18572 vsize=11077984 memory=7414008 CPUtime=3.76 cores=1,3,5,7
/proc/18575/task/18633/stat : 18633 (java) S 18572 18575 15060 0 -1 1077944384 164962 13024 0 0 344 25 5 2 20 0 15 0 222682690 11343855616 1862737 33554432000 4194304 4196468 140735685069408 140567239215600 140567746210434 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18634] ppid=18572 vsize=11077984 memory=7414008 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18634/stat : 18634 (java) S 18572 18575 15060 0 -1 1077944384 23 13024 0 0 0 0 5 2 20 0 15 0 222682691 11343855616 1862737 33554432000 4194304 4196468 140735685069408 140566562072032 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18635] ppid=18572 vsize=11077984 memory=7414008 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18635/stat : 18635 (java) S 18572 18575 15060 0 -1 1077944384 3 13024 0 0 0 0 5 2 20 0 15 0 222682691 11343855616 1862737 33554432000 4194304 4196468 140735685069408 140566360745472 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18636] ppid=18572 vsize=11077984 memory=7414008 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18636/stat : 18636 (java) S 18572 18575 15060 0 -1 1077944384 3 13024 0 0 0 0 5 2 20 0 15 0 222682694 11343855616 1862737 33554432000 4194304 4196468 140735685069408 140566053346000 140567746217883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18637] ppid=18572 vsize=11077984 memory=3544 CPUtime=11.01 cores=1,3,5,7
/proc/18575/task/18637/stat : 18637 (java) S 18572 18575 15060 0 -1 1077944384 43302 13024 0 0 1088 6 5 2 20 0 15 0 222682694 11343855616 1862737 33554432000 4194304 4196468 140735685069408 140567238162416 140567746210434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18638] ppid=18572 vsize=11077984 memory=59332 CPUtime=11.54 cores=1,3,5,7
/proc/18575/task/18638/stat : 18638 (java) S 18572 18575 15060 0 -1 1077944384 47122 13024 0 0 1141 6 5 2 20 0 15 0 222682694 11343855616 1862737 33554432000 4194304 4196468 140735685069408 140567237109872 140567746210434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18639] ppid=18572 vsize=11077984 memory=7450948 CPUtime=2.99 cores=1,3,5,7
/proc/18575/task/18639/stat : 18639 (java) S 18572 18575 15060 0 -1 1077944384 70742 13024 0 0 283 9 5 2 20 0 15 0 222682694 11343855616 1862737 33554432000 4194304 4196468 140735685069408 140567236057328 140567746210434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18640] ppid=18572 vsize=11077984 memory=1432 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18640/stat : 18640 (java) S 18572 18575 15060 0 -1 1077944384 3 13024 0 0 0 0 5 2 20 0 15 0 222682694 11343855616 1862737 33554432000 4194304 4196468 140735685069408 140565622549088 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18641] ppid=18572 vsize=11077984 memory=4542240 CPUtime=1.2 cores=1,3,5,7
/proc/18575/task/18641/stat : 18641 (java) S 18572 18575 15060 0 -1 1077944384 1816 13024 0 0 50 63 5 2 20 0 15 0 222682694 11343855616 1862737 33554432000 4194304 4196468 140735685069408 140567235005232 140567746210434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
Current children cumulated CPU time: 2430.02 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 7450948 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2022 s]*
/proc/loadavg: 1.94 1.81 1.95 3/216 18839
/proc/meminfo: memFree=4437960/32770624 swapFree=67058732/67108860
[pid=18575] ppid=18572 vsize=11077984 memory=7601392 CPUtime=2520.02 cores=1,3,5,7
/proc/18575/stat : 18575 (java) S 18572 18575 15060 0 -1 1077944320 2249840 13024 0 0 250155 1840 5 2 20 0 15 0 222682679 11343855616 1900348 33554432000 4194304 4196468 140735685069408 140735685051952 140567746199287 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
/proc/18575/statm: 2769496 1900348 3541 1 0 2731149 0
[pid=18575/tid=18628] ppid=18572 vsize=11077984 memory=1398720917958146503 CPUtime=1858.82 cores=1,3,5,7
/proc/18575/task/18628/stat : 18628 (java) R 18572 18575 15060 0 -1 4202560 473199 13024 0 0 185808 67 5 2 20 0 15 0 222682688 11343855616 1900348 33554432000 4194304 4196468 140735685069408 140567718034624 140567335755596 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18629] ppid=18572 vsize=11077984 memory=4872558044660077418 CPUtime=157.64 cores=1,3,5,7
/proc/18575/task/18629/stat : 18629 (java) S 18572 18575 15060 0 -1 1077944384 381503 13024 0 0 15325 432 5 2 20 0 15 0 222682689 11343855616 1900348 33554432000 4194304 4196468 140735685069408 140567750441232 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18630] ppid=18572 vsize=11077984 memory=7234567074014784353 CPUtime=157.88 cores=1,3,5,7
/proc/18575/task/18630/stat : 18630 (java) S 18572 18575 15060 0 -1 1077944384 347177 13024 0 0 15353 428 5 2 20 0 15 0 222682689 11343855616 1900348 33554432000 4194304 4196468 140735685069408 140567637846416 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18631] ppid=18572 vsize=11077984 memory=0 CPUtime=157.69 cores=1,3,5,7
/proc/18575/task/18631/stat : 18631 (java) S 18572 18575 15060 0 -1 1077944384 368852 13024 0 0 15332 430 5 2 20 0 15 0 222682689 11343855616 1900348 33554432000 4194304 4196468 140735685069408 140567284361744 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18632] ppid=18572 vsize=11077984 memory=0 CPUtime=157.82 cores=1,3,5,7
/proc/18575/task/18632/stat : 18632 (java) S 18572 18575 15060 0 -1 1077944384 335391 13024 0 0 15390 385 5 2 20 0 15 0 222682689 11343855616 1900348 33554432000 4194304 4196468 140735685069408 140567283309200 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18633] ppid=18572 vsize=11077984 memory=0 CPUtime=3.89 cores=1,3,5,7
/proc/18575/task/18633/stat : 18633 (java) S 18572 18575 15060 0 -1 1077944384 173112 13024 0 0 356 26 5 2 20 0 15 0 222682690 11343855616 1900348 33554432000 4194304 4196468 140735685069408 140567239215600 140567746210434 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18634] ppid=18572 vsize=11077984 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18634/stat : 18634 (java) S 18572 18575 15060 0 -1 1077944384 23 13024 0 0 0 0 5 2 20 0 15 0 222682691 11343855616 1900348 33554432000 4194304 4196468 140735685069408 140566562072032 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18635] ppid=18572 vsize=11077984 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18635/stat : 18635 (java) S 18572 18575 15060 0 -1 1077944384 3 13024 0 0 0 0 5 2 20 0 15 0 222682691 11343855616 1900348 33554432000 4194304 4196468 140735685069408 140566360745472 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18636] ppid=18572 vsize=11077984 memory=3472592183261933599 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18636/stat : 18636 (java) S 18572 18575 15060 0 -1 1077944384 3 13024 0 0 0 0 5 2 20 0 15 0 222682694 11343855616 1900348 33554432000 4194304 4196468 140735685069408 140566053346000 140567746217883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18637] ppid=18572 vsize=11077984 memory=0 CPUtime=11.01 cores=1,3,5,7
/proc/18575/task/18637/stat : 18637 (java) S 18572 18575 15060 0 -1 1077944384 43307 13024 0 0 1088 6 5 2 20 0 15 0 222682694 11343855616 1900348 33554432000 4194304 4196468 140735685069408 140567238162416 140567746210434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18638] ppid=18572 vsize=11077984 memory=3689071750729970736 CPUtime=11.54 cores=1,3,5,7
/proc/18575/task/18638/stat : 18638 (java) S 18572 18575 15060 0 -1 1077944384 47127 13024 0 0 1141 6 5 2 20 0 15 0 222682694 11343855616 1900348 33554432000 4194304 4196468 140735685069408 140567237109872 140567746210434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18639] ppid=18572 vsize=11077984 memory=2321798890807543477 CPUtime=3.01 cores=1,3,5,7
/proc/18575/task/18639/stat : 18639 (java) S 18572 18575 15060 0 -1 1077944384 76092 13024 0 0 284 10 5 2 20 0 15 0 222682694 11343855616 1900348 33554432000 4194304 4196468 140735685069408 140567236057328 140567746210434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18640] ppid=18572 vsize=11077984 memory=4051040887066931761 CPUtime=0.07 cores=1,3,5,7
/proc/18575/task/18640/stat : 18640 (java) S 18572 18575 15060 0 -1 1077944384 3 13024 0 0 0 0 5 2 20 0 15 0 222682694 11343855616 1900348 33554432000 4194304 4196468 140735685069408 140565622549088 140567746209493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
[pid=18575/tid=18641] ppid=18572 vsize=11077984 memory=3760962871571828662 CPUtime=1.25 cores=1,3,5,7
/proc/18575/task/18641/stat : 18641 (java) S 18572 18575 15060 0 -1 1077944384 1856 13024 0 0 52 66 5 2 20 0 15 0 222682694 11343855616 1900348 33554432000 4194304 4196468 140735685069408 140567235005232 140567746210434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140735685073507 140735685076316 140735685076316 140735685078991 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 7601392 KiB

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

[startup+2022.08 s]
# the end of solver process 18575 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2501.63 s, system=18.4904 s

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

Child status: 143
Real time (s): 2022.08
CPU time (s): 2520.12
CPU user time (s): 2501.63
CPU system time (s): 18.4904
CPU usage (%): 124.63
Max. virtual memory (cumulated for all children) (KiB): 11080692
Max. memory (cumulated for all children) (KiB): 8322500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2501.63
system time used= 18.4904
maximum resident set size= 8322632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2265084
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71117
involuntary context switches= 7783


# summary of solver processes directly reported to runsolver:
#   pid: 18575
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2501.63
#   total CPU system time (s): 18.4904

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6068 second user time and 16.8414 second system time

The end

Launcher Data 

Begin job on node103 at 2018-08-12 07:19:55
IDJOB=4304258
IDBENCH=141141
IDSOLVER=2781
FILE ID=node103/4304258-1534051195
RUNJOBID= node103-1534038993-15972
PBS_JOBID= 21036972
Free space on /tmp= 34428 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/GraphColoring/GraphColoring-4-fullins-5_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304258-1534051195/watcher-4304258-1534051195 -o /tmp/evaluation-result-4304258-1534051195/solver-4304258-1534051195 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534038993-15972 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=1370650934 -superng HOME/instance-4304258-1534051195.xml

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

MD5SUM BENCH= 95ec92f657fea8ce6e93e6f35592ce49
RANDOM SEED=1370650934

node103.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.48
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.48
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.48
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.48
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:        14987172 kB
MemAvailable:   30349876 kB
Buffers:          106664 kB
Cached:         15381036 kB
SwapCached:         5928 kB
Active:          9693620 kB
Inactive:        7401084 kB
Active(anon):    1595548 kB
Inactive(anon):    62748 kB
Active(file):    8098072 kB
Inactive(file):  7338336 kB
Unevictable:        7784 kB
Mlocked:            7784 kB
SwapTotal:      67108860 kB
SwapFree:       67058728 kB
Dirty:             29252 kB
Writeback:             0 kB
AnonPages:       1609384 kB
Mapped:            63072 kB
Shmem:             48596 kB
Slab:             384212 kB
SReclaimable:     354756 kB
SUnreclaim:        29456 kB
KernelStack:        3504 kB
PageTables:         8656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2781696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1402880 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 34404 MiB
End job on node103 at 2018-08-12 07:53:37