Trace number 4396301

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.12.2SAT (TO)33 2520.07 2484.63

General information on the benchmark

NameGraphColoring/GraphColoring-m1-fixed/
GraphColoring-qwhopt-o33-h381-bal-1.xml
MD5SUM2a724879a45d3456306f221189212969
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark33
Best CPU time to get the best result obtained on this benchmark2519.82
Satisfiable
(Un)Satisfiability was proved
Number of variables1089
Number of constraints34849
Number of domains1
Minimum domain size1089
Maximum domain size1089
Distribution of domain sizes[{"size":1089,"count":1089}]
Minimum variable degree65
Maximum variable degree66
Distribution of variable degrees[{"degree":65,"count":381},{"degree":66,"count":708}]
Minimum constraint arity2
Maximum constraint arity708
Distribution of constraint arities[{"arity":2,"count":34848},{"arity":708,"count":1}]
Number of extensional constraints0
Number of intensional constraints34848
Distribution of constraint types[{"type":"intension","count":34848},{"type":"instantiation","count":1}]
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.76/0.57	c Concrete v3.12.2.1568380929293 running
68.03/47.61	o 1088
69.48/48.77	o 1087
70.69/49.80	o 1086
71.82/50.88	o 1085
73.06/51.90	o 1084
74.30/52.87	o 1083
75.32/53.77	o 1082
76.39/54.79	o 1081
77.43/55.71	o 1080
78.35/56.60	o 1079
79.28/57.55	o 1078
80.19/58.41	o 1077
81.15/59.33	o 1076
82.06/60.20	o 1075
83.18/61.16	o 1074
84.14/62.06	o 1073
85.06/62.99	o 1072
85.99/63.87	o 1071
86.98/64.76	o 1070
87.99/65.66	o 1069
88.84/66.49	o 1068
89.75/67.31	o 1067
90.56/68.14	o 1066
91.49/69.02	o 1065
92.38/69.84	o 1064
93.18/70.68	o 1063
94.08/71.54	o 1062
94.98/72.44	o 1061
95.88/73.35	o 1060
96.78/74.26	o 1059
97.71/75.17	o 1058
98.71/76.13	o 1057
99.50/76.96	o 1056
100.40/77.83	o 1055
101.21/78.66	o 1054
102.14/79.51	o 1053
103.04/80.42	o 1052
103.84/81.29	o 1051
104.75/82.16	o 1050
105.67/83.07	o 1049
106.56/83.93	o 1048
107.46/84.85	o 1047
108.37/85.74	o 1046
109.28/86.61	o 1045
110.08/87.47	o 1044
110.98/88.31	o 1043
111.79/89.19	o 1042
112.69/90.07	o 1041
113.39/90.77	o 1040
114.20/91.51	o 1039
115.00/92.37	o 1038
115.91/93.24	o 1037
116.74/94.08	o 1036
117.63/94.92	o 1035
118.43/95.78	o 1034
119.34/96.62	o 1033
120.15/97.48	o 1032
121.10/98.38	o 1031
121.91/99.18	o 1030
122.93/100.12	o 1029
123.73/100.99	o 1028
124.63/101.89	o 1027
125.53/102.71	o 1026
126.33/103.50	o 1025
127.13/104.34	o 1024
127.94/105.13	o 1023
128.84/106.02	o 1022
129.63/106.84	o 1021
130.43/107.69	o 1020
131.33/108.52	o 1019
132.15/109.39	o 1018
132.96/110.19	o 1017
133.86/111.09	o 1016
134.65/111.89	o 1015
135.45/112.69	o 1014
136.25/113.47	o 1013
137.15/114.31	o 1012
137.86/115.09	o 1011
138.65/115.85	o 1010
139.47/116.60	o 1009
140.17/117.31	o 1008
140.88/118.02	o 1007
141.59/118.79	o 1006
142.30/119.47	o 1005
143.20/120.33	o 1004
144.02/121.16	o 1003
144.81/121.98	o 1002
145.71/122.83	o 1001
146.51/123.67	o 1000
147.31/124.49	o 999
148.21/125.34	o 998
149.02/126.16	o 997
149.81/126.95	o 996
150.61/127.70	o 995
151.41/128.50	o 994
152.22/129.32	o 993
152.93/130.10	o 992
153.72/130.89	o 991
154.52/131.62	o 990
155.22/132.33	o 989
156.03/133.16	o 988
156.83/134.00	o 987
157.73/134.83	o 986
158.53/135.65	o 985
159.23/136.36	o 984
160.04/137.14	o 983
160.73/137.84	o 982
161.54/138.66	o 981
162.35/139.43	o 980
163.06/140.18	o 979
163.85/140.92	o 978
164.45/141.59	o 977
165.25/142.33	o 976
165.96/143.08	o 975
166.65/143.73	o 974
167.35/144.42	o 973
167.96/145.08	o 972
168.65/145.76	o 971
169.35/146.42	o 970
169.96/147.06	o 969
170.55/147.69	o 968
171.45/148.53	o 967
172.25/149.36	o 966
173.16/150.22	o 965
173.98/151.08	o 964
174.77/151.86	o 963
175.48/152.59	o 962
176.28/153.34	o 961
176.99/154.09	o 960
177.68/154.74	o 959
178.38/155.41	o 958
178.99/156.07	o 957
179.68/156.73	o 956
180.28/157.33	o 955
180.78/157.89	o 954
181.38/158.43	o 953
181.88/159.00	o 952
182.48/159.53	o 951
182.99/160.05	o 950
183.48/160.57	o 949
184.12/161.11	o 948
184.61/161.62	o 947
185.12/162.13	o 946
185.61/162.63	o 945
186.03/163.10	o 944
186.52/163.58	o 943
187.31/164.09	o 942
187.80/164.57	o 941
188.31/165.03	o 940
188.81/165.54	o 939
189.31/166.02	o 938
189.71/166.42	o 937
190.42/167.14	o 936
191.21/167.99	o 935
192.11/168.86	o 934
192.91/169.69	o 933
193.81/170.51	o 932
194.61/171.36	o 931
195.51/172.20	o 930
196.51/173.03	o 929
197.30/173.83	o 928
198.10/174.69	o 927
199.00/175.53	o 926
199.80/176.31	o 925
200.51/177.03	o 924
201.20/177.78	o 923
202.00/178.53	o 922
202.71/179.24	o 921
203.51/180.03	o 920
204.31/180.81	o 919
205.01/181.57	o 918
205.81/182.30	o 917
206.64/183.11	o 916
207.33/183.86	o 915
208.13/184.61	o 914
208.83/185.39	o 913
209.64/186.11	o 912
210.33/186.88	o 911
211.14/187.64	o 910
211.84/188.32	o 909
212.74/189.26	o 908
213.55/190.08	o 907
214.44/190.91	o 906
215.24/191.74	o 905
216.14/192.62	o 904
216.93/193.49	o 903
217.85/194.34	o 902
218.66/195.15	o 901
219.45/195.94	o 900
220.25/196.74	o 899
221.05/197.57	o 898
221.86/198.36	o 897
222.76/199.21	o 896
223.57/200.05	o 895
224.36/200.84	o 894
225.16/201.60	o 893
225.86/202.36	o 892
226.67/203.12	o 891
227.46/203.91	o 890
228.18/204.69	o 889
228.98/205.43	o 888
229.69/206.19	o 887
230.48/206.90	o 886
231.08/207.58	o 885
231.78/208.24	o 884
232.38/208.90	o 883
233.08/209.54	o 882
233.69/210.18	o 881
234.38/210.80	o 880
234.88/211.36	o 879
235.48/211.93	o 878
235.98/212.45	o 877
236.48/212.96	o 876
236.98/213.47	o 875
237.59/214.02	o 874
237.98/214.44	o 873
238.48/214.91	o 872
239.28/215.72	o 871
240.08/216.54	o 870
240.89/217.38	o 869
241.70/218.16	o 868
242.49/218.90	o 867
243.19/219.68	o 866
244.09/220.50	o 865
244.79/221.30	o 864
245.70/222.12	o 863
246.39/222.87	o 862
247.19/223.63	o 861
248.00/224.42	o 860
248.80/225.21	o 859
249.50/225.94	o 858
250.21/226.66	o 857
251.01/227.40	o 856
251.73/228.13	o 855
252.42/228.87	o 854
253.12/229.51	o 853
253.82/230.21	o 852
254.42/230.89	o 851
255.22/231.62	o 850
255.82/232.26	o 849
256.42/232.86	o 848
257.12/233.54	o 847
257.73/234.19	o 846
258.32/234.77	o 845
258.92/235.35	o 844
259.52/235.92	o 843
260.02/236.47	o 842
260.53/236.99	o 841
261.03/237.49	o 840
261.63/238.07	o 839
262.13/238.59	o 838
262.74/239.12	o 837
263.24/239.63	o 836
263.75/240.14	o 835
264.24/240.61	o 834
264.66/241.07	o 833
265.07/241.49	o 832
265.57/241.92	o 831
265.97/242.30	o 830
266.37/242.71	o 829
266.79/243.13	o 828
267.18/243.55	o 827
267.58/243.94	o 826
267.98/244.33	o 825
268.38/244.70	o 824
268.69/245.04	o 823
268.98/245.35	o 822
269.28/245.63	o 821
269.58/245.90	o 820
269.69/246.09	o 819
269.98/246.30	o 818
270.18/246.50	o 817
270.38/246.70	o 816
270.98/247.39	o 815
271.69/248.10	o 814
272.48/248.82	o 813
273.18/249.57	o 812
273.88/250.28	o 811
274.58/251.01	o 810
275.38/251.73	o 809
276.08/252.49	o 808
276.88/253.22	o 807
277.58/253.92	o 806
278.29/254.67	o 805
279.09/255.41	o 804
279.80/256.14	o 803
280.49/256.85	o 802
281.19/257.53	o 801
281.80/258.11	o 800
282.39/258.75	o 799
282.99/259.30	o 798
283.49/259.87	o 797
284.09/260.40	o 796
284.59/260.98	o 795
285.19/261.50	o 794
285.70/262.06	o 793
286.19/262.54	o 792
286.59/262.97	o 791
287.09/263.42	o 790
287.49/263.81	o 789
287.89/264.24	o 788
288.29/264.61	o 787
288.59/265.00	o 786
288.99/265.34	o 785
289.29/265.69	o 784
289.59/265.99	o 783
289.89/266.29	o 782
290.19/266.56	o 781
290.49/266.87	o 780
290.80/267.13	o 779
291.09/267.42	o 778
291.29/267.67	o 777
291.59/267.90	o 776
291.80/268.12	o 775
291.99/268.34	o 774
292.19/268.54	o 773
292.39/268.72	o 772
292.50/268.89	o 771
292.61/269.00	o 770
292.82/269.12	o 769
292.91/269.22	o 768
292.91/269.29	o 767
293.01/269.35	o 766
293.01/269.36	o 36
293.41/269.52	o 35
295.32/270.81	o 34
296.64/272.13	o 33
2520.03/2484.60	Exception in thread "main" java.util.concurrent.TimeoutException
2520.03/2484.60		at concrete.MAC.mac(MAC.scala:192)
2520.03/2484.60		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2520.03/2484.60		at scala.util.Try$.apply(Try.scala:212)
2520.03/2484.60		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2520.03/2484.60		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2520.03/2484.60		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2520.03/2484.60		at concrete.MAC.oneRun(MAC.scala:265)
2520.03/2484.60		at concrete.MAC.nextSolution(MAC.scala:284)
2520.03/2484.60		at concrete.MAC.nextSolution(MAC.scala:369)
2520.03/2484.60		at concrete.Solver.hasNext(Solver.scala:160)
2520.03/2484.60		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.03/2484.60		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.03/2484.60		at concrete.Solver.foreach(Solver.scala:67)
2520.03/2484.60		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2520.03/2484.60		at scala.util.Success.map(Try.scala:264)
2520.03/2484.60		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.03/2484.60		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2520.03/2484.60		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.03/2484.61		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.03/2484.61		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.03/2484.61		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2520.03/2484.61		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2520.03/2484.61		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2520.03/2484.61		at scala.App.$anonfun$main$1(App.scala:75)
2520.03/2484.61		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2520.03/2484.61		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.03/2484.61		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.03/2484.61		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2520.03/2484.61		at scala.App.main(App.scala:75)
2520.03/2484.61		at scala.App.main$(App.scala:73)
2520.03/2484.61		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.03/2484.61		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.03/2484.61	v <instantiation
2520.03/2484.61	v         cost = '33'>
2520.03/2484.61	v       <list>
2520.03/2484.61	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] 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]
2520.03/2484.61	v       </list>
2520.03/2484.61	v       <values>
2520.03/2484.61	v         11 8 1 2 27 18 13 32 20 16 22 14 26 6 17 25 3 7 31 15 19 5 28 30 21 29 24 10 33 23 4 0 9 18 2 28 23 25 8 20 29 24 11 19 7 33 9 32 13 31 14 5 4 10 30 0 27 12 16 22 6 3 1 17 15 21 1 0 27 5 17 20 18 19 12 4 7 16 32 11 26 14 23 22 29 8 13 31 33 21 9 6 10 28 24 30 2 25 15 6 15 8 13 26 23 31 28 16 27 30 19 22 4 14 5 24 32 3 33 9 1 20 29 18 10 7 25 11 12 0 21 17 10 9 3 30 24 2 7 23 33 29 26 1 13 15 18 12 28 31 16 0 17 27 21 5 6 8 20 19 14 32 11 22 4 23 13 2 8 32 11 4 20 15 30 33 5 24 21 28 7 29 26 9 12 16 10 17 6 0 25 27 1 31 3 22 14 18 30 31 19 4 7 28 22 8 32 2 16 3 25 18 15 10 21 13 14 26 27 33 9 11 23 5 6 29 12 17 20 24 1 4 7 5 27 16 1 25 12 9 6 0 23 10 29 3 30 32 28 19 22 18 24 26 15 31 13 33 20 8 14 21 2 11 28 33 29 3 9 16 11 22 31 17 13 32 18 7 24 2 14 25 6 21 20 0 10 1 27 23 19 26 30 15 8 12 5 31 32 10 7 4 19 26 3 27 21 23 33 14 2 13 9 30 20 11 25 15 22 6 24 5 0 12 17 29 18 16 28 8 27 28 14 18 1 30 2 5 11 8 17 12 3 0 20 16 6 10 25 32 31 29 15 7 4 24 21 22 26 19 13 9 33 0 14 12 16 29 32 23 17 10 18 1 21 28 5 30 31 15 4 26 20 22 6 11 2 24 33 9 8 19 7 27 3 13 24 23 11 33 14 12 16 10 17 19 9 0 20 32 31 1 13 29 27 6 8 28 5 18 3 22 25 2 4 21 15 7 30 29 10 17 32 28 31 14 2 7 20 27 13 9 1 12 24 8 19 4 30 6 16 18 25 15 21 26 3 22 0 5 33 23 20 21 25 26 31 3 8 16 28 9 29 22 4 10 0 33 19 23 15 5 11 13 24 17 30 7 32 27 18 2 12 1 14 13 22 32 21 20 9 15 11 4 1 25 10 2 23 6 17 12 30 24 16 28 26 29 3 19 31 14 18 5 27 33 8 0 3 26 18 22 30 6 5 27 2 13 4 15 16 25 21 8 7 12 33 31 0 17 1 9 29 19 28 23 20 11 14 32 24 14 17 0 11 6 24 19 7 21 22 31 8 30 20 9 27 25 1 18 28 4 3 23 16 33 2 5 12 13 10 32 29 26 7 3 33 20 11 10 30 6 14 28 32 29 27 8 19 15 17 0 22 24 12 9 2 13 25 18 23 5 21 26 1 4 31 33 12 6 28 22 27 17 0 8 24 10 18 5 14 2 32 11 9 21 3 7 4 25 31 26 1 29 13 16 20 30 23 19 32 6 22 12 3 17 27 15 29 33 24 31 19 28 23 21 16 5 13 1 26 14 30 20 10 11 8 0 7 4 9 18 2 19 24 30 10 15 29 33 25 13 26 6 27 0 12 11 18 20 8 7 2 5 21 22 4 28 17 3 14 1 9 23 31 16 25 18 9 0 33 5 10 21 6 12 11 20 15 19 22 3 4 2 1 13 29 23 32 8 14 28 31 24 17 16 26 30 27 8 4 15 24 19 0 1 31 23 25 12 26 21 17 29 20 22 3 32 27 30 11 13 10 16 14 2 9 28 33 7 5 6 26 20 13 1 5 14 24 9 18 31 21 2 12 16 27 19 0 33 17 23 3 7 8 28 22 30 4 11 15 25 6 10 32 17 29 23 6 21 25 3 18 26 5 28 24 7 30 10 4 9 16 20 11 33 15 27 14 2 12 1 32 0 31 19 13 22 5 11 24 25 12 15 29 33 0 23 3 30 1 22 7 6 27 17 2 14 21 32 31 19 8 4 13 16 10 28 18 26 20 12 5 7 29 18 13 21 4 30 15 20 17 23 31 8 0 1 6 28 19 25 2 14 26 11 9 16 33 32 22 24 27 3 22 27 26 15 10 33 6 14 19 32 18 4 31 24 1 23 5 21 0 29 2 8 16 12 20 3 11 7 9 13 25 17 28 15 19 21 31 13 7 9 1 3 14 5 6 11 26 33 22 18 27 10 17 24 12 4 23 32 20 0 30 2 29 28 16 25 2 25 20 14 0 4 12 24 1 10 8 28 17 27 16 29 33 11 30 9 32 18 19 22 13 26 15 31 23 5 3 6 7 9 1 16 17 8 22 28 13 5 0 2 25 6 33 4 11 26 18 23 10 14 19 3 32 7 15 30 21 27 24 29 20 12 16 30 4 9 2 21 0 26 22 3 14 11 8 13 5 28 10 24 12 18 23 20 7 33 1 32 17 15 25 6 31 19 29
2520.03/2484.61	v       </values>
2520.03/2484.61	v     </instantiation>
2520.03/2484.61	s SATISFIABLE

Verifier Data 

OK	33

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396301-1568393620/watcher-4396301-1568393620 -o /tmp/evaluation-result-4396301-1568393620/solver-4396301-1568393620 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568393581-9267 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=276143177 HOME/instance-4396301-1568393620.xml 

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

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

solver pid=9292, runsolver pid=9288

[startup+0.10006 s]*
/proc/loadavg: 1.00 1.27 1.65 4/233 9380
/proc/meminfo: memFree=31010588/32770624 swapFree=66934636/67108860
[pid=9292] ppid=9288 vsize=113256 memory=1620 CPUtime=0.08 cores=1,3,5,7
/proc/9292/stat : 9292 (bash) S 9288 9292 9235 0 -1 4202496 993 12516 1 2 0 0 5 3 20 0 1 0 415633480 115974144 405 33554432000 4194304 5098028 140732285802784 140732285798616 140508529667072 0 0 4100 65536 18446744071580971376 0 0 17 5 0 0 1 0 0 7196144 7232144 32206848 140732285805589 140732285805713 140732285805713 140732285808622 0
/proc/9292/statm: 28314 405 321 221 0 119 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 113256 KiB
Current children cumulated memory: 1620 KiB

[startup+0.219405 s]*
/proc/loadavg: 1.00 1.27 1.65 9/228 9427
/proc/meminfo: memFree=30986540/32770624 swapFree=66934636/67108860
[pid=9292] ppid=9288 vsize=10819664 memory=37968 CPUtime=0.24 cores=1,3,5,7
/proc/9292/stat : 9292 (java) S 9288 9292 9235 0 -1 1077944320 6840 13205 1 2 15 1 5 3 20 0 15 0 415633480 11079335936 9492 33554432000 4194304 4196468 140730459659488 140730459642032 140141944131319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
/proc/9292/statm: 2704916 9492 3171 1 0 2667149 0
[pid=9292/tid=9400] ppid=9288 vsize=10819664 memory=7377246124687064083 CPUtime=0.18 cores=1,3,5,7
/proc/9292/task/9400/stat : 9400 (java) R 9288 9292 9235 0 -1 4202560 3328 13205 0 2 9 1 5 3 20 0 15 0 415633491 11079335936 9492 33554432000 4194304 4196468 140730459659488 140141915957728 140141928211836 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9403] ppid=9288 vsize=10819664 memory=4211973774298348938 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9403/stat : 9403 (java) S 9288 9292 9235 0 -1 1077944384 1 13205 0 2 0 0 5 3 20 0 15 0 415633492 11079335936 9492 33554432000 4194304 4196468 140730459659488 140141948373648 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9405] ppid=9288 vsize=10819664 memory=140048093558400 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9405/stat : 9405 (java) S 9288 9292 9235 0 -1 1077944384 1 13205 0 2 0 0 5 3 20 0 15 0 415633492 11079335936 9492 33554432000 4194304 4196468 140730459659488 140141836646928 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9406] ppid=9288 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9406/stat : 9406 (java) S 9288 9292 9235 0 -1 1077944384 1 13205 0 2 0 0 5 3 20 0 15 0 415633492 11079335936 9492 33554432000 4194304 4196468 140730459659488 140141835594128 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9408] ppid=9288 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9408/stat : 9408 (java) S 9288 9292 9235 0 -1 1077944384 2 13205 0 2 0 0 5 3 20 0 15 0 415633492 11079335936 9492 33554432000 4194304 4196468 140730459659488 140141834541328 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9410] ppid=9288 vsize=10819664 memory=140048093558400 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9410/stat : 9410 (java) S 9288 9292 9235 0 -1 1077944384 2 13205 0 2 0 0 5 3 20 0 15 0 415633493 11079335936 9492 33554432000 4194304 4196468 140730459659488 140141403241328 140141944142466 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9412] ppid=9288 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9412/stat : 9412 (java) S 9288 9292 9235 0 -1 1077944384 33 13205 0 2 0 0 5 3 20 0 15 0 415633493 11079335936 9492 33554432000 4194304 4196468 140730459659488 140141402187296 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9414] ppid=9288 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9414/stat : 9414 (java) S 9288 9292 9235 0 -1 1077944384 1 13205 0 2 0 0 5 3 20 0 15 0 415633494 11079335936 9492 33554432000 4194304 4196468 140730459659488 140140823438704 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9416] ppid=9288 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9416/stat : 9416 (java) S 9288 9292 9235 0 -1 1077944384 3 13205 0 2 0 0 5 3 20 0 15 0 415633496 11079335936 9492 33554432000 4194304 4196468 140730459659488 140140516038992 140141944149915 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9417] ppid=9288 vsize=10819664 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9292/task/9417/stat : 9417 (java) S 9288 9292 9235 0 -1 1077944384 368 13205 0 2 1 0 5 3 20 0 15 0 415633496 11079335936 9492 33554432000 4194304 4196468 140730459659488 140141368629616 140141944142466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9418] ppid=9288 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9418/stat : 9418 (java) S 9288 9292 9235 0 -1 1077944384 284 13205 0 2 0 0 5 3 20 0 15 0 415633496 11079335936 9492 33554432000 4194304 4196468 140730459659488 140141367576816 140141944142466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9419] ppid=9288 vsize=10819664 memory=140048093558400 CPUtime=0.1 cores=1,3,5,7
/proc/9292/task/9419/stat : 9419 (java) S 9288 9292 9235 0 -1 1077944384 619 13205 0 2 2 0 5 3 20 0 15 0 415633496 11079335936 9492 33554432000 4194304 4196468 140730459659488 140141366524016 140141944142466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9424] ppid=9288 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9424/stat : 9424 (java) S 9288 9292 9235 0 -1 1077944384 3 13205 0 2 0 0 5 3 20 0 15 0 415633497 11079335936 9492 33554432000 4194304 4196468 140730459659488 140140482480352 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9426] ppid=9288 vsize=10819664 memory=140048093558400 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9426/stat : 9426 (java) S 9288 9292 9235 0 -1 1077944384 1 13205 0 2 0 0 5 3 20 0 15 0 415633497 11079335936 9492 33554432000 4194304 4196468 140730459659488 140141365472432 140141944142466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 37968 KiB

[startup+0.3104 s]*
/proc/loadavg: 1.00 1.27 1.65 3/228 9427
/proc/meminfo: memFree=30960264/32770624 swapFree=66934636/67108860
[pid=9292] ppid=9288 vsize=10820148 memory=50192 CPUtime=0.38 cores=1,3,5,7
/proc/9292/stat : 9292 (java) S 9288 9292 9235 0 -1 1077944320 10267 13205 1 2 27 3 5 3 20 0 15 0 415633480 11079831552 12548 33554432000 4194304 4196468 140730459659488 140730459642032 140141944131319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
/proc/9292/statm: 2705037 12548 3300 1 0 2667149 0
[pid=9292/tid=9400] ppid=9288 vsize=10820148 memory=576567874760998942 CPUtime=0.27 cores=1,3,5,7
/proc/9292/task/9400/stat : 9400 (java) R 9288 9292 9235 0 -1 4202560 6728 13205 0 2 17 2 5 3 20 0 15 0 415633491 11079831552 12548 33554432000 4194304 4196468 140730459659488 140141915931232 140141928211806 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9403] ppid=9288 vsize=10820148 memory=296 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9403/stat : 9403 (java) S 9288 9292 9235 0 -1 1077944384 1 13205 0 2 0 0 5 3 20 0 15 0 415633492 11079831552 12548 33554432000 4194304 4196468 140730459659488 140141948373648 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9405] ppid=9288 vsize=10820148 memory=140048093566479 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9405/stat : 9405 (java) S 9288 9292 9235 0 -1 1077944384 1 13205 0 2 0 0 5 3 20 0 15 0 415633492 11079831552 12548 33554432000 4194304 4196468 140730459659488 140141836646928 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9406] ppid=9288 vsize=10820148 memory=6944613755328037015 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9406/stat : 9406 (java) S 9288 9292 9235 0 -1 1077944384 1 13205 0 2 0 0 5 3 20 0 15 0 415633492 11079831552 12548 33554432000 4194304 4196468 140730459659488 140141835594128 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9408] ppid=9288 vsize=10820148 memory=3472328296227680303 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9408/stat : 9408 (java) S 9288 9292 9235 0 -1 1077944384 2 13205 0 2 0 0 5 3 20 0 15 0 415633492 11079831552 12548 33554432000 4194304 4196468 140730459659488 140141834541328 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9410] ppid=9288 vsize=10820148 memory=7363859897346057904 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9410/stat : 9410 (java) S 9288 9292 9235 0 -1 1077944384 2 13205 0 2 0 0 5 3 20 0 15 0 415633493 11079831552 12548 33554432000 4194304 4196468 140730459659488 140141403241328 140141944142466 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9412] ppid=9288 vsize=10820148 memory=7016453692698331749 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9412/stat : 9412 (java) S 9288 9292 9235 0 -1 1077944384 33 13205 0 2 0 0 5 3 20 0 15 0 415633493 11079831552 12548 33554432000 4194304 4196468 140730459659488 140141402187296 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9414] ppid=9288 vsize=10820148 memory=6943526294502006880 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9414/stat : 9414 (java) S 9288 9292 9235 0 -1 1077944384 1 13205 0 2 0 0 5 3 20 0 15 0 415633494 11079831552 12548 33554432000 4194304 4196468 140730459659488 140140823438704 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9416] ppid=9288 vsize=10820148 memory=6944656592455360604 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9416/stat : 9416 (java) S 9288 9292 9235 0 -1 1077944384 3 13205 0 2 0 0 5 3 20 0 15 0 415633496 11079831552 12548 33554432000 4194304 4196468 140730459659488 140140516038992 140141944149915 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9417] ppid=9288 vsize=10820148 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9292/task/9417/stat : 9417 (java) S 9288 9292 9235 0 -1 1077944384 368 13205 0 2 1 0 5 3 20 0 15 0 415633496 11079831552 12548 33554432000 4194304 4196468 140730459659488 140141368629616 140141944142466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9418] ppid=9288 vsize=10820148 memory=3833180319908896822 CPUtime=0.1 cores=1,3,5,7
/proc/9292/task/9418/stat : 9418 (java) S 9288 9292 9235 0 -1 1077944384 291 13205 0 2 2 0 5 3 20 0 15 0 415633496 11079831552 12548 33554432000 4194304 4196468 140730459659488 140141367576816 140141944142466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9419] ppid=9288 vsize=10820148 memory=140048093558400 CPUtime=0.13 cores=1,3,5,7
/proc/9292/task/9419/stat : 9419 (java) R 9288 9292 9235 0 -1 4202560 631 13205 0 2 5 0 5 3 20 0 15 0 415633496 11079831552 12548 33554432000 4194304 4196468 140730459659488 140141366524016 140141936368446 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9424] ppid=9288 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9424/stat : 9424 (java) S 9288 9292 9235 0 -1 1077944384 3 13205 0 2 0 0 5 3 20 0 15 0 415633497 11079831552 12548 33554432000 4194304 4196468 140730459659488 140140482480352 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9426] ppid=9288 vsize=10820148 memory=140048093558400 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9426/stat : 9426 (java) S 9288 9292 9235 0 -1 1077944384 1 13205 0 2 0 0 5 3 20 0 15 0 415633497 11079831552 12548 33554432000 4194304 4196468 140730459659488 140141365472432 140141944142466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50192 KiB

[startup+0.701405 s]
/proc/loadavg: 1.00 1.27 1.65 3/228 9427
/proc/meminfo: memFree=30936232/32770624 swapFree=66934636/67108860
[pid=9292] ppid=9288 vsize=10824360 memory=80088 CPUtime=1.11 cores=1,3,5,7
/proc/9292/stat : 9292 (java) S 9288 9292 9235 0 -1 1077944320 14304 13205 1 2 98 5 5 3 20 0 15 0 415633480 11084144640 20022 33554432000 4194304 4196468 140730459659488 140730459642032 140141944131319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
/proc/9292/statm: 2706090 20022 3501 1 0 2668173 0
[pid=9292/tid=9400] ppid=9288 vsize=10824360 memory=2958585 CPUtime=0.64 cores=1,3,5,7
/proc/9292/task/9400/stat : 9400 (java) R 9288 9292 9235 0 -1 4202560 9591 13205 0 2 53 3 5 3 20 0 15 0 415633491 11084144640 20022 33554432000 4194304 4196468 140730459659488 140141915953376 140141511457102 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9403] ppid=9288 vsize=10824360 memory=2965944 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9403/stat : 9403 (java) S 9288 9292 9235 0 -1 1077944384 1 13205 0 2 0 0 5 3 20 0 15 0 415633492 11084144640 20022 33554432000 4194304 4196468 140730459659488 140141948373648 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9405] ppid=9288 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9405/stat : 9405 (java) S 9288 9292 9235 0 -1 1077944384 1 13205 0 2 0 0 5 3 20 0 15 0 415633492 11084144640 20022 33554432000 4194304 4196468 140730459659488 140141836646928 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9406] ppid=9288 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9406/stat : 9406 (java) S 9288 9292 9235 0 -1 1077944384 1 13205 0 2 0 0 5 3 20 0 15 0 415633492 11084144640 20022 33554432000 4194304 4196468 140730459659488 140141835594128 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9408] ppid=9288 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9408/stat : 9408 (java) S 9288 9292 9235 0 -1 1077944384 2 13205 0 2 0 0 5 3 20 0 15 0 415633492 11084144640 20022 33554432000 4194304 4196468 140730459659488 140141834541328 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9410] ppid=9288 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9410/stat : 9410 (java) S 9288 9292 9235 0 -1 1077944384 5 13205 0 2 0 0 5 3 20 0 15 0 415633493 11084144640 20022 33554432000 4194304 4196468 140730459659488 140141403241328 140141944142466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9412] ppid=9288 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9412/stat : 9412 (java) S 9288 9292 9235 0 -1 1077944384 33 13205 0 2 0 0 5 3 20 0 15 0 415633493 11084144640 20022 33554432000 4194304 4196468 140730459659488 140141402187296 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9414] ppid=9288 vsize=10824360 memory=2527386928897 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9414/stat : 9414 (java) S 9288 9292 9235 0 -1 1077944384 1 13205 0 2 0 0 5 3 20 0 15 0 415633494 11084144640 20022 33554432000 4194304 4196468 140730459659488 140140823438704 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9416] ppid=9288 vsize=10824360 memory=8730411 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9416/stat : 9416 (java) S 9288 9292 9235 0 -1 1077944384 3 13205 0 2 0 0 5 3 20 0 15 0 415633496 11084144640 20022 33554432000 4194304 4196468 140730459659488 140140516038992 140141944149915 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9417] ppid=9288 vsize=10824360 memory=6451477254209374620 CPUtime=0.23 cores=1,3,5,7
/proc/9292/task/9417/stat : 9417 (java) R 9288 9292 9235 0 -1 4202560 949 13205 0 2 15 0 5 3 20 0 15 0 415633496 11084144640 20022 33554432000 4194304 4196468 140730459659488 140141368618496 140141929055685 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9418] ppid=9288 vsize=10824360 memory=7158578613868057424 CPUtime=0.19 cores=1,3,5,7
/proc/9292/task/9418/stat : 9418 (java) S 9288 9292 9235 0 -1 1077944384 664 13205 0 2 11 0 5 3 20 0 15 0 415633496 11084144640 20022 33554432000 4194304 4196468 140730459659488 140141367576816 140141944142466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9419] ppid=9288 vsize=10824360 memory=8099279071866868842 CPUtime=0.24 cores=1,3,5,7
/proc/9292/task/9419/stat : 9419 (java) S 9288 9292 9235 0 -1 1077944384 840 13205 0 2 16 0 5 3 20 0 15 0 415633496 11084144640 20022 33554432000 4194304 4196468 140730459659488 140141366524016 140141944142466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9424] ppid=9288 vsize=10824360 memory=3054156605335180436 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9424/stat : 9424 (java) S 9288 9292 9235 0 -1 1077944384 3 13205 0 2 0 0 5 3 20 0 15 0 415633497 11084144640 20022 33554432000 4194304 4196468 140730459659488 140140482480352 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9426] ppid=9288 vsize=10824360 memory=3620 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9426/stat : 9426 (java) S 9288 9292 9235 0 -1 1077944384 1 13205 0 2 0 0 5 3 20 0 15 0 415633497 11084144640 20022 33554432000 4194304 4196468 140730459659488 140141365472432 140141944142466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 80088 KiB

[startup+1.50145 s]
/proc/loadavg: 1.00 1.27 1.65 5/228 9427
/proc/meminfo: memFree=30842924/32770624 swapFree=66934636/67108860
[pid=9292] ppid=9288 vsize=10826484 memory=218696 CPUtime=3.54 cores=1,3,5,7
/proc/9292/stat : 9292 (java) S 9288 9292 9235 0 -1 1077944320 21265 13205 1 2 337 9 5 3 20 0 15 0 415633480 11086319616 54674 33554432000 4194304 4196468 140730459659488 140730459642032 140141944131319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
/proc/9292/statm: 2706621 54674 3580 1 0 2668685 0
[pid=9292/tid=9400] ppid=9288 vsize=10826484 memory=8 CPUtime=1.42 cores=1,3,5,7
/proc/9292/task/9400/stat : 9400 (java) R 9288 9292 9235 0 -1 4202560 10853 13205 0 2 129 5 5 3 20 0 15 0 415633491 11086319616 54674 33554432000 4194304 4196468 140730459659488 140141915965120 140141516226824 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9403] ppid=9288 vsize=10826484 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9292/task/9403/stat : 9403 (java) S 9288 9292 9235 0 -1 1077944384 82 13205 0 2 1 0 5 3 20 0 15 0 415633492 11086319616 54674 33554432000 4194304 4196468 140730459659488 140141948373648 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9405] ppid=9288 vsize=10826484 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9292/task/9405/stat : 9405 (java) S 9288 9292 9235 0 -1 1077944384 335 13205 0 2 1 0 5 3 20 0 15 0 415633492 11086319616 54674 33554432000 4194304 4196468 140730459659488 140141836646928 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9406] ppid=9288 vsize=10826484 memory=280095889670224 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9406/stat : 9406 (java) S 9288 9292 9235 0 -1 1077944384 7 13205 0 2 0 0 5 3 20 0 15 0 415633492 11086319616 54674 33554432000 4194304 4196468 140730459659488 140141835594128 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9408] ppid=9288 vsize=10826484 memory=7014751519667147370 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9408/stat : 9408 (java) S 9288 9292 9235 0 -1 1077944384 37 13205 0 2 0 0 5 3 20 0 15 0 415633492 11086319616 54674 33554432000 4194304 4196468 140730459659488 140141834541328 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9410] ppid=9288 vsize=10826484 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9410/stat : 9410 (java) S 9288 9292 9235 0 -1 1077944384 102 13205 0 2 0 0 5 3 20 0 15 0 415633493 11086319616 54674 33554432000 4194304 4196468 140730459659488 140141403241328 140141944142466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9412] ppid=9288 vsize=10826484 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9412/stat : 9412 (java) S 9288 9292 9235 0 -1 1077944384 34 13205 0 2 0 0 5 3 20 0 15 0 415633493 11086319616 54674 33554432000 4194304 4196468 140730459659488 140141402187296 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9414] ppid=9288 vsize=10826484 memory=4580 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9414/stat : 9414 (java) S 9288 9292 9235 0 -1 1077944384 2 13205 0 2 0 0 5 3 20 0 15 0 415633494 11086319616 54674 33554432000 4194304 4196468 140730459659488 140140823438704 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9416] ppid=9288 vsize=10826484 memory=7005738693937936738 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9416/stat : 9416 (java) S 9288 9292 9235 0 -1 1077944384 3 13205 0 2 0 0 5 3 20 0 15 0 415633496 11086319616 54674 33554432000 4194304 4196468 140730459659488 140140516038992 140141944149915 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9417] ppid=9288 vsize=10826484 memory=-2752621353146282308 CPUtime=0.89 cores=1,3,5,7
/proc/9292/task/9417/stat : 9417 (java) R 9288 9292 9235 0 -1 4202560 2846 13205 0 2 81 0 5 3 20 0 15 0 415633496 11086319616 54674 33554432000 4194304 4196468 140730459659488 140141368616160 140141928034416 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9418] ppid=9288 vsize=10826484 memory=7013626796564767593 CPUtime=0.86 cores=1,3,5,7
/proc/9292/task/9418/stat : 9418 (java) R 9288 9292 9235 0 -1 4202560 2781 13205 0 2 78 0 5 3 20 0 15 0 415633496 11086319616 54674 33554432000 4194304 4196468 140730459659488 140141367565248 140141928526265 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9419] ppid=9288 vsize=10826484 memory=6081619128951914599 CPUtime=0.51 cores=1,3,5,7
/proc/9292/task/9419/stat : 9419 (java) S 9288 9292 9235 0 -1 1077944384 1970 13205 0 2 43 0 5 3 20 0 15 0 415633496 11086319616 54674 33554432000 4194304 4196468 140730459659488 140141366524016 140141944142466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9424] ppid=9288 vsize=10826484 memory=7306316804797196914 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9424/stat : 9424 (java) S 9288 9292 9235 0 -1 1077944384 3 13205 0 2 0 0 5 3 20 0 15 0 415633497 11086319616 54674 33554432000 4194304 4196468 140730459659488 140140482480352 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9426] ppid=9288 vsize=10826484 memory=5859296714196800848 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9426/stat : 9426 (java) S 9288 9292 9235 0 -1 1077944384 1 13205 0 2 0 0 5 3 20 0 15 0 415633497 11086319616 54674 33554432000 4194304 4196468 140730459659488 140141365472432 140141944142466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
Current children cumulated CPU time: 3.54 s
Current children cumulated vsize: 10826484 KiB
Current children cumulated memory: 218696 KiB

[startup+3.11382 s]
/proc/loadavg: 1.08 1.29 1.66 6/228 9427
/proc/meminfo: memFree=30475676/32770624 swapFree=66934636/67108860
[pid=9292] ppid=9288 vsize=10838792 memory=326948 CPUtime=7.56 cores=1,3,5,7
/proc/9292/stat : 9292 (java) S 9288 9292 9235 0 -1 1077944320 32043 13205 1 2 728 20 5 3 20 0 15 0 415633480 11098923008 81737 33554432000 4194304 4196468 140730459659488 140730459642032 140141944131319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
/proc/9292/statm: 2709698 81737 3606 1 0 2671757 0
[pid=9292/tid=9400] ppid=9288 vsize=10838792 memory=4211973774298348938 CPUtime=2.93 cores=1,3,5,7
/proc/9292/task/9400/stat : 9400 (java) R 9288 9292 9235 0 -1 4202560 16425 13205 0 2 278 7 5 3 20 0 15 0 415633491 11098923008 81737 33554432000 4194304 4196468 140730459659488 140141915963024 140141511450547 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0

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

/proc/9292/task/9400/stat : 9400 (java) R 9288 9292 9235 0 -1 4202560 114368 13205 0 2 231575 57 5 3 20 0 15 0 415633491 11107311616 692567 33554432000 4194304 4196468 140730459659488 140141915967072 140141518886267 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9403] ppid=9288 vsize=10846984 memory=2770232 CPUtime=2.52 cores=1,3,5,7
/proc/9292/task/9403/stat : 9403 (java) S 9288 9292 9235 0 -1 1077944384 21707 13205 0 2 222 22 5 3 20 0 15 0 415633492 11107311616 692567 33554432000 4194304 4196468 140730459659488 140141948373648 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9405] ppid=9288 vsize=10846984 memory=2770232 CPUtime=2.55 cores=1,3,5,7
/proc/9292/task/9405/stat : 9405 (java) S 9288 9292 9235 0 -1 1077944384 22596 13205 0 2 225 22 5 3 20 0 15 0 415633492 11107311616 692567 33554432000 4194304 4196468 140730459659488 140141836646928 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9406] ppid=9288 vsize=10846984 memory=2770232 CPUtime=2.54 cores=1,3,5,7
/proc/9292/task/9406/stat : 9406 (java) S 9288 9292 9235 0 -1 1077944384 21293 13205 0 2 224 22 5 3 20 0 15 0 415633492 11107311616 692567 33554432000 4194304 4196468 140730459659488 140141835594128 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9408] ppid=9288 vsize=10846984 memory=2770256 CPUtime=2.56 cores=1,3,5,7
/proc/9292/task/9408/stat : 9408 (java) S 9288 9292 9235 0 -1 1077944384 22382 13205 0 2 226 22 5 3 20 0 15 0 415633492 11107311616 692567 33554432000 4194304 4196468 140730459659488 140141834541328 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9410] ppid=9288 vsize=10846984 memory=2770256 CPUtime=2.37 cores=1,3,5,7
/proc/9292/task/9410/stat : 9410 (java) S 9288 9292 9235 0 -1 1077944384 25861 13205 0 2 215 14 5 3 20 0 15 0 415633493 11107311616 692567 33554432000 4194304 4196468 140730459659488 140141403241328 140141944142466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9412] ppid=9288 vsize=10846984 memory=2770268 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9412/stat : 9412 (java) S 9288 9292 9235 0 -1 1077944384 52 13205 0 2 0 0 5 3 20 0 15 0 415633493 11107311616 692567 33554432000 4194304 4196468 140730459659488 140141402187360 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9414] ppid=9288 vsize=10846984 memory=2770268 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9414/stat : 9414 (java) S 9288 9292 9235 0 -1 1077944384 5 13205 0 2 0 0 5 3 20 0 15 0 415633494 11107311616 692567 33554432000 4194304 4196468 140730459659488 140140823438720 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9416] ppid=9288 vsize=10846984 memory=2770268 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9416/stat : 9416 (java) S 9288 9292 9235 0 -1 1077944384 3 13205 0 2 0 0 5 3 20 0 15 0 415633496 11107311616 692567 33554432000 4194304 4196468 140730459659488 140140516038992 140141944149915 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9417] ppid=9288 vsize=10846984 memory=2770268 CPUtime=13.33 cores=1,3,5,7
/proc/9292/task/9417/stat : 9417 (java) S 9288 9292 9235 0 -1 1077944384 40497 13205 0 2 1320 5 5 3 20 0 15 0 415633496 11107311616 692567 33554432000 4194304 4196468 140730459659488 140141368629616 140141944142466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9418] ppid=9288 vsize=10846984 memory=0 CPUtime=11.96 cores=1,3,5,7
/proc/9292/task/9418/stat : 9418 (java) S 9288 9292 9235 0 -1 1077944384 42432 13205 0 2 1181 7 5 3 20 0 15 0 415633496 11107311616 692567 33554432000 4194304 4196468 140730459659488 140141367576816 140141944142466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9419] ppid=9288 vsize=10846984 memory=2770232 CPUtime=2.66 cores=1,3,5,7
/proc/9292/task/9419/stat : 9419 (java) S 9288 9292 9235 0 -1 1077944384 20666 13205 0 2 252 6 5 3 20 0 15 0 415633496 11107311616 692567 33554432000 4194304 4196468 140730459659488 140141366524016 140141944142466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9424] ppid=9288 vsize=10846984 memory=8296 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9424/stat : 9424 (java) S 9288 9292 9235 0 -1 1077944384 3 13205 0 2 0 0 5 3 20 0 15 0 415633497 11107311616 692567 33554432000 4194304 4196468 140730459659488 140140482480352 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9426] ppid=9288 vsize=10846984 memory=5952 CPUtime=0.82 cores=1,3,5,7
/proc/9292/task/9426/stat : 9426 (java) S 9288 9292 9235 0 -1 1077944384 1938 13205 0 2 39 35 5 3 20 0 15 0 415633497 11107311616 692567 33554432000 4194304 4196468 140730459659488 140141365472432 140141944142466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
Current children cumulated CPU time: 2357.08 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 2770268 KiB

[startup+2382.3 s]
/proc/loadavg: 1.23 1.25 1.34 3/227 9672
/proc/meminfo: memFree=27521144/32770624 swapFree=66934672/67108860
[pid=9292] ppid=9288 vsize=10846984 memory=2770356 CPUtime=2417.34 cores=1,3,5,7
/proc/9292/stat : 9292 (java) S 9288 9292 9235 0 -1 1077944320 337866 13205 1 2 241533 193 5 3 20 0 15 0 415633480 11107311616 692589 33554432000 4194304 4196468 140730459659488 140730459642032 140141944131319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
/proc/9292/statm: 2711746 692589 3645 1 0 2673805 0
[pid=9292/tid=9400] ppid=9288 vsize=10846984 memory=2770356 CPUtime=2376.2 cores=1,3,5,7
/proc/9292/task/9400/stat : 9400 (java) R 9288 9292 9235 0 -1 4202560 115035 13205 0 2 237554 58 5 3 20 0 15 0 415633491 11107311616 692589 33554432000 4194304 4196468 140730459659488 140141915966896 140141518886460 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9403] ppid=9288 vsize=10846984 memory=2770356 CPUtime=2.61 cores=1,3,5,7
/proc/9292/task/9403/stat : 9403 (java) S 9288 9292 9235 0 -1 1077944384 21861 13205 0 2 231 22 5 3 20 0 15 0 415633492 11107311616 692589 33554432000 4194304 4196468 140730459659488 140141948373648 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9405] ppid=9288 vsize=10846984 memory=2770332 CPUtime=2.64 cores=1,3,5,7
/proc/9292/task/9405/stat : 9405 (java) S 9288 9292 9235 0 -1 1077944384 23025 13205 0 2 233 23 5 3 20 0 15 0 415633492 11107311616 692589 33554432000 4194304 4196468 140730459659488 140141836646928 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9406] ppid=9288 vsize=10846984 memory=2770332 CPUtime=2.62 cores=1,3,5,7
/proc/9292/task/9406/stat : 9406 (java) S 9288 9292 9235 0 -1 1077944384 21378 13205 0 2 232 22 5 3 20 0 15 0 415633492 11107311616 692589 33554432000 4194304 4196468 140730459659488 140141835594128 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9408] ppid=9288 vsize=10846984 memory=2770332 CPUtime=2.66 cores=1,3,5,7
/proc/9292/task/9408/stat : 9408 (java) S 9288 9292 9235 0 -1 1077944384 22419 13205 0 2 234 24 5 3 20 0 15 0 415633492 11107311616 692589 33554432000 4194304 4196468 140730459659488 140141834541328 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9410] ppid=9288 vsize=10846984 memory=2770268 CPUtime=2.45 cores=1,3,5,7
/proc/9292/task/9410/stat : 9410 (java) S 9288 9292 9235 0 -1 1077944384 26300 13205 0 2 223 14 5 3 20 0 15 0 415633493 11107311616 692589 33554432000 4194304 4196468 140730459659488 140141403241328 140141944142466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9412] ppid=9288 vsize=10846984 memory=2770332 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9412/stat : 9412 (java) S 9288 9292 9235 0 -1 1077944384 52 13205 0 2 0 0 5 3 20 0 15 0 415633493 11107311616 692589 33554432000 4194304 4196468 140730459659488 140141402187360 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9414] ppid=9288 vsize=10846984 memory=2770332 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9414/stat : 9414 (java) S 9288 9292 9235 0 -1 1077944384 5 13205 0 2 0 0 5 3 20 0 15 0 415633494 11107311616 692589 33554432000 4194304 4196468 140730459659488 140140823438720 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9416] ppid=9288 vsize=10846984 memory=2770340 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9416/stat : 9416 (java) S 9288 9292 9235 0 -1 1077944384 3 13205 0 2 0 0 5 3 20 0 15 0 415633496 11107311616 692589 33554432000 4194304 4196468 140730459659488 140140516038992 140141944149915 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9417] ppid=9288 vsize=10846984 memory=2770356 CPUtime=13.33 cores=1,3,5,7
/proc/9292/task/9417/stat : 9417 (java) S 9288 9292 9235 0 -1 1077944384 40501 13205 0 2 1320 5 5 3 20 0 15 0 415633496 11107311616 692589 33554432000 4194304 4196468 140730459659488 140141368629616 140141944142466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9418] ppid=9288 vsize=10846984 memory=2770356 CPUtime=11.96 cores=1,3,5,7
/proc/9292/task/9418/stat : 9418 (java) S 9288 9292 9235 0 -1 1077944384 42436 13205 0 2 1181 7 5 3 20 0 15 0 415633496 11107311616 692589 33554432000 4194304 4196468 140730459659488 140141367576816 140141944142466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9419] ppid=9288 vsize=10846984 memory=2770356 CPUtime=2.66 cores=1,3,5,7
/proc/9292/task/9419/stat : 9419 (java) S 9288 9292 9235 0 -1 1077944384 20670 13205 0 2 252 6 5 3 20 0 15 0 415633496 11107311616 692589 33554432000 4194304 4196468 140730459659488 140141366524016 140141944142466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9424] ppid=9288 vsize=10846984 memory=2770356 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9424/stat : 9424 (java) S 9288 9292 9235 0 -1 1077944384 3 13205 0 2 0 0 5 3 20 0 15 0 415633497 11107311616 692589 33554432000 4194304 4196468 140730459659488 140140482480352 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9426] ppid=9288 vsize=10846984 memory=1564 CPUtime=0.83 cores=1,3,5,7
/proc/9292/task/9426/stat : 9426 (java) S 9288 9292 9235 0 -1 1077944384 1969 13205 0 2 40 35 5 3 20 0 15 0 415633497 11107311616 692589 33554432000 4194304 4196468 140730459659488 140141365472432 140141944142466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
Current children cumulated CPU time: 2417.34 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 2770356 KiB

[startup+2442.3 s]
/proc/loadavg: 1.40 1.28 1.35 3/227 9676
/proc/meminfo: memFree=27521020/32770624 swapFree=66934672/67108860
[pid=9292] ppid=9288 vsize=10846984 memory=2770488 CPUtime=2477.56 cores=1,3,5,7
/proc/9292/stat : 9292 (java) S 9288 9292 9235 0 -1 1077944320 339713 13205 1 2 247553 195 5 3 20 0 15 0 415633480 11107311616 692622 33554432000 4194304 4196468 140730459659488 140730459642032 140141944131319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
/proc/9292/statm: 2711746 692622 3645 1 0 2673805 0
[pid=9292/tid=9400] ppid=9288 vsize=10846984 memory=2770356 CPUtime=2435.99 cores=1,3,5,7
/proc/9292/task/9400/stat : 9400 (java) R 9288 9292 9235 0 -1 4202560 115721 13205 0 2 243533 58 5 3 20 0 15 0 415633491 11107311616 692622 33554432000 4194304 4196468 140730459659488 140141915967152 140141525479318 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9403] ppid=9288 vsize=10846984 memory=2770356 CPUtime=2.7 cores=1,3,5,7
/proc/9292/task/9403/stat : 9403 (java) S 9288 9292 9235 0 -1 1077944384 22209 13205 0 2 239 23 5 3 20 0 15 0 415633492 11107311616 692622 33554432000 4194304 4196468 140730459659488 140141948373648 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9405] ppid=9288 vsize=10846984 memory=2770400 CPUtime=2.72 cores=1,3,5,7
/proc/9292/task/9405/stat : 9405 (java) S 9288 9292 9235 0 -1 1077944384 23175 13205 0 2 241 23 5 3 20 0 15 0 415633492 11107311616 692622 33554432000 4194304 4196468 140730459659488 140141836646928 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9406] ppid=9288 vsize=10846984 memory=2770404 CPUtime=2.71 cores=1,3,5,7
/proc/9292/task/9406/stat : 9406 (java) S 9288 9292 9235 0 -1 1077944384 21526 13205 0 2 240 23 5 3 20 0 15 0 415633492 11107311616 692622 33554432000 4194304 4196468 140730459659488 140141835594128 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9408] ppid=9288 vsize=10846984 memory=2770460 CPUtime=2.73 cores=1,3,5,7
/proc/9292/task/9408/stat : 9408 (java) S 9288 9292 9235 0 -1 1077944384 22476 13205 0 2 241 24 5 3 20 0 15 0 415633492 11107311616 692622 33554432000 4194304 4196468 140730459659488 140141834541328 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9410] ppid=9288 vsize=10846984 memory=2770460 CPUtime=2.54 cores=1,3,5,7
/proc/9292/task/9410/stat : 9410 (java) S 9288 9292 9235 0 -1 1077944384 26714 13205 0 2 231 15 5 3 20 0 15 0 415633493 11107311616 692622 33554432000 4194304 4196468 140730459659488 140141403241328 140141944142466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9412] ppid=9288 vsize=10846984 memory=2770488 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9412/stat : 9412 (java) S 9288 9292 9235 0 -1 1077944384 52 13205 0 2 0 0 5 3 20 0 15 0 415633493 11107311616 692622 33554432000 4194304 4196468 140730459659488 140141402187360 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9414] ppid=9288 vsize=10846984 memory=2770488 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9414/stat : 9414 (java) S 9288 9292 9235 0 -1 1077944384 5 13205 0 2 0 0 5 3 20 0 15 0 415633494 11107311616 692622 33554432000 4194304 4196468 140730459659488 140140823438720 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9416] ppid=9288 vsize=10846984 memory=2770488 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9416/stat : 9416 (java) S 9288 9292 9235 0 -1 1077944384 3 13205 0 2 0 0 5 3 20 0 15 0 415633496 11107311616 692622 33554432000 4194304 4196468 140730459659488 140140516038992 140141944149915 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9417] ppid=9288 vsize=10846984 memory=2770488 CPUtime=13.33 cores=1,3,5,7
/proc/9292/task/9417/stat : 9417 (java) S 9288 9292 9235 0 -1 1077944384 40505 13205 0 2 1320 5 5 3 20 0 15 0 415633496 11107311616 692622 33554432000 4194304 4196468 140730459659488 140141368629616 140141944142466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9418] ppid=9288 vsize=10846984 memory=2770488 CPUtime=11.96 cores=1,3,5,7
/proc/9292/task/9418/stat : 9418 (java) S 9288 9292 9235 0 -1 1077944384 42440 13205 0 2 1181 7 5 3 20 0 15 0 415633496 11107311616 692622 33554432000 4194304 4196468 140730459659488 140141367576816 140141944142466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9419] ppid=9288 vsize=10846984 memory=2770460 CPUtime=2.66 cores=1,3,5,7
/proc/9292/task/9419/stat : 9419 (java) S 9288 9292 9235 0 -1 1077944384 20674 13205 0 2 252 6 5 3 20 0 15 0 415633496 11107311616 692622 33554432000 4194304 4196468 140730459659488 140141366524016 140141944142466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9424] ppid=9288 vsize=10846984 memory=4100 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9424/stat : 9424 (java) S 9288 9292 9235 0 -1 1077944384 3 13205 0 2 0 0 5 3 20 0 15 0 415633497 11107311616 692622 33554432000 4194304 4196468 140730459659488 140140482480352 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9426] ppid=9288 vsize=10846984 memory=1808 CPUtime=0.85 cores=1,3,5,7
/proc/9292/task/9426/stat : 9426 (java) S 9288 9292 9235 0 -1 1077944384 2001 13205 0 2 41 36 5 3 20 0 15 0 415633497 11107311616 692622 33554432000 4194304 4196468 140730459659488 140141365472432 140141944142466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
Current children cumulated CPU time: 2477.56 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 2770488 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2484.6 s]
/proc/loadavg: 1.34 1.28 1.34 3/227 9807
/proc/meminfo: memFree=27879620/32770624 swapFree=66934672/67108860
[pid=9292] ppid=9288 vsize=10846984 memory=2770584 CPUtime=2520.03 cores=1,3,5,7
/proc/9292/stat : 9292 (java) S 9288 9292 9235 0 -1 1077944320 341467 13205 1 2 251797 198 5 3 20 0 15 0 415633480 11107311616 692646 33554432000 4194304 4196468 140730459659488 140730459642032 140141944131319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
/proc/9292/statm: 2711746 692646 3645 1 0 2673805 0
[pid=9292/tid=9400] ppid=9288 vsize=10846984 memory=1548 CPUtime=2478.15 cores=1,3,5,7
/proc/9292/task/9400/stat : 9400 (java) R 9288 9292 9235 0 -1 4202560 116332 13205 0 2 247749 58 5 3 20 0 15 0 415633491 11107311616 692646 33554432000 4194304 4196468 140730459659488 140141915966992 140141525343091 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9403] ppid=9288 vsize=10846984 memory=1056 CPUtime=2.76 cores=1,3,5,7
/proc/9292/task/9403/stat : 9403 (java) S 9288 9292 9235 0 -1 1077944384 22266 13205 0 2 244 24 5 3 20 0 15 0 415633492 11107311616 692646 33554432000 4194304 4196468 140730459659488 140141948373648 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9405] ppid=9288 vsize=10846984 memory=744 CPUtime=2.78 cores=1,3,5,7
/proc/9292/task/9405/stat : 9405 (java) S 9288 9292 9235 0 -1 1077944384 23327 13205 0 2 246 24 5 3 20 0 15 0 415633492 11107311616 692646 33554432000 4194304 4196468 140730459659488 140141836646928 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9406] ppid=9288 vsize=10846984 memory=3932 CPUtime=2.77 cores=1,3,5,7
/proc/9292/task/9406/stat : 9406 (java) S 9288 9292 9235 0 -1 1077944384 21593 13205 0 2 246 23 5 3 20 0 15 0 415633492 11107311616 692646 33554432000 4194304 4196468 140730459659488 140141835594128 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9408] ppid=9288 vsize=10846984 memory=2832 CPUtime=2.79 cores=1,3,5,7
/proc/9292/task/9408/stat : 9408 (java) S 9288 9292 9235 0 -1 1077944384 22896 13205 0 2 246 25 5 3 20 0 15 0 415633492 11107311616 692646 33554432000 4194304 4196468 140730459659488 140141834541328 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9410] ppid=9288 vsize=10846984 memory=1548 CPUtime=2.6 cores=1,3,5,7
/proc/9292/task/9410/stat : 9410 (java) S 9288 9292 9235 0 -1 1077944384 27121 13205 0 2 237 15 5 3 20 0 15 0 415633493 11107311616 692646 33554432000 4194304 4196468 140730459659488 140141403241328 140141944142466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9412] ppid=9288 vsize=10846984 memory=1056 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9412/stat : 9412 (java) S 9288 9292 9235 0 -1 1077944384 52 13205 0 2 0 0 5 3 20 0 15 0 415633493 11107311616 692646 33554432000 4194304 4196468 140730459659488 140141402187360 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9414] ppid=9288 vsize=10846984 memory=14008 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9414/stat : 9414 (java) S 9288 9292 9235 0 -1 1077944384 5 13205 0 2 0 0 5 3 20 0 15 0 415633494 11107311616 692646 33554432000 4194304 4196468 140730459659488 140140823438720 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9416] ppid=9288 vsize=10846984 memory=11928 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9416/stat : 9416 (java) S 9288 9292 9235 0 -1 1077944384 3 13205 0 2 0 0 5 3 20 0 15 0 415633496 11107311616 692646 33554432000 4194304 4196468 140730459659488 140140516038992 140141944149915 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9417] ppid=9288 vsize=10846984 memory=2124 CPUtime=13.33 cores=1,3,5,7
/proc/9292/task/9417/stat : 9417 (java) S 9288 9292 9235 0 -1 1077944384 40507 13205 0 2 1320 5 5 3 20 0 15 0 415633496 11107311616 692646 33554432000 4194304 4196468 140730459659488 140141368629616 140141944142466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9418] ppid=9288 vsize=10846984 memory=7312 CPUtime=11.96 cores=1,3,5,7
/proc/9292/task/9418/stat : 9418 (java) S 9288 9292 9235 0 -1 1077944384 42442 13205 0 2 1181 7 5 3 20 0 15 0 415633496 11107311616 692646 33554432000 4194304 4196468 140730459659488 140141367576816 140141944142466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9419] ppid=9288 vsize=10846984 memory=504 CPUtime=2.66 cores=1,3,5,7
/proc/9292/task/9419/stat : 9419 (java) S 9288 9292 9235 0 -1 1077944384 20676 13205 0 2 252 6 5 3 20 0 15 0 415633496 11107311616 692646 33554432000 4194304 4196468 140730459659488 140141366524016 140141944142466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9424] ppid=9288 vsize=10846984 memory=1564 CPUtime=0.08 cores=1,3,5,7
/proc/9292/task/9424/stat : 9424 (java) S 9288 9292 9235 0 -1 1077944384 3 13205 0 2 0 0 5 3 20 0 15 0 415633497 11107311616 692646 33554432000 4194304 4196468 140730459659488 140140482480352 140141944141525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
[pid=9292/tid=9426] ppid=9288 vsize=10846984 memory=924 CPUtime=0.86 cores=1,3,5,7
/proc/9292/task/9426/stat : 9426 (java) S 9288 9292 9235 0 -1 1077944384 2035 13205 0 2 42 36 5 3 20 0 15 0 415633497 11107311616 692646 33554432000 4194304 4196468 140730459659488 140141365472432 140141944142466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9629696 140730459667184 140730459669701 140730459669701 140730459672527 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 2770584 KiB

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

[startup+2484.63 s]
# the end of solver process 9292 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.03 s, system=2.04198 s

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

Child status: 143
Real time (s): 2484.63
CPU time (s): 2520.07
CPU user time (s): 2518.03
CPU system time (s): 2.04198
CPU usage (%): 101.426
Max. virtual memory (cumulated for all children) (KiB): 10849804
Max. memory (cumulated for all children) (KiB): 2842740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.03
system time used= 2.04198
maximum resident set size= 2843744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355224
page faults= 3
swaps= 0
block input operations= 168
block output operations= 2992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112066
involuntary context switches= 3447


# summary of solver processes directly reported to runsolver:
#   pid: 9292
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2518.03
#   total CPU system time (s): 2.04198

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9761 second user time and 24.2937 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-13 18:53:01
IDJOB=4396301
IDBENCH=120522
IDSOLVER=2846
FILE ID=node151/4396301-1568393620
RUNJOBID= node151-1568393581-9267
PBS_JOBID= 21701866
Free space on /tmp= 59308 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-fixed/GraphColoring-qwhopt-o33-h381-bal-1.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396301-1568393620/watcher-4396301-1568393620 -o /tmp/evaluation-result-4396301-1568393620/solver-4396301-1568393620 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568393581-9267 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=276143177 HOME/instance-4396301-1568393620.xml

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

MD5SUM BENCH= 2a724879a45d3456306f221189212969
RANDOM SEED=276143177

node151.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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31039992 kB
MemAvailable:   31857948 kB
Buffers:          163572 kB
Cached:           946884 kB
SwapCached:        71580 kB
Active:           617464 kB
Inactive:         565420 kB
Active(anon):       8320 kB
Inactive(anon):    96848 kB
Active(file):     609144 kB
Inactive(file):   468572 kB
Unevictable:      110844 kB
Mlocked:          110844 kB
SwapTotal:      67108860 kB
SwapFree:       66934636 kB
Dirty:             72296 kB
Writeback:             0 kB
AnonPages:        112316 kB
Mapped:            36204 kB
Shmem:             23876 kB
Slab:             140352 kB
SReclaimable:     112148 kB
SUnreclaim:        28204 kB
KernelStack:        3408 kB
PageTables:         5416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     502008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 59240 MiB
End job on node151 at 2019-09-13 19:34:26