Trace number 4396601

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 2400.12 2366.14

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 benchmark1964.89
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.79/0.55	c Concrete v3.12.2.1568380929293 running
68.74/48.28	o 1088
70.43/49.50	o 1087
71.65/50.58	o 1086
72.83/51.60	o 1085
74.03/52.62	o 1084
75.24/53.60	o 1083
76.21/54.58	o 1082
77.40/55.55	o 1081
78.36/56.44	o 1080
79.29/57.34	o 1079
80.23/58.21	o 1078
81.15/59.17	o 1077
82.10/60.06	o 1076
82.99/60.96	o 1075
84.01/61.87	o 1074
84.88/62.65	o 1073
85.68/63.49	o 1072
86.81/64.42	o 1071
87.74/65.33	o 1070
88.65/66.19	o 1069
89.59/67.10	o 1068
90.54/67.95	o 1067
91.55/68.91	o 1066
92.58/69.84	o 1065
93.57/70.76	o 1064
94.48/71.62	o 1063
95.29/72.47	o 1062
96.29/73.42	o 1061
97.20/74.33	o 1060
98.10/75.29	o 1059
99.01/76.16	o 1058
99.91/77.02	o 1057
100.80/77.96	o 1056
101.71/78.84	o 1055
102.61/79.70	o 1054
103.41/80.52	o 1053
104.21/81.31	o 1052
105.02/82.13	o 1051
105.93/83.03	o 1050
106.72/83.86	o 1049
107.62/84.73	o 1048
108.52/85.63	o 1047
109.34/86.44	o 1046
110.05/87.17	o 1045
110.84/87.92	o 1044
111.74/88.83	o 1043
112.64/89.73	o 1042
113.45/90.59	o 1041
114.35/91.42	o 1040
115.26/92.32	o 1039
116.16/93.20	o 1038
116.88/94.00	o 1037
117.79/94.84	o 1036
118.69/95.71	o 1035
119.49/96.51	o 1034
120.30/97.38	o 1033
121.22/98.24	o 1032
122.07/99.03	o 1031
122.87/99.80	o 1030
123.57/100.58	o 1029
124.38/101.36	o 1028
125.19/102.12	o 1027
125.98/102.94	o 1026
126.79/103.77	o 1025
127.69/104.63	o 1024
128.49/105.48	o 1023
129.39/106.33	o 1022
130.29/107.21	o 1021
131.10/108.04	o 1020
131.89/108.84	o 1019
132.70/109.63	o 1018
133.50/110.41	o 1017
134.30/111.20	o 1016
135.00/111.96	o 1015
135.90/112.88	o 1014
136.80/113.76	o 1013
137.61/114.58	o 1012
138.51/115.41	o 1011
139.31/116.25	o 1010
140.14/117.09	o 1009
141.04/117.93	o 1008
141.84/118.76	o 1007
142.74/119.67	o 1006
143.55/120.44	o 1005
144.35/121.26	o 1004
145.26/122.11	o 1003
146.06/122.90	o 1002
146.86/123.76	o 1001
147.76/124.65	o 1000
148.56/125.45	o 999
149.36/126.24	o 998
150.17/127.07	o 997
151.06/127.95	o 996
151.87/128.75	o 995
152.67/129.57	o 994
153.47/130.33	o 993
154.18/131.08	o 992
154.97/131.89	o 991
155.77/132.67	o 990
156.57/133.41	o 989
157.28/134.19	o 988
157.99/134.85	o 987
158.69/135.55	o 986
159.39/136.27	o 985
160.30/137.13	o 984
161.09/137.99	o 983
161.99/138.86	o 982
162.89/139.73	o 981
163.69/140.56	o 980
164.49/141.38	o 979
165.40/142.22	o 978
166.10/142.98	o 977
166.91/143.73	o 976
167.51/144.39	o 975
168.22/145.10	o 974
168.91/145.78	o 973
169.71/146.56	o 972
170.51/147.31	o 971
171.22/148.01	o 970
171.91/148.73	o 969
172.61/149.48	o 968
173.32/150.18	o 967
174.01/150.88	o 966
174.71/151.54	o 965
175.33/152.19	o 964
176.25/153.04	o 963
177.04/153.87	o 962
177.95/154.75	o 961
178.75/155.52	o 960
179.56/156.32	o 959
180.37/157.19	o 958
181.16/157.94	o 957
181.96/158.77	o 956
182.85/159.61	o 955
183.66/160.45	o 954
184.57/161.30	o 953
185.28/162.07	o 952
186.08/162.88	o 951
186.88/163.66	o 950
187.58/164.37	o 949
188.57/165.04	o 948
189.26/165.74	o 947
189.96/166.41	o 946
190.57/167.02	o 945
191.06/167.59	o 944
191.67/168.17	o 943
192.26/168.78	o 942
192.86/169.38	o 941
193.46/169.98	o 940
194.06/170.55	o 939
194.68/171.17	o 938
195.48/171.99	o 937
196.28/172.78	o 936
197.08/173.56	o 935
198.04/174.38	o 934
198.94/175.24	o 933
199.75/176.06	o 932
200.64/176.91	o 931
201.44/177.74	o 930
202.24/178.52	o 929
203.04/179.32	o 928
203.87/180.13	o 927
204.66/180.96	o 926
205.46/181.70	o 925
206.16/182.47	o 924
206.96/183.24	o 923
207.66/183.98	o 922
208.36/184.68	o 921
209.16/185.41	o 920
209.77/186.06	o 919
210.36/186.69	o 918
211.06/187.31	o 917
211.66/187.94	o 916
212.26/188.56	o 915
212.87/189.13	o 914
213.46/189.76	o 913
214.08/190.31	o 912
214.57/190.85	o 911
215.08/191.33	o 910
215.58/191.87	o 909
216.08/192.36	o 908
216.58/192.87	o 907
217.08/193.30	o 906
217.79/194.01	o 905
218.48/194.73	o 904
219.28/195.50	o 903
220.08/196.33	o 902
220.89/197.13	o 901
221.68/197.98	o 900
222.48/198.79	o 899
223.29/199.56	o 898
224.09/200.32	o 897
224.80/201.07	o 896
225.59/201.82	o 895
226.29/202.56	o 894
227.09/203.31	o 893
227.69/204.00	o 892
228.49/204.73	o 891
229.19/205.44	o 890
229.90/206.15	o 889
230.59/206.86	o 888
231.29/207.56	o 887
231.99/208.20	o 886
232.59/208.80	o 885
233.19/209.40	o 884
233.71/209.93	o 883
234.21/210.42	o 882
234.71/210.90	o 881
235.11/211.36	o 880
235.51/211.79	o 879
236.01/212.26	o 878
236.41/212.67	o 877
236.92/213.12	o 876
237.32/213.57	o 875
237.72/213.94	o 874
238.12/214.33	o 873
238.52/214.76	o 872
238.82/215.09	o 871
239.22/215.42	o 870
239.52/215.76	o 869
239.83/216.06	o 868
240.12/216.39	o 867
240.42/216.65	o 866
240.72/216.91	o 865
240.93/217.14	o 864
241.12/217.36	o 863
241.32/217.56	o 862
241.52/217.72	o 861
241.62/217.88	o 860
241.83/218.02	o 859
241.93/218.16	o 858
242.12/218.31	o 857
242.22/218.43	o 856
242.22/218.48	o 855
242.32/218.54	o 854
242.32/218.59	o 853
242.42/218.61	o 36
242.96/218.82	o 35
244.91/220.04	o 34
249.66/223.30	o 33
2400.07/2366.11	Exception in thread "main" java.util.concurrent.TimeoutException
2400.07/2366.11		at concrete.MAC.mac(MAC.scala:192)
2400.07/2366.11		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2400.07/2366.11		at scala.util.Try$.apply(Try.scala:212)
2400.07/2366.11		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2400.07/2366.11		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2400.07/2366.11		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2400.07/2366.11		at concrete.MAC.oneRun(MAC.scala:265)
2400.07/2366.11		at concrete.MAC.nextSolution(MAC.scala:284)
2400.07/2366.11		at concrete.MAC.nextSolution(MAC.scala:369)
2400.07/2366.11		at concrete.Solver.hasNext(Solver.scala:160)
2400.07/2366.11		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2400.07/2366.11		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2400.07/2366.11		at concrete.Solver.foreach(Solver.scala:67)
2400.07/2366.11		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2400.07/2366.11		at scala.util.Success.map(Try.scala:264)
2400.07/2366.11		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2400.07/2366.11		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2400.07/2366.11		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.07/2366.11		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2400.07/2366.11		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.07/2366.11		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2400.07/2366.11		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2400.07/2366.11		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2400.07/2366.11		at scala.App.$anonfun$main$1(App.scala:75)
2400.07/2366.11		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2400.07/2366.11		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2400.07/2366.11		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2400.07/2366.11		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2400.07/2366.11		at scala.App.main(App.scala:75)
2400.07/2366.11		at scala.App.main$(App.scala:73)
2400.07/2366.11		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.07/2366.11		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.07/2366.12	v <instantiation
2400.07/2366.12	v         cost = '33'>
2400.07/2366.12	v       <list>
2400.07/2366.12	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]
2400.07/2366.12	v       </list>
2400.07/2366.12	v       <values>
2400.07/2366.12	v         11 12 1 2 27 18 13 32 20 16 4 14 26 6 17 25 3 7 31 15 19 5 28 30 21 33 24 10 0 8 22 23 9 18 2 14 23 25 8 20 29 16 11 19 30 1 9 32 13 31 26 5 0 10 33 12 27 7 24 22 6 3 4 17 15 21 20 0 27 12 17 29 18 19 5 4 7 16 13 11 26 10 23 22 3 8 33 31 14 21 9 6 32 28 24 30 2 25 15 6 15 8 13 26 2 31 33 3 23 30 10 22 4 14 5 24 32 28 20 9 1 19 29 18 27 7 25 11 12 0 21 17 10 9 3 30 24 20 7 23 25 29 26 22 11 2 18 12 28 31 16 4 17 27 21 5 6 8 15 19 14 32 13 33 1 23 33 2 8 32 6 4 20 15 30 31 5 24 21 28 26 29 19 9 7 16 10 17 1 0 25 27 13 22 3 11 14 18 30 31 19 4 13 28 22 8 32 2 16 3 25 18 15 24 21 17 14 33 27 20 9 11 23 5 6 29 12 1 26 10 0 4 8 5 22 7 1 25 12 9 6 0 23 10 29 3 30 32 28 11 26 18 24 33 15 31 13 16 20 19 17 21 2 27 1 4 6 3 9 16 11 22 31 17 13 32 18 7 33 2 14 25 29 21 20 0 10 24 27 23 19 26 30 15 8 12 5 31 32 10 7 4 11 15 3 27 21 23 33 14 17 24 9 30 20 19 25 13 22 6 2 5 0 12 1 29 18 16 28 8 27 28 29 18 1 30 2 5 11 8 17 0 3 13 20 16 6 10 25 32 31 23 15 7 12 26 21 22 33 19 4 9 14 0 14 12 19 2 32 23 17 10 18 1 21 28 5 30 31 15 4 26 3 22 6 11 9 24 29 33 8 25 7 20 16 13 24 23 11 33 14 12 16 10 17 19 3 9 20 32 31 1 13 29 27 22 8 28 5 18 26 2 25 0 4 21 15 7 30 29 10 17 32 28 31 33 2 24 20 27 13 9 1 12 7 19 14 4 30 6 16 18 25 15 21 26 3 8 0 5 11 22 32 21 25 26 22 3 8 16 28 9 29 19 4 10 0 14 33 23 15 5 11 13 24 17 30 7 20 27 18 2 12 1 31 13 22 33 24 20 9 0 11 12 1 25 7 2 15 6 17 4 30 23 16 28 26 29 3 19 31 14 18 5 27 32 8 10 3 26 18 0 30 19 5 27 2 13 28 15 16 25 21 33 7 12 8 31 29 17 1 6 4 22 10 23 20 11 14 32 24 14 17 31 11 6 24 19 7 21 22 32 8 29 20 9 15 25 1 33 28 4 3 23 16 2 18 5 12 13 10 27 0 26 7 3 28 20 11 10 30 24 14 27 15 29 32 8 19 18 5 0 22 6 12 9 2 13 25 16 23 17 21 26 1 4 33 21 13 23 28 33 27 17 0 8 24 10 18 5 14 2 32 11 9 6 12 7 4 25 31 3 1 29 15 16 20 30 22 19 33 6 32 21 3 17 12 4 29 25 24 31 19 28 23 27 16 15 13 1 26 14 0 20 10 11 8 30 7 5 9 18 2 19 24 30 10 29 33 32 25 13 26 6 27 0 12 11 8 20 5 7 2 15 21 22 4 28 17 3 14 1 9 23 31 16 25 7 9 27 18 5 10 21 4 12 11 20 15 19 22 3 8 2 1 13 0 29 32 23 14 28 31 24 17 16 33 30 6 8 18 15 17 19 0 1 31 23 5 12 26 21 33 25 20 22 3 32 27 30 11 13 10 16 14 2 9 28 6 7 24 4 26 20 13 1 5 14 24 9 33 31 21 2 12 16 27 19 0 18 17 23 3 7 8 28 22 30 4 11 15 25 6 29 32 17 29 0 6 21 25 3 18 26 28 22 24 7 30 10 4 9 16 20 11 5 15 27 8 33 12 1 32 31 14 19 13 23 22 11 24 25 12 15 29 30 0 3 9 1 27 23 7 6 17 33 2 14 21 32 31 19 8 4 13 5 10 28 18 26 20 12 5 7 29 23 13 14 28 30 15 20 17 33 31 8 0 1 6 21 19 25 2 4 26 11 9 18 16 32 22 24 27 3 5 27 26 15 10 22 6 14 19 32 33 4 30 24 1 23 18 21 0 29 2 8 16 12 20 3 11 7 9 31 25 17 28 15 19 21 31 16 7 9 1 18 14 5 6 23 26 13 22 27 8 10 17 24 12 30 33 32 20 0 4 2 29 28 3 25 2 25 20 14 0 4 21 15 1 10 8 28 17 27 16 29 12 11 30 24 32 18 26 22 13 19 9 31 23 33 3 6 7 9 1 16 5 8 23 28 6 7 0 2 25 31 22 4 11 26 13 18 10 14 19 3 32 17 15 30 21 27 24 29 20 12 16 30 4 9 15 21 27 26 22 33 14 11 8 3 5 28 10 24 12 18 23 25 7 0 1 32 17 2 6 13 31 19 29
2400.07/2366.12	v       </values>
2400.07/2366.12	v     </instantiation>
2400.07/2366.12	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 (12698 MiB free)
  memory of node 1: 16384 MiB (15529 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396601-1568395841/watcher-4396601-1568395841 -o /tmp/evaluation-result-4396601-1568395841/solver-4396601-1568395841 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568393447-11283 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=2090848979 HOME/instance-4396601-1568395841.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=11755, runsolver pid=11752

[startup+0.100531 s]*
/proc/loadavg: 1.90 1.84 1.78 3/222 11812
/proc/meminfo: memFree=28896984/32770624 swapFree=67004060/67108860
[pid=11755] ppid=11752 vsize=9972712 memory=18860 CPUtime=0.1 cores=1,3,5,7
/proc/11755/stat : 11755 (java) S 11752 11755 9544 0 -1 1077944320 4426 13153 0 0 1 1 5 3 20 0 6 0 415823702 10212057088 4715 33554432000 4194304 4196468 140730238780400 140730238762944 140392271150839 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
/proc/11755/statm: 2493178 4715 1935 1 0 2481616 0
[pid=11755/tid=11808] ppid=11752 vsize=9972712 memory=4279135703913235855 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11808/stat : 11808 (java) R 11752 11755 9544 0 -1 4202560 2251 13153 0 0 0 0 5 3 20 0 6 0 415823711 10212057088 4715 33554432000 4194304 4196468 140730238780400 140392242987600 140392256462841 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11809] ppid=11752 vsize=9972712 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11809/stat : 11809 (java) S 11752 11755 9544 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 6 0 415823712 10212057088 4715 33554432000 4194304 4196468 140730238780400 140392275393296 140392271161045 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11810] ppid=11752 vsize=9972712 memory=140269498934912 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11810/stat : 11810 (java) S 11752 11755 9544 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 6 0 415823712 10212057088 4715 33554432000 4194304 4196468 140730238780400 140392163666832 140392271161045 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11811] ppid=11752 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11811/stat : 11811 (java) S 11752 11755 9544 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 6 0 415823712 10212057088 4715 33554432000 4194304 4196468 140730238780400 140392162614288 140392271161045 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11812] ppid=11752 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11812/stat : 11812 (java) S 11752 11755 9544 0 -1 1077944384 2 13153 0 0 0 0 5 3 20 0 6 0 415823712 10212057088 4715 33554432000 4194304 4196468 140730238780400 140392161561744 140392271161045 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18860 KiB

[startup+0.210138 s]*
/proc/loadavg: 1.90 1.84 1.78 3/231 11821
/proc/meminfo: memFree=28877064/32770624 swapFree=67004060/67108860
[pid=11755] ppid=11752 vsize=10819664 memory=41108 CPUtime=0.26 cores=1,3,5,7
/proc/11755/stat : 11755 (java) S 11752 11755 9544 0 -1 1077944320 7061 13153 0 0 17 1 5 3 20 0 15 0 415823702 11079335936 10277 33554432000 4194304 4196468 140730238780400 140730238762944 140392271150839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
/proc/11755/statm: 2704916 10277 3185 1 0 2667149 0
[pid=11755/tid=11808] ppid=11752 vsize=10819664 memory=-6517102902069810590 CPUtime=0.2 cores=1,3,5,7
/proc/11755/task/11808/stat : 11808 (java) R 11752 11755 9544 0 -1 4202560 3525 13153 0 0 11 1 5 3 20 0 15 0 415823711 11079335936 10277 33554432000 4194304 4196468 140730238780400 140392242967952 140392271162774 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11809] ppid=11752 vsize=10819664 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11809/stat : 11809 (java) S 11752 11755 9544 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 415823712 11079335936 10277 33554432000 4194304 4196468 140730238780400 140392275393296 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11810] ppid=11752 vsize=10819664 memory=140269498934912 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11810/stat : 11810 (java) S 11752 11755 9544 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 415823712 11079335936 10277 33554432000 4194304 4196468 140730238780400 140392163666832 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11811] ppid=11752 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11811/stat : 11811 (java) S 11752 11755 9544 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 415823712 11079335936 10277 33554432000 4194304 4196468 140730238780400 140392162614288 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11812] ppid=11752 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11812/stat : 11812 (java) S 11752 11755 9544 0 -1 1077944384 2 13153 0 0 0 0 5 3 20 0 15 0 415823712 11079335936 10277 33554432000 4194304 4196468 140730238780400 140392161561744 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11813] ppid=11752 vsize=10819664 memory=140269498934912 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11813/stat : 11813 (java) S 11752 11755 9544 0 -1 1077944384 2 13153 0 0 0 0 5 3 20 0 15 0 415823713 11079335936 10277 33554432000 4194304 4196468 140730238780400 140391729797104 140392271161986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11814] ppid=11752 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11814/stat : 11814 (java) S 11752 11755 9544 0 -1 1077944384 33 13153 0 0 0 0 5 3 20 0 15 0 415823714 11079335936 10277 33554432000 4194304 4196468 140730238780400 140391728743328 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11815] ppid=11752 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11815/stat : 11815 (java) S 11752 11755 9544 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 415823714 11079335936 10277 33554432000 4194304 4196468 140730238780400 140391609263088 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11816] ppid=11752 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11816/stat : 11816 (java) S 11752 11755 9544 0 -1 1077944384 2 13153 0 0 0 0 5 3 20 0 15 0 415823716 11079335936 10277 33554432000 4194304 4196468 140730238780400 140391005284560 140392271169435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11817] ppid=11752 vsize=10819664 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/11755/task/11817/stat : 11817 (java) S 11752 11755 9544 0 -1 1077944384 465 13153 0 0 1 0 5 3 20 0 15 0 415823717 11079335936 10277 33554432000 4194304 4196468 140730238780400 140391695186416 140392271161986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11818] ppid=11752 vsize=10819664 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/11755/task/11818/stat : 11818 (java) S 11752 11755 9544 0 -1 1077944384 198 13153 0 0 1 0 5 3 20 0 15 0 415823717 11079335936 10277 33554432000 4194304 4196468 140730238780400 140391694133872 140392271161986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11819] ppid=11752 vsize=10819664 memory=140269498934912 CPUtime=0.11 cores=1,3,5,7
/proc/11755/task/11819/stat : 11819 (java) R 11752 11755 9544 0 -1 4202560 628 13153 0 0 3 0 5 3 20 0 15 0 415823717 11079335936 10277 33554432000 4194304 4196468 140730238780400 140391693081328 140392255231326 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11820] ppid=11752 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11820/stat : 11820 (java) S 11752 11755 9544 0 -1 1077944384 3 13153 0 0 0 0 5 3 20 0 15 0 415823717 11079335936 10277 33554432000 4194304 4196468 140730238780400 140390535523424 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11821] ppid=11752 vsize=10819664 memory=140269498934912 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11821/stat : 11821 (java) S 11752 11755 9544 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 415823717 11079335936 10277 33554432000 4194304 4196468 140730238780400 140391692028208 140392271161986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 41108 KiB

[startup+0.31064 s]*
/proc/loadavg: 1.90 1.84 1.78 3/231 11821
/proc/meminfo: memFree=28864144/32770624 swapFree=67004060/67108860
[pid=11755] ppid=11752 vsize=10820148 memory=52232 CPUtime=0.41 cores=1,3,5,7
/proc/11755/stat : 11755 (java) S 11752 11755 9544 0 -1 1077944320 10775 13153 0 0 30 3 5 3 20 0 15 0 415823702 11079831552 13058 33554432000 4194304 4196468 140730238780400 140730238762944 140392271150839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
/proc/11755/statm: 2705037 13058 3317 1 0 2667149 0
[pid=11755/tid=11808] ppid=11752 vsize=10820148 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/11755/task/11808/stat : 11808 (java) R 11752 11755 9544 0 -1 4202560 7206 13153 0 0 19 2 5 3 20 0 15 0 415823711 11079831552 13058 33554432000 4194304 4196468 140730238780400 140392242950752 140391827518370 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11809] ppid=11752 vsize=10820148 memory=7300726775641821520 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11809/stat : 11809 (java) S 11752 11755 9544 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 415823712 11079831552 13058 33554432000 4194304 4196468 140730238780400 140392275393296 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11810] ppid=11752 vsize=10820148 memory=2080 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11810/stat : 11810 (java) S 11752 11755 9544 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 415823712 11079831552 13058 33554432000 4194304 4196468 140730238780400 140392163666832 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11811] ppid=11752 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11811/stat : 11811 (java) S 11752 11755 9544 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 415823712 11079831552 13058 33554432000 4194304 4196468 140730238780400 140392162614288 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11812] ppid=11752 vsize=10820148 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11812/stat : 11812 (java) S 11752 11755 9544 0 -1 1077944384 2 13153 0 0 0 0 5 3 20 0 15 0 415823712 11079831552 13058 33554432000 4194304 4196468 140730238780400 140392161561744 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11813] ppid=11752 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11813/stat : 11813 (java) S 11752 11755 9544 0 -1 1077944384 2 13153 0 0 0 0 5 3 20 0 15 0 415823713 11079831552 13058 33554432000 4194304 4196468 140730238780400 140391729797104 140392271161986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11814] ppid=11752 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11814/stat : 11814 (java) S 11752 11755 9544 0 -1 1077944384 33 13153 0 0 0 0 5 3 20 0 15 0 415823714 11079831552 13058 33554432000 4194304 4196468 140730238780400 140391728743328 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11815] ppid=11752 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11815/stat : 11815 (java) S 11752 11755 9544 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 415823714 11079831552 13058 33554432000 4194304 4196468 140730238780400 140391609263088 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11816] ppid=11752 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11816/stat : 11816 (java) S 11752 11755 9544 0 -1 1077944384 2 13153 0 0 0 0 5 3 20 0 15 0 415823716 11079831552 13058 33554432000 4194304 4196468 140730238780400 140391005284560 140392271169435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11817] ppid=11752 vsize=10820148 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/11755/task/11817/stat : 11817 (java) S 11752 11755 9544 0 -1 1077944384 466 13153 0 0 2 0 5 3 20 0 15 0 415823717 11079831552 13058 33554432000 4194304 4196468 140730238780400 140391695186416 140392271161986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11818] ppid=11752 vsize=10820148 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/11755/task/11818/stat : 11818 (java) S 11752 11755 9544 0 -1 1077944384 207 13153 0 0 2 0 5 3 20 0 15 0 415823717 11079831552 13058 33554432000 4194304 4196468 140730238780400 140391694133872 140392271161986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11819] ppid=11752 vsize=10820148 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/11755/task/11819/stat : 11819 (java) S 11752 11755 9544 0 -1 1077944384 650 13153 0 0 5 0 5 3 20 0 15 0 415823717 11079831552 13058 33554432000 4194304 4196468 140730238780400 140391693081328 140392271161986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11820] ppid=11752 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11820/stat : 11820 (java) S 11752 11755 9544 0 -1 1077944384 3 13153 0 0 0 0 5 3 20 0 15 0 415823717 11079831552 13058 33554432000 4194304 4196468 140730238780400 140390535523424 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11821] ppid=11752 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11821/stat : 11821 (java) S 11752 11755 9544 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 415823717 11079831552 13058 33554432000 4194304 4196468 140730238780400 140391692028208 140392271161986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 52232 KiB

[startup+0.701461 s]
/proc/loadavg: 1.90 1.84 1.78 4/231 11821
/proc/meminfo: memFree=28848976/32770624 swapFree=67004060/67108860
[pid=11755] ppid=11752 vsize=10824360 memory=85308 CPUtime=1.14 cores=1,3,5,7
/proc/11755/stat : 11755 (java) S 11752 11755 9544 0 -1 1077944320 15099 13153 0 0 102 4 5 3 20 0 15 0 415823702 11084144640 21327 33554432000 4194304 4196468 140730238780400 140730238762944 140392271150839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
/proc/11755/statm: 2706090 21327 3511 1 0 2668173 0
[pid=11755/tid=11808] ppid=11752 vsize=10824360 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/11755/task/11808/stat : 11808 (java) R 11752 11755 9544 0 -1 4202560 10322 13153 0 0 56 3 5 3 20 0 15 0 415823711 11084144640 21327 33554432000 4194304 4196468 140730238780400 140392242959296 140392255464412 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11809] ppid=11752 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11809/stat : 11809 (java) S 11752 11755 9544 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 415823712 11084144640 21327 33554432000 4194304 4196468 140730238780400 140392275393296 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11810] ppid=11752 vsize=10824360 memory=3280 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11810/stat : 11810 (java) S 11752 11755 9544 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 415823712 11084144640 21327 33554432000 4194304 4196468 140730238780400 140392163666832 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11811] ppid=11752 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11811/stat : 11811 (java) S 11752 11755 9544 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 415823712 11084144640 21327 33554432000 4194304 4196468 140730238780400 140392162614288 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11812] ppid=11752 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11812/stat : 11812 (java) S 11752 11755 9544 0 -1 1077944384 2 13153 0 0 0 0 5 3 20 0 15 0 415823712 11084144640 21327 33554432000 4194304 4196468 140730238780400 140392161561744 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11813] ppid=11752 vsize=10824360 memory=4420 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11813/stat : 11813 (java) S 11752 11755 9544 0 -1 1077944384 6 13153 0 0 0 0 5 3 20 0 15 0 415823713 11084144640 21327 33554432000 4194304 4196468 140730238780400 140391729797104 140392271161986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11814] ppid=11752 vsize=10824360 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11814/stat : 11814 (java) S 11752 11755 9544 0 -1 1077944384 33 13153 0 0 0 0 5 3 20 0 15 0 415823714 11084144640 21379 33554432000 4194304 4196468 140730238780400 140391728743328 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11815] ppid=11752 vsize=10824360 memory=8836 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11815/stat : 11815 (java) S 11752 11755 9544 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 415823714 11084144640 21379 33554432000 4194304 4196468 140730238780400 140391609263088 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11816] ppid=11752 vsize=10824360 memory=11044 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11816/stat : 11816 (java) S 11752 11755 9544 0 -1 1077944384 2 13153 0 0 0 0 5 3 20 0 15 0 415823716 11084144640 21379 33554432000 4194304 4196468 140730238780400 140391005284560 140392271169435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11817] ppid=11752 vsize=10824360 memory=13252 CPUtime=0.24 cores=1,3,5,7
/proc/11755/task/11817/stat : 11817 (java) R 11752 11755 9544 0 -1 4202560 971 13153 0 0 16 0 5 3 20 0 15 0 415823717 11084144640 21379 33554432000 4194304 4196468 140730238780400 140391695186416 140392271172186 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11818] ppid=11752 vsize=10824360 memory=15460 CPUtime=0.2 cores=1,3,5,7
/proc/11755/task/11818/stat : 11818 (java) S 11752 11755 9544 0 -1 1077944384 647 13153 0 0 12 0 5 3 20 0 15 0 415823717 11084144640 21379 33554432000 4194304 4196468 140730238780400 140391694133872 140392271161986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11819] ppid=11752 vsize=10824360 memory=17668 CPUtime=0.25 cores=1,3,5,7
/proc/11755/task/11819/stat : 11819 (java) S 11752 11755 9544 0 -1 1077944384 905 13153 0 0 17 0 5 3 20 0 15 0 415823717 11084144640 21379 33554432000 4194304 4196468 140730238780400 140391693081328 140392271161986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11820] ppid=11752 vsize=10824360 memory=19876 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11820/stat : 11820 (java) S 11752 11755 9544 0 -1 1077944384 3 13153 0 0 0 0 5 3 20 0 15 0 415823717 11084144640 21379 33554432000 4194304 4196468 140730238780400 140390535523424 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11821] ppid=11752 vsize=10824360 memory=22084 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11821/stat : 11821 (java) R 11752 11755 9544 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 415823717 11084144640 21379 33554432000 4194304 4196468 140730238780400 140391692028208 140392271161986 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 85308 KiB

[startup+1.50146 s]
/proc/loadavg: 1.90 1.84 1.78 4/231 11821
/proc/meminfo: memFree=28801684/32770624 swapFree=67004060/67108860
[pid=11755] ppid=11752 vsize=10826484 memory=220952 CPUtime=3.63 cores=1,3,5,7
/proc/11755/stat : 11755 (java) S 11752 11755 9544 0 -1 1077944320 21806 13153 0 0 347 8 5 3 20 0 15 0 415823702 11086319616 55238 33554432000 4194304 4196468 140730238780400 140730238762944 140392271150839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
/proc/11755/statm: 2706621 55238 3585 1 0 2668685 0
[pid=11755/tid=11808] ppid=11752 vsize=10826484 memory=0 CPUtime=1.44 cores=1,3,5,7
/proc/11755/task/11808/stat : 11808 (java) R 11752 11755 9544 0 -1 4202560 11522 13153 0 0 132 4 5 3 20 0 15 0 415823711 11086319616 55238 33554432000 4194304 4196468 140730238780400 140392242984752 140392256536897 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11809] ppid=11752 vsize=10826484 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11809/stat : 11809 (java) S 11752 11755 9544 0 -1 1077944384 338 13153 0 0 0 0 5 3 20 0 15 0 415823712 11086319616 55238 33554432000 4194304 4196468 140730238780400 140392275393296 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11810] ppid=11752 vsize=10826484 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11810/stat : 11810 (java) S 11752 11755 9544 0 -1 1077944384 46 13153 0 0 0 0 5 3 20 0 15 0 415823712 11086319616 55238 33554432000 4194304 4196468 140730238780400 140392163666832 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11811] ppid=11752 vsize=10826484 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11811/stat : 11811 (java) S 11752 11755 9544 0 -1 1077944384 4 13153 0 0 0 0 5 3 20 0 15 0 415823712 11086319616 55238 33554432000 4194304 4196468 140730238780400 140392162614288 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11812] ppid=11752 vsize=10826484 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/11755/task/11812/stat : 11812 (java) S 11752 11755 9544 0 -1 1077944384 91 13153 0 0 1 0 5 3 20 0 15 0 415823712 11086319616 55238 33554432000 4194304 4196468 140730238780400 140392161561744 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11813] ppid=11752 vsize=10826484 memory=-7965959130280075168 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11813/stat : 11813 (java) S 11752 11755 9544 0 -1 1077944384 100 13153 0 0 0 0 5 3 20 0 15 0 415823713 11086319616 55238 33554432000 4194304 4196468 140730238780400 140391729797104 140392271161986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11814] ppid=11752 vsize=10826484 memory=280538673916160 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11814/stat : 11814 (java) S 11752 11755 9544 0 -1 1077944384 34 13153 0 0 0 0 5 3 20 0 15 0 415823714 11086319616 55238 33554432000 4194304 4196468 140730238780400 140391728743328 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11815] ppid=11752 vsize=10826484 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11815/stat : 11815 (java) S 11752 11755 9544 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 415823714 11086319616 55238 33554432000 4194304 4196468 140730238780400 140391609263088 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11816] ppid=11752 vsize=10826484 memory=8252 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11816/stat : 11816 (java) S 11752 11755 9544 0 -1 1077944384 2 13153 0 0 0 0 5 3 20 0 15 0 415823716 11086319616 55238 33554432000 4194304 4196468 140730238780400 140391005284560 140392271169435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11817] ppid=11752 vsize=10826484 memory=5920 CPUtime=0.91 cores=1,3,5,7
/proc/11755/task/11817/stat : 11817 (java) R 11752 11755 9544 0 -1 4202560 2718 13153 0 0 83 0 5 3 20 0 15 0 415823717 11086319616 55238 33554432000 4194304 4196468 140730238780400 140391695167632 140392250383620 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11818] ppid=11752 vsize=10826484 memory=1056 CPUtime=0.88 cores=1,3,5,7
/proc/11755/task/11818/stat : 11818 (java) R 11752 11755 9544 0 -1 4202560 2721 13153 0 0 80 0 5 3 20 0 15 0 415823717 11086319616 55238 33554432000 4194304 4196468 140730238780400 140391694134000 140392250994412 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11819] ppid=11752 vsize=10826484 memory=1540 CPUtime=0.52 cores=1,3,5,7
/proc/11755/task/11819/stat : 11819 (java) R 11752 11755 9544 0 -1 4202560 2025 13153 0 0 44 0 5 3 20 0 15 0 415823717 11086319616 55238 33554432000 4194304 4196468 140730238780400 140391693075680 140392249707035 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11820] ppid=11752 vsize=10826484 memory=728 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11820/stat : 11820 (java) S 11752 11755 9544 0 -1 1077944384 3 13153 0 0 0 0 5 3 20 0 15 0 415823717 11086319616 55238 33554432000 4194304 4196468 140730238780400 140390535523424 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11821] ppid=11752 vsize=10826484 memory=4000 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11821/stat : 11821 (java) S 11752 11755 9544 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 415823717 11086319616 55238 33554432000 4194304 4196468 140730238780400 140391692028208 140392271161986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
Current children cumulated CPU time: 3.63 s
Current children cumulated vsize: 10826484 KiB

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

/proc/11755/task/11808/stat : 11808 (java) R 11752 11755 9544 0 -1 4202560 116642 13153 0 0 225644 48 5 3 20 0 15 0 415823711 11107311616 589424 33554432000 4194304 4196468 140730238780400 140392242986912 140391847437145 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11809] ppid=11752 vsize=10846984 memory=924 CPUtime=2.42 cores=1,3,5,7
/proc/11755/task/11809/stat : 11809 (java) S 11752 11755 9544 0 -1 1077944384 24556 13153 0 0 210 24 5 3 20 0 15 0 415823712 11107311616 589424 33554432000 4194304 4196468 140730238780400 140392275393296 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11810] ppid=11752 vsize=10846984 memory=2357696 CPUtime=2.41 cores=1,3,5,7
/proc/11755/task/11810/stat : 11810 (java) S 11752 11755 9544 0 -1 1077944384 24636 13153 0 0 210 23 5 3 20 0 15 0 415823712 11107311616 589424 33554432000 4194304 4196468 140730238780400 140392163666832 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11811] ppid=11752 vsize=10846984 memory=206 CPUtime=2.41 cores=1,3,5,7
/proc/11755/task/11811/stat : 11811 (java) S 11752 11755 9544 0 -1 1077944384 17831 13153 0 0 209 24 5 3 20 0 15 0 415823712 11107311616 589424 33554432000 4194304 4196468 140730238780400 140392162614288 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11812] ppid=11752 vsize=10846984 memory=2357608 CPUtime=2.44 cores=1,3,5,7
/proc/11755/task/11812/stat : 11812 (java) S 11752 11755 9544 0 -1 1077944384 19223 13153 0 0 211 25 5 3 20 0 15 0 415823712 11107311616 589424 33554432000 4194304 4196468 140730238780400 140392161561744 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11813] ppid=11752 vsize=10846984 memory=2357696 CPUtime=2.15 cores=1,3,5,7
/proc/11755/task/11813/stat : 11813 (java) S 11752 11755 9544 0 -1 1077944384 24621 13153 0 0 194 13 5 3 20 0 15 0 415823713 11107311616 589424 33554432000 4194304 4196468 140730238780400 140391729797104 140392271161986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11814] ppid=11752 vsize=10846984 memory=2357696 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11814/stat : 11814 (java) S 11752 11755 9544 0 -1 1077944384 49 13153 0 0 0 0 5 3 20 0 15 0 415823714 11107311616 589424 33554432000 4194304 4196468 140730238780400 140391728743392 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11815] ppid=11752 vsize=10846984 memory=2357696 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11815/stat : 11815 (java) S 11752 11755 9544 0 -1 1077944384 3 13153 0 0 0 0 5 3 20 0 15 0 415823714 11107311616 589424 33554432000 4194304 4196468 140730238780400 140391609263104 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11816] ppid=11752 vsize=10846984 memory=2357696 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11816/stat : 11816 (java) S 11752 11755 9544 0 -1 1077944384 2 13153 0 0 0 0 5 3 20 0 15 0 415823716 11107311616 589424 33554432000 4194304 4196468 140730238780400 140391005284560 140392271169435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11817] ppid=11752 vsize=10846984 memory=2357696 CPUtime=12.86 cores=1,3,5,7
/proc/11755/task/11817/stat : 11817 (java) S 11752 11755 9544 0 -1 1077944384 45188 13153 0 0 1274 4 5 3 20 0 15 0 415823717 11107311616 589424 33554432000 4194304 4196468 140730238780400 140391695186416 140392271161986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11818] ppid=11752 vsize=10846984 memory=2357696 CPUtime=11.23 cores=1,3,5,7
/proc/11755/task/11818/stat : 11818 (java) S 11752 11755 9544 0 -1 1077944384 34994 13153 0 0 1111 4 5 3 20 0 15 0 415823717 11107311616 589424 33554432000 4194304 4196468 140730238780400 140391694133872 140392271161986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11819] ppid=11752 vsize=10846984 memory=2357696 CPUtime=2.73 cores=1,3,5,7
/proc/11755/task/11819/stat : 11819 (java) S 11752 11755 9544 0 -1 1077944384 23098 13153 0 0 259 6 5 3 20 0 15 0 415823717 11107311616 589424 33554432000 4194304 4196468 140730238780400 140391693081328 140392271161986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11820] ppid=11752 vsize=10846984 memory=2357696 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11820/stat : 11820 (java) S 11752 11755 9544 0 -1 1077944384 3 13153 0 0 0 0 5 3 20 0 15 0 415823717 11107311616 589424 33554432000 4194304 4196468 140730238780400 140390535523424 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11821] ppid=11752 vsize=10846984 memory=2357696 CPUtime=0.78 cores=1,3,5,7
/proc/11755/task/11821/stat : 11821 (java) S 11752 11755 9544 0 -1 1077944384 1939 13153 0 0 33 37 5 3 20 0 15 0 415823717 11107311616 589424 33554432000 4194304 4196468 140730238780400 140391692028208 140392271161986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 29 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
Current children cumulated CPU time: 2295.84 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 2357696 KiB

[startup+2322.3 s]
/proc/loadavg: 1.28 1.34 1.45 3/230 12442
/proc/meminfo: memFree=28432572/32770624 swapFree=67004060/67108860
[pid=11755] ppid=11752 vsize=10846984 memory=2357780 CPUtime=2356.08 cores=1,3,5,7
/proc/11755/stat : 11755 (java) S 11752 11755 9544 0 -1 1077944320 337358 13153 0 0 235412 188 5 3 20 0 15 0 415823702 11107311616 589445 33554432000 4194304 4196468 140730238780400 140730238762944 140392271150839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
/proc/11755/statm: 2711746 589445 3646 1 0 2673805 0
[pid=11755/tid=11808] ppid=11752 vsize=10846984 memory=2357780 CPUtime=2316.78 cores=1,3,5,7
/proc/11755/task/11808/stat : 11808 (java) R 11752 11755 9544 0 -1 4202560 117450 13153 0 0 231622 48 5 3 20 0 15 0 415823711 11107311616 589445 33554432000 4194304 4196468 140730238780400 140392242986320 140391847437149 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11809] ppid=11752 vsize=10846984 memory=2357768 CPUtime=2.51 cores=1,3,5,7
/proc/11755/task/11809/stat : 11809 (java) S 11752 11755 9544 0 -1 1077944384 24773 13153 0 0 218 25 5 3 20 0 15 0 415823712 11107311616 589445 33554432000 4194304 4196468 140730238780400 140392275393296 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11810] ppid=11752 vsize=10846984 memory=2357748 CPUtime=2.51 cores=1,3,5,7
/proc/11755/task/11810/stat : 11810 (java) S 11752 11755 9544 0 -1 1077944384 24898 13153 0 0 219 24 5 3 20 0 15 0 415823712 11107311616 589445 33554432000 4194304 4196468 140730238780400 140392163666832 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11811] ppid=11752 vsize=10846984 memory=2357696 CPUtime=2.49 cores=1,3,5,7
/proc/11755/task/11811/stat : 11811 (java) S 11752 11755 9544 0 -1 1077944384 18230 13153 0 0 217 24 5 3 20 0 15 0 415823712 11107311616 589445 33554432000 4194304 4196468 140730238780400 140392162614288 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11812] ppid=11752 vsize=10846984 memory=2357728 CPUtime=2.53 cores=1,3,5,7
/proc/11755/task/11812/stat : 11812 (java) S 11752 11755 9544 0 -1 1077944384 19428 13153 0 0 220 25 5 3 20 0 15 0 415823712 11107311616 589445 33554432000 4194304 4196468 140730238780400 140392161561744 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11813] ppid=11752 vsize=10846984 memory=2357720 CPUtime=2.25 cores=1,3,5,7
/proc/11755/task/11813/stat : 11813 (java) S 11752 11755 9544 0 -1 1077944384 25053 13153 0 0 203 14 5 3 20 0 15 0 415823713 11107311616 589445 33554432000 4194304 4196468 140730238780400 140391729797104 140392271161986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11814] ppid=11752 vsize=10846984 memory=2357748 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11814/stat : 11814 (java) S 11752 11755 9544 0 -1 1077944384 49 13153 0 0 0 0 5 3 20 0 15 0 415823714 11107311616 589445 33554432000 4194304 4196468 140730238780400 140391728743392 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11815] ppid=11752 vsize=10846984 memory=2357748 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11815/stat : 11815 (java) S 11752 11755 9544 0 -1 1077944384 3 13153 0 0 0 0 5 3 20 0 15 0 415823714 11107311616 589445 33554432000 4194304 4196468 140730238780400 140391609263104 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11816] ppid=11752 vsize=10846984 memory=2357768 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11816/stat : 11816 (java) S 11752 11755 9544 0 -1 1077944384 2 13153 0 0 0 0 5 3 20 0 15 0 415823716 11107311616 589445 33554432000 4194304 4196468 140730238780400 140391005284560 140392271169435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11817] ppid=11752 vsize=10846984 memory=2357768 CPUtime=12.87 cores=1,3,5,7
/proc/11755/task/11817/stat : 11817 (java) S 11752 11755 9544 0 -1 1077944384 45192 13153 0 0 1275 4 5 3 20 0 15 0 415823717 11107311616 589445 33554432000 4194304 4196468 140730238780400 140391695186416 140392271161986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11818] ppid=11752 vsize=10846984 memory=2357780 CPUtime=11.23 cores=1,3,5,7
/proc/11755/task/11818/stat : 11818 (java) S 11752 11755 9544 0 -1 1077944384 34998 13153 0 0 1111 4 5 3 20 0 15 0 415823717 11107311616 589445 33554432000 4194304 4196468 140730238780400 140391694133872 140392271161986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11819] ppid=11752 vsize=10846984 memory=2357780 CPUtime=2.73 cores=1,3,5,7
/proc/11755/task/11819/stat : 11819 (java) S 11752 11755 9544 0 -1 1077944384 23102 13153 0 0 259 6 5 3 20 0 15 0 415823717 11107311616 589445 33554432000 4194304 4196468 140730238780400 140391693081328 140392271161986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11820] ppid=11752 vsize=10846984 memory=2357780 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11820/stat : 11820 (java) S 11752 11755 9544 0 -1 1077944384 3 13153 0 0 0 0 5 3 20 0 15 0 415823717 11107311616 589445 33554432000 4194304 4196468 140730238780400 140390535523424 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11821] ppid=11752 vsize=10846984 memory=3280 CPUtime=0.8 cores=1,3,5,7
/proc/11755/task/11821/stat : 11821 (java) S 11752 11755 9544 0 -1 1077944384 1972 13153 0 0 34 38 5 3 20 0 15 0 415823717 11107311616 589445 33554432000 4194304 4196468 140730238780400 140391692028208 140392271161986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
Current children cumulated CPU time: 2356.08 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 2357780 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2366.11 s]
/proc/loadavg: 1.36 1.35 1.45 3/231 12447
/proc/meminfo: memFree=28464940/32770624 swapFree=67004060/67108860
[pid=11755] ppid=11752 vsize=10846984 memory=2357820 CPUtime=2400.07 cores=1,3,5,7
/proc/11755/stat : 11755 (java) S 11752 11755 9544 0 -1 1077944320 339133 13153 0 0 239809 190 5 3 20 0 15 0 415823702 11107311616 589455 33554432000 4194304 4196468 140730238780400 140730238762944 140392271150839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
/proc/11755/statm: 2711746 589455 3646 1 0 2673805 0
[pid=11755/tid=11808] ppid=11752 vsize=10846984 memory=2357820 CPUtime=2360.44 cores=1,3,5,7
/proc/11755/task/11808/stat : 11808 (java) R 11752 11755 9544 0 -1 4202560 118079 13153 0 0 235988 48 5 3 20 0 15 0 415823711 11107311616 589455 33554432000 4194304 4196468 140730238780400 140392242986832 140391841366535 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11809] ppid=11752 vsize=10846984 memory=2357820 CPUtime=2.58 cores=1,3,5,7
/proc/11755/task/11809/stat : 11809 (java) S 11752 11755 9544 0 -1 1077944384 24847 13153 0 0 224 26 5 3 20 0 15 0 415823712 11107311616 589455 33554432000 4194304 4196468 140730238780400 140392275393296 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11810] ppid=11752 vsize=10846984 memory=2357820 CPUtime=2.57 cores=1,3,5,7
/proc/11755/task/11810/stat : 11810 (java) S 11752 11755 9544 0 -1 1077944384 25219 13153 0 0 225 24 5 3 20 0 15 0 415823712 11107311616 589455 33554432000 4194304 4196468 140730238780400 140392163666832 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11811] ppid=11752 vsize=10846984 memory=2357820 CPUtime=2.55 cores=1,3,5,7
/proc/11755/task/11811/stat : 11811 (java) S 11752 11755 9544 0 -1 1077944384 18449 13153 0 0 223 24 5 3 20 0 15 0 415823712 11107311616 589455 33554432000 4194304 4196468 140730238780400 140392162614288 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11812] ppid=11752 vsize=10846984 memory=2357820 CPUtime=2.6 cores=1,3,5,7
/proc/11755/task/11812/stat : 11812 (java) S 11752 11755 9544 0 -1 1077944384 19525 13153 0 0 226 26 5 3 20 0 15 0 415823712 11107311616 589455 33554432000 4194304 4196468 140730238780400 140392161561744 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11813] ppid=11752 vsize=10846984 memory=2357792 CPUtime=2.32 cores=1,3,5,7
/proc/11755/task/11813/stat : 11813 (java) S 11752 11755 9544 0 -1 1077944384 25444 13153 0 0 210 14 5 3 20 0 15 0 415823713 11107311616 589455 33554432000 4194304 4196468 140730238780400 140391729797104 140392271161986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11814] ppid=11752 vsize=10846984 memory=2357748 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11814/stat : 11814 (java) S 11752 11755 9544 0 -1 1077944384 49 13153 0 0 0 0 5 3 20 0 15 0 415823714 11107311616 589455 33554432000 4194304 4196468 140730238780400 140391728743392 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11815] ppid=11752 vsize=10846984 memory=2357820 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11815/stat : 11815 (java) S 11752 11755 9544 0 -1 1077944384 3 13153 0 0 0 0 5 3 20 0 15 0 415823714 11107311616 589455 33554432000 4194304 4196468 140730238780400 140391609263104 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11816] ppid=11752 vsize=10846984 memory=2376 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11816/stat : 11816 (java) S 11752 11755 9544 0 -1 1077944384 2 13153 0 0 0 0 5 3 20 0 15 0 415823716 11107311616 589455 33554432000 4194304 4196468 140730238780400 140391005284560 140392271169435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11817] ppid=11752 vsize=10846984 memory=2357820 CPUtime=12.87 cores=1,3,5,7
/proc/11755/task/11817/stat : 11817 (java) S 11752 11755 9544 0 -1 1077944384 45196 13153 0 0 1275 4 5 3 20 0 15 0 415823717 11107311616 589455 33554432000 4194304 4196468 140730238780400 140391695186416 140392271161986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11818] ppid=11752 vsize=10846984 memory=2357820 CPUtime=11.23 cores=1,3,5,7
/proc/11755/task/11818/stat : 11818 (java) S 11752 11755 9544 0 -1 1077944384 35002 13153 0 0 1111 4 5 3 20 0 15 0 415823717 11107311616 589455 33554432000 4194304 4196468 140730238780400 140391694133872 140392271161986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11819] ppid=11752 vsize=10846984 memory=50770808417869 CPUtime=2.73 cores=1,3,5,7
/proc/11755/task/11819/stat : 11819 (java) S 11752 11755 9544 0 -1 1077944384 23106 13153 0 0 259 6 5 3 20 0 15 0 415823717 11107311616 589455 33554432000 4194304 4196468 140730238780400 140391693081328 140392271161986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11820] ppid=11752 vsize=10846984 memory=2357820 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11820/stat : 11820 (java) S 11752 11755 9544 0 -1 1077944384 3 13153 0 0 0 0 5 3 20 0 15 0 415823717 11107311616 589455 33554432000 4194304 4196468 140730238780400 140390535523424 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11821] ppid=11752 vsize=10846984 memory=2357820 CPUtime=0.81 cores=1,3,5,7
/proc/11755/task/11821/stat : 11821 (java) S 11752 11755 9544 0 -1 1077944384 2004 13153 0 0 35 38 5 3 20 0 15 0 415823717 11107311616 589455 33554432000 4194304 4196468 140730238780400 140391692028208 140392271161986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 29 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 2357820 KiB

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

[startup+2366.14 s]
# the end of solver process 11755 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.17 s, system=1.95066 s

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

[startup+2366.11 s]
/proc/loadavg: 1.36 1.35 1.45 3/231 12447
/proc/meminfo: memFree=28464940/32770624 swapFree=67004060/67108860
[pid=11755] ppid=11752 vsize=10846984 memory=2357820 CPUtime=2400.07 cores=1,3,5,7
/proc/11755/stat : 11755 (java) S 11752 11755 9544 0 -1 1077944320 339133 13153 0 0 239809 190 5 3 20 0 15 0 415823702 11107311616 589455 33554432000 4194304 4196468 140730238780400 140730238762944 140392271150839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
/proc/11755/statm: 2711746 589455 3646 1 0 2673805 0
[pid=11755/tid=11808] ppid=11752 vsize=10846984 memory=2357820 CPUtime=2360.44 cores=1,3,5,7
/proc/11755/task/11808/stat : 11808 (java) R 11752 11755 9544 0 -1 4202560 118079 13153 0 0 235988 48 5 3 20 0 15 0 415823711 11107311616 589455 33554432000 4194304 4196468 140730238780400 140392242986832 140391841366535 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11809] ppid=11752 vsize=10846984 memory=2357820 CPUtime=2.58 cores=1,3,5,7
/proc/11755/task/11809/stat : 11809 (java) S 11752 11755 9544 0 -1 1077944384 24847 13153 0 0 224 26 5 3 20 0 15 0 415823712 11107311616 589455 33554432000 4194304 4196468 140730238780400 140392275393296 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11810] ppid=11752 vsize=10846984 memory=2357820 CPUtime=2.57 cores=1,3,5,7
/proc/11755/task/11810/stat : 11810 (java) S 11752 11755 9544 0 -1 1077944384 25219 13153 0 0 225 24 5 3 20 0 15 0 415823712 11107311616 589455 33554432000 4194304 4196468 140730238780400 140392163666832 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11811] ppid=11752 vsize=10846984 memory=2357820 CPUtime=2.55 cores=1,3,5,7
/proc/11755/task/11811/stat : 11811 (java) S 11752 11755 9544 0 -1 1077944384 18449 13153 0 0 223 24 5 3 20 0 15 0 415823712 11107311616 589455 33554432000 4194304 4196468 140730238780400 140392162614288 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11812] ppid=11752 vsize=10846984 memory=2357820 CPUtime=2.6 cores=1,3,5,7
/proc/11755/task/11812/stat : 11812 (java) S 11752 11755 9544 0 -1 1077944384 19525 13153 0 0 226 26 5 3 20 0 15 0 415823712 11107311616 589455 33554432000 4194304 4196468 140730238780400 140392161561744 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11813] ppid=11752 vsize=10846984 memory=2357792 CPUtime=2.32 cores=1,3,5,7
/proc/11755/task/11813/stat : 11813 (java) S 11752 11755 9544 0 -1 1077944384 25444 13153 0 0 210 14 5 3 20 0 15 0 415823713 11107311616 589455 33554432000 4194304 4196468 140730238780400 140391729797104 140392271161986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11814] ppid=11752 vsize=10846984 memory=2357748 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11814/stat : 11814 (java) S 11752 11755 9544 0 -1 1077944384 49 13153 0 0 0 0 5 3 20 0 15 0 415823714 11107311616 589455 33554432000 4194304 4196468 140730238780400 140391728743392 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11815] ppid=11752 vsize=10846984 memory=2357820 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11815/stat : 11815 (java) S 11752 11755 9544 0 -1 1077944384 3 13153 0 0 0 0 5 3 20 0 15 0 415823714 11107311616 589455 33554432000 4194304 4196468 140730238780400 140391609263104 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11816] ppid=11752 vsize=10846984 memory=2376 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11816/stat : 11816 (java) S 11752 11755 9544 0 -1 1077944384 2 13153 0 0 0 0 5 3 20 0 15 0 415823716 11107311616 589455 33554432000 4194304 4196468 140730238780400 140391005284560 140392271169435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11817] ppid=11752 vsize=10846984 memory=2357820 CPUtime=12.87 cores=1,3,5,7
/proc/11755/task/11817/stat : 11817 (java) S 11752 11755 9544 0 -1 1077944384 45196 13153 0 0 1275 4 5 3 20 0 15 0 415823717 11107311616 589455 33554432000 4194304 4196468 140730238780400 140391695186416 140392271161986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11818] ppid=11752 vsize=10846984 memory=2357820 CPUtime=11.23 cores=1,3,5,7
/proc/11755/task/11818/stat : 11818 (java) S 11752 11755 9544 0 -1 1077944384 35002 13153 0 0 1111 4 5 3 20 0 15 0 415823717 11107311616 589455 33554432000 4194304 4196468 140730238780400 140391694133872 140392271161986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11819] ppid=11752 vsize=10846984 memory=50770808417869 CPUtime=2.73 cores=1,3,5,7
/proc/11755/task/11819/stat : 11819 (java) S 11752 11755 9544 0 -1 1077944384 23106 13153 0 0 259 6 5 3 20 0 15 0 415823717 11107311616 589455 33554432000 4194304 4196468 140730238780400 140391693081328 140392271161986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11820] ppid=11752 vsize=10846984 memory=2357820 CPUtime=0.08 cores=1,3,5,7
/proc/11755/task/11820/stat : 11820 (java) S 11752 11755 9544 0 -1 1077944384 3 13153 0 0 0 0 5 3 20 0 15 0 415823717 11107311616 589455 33554432000 4194304 4196468 140730238780400 140390535523424 140392271161045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
[pid=11755/tid=11821] ppid=11752 vsize=10846984 memory=2357820 CPUtime=0.81 cores=1,3,5,7
/proc/11755/task/11821/stat : 11821 (java) S 11752 11755 9544 0 -1 1077944384 2004 13153 0 0 35 38 5 3 20 0 15 0 415823717 11107311616 589455 33554432000 4194304 4196468 140730238780400 140391692028208 140392271161986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 29 0 0 6293624 6294260 9863168 140730238786287 140730238788805 140730238788805 140730238791631 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 2357820 KiB

Child status: 143
Real time (s): 2366.14
CPU time (s): 2400.12
CPU user time (s): 2398.17
CPU system time (s): 1.95066
CPU usage (%): 101.436
Max. virtual memory (cumulated for all children) (KiB): 10849712
Max. memory (cumulated for all children) (KiB): 2403680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.17
system time used= 1.95066
maximum resident set size= 2403680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 354041
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103074
involuntary context switches= 3878


# summary of solver processes directly reported to runsolver:
#   pid: 11755
#   total CPU time (s): 2400.12
#   total CPU user time (s): 2398.17
#   total CPU system time (s): 1.95066

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.568 second user time and 23.0147 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-13 19:30:01
IDJOB=4396601
IDBENCH=120522
IDSOLVER=2847
FILE ID=node133/4396601-1568395841
RUNJOBID= node133-1568393447-11283
PBS_JOBID= 21701853
Free space on /tmp= 59380 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-4396601-1568395841/watcher-4396601-1568395841 -o /tmp/evaluation-result-4396601-1568395841/solver-4396601-1568395841 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568393447-11283 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=2090848979 HOME/instance-4396601-1568395841.xml

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

MD5SUM BENCH= 2a724879a45d3456306f221189212969
RANDOM SEED=2090848979

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28904964 kB
MemAvailable:   29315152 kB
Buffers:          173468 kB
Cached:           521868 kB
SwapCached:         3412 kB
Active:          2989008 kB
Inactive:         292872 kB
Active(anon):    2611064 kB
Inactive(anon):    16032 kB
Active(file):     377944 kB
Inactive(file):   276840 kB
Unevictable:      111228 kB
Mlocked:          111228 kB
SwapTotal:      67108860 kB
SwapFree:       67004060 kB
Dirty:             36876 kB
Writeback:             0 kB
AnonPages:       2696392 kB
Mapped:            57548 kB
Shmem:             31440 kB
Slab:             170808 kB
SReclaimable:     142476 kB
SUnreclaim:        28332 kB
KernelStack:        3728 kB
PageTables:        11192 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3855852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2537472 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 59344 MiB
End job on node133 at 2019-09-13 20:09:28