Trace number 4297882

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
Choco-solver 4.0.7b par (e747e1e)SAT (TO)51074811 18442.7 2520.16

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-scen-07-opt_c18.xml
MD5SUMba4df16e86f19a26142e39b1a48414c8
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark51074811
Best CPU time to get the best result obtained on this benchmark18442.7
Satisfiable
(Un)Satisfiability was proved
Number of variables3065
Number of constraints2865
Number of domains7
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":2665},{"size":22,"count":8},{"size":36,"count":184},{"size":44,"count":208}]
Minimum variable degree2
Maximum variable degree62
Distribution of variable degrees[{"degree":2,"count":2665},{"degree":3,"count":15},{"degree":4,"count":8},{"degree":5,"count":34},{"degree":6,"count":11},{"degree":7,"count":34},{"degree":8,"count":5},{"degree":9,"count":45},{"degree":10,"count":18},{"degree":11,"count":11},{"degree":12,"count":7},{"degree":13,"count":30},{"degree":14,"count":10},{"degree":15,"count":31},{"degree":16,"count":5},{"degree":17,"count":26},{"degree":18,"count":5},{"degree":19,"count":13},{"degree":20,"count":13},{"degree":21,"count":11},{"degree":22,"count":7},{"degree":23,"count":7},{"degree":24,"count":7},{"degree":25,"count":5},{"degree":27,"count":9},{"degree":28,"count":8},{"degree":29,"count":2},{"degree":30,"count":6},{"degree":31,"count":1},{"degree":35,"count":3},{"degree":36,"count":3},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":42,"count":1},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":47,"count":1},{"degree":55,"count":1},{"degree":62,"count":1}]
Minimum constraint arity2
Maximum constraint arity3
Distribution of constraint arities[{"arity":2,"count":200},{"arity":3,"count":2665}]
Number of extensional constraints0
Number of intensional constraints2865
Distribution of constraint types[{"type":"intension","count":2865}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297882-1532705904.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4297882-1532705904.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.29	c parse instance...
54.59/23.02	c solve instance...
66.79/24.67	o 366360027 
69.81/25.71	o 366310025 
98.22/29.43	o 366309926 
101.48/32.31	o 366309826 
101.48/32.37	o 366269522 
102.31/32.94	o 366259521 
102.81/33.49	o 366249521 
103.44/34.04	o 366249520 
103.97/34.60	o 366239420 
104.60/35.14	o 366229420 
105.39/35.70	o 366229419 
105.39/35.72	o 366219419 
105.98/36.26	o 365349826 
106.11/36.32	o 365299824 
108.97/36.75	o 365299725 
109.14/36.80	o 365299625 
109.84/37.37	o 365259321 
110.47/37.92	o 365249320 
110.98/38.47	o 365239320 
111.64/39.02	o 365239319 
112.22/39.59	o 365229219 
112.84/40.14	o 365219219 
113.38/40.69	o 364349826 
113.50/40.75	o 364299824 
113.50/40.79	o 364299725 
113.66/40.81	o 364299625 
114.28/41.37	o 364259321 
114.92/41.93	o 364249320 
115.44/42.49	o 364239320 
116.10/43.04	o 364239319 
116.75/43.60	o 364229219 
117.28/44.14	o 364219219 
118.90/44.82	o 363369826 
118.90/44.88	o 363319824 
118.90/44.90	o 363319725 
119.07/44.91	o 363319625 
119.07/44.92	o 363279321 
119.67/45.47	o 363269320 
120.30/46.02	o 363259320 
120.82/46.57	o 363259319 
121.50/47.13	o 363249219 
122.03/47.69	o 363239219 
122.89/48.25	o 363229219 
123.42/48.80	o 363219219 
124.07/49.35	o 363219119 
124.74/49.91	o 363219118 
124.74/49.92	o 362369725 
124.74/49.98	o 362319723 
124.74/50.00	o 362319624 
124.96/50.01	o 362319524 
124.96/50.02	o 362279220 
125.54/50.58	o 362269219 
126.16/51.13	o 362259219 
126.67/51.68	o 362259218 
127.28/52.24	o 362249118 
127.79/52.79	o 362239118 
128.54/53.34	o 362229118 
129.05/53.89	o 362219118 
129.69/54.44	o 361369725 
129.69/54.50	o 361319723 
129.81/54.51	o 361319624 
129.81/54.52	o 361319524 
131.30/54.73	o 361279220 
131.94/55.28	o 361269219 
132.55/55.82	o 361259219 
133.08/56.37	o 361259218 
133.70/56.93	o 361249118 
133.70/56.95	o 361239118 
134.42/57.50	o 361229118 
134.97/58.05	o 361219118 
135.59/58.60	o 360369927 
135.59/58.66	o 360319925 
135.59/58.67	o 360319826 
135.59/58.68	o 360319726 
136.32/59.24	o 360279422 
136.87/59.78	o 360269421 
137.47/60.33	o 360259421 
137.99/60.88	o 360259420 
138.69/61.44	o 360249320 
139.42/62.01	o 360239320 
140.02/62.56	o 360229320 
140.65/63.11	o 360219320 
141.44/63.66	o 360219318 
142.07/64.23	o 360219218 
142.71/64.79	o 360219118 
143.34/65.35	o 360209118 
143.96/65.90	o 359339725 
143.96/65.96	o 359289723 
143.96/65.97	o 359289624 
143.96/65.99	o 359289524 
144.79/66.55	o 359249220 
145.35/67.10	o 359239219 
145.96/67.66	o 359229219 
146.58/68.21	o 359229218 
146.58/68.22	o 359219118 
147.13/68.76	o 359209118 
147.81/69.31	o 358359725 
147.81/69.37	o 358309723 
147.81/69.39	o 358309624 
148.90/69.52	o 358309524 
149.54/70.08	o 358269220 
150.17/70.62	o 358259219 
150.71/71.16	o 358249219 
151.50/71.71	o 358249218 
152.03/72.26	o 358239118 
152.64/72.81	o 358229118 
153.18/73.35	o 358219118 
154.40/73.90	o 358209118 
155.15/74.45	o 357359725 
158.27/77.21	o 357309723 
158.27/77.28	o 357309624 
158.47/77.32	o 357309524 
159.08/77.87	o 357269220 
159.70/78.41	o 357259219 
160.31/78.96	o 357249219 
160.95/79.50	o 357249218 
161.48/80.06	o 357239118 
162.16/80.60	o 357229118 
162.86/81.14	o 357219118 
163.42/81.69	o 357209118 
164.18/82.24	o 357209018 
164.76/82.79	o 357199018 
165.58/83.34	o 356369725 
165.58/83.40	o 356319723 
165.69/83.45	o 356319624 
165.86/83.52	o 356319524 
165.86/83.56	o 356279220 
166.48/84.10	o 356269219 
167.15/84.64	o 356259219 
167.68/85.19	o 356259218 
168.33/85.74	o 356249118 
168.93/86.28	o 356239118 
169.76/86.83	o 356229118 
170.28/87.37	o 356219118 
170.91/87.92	o 356219018 
171.46/88.47	o 356209018 
172.27/89.02	o 356199018 
172.89/89.57	o 356189020 
173.53/90.11	o 356189018 
174.05/90.67	o 355349627 
174.05/90.67	o 355299625 
174.20/90.73	o 355299526 
175.54/90.91	o 355299426 
175.54/90.94	o 355259122 
175.54/90.96	o 355249121 
175.54/90.98	o 355239121 
175.54/91.00	o 355239120 
176.36/91.56	o 355229020 
176.99/92.11	o 355219020 
177.62/92.66	o 355209020 
178.25/93.21	o 355199020 
178.78/93.75	o 355189020 
179.84/94.30	o 355188920 
180.35/94.86	o 355178920 
181.16/95.42	o 355178817 
181.82/95.98	o 355168817 
182.76/96.53	o 355158819 
183.28/97.08	o 355158817 
183.93/97.63	o 354319426 
183.93/97.69	o 354269424 
184.12/97.71	o 354269325 
184.12/97.72	o 354269225 
184.86/98.29	o 354228921 
185.48/98.83	o 354218920 
185.99/99.38	o 354208920 
186.73/99.93	o 354208919 
187.25/100.49	o 354198819 
187.88/101.03	o 354188819 
188.51/101.58	o 354178819 
189.24/102.13	o 354168819 
189.77/102.68	o 354158819 
190.70/103.23	o 354158817 
191.47/103.78	o 353319426 
191.60/103.84	o 353269424 
191.60/103.85	o 353269220 
192.88/104.43	o 353228921 
193.45/104.97	o 353218920 
194.07/105.52	o 353208920 
194.60/106.07	o 353208919 
195.21/106.63	o 353198819 
195.74/107.18	o 353188819 
199.38/109.87	o 353178819 
200.11/110.43	o 353168819 
200.69/110.97	o 353158819 
201.86/111.53	o 353158817 
203.46/112.22	o 352319426 
203.46/112.28	o 352269424 
203.63/112.30	o 352269325 
203.63/112.32	o 352269225 
204.23/112.89	o 352228921 
204.84/113.43	o 352218920 
205.45/113.99	o 352208920 
206.07/114.54	o 352208919 
206.59/115.10	o 352198819 
207.20/115.64	o 352188819 
208.01/116.19	o 352178819 
208.65/116.74	o 352168819 
208.65/116.75	o 352158819 
209.51/117.30	o 351329426 
209.62/117.35	o 351279424 
209.86/117.45	o 351279325 
209.86/117.47	o 351279225 
210.62/118.02	o 351238921 
211.27/118.57	o 351228920 
211.98/119.12	o 351218920 
212.51/119.67	o 351218919 
213.19/120.22	o 351208819 
213.70/120.77	o 351198819 
214.42/121.31	o 351188819 
214.96/121.86	o 351178819 
215.62/122.41	o 351168819 
216.90/122.96	o 351168817 
217.75/123.51	o 350329426 
217.75/123.57	o 350279424 
217.92/123.61	o 350279325 
217.92/123.62	o 350279225 
218.60/124.17	o 350238921 
219.36/124.72	o 350228920 
219.87/125.26	o 350218920 
220.56/125.81	o 350218919 
221.13/126.37	o 350208819 
221.74/126.92	o 350198819 
222.42/127.46	o 350188819 
223.15/128.01	o 350178819 
223.75/128.56	o 350168819 
224.70/129.11	o 349359427 
224.70/129.20	o 349309425 
224.86/129.25	o 349309326 
224.86/129.25	o 349309226 
225.67/129.81	o 349268922 
226.24/130.35	o 349258921 
226.95/130.90	o 349248921 
227.51/131.44	o 349248920 
228.03/132.00	o 349238820 
229.89/132.69	o 349228820 
230.56/133.24	o 349218820 
231.20/133.79	o 349208820 
231.82/134.33	o 349198820 
232.43/134.88	o 349188820 
233.23/135.42	o 349178820 
233.83/135.97	o 349168820 
234.78/136.51	o 349168817 
235.48/137.06	o 349158917 
236.12/137.61	o 349158817 
236.92/138.16	o 349148919 
237.58/138.70	o 349148819 
238.16/139.25	o 349148817 
239.15/139.80	o 348319426 
239.48/140.08	o 348269424 
239.64/140.17	o 348269325 
239.76/140.22	o 348269225 
240.36/140.78	o 348228921 
241.02/141.32	o 348218920 
241.59/141.87	o 348208920 
242.25/142.42	o 348208919 
242.81/142.99	o 348198819 
243.48/143.53	o 348188819 
244.07/144.07	o 348178919 
244.73/144.62	o 348178819 
245.30/145.17	o 348168819 
245.99/145.72	o 348158919 
246.57/146.27	o 348158819 
247.25/146.81	o 348148919 
247.82/147.36	o 348148819 
248.52/147.90	o 347279624 
249.14/148.43	o 347269424 
251.80/150.93	o 347269325 
252.03/151.01	o 347269225 
252.70/151.57	o 347228921 
253.46/152.11	o 347218920 
254.03/152.66	o 347208920 
254.67/153.20	o 347208919 
255.23/153.76	o 347198819 
255.94/154.30	o 347188819 
256.63/154.85	o 347178919 
257.26/155.39	o 347178819 
257.97/155.95	o 347168819 
258.49/156.50	o 347158919 
259.55/157.04	o 347158819 
260.14/157.59	o 347148919 
260.24/157.66	o 347148819 
261.44/158.23	o 347148817 
262.43/158.77	o 346319426 
262.59/158.84	o 346269424 
263.82/159.05	o 346269325 
264.04/159.15	o 346269225 
265.03/159.71	o 346228921 
265.57/160.25	o 346218920 
266.18/160.80	o 346208920 
266.78/161.34	o 346208919 
267.47/161.90	o 346198819 
268.45/162.44	o 346188819 
269.17/162.99	o 346178919 
269.85/163.54	o 346178819 
270.45/164.09	o 346168819 
271.08/164.64	o 346158919 
271.70/165.19	o 346158819 
272.37/165.73	o 346148919 
272.95/166.28	o 346148819 
274.02/166.83	o 346138819 
274.88/167.38	o 346138818 
275.54/167.92	o 346138718 
276.91/168.48	o 345299425 
277.05/168.55	o 345249423 
277.33/168.69	o 345249324 
277.48/168.75	o 345249224 
278.21/169.31	o 345208920 
278.78/169.85	o 345198919 
279.50/170.40	o 345188919 
280.09/170.95	o 345188918 
280.80/171.50	o 345178818 
281.39/172.05	o 345168818 
282.03/172.59	o 345158818 
282.66/173.14	o 345148818 
283.30/173.68	o 345138818 
285.30/174.24	o 344339626 
285.45/174.30	o 344289624 
285.45/174.35	o 344289525 
285.66/174.41	o 344289425 
285.66/174.49	o 344249121 
286.41/175.03	o 344239120 
288.30/175.74	o 344229120 
288.84/176.28	o 344229119 
289.00/176.32	o 344219019 
289.56/176.86	o 344209019 
290.26/177.41	o 344199119 
290.84/177.95	o 344199019 
291.58/178.51	o 344189019 
292.17/179.05	o 344179119 
292.87/179.60	o 344179019 
293.44/180.16	o 344169119 
294.14/180.70	o 344169019 
295.10/181.26	o 344159019 
296.47/181.81	o 344159018 
297.13/182.37	o 344158918 
298.67/182.92	o 343319625 
298.86/183.01	o 343269623 
299.07/183.15	o 343269524 
299.34/183.31	o 343269424 
300.10/183.87	o 343229120 
300.79/184.41	o 343219119 
301.47/184.96	o 343209119 
302.26/185.51	o 343209118 
302.91/186.06	o 343199018 
303.59/186.61	o 343189018 
304.31/187.15	o 343179018 
305.06/187.70	o 343169018 
305.76/188.25	o 343159018 
306.70/188.79	o 343159017 
307.92/189.34	o 343158818 
309.34/189.90	o 343158817 
310.47/190.47	o 342319524 
311.82/190.76	o 342269522 
311.98/190.84	o 342269423 
311.98/190.88	o 342269323 
312.82/191.44	o 342229019 
313.36/191.99	o 342219018 
314.02/192.54	o 342209018 
314.75/193.08	o 342209017 
315.54/193.64	o 342198917 
316.10/194.18	o 342188917 
316.91/194.74	o 342178917 
317.77/195.29	o 342168917 
318.46/195.84	o 342158917 
319.68/196.39	o 342158916 
320.48/196.93	o 342158816 
321.03/197.48	o 342148816 
321.95/198.03	o 342138916 
324.49/198.59	o 342138819 
325.29/199.14	o 342128819 
327.66/199.71	o 341309627 
327.91/199.81	o 341259625 
327.91/199.86	o 341259526 
327.91/199.89	o 341259426 
329.12/200.44	o 341219122 
329.70/200.99	o 341209121 
330.38/201.54	o 341199121 
330.96/202.08	o 341199120 
331.78/202.64	o 341189020 
332.49/203.18	o 341179020 
333.23/203.73	o 341169020 
333.82/204.28	o 341159020 
334.96/204.83	o 341149020 
340.88/205.95	o 340329528 
341.07/206.02	o 340279526 
341.07/206.07	o 340279427 
341.33/206.13	o 340279327 
341.96/206.68	o 340239023 
344.13/207.39	o 340229022 
344.86/207.93	o 340219022 
344.86/207.99	o 340219021 
345.59/208.54	o 340208921 
346.44/209.08	o 340198921 
347.26/209.63	o 340188921 
347.86/210.18	o 340178921 
348.55/210.72	o 340168921 
349.72/211.27	o 340168917 
350.52/211.82	o 340158919 
351.07/212.37	o 340148919 
352.39/212.93	o 339349526 
352.57/213.01	o 339299524 
352.57/213.06	o 339299425 
352.79/213.11	o 339299325 
353.70/213.66	o 339259021 
353.84/213.70	o 339249020 
354.39/214.25	o 339239020 
354.93/214.79	o 339239019 
355.97/215.35	o 339228919 
356.57/215.89	o 339218919 
357.29/216.44	o 339209019 
357.86/216.98	o 339208919 
358.71/217.54	o 339198919 
359.44/218.09	o 339189019 
360.14/218.63	o 339188919 
360.76/219.19	o 339179019 
361.46/219.74	o 339178919 
362.51/220.30	o 339168919 
363.32/220.84	o 339168918 
363.96/221.40	o 339168818 
364.86/221.95	o 338329525 
365.04/222.08	o 338279523 
365.50/222.39	o 338279424 
365.61/222.45	o 338279324 
366.29/223.00	o 338239020 
367.07/223.55	o 338229019 
367.74/224.10	o 338219019 
368.39/224.64	o 338219018 
368.69/224.96	o 338208918 
369.39/225.51	o 338198918 
370.17/226.05	o 338188918 
371.00/226.60	o 338178918 
372.68/227.29	o 338168918 
373.78/227.85	o 338158918 
374.55/228.40	o 338148918 
375.60/228.95	o 338148818 
377.29/229.74	o 337309525 
377.74/230.06	o 337259523 
378.06/230.21	o 337259424 
378.22/230.33	o 337259324 
379.11/230.90	o 337219020 
380.05/231.45	o 337209019 
380.64/232.00	o 337199019 
381.52/232.55	o 337199018 
382.29/233.11	o 337188918 
383.25/233.66	o 337178918 
384.03/234.21	o 337168918 
384.79/234.76	o 337158918 
385.60/235.31	o 337148918 
389.04/235.88	o 337148818 
390.11/236.43	o 336309525 
390.53/236.76	o 336259523 
390.70/236.86	o 336259424 
390.85/236.99	o 336259324 
391.68/237.55	o 336219020 
392.33/238.10	o 336209019 
393.30/238.65	o 336199019 
393.91/239.20	o 336199018 
394.75/239.76	o 336188918 
395.55/240.30	o 336178918 
396.60/240.85	o 336168918 
397.29/241.40	o 336158918 
397.94/241.95	o 336148918 
398.97/242.50	o 336148818 
400.20/243.05	o 336138818 
400.94/243.60	o 336138817 
402.05/244.16	o 336138718 
403.05/244.71	o 335299425 
403.55/245.03	o 335249423 
403.55/245.09	o 335249324 
404.01/245.21	o 335249224 
404.82/245.77	o 335208920 
405.54/246.32	o 335198919 
406.26/246.87	o 335188919 
407.02/247.42	o 335188918 
407.91/247.98	o 335178818 
410.09/248.71	o 335168818 
410.77/249.25	o 335158818 
411.51/249.80	o 335148818 
411.51/249.84	o 335138818 
412.17/250.39	o 335138817 
416.12/250.96	o 335138816 
416.87/251.51	o 335138815 
419.80/252.07	o 335138814 
478.89/259.77	o 335138717 
479.58/260.32	o 335138716 
480.26/260.87	o 335128616 
480.96/261.41	o 335118616 
481.81/261.96	o 335118517 
482.47/262.51	o 335118515 
483.13/263.06	o 335118514 
485.55/263.63	o 335118513 
487.15/264.18	o 335108617 
490.50/264.75	o 334259224 
490.72/264.83	o 334209222 
491.23/265.14	o 334209123 
491.38/265.20	o 334209023 
492.04/265.76	o 334168719 
492.86/266.31	o 334158718 
493.38/266.86	o 334148718 
494.24/267.41	o 334148717 
496.41/268.16	o 334138617 
497.07/268.71	o 334128617 
497.78/269.26	o 334118617 
726.50/298.11	o 119057626 
727.05/298.34	o 119047627 
1977.50/456.33	o 51074811 
18441.78/2520.09	s SATISFIABLE
18441.78/2520.09	v <instantiation>
18441.78/2520.09	v 	<list>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] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[410] za1[411] za1[412] za1[413] za1[414] za1[415] za1[416] za1[417] za1[418] za1[419] za1[420] za1[421] za1[422] za1[423] za1[424] za1[425] za1[426] za1[427] za1[428] za1[429] za1[430] za1[431] za1[432] za1[433] za1[434] za1[435] za1[436] za1[437] za1[438] za1[439] za1[440] za1[441] za1[442] za1[443] za1[444] za1[445] za1[446] za1[447] za1[448] za1[449] za1[450] za1[451] za1[452] za1[453] za1[454] za1[455] za1[456] za1[457] za1[458] za1[459] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za2[329] za2[330] za2[331] za2[332] za2[333] za2[334] za2[335] za2[336] za2[337] za2[338] za2[339] za2[340] za2[341] za2[342] za2[343] za2[344] za2[345] za2[346] za2[347] za2[348] za2[349] za2[350] za2[351] za2[352] za2[353] za2[354] za2[355] za2[356] za2[357] za2[358] za2[359] za2[360] za2[361] za2[362] za2[363] za2[364] za2[365] za2[366] za2[367] za2[368] za2[369] za2[370] za2[371] za2[372] za2[373] za2[374] za2[375] za2[376] za2[377] za2[378] za2[379] za2[380] za2[381] za2[382] za2[383] za2[384] za2[385] za2[386] za2[387] za2[388] za2[389] za2[390] za2[391] za2[392] za2[393] za2[394] za2[395] za2[396] za2[397] za2[398] za2[399] za2[400] za2[401] za2[402] za2[403] za2[404] za2[405] za2[406] za2[407] za2[408] za2[409] za2[410] za2[411] za2[412] za2[413] za2[414] za2[415] za2[416] za2[417] za2[418] za2[419] za2[420] za2[421] za2[422] za2[423] za2[424] za2[425] za2[426] za2[427] za2[428] za2[429] za2[430] za2[431] za2[432] za2[433] za2[434] za2[435] za2[436] za2[437] za2[438] za2[439] za2[440] za2[441] za2[442] za2[443] za2[444] za2[445] za2[446] za2[447] za2[448] za2[449] za2[450] za2[451] za2[452] za2[453] za2[454] za2[455] za2[456] za2[457] za2[458] za2[459] za2[460] za2[461] za2[462] za2[463] za2[464] za2[465] za2[466] za2[467] za2[468] za2[469] za2[470] za2[471] za2[472] za2[473] za2[474] za2[475] za2[476] za2[477] za2[478] za2[479] za2[480] za2[481] za2[482] za2[483] za2[484] za2[485] za2[486] za2[487] za2[488] za2[489] za2[490] za2[491] za2[492] za2[493] za2[494] za2[495] za2[496] za2[497] za2[498] za2[499] za2[500] za2[501] za2[502] za2[503] za2[504] za2[505] za2[506] za2[507] za2[508] za2[509] za2[510] za2[511] za2[512] za2[513] za2[514] za2[515] za2[516] za2[517] za2[518] za2[519] za2[520] za2[521] za2[522] za2[523] za2[524] za2[525] za2[526] za2[527] za2[528] za2[529] za2[530] za2[531] za2[532] za2[533] za2[534] za2[535] za2[536] za2[537] za2[538] za2[539] za2[540] za2[541] za2[542] za2[543] za2[544] za2[545] za2[546] za2[547] za2[548] za2[549] za2[550] za2[551] za2[552] za2[553] za2[554] za2[555] za2[556] za2[557] za2[558] za2[559] za2[560] za2[561] za2[562] za2[563] za2[564] za2[565] za2[566] za2[567] za2[568] za2[569] za2[570] za2[571] za2[572] za2[573] za2[574] za2[575] za2[576] za2[577] za2[578] za2[579] za2[580] za2[581] za2[582] za2[583] za2[584] za2[585] za2[586] za2[587] za2[588] za2[589] za2[590] za2[591] za2[592] za2[593] za2[594] za2[595] za2[596] za2[597] za2[598] za2[599] za2[600] za2[601] za2[602] za2[603] za2[604] za2[605] za2[606] za2[607] za2[608] za2[609] za2[610] za2[611] za2[612] za2[613] za2[614] za2[615] za2[616] za2[617] za2[618] za2[619] za2[620] za2[621] za2[622] za2[623] za2[624] za2[625] za2[626] za2[627] za2[628] za2[629] za2[630] za2[631] za2[632] za2[633] za2[634] za2[635] za2[636] za2[637] za2[638] za2[639] za2[640] za2[641] za2[642] za2[643] za2[644] za2[645] za2[646] za2[647] za2[648] za2[649] za2[650] za2[651] za2[652] za2[653] za2[654] za2[655] za2[656] za2[657] za2[658] za2[659] za2[660] za2[661] za2[662] za2[663] za2[664] za2[665] za2[666] za2[667] za2[668] za2[669] za2[670] za2[671] za2[672] za2[673] za2[674] za2[675] za2[676] za2[677] za2[678] za2[679] za2[680] za2[681] za2[682] za2[683] za2[684] za2[685] za2[686] za2[687] za2[688] za2[689] za2[690] za2[691] za2[692] za2[693] za2[694] za2[695] za2[696] za2[697] za2[698] za2[699] za2[700] za2[701] za2[702] za2[703] za2[704] za2[705] za2[706] za2[707] za2[708] za2[709] za2[710] za2[711] za2[712] za2[713] za2[714] za2[715] za2[716] za2[717] za2[718] za2[719] za2[720] za2[721] za2[722] za2[723] za2[724] za2[725] za2[726] za2[727] za2[728] za2[729] za2[730] za2[731] za2[732] za2[733] za2[734] za2[735] za2[736] za2[737] za2[738] za2[739] za2[740] za2[741] za2[742] za2[743] za2[744] za2[745] za2[746] za2[747] za2[748] za2[749] za2[750] za2[751] za2[752] za2[753] za2[754] za2[755] za2[756] za2[757] za2[758] za2[759] za2[760] za2[761] za2[762] za2[763] za2[764] za2[765] za2[766] za2[767] za2[768] za2[769] za2[770] za2[771] za2[772] za2[773] za2[774] za2[775] za2[776] za2[777] za2[778] za2[779] za2[780] za2[781] za2[782] za2[783] za2[784] za2[785] za2[786] za2[787] za2[788] za2[789] za2[790] za2[791] za2[792] za2[793] za2[794] za2[795] za2[796] za2[797] za2[798] za2[799] za2[800] za2[801] za2[802] za2[803] za2[804] za2[805] za2[806] za2[807] za2[808] za2[809] za2[810] za2[811] za2[812] za2[813] za2[814] za2[815] za2[816] za2[817] za2[818] za2[819] za2[820] za2[821] za2[822] za2[823] za2[824] za2[825] za2[826] za2[827] za2[828] za2[829] za2[830] za2[831] za2[832] za2[833] za2[834] za2[835] za2[836] za2[837] za2[838] za2[839] za2[840] za2[841] za2[842] za2[843] za2[844] za2[845] za2[846] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[290] za3[291] za3[292] za3[293] za3[294] za3[295] za3[296] za3[297] za3[298] za3[299] za3[300] za3[301] za3[302] za3[303] za3[304] za3[305] za3[306] za3[307] za3[308] za3[309] za3[310] za3[311] za3[312] za3[313] za3[314] za3[315] za3[316] za3[317] za3[318] za3[319] za3[320] za3[321] za3[322] za3[323] za3[324] za3[325] za3[326] za3[327] za3[328] za3[329] za3[330] za3[331] za3[332] za3[333] za3[334] za3[335] za3[336] za3[337] za3[338] za3[339] za3[340] za3[341] za3[342] za3[343] za3[344] za3[345] za3[346] za3[347] za3[348] za3[349] za3[350] za3[351] za3[352] za3[353] za3[354] za3[355] za3[356] za3[357] za3[358] za3[359] za3[360] za3[361] za3[362] za3[363] za3[364] za3[365] za3[366] za3[367] za3[368] za3[369] za3[370] za3[371] za3[372] za3[373] za3[374] za3[375] za3[376] za3[377] za3[378] za3[379] za3[380] za3[381] za3[382] za3[383] za3[384] za3[385] za3[386] za3[387] za3[388] za3[389] za3[390] za3[391] za3[392] za3[393] za3[394] za3[395] za3[396] za3[397] za3[398] za3[399] za3[400] za3[401] za3[402] za3[403] za3[404] za3[405] za3[406] za3[407] za3[408] za3[409] za3[410] za3[411] za3[412] za3[413] za3[414] za3[415] za3[416] za3[417] za3[418] za3[419] za3[420] za3[421] za3[422] za3[423] za3[424] za3[425] za3[426] za3[427] za3[428] za3[429] za3[430] za3[431] za3[432] za3[433] za3[434] za3[435] za3[436] za3[437] za3[438] za3[439] za3[440] za3[441] za3[442] za3[443] za3[444] za3[445] za3[446] za3[447] za3[448] za3[449] za3[450] za3[451] za3[452] za3[453] za3[454] za3[455] za3[456] za3[457] za3[458] za3[459] za3[460] za3[461] za3[462] za3[463] za3[464] za3[465] za3[466] za3[467] za3[468] za3[469] za3[470] za3[471] za3[472] za3[473] za3[474] za3[475] za3[476] za3[477] za3[478] za3[479] za3[480] za3[481] za3[482] za3[483] za3[484] za3[485] za3[486] za3[487] za3[488] za3[489] za3[490] za3[491] za3[492] za3[493] za3[494] za3[495] za3[496] za3[497] za3[498] za3[499] za3[500] za3[501] za3[502] za3[503] za3[504] za3[505] za3[506] za3[507] za3[508] za3[509] za3[510] za3[511] za3[512] za3[513] za3[514] za3[515] za3[516] za3[517] za3[518] za3[519] za3[520] za3[521] za3[522] za3[523] za3[524] za3[525] za3[526] za3[527] za3[528] za3[529] za3[530] za3[531] za3[532] za3[533] za3[534] za3[535] za3[536] za3[537] za3[538] za3[539] za3[540] za3[541] za3[542] za3[543] za3[544] za3[545] za3[546] za3[547] za3[548] za3[549] za3[550] za3[551] za3[552] za3[553] za3[554] za3[555] za3[556] za3[557] za3[558] za3[559] za3[560] za3[561] za3[562] za3[563] za3[564] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[380] za4[381] za4[382] za4[383] za4[384] za4[385] za4[386] za4[387] za4[388] za4[389] za4[390] za4[391] za4[392] za4[393] za4[394] za4[395] za4[396] za4[397] za4[398] za4[399] za4[400] za4[401] za4[402] za4[403] za4[404] za4[405] za4[406] za4[407] za4[408] za4[409] za4[410] za4[411] za4[412] za4[413] za4[414] za4[415] za4[416] za4[417] za4[418] za4[419] za4[420] za4[421] za4[422] za4[423] za4[424] za4[425] za4[426] za4[427] za4[428] za4[429] za4[430] za4[431] za4[432] za4[433] za4[434] za4[435] za4[436] za4[437] za4[438] za4[439] za4[440] za4[441] za4[442] za4[443] za4[444] za4[445] za4[446] za4[447] za4[448] za4[449] za4[450] za4[451] za4[452] za4[453] za4[454] za4[455] za4[456] za4[457] za4[458] za4[459] za4[460] za4[461] za4[462] za4[463] za4[464] za4[465] za4[466] za4[467] za4[468] za4[469] za4[470] za4[471] za4[472] za4[473] za4[474] za4[475] za4[476] za4[477] za4[478] za4[479] za4[480] za4[481] za4[482] za4[483] za4[484] za4[485] za4[486] za4[487] za4[488] za4[489] za4[490] za4[491] za4[492] za4[493] za4[494] za4[495] za4[496] za4[497] za4[498] za4[499] za4[500] za4[501] za4[502] za4[503] za4[504] za4[505] za4[506] za4[507] za4[508] za4[509] za4[510] za4[511] za4[512] za4[513] za4[514] za4[515] za4[516] za4[517] za4[518] za4[519] za4[520] za4[521] za4[522] za4[523] za4[524] za4[525] za4[526] za4[527] za4[528] za4[529] za4[530] za4[531] za4[532] za4[533] za4[534] za4[535] za4[536] za4[537] za4[538] za4[539] za4[540] za4[541] za4[542] za4[543] za4[544] za4[545] za4[546] za4[547] za4[548] za4[549] za4[550] za4[551] za4[552] za4[553] za4[554] za4[555] za4[556] za4[557] za4[558] za4[559] za4[560] za4[561] za4[562] za4[563] za4[564] za4[565] za4[566] za4[567] za4[568] za4[569] za4[570] za4[571] za4[572] za4[573] za4[574] za4[575] za4[576] za4[577] za4[578] za4[579] za4[580] za4[581] za4[582] za4[583] za4[584] za4[585] za4[586] za4[587] za4[588] za4[589] za4[590] za4[591] za4[592] za4[593] za4[594] za4[595] za4[596] za4[597] za4[598] za4[599] za4[600] za4[601] za4[602] za4[603] za4[604] za4[605] za4[606] za4[607] za4[608] za4[609] za4[610] za4[611] za4[612] za4[613] za4[614] za4[615] za4[616] za4[617] za4[618] za4[619] za4[620] za4[621] za4[622] za4[623] za4[624] za4[625] za4[626] za4[627] za4[628] za4[629] za4[630] za4[631] za4[632] za4[633] za4[634] za4[635] za4[636] za4[637] za4[638] za4[639] za4[640] za4[641] za4[642] za4[643] za4[644] za4[645] za4[646] za4[647] za4[648] za4[649] za4[650] za4[651] za4[652] za4[653] za4[654] za4[655] za4[656] za4[657] za4[658] za4[659] za4[660] za4[661] za4[662] za4[663] za4[664] za4[665] za4[666] za4[667] za4[668] za4[669] za4[670] za4[671] za4[672] za4[673] za4[674] za4[675] za4[676] za4[677] za4[678] za4[679] za4[680] za4[681] za4[682] za4[683] za4[684] za4[685] za4[686] za4[687] za4[688] za4[689] za4[690] za4[691] za4[692] za4[693] za4[694] za4[695] za4[696] za4[697] za4[698] za4[699] za4[700] za4[701] za4[702] za4[703] za4[704] za4[705] za4[706] za4[707] za4[708] za4[709] za4[710] za4[711] za4[712] za4[713] za4[714] za4[715] za4[716] za4[717] za4[718] za4[719] za4[720] za4[721] za4[722] za4[723] za4[724] za4[725] za4[726] za4[727] za4[728] za4[729] za4[730] za4[731] za4[732] za4[733] za4[734] za4[735] za4[736] za4[737] za4[738] za4[739] za4[740] za4[741] za4[742] za4[743] za4[744] za4[745] za4[746] za4[747] za4[748] za4[749] za4[750] za4[751] za4[752] za4[753] za4[754] za4[755] za4[756] za4[757] za4[758] za4[759] za4[760] za4[761] za4[762] za4[763] za4[764] za4[765] za4[766] za4[767] za4[768] za4[769] za4[770] za4[771] za4[772] za4[773] za4[774] za4[775] za4[776] za4[777] za4[778] za4[779] za4[780] za4[781] za4[782] za4[783] za4[784] za4[785] za4[786] za4[787] za4[788] za4[789] za4[790] za4[791] za4[792] </list>
18441.78/2520.09	v 	<values>554 792 268 30 268 30 526 764 16 254 470 708 470 708 512 750 254 16 498 736 16 254 470 708 16 254 254 16 428 666 254 16 16 254 16 254 750 512 778 540 666 428 58 296 16 254 456 694 526 764 30 268 16 254 442 680 156 394 414 652 498 736 694 456 254 16 414 652 254 16 442 680 282 44 366 128 540 778 16 254 114 352 16 254 512 750 142 380 72 310 30 268 100 338 128 366 526 764 254 16 86 324 414 652 498 736 442 680 16 254 540 778 470 708 414 652 792 554 254 16 16 254 778 540 86 324 414 652 540 778 456 694 694 456 554 792 652 414 30 268 254 16 792 554 16 254 142 380 526 764 114 352 30 268 30 268 470 708 268 30 428 666 750 512 456 694 254 16 540 778 30 268 764 526 114 352 484 722 470 708 428 666 554 792 380 142 554 792 540 778 100 338 428 666 428 666 736 498 442 680 30 268 722 484 666 428 526 764 268 30 792 554 414 652 540 778 666 428 268 30 694 456 442 680 456 694 100 338 428 666 722 484 470 708 30 268 58 296 142 380 100 338 72 310 470 708 498 736 366 128 512 750 428 666 666 428 30 268 428 666 30 268 428 666 30 268 30 268 30 268 778 540 128 366 498 736 338 100 498 736 86 324 484 722 268 30 470 708 428 666 86 324 142 380 16 254 428 666 414 652 16 254 442 680 16 254 16 254 792 554 792 554 100 338 554 792 414 652 722 484 16 254 30 268 764 526 512 750 86 324 100 338 456 694 30 268 16 254 16 254 142 380 72 310 86 324 268 30 16 254 310 72 380 142 750 512 442 680 100 338 30 268 380 142 764 526 282 44 30 268 540 778 512 750 428 666 30 268 540 778 764 526 366 128 114 352 30 268 526 764 268 30 114 352 428 666 16 254 792 554 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000000 0 0 0 1000000 1000000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000000 0 0 0 0 1000000 0 0 0 0 0 0 0 0 0 1000000 0 0 0 0 0 0 1000000 0 0 0 0 1000000 0 0 0 1000000 0 0 0 0 0 1000000 0 0 0 1000000 0 0 0 0 0 1000000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000000 0 1000000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000000 0 0 0 0 1000000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000000 0 0 0 0 1000000 0 0 1000000 0 0 0 1000000 0 0 0 0 0 0 0 0 0 0 0 0 1000000 1000000 0 0 0 0 0 0 0 0 0 0 0 0 1000000 1000000 0 0 0 0 1000000 0 1000000 1000000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000000 0 0 0 0 0 0 0 0 1000000 0 0 0 1000000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000000 0 0 0 0 0 0 0 0 1000000 1000000 1000000 1000000 0 0 0 0 0 0 0 0 1000000 0 0 0 0 0 1000000 0 0 0 0 1000000 0 1000000 1000000 0 0 0 0 0 1000000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000000 1000000 0 0 1000000 0 1000000 1000000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000000 0 1000000 0 0 0 0 0 0 10000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10000 10000 0 10000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10000 10000 0 10000 0 10000 0 0 0 0 0 0 0 0 0 0 10000 0 0 0 0 0 0 0 0 10000 0 0 0 0 0 10000 0 0 0 10000 0 0 10000 0 0 10000 0 0 10000 0 0 0 0 0 0 10000 0 10000 0 10000 0 10000 0 10000 0 0 0 0 10000 0 0 10000 0 10000 0 0 10000 0 0 0 10000 0 0 10000 0 10000 0 0 0 10000 0 0 10000 0 10000 10000 0 0 10000 10000 0 0 0 10000 0 10000 10000 10000 0 10000 0 0 0 0 0 0 0 0 0 0 10000 0 0 0 0 10000 10000 10000 10000 0 10000 0 0 0 0 10000 0 0 0 0 10000 0 0 0 0 0 0 0 10000 10000 0 0 10000 0 0 0 0 10000 0 0 0 10000 0 10000 0 0 0 10000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10000 10000 0 0 0 0 10000 10000 0 0 0 10000 0 0 0 10000 10000 10000 0 10000 10000 0 0 10000 0 10000 10000 0 0 10000 0 0 0 0 0 10000 10000 0 10000 10000 0 0 0 0 10000 0 0 10000 0 0 0 0 10000 0 10000 0 10000 0 0 0 10000 0 0 10000 0 0 0 0 10000 0 0 10000 0 10000 0 10000 0 0 10000 0 0 0 0 10000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10000 10000 0 0 0 10000 10000 0 0 0 0 0 0 0 0 0 0 10000 10000 0 10000 0 0 0 0 0 0 0 0 10000 0 0 0 0 0 0 0 0 10000 0 0 0 10000 10000 0 10000 0 0 10000 10000 0 0 0 0 0 0 0 10000 0 0 0 0 10000 0 0 0 0 0 0 0 0 10000 0 0 0 0 0 0 0 10000 0 0 0 0 10000 0 0 0 0 0 0 10000 0 0 0 0 0 10000 0 10000 0 0 0 10000 0 0 0 10000 10000 0 0 0 0 0 0 0 0 10000 10000 0 0 0 0 0 0 10000 0 0 10000 0 0 0 0 0 10000 0 0 0 0 0 0 10000 10000 0 0 0 0 0 10000 0 0 10000 0 0 10000 0 0 10000 0 0 10000 0 10000 0 0 0 10000 0 0 0 0 0 0 0 10000 10000 10000 0 10000 0 0 0 0 0 0 10000 0 0 0 0 0 0 0 0 10000 10000 10000 0 0 0 10000 0 0 0 0 0 10000 0 0 0 0 10000 0 0 0 10000 10000 0 0 10000 0 0 0 0 0 0 10000 10000 0 0 10000 10000 0 0 0 0 0 10000 0 0 0 0 0 10000 0 0 0 10000 0 0 0 10000 0 10000 10000 0 0 0 0 10000 0 0 0 0 0 10000 0 0 10000 0 0 0 10000 0 0 0 0 0 0 0 0 0 0 10000 0 0 0 10000 0 0 10000 0 0 0 0 0 0 0 0 0 0 10000 10000 10000 0 10000 0 10000 0 10000 0 0 10000 0 0 10000 0 0 10000 0 0 0 0 0 0 0 0 10000 0 0 0 0 0 0 0 10000 0 0 0 0 0 0 0 0 0 0 0 0 0 10000 0 0 10000 0 10000 0 0 10000 0 0 10000 0 0 0 0 0 0 0 0 0 0 0 0 0 10000 10000 0 0 10000 10000 0 10000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10000 0 0 0 10000 10000 10000 10000 0 0 0 10000 0 0 10000 0 0 10000 0 10000 10000 10000 10000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10000 10000 10000 10000 0 0 0 0 10000 10000 0 0 0 0 0 0 0 0 10000 0 0 0 0 10000 0 10000 0 0 0 10000 0 10000 0 0 0 0 0 0 0 0 10000 10000 10000 0 0 0 0 0 10000 0 0 0 10000 0 0 10000 10000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10000 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 100 100 0 0 100 0 100 0 0 0 100 0 0 100 0 0 0 0 100 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 100 0 0 0 0 100 0 0 100 0 100 0 100 0 0 100 0 100 100 100 0 0 0 0 0 0 0 0 0 100 100 0 100 0 0 0 100 100 100 100 100 0 0 100 100 0 0 0 0 0 0 100 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 100 100 0 0 100 0 0 100 0 0 0 0 0 100 0 100 100 100 100 0 0 100 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 100 0 100 0 100 100 0 0 0 0 100 0 100 100 100 100 0 0 0 0 0 0 0 100 100 0 100 0 100 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 100 100 0 0 100 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 100 0 0 0 0 0 100 100 0 0 100 0 100 0 0 0 0 0 100 0 0 0 0 0 100 100 0 100 100 0 0 0 100 0 0 0 0 100 100 0 100 100 0 0 0 0 0 100 100 0 100 100 0 0 100 0 0 0 0 100 100 100 0 0 100 100 0 0 0 0 100 0 0 0 0 0 0 100 0 0 100 100 0 0 100 100 0 0 0 0 0 0 0 100 100 100 0 0 0 0 0 100 100 0 0 0 100 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 100 100 0 0 100 100 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 100 0 100 100 100 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 100 0 0 0 0 100 0 0 0 0 100 100 0 1 1 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 1 1 1 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 1 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 1 1 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 </values>
18441.78/2520.09	v </instantiation>
18441.78/2520.09	c Unexpected resolution interruption!

Verifier Data 

OK	51074811

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (12744 MiB free)
  memory of node 1: 16384 MiB (14745 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297882-1532705904/watcher-4297882-1532705904 -o /tmp/evaluation-result-4297882-1532705904/solver-4297882-1532705904 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1532703378-22407 --watchdog 2580 HOME/xcsp3-exec -seed 985654225 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297882-1532705904.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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

solver pid=23428, runsolver pid=23425

[startup+0.100114 s]*
/proc/loadavg: 7.63 8.18 8.30 2/199 23449
/proc/meminfo: memFree=28132332/32770624 swapFree=67108792/67108860
[pid=23428] ppid=23425 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/23428/stat : 23428 (xcsp3-exec) S 23425 23428 22380 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88153698 115843072 363 33554432000 4194304 5098028 140726748146960 140726748145064 140609405538940 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7659520 140726748152886 140726748153088 140726748153088 140726748155850 0
/proc/23428/statm: 28282 363 305 221 0 87 0
[pid=23430] ppid=23428 vsize=26104152 memory=27912 CPUtime=0.12 cores=0-7
/proc/23430/stat : 23430 (java) S 23428 23428 22380 0 -1 1077944320 5397 0 0 0 11 1 0 0 20 0 20 0 88153699 26730651648 6978 33554432000 4194304 4196468 140737369745600 140737369728144 140385378930423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
/proc/23430/statm: 6526038 6978 3001 1 0 6488315 0
[pid=23430/tid=23431] ppid=23428 vsize=26104152 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/23430/task/23431/stat : 23431 (java) R 23428 23428 22380 0 -1 4202560 3410 0 0 0 8 0 0 0 20 0 20 0 88153699 26730651648 6978 33554432000 4194304 4196468 140737369745600 140385383156960 140384982560224 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23432] ppid=23428 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/23430/task/23432/stat : 23432 (java) S 23428 23428 22380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88153700 26730651648 6978 33554432000 4194304 4196468 140737369745600 140384937204112 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23433] ppid=23428 vsize=26104152 memory=140236997854848 CPUtime=0 cores=0-7
/proc/23430/task/23433/stat : 23433 (java) S 23428 23428 22380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88153700 26730651648 6978 33554432000 4194304 4196468 140737369745600 140384936151312 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23434] ppid=23428 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23430/task/23434/stat : 23434 (java) S 23428 23428 22380 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88153700 26730651648 6978 33554432000 4194304 4196468 140737369745600 140384935099024 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23435] ppid=23428 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23430/task/23435/stat : 23435 (java) S 23428 23428 22380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88153700 26730651648 6978 33554432000 4194304 4196468 140737369745600 140384934046224 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23436] ppid=23428 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23430/task/23436/stat : 23436 (java) S 23428 23428 22380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88153700 26730651648 6978 33554432000 4194304 4196468 140737369745600 140384932993936 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23437] ppid=23428 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/23430/task/23437/stat : 23437 (java) S 23428 23428 22380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88153700 26730651648 6978 33554432000 4194304 4196468 140737369745600 140384931941136 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23438] ppid=23428 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23430/task/23438/stat : 23438 (java) S 23428 23428 22380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88153700 26730651648 6978 33554432000 4194304 4196468 140737369745600 140384930888848 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23439] ppid=23428 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23430/task/23439/stat : 23439 (java) S 23428 23428 22380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88153700 26730651648 6978 33554432000 4194304 4196468 140737369745600 140384929836048 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23440] ppid=23428 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23430/task/23440/stat : 23440 (java) S 23428 23428 22380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88153701 26730651648 6978 33554432000 4194304 4196468 140737369745600 140383785482352 140385378941570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23441] ppid=23428 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23430/task/23441/stat : 23441 (java) S 23428 23428 22380 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88153702 26730651648 6978 33554432000 4194304 4196468 140737369745600 140383784428320 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23442] ppid=23428 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23430/task/23442/stat : 23442 (java) S 23428 23428 22380 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88153702 26730651648 6978 33554432000 4194304 4196468 140737369745600 140383783375984 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23443] ppid=23428 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23430/task/23443/stat : 23443 (java) S 23428 23428 22380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88153704 26730651648 6978 33554432000 4194304 4196468 140737369745600 140383782324304 140385378949019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23444] ppid=23428 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23430/task/23444/stat : 23444 (java) S 23428 23428 22380 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 88153704 26730651648 6978 33554432000 4194304 4196468 140737369745600 140383781272176 140385378941570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23445] ppid=23428 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23430/task/23445/stat : 23445 (java) S 23428 23428 22380 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88153704 26730651648 6978 33554432000 4194304 4196468 140737369745600 140383780219376 140385378941570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23446] ppid=23428 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23430/task/23446/stat : 23446 (java) S 23428 23428 22380 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 88153704 26730651648 6978 33554432000 4194304 4196468 140737369745600 140383779167088 140385378941570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23447] ppid=23428 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/23430/task/23447/stat : 23447 (java) R 23428 23428 22380 0 -1 4202560 256 0 0 0 1 0 0 0 20 0 20 0 88153704 26730651648 6978 33554432000 4194304 4196468 140737369745600 140383778114288 140385357475235 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23448] ppid=23428 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23430/task/23448/stat : 23448 (java) S 23428 23428 22380 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88153705 26730651648 6978 33554432000 4194304 4196468 140737369745600 140383777061216 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23449] ppid=23428 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/23430/task/23449/stat : 23449 (java) S 23428 23428 22380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88153705 26730651648 6978 33554432000 4194304 4196468 140737369745600 140383776008496 140385378941570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 29364 KiB

[startup+0.209871 s]*
/proc/loadavg: 7.63 8.18 8.30 3/199 23449
/proc/meminfo: memFree=28112440/32770624 swapFree=67108792/67108860
[pid=23428] ppid=23425 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/23428/stat : 23428 (xcsp3-exec) S 23425 23428 22380 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88153698 115843072 363 33554432000 4194304 5098028 140726748146960 140726748145064 140609405538940 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7659520 140726748152886 140726748153088 140726748153088 140726748155850 0
/proc/23428/statm: 28282 363 305 221 0 87 0
[pid=23430] ppid=23428 vsize=26104152 memory=40008 CPUtime=0.33 cores=0-7
/proc/23430/stat : 23430 (java) S 23428 23428 22380 0 -1 1077944320 7955 0 0 0 31 2 0 0 20 0 20 0 88153699 26730651648 10002 33554432000 4194304 4196468 140737369745600 140737369728144 140385378930423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
/proc/23430/statm: 6526038 10002 3229 1 0 6488315 0
[pid=23430/tid=23431] ppid=23428 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/23430/task/23431/stat : 23431 (java) R 23428 23428 22380 0 -1 4202560 5099 0 0 0 18 1 0 0 20 0 20 0 88153699 26730651648 10002 33554432000 4194304 4196468 140737369745600 140385383162336 140385371608437 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23432] ppid=23428 vsize=26104152 memory=330 CPUtime=0 cores=0-7
/proc/23430/task/23432/stat : 23432 (java) S 23428 23428 22380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88153700 26730651648 10002 33554432000 4194304 4196468 140737369745600 140384937204112 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23433] ppid=23428 vsize=26104152 memory=3474720341659813536 CPUtime=0 cores=0-7
/proc/23430/task/23433/stat : 23433 (java) S 23428 23428 22380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88153700 26730651648 10002 33554432000 4194304 4196468 140737369745600 140384936151312 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23434] ppid=23428 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/23430/task/23434/stat : 23434 (java) S 23428 23428 22380 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88153700 26730651648 10002 33554432000 4194304 4196468 140737369745600 140384935099024 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23435] ppid=23428 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23430/task/23435/stat : 23435 (java) S 23428 23428 22380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88153700 26730651648 10002 33554432000 4194304 4196468 140737369745600 140384934046224 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23436] ppid=23428 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23430/task/23436/stat : 23436 (java) S 23428 23428 22380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88153700 26730651648 10002 33554432000 4194304 4196468 140737369745600 140384932993936 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23437] ppid=23428 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/23430/task/23437/stat : 23437 (java) S 23428 23428 22380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88153700 26730651648 10002 33554432000 4194304 4196468 140737369745600 140384931941136 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23438] ppid=23428 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23430/task/23438/stat : 23438 (java) S 23428 23428 22380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88153700 26730651648 10002 33554432000 4194304 4196468 140737369745600 140384930888848 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23439] ppid=23428 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23430/task/23439/stat : 23439 (java) S 23428 23428 22380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88153700 26730651648 10002 33554432000 4194304 4196468 140737369745600 140384929836048 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23440] ppid=23428 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23430/task/23440/stat : 23440 (java) S 23428 23428 22380 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88153701 26730651648 10002 33554432000 4194304 4196468 140737369745600 140383785482352 140385378941570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23441] ppid=23428 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23430/task/23441/stat : 23441 (java) S 23428 23428 22380 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88153702 26730651648 10002 33554432000 4194304 4196468 140737369745600 140383784428320 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23442] ppid=23428 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23430/task/23442/stat : 23442 (java) S 23428 23428 22380 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88153702 26730651648 10002 33554432000 4194304 4196468 140737369745600 140383783375984 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23443] ppid=23428 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23430/task/23443/stat : 23443 (java) S 23428 23428 22380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88153704 26730651648 10002 33554432000 4194304 4196468 140737369745600 140383782324304 140385378949019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23444] ppid=23428 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/23430/task/23444/stat : 23444 (java) S 23428 23428 22380 0 -1 1077944384 330 0 0 0 1 0 0 0 20 0 20 0 88153704 26730651648 10002 33554432000 4194304 4196468 140737369745600 140383781272176 140385378941570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23445] ppid=23428 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23430/task/23445/stat : 23445 (java) S 23428 23428 22380 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88153704 26730651648 10002 33554432000 4194304 4196468 140737369745600 140383780219376 140385378941570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23446] ppid=23428 vsize=26104152 memory=-1 CPUtime=0.02 cores=0-7
/proc/23430/task/23446/stat : 23446 (java) S 23428 23428 22380 0 -1 1077944384 463 0 0 0 2 0 0 0 20 0 20 0 88153704 26730651648 10002 33554432000 4194304 4196468 140737369745600 140383779167088 140385378941570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23447] ppid=23428 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7
/proc/23430/task/23447/stat : 23447 (java) R 23428 23428 22380 0 -1 4202560 746 0 0 0 7 0 0 0 20 0 20 0 88153704 26730651648 10002 33554432000 4194304 4196468 140737369745600 140383778114288 140385357862734 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23448] ppid=23428 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23430/task/23448/stat : 23448 (java) S 23428 23428 22380 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88153705 26730651648 10002 33554432000 4194304 4196468 140737369745600 140383777061216 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23449] ppid=23428 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/23430/task/23449/stat : 23449 (java) S 23428 23428 22380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88153705 26730651648 10002 33554432000 4194304 4196468 140737369745600 140383776008496 140385378941570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41460 KiB

[startup+0.309283 s]*
/proc/loadavg: 7.63 8.18 8.30 3/199 23449
/proc/meminfo: memFree=28108428/32770624 swapFree=67108792/67108860
[pid=23428] ppid=23425 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/23428/stat : 23428 (xcsp3-exec) S 23425 23428 22380 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88153698 115843072 363 33554432000 4194304 5098028 140726748146960 140726748145064 140609405538940 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7659520 140726748152886 140726748153088 140726748153088 140726748155850 0
/proc/23428/statm: 28282 363 305 221 0 87 0
[pid=23430] ppid=23428 vsize=26108408 memory=45904 CPUtime=0.5 cores=0-7
/proc/23430/stat : 23430 (java) S 23428 23428 22380 0 -1 1077944320 8697 0 0 0 47 3 0 0 20 0 20 0 88153699 26735009792 11476 33554432000 4194304 4196468 140737369745600 140737369728144 140385378930423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
/proc/23430/statm: 6527102 11476 3262 1 0 6488315 0
[pid=23430/tid=23431] ppid=23428 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/23430/task/23431/stat : 23431 (java) R 23428 23428 22380 0 -1 4202560 5665 0 0 0 27 2 0 0 20 0 20 0 88153699 26735009792 11476 33554432000 4194304 4196468 140737369745600 140385383161536 140385363010910 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23432] ppid=23428 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/23430/task/23432/stat : 23432 (java) S 23428 23428 22380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88153700 26735009792 11476 33554432000 4194304 4196468 140737369745600 140384937204112 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23433] ppid=23428 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/23430/task/23433/stat : 23433 (java) S 23428 23428 22380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88153700 26735009792 11476 33554432000 4194304 4196468 140737369745600 140384936151312 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23434] ppid=23428 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/23430/task/23434/stat : 23434 (java) S 23428 23428 22380 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88153700 26735009792 11476 33554432000 4194304 4196468 140737369745600 140384935099024 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23435] ppid=23428 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/23430/task/23435/stat : 23435 (java) S 23428 23428 22380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88153700 26735009792 11476 33554432000 4194304 4196468 140737369745600 140384934046224 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23436] ppid=23428 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/23430/task/23436/stat : 23436 (java) S 23428 23428 22380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88153700 26735009792 11476 33554432000 4194304 4196468 140737369745600 140384932993936 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23437] ppid=23428 vsize=26108408 memory=140236856325039 CPUtime=0 cores=0-7
/proc/23430/task/23437/stat : 23437 (java) S 23428 23428 22380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88153700 26735009792 11476 33554432000 4194304 4196468 140737369745600 140384931941136 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23438] ppid=23428 vsize=26108408 memory=140236856327344 CPUtime=0 cores=0-7
/proc/23430/task/23438/stat : 23438 (java) S 23428 23428 22380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88153700 26735009792 11476 33554432000 4194304 4196468 140737369745600 140384930888848 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23439] ppid=23428 vsize=26108408 memory=140236856329648 CPUtime=0 cores=0-7
/proc/23430/task/23439/stat : 23439 (java) S 23428 23428 22380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88153700 26735009792 11476 33554432000 4194304 4196468 140737369745600 140384929836048 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23440] ppid=23428 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/23430/task/23440/stat : 23440 (java) S 23428 23428 22380 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88153701 26735009792 11476 33554432000 4194304 4196468 140737369745600 140383785482352 140385378941570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23441] ppid=23428 vsize=26108408 memory=280473712666256 CPUtime=0 cores=0-7
/proc/23430/task/23441/stat : 23441 (java) S 23428 23428 22380 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88153702 26735009792 11476 33554432000 4194304 4196468 140737369745600 140383784428320 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23442] ppid=23428 vsize=26108408 memory=280473712673168 CPUtime=0 cores=0-7
/proc/23430/task/23442/stat : 23442 (java) S 23428 23428 22380 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88153702 26735009792 11476 33554432000 4194304 4196468 140737369745600 140383783375984 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23443] ppid=23428 vsize=26108408 memory=280473712614448 CPUtime=0 cores=0-7
/proc/23430/task/23443/stat : 23443 (java) S 23428 23428 22380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88153704 26735009792 11476 33554432000 4194304 4196468 140737369745600 140383782324304 140385378949019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23444] ppid=23428 vsize=26108408 memory=280473712686992 CPUtime=0.02 cores=0-7
/proc/23430/task/23444/stat : 23444 (java) S 23428 23428 22380 0 -1 1077944384 343 0 0 0 2 0 0 0 20 0 20 0 88153704 26735009792 11476 33554432000 4194304 4196468 140737369745600 140383781272176 140385378941570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23445] ppid=23428 vsize=26108408 memory=280473712693904 CPUtime=0 cores=0-7
/proc/23430/task/23445/stat : 23445 (java) R 23428 23428 22380 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 20 0 88153704 26735009792 11476 33554432000 4194304 4196468 140737369745600 140383780219376 140385362456872 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23446] ppid=23428 vsize=26108408 memory=280473712691600 CPUtime=0.04 cores=0-7
/proc/23430/task/23446/stat : 23446 (java) R 23428 23428 22380 0 -1 4202560 512 0 0 0 4 0 0 0 20 0 20 0 88153704 26735009792 11476 33554432000 4194304 4196468 140737369745600 140383779148104 140385363216339 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23447] ppid=23428 vsize=26108408 memory=280473712707760 CPUtime=0.12 cores=0-7
/proc/23430/task/23447/stat : 23447 (java) S 23428 23428 22380 0 -1 1077944384 843 0 0 0 12 0 0 0 20 0 20 0 88153704 26735009792 11476 33554432000 4194304 4196468 140737369745600 140383778114288 140385378941570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23448] ppid=23428 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/23430/task/23448/stat : 23448 (java) S 23428 23428 22380 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88153705 26735009792 11476 33554432000 4194304 4196468 140737369745600 140383777061216 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23449] ppid=23428 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/23430/task/23449/stat : 23449 (java) S 23428 23428 22380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88153705 26735009792 11476 33554432000 4194304 4196468 140737369745600 140383776008496 140385378941570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47356 KiB

[startup+0.700932 s]
/proc/loadavg: 7.63 8.18 8.30 4/199 23449
/proc/meminfo: memFree=28093508/32770624 swapFree=67108792/67108860
[pid=23428] ppid=23425 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/23428/stat : 23428 (xcsp3-exec) S 23425 23428 22380 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88153698 115843072 363 33554432000 4194304 5098028 140726748146960 140726748145064 140609405538940 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7659520 140726748152886 140726748153088 140726748153088 140726748155850 0
/proc/23428/statm: 28282 363 305 221 0 87 0
[pid=23430] ppid=23428 vsize=26110532 memory=107772 CPUtime=1.97 cores=0-7
/proc/23430/stat : 23430 (java) S 23428 23428 22380 0 -1 1077944320 14562 0 0 0 190 7 0 0 20 0 20 0 88153699 26737184768 26943 33554432000 4194304 4196468 140737369745600 140737369728144 140385378930423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
/proc/23430/statm: 6527633 26943 3354 1 0 6488827 0
[pid=23430/tid=23431] ppid=23428 vsize=26110532 memory=280473713065648 CPUtime=0.66 cores=0-7
/proc/23430/task/23431/stat : 23431 (java) R 23428 23428 22380 0 -1 4202560 6547 0 0 0 62 4 0 0 20 0 20 0 88153699 26737184768 26943 33554432000 4194304 4196468 140737369745600 140385383138384 140385363010910 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23432] ppid=23428 vsize=26110532 memory=140236856533872 CPUtime=0 cores=0-7
/proc/23430/task/23432/stat : 23432 (java) S 23428 23428 22380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88153700 26737184768 26943 33554432000 4194304 4196468 140737369745600 140384937204112 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23433] ppid=23428 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/23430/task/23433/stat : 23433 (java) S 23428 23428 22380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88153700 26737184768 26943 33554432000 4194304 4196468 140737369745600 140384936151312 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23434] ppid=23428 vsize=26110532 memory=1008 CPUtime=0 cores=0-7
/proc/23430/task/23434/stat : 23434 (java) S 23428 23428 22380 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88153700 26737184768 26943 33554432000 4194304 4196468 140737369745600 140384935099024 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0

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

/proc/meminfo: memFree=22530052/32770624 swapFree=67108792/67108860
[pid=23428] ppid=23425 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/23428/stat : 23428 (xcsp3-exec) S 23425 23428 22380 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88153698 115843072 363 33554432000 4194304 5098028 140726748146960 140726748145064 140609405538940 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7659520 140726748152886 140726748153088 140726748153088 140726748155850 0
/proc/23428/statm: 28282 363 305 221 0 87 0
[pid=23430] ppid=23428 vsize=26645092 memory=5618756 CPUtime=18300.5 cores=0-7
/proc/23430/stat : 23430 (java) S 23428 23428 22380 0 -1 1077944320 816882 0 0 0 1828079 1972 0 0 20 0 28 0 88153699 27284574208 1404689 33554432000 4194304 4196468 140737369745600 140737369728144 140385378930423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
/proc/23430/statm: 6661273 1404689 3471 1 0 6622467 0
[pid=23430/tid=23431] ppid=23428 vsize=26645092 memory=5618756 CPUtime=20.27 cores=0-7
/proc/23430/task/23431/stat : 23431 (java) S 23428 23428 22380 0 -1 1077944384 22420 0 0 0 1991 36 0 0 20 0 28 0 88153699 27284574208 1404689 33554432000 4194304 4196468 140737369745600 140385383171136 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23432] ppid=23428 vsize=26645092 memory=1452 CPUtime=18.38 cores=0-7
/proc/23430/task/23432/stat : 23432 (java) S 23428 23428 22380 0 -1 1077944384 28835 0 0 0 1676 162 0 0 20 0 28 0 88153700 27284574208 1404689 33554432000 4194304 4196468 140737369745600 140384937204112 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23433] ppid=23428 vsize=26645092 memory=5618756 CPUtime=18.32 cores=0-7
/proc/23430/task/23433/stat : 23433 (java) S 23428 23428 22380 0 -1 1077944384 23607 0 0 0 1673 159 0 0 20 0 28 0 88153700 27284574208 1404689 33554432000 4194304 4196468 140737369745600 140384936151312 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23434] ppid=23428 vsize=26645092 memory=5618756 CPUtime=18.34 cores=0-7
/proc/23430/task/23434/stat : 23434 (java) S 23428 23428 22380 0 -1 1077944384 24286 0 0 0 1675 159 0 0 20 0 28 0 88153700 27284574208 1404689 33554432000 4194304 4196468 140737369745600 140384935099024 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23435] ppid=23428 vsize=26645092 memory=5618756 CPUtime=18.5 cores=0-7
/proc/23430/task/23435/stat : 23435 (java) S 23428 23428 22380 0 -1 1077944384 24366 0 0 0 1680 170 0 0 20 0 28 0 88153700 27284574208 1404689 33554432000 4194304 4196468 140737369745600 140384934046224 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23436] ppid=23428 vsize=26645092 memory=1452 CPUtime=18.57 cores=0-7
/proc/23430/task/23436/stat : 23436 (java) S 23428 23428 22380 0 -1 1077944384 34561 0 0 0 1696 161 0 0 20 0 28 0 88153700 27284574208 1404689 33554432000 4194304 4196468 140737369745600 140384932993936 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23437] ppid=23428 vsize=26645092 memory=1452 CPUtime=18.42 cores=0-7
/proc/23430/task/23437/stat : 23437 (java) S 23428 23428 22380 0 -1 1077944384 28777 0 0 0 1682 160 0 0 20 0 28 0 88153700 27284574208 1404689 33554432000 4194304 4196468 140737369745600 140384931941136 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23438] ppid=23428 vsize=26645092 memory=5618756 CPUtime=18.5 cores=0-7
/proc/23430/task/23438/stat : 23438 (java) S 23428 23428 22380 0 -1 1077944384 26573 0 0 0 1689 161 0 0 20 0 28 0 88153700 27284574208 1404689 33554432000 4194304 4196468 140737369745600 140384930888848 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23439] ppid=23428 vsize=26645092 memory=5618756 CPUtime=18.42 cores=0-7
/proc/23430/task/23439/stat : 23439 (java) S 23428 23428 22380 0 -1 1077944384 32369 0 0 0 1681 161 0 0 20 0 28 0 88153700 27284574208 1404689 33554432000 4194304 4196468 140737369745600 140384929836048 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23440] ppid=23428 vsize=26645092 memory=1452 CPUtime=1.5 cores=0-7
/proc/23430/task/23440/stat : 23440 (java) S 23428 23428 22380 0 -1 1077944384 30539 0 0 0 137 13 0 0 20 0 28 0 88153701 27284574208 1404689 33554432000 4194304 4196468 140737369745600 140383785482352 140385378941570 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23441] ppid=23428 vsize=26645092 memory=5659800 CPUtime=0 cores=0-7
/proc/23430/task/23441/stat : 23441 (java) S 23428 23428 22380 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 28 0 88153702 27284574208 1404689 33554432000 4194304 4196468 140737369745600 140383784428384 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23442] ppid=23428 vsize=26645092 memory=5659800 CPUtime=0 cores=0-7
/proc/23430/task/23442/stat : 23442 (java) S 23428 23428 22380 0 -1 1077944384 192 0 0 0 0 0 0 0 20 0 28 0 88153702 27284574208 1404689 33554432000 4194304 4196468 140737369745600 140383783376000 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23443] ppid=23428 vsize=26645092 memory=1452 CPUtime=0 cores=0-7
/proc/23430/task/23443/stat : 23443 (java) S 23428 23428 22380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88153704 27284574208 1404689 33554432000 4194304 4196468 140737369745600 140383782324304 140385378949019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23444] ppid=23428 vsize=26645092 memory=5659800 CPUtime=4.98 cores=0-7
/proc/23430/task/23444/stat : 23444 (java) S 23428 23428 22380 0 -1 1077944384 46333 0 0 0 491 7 0 0 20 0 28 0 88153704 27284574208 1404689 33554432000 4194304 4196468 140737369745600 140383781272176 140385378941570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23445] ppid=23428 vsize=26645092 memory=25836 CPUtime=5.33 cores=0-7
/proc/23430/task/23445/stat : 23445 (java) S 23428 23428 22380 0 -1 1077944384 56773 0 0 0 526 7 0 0 20 0 28 0 88153704 27284574208 1404689 33554432000 4194304 4196468 140737369745600 140383780219376 140385378941570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23446] ppid=23428 vsize=26645092 memory=5659800 CPUtime=4.65 cores=0-7
/proc/23430/task/23446/stat : 23446 (java) S 23428 23428 22380 0 -1 1077944384 44054 0 0 0 458 7 0 0 20 0 28 0 88153704 27284574208 1404689 33554432000 4194304 4196468 140737369745600 140383779167088 140385378941570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23447] ppid=23428 vsize=26645092 memory=5659800 CPUtime=1.31 cores=0-7
/proc/23430/task/23447/stat : 23447 (java) S 23428 23428 22380 0 -1 1077944384 30382 0 0 0 126 5 0 0 20 0 28 0 88153704 27284574208 1404689 33554432000 4194304 4196468 140737369745600 140383778114288 140385378941570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23448] ppid=23428 vsize=26645092 memory=5659800 CPUtime=0 cores=0-7
/proc/23430/task/23448/stat : 23448 (java) S 23428 23428 22380 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88153705 27284574208 1404689 33554432000 4194304 4196468 140737369745600 140383777061216 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23449] ppid=23428 vsize=26645092 memory=5659800 CPUtime=1.02 cores=0-7
/proc/23430/task/23449/stat : 23449 (java) S 23428 23428 22380 0 -1 1077944384 4444 0 0 0 46 56 0 0 20 0 28 0 88153705 27284574208 1404689 33554432000 4194304 4196468 140737369745600 140383776008496 140385378941570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=27506] ppid=23428 vsize=26645092 memory=5659800 CPUtime=2039.18 cores=0-7
/proc/23430/task/27506/stat : 27506 (java) R 23428 23428 22380 0 -1 4202560 17909 0 0 0 203890 28 0 0 20 0 28 0 88199333 27284574208 1404689 33554432000 4194304 4196468 140737369745600 140383760915368 140384986069295 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=27507] ppid=23428 vsize=26645092 memory=5700844 CPUtime=2030.98 cores=0-7
/proc/23430/task/27507/stat : 27507 (java) R 23428 23428 22380 0 -1 4202560 19503 0 0 0 203068 30 0 0 20 0 28 0 88199333 27284574208 1404689 33554432000 4194304 4196468 140737369745600 140383764074392 140384985975137 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=27508] ppid=23428 vsize=26645092 memory=5700844 CPUtime=2028.47 cores=0-7
/proc/23430/task/27508/stat : 27508 (java) R 23428 23428 22380 0 -1 4202560 23259 0 0 0 202800 47 0 0 20 0 28 0 88199333 27284574208 1404689 33554432000 4194304 4196468 140737369745600 140383765127448 140384986069315 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=27509] ppid=23428 vsize=26645092 memory=5700844 CPUtime=2032.48 cores=0-7
/proc/23430/task/27509/stat : 27509 (java) R 23428 23428 22380 0 -1 4202560 74181 0 0 0 203159 89 0 0 20 0 28 0 88199333 27284574208 1404689 33554432000 4194304 4196468 140737369745600 140383758814032 140384986069348 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=27510] ppid=23428 vsize=26645092 memory=1452 CPUtime=2040.52 cores=0-7
/proc/23430/task/27510/stat : 27510 (java) R 23428 23428 22380 0 -1 4202560 15155 0 0 0 204038 14 0 0 20 0 28 0 88199333 27284574208 1404689 33554432000 4194304 4196468 140737369745600 140383763022120 140384986625280 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=27511] ppid=23428 vsize=26645092 memory=5700844 CPUtime=2040.48 cores=0-7
/proc/23430/task/27511/stat : 27511 (java) R 23428 23428 22380 0 -1 4202560 20867 0 0 0 204020 28 0 0 20 0 28 0 88199333 27284574208 1404689 33554432000 4194304 4196468 140737369745600 140383690412440 140384986069320 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=27512] ppid=23428 vsize=26645092 memory=5618756 CPUtime=2040.55 cores=0-7
/proc/23430/task/27512/stat : 27512 (java) R 23428 23428 22380 0 -1 4202560 27176 0 0 0 204019 36 0 0 20 0 28 0 88199333 27284574208 1404689 33554432000 4194304 4196468 140737369745600 140383761968920 140384986069315 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=27513] ppid=23428 vsize=26645092 memory=1452 CPUtime=2031.06 cores=0-7
/proc/23430/task/27513/stat : 27513 (java) R 23428 23428 22380 0 -1 4202560 20256 0 0 0 203083 23 0 0 20 0 28 0 88199333 27284574208 1404689 33554432000 4194304 4196468 140737369745600 140383759863104 140384986069227 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
Current children cumulated CPU time: 18300.5 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 5620208 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.01 8.18 8.11 9/208 27570
/proc/meminfo: memFree=22569992/32770624 swapFree=67108792/67108860
[pid=23428] ppid=23425 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/23428/stat : 23428 (xcsp3-exec) S 23425 23428 22380 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88153698 115843072 363 33554432000 4194304 5098028 140726748146960 140726748145064 140609405538940 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7659520 140726748152886 140726748153088 140726748153088 140726748155850 0
/proc/23428/statm: 28282 363 305 221 0 87 0
[pid=23430] ppid=23428 vsize=26645092 memory=5579256 CPUtime=18441.8 cores=0-7
/proc/23430/stat : 23430 (java) S 23428 23428 22380 0 -1 1077944320 822408 0 0 0 1842203 1975 0 0 20 0 28 0 88153699 27284574208 1394814 33554432000 4194304 4196468 140737369745600 140737369728144 140385378930423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
/proc/23430/statm: 6661273 1394814 3471 1 0 6622467 0
[pid=23430/tid=23431] ppid=23428 vsize=26645092 memory=2464 CPUtime=20.27 cores=0-7
/proc/23430/task/23431/stat : 23431 (java) S 23428 23428 22380 0 -1 1077944384 22420 0 0 0 1991 36 0 0 20 0 28 0 88153699 27284574208 1394814 33554432000 4194304 4196468 140737369745600 140385383171136 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23432] ppid=23428 vsize=26645092 memory=1576 CPUtime=18.4 cores=0-7
/proc/23430/task/23432/stat : 23432 (java) S 23428 23428 22380 0 -1 1077944384 29252 0 0 0 1678 162 0 0 20 0 28 0 88153700 27284574208 1394814 33554432000 4194304 4196468 140737369745600 140384937204112 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23433] ppid=23428 vsize=26645092 memory=4872558044660077418 CPUtime=18.35 cores=0-7
/proc/23430/task/23433/stat : 23433 (java) S 23428 23428 22380 0 -1 1077944384 24128 0 0 0 1676 159 0 0 20 0 28 0 88153700 27284574208 1394814 33554432000 4194304 4196468 140737369745600 140384936151312 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23434] ppid=23428 vsize=26645092 memory=1708 CPUtime=18.37 cores=0-7
/proc/23430/task/23434/stat : 23434 (java) S 23428 23428 22380 0 -1 1077944384 24979 0 0 0 1678 159 0 0 20 0 28 0 88153700 27284574208 1394814 33554432000 4194304 4196468 140737369745600 140384935099024 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23435] ppid=23428 vsize=26645092 memory=5760 CPUtime=18.53 cores=0-7
/proc/23430/task/23435/stat : 23435 (java) S 23428 23428 22380 0 -1 1077944384 24836 0 0 0 1683 170 0 0 20 0 28 0 88153700 27284574208 1394814 33554432000 4194304 4196468 140737369745600 140384934046224 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23436] ppid=23428 vsize=26645092 memory=4588 CPUtime=18.59 cores=0-7
/proc/23430/task/23436/stat : 23436 (java) S 23428 23428 22380 0 -1 1077944384 34851 0 0 0 1698 161 0 0 20 0 28 0 88153700 27284574208 1394814 33554432000 4194304 4196468 140737369745600 140384932993936 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23437] ppid=23428 vsize=26645092 memory=9920 CPUtime=18.44 cores=0-7
/proc/23430/task/23437/stat : 23437 (java) S 23428 23428 22380 0 -1 1077944384 28830 0 0 0 1684 160 0 0 20 0 28 0 88153700 27284574208 1394814 33554432000 4194304 4196468 140737369745600 140384931941136 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23438] ppid=23428 vsize=26645092 memory=1944 CPUtime=18.53 cores=0-7
/proc/23430/task/23438/stat : 23438 (java) S 23428 23428 22380 0 -1 1077944384 26997 0 0 0 1692 161 0 0 20 0 28 0 88153700 27284574208 1394814 33554432000 4194304 4196468 140737369745600 140384930888848 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23439] ppid=23428 vsize=26645092 memory=1428 CPUtime=18.45 cores=0-7
/proc/23430/task/23439/stat : 23439 (java) S 23428 23428 22380 0 -1 1077944384 32954 0 0 0 1684 161 0 0 20 0 28 0 88153700 27284574208 1394814 33554432000 4194304 4196468 140737369745600 140384929836048 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23440] ppid=23428 vsize=26645092 memory=8500 CPUtime=1.5 cores=0-7
/proc/23430/task/23440/stat : 23440 (java) S 23428 23428 22380 0 -1 1077944384 30846 0 0 0 137 13 0 0 20 0 28 0 88153701 27284574208 1394814 33554432000 4194304 4196468 140737369745600 140383785482352 140385378941570 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23441] ppid=23428 vsize=26645092 memory=792 CPUtime=0 cores=0-7
/proc/23430/task/23441/stat : 23441 (java) S 23428 23428 22380 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 28 0 88153702 27284574208 1394814 33554432000 4194304 4196468 140737369745600 140383784428384 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23442] ppid=23428 vsize=26645092 memory=1008 CPUtime=0 cores=0-7
/proc/23430/task/23442/stat : 23442 (java) S 23428 23428 22380 0 -1 1077944384 192 0 0 0 0 0 0 0 20 0 28 0 88153702 27284574208 1394814 33554432000 4194304 4196468 140737369745600 140383783376000 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23443] ppid=23428 vsize=26645092 memory=1228 CPUtime=0 cores=0-7
/proc/23430/task/23443/stat : 23443 (java) S 23428 23428 22380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88153704 27284574208 1394814 33554432000 4194304 4196468 140737369745600 140383782324304 140385378949019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23444] ppid=23428 vsize=26645092 memory=1200 CPUtime=4.98 cores=0-7
/proc/23430/task/23444/stat : 23444 (java) S 23428 23428 22380 0 -1 1077944384 46333 0 0 0 491 7 0 0 20 0 28 0 88153704 27284574208 1394814 33554432000 4194304 4196468 140737369745600 140383781272176 140385378941570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23445] ppid=23428 vsize=26645092 memory=15876 CPUtime=5.33 cores=0-7
/proc/23430/task/23445/stat : 23445 (java) S 23428 23428 22380 0 -1 1077944384 56773 0 0 0 526 7 0 0 20 0 28 0 88153704 27284574208 1394814 33554432000 4194304 4196468 140737369745600 140383780219376 140385378941570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23446] ppid=23428 vsize=26645092 memory=18268 CPUtime=4.65 cores=0-7
/proc/23430/task/23446/stat : 23446 (java) S 23428 23428 22380 0 -1 1077944384 44054 0 0 0 458 7 0 0 20 0 28 0 88153704 27284574208 1394814 33554432000 4194304 4196468 140737369745600 140383779167088 140385378941570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23447] ppid=23428 vsize=26645092 memory=15856 CPUtime=1.31 cores=0-7
/proc/23430/task/23447/stat : 23447 (java) S 23428 23428 22380 0 -1 1077944384 30382 0 0 0 126 5 0 0 20 0 28 0 88153704 27284574208 1394814 33554432000 4194304 4196468 140737369745600 140383778114288 140385378941570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23448] ppid=23428 vsize=26645092 memory=4052 CPUtime=0 cores=0-7
/proc/23430/task/23448/stat : 23448 (java) S 23428 23428 22380 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88153705 27284574208 1394814 33554432000 4194304 4196468 140737369745600 140383777061216 140385378940629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=23449] ppid=23428 vsize=26645092 memory=644 CPUtime=1.03 cores=0-7
/proc/23430/task/23449/stat : 23449 (java) S 23428 23428 22380 0 -1 1077944384 4444 0 0 0 46 57 0 0 20 0 28 0 88153705 27284574208 1394814 33554432000 4194304 4196468 140737369745600 140383776008496 140385378941570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=27506] ppid=23428 vsize=26645092 memory=1792 CPUtime=2056.86 cores=0-7
/proc/23430/task/27506/stat : 27506 (java) R 23428 23428 22380 0 -1 4202560 18038 0 0 0 205657 29 0 0 20 0 28 0 88199333 27284574208 1394814 33554432000 4194304 4196468 140737369745600 140383760915368 140384986069536 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=27507] ppid=23428 vsize=26645092 memory=1232 CPUtime=2048.45 cores=0-7
/proc/23430/task/27507/stat : 27507 (java) R 23428 23428 22380 0 -1 4202560 19671 0 0 0 204815 30 0 0 20 0 28 0 88199333 27284574208 1394814 33554432000 4194304 4196468 140737369745600 140383764074408 140384985975151 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=27508] ppid=23428 vsize=26645092 memory=6791534058613427641 CPUtime=2046.15 cores=0-7
/proc/23430/task/27508/stat : 27508 (java) R 23428 23428 22380 0 -1 4202560 23459 0 0 0 204568 47 0 0 20 0 28 0 88199333 27284574208 1394814 33554432000 4194304 4196468 140737369745600 140383765130560 140384986069348 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=27509] ppid=23428 vsize=26645092 memory=1452 CPUtime=2050.15 cores=0-7
/proc/23430/task/27509/stat : 27509 (java) R 23428 23428 22380 0 -1 4202560 75195 0 0 0 204925 90 0 0 20 0 28 0 88199333 27284574208 1394814 33554432000 4194304 4196468 140737369745600 140383758811040 140384986068864 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=27510] ppid=23428 vsize=26645092 memory=7667167690647694440 CPUtime=2058.19 cores=0-7
/proc/23430/task/27510/stat : 27510 (java) R 23428 23428 22380 0 -1 4202560 15181 0 0 0 205805 14 0 0 20 0 28 0 88199333 27284574208 1394814 33554432000 4194304 4196468 140737369745600 140383763022120 140384986069156 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=27511] ppid=23428 vsize=26645092 memory=7378111585457959009 CPUtime=2058.16 cores=0-7
/proc/23430/task/27511/stat : 27511 (java) R 23428 23428 22380 0 -1 4202560 20977 0 0 0 205788 28 0 0 20 0 28 0 88199333 27284574208 1394814 33554432000 4194304 4196468 140737369745600 140383690412440 140384985265777 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=27512] ppid=23428 vsize=26645092 memory=7380674581469621863 CPUtime=2058.23 cores=0-7
/proc/23430/task/27512/stat : 27512 (java) R 23428 23428 22380 0 -1 4202560 27251 0 0 0 205787 36 0 0 20 0 28 0 88199333 27284574208 1394814 33554432000 4194304 4196468 140737369745600 140383761968920 140384985975142 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
[pid=23430/tid=27513] ppid=23428 vsize=26645092 memory=1708 CPUtime=2048.59 cores=0-7
/proc/23430/task/27513/stat : 27513 (java) R 23428 23428 22380 0 -1 4202560 20300 0 0 0 204836 23 0 0 20 0 28 0 88199333 27284574208 1394814 33554432000 4194304 4196468 140737369745600 140383759863448 140384986069233 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 38227968 140737369752705 140737369752877 140737369752877 140737369755599 0
Current children cumulated CPU time: 18441.8 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 5580708 KiB

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

[startup+2520.04 s]
# the end of solver process 23428 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0 s, system=0.002364 s

[startup+2520.16 s]
# the end of solver process 23430 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=18422.9 s, system=19.7988 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+2520.14 s]*
/proc/loadavg: 8.01 8.18 8.11 2/181 27572
/proc/meminfo: memFree=27855532/32770624 swapFree=67108792/67108860
Current cumulated CPU time of completed processes: 0.002364 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.16
CPU time (s): 18442.7
CPU user time (s): 18422.9
CPU system time (s): 19.7988
CPU usage (%): 731.806
Max. virtual memory (cumulated for all children) (KiB): 26758220
Max. memory (cumulated for all children) (KiB): 6113280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18422.9
system time used= 19.7988
maximum resident set size= 6111828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 824465
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 100244
involuntary context switches= 187348


# summary of solver processes directly reported to runsolver:
#   pid: 23428,23430
#   total CPU time (s): 18442.7
#   total CPU user time (s): 18422.9
#   total CPU system time (s): 19.7988

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.4566 second user time and 27.1399 second system time

The end

Launcher Data 

Begin job on node150 at 2018-07-27 17:38:24
IDJOB=4297882
IDBENCH=141200
IDSOLVER=2760
FILE ID=node150/4297882-1532705904
RUNJOBID= node150-1532703378-22407
PBS_JOBID= 21022303
Free space on /tmp= 53100 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-07-opt_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297882-1532705904/watcher-4297882-1532705904 -o /tmp/evaluation-result-4297882-1532705904/solver-4297882-1532705904 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1532703378-22407 --watchdog 2580  HOME/xcsp3-exec -seed 985654225 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297882-1532705904.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= ba4df16e86f19a26142e39b1a48414c8
RANDOM SEED=985654225

node150.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.76
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.76
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.76
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.76
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:        28149564 kB
MemAvailable:   31935856 kB
Buffers:          184000 kB
Cached:          3841616 kB
SwapCached:           32 kB
Active:          1465480 kB
Inactive:        2613384 kB
Active(anon):       4708 kB
Inactive(anon):    76192 kB
Active(file):    1460772 kB
Inactive(file):  2537192 kB
Unevictable:        7752 kB
Mlocked:            7752 kB
SwapTotal:      67108860 kB
SwapFree:       67108792 kB
Dirty:             22000 kB
Writeback:             0 kB
AnonPages:         60772 kB
Mapped:            42032 kB
Shmem:             25156 kB
Slab:             236344 kB
SReclaimable:     208328 kB
SUnreclaim:        28016 kB
KernelStack:        3504 kB
PageTables:         5580 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 53080 MiB
End job on node150 at 2018-07-27 18:20:25