Trace number 4304257

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.2SAT (TO)8 2520.14 2328.47

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.75	c Concrete v3.9.2.1532736233296 running
364.61/232.29	o 4145
404.26/265.18	o 4144
407.98/268.25	o 4143
410.97/270.99	o 4142
413.75/273.60	o 4141
416.82/276.46	o 4140
419.45/279.01	o 4139
422.23/281.68	o 4138
425.34/284.53	o 4137
428.58/287.75	o 4136
431.55/290.51	o 4135
434.24/293.07	o 4134
437.00/295.61	o 4133
439.81/298.13	o 4132
442.41/300.78	o 4131
445.36/303.52	o 4130
448.14/306.11	o 4129
450.84/308.86	o 4128
453.68/311.59	o 4127
456.74/314.33	o 4126
459.16/316.78	o 4125
462.03/319.43	o 4124
464.33/321.75	o 4123
466.99/324.20	o 4122
469.40/326.65	o 4121
472.35/329.44	o 4120
474.65/331.75	o 4119
477.89/334.85	o 4118
480.58/337.24	o 4117
483.48/340.11	o 4116
486.10/342.67	o 4115
488.80/345.33	o 4114
491.29/347.74	o 4113
493.49/350.00	o 4112
495.89/352.29	o 4111
498.78/354.98	o 4110
501.18/357.36	o 4109
503.83/359.85	o 4108
506.05/362.05	o 4107
508.89/364.77	o 4106
511.08/366.91	o 4105
513.53/369.25	o 4104
515.90/371.54	o 4103
518.57/374.09	o 4102
520.89/376.35	o 4101
523.65/378.92	o 4100
525.95/381.24	o 4099
528.25/383.60	o 4098
530.89/386.03	o 4097
533.09/388.29	o 4096
535.50/390.54	o 4095
537.60/392.68	o 4094
540.12/395.06	o 4093
542.31/397.25	o 4092
545.04/399.83	o 4091
547.35/402.14	o 4090
549.66/404.36	o 4089
551.76/406.50	o 4088
554.31/408.81	o 4087
556.31/410.89	o 4086
558.52/413.02	o 4085
561.13/415.55	o 4084
563.53/417.96	o 4083
565.94/420.25	o 4082
568.25/422.52	o 4081
570.58/424.74	o 4080
572.78/426.93	o 4079
574.89/429.08	o 4078
577.10/431.17	o 4077
579.10/433.16	o 4076
581.71/435.63	o 4075
584.13/438.05	o 4074
586.44/440.27	o 4073
588.64/442.46	o 4072
590.85/444.67	o 4071
593.14/446.81	o 4070
595.25/448.94	o 4069
597.37/451.00	o 4068
599.48/453.10	o 4067
601.48/455.10	o 4066
603.69/457.16	o 4065
605.89/459.35	o 4064
609.20/462.58	o 4063
611.60/464.92	o 4062
614.31/467.57	o 4061
616.82/470.02	o 4060
619.11/472.22	o 4059
621.22/474.36	o 4058
623.66/476.60	o 4057
625.87/478.86	o 4056
628.08/481.06	o 4055
630.38/483.29	o 4054
632.48/485.35	o 4053
635.05/487.74	o 4052
637.25/489.90	o 4051
639.60/492.17	o 4050
641.89/494.43	o 4049
644.04/496.53	o 4048
646.36/498.79	o 4047
648.56/500.96	o 4046
650.57/502.98	o 4045
652.77/505.08	o 4044
654.87/507.15	o 4043
657.14/509.20	o 4042
659.14/511.25	o 4041
661.24/513.31	o 4040
663.27/515.27	o 4039
665.27/517.21	o 4038
667.67/519.66	o 4037
670.07/521.96	o 4036
672.37/524.22	o 4035
674.79/526.59	o 4034
676.99/528.70	o 4033
679.19/530.93	o 4032
681.61/533.27	o 4031
683.70/535.39	o 4030
685.94/537.43	o 4029
688.25/539.74	o 4028
690.45/541.91	o 4027
692.61/544.00	o 4026
694.91/546.20	o 4025
697.07/548.28	o 4024
699.07/550.24	o 4023
701.07/552.29	o 4022
703.41/554.30	o 4021
705.31/556.21	o 4020
707.52/558.40	o 4019
710.08/560.87	o 4018
712.48/563.20	o 4017
715.11/565.63	o 4016
717.21/567.79	o 4015
719.31/569.80	o 4014
721.57/571.90	o 4013
723.78/574.11	o 4012
725.98/576.36	o 4011
728.26/578.48	o 4010
730.37/580.52	o 4009
732.75/582.79	o 4008
734.86/584.80	o 4007
736.86/586.80	o 4006
739.15/588.85	o 4005
741.15/590.87	o 4004
743.15/592.83	o 4003
745.35/594.85	o 4002
747.25/596.71	o 4001
749.05/598.54	o 4000
751.33/600.57	o 3999
753.23/602.46	o 3998
755.85/605.07	o 3997
758.59/607.68	o 3996
760.89/609.94	o 3995
763.47/612.35	o 3994
765.78/614.66	o 3993
767.97/616.81	o 3992
770.22/618.92	o 3991
772.34/621.06	o 3990
774.63/623.32	o 3989
776.86/625.46	o 3988
779.06/627.69	o 3987
781.36/629.92	o 3986
783.78/632.22	o 3985
786.09/634.53	o 3984
788.35/636.70	o 3983
790.45/638.76	o 3982
792.55/640.87	o 3981
794.92/643.08	o 3980
797.11/645.29	o 3979
799.21/647.35	o 3978
801.57/649.50	o 3977
803.57/651.55	o 3976
805.57/653.59	o 3975
807.75/655.58	o 3974
809.75/657.59	o 3973
812.36/660.12	o 3972
814.67/662.31	o 3971
816.77/664.45	o 3970
818.98/666.64	o 3969
821.10/668.64	o 3968
823.10/670.65	o 3967
825.21/672.73	o 3966
827.36/674.79	o 3965
829.45/676.83	o 3964
831.56/678.90	o 3963
833.81/681.01	o 3962
835.81/683.04	o 3961
837.81/685.05	o 3960
840.00/687.10	o 3959
842.10/689.14	o 3958
844.19/691.23	o 3957
846.46/693.32	o 3956
848.46/695.36	o 3955
850.48/697.30	o 3954
852.48/699.31	o 3953
854.63/701.30	o 3952
856.53/703.27	o 3951
858.54/705.28	o 3950
860.69/707.24	o 3949
862.60/709.17	o 3948
864.50/711.09	o 3947
866.73/713.06	o 3946
868.62/714.94	o 3945
870.53/716.86	o 3944
872.53/718.81	o 3943
874.58/720.75	o 3942
876.99/723.15	o 3941
879.83/725.87	o 3940
882.33/728.35	o 3939
885.04/731.03	o 3938
887.75/733.61	o 3937
890.17/736.01	o 3936
892.62/738.35	o 3935
894.82/740.53	o 3934
897.12/742.81	o 3933
899.37/744.99	o 3932
901.58/747.14	o 3931
903.69/749.24	o 3930
905.69/751.29	o 3929
907.90/753.31	o 3928
909.90/755.32	o 3927
911.90/757.37	o 3926
914.14/759.43	o 3925
916.24/761.50	o 3924
918.24/763.51	o 3923
920.56/765.64	o 3922
922.56/767.67	o 3921
924.56/769.63	o 3920
926.46/771.58	o 3919
928.60/773.55	o 3918
930.60/775.56	o 3917
932.50/777.49	o 3916
934.72/779.48	o 3915
936.62/781.38	o 3914
938.52/783.28	o 3913
940.43/785.15	o 3912
942.49/787.08	o 3911
944.38/788.92	o 3910
946.18/790.76	o 3909
948.42/792.75	o 3908
950.22/794.59	o 3907
952.12/796.41	o 3906
953.93/798.22	o 3905
956.53/800.63	o 3904
959.13/803.23	o 3903
961.34/805.40	o 3902
963.74/807.65	o 3901
965.84/809.76	o 3900
967.94/811.85	o 3899
970.35/814.04	o 3898
972.54/816.22	o 3897
974.55/818.29	o 3896
976.87/820.36	o 3895
978.97/822.41	o 3894
980.87/824.38	o 3893
983.31/826.50	o 3892
985.21/828.47	o 3891
987.22/830.46	o 3890
989.23/832.40	o 3889
991.33/834.39	o 3888
993.33/836.32	o 3887
995.24/838.23	o 3886
997.38/840.13	o 3885
999.28/842.08	o 3884
1001.07/843.86	o 3883
1003.20/845.74	o 3882
1005.01/847.54	o 3881
1006.71/849.29	o 3880
1008.61/851.13	o 3879
1010.72/853.03	o 3878
1012.52/854.81	o 3877
1014.12/856.44	o 3876
1016.15/858.21	o 3875
1017.66/859.70	o 3874
1019.16/861.23	o 3873
1020.66/862.76	o 3872
1022.48/864.37	o 3871
1023.98/865.87	o 3870
1025.58/867.42	o 3869
1026.98/868.89	o 3868
1028.79/870.45	o 3867
1030.29/871.96	o 3866
1031.80/873.48	o 3865
1033.30/874.95	o 3864
1035.01/876.47	o 3863
1036.51/877.90	o 3862
1037.81/879.28	o 3861
1039.21/880.67	o 3860
1040.93/882.11	o 3859
1042.22/883.49	o 3858
1043.63/884.85	o 3857
1045.03/886.21	o 3856
1046.64/887.64	o 3855
1049.54/890.50	o 3854
1052.49/893.36	o 3853
1054.69/895.56	o 3852
1056.89/897.79	o 3851
1059.23/900.00	o 3850
1061.54/902.24	o 3849
1063.74/904.43	o 3848
1065.97/906.56	o 3847
1067.87/908.48	o 3846
1069.97/910.52	o 3845
1072.22/912.64	o 3844
1074.22/914.66	o 3843
1076.22/916.64	o 3842
1078.48/918.70	o 3841
1080.38/920.67	o 3840
1082.38/922.62	o 3839
1084.54/924.62	o 3838
1086.64/926.74	o 3837
1088.54/928.68	o 3836
1090.62/930.58	o 3835
1092.52/932.47	o 3834
1094.32/934.29	o 3833
1096.23/936.17	o 3832
1098.26/938.05	o 3831
1100.06/939.88	o 3830
1101.86/941.64	o 3829
1103.82/943.46	o 3828
1105.53/945.19	o 3827
1107.32/947.00	o 3826
1109.40/948.85	o 3825
1111.20/950.63	o 3824
1112.90/952.39	o 3823
1114.72/954.14	o 3822
1116.57/955.88	o 3821
1118.27/957.56	o 3820
1119.98/959.25	o 3819
1121.68/960.98	o 3818
1123.53/962.67	o 3817
1125.23/964.30	o 3816
1126.84/965.99	o 3815
1128.84/967.75	o 3814
1130.44/969.37	o 3813
1132.15/971.05	o 3812
1133.86/972.73	o 3811
1135.65/974.36	o 3810
1137.26/975.94	o 3809
1138.97/977.62	o 3808
1140.57/979.23	o 3807
1142.47/980.91	o 3806
1143.98/982.42	o 3805
1145.48/983.98	o 3804
1147.08/985.51	o 3803
1148.80/987.10	o 3802
1150.39/988.61	o 3801
1151.90/990.11	o 3800
1153.39/991.63	o 3799
1155.12/993.15	o 3798
1156.61/994.60	o 3797
1158.92/996.92	o 3796
1161.36/999.24	o 3795
1163.46/1001.35	o 3794
1165.66/1003.59	o 3793
1168.20/1005.95	o 3792
1170.50/1008.26	o 3791
1172.70/1010.41	o 3790
1174.94/1012.56	o 3789
1177.04/1014.63	o 3788
1179.15/1016.73	o 3787
1181.49/1018.99	o 3786
1183.70/1021.12	o 3785
1185.70/1023.16	o 3784
1187.92/1025.27	o 3783
1190.13/1027.43	o 3782
1192.14/1029.49	o 3781
1194.38/1031.55	o 3780
1196.48/1033.63	o 3779
1198.58/1035.70	o 3778
1200.73/1037.74	o 3777
1202.73/1039.73	o 3776
1204.73/1041.75	o 3775
1206.91/1043.74	o 3774
1208.81/1045.68	o 3773
1210.81/1047.67	o 3772
1212.71/1049.58	o 3771
1214.85/1051.59	o 3770
1216.75/1053.47	o 3769
1218.65/1055.32	o 3768
1220.72/1057.20	o 3767
1222.53/1059.06	o 3766
1224.32/1060.85	o 3765
1226.28/1062.78	o 3764
1228.31/1064.60	o 3763
1230.13/1066.41	o 3762
1231.85/1068.19	o 3761
1233.93/1070.03	o 3760
1235.62/1071.75	o 3759
1237.42/1073.56	o 3758
1239.23/1075.37	o 3757
1241.20/1077.19	o 3756
1243.11/1079.02	o 3755
1244.70/1080.68	o 3754
1246.71/1082.42	o 3753
1248.32/1084.06	o 3752
1250.01/1085.75	o 3751
1251.71/1087.46	o 3750
1253.63/1089.19	o 3749
1255.32/1090.84	o 3748
1256.92/1092.44	o 3747
1258.53/1094.03	o 3746
1260.34/1095.67	o 3745
1261.94/1097.22	o 3744
1263.54/1098.84	o 3743
1265.04/1100.38	o 3742
1266.84/1101.90	o 3741
1268.34/1103.41	o 3740
1269.84/1104.92	o 3739
1271.34/1106.47	o 3738
1273.16/1108.03	o 3737
1274.55/1109.48	o 3736
1276.05/1110.92	o 3735
1277.45/1112.39	o 3734
1279.20/1113.92	o 3733
1280.63/1115.37	o 3732
1282.11/1116.78	o 3731
1283.52/1118.20	o 3730
1285.01/1119.61	o 3729
1286.60/1121.03	o 3728
1289.40/1123.87	o 3727
1292.15/1126.50	o 3726
1294.55/1128.85	o 3725
1296.76/1131.04	o 3724
1298.99/1133.12	o 3723
1301.09/1135.28	o 3722
1303.39/1137.56	o 3721
1305.72/1139.71	o 3720
1307.83/1141.80	o 3719
1309.93/1143.98	o 3718
1312.18/1146.08	o 3717
1314.28/1148.14	o 3716
1316.18/1150.09	o 3715
1318.43/1152.14	o 3714
1320.44/1154.17	o 3713
1322.44/1156.14	o 3712
1324.43/1158.03	o 3711
1326.25/1159.90	o 3710
1328.15/1161.70	o 3709
1329.96/1163.55	o 3708
1332.00/1165.43	o 3707
1333.80/1167.28	o 3706
1335.71/1169.11	o 3705
1337.56/1170.89	o 3704
1339.36/1172.69	o 3703
1341.17/1174.48	o 3702
1342.87/1176.17	o 3701
1344.83/1177.91	o 3700
1346.53/1179.61	o 3699
1348.14/1181.25	o 3698
1349.74/1182.85	o 3697
1351.60/1184.55	o 3696
1353.21/1186.18	o 3695
1354.80/1187.77	o 3694
1356.50/1189.43	o 3693
1358.27/1191.08	o 3692
1359.86/1192.67	o 3691
1361.46/1194.23	o 3690
1363.06/1195.86	o 3689
1364.83/1197.44	o 3688
1366.33/1198.96	o 3687
1367.83/1200.44	o 3686
1369.33/1201.93	o 3685
1371.04/1203.44	o 3684
1372.44/1204.89	o 3683
1373.95/1206.35	o 3682
1375.45/1207.83	o 3681
1377.16/1209.34	o 3680
1378.56/1210.76	o 3679
1379.97/1212.14	o 3678
1381.36/1213.50	o 3677
1382.66/1214.84	o 3676
1384.25/1216.24	o 3675
1385.55/1217.57	o 3674
1386.96/1218.92	o 3673
1388.36/1220.30	o 3672
1389.96/1221.71	o 3671
1391.27/1223.07	o 3670
1392.56/1224.36	o 3669
1393.86/1225.62	o 3668
1395.06/1226.89	o 3667
1396.67/1228.25	o 3666
1397.97/1229.50	o 3665
1399.17/1230.72	o 3664
1400.37/1231.95	o 3663
1401.58/1233.16	o 3662
1403.07/1234.42	o 3661
1404.17/1235.58	o 3660
1405.37/1236.74	o 3659
1406.47/1237.86	o 3658
1407.57/1238.96	o 3657
1408.98/1240.11	o 3656
1410.07/1241.21	o 3655
1411.17/1242.31	o 3654
1412.17/1243.40	o 3653
1413.28/1244.49	o 3652
1414.57/1245.59	o 3651
1415.67/1246.62	o 3650
1416.67/1247.63	o 3649
1417.67/1248.65	o 3648
1418.67/1249.63	o 3647
1419.67/1250.61	o 3646
1420.85/1251.63	o 3645
1421.76/1252.55	o 3644
1422.66/1253.48	o 3643
1423.56/1254.40	o 3642
1424.56/1255.31	o 3641
1425.46/1256.21	o 3640
1426.54/1257.15	o 3639
1427.44/1258.03	o 3638
1428.33/1258.91	o 3637
1429.13/1259.78	o 3636
1430.03/1260.66	o 3635
1430.94/1261.54	o 3634
1432.03/1262.46	o 3633
1432.93/1263.31	o 3632
1433.74/1264.16	o 3631
1434.53/1264.99	o 3630
1435.33/1265.79	o 3629
1438.06/1268.28	o 3628
1440.47/1270.62	o 3627
1442.57/1272.74	o 3626
1444.82/1274.89	o 3625
1447.03/1277.02	o 3624
1449.13/1279.13	o 3623
1451.32/1281.25	o 3622
1453.48/1283.31	o 3621
1455.48/1285.32	o 3620
1457.48/1287.34	o 3619
1459.70/1289.44	o 3618
1461.90/1291.63	o 3617
1464.00/1293.70	o 3616
1466.12/1295.73	o 3615
1468.22/1297.85	o 3614
1470.22/1299.81	o 3613
1472.25/1301.72	o 3612
1474.15/1303.64	o 3611
1475.95/1305.49	o 3610
1478.11/1307.44	o 3609
1480.12/1309.41	o 3608
1482.01/1311.34	o 3607
1484.08/1313.26	o 3606
1485.99/1315.16	o 3605
1487.90/1317.10	o 3604
1489.69/1318.89	o 3603
1491.73/1320.79	o 3602
1493.63/1322.61	o 3601
1495.53/1324.56	o 3600
1497.59/1326.40	o 3599
1499.39/1328.27	o 3598
1501.30/1330.15	o 3597
1503.39/1332.15	o 3596
1505.24/1333.99	o 3595
1507.04/1335.78	o 3594
1508.84/1337.55	o 3593
1510.93/1339.42	o 3592
1512.64/1341.18	o 3591
1514.43/1343.00	o 3590
1516.33/1344.80	o 3589
1518.20/1346.57	o 3588
1520.00/1348.32	o 3587
1521.71/1350.08	o 3586
1523.69/1351.87	o 3585
1525.40/1353.57	o 3584
1527.20/1355.30	o 3583
1528.80/1356.95	o 3582
1530.69/1358.61	o 3581
1532.21/1360.19	o 3580
1533.80/1361.76	o 3579
1535.30/1363.23	o 3578
1537.01/1364.73	o 3577
1538.41/1366.16	o 3576
1539.81/1367.58	o 3575
1541.32/1369.02	o 3574
1542.71/1370.40	o 3573
1544.39/1371.91	o 3572
1545.69/1373.27	o 3571
1547.09/1374.63	o 3570
1548.39/1375.98	o 3569
1549.98/1377.34	o 3568
1551.28/1378.64	o 3567
1552.58/1379.96	o 3566
1553.98/1381.31	o 3565
1555.28/1382.62	o 3564
1556.86/1384.02	o 3563
1558.15/1385.32	o 3562
1559.35/1386.57	o 3561
1560.65/1387.81	o 3560
1562.16/1389.13	o 3559
1563.35/1390.35	o 3558
1564.55/1391.55	o 3557
1565.75/1392.75	o 3556
1566.96/1393.95	o 3555
1568.45/1395.24	o 3554
1569.65/1396.40	o 3553
1570.75/1397.56	o 3552
1571.95/1398.70	o 3551
1573.05/1399.84	o 3550
1574.39/1401.07	o 3549
1575.64/1402.21	o 3548
1576.74/1403.35	o 3547
1577.84/1404.47	o 3546
1578.94/1405.56	o 3545
1580.04/1406.63	o 3544
1581.32/1407.74	o 3543
1582.42/1408.80	o 3542
1583.42/1409.85	o 3541
1584.42/1410.89	o 3540
1585.52/1411.92	o 3539
1586.81/1413.03	o 3538
1587.81/1414.07	o 3537
1588.92/1415.11	o 3536
1589.92/1416.14	o 3535
1590.92/1417.16	o 3534
1591.92/1418.18	o 3533
1593.19/1419.24	o 3532
1594.19/1420.26	o 3531
1595.18/1421.26	o 3530
1596.18/1422.25	o 3529
1597.19/1423.22	o 3528
1598.09/1424.19	o 3527
1599.37/1425.20	o 3526
1600.28/1426.16	o 3525
1601.28/1427.12	o 3524
1602.18/1428.03	o 3523
1603.07/1428.93	o 3522
1603.87/1429.79	o 3521
1605.04/1430.71	o 3520
1605.84/1431.56	o 3519
1606.74/1432.41	o 3518
1607.54/1433.25	o 3517
1608.35/1434.08	o 3516
1609.14/1434.89	o 3515
1610.04/1435.70	o 3514
1611.01/1436.52	o 3513
1611.71/1437.28	o 3512
1614.11/1439.63	o 3511
1616.31/1441.84	o 3510
1618.64/1444.04	o 3509
1620.74/1446.13	o 3508
1623.03/1448.45	o 3507
1625.15/1450.47	o 3506
1627.37/1452.64	o 3505
1629.57/1454.89	o 3504
1631.79/1456.90	o 3503
1633.79/1458.94	o 3502
1635.80/1461.00	o 3501
1638.24/1463.23	o 3500
1640.24/1465.24	o 3499
1642.24/1467.29	o 3498
1644.60/1469.40	o 3497
1646.60/1471.43	o 3496
1648.70/1473.51	o 3495
1650.87/1475.57	o 3494
1652.87/1477.52	o 3493
1654.87/1479.52	o 3492
1656.87/1481.51	o 3491
1658.90/1483.46	o 3490
1660.90/1485.43	o 3489
1662.80/1487.34	o 3488
1664.85/1489.27	o 3487
1666.76/1491.16	o 3486
1668.66/1493.06	o 3485
1670.74/1494.98	o 3484
1672.64/1496.84	o 3483
1674.44/1498.67	o 3482
1676.44/1500.62	o 3481
1678.41/1502.47	o 3480
1680.31/1504.30	o 3479
1682.12/1506.11	o 3478
1684.11/1507.92	o 3477
1685.91/1509.72	o 3476
1687.61/1511.46	o 3475
1689.32/1513.17	o 3474
1691.30/1514.98	o 3473
1693.11/1516.79	o 3472
1694.91/1518.53	o 3471
1696.71/1520.33	o 3470
1698.70/1522.13	o 3469
1700.39/1523.88	o 3468
1702.09/1525.56	o 3467
1704.11/1527.37	o 3466
1705.82/1529.09	o 3465
1707.61/1530.88	o 3464
1709.31/1532.57	o 3463
1711.33/1534.35	o 3462
1712.94/1536.00	o 3461
1714.54/1537.59	o 3460
1716.15/1539.12	o 3459
1717.85/1540.68	o 3458
1719.36/1542.19	o 3457
1720.95/1543.78	o 3456
1722.55/1545.31	o 3455
1724.27/1546.81	o 3454
1725.67/1548.27	o 3453
1727.17/1549.73	o 3452
1728.58/1551.15	o 3451
1730.27/1552.68	o 3450
1731.78/1554.12	o 3449
1733.17/1555.56	o 3448
1734.57/1556.98	o 3447
1736.08/1558.43	o 3446
1737.67/1559.87	o 3445
1738.98/1561.19	o 3444
1740.37/1562.53	o 3443
1741.77/1563.92	o 3442
1743.37/1565.35	o 3441
1744.67/1566.67	o 3440
1745.97/1567.97	o 3439
1747.37/1569.35	o 3438
1748.67/1570.67	o 3437
1750.27/1572.03	o 3436
1751.56/1573.31	o 3435
1752.76/1574.60	o 3434
1754.16/1575.90	o 3433
1755.66/1577.25	o 3432
1756.96/1578.55	o 3431
1758.26/1579.82	o 3430
1759.47/1581.09	o 3429
1760.76/1582.35	o 3428
1762.25/1583.66	o 3427
1763.45/1584.89	o 3426
1764.76/1586.13	o 3425
1765.95/1587.39	o 3424
1767.25/1588.61	o 3423
1768.64/1589.89	o 3422
1769.95/1591.11	o 3421
1771.04/1592.29	o 3420
1772.24/1593.48	o 3419
1773.44/1594.67	o 3418
1774.91/1595.92	o 3417
1776.02/1597.09	o 3416
1777.21/1598.27	o 3415
1778.41/1599.46	o 3414
1779.61/1600.63	o 3413
1780.88/1601.79	o 3412
1782.08/1602.92	o 3411
1783.19/1604.08	o 3410
1784.38/1605.21	o 3409
1785.48/1606.35	o 3408
1786.75/1607.47	o 3407
1787.85/1608.54	o 3406
1788.85/1609.52	o 3405
1789.85/1610.50	o 3404
1790.75/1611.49	o 3403
1791.76/1612.46	o 3402
1792.93/1613.48	o 3401
1793.94/1614.41	o 3400
1794.84/1615.36	o 3399
1795.74/1616.29	o 3398
1796.74/1617.22	o 3397
1797.64/1618.14	o 3396
1798.71/1619.11	o 3395
1799.61/1620.01	o 3394
1800.61/1620.90	o 3393
1801.41/1621.79	o 3392
1802.31/1622.68	o 3391
1803.21/1623.55	o 3390
1804.01/1624.40	o 3389
1805.07/1625.28	o 3388
1805.88/1626.09	o 3387
1806.68/1626.89	o 3386
1807.48/1627.67	o 3385
1808.28/1628.46	o 3384
1809.08/1629.21	o 3383
1809.78/1629.97	o 3382
1810.74/1630.78	o 3381
1811.54/1631.51	o 3380
1812.24/1632.20	o 3379
1812.84/1632.88	o 3378
1813.55/1633.56	o 3377
1814.25/1634.25	o 3376
1814.85/1634.89	o 3375
1815.55/1635.53	o 3374
1816.42/1636.23	o 3373
1817.02/1636.85	o 3372
1817.62/1637.43	o 3371
1818.23/1638.01	o 3370
1818.72/1638.58	o 3369
1819.33/1639.15	o 3368
1819.82/1639.69	o 3367
1822.78/1642.32	o 3366
1824.88/1644.41	o 3365
1827.08/1646.65	o 3364
1829.74/1649.16	o 3363
1831.83/1651.28	o 3362
1834.03/1653.44	o 3361
1836.39/1655.62	o 3360
1838.40/1657.69	o 3359
1840.60/1659.87	o 3358
1842.60/1661.88	o 3357
1844.80/1663.92	o 3356
1846.80/1665.96	o 3355
1848.80/1668.00	o 3354
1851.14/1670.17	o 3353
1853.23/1672.24	o 3352
1855.23/1674.20	o 3351
1857.29/1676.16	o 3350
1859.19/1678.05	o 3349
1861.08/1679.97	o 3348
1863.24/1681.95	o 3347
1865.14/1683.86	o 3346
1867.04/1685.74	o 3345
1868.94/1687.61	o 3344
1870.89/1689.47	o 3343
1872.69/1691.23	o 3342
1874.40/1692.98	o 3341
1876.20/1694.76	o 3340
1878.13/1696.52	o 3339
1879.83/1698.28	o 3338
1881.63/1700.05	o 3337
1883.59/1701.84	o 3336
1885.29/1703.57	o 3335
1886.99/1705.26	o 3334
1888.70/1706.96	o 3333
1890.66/1708.72	o 3332
1892.35/1710.41	o 3331
1893.96/1712.10	o 3330
1895.66/1713.75	o 3329
1897.51/1715.45	o 3328
1899.22/1717.11	o 3327
1900.81/1718.75	o 3326
1902.52/1720.44	o 3325
1904.38/1722.14	o 3324
1905.97/1723.77	o 3323
1907.67/1725.41	o 3322
1909.17/1726.96	o 3321
1911.04/1728.60	o 3320
1912.55/1730.15	o 3319
1914.14/1731.76	o 3318
1915.74/1733.33	o 3317
1917.52/1734.94	o 3316
1919.12/1736.51	o 3315
1920.52/1737.99	o 3314
1922.02/1739.47	o 3313
1923.71/1740.97	o 3312
1925.31/1742.50	o 3311
1926.71/1743.93	o 3310
1928.11/1745.35	o 3309
1929.82/1746.81	o 3308
1931.13/1748.15	o 3307
1932.52/1749.59	o 3306
1933.92/1750.98	o 3305
1935.42/1752.40	o 3304
1937.01/1753.81	o 3303
1938.32/1755.18	o 3302
1939.71/1756.54	o 3301
1941.01/1757.88	o 3300
1942.71/1759.30	o 3299
1943.91/1760.57	o 3298
1945.21/1761.84	o 3297
1946.52/1763.15	o 3296
1947.81/1764.42	o 3295
1949.30/1765.74	o 3294
1950.50/1766.97	o 3293
1951.80/1768.21	o 3292
1953.00/1769.44	o 3291
1954.20/1770.69	o 3290
1955.81/1772.01	o 3289
1957.00/1773.24	o 3288
1958.20/1774.45	o 3287
1959.40/1775.67	o 3286
1960.70/1776.91	o 3285
1962.08/1778.15	o 3284
1963.27/1779.30	o 3283
1964.37/1780.43	o 3282
1965.47/1781.54	o 3281
1966.58/1782.66	o 3280
1967.94/1783.85	o 3279
1969.04/1784.93	o 3278
1970.16/1786.01	o 3277
1971.16/1787.06	o 3276
1972.26/1788.11	o 3275
1973.26/1789.16	o 3274
1974.51/1790.22	o 3273
1975.51/1791.25	o 3272
1976.51/1792.26	o 3271
1977.51/1793.24	o 3270
1978.51/1794.21	o 3269
1979.68/1795.27	o 3268
1980.68/1796.22	o 3267
1981.59/1797.15	o 3266
1982.49/1798.10	o 3265
1983.49/1799.02	o 3264
1984.38/1799.95	o 3263
1985.29/1800.87	o 3262
1986.33/1801.78	o 3261
1987.13/1802.59	o 3260
1988.03/1803.41	o 3259
1988.83/1804.22	o 3258
1989.64/1805.01	o 3257
1990.43/1805.80	o 3256
1991.13/1806.59	o 3255
1992.19/1807.40	o 3254
1992.90/1808.17	o 3253
1993.69/1808.92	o 3252
1994.39/1809.67	o 3251
1995.09/1810.37	o 3250
1995.80/1811.08	o 3249
1996.49/1811.77	o 3248
1997.25/1812.48	o 3247
1997.96/1813.08	o 3246
1998.55/1813.67	o 3245
1999.15/1814.25	o 3244
1999.75/1814.81	o 3243
2000.25/1815.37	o 3242
2000.85/1815.93	o 3241
2001.35/1816.48	o 3240
2001.96/1817.01	o 3239
2002.45/1817.54	o 3238
2003.21/1818.13	o 3237
2003.70/1818.62	o 3236
2004.11/1819.10	o 3235
2004.61/1819.58	o 3234
2005.11/1820.04	o 3233
2005.51/1820.47	o 3232
2005.91/1820.90	o 3231
2006.41/1821.32	o 3230
2006.81/1821.72	o 3229
2007.21/1822.11	o 3228
2007.51/1822.50	o 3227
2007.91/1822.87	o 3226
2008.55/1823.30	o 3225
2008.85/1823.67	o 3224
2009.26/1824.04	o 3223
2009.56/1824.39	o 3222
2009.96/1824.75	o 3221
2010.27/1825.09	o 3220
2010.66/1825.42	o 3219
2010.96/1825.71	o 3218
2011.16/1825.99	o 3217
2011.46/1826.28	o 3216
2011.76/1826.56	o 3215
2012.06/1826.82	o 3214
2012.27/1827.09	o 3213
2012.56/1827.34	o 3212
2012.76/1827.59	o 3211
2013.06/1827.82	o 3210
2013.27/1828.05	o 3209
2013.46/1828.27	o 3208
2013.91/1828.54	o 3207
2014.11/1828.77	o 3206
2014.31/1828.99	o 3205
2014.61/1829.20	o 3204
2014.81/1829.41	o 3203
2015.01/1829.63	o 3202
2015.21/1829.84	o 3201
2015.42/1830.03	o 3200
2015.61/1830.20	o 3199
2015.71/1830.37	o 3198
2015.91/1830.54	o 3197
2016.01/1830.70	o 3196
2016.21/1830.85	o 3195
2016.42/1831.01	o 3194
2016.52/1831.17	o 3193
2016.71/1831.31	o 3192
2016.81/1831.46	o 3191
2016.91/1831.59	o 3190
2017.11/1831.72	o 3189
2017.21/1831.85	o 3188
2017.31/1831.98	o 3187
2017.42/1832.10	o 3186
2017.61/1832.22	o 3185
2017.71/1832.31	o 3184
2017.81/1832.42	o 3183
2017.91/1832.50	o 3182
2017.91/1832.59	o 3181
2018.01/1832.66	o 3180
2018.11/1832.74	o 3179
2018.21/1832.81	o 3178
2018.21/1832.89	o 3177
2018.57/1833.01	o 3176
2018.57/1833.07	o 3175
2018.67/1833.13	o 3174
2018.67/1833.18	o 3173
2018.76/1833.23	o 3172
2018.76/1833.27	o 3171
2018.86/1833.31	o 3170
2018.86/1833.34	o 3169
2018.86/1833.37	o 3168
2018.96/1833.40	o 3167
2018.96/1833.43	o 3166
2018.96/1833.45	o 3165
2018.96/1833.47	o 3164
2018.96/1833.50	o 3163
2019.06/1833.52	o 3162
2019.06/1833.54	o 3161
2019.06/1833.56	o 8
2520.04/2328.41	Exception in thread "main" java.util.concurrent.TimeoutException
2520.04/2328.41		at concrete.MAC.mac(MAC.scala:188)
2520.04/2328.41		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.04/2328.41		at scala.util.Try$.apply(Try.scala:209)
2520.04/2328.41		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.04/2328.41		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.04/2328.41		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.04/2328.41		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.04/2328.41		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.04/2328.41		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.04/2328.41		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.04/2328.41		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.04/2328.41		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.04/2328.41		at concrete.MAC.oneRun(MAC.scala:253)
2520.04/2328.41		at concrete.MAC.nextSolution(MAC.scala:272)
2520.04/2328.41		at concrete.MAC.nextSolution(MAC.scala:355)
2520.04/2328.41		at concrete.Solver.hasNext(Solver.scala:166)
2520.04/2328.41		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.04/2328.41		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.04/2328.41		at concrete.Solver.foreach(Solver.scala:68)
2520.04/2328.41		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.04/2328.41		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.04/2328.41		at scala.util.Success.map(Try.scala:209)
2520.04/2328.41		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.04/2328.41		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.04/2328.41		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.04/2328.41		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.04/2328.41		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.04/2328.41		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.04/2328.41		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.04/2328.41		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.04/2328.41		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.04/2328.41		at scala.collection.immutable.List.foreach(List.scala:389)
2520.04/2328.41		at scala.App.main(App.scala:76)
2520.04/2328.41		at scala.App.main$(App.scala:74)
2520.04/2328.41		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.04/2328.41		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.04/2328.42	v <instantiation cost="8">
2520.04/2328.42	v       <list>
2520.04/2328.42	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.04/2328.42	v       </list>
2520.04/2328.42	v       <values>
2520.04/2328.42	v         1 2 0 0 2 2 0 0 1 1 0 0 2 5 1 4 0 3 4 2 0 0 2 2 0 0 2 2 0 0 2 8 8 4 0 8 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 3 3 3 4 4 4 4 3 3 3 3 4 4 4 4 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 3 3 3 3 2 2 2 2 3 3 3 3 3 3 3 3 1 5 0 2 3 4 4 3 3 3 4 3 3 3 3 3 4 4 2 5 1 4 7 3 4 2 3 3 2 2 3 3 2 2 4 4 2 7 7 4 7 3 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 3 1 1 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 1 1 1 2 2 3 3 2 2 3 3 2 2 3 3 3 3 3 3 3 3 1 5 7 2 3 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 3 3 3 3 3 3 3 3 3 3 2 3 3 3 3 3 2 2 3 3 2 2 3 3 2 2 3 3 2 3 3 3 3 3 3 3 2 3 3 3 3 3 3 3 3 3 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 2 2 3 3 2 2 3 3 3 3 3 3 3 3 3 3 3 2 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 1 1 1 1 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 1 1 1 1 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 1 5 0 3 1 2 4 1 2 1 3 2 2 5 5 1 1 0 0 2 5 1 6 0 3 6 2 6 3 2 2 6 6 2 2 6 6 2 6 6 6 6 6 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 3 3 3 5 5 5 5 3 3 3 3 5 5 5 5 5 5 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 3 3 3 3 2 2 2 2 3 3 3 3 3 3 3 3 1 5 6 2 3 6 1 2 1 3 2 2 3 3 1 1 5 5 2 5 1 6 6 3 3 2 3 3 2 2 3 3 2 2 6 6 2 6 6 6 6 3 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 5 6 2 3 6 1 1 1 1 2 2 1 1 1 1 1 1 2 5 1 6 6 6 2 6 2 2 2 6 2 2 2 2 6 6 2 6 6 6 6 6 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 2 1 2 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 1 6 6 2 6 6 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 2 3 3 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 5 6 3 1 2 6 0 0 0 0 0 0 0 0 2 2 0 0 2 4 4 4 0 3 0 0 0 0 0 0 0 0 2 2 0 0 2 4 4 4 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 0 0 4 4 4 4 0 3 0 0 0 0 0 0 0 0 3 3 0 0 4 4 4 4 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 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 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 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 0 0 0 0 4 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 2 1 1 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 4 1 0 2 6
2520.04/2328.42	v       </values>
2520.04/2328.42	v     </instantiation>
2520.04/2328.42	s SATISFIABLE

Verifier Data 

OK	8

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304257-1534051639/watcher-4304257-1534051639 -o /tmp/evaluation-result-4304257-1534051639/solver-4304257-1534051639 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534039158-26715 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1877346291 HOME/instance-4304257-1534051639.xml 

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

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


[startup+0.10006 s]*
/proc/loadavg: 1.56 1.42 1.40 3/206 29012
/proc/meminfo: memFree=14920880/32770624 swapFree=67108844/67108860
[pid=28955] ppid=28952 vsize=10005480 memory=16548 CPUtime=0.09 cores=0,2,4,6
/proc/28955/stat : 28955 (java) S 28952 28955 25584 0 -1 1077944320 4321 13199 0 0 1 1 4 3 20 0 6 0 222727072 10245611520 4137 33554432000 4194304 4196468 140727764585216 140727764567760 140601042423543 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
/proc/28955/statm: 2501370 4137 1932 1 0 2489808 0
[pid=28955/tid=29008] ppid=28952 vsize=10005480 memory=4279135704047321741 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29008/stat : 29008 (java) R 28952 28955 25584 0 -1 4202560 2125 13199 0 0 0 0 4 3 20 0 6 0 222727082 10245611520 4137 33554432000 4194304 4196468 140727764585216 140601014260304 140601021945047 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29009] ppid=28952 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29009/stat : 29009 (java) S 28952 28955 25584 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 6 0 222727082 10245611520 4137 33554432000 4194304 4196468 140727764585216 140601046666000 140601042433749 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29010] ppid=28952 vsize=10005480 memory=140632454923904 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29010/stat : 29010 (java) S 28952 28955 25584 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 6 0 222727082 10245611520 4137 33554432000 4194304 4196468 140727764585216 140600927931280 140601042433749 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29011] ppid=28952 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29011/stat : 29011 (java) S 28952 28955 25584 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 6 0 222727082 10245611520 4203 33554432000 4194304 4196468 140727764585216 140600926878736 140601042433749 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29012] ppid=28952 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29012/stat : 29012 (java) S 28952 28955 25584 0 -1 1077944384 2 13199 0 0 0 0 4 3 20 0 6 0 222727082 10245611520 4203 33554432000 4194304 4196468 140727764585216 140600925826192 140601042433749 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16548 KiB

[startup+0.210642 s]*
/proc/loadavg: 1.56 1.42 1.40 3/215 29021
/proc/meminfo: memFree=14899404/32770624 swapFree=67108844/67108860
[pid=28955] ppid=28952 vsize=10982744 memory=41572 CPUtime=0.25 cores=0,2,4,6
/proc/28955/stat : 28955 (java) S 28952 28955 25584 0 -1 1077944320 7072 13199 0 0 16 2 4 3 20 0 15 0 222727072 11246329856 10393 33554432000 4194304 4196468 140727764585216 140727764567760 140601042423543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
/proc/28955/statm: 2745686 10393 2974 1 0 2708109 0
[pid=28955/tid=29008] ppid=28952 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/28955/task/29008/stat : 29008 (java) R 28952 28955 25584 0 -1 4202560 3618 13199 0 0 10 1 4 3 20 0 15 0 222727082 11246329856 10393 33554432000 4194304 4196468 140727764585216 140601014236552 140601023987118 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29009] ppid=28952 vsize=10982744 memory=342 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29009/stat : 29009 (java) S 28952 28955 25584 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222727082 11246329856 10393 33554432000 4194304 4196468 140727764585216 140601046666000 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29010] ppid=28952 vsize=10982744 memory=288371008606635648 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29010/stat : 29010 (java) S 28952 28955 25584 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222727082 11246329856 10393 33554432000 4194304 4196468 140727764585216 140600927931280 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29011] ppid=28952 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29011/stat : 29011 (java) S 28952 28955 25584 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222727082 11246329856 10393 33554432000 4194304 4196468 140727764585216 140600926878736 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29012] ppid=28952 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29012/stat : 29012 (java) S 28952 28955 25584 0 -1 1077944384 2 13199 0 0 0 0 4 3 20 0 15 0 222727082 11246329856 10393 33554432000 4194304 4196468 140727764585216 140600925826192 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29013] ppid=28952 vsize=10982744 memory=140632454923904 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29013/stat : 29013 (java) S 28952 28955 25584 0 -1 1077944384 2 13199 0 0 0 0 4 3 20 0 15 0 222727084 11246329856 10393 33554432000 4194304 4196468 140727764585216 140600535529456 140601042434690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29014] ppid=28952 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29014/stat : 29014 (java) S 28952 28955 25584 0 -1 1077944384 13 13199 0 0 0 0 4 3 20 0 15 0 222727084 11246329856 10393 33554432000 4194304 4196468 140727764585216 140599848068000 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29015] ppid=28952 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29015/stat : 29015 (java) S 28952 28955 25584 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222727085 11246329856 10393 33554432000 4194304 4196468 140727764585216 140599646741488 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29016] ppid=28952 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29016/stat : 29016 (java) S 28952 28955 25584 0 -1 1077944384 3 13199 0 0 0 0 4 3 20 0 15 0 222727087 11246329856 10393 33554432000 4194304 4196468 140727764585216 140599339342032 140601042442139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29017] ppid=28952 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28955/task/29017/stat : 29017 (java) S 28952 28955 25584 0 -1 1077944384 481 13199 0 0 1 0 4 3 20 0 15 0 222727087 11246329856 10393 33554432000 4194304 4196468 140727764585216 140600534477296 140601042434690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29018] ppid=28952 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29018/stat : 29018 (java) S 28952 28955 25584 0 -1 1077944384 141 13199 0 0 0 0 4 3 20 0 15 0 222727087 11246329856 10393 33554432000 4194304 4196468 140727764585216 140600533424752 140601042434690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29019] ppid=28952 vsize=10982744 memory=140632454923904 CPUtime=0.1 cores=0,2,4,6
/proc/28955/task/29019/stat : 29019 (java) S 28952 28955 25584 0 -1 1077944384 612 13199 0 0 3 0 4 3 20 0 15 0 222727087 11246329856 10393 33554432000 4194304 4196468 140727764585216 140600532372208 140601042434690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29020] ppid=28952 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29020/stat : 29020 (java) S 28952 28955 25584 0 -1 1077944384 3 13199 0 0 0 0 4 3 20 0 15 0 222727088 11246329856 10393 33554432000 4194304 4196468 140727764585216 140598908546144 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29021] ppid=28952 vsize=10982744 memory=140632454923904 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29021/stat : 29021 (java) S 28952 28955 25584 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222727088 11246329856 10393 33554432000 4194304 4196468 140727764585216 140600531319088 140601042434690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 41572 KiB

[startup+0.309996 s]*
/proc/loadavg: 1.56 1.42 1.40 4/215 29021
/proc/meminfo: memFree=14886752/32770624 swapFree=67108844/67108860
[pid=28955] ppid=28952 vsize=10983192 memory=53372 CPUtime=0.37 cores=0,2,4,6
/proc/28955/stat : 28955 (java) S 28952 28955 25584 0 -1 1077944320 9843 13199 0 0 27 3 4 3 20 0 15 0 222727072 11246788608 13343 33554432000 4194304 4196468 140727764585216 140727764567760 140601042423543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
/proc/28955/statm: 2745798 13343 3093 1 0 2708109 0
[pid=28955/tid=29008] ppid=28952 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/28955/task/29008/stat : 29008 (java) R 28952 28955 25584 0 -1 4202560 6378 13199 0 0 19 2 4 3 20 0 15 0 222727082 11246788608 13343 33554432000 4194304 4196468 140727764585216 140601014235552 140601023988513 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29009] ppid=28952 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29009/stat : 29009 (java) S 28952 28955 25584 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222727082 11246788608 13343 33554432000 4194304 4196468 140727764585216 140601046666000 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29010] ppid=28952 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29010/stat : 29010 (java) S 28952 28955 25584 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222727082 11246788608 13343 33554432000 4194304 4196468 140727764585216 140600927931280 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29011] ppid=28952 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29011/stat : 29011 (java) S 28952 28955 25584 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222727082 11246788608 13343 33554432000 4194304 4196468 140727764585216 140600926878736 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29012] ppid=28952 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29012/stat : 29012 (java) S 28952 28955 25584 0 -1 1077944384 2 13199 0 0 0 0 4 3 20 0 15 0 222727082 11246788608 13343 33554432000 4194304 4196468 140727764585216 140600925826192 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29013] ppid=28952 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29013/stat : 29013 (java) S 28952 28955 25584 0 -1 1077944384 2 13199 0 0 0 0 4 3 20 0 15 0 222727084 11246788608 13343 33554432000 4194304 4196468 140727764585216 140600535529456 140601042434690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29014] ppid=28952 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29014/stat : 29014 (java) S 28952 28955 25584 0 -1 1077944384 13 13199 0 0 0 0 4 3 20 0 15 0 222727084 11246788608 13343 33554432000 4194304 4196468 140727764585216 140599848068000 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29015] ppid=28952 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29015/stat : 29015 (java) S 28952 28955 25584 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222727085 11246788608 13343 33554432000 4194304 4196468 140727764585216 140599646741488 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29016] ppid=28952 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29016/stat : 29016 (java) S 28952 28955 25584 0 -1 1077944384 3 13199 0 0 0 0 4 3 20 0 15 0 222727087 11246788608 13343 33554432000 4194304 4196468 140727764585216 140599339342032 140601042442139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29017] ppid=28952 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28955/task/29017/stat : 29017 (java) S 28952 28955 25584 0 -1 1077944384 482 13199 0 0 1 0 4 3 20 0 15 0 222727087 11246788608 13343 33554432000 4194304 4196468 140727764585216 140600534477296 140601042434690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29018] ppid=28952 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28955/task/29018/stat : 29018 (java) S 28952 28955 25584 0 -1 1077944384 141 13199 0 0 1 0 4 3 20 0 15 0 222727087 11246788608 13343 33554432000 4194304 4196468 140727764585216 140600533424752 140601042434690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29019] ppid=28952 vsize=10983192 memory=140632454923904 CPUtime=0.11 cores=0,2,4,6
/proc/28955/task/29019/stat : 29019 (java) S 28952 28955 25584 0 -1 1077944384 622 13199 0 0 4 0 4 3 20 0 15 0 222727087 11246788608 13407 33554432000 4194304 4196468 140727764585216 140600532372208 140601042434690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29020] ppid=28952 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29020/stat : 29020 (java) S 28952 28955 25584 0 -1 1077944384 3 13199 0 0 0 0 4 3 20 0 15 0 222727088 11246788608 13407 33554432000 4194304 4196468 140727764585216 140598908546144 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29021] ppid=28952 vsize=10983192 memory=140632454923904 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29021/stat : 29021 (java) S 28952 28955 25584 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222727088 11246788608 13407 33554432000 4194304 4196468 140727764585216 140600531319088 140601042434690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 53372 KiB

[startup+0.700717 s]
/proc/loadavg: 1.56 1.42 1.40 3/215 29021
/proc/meminfo: memFree=14875264/32770624 swapFree=67108844/67108860
[pid=28955] ppid=28952 vsize=10983192 memory=88280 CPUtime=0.98 cores=0,2,4,6
/proc/28955/stat : 28955 (java) S 28952 28955 25584 0 -1 1077944320 16738 13199 0 0 86 5 4 3 20 0 15 0 222727072 11246788608 22070 33554432000 4194304 4196468 140727764585216 140727764567760 140601042423543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
/proc/28955/statm: 2745798 22070 3246 1 0 2708109 0
[pid=28955/tid=29008] ppid=28952 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/28955/task/29008/stat : 29008 (java) R 28952 28955 25584 0 -1 4202560 12223 13199 0 0 55 4 4 3 20 0 15 0 222727082 11246788608 22070 33554432000 4194304 4196468 140727764585216 140601014246544 140601023797080 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29009] ppid=28952 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29009/stat : 29009 (java) S 28952 28955 25584 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222727082 11246788608 22070 33554432000 4194304 4196468 140727764585216 140601046666000 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29010] ppid=28952 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29010/stat : 29010 (java) S 28952 28955 25584 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222727082 11246788608 22070 33554432000 4194304 4196468 140727764585216 140600927931280 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29011] ppid=28952 vsize=10983192 memory=140632328909584 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29011/stat : 29011 (java) S 28952 28955 25584 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222727082 11246788608 22070 33554432000 4194304 4196468 140727764585216 140600926878736 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29012] ppid=28952 vsize=10983192 memory=140634409140820 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29012/stat : 29012 (java) S 28952 28955 25584 0 -1 1077944384 2 13199 0 0 0 0 4 3 20 0 15 0 222727082 11246788608 22070 33554432000 4194304 4196468 140727764585216 140600925826192 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29013] ppid=28952 vsize=10983192 memory=5776 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29013/stat : 29013 (java) S 28952 28955 25584 0 -1 1077944384 6 13199 0 0 0 0 4 3 20 0 15 0 222727084 11246788608 22070 33554432000 4194304 4196468 140727764585216 140600535529456 140601042434690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29014] ppid=28952 vsize=10983192 memory=7662705889289527641 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29014/stat : 29014 (java) S 28952 28955 25584 0 -1 1077944384 13 13199 0 0 0 0 4 3 20 0 15 0 222727084 11246788608 22070 33554432000 4194304 4196468 140727764585216 140599848068000 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29015] ppid=28952 vsize=10983192 memory=6082220498109623144 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29015/stat : 29015 (java) S 28952 28955 25584 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222727085 11246788608 22070 33554432000 4194304 4196468 140727764585216 140599646741488 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29016] ppid=28952 vsize=10983192 memory=12708 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29016/stat : 29016 (java) S 28952 28955 25584 0 -1 1077944384 3 13199 0 0 0 0 4 3 20 0 15 0 222727087 11246788608 22070 33554432000 4194304 4196468 140727764585216 140599339342032 140601042442139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29017] ppid=28952 vsize=10983192 memory=33324 CPUtime=0.17 cores=0,2,4,6
/proc/28955/task/29017/stat : 29017 (java) S 28952 28955 25584 0 -1 1077944384 1036 13199 0 0 10 0 4 3 20 0 15 0 222727087 11246788608 22070 33554432000 4194304 4196468 140727764585216 140600534477296 140601042434690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29018] ppid=28952 vsize=10983192 memory=2324 CPUtime=0.13 cores=0,2,4,6
/proc/28955/task/29018/stat : 29018 (java) S 28952 28955 25584 0 -1 1077944384 539 13199 0 0 6 0 4 3 20 0 15 0 222727087 11246788608 22070 33554432000 4194304 4196468 140727764585216 140600533424752 140601042434690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29019] ppid=28952 vsize=10983192 memory=1584 CPUtime=0.2 cores=0,2,4,6
/proc/28955/task/29019/stat : 29019 (java) S 28952 28955 25584 0 -1 1077944384 716 13199 0 0 13 0 4 3 20 0 15 0 222727087 11246788608 22070 33554432000 4194304 4196468 140727764585216 140600532372208 140601042434690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29020] ppid=28952 vsize=10983192 memory=496 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29020/stat : 29020 (java) S 28952 28955 25584 0 -1 1077944384 3 13199 0 0 0 0 4 3 20 0 15 0 222727088 11246788608 22070 33554432000 4194304 4196468 140727764585216 140598908546144 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29021] ppid=28952 vsize=10983192 memory=928 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29021/stat : 29021 (java) S 28952 28955 25584 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222727088 11246788608 22070 33554432000 4194304 4196468 140727764585216 140600531319088 140601042434690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88280 KiB

[startup+1.50162 s]
/proc/loadavg: 1.56 1.42 1.40 3/215 29021
/proc/meminfo: memFree=14830772/32770624 swapFree=67108844/67108860
[pid=28955] ppid=28952 vsize=10991948 memory=198096 CPUtime=3.03 cores=0,2,4,6
/proc/28955/stat : 28955 (java) S 28952 28955 25584 0 -1 1077944320 23027 13199 0 0 287 9 4 3 20 0 15 0 222727072 11255754752 49524 33554432000 4194304 4196468 140727764585216 140727764567760 140601042423543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
/proc/28955/statm: 2747987 49524 3449 1 0 2709645 0
[pid=28955/tid=29008] ppid=28952 vsize=10991948 memory=65180 CPUtime=1.44 cores=0,2,4,6
/proc/28955/task/29008/stat : 29008 (java) R 28952 28955 25584 0 -1 4202560 14959 13199 0 0 131 6 4 3 20 0 15 0 222727082 11255754752 49524 33554432000 4194304 4196468 140727764585216 140601014254248 140600607180736 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29009] ppid=28952 vsize=10991948 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29009/stat : 29009 (java) S 28952 28955 25584 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222727082 11255754752 49524 33554432000 4194304 4196468 140727764585216 140601046666000 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29010] ppid=28952 vsize=10991948 memory=281264657850528 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29010/stat : 29010 (java) S 28952 28955 25584 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222727082 11255754752 49524 33554432000 4194304 4196468 140727764585216 140600927931280 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29011] ppid=28952 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29011/stat : 29011 (java) S 28952 28955 25584 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222727082 11255754752 49524 33554432000 4194304 4196468 140727764585216 140600926878736 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29012] ppid=28952 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29012/stat : 29012 (java) S 28952 28955 25584 0 -1 1077944384 2 13199 0 0 0 0 4 3 20 0 15 0 222727082 11255754752 49524 33554432000 4194304 4196468 140727764585216 140600925826192 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29013] ppid=28952 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29013/stat : 29013 (java) S 28952 28955 25584 0 -1 1077944384 7 13199 0 0 0 0 4 3 20 0 15 0 222727084 11255754752 49524 33554432000 4194304 4196468 140727764585216 140600535529456 140601042434690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29014] ppid=28952 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29014/stat : 29014 (java) S 28952 28955 25584 0 -1 1077944384 13 13199 0 0 0 0 4 3 20 0 15 0 222727084 11255754752 49524 33554432000 4194304 4196468 140727764585216 140599848068000 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29015] ppid=28952 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29015/stat : 29015 (java) S 28952 28955 25584 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222727085 11255754752 49524 33554432000 4194304 4196468 140727764585216 140599646741488 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29016] ppid=28952 vsize=10991948 memory=-2746958450906831424 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29016/stat : 29016 (java) S 28952 28955 25584 0 -1 1077944384 3 13199 0 0 0 0 4 3 20 0 15 0 222727087 11255754752 49524 33554432000 4194304 4196468 140727764585216 140599339342032 140601042442139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29017] ppid=28952 vsize=10991948 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/28955/task/29017/stat : 29017 (java) R 28952 28955 25584 0 -1 4202560 2396 13199 0 0 59 0 4 3 20 0 15 0 222727087 11255754752 49524 33554432000 4194304 4196468 140727764585216 140600534463664 140601025955123 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29018] ppid=28952 vsize=10991948 memory=10 CPUtime=0.6 cores=0,2,4,6
/proc/28955/task/29018/stat : 29018 (java) R 28952 28955 25584 0 -1 4202560 2040 13199 0 0 53 0 4 3 20 0 15 0 222727087 11255754752 49524 33554432000 4194304 4196468 140727764585216 140600533410632 140601023967777 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29019] ppid=28952 vsize=10991948 memory=6791534058613427641 CPUtime=0.47 cores=0,2,4,6
/proc/28955/task/29019/stat : 29019 (java) S 28952 28955 25584 0 -1 1077944384 1408 13199 0 0 40 0 4 3 20 0 15 0 222727087 11255754752 49524 33554432000 4194304 4196468 140727764585216 140600532372208 140601042434690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29020] ppid=28952 vsize=10991948 memory=4638778398332698720 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29020/stat : 29020 (java) S 28952 28955 25584 0 -1 1077944384 3 13199 0 0 0 0 4 3 20 0 15 0 222727088 11255754752 49524 33554432000 4194304 4196468 140727764585216 140598908546144 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29021] ppid=28952 vsize=10991948 memory=281264658094976 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29021/stat : 29021 (java) S 28952 28955 25584 0 -1 1077944384 1 13199 0 0 0 0 4 3 20 0 15 0 222727088 11255754752 49524 33554432000 4194304 4196468 140727764585216 140600531319088 140601042434690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 10991948 KiB

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

/proc/28955/task/29008/stat : 29008 (java) R 28952 28955 25584 0 -1 4202560 1014042 13199 0 0 214169 175 4 3 20 0 15 0 222727082 11343855616 1338679 33554432000 4194304 4196468 140727764585216 140601014257520 140600613158174 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29009] ppid=28952 vsize=11077984 memory=5354708 CPUtime=55.41 cores=0,2,4,6
/proc/28955/task/29009/stat : 29009 (java) S 28952 28955 25584 0 -1 1077944384 455760 13199 0 0 4921 613 4 3 20 0 15 0 222727082 11343855616 1338679 33554432000 4194304 4196468 140727764585216 140601046666000 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29010] ppid=28952 vsize=11077984 memory=5354716 CPUtime=55.72 cores=0,2,4,6
/proc/28955/task/29010/stat : 29010 (java) S 28952 28955 25584 0 -1 1077944384 468924 13199 0 0 4943 622 4 3 20 0 15 0 222727082 11343855616 1338679 33554432000 4194304 4196468 140727764585216 140600927931280 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29011] ppid=28952 vsize=11077984 memory=5351496 CPUtime=55.48 cores=0,2,4,6
/proc/28955/task/29011/stat : 29011 (java) S 28952 28955 25584 0 -1 1077944384 461402 13199 0 0 4949 592 4 3 20 0 15 0 222727082 11343855616 1338679 33554432000 4194304 4196468 140727764585216 140600926878736 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29012] ppid=28952 vsize=11077984 memory=5350612 CPUtime=55.41 cores=0,2,4,6
/proc/28955/task/29012/stat : 29012 (java) S 28952 28955 25584 0 -1 1077944384 455762 13199 0 0 4936 598 4 3 20 0 15 0 222727082 11343855616 1338679 33554432000 4194304 4196468 140727764585216 140600925826192 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29013] ppid=28952 vsize=11077984 memory=5350612 CPUtime=2.62 cores=0,2,4,6
/proc/28955/task/29013/stat : 29013 (java) S 28952 28955 25584 0 -1 1077944384 60125 13199 0 0 244 11 4 3 20 0 15 0 222727084 11343855616 1338679 33554432000 4194304 4196468 140727764585216 140600535529456 140601042434690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29014] ppid=28952 vsize=11077984 memory=5354716 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29014/stat : 29014 (java) S 28952 28955 25584 0 -1 1077944384 22 13199 0 0 0 0 4 3 20 0 15 0 222727084 11343855616 1338679 33554432000 4194304 4196468 140727764585216 140599848068064 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29015] ppid=28952 vsize=11077984 memory=5354708 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29015/stat : 29015 (java) S 28952 28955 25584 0 -1 1077944384 3 13199 0 0 0 0 4 3 20 0 15 0 222727085 11343855616 1338679 33554432000 4194304 4196468 140727764585216 140599646741504 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29016] ppid=28952 vsize=11077984 memory=5354716 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29016/stat : 29016 (java) S 28952 28955 25584 0 -1 1077944384 3 13199 0 0 0 0 4 3 20 0 15 0 222727087 11343855616 1338679 33554432000 4194304 4196468 140727764585216 140599339342032 140601042442139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29017] ppid=28952 vsize=11077984 memory=496 CPUtime=10.22 cores=0,2,4,6
/proc/28955/task/29017/stat : 29017 (java) S 28952 28955 25584 0 -1 1077944384 55061 13199 0 0 1010 5 4 3 20 0 15 0 222727087 11343855616 1338679 33554432000 4194304 4196468 140727764585216 140600534477296 140601042434690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29018] ppid=28952 vsize=11077984 memory=6791534058613427641 CPUtime=11.1 cores=0,2,4,6
/proc/28955/task/29018/stat : 29018 (java) S 28952 28955 25584 0 -1 1077944384 58047 13199 0 0 1094 9 4 3 20 0 15 0 222727087 11343855616 1338679 33554432000 4194304 4196468 140727764585216 140600533424752 140601042434690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29019] ppid=28952 vsize=11077984 memory=1256 CPUtime=2.88 cores=0,2,4,6
/proc/28955/task/29019/stat : 29019 (java) S 28952 28955 25584 0 -1 1077944384 86622 13199 0 0 272 9 4 3 20 0 15 0 222727087 11343855616 1338679 33554432000 4194304 4196468 140727764585216 140600532372208 140601042434690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29020] ppid=28952 vsize=11077984 memory=5354708 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29020/stat : 29020 (java) S 28952 28955 25584 0 -1 1077944384 3 13199 0 0 0 0 4 3 20 0 15 0 222727088 11343855616 1338679 33554432000 4194304 4196468 140727764585216 140598908546144 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29021] ppid=28952 vsize=11077984 memory=1240 CPUtime=1.41 cores=0,2,4,6
/proc/28955/task/29021/stat : 29021 (java) S 28952 28955 25584 0 -1 1077944384 2809 13199 0 0 68 66 4 3 20 0 15 0 222727088 11343855616 1338679 33554432000 4194304 4196468 140727764585216 140600531319088 140601042434690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
Current children cumulated CPU time: 2393.23 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 5354716 KiB

[startup+2262.3 s]
/proc/loadavg: 1.69 1.77 1.69 3/217 29497
/proc/meminfo: memFree=9896940/32770624 swapFree=67108844/67108860
[pid=28955] ppid=28952 vsize=11077984 memory=5384844 CPUtime=2453.57 cores=0,2,4,6
/proc/28955/stat : 28955 (java) S 28952 28955 25584 0 -1 1077944320 3161101 13199 0 0 242659 2691 4 3 20 0 15 0 222727072 11343855616 1346211 33554432000 4194304 4196468 140727764585216 140727764567760 140601042423543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
/proc/28955/statm: 2769496 1346211 3539 1 0 2731149 0
[pid=28955/tid=29008] ppid=28952 vsize=11077984 memory=5384844 CPUtime=2203.41 cores=0,2,4,6
/proc/28955/task/29008/stat : 29008 (java) R 28952 28955 25584 0 -1 4202560 1043990 13199 0 0 220156 178 4 3 20 0 15 0 222727082 11343855616 1346211 33554432000 4194304 4196468 140727764585216 140601014258240 140600619763947 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29009] ppid=28952 vsize=11077984 memory=5380736 CPUtime=55.5 cores=0,2,4,6
/proc/28955/task/29009/stat : 29009 (java) S 28952 28955 25584 0 -1 1077944384 457601 13199 0 0 4930 613 4 3 20 0 15 0 222727082 11343855616 1346211 33554432000 4194304 4196468 140727764585216 140601046666000 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29010] ppid=28952 vsize=11077984 memory=5384844 CPUtime=55.81 cores=0,2,4,6
/proc/28955/task/29010/stat : 29010 (java) S 28952 28955 25584 0 -1 1077944384 472756 13199 0 0 4952 622 4 3 20 0 15 0 222727082 11343855616 1346211 33554432000 4194304 4196468 140727764585216 140600927931280 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29011] ppid=28952 vsize=11077984 memory=4140 CPUtime=55.59 cores=0,2,4,6
/proc/28955/task/29011/stat : 29011 (java) S 28952 28955 25584 0 -1 1077944384 463532 13199 0 0 4959 593 4 3 20 0 15 0 222727082 11343855616 1346211 33554432000 4194304 4196468 140727764585216 140600926878736 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29012] ppid=28952 vsize=11077984 memory=5380736 CPUtime=55.51 cores=0,2,4,6
/proc/28955/task/29012/stat : 29012 (java) S 28952 28955 25584 0 -1 1077944384 457889 13199 0 0 4945 599 4 3 20 0 15 0 222727082 11343855616 1346211 33554432000 4194304 4196468 140727764585216 140600925826192 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29013] ppid=28952 vsize=11077984 memory=5380736 CPUtime=2.62 cores=0,2,4,6
/proc/28955/task/29013/stat : 29013 (java) S 28952 28955 25584 0 -1 1077944384 60524 13199 0 0 244 11 4 3 20 0 15 0 222727084 11343855616 1346211 33554432000 4194304 4196468 140727764585216 140600535529456 140601042434690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29014] ppid=28952 vsize=11077984 memory=5384844 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29014/stat : 29014 (java) S 28952 28955 25584 0 -1 1077944384 22 13199 0 0 0 0 4 3 20 0 15 0 222727084 11343855616 1346211 33554432000 4194304 4196468 140727764585216 140599848068064 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29015] ppid=28952 vsize=11077984 memory=1504 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29015/stat : 29015 (java) S 28952 28955 25584 0 -1 1077944384 3 13199 0 0 0 0 4 3 20 0 15 0 222727085 11343855616 1346211 33554432000 4194304 4196468 140727764585216 140599646741504 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29016] ppid=28952 vsize=11077984 memory=648 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29016/stat : 29016 (java) S 28952 28955 25584 0 -1 1077944384 3 13199 0 0 0 0 4 3 20 0 15 0 222727087 11343855616 1346211 33554432000 4194304 4196468 140727764585216 140599339342032 140601042442139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29017] ppid=28952 vsize=11077984 memory=1099 CPUtime=10.22 cores=0,2,4,6
/proc/28955/task/29017/stat : 29017 (java) S 28952 28955 25584 0 -1 1077944384 55063 13199 0 0 1010 5 4 3 20 0 15 0 222727087 11343855616 1346211 33554432000 4194304 4196468 140727764585216 140600534477296 140601042434690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29018] ppid=28952 vsize=11077984 memory=5384844 CPUtime=11.1 cores=0,2,4,6
/proc/28955/task/29018/stat : 29018 (java) S 28952 28955 25584 0 -1 1077944384 58050 13199 0 0 1094 9 4 3 20 0 15 0 222727087 11343855616 1346211 33554432000 4194304 4196468 140727764585216 140600533424752 140601042434690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29019] ppid=28952 vsize=11077984 memory=5380736 CPUtime=2.88 cores=0,2,4,6
/proc/28955/task/29019/stat : 29019 (java) S 28952 28955 25584 0 -1 1077944384 86625 13199 0 0 272 9 4 3 20 0 15 0 222727087 11343855616 1346211 33554432000 4194304 4196468 140727764585216 140600532372208 140601042434690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29020] ppid=28952 vsize=11077984 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29020/stat : 29020 (java) S 28952 28955 25584 0 -1 1077944384 3 13199 0 0 0 0 4 3 20 0 15 0 222727088 11343855616 1346211 33554432000 4194304 4196468 140727764585216 140598908546144 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29021] ppid=28952 vsize=11077984 memory=1404 CPUtime=1.44 cores=0,2,4,6
/proc/28955/task/29021/stat : 29021 (java) S 28952 28955 25584 0 -1 1077944384 2848 13199 0 0 69 68 4 3 20 0 15 0 222727088 11343855616 1346211 33554432000 4194304 4196468 140727764585216 140600531319088 140601042434690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
Current children cumulated CPU time: 2453.57 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 5384844 KiB

[startup+2322.3 s]
/proc/loadavg: 1.81 1.78 1.70 3/216 29498
/proc/meminfo: memFree=9862508/32770624 swapFree=67108844/67108860
[pid=28955] ppid=28952 vsize=11077984 memory=5414244 CPUtime=2513.91 cores=0,2,4,6
/proc/28955/stat : 28955 (java) S 28952 28955 25584 0 -1 1077944320 3218734 13199 0 0 248687 2697 4 3 20 0 15 0 222727072 11343855616 1353561 33554432000 4194304 4196468 140727764585216 140727764567760 140601042423543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
/proc/28955/statm: 2769496 1353561 3539 1 0 2731149 0
[pid=28955/tid=29008] ppid=28952 vsize=11077984 memory=5401936 CPUtime=2263.27 cores=0,2,4,6
/proc/28955/task/29008/stat : 29008 (java) R 28952 28955 25584 0 -1 4202560 1090131 13199 0 0 226139 181 4 3 20 0 15 0 222727082 11343855616 1353561 33554432000 4194304 4196468 140727764585216 140601014257880 140600616775655 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29009] ppid=28952 vsize=11077984 memory=5414244 CPUtime=55.62 cores=0,2,4,6
/proc/28955/task/29009/stat : 29009 (java) S 28952 28955 25584 0 -1 1077944384 459909 13199 0 0 4941 614 4 3 20 0 15 0 222727082 11343855616 1353561 33554432000 4194304 4196468 140727764585216 140601046666000 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29010] ppid=28952 vsize=11077984 memory=5414244 CPUtime=55.93 cores=0,2,4,6
/proc/28955/task/29010/stat : 29010 (java) S 28952 28955 25584 0 -1 1077944384 474873 13199 0 0 4963 623 4 3 20 0 15 0 222727082 11343855616 1353561 33554432000 4194304 4196468 140727764585216 140600927931280 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29011] ppid=28952 vsize=11077984 memory=5414244 CPUtime=55.69 cores=0,2,4,6
/proc/28955/task/29011/stat : 29011 (java) S 28952 28955 25584 0 -1 1077944384 465570 13199 0 0 4969 593 4 3 20 0 15 0 222727082 11343855616 1353561 33554432000 4194304 4196468 140727764585216 140600926878736 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29012] ppid=28952 vsize=11077984 memory=140632329298049 CPUtime=55.62 cores=0,2,4,6
/proc/28955/task/29012/stat : 29012 (java) S 28952 28955 25584 0 -1 1077944384 461307 13199 0 0 4955 600 4 3 20 0 15 0 222727082 11343855616 1353561 33554432000 4194304 4196468 140727764585216 140600925826192 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29013] ppid=28952 vsize=11077984 memory=5414244 CPUtime=2.63 cores=0,2,4,6
/proc/28955/task/29013/stat : 29013 (java) S 28952 28955 25584 0 -1 1077944384 60913 13199 0 0 245 11 4 3 20 0 15 0 222727084 11343855616 1353561 33554432000 4194304 4196468 140727764585216 140600535529456 140601042434690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29014] ppid=28952 vsize=11077984 memory=5414244 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29014/stat : 29014 (java) S 28952 28955 25584 0 -1 1077944384 22 13199 0 0 0 0 4 3 20 0 15 0 222727084 11343855616 1353561 33554432000 4194304 4196468 140727764585216 140599848068064 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29015] ppid=28952 vsize=11077984 memory=5414244 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29015/stat : 29015 (java) S 28952 28955 25584 0 -1 1077944384 3 13199 0 0 0 0 4 3 20 0 15 0 222727085 11343855616 1353561 33554432000 4194304 4196468 140727764585216 140599646741504 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29016] ppid=28952 vsize=11077984 memory=5414244 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29016/stat : 29016 (java) S 28952 28955 25584 0 -1 1077944384 3 13199 0 0 0 0 4 3 20 0 15 0 222727087 11343855616 1353561 33554432000 4194304 4196468 140727764585216 140599339342032 140601042442139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29017] ppid=28952 vsize=11077984 memory=4140 CPUtime=10.22 cores=0,2,4,6
/proc/28955/task/29017/stat : 29017 (java) S 28952 28955 25584 0 -1 1077944384 55065 13199 0 0 1010 5 4 3 20 0 15 0 222727087 11343855616 1353561 33554432000 4194304 4196468 140727764585216 140600534477296 140601042434690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29018] ppid=28952 vsize=11077984 memory=5414244 CPUtime=11.1 cores=0,2,4,6
/proc/28955/task/29018/stat : 29018 (java) S 28952 28955 25584 0 -1 1077944384 58053 13199 0 0 1094 9 4 3 20 0 15 0 222727087 11343855616 1353561 33554432000 4194304 4196468 140727764585216 140600533424752 140601042434690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29019] ppid=28952 vsize=11077984 memory=5414244 CPUtime=2.88 cores=0,2,4,6
/proc/28955/task/29019/stat : 29019 (java) S 28952 28955 25584 0 -1 1077944384 87805 13199 0 0 272 9 4 3 20 0 15 0 222727087 11343855616 1353561 33554432000 4194304 4196468 140727764585216 140600532372208 140601042434690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29020] ppid=28952 vsize=11077984 memory=804 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29020/stat : 29020 (java) S 28952 28955 25584 0 -1 1077944384 3 13199 0 0 0 0 4 3 20 0 15 0 222727088 11343855616 1353561 33554432000 4194304 4196468 140727764585216 140598908546144 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29021] ppid=28952 vsize=11077984 memory=1796 CPUtime=1.47 cores=0,2,4,6
/proc/28955/task/29021/stat : 29021 (java) S 28952 28955 25584 0 -1 1077944384 2885 13199 0 0 70 70 4 3 20 0 15 0 222727088 11343855616 1353561 33554432000 4194304 4196468 140727764585216 140600531319088 140601042434690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
Current children cumulated CPU time: 2513.91 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 5414244 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2328.4 s]
/proc/loadavg: 1.83 1.79 1.70 3/215 29498
/proc/meminfo: memFree=9857240/32770624 swapFree=67108844/67108860
[pid=28955] ppid=28952 vsize=11077984 memory=5416304 CPUtime=2520.04 cores=0,2,4,6
/proc/28955/stat : 28955 (java) S 28952 28955 25584 0 -1 1077944320 3226661 13199 0 0 249299 2698 4 3 20 0 15 0 222727072 11343855616 1354076 33554432000 4194304 4196468 140727764585216 140727764567760 140601042423543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
/proc/28955/statm: 2769496 1354076 3539 1 0 2731149 0
[pid=28955/tid=29008] ppid=28952 vsize=11077984 memory=14568 CPUtime=2269.36 cores=0,2,4,6
/proc/28955/task/29008/stat : 29008 (java) R 28952 28955 25584 0 -1 4202560 1097999 13199 0 0 226748 181 4 3 20 0 15 0 222727082 11343855616 1354076 33554432000 4194304 4196468 140727764585216 140601014258448 140600621932476 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29009] ppid=28952 vsize=11077984 memory=12708 CPUtime=55.62 cores=0,2,4,6
/proc/28955/task/29009/stat : 29009 (java) S 28952 28955 25584 0 -1 1077944384 459909 13199 0 0 4941 614 4 3 20 0 15 0 222727082 11343855616 1354076 33554432000 4194304 4196468 140727764585216 140601046666000 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29010] ppid=28952 vsize=11077984 memory=33356 CPUtime=55.94 cores=0,2,4,6
/proc/28955/task/29010/stat : 29010 (java) S 28952 28955 25584 0 -1 1077944384 474874 13199 0 0 4964 623 4 3 20 0 15 0 222727082 11343855616 1354076 33554432000 4194304 4196468 140727764585216 140600927931280 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29011] ppid=28952 vsize=11077984 memory=2324 CPUtime=55.7 cores=0,2,4,6
/proc/28955/task/29011/stat : 29011 (java) S 28952 28955 25584 0 -1 1077944384 465570 13199 0 0 4970 593 4 3 20 0 15 0 222727082 11343855616 1354076 33554432000 4194304 4196468 140727764585216 140600926878736 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29012] ppid=28952 vsize=11077984 memory=1584 CPUtime=55.63 cores=0,2,4,6
/proc/28955/task/29012/stat : 29012 (java) S 28952 28955 25584 0 -1 1077944384 461308 13199 0 0 4956 600 4 3 20 0 15 0 222727082 11343855616 1354076 33554432000 4194304 4196468 140727764585216 140600925826192 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29013] ppid=28952 vsize=11077984 memory=496 CPUtime=2.63 cores=0,2,4,6
/proc/28955/task/29013/stat : 29013 (java) S 28952 28955 25584 0 -1 1077944384 60920 13199 0 0 245 11 4 3 20 0 15 0 222727084 11343855616 1354076 33554432000 4194304 4196468 140727764585216 140600535529456 140601042434690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29014] ppid=28952 vsize=11077984 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29014/stat : 29014 (java) S 28952 28955 25584 0 -1 1077944384 22 13199 0 0 0 0 4 3 20 0 15 0 222727084 11343855616 1354076 33554432000 4194304 4196468 140727764585216 140599848068064 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29015] ppid=28952 vsize=11077984 memory=14568 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29015/stat : 29015 (java) S 28952 28955 25584 0 -1 1077944384 3 13199 0 0 0 0 4 3 20 0 15 0 222727085 11343855616 1354076 33554432000 4194304 4196468 140727764585216 140599646741504 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29016] ppid=28952 vsize=11077984 memory=12708 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29016/stat : 29016 (java) S 28952 28955 25584 0 -1 1077944384 3 13199 0 0 0 0 4 3 20 0 15 0 222727087 11343855616 1354076 33554432000 4194304 4196468 140727764585216 140599339342032 140601042442139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29017] ppid=28952 vsize=11077984 memory=33356 CPUtime=10.22 cores=0,2,4,6
/proc/28955/task/29017/stat : 29017 (java) S 28952 28955 25584 0 -1 1077944384 55068 13199 0 0 1010 5 4 3 20 0 15 0 222727087 11343855616 1354076 33554432000 4194304 4196468 140727764585216 140600534477296 140601042434690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29018] ppid=28952 vsize=11077984 memory=2324 CPUtime=11.1 cores=0,2,4,6
/proc/28955/task/29018/stat : 29018 (java) S 28952 28955 25584 0 -1 1077944384 58061 13199 0 0 1094 9 4 3 20 0 15 0 222727087 11343855616 1354076 33554432000 4194304 4196468 140727764585216 140600533424752 140601042434690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29019] ppid=28952 vsize=11077984 memory=1584 CPUtime=2.88 cores=0,2,4,6
/proc/28955/task/29019/stat : 29019 (java) S 28952 28955 25584 0 -1 1077944384 87809 13199 0 0 272 9 4 3 20 0 15 0 222727087 11343855616 1354076 33554432000 4194304 4196468 140727764585216 140600532372208 140601042434690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29020] ppid=28952 vsize=11077984 memory=496 CPUtime=0.07 cores=0,2,4,6
/proc/28955/task/29020/stat : 29020 (java) S 28952 28955 25584 0 -1 1077944384 3 13199 0 0 0 0 4 3 20 0 15 0 222727088 11343855616 1354076 33554432000 4194304 4196468 140727764585216 140598908546144 140601042433749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
[pid=28955/tid=29021] ppid=28952 vsize=11077984 memory=928 CPUtime=1.48 cores=0,2,4,6
/proc/28955/task/29021/stat : 29021 (java) S 28952 28955 25584 0 -1 1077944384 2920 13199 0 0 70 71 4 3 20 0 15 0 222727088 11343855616 1354076 33554432000 4194304 4196468 140727764585216 140600531319088 140601042434690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23506944 140727764589164 140727764591964 140727764591964 140727764594639 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 5416304 KiB

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

[startup+2328.47 s]
# the end of solver process 28955 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2493.07 s, system=27.0752 s

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

Child status: 143
Real time (s): 2328.47
CPU time (s): 2520.14
CPU user time (s): 2493.07
CPU system time (s): 27.0752
CPU usage (%): 108.232
Max. virtual memory (cumulated for all children) (KiB): 11077984
Max. memory (cumulated for all children) (KiB): 5598660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2493.07
system time used= 27.0752
maximum resident set size= 5598660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3244135
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107645
involuntary context switches= 5596


# summary of solver processes directly reported to runsolver:
#   pid: 28955
#   total CPU time (s): 2520.14
#   total CPU user time (s): 2493.07
#   total CPU system time (s): 27.0752

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1611 second user time and 22.3089 second system time

The end

Launcher Data 

Begin job on node136 at 2018-08-12 07:27:19
IDJOB=4304257
IDBENCH=141141
IDSOLVER=2780
FILE ID=node136/4304257-1534051639
RUNJOBID= node136-1534039158-26715
PBS_JOBID= 21036973
Free space on /tmp= 35304 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/GraphColoring/GraphColoring-4-fullins-5_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304257-1534051639/watcher-4304257-1534051639 -o /tmp/evaluation-result-4304257-1534051639/solver-4304257-1534051639 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534039158-26715 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=1877346291 HOME/instance-4304257-1534051639.xml

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

MD5SUM BENCH= 95ec92f657fea8ce6e93e6f35592ce49
RANDOM SEED=1877346291

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        14927792 kB
MemAvailable:   29967480 kB
Buffers:          241228 kB
Cached:         14894608 kB
SwapCached:            8 kB
Active:          9198292 kB
Inactive:        7925920 kB
Active(anon):    1939208 kB
Inactive(anon):   101656 kB
Active(file):    7259084 kB
Inactive(file):  7824264 kB
Unevictable:        7296 kB
Mlocked:            7296 kB
SwapTotal:      67108860 kB
SwapFree:       67108844 kB
Dirty:             29368 kB
Writeback:             0 kB
AnonPages:       1995676 kB
Mapped:            65516 kB
Shmem:             49788 kB
Slab:             412888 kB
SReclaimable:     384800 kB
SUnreclaim:        28088 kB
KernelStack:        3488 kB
PageTables:         9724 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3055884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1769472 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 35280 MiB
End job on node136 at 2018-08-12 08:06:08