Trace number 4308701

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)231183439 2520.12 2294.37

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-18-0350_c18.xml
MD5SUM970c879d9e656f0525c6818b69538b39
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark162507055
Best CPU time to get the best result obtained on this benchmark68.4417
Satisfiable
(Un)Satisfiability was proved
Number of variables4976
Number of constraints3812
Number of domains49
Minimum domain size1
Maximum domain size151
Distribution of domain sizes[{"size":1,"count":4},{"size":2,"count":1771},{"size":11,"count":1425},{"size":12,"count":1},{"size":21,"count":54},{"size":22,"count":3},{"size":26,"count":5},{"size":27,"count":67},{"size":35,"count":51},{"size":41,"count":8},{"size":42,"count":5},{"size":43,"count":24},{"size":46,"count":13},{"size":47,"count":27},{"size":49,"count":29},{"size":55,"count":18},{"size":69,"count":6},{"size":75,"count":20},{"size":78,"count":3},{"size":82,"count":2},{"size":83,"count":66},{"size":85,"count":10},{"size":86,"count":78},{"size":88,"count":4},{"size":103,"count":37},{"size":111,"count":78},{"size":123,"count":7},{"size":129,"count":11},{"size":134,"count":14},{"size":135,"count":123},{"size":142,"count":28},{"size":143,"count":195},{"size":150,"count":69},{"size":151,"count":720}]
Minimum variable degree2
Maximum variable degree1426
Distribution of variable degrees[{"degree":2,"count":4277},{"degree":3,"count":4},{"degree":4,"count":14},{"degree":5,"count":20},{"degree":6,"count":25},{"degree":7,"count":40},{"degree":8,"count":48},{"degree":9,"count":61},{"degree":10,"count":81},{"degree":11,"count":74},{"degree":12,"count":95},{"degree":13,"count":88},{"degree":14,"count":68},{"degree":15,"count":55},{"degree":16,"count":21},{"degree":17,"count":4},{"degree":1426,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":962},{"arity":3,"count":1425},{"arity":6,"count":1425}]
Number of extensional constraints1425
Number of intensional constraints2387
Distribution of constraint types[{"type":"extension","count":1425},{"type":"intension","count":2387}]
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: 1814002745
0.67/0.55	c timeout: 2520
0.67/0.55	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
29.16/18.19	c Parsing done, starting first complete search...
37.38/22.73	o 241094176
37.38/22.74	o 241079925
37.38/22.75	o 241079916
37.38/22.76	o 241065656
37.38/22.78	o 241065648
37.62/22.80	o 241051396
37.62/22.82	o 241037146
37.62/22.84	o 241022906
37.62/22.85	o 241022896
37.62/22.87	o 241022886
37.62/22.88	o 241008636
37.62/22.89	o 241008626
37.84/22.90	o 240994366
37.84/22.92	o 240980106
37.84/22.94	o 240965846
37.84/22.95	o 240965836
37.84/22.96	o 240951586
37.84/22.98	o 240951585
37.84/22.99	o 240951576
38.04/23.01	o 240937316
38.04/23.05	o 240923102
38.04/23.05	o 240923094
38.04/23.06	o 240923084
38.04/23.06	o 240923076
38.04/23.07	o 240923066
38.04/23.10	o 240908836
38.15/23.11	o 240908826
38.15/23.12	o 240908816
38.15/23.12	o 240908806
38.15/23.15	o 240894564
38.15/23.16	o 240894556
38.15/23.17	o 240894546
38.25/23.25	o 240894537
38.25/23.29	o 240880306
38.35/23.30	o 240880296
38.35/23.31	o 240880287
38.35/23.32	o 240880277
38.35/23.35	o 240866055
38.35/23.36	o 240866047
38.35/23.37	o 240866037
38.35/23.38	o 240866027
38.35/23.38	o 240866017
38.65/23.60	o 240851795
38.65/23.61	o 240851787
38.65/23.61	o 240851777
38.65/23.63	o 240851775
38.65/23.64	o 240851767
38.90/23.84	o 240837562
38.90/23.85	o 240837554
38.90/23.85	o 240837545
38.90/23.86	o 240837535
38.90/23.87	o 240837525
39.00/23.91	o 240837517
40.02/25.00	o 240823322
40.02/25.00	o 240823313
40.13/25.01	o 240823303
40.13/25.01	o 240823294
40.13/25.02	o 240823285
40.13/25.03	o 240823275
40.13/25.04	o 240823265
40.13/25.04	o 240823257
50.77/35.62	o 240809042
50.77/35.63	o 240794782
50.77/35.64	o 240794772
51.07/36.00	o 240794764
52.66/37.57	o 240794754
54.18/39.09	o 240794751
54.18/39.09	o 240794745
54.18/39.10	o 240794737
95.71/77.68	c First complete search done, starting ALNS search...
96.59/78.39	o 240794730
96.81/78.44	o 240794720
96.81/78.49	o 240794715
96.96/78.53	o 240794710
96.96/78.58	o 240794705
97.08/78.62	o 240794700
97.08/78.67	o 240794695
97.30/78.87	o 240780470
97.40/78.92	o 240780460
97.40/78.97	o 240780450
97.51/79.02	o 240780440
97.51/79.07	o 240780435
97.61/79.13	o 240766210
97.61/79.18	o 240766200
97.71/79.23	o 240766190
97.71/79.27	o 240766180
97.81/79.32	o 240766175
97.81/79.38	o 240751950
97.91/79.43	o 240751940
97.91/79.48	o 240751930
98.01/79.53	o 240751925
98.01/79.58	o 240751920
98.11/79.63	o 240751915
98.11/79.69	o 240737690
98.21/79.74	o 240737680
98.21/79.78	o 240737670
98.31/79.83	o 240737660
98.31/79.88	o 240737655
98.41/79.93	o 240737650
98.41/79.98	o 240737645
98.52/80.04	o 240723439
98.52/80.09	o 240723429
98.62/80.14	o 240723419
98.62/80.19	o 240723409
98.74/80.24	o 240723399
98.74/80.29	o 240723390
98.84/80.33	o 240723385
98.84/80.38	o 240709189
98.94/80.43	o 240709180
98.94/80.47	o 240709179
99.04/80.52	o 240709170
99.28/80.75	o 240694920
99.28/80.77	o 240694911
101.10/82.11	o 240680661
101.10/82.15	o 240666401
101.10/82.17	o 240652150
101.10/82.20	o 240652141
101.22/82.22	o 240637881
101.22/82.25	o 240623630
101.22/82.27	o 240623628
101.22/82.29	o 240623621
101.37/82.31	o 240609377
101.37/82.32	o 240609370
101.68/82.61	o 240609369
110.47/91.06	o 240580840
110.47/91.10	o 240566608
110.71/91.29	o 240509569
110.81/91.30	o 240481049
110.81/91.32	o 240452529
111.31/91.88	o 240438300
111.41/91.95	o 240438298
111.53/92.08	o 240438284
111.63/92.13	o 240438282
111.63/92.19	o 240424033
111.73/92.23	o 240424031
111.73/92.29	o 240409793
111.83/92.32	o 240409789
111.83/92.35	o 240409787
111.83/92.39	o 240409780
111.93/92.43	o 240409778
112.30/92.75	o 240395518
112.30/92.77	o 240381266
112.30/92.79	o 240381258
112.41/92.80	o 240367006
112.41/92.82	o 240366998
112.41/92.84	o 240352746
112.51/92.90	o 240352738
112.51/92.92	o 240338486
112.51/93.00	o 240338485
112.62/93.03	o 240324233
112.62/93.05	o 240324226
112.62/93.08	o 240324225
112.62/93.10	o 240309973
112.72/93.13	o 240309966
113.15/93.57	o 240295715
113.25/93.61	o 240295705
113.25/93.69	o 240281455
113.35/93.73	o 240281445
113.66/94.05	o 240281437
113.66/94.10	o 240281436
113.76/94.17	o 240281427
113.85/94.21	o 240267176
114.35/94.72	o 240267167
114.35/94.76	o 240267166
114.45/94.80	o 240267157
114.45/94.84	o 240267156
114.45/94.88	o 240267147
114.55/94.92	o 240267138
117.59/97.13	o 240252946
117.68/97.20	o 240252939
117.68/97.26	o 240252934
117.78/97.39	o 240252931
117.88/97.47	o 240252929
117.98/97.54	o 240252926
118.08/97.60	o 240252923
118.08/97.68	o 240252922
118.18/97.75	o 240252920
118.28/97.83	o 240252917
118.38/97.90	o 240252914
118.49/98.01	o 240252913
118.49/98.09	o 240252912
118.59/98.16	o 240252910
118.68/98.23	o 240252907
118.68/98.29	o 240252904
118.88/98.42	o 240252903
118.88/98.49	o 240252901
118.98/98.56	o 240252898
119.08/98.63	o 240252895
119.18/98.75	o 240252894
119.28/98.85	o 240238686
119.38/98.92	o 240238679
119.38/98.98	o 240238674
119.49/99.04	o 240238671
119.59/99.12	o 240238669
119.59/99.19	o 240238666
119.68/99.26	o 240238663
119.79/99.34	o 240238662
119.89/99.41	o 240238660
119.89/99.48	o 240238657
119.99/99.55	o 240238654
120.09/99.65	o 240238653
120.19/99.73	o 240238652
120.29/99.80	o 240238650
120.29/99.87	o 240238647
120.39/99.95	o 240238644
120.50/100.06	o 240238643
120.60/100.13	o 240238641
120.69/100.20	o 240238638
120.69/100.27	o 240238635
120.89/100.40	o 240238634
120.89/100.49	o 240224426
120.99/100.56	o 240224423
121.09/100.62	o 240224420
121.69/100.82	o 240224419
121.69/100.89	o 240224416
121.80/100.95	o 240224414
121.90/101.02	o 240224411
121.90/101.09	o 240224409
122.00/101.16	o 240224408
122.09/101.22	o 240224406
122.09/101.28	o 240224403
122.19/101.35	o 240224401
122.29/101.42	o 240224399
122.29/101.49	o 240224398
122.39/101.55	o 240224396
122.49/101.61	o 240224393
122.49/101.69	o 240224392
122.59/101.76	o 240224389
122.69/101.83	o 240224387
122.80/101.90	o 240224384
122.80/102.00	o 240224383
122.90/102.07	o 240224381
123.01/102.13	o 240224380
123.01/102.19	o 240224378
123.10/102.26	o 240224375
124.63/103.65	o 240110294
124.63/103.67	o 240096044
124.63/103.69	o 240096034
124.73/103.72	o 240081784
124.73/103.73	o 240081774
124.73/103.77	o 240067534
124.83/103.86	o 240067524
124.83/103.89	o 240067514
124.93/103.93	o 240067504
124.93/103.95	o 240053254
124.93/103.98	o 240053244
124.93/104.00	o 240039004
125.04/104.01	o 240038994
125.04/104.04	o 240024744
125.04/104.06	o 240024734
125.04/104.09	o 240010494
125.15/104.11	o 240010484
125.15/104.12	o 240010474
125.15/104.16	o 239996234
125.15/104.17	o 239996224
125.15/104.18	o 239996214
125.24/104.21	o 239981964
125.24/104.24	o 239981954
125.24/104.29	o 239981944
125.34/104.30	o 239967714
125.34/104.31	o 239967704
125.34/104.33	o 239967694
125.34/104.35	o 239953444
125.34/104.38	o 239953434
125.44/104.42	o 239939184
125.44/104.44	o 239939174
125.44/104.47	o 239939164
125.44/104.49	o 239924924
125.54/104.50	o 239924914
125.54/104.53	o 239924904
125.54/104.55	o 239910664
125.54/104.56	o 239910654
125.54/104.59	o 239896404
125.64/104.60	o 239896394
125.94/104.98	o 239882144
125.94/105.00	o 239882134
127.65/106.16	o 239882133
127.65/106.19	o 239867893
127.65/106.20	o 239867883
127.74/106.27	o 239867874
128.04/106.52	o 239867864
128.04/106.56	o 239853614
128.04/106.58	o 239853604
128.65/107.13	o 239839373
128.65/107.16	o 239839363
128.65/107.19	o 239839353
128.75/107.26	o 239839344
129.66/108.16	o 239825113
129.66/108.17	o 239825103
129.76/108.20	o 239825093
129.90/108.34	o 239825084
130.81/109.22	o 239810863
130.81/109.23	o 239810853
130.81/109.24	o 239810843
131.01/109.45	o 239810834
134.15/111.95	o 239796574
135.44/113.17	o 239782358
135.53/113.22	o 239782350
135.53/113.27	o 239782349
135.63/113.34	o 239782341
135.63/113.38	o 239782340
135.73/113.46	o 239782337
135.83/113.51	o 239782336
135.83/113.57	o 239768103
135.93/113.62	o 239768094
135.93/113.66	o 239768093
136.03/113.72	o 239768084
136.03/113.76	o 239768083
136.13/113.82	o 239768082
136.13/113.86	o 239768076
136.23/113.93	o 239753849
136.23/113.97	o 239753840
136.34/114.01	o 239753834
136.34/114.05	o 239753833
136.34/114.10	o 239753829
136.44/114.14	o 239753823
136.98/114.33	o 239753816
137.13/114.40	o 239753814
137.13/114.46	o 239739573
137.13/114.50	o 239739572
137.23/114.54	o 239739564
137.23/114.58	o 239739563
137.33/114.64	o 239739555
137.33/114.69	o 239739554
137.53/114.80	o 239725306
137.53/114.84	o 239725305
137.53/114.88	o 239725296
137.63/114.96	o 239725294
137.74/115.04	o 239711052
137.74/115.08	o 239711043
137.84/115.14	o 239711035
137.84/115.19	o 239711034
137.93/115.25	o 239696802
137.93/115.29	o 239696801
138.03/115.33	o 239696796
138.03/115.37	o 239696795
138.13/115.41	o 239696792
138.13/115.45	o 239696786
138.13/115.49	o 239696785
138.23/115.53	o 239696783
138.23/115.57	o 239696782
138.33/115.61	o 239696777
138.33/115.65	o 239696776
138.33/115.69	o 239682549
138.43/115.73	o 239682540
138.43/115.78	o 239682534
138.53/115.82	o 239682533
138.53/115.87	o 239682529
138.63/115.91	o 239682523
138.63/115.96	o 239682521
138.63/116.00	o 239682515
138.74/116.05	o 239682514
139.13/116.45	o 239668273
139.13/116.49	o 239668264
139.23/116.54	o 239668263
139.33/116.60	o 239668254
139.43/116.75	o 239668247
139.53/116.80	o 239654015
139.53/116.84	o 239654006
139.53/116.88	o 239654005
139.63/116.92	o 239653996
139.63/116.96	o 239639756
139.63/117.00	o 239639755
139.74/117.04	o 239639746
139.74/117.09	o 239639745
139.84/117.13	o 239639736
139.84/117.18	o 239625502
139.93/117.22	o 239625494
139.93/117.26	o 239625493
140.03/117.31	o 239625484
140.03/117.34	o 239625483
140.03/117.39	o 239611243
140.14/117.43	o 239611234
140.14/117.47	o 239611233
140.24/117.52	o 239611224
140.24/117.56	o 239611223
140.34/117.61	o 239611215
140.34/117.65	o 239611214
140.44/117.71	o 239596982
140.44/117.75	o 239596973
140.54/117.80	o 239596972
140.54/117.84	o 239596964
141.15/118.03	o 239596963
141.15/118.08	o 239596955
141.26/118.12	o 239596954
141.35/118.22	o 239582723
141.35/118.26	o 239582713
141.45/118.30	o 239582704
141.45/118.35	o 239582703
141.55/118.41	o 239582694
141.65/118.50	o 239582688
141.65/118.55	o 239568446
141.65/118.59	o 239568437
141.75/118.64	o 239568436
141.85/118.73	o 239554193
141.85/118.77	o 239554192
141.95/118.81	o 239554183
141.95/118.87	o 239554175
142.05/118.91	o 239554174
142.35/119.20	o 239539942
142.35/119.24	o 239539933
142.35/119.29	o 239539932
142.45/119.33	o 239539924
142.45/119.37	o 239539923
142.55/119.49	o 239539914
143.11/119.96	o 239539868
143.22/120.02	o 239539864
143.22/120.08	o 239539862
143.32/120.14	o 239539859
143.41/120.21	o 239539857
143.41/120.29	o 239539854
143.51/120.37	o 239539852
143.61/120.44	o 239539850
143.71/120.51	o 239539849
145.42/122.21	o 239525589
145.42/122.26	o 239511329
146.44/122.82	o 239511321
146.54/122.92	o 239497069
146.54/122.96	o 239482809
146.54/123.00	o 239468549
146.65/123.05	o 239454289
146.75/123.12	o 239454281
146.84/123.27	o 239440029
146.94/123.31	o 239440021
147.04/123.41	o 239425769
147.14/123.51	o 239425761
147.14/123.57	o 239411509
147.24/123.61	o 239411501
147.65/124.08	o 239397249
147.75/124.13	o 239382989
147.75/124.17	o 239382981
148.04/124.43	o 239382979
148.04/124.47	o 239382971
148.75/125.19	o 239368721
148.84/125.24	o 239368711
148.84/125.29	o 239354461
148.94/125.33	o 239354451
150.77/126.72	o 239340191
151.37/127.38	o 239325939
151.47/127.44	o 239325931
151.67/127.67	o 239311680
151.77/127.72	o 239311671
151.77/127.78	o 239297411
152.37/128.32	o 239283159
152.57/128.54	o 239283151
152.67/128.63	o 239268900
152.67/128.68	o 239268891
152.77/128.75	o 239254631
155.18/130.76	o 239154878
155.18/130.79	o 239140618
155.61/131.12	o 239126358
155.70/131.27	o 239112098
155.90/131.42	o 239097838
156.00/131.57	o 239083578
156.11/131.69	o 239069327
156.21/131.77	o 239069318
156.31/131.89	o 239055068
156.52/132.02	o 239040808
156.91/132.42	o 239040802
157.01/132.52	o 239040800
157.11/132.61	o 239040792
157.21/132.71	o 239040790
157.31/132.81	o 239040782
157.41/132.92	o 239040781
157.52/133.02	o 239040773
157.62/133.12	o 239040771
157.71/133.23	o 239040763
157.81/133.34	o 239040761
158.45/133.91	o 239012251
158.45/133.96	o 238998001
158.85/134.37	o 238997999
159.76/134.71	o 238983766
159.86/134.80	o 238983764
159.86/134.89	o 238983756
159.96/134.99	o 238983749
160.07/135.10	o 238983746
160.26/135.20	o 238983739
160.36/135.33	o 238983738
160.46/135.43	o 238983737
160.56/135.52	o 238983730
160.66/135.69	o 238969497
160.76/135.77	o 238969490
160.86/135.86	o 238969487
160.96/135.95	o 238969480
161.07/136.05	o 238969477
161.17/136.15	o 238969470
161.36/136.31	o 238955245
161.36/136.39	o 238955238
161.46/136.48	o 238955235
161.56/136.57	o 238955228
161.67/136.67	o 238955226
161.77/136.76	o 238955225
161.87/136.85	o 238955218
161.97/136.96	o 238955217
162.08/137.06	o 238955210
162.27/137.22	o 238940985
162.37/137.30	o 238940975
162.47/137.40	o 238940968
162.57/137.50	o 238940966
162.57/137.59	o 238940965
162.67/137.67	o 238940958
163.45/137.94	o 238940957
163.56/138.03	o 238940950
163.66/138.17	o 238926735
163.75/138.24	o 238926725
163.85/138.32	o 238926718
163.95/138.41	o 238926717
163.95/138.49	o 238926710
164.05/138.60	o 238926707
164.25/138.70	o 238926700
164.35/138.82	o 238926698
164.45/138.92	o 238926697
164.56/139.01	o 238926690
165.25/139.75	o 238912465
165.35/139.83	o 238912455
165.45/139.91	o 238912448
165.56/140.03	o 238912445
165.66/140.11	o 238912438
165.75/140.23	o 238912437
165.85/140.32	o 238912430
165.95/140.44	o 238898205
166.05/140.51	o 238898197
166.15/140.60	o 238898190
166.25/140.70	o 238898188
166.25/140.78	o 238898187
166.35/140.85	o 238898180
166.45/140.96	o 238898177
167.21/141.20	o 238898170
168.21/142.22	o 238883938
168.21/142.29	o 238883930
168.31/142.36	o 238883928
168.41/142.42	o 238883920
168.51/142.50	o 238883918
168.51/142.58	o 238883910
168.81/142.82	o 238869685
168.81/142.90	o 238869675
168.91/142.97	o 238869673
169.02/143.05	o 238869665
169.12/143.12	o 238869657
169.21/143.23	o 238869650
169.41/143.48	o 238855418
169.51/143.54	o 238855416
169.61/143.61	o 238855408
169.61/143.67	o 238855406
169.71/143.74	o 238855398
169.81/143.84	o 238855390
170.02/144.07	o 238841165
170.12/144.13	o 238841155
170.69/144.37	o 238841153
170.89/144.44	o 238841145
170.99/144.52	o 238841137
171.09/144.63	o 238841130
171.29/144.89	o 238826905
171.39/144.96	o 238826903
171.50/145.02	o 238826895
173.74/147.22	o 238812635
173.84/147.33	o 238798375
174.45/147.91	o 238769865
174.45/147.99	o 238755615
174.89/148.35	o 238741355
174.89/148.39	o 238727095
175.00/148.41	o 238712835
176.02/149.46	o 238698575
176.12/149.53	o 238684315
177.41/150.22	o 238641565
177.52/150.31	o 238641563
177.82/150.66	o 238627303
178.52/151.39	o 238627286
178.82/151.63	o 238613026
178.92/151.77	o 238598766
179.12/151.98	o 238584514
179.33/152.11	o 238570254
179.42/152.28	o 238555994
179.62/152.44	o 238541743
179.72/152.54	o 238541734
179.92/152.75	o 238527474
180.02/152.89	o 238513223
180.12/152.95	o 238513214
180.33/153.12	o 238498963
180.33/153.18	o 238498954
180.52/153.30	o 238498945
180.62/153.44	o 238484694
180.62/153.46	o 238484685
180.82/153.60	o 238470434
180.82/153.66	o 238470425
181.02/153.85	o 238456174
181.02/153.88	o 238456165
181.23/154.06	o 238456156
181.42/154.24	o 238441896
182.38/154.67	o 238427645
182.48/154.77	o 238427636
182.98/155.22	o 238413378
183.08/155.38	o 238399127
183.18/155.48	o 238399118
183.58/155.89	o 238384867
183.79/156.07	o 238370616
183.89/156.11	o 238370607
184.28/156.52	o 238370605
184.48/156.73	o 238356347
184.68/156.92	o 238342096
184.79/157.02	o 238342087
184.98/157.22	o 238342080
199.95/169.45	o 238327830
200.05/169.51	o 238327820
200.25/169.77	o 238313577
200.35/169.82	o 238313567
200.45/169.91	o 238313560
200.56/170.08	o 238299310
200.66/170.14	o 238299300
200.75/170.23	o 238285057
200.75/170.28	o 238285047
200.85/170.37	o 238285040
201.15/170.67	o 238270797
201.26/170.72	o 238270787
201.36/170.81	o 238270780
201.46/170.92	o 238256537
201.46/170.97	o 238256527
201.57/171.04	o 238256520
203.86/173.34	o 238242277
203.86/173.39	o 238242267
203.96/173.48	o 238242260
211.72/181.15	o 238228017
211.81/181.22	o 238228010
211.81/181.27	o 238228007
211.91/181.35	o 238228000
213.63/183.01	o 238213757
213.63/183.09	o 238213750
213.73/183.18	o 238213747
213.83/183.27	o 238213740
214.53/183.93	o 238199507
214.53/184.01	o 238199500
214.64/184.07	o 238199497
214.74/184.14	o 238199490
214.83/184.21	o 238199487
214.93/184.30	o 238199480
215.43/184.86	o 238185247
215.53/184.90	o 238185237
215.53/184.97	o 238185230
215.64/185.02	o 238185227
215.64/185.10	o 238185220
220.56/189.99	o 238170970
220.77/190.18	o 238156710
220.86/190.27	o 238156709
220.96/190.36	o 238156700
221.06/190.46	o 238142459
221.77/191.16	o 238142405
221.86/191.27	o 238142395
222.72/191.69	o 238142386
222.92/191.88	o 238142385
223.02/191.99	o 238142376
223.32/192.21	o 238128145
223.42/192.32	o 238128135
223.52/192.47	o 238128126
223.82/192.74	o 238128124
224.02/192.94	o 238113893
224.32/193.27	o 238099633
225.03/193.90	o 238042603
225.03/194.00	o 238042598
225.24/194.12	o 238028352
225.43/194.33	o 238014092
228.60/197.04	o 237999813
228.71/197.19	o 237999812
229.30/197.79	o 237985552
229.40/197.87	o 237985551
230.00/198.43	o 237957021
230.10/198.53	o 237942761
230.71/199.17	o 237942760
230.90/199.30	o 237928509
231.50/199.92	o 237928491
231.50/199.99	o 237928481
231.90/200.31	o 237914231
232.00/200.41	o 237914221
233.40/201.38	o 237899990
233.50/201.46	o 237899981
233.60/201.56	o 237899980
233.70/201.64	o 237899971
233.80/201.72	o 237899970
233.80/201.79	o 237899961
234.11/202.02	o 237885720
234.11/202.08	o 237885710
234.21/202.16	o 237885701
240.27/207.73	o 237885692
240.37/207.89	o 237871451
240.47/207.97	o 237871441
242.58/210.05	o 237857201
242.68/210.11	o 237857191
242.68/210.17	o 237857181
243.31/210.47	o 237857172
243.53/210.59	o 237842931
243.63/210.64	o 237842921
244.04/211.04	o 237828671
244.14/211.11	o 237828661
244.33/211.35	o 237828652
244.43/211.45	o 237814411
244.53/211.52	o 237814401
244.73/211.76	o 237800151
244.83/211.82	o 237800141
245.73/212.75	o 237785891
245.83/212.80	o 237785881
246.53/213.50	o 237785872
247.04/214.10	o 237771622
247.14/214.17	o 237771612
249.81/216.34	o 237757362
249.91/216.40	o 237757352
252.81/219.37	o 237743092
254.31/220.84	o 237728824
254.31/220.87	o 237728823
254.41/220.93	o 237728822
255.20/221.21	o 237714573
255.20/221.26	o 237714572
255.41/221.48	o 237714571
255.61/221.62	o 237700313
255.61/221.64	o 237700312
255.61/221.65	o 237700311
255.81/221.83	o 237686063
255.81/221.87	o 237686062
255.90/221.91	o 237686061
256.01/222.09	o 237671802
256.01/222.09	o 237671801
256.50/222.59	o 237671792
256.60/222.60	o 237671791
257.51/223.55	o 237671772
257.61/223.65	o 237671770
257.71/223.76	o 237671764
257.81/223.88	o 237671758
257.91/224.00	o 237671755
258.12/224.13	o 237671749
258.21/224.27	o 237671747
258.31/224.40	o 237671741
258.51/224.53	o 237671740
258.92/224.95	o 237657480
258.92/224.99	o 237643220
259.03/225.02	o 237628960
259.45/225.40	o 237614700
259.55/225.55	o 237600440
260.36/226.32	o 237586180
260.36/226.37	o 237571920
260.46/226.44	o 237557660
260.56/226.54	o 237543400
260.96/226.95	o 237529140
262.42/228.00	o 237514880
262.53/228.07	o 237500620
262.63/228.14	o 237486360
262.72/228.26	o 237472100
262.82/228.34	o 237472093
262.92/228.42	o 237457833
287.39/250.82	o 237429339
287.49/250.98	o 237415088
287.70/251.12	o 237415079
287.89/251.34	o 237400828
288.79/251.78	o 237400821
289.40/252.31	o 237386571
291.22/254.14	o 237372311
291.73/254.63	o 237372308
292.34/255.29	o 237358058
302.02/264.15	o 237358057
302.61/264.78	o 237358051
305.21/267.30	o 237358050
306.27/268.01	o 237358048
306.76/268.58	o 237358047
307.37/269.18	o 237358041
307.96/269.73	o 237358040
308.57/270.33	o 237358038
309.06/270.85	o 237358037
309.57/271.38	o 237358032
310.17/271.93	o 237358031
311.32/272.77	o 237358030
311.92/273.37	o 237358029
312.52/273.95	o 237358023
313.12/274.52	o 237358022
313.73/275.14	o 237358021
314.32/275.76	o 237358020
314.82/276.29	o 237358019
315.42/276.83	o 237358018
316.36/277.48	o 237358013
316.97/278.03	o 237358012
317.67/278.70	o 237358011
318.17/279.24	o 237358010
318.67/279.76	o 237358004
319.47/280.53	o 237357994
319.67/280.71	o 237329464
319.98/281.08	o 237315214
320.08/281.13	o 237315204
325.91/286.30	o 237272443
326.01/286.44	o 237258192
326.11/286.59	o 237258189
326.31/286.74	o 237258183
326.41/286.88	o 237258180
326.72/287.15	o 237243931
330.72/290.66	o 237229680
330.92/290.84	o 237215430
331.13/291.02	o 237215429
331.42/291.34	o 237215421
331.62/291.51	o 237215420
331.62/291.56	o 237201170
332.52/292.42	o 237201169
333.52/293.45	o 237186932
333.72/293.63	o 237172672
334.32/294.23	o 237158412
334.82/294.72	o 237144152
336.04/295.37	o 237144143
336.34/295.60	o 237129892
336.64/295.92	o 237115632
337.34/296.63	o 237115631
337.85/297.19	o 237115629
338.04/297.37	o 237115622
338.34/297.65	o 237101399
338.44/297.75	o 237101397
338.54/297.85	o 237101390
338.64/297.97	o 237101388
338.75/298.10	o 237101381
338.94/298.23	o 237101379
339.04/298.35	o 237101372
339.24/298.51	o 237101371
339.34/298.65	o 237101369
339.44/298.78	o 237101362
339.75/299.01	o 237087139
339.75/299.10	o 237087137
339.95/299.20	o 237087130
340.05/299.32	o 237087128
340.15/299.42	o 237087121
340.25/299.54	o 237087119
340.35/299.65	o 237087112
340.45/299.79	o 237087111
340.65/299.94	o 237087109
340.76/300.07	o 237087102
341.71/300.48	o 237072898
341.81/300.57	o 237072896
341.91/300.65	o 237072889
342.01/300.78	o 237072887
342.21/300.92	o 237072880
342.32/301.06	o 237072878
342.42/301.17	o 237072871
342.61/301.32	o 237072870
342.72/301.42	o 237072868
342.82/301.51	o 237072861
342.92/301.62	o 237072859
343.02/301.75	o 237072852
343.22/301.93	o 237072851
343.34/302.08	o 237072849
343.53/302.22	o 237072842
343.83/302.59	o 237058619
343.93/302.69	o 237058617
344.03/302.79	o 237058610
344.23/302.91	o 237058608
344.34/303.04	o 237058601
344.53/303.27	o 237058600
344.73/303.44	o 237058598
344.83/303.55	o 237058591
345.04/303.76	o 237058589
345.24/303.93	o 237058582
345.84/304.57	o 237044359
345.94/304.68	o 237044357
346.04/304.78	o 237044350
347.00/305.12	o 237044348
347.09/305.28	o 237044341
347.29/305.47	o 237044340
347.49/305.60	o 237044338
347.59/305.73	o 237044331
347.79/306.00	o 237044329
348.00/306.13	o 237044322
348.19/306.34	o 237030118
348.29/306.43	o 237030116
348.39/306.53	o 237030109
348.49/306.64	o 237030108
348.59/306.71	o 237030106
348.59/306.79	o 237030099
348.79/306.90	o 237030097
348.90/307.01	o 237030090
349.00/307.17	o 237030088
349.19/307.34	o 237030081
349.39/307.51	o 237030079
349.49/307.63	o 237030072
349.59/307.74	o 237030071
349.69/307.85	o 237030069
349.79/307.97	o 237030062
350.29/308.44	o 237015849
350.39/308.54	o 237015847
350.49/308.64	o 237015840
350.59/308.78	o 237015838
350.79/308.91	o 237015831
350.90/309.07	o 237015830
351.00/309.19	o 237015828
351.19/309.31	o 237015821
352.06/309.64	o 237015819
352.16/309.78	o 237015812
352.36/310.00	o 237001598
352.47/310.09	o 237001596
352.57/310.18	o 237001589
352.76/310.30	o 237001587
352.86/310.43	o 237001580
352.96/310.58	o 237001579
353.06/310.69	o 237001577
353.26/310.80	o 237001570
353.36/310.95	o 237001568
353.47/311.08	o 237001561
353.66/311.27	o 237001559
353.77/311.38	o 237001552
353.97/311.59	o 237001551
354.17/311.79	o 237001549
354.37/311.99	o 237001542
354.67/312.25	o 236987338
354.77/312.33	o 236987336
354.87/312.43	o 236987329
354.97/312.52	o 236987319
355.07/312.62	o 236987317
355.17/312.72	o 236987310
355.27/312.83	o 236987308
355.37/312.94	o 236987301
355.48/313.06	o 236987299
355.58/313.17	o 236987292
355.77/313.32	o 236987291
355.87/313.44	o 236987289
355.97/313.56	o 236987282
360.95/317.97	o 236973022
361.48/318.41	o 236944502
386.51/341.05	o 236915990
386.71/341.22	o 236915981
386.81/341.37	o 236901730
387.01/341.57	o 236887480
389.04/343.08	o 236887475
389.34/343.31	o 236873229
396.09/349.55	o 236858979
396.29/349.75	o 236858969
397.00/350.42	o 236844718
397.20/350.60	o 236816208
398.10/351.54	o 236801948
398.71/352.16	o 236801939
398.90/352.31	o 236787679
399.00/352.46	o 236773419
399.20/352.64	o 236759159
399.61/353.03	o 236744899
400.42/353.82	o 236744890
402.32/355.13	o 236730630
402.41/355.23	o 236730621
402.51/355.32	o 236716361
402.71/355.50	o 236702101
429.31/380.01	o 236702091
429.41/380.13	o 236687851
429.50/380.24	o 236687841
430.39/380.68	o 236673581
431.13/381.33	o 236659321
431.43/381.65	o 236645061
431.63/381.88	o 236630801
431.94/382.14	o 236616541
432.23/382.48	o 236602281
433.46/383.63	o 236588031
434.36/384.59	o 236588030
434.66/384.89	o 236573779
434.87/385.08	o 236573771
434.97/385.11	o 236573770
436.76/386.34	o 236559529
439.66/389.27	o 236545289
440.26/389.82	o 236545279
440.57/390.18	o 236531029
440.86/390.45	o 236531019
441.16/390.72	o 236516769
441.36/391.00	o 236516759
442.81/391.81	o 236502509
443.02/392.09	o 236502499
443.31/392.36	o 236488249
443.61/392.63	o 236488239
443.91/392.98	o 236473989
444.21/393.25	o 236473988
444.41/393.49	o 236473979
444.71/393.71	o 236459729
444.91/393.98	o 236459719
445.21/394.25	o 236445469
445.51/394.51	o 236445459
448.86/397.37	o 236431209
449.16/397.64	o 236431199
450.67/399.17	o 236431189
451.25/399.77	o 236416949
451.56/400.02	o 236416939
452.06/400.55	o 236402689
452.36/400.80	o 236402679
458.10/406.04	o 236388429
458.40/406.33	o 236388419
462.65/410.09	o 236374159
463.94/411.34	o 236359919
470.54/417.37	o 236345659
470.84/417.66	o 236317148
479.72/425.83	o 236317146
480.03/426.17	o 236302886
489.24/434.20	o 236288626
489.54/434.50	o 236260097
489.84/434.86	o 236260094
490.34/435.34	o 236245844
498.87/443.28	o 236231584
500.43/444.74	o 236231543
500.63/444.96	o 236231533
502.44/446.28	o 236231532
502.84/446.63	o 236231525
503.14/446.99	o 236231523
504.25/448.05	o 236231521
505.65/449.47	o 236217271
506.15/449.95	o 236217261
506.65/450.49	o 236203001
509.51/452.79	o 236202993
509.92/453.15	o 236188751
511.31/454.53	o 236188741
513.61/456.82	o 236174512
513.92/457.13	o 236174510
515.94/458.60	o 236160250
516.04/458.79	o 236145999
516.24/458.97	o 236145990
516.64/459.37	o 236131749
516.74/459.42	o 236131740
516.74/459.48	o 236131739
516.84/459.53	o 236131730
518.05/460.79	o 236131724
518.46/461.13	o 236131716
519.75/462.44	o 236131707
520.14/462.85	o 236117455
520.35/463.06	o 236117447
520.75/463.42	o 236103204
521.81/463.92	o 236103196
523.31/465.42	o 236103195
523.51/465.62	o 236103187
523.81/465.93	o 236088935
524.02/466.15	o 236088927
524.31/466.41	o 236074693
525.02/467.11	o 236060443
525.31/467.47	o 236046183
526.11/468.20	o 236046173
528.82/470.34	o 236046163
529.32/470.83	o 236031922
530.12/471.62	o 236031912
532.73/474.22	o 236017701
533.09/474.55	o 236017692
533.39/474.89	o 236017691
533.70/475.19	o 236017682
534.89/475.74	o 236017675
535.59/476.45	o 236017674
535.99/476.80	o 236017672
536.30/477.14	o 236017665
537.59/478.45	o 236017660
537.89/478.79	o 236017651
538.59/479.41	o 236017644
539.09/479.92	o 236003400
539.49/480.38	o 236003391
540.86/481.14	o 236003388
541.45/481.72	o 236003383
541.95/482.22	o 235989163
542.15/482.43	o 235989153
542.45/482.76	o 235989143
542.95/483.20	o 235989136
543.35/483.65	o 235989133
543.76/484.03	o 235989132
544.05/484.33	o 235989130
544.35/484.68	o 235989123
544.86/485.18	o 235974902
545.91/485.66	o 235974895
546.21/485.99	o 235974893
546.51/486.28	o 235974886
547.01/486.71	o 235974883
547.42/487.11	o 235974876
547.91/487.62	o 235974872
548.42/488.11	o 235960641
548.71/488.41	o 235960634
549.01/488.76	o 235960632
549.32/489.05	o 235960625
550.11/489.86	o 235960622
551.36/490.53	o 235946394
551.76/490.90	o 235946384
552.26/491.43	o 235946383
552.66/491.87	o 235946375
553.36/492.51	o 235946374
553.76/492.93	o 235946365
578.12/515.05	o 235946357
578.22/515.16	o 235932107
578.51/515.44	o 235932105
578.71/515.67	o 235917845
579.71/516.67	o 235917835
580.71/517.51	o 235846535
581.41/518.23	o 235846528
582.01/518.81	o 235846527
582.01/518.90	o 235846525
582.11/518.98	o 235846518
582.51/519.33	o 235846511
583.32/520.16	o 235832277
583.42/520.23	o 235832267
583.62/520.42	o 235832260
584.88/521.17	o 235832259
585.47/521.76	o 235832258
585.57/521.86	o 235818017
585.67/521.94	o 235818007
585.78/522.02	o 235818006
585.88/522.17	o 235818000
585.97/522.28	o 235817999
586.27/522.54	o 235817998
586.47/522.75	o 235817991
586.97/523.20	o 235803757
587.07/523.37	o 235803747
587.27/523.56	o 235803740
587.47/523.80	o 235803739
587.88/524.19	o 235803738
588.07/524.38	o 235803732
588.27/524.57	o 235803731
588.78/525.04	o 235789495
588.88/525.12	o 235789488
588.97/525.23	o 235789481
589.07/525.36	o 235789478
589.17/525.46	o 235789471
591.22/526.98	o 235775242
591.33/527.06	o 235775235
591.52/527.20	o 235775232
591.52/527.28	o 235775225
592.33/528.04	o 235760982
592.43/528.13	o 235760975
592.62/528.34	o 235760972
592.72/528.44	o 235760965
593.22/528.99	o 235760958
593.82/529.58	o 235746722
593.92/529.67	o 235746715
594.22/529.96	o 235746712
594.33/530.07	o 235746705
594.62/530.40	o 235746698
595.72/531.40	o 235732470
595.72/531.47	o 235732463
596.68/531.84	o 235732460
596.78/531.93	o 235732453
597.08/532.26	o 235732446
597.48/532.68	o 235718210
597.58/532.76	o 235718203
597.78/532.94	o 235718200
597.89/533.04	o 235718193
598.08/533.23	o 235718186
598.78/533.94	o 235703950
598.89/534.02	o 235703943
598.99/534.12	o 235703936
599.08/534.23	o 235703933
599.18/534.33	o 235703926
600.18/535.36	o 235703925
600.48/535.68	o 235703918
601.38/536.51	o 235689690
601.38/536.59	o 235689683
601.58/536.75	o 235689676
602.60/537.24	o 235689673
602.73/537.36	o 235689666
603.32/537.93	o 235675432
603.43/538.01	o 235675425
603.62/538.29	o 235675422
603.72/538.38	o 235675415
605.23/539.85	o 235661155
605.73/540.31	o 235646895
606.73/541.30	o 235646885
606.83/541.45	o 235646878
607.13/541.73	o 235646876
607.23/541.84	o 235646869
607.54/542.13	o 235632626
607.93/542.53	o 235632619
609.25/543.28	o 235632617
609.65/543.63	o 235618375
609.95/543.95	o 235618366
610.35/544.30	o 235618359
680.53/608.40	o 235604109
680.83/608.70	o 235604099
681.24/609.08	o 235589849
681.53/609.39	o 235589839
687.68/614.97	o 235575589
722.95/647.11	o 235575539
723.14/647.39	o 235575538
723.85/648.09	o 235561299
724.14/648.36	o 235561298
726.14/650.30	o 235561290
727.18/650.90	o 235547040
731.28/654.93	o 235547016
731.49/655.12	o 235547006
731.68/655.31	o 235546999
732.88/656.56	o 235532768
733.64/656.85	o 235532761
734.03/657.11	o 235532758
734.12/657.24	o 235532751
734.42/657.52	o 235532749
734.83/657.93	o 235532748
734.93/658.07	o 235532741
735.33/658.47	o 235532739
735.73/658.84	o 235518498
735.94/659.05	o 235518491
736.33/659.43	o 235518489
736.82/659.92	o 235518485
737.12/660.24	o 235518483
737.42/660.59	o 235518481
737.72/660.83	o 235518479
738.63/661.70	o 235504219
739.77/662.30	o 235489959
747.63/669.63	o 235475724
747.93/670.00	o 235475714
748.43/670.47	o 235475705
748.93/670.91	o 235461471
749.23/671.20	o 235461461
749.53/671.50	o 235461454
750.53/672.57	o 235447214
750.73/672.75	o 235447204
751.53/673.57	o 235447194
754.38/675.81	o 235432953
754.69/676.13	o 235432943
757.38/678.89	o 235418717
757.69/679.13	o 235418707
757.98/679.42	o 235418699
758.49/679.91	o 235418692
764.24/685.14	o 235404442
766.73/687.06	o 235390182
767.93/688.25	o 235375922
768.33/688.63	o 235375912
769.03/689.37	o 235375903
770.43/690.72	o 235347383
770.93/691.28	o 235347373
772.54/692.25	o 235333123
772.94/692.62	o 235333113
773.54/693.22	o 235318863
774.35/694.10	o 235318853
774.84/694.54	o 235304613
776.35/696.10	o 235304603
778.98/698.04	o 235276094
779.27/698.34	o 235276093
779.67/698.71	o 235261843
779.98/699.10	o 235261842
780.37/699.43	o 235247602
780.67/699.78	o 235247592
781.67/700.74	o 235247572
782.47/701.50	o 235233322
784.08/703.15	o 235233321
785.37/703.85	o 235233314
785.87/704.35	o 235233312
786.17/704.65	o 235233305
786.58/705.06	o 235219061
786.87/705.35	o 235219054
787.37/705.81	o 235219052
787.58/706.04	o 235219045
788.07/706.51	o 235204801
788.27/706.75	o 235204794
788.58/707.07	o 235204792
788.87/707.38	o 235204785
789.37/707.87	o 235190541
789.68/708.20	o 235190534
790.07/708.55	o 235190532
791.06/708.96	o 235190525
792.66/710.56	o 235176265
793.86/711.77	o 235162015
794.26/712.18	o 235147765
795.56/713.48	o 235133505
795.96/713.86	o 235119254
797.81/715.03	o 235104994
798.20/715.43	o 235076474
802.12/719.30	o 235062224
803.02/720.21	o 235047964
803.32/720.57	o 235033704
812.68/728.69	o 235019454
814.90/730.80	o 235019444
821.22/736.60	o 235005193
821.92/737.22	o 235005184
823.22/738.58	o 234990934
830.25/744.96	o 234990933
830.75/745.42	o 234976673
833.65/747.77	o 234976670
834.06/748.11	o 234976663
835.65/749.76	o 234962410
835.96/750.01	o 234962403
836.76/750.89	o 234948150
837.26/751.38	o 234948143
839.21/752.68	o 234933890
839.72/753.13	o 234933883
840.51/753.97	o 234919630
841.01/754.45	o 234919623
842.41/755.84	o 234905370
842.91/756.39	o 234905363
844.83/757.63	o 234891110
845.34/758.12	o 234891103
853.25/765.48	o 234876850
853.86/766.04	o 234876843
855.77/767.93	o 234862592
855.98/768.13	o 234862583
858.40/769.92	o 234848333
861.20/772.79	o 234834073
861.70/773.24	o 234819813
862.10/773.68	o 234805563
864.37/775.25	o 234805553
864.67/775.50	o 234805543
865.18/776.02	o 234791293
865.37/776.24	o 234791283
868.97/779.87	o 234777035
869.07/779.98	o 234777025
869.28/780.14	o 234777023
871.00/781.22	o 234762775
871.10/781.34	o 234762765
871.20/781.48	o 234762763
873.91/784.16	o 234748513
874.00/784.25	o 234748503
876.62/786.23	o 234734253
876.92/786.53	o 234734243
885.85/794.87	o 234734234
886.25/795.24	o 234719974
886.65/795.63	o 234705723
886.95/795.92	o 234705720
887.06/796.03	o 234691460
887.25/796.29	o 234677200
887.55/796.56	o 234662949
887.85/796.89	o 234662940
888.25/797.22	o 234648689
890.06/798.41	o 234634429
891.77/800.11	o 234620186
894.87/803.20	o 234620176
895.37/803.70	o 234620174
896.91/804.64	o 234620169
897.42/805.19	o 234620167
903.71/810.84	o 234605907
919.45/825.27	o 234591657
919.55/825.37	o 234591647
945.68/848.96	o 234591642
946.48/849.72	o 234591640
946.98/850.25	o 234591639
947.48/850.77	o 234591632
952.40/855.10	o 234577418
952.80/855.49	o 234577416
953.20/855.89	o 234577409
953.40/856.08	o 234577408
953.60/856.25	o 234577406
953.79/856.44	o 234577399
954.29/856.96	o 234577398
954.79/857.49	o 234577391
958.92/860.95	o 234577390
959.22/861.25	o 234577389
959.41/861.44	o 234577387
959.61/861.65	o 234577380
960.12/862.17	o 234577379
960.62/862.69	o 234577372
962.25/863.64	o 234563149
962.65/864.03	o 234563147
963.05/864.42	o 234563140
963.35/864.71	o 234563139
963.45/864.89	o 234563137
963.66/865.07	o 234563130
964.15/865.56	o 234563129
964.66/866.08	o 234563122
970.41/871.18	o 234563112
970.81/871.53	o 234548862
971.21/871.90	o 234548852
971.42/872.14	o 234534602
980.15/879.63	o 234520342
981.56/881.03	o 234520315
983.05/882.56	o 234520305
983.66/883.18	o 234520295
984.25/883.74	o 234506055
985.55/884.47	o 234506045
986.35/885.26	o 234491795
986.75/885.63	o 234491785
990.65/889.51	o 234477553
992.65/890.88	o 234477543
993.34/891.54	o 234463302
994.45/892.65	o 234463292
1002.57/900.14	o 234449039
1002.66/900.23	o 234449033
1002.76/900.30	o 234449032
1005.61/903.19	o 234406274
1007.03/903.93	o 234406265
1008.53/905.46	o 234406260
1010.74/907.63	o 234406252
1026.06/921.74	o 234391992
1026.96/922.60	o 234377732
1028.55/923.66	o 234363472
1029.75/924.88	o 234349212
1031.96/927.10	o 234334952
1032.65/927.70	o 234334951
1035.86/930.36	o 234320708
1036.26/930.71	o 234320701
1036.67/931.15	o 234320698
1036.76/931.28	o 234320691
1037.96/932.48	o 234306448
1038.36/932.83	o 234306441
1038.46/932.95	o 234306438
1038.57/933.08	o 234306431
1039.76/934.28	o 234292181
1040.16/934.69	o 234292171
1041.54/935.41	o 234292163
1042.74/936.67	o 234277922
1043.15/937.08	o 234277912
1052.24/945.55	o 234277910
1052.85/946.12	o 234277902
1055.12/947.84	o 234235122
1056.62/949.40	o 234220872
1057.22/949.94	o 234220871
1058.72/951.47	o 234220860
1061.98/954.03	o 234220851
1062.98/955.07	o 234206600
1063.47/955.58	o 234206591
1064.08/956.12	o 234192340
1065.37/957.42	o 234192339
1067.03/958.47	o 234178079
1074.38/965.15	o 234163838
1074.77/965.60	o 234163829
1076.28/967.07	o 234163822
1077.28/968.05	o 234149562
1077.47/968.24	o 234135302
1077.77/968.56	o 234121042
1079.90/969.95	o 234106782
1081.76/971.76	o 234092531
1083.06/973.03	o 234078271
1083.76/973.76	o 234078262
1084.56/974.57	o 234064011
1086.51/975.87	o 234049760
1088.31/977.62	o 234035510
1089.61/978.98	o 234035509
1090.41/979.72	o 234021259
1092.04/980.74	o 234006999
1103.58/991.61	o 234006989
1105.66/993.05	o 233992735
1106.05/993.47	o 233992733
1106.55/993.92	o 233992732
1107.05/994.42	o 233992729
1107.56/994.95	o 233992726
1108.06/995.41	o 233992724
1108.46/995.87	o 233992723
1108.96/996.36	o 233992720
1109.56/996.91	o 233978475
1109.96/997.35	o 233978473
1111.30/998.04	o 233978472
1111.79/998.54	o 233978469
1112.30/999.02	o 233978466
1112.69/999.47	o 233978464
1113.09/999.89	o 233978463
1113.59/1000.37	o 233978460
1114.09/1000.89	o 233964215
1114.59/1001.36	o 233964213
1115.09/1001.80	o 233964212
1116.24/1002.49	o 233964209
1116.81/1002.93	o 233964206
1117.21/1003.37	o 233964204
1117.61/1003.80	o 233964203
1118.11/1004.26	o 233964200
1118.61/1004.74	o 233949955
1119.02/1005.17	o 233949953
1119.41/1005.59	o 233949952
1119.92/1006.03	o 233949949
1120.31/1006.49	o 233949946
1120.81/1006.94	o 233949944
1122.04/1007.59	o 233949943
1122.55/1008.05	o 233949940
1131.17/1016.10	o 233949939
1132.06/1016.99	o 233949938
1133.89/1018.12	o 233949937
1134.48/1018.77	o 233949936
1135.18/1019.47	o 233949933
1135.98/1020.24	o 233949931
1136.79/1021.08	o 233949929
1137.68/1021.96	o 233949927
1139.30/1022.93	o 233949926
1140.10/1023.72	o 233949923
1140.80/1024.48	o 233949921
1141.70/1025.30	o 233949919
1144.60/1028.25	o 233949909
1145.82/1028.84	o 233935659
1148.03/1031.07	o 233935649
1148.32/1031.31	o 233921399
1159.39/1041.12	o 233907146
1160.69/1042.48	o 233892899
1161.30/1043.04	o 233878646
1165.77/1046.84	o 233864386
1166.47/1047.54	o 233850126
1167.87/1048.91	o 233821623
1167.87/1049.00	o 233807363
1168.87/1049.98	o 233807353
1169.77/1050.89	o 233807343
1171.20/1051.69	o 233793093
1171.50/1051.94	o 233778843
1171.71/1052.14	o 233778833
1172.10/1052.55	o 233778823
1172.30/1052.70	o 233764583
1172.40/1052.85	o 233764573
1178.09/1057.88	o 233750320
1180.72/1060.49	o 233750311
1186.76/1065.79	o 233736051
1187.96/1066.93	o 233736041
1188.86/1067.88	o 233721790
1190.52/1068.84	o 233721780
1191.32/1069.67	o 233707530
1192.12/1070.43	o 233707520
1192.92/1071.27	o 233693270
1193.73/1072.01	o 233693260
1198.32/1076.09	o 233679007
1198.91/1076.61	o 233679000
1203.26/1080.37	o 233664740
1205.76/1082.80	o 233664730
1206.07/1083.18	o 233650480
1206.36/1083.49	o 233650470
1207.69/1084.19	o 233636220
1207.79/1084.24	o 233636210
1226.25/1101.47	o 233621950
1241.72/1114.95	o 233607690
1258.48/1130.37	o 233607682
1259.38/1131.25	o 233593468
1259.68/1131.60	o 233593458
1260.92/1132.16	o 233593449
1261.31/1132.56	o 233593441
1262.11/1133.34	o 233593440
1262.92/1134.15	o 233593432
1265.01/1136.28	o 233593430
1265.61/1136.84	o 233593422
1267.07/1137.65	o 233579209
1267.37/1137.99	o 233579200
1267.77/1138.39	o 233579192
1270.78/1141.32	o 233579175
1270.88/1141.43	o 233550675
1271.88/1142.42	o 233507905
1274.59/1144.40	o 233507895
1276.39/1146.28	o 233493635
1288.27/1156.82	o 233493626
1288.67/1157.28	o 233493616
1292.74/1160.67	o 233479356
1293.94/1161.85	o 233465106
1297.54/1165.45	o 233465105
1302.62/1169.82	o 233450855
1303.73/1170.92	o 233450854
1307.18/1173.74	o 233436614
1307.38/1173.96	o 233436604
1307.98/1174.51	o 233422354
1315.31/1181.26	o 233422353
1318.45/1183.71	o 233422350
1318.76/1184.08	o 233422343
1319.36/1184.63	o 233408110
1319.77/1185.05	o 233408103
1320.26/1185.50	o 233408100
1320.56/1185.87	o 233408093
1323.10/1187.73	o 233408090
1323.51/1188.16	o 233393850
1323.91/1188.50	o 233393840
1324.41/1189.06	o 233393833
1327.52/1192.15	o 233379590
1328.01/1192.68	o 233379583
1329.55/1193.58	o 233379580
1330.06/1194.08	o 233379573
1332.76/1196.75	o 233365313
1345.23/1207.90	o 233351070
1346.44/1209.14	o 233336810
1347.73/1210.44	o 233336801
1350.87/1212.94	o 233336799
1351.37/1213.43	o 233322541
1352.77/1214.85	o 233322539
1353.37/1215.46	o 233308281
1359.62/1218.68	o 233294021
1362.53/1221.50	o 233294011
1370.60/1229.36	o 233279761
1372.16/1230.60	o 233265511
1373.06/1231.55	o 233265501
1374.76/1233.25	o 233265495
1376.06/1234.56	o 233265486
1378.06/1235.99	o 233236982
1379.06/1236.97	o 233236976
1380.17/1238.02	o 233236967
1381.36/1239.26	o 233236966
1383.62/1240.91	o 233236957
1385.52/1242.83	o 233236947
1387.05/1244.39	o 233222687
1391.02/1247.61	o 233208457
1391.53/1248.11	o 233208447
1392.02/1248.66	o 233208437
1392.92/1249.54	o 233208427
1395.30/1251.21	o 233194167
1396.30/1252.21	o 233179915
1397.00/1252.94	o 233165655
1398.21/1254.15	o 233165653
1399.50/1255.45	o 233165636
1401.38/1256.60	o 233151386
1402.18/1257.49	o 233151385
1403.28/1258.50	o 233151383
1405.58/1260.85	o 233122882
1407.14/1261.79	o 233108622
1407.95/1262.56	o 233108613
1410.45/1265.07	o 233108603
1411.65/1266.27	o 233108596
1413.61/1267.50	o 233108587
1431.82/1284.11	o 233108586
1433.32/1285.57	o 233108581
1433.62/1285.82	o 233108580
1433.93/1286.13	o 233108577
1435.78/1287.94	o 233094345
1435.99/1288.16	o 233094340
1436.18/1288.39	o 233094339
1436.48/1288.67	o 233094336
1437.28/1289.44	o 233094331
1437.48/1289.69	o 233094330
1437.78/1289.98	o 233094327
1438.78/1290.94	o 233094326
1439.58/1291.73	o 233094321
1439.78/1291.99	o 233094320
1440.14/1292.29	o 233094317
1448.19/1299.64	o 233080057
1454.41/1305.28	o 233080049
1466.53/1316.08	o 233080043
1467.12/1316.60	o 233080042
1477.36/1324.08	o 233080036
1478.85/1325.55	o 233065793
1479.55/1326.21	o 233065783
1480.30/1326.91	o 233065782
1481.20/1327.87	o 233065776
1482.41/1329.03	o 233051533
1482.70/1329.37	o 233051523
1483.10/1329.77	o 233051522
1484.56/1331.11	o 233037273
1484.95/1331.56	o 233037272
1485.85/1332.48	o 233037263
1486.65/1333.28	o 233037262
1487.46/1334.08	o 233023002
1489.52/1336.10	o 233022999
1490.21/1336.79	o 233022992
1490.91/1337.46	o 233008742
1491.52/1338.10	o 233008739
1492.21/1338.77	o 233008732
1493.01/1339.53	o 232994490
1493.62/1340.14	o 232994487
1494.36/1340.80	o 232994480
1494.96/1341.47	o 232994479
1495.68/1342.14	o 232994472
1499.63/1346.08	o 232980230
1500.32/1346.72	o 232980222
1501.32/1347.70	o 232965970
1502.02/1348.40	o 232965962
1502.82/1349.28	o 232965959
1504.07/1350.47	o 232965952
1506.17/1352.50	o 232951702
1507.07/1353.40	o 232951699
1508.13/1354.45	o 232951692
1514.33/1360.64	o 232951687
1516.08/1361.74	o 232951686
1516.78/1362.49	o 232951680
1517.68/1363.37	o 232951679
1526.59/1370.92	o 232937429
1528.09/1372.44	o 232923178
1532.80/1376.45	o 232908934
1534.30/1377.97	o 232908925
1535.60/1379.23	o 232908919
1536.30/1379.97	o 232908918
1552.99/1394.75	o 232908908
1555.04/1396.39	o 232894648
1556.12/1397.23	o 232880388
1556.93/1398.05	o 232866118
1557.52/1398.67	o 232851858
1558.22/1399.39	o 232837598
1560.46/1401.44	o 232823338
1560.96/1401.92	o 232823330
1561.56/1402.52	o 232809078
1561.96/1402.99	o 232809070
1562.66/1403.62	o 232794818
1563.07/1404.09	o 232794810
1564.63/1405.57	o 232780558
1565.14/1406.04	o 232780550
1566.43/1407.38	o 232766298
1566.94/1407.88	o 232766290
1568.34/1409.23	o 232752038
1568.74/1409.68	o 232752030
1569.38/1410.25	o 232737778
1569.88/1410.73	o 232737770
1571.08/1411.92	o 232723518
1571.88/1412.77	o 232709258
1576.87/1417.08	o 232694998
1579.98/1420.16	o 232680738
1583.15/1422.64	o 232666478
1585.76/1425.26	o 232666468
1592.84/1431.61	o 232652208
1595.10/1433.27	o 232652206
1596.20/1434.32	o 232652194
1597.20/1435.36	o 232637940
1598.01/1436.14	o 232637934
1610.33/1447.93	o 232623684
1610.83/1448.47	o 232623675
1611.54/1449.12	o 232623674
1612.23/1449.81	o 232609424
1612.83/1450.44	o 232609415
1613.63/1451.21	o 232609414
1614.28/1451.89	o 232609405
1615.09/1452.66	o 232609404
1615.89/1453.41	o 232595164
1616.50/1454.07	o 232595154
1617.19/1454.75	o 232595145
1617.99/1455.50	o 232595143
1620.94/1458.41	o 232580901
1621.65/1459.13	o 232580892
1622.44/1459.96	o 232580884
1623.20/1460.61	o 232580883
1623.80/1461.29	o 232580875
1625.49/1462.88	o 232580874
1626.09/1463.45	o 232580872
1626.59/1463.96	o 232580871
1627.19/1464.52	o 232580865
1630.66/1467.94	o 232566629
1631.06/1468.39	o 232566622
1631.66/1468.90	o 232566621
1632.16/1469.41	o 232566614
1634.82/1472.07	o 232552369
1635.11/1472.37	o 232552361
1635.61/1472.82	o 232552354
1639.35/1476.56	o 232538119
1639.66/1476.86	o 232538111
1640.56/1477.76	o 232538104
1641.87/1479.08	o 232538101
1642.16/1479.35	o 232538094
1642.97/1480.16	o 232523851
1643.36/1480.53	o 232523844
1644.27/1481.46	o 232523841
1644.82/1482.00	o 232509599
1645.41/1482.51	o 232509591
1646.31/1483.46	o 232509589
1646.61/1483.77	o 232509581
1647.12/1484.22	o 232495339
1647.51/1484.67	o 232495331
1648.12/1485.26	o 232495324
1648.72/1485.89	o 232495321
1650.18/1487.26	o 232495314
1651.99/1489.07	o 232481054
1652.88/1489.98	o 232466794
1656.43/1493.49	o 232466786
1662.80/1499.75	o 232466785
1668.26/1505.12	o 232466777
1672.61/1509.46	o 232466776
1677.17/1513.95	o 232452516
1685.24/1521.96	o 232438292
1685.74/1522.42	o 232438283
1686.24/1522.91	o 232438280
1686.80/1523.45	o 232438274
1687.51/1524.14	o 232438273
1688.00/1524.63	o 232438270
1688.51/1525.15	o 232438264
1689.41/1526.09	o 232438262
1690.00/1526.67	o 232438256
1706.70/1543.14	o 232424043
1707.39/1543.88	o 232424034
1708.76/1545.14	o 232424026
1709.85/1546.26	o 232424024
1710.96/1547.31	o 232424016
1712.86/1549.24	o 232424015
1713.35/1549.73	o 232424007
1715.31/1551.67	o 232424000
1717.01/1553.35	o 232409783
1717.41/1553.75	o 232409773
1717.91/1554.25	o 232409764
1718.41/1554.79	o 232409756
1721.58/1557.88	o 232395496
1722.79/1559.10	o 232381236
1724.18/1560.46	o 232366976
1741.98/1578.07	o 232366972
1742.08/1578.18	o 232366970
1742.17/1578.27	o 232366967
1743.27/1579.38	o 232352707
1744.37/1580.40	o 232338447
1745.43/1581.44	o 232324187
1763.27/1598.37	o 232309936
1764.88/1600.00	o 232295686
1767.08/1602.13	o 232295677
1767.48/1602.53	o 232295668
1768.18/1603.22	o 232281427
1768.77/1603.69	o 232281417
1769.28/1604.13	o 232281408
1770.37/1605.23	o 232267167
1770.77/1605.64	o 232267157
1771.28/1606.15	o 232267148
1772.78/1607.61	o 232252907
1773.18/1608.01	o 232252897
1773.57/1608.45	o 232238647
1773.87/1608.79	o 232238637
1774.75/1609.43	o 232238628
1775.46/1610.13	o 232224387
1775.85/1610.53	o 232224378
1776.36/1611.04	o 232224377
1776.75/1611.44	o 232224368
1777.95/1612.60	o 232210127
1778.36/1613.03	o 232210117
1778.85/1613.53	o 232210108
1780.44/1614.97	o 232195876
1780.94/1615.40	o 232195867
1786.42/1620.87	o 232195858
1787.84/1622.12	o 232181616
1794.42/1628.57	o 232167366
1800.30/1634.22	o 232167364
1802.71/1636.69	o 232167363
1808.37/1641.73	o 232153104
1809.78/1643.12	o 232124592
1814.95/1647.99	o 232110343
1817.93/1650.51	o 232110341
1820.54/1653.12	o 232110333
1823.91/1656.11	o 232096073
1825.70/1657.96	o 232081821
1827.81/1660.06	o 232081813
1831.61/1663.39	o 232067561
1839.72/1670.92	o 232053301
1842.12/1672.60	o 232039041
1846.02/1676.58	o 232024781
1849.85/1679.61	o 232024772
1850.05/1679.87	o 232010530
1850.26/1680.10	o 232010521
1851.86/1681.63	o 231996261
1852.76/1682.52	o 231982001
1855.33/1684.40	o 231967741
1856.43/1685.53	o 231953481
1877.09/1704.15	o 231939221
1884.43/1710.11	o 231939215
1908.28/1728.81	o 231939208
1912.79/1733.39	o 231910696
1916.16/1736.04	o 231896446
1918.16/1738.06	o 231896436
1935.92/1754.40	o 231882186
1940.64/1758.76	o 231882185
1942.05/1760.11	o 231882177
1963.77/1781.25	o 231867917
1967.63/1785.09	o 231853657
1975.38/1792.73	o 231839406
1976.88/1794.29	o 231839405
1982.96/1799.60	o 231839395
1986.08/1802.01	o 231839394
1986.48/1802.46	o 231825144
1987.19/1803.13	o 231825136
1987.58/1803.59	o 231825135
1988.58/1804.57	o 231810884
2045.60/1859.12	o 231796633
2058.00/1870.26	o 231782383
2059.00/1871.28	o 231782382
2062.55/1874.08	o 231782374
2069.73/1880.57	o 231768114
2070.73/1881.51	o 231753854
2102.34/1908.41	o 231753853
2103.05/1909.19	o 231753845
2104.35/1910.40	o 231753843
2104.85/1910.91	o 231739602
2109.79/1915.24	o 231739592
2110.49/1915.98	o 231739582
2148.15/1951.62	o 231725322
2149.05/1952.55	o 231711062
2150.25/1953.74	o 231696802
2151.42/1954.87	o 231682552
2151.73/1955.14	o 231682542
2152.92/1956.32	o 231668292
2153.12/1956.52	o 231668282
2154.82/1958.28	o 231668272
2156.22/1959.65	o 231654022
2157.63/1960.64	o 231639772
2157.63/1960.69	o 231639762
2158.83/1961.89	o 231625512
2159.54/1962.54	o 231625502
2163.75/1966.36	o 231611253
2166.46/1969.09	o 231596993
2168.47/1971.10	o 231582733
2169.58/1971.74	o 231568473
2175.08/1977.14	o 231554213
2177.08/1978.71	o 231539953
2178.39/1980.05	o 231539943
2184.29/1985.53	o 231525683
2194.64/1993.01	o 231525681
2201.59/1999.99	o 231511431
2208.14/2005.84	o 231497179
2208.24/2005.95	o 231497171
2211.24/2008.27	o 231482911
2213.79/2010.75	o 231468653
2214.20/2011.20	o 231468652
2214.99/2011.95	o 231468651
2217.04/2013.34	o 231468643
2253.17/2048.17	o 231454383
2276.89/2070.35	o 231454374
2278.29/2071.78	o 231440123
2284.00/2077.06	o 231425871
2285.49/2078.54	o 231425863
2300.97/2092.67	o 231425855
2302.80/2094.04	o 231411611
2304.90/2096.12	o 231411603
2314.17/2102.61	o 231397344
2317.81/2105.80	o 231397343
2329.08/2116.46	o 231383083
2331.58/2118.36	o 231368823
2357.52/2143.48	o 231368815
2360.12/2146.06	o 231368806
2360.32/2146.20	o 231354546
2373.58/2158.14	o 231340306
2374.07/2158.67	o 231340296
2374.77/2159.37	o 231340286
2379.72/2164.26	o 231326046
2379.92/2164.44	o 231326036
2380.42/2164.90	o 231326026
2386.28/2170.70	o 231326025
2389.77/2173.56	o 231326024
2399.23/2182.38	o 231311764
2404.47/2187.17	o 231297513
2409.79/2192.05	o 231297512
2410.89/2193.15	o 231283261
2450.59/2227.97	o 231268991
2470.17/2246.49	o 231254764
2471.07/2247.32	o 231254754
2473.08/2249.31	o 231254751
2474.07/2250.32	o 231254744
2476.48/2252.76	o 231240484
2480.44/2256.61	o 231226224
2485.16/2261.00	o 231211974
2487.77/2263.50	o 231211973
2500.67/2275.93	o 231211971
2504.69/2279.52	o 231197713
2505.99/2280.89	o 231197711
2509.80/2284.22	o 231183443
2513.56/2287.99	o 231183441
2514.86/2289.25	o 231183439
2520.03/2294.30	s SATISFIABLE
2520.03/2294.31	v <instantiation>
2520.03/2294.31	v 	<list>
2520.03/2294.31	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] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] 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] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] 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] 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] 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]
2520.03/2294.31	v 	</list>
2520.03/2294.31	v 	<values>
2520.03/2294.31	v 		2500 2520 2716 2736 2564 2484 2764 2748 2332 2632 2744 2568 2220 2540 2320 2428 2780 2684 2756 2760 2628 2336 2220 2220 2716 2736 2724 2820 2760 2720 2268 2736 2220 2780 2540 2388 2644 2692 2756 2820 2780 2684 2768 2428 2820 2672 2780 2244 2560 2372 2432 2220 2368 2728 2772 2732 2260 2392 2820 2760 2704 2320 2692 2752 2220 2704 2520 2352 2724 2312 2260 2496 2800 2220 2744 2480 2764 2704 2280 2540 2780 2636 2640 2500 2388 2676 2732 2820 2532 2764 2560 2632 2260 2552 2480 2220 2748 2780 2496 2260 2380 2472 2660 2580 2292 2284 2728 2748 2784 2548 2580 2776 2640 2660 2308 2608 2744 2528 2820 2548 2684 2428 2224 2696 2460 2744 2260 2740 2520 2428 2708 2680 2272 2648 2764 2528 2548 2780 2776 2408 2260 2716 2820 2520 2640 2280 2220 2724 2508 2628 2704 2536 2796 2600 2412 2408 2780 2456 2804 2788 2756 2520 2788 2224 2820 2676 2476 2420 2264 2260 2260 2780 2432 2260 2464 2620 2620 2408 2768 2704 2508 2260 2788 2748 2260 2644 2592 2716 2288 2572 2508 2820 2676 2588 2780 2340 2820 2540 2780 2564 2724 2524 2668 2684 2712 2740 2612 2620 2220 2644 2264 2620 2480 2600 2820 2788 2388 2516 2312 2524 2780 2780 2740 2736 2264 2500 2744 2696 2520 2632 2512 2744 2788 2740 2296 2744 2296 2780 2560 2388 2248 2820 2660 2512 2716 2220 2820 2808 2380 2700 2820 2700 2688 2260 2540 2548 2508 2332 2524 2684 2560 2636 2488 2780 2680 2700 2520 2260 2716 2568 2688 2520 2820 2656 2800 2496 2776 2388 2736 2220 2596 2260 2456 2756 2744 2640 2480 2724 2672 2712 2724 2248 2572 2600 2468 2244 2500 2784 2428 2448 2452 2640 2372 2288 2696 2780 2780 2252 2780 2220 2684 2784 2756 2560 2300 2224 2664 2224 2496 2388 2256 2284 2508 2260 2612 2220 2624 2260 2732 2520 2780 2672 2748 2780 2740 2428 2820 2580 2536 2652 2500 2220 2740 2264 2472 2480 2504 2520 2748 2448 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 1 1 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 0 1 1 0 1 0 1 1 1 1 1 1 0 1 0 0 0 0 1 1 1 1 1 1 0 0 0 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 0 0 1 1 0 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 11 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 1 1 1 0 1 0 1 1 1 1 0 1 1 0 0 0 1 1 0 0 1 0 0 1 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 1 0 1 0 0 0 1 0 0 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 1 0 1 1 1 0 1 0 1 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 0 1 1 1 1 0 0 1 1 1 0 0 1 1 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 1 1 1 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 1 1 0 1 0 0 1 1 0 0 0 0 1 1 1 0 1 0 1 1 1 1 0 0 0 1 0 0 0 0 0 1 0 1 1 1 0 1 0 1 1 0 1 0 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 1 0 0 1 1 1 1 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 1 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 1 1 1 0 1 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 1 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 1 1 1 1 1 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 1 1 0 1 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 1 0 1 1 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 1 0 1 1 1 0 0 1 0 1 0 0 0 1 0 1 1 0 1 1 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 1 0 1 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 0 0 0 1 0 0 1 1 0 1 1 1 1 0 0 0 0 0 0 0 1 0 1 1 1 1 0 1 0 0 0 1 1 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 1 0 1 1 1 1 1 0 1 0 1 1 0 0 1 0 1 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 1 1 1 1 1 0 1 1 0 0 0 1 1 1 1 0 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 1 0 0 1 0 0 1 1 0 1 0 1 0 0 0 0 1 0 1 0 1 1 1 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 1 0 1 1 0 1 0 0 1 1 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 1 0 1 0 0 0 0 0 10 10 0 0 0 0 0 10 10 0 0 0 10 9 10 8 0 0 10 0 10 0 0 10 10 0 0 0 0 10 0 0 0 0 0 10 0 0 10 10 0 10 10 10 0 0 0 10 0 0 0 0 10 10 10 10 0 10 0 10 10 10 10 0 10 10 0 0 0 10 10 0 0 10 0 0 10 10 10 0 10 0 0 0 0 0 0 10 0 10 0 0 0 10 0 0 0 10 10 10 0 10 0 3 0 10 0 0 0 10 10 10 0 10 0 10 10 10 10 10 10 10 10 0 0 10 10 10 10 0 0 0 0 0 0 0 10 0 0 10 10 0 10 0 0 10 10 0 10 10 10 8 10 0 10 0 0 10 10 0 0 10 0 0 10 10 10 0 0 10 0 0 0 10 10 0 0 0 10 10 0 0 0 0 10 0 10 10 10 10 0 9 10 10 10 0 0 10 10 0 0 0 10 0 0 0 0 0 10 10 0 10 0 0 0 0 0 9 10 0 0 10 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 10 0 10 0 0 10 0 0 10 0 0 0 10 0 0 0 0 8 0 10 0 0 10 0 10 10 0 0 0 10 0 10 10 0 0 0 0 0 0 0 0 10 0 10 0 0 10 0 10 0 10 10 10 10 0 0 0 0 0 0 10 10 0 0 10 10 0 0 0 0 10 10 0 10 0 0 10 10 0 0 0 0 10 10 10 0 10 0 10 10 10 10 0 0 0 10 0 0 0 0 0 10 0 10 10 10 0 10 0 10 10 0 10 0 0 0 0 0 10 10 0 0 10 10 10 10 0 0 0 10 0 0 0 0 0 0 0 10 0 0 10 0 10 10 0 10 10 0 10 0 0 0 0 0 10 0 0 10 10 10 10 7 10 0 0 10 10 0 0 0 0 0 10 0 0 0 0 10 10 10 0 0 10 0 10 0 0 10 0 0 0 0 10 10 0 10 0 0 0 0 10 10 0 0 0 0 10 10 8 0 10 0 10 10 0 10 0 0 10 0 10 10 10 0 0 10 0 0 10 10 0 0 0 0 0 0 0 10 0 10 0 10 0 0 10 0 0 0 0 10 10 10 0 10 10 0 10 0 0 10 0 0 0 10 0 0 10 0 0 0 0 0 10 10 10 0 0 0 10 0 10 10 0 10 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 8 0 0 0 10 0 0 10 10 0 0 0 10 0 0 0 10 10 0 10 0 0 0 10 0 0 10 0 10 10 10 10 10 0 0 0 0 8 10 0 0 10 10 0 10 0 10 0 0 0 10 10 0 0 10 0 0 0 0 10 0 0 10 0 0 10 0 0 10 0 0 10 10 10 10 0 8 10 10 8 0 10 10 0 10 10 10 0 10 10 0 0 0 0 10 0 0 10 10 0 0 0 0 0 0 10 0 10 0 0 0 10 0 10 0 0 0 0 0 10 0 0 10 10 0 10 10 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 10 0 10 0 10 0 0 0 0 10 10 0 0 10 10 0 0 10 0 0 10 10 0 10 0 10 10 0 0 0 0 10 0 10 0 10 10 0 0 0 10 0 0 0 10 10 0 10 0 0 0 0 0 10 0 0 10 0 10 0 0 0 0 0 0 0 0 10 10 0 10 0 0 0 10 0 0 0 10 10 0 0 0 10 0 10 10 10 0 0 10 0 10 0 0 0 10 0 10 10 0 10 10 10 0 10 10 0 0 0 10 0 10 0 0 0 8 0 0 0 0 0 10 0 10 0 0 0 10 0 0 0 0 10 10 0 10 0 0 0 10 0 10 10 10 10 0 0 0 10 10 0 10 0 10 10 0 0 0 0 0 10 0 10 10 0 10 10 0 0 0 0 10 0 10 10 0 0 0 0 10 0 10 10 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 10 0 0 0 0 0 0 10 10 10 9 0 10 0 0 10 0 10 0 10 10 10 0 10 8 10 0 10 10 10 10 0 0 0 10 0 0 10 10 0 10 10 10 10 0 0 0 0 0 0 0 10 0 10 10 10 10 0 10 0 0 0 10 10 0 0 0 0 10 10 0 10 0 10 7 10 0 10 0 0 0 10 0 0 0 10 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 8 0 0 10 0 10 10 0 10 10 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 10 10 0 10 0 10 0 10 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 10 10 10 0 10 0 10 10 0 0 0 10 0 10 0 0 0 0 10 0 10 0 10 0 0 10 10 0 0 0 10 0 0 0 0 0 0 10 0 10 10 10 0 0 10 0 0 0 10 10 10 10 10 10 0 0 0 0 0 0 0 0 10 10 10 0 0 10 10 10 0 0 0 0 0 0 10 0 0 10 10 0 0 0 10 10 0 10 10 10 10 10 0 10 0 10 10 0 0 10 0 10 10 10 0 0 0 0 10 0 10 10 0 0 0 0 0 0 0 10 0 10 10 10 0 0 10 10 10 0 0 10 10 10 0 10 0 0 0 0 0 0 0 0 0 10 10 0 0 10 0 0 10 0 0 10 0 10 0 0 0 0 0 10 10 10 10 10 10 0 10 10 0 0 0 10 10 10 10 0 0 0 10 0 0 10 0 0 0 0 10 10 0 10 0 0 10 0 10 0 10 0 0 0 0 10 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 10 10 0 0 10 10 10 0 10 0 0 10 0 0 10 10 0 10 0 10 0 0 0 0 10 0 10 8 10 10 10 10 10 0 0 10 0 0 10 0 10 0 0 0 0 0 10 0 0 0 10 10 10 10 0 0 0 0 0 10 0 0 0 10 0 0 0 10 10 0 0 10 0 0 0 0 0 0 10 0 10 0 10 0 10 0 0 0 10 0 10 10 0 10 10 0 10 0 0 10 10 0 0 10 10 10 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 10 10 0 0 10 0 10 0 0 10 0 0 0 0 0 10 0 10 10 0 10 10 0 10 0 10 0 10 0 0 0 60 276 28 216 184 240 4 20 256 268 140 260 0 176 496 344 76 496 72 104 96 72 64 496 196 44 176 424 184 32 20 212 176 476 8 44 120 236 224 304 216 148 176 136 116 92 176 4 200 36 172 300 56 44 60 240 64 76 244 376 296 20 140 92 4 208 8 188 56 168 488 32 24 452 320 188 436 400 372 176 108 448 228 380 168 92 64 188 244 188 92 20 524 20 196 60 40 356 288 4 348 300 180 8 136 160 252 188 304 136 4 4 180 116 0 536 532 428 320 304 68 316 176 196 244 8 176 176 280 16 100 60 208 436 416 372 312 60 420 420 380 364 60 392 316 72 192 244 560 88 132 40 516 532 96 20 4 44 376 0 136 40 0 84 76 32 72 232 196 132 8 60 32 500 48 24 280 408 64 76 316 88 0 172 64 240 32 16 72 204 188 180 24 352 504 448 464 328 308 536 68 560 344 600 328 420 72 12 36 496 436 328 188 104 116 0 196 40 12 136 436 176 204 196 176 200 60 40 144 392 132 20 600 168 468 120 76 536 500 100 400 60 44 172 460 220 204 456 52 28 156 44 216 8 140 12 200 424 428 560 76 168 560 472 172 76 272 68 0 260 200 108 280 44 112 320 256 136 72 132 92 72 20 112 320 376 0 432 152 168 264 176 116 384 136 84 52 432 4 88 44 296 236 8 88 256 284 96 440 172 596 300 104 136 0 428 348 136 256 64 272 204 228 64 72 64 60 388 352 104 548 132 260 68 280 52 520 232 108 296 120 208 168 40 72 148 540 96 284 116 144 252 164 576 520 312 452 76 392 164 332 72 204 520 276 252 364 500 560 500 20 380 96 184 260 80 80 352 152 324 328 148 368 208 132 172 120 364 180 116 128 208 4 508 280 496 600 316 112 452 328 80 356 372 168 44 464 92 240 208 56 472 96 240 8 432 48 96 344 152 72 232 12 484 276 340 120 260 16 192 40 72 248 352 136 388 364 112 320 540 300 312 500 44 84 260 464 372 24 536 504 148 116 332 316 216 300 196 168 432 180 116 448 392 196 428 112 76 8 12 456 96 504 128 388 600 40 476 288 248 536 520 68 76 12 408 408 484 180 8 116 232 0 152 256 228 196 428 268 468 304 384 152 72 44 128 84 84 500 72 276 52 428 76 384 92 520 520 284 40 328 200 292 412 344 540 300 568 560 296 288 300 520 284 404 4 56 276 40 36 232 220 148 268 80 244 156 40 296 224 116 444 224 20 300 464 436 108 280 8 112 64 48 28 20 68 60 4 132 468 108 4 128 76 20 148 96 100 420 68 140 56 420 232 72 280 236 60 256 224 4 152 136 232 324 164 16 220 388 164 48 196 132 224 96 164 76 488 512 180 32 308 252 352 596 432 80 216 148 248 112 112 68 124 216 304 56 16 24 24 52 464 244 292 72 60 12 260 196 340 132 92 124 368 176 136 176 132 8 236 536 352 240 440 40 352 12 8 132 224 332 268 160 236 256 220 420 368 588 252 288 156 176 528 284 532 24 84 180 4 236 48 196 116 68 520 484 440 428 472 520 148 240 136 376 292 128 84 68 308 212 84 128 56 28 136 60 120 12 80 188 320 528 488 300 4 432 496 496 444 32 356 324 536 24 24 236 212 456 92 32 204 212 272 220 200 104 504 248 8 60 196 20 208 288 44 12 168 72 240 144 12 52 88 52 348 104 164 140 56 76 100 436 232 160 20 168 48 404 292 348 88 360 112 152 204 40 456 60 120 252 92 48 28 308 560 344 248 340 432 572 448 136 92 288 232 28 48 252 64 160 52 120 140 84 380 176 328 68 0 208 564 208 72 36 596 376 244 560 60 132 172 84 112 12 60 236 88 276 180 72 200 212 196 124 156 224 356 524 4 148 516 168 520 240 32 308 48 56 160 268 224 28 72 260 132 236 16 212 16 360 248 320 184 208 208 300 36 72 148 488 36 172 176 548 12 192 40 116 16 12 548 116 228 132 172 180 132 144 376 376 76 128 544 504 100 108 12 208 16 16 8 188 52 236 52 244 212 536 524 0 560 52 116 256 120 328 104 148 376 332 128 72 128 468 104 356 180 448 532 80 124 196 180 0 140 140 380 252 192 212 132 500 16 292 540 340 500 4 300 16 32 52 312 192 204 232 160 112 12 28 368 200 284 116 36 72 232 140 156 28 16 384 120 184 348 112 184 92 220 36 380 144 28 20 52 260 36 112 368 60 184 144 20 192 256 260 60 236 232 196 192 304 256 132 356 280 228 284 236 184 84 92 256 192 256 204 60 40 312 528 76 168 144 48 228 64 568 296 488 248 64 24 128 4 228 116 96 344 304 60 356 404 384 332 352 560 128 248 424 0 168 348 128 208 388 104 516 240 260 316 16 280 320 56 324 188 100 320 128 192 364 20 328 112 308 164 148 392 144 80 36 84 120 8 288 88 52 64 80 272 0 8 224 76 52 504 528 104 12 228 72 32 12 96 312 52 264 520 380 100 156 196 164 128 32 76 8 8 272 84 184 172 108 184 128 180 276 52 56 288 296 60 432 288 456 156 64 364 200 160 396 128 400 240 96 296 84 120 180 600 600 204 168 192 132 240 92 152 92 64 236 56 24 120 220 216 268 44 152 176 352 188 44 420 28 192 88 32 140 368 88 92 104 76 96 64 300 556 284 176 136 232 200 112 264 220 92 32 152 300 560 132 104 132 68 184 128 264 164 256 96 304 68 328 232 80 100 516 432 516 280 244 112 224 20 4 128 308 44 40 48 144 16 56 300 36 124 188 412 124 44 60 224 524 0 492 4 48 320 92 116 52 36 260 68 488 56 372 492 264 204 224 76 136 220 112 264 320 476 200 64 576 124 296 132 84 140 16 156 24 340 560 120 312 136 544 140 188 276 136 400 160 360 120 220 56 400 184 248 560 240 168 16 44 100 56 4 80 64 260 188 476 236 316 32 280 40 112 124 232 176 60 292 288 88 448 448 112 220 72 256 4 84 236 236 88 80 64 208 184 376 112 124 228 272 108 56 120 104 248 48 0 16 16 136 144 68 348 32 36 412 280 260 272 244 232 160 148 76 196 284 120 388 212 256 92 480 464 240 352 24 288 120 80 336 172 280 184 280 184 256 124 248 20 204 72 284 84 200 100 124 532 136 84 504 556 20 424 284 336 340 312 176 232 24 524 564 28 184 44 228 364 252 40 
2520.03/2294.31	v 	</values>
2520.03/2294.31	v </instantiation>

Verifier Data 

OK	231183439

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308701-1534303902/watcher-4308701-1534303902 -o /tmp/evaluation-result-4308701-1534303902/solver-4308701-1534303902 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534294079-16386 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1814002745 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308701-1534303902.xml 

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

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


[startup+0.100144 s]*
/proc/loadavg: 1.66 1.88 1.90 4/216 17498
/proc/meminfo: memFree=19080880/32770624 swapFree=67108524/67108860
[pid=17483] ppid=17480 vsize=14082736 memory=32644 CPUtime=0.12 cores=1,3,5,7
/proc/17483/stat : 17483 (java) S 17480 17483 16354 0 -1 1077944320 7092 0 0 0 11 1 0 0 20 0 15 0 247953404 14420721664 8161 33554432000 4194304 4196468 140737213020112 140737213002656 140454943719159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
/proc/17483/statm: 3520684 8161 3135 1 0 3482761 0
[pid=17483/tid=17485] ppid=17480 vsize=14082736 memory=-6966717417093883519 CPUtime=0.09 cores=1,3,5,7
/proc/17483/task/17485/stat : 17485 (java) R 17480 17483 16354 0 -1 4202560 5166 0 0 0 9 0 0 0 20 0 15 0 247953404 14420721664 8161 33554432000 4194304 4196468 140737213020112 140454947932600 140454943731094 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17486] ppid=17480 vsize=14082736 memory=5793855820387862969 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17486/stat : 17486 (java) S 17480 17483 16354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247953405 14420721664 8161 33554432000 4194304 4196468 140737213020112 140454896339728 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17487] ppid=17480 vsize=14082736 memory=140569377969792 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17487/stat : 17487 (java) S 17480 17483 16354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247953405 14420721664 8161 33554432000 4194304 4196468 140737213020112 140454895287184 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17488] ppid=17480 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17488/stat : 17488 (java) S 17480 17483 16354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247953405 14420721664 8161 33554432000 4194304 4196468 140737213020112 140454894234640 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17489] ppid=17480 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17489/stat : 17489 (java) S 17480 17483 16354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247953405 14420721664 8161 33554432000 4194304 4196468 140737213020112 140454536604816 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17490] ppid=17480 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17490/stat : 17490 (java) S 17480 17483 16354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247953406 14420721664 8161 33554432000 4194304 4196468 140737213020112 140454417897456 140454943730306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17491] ppid=17480 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17491/stat : 17491 (java) S 17480 17483 16354 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 247953407 14420721664 8161 33554432000 4194304 4196468 140737213020112 140454416843680 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17492] ppid=17480 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17492/stat : 17492 (java) S 17480 17483 16354 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 247953407 14420721664 8161 33554432000 4194304 4196468 140737213020112 140454415791088 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17493] ppid=17480 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17493/stat : 17493 (java) S 17480 17483 16354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247953409 14420721664 8161 33554432000 4194304 4196468 140737213020112 140454414739664 140454943737755 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17494] ppid=17480 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17494/stat : 17494 (java) S 17480 17483 16354 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 247953409 14420721664 8161 33554432000 4194304 4196468 140737213020112 140454413687280 140454943730306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17495] ppid=17480 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17495/stat : 17495 (java) S 17480 17483 16354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247953409 14420721664 8161 33554432000 4194304 4196468 140737213020112 140454412634736 140454943730306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17496] ppid=17480 vsize=14082736 memory=140569377969792 CPUtime=0.01 cores=1,3,5,7
/proc/17483/task/17496/stat : 17496 (java) R 17480 17483 16354 0 -1 4202560 253 0 0 0 1 0 0 0 20 0 15 0 247953409 14420721664 8161 33554432000 4194304 4196468 140737213020112 140454411582192 140454927966569 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17497] ppid=17480 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17497/stat : 17497 (java) S 17480 17483 16354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247953410 14420721664 8161 33554432000 4194304 4196468 140737213020112 140454410529888 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17498] ppid=17480 vsize=14082736 memory=140569377969792 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17498/stat : 17498 (java) S 17480 17483 16354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247953410 14420721664 8161 33554432000 4194304 4196468 140737213020112 140454409476400 140454943730306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32644 KiB

[startup+0.211622 s]*
/proc/loadavg: 1.66 1.88 1.90 4/216 17498
/proc/meminfo: memFree=19065624/32770624 swapFree=67108524/67108860
[pid=17483] ppid=17480 vsize=14082736 memory=46796 CPUtime=0.31 cores=1,3,5,7
/proc/17483/stat : 17483 (java) S 17480 17483 16354 0 -1 1077944320 10335 0 0 0 29 2 0 0 20 0 15 0 247953404 14420721664 11699 33554432000 4194304 4196468 140737213020112 140737213002656 140454943719159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
/proc/17483/statm: 3520684 11699 3369 1 0 3482761 0
[pid=17483/tid=17485] ppid=17480 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/17483/task/17485/stat : 17485 (java) R 17480 17483 16354 0 -1 4202560 8027 0 0 0 19 1 0 0 20 0 15 0 247953404 14420721664 11699 33554432000 4194304 4196468 140737213020112 140454947948176 140454935956286 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17486] ppid=17480 vsize=14082736 memory=4211974295582760330 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17486/stat : 17486 (java) S 17480 17483 16354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247953405 14420721664 11699 33554432000 4194304 4196468 140737213020112 140454896339728 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17487] ppid=17480 vsize=14082736 memory=140569377969792 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17487/stat : 17487 (java) S 17480 17483 16354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247953405 14420721664 11699 33554432000 4194304 4196468 140737213020112 140454895287184 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17488] ppid=17480 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17488/stat : 17488 (java) S 17480 17483 16354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247953405 14420721664 11699 33554432000 4194304 4196468 140737213020112 140454894234640 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17489] ppid=17480 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17489/stat : 17489 (java) S 17480 17483 16354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247953405 14420721664 11699 33554432000 4194304 4196468 140737213020112 140454536604816 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17490] ppid=17480 vsize=14082736 memory=140569377969792 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17490/stat : 17490 (java) S 17480 17483 16354 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 247953406 14420721664 11699 33554432000 4194304 4196468 140737213020112 140454417897456 140454943730306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17491] ppid=17480 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17491/stat : 17491 (java) S 17480 17483 16354 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 247953407 14420721664 11699 33554432000 4194304 4196468 140737213020112 140454416843680 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17492] ppid=17480 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17492/stat : 17492 (java) S 17480 17483 16354 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 247953407 14420721664 11699 33554432000 4194304 4196468 140737213020112 140454415791088 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17493] ppid=17480 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17493/stat : 17493 (java) S 17480 17483 16354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247953409 14420721664 11699 33554432000 4194304 4196468 140737213020112 140454414739664 140454943737755 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17494] ppid=17480 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17483/task/17494/stat : 17494 (java) R 17480 17483 16354 0 -1 1077944384 456 0 0 0 1 0 0 0 20 0 15 0 247953409 14420721664 11699 33554432000 4194304 4196468 140737213020112 140454413687280 140454943730306 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17495] ppid=17480 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/17483/task/17495/stat : 17495 (java) R 17480 17483 16354 0 -1 4202560 150 0 0 0 2 0 0 0 20 0 15 0 247953409 14420721664 11699 33554432000 4194304 4196468 140737213020112 140454412625120 140454929783112 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17496] ppid=17480 vsize=14082736 memory=140569377969792 CPUtime=0.06 cores=1,3,5,7
/proc/17483/task/17496/stat : 17496 (java) R 17480 17483 16354 0 -1 4202560 319 0 0 0 6 0 0 0 20 0 15 0 247953409 14420721664 11699 33554432000 4194304 4196468 140737213020112 140454411582192 140454922258233 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17497] ppid=17480 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17497/stat : 17497 (java) S 17480 17483 16354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247953410 14420721664 11699 33554432000 4194304 4196468 140737213020112 140454410529888 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17498] ppid=17480 vsize=14082736 memory=140569377969792 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17498/stat : 17498 (java) S 17480 17483 16354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247953410 14420721664 11699 33554432000 4194304 4196468 140737213020112 140454409476400 140454943730306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46796 KiB

[startup+0.310707 s]*
/proc/loadavg: 1.66 1.88 1.90 3/216 17498
/proc/meminfo: memFree=19062072/32770624 swapFree=67108524/67108860
[pid=17483] ppid=17480 vsize=14082736 memory=50504 CPUtime=0.44 cores=1,3,5,7
/proc/17483/stat : 17483 (java) S 17480 17483 16354 0 -1 1077944320 10734 0 0 0 42 2 0 0 20 0 15 0 247953404 14420721664 12626 33554432000 4194304 4196468 140737213020112 140737213002656 140454943719159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
/proc/17483/statm: 3520684 12626 3375 1 0 3482761 0
[pid=17483/tid=17485] ppid=17480 vsize=14082736 memory=4871374705135476842 CPUtime=0.29 cores=1,3,5,7
/proc/17483/task/17485/stat : 17485 (java) R 17480 17483 16354 0 -1 4202560 8401 0 0 0 28 1 0 0 20 0 15 0 247953404 14420721664 12626 33554432000 4194304 4196468 140737213020112 140454947940080 140454925272472 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17486] ppid=17480 vsize=14082736 memory=4211974295582760330 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17486/stat : 17486 (java) S 17480 17483 16354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247953405 14420721664 12626 33554432000 4194304 4196468 140737213020112 140454896339728 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17487] ppid=17480 vsize=14082736 memory=140569377972157 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17487/stat : 17487 (java) S 17480 17483 16354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247953405 14420721664 12626 33554432000 4194304 4196468 140737213020112 140454895287184 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17488] ppid=17480 vsize=14082736 memory=140569246558706 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17488/stat : 17488 (java) S 17480 17483 16354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247953405 14420721664 12626 33554432000 4194304 4196468 140737213020112 140454894234640 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17489] ppid=17480 vsize=14082736 memory=140569246551503 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17489/stat : 17489 (java) S 17480 17483 16354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247953405 14420721664 12626 33554432000 4194304 4196468 140737213020112 140454536604816 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17490] ppid=17480 vsize=14082736 memory=140569377986173 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17490/stat : 17490 (java) S 17480 17483 16354 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 247953406 14420721664 12626 33554432000 4194304 4196468 140737213020112 140454417897456 140454943730306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17491] ppid=17480 vsize=14082736 memory=140569246560687 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17491/stat : 17491 (java) S 17480 17483 16354 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 247953407 14420721664 12626 33554432000 4194304 4196468 140737213020112 140454416843680 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17492] ppid=17480 vsize=14082736 memory=281138493112208 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17492/stat : 17492 (java) S 17480 17483 16354 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 247953407 14420721664 12626 33554432000 4194304 4196468 140737213020112 140454415791088 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17493] ppid=17480 vsize=14082736 memory=281138493109904 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17493/stat : 17493 (java) S 17480 17483 16354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247953409 14420721664 12626 33554432000 4194304 4196468 140737213020112 140454414739664 140454943737755 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17494] ppid=17480 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/17483/task/17494/stat : 17494 (java) S 17480 17483 16354 0 -1 1077944384 461 0 0 0 2 0 0 0 20 0 15 0 247953409 14420721664 12626 33554432000 4194304 4196468 140737213020112 140454413687280 140454943730306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17495] ppid=17480 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/17483/task/17495/stat : 17495 (java) S 17480 17483 16354 0 -1 1077944384 151 0 0 0 2 0 0 0 20 0 15 0 247953409 14420721664 12626 33554432000 4194304 4196468 140737213020112 140454412634736 140454943730306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17496] ppid=17480 vsize=14082736 memory=140569377969792 CPUtime=0.08 cores=1,3,5,7
/proc/17483/task/17496/stat : 17496 (java) S 17480 17483 16354 0 -1 1077944384 337 0 0 0 8 0 0 0 20 0 15 0 247953409 14420721664 12626 33554432000 4194304 4196468 140737213020112 140454411582192 140454943730306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17497] ppid=17480 vsize=14082736 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17497/stat : 17497 (java) S 17480 17483 16354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247953410 14420721664 12626 33554432000 4194304 4196468 140737213020112 140454410529888 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17498] ppid=17480 vsize=14082736 memory=140569377969792 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17498/stat : 17498 (java) S 17480 17483 16354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247953410 14420721664 12626 33554432000 4194304 4196468 140737213020112 140454409476400 140454943730306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50504 KiB

[startup+0.700739 s]
/proc/loadavg: 1.66 1.88 1.90 3/216 17498
/proc/meminfo: memFree=19040308/32770624 swapFree=67108524/67108860
[pid=17483] ppid=17480 vsize=14084804 memory=88796 CPUtime=0.99 cores=1,3,5,7
/proc/17483/stat : 17483 (java) S 17480 17483 16354 0 -1 1077944320 17575 0 0 0 95 4 0 0 20 0 15 0 247953404 14422839296 22199 33554432000 4194304 4196468 140737213020112 140737213002656 140454943719159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
/proc/17483/statm: 3521201 22199 3499 1 0 3483273 0
[pid=17483/tid=17485] ppid=17480 vsize=14084804 memory=1120 CPUtime=0.67 cores=1,3,5,7
/proc/17483/task/17485/stat : 17485 (java) R 17480 17483 16354 0 -1 4202560 14826 0 0 0 64 3 0 0 20 0 15 0 247953404 14422839296 22199 33554432000 4194304 4196468 140737213020112 140454947944144 140454943741085 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17486] ppid=17480 vsize=14084804 memory=6068 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17486/stat : 17486 (java) S 17480 17483 16354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247953405 14422839296 22199 33554432000 4194304 4196468 140737213020112 140454896339728 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17487] ppid=17480 vsize=14084804 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17487/stat : 17487 (java) S 17480 17483 16354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247953405 14422839296 22199 33554432000 4194304 4196468 140737213020112 140454895287184 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17488] ppid=17480 vsize=14084804 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17488/stat : 17488 (java) S 17480 17483 16354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247953405 14422839296 22199 33554432000 4194304 4196468 140737213020112 140454894234640 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17489] ppid=17480 vsize=14084804 memory=7957390390475708010 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17489/stat : 17489 (java) S 17480 17483 16354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247953405 14422839296 22199 33554432000 4194304 4196468 140737213020112 140454536604816 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17490] ppid=17480 vsize=14084804 memory=5787213848606435153 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17490/stat : 17490 (java) S 17480 17483 16354 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 247953406 14422839296 22199 33554432000 4194304 4196468 140737213020112 140454417897456 140454943730306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17491] ppid=17480 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17491/stat : 17491 (java) S 17480 17483 16354 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 247953407 14422839296 22199 33554432000 4194304 4196468 140737213020112 140454416843680 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17492] ppid=17480 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17492/stat : 17492 (java) S 17480 17483 16354 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 247953407 14422839296 22199 33554432000 4194304 4196468 140737213020112 140454415791088 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17493] ppid=17480 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17493/stat : 17493 (java) S 17480 17483 16354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247953409 14422839296 22199 33554432000 4194304 4196468 140737213020112 140454414739664 140454943737755 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17494] ppid=17480 vsize=14084804 memory=222 CPUtime=0.08 cores=1,3,5,7
/proc/17483/task/17494/stat : 17494 (java) S 17480 17483 16354 0 -1 1077944384 625 0 0 0 8 0 0 0 20 0 15 0 247953409 14422839296 22199 33554432000 4194304 4196468 140737213020112 140454413687280 140454943730306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17495] ppid=17480 vsize=14084804 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/17483/task/17495/stat : 17495 (java) S 17480 17483 16354 0 -1 1077944384 295 0 0 0 7 0 0 0 20 0 15 0 247953409 14422839296 22199 33554432000 4194304 4196468 140737213020112 140454412634736 140454943730306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17496] ppid=17480 vsize=14084804 memory=703 CPUtime=0.15 cores=1,3,5,7
/proc/17483/task/17496/stat : 17496 (java) S 17480 17483 16354 0 -1 1077944384 445 0 0 0 15 0 0 0 20 0 15 0 247953409 14422839296 22199 33554432000 4194304 4196468 140737213020112 140454411582192 140454943730306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17497] ppid=17480 vsize=14084804 memory=281138493296112 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17497/stat : 17497 (java) S 17480 17483 16354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247953410 14422839296 22199 33554432000 4194304 4196468 140737213020112 140454410529888 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17498] ppid=17480 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17498/stat : 17498 (java) S 17480 17483 16354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247953410 14422839296 22199 33554432000 4194304 4196468 140737213020112 140454409476400 140454943730306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88796 KiB

[startup+1.5008 s]
/proc/loadavg: 1.66 1.88 1.90 5/216 17498
/proc/meminfo: memFree=18798460/32770624 swapFree=67108524/67108860
[pid=17483] ppid=17480 vsize=14086852 memory=408228 CPUtime=3.16 cores=1,3,5,7
/proc/17483/stat : 17483 (java) S 17480 17483 16354 0 -1 1077944320 20169 0 0 0 282 34 0 0 20 0 15 0 247953404 14424936448 102057 33554432000 4194304 4196468 140737213020112 140737213002656 140454943719159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
/proc/17483/statm: 3521713 102057 3569 1 0 3483785 0
[pid=17483/tid=17485] ppid=17480 vsize=14086852 memory=0 CPUtime=1.35 cores=1,3,5,7
/proc/17483/task/17485/stat : 17485 (java) R 17480 17483 16354 0 -1 4202560 15311 0 0 0 127 8 0 0 20 0 15 0 247953404 14424936448 102057 33554432000 4194304 4196468 140737213020112 140454947954992 140454578300235 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17486] ppid=17480 vsize=14086852 memory=-6585528546044026665 CPUtime=0.11 cores=1,3,5,7
/proc/17483/task/17486/stat : 17486 (java) S 17480 17483 16354 0 -1 1077944384 150 0 0 0 5 6 0 0 20 0 15 0 247953405 14424936448 102057 33554432000 4194304 4196468 140737213020112 140454896339728 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17487] ppid=17480 vsize=14086852 memory=-5935003825295943007 CPUtime=0.09 cores=1,3,5,7
/proc/17483/task/17487/stat : 17487 (java) S 17480 17483 16354 0 -1 1077944384 97 0 0 0 4 5 0 0 20 0 15 0 247953405 14424936448 102057 33554432000 4194304 4196468 140737213020112 140454895287184 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17488] ppid=17480 vsize=14086852 memory=-7522817155360838190 CPUtime=0.1 cores=1,3,5,7
/proc/17483/task/17488/stat : 17488 (java) S 17480 17483 16354 0 -1 1077944384 173 0 0 0 4 6 0 0 20 0 15 0 247953405 14424936448 102057 33554432000 4194304 4196468 140737213020112 140454894234640 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17489] ppid=17480 vsize=14086852 memory=4946252690451438464 CPUtime=0.1 cores=1,3,5,7
/proc/17483/task/17489/stat : 17489 (java) S 17480 17483 16354 0 -1 1077944384 187 0 0 0 5 5 0 0 20 0 15 0 247953405 14424936448 102057 33554432000 4194304 4196468 140737213020112 140454536604816 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17490] ppid=17480 vsize=14086852 memory=-3472574513799858008 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17490/stat : 17490 (java) S 17480 17483 16354 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 247953406 14424936448 102057 33554432000 4194304 4196468 140737213020112 140454417897456 140454943730306 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0

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

/proc/17483/task/17485/stat : 17485 (java) R 17480 17483 16354 0 -1 4202560 259262 0 0 0 213188 89 0 0 20 0 15 0 247953404 14431227904 1633069 33554432000 4194304 4196468 140737213020112 140454947956624 140454576907464 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17486] ppid=17480 vsize=14092996 memory=6522028 CPUtime=68.1 cores=1,3,5,7
/proc/17483/task/17486/stat : 17486 (java) S 17480 17483 16354 0 -1 1077944384 143684 0 0 0 6703 107 0 0 20 0 15 0 247953405 14431227904 1633069 33554432000 4194304 4196468 140737213020112 140454896339728 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17487] ppid=17480 vsize=14092996 memory=6522036 CPUtime=68.05 cores=1,3,5,7
/proc/17483/task/17487/stat : 17487 (java) S 17480 17483 16354 0 -1 1077944384 134005 0 0 0 6699 106 0 0 20 0 15 0 247953405 14431227904 1633069 33554432000 4194304 4196468 140737213020112 140454895287184 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17488] ppid=17480 vsize=14092996 memory=6532276 CPUtime=68.13 cores=1,3,5,7
/proc/17483/task/17488/stat : 17488 (java) S 17480 17483 16354 0 -1 1077944384 166682 0 0 0 6702 111 0 0 20 0 15 0 247953405 14431227904 1633069 33554432000 4194304 4196468 140737213020112 140454894234640 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17489] ppid=17480 vsize=14092996 memory=6532276 CPUtime=68.07 cores=1,3,5,7
/proc/17483/task/17489/stat : 17489 (java) S 17480 17483 16354 0 -1 1077944384 130559 0 0 0 6703 104 0 0 20 0 15 0 247953405 14431227904 1633069 33554432000 4194304 4196468 140737213020112 140454536604816 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17490] ppid=17480 vsize=14092996 memory=0 CPUtime=0.93 cores=1,3,5,7
/proc/17483/task/17490/stat : 17490 (java) S 17480 17483 16354 0 -1 1077944384 61583 0 0 0 83 10 0 0 20 0 15 0 247953406 14431227904 1633069 33554432000 4194304 4196468 140737213020112 140454417897456 140454943730306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17491] ppid=17480 vsize=14092996 memory=6525360 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17491/stat : 17491 (java) S 17480 17483 16354 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 247953407 14431227904 1633069 33554432000 4194304 4196468 140737213020112 140454416843744 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17492] ppid=17480 vsize=14092996 memory=6532276 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17492/stat : 17492 (java) S 17480 17483 16354 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 247953407 14431227904 1633069 33554432000 4194304 4196468 140737213020112 140454415791104 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17493] ppid=17480 vsize=14092996 memory=6532276 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17493/stat : 17493 (java) S 17480 17483 16354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247953409 14431227904 1633069 33554432000 4194304 4196468 140737213020112 140454414739664 140454943737755 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17494] ppid=17480 vsize=14092996 memory=3712 CPUtime=5.44 cores=1,3,5,7
/proc/17483/task/17494/stat : 17494 (java) S 17480 17483 16354 0 -1 1077944384 36306 0 0 0 540 4 0 0 20 0 15 0 247953409 14431227904 1633069 33554432000 4194304 4196468 140737213020112 140454413687280 140454943730306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17495] ppid=17480 vsize=14092996 memory=67496 CPUtime=6.09 cores=1,3,5,7
/proc/17483/task/17495/stat : 17495 (java) S 17480 17483 16354 0 -1 1077944384 55385 0 0 0 603 6 0 0 20 0 15 0 247953409 14431227904 1633069 33554432000 4194304 4196468 140737213020112 140454412634736 140454943730306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 64 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17496] ppid=17480 vsize=14092996 memory=3712 CPUtime=1.9 cores=1,3,5,7
/proc/17483/task/17496/stat : 17496 (java) S 17480 17483 16354 0 -1 1077944384 49859 0 0 0 184 6 0 0 20 0 15 0 247953409 14431227904 1633069 33554432000 4194304 4196468 140737213020112 140454411582192 140454943730306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17497] ppid=17480 vsize=14092996 memory=67496 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17497/stat : 17497 (java) S 17480 17483 16354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247953410 14431227904 1633069 33554432000 4194304 4196468 140737213020112 140454410529888 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17498] ppid=17480 vsize=14092996 memory=6532276 CPUtime=1.35 cores=1,3,5,7
/proc/17483/task/17498/stat : 17498 (java) S 17480 17483 16354 0 -1 1077944384 2665 0 0 0 61 74 0 0 20 0 15 0 247953410 14431227904 1633069 33554432000 4194304 4196468 140737213020112 140454409476400 140454943730306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
Current children cumulated CPU time: 2420.94 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 6532276 KiB

[startup+2262.3 s]
/proc/loadavg: 2.47 2.31 2.05 3/215 18197
/proc/meminfo: memFree=13073036/32770624 swapFree=67108524/67108860
[pid=17483] ppid=17480 vsize=14092996 memory=6649256 CPUtime=2486.57 cores=1,3,5,7
/proc/17483/stat : 17483 (java) S 17480 17483 16354 0 -1 1077944320 1061810 0 0 0 248036 621 0 0 20 0 15 0 247953404 14431227904 1662314 33554432000 4194304 4196468 140737213020112 140737213002656 140454943719159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
/proc/17483/statm: 3523249 1662314 3624 1 0 3485321 0
[pid=17483/tid=17485] ppid=17480 vsize=14092996 memory=6649240 CPUtime=2190.86 cores=1,3,5,7
/proc/17483/task/17485/stat : 17485 (java) R 17480 17483 16354 0 -1 4202560 263205 0 0 0 218996 90 0 0 20 0 15 0 247953404 14431227904 1662314 33554432000 4194304 4196468 140737213020112 140454947948208 140454579843662 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17486] ppid=17480 vsize=14092996 memory=6649256 CPUtime=69.96 cores=1,3,5,7
/proc/17483/task/17486/stat : 17486 (java) S 17480 17483 16354 0 -1 1077944384 146683 0 0 0 6885 111 0 0 20 0 15 0 247953405 14431227904 1662314 33554432000 4194304 4196468 140737213020112 140454896339728 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17487] ppid=17480 vsize=14092996 memory=6649256 CPUtime=69.91 cores=1,3,5,7
/proc/17483/task/17487/stat : 17487 (java) S 17480 17483 16354 0 -1 1077944384 136231 0 0 0 6882 109 0 0 20 0 15 0 247953405 14431227904 1662314 33554432000 4194304 4196468 140737213020112 140454895287184 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17488] ppid=17480 vsize=14092996 memory=6649256 CPUtime=69.98 cores=1,3,5,7
/proc/17483/task/17488/stat : 17488 (java) S 17480 17483 16354 0 -1 1077944384 167802 0 0 0 6884 114 0 0 20 0 15 0 247953405 14431227904 1662314 33554432000 4194304 4196468 140737213020112 140454894234640 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17489] ppid=17480 vsize=14092996 memory=4879748 CPUtime=69.93 cores=1,3,5,7
/proc/17483/task/17489/stat : 17489 (java) S 17480 17483 16354 0 -1 1077944384 133171 0 0 0 6886 107 0 0 20 0 15 0 247953405 14431227904 1662314 33554432000 4194304 4196468 140737213020112 140454536604816 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17490] ppid=17480 vsize=14092996 memory=6517276 CPUtime=0.98 cores=1,3,5,7
/proc/17483/task/17490/stat : 17490 (java) S 17480 17483 16354 0 -1 1077944384 68724 0 0 0 87 11 0 0 20 0 15 0 247953406 14431227904 1662314 33554432000 4194304 4196468 140737213020112 140454417897456 140454943730306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17491] ppid=17480 vsize=14092996 memory=6649224 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17491/stat : 17491 (java) S 17480 17483 16354 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 247953407 14431227904 1662314 33554432000 4194304 4196468 140737213020112 140454416843744 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17492] ppid=17480 vsize=14092996 memory=6649256 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17492/stat : 17492 (java) S 17480 17483 16354 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 247953407 14431227904 1662314 33554432000 4194304 4196468 140737213020112 140454415791104 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17493] ppid=17480 vsize=14092996 memory=6649256 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17493/stat : 17493 (java) S 17480 17483 16354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247953409 14431227904 1662314 33554432000 4194304 4196468 140737213020112 140454414739664 140454943737755 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17494] ppid=17480 vsize=14092996 memory=6649256 CPUtime=5.44 cores=1,3,5,7
/proc/17483/task/17494/stat : 17494 (java) S 17480 17483 16354 0 -1 1077944384 36444 0 0 0 540 4 0 0 20 0 15 0 247953409 14431227904 1662314 33554432000 4194304 4196468 140737213020112 140454413687280 140454943730306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17495] ppid=17480 vsize=14092996 memory=281138494938608 CPUtime=6.1 cores=1,3,5,7
/proc/17483/task/17495/stat : 17495 (java) S 17480 17483 16354 0 -1 1077944384 55596 0 0 0 603 7 0 0 20 0 15 0 247953409 14431227904 1662314 33554432000 4194304 4196468 140737213020112 140454412634736 140454943730306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 64 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17496] ppid=17480 vsize=14092996 memory=-3472574944341025154 CPUtime=1.9 cores=1,3,5,7
/proc/17483/task/17496/stat : 17496 (java) S 17480 17483 16354 0 -1 1077944384 49859 0 0 0 184 6 0 0 20 0 15 0 247953409 14431227904 1662314 33554432000 4194304 4196468 140737213020112 140454411582192 140454943730306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17497] ppid=17480 vsize=14092996 memory=6649256 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17497/stat : 17497 (java) S 17480 17483 16354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247953410 14431227904 1662314 33554432000 4194304 4196468 140737213020112 140454410529888 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17498] ppid=17480 vsize=14092996 memory=3712 CPUtime=1.39 cores=1,3,5,7
/proc/17483/task/17498/stat : 17498 (java) S 17480 17483 16354 0 -1 1077944384 2679 0 0 0 63 76 0 0 20 0 15 0 247953410 14431227904 1662314 33554432000 4194304 4196468 140737213020112 140454409476400 140454943730306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
Current children cumulated CPU time: 2486.57 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 6649256 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2294.3 s]
/proc/loadavg: 2.15 2.24 2.04 3/215 18197
/proc/meminfo: memFree=13072292/32770624 swapFree=67108524/67108860
[pid=17483] ppid=17480 vsize=14092996 memory=6650504 CPUtime=2520.03 cores=1,3,5,7
/proc/17483/stat : 17483 (java) S 17480 17483 16354 0 -1 1077944320 1076585 0 0 0 251381 622 0 0 20 0 15 0 247953404 14431227904 1662626 33554432000 4194304 4196468 140737213020112 140737213002656 140454943719159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
/proc/17483/statm: 3523249 1662626 3624 1 0 3485321 0
[pid=17483/tid=17485] ppid=17480 vsize=14092996 memory=6650504 CPUtime=2222.37 cores=1,3,5,7
/proc/17483/task/17485/stat : 17485 (java) R 17480 17483 16354 0 -1 4202560 266966 0 0 0 222147 90 0 0 20 0 15 0 247953404 14431227904 1662626 33554432000 4194304 4196468 140737213020112 140454947956624 140454589781952 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17486] ppid=17480 vsize=14092996 memory=6650540 CPUtime=70.45 cores=1,3,5,7
/proc/17483/task/17486/stat : 17486 (java) S 17480 17483 16354 0 -1 1077944384 147464 0 0 0 6934 111 0 0 20 0 15 0 247953405 14431227904 1662626 33554432000 4194304 4196468 140737213020112 140454896339728 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17487] ppid=17480 vsize=14092996 memory=6650504 CPUtime=70.4 cores=1,3,5,7
/proc/17483/task/17487/stat : 17487 (java) S 17480 17483 16354 0 -1 1077944384 138662 0 0 0 6930 110 0 0 20 0 15 0 247953405 14431227904 1662626 33554432000 4194304 4196468 140737213020112 140454895287184 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17488] ppid=17480 vsize=14092996 memory=6650504 CPUtime=70.47 cores=1,3,5,7
/proc/17483/task/17488/stat : 17488 (java) S 17480 17483 16354 0 -1 1077944384 170254 0 0 0 6933 114 0 0 20 0 15 0 247953405 14431227904 1662626 33554432000 4194304 4196468 140737213020112 140454894234640 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17489] ppid=17480 vsize=14092996 memory=3712 CPUtime=70.41 cores=1,3,5,7
/proc/17483/task/17489/stat : 17489 (java) S 17480 17483 16354 0 -1 1077944384 136827 0 0 0 6934 107 0 0 20 0 15 0 247953405 14431227904 1662626 33554432000 4194304 4196468 140737213020112 140454536604816 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17490] ppid=17480 vsize=14092996 memory=6650504 CPUtime=0.98 cores=1,3,5,7
/proc/17483/task/17490/stat : 17490 (java) S 17480 17483 16354 0 -1 1077944384 68990 0 0 0 87 11 0 0 20 0 15 0 247953406 14431227904 1662626 33554432000 4194304 4196468 140737213020112 140454417897456 140454943730306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17491] ppid=17480 vsize=14092996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17491/stat : 17491 (java) S 17480 17483 16354 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 247953407 14431227904 1662626 33554432000 4194304 4196468 140737213020112 140454416843744 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17492] ppid=17480 vsize=14092996 memory=6650528 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17492/stat : 17492 (java) S 17480 17483 16354 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 247953407 14431227904 1662626 33554432000 4194304 4196468 140737213020112 140454415791104 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17493] ppid=17480 vsize=14092996 memory=6650504 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17493/stat : 17493 (java) S 17480 17483 16354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247953409 14431227904 1662626 33554432000 4194304 4196468 140737213020112 140454414739664 140454943737755 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17494] ppid=17480 vsize=14092996 memory=6650504 CPUtime=5.44 cores=1,3,5,7
/proc/17483/task/17494/stat : 17494 (java) S 17480 17483 16354 0 -1 1077944384 36447 0 0 0 540 4 0 0 20 0 15 0 247953409 14431227904 1662626 33554432000 4194304 4196468 140737213020112 140454413687280 140454943730306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17495] ppid=17480 vsize=14092996 memory=67496 CPUtime=6.1 cores=1,3,5,7
/proc/17483/task/17495/stat : 17495 (java) S 17480 17483 16354 0 -1 1077944384 55600 0 0 0 603 7 0 0 20 0 15 0 247953409 14431227904 1662626 33554432000 4194304 4196468 140737213020112 140454412634736 140454943730306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 64 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17496] ppid=17480 vsize=14092996 memory=1064 CPUtime=1.91 cores=1,3,5,7
/proc/17483/task/17496/stat : 17496 (java) S 17480 17483 16354 0 -1 1077944384 51259 0 0 0 185 6 0 0 20 0 15 0 247953409 14431227904 1662626 33554432000 4194304 4196468 140737213020112 140454411582192 140454943730306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17497] ppid=17480 vsize=14092996 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17497/stat : 17497 (java) S 17480 17483 16354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247953410 14431227904 1662626 33554432000 4194304 4196468 140737213020112 140454410529888 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17498] ppid=17480 vsize=14092996 memory=1740 CPUtime=1.41 cores=1,3,5,7
/proc/17483/task/17498/stat : 17498 (java) S 17480 17483 16354 0 -1 1077944384 2700 0 0 0 64 77 0 0 20 0 15 0 247953410 14431227904 1662626 33554432000 4194304 4196468 140737213020112 140454409476400 140454943730306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 6650504 KiB

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

[startup+2294.37 s]
# the end of solver process 17483 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2513.84 s, system=6.27498 s

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

[startup+2294.3 s]
/proc/loadavg: 2.15 2.24 2.04 3/215 18197
/proc/meminfo: memFree=13072292/32770624 swapFree=67108524/67108860
[pid=17483] ppid=17480 vsize=14092996 memory=6650504 CPUtime=2520.03 cores=1,3,5,7
/proc/17483/stat : 17483 (java) S 17480 17483 16354 0 -1 1077944320 1076585 0 0 0 251381 622 0 0 20 0 15 0 247953404 14431227904 1662626 33554432000 4194304 4196468 140737213020112 140737213002656 140454943719159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
/proc/17483/statm: 3523249 1662626 3624 1 0 3485321 0
[pid=17483/tid=17485] ppid=17480 vsize=14092996 memory=6650504 CPUtime=2222.37 cores=1,3,5,7
/proc/17483/task/17485/stat : 17485 (java) R 17480 17483 16354 0 -1 4202560 266966 0 0 0 222147 90 0 0 20 0 15 0 247953404 14431227904 1662626 33554432000 4194304 4196468 140737213020112 140454947956624 140454589781952 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17486] ppid=17480 vsize=14092996 memory=6650540 CPUtime=70.45 cores=1,3,5,7
/proc/17483/task/17486/stat : 17486 (java) S 17480 17483 16354 0 -1 1077944384 147464 0 0 0 6934 111 0 0 20 0 15 0 247953405 14431227904 1662626 33554432000 4194304 4196468 140737213020112 140454896339728 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17487] ppid=17480 vsize=14092996 memory=6650504 CPUtime=70.4 cores=1,3,5,7
/proc/17483/task/17487/stat : 17487 (java) S 17480 17483 16354 0 -1 1077944384 138662 0 0 0 6930 110 0 0 20 0 15 0 247953405 14431227904 1662626 33554432000 4194304 4196468 140737213020112 140454895287184 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17488] ppid=17480 vsize=14092996 memory=6650504 CPUtime=70.47 cores=1,3,5,7
/proc/17483/task/17488/stat : 17488 (java) S 17480 17483 16354 0 -1 1077944384 170254 0 0 0 6933 114 0 0 20 0 15 0 247953405 14431227904 1662626 33554432000 4194304 4196468 140737213020112 140454894234640 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17489] ppid=17480 vsize=14092996 memory=3712 CPUtime=70.41 cores=1,3,5,7
/proc/17483/task/17489/stat : 17489 (java) S 17480 17483 16354 0 -1 1077944384 136827 0 0 0 6934 107 0 0 20 0 15 0 247953405 14431227904 1662626 33554432000 4194304 4196468 140737213020112 140454536604816 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17490] ppid=17480 vsize=14092996 memory=6650504 CPUtime=0.98 cores=1,3,5,7
/proc/17483/task/17490/stat : 17490 (java) S 17480 17483 16354 0 -1 1077944384 68990 0 0 0 87 11 0 0 20 0 15 0 247953406 14431227904 1662626 33554432000 4194304 4196468 140737213020112 140454417897456 140454943730306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17491] ppid=17480 vsize=14092996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17491/stat : 17491 (java) S 17480 17483 16354 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 247953407 14431227904 1662626 33554432000 4194304 4196468 140737213020112 140454416843744 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17492] ppid=17480 vsize=14092996 memory=6650528 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17492/stat : 17492 (java) S 17480 17483 16354 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 247953407 14431227904 1662626 33554432000 4194304 4196468 140737213020112 140454415791104 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17493] ppid=17480 vsize=14092996 memory=6650504 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17493/stat : 17493 (java) S 17480 17483 16354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247953409 14431227904 1662626 33554432000 4194304 4196468 140737213020112 140454414739664 140454943737755 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17494] ppid=17480 vsize=14092996 memory=6650504 CPUtime=5.44 cores=1,3,5,7
/proc/17483/task/17494/stat : 17494 (java) S 17480 17483 16354 0 -1 1077944384 36447 0 0 0 540 4 0 0 20 0 15 0 247953409 14431227904 1662626 33554432000 4194304 4196468 140737213020112 140454413687280 140454943730306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17495] ppid=17480 vsize=14092996 memory=67496 CPUtime=6.1 cores=1,3,5,7
/proc/17483/task/17495/stat : 17495 (java) S 17480 17483 16354 0 -1 1077944384 55600 0 0 0 603 7 0 0 20 0 15 0 247953409 14431227904 1662626 33554432000 4194304 4196468 140737213020112 140454412634736 140454943730306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 64 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17496] ppid=17480 vsize=14092996 memory=1064 CPUtime=1.91 cores=1,3,5,7
/proc/17483/task/17496/stat : 17496 (java) S 17480 17483 16354 0 -1 1077944384 51259 0 0 0 185 6 0 0 20 0 15 0 247953409 14431227904 1662626 33554432000 4194304 4196468 140737213020112 140454411582192 140454943730306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17497] ppid=17480 vsize=14092996 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/17483/task/17497/stat : 17497 (java) S 17480 17483 16354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247953410 14431227904 1662626 33554432000 4194304 4196468 140737213020112 140454410529888 140454943729365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
[pid=17483/tid=17498] ppid=17480 vsize=14092996 memory=1740 CPUtime=1.41 cores=1,3,5,7
/proc/17483/task/17498/stat : 17498 (java) S 17480 17483 16354 0 -1 1077944384 2700 0 0 0 64 77 0 0 20 0 15 0 247953410 14431227904 1662626 33554432000 4194304 4196468 140737213020112 140454409476400 140454943730306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8675328 140737213027412 140737213027593 140737213027593 140737213030351 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 6650504 KiB

Child status: 143
Real time (s): 2294.37
CPU time (s): 2520.12
CPU user time (s): 2513.84
CPU system time (s): 6.27498
CPU usage (%): 109.839
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 6651388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.84
system time used= 6.27498
maximum resident set size= 6651388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1078000
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64051
involuntary context switches= 4341


# summary of solver processes directly reported to runsolver:
#   pid: 17483
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2513.84
#   total CPU system time (s): 6.27498

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9279 second user time and 22.9049 second system time

The end

Launcher Data 

Begin job on node107 at 2018-08-15 05:31:42
IDJOB=4308701
IDBENCH=141273
IDSOLVER=2792
FILE ID=node107/4308701-1534303902
RUNJOBID= node107-1534294079-16386
PBS_JOBID= 21038147
Free space on /tmp= 42032 MiB

SOLVER NAME= OscaR - Hybrid 2018-08-14
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-18-0350_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-4308701-1534303902/watcher-4308701-1534303902 -o /tmp/evaluation-result-4308701-1534303902/solver-4308701-1534303902 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534294079-16386 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1814002745 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308701-1534303902.xml

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

MD5SUM BENCH= 970c879d9e656f0525c6818b69538b39
RANDOM SEED=1814002745

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        19099112 kB
MemAvailable:   26524820 kB
Buffers:          200684 kB
Cached:          7453256 kB
SwapCached:           20 kB
Active:          9576880 kB
Inactive:        3494928 kB
Active(anon):    5366792 kB
Inactive(anon):   111372 kB
Active(file):    4210088 kB
Inactive(file):  3383556 kB
Unevictable:        6980 kB
Mlocked:            6980 kB
SwapTotal:      67108860 kB
SwapFree:       67108524 kB
Dirty:            118036 kB
Writeback:             0 kB
AnonPages:       5424768 kB
Mapped:            68068 kB
Shmem:             57824 kB
Slab:             288856 kB
SReclaimable:     260524 kB
SUnreclaim:        28332 kB
KernelStack:        3504 kB
PageTables:        16328 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6749080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5232640 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 42140 MiB
End job on node107 at 2018-08-15 06:09:57