Trace number 4259525

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.4SAT (TO)2183 261.24399 240.05499

General information on the benchmark

NameGraphColoring/GraphColoring-m1-mono/
GraphColoring-wap01a.xml
MD5SUM1f75bed7d5113015eb943bda0c7ab47c
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark42
Best CPU time to get the best result obtained on this benchmark251.894
Satisfiable
(Un)Satisfiability was proved
Number of variables2368
Number of constraints110871
Number of domains1
Minimum domain size2368
Maximum domain size2368
Distribution of domain sizes[{"size":2368,"count":2368}]
Minimum variable degree15
Maximum variable degree289
Distribution of variable degrees[{"degree":15,"count":1},{"degree":19,"count":4},{"degree":20,"count":8},{"degree":21,"count":2},{"degree":25,"count":4},{"degree":26,"count":15},{"degree":27,"count":2},{"degree":28,"count":7},{"degree":30,"count":9},{"degree":32,"count":9},{"degree":33,"count":4},{"degree":34,"count":7},{"degree":35,"count":4},{"degree":36,"count":4},{"degree":37,"count":5},{"degree":38,"count":113},{"degree":39,"count":59},{"degree":40,"count":326},{"degree":42,"count":4},{"degree":43,"count":5},{"degree":45,"count":5},{"degree":46,"count":1},{"degree":47,"count":2},{"degree":49,"count":2},{"degree":50,"count":2},"...",{"degree":202,"count":5}, {"degree":203,"count":10}, {"degree":204,"count":3}, {"degree":205,"count":5}, {"degree":206,"count":2}, {"degree":207,"count":1}, {"degree":208,"count":3}, {"degree":209,"count":3}, {"degree":210,"count":4}, {"degree":211,"count":2}, {"degree":216,"count":1}, {"degree":217,"count":2}, {"degree":220,"count":2}, {"degree":223,"count":1}, {"degree":226,"count":1}, {"degree":227,"count":1}, {"degree":228,"count":1}, {"degree":231,"count":1}, {"degree":232,"count":1}, {"degree":244,"count":1}, {"degree":249,"count":1}, {"degree":254,"count":1}, {"degree":258,"count":1}, {"degree":268,"count":1}, {"degree":289,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":110871}]
Number of extensional constraints0
Number of intensional constraints110871
Distribution of constraint types[{"type":"intension","count":110871}]
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 

3.25/2.18	c Concrete v3.4 running
38.37/20.81	o 2367
40.04/22.19	o 2366
42.43/23.47	o 2365
43.70/24.66	o 2364
44.96/25.86	o 2363
46.22/27.05	o 2362
47.44/28.27	o 2361
48.65/29.44	o 2360
49.85/30.62	o 2359
51.05/31.81	o 2358
52.16/32.97	o 2357
53.37/34.11	o 2356
54.58/35.36	o 2355
55.90/36.64	o 2354
57.30/37.90	o 2353
58.49/39.05	o 2352
59.69/40.24	o 2351
60.90/41.42	o 2350
62.01/42.59	o 2349
63.21/43.77	o 2348
64.42/44.96	o 2347
65.62/46.13	o 2346
66.73/47.26	o 2345
67.93/48.45	o 2344
69.16/49.67	o 2343
70.39/50.82	o 2342
71.59/52.02	o 2341
72.89/53.26	o 2340
74.09/54.48	o 2339
75.31/55.67	o 2338
76.51/56.85	o 2337
77.72/58.03	o 2336
78.93/59.24	o 2335
80.13/60.47	o 2334
81.34/61.68	o 2333
82.54/62.86	o 2332
83.74/64.04	o 2331
84.94/65.25	o 2330
86.14/66.43	o 2329
87.34/67.60	o 2328
88.61/68.81	o 2327
89.81/70.02	o 2326
91.08/71.23	o 2325
92.18/72.38	o 2324
93.38/73.57	o 2323
94.70/74.80	o 2322
95.85/75.97	o 2321
97.05/77.16	o 2320
98.25/78.33	o 2319
99.45/79.50	o 2318
100.55/80.68	o 2317
101.75/81.85	o 2316
102.87/82.99	o 2315
104.15/84.18	o 2314
105.35/85.35	o 2313
106.55/86.54	o 2312
107.76/87.79	o 2311
109.06/89.05	o 2310
110.28/90.23	o 2309
111.38/91.38	o 2308
112.58/92.57	o 2307
113.78/93.70	o 2306
114.88/94.86	o 2305
116.08/96.00	o 2304
117.28/97.21	o 2303
118.38/98.38	o 2302
119.81/99.61	o 2301
120.91/100.78	o 2300
122.11/101.97	o 2299
123.31/103.17	o 2298
124.51/104.36	o 2297
125.71/105.56	o 2296
126.91/106.76	o 2295
128.11/107.98	o 2294
129.31/109.18	o 2293
130.61/110.40	o 2292
131.71/111.59	o 2291
132.91/112.76	o 2290
134.11/113.92	o 2289
135.40/115.15	o 2288
136.60/116.36	o 2287
137.80/117.59	o 2286
139.01/118.76	o 2285
140.11/119.89	o 2284
141.32/121.07	o 2283
142.53/122.25	o 2282
143.73/123.45	o 2281
144.93/124.66	o 2280
146.13/125.88	o 2279
147.33/127.04	o 2278
148.53/128.24	o 2277
149.73/129.43	o 2276
151.02/130.65	o 2275
152.22/131.86	o 2274
153.42/133.05	o 2273
154.63/134.24	o 2272
155.83/135.45	o 2271
157.03/136.64	o 2270
158.23/137.82	o 2269
159.43/139.03	o 2268
160.63/140.28	o 2267
161.83/141.46	o 2266
163.03/142.62	o 2265
164.13/143.79	o 2264
165.33/144.98	o 2263
166.70/146.20	o 2262
167.81/147.40	o 2261
169.01/148.53	o 2260
170.21/149.74	o 2259
171.40/150.96	o 2258
172.61/152.15	o 2257
173.81/153.37	o 2256
175.01/154.56	o 2255
176.21/155.72	o 2254
177.41/156.91	o 2253
178.61/158.12	o 2252
179.82/159.32	o 2251
181.02/160.52	o 2250
182.19/161.69	o 2249
183.39/162.90	o 2248
184.59/164.07	o 2247
185.79/165.27	o 2246
187.00/166.45	o 2245
188.20/167.62	o 2244
189.40/168.80	o 2243
190.50/169.95	o 2242
191.70/171.12	o 2241
192.90/172.31	o 2240
194.01/173.47	o 2239
195.21/174.66	o 2238
196.41/175.90	o 2237
197.79/177.13	o 2236
198.99/178.32	o 2235
200.19/179.52	o 2234
201.39/180.71	o 2233
202.59/181.91	o 2232
203.69/183.09	o 2231
204.99/184.31	o 2230
206.09/185.48	o 2229
207.29/186.65	o 2228
208.49/187.85	o 2227
209.69/189.04	o 2226
210.89/190.20	o 2225
212.23/191.41	o 2224
213.33/192.59	o 2223
214.53/193.78	o 2222
215.72/194.99	o 2221
216.92/196.19	o 2220
218.12/197.35	o 2219
219.33/198.51	o 2218
220.43/199.69	o 2217
221.63/200.84	o 2216
222.84/202.00	o 2215
223.94/203.16	o 2214
225.14/204.33	o 2213
226.24/205.49	o 2212
227.65/206.70	o 2211
228.75/207.89	o 2210
229.96/209.07	o 2209
231.16/210.27	o 2208
232.35/211.42	o 2207
233.45/212.59	o 2206
234.65/213.76	o 2205
235.85/214.94	o 2204
237.05/216.12	o 2203
238.15/217.29	o 2202
239.36/218.47	o 2201
240.56/219.66	o 2200
241.76/220.87	o 2199
243.06/222.06	o 2198
244.25/223.25	o 2197
245.46/224.44	o 2196
246.56/225.60	o 2195
247.76/226.79	o 2194
248.96/227.98	o 2193
250.16/229.15	o 2192
251.36/230.36	o 2191
252.56/231.56	o 2190
253.76/232.74	o 2189
254.95/233.93	o 2188
256.15/235.11	o 2187
257.47/236.32	o 2186
258.57/237.50	o 2185
259.77/238.69	o 2184
260.97/239.85	o 2183
261.17/240.00	java.util.concurrent.TimeoutException
261.17/240.00		at concrete.MAC.mac(MAC.scala:74)
261.17/240.00		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
261.17/240.00		at scala.util.Try$.apply(Try.scala:209)
261.17/240.00		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
261.17/240.00		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
261.17/240.00		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
261.17/240.00		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
261.17/240.00		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
261.17/240.01		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
261.17/240.01		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
261.17/240.01		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
261.17/240.01		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
261.17/240.01		at concrete.MAC.oneRun(MAC.scala:146)
261.17/240.01		at concrete.MAC.nextSolution(MAC.scala:166)
261.17/240.01		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
261.17/240.01		at concrete.ProblemState.map(ProblemState.scala:203)
261.17/240.01		at concrete.ProblemState.map(ProblemState.scala:188)
261.17/240.01		at concrete.MAC.nextSolution(MAC.scala:195)
261.17/240.01		at concrete.Solver.hasNext(Solver.scala:202)
261.17/240.01		at scala.collection.Iterator.toStream(Iterator.scala:1403)
261.17/240.01		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
261.17/240.01		at concrete.Solver.toStream(Solver.scala:73)
261.17/240.01		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
261.17/240.01		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
261.17/240.01		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
261.17/240.01		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
261.17/240.01		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
261.17/240.01		at scala.util.Success.$anonfun$map$1(Try.scala:251)
261.17/240.01		at scala.util.Success.map(Try.scala:209)
261.17/240.01		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
261.17/240.01		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
261.17/240.01		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
261.17/240.01		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
261.17/240.01		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
261.17/240.01		at scala.Function0.apply$mcV$sp(Function0.scala:34)
261.17/240.01		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
261.17/240.01		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
261.17/240.01		at scala.App.$anonfun$main$1$adapted(App.scala:76)
261.17/240.01		at scala.collection.immutable.List.foreach(List.scala:389)
261.17/240.01		at scala.App.main(App.scala:76)
261.17/240.01		at scala.App.main$(App.scala:74)
261.17/240.01		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
261.17/240.01		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
261.17/240.01	v <instantiation cost="2183">
261.17/240.01	v       <list>
261.17/240.01	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029] x[2030] x[2031] x[2032] x[2033] x[2034] x[2035] x[2036] x[2037] x[2038] x[2039] x[2040] x[2041] x[2042] x[2043] x[2044] x[2045] x[2046] x[2047] x[2048] x[2049] x[2050] x[2051] x[2052] x[2053] x[2054] x[2055] x[2056] x[2057] x[2058] x[2059] x[2060] x[2061] x[2062] x[2063] x[2064] x[2065] x[2066] x[2067] x[2068] x[2069] x[2070] x[2071] x[2072] x[2073] x[2074] x[2075] x[2076] x[2077] x[2078] x[2079] x[2080] x[2081] x[2082] x[2083] x[2084] x[2085] x[2086] x[2087] x[2088] x[2089] x[2090] x[2091] x[2092] x[2093] x[2094] x[2095] x[2096] x[2097] x[2098] x[2099] x[2100] x[2101] x[2102] x[2103] x[2104] x[2105] x[2106] x[2107] x[2108] x[2109] x[2110] x[2111] x[2112] x[2113] x[2114] x[2115] x[2116] x[2117] x[2118] x[2119] x[2120] x[2121] x[2122] x[2123] x[2124] x[2125] x[2126] x[2127] x[2128] x[2129] x[2130] x[2131] x[2132] x[2133] x[2134] x[2135] x[2136] x[2137] x[2138] x[2139] x[2140] x[2141] x[2142] x[2143] x[2144] x[2145] x[2146] x[2147] x[2148] x[2149] x[2150] x[2151] x[2152] x[2153] x[2154] x[2155] x[2156] x[2157] x[2158] x[2159] x[2160] x[2161] x[2162] x[2163] x[2164] x[2165] x[2166] x[2167] x[2168] x[2169] x[2170] x[2171] x[2172] x[2173] x[2174] x[2175] x[2176] x[2177] x[2178] x[2179] x[2180] x[2181] x[2182] x[2183] x[2184] x[2185] x[2186] x[2187] x[2188] x[2189] x[2190] x[2191] x[2192] x[2193] x[2194] x[2195] x[2196] x[2197] x[2198] x[2199] x[2200] x[2201] x[2202] x[2203] x[2204] x[2205] x[2206] x[2207] x[2208] x[2209] x[2210] x[2211] x[2212] x[2213] x[2214] x[2215] x[2216] x[2217] x[2218] x[2219] x[2220] x[2221] x[2222] x[2223] x[2224] x[2225] x[2226] x[2227] x[2228] x[2229] x[2230] x[2231] x[2232] x[2233] x[2234] x[2235] x[2236] x[2237] x[2238] x[2239] x[2240] x[2241] x[2242] x[2243] x[2244] x[2245] x[2246] x[2247] x[2248] x[2249] x[2250] x[2251] x[2252] x[2253] x[2254] x[2255] x[2256] x[2257] x[2258] x[2259] x[2260] x[2261] x[2262] x[2263] x[2264] x[2265] x[2266] x[2267] x[2268] x[2269] x[2270] x[2271] x[2272] x[2273] x[2274] x[2275] x[2276] x[2277] x[2278] x[2279] x[2280] x[2281] x[2282] x[2283] x[2284] x[2285] x[2286] x[2287] x[2288] x[2289] x[2290] x[2291] x[2292] x[2293] x[2294] x[2295] x[2296] x[2297] x[2298] x[2299] x[2300] x[2301] x[2302] x[2303] x[2304] x[2305] x[2306] x[2307] x[2308] x[2309] x[2310] x[2311] x[2312] x[2313] x[2314] x[2315] x[2316] x[2317] x[2318] x[2319] x[2320] x[2321] x[2322] x[2323] x[2324] x[2325] x[2326] x[2327] x[2328] x[2329] x[2330] x[2331] x[2332] x[2333] x[2334] x[2335] x[2336] x[2337] x[2338] x[2339] x[2340] x[2341] x[2342] x[2343] x[2344] x[2345] x[2346] x[2347] x[2348] x[2349] x[2350] x[2351] x[2352] x[2353] x[2354] x[2355] x[2356] x[2357] x[2358] x[2359] x[2360] x[2361] x[2362] x[2363] x[2364] x[2365] x[2366] x[2367]
261.17/240.01	v       </list>
261.17/240.01	v       <values>
261.17/240.01	v         2146 2172 2160 2178 2154 2159 2156 2176 2162 2154 2174 2173 2145 2149 2182 2151 2164 2163 2155 2167 2144 2179 2173 2181 2155 2153 2152 2148 2168 2177 2177 2158 2163 2157 2154 2170 2157 2177 2147 2176 2175 2169 2163 2149 2150 2155 2182 2164 2158 2146 2173 2183 2151 2181 2170 2181 2165 2173 2172 2158 2167 2169 2165 2179 2167 2181 2183 2172 2153 2163 2175 2151 2183 2172 2158 2160 2149 2150 2183 2158 2173 2144 2168 2175 2146 2154 2148 2145 2156 2161 2155 2182 2149 2156 2166 2162 2163 2178 2169 2144 2157 2171 2164 2151 2148 2164 2152 2176 2152 2165 2180 2166 2148 2156 2180 2160 2151 2151 2160 2173 2147 2167 2162 2151 2157 2154 2165 2159 2162 2169 2170 2157 2174 2181 2147 2152 2178 2155 2183 2181 2159 2147 2152 2157 2155 2182 2170 2182 2181 2173 2178 2181 2183 2177 2178 2178 2155 2183 2178 2180 2180 2156 2154 2160 2175 2149 2158 2176 2163 2177 2171 2162 2164 2168 2166 2159 2171 2152 2149 2174 2178 2157 2162 2167 2167 2155 2161 2150 2171 2179 2177 2157 2149 2176 2158 2173 2154 2182 2175 2178 2165 2179 2148 2150 2152 2172 2161 2151 2179 2156 2161 2178 2182 2180 2162 2180 2182 2160 2147 2164 2142 2148 2178 2183 2146 2161 2142 2152 2177 2163 2147 2162 2162 2148 2169 2144 2140 2146 2145 2172 2164 2176 2179 2177 2149 2151 2164 2161 2155 2170 2148 2152 2147 2150 2147 2160 2181 2165 2159 2168 2178 2160 2157 2145 2152 2148 2151 2172 2154 2161 2148 2156 2146 2161 2144 2152 2165 2181 2153 2166 2174 2166 2156 2158 2154 2164 2148 2160 2146 2176 2178 2159 2179 2179 2149 2174 2167 2172 2173 2175 2177 2179 2178 2152 2159 2165 2160 2161 2173 2176 2179 2170 2153 2183 2164 2176 2175 2155 2174 2159 2160 2168 2145 2148 2147 2160 2180 2161 2155 2143 2181 2147 2141 2182 2141 2164 2144 2146 2150 2144 2151 2153 2140 2142 2140 2171 2162 2142 2168 2158 2141 2156 2167 2157 2139 2139 2145 2172 2154 2164 2166 2153 2159 2149 2152 2150 2182 2183 2162 2163 2161 2179 2183 2180 2164 2168 2166 2157 2175 2178 2174 2176 2151 2153 2159 2170 2169 2170 2158 2182 2181 2162 2155 2172 2153 2183 2156 2163 2164 2157 2181 2149 2183 2174 2177 2168 2160 2183 2181 2162 2180 2181 2161 2167 2169 2179 2171 2174 2173 2170 2174 2178 2172 2168 2173 2178 2168 2173 2174 2172 2159 2157 2172 2177 2177 2183 2179 2175 2179 2176 2173 2171 2159 2159 2175 2176 2172 2173 2178 2182 2179 2180 2180 2151 2144 2183 2170 2146 2156 2150 2168 2145 2145 2148 2161 2176 2174 2168 2153 2154 2172 2181 2158 2162 2177 2173 2148 2180 2174 2156 2166 2165 2178 2161 2182 2171 2176 2165 2153 2183 2177 2167 2160 2151 2152 2179 2176 2180 2175 2178 2182 2181 2182 2180 2183 2167 2183 2180 2183 2168 2143 2155 2170 2176 2182 2181 2177 2168 2163 2152 2164 2142 2178 2180 2176 2152 2163 2165 2179 2172 2183 2158 2142 2143 2145 2167 2146 2161 2161 2181 2146 2161 2144 2163 2160 2182 2171 2169 2145 2153 2147 2154 2156 2172 2147 2166 2150 2149 2169 2175 2165 2159 2160 2167 2170 2155 2157 2151 2150 2177 2156 2154 2148 2164 2180 2145 2163 2171 2174 2150 2146 2161 2157 2157 2162 2168 2154 2181 2149 2158 2152 2181 2158 2169 2176 2158 2152 2182 2163 2182 2171 2176 2157 2163 2155 2148 2155 2153 2146 2168 2164 2147 2182 2162 2182 2167 2155 2171 2164 2163 2144 2163 2177 2160 2171 2180 2169 2175 2181 2149 2176 2181 2174 2150 2182 2182 2164 2180 2175 2152 2181 2163 2174 2151 2169 2161 2174 2150 2168 2174 2176 2169 2148 2159 2143 2169 2180 2159 2179 2153 2150 2162 2163 2165 2152 2163 2161 2167 2160 2170 2183 2144 2159 2180 2179 2173 2182 2163 2147 2165 2148 2145 2147 2182 2177 2175 2156 2156 2150 2181 2169 2157 2159 2174 2178 2172 2179 2178 2168 2183 2174 2154 2173 2152 2177 2161 2162 2160 2155 2171 2169 2170 2171 2181 2183 2183 2168 2162 2149 2165 2170 2157 2182 2148 2158 2164 2163 2175 2156 2157 2166 2167 2170 2154 2160 2162 2158 2161 2153 2163 2171 2163 2150 2158 2151 2165 2154 2178 2158 2162 2181 2153 2157 2156 2155 2155 2156 2178 2144 2170 2180 2177 2175 2168 2162 2157 2167 2162 2149 2182 2167 2162 2166 2169 2181 2151 2142 2168 2158 2142 2159 2154 2180 2157 2179 2149 2156 2179 2179 2142 2173 2151 2151 2146 2161 2139 2140 2141 2144 2161 2145 2181 2153 2144 2145 2156 2166 2159 2172 2156 2160 2174 2154 2176 2149 2159 2179 2170 2162 2183 2182 2173 2164 2154 2168 2168 2167 2154 2163 2160 2153 2171 2174 2167 2145 2178 2174 2173 2165 2145 2161 2155 2181 2146 2174 2150 2147 2148 2156 2158 2146 2174 2145 2158 2164 2166 2154 2164 2155 2171 2169 2183 2177 2172 2175 2180 2148 2173 2170 2171 2153 2180 2177 2176 2164 2150 2144 2168 2156 2151 2145 2157 2167 2176 2160 2152 2160 2176 2145 2183 2149 2181 2147 2150 2144 2158 2155 2173 2141 2177 2168 2147 2143 2148 2160 2164 2169 2153 2165 2179 2180 2170 2183 2165 2150 2166 2182 2179 2144 2177 2153 2176 2162 2160 2142 2164 2170 2147 2167 2144 2178 2183 2145 2169 2146 2181 2180 2175 2175 2168 2157 2169 2148 2178 2161 2175 2173 2147 2174 2169 2178 2141 2174 2155 2158 2165 2148 2143 2142 2181 2168 2170 2154 2140 2167 2160 2171 2148 2178 2161 2152 2172 2176 2168 2175 2151 2177 2180 2164 2138 2183 2162 2174 2147 2167 2173 2146 2147 2164 2160 2182 2174 2176 2150 2159 2166 2170 2169 2172 2148 2163 2182 2155 2170 2167 2177 2171 2181 2150 2181 2153 2158 2148 2171 2150 2140 2149 2160 2154 2167 2179 2161 2142 2164 2170 2174 2163 2175 2158 2166 2154 2158 2174 2179 2165 2163 2173 2160 2172 2165 2165 2166 2183 2181 2183 2180 2172 2166 2153 2162 2178 2141 2175 2166 2172 2152 2177 2179 2175 2178 2179 2166 2166 2151 2165 2165 2173 2156 2165 2147 2174 2160 2174 2145 2150 2172 2149 2166 2174 2147 2153 2149 2157 2182 2150 2168 2182 2178 2160 2154 2155 2146 2154 2161 2167 2169 2181 2177 2137 2179 2161 2175 2181 2156 2141 2177 2153 2177 2165 2182 2176 2178 2178 2182 2167 2148 2145 2158 2169 2153 2164 2175 2163 2148 2149 2143 2143 2145 2149 2157 2139 2147 2149 2174 2165 2164 2143 2145 2147 2144 2155 2170 2174 2143 2168 2178 2146 2159 2155 2177 2178 2164 2147 2170 2170 2164 2157 2144 2169 2183 2159 2178 2170 2177 2176 2172 2174 2160 2172 2182 2152 2172 2179 2180 2178 2144 2161 2171 2173 2157 2165 2151 2155 2154 2174 2176 2170 2173 2175 2181 2180 2166 2156 2159 2149 2182 2152 2154 2180 2157 2155 2151 2147 2174 2175 2152 2166 2141 2173 2157 2156 2180 2157 2178 2161 2151 2180 2165 2138 2154 2180 2166 2150 2174 2176 2163 2169 2161 2175 2163 2166 2149 2172 2142 2148 2150 2143 2153 2178 2151 2150 2139 2171 2165 2165 2182 2160 2157 2182 2181 2166 2166 2158 2151 2175 2170 2167 2160 2181 2146 2146 2158 2157 2167 2156 2173 2180 2160 2176 2154 2164 2175 2158 2172 2178 2171 2158 2167 2151 2144 2168 2182 2166 2180 2151 2142 2171 2183 2176 2175 2177 2150 2148 2144 2142 2147 2181 2147 2146 2142 2154 2149 2143 2143 2142 2144 2151 2152 2157 2182 2156 2169 2173 2137 2182 2159 2181 2170 2182 2165 2144 2153 2155 2181 2168 2170 2153 2145 2178 2144 2181 2159 2165 2175 2173 2176 2183 2156 2163 2149 2174 2169 2166 2162 2163 2141 2158 2157 2156 2180 2169 2146 2169 2173 2146 2153 2168 2177 2140 2170 2165 2170 2177 2142 2182 2152 2160 2159 2176 2170 2179 2176 2175 2155 2169 2147 2174 2162 2178 2175 2140 2169 2182 2170 2164 2139 2154 2174 2175 2168 2169 2149 2172 2149 2159 2140 2147 2173 2165 2163 2159 2157 2162 2156 2151 2171 2170 2153 2152 2158 2158 2183 2141 2145 2176 2140 2171 2179 2174 2159 2178 2149 2147 2149 2171 2172 2178 2146 2163 2156 2153 2173 2170 2177 2144 2172 2153 2169 2144 2179 2161 2172 2143 2156 2139 2153 2140 2163 2167 2175 2168 2145 2162 2170 2140 2163 2182 2144 2165 2156 2138 2146 2161 2136 2165 2155 2168 2158 2151 2179 2150 2166 2137 2149 2178 2175 2144 2180 2146 2143 2133 2165 2180 2162 2155 2148 2154 2150 2147 2148 2141 2145 2175 2181 2177 2159 2159 2162 2140 2169 2169 2157 2180 2173 2176 2141 2148 2156 2163 2173 2171 2174 2181 2144 2175 2179 2182 2175 2174 2152 2162 2137 2138 2166 2146 2179 2139 2181 2158 2139 2173 2147 2149 2139 2170 2167 2157 2145 2147 2182 2175 2164 2142 2170 2168 2160 2172 2173 2157 2183 2158 2167 2151 2155 2172 2145 2144 2182 2153 2179 2151 2166 2149 2164 2148 2180 2183 2141 2181 2163 2150 2149 2161 2170 2158 2177 2145 2157 2168 2178 2170 2141 2160 2165 2181 2183 2167 2182 2159 2173 2183 2153 2161 2159 2147 2174 2174 2183 2142 2168 2147 2152 2144 2164 2143 2140 2145 2144 2137 2146 2160 2154 2143 2161 2182 2163 2165 2164 2153 2150 2154 2165 2157 2177 2150 2166 2175 2147 2161 2136 2182 2183 2181 2171 2168 2177 2154 2151 2155 2138 2177 2150 2183 2149 2142 2153 2154 2172 2162 2145 2143 2160 2174 2169 2162 2152 2169 2174 2179 2182 2162 2144 2143 2148 2162 2163 2142 2169 2159 2168 2179 2162 2149 2151 2148 2147 2170 2179 2183 2172 2167 2169 2183 2137 2155 2161 2172 2159 2154 2180 2158 2177 2153 2167 2168 2163 2154 2181 2164 2152 2148 2150 2161 2177 2152 2169 2148 2171 2155 2153 2168 2178 2171 2177 2151 2154 2165 2173 2148 2141 2149 2174 2183 2160 2147 2167 2183 2160 2141 2169 2178 2171 2176 2171 2174 2135 2168 2174 2169 2163 2166 2148 2182 2173 2163 2154 2158 2140 2145 2175 2171 2182 2167 2168 2176 2178 2147 2171 2181 2150 2140 2170 2155 2158 2143 2142 2141 2183 2146 2143 2144 2145 2139 2146 2152 2141 2173 2150 2161 2175 2182 2181 2171 2150 2172 2173 2178 2172 2160 2176 2174 2138 2183 2166 2176 2157 2154 2181 2149 2160 2159 2143 2139 2162 2152 2165 2168 2175 2162 2180 2151 2177 2161 2177 2170 2155 2158 2168 2146 2165 2133 2179 2180 2159 2156 2132 2139 2161 2140 2173 2159 2146 2174 2158 2139 2156 2152 2162 2161 2168 2179 2179 2182 2148 2171 2172 2171 2172 2139 2154 2157 2151 2172 2176 2155 2181 2169 2149 2155 2164 2163 2182 2156 2164 2161 2181 2156 2157 2170 2168 2179 2183 2162 2134 2151 2156 2172 2159 2143 2152 2145 2167 2147 2151 2159 2157 2173 2148 2158 2163 2165 2160 2149 2153 2162 2163 2161 2153 2165 2177 2176 2159 2150 2159 2150 2165 2151 2161 2172 2143 2178 2144 2157 2164 2174 2174 2149 2142 2151 2166 2146 2166 2181 2146 2147 2177 2183 2162 2177 2164 2150 2155 2160 2183 2180 2140 2147 2145 2181 2176 2140 2155 2160 2161 2160 2149 2146 2165 2162 2141 2176 2178 2171 2168 2157 2170 2178 2171 2155 2164 2169 2157 2182 2143 2142 2156 2154 2153 2159 2138 2177 2175 2156 2164 2166 2169 2147 2165 2167 2183 2164 2155 2175 2158 2158 2178 2162 2165 2172 2166 2175 2158 2166 2167 2134 2156 2154 2173 2164 2156 2162 2148 2163 2171 2158 2151 2177 2180 2138 2171 2145 2169 2173 2145 2158 2149 2147 2148 2156 2152 2164 2169 2156 2175 2162 2162 2150 2150 2149 2153 2141 2158 2178 2173 2152 2179 2158 2171 2168 2166 2158 2170 2163 2144 2172 2145 2148 2171 2166 2157 2167 2152 2180 2149 2179 2159 2156 2162 2183 2147 2179 2181 2155 2173 2163 2164 2145 2153 2169 2153 2176 2174 2179 2183 2157 2181 2146 2169 2156 2178 2166 2161 2181 2144 2140 2154 2138 2148 2161 2171 2177 2172 2167 2141 2150 2144 2172 2152 2140 2175 2143 2140 2147 2183 2179 2183 2171 2160 2167 2179 2168 2161 2153 2182 2133 2159 2156 2176 2167 2147 2159 2161 2162 2146 2159 2176 2138 2183 2135 2149 2166 2159 2151 2160 2164 2162 2146 2144 2146 2151 2171 2143 2148 2180 2155 2144 2148 2159 2147 2180 2141 2164 2150 2180 2155 2178 2142 2153 2173 2176 2146 2173 2151 2168 2168 2157 2142 2137 2165 2163 2166 2162 2177 2179 2133 2154 2180 2177 2173 2167 2146 2178 2136 2160 2168 2180 2170 2137 2151 2164 2144 2171 2156 2162 2175 2166 2166 2180 2171 2154 2182 2180 2171 2172 2174 2142 2141 2178 2143 2161 2146 2183 2144 2163 2172 2154 2149 2174 2153 2183 2179 2154 2150 2140 2145 2153 2170 2155 2180 2167 2158 2167 2155 2152 2151 2142 2151 2150 2163 2142 2174 2139 2160 2154 2161 2150 2162 2149 2160 2164 2169 2166 2175 2173 2165 2146 2149 2153 2165 2148 2183 2158 2170 2141 2156 2177 2168 2150 2167 2181 2157 2178 2154 2141 2177 2157 2163 2174 2136 2182 2156 2142 2156 2178 2165 2181 2179 2169 2148 2163 2179 2181 2167 2175 2151 2170 2153 2152 2178 2163 2181 2155 2181 2176 2182 2173 2178 2155 2182 2145 2157 2159 2159 2160 2155 2151 2169 2172 2159 2170 2165 2152 2177 2160 2176 2172 2170 2157 2166 2182 2152 2143 2132 2175 2152 2179 2172 2177 2147 2173 2170 2180 2167 2179 2166 2169 2135 2163 2168 2176 2161 2183 2176 2158 2173 2171 2175 2174 2161 2180 2160 2164 2176 2182 2154 2167 2165 2138
261.17/240.01	v       </values>
261.17/240.01	v     </instantiation>
261.17/240.01	s SATISFIABLE

Verifier Data 

OK	2183

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259525-1501646949/watcher-4259525-1501646949 -o /tmp/evaluation-result-4259525-1501646949/solver-4259525-1501646949 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27966 --watchdog 300 bin/concrete HOME/instance-4259525-1501646949.xml 

pid=3649
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.20 1.57 1.68 3/199 3652
/proc/meminfo: memFree=28125708/32770624 swapFree=0/243208
[pid=3652] ppid=3649 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/3652/stat : 3652 (runsolver) D 3649 3652 3187 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 6605485 24240128 108 18446744073709551615 4194304 4338465 140727718293584 140727718291224 140406355612375 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 8282112 140727718301905 140727718302279 140727718302279 140727718305738 0
/proc/3652/statm: 5918 108 54 36 0 2156 0

[startup+0.100045 s]
/proc/loadavg: 1.20 1.57 1.68 3/199 3652
/proc/meminfo: memFree=28125708/32770624 swapFree=0/243208
[pid=3652] ppid=3649 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/3652/stat : 3652 (bash) S 3649 3652 3187 0 -1 4202496 897 6477 0 0 0 0 0 1 20 0 1 0 6605485 9867264 377 18446744073709551615 4194304 5098028 140721355720848 140721355714856 140103265610752 0 0 5 65536 18446744071580971376 0 0 17 0 0 0 7 0 0 7196144 7232144 34111488 140721355723282 140721355723367 140721355723367 140721355726826 0
/proc/3652/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.200299 s]
/proc/loadavg: 1.20 1.57 1.68 3/199 3652
/proc/meminfo: memFree=28125708/32770624 swapFree=0/243208
[pid=3652] ppid=3649 vsize=13356508 CPUtime=0.07 cores=0,2,4,6
/proc/3652/stat : 3652 (java) S 3649 3652 3187 0 -1 1077944320 3331 12337 0 0 0 0 4 3 20 0 6 0 6605485 13677064192 2150 18446744073709551615 4194304 4196468 140728185211408 140728185193952 140360106352375 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
/proc/3652/statm: 3339127 2150 1194 1 0 3329105 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13356508

[startup+0.300204 s]
/proc/loadavg: 1.20 1.57 1.68 3/199 3652
/proc/meminfo: memFree=28125708/32770624 swapFree=0/243208
[pid=3652] ppid=3649 vsize=13974356 CPUtime=0.17 cores=0,2,4,6
/proc/3652/stat : 3652 (java) S 3649 3652 3187 0 -1 1077944320 6511 12337 0 0 9 1 4 3 20 0 15 0 6605485 14309740544 7099 18446744073709551615 4194304 4196468 140728185211408 140728185193952 140360106352375 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
/proc/3652/statm: 3493589 7099 2868 1 0 3482973 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 13974356

[startup+0.700324 s]
/proc/loadavg: 1.20 1.57 1.68 3/199 3652
/proc/meminfo: memFree=28125708/32770624 swapFree=0/243208
[pid=3652] ppid=3649 vsize=13974784 CPUtime=0.72 cores=0,2,4,6
/proc/3652/stat : 3652 (java) S 3649 3652 3187 0 -1 1077944320 13974 12337 0 0 60 5 4 3 20 0 15 0 6605485 14310178816 14898 18446744073709551615 4194304 4196468 140728185211408 140728185193952 140360106352375 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
/proc/3652/statm: 3493696 14898 3101 1 0 3482973 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 13974784

[startup+1.50056 s]
/proc/loadavg: 1.20 1.57 1.68 4/214 3715
/proc/meminfo: memFree=28067240/32770624 swapFree=0/243368
[pid=3652] ppid=3649 vsize=13985408 CPUtime=1.94 cores=0,2,4,6
/proc/3652/stat : 3652 (java) S 3649 3652 3187 0 -1 1077944320 30054 12337 0 0 177 10 4 3 20 0 15 0 6605485 14321057792 42677 18446744073709551615 4194304 4196468 140728185211408 140728185193952 140360106352375 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
/proc/3652/statm: 3496352 42677 3375 1 0 3485533 0
[pid=3652/tid=3702] ppid=3649 vsize=13985408 CPUtime=1.31 cores=0,2,4,6
/proc/3652/task/3702/stat : 3702 (java) R 3649 3652 3187 0 -1 4202560 22518 12337 0 0 118 6 4 3 20 0 15 0 6605505 14321057792 42677 18446744073709551615 4194304 4196468 140728185211408 140360110570112 140360090432862 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3703] ppid=3649 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/3652/task/3703/stat : 3703 (java) S 3649 3652 3187 0 -1 1077944384 66 12337 0 0 0 0 4 3 20 0 15 0 6605505 14321057792 42677 18446744073709551615 4194304 4196468 140728185211408 140360069458576 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3704] ppid=3649 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/3652/task/3704/stat : 3704 (java) S 3649 3652 3187 0 -1 1077944384 37 12337 0 0 1 0 4 3 20 0 15 0 6605505 14321057792 42677 18446744073709551615 4194304 4196468 140728185211408 140359705639440 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3705] ppid=3649 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/3652/task/3705/stat : 3705 (java) S 3649 3652 3187 0 -1 1077944384 58 12337 0 0 1 0 4 3 20 0 15 0 6605505 14321057792 42677 18446744073709551615 4194304 4196468 140728185211408 140359704586640 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3706] ppid=3649 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/3652/task/3706/stat : 3706 (java) S 3649 3652 3187 0 -1 1077944384 205 12337 0 0 1 0 4 3 20 0 15 0 6605505 14321057792 42677 18446744073709551615 4194304 4196468 140728185211408 140359703533840 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3707] ppid=3649 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/3652/task/3707/stat : 3707 (java) S 3649 3652 3187 0 -1 1077944384 1650 12337 0 0 1 0 4 3 20 0 15 0 6605507 14321057792 42677 18446744073709551615 4194304 4196468 140728185211408 140359584652144 140360106363522 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3708] ppid=3649 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/3652/task/3708/stat : 3708 (java) S 3649 3652 3187 0 -1 1077944384 54 12337 0 0 0 0 4 3 20 0 15 0 6605507 14321057792 42677 18446744073709551615 4194304 4196468 140728185211408 140359583598112 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3709] ppid=3649 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/3652/task/3709/stat : 3709 (java) S 3649 3652 3187 0 -1 1077944384 43 12337 0 0 0 0 4 3 20 0 15 0 6605507 14321057792 42677 18446744073709551615 4194304 4196468 140728185211408 140359582545264 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3710] ppid=3649 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/3652/task/3710/stat : 3710 (java) S 3649 3652 3187 0 -1 1077944384 3 12337 0 0 0 0 4 3 20 0 15 0 6605510 14321057792 42677 18446744073709551615 4194304 4196468 140728185211408 140359581493584 140360106370971 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3711] ppid=3649 vsize=13985408 CPUtime=0.22 cores=0,2,4,6
/proc/3652/task/3711/stat : 3711 (java) S 3649 3652 3187 0 -1 1077944384 1128 12337 0 0 15 0 4 3 20 0 15 0 6605510 14321057792 42677 18446744073709551615 4194304 4196468 140728185211408 140359580440944 140360106363522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3712] ppid=3649 vsize=13985408 CPUtime=0.21 cores=0,2,4,6
/proc/3652/task/3712/stat : 3712 (java) R 3649 3652 3187 0 -1 1077944384 668 12337 0 0 14 0 4 3 20 0 15 0 6605510 14321057792 42677 18446744073709551615 4194304 4196468 140728185211408 140359579388144 140360106363522 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3713] ppid=3649 vsize=13985408 CPUtime=0.31 cores=0,2,4,6
/proc/3652/task/3713/stat : 3713 (java) R 3649 3652 3187 0 -1 4202560 1457 12337 0 0 24 0 4 3 20 0 15 0 6605510 14321057792 42677 18446744073709551615 4194304 4196468 140728185211408 140359578335344 140360091517932 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3714] ppid=3649 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/3652/task/3714/stat : 3714 (java) S 3649 3652 3187 0 -1 1077944384 3 12337 0 0 0 0 4 3 20 0 15 0 6605510 14321057792 42684 18446744073709551615 4194304 4196468 140728185211408 140359577282784 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3715] ppid=3649 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/3652/task/3715/stat : 3715 (java) S 3649 3652 3187 0 -1 1077944384 10 12337 0 0 0 0 4 3 20 0 15 0 6605513 14321057792 42684 18446744073709551615 4194304 4196468 140728185211408 140359576231088 140360106363522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 13985408

[startup+3.10098 s]
/proc/loadavg: 1.20 1.57 1.68 4/214 3715
/proc/meminfo: memFree=27991616/32770624 swapFree=0/243368
[pid=3652] ppid=3649 vsize=13993788 CPUtime=6.33 cores=0,2,4,6
/proc/3652/stat : 3652 (java) S 3649 3652 3187 0 -1 1077944320 42835 12337 0 0 606 20 4 3 20 0 15 0 6605485 14329638912 78870 18446744073709551615 4194304 4196468 140728185211408 140728185193952 140360106352375 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
/proc/3652/statm: 3498447 78870 3457 1 0 3487069 0
[pid=3652/tid=3702] ppid=3649 vsize=13993788 CPUtime=2.84 cores=0,2,4,6
/proc/3652/task/3702/stat : 3702 (java) R 3649 3652 3187 0 -1 4202560 26828 12337 0 0 269 8 4 3 20 0 15 0 6605505 14329638912 78870 18446744073709551615 4194304 4196468 140728185211408 140360110586104 140359753530160 0 4 1 16800974 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3703] ppid=3649 vsize=13993788 CPUtime=0.1 cores=0,2,4,6
/proc/3652/task/3703/stat : 3703 (java) S 3649 3652 3187 0 -1 1077944384 81 12337 0 0 2 1 4 3 20 0 15 0 6605505 14329638912 78870 18446744073709551615 4194304 4196468 140728185211408 140360069458576 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3704] ppid=3649 vsize=13993788 CPUtime=0.13 cores=0,2,4,6
/proc/3652/task/3704/stat : 3704 (java) S 3649 3652 3187 0 -1 1077944384 120 12337 0 0 4 2 4 3 20 0 15 0 6605505 14329638912 78870 18446744073709551615 4194304 4196468 140728185211408 140359705639440 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3705] ppid=3649 vsize=13993788 CPUtime=0.13 cores=0,2,4,6
/proc/3652/task/3705/stat : 3705 (java) S 3649 3652 3187 0 -1 1077944384 277 12337 0 0 4 2 4 3 20 0 15 0 6605505 14329638912 78870 18446744073709551615 4194304 4196468 140728185211408 140359704586640 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3706] ppid=3649 vsize=13993788 CPUtime=0.11 cores=0,2,4,6
/proc/3652/task/3706/stat : 3706 (java) S 3649 3652 3187 0 -1 1077944384 269 12337 0 0 3 1 4 3 20 0 15 0 6605505 14329638912 78870 18446744073709551615 4194304 4196468 140728185211408 140359703533840 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3707] ppid=3649 vsize=13993788 CPUtime=0.08 cores=0,2,4,6
/proc/3652/task/3707/stat : 3707 (java) S 3649 3652 3187 0 -1 1077944384 1711 12337 0 0 1 0 4 3 20 0 15 0 6605507 14329638912 78870 18446744073709551615 4194304 4196468 140728185211408 140359584652144 140360106363522 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3708] ppid=3649 vsize=13993788 CPUtime=0.07 cores=0,2,4,6
/proc/3652/task/3708/stat : 3708 (java) S 3649 3652 3187 0 -1 1077944384 54 12337 0 0 0 0 4 3 20 0 15 0 6605507 14329638912 78870 18446744073709551615 4194304 4196468 140728185211408 140359583598176 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3709] ppid=3649 vsize=13993788 CPUtime=0.07 cores=0,2,4,6
/proc/3652/task/3709/stat : 3709 (java) S 3649 3652 3187 0 -1 1077944384 43 12337 0 0 0 0 4 3 20 0 15 0 6605507 14329638912 78870 18446744073709551615 4194304 4196468 140728185211408 140359582545280 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3710] ppid=3649 vsize=13993788 CPUtime=0.07 cores=0,2,4,6
/proc/3652/task/3710/stat : 3710 (java) S 3649 3652 3187 0 -1 1077944384 3 12337 0 0 0 0 4 3 20 0 15 0 6605510 14329638912 78870 18446744073709551615 4194304 4196468 140728185211408 140359581493584 140360106370971 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3711] ppid=3649 vsize=13993788 CPUtime=1.21 cores=0,2,4,6
/proc/3652/task/3711/stat : 3711 (java) R 3649 3652 3187 0 -1 4202560 3047 12337 0 0 113 1 4 3 20 0 15 0 6605510 14329638912 78870 18446744073709551615 4194304 4196468 140728185211408 140359580432224 140360086531009 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3712] ppid=3649 vsize=13993788 CPUtime=1.31 cores=0,2,4,6
/proc/3652/task/3712/stat : 3712 (java) R 3649 3652 3187 0 -1 4202560 4749 12337 0 0 124 0 4 3 20 0 15 0 6605510 14329638912 78870 18446744073709551615 4194304 4196468 140728185211408 140359579379424 140360085528464 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3713] ppid=3649 vsize=13993788 CPUtime=0.89 cores=0,2,4,6
/proc/3652/task/3713/stat : 3713 (java) S 3649 3652 3187 0 -1 1077944384 3484 12337 0 0 82 0 4 3 20 0 15 0 6605510 14329638912 78870 18446744073709551615 4194304 4196468 140728185211408 140359578335344 140360106363522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3714] ppid=3649 vsize=13993788 CPUtime=0.07 cores=0,2,4,6
/proc/3652/task/3714/stat : 3714 (java) S 3649 3652 3187 0 -1 1077944384 3 12337 0 0 0 0 4 3 20 0 15 0 6605510 14329638912 78870 18446744073709551615 4194304 4196468 140728185211408 140359577282784 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3715] ppid=3649 vsize=13993788 CPUtime=0.07 cores=0,2,4,6
/proc/3652/task/3715/stat : 3715 (java) S 3649 3652 3187 0 -1 1077944384 12 12337 0 0 0 0 4 3 20 0 15 0 6605513 14329638912 78870 18446744073709551615 4194304 4196468 140728185211408 140359576231088 140360106363522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
Current children cumulated CPU time (s) 6.33
Current children cumulated vsize (KiB) 13993788

[startup+6.30065 s]
/proc/loadavg: 1.26 1.58 1.68 3/214 3715
/proc/meminfo: memFree=27501644/32770624 swapFree=0/243364
[pid=3652] ppid=3649 vsize=13997884 CPUtime=13.85 cores=0,2,4,6
/proc/3652/stat : 3652 (java) S 3649 3652 3187 0 -1 1077944320 53609 12337 0 0 1328 50 4 3 20 0 15 0 6605485 14333833216 188748 18446744073709551615 4194304 4196468 140728185211408 140728185193952 140360106352375 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
/proc/3652/statm: 3499471 188748 3470 1 0 3488093 0
[pid=3652/tid=3702] ppid=3649 vsize=13997884 CPUtime=5.79 cores=0,2,4,6
/proc/3652/task/3702/stat : 3702 (java) R 3649 3652 3187 0 -1 4202560 29203 12337 0 0 560 12 4 3 20 0 15 0 6605505 14333833216 188748 18446744073709551615 4194304 4196468 140728185211408 140360110579584 140360106364310 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3703] ppid=3649 vsize=13997884 CPUtime=0.33 cores=0,2,4,6
/proc/3652/task/3703/stat : 3703 (java) S 3649 3652 3187 0 -1 1077944384 348 12337 0 0 19 7 4 3 20 0 15 0 6605505 14333833216 188748 18446744073709551615 4194304 4196468 140728185211408 140360069458576 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3704] ppid=3649 vsize=13997884 CPUtime=0.35 cores=0,2,4,6
/proc/3652/task/3704/stat : 3704 (java) S 3649 3652 3187 0 -1 1077944384 563 12337 0 0 20 8 4 3 20 0 15 0 6605505 14333833216 188748 18446744073709551615 4194304 4196468 140728185211408 140359705639440 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3705] ppid=3649 vsize=13997884 CPUtime=0.33 cores=0,2,4,6
/proc/3652/task/3705/stat : 3705 (java) S 3649 3652 3187 0 -1 1077944384 768 12337 0 0 19 7 4 3 20 0 15 0 6605505 14333833216 188748 18446744073709551615 4194304 4196468 140728185211408 140359704586640 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3706] ppid=3649 vsize=13997884 CPUtime=0.33 cores=0,2,4,6
/proc/3652/task/3706/stat : 3706 (java) S 3649 3652 3187 0 -1 1077944384 627 12337 0 0 19 7 4 3 20 0 15 0 6605505 14333833216 188748 18446744073709551615 4194304 4196468 140728185211408 140359703533840 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3707] ppid=3649 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/3652/task/3707/stat : 3707 (java) S 3649 3652 3187 0 -1 1077944384 2019 12337 0 0 2 0 4 3 20 0 15 0 6605507 14333833216 188748 18446744073709551615 4194304 4196468 140728185211408 140359584652144 140360106363522 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3708] ppid=3649 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/3652/task/3708/stat : 3708 (java) S 3649 3652 3187 0 -1 1077944384 54 12337 0 0 0 0 4 3 20 0 15 0 6605507 14333833216 188748 18446744073709551615 4194304 4196468 140728185211408 140359583598176 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3709] ppid=3649 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/3652/task/3709/stat : 3709 (java) S 3649 3652 3187 0 -1 1077944384 43 12337 0 0 0 0 4 3 20 0 15 0 6605507 14333833216 188748 18446744073709551615 4194304 4196468 140728185211408 140359582545280 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3710] ppid=3649 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/3652/task/3710/stat : 3710 (java) S 3649 3652 3187 0 -1 1077944384 3 12337 0 0 0 0 4 3 20 0 15 0 6605510 14333833216 188748 18446744073709551615 4194304 4196468 140728185211408 140359581493584 140360106370971 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3711] ppid=3649 vsize=13997884 CPUtime=2.82 cores=0,2,4,6
/proc/3652/task/3711/stat : 3711 (java) R 3649 3652 3187 0 -1 4202560 4215 12337 0 0 274 1 4 3 20 0 15 0 6605510 14333833216 188748 18446744073709551615 4194304 4196468 140728185211408 140359580440944 140360091132113 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3712] ppid=3649 vsize=13997884 CPUtime=2.89 cores=0,2,4,6
/proc/3652/task/3712/stat : 3712 (java) R 3649 3652 3187 0 -1 4202560 6626 12337 0 0 281 1 4 3 20 0 15 0 6605510 14333833216 188748 18446744073709551615 4194304 4196468 140728185211408 140359579388144 140360086988259 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3713] ppid=3649 vsize=13997884 CPUtime=1.37 cores=0,2,4,6
/proc/3652/task/3713/stat : 3713 (java) S 3649 3652 3187 0 -1 1077944384 6805 12337 0 0 129 1 4 3 20 0 15 0 6605510 14333833216 188748 18446744073709551615 4194304 4196468 140728185211408 140359578335344 140360106363522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3714] ppid=3649 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/3652/task/3714/stat : 3714 (java) S 3649 3652 3187 0 -1 1077944384 3 12337 0 0 0 0 4 3 20 0 15 0 6605510 14333833216 188748 18446744073709551615 4194304 4196468 140728185211408 140359577282784 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3715] ppid=3649 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/3652/task/3715/stat : 3715 (java) S 3649 3652 3187 0 -1 1077944384 178 12337 0 0 0 0 4 3 20 0 15 0 6605513 14333833216 188748 18446744073709551615 4194304 4196468 140728185211408 140359576231088 140360106363522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
Current children cumulated CPU time (s) 13.85
Current children cumulated vsize (KiB) 13997884

[startup+12.7017 s]
/proc/loadavg: 1.32 1.59 1.68 3/214 3715
/proc/meminfo: memFree=26045616/32770624 swapFree=0/243376
[pid=3652] ppid=3649 vsize=13997884 CPUtime=23.8 cores=0,2,4,6
/proc/3652/stat : 3652 (java) S 3649 3652 3187 0 -1 1077944320 60166 12337 0 0 2268 105 4 3 20 0 15 0 6605485 14333833216 659783 18446744073709551615 4194304 4196468 140728185211408 140728185193952 140360106352375 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
/proc/3652/statm: 3499471 659783 3474 1 0 3488093 0
[pid=3652/tid=3702] ppid=3649 vsize=13997884 CPUtime=11.42 cores=0,2,4,6
/proc/3652/task/3702/stat : 3702 (java) R 3649 3652 3187 0 -1 4202560 30639 12337 0 0 1101 34 4 3 20 0 15 0 6605505 14333833216 659783 18446744073709551615 4194304 4196468 140728185211408 140360110585888 140360106364310 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3703] ppid=3649 vsize=13997884 CPUtime=1.03 cores=0,2,4,6
/proc/3652/task/3703/stat : 3703 (java) S 3649 3652 3187 0 -1 1077944384 672 12337 0 0 81 15 4 3 20 0 15 0 6605505 14333833216 659783 18446744073709551615 4194304 4196468 140728185211408 140360069458576 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3704] ppid=3649 vsize=13997884 CPUtime=1.06 cores=0,2,4,6
/proc/3652/task/3704/stat : 3704 (java) S 3649 3652 3187 0 -1 1077944384 823 12337 0 0 84 15 4 3 20 0 15 0 6605505 14333833216 659783 18446744073709551615 4194304 4196468 140728185211408 140359705639440 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3705] ppid=3649 vsize=13997884 CPUtime=1.04 cores=0,2,4,6
/proc/3652/task/3705/stat : 3705 (java) S 3649 3652 3187 0 -1 1077944384 995 12337 0 0 81 16 4 3 20 0 15 0 6605505 14333833216 659783 18446744073709551615 4194304 4196468 140728185211408 140359704586640 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3706] ppid=3649 vsize=13997884 CPUtime=1.04 cores=0,2,4,6
/proc/3652/task/3706/stat : 3706 (java) S 3649 3652 3187 0 -1 1077944384 874 12337 0 0 82 15 4 3 20 0 15 0 6605505 14333833216 659783 18446744073709551615 4194304 4196468 140728185211408 140359703533840 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3707] ppid=3649 vsize=13997884 CPUtime=0.16 cores=0,2,4,6
/proc/3652/task/3707/stat : 3707 (java) S 3649 3652 3187 0 -1 1077944384 4189 12337 0 0 8 1 4 3 20 0 15 0 6605507 14333833216 659783 18446744073709551615 4194304 4196468 140728185211408 140359584652144 140360106363522 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3708] ppid=3649 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/3652/task/3708/stat : 3708 (java) S 3649 3652 3187 0 -1 1077944384 54 12337 0 0 0 0 4 3 20 0 15 0 6605507 14333833216 659783 18446744073709551615 4194304 4196468 140728185211408 140359583598176 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3709] ppid=3649 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/3652/task/3709/stat : 3709 (java) S 3649 3652 3187 0 -1 1077944384 43 12337 0 0 0 0 4 3 20 0 15 0 6605507 14333833216 659783 18446744073709551615 4194304 4196468 140728185211408 140359582545280 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3710] ppid=3649 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/3652/task/3710/stat : 3710 (java) S 3649 3652 3187 0 -1 1077944384 3 12337 0 0 0 0 4 3 20 0 15 0 6605510 14333833216 659783 18446744073709551615 4194304 4196468 140728185211408 140359581493584 140360106370971 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0

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

/proc/3652/task/3714/stat : 3714 (java) S 3649 3652 3187 0 -1 1077944384 3 12337 0 0 0 0 4 3 20 0 15 0 6605510 14405136384 1037546 18446744073709551615 4194304 4196468 140728185211408 140359577282784 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3715] ppid=3649 vsize=14067516 CPUtime=0.09 cores=0,2,4,6
/proc/3652/task/3715/stat : 3715 (java) S 3649 3652 3187 0 -1 1077944384 283 12337 0 0 1 1 4 3 20 0 15 0 6605513 14405136384 1037546 18446744073709551615 4194304 4196468 140728185211408 140359576231088 140360106363522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
Current children cumulated CPU time (s) 70.69
Current children cumulated vsize (KiB) 14067516

[startup+102.301 s]
/proc/loadavg: 1.88 1.71 1.72 3/214 4091
/proc/meminfo: memFree=27088784/32770624 swapFree=0/243444
[pid=3652] ppid=3649 vsize=14067516 CPUtime=122.51 cores=0,2,4,6
/proc/3652/stat : 3652 (java) S 3649 3652 3187 0 -1 1077944320 108133 12337 0 0 12085 159 4 3 20 0 15 0 6605485 14405136384 1050360 18446744073709551615 4194304 4196468 140728185211408 140728185193952 140360106352375 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
/proc/3652/statm: 3516879 1050360 3484 1 0 3505501 0
[pid=3652/tid=3702] ppid=3649 vsize=14067516 CPUtime=100.3 cores=0,2,4,6
/proc/3652/task/3702/stat : 3702 (java) R 3649 3652 3187 0 -1 4202560 56161 12337 0 0 9963 60 4 3 20 0 15 0 6605505 14405136384 1050360 18446744073709551615 4194304 4196468 140728185211408 140360110580944 140359762388303 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3703] ppid=3649 vsize=14067516 CPUtime=1.63 cores=0,2,4,6
/proc/3652/task/3703/stat : 3703 (java) S 3649 3652 3187 0 -1 1077944384 1020 12337 0 0 135 21 4 3 20 0 15 0 6605505 14405136384 1050360 18446744073709551615 4194304 4196468 140728185211408 140360069458576 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3704] ppid=3649 vsize=14067516 CPUtime=1.65 cores=0,2,4,6
/proc/3652/task/3704/stat : 3704 (java) S 3649 3652 3187 0 -1 1077944384 1023 12337 0 0 137 21 4 3 20 0 15 0 6605505 14405136384 1050360 18446744073709551615 4194304 4196468 140728185211408 140359705639440 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3705] ppid=3649 vsize=14067516 CPUtime=1.64 cores=0,2,4,6
/proc/3652/task/3705/stat : 3705 (java) S 3649 3652 3187 0 -1 1077944384 2421 12337 0 0 136 21 4 3 20 0 15 0 6605505 14405136384 1050360 18446744073709551615 4194304 4196468 140728185211408 140359704586640 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3706] ppid=3649 vsize=14067516 CPUtime=1.63 cores=0,2,4,6
/proc/3652/task/3706/stat : 3706 (java) S 3649 3652 3187 0 -1 1077944384 2377 12337 0 0 135 21 4 3 20 0 15 0 6605505 14405136384 1050360 18446744073709551615 4194304 4196468 140728185211408 140359703533840 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3707] ppid=3649 vsize=14067516 CPUtime=0.27 cores=0,2,4,6
/proc/3652/task/3707/stat : 3707 (java) S 3649 3652 3187 0 -1 1077944384 5216 12337 0 0 19 1 4 3 20 0 15 0 6605507 14405136384 1050360 18446744073709551615 4194304 4196468 140728185211408 140359584652144 140360106363522 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3708] ppid=3649 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/3652/task/3708/stat : 3708 (java) S 3649 3652 3187 0 -1 1077944384 60 12337 0 0 0 0 4 3 20 0 15 0 6605507 14405136384 1050360 18446744073709551615 4194304 4196468 140728185211408 140359583598240 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3709] ppid=3649 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/3652/task/3709/stat : 3709 (java) S 3649 3652 3187 0 -1 1077944384 56 12337 0 0 0 0 4 3 20 0 15 0 6605507 14405136384 1050360 18446744073709551615 4194304 4196468 140728185211408 140359582545280 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3710] ppid=3649 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/3652/task/3710/stat : 3710 (java) S 3649 3652 3187 0 -1 1077944384 3 12337 0 0 0 0 4 3 20 0 15 0 6605510 14405136384 1050360 18446744073709551615 4194304 4196468 140728185211408 140359581493584 140360106370971 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3711] ppid=3649 vsize=14067516 CPUtime=6.68 cores=0,2,4,6
/proc/3652/task/3711/stat : 3711 (java) S 3649 3652 3187 0 -1 1077944384 11517 12337 0 0 658 3 4 3 20 0 15 0 6605510 14405136384 1050360 18446744073709551615 4194304 4196468 140728185211408 140359580440944 140360106363522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3712] ppid=3649 vsize=14067516 CPUtime=6.79 cores=0,2,4,6
/proc/3652/task/3712/stat : 3712 (java) S 3649 3652 3187 0 -1 1077944384 13668 12337 0 0 669 3 4 3 20 0 15 0 6605510 14405136384 1050360 18446744073709551615 4194304 4196468 140728185211408 140359579388144 140360106363522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3713] ppid=3649 vsize=14067516 CPUtime=2.34 cores=0,2,4,6
/proc/3652/task/3713/stat : 3713 (java) S 3649 3652 3187 0 -1 1077944384 12128 12337 0 0 224 3 4 3 20 0 15 0 6605510 14405136384 1050360 18446744073709551615 4194304 4196468 140728185211408 140359578335344 140360106363522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3714] ppid=3649 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/3652/task/3714/stat : 3714 (java) S 3649 3652 3187 0 -1 1077944384 3 12337 0 0 0 0 4 3 20 0 15 0 6605510 14405136384 1050360 18446744073709551615 4194304 4196468 140728185211408 140359577282784 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3715] ppid=3649 vsize=14067516 CPUtime=0.12 cores=0,2,4,6
/proc/3652/task/3715/stat : 3715 (java) S 3649 3652 3187 0 -1 1077944384 326 12337 0 0 2 3 4 3 20 0 15 0 6605513 14405136384 1050360 18446744073709551615 4194304 4196468 140728185211408 140359576231088 140360106363522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
Current children cumulated CPU time (s) 122.51
Current children cumulated vsize (KiB) 14067516

[startup+162.301 s]
/proc/loadavg: 2.10 1.78 1.74 3/214 4216
/proc/meminfo: memFree=26848444/32770624 swapFree=0/243568
[pid=3652] ppid=3649 vsize=14067516 CPUtime=182.89 cores=0,2,4,6
/proc/3652/stat : 3652 (java) S 3649 3652 3187 0 -1 1077944320 124831 12337 0 0 18118 164 4 3 20 0 15 0 6605485 14405136384 1053432 18446744073709551615 4194304 4196468 140728185211408 140728185193952 140360106352375 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
/proc/3652/statm: 3516879 1053432 3484 1 0 3505501 0
[pid=3652/tid=3702] ppid=3649 vsize=14067516 CPUtime=160.17 cores=0,2,4,6
/proc/3652/task/3702/stat : 3702 (java) R 3649 3652 3187 0 -1 4202560 62796 12337 0 0 15947 63 4 3 20 0 15 0 6605505 14405136384 1053432 18446744073709551615 4194304 4196468 140728185211408 140360110587880 140359764427733 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3703] ppid=3649 vsize=14067516 CPUtime=1.73 cores=0,2,4,6
/proc/3652/task/3703/stat : 3703 (java) S 3649 3652 3187 0 -1 1077944384 2402 12337 0 0 145 21 4 3 20 0 15 0 6605505 14405136384 1053432 18446744073709551615 4194304 4196468 140728185211408 140360069458576 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3704] ppid=3649 vsize=14067516 CPUtime=1.76 cores=0,2,4,6
/proc/3652/task/3704/stat : 3704 (java) S 3649 3652 3187 0 -1 1077944384 1180 12337 0 0 148 21 4 3 20 0 15 0 6605505 14405136384 1053432 18446744073709551615 4194304 4196468 140728185211408 140359705639440 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3705] ppid=3649 vsize=14067516 CPUtime=1.74 cores=0,2,4,6
/proc/3652/task/3705/stat : 3705 (java) S 3649 3652 3187 0 -1 1077944384 2557 12337 0 0 146 21 4 3 20 0 15 0 6605505 14405136384 1053432 18446744073709551615 4194304 4196468 140728185211408 140359704586640 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3706] ppid=3649 vsize=14067516 CPUtime=1.73 cores=0,2,4,6
/proc/3652/task/3706/stat : 3706 (java) S 3649 3652 3187 0 -1 1077944384 2447 12337 0 0 145 21 4 3 20 0 15 0 6605505 14405136384 1053432 18446744073709551615 4194304 4196468 140728185211408 140359703533840 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3707] ppid=3649 vsize=14067516 CPUtime=0.28 cores=0,2,4,6
/proc/3652/task/3707/stat : 3707 (java) S 3649 3652 3187 0 -1 1077944384 5512 12337 0 0 20 1 4 3 20 0 15 0 6605507 14405136384 1053432 18446744073709551615 4194304 4196468 140728185211408 140359584652144 140360106363522 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3708] ppid=3649 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/3652/task/3708/stat : 3708 (java) S 3649 3652 3187 0 -1 1077944384 63 12337 0 0 0 0 4 3 20 0 15 0 6605507 14405136384 1053432 18446744073709551615 4194304 4196468 140728185211408 140359583598240 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3709] ppid=3649 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/3652/task/3709/stat : 3709 (java) S 3649 3652 3187 0 -1 1077944384 56 12337 0 0 0 0 4 3 20 0 15 0 6605507 14405136384 1053432 18446744073709551615 4194304 4196468 140728185211408 140359582545280 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3710] ppid=3649 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/3652/task/3710/stat : 3710 (java) S 3649 3652 3187 0 -1 1077944384 3 12337 0 0 0 0 4 3 20 0 15 0 6605510 14405136384 1053432 18446744073709551615 4194304 4196468 140728185211408 140359581493584 140360106370971 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3711] ppid=3649 vsize=14067516 CPUtime=6.69 cores=0,2,4,6
/proc/3652/task/3711/stat : 3711 (java) S 3649 3652 3187 0 -1 1077944384 12291 12337 0 0 659 3 4 3 20 0 15 0 6605510 14405136384 1053432 18446744073709551615 4194304 4196468 140728185211408 140359580440944 140360106363522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3712] ppid=3649 vsize=14067516 CPUtime=6.79 cores=0,2,4,6
/proc/3652/task/3712/stat : 3712 (java) S 3649 3652 3187 0 -1 1077944384 14183 12337 0 0 669 3 4 3 20 0 15 0 6605510 14405136384 1053432 18446744073709551615 4194304 4196468 140728185211408 140359579388144 140360106363522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3713] ppid=3649 vsize=14067516 CPUtime=2.36 cores=0,2,4,6
/proc/3652/task/3713/stat : 3713 (java) S 3649 3652 3187 0 -1 1077944384 18818 12337 0 0 226 3 4 3 20 0 15 0 6605510 14405136384 1053432 18446744073709551615 4194304 4196468 140728185211408 140359578335344 140360106363522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3714] ppid=3649 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/3652/task/3714/stat : 3714 (java) S 3649 3652 3187 0 -1 1077944384 3 12337 0 0 0 0 4 3 20 0 15 0 6605510 14405136384 1053432 18446744073709551615 4194304 4196468 140728185211408 140359577282784 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3715] ppid=3649 vsize=14067516 CPUtime=0.15 cores=0,2,4,6
/proc/3652/task/3715/stat : 3715 (java) S 3649 3652 3187 0 -1 1077944384 366 12337 0 0 5 3 4 3 20 0 15 0 6605513 14405136384 1053432 18446744073709551615 4194304 4196468 140728185211408 140359576231088 140360106363522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
Current children cumulated CPU time (s) 182.89
Current children cumulated vsize (KiB) 14067516

[startup+222.307 s]
/proc/loadavg: 2.02 1.82 1.76 3/212 4219
/proc/meminfo: memFree=24746112/32770624 swapFree=0/243656
[pid=3652] ppid=3649 vsize=14067516 CPUtime=243.36 cores=0,2,4,6
/proc/3652/stat : 3652 (java) S 3649 3652 3187 0 -1 1077944320 135921 12337 0 0 24161 168 4 3 20 0 15 0 6605485 14405136384 1044839 18446744073709551615 4194304 4196468 140728185211408 140728185193952 140360106352375 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
/proc/3652/statm: 3516879 1044839 3484 1 0 3505501 0
[pid=3652/tid=3702] ppid=3649 vsize=14067516 CPUtime=220.02 cores=0,2,4,6
/proc/3652/task/3702/stat : 3702 (java) R 3649 3652 3187 0 -1 4202560 69265 12337 0 0 21932 63 4 3 20 0 15 0 6605505 14405136384 1044839 18446744073709551615 4194304 4196468 140728185211408 140360110586456 140359765254829 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3703] ppid=3649 vsize=14067516 CPUtime=1.87 cores=0,2,4,6
/proc/3652/task/3703/stat : 3703 (java) S 3649 3652 3187 0 -1 1077944384 2801 12337 0 0 159 21 4 3 20 0 15 0 6605505 14405136384 1044839 18446744073709551615 4194304 4196468 140728185211408 140360069458576 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3704] ppid=3649 vsize=14067516 CPUtime=1.89 cores=0,2,4,6
/proc/3652/task/3704/stat : 3704 (java) S 3649 3652 3187 0 -1 1077944384 1237 12337 0 0 161 21 4 3 20 0 15 0 6605505 14405136384 1044839 18446744073709551615 4194304 4196468 140728185211408 140359705639440 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3705] ppid=3649 vsize=14067516 CPUtime=1.88 cores=0,2,4,6
/proc/3652/task/3705/stat : 3705 (java) S 3649 3652 3187 0 -1 1077944384 2707 12337 0 0 160 21 4 3 20 0 15 0 6605505 14405136384 1044839 18446744073709551615 4194304 4196468 140728185211408 140359704586640 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3706] ppid=3649 vsize=14067516 CPUtime=1.87 cores=0,2,4,6
/proc/3652/task/3706/stat : 3706 (java) S 3649 3652 3187 0 -1 1077944384 3557 12337 0 0 159 21 4 3 20 0 15 0 6605505 14405136384 1044839 18446744073709551615 4194304 4196468 140728185211408 140359703533840 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3707] ppid=3649 vsize=14067516 CPUtime=0.28 cores=0,2,4,6
/proc/3652/task/3707/stat : 3707 (java) S 3649 3652 3187 0 -1 1077944384 5780 12337 0 0 20 1 4 3 20 0 15 0 6605507 14405136384 1044839 18446744073709551615 4194304 4196468 140728185211408 140359584652144 140360106363522 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3708] ppid=3649 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/3652/task/3708/stat : 3708 (java) S 3649 3652 3187 0 -1 1077944384 65 12337 0 0 0 0 4 3 20 0 15 0 6605507 14405136384 1044839 18446744073709551615 4194304 4196468 140728185211408 140359583598240 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3709] ppid=3649 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/3652/task/3709/stat : 3709 (java) S 3649 3652 3187 0 -1 1077944384 56 12337 0 0 0 0 4 3 20 0 15 0 6605507 14405136384 1044839 18446744073709551615 4194304 4196468 140728185211408 140359582545280 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3710] ppid=3649 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/3652/task/3710/stat : 3710 (java) S 3649 3652 3187 0 -1 1077944384 3 12337 0 0 0 0 4 3 20 0 15 0 6605510 14405136384 1044839 18446744073709551615 4194304 4196468 140728185211408 140359581493584 140360106370971 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3711] ppid=3649 vsize=14067516 CPUtime=6.69 cores=0,2,4,6
/proc/3652/task/3711/stat : 3711 (java) S 3649 3652 3187 0 -1 1077944384 12294 12337 0 0 659 3 4 3 20 0 15 0 6605510 14405136384 1044839 18446744073709551615 4194304 4196468 140728185211408 140359580440944 140360106363522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3712] ppid=3649 vsize=14067516 CPUtime=6.8 cores=0,2,4,6
/proc/3652/task/3712/stat : 3712 (java) S 3649 3652 3187 0 -1 1077944384 14910 12337 0 0 670 3 4 3 20 0 15 0 6605510 14405136384 1044839 18446744073709551615 4194304 4196468 140728185211408 140359579388144 140360106363522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3713] ppid=3649 vsize=14067516 CPUtime=2.38 cores=0,2,4,6
/proc/3652/task/3713/stat : 3713 (java) S 3649 3652 3187 0 -1 1077944384 20680 12337 0 0 228 3 4 3 20 0 15 0 6605510 14405136384 1044839 18446744073709551615 4194304 4196468 140728185211408 140359578335344 140360106363522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3714] ppid=3649 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/3652/task/3714/stat : 3714 (java) S 3649 3652 3187 0 -1 1077944384 3 12337 0 0 0 0 4 3 20 0 15 0 6605510 14405136384 1044839 18446744073709551615 4194304 4196468 140728185211408 140359577282784 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3715] ppid=3649 vsize=14067516 CPUtime=0.18 cores=0,2,4,6
/proc/3652/task/3715/stat : 3715 (java) S 3649 3652 3187 0 -1 1077944384 409 12337 0 0 6 5 4 3 20 0 15 0 6605513 14405136384 1044839 18446744073709551615 4194304 4196468 140728185211408 140359576231088 140360106363522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
Current children cumulated CPU time (s) 243.36
Current children cumulated vsize (KiB) 14067516



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.88 1.80 1.75 3/212 4219
/proc/meminfo: memFree=24720604/32770624 swapFree=0/243664
[pid=3652] ppid=3649 vsize=14067516 CPUtime=261.17 cores=0,2,4,6
/proc/3652/stat : 3652 (java) S 3649 3652 3187 0 -1 1077944320 136927 12337 0 0 25942 168 4 3 20 0 15 0 6605485 14405136384 1029577 18446744073709551615 4194304 4196468 140728185211408 140728185193952 140360106352375 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
/proc/3652/statm: 3516879 1029577 3484 1 0 3505501 0
[pid=3652/tid=3702] ppid=3649 vsize=14067516 CPUtime=237.68 cores=0,2,4,6
/proc/3652/task/3702/stat : 3702 (java) R 3649 3652 3187 0 -1 4202560 70159 12337 0 0 23697 64 4 3 20 0 15 0 6605505 14405136384 1029577 18446744073709551615 4194304 4196468 140728185211408 140360110580992 140359762773658 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3703] ppid=3649 vsize=14067516 CPUtime=1.91 cores=0,2,4,6
/proc/3652/task/3703/stat : 3703 (java) S 3649 3652 3187 0 -1 1077944384 2802 12337 0 0 163 21 4 3 20 0 15 0 6605505 14405136384 1029577 18446744073709551615 4194304 4196468 140728185211408 140360069458576 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3704] ppid=3649 vsize=14067516 CPUtime=1.93 cores=0,2,4,6
/proc/3652/task/3704/stat : 3704 (java) S 3649 3652 3187 0 -1 1077944384 1238 12337 0 0 165 21 4 3 20 0 15 0 6605505 14405136384 1029577 18446744073709551615 4194304 4196468 140728185211408 140359705639440 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3705] ppid=3649 vsize=14067516 CPUtime=1.91 cores=0,2,4,6
/proc/3652/task/3705/stat : 3705 (java) S 3649 3652 3187 0 -1 1077944384 2707 12337 0 0 163 21 4 3 20 0 15 0 6605505 14405136384 1029577 18446744073709551615 4194304 4196468 140728185211408 140359704586640 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3706] ppid=3649 vsize=14067516 CPUtime=1.91 cores=0,2,4,6
/proc/3652/task/3706/stat : 3706 (java) S 3649 3652 3187 0 -1 1077944384 3558 12337 0 0 163 21 4 3 20 0 15 0 6605505 14405136384 1029577 18446744073709551615 4194304 4196468 140728185211408 140359703533840 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3707] ppid=3649 vsize=14067516 CPUtime=0.28 cores=0,2,4,6
/proc/3652/task/3707/stat : 3707 (java) S 3649 3652 3187 0 -1 1077944384 5783 12337 0 0 20 1 4 3 20 0 15 0 6605507 14405136384 1029577 18446744073709551615 4194304 4196468 140728185211408 140359584652144 140360106363522 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3708] ppid=3649 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/3652/task/3708/stat : 3708 (java) S 3649 3652 3187 0 -1 1077944384 65 12337 0 0 0 0 4 3 20 0 15 0 6605507 14405136384 1029577 18446744073709551615 4194304 4196468 140728185211408 140359583598240 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3709] ppid=3649 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/3652/task/3709/stat : 3709 (java) S 3649 3652 3187 0 -1 1077944384 56 12337 0 0 0 0 4 3 20 0 15 0 6605507 14405136384 1029577 18446744073709551615 4194304 4196468 140728185211408 140359582545280 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3710] ppid=3649 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/3652/task/3710/stat : 3710 (java) S 3649 3652 3187 0 -1 1077944384 3 12337 0 0 0 0 4 3 20 0 15 0 6605510 14405136384 1029577 18446744073709551615 4194304 4196468 140728185211408 140359581493584 140360106370971 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3711] ppid=3649 vsize=14067516 CPUtime=6.69 cores=0,2,4,6
/proc/3652/task/3711/stat : 3711 (java) S 3649 3652 3187 0 -1 1077944384 12294 12337 0 0 659 3 4 3 20 0 15 0 6605510 14405136384 1029577 18446744073709551615 4194304 4196468 140728185211408 140359580440944 140360106363522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3712] ppid=3649 vsize=14067516 CPUtime=6.8 cores=0,2,4,6
/proc/3652/task/3712/stat : 3712 (java) S 3649 3652 3187 0 -1 1077944384 14910 12337 0 0 670 3 4 3 20 0 15 0 6605510 14405136384 1029577 18446744073709551615 4194304 4196468 140728185211408 140359579388144 140360106363522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3713] ppid=3649 vsize=14067516 CPUtime=2.38 cores=0,2,4,6
/proc/3652/task/3713/stat : 3713 (java) S 3649 3652 3187 0 -1 1077944384 20786 12337 0 0 228 3 4 3 20 0 15 0 6605510 14405136384 1029577 18446744073709551615 4194304 4196468 140728185211408 140359578335344 140360106363522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3714] ppid=3649 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/3652/task/3714/stat : 3714 (java) S 3649 3652 3187 0 -1 1077944384 3 12337 0 0 0 0 4 3 20 0 15 0 6605510 14405136384 1029577 18446744073709551615 4194304 4196468 140728185211408 140359577282784 140360106362581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
[pid=3652/tid=3715] ppid=3649 vsize=14067516 CPUtime=0.19 cores=0,2,4,6
/proc/3652/task/3715/stat : 3715 (java) S 3649 3652 3187 0 -1 1077944384 409 12337 0 0 6 6 4 3 20 0 15 0 6605513 14405136384 1029577 18446744073709551615 4194304 4196468 140728185211408 140359576231088 140360106363522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21872640 140728185214926 140728185217711 140728185217711 140728185221071 0
Current children cumulated CPU time (s) 261.17
Current children cumulated vsize (KiB) 14067516

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 3652 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 240.055
CPU time (s): 261.244
CPU user time (s): 259.496
CPU system time (s): 1.7482
CPU usage (%): 108.827
Max. virtual memory (cumulated for all children) (KiB): 14067516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 259.496
system time used= 1.7482
maximum resident set size= 4215800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151478
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15232
involuntary context switches= 548

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.04898 second user time and 1.55375 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-02 05:55:08
IDJOB=4259525
IDBENCH=120625
IDSOLVER=2646
FILE ID=node135/4259525-1501646949
RUNJOBID= node135-1501639717-27966
PBS_JOBID= 
Free space on /tmp= 61812 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-wap01a.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259525-1501646949/watcher-4259525-1501646949 -o /tmp/evaluation-result-4259525-1501646949/solver-4259525-1501646949 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27966 --watchdog 300  bin/concrete HOME/instance-4259525-1501646949.xml

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

MD5SUM BENCH= 1f75bed7d5113015eb943bda0c7ab47c
RANDOM SEED=1374461826

node135.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.21
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.21
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.21
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.21
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:        28126016 kB
MemAvailable:   28396184 kB
Buffers:          121900 kB
Cached:           425584 kB
SwapCached:            0 kB
Active:          3968764 kB
Inactive:         251800 kB
Active(anon):    3673680 kB
Inactive(anon):     8592 kB
Active(file):     295084 kB
Inactive(file):   243208 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             28164 kB
Writeback:             0 kB
AnonPages:       3673468 kB
Mapped:            42356 kB
Shmem:              8960 kB
Slab:             121540 kB
SReclaimable:      95424 kB
SUnreclaim:        26116 kB
KernelStack:        3488 kB
PageTables:        12112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4356088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3457024 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= 61788 MiB
End job on node135 at 2017-08-02 05:59:08