Trace number 4308696

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
OscaR - Hybrid 2018-08-14SAT (TO)388718691 2520.16 2398.46

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-16-0260_c18.xml
MD5SUM3d35ef38e8714b8368aba06bbd25b59a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark372103316
Best CPU time to get the best result obtained on this benchmark2520.09
Satisfiable
(Un)Satisfiability was proved
Number of variables6038
Number of constraints3927
Number of domains31
Minimum domain size1
Maximum domain size151
Distribution of domain sizes[{"size":1,"count":5},{"size":2,"count":2094},{"size":11,"count":1839},{"size":12,"count":1},{"size":21,"count":98},{"size":23,"count":52},{"size":33,"count":21},{"size":35,"count":35},{"size":39,"count":50},{"size":41,"count":27},{"size":43,"count":72},{"size":45,"count":55},{"size":59,"count":83},{"size":65,"count":46},{"size":67,"count":53},{"size":83,"count":41},{"size":99,"count":155},{"size":111,"count":164},{"size":114,"count":81},{"size":126,"count":165},{"size":146,"count":205},{"size":151,"count":696}]
Minimum variable degree2
Maximum variable degree1840
Distribution of variable degrees[{"degree":2,"count":5517},{"degree":4,"count":3},{"degree":5,"count":4},{"degree":6,"count":4},{"degree":7,"count":11},{"degree":8,"count":11},{"degree":9,"count":17},{"degree":10,"count":28},{"degree":11,"count":24},{"degree":12,"count":23},{"degree":13,"count":37},{"degree":14,"count":44},{"degree":15,"count":45},{"degree":16,"count":38},{"degree":17,"count":46},{"degree":18,"count":63},{"degree":19,"count":76},{"degree":20,"count":46},{"degree":1840,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":249},{"arity":3,"count":1839},{"arity":6,"count":1839}]
Number of extensional constraints1839
Number of intensional constraints2088
Distribution of constraint types[{"type":"extension","count":1839},{"type":"intension","count":2088}]
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.67/0.55	c version: 2018-08-14
0.67/0.55	c seed: 1523412004
0.67/0.56	c timeout: 2520
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
34.85/20.99	c Parsing done, starting first complete search...
46.67/29.40	o 401617057
46.67/29.42	o 401598662
46.67/29.43	o 401598657
46.67/29.44	o 401580266
46.67/29.45	o 401580257
46.67/29.46	o 401561857
46.67/29.47	o 401543457
46.67/29.48	o 401525067
46.67/29.49	o 401506676
46.94/29.51	o 401506675
46.94/29.52	o 401506666
46.94/29.53	o 401488274
46.94/29.55	o 401488266
46.94/29.56	o 401469876
46.94/29.57	o 401469866
46.94/29.59	o 401451476
47.23/29.60	o 401433083
47.23/29.62	o 401414674
47.23/29.64	o 401414665
47.23/29.67	o 401396265
47.53/29.85	o 401377865
52.02/34.20	o 401359505
52.02/34.21	o 401359500
52.02/34.22	o 401359491
52.02/34.23	o 401359482
52.12/34.32	o 401359474
88.37/68.13	c First complete search done, starting ALNS search...
89.15/68.59	o 401285847
94.20/72.29	o 401157059
94.31/72.33	o 401138669
94.31/72.37	o 401120259
94.41/72.41	o 401101869
94.41/72.45	o 401101859
94.53/72.50	o 401083469
94.53/72.58	o 401083460
94.66/72.66	o 401083459
94.66/72.70	o 401065059
94.76/72.74	o 401046659
94.76/72.78	o 401028259
94.86/72.82	o 401009869
94.86/72.87	o 401009860
94.96/72.93	o 401009859
94.96/72.97	o 401009850
94.96/73.00	o 400991469
95.07/73.04	o 400991460
95.07/73.10	o 400991459
95.17/73.15	o 400973059
95.27/73.21	o 400954669
95.27/73.24	o 400954659
95.37/73.31	o 400936259
95.37/73.36	o 400917869
99.77/75.36	o 400917859
99.87/75.41	o 400899469
100.94/76.44	o 400899459
100.94/76.47	o 400881069
101.85/77.34	o 400881059
101.85/77.38	o 400862669
103.85/79.18	o 400844278
103.96/79.24	o 400844268
104.06/79.30	o 400825878
104.06/79.37	o 400825868
104.16/79.42	o 400807478
104.16/79.49	o 400715479
104.27/79.54	o 400715469
104.27/79.56	o 400697079
109.38/84.18	o 400678693
109.57/84.34	o 400678688
110.07/84.88	o 400660295
110.38/85.17	o 400660288
110.77/85.54	o 400641893
111.07/85.88	o 400641888
111.57/86.31	o 400623500
111.87/86.65	o 400623495
112.33/87.01	o 400623493
112.62/87.33	o 400623488
113.02/87.74	o 400605095
113.43/88.13	o 400605088
113.82/88.51	o 400586700
114.14/88.81	o 400586693
114.45/89.11	o 400586688
114.84/89.52	o 400568311
115.14/89.87	o 400568304
115.54/90.25	o 400568297
115.94/90.63	o 400549909
116.24/90.99	o 400549904
116.64/91.33	o 400549902
116.64/91.37	o 400549897
117.54/92.22	o 400531502
117.84/92.55	o 400531497
118.58/93.25	o 400513102
118.88/93.53	o 400513097
119.28/93.99	o 400513095
119.68/94.34	o 400494700
119.98/94.65	o 400494695
120.49/95.11	o 400476309
120.78/95.40	o 400476304
121.08/95.76	o 400457909
121.08/95.79	o 400457904
121.58/96.24	o 400457902
121.58/96.29	o 400457897
122.18/96.80	o 400439511
122.18/96.84	o 400439504
122.68/97.31	o 400439497
123.18/97.80	o 400421102
123.49/98.19	o 400421097
124.15/98.79	o 400421095
124.56/99.11	o 400421088
124.95/99.60	o 400402700
125.05/99.64	o 400402695
125.35/99.94	o 400402693
125.35/99.98	o 400402688
125.95/100.51	o 400384304
126.15/100.75	o 400384297
127.08/101.68	o 400384288
127.19/101.71	o 400384279
127.39/101.94	o 400365888
127.39/101.97	o 400365879
127.89/102.43	o 400347488
127.89/102.46	o 400347479
128.29/102.82	o 400329088
128.29/102.85	o 400329079
128.50/103.07	o 400310688
128.50/103.09	o 400310679
129.01/103.56	o 400310670
129.41/104.00	o 400292279
129.52/104.02	o 400273879
129.52/104.03	o 400273870
130.01/104.54	o 400255470
130.62/105.12	o 400237079
131.01/105.50	o 400237070
131.41/106.00	o 400218670
132.21/106.70	o 400200270
132.81/107.32	o 400181880
133.31/107.83	o 400181870
133.71/108.27	o 400163480
134.21/108.77	o 400163470
134.62/109.19	o 400145080
135.21/109.78	o 400145070
135.71/110.21	o 400126680
136.52/111.07	o 400126679
136.93/111.45	o 400108289
137.43/112.00	o 400108280
138.04/112.57	o 400108270
138.55/113.07	o 400089880
139.14/113.67	o 400089870
139.65/114.14	o 400071480
140.24/114.79	o 400071479
140.74/115.23	o 400053089
141.34/115.83	o 400053080
141.94/116.41	o 400053070
142.04/116.52	o 400034680
142.65/117.11	o 400034679
142.74/117.21	o 400016289
143.44/117.94	o 400016288
143.55/118.05	o 399997898
144.15/118.69	o 399997889
144.74/119.26	o 399997888
145.51/119.92	o 399869067
146.26/120.64	o 399869062
146.46/120.87	o 399850690
146.66/121.01	o 399850681
146.76/121.16	o 399850672
147.06/121.48	o 399850671
147.16/121.58	o 399850662
148.18/122.54	o 399850661
148.28/122.66	o 399832280
148.38/122.77	o 399832271
148.69/123.02	o 399832262
149.08/123.43	o 399832261
149.18/123.53	o 399832252
149.28/123.65	o 399813880
149.38/123.75	o 399813871
149.48/123.86	o 399813862
150.01/124.31	o 399813861
150.31/124.61	o 399795480
150.61/124.91	o 399795471
150.91/125.22	o 399795462
151.52/125.87	o 399777080
151.73/126.04	o 399777071
152.13/126.40	o 399777062
152.53/126.89	o 399777061
152.97/127.23	o 399777052
153.47/127.77	o 399777051
153.78/128.06	o 399777042
154.97/129.21	o 399758687
155.08/129.34	o 399758678
155.28/129.54	o 399758677
155.48/129.73	o 399758668
155.68/129.95	o 399758659
155.89/130.17	o 399758658
156.08/130.39	o 399758649
156.79/131.05	o 399740294
156.89/131.16	o 399740284
156.98/131.28	o 399740275
157.28/131.51	o 399740266
157.48/131.73	o 399740265
157.68/131.95	o 399740256
158.08/132.32	o 399740249
158.58/132.85	o 399721894
158.79/133.03	o 399721884
158.98/133.23	o 399721875
159.18/133.43	o 399721874
159.38/133.63	o 399721865
159.79/134.04	o 399721858
160.18/134.44	o 399721856
160.38/134.66	o 399721849
160.79/135.06	o 399703485
160.89/135.16	o 399703478
161.03/135.26	o 399703475
161.14/135.37	o 399703468
161.24/135.48	o 399703466
161.34/135.58	o 399703459
161.54/135.72	o 399703456
161.64/135.84	o 399703449
162.24/136.46	o 399685104
162.49/136.63	o 399685097
162.69/136.83	o 399685095
162.79/136.95	o 399685088
163.00/137.18	o 399685086
163.09/137.29	o 399685079
163.39/137.57	o 399685078
163.59/137.78	o 399685076
163.79/137.92	o 399685069
164.09/138.29	o 399685068
165.36/139.42	o 399666668
165.56/139.66	o 399648268
165.76/139.89	o 399611468
165.97/140.01	o 399593068
166.16/140.22	o 399574668
166.46/140.55	o 399556268
166.66/140.74	o 399537868
167.07/141.17	o 399519468
167.56/141.61	o 399501068
167.66/141.78	o 399482668
168.16/142.21	o 399464268
168.56/142.69	o 399445868
168.97/143.06	o 399427468
169.36/143.44	o 399409068
169.76/143.83	o 399390668
170.26/144.32	o 399372277
170.56/144.67	o 399353877
170.97/145.03	o 399335477
171.77/145.82	o 399335468
172.17/146.20	o 399317068
172.37/146.49	o 399298668
172.77/146.85	o 399280268
173.79/147.76	o 399261877
174.10/148.02	o 399243477
174.89/148.50	o 399225077
176.60/150.23	o 399225068
177.20/150.85	o 399206677
177.80/151.49	o 399188277
178.41/152.08	o 399169877
179.10/152.71	o 399169868
179.60/153.21	o 399151468
180.10/153.73	o 399133068
180.61/154.28	o 399114668
181.31/154.94	o 399096277
181.81/155.43	o 399077877
182.31/155.99	o 399059477
183.12/156.73	o 399041077
183.62/157.27	o 399022677
185.02/158.66	o 399022676
185.13/158.76	o 399022667
185.23/158.89	o 399022666
185.44/159.01	o 399022657
186.14/159.71	o 399022647
187.35/160.97	o 399004247
210.72/183.68	o 399004238
210.92/183.83	o 399004231
214.23/187.08	o 398985857
215.30/187.86	o 398985838
219.53/192.10	o 398967515
219.82/192.36	o 398967506
220.12/192.64	o 398967505
220.32/192.88	o 398967496
220.63/193.17	o 398967495
220.82/193.39	o 398967486
222.33/194.80	o 398967477
223.33/195.88	o 398967469
224.13/196.61	o 398967467
224.83/197.34	o 398949077
225.65/198.18	o 398949068
226.54/199.06	o 398930686
227.34/199.85	o 398930677
228.66/200.80	o 398912286
229.46/201.64	o 398912277
230.26/202.46	o 398893885
230.97/203.19	o 398875485
231.76/203.99	o 398857085
234.36/206.51	o 398820305
235.36/207.55	o 398801914
236.66/208.84	o 398801904
238.36/210.50	o 398783523
239.06/211.21	o 398765123
240.55/212.43	o 398746732
251.83/223.35	o 398728334
251.93/223.48	o 398709934
252.54/224.08	o 398673134
253.03/224.55	o 398654734
253.64/225.19	o 398636334
254.33/225.84	o 398617934
255.23/226.72	o 398617925
256.23/227.72	o 398599525
256.83/228.40	o 398581125
257.64/229.12	o 398562734
258.23/229.76	o 398562725
259.13/230.66	o 398544325
263.33/234.54	o 398525925
264.94/236.18	o 398507525
266.33/237.54	o 398489125
267.03/238.26	o 398489123
268.73/239.97	o 398470725
269.23/240.47	o 398470723
269.84/241.08	o 398452325
270.33/241.56	o 398452323
271.44/242.60	o 398433925
271.95/243.12	o 398433923
279.14/250.06	o 398433921
279.53/250.43	o 398433913
279.93/250.89	o 398433912
280.43/251.35	o 398433904
280.94/251.89	o 398433897
281.34/252.28	o 398433894
281.94/252.84	o 398433890
282.34/253.24	o 398433887
282.84/253.73	o 398433883
283.25/254.14	o 398433880
283.74/254.68	o 398433873
284.15/255.10	o 398433870
285.15/256.02	o 398433865
285.72/256.57	o 398433862
289.83/260.41	o 398433855
290.34/260.95	o 398433852
292.06/262.69	o 398378661
314.49/284.32	o 398360291
314.99/284.82	o 398341891
315.89/285.72	o 398323501
316.49/286.35	o 398323491
317.09/286.96	o 398305101
318.28/288.10	o 398305094
320.50/290.07	o 398176295
320.80/290.38	o 398157895
321.51/291.10	o 398102695
321.80/291.39	o 398084295
323.20/292.75	o 398084275
327.00/296.59	o 398065868
328.91/298.43	o 398047497
330.71/300.22	o 398047487
333.34/302.52	o 398047485
335.14/304.37	o 398029068
336.95/306.17	o 398029066
338.85/308.01	o 398010687
340.55/309.79	o 398010685
347.43/316.25	o 397808233
348.53/317.37	o 397789833
349.03/317.87	o 397789824
349.63/318.48	o 397771433
350.13/318.96	o 397771424
350.63/319.48	o 397771415
351.03/319.88	o 397753024
351.43/320.29	o 397753015
352.03/320.81	o 397734624
352.53/321.31	o 397734615
361.16/329.54	o 397716224
362.36/330.70	o 397716215
363.95/332.30	o 397697824
364.46/332.82	o 397697815
365.46/333.88	o 397697814
365.96/334.34	o 397697805
366.46/334.84	o 397679414
366.86/335.27	o 397679405
369.07/337.47	o 397661016
371.31/339.25	o 397661014
372.81/340.70	o 397642624
374.61/342.57	o 397642616
376.22/344.19	o 397624224
378.22/346.17	o 397624214
380.31/348.21	o 397550623
382.26/350.04	o 397532233
384.15/352.00	o 397532223
385.95/353.70	o 397513833
396.29/363.93	o 397495440
396.50/364.11	o 397495433
398.09/365.75	o 397403433
398.30/365.97	o 397385033
399.20/366.83	o 397366640
400.00/367.66	o 397366633
401.00/368.63	o 397348240
401.70/369.38	o 397348233
403.59/371.26	o 397329840
404.40/372.01	o 397329833
408.65/376.18	o 397311433
412.44/380.00	o 397293033
414.14/381.62	o 397274633
420.04/387.58	o 397256245
420.58/387.97	o 397256242
422.38/389.73	o 397237853
422.69/390.06	o 397237850
425.37/392.58	o 397219450
426.47/393.65	o 397201050
427.47/394.65	o 397182660
428.37/395.59	o 397182650
429.07/396.27	o 397164260
430.07/397.26	o 397164250
431.19/398.32	o 397053848
432.19/399.32	o 397017029
433.09/400.25	o 396980238
434.30/401.43	o 396961838
435.20/402.31	o 396943438
436.70/403.83	o 396925038
440.08/406.72	o 396906638
441.78/408.45	o 396906629
443.58/410.24	o 396888238
446.42/413.02	o 396869847
448.01/414.52	o 396869824
448.41/415.00	o 396851424
448.91/415.46	o 396833024
449.41/415.96	o 396814624
451.68/417.76	o 396814615
452.39/418.40	o 396796224
452.79/418.87	o 396796215
453.39/419.44	o 396777824
453.79/419.84	o 396777815
454.49/420.53	o 396759424
454.89/420.95	o 396759415
455.49/421.53	o 396741024
455.89/421.93	o 396741015
457.59/423.65	o 396722624
458.00/424.06	o 396722615
459.19/425.28	o 396722606
460.59/426.67	o 396704224
461.19/427.21	o 396704215
461.79/427.80	o 396704206
468.23/433.85	o 396685825
468.63/434.29	o 396685816
469.73/435.37	o 396667417
472.32/437.92	o 396667407
473.22/438.86	o 396649007
474.43/440.04	o 396630607
477.45/442.65	o 396612207
478.15/443.36	o 396593816
479.65/444.80	o 396593807
480.25/445.48	o 396575416
482.25/447.43	o 396575407
482.86/448.10	o 396557016
495.89/460.61	o 396538616
498.30/463.02	o 396520225
499.30/464.09	o 396501825
501.83/466.14	o 396483425
503.62/467.90	o 396465025
505.63/469.91	o 396391426
507.63/471.94	o 396373025
509.63/473.91	o 396373017
511.83/476.05	o 396336227
512.42/476.62	o 396317827
513.02/477.25	o 396317809
513.62/477.83	o 396317799
529.67/493.07	o 396299427
530.27/493.65	o 396299417
530.87/494.21	o 396299409
531.37/494.78	o 396299399
532.46/495.90	o 396281037
549.88/512.89	o 396281036
552.09/515.05	o 396281027
555.09/518.03	o 396262634
555.83/518.59	o 396244234
558.61/521.18	o 396225834
560.90/523.48	o 396207443
561.70/524.23	o 396207434
563.01/525.53	o 396170638
563.01/525.57	o 396152238
570.43/532.55	o 396152236
575.07/537.19	o 396152226
575.76/537.82	o 396133836
578.07/540.12	o 396133826
578.66/540.76	o 396115426
580.56/542.20	o 396097026
583.97/545.65	o 396097016
586.17/547.80	o 396078629
587.57/549.29	o 396078626
589.48/551.15	o 396078619
592.77/554.45	o 395986649
594.87/556.52	o 395986639
597.54/558.80	o 395968239
599.85/561.04	o 395968238
601.34/562.56	o 395949849
602.45/563.62	o 395931449
603.87/565.08	o 395913049
605.47/566.65	o 395765846
606.57/567.70	o 395747454
607.67/568.81	o 395747446
609.38/570.01	o 395729054
610.27/570.97	o 395729046
611.38/572.04	o 395710660
612.17/572.81	o 395710652
613.39/574.05	o 395710646
614.39/575.02	o 395692254
615.18/575.88	o 395692246
616.58/577.24	o 395673854
617.78/578.45	o 395673846
622.04/582.63	o 395673844
623.41/583.59	o 395673836
624.92/585.09	o 395655454
625.70/585.84	o 395655446
626.92/587.05	o 395655443
628.51/588.67	o 395637052
630.42/590.53	o 395637036
632.12/592.20	o 395618645
645.89/605.53	o 395600255
648.76/607.95	o 395581875
650.06/609.21	o 395581865
653.56/612.71	o 395581855
654.98/614.19	o 395563480
656.37/615.53	o 395563470
657.77/616.94	o 395563460
660.77/619.99	o 395545079
662.84/621.53	o 395545070
664.24/622.94	o 395526679
665.54/624.28	o 395526670
667.04/625.74	o 395508279
668.35/627.07	o 395508270
679.84/638.04	o 395489870
683.53/641.77	o 395471470
687.03/645.27	o 395232292
687.73/645.94	o 395213892
688.63/646.87	o 395195492
689.53/647.77	o 395195482
690.73/648.96	o 395177092
692.27/650.06	o 395177082
693.06/650.87	o 395158692
693.66/651.49	o 395158682
694.46/652.25	o 395140292
695.46/653.20	o 395140282
696.37/654.16	o 395121892
697.37/655.11	o 395121882
698.76/656.52	o 395103492
699.56/657.38	o 395103482
702.37/660.13	o 395085092
702.96/660.70	o 395085082
704.17/661.94	o 395066692
704.87/662.67	o 395066682
706.60/663.94	o 395048292
707.50/664.84	o 395048282
709.50/666.83	o 394790669
710.30/667.61	o 394772269
711.20/668.52	o 394753869
712.20/669.56	o 394735469
713.40/670.72	o 394717069
714.60/671.93	o 394698669
716.31/673.64	o 394496249
717.72/675.04	o 394477849
721.31/678.03	o 394459449
723.90/680.63	o 394441049
738.87/695.04	o 394422649
739.46/695.66	o 394422639
741.16/697.38	o 394404239
741.76/697.98	o 394385849
742.36/698.58	o 394385839
744.16/700.34	o 394367449
744.76/700.92	o 394367439
747.41/703.05	o 393981054
748.00/703.67	o 393962664
748.60/704.27	o 393944254
749.20/704.88	o 393925864
749.80/705.48	o 393925854
750.41/706.08	o 393907464
751.11/706.70	o 393889064
751.71/707.30	o 393870674
752.31/707.95	o 393870673
752.91/708.54	o 393870664
753.52/709.14	o 393852274
754.11/709.78	o 393852264
754.81/710.42	o 393833874
755.61/711.20	o 393833864
756.21/711.81	o 393815474
756.91/712.55	o 393815464
760.78/715.89	o 393815454
761.58/716.64	o 393797064
762.18/717.25	o 393797054
762.99/718.03	o 393778673
763.58/718.63	o 393778663
764.28/719.36	o 393760274
764.98/720.04	o 393760264
765.78/720.82	o 393760263
766.48/721.55	o 393741874
767.09/722.12	o 393741864
767.78/722.81	o 393741863
770.69/725.73	o 393741854
772.69/727.78	o 393741853
775.15/729.62	o 393723454
783.56/738.02	o 393723453
785.05/739.55	o 393705054
786.95/741.48	o 393686663
789.36/743.40	o 393686654
791.57/745.56	o 393686645
794.27/748.22	o 393668255
797.08/751.09	o 393668254
799.68/753.69	o 393649864
826.26/778.93	o 393613064
829.06/781.79	o 393594664
833.10/785.16	o 393594655
841.59/793.67	o 393576255
852.33/803.78	o 393502644
853.13/804.52	o 393484254
853.74/805.17	o 393484244
854.44/805.84	o 393465854
857.13/808.54	o 393465844
857.83/809.25	o 393447454
862.30/813.02	o 393429054
864.90/815.67	o 393410654
873.31/824.09	o 393410647
899.68/849.20	o 393392257
902.35/851.32	o 393392247
904.16/853.15	o 393373857
906.16/855.19	o 393373847
908.06/857.05	o 393337056
909.65/858.63	o 393318657
911.65/860.68	o 393318656
913.25/862.25	o 393300257
915.92/864.36	o 393300247
930.48/878.21	o 393300244
962.85/909.59	o 393300238
964.85/911.58	o 393281838
968.15/914.31	o 393263438
970.96/917.15	o 393245038
976.56/922.78	o 393226638
979.76/926.00	o 393208238
986.39/932.09	o 393189847
988.08/933.79	o 393189842
989.40/935.01	o 393171442
991.19/936.87	o 393153057
993.62/938.73	o 393153048
995.32/940.43	o 393153042
1003.24/947.85	o 393134642
1004.95/949.52	o 393116252
1006.46/951.04	o 393116245
1007.45/952.09	o 393097845
1014.17/958.28	o 393079445
1017.09/961.13	o 393061045
1018.38/962.48	o 393042645
1021.09/965.16	o 392987455
1022.09/966.18	o 392969055
1025.91/969.46	o 392950639
1026.90/970.50	o 392932239
1030.10/973.62	o 392913839
1036.00/979.50	o 392877039
1039.62/982.60	o 392858639
1065.63/1007.79	o 392840239
1069.94/1012.05	o 392821848
1071.83/1014.00	o 392821839
1073.83/1015.91	o 392803439
1075.89/1017.57	o 392785030
1079.90/1021.42	o 392766630
1083.51/1025.10	o 392748247
1088.17/1029.27	o 392748239
1091.78/1032.89	o 392729839
1094.27/1035.37	o 392711449
1097.24/1037.81	o 392693049
1099.45/1040.09	o 392693039
1101.75/1042.33	o 392674639
1107.25/1047.89	o 392656239
1131.47/1071.09	o 392601039
1164.29/1102.70	o 392582639
1173.66/1111.56	o 392564239
1175.16/1113.05	o 392545839
1178.46/1115.88	o 392527439
1180.67/1118.10	o 392509039
1182.07/1119.44	o 392490639
1189.57/1126.98	o 392490637
1192.07/1129.46	o 392490629
1202.82/1139.67	o 392472247
1227.08/1162.78	o 392435457
1228.68/1164.36	o 392435454
1268.85/1202.35	o 392417063
1269.35/1202.83	o 392398663
1270.35/1203.88	o 392380263
1273.75/1207.23	o 392361863
1281.58/1214.45	o 392343453
1290.94/1223.22	o 392325071
1291.85/1224.16	o 392325062
1293.54/1225.86	o 392325061
1294.54/1226.80	o 392325052
1298.65/1230.92	o 392306671
1299.95/1232.21	o 392306662
1301.45/1233.71	o 392306661
1302.88/1234.63	o 392306652
1321.03/1252.22	o 392306651
1324.94/1256.16	o 392288251
1327.33/1258.52	o 392269861
1330.16/1260.84	o 392251461
1332.27/1262.91	o 392251452
1334.77/1265.41	o 392233052
1345.20/1275.38	o 392233042
1367.52/1296.51	o 392233032
1369.03/1298.06	o 392233023
1370.23/1299.22	o 392196233
1387.73/1316.15	o 392177833
1391.32/1319.74	o 392159443
1400.11/1327.93	o 392122643
1401.52/1329.32	o 392104260
1404.17/1331.35	o 392104253
1407.27/1334.44	o 392067453
1415.91/1343.05	o 392049053
1417.10/1344.21	o 392049043
1419.61/1346.19	o 392030643
1421.80/1348.35	o 392012243
1427.30/1353.85	o 391993843
1428.80/1355.37	o 391975443
1431.01/1357.55	o 391957043
1441.48/1367.42	o 391938643
1443.09/1369.09	o 391920252
1444.95/1370.38	o 391920243
1446.86/1372.21	o 391901843
1449.06/1374.41	o 391883443
1452.77/1378.17	o 391865052
1455.63/1380.44	o 391865043
1457.73/1382.57	o 391846643
1460.43/1385.22	o 391828250
1463.34/1388.15	o 391791459
1467.72/1391.95	o 391773077
1471.23/1395.45	o 391754677
1486.09/1409.76	o 391717877
1503.51/1426.56	o 391699498
1505.82/1428.20	o 391681088
1509.02/1431.42	o 391662688
1512.42/1434.85	o 391662678
1525.42/1447.25	o 391644278
1528.12/1449.92	o 391625878
1538.69/1459.96	o 391607478
1540.20/1461.45	o 391589078
1545.69/1466.92	o 391589058
1546.50/1467.79	o 391589051
1549.50/1470.17	o 391589042
1552.20/1472.85	o 391570651
1553.50/1474.19	o 391570642
1557.79/1478.41	o 391552251
1559.75/1479.88	o 391552242
1562.15/1482.30	o 391533851
1563.15/1483.20	o 391533842
1565.76/1485.86	o 391533835
1568.07/1488.15	o 391515444
1578.62/1498.18	o 391515441
1581.11/1500.65	o 391497051
1583.52/1503.10	o 391497041
1589.38/1508.33	o 391478641
1592.18/1511.12	o 391423440
1601.01/1519.82	o 391405041
1601.81/1520.67	o 391386641
1604.42/1522.67	o 391368241
1610.52/1528.79	o 391349841
1613.02/1531.20	o 391331441
1615.52/1533.78	o 391313041
1621.60/1536.70	o 391294641
1623.20/1538.32	o 391276231
1626.80/1541.92	o 391257841
1636.00/1550.65	o 391239441
1637.00/1551.69	o 391239433
1651.58/1565.67	o 391239423
1652.68/1566.78	o 391221026
1654.79/1568.34	o 391221017
1657.29/1570.87	o 391202617
1659.99/1573.57	o 391184217
1662.90/1576.44	o 391165817
1673.04/1586.02	o 391110617
1689.15/1601.68	o 391092217
1700.17/1612.15	o 391073842
1705.27/1617.21	o 391055442
1707.37/1619.31	o 391037048
1709.69/1621.14	o 391018658
1729.71/1640.69	o 391018649
1733.50/1644.47	o 391000249
1739.80/1650.16	o 391000242
1741.40/1651.79	o 390981842
1744.71/1655.05	o 390963442
1748.10/1658.40	o 390945052
1752.99/1662.75	o 390945042
1761.70/1671.45	o 390926652
1764.10/1673.24	o 390926637
1765.91/1675.05	o 390908237
1768.30/1677.48	o 390889837
1775.72/1684.89	o 390871437
1777.92/1686.41	o 390853047
1785.12/1693.66	o 390853037
1787.83/1696.37	o 390834637
1790.53/1699.07	o 390816237
1794.10/1702.02	o 390797837
1797.10/1705.07	o 390779437
1799.70/1707.64	o 390761047
1803.40/1711.33	o 390724247
1807.81/1715.12	o 390705847
1817.92/1725.21	o 390687457
1819.52/1726.85	o 390687447
1821.45/1728.12	o 390669057
1836.76/1742.83	o 390669047
1839.26/1745.32	o 390650647
1842.33/1747.85	o 390632247
1845.44/1750.97	o 390613847
1848.04/1753.51	o 390613837
1849.94/1755.42	o 390595437
1852.14/1757.65	o 390577037
1858.22/1763.11	o 390558647
1859.51/1764.44	o 390540285
1860.51/1765.42	o 390540284
1862.12/1767.03	o 390540275
1863.18/1767.50	o 390540274
1865.08/1769.47	o 390540265
1867.28/1771.65	o 390540264
1872.28/1776.65	o 390521875
1874.38/1778.78	o 390521874
1876.59/1780.97	o 390521865
1878.55/1782.34	o 390521864
1903.52/1806.16	o 390485076
1905.31/1807.90	o 390485066
1908.21/1810.84	o 390485065
1912.52/1815.13	o 390466675
1916.31/1818.93	o 390466665
1921.18/1823.28	o 390466656
1925.18/1827.23	o 390448266
1930.95/1832.41	o 390448256
1932.06/1833.57	o 390429866
1933.67/1835.20	o 390411466
1935.76/1837.22	o 390393066
1937.76/1839.27	o 390374666
1940.51/1841.43	o 390356266
1942.72/1843.64	o 390337866
1944.82/1845.76	o 390319466
1945.62/1846.54	o 390301066
1947.72/1848.62	o 390282666
1950.72/1851.65	o 390282658
1974.83/1874.68	o 390264287
1975.63/1875.48	o 390264277
1983.80/1883.09	o 390264275
1984.49/1883.77	o 390245884
1985.09/1884.36	o 390245875
1990.38/1889.62	o 390227501
1990.79/1890.05	o 390227485
1993.30/1891.96	o 390227475
1997.20/1895.82	o 390209094
2001.01/1899.64	o 390209085
2013.87/1912.00	o 390209083
2017.58/1915.60	o 390209073
2020.29/1917.80	o 390190683
2022.88/1920.44	o 390172293
2025.49/1923.04	o 390172283
2026.98/1924.54	o 390153893
2029.19/1926.76	o 390135493
2031.89/1929.43	o 390117093
2034.99/1932.08	o 390117085
2038.38/1935.46	o 390098685
2044.36/1940.96	o 390098683
2044.66/1941.23	o 390098676
2055.16/1951.27	o 390080283
2055.56/1951.62	o 390080276
2060.36/1956.46	o 390061883
2060.66/1956.78	o 390061876
2067.24/1962.82	o 390043476
2075.75/1971.30	o 390025076
2082.14/1977.28	o 390006676
2084.64/1979.77	o 389988276
2086.55/1981.65	o 389969875
2090.96/1986.01	o 389951485
2096.54/1991.10	o 389933085
2098.83/1993.38	o 389914706
2102.13/1996.63	o 389896306
2108.47/2002.49	o 389877906
2110.67/2004.60	o 389859506
2116.09/2010.03	o 389841107
2120.48/2014.43	o 389841106
2126.16/2019.50	o 389749126
2127.46/2020.86	o 389712310
2130.87/2024.23	o 389693910
2135.17/2028.57	o 389675520
2140.41/2033.20	o 389675510
2144.11/2036.93	o 389657120
2150.01/2042.81	o 389638729
2155.02/2047.34	o 389620320
2159.62/2051.97	o 389583520
2160.42/2052.77	o 389583504
2165.33/2057.68	o 389583494
2170.56/2062.34	o 389546704
2174.76/2066.51	o 389528304
2180.46/2072.27	o 389491510
2189.48/2080.78	o 389491500
2193.01/2083.77	o 389473100
2198.81/2089.55	o 389454700
2202.01/2092.77	o 389436309
2203.32/2094.03	o 389436300
2206.63/2096.81	o 389417900
2218.14/2107.88	o 389381110
2219.45/2109.18	o 389362700
2225.05/2114.75	o 389344300
2236.55/2125.65	o 389344290
2254.51/2143.07	o 389325890
2258.10/2146.66	o 389325880
2264.17/2152.19	o 389307490
2273.26/2161.25	o 389289090
2279.91/2167.38	o 389289050
2281.01/2168.46	o 389289042
2284.82/2172.25	o 389252242
2288.73/2176.13	o 389233842
2294.16/2181.07	o 389233832
2298.54/2185.49	o 389215437
2302.34/2189.28	o 389215432
2302.74/2189.60	o 389197032
2305.45/2192.36	o 389197023
2308.87/2195.21	o 389197006
2310.97/2197.31	o 389178642
2312.87/2199.29	o 389178632
2315.17/2201.52	o 389178606
2316.57/2202.92	o 389160225
2324.29/2210.17	o 389141825
2329.99/2215.88	o 389123434
2333.89/2219.78	o 389105034
2337.89/2223.73	o 389105024
2341.61/2226.93	o 389086624
2344.82/2230.18	o 389068224
2347.82/2233.15	o 389049824
2349.82/2235.14	o 388994643
2352.11/2237.43	o 388976243
2357.43/2242.13	o 388976233
2364.92/2249.68	o 388976224
2370.46/2254.67	o 388976219
2374.17/2258.36	o 388957828
2377.77/2261.98	o 388957823
2380.48/2264.64	o 388939466
2382.78/2266.99	o 388921076
2386.23/2269.82	o 388921066
2390.14/2273.72	o 388902676
2391.33/2274.90	o 388884276
2411.93/2294.38	o 388865885
2412.03/2294.47	o 388865876
2432.40/2314.24	o 388847482
2435.91/2317.72	o 388847472
2438.41/2320.23	o 388829072
2441.91/2323.73	o 388810672
2445.19/2326.45	o 388792262
2449.69/2330.91	o 388773872
2453.90/2335.19	o 388773862
2459.17/2339.93	o 388755479
2463.24/2343.97	o 388755478
2478.54/2358.65	o 388737089
2480.84/2360.97	o 388737081
2501.41/2380.94	o 388718691
2520.09/2398.40	s SATISFIABLE
2520.09/2398.41	v <instantiation>
2520.09/2398.41	v 	<list>
2520.09/2398.41	v 		f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v1[1425] v1[1426] v1[1427] v1[1428] v1[1429] v1[1430] v1[1431] v1[1432] v1[1433] v1[1434] v1[1435] v1[1436] v1[1437] v1[1438] v1[1439] v1[1440] v1[1441] v1[1442] v1[1443] v1[1444] v1[1445] v1[1446] v1[1447] v1[1448] v1[1449] v1[1450] v1[1451] v1[1452] v1[1453] v1[1454] v1[1455] v1[1456] v1[1457] v1[1458] v1[1459] v1[1460] v1[1461] v1[1462] v1[1463] v1[1464] v1[1465] v1[1466] v1[1467] v1[1468] v1[1469] v1[1470] v1[1471] v1[1472] v1[1473] v1[1474] v1[1475] v1[1476] v1[1477] v1[1478] v1[1479] v1[1480] v1[1481] v1[1482] v1[1483] v1[1484] v1[1485] v1[1486] v1[1487] v1[1488] v1[1489] v1[1490] v1[1491] v1[1492] v1[1493] v1[1494] v1[1495] v1[1496] v1[1497] v1[1498] v1[1499] v1[1500] v1[1501] v1[1502] v1[1503] v1[1504] v1[1505] v1[1506] v1[1507] v1[1508] v1[1509] v1[1510] v1[1511] v1[1512] v1[1513] v1[1514] v1[1515] v1[1516] v1[1517] v1[1518] v1[1519] v1[1520] v1[1521] v1[1522] v1[1523] v1[1524] v1[1525] v1[1526] v1[1527] v1[1528] v1[1529] v1[1530] v1[1531] v1[1532] v1[1533] v1[1534] v1[1535] v1[1536] v1[1537] v1[1538] v1[1539] v1[1540] v1[1541] v1[1542] v1[1543] v1[1544] v1[1545] v1[1546] v1[1547] v1[1548] v1[1549] v1[1550] v1[1551] v1[1552] v1[1553] v1[1554] v1[1555] v1[1556] v1[1557] v1[1558] v1[1559] v1[1560] v1[1561] v1[1562] v1[1563] v1[1564] v1[1565] v1[1566] v1[1567] v1[1568] v1[1569] v1[1570] v1[1571] v1[1572] v1[1573] v1[1574] v1[1575] v1[1576] v1[1577] v1[1578] v1[1579] v1[1580] v1[1581] v1[1582] v1[1583] v1[1584] v1[1585] v1[1586] v1[1587] v1[1588] v1[1589] v1[1590] v1[1591] v1[1592] v1[1593] v1[1594] v1[1595] v1[1596] v1[1597] v1[1598] v1[1599] v1[1600] v1[1601] v1[1602] v1[1603] v1[1604] v1[1605] v1[1606] v1[1607] v1[1608] v1[1609] v1[1610] v1[1611] v1[1612] v1[1613] v1[1614] v1[1615] v1[1616] v1[1617] v1[1618] v1[1619] v1[1620] v1[1621] v1[1622] v1[1623] v1[1624] v1[1625] v1[1626] v1[1627] v1[1628] v1[1629] v1[1630] v1[1631] v1[1632] v1[1633] v1[1634] v1[1635] v1[1636] v1[1637] v1[1638] v1[1639] v1[1640] v1[1641] v1[1642] v1[1643] v1[1644] v1[1645] v1[1646] v1[1647] v1[1648] v1[1649] v1[1650] v1[1651] v1[1652] v1[1653] v1[1654] v1[1655] v1[1656] v1[1657] v1[1658] v1[1659] v1[1660] v1[1661] v1[1662] v1[1663] v1[1664] v1[1665] v1[1666] v1[1667] v1[1668] v1[1669] v1[1670] v1[1671] v1[1672] v1[1673] v1[1674] v1[1675] v1[1676] v1[1677] v1[1678] v1[1679] v1[1680] v1[1681] v1[1682] v1[1683] v1[1684] v1[1685] v1[1686] v1[1687] v1[1688] v1[1689] v1[1690] v1[1691] v1[1692] v1[1693] v1[1694] v1[1695] v1[1696] v1[1697] v1[1698] v1[1699] v1[1700] v1[1701] v1[1702] v1[1703] v1[1704] v1[1705] v1[1706] v1[1707] v1[1708] v1[1709] v1[1710] v1[1711] v1[1712] v1[1713] v1[1714] v1[1715] v1[1716] v1[1717] v1[1718] v1[1719] v1[1720] v1[1721] v1[1722] v1[1723] v1[1724] v1[1725] v1[1726] v1[1727] v1[1728] v1[1729] v1[1730] v1[1731] v1[1732] v1[1733] v1[1734] v1[1735] v1[1736] v1[1737] v1[1738] v1[1739] v1[1740] v1[1741] v1[1742] v1[1743] v1[1744] v1[1745] v1[1746] v1[1747] v1[1748] v1[1749] v1[1750] v1[1751] v1[1752] v1[1753] v1[1754] v1[1755] v1[1756] v1[1757] v1[1758] v1[1759] v1[1760] v1[1761] v1[1762] v1[1763] v1[1764] v1[1765] v1[1766] v1[1767] v1[1768] v1[1769] v1[1770] v1[1771] v1[1772] v1[1773] v1[1774] v1[1775] v1[1776] v1[1777] v1[1778] v1[1779] v1[1780] v1[1781] v1[1782] v1[1783] v1[1784] v1[1785] v1[1786] v1[1787] v1[1788] v1[1789] v1[1790] v1[1791] v1[1792] v1[1793] v1[1794] v1[1795] v1[1796] v1[1797] v1[1798] v1[1799] v1[1800] v1[1801] v1[1802] v1[1803] v1[1804] v1[1805] v1[1806] v1[1807] v1[1808] v1[1809] v1[1810] v1[1811] v1[1812] v1[1813] v1[1814] v1[1815] v1[1816] v1[1817] v1[1818] v1[1819] v1[1820] v1[1821] v1[1822] v1[1823] v1[1824] v1[1825] v1[1826] v1[1827] v1[1828] v1[1829] v1[1830] v1[1831] v1[1832] v1[1833] v1[1834] v1[1835] v1[1836] v1[1837] v1[1838] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] v2[1425] v2[1426] v2[1427] v2[1428] v2[1429] v2[1430] v2[1431] v2[1432] v2[1433] v2[1434] v2[1435] v2[1436] v2[1437] v2[1438] v2[1439] v2[1440] v2[1441] v2[1442] v2[1443] v2[1444] v2[1445] v2[1446] v2[1447] v2[1448] v2[1449] v2[1450] v2[1451] v2[1452] v2[1453] v2[1454] v2[1455] v2[1456] v2[1457] v2[1458] v2[1459] v2[1460] v2[1461] v2[1462] v2[1463] v2[1464] v2[1465] v2[1466] v2[1467] v2[1468] v2[1469] v2[1470] v2[1471] v2[1472] v2[1473] v2[1474] v2[1475] v2[1476] v2[1477] v2[1478] v2[1479] v2[1480] v2[1481] v2[1482] v2[1483] v2[1484] v2[1485] v2[1486] v2[1487] v2[1488] v2[1489] v2[1490] v2[1491] v2[1492] v2[1493] v2[1494] v2[1495] v2[1496] v2[1497] v2[1498] v2[1499] v2[1500] v2[1501] v2[1502] v2[1503] v2[1504] v2[1505] v2[1506] v2[1507] v2[1508] v2[1509] v2[1510] v2[1511] v2[1512] v2[1513] v2[1514] v2[1515] v2[1516] v2[1517] v2[1518] v2[1519] v2[1520] v2[1521] v2[1522] v2[1523] v2[1524] v2[1525] v2[1526] v2[1527] v2[1528] v2[1529] v2[1530] v2[1531] v2[1532] v2[1533] v2[1534] v2[1535] v2[1536] v2[1537] v2[1538] v2[1539] v2[1540] v2[1541] v2[1542] v2[1543] v2[1544] v2[1545] v2[1546] v2[1547] v2[1548] v2[1549] v2[1550] v2[1551] v2[1552] v2[1553] v2[1554] v2[1555] v2[1556] v2[1557] v2[1558] v2[1559] v2[1560] v2[1561] v2[1562] v2[1563] v2[1564] v2[1565] v2[1566] v2[1567] v2[1568] v2[1569] v2[1570] v2[1571] v2[1572] v2[1573] v2[1574] v2[1575] v2[1576] v2[1577] v2[1578] v2[1579] v2[1580] v2[1581] v2[1582] v2[1583] v2[1584] v2[1585] v2[1586] v2[1587] v2[1588] v2[1589] v2[1590] v2[1591] v2[1592] v2[1593] v2[1594] v2[1595] v2[1596] v2[1597] v2[1598] v2[1599] v2[1600] v2[1601] v2[1602] v2[1603] v2[1604] v2[1605] v2[1606] v2[1607] v2[1608] v2[1609] v2[1610] v2[1611] v2[1612] v2[1613] v2[1614] v2[1615] v2[1616] v2[1617] v2[1618] v2[1619] v2[1620] v2[1621] v2[1622] v2[1623] v2[1624] v2[1625] v2[1626] v2[1627] v2[1628] v2[1629] v2[1630] v2[1631] v2[1632] v2[1633] v2[1634] v2[1635] v2[1636] v2[1637] v2[1638] v2[1639] v2[1640] v2[1641] v2[1642] v2[1643] v2[1644] v2[1645] v2[1646] v2[1647] v2[1648] v2[1649] v2[1650] v2[1651] v2[1652] v2[1653] v2[1654] v2[1655] v2[1656] v2[1657] v2[1658] v2[1659] v2[1660] v2[1661] v2[1662] v2[1663] v2[1664] v2[1665] v2[1666] v2[1667] v2[1668] v2[1669] v2[1670] v2[1671] v2[1672] v2[1673] v2[1674] v2[1675] v2[1676] v2[1677] v2[1678] v2[1679] v2[1680] v2[1681] v2[1682] v2[1683] v2[1684] v2[1685] v2[1686] v2[1687] v2[1688] v2[1689] v2[1690] v2[1691] v2[1692] v2[1693] v2[1694] v2[1695] v2[1696] v2[1697] v2[1698] v2[1699] v2[1700] v2[1701] v2[1702] v2[1703] v2[1704] v2[1705] v2[1706] v2[1707] v2[1708] v2[1709] v2[1710] v2[1711] v2[1712] v2[1713] v2[1714] v2[1715] v2[1716] v2[1717] v2[1718] v2[1719] v2[1720] v2[1721] v2[1722] v2[1723] v2[1724] v2[1725] v2[1726] v2[1727] v2[1728] v2[1729] v2[1730] v2[1731] v2[1732] v2[1733] v2[1734] v2[1735] v2[1736] v2[1737] v2[1738] v2[1739] v2[1740] v2[1741] v2[1742] v2[1743] v2[1744] v2[1745] v2[1746] v2[1747] v2[1748] v2[1749] v2[1750] v2[1751] v2[1752] v2[1753] v2[1754] v2[1755] v2[1756] v2[1757] v2[1758] v2[1759] v2[1760] v2[1761] v2[1762] v2[1763] v2[1764] v2[1765] v2[1766] v2[1767] v2[1768] v2[1769] v2[1770] v2[1771] v2[1772] v2[1773] v2[1774] v2[1775] v2[1776] v2[1777] v2[1778] v2[1779] v2[1780] v2[1781] v2[1782] v2[1783] v2[1784] v2[1785] v2[1786] v2[1787] v2[1788] v2[1789] v2[1790] v2[1791] v2[1792] v2[1793] v2[1794] v2[1795] v2[1796] v2[1797] v2[1798] v2[1799] v2[1800] v2[1801] v2[1802] v2[1803] v2[1804] v2[1805] v2[1806] v2[1807] v2[1808] v2[1809] v2[1810] v2[1811] v2[1812] v2[1813] v2[1814] v2[1815] v2[1816] v2[1817] v2[1818] v2[1819] v2[1820] v2[1821] v2[1822] v2[1823] v2[1824] v2[1825] v2[1826] v2[1827] v2[1828] v2[1829] v2[1830] v2[1831] v2[1832] v2[1833] v2[1834] v2[1835] v2[1836] v2[1837] v2[1838] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[1420] d[1421] d[1422] d[1423] d[1424] d[1425] d[1426] d[1427] d[1428] d[1429] d[1430] d[1431] d[1432] d[1433] d[1434] d[1435] d[1436] d[1437] d[1438] d[1439] d[1440] d[1441] d[1442] d[1443] d[1444] d[1445] d[1446] d[1447] d[1448] d[1449] d[1450] d[1451] d[1452] d[1453] d[1454] d[1455] d[1456] d[1457] d[1458] d[1459] d[1460] d[1461] d[1462] d[1463] d[1464] d[1465] d[1466] d[1467] d[1468] d[1469] d[1470] d[1471] d[1472] d[1473] d[1474] d[1475] d[1476] d[1477] d[1478] d[1479] d[1480] d[1481] d[1482] d[1483] d[1484] d[1485] d[1486] d[1487] d[1488] d[1489] d[1490] d[1491] d[1492] d[1493] d[1494] d[1495] d[1496] d[1497] d[1498] d[1499] d[1500] d[1501] d[1502] d[1503] d[1504] d[1505] d[1506] d[1507] d[1508] d[1509] d[1510] d[1511] d[1512] d[1513] d[1514] d[1515] d[1516] d[1517] d[1518] d[1519] d[1520] d[1521] d[1522] d[1523] d[1524] d[1525] d[1526] d[1527] d[1528] d[1529] d[1530] d[1531] d[1532] d[1533] d[1534] d[1535] d[1536] d[1537] d[1538] d[1539] d[1540] d[1541] d[1542] d[1543] d[1544] d[1545] d[1546] d[1547] d[1548] d[1549] d[1550] d[1551] d[1552] d[1553] d[1554] d[1555] d[1556] d[1557] d[1558] d[1559] d[1560] d[1561] d[1562] d[1563] d[1564] d[1565] d[1566] d[1567] d[1568] d[1569] d[1570] d[1571] d[1572] d[1573] d[1574] d[1575] d[1576] d[1577] d[1578] d[1579] d[1580] d[1581] d[1582] d[1583] d[1584] d[1585] d[1586] d[1587] d[1588] d[1589] d[1590] d[1591] d[1592] d[1593] d[1594] d[1595] d[1596] d[1597] d[1598] d[1599] d[1600] d[1601] d[1602] d[1603] d[1604] d[1605] d[1606] d[1607] d[1608] d[1609] d[1610] d[1611] d[1612] d[1613] d[1614] d[1615] d[1616] d[1617] d[1618] d[1619] d[1620] d[1621] d[1622] d[1623] d[1624] d[1625] d[1626] d[1627] d[1628] d[1629] d[1630] d[1631] d[1632] d[1633] d[1634] d[1635] d[1636] d[1637] d[1638] d[1639] d[1640] d[1641] d[1642] d[1643] d[1644] d[1645] d[1646] d[1647] d[1648] d[1649] d[1650] d[1651] d[1652] d[1653] d[1654] d[1655] d[1656] d[1657] d[1658] d[1659] d[1660] d[1661] d[1662] d[1663] d[1664] d[1665] d[1666] d[1667] d[1668] d[1669] d[1670] d[1671] d[1672] d[1673] d[1674] d[1675] d[1676] d[1677] d[1678] d[1679] d[1680] d[1681] d[1682] d[1683] d[1684] d[1685] d[1686] d[1687] d[1688] d[1689] d[1690] d[1691] d[1692] d[1693] d[1694] d[1695] d[1696] d[1697] d[1698] d[1699] d[1700] d[1701] d[1702] d[1703] d[1704] d[1705] d[1706] d[1707] d[1708] d[1709] d[1710] d[1711] d[1712] d[1713] d[1714] d[1715] d[1716] d[1717] d[1718] d[1719] d[1720] d[1721] d[1722] d[1723] d[1724] d[1725] d[1726] d[1727] d[1728] d[1729] d[1730] d[1731] d[1732] d[1733] d[1734] d[1735] d[1736] d[1737] d[1738] d[1739] d[1740] d[1741] d[1742] d[1743] d[1744] d[1745] d[1746] d[1747] d[1748] d[1749] d[1750] d[1751] d[1752] d[1753] d[1754] d[1755] d[1756] d[1757] d[1758] d[1759] d[1760] d[1761] d[1762] d[1763] d[1764] d[1765] d[1766] d[1767] d[1768] d[1769] d[1770] d[1771] d[1772] d[1773] d[1774] d[1775] d[1776] d[1777] d[1778] d[1779] d[1780] d[1781] d[1782] d[1783] d[1784] d[1785] d[1786] d[1787] d[1788] d[1789] d[1790] d[1791] d[1792] d[1793] d[1794] d[1795] d[1796] d[1797] d[1798] d[1799] d[1800] d[1801] d[1802] d[1803] d[1804] d[1805] d[1806] d[1807] d[1808] d[1809] d[1810] d[1811] d[1812] d[1813] d[1814] d[1815] d[1816] d[1817] d[1818] d[1819] d[1820] d[1821] d[1822] d[1823] d[1824] d[1825] d[1826] d[1827] d[1828] d[1829] d[1830] d[1831] d[1832] d[1833] d[1834] d[1835] d[1836] d[1837] d[1838]
2520.09/2398.41	v 	</list>
2520.09/2398.41	v 	<values>
2520.09/2398.41	v 		2428 2356 2220 2760 2424 2584 2664 2820 2424 2760 2800 2760 2744 2700 2456 2512 2612 2500 2596 2596 2432 2800 2700 2596 2756 2764 2816 2720 2664 2760 2732 2780 2760 2500 2468 2700 2676 2560 2776 2608 2740 2472 2232 2456 2616 2468 2528 2616 2764 2624 2576 2712 2780 2628 2784 2452 2468 2672 2556 2460 2600 2592 2508 2560 2800 2264 2632 2768 2484 2800 2664 2740 2312 2488 2752 2668 2608 2720 2468 2464 2512 2684 2556 2468 2444 2640 2268 2792 2800 2584 2760 2680 2272 2316 2584 2420 2220 2556 2524 2660 2340 2808 2680 2576 2468 2496 2820 2800 2776 2624 2524 2640 2460 2320 2484 2640 2304 2760 2800 2660 2500 2644 2576 2280 2644 2628 2412 2232 2244 2344 2488 2484 2420 2704 2472 2292 2544 2760 2540 2284 2716 2472 2616 2528 2736 2740 2560 2600 2260 2260 2800 2468 2496 2796 2804 2612 2260 2800 2220 2672 2308 2620 2472 2632 2716 2552 2300 2508 2460 2652 2756 2384 2260 2676 2684 2520 2420 2544 2760 2768 2260 2468 2272 2636 2664 2504 2800 2504 2452 2580 2460 2432 2648 2760 2800 2420 2648 2720 2524 2428 2592 2804 2700 2472 2696 2716 2516 2304 2796 2612 2764 2644 2744 2624 2772 2544 2684 2760 2680 2676 2740 2428 2620 2728 2780 2508 2652 2600 2388 2428 2332 2380 2624 2800 2604 2724 2436 2476 2352 2512 2220 2760 2384 2428 2544 2600 2484 2432 2724 2760 2424 2392 2736 2784 2380 2492 2652 2588 2428 2220 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 11 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 1 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 1 1 0 1 1 1 1 0 0 1 0 0 1 0 0 1 0 1 1 1 1 0 0 1 1 1 0 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 0 1 1 1 1 0 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 1 1 0 1 0 0 1 1 1 0 0 1 1 1 1 0 1 1 1 1 1 0 1 0 1 0 1 1 0 1 1 1 1 0 1 1 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 1 0 0 1 0 1 1 1 0 0 0 0 1 1 1 1 0 0 0 1 1 0 1 0 1 1 0 0 0 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 1 0 1 1 1 1 1 1 0 0 0 1 0 1 1 0 1 0 1 1 1 0 1 1 0 0 1 0 0 0 0 1 0 1 1 1 0 1 1 0 1 0 0 1 0 1 1 1 0 1 0 1 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 1 1 1 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 0 1 1 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 1 1 0 1 0 1 1 1 1 0 0 1 1 0 1 1 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 1 1 1 0 1 1 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 0 0 0 1 1 1 1 0 0 1 1 0 0 0 1 1 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 0 1 0 0 1 1 0 0 0 0 1 0 1 1 0 1 1 0 0 1 1 0 0 1 1 1 0 0 1 0 1 0 0 1 1 0 1 1 1 0 1 0 0 0 1 1 0 1 1 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 0 0 1 1 1 1 0 1 0 0 1 1 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 1 0 0 1 1 1 1 1 1 0 1 1 0 1 0 0 1 1 1 0 0 0 0 1 1 1 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 1 0 1 0 1 1 1 0 0 1 1 1 0 0 0 1 1 0 1 0 1 0 1 0 0 0 1 0 1 1 1 0 0 0 0 1 0 1 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 0 1 0 1 1 1 1 1 0 1 1 0 1 0 1 0 0 0 1 1 0 1 0 1 1 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 1 0 1 1 0 1 0 1 1 1 0 1 0 0 0 0 1 1 0 1 0 0 1 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 1 0 0 1 1 1 1 1 1 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 1 1 0 1 1 1 1 0 1 0 1 0 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 1 1 0 1 0 1 1 1 0 1 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 1 0 0 1 0 0 1 0 1 1 1 0 1 0 0 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 1 1 0 1 1 1 1 0 0 1 0 1 0 1 0 1 1 1 0 0 0 1 1 1 0 1 1 1 0 1 0 1 0 0 1 1 0 0 1 0 0 1 1 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 0 1 1 1 0 1 1 1 0 1 0 1 0 1 0 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 0 1 1 0 0 1 0 1 0 1 0 0 1 1 1 0 0 0 1 0 1 1 1 1 0 1 0 0 1 0 0 0 1 1 1 0 0 0 1 0 1 1 0 1 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 1 0 1 1 1 0 1 1 0 0 0 0 0 1 1 0 1 1 1 1 1 1 0 0 1 1 0 1 0 1 1 0 1 0 0 1 1 0 0 0 0 1 1 1 0 1 1 0 0 1 0 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 0 0 0 1 1 0 1 1 0 1 0 0 1 1 1 0 0 1 1 0 1 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 1 1 0 1 1 0 1 1 0 0 1 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 1 0 0 1 0 0 0 1 1 1 0 0 1 0 1 1 0 1 0 0 0 1 1 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 1 1 1 1 1 0 1 1 0 0 1 1 0 0 1 1 1 0 1 1 0 1 1 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 0 0 1 1 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 1 0 1 1 1 1 1 0 0 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 1 1 1 1 1 0 0 0 1 1 1 0 1 0 1 1 1 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 1 1 1 1 0 1 1 1 1 1 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 0 1 0 0 1 0 1 1 0 0 1 0 1 1 1 0 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 0 1 0 1 1 1 0 1 1 1 1 0 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 0 0 1 0 0 1 0 1 0 1 1 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 10 0 0 10 0 0 0 0 0 10 0 10 10 0 0 10 0 10 10 10 10 10 10 0 10 10 10 0 0 10 10 0 0 10 0 0 0 10 0 0 0 0 0 10 10 10 10 0 0 10 10 0 0 0 0 10 10 0 10 10 10 0 0 0 0 0 0 10 0 0 0 10 10 0 10 0 10 10 10 0 10 10 10 10 9 0 10 0 9 10 0 0 10 0 10 10 10 10 0 0 10 10 10 0 0 0 10 10 0 10 0 0 10 10 0 10 0 10 0 0 10 10 0 0 0 10 10 10 10 0 10 0 10 10 10 10 0 10 10 10 10 10 0 10 0 10 0 10 0 10 0 0 10 10 0 10 0 10 10 0 0 10 10 10 0 10 0 0 10 10 10 0 0 10 10 10 10 0 10 10 10 10 10 0 10 0 10 0 10 10 0 10 10 10 10 0 10 10 0 0 10 0 10 0 0 0 10 0 10 10 0 0 10 0 10 0 10 10 0 0 10 10 0 10 10 0 0 10 0 10 10 10 0 0 0 0 10 10 10 10 0 0 0 10 10 0 10 0 10 10 0 0 0 0 10 10 0 10 10 0 0 10 10 0 0 0 0 0 0 0 10 10 0 0 0 10 0 10 10 0 10 10 10 10 10 10 0 0 0 10 0 10 10 0 10 0 10 10 10 0 10 10 0 0 10 0 0 0 0 10 0 10 10 10 0 10 10 0 10 0 0 10 0 10 10 10 0 10 0 10 10 10 10 10 0 10 10 10 0 0 0 10 0 0 8 0 10 0 10 10 10 10 10 0 4 0 0 10 0 10 0 10 0 10 0 0 0 0 10 10 10 10 0 0 0 0 10 0 10 10 0 0 10 0 0 10 10 0 0 0 0 0 0 10 0 10 10 0 0 0 0 10 0 0 10 0 0 10 10 0 0 10 0 10 0 0 10 10 0 10 10 10 0 10 0 10 10 10 10 0 0 10 10 0 10 10 10 10 0 10 0 10 10 0 10 0 0 0 0 0 0 0 10 0 0 10 10 0 0 10 0 10 10 10 10 0 10 10 0 0 0 10 0 10 10 0 0 0 10 0 0 0 10 0 0 10 0 0 10 0 10 0 10 0 0 0 10 10 0 0 0 0 0 0 0 0 10 0 10 0 10 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 10 10 10 0 10 0 10 10 0 10 10 0 10 0 10 10 0 10 0 0 0 10 10 10 10 0 0 10 10 0 0 0 10 10 0 10 6 10 10 0 0 0 10 0 0 0 0 0 10 0 10 0 10 10 10 0 0 0 0 0 0 10 0 0 10 0 10 10 10 0 0 0 10 0 0 0 10 10 10 10 10 10 10 0 0 0 0 0 0 0 0 0 0 10 10 0 10 10 10 10 0 10 0 0 10 10 0 0 0 0 10 0 10 10 0 10 10 0 0 10 10 0 0 10 10 10 0 0 10 0 10 0 0 10 10 0 10 10 10 0 10 3 0 0 10 10 0 10 10 10 10 0 0 10 10 0 10 0 0 10 10 0 0 10 0 0 0 10 10 10 10 0 10 0 0 10 10 0 0 0 0 10 0 0 10 10 10 10 10 10 10 10 10 10 0 0 0 10 0 10 0 0 10 10 10 10 10 10 0 10 10 0 10 0 0 10 10 10 0 0 0 0 10 10 10 0 0 0 0 10 10 10 0 0 0 0 10 10 0 0 0 10 0 10 0 10 10 10 0 0 10 10 10 0 0 0 10 10 10 10 0 10 0 10 0 0 0 10 0 10 10 10 0 0 0 0 10 0 10 0 0 10 10 10 10 10 10 10 10 0 0 0 10 10 0 10 0 10 10 10 10 10 0 10 10 0 10 0 10 0 0 0 10 10 0 10 0 10 10 10 10 0 10 0 0 10 0 10 10 0 0 10 0 10 10 10 0 10 10 0 10 0 10 10 10 0 10 0 0 0 0 10 10 0 10 0 0 10 10 10 0 0 0 0 10 10 0 0 10 10 0 0 10 10 10 8 10 10 0 0 10 0 0 0 0 10 0 0 0 0 0 0 10 0 10 10 0 0 0 0 10 0 10 0 10 0 0 10 10 10 10 10 10 10 0 10 0 0 0 0 0 0 10 0 10 10 0 10 10 10 0 10 10 10 10 0 10 0 10 0 10 10 0 0 0 0 10 0 10 0 10 0 0 0 0 0 10 10 10 10 0 10 0 10 10 10 0 10 10 0 0 10 0 0 0 10 10 10 10 0 0 0 0 10 0 10 10 0 10 0 0 10 0 0 0 0 0 0 0 0 10 0 10 0 10 0 10 0 0 10 10 0 0 10 10 10 0 0 10 0 0 10 0 10 10 10 0 10 0 0 10 0 10 10 10 10 10 10 10 10 0 10 10 10 10 10 0 10 0 0 10 0 0 0 0 10 0 0 0 10 0 0 0 0 10 10 0 0 10 10 0 10 10 10 10 0 0 10 0 10 0 10 0 10 10 10 0 0 0 10 10 10 0 10 10 10 0 10 0 10 0 0 10 10 0 0 10 0 0 10 10 10 0 0 0 10 10 0 10 0 0 0 10 0 0 10 0 0 10 0 0 0 0 10 10 0 10 10 10 0 10 10 10 0 10 9 10 0 10 0 10 10 10 0 0 10 10 0 0 10 10 0 10 0 10 0 0 10 10 0 0 0 10 10 0 0 10 0 10 0 10 0 0 10 10 10 0 0 0 10 0 10 10 10 10 10 10 0 0 10 0 0 0 10 10 10 0 0 0 10 0 10 10 0 10 10 4 10 10 0 0 0 10 0 0 0 10 0 0 0 10 10 0 0 10 0 0 10 0 10 0 10 10 10 0 10 10 0 0 0 0 0 10 10 0 10 10 10 10 10 10 0 0 10 10 0 10 0 10 10 0 10 0 0 10 10 0 0 0 0 10 10 10 0 10 10 0 0 10 0 10 10 10 0 10 10 10 10 10 10 10 0 10 10 10 0 0 0 10 10 0 10 10 0 10 0 0 10 10 10 0 0 10 10 0 10 0 10 0 10 0 0 0 10 0 10 0 0 10 0 10 0 0 0 10 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 10 0 0 0 0 10 10 10 0 10 10 0 10 10 0 0 10 0 0 10 10 0 10 10 10 0 0 0 0 0 0 0 10 10 10 10 10 10 0 0 10 0 10 10 10 0 0 10 0 0 0 10 10 10 0 0 10 0 10 10 0 10 0 0 0 10 10 10 0 0 10 0 10 0 0 10 0 10 10 0 0 10 10 10 10 10 10 0 10 10 0 0 10 10 0 0 10 10 10 0 10 10 0 10 10 0 10 0 0 0 10 0 10 0 0 10 0 0 10 0 10 0 0 10 10 0 10 10 0 0 10 10 10 0 10 10 0 0 0 0 10 10 0 10 10 0 0 0 10 10 10 0 0 0 0 0 0 10 0 10 10 0 10 10 10 10 10 0 0 10 0 10 0 10 0 10 0 10 10 10 10 10 0 10 10 0 10 0 0 10 0 10 0 0 10 0 10 10 0 10 0 0 10 0 10 10 0 0 10 0 10 0 10 10 0 0 10 0 0 10 0 10 10 10 10 10 10 0 0 0 10 10 10 0 10 0 10 10 10 0 0 10 0 0 10 10 0 0 10 0 0 0 0 0 0 10 0 10 10 0 10 0 10 0 10 10 10 10 0 10 10 10 10 10 10 10 0 10 0 0 10 10 0 10 10 0 10 0 0 0 10 0 0 10 0 10 10 0 0 10 0 10 10 10 0 10 0 10 10 0 0 0 0 10 10 10 0 0 0 0 0 0 0 0 0 0 10 0 10 0 10 10 0 0 10 0 10 0 10 0 0 0 0 0 10 0 10 0 0 10 0 10 10 0 10 0 10 10 10 0 0 10 10 0 10 10 10 0 10 0 10 10 10 0 10 10 10 10 0 10 0 10 10 10 0 10 10 10 0 10 10 10 0 10 10 0 0 10 0 1 10 0 10 0 10 10 0 0 10 10 10 0 0 0 10 10 0 0 0 0 0 10 10 10 0 10 0 10 0 0 0 0 10 0 0 0 0 0 10 10 0 10 336 72 336 236 364 156 332 156 196 32 232 40 376 124 332 92 200 220 128 144 116 136 48 308 96 444 188 244 188 244 368 600 204 376 452 340 388 248 420 408 540 504 0 468 256 376 104 152 360 44 368 12 316 164 372 272 252 304 228 176 24 48 140 268 364 96 264 176 96 132 92 156 144 40 364 40 152 92 156 240 152 112 196 400 96 144 196 332 232 208 352 312 188 588 352 172 600 172 184 152 204 376 12 36 348 200 376 0 152 40 204 292 60 136 116 480 272 340 44 36 44 84 44 408 80 344 536 0 332 256 0 540 164 328 188 40 76 40 212 372 144 96 448 92 292 40 64 284 368 44 16 24 48 16 32 104 272 56 524 236 96 120 312 80 40 72 280 480 288 216 100 240 428 248 176 228 100 24 164 124 168 272 76 76 236 84 52 80 248 244 196 32 228 88 44 204 68 40 228 124 88 160 188 4 116 116 352 36 0 116 68 124 40 292 184 88 16 100 184 136 80 196 296 240 120 140 28 68 44 68 36 336 36 4 24 88 140 168 136 32 84 44 212 28 48 184 36 204 212 40 136 144 168 376 164 128 24 92 108 284 364 204 288 40 284 44 52 80 272 332 8 480 340 0 420 76 80 100 32 236 60 216 408 440 440 100 400 60 184 140 68 112 124 40 328 280 28 296 204 136 164 52 216 168 148 300 44 16 268 272 268 336 472 140 236 484 72 248 44 280 64 256 4 280 296 104 84 444 120 520 504 268 336 372 584 364 96 372 544 472 344 60 36 92 40 60 248 252 32 40 300 80 144 16 4 252 212 44 96 40 328 56 212 8 156 88 136 392 44 260 84 300 496 0 48 292 184 288 540 208 4 340 28 156 140 236 92 428 212 280 48 304 352 512 248 188 560 308 180 132 356 304 160 56 288 144 232 300 64 4 372 156 248 200 28 188 260 160 144 28 196 100 72 236 8 140 296 0 0 212 164 292 180 212 248 468 64 428 360 100 228 96 60 84 404 372 76 12 248 56 88 92 296 220 100 68 180 8 116 92 104 240 244 184 176 16 128 340 176 512 252 304 556 504 24 24 16 124 152 172 8 8 56 120 200 32 348 140 104 36 44 192 116 44 252 20 156 36 252 440 16 320 104 4 32 4 360 16 4 16 8 320 332 224 252 4 180 392 352 392 308 12 444 288 568 196 72 276 372 120 100 312 8 16 300 344 192 304 152 280 148 352 132 348 144 156 372 100 184 184 8 156 124 148 16 164 272 284 0 4 108 292 208 156 40 16 256 96 68 20 80 192 112 276 108 96 152 92 140 100 72 12 156 300 144 56 16 120 68 96 356 148 112 156 124 500 80 36 36 120 80 344 292 8 156 48 80 116 240 364 176 72 320 176 136 36 104 20 116 92 184 104 96 268 44 104 32 72 124 148 184 152 252 244 72 396 188 72 112 88 132 252 28 92 324 88 320 72 332 108 360 236 256 84 168 28 20 12 52 68 28 168 56 124 48 168 112 24 296 300 108 356 140 212 36 16 72 160 232 220 196 348 196 64 276 232 20 252 44 236 4 164 184 216 112 228 88 16 164 160 28 44 64 20 152 60 72 292 84 184 236 32 88 68 148 160 60 92 160 252 56 188 124 68 72 228 128 292 96 120 84 100 140 224 44 120 152 280 72 200 140 308 340 340 216 80 196 248 160 172 84 36 96 52 120 28 88 160 128 0 84 60 212 40 292 32 292 12 236 296 188 288 116 4 216 92 80 16 148 328 144 268 112 92 176 288 36 64 124 76 128 28 132 8 580 520 456 312 200 540 540 296 340 100 124 76 64 376 496 312 472 476 536 348 168 48 28 8 168 160 92 200 16 108 32 208 244 32 32 140 152 32 296 104 120 252 436 388 224 72 276 196 44 224 320 184 24 100 152 260 56 132 252 104 336 580 276 300 184 148 32 176 148 352 152 16 192 64 364 0 204 16 332 12 12 80 496 440 356 236 64 232 228 312 176 328 316 428 52 120 448 288 412 180 20 68 312 272 204 68 36 188 132 272 248 196 412 8 532 104 52 56 12 372 128 316 276 28 92 436 448 36 368 124 184 276 68 140 112 20 348 68 40 180 196 152 228 176 144 400 80 76 236 36 80 72 292 120 388 96 332 332 292 108 236 148 208 8 124 292 40 24 120 244 180 8 204 32 156 4 184 44 320 72 12 16 228 204 164 260 0 60 40 464 84 240 72 144 264 12 44 296 52 24 32 184 200 324 212 20 16 4 164 296 152 248 24 24 200 316 276 236 64 12 372 324 228 76 80 40 136 60 160 80 116 100 216 144 24 292 332 236 192 164 324 472 120 156 112 520 180 108 144 20 160 316 184 492 248 292 44 40 540 348 188 28 288 368 16 176 100 120 212 124 180 148 192 136 40 128 156 260 96 220 180 208 208 420 120 176 36 328 104 528 488 444 12 448 156 228 284 192 68 360 368 264 144 424 72 364 264 176 60 60 8 112 212 160 200 40 220 80 52 380 160 84 96 124 56 460 420 84 72 308 412 432 536 496 380 160 96 84 56 116 248 64 136 52 128 40 88 12 176 276 52 292 180 4 264 128 68 220 152 256 96 44 136 8 24 4 144 40 480 364 128 132 44 80 420 460 420 88 384 120 348 164 340 388 340 216 12 156 416 36 196 172 100 56 56 204 296 196 252 140 16 224 52 140 148 356 248 0 332 292 28 216 260 76 152 180 104 68 196 540 336 292 348 344 0 328 32 152 4 120 484 24 128 304 52 424 52 396 140 152 48 136 180 52 292 136 36 88 224 16 88 48 132 212 20 4 64 420 16 36 212 164 96 24 212 152 44 32 56 84 108 128 168 152 296 380 152 408 72 156 16 12 188 176 136 20 32 56 160 60 276 104 160 32 136 188 212 96 40 144 340 340 168 44 240 456 440 204 80 124 116 132 264 40 140 156 108 180 0 152 124 408 16 164 152 64 224 228 80 28 192 48 92 196 112 180 236 284 232 360 92 128 140 228 276 68 72 144 148 184 64 336 524 60 392 140 416 464 264 520 444 232 308 184 384 100 176 372 160 24 136 208 100 156 24 128 244 124 108 408 148 220 348 152 92 48 180 316 368 420 568 568 532 368 280 552 392 412 84 416 164 12 260 196 104 36 104 232 16 152 140 28 200 100 380 88 88 176 484 396 12 80 80 320 244 192 272 252 168 356 136 224 12 216 360 332 360 172 48 72 196 36 180 192 208 108 376 456 540 68 228 16 84 80 84 112 432 64 360 368 64 296 264 64 332 20 200 172 20 176 44 44 172 72 128 116 180 4 36 284 8 108 120 272 120 56 268 252 148 100 308 116 24 304 480 104 60 140 92 100 160 36 180 132 196 84 20 140 40 540 484 420 392 92 132 40 160 500 256 248 92 148 0 4 56 372 468 324 248 8 40 136 32 40 112 180 272 224 24 148 128 104 240 4 344 112 364 300 156 352 60 92 156 192 148 188 416 260 160 244 252 340 152 28 72 196 416 372 536 300 372 576 460 364 220 244 156 28 128 196 72 84 312 328 356 196 452 208 336 416 280 320 160 76 116 168 24 76 20 328 48 312 20 372 88 168 68 160 64 128 412 204 412 208 84 36 288 324 44 292 280 208 212 220 168 52 168 128 296 116 80 144 92 80 184 92 44 232 260 344 160 120 464 132 28 248 200 84 224 36 120 76 56 44 296 280 4 340 380 116 200 204 304 236 164 240 276 4 260 12 340 8 36 252 164 40 44 24 376 328 240 156 60 44 144 36 256 80 280 60 52 76 140 40 68 96 20 112 84 380 124 256 212 236 76 116 348 24 120 192 160 148 192 180 196 64 56 72 248 348 4 100 292 156 4 124 112 4 104 40 236 20 428 324 284 76 116 352 380 112 32 256 120 284 208 176 40 16 20 216 88 116 224 160 152 60 100 376 472 292 80 168 68 308 172 292 28 84 244 72 380 124 300 36 12 88 384 332 100 8 44 160 20 524 156 196 176 188 100 12 36 36 56 80 248 96 276 44 196 240 352 224 172 372 48 76 332 232 180 164 216 508 128 56 124 148 216 0 268 124 36 172 332 36 392 420 380 104 208 160 128 296 92 176 324 272 8 356 160 108 160 52 56 24 108 
2520.09/2398.41	v 	</values>
2520.09/2398.41	v </instantiation>

Verifier Data 

OK	388718691

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308696-1534300858/watcher-4308696-1534300858 -o /tmp/evaluation-result-4308696-1534300858/solver-4308696-1534300858 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534293443-21972 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1523412004 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308696-1534300858.xml 

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

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

solver pid=22722, runsolver pid=22719

[startup+0.100597 s]*
/proc/loadavg: 1.79 1.39 1.35 3/215 22737
/proc/meminfo: memFree=23818120/32770624 swapFree=67108372/67108860
[pid=22722] ppid=22719 vsize=14082736 memory=32096 CPUtime=0.11 cores=0,2,4,6
/proc/22722/stat : 22722 (java) S 22719 22722 21941 0 -1 1077944320 6922 0 0 0 10 1 0 0 20 0 15 0 247649067 14420721664 7958 33554432000 4194304 4196468 140734482985840 140734482968384 140346897223415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
/proc/22722/statm: 3520684 7958 3136 1 0 3482761 0
[pid=22722/tid=22724] ppid=22719 vsize=14082736 memory=-6966717417093883519 CPUtime=0.09 cores=0,2,4,6
/proc/22722/task/22724/stat : 22724 (java) R 22719 22722 21941 0 -1 4202560 5066 0 0 0 8 1 0 0 20 0 15 0 247649067 14420721664 8024 33554432000 4194304 4196468 140734482985840 140346901418392 140346877499229 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22725] ppid=22719 vsize=14082736 memory=5793855445791689145 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22725/stat : 22725 (java) S 22719 22722 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247649068 14420721664 8090 33554432000 4194304 4196468 140734482985840 140346849844112 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22726] ppid=22719 vsize=14082736 memory=140194781795968 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22726/stat : 22726 (java) S 22719 22722 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247649068 14420721664 8090 33554432000 4194304 4196468 140734482985840 140346848791312 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22727] ppid=22719 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22727/stat : 22727 (java) S 22719 22722 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247649068 14420721664 8090 33554432000 4194304 4196468 140734482985840 140346491333776 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22728] ppid=22719 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22728/stat : 22728 (java) S 22719 22722 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247649068 14420721664 8090 33554432000 4194304 4196468 140734482985840 140346490280976 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22729] ppid=22719 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22729/stat : 22729 (java) S 22719 22722 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247649069 14420721664 8090 33554432000 4194304 4196468 140734482985840 140346078955632 140346897234562 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22730] ppid=22719 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22730/stat : 22730 (java) S 22719 22722 21941 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 247649070 14420721664 8090 33554432000 4194304 4196468 140734482985840 140346077901600 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22731] ppid=22719 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22731/stat : 22731 (java) S 22719 22722 21941 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 247649070 14420721664 8090 33554432000 4194304 4196468 140734482985840 140346076849264 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22732] ppid=22719 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22732/stat : 22732 (java) S 22719 22722 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247649072 14420721664 8090 33554432000 4194304 4196468 140734482985840 140346075797584 140346897242011 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22733] ppid=22719 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22733/stat : 22733 (java) S 22719 22722 21941 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 247649072 14420721664 8090 33554432000 4194304 4196468 140734482985840 140346074745456 140346897234562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22734] ppid=22719 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22734/stat : 22734 (java) S 22719 22722 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247649072 14420721664 8090 33554432000 4194304 4196468 140734482985840 140346073692656 140346897234562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22735] ppid=22719 vsize=14082736 memory=140194781795968 CPUtime=0.01 cores=0,2,4,6
/proc/22722/task/22735/stat : 22735 (java) S 22719 22722 21941 0 -1 1077944384 243 0 0 0 1 0 0 0 20 0 15 0 247649072 14420721664 8090 33554432000 4194304 4196468 140734482985840 140346072640368 140346897234562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22736] ppid=22719 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22736/stat : 22736 (java) S 22719 22722 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247649073 14420721664 8156 33554432000 4194304 4196468 140734482985840 140346071587808 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22737] ppid=22719 vsize=14082736 memory=140194781795968 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22737/stat : 22737 (java) S 22719 22722 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247649073 14420721664 8156 33554432000 4194304 4196468 140734482985840 140346070534576 140346897234562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32096 KiB

[startup+0.210314 s]*
/proc/loadavg: 1.79 1.39 1.35 5/215 22737
/proc/meminfo: memFree=23802516/32770624 swapFree=67108372/67108860
[pid=22722] ppid=22719 vsize=14082736 memory=46568 CPUtime=0.3 cores=0,2,4,6
/proc/22722/stat : 22722 (java) S 22719 22722 21941 0 -1 1077944320 10269 0 0 0 28 2 0 0 20 0 15 0 247649067 14420721664 11642 33554432000 4194304 4196468 140734482985840 140734482968384 140346897223415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
/proc/22722/statm: 3520684 11642 3356 1 0 3482761 0
[pid=22722/tid=22724] ppid=22719 vsize=14082736 memory=6735269665583770266 CPUtime=0.19 cores=0,2,4,6
/proc/22722/task/22724/stat : 22724 (java) R 22719 22722 21941 0 -1 4202560 8021 0 0 0 18 1 0 0 20 0 15 0 247649067 14420721664 11642 33554432000 4194304 4196468 140734482985840 140346901449664 140346897245341 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22725] ppid=22719 vsize=14082736 memory=4211973920986586506 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22725/stat : 22725 (java) S 22719 22722 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247649068 14420721664 11642 33554432000 4194304 4196468 140734482985840 140346849844112 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22726] ppid=22719 vsize=14082736 memory=140194781795968 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22726/stat : 22726 (java) S 22719 22722 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247649068 14420721664 11642 33554432000 4194304 4196468 140734482985840 140346848791312 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22727] ppid=22719 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22727/stat : 22727 (java) S 22719 22722 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247649068 14420721664 11642 33554432000 4194304 4196468 140734482985840 140346491333776 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22728] ppid=22719 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22728/stat : 22728 (java) S 22719 22722 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247649068 14420721664 11642 33554432000 4194304 4196468 140734482985840 140346490280976 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22729] ppid=22719 vsize=14082736 memory=140194781795968 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22729/stat : 22729 (java) S 22719 22722 21941 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 247649069 14420721664 11642 33554432000 4194304 4196468 140734482985840 140346078955632 140346897234562 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22730] ppid=22719 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22730/stat : 22730 (java) S 22719 22722 21941 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 247649070 14420721664 11642 33554432000 4194304 4196468 140734482985840 140346077901600 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22731] ppid=22719 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22731/stat : 22731 (java) S 22719 22722 21941 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 247649070 14420721664 11642 33554432000 4194304 4196468 140734482985840 140346076849264 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22732] ppid=22719 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22732/stat : 22732 (java) S 22719 22722 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247649072 14420721664 11642 33554432000 4194304 4196468 140734482985840 140346075797584 140346897242011 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22733] ppid=22719 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22733/stat : 22733 (java) R 22719 22722 21941 0 -1 1077944384 328 0 0 0 0 0 0 0 20 0 15 0 247649072 14420721664 11642 33554432000 4194304 4196468 140734482985840 140346074745552 140346897233621 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22734] ppid=22719 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/22722/task/22734/stat : 22734 (java) R 22719 22722 21941 0 -1 4202560 246 0 0 0 1 0 0 0 20 0 15 0 247649072 14420721664 11642 33554432000 4194304 4196468 140734482985840 140346073683040 140346877720432 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22735] ppid=22719 vsize=14082736 memory=140194781795968 CPUtime=0.06 cores=0,2,4,6
/proc/22722/task/22735/stat : 22735 (java) R 22719 22722 21941 0 -1 4202560 301 0 0 0 6 0 0 0 20 0 15 0 247649072 14420721664 11642 33554432000 4194304 4196468 140734482985840 140346072640368 140346897244762 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22736] ppid=22719 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22736/stat : 22736 (java) S 22719 22722 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247649073 14420721664 11642 33554432000 4194304 4196468 140734482985840 140346071587808 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22737] ppid=22719 vsize=14082736 memory=140194781795968 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22737/stat : 22737 (java) S 22719 22722 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247649073 14420721664 11642 33554432000 4194304 4196468 140734482985840 140346070534576 140346897234562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46568 KiB

[startup+0.310549 s]*
/proc/loadavg: 1.79 1.39 1.35 3/215 22737
/proc/meminfo: memFree=23799476/32770624 swapFree=67108372/67108860
[pid=22722] ppid=22719 vsize=14082736 memory=50300 CPUtime=0.43 cores=0,2,4,6
/proc/22722/stat : 22722 (java) S 22719 22722 21941 0 -1 1077944320 10697 0 0 0 41 2 0 0 20 0 15 0 247649067 14420721664 12575 33554432000 4194304 4196468 140734482985840 140734482968384 140346897223415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
/proc/22722/statm: 3520684 12575 3426 1 0 3482761 0
[pid=22722/tid=22724] ppid=22719 vsize=14082736 memory=4871374705135476842 CPUtime=0.3 cores=0,2,4,6
/proc/22722/task/22724/stat : 22724 (java) R 22719 22722 21941 0 -1 4202560 8380 0 0 0 28 2 0 0 20 0 15 0 247649067 14420721664 12575 33554432000 4194304 4196468 140734482985840 140346901432112 140346882389001 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22725] ppid=22719 vsize=14082736 memory=4211973920986586506 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22725/stat : 22725 (java) S 22719 22722 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247649068 14420721664 12575 33554432000 4194304 4196468 140734482985840 140346849844112 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22726] ppid=22719 vsize=14082736 memory=140194781798325 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22726/stat : 22726 (java) S 22719 22722 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247649068 14420721664 12575 33554432000 4194304 4196468 140734482985840 140346848791312 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22727] ppid=22719 vsize=14082736 memory=140194644885445 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22727/stat : 22727 (java) S 22719 22722 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247649068 14420721664 12575 33554432000 4194304 4196468 140734482985840 140346491333776 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22728] ppid=22719 vsize=14082736 memory=140194644872655 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22728/stat : 22728 (java) S 22719 22722 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247649068 14420721664 12575 33554432000 4194304 4196468 140734482985840 140346490280976 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22729] ppid=22719 vsize=14082736 memory=140194781817936 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22729/stat : 22729 (java) S 22719 22722 21941 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 247649069 14420721664 12575 33554432000 4194304 4196468 140734482985840 140346078955632 140346897234562 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22730] ppid=22719 vsize=14082736 memory=140194644881839 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22730/stat : 22730 (java) S 22719 22722 21941 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 247649070 14420721664 12575 33554432000 4194304 4196468 140734482985840 140346077901600 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22731] ppid=22719 vsize=14082736 memory=280389289754512 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22731/stat : 22731 (java) S 22719 22722 21941 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 247649070 14420721664 12575 33554432000 4194304 4196468 140734482985840 140346076849264 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22732] ppid=22719 vsize=14082736 memory=280389289752208 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22732/stat : 22732 (java) S 22719 22722 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247649072 14420721664 12575 33554432000 4194304 4196468 140734482985840 140346075797584 140346897242011 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22733] ppid=22719 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/22722/task/22733/stat : 22733 (java) S 22719 22722 21941 0 -1 1077944384 344 0 0 0 1 0 0 0 20 0 15 0 247649072 14420721664 12575 33554432000 4194304 4196468 140734482985840 140346074745456 140346897234562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22734] ppid=22719 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/22722/task/22734/stat : 22734 (java) S 22719 22722 21941 0 -1 1077944384 268 0 0 0 2 0 0 0 20 0 15 0 247649072 14420721664 12575 33554432000 4194304 4196468 140734482985840 140346073692656 140346897234562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22735] ppid=22719 vsize=14082736 memory=140194781795968 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22735/stat : 22735 (java) S 22719 22722 21941 0 -1 1077944384 323 0 0 0 8 0 0 0 20 0 15 0 247649072 14420721664 12575 33554432000 4194304 4196468 140734482985840 140346072640368 140346897234562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22736] ppid=22719 vsize=14082736 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22736/stat : 22736 (java) S 22719 22722 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247649073 14420721664 12575 33554432000 4194304 4196468 140734482985840 140346071587808 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22737] ppid=22719 vsize=14082736 memory=140194781795968 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22737/stat : 22737 (java) S 22719 22722 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247649073 14420721664 12575 33554432000 4194304 4196468 140734482985840 140346070534576 140346897234562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50300 KiB

[startup+0.700766 s]
/proc/loadavg: 1.79 1.39 1.35 3/215 22737
/proc/meminfo: memFree=23776844/32770624 swapFree=67108372/67108860
[pid=22722] ppid=22719 vsize=14084804 memory=88660 CPUtime=0.99 cores=0,2,4,6
/proc/22722/stat : 22722 (java) S 22719 22722 21941 0 -1 1077944320 17567 0 0 0 95 4 0 0 20 0 15 0 247649067 14422839296 22165 33554432000 4194304 4196468 140734482985840 140734482968384 140346897223415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
/proc/22722/statm: 3521201 22165 3499 1 0 3483273 0
[pid=22722/tid=22724] ppid=22719 vsize=14084804 memory=1220 CPUtime=0.67 cores=0,2,4,6
/proc/22722/task/22724/stat : 22724 (java) R 22719 22722 21941 0 -1 4202560 14824 0 0 0 64 3 0 0 20 0 15 0 247649067 14422839296 22165 33554432000 4194304 4196468 140734482985840 140346901448496 140346881303902 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22725] ppid=22719 vsize=14084804 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22725/stat : 22725 (java) S 22719 22722 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247649068 14422839296 22165 33554432000 4194304 4196468 140734482985840 140346849844112 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22726] ppid=22719 vsize=14084804 memory=868 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22726/stat : 22726 (java) S 22719 22722 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247649068 14422839296 22165 33554432000 4194304 4196468 140734482985840 140346848791312 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22727] ppid=22719 vsize=14084804 memory=7307747153392788800 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22727/stat : 22727 (java) S 22719 22722 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247649068 14422839296 22165 33554432000 4194304 4196468 140734482985840 140346491333776 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22728] ppid=22719 vsize=14084804 memory=8025788831224522324 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22728/stat : 22728 (java) S 22719 22722 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247649068 14422839296 22165 33554432000 4194304 4196468 140734482985840 140346490280976 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22729] ppid=22719 vsize=14084804 memory=6370994028255662167 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22729/stat : 22729 (java) S 22719 22722 21941 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 247649069 14422839296 22165 33554432000 4194304 4196468 140734482985840 140346078955632 140346897234562 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22730] ppid=22719 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22730/stat : 22730 (java) S 22719 22722 21941 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 247649070 14422839296 22165 33554432000 4194304 4196468 140734482985840 140346077901600 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22731] ppid=22719 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22731/stat : 22731 (java) S 22719 22722 21941 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 247649070 14422839296 22165 33554432000 4194304 4196468 140734482985840 140346076849264 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22732] ppid=22719 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22732/stat : 22732 (java) S 22719 22722 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247649072 14422839296 22165 33554432000 4194304 4196468 140734482985840 140346075797584 140346897242011 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22733] ppid=22719 vsize=14084804 memory=229 CPUtime=0.06 cores=0,2,4,6
/proc/22722/task/22733/stat : 22733 (java) S 22719 22722 21941 0 -1 1077944384 518 0 0 0 6 0 0 0 20 0 15 0 247649072 14422839296 22165 33554432000 4194304 4196468 140734482985840 140346074745456 140346897234562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22734] ppid=22719 vsize=14084804 memory=7 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22734/stat : 22734 (java) S 22719 22722 21941 0 -1 1077944384 416 0 0 0 8 0 0 0 20 0 15 0 247649072 14422839296 22165 33554432000 4194304 4196468 140734482985840 140346073692656 140346897234562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22735] ppid=22719 vsize=14084804 memory=706 CPUtime=0.15 cores=0,2,4,6
/proc/22722/task/22735/stat : 22735 (java) S 22719 22722 21941 0 -1 1077944384 428 0 0 0 15 0 0 0 20 0 15 0 247649072 14422839296 22165 33554432000 4194304 4196468 140734482985840 140346072640368 140346897234562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22736] ppid=22719 vsize=14084804 memory=280389289938416 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22736/stat : 22736 (java) S 22719 22722 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247649073 14422839296 22165 33554432000 4194304 4196468 140734482985840 140346071587808 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22737] ppid=22719 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22737/stat : 22737 (java) S 22719 22722 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247649073 14422839296 22165 33554432000 4194304 4196468 140734482985840 140346070534576 140346897234562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88660 KiB

[startup+1.50458 s]
/proc/loadavg: 1.79 1.39 1.35 5/215 22737
/proc/meminfo: memFree=23535396/32770624 swapFree=67108372/67108860
[pid=22722] ppid=22719 vsize=14086852 memory=427468 CPUtime=3.22 cores=0,2,4,6
/proc/22722/stat : 22722 (java) S 22719 22722 21941 0 -1 1077944320 20362 0 0 0 285 37 0 0 20 0 15 0 247649067 14424936448 106867 33554432000 4194304 4196468 140734482985840 140734482968384 140346897223415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
/proc/22722/statm: 3521713 106867 3562 1 0 3483785 0
[pid=22722/tid=22724] ppid=22719 vsize=14086852 memory=0 CPUtime=1.35 cores=0,2,4,6
/proc/22722/task/22724/stat : 22724 (java) R 22719 22722 21941 0 -1 4202560 15301 0 0 0 127 8 0 0 20 0 15 0 247649067 14424936448 106867 33554432000 4194304 4196468 140734482985840 140346901458712 140346528967808 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22725] ppid=22719 vsize=14086852 memory=4947094903439858560 CPUtime=0.11 cores=0,2,4,6
/proc/22722/task/22725/stat : 22725 (java) S 22719 22722 21941 0 -1 1077944384 178 0 0 0 5 6 0 0 20 0 15 0 247649068 14424936448 106867 33554432000 4194304 4196468 140734482985840 140346849844112 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22726] ppid=22719 vsize=14086852 memory=-5935003825295615586 CPUtime=0.09 cores=0,2,4,6
/proc/22722/task/22726/stat : 22726 (java) S 22719 22722 21941 0 -1 1077944384 99 0 0 0 4 5 0 0 20 0 15 0 247649068 14424936448 106867 33554432000 4194304 4196468 140734482985840 140346848791312 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22727] ppid=22719 vsize=14086852 memory=-6585528546044026665 CPUtime=0.1 cores=0,2,4,6
/proc/22722/task/22727/stat : 22727 (java) S 22719 22722 21941 0 -1 1077944384 130 0 0 0 4 6 0 0 20 0 15 0 247649068 14424936448 106867 33554432000 4194304 4196468 140734482985840 140346491333776 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22728] ppid=22719 vsize=14086852 memory=-3472574513799858009 CPUtime=0.11 cores=0,2,4,6
/proc/22722/task/22728/stat : 22728 (java) S 22719 22722 21941 0 -1 1077944384 198 0 0 0 4 7 0 0 20 0 15 0 247649068 14424936448 106867 33554432000 4194304 4196468 140734482985840 140346490280976 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22729] ppid=22719 vsize=14086852 memory=-7522247612632617518 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22729/stat : 22729 (java) S 22719 22722 21941 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 247649069 14424936448 106867 33554432000 4194304 4196468 140734482985840 140346078955632 140346897234562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0

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

/proc/22722/task/22724/stat : 22724 (java) R 22719 22722 21941 0 -1 4202560 275683 0 0 0 222688 79 0 0 20 0 15 0 247649067 14431227904 1539141 33554432000 4194304 4196468 140734482985840 140346901452528 140346538536652 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22725] ppid=22719 vsize=14092996 memory=6156564 CPUtime=33.68 cores=0,2,4,6
/proc/22722/task/22725/stat : 22725 (java) S 22719 22722 21941 0 -1 1077944384 83260 0 0 0 3257 111 0 0 20 0 15 0 247649068 14431227904 1539141 33554432000 4194304 4196468 140734482985840 140346849844112 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22726] ppid=22719 vsize=14092996 memory=6156564 CPUtime=33.65 cores=0,2,4,6
/proc/22722/task/22726/stat : 22726 (java) S 22719 22722 21941 0 -1 1077944384 87153 0 0 0 3256 109 0 0 20 0 15 0 247649068 14431227904 1539141 33554432000 4194304 4196468 140734482985840 140346848791312 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22727] ppid=22719 vsize=14092996 memory=6156564 CPUtime=33.67 cores=0,2,4,6
/proc/22722/task/22727/stat : 22727 (java) S 22719 22722 21941 0 -1 1077944384 84421 0 0 0 3256 111 0 0 20 0 15 0 247649068 14431227904 1539141 33554432000 4194304 4196468 140734482985840 140346491333776 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22728] ppid=22719 vsize=14092996 memory=6156432 CPUtime=33.7 cores=0,2,4,6
/proc/22722/task/22728/stat : 22728 (java) S 22719 22722 21941 0 -1 1077944384 89603 0 0 0 3258 112 0 0 20 0 15 0 247649068 14431227904 1539141 33554432000 4194304 4196468 140734482985840 140346490280976 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22729] ppid=22719 vsize=14092996 memory=6156544 CPUtime=0.58 cores=0,2,4,6
/proc/22722/task/22729/stat : 22729 (java) S 22719 22722 21941 0 -1 1077944384 37563 0 0 0 51 7 0 0 20 0 15 0 247649069 14431227904 1539141 33554432000 4194304 4196468 140734482985840 140346078955632 140346897234562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22730] ppid=22719 vsize=14092996 memory=6156548 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22730/stat : 22730 (java) S 22719 22722 21941 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 247649070 14431227904 1539141 33554432000 4194304 4196468 140734482985840 140346077901664 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22731] ppid=22719 vsize=14092996 memory=6156564 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22731/stat : 22731 (java) S 22719 22722 21941 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 247649070 14431227904 1539141 33554432000 4194304 4196468 140734482985840 140346076849280 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22732] ppid=22719 vsize=14092996 memory=6156564 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22732/stat : 22732 (java) S 22719 22722 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247649072 14431227904 1539141 33554432000 4194304 4196468 140734482985840 140346075797584 140346897242011 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22733] ppid=22719 vsize=14092996 memory=6156548 CPUtime=6.19 cores=0,2,4,6
/proc/22722/task/22733/stat : 22733 (java) S 22719 22722 21941 0 -1 1077944384 46122 0 0 0 615 4 0 0 20 0 15 0 247649072 14431227904 1539141 33554432000 4194304 4196468 140734482985840 140346074745456 140346897234562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22734] ppid=22719 vsize=14092996 memory=220903 CPUtime=5.8 cores=0,2,4,6
/proc/22722/task/22734/stat : 22734 (java) S 22719 22722 21941 0 -1 1077944384 33945 0 0 0 576 4 0 0 20 0 15 0 247649072 14431227904 1539141 33554432000 4194304 4196468 140734482985840 140346073692656 140346897234562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22735] ppid=22719 vsize=14092996 memory=6156564 CPUtime=1.84 cores=0,2,4,6
/proc/22722/task/22735/stat : 22735 (java) S 22719 22722 21941 0 -1 1077944384 43837 0 0 0 178 6 0 0 20 0 15 0 247649072 14431227904 1539141 33554432000 4194304 4196468 140734482985840 140346072640368 140346897234562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22736] ppid=22719 vsize=14092996 memory=6156564 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22736/stat : 22736 (java) S 22719 22722 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247649073 14431227904 1539141 33554432000 4194304 4196468 140734482985840 140346071587808 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22737] ppid=22719 vsize=14092996 memory=6156564 CPUtime=1.3 cores=0,2,4,6
/proc/22722/task/22737/stat : 22737 (java) S 22719 22722 21941 0 -1 1077944384 3364 0 0 0 65 65 0 0 20 0 15 0 247649073 14431227904 1539141 33554432000 4194304 4196468 140734482985840 140346070534576 140346897234562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
Current children cumulated CPU time: 2378.18 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 6156564 KiB

[startup+2322.3 s]
/proc/loadavg: 1.84 1.94 2.11 3/215 22980
/proc/meminfo: memFree=12608120/32770624 swapFree=67108372/67108860
[pid=22722] ppid=22719 vsize=14092996 memory=6167548 CPUtime=2440.51 cores=0,2,4,6
/proc/22722/stat : 22722 (java) S 22719 22722 21941 0 -1 1077944320 803632 0 0 0 243455 596 0 0 20 0 15 0 247649067 14431227904 1541887 33554432000 4194304 4196468 140734482985840 140734482968384 140346897223415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
/proc/22722/statm: 3523249 1541887 3623 1 0 3485321 0
[pid=22722/tid=22724] ppid=22719 vsize=14092996 memory=6167548 CPUtime=2286.89 cores=0,2,4,6
/proc/22722/task/22724/stat : 22724 (java) R 22719 22722 21941 0 -1 4202560 281876 0 0 0 228610 79 0 0 20 0 15 0 247649067 14431227904 1541887 33554432000 4194304 4196468 140734482985840 140346901452528 140346882922519 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22725] ppid=22719 vsize=14092996 memory=6167548 CPUtime=34.45 cores=0,2,4,6
/proc/22722/task/22725/stat : 22725 (java) S 22719 22722 21941 0 -1 1077944384 85262 0 0 0 3333 112 0 0 20 0 15 0 247649068 14431227904 1541887 33554432000 4194304 4196468 140734482985840 140346849844112 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22726] ppid=22719 vsize=14092996 memory=6156776 CPUtime=34.41 cores=0,2,4,6
/proc/22722/task/22726/stat : 22726 (java) S 22719 22722 21941 0 -1 1077944384 89920 0 0 0 3332 109 0 0 20 0 15 0 247649068 14431227904 1541887 33554432000 4194304 4196468 140734482985840 140346848791312 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22727] ppid=22719 vsize=14092996 memory=0 CPUtime=34.43 cores=0,2,4,6
/proc/22722/task/22727/stat : 22727 (java) S 22719 22722 21941 0 -1 1077944384 85722 0 0 0 3332 111 0 0 20 0 15 0 247649068 14431227904 1541887 33554432000 4194304 4196468 140734482985840 140346491333776 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22728] ppid=22719 vsize=14092996 memory=6167416 CPUtime=34.46 cores=0,2,4,6
/proc/22722/task/22728/stat : 22728 (java) S 22719 22722 21941 0 -1 1077944384 92692 0 0 0 3334 112 0 0 20 0 15 0 247649068 14431227904 1541887 33554432000 4194304 4196468 140734482985840 140346490280976 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22729] ppid=22719 vsize=14092996 memory=6167416 CPUtime=0.58 cores=0,2,4,6
/proc/22722/task/22729/stat : 22729 (java) S 22719 22722 21941 0 -1 1077944384 37805 0 0 0 51 7 0 0 20 0 15 0 247649069 14431227904 1541887 33554432000 4194304 4196468 140734482985840 140346078955632 140346897234562 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22730] ppid=22719 vsize=14092996 memory=6167416 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22730/stat : 22730 (java) S 22719 22722 21941 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 247649070 14431227904 1541887 33554432000 4194304 4196468 140734482985840 140346077901664 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22731] ppid=22719 vsize=14092996 memory=6167548 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22731/stat : 22731 (java) S 22719 22722 21941 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 247649070 14431227904 1541887 33554432000 4194304 4196468 140734482985840 140346076849280 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22732] ppid=22719 vsize=14092996 memory=6167548 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22732/stat : 22732 (java) S 22719 22722 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247649072 14431227904 1541887 33554432000 4194304 4196468 140734482985840 140346075797584 140346897242011 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22733] ppid=22719 vsize=14092996 memory=6167548 CPUtime=6.19 cores=0,2,4,6
/proc/22722/task/22733/stat : 22733 (java) S 22719 22722 21941 0 -1 1077944384 46125 0 0 0 615 4 0 0 20 0 15 0 247649072 14431227904 1541887 33554432000 4194304 4196468 140734482985840 140346074745456 140346897234562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22734] ppid=22719 vsize=14092996 memory=6167416 CPUtime=5.8 cores=0,2,4,6
/proc/22722/task/22734/stat : 22734 (java) S 22719 22722 21941 0 -1 1077944384 33952 0 0 0 576 4 0 0 20 0 15 0 247649072 14431227904 1541887 33554432000 4194304 4196468 140734482985840 140346073692656 140346897234562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22735] ppid=22719 vsize=14092996 memory=6167548 CPUtime=1.84 cores=0,2,4,6
/proc/22722/task/22735/stat : 22735 (java) S 22719 22722 21941 0 -1 1077944384 45450 0 0 0 178 6 0 0 20 0 15 0 247649072 14431227904 1541887 33554432000 4194304 4196468 140734482985840 140346072640368 140346897234562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22736] ppid=22719 vsize=14092996 memory=184 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22736/stat : 22736 (java) S 22719 22722 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247649073 14431227904 1541887 33554432000 4194304 4196468 140734482985840 140346071587808 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22737] ppid=22719 vsize=14092996 memory=6167548 CPUtime=1.33 cores=0,2,4,6
/proc/22722/task/22737/stat : 22737 (java) S 22719 22722 21941 0 -1 1077944384 3396 0 0 0 67 66 0 0 20 0 15 0 247649073 14431227904 1541887 33554432000 4194304 4196468 140734482985840 140346070534576 140346897234562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
Current children cumulated CPU time: 2440.51 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 6167548 KiB

[startup+2382.3 s]
/proc/loadavg: 1.98 1.96 2.10 3/215 22988
/proc/meminfo: memFree=12677772/32770624 swapFree=67108372/67108860
[pid=22722] ppid=22719 vsize=14092996 memory=6167568 CPUtime=2503.3 cores=0,2,4,6
/proc/22722/stat : 22722 (java) S 22719 22722 21941 0 -1 1077944320 830472 0 0 0 249731 599 0 0 20 0 15 0 247649067 14431227904 1541892 33554432000 4194304 4196468 140734482985840 140734482968384 140346897223415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
/proc/22722/statm: 3523249 1541892 3623 1 0 3485321 0
[pid=22722/tid=22724] ppid=22719 vsize=14092996 memory=6167564 CPUtime=2345.98 cores=0,2,4,6
/proc/22722/task/22724/stat : 22724 (java) S 22719 22722 21941 0 -1 1077944384 288331 0 0 0 234518 80 0 0 20 0 15 0 247649067 14431227904 1541892 33554432000 4194304 4196468 140734482985840 140346901460112 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22725] ppid=22719 vsize=14092996 memory=6167416 CPUtime=35.34 cores=0,2,4,6
/proc/22722/task/22725/stat : 22725 (java) R 22719 22722 21941 0 -1 4202560 88632 0 0 0 3422 112 0 0 20 0 15 0 247649068 14431227904 1541892 33554432000 4194304 4196468 140734482985840 140346849844312 140346882264374 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22726] ppid=22719 vsize=14092996 memory=6167564 CPUtime=35.32 cores=0,2,4,6
/proc/22722/task/22726/stat : 22726 (java) R 22719 22722 21941 0 -1 4202560 92590 0 0 0 3422 110 0 0 20 0 15 0 247649068 14431227904 1541892 33554432000 4194304 4196468 140734482985840 140346848791312 140346882267535 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22727] ppid=22719 vsize=14092996 memory=6167564 CPUtime=35.33 cores=0,2,4,6
/proc/22722/task/22727/stat : 22727 (java) R 22719 22722 21941 0 -1 4202560 90097 0 0 0 3422 111 0 0 20 0 15 0 247649068 14431227904 1541892 33554432000 4194304 4196468 140734482985840 140346491333776 140346878870986 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22728] ppid=22719 vsize=14092996 memory=6167564 CPUtime=35.36 cores=0,2,4,6
/proc/22722/task/22728/stat : 22728 (java) R 22719 22722 21941 0 -1 4202560 96510 0 0 0 3424 112 0 0 20 0 15 0 247649068 14431227904 1541892 33554432000 4194304 4196468 140734482985840 140346490281176 140346882264374 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22729] ppid=22719 vsize=14092996 memory=6167564 CPUtime=0.58 cores=0,2,4,6
/proc/22722/task/22729/stat : 22729 (java) S 22719 22722 21941 0 -1 1077944384 38062 0 0 0 51 7 0 0 20 0 15 0 247649069 14431227904 1541892 33554432000 4194304 4196468 140734482985840 140346078954144 140346897233621 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22730] ppid=22719 vsize=14092996 memory=6167568 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22730/stat : 22730 (java) S 22719 22722 21941 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 247649070 14431227904 1541892 33554432000 4194304 4196468 140734482985840 140346077901664 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22731] ppid=22719 vsize=14092996 memory=6167564 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22731/stat : 22731 (java) S 22719 22722 21941 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 247649070 14431227904 1541892 33554432000 4194304 4196468 140734482985840 140346076849280 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22732] ppid=22719 vsize=14092996 memory=6167564 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22732/stat : 22732 (java) S 22719 22722 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247649072 14431227904 1541892 33554432000 4194304 4196468 140734482985840 140346075797584 140346897242011 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22733] ppid=22719 vsize=14092996 memory=6167564 CPUtime=6.21 cores=0,2,4,6
/proc/22722/task/22733/stat : 22733 (java) S 22719 22722 21941 0 -1 1077944384 46579 0 0 0 617 4 0 0 20 0 15 0 247649072 14431227904 1541892 33554432000 4194304 4196468 140734482985840 140346074745456 140346897234562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22734] ppid=22719 vsize=14092996 memory=67424 CPUtime=5.84 cores=0,2,4,6
/proc/22722/task/22734/stat : 22734 (java) S 22719 22722 21941 0 -1 1077944384 35760 0 0 0 580 4 0 0 20 0 15 0 247649072 14431227904 1541892 33554432000 4194304 4196468 140734482985840 140346073692656 140346897234562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22735] ppid=22719 vsize=14092996 memory=1100 CPUtime=1.86 cores=0,2,4,6
/proc/22722/task/22735/stat : 22735 (java) S 22719 22722 21941 0 -1 1077944384 48944 0 0 0 180 6 0 0 20 0 15 0 247649072 14431227904 1541892 33554432000 4194304 4196468 140734482985840 140346072640368 140346897234562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22736] ppid=22719 vsize=14092996 memory=6167564 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22736/stat : 22736 (java) S 22719 22722 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247649073 14431227904 1541892 33554432000 4194304 4196468 140734482985840 140346071587808 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22737] ppid=22719 vsize=14092996 memory=6167564 CPUtime=1.38 cores=0,2,4,6
/proc/22722/task/22737/stat : 22737 (java) S 22719 22722 21941 0 -1 1077944384 3535 0 0 0 70 68 0 0 20 0 15 0 247649073 14431227904 1541892 33554432000 4194304 4196468 140734482985840 140346070534576 140346897234562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
Current children cumulated CPU time: 2503.3 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 6167568 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2398.4 s]
/proc/loadavg: 2.20 2.01 2.12 3/215 22988
/proc/meminfo: memFree=12890140/32770624 swapFree=67108372/67108860
[pid=22722] ppid=22719 vsize=14092996 memory=6167588 CPUtime=2520.09 cores=0,2,4,6
/proc/22722/stat : 22722 (java) S 22719 22722 21941 0 -1 1077944320 839052 0 0 0 251408 601 0 0 20 0 15 0 247649067 14431227904 1541897 33554432000 4194304 4196468 140734482985840 140734482968384 140346897223415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
/proc/22722/statm: 3523249 1541897 3623 1 0 3485321 0
[pid=22722/tid=22724] ppid=22719 vsize=14092996 memory=6167588 CPUtime=2361.84 cores=0,2,4,6
/proc/22722/task/22724/stat : 22724 (java) R 22719 22722 21941 0 -1 4202560 290062 0 0 0 236104 80 0 0 20 0 15 0 247649067 14431227904 1541897 33554432000 4194304 4196468 140734482985840 140346901460960 140346537003662 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22725] ppid=22719 vsize=14092996 memory=3812 CPUtime=35.56 cores=0,2,4,6
/proc/22722/task/22725/stat : 22725 (java) S 22719 22722 21941 0 -1 1077944384 91158 0 0 0 3444 112 0 0 20 0 15 0 247649068 14431227904 1541897 33554432000 4194304 4196468 140734482985840 140346849844112 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22726] ppid=22719 vsize=14092996 memory=6791534058613427641 CPUtime=35.55 cores=0,2,4,6
/proc/22722/task/22726/stat : 22726 (java) S 22719 22722 21941 0 -1 1077944384 94928 0 0 0 3445 110 0 0 20 0 15 0 247649068 14431227904 1541897 33554432000 4194304 4196468 140734482985840 140346848791312 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22727] ppid=22719 vsize=14092996 memory=3812 CPUtime=35.56 cores=0,2,4,6
/proc/22722/task/22727/stat : 22727 (java) S 22719 22722 21941 0 -1 1077944384 90748 0 0 0 3445 111 0 0 20 0 15 0 247649068 14431227904 1541897 33554432000 4194304 4196468 140734482985840 140346491333776 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22728] ppid=22719 vsize=14092996 memory=67424 CPUtime=35.59 cores=0,2,4,6
/proc/22722/task/22728/stat : 22728 (java) S 22719 22722 21941 0 -1 1077944384 97557 0 0 0 3446 113 0 0 20 0 15 0 247649068 14431227904 1541897 33554432000 4194304 4196468 140734482985840 140346490280976 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22729] ppid=22719 vsize=14092996 memory=1100 CPUtime=0.59 cores=0,2,4,6
/proc/22722/task/22729/stat : 22729 (java) S 22719 22722 21941 0 -1 1077944384 38309 0 0 0 52 7 0 0 20 0 15 0 247649069 14431227904 1541897 33554432000 4194304 4196468 140734482985840 140346078955632 140346897234562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22730] ppid=22719 vsize=14092996 memory=2144 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22730/stat : 22730 (java) S 22719 22722 21941 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 247649070 14431227904 1541897 33554432000 4194304 4196468 140734482985840 140346077901664 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22731] ppid=22719 vsize=14092996 memory=1752 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22731/stat : 22731 (java) S 22719 22722 21941 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 247649070 14431227904 1541897 33554432000 4194304 4196468 140734482985840 140346076849280 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22732] ppid=22719 vsize=14092996 memory=5540 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22732/stat : 22732 (java) S 22719 22722 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247649072 14431227904 1541897 33554432000 4194304 4196468 140734482985840 140346075797584 140346897242011 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22733] ppid=22719 vsize=14092996 memory=4400 CPUtime=6.21 cores=0,2,4,6
/proc/22722/task/22733/stat : 22733 (java) S 22719 22722 21941 0 -1 1077944384 46583 0 0 0 617 4 0 0 20 0 15 0 247649072 14431227904 1541897 33554432000 4194304 4196468 140734482985840 140346074745456 140346897234562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22734] ppid=22719 vsize=14092996 memory=1620 CPUtime=5.84 cores=0,2,4,6
/proc/22722/task/22734/stat : 22734 (java) S 22719 22722 21941 0 -1 1077944384 35767 0 0 0 580 4 0 0 20 0 15 0 247649072 14431227904 1541897 33554432000 4194304 4196468 140734482985840 140346073692656 140346897234562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22735] ppid=22719 vsize=14092996 memory=928 CPUtime=1.86 cores=0,2,4,6
/proc/22722/task/22735/stat : 22735 (java) S 22719 22722 21941 0 -1 1077944384 48948 0 0 0 180 6 0 0 20 0 15 0 247649072 14431227904 1541897 33554432000 4194304 4196468 140734482985840 140346072640368 140346897234562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22736] ppid=22719 vsize=14092996 memory=488 CPUtime=0 cores=0,2,4,6
/proc/22722/task/22736/stat : 22736 (java) S 22719 22722 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247649073 14431227904 1541897 33554432000 4194304 4196468 140734482985840 140346071587808 140346897233621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
[pid=22722/tid=22737] ppid=22719 vsize=14092996 memory=1616 CPUtime=1.38 cores=0,2,4,6
/proc/22722/task/22737/stat : 22737 (java) S 22719 22722 21941 0 -1 1077944384 3560 0 0 0 70 68 0 0 20 0 15 0 247649073 14431227904 1541897 33554432000 4194304 4196468 140734482985840 140346070534576 140346897234562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 35008512 140734482990164 140734482990345 140734482990345 140734482993103 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 6167588 KiB

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

[startup+2398.46 s]
# the end of solver process 22722 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.11 s, system=6.04714 s

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

Child status: 143
Real time (s): 2398.46
CPU time (s): 2520.16
CPU user time (s): 2514.11
CPU system time (s): 6.04714
CPU usage (%): 105.074
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 6167588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.11
system time used= 6.04714
maximum resident set size= 6168152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 840588
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62130
involuntary context switches= 5105


# summary of solver processes directly reported to runsolver:
#   pid: 22722
#   total CPU time (s): 2520.16
#   total CPU user time (s): 2514.11
#   total CPU system time (s): 6.04714

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7262 second user time and 22.757 second system time

The end

Launcher Data 

Begin job on node137 at 2018-08-15 04:40:59
IDJOB=4308696
IDBENCH=141262
IDSOLVER=2792
FILE ID=node137/4308696-1534300858
RUNJOBID= node137-1534293443-21972
PBS_JOBID= 21038143
Free space on /tmp= 29164 MiB

SOLVER NAME= OscaR - Hybrid 2018-08-14
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-16-0260_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4308696-1534300858/watcher-4308696-1534300858 -o /tmp/evaluation-result-4308696-1534300858/solver-4308696-1534300858 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534293443-21972 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1523412004 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308696-1534300858.xml

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

MD5SUM BENCH= 3d35ef38e8714b8368aba06bbd25b59a
RANDOM SEED=1523412004

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23835248 kB
MemAvailable:   31421600 kB
Buffers:          154744 kB
Cached:          7649412 kB
SwapCached:            8 kB
Active:          4563244 kB
Inactive:        3768684 kB
Active(anon):     475084 kB
Inactive(anon):   113356 kB
Active(file):    4088160 kB
Inactive(file):  3655328 kB
Unevictable:        7432 kB
Mlocked:            7432 kB
SwapTotal:      67108860 kB
SwapFree:       67108372 kB
Dirty:            126216 kB
Writeback:             0 kB
AnonPages:        548132 kB
Mapped:            69232 kB
Shmem:             57816 kB
Slab:             300056 kB
SReclaimable:     271324 kB
SUnreclaim:        28732 kB
KernelStack:        3792 kB
PageTables:         6068 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1347320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    468992 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 28984 MiB
End job on node137 at 2018-08-15 05:20:58