Trace number 4291996

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-07-02SAT (TO)389436243 2400.16 2233.66

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-16-0260_c18.xml
MD5SUM3d35ef38e8714b8368aba06bbd25b59a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark372103316
Best CPU time to get the best result obtained on this benchmark2520.09
Satisfiable
(Un)Satisfiability was proved
Number of variables6038
Number of constraints3927
Number of domains31
Minimum domain size1
Maximum domain size151
Distribution of domain sizes[{"size":1,"count":5},{"size":2,"count":2094},{"size":11,"count":1839},{"size":12,"count":1},{"size":21,"count":98},{"size":23,"count":52},{"size":33,"count":21},{"size":35,"count":35},{"size":39,"count":50},{"size":41,"count":27},{"size":43,"count":72},{"size":45,"count":55},{"size":59,"count":83},{"size":65,"count":46},{"size":67,"count":53},{"size":83,"count":41},{"size":99,"count":155},{"size":111,"count":164},{"size":114,"count":81},{"size":126,"count":165},{"size":146,"count":205},{"size":151,"count":696}]
Minimum variable degree2
Maximum variable degree1840
Distribution of variable degrees[{"degree":2,"count":5517},{"degree":4,"count":3},{"degree":5,"count":4},{"degree":6,"count":4},{"degree":7,"count":11},{"degree":8,"count":11},{"degree":9,"count":17},{"degree":10,"count":28},{"degree":11,"count":24},{"degree":12,"count":23},{"degree":13,"count":37},{"degree":14,"count":44},{"degree":15,"count":45},{"degree":16,"count":38},{"degree":17,"count":46},{"degree":18,"count":63},{"degree":19,"count":76},{"degree":20,"count":46},{"degree":1840,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":249},{"arity":3,"count":1839},{"arity":6,"count":1839}]
Number of extensional constraints1839
Number of intensional constraints2088
Distribution of constraint types[{"type":"extension","count":1839},{"type":"intension","count":2088}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.67/0.55	c version: 2018-07-02
0.67/0.55	c seed: 1662979636
0.67/0.55	c timeout: 2400
0.67/0.55	c memlimit: 11000
0.67/0.55	c nbcore: 4
0.67/0.58	c Parsing instance...
35.77/21.68	c Parsing done, starting first complete search...
48.69/30.83	o 401617057
48.69/30.84	o 401598662
48.69/30.85	o 401598657
48.69/30.86	o 401580266
48.69/30.87	o 401580257
48.69/30.89	o 401561857
48.91/30.90	o 401543457
48.91/30.92	o 401525067
48.91/30.93	o 401506676
48.91/30.95	o 401506675
48.91/30.96	o 401506666
48.91/30.98	o 401488274
48.91/30.99	o 401488266
49.18/31.00	o 401469876
49.18/31.02	o 401469866
49.18/31.03	o 401451476
49.18/31.04	o 401433083
49.18/31.06	o 401414674
49.18/31.08	o 401414665
49.32/31.12	o 401396265
49.56/31.33	o 401377865
54.51/36.24	o 401359505
54.51/36.25	o 401359500
54.51/36.25	o 401359491
54.51/36.27	o 401359482
54.61/36.37	o 401359474
93.47/72.24	c First complete search done, starting ALNS search...
97.49/75.24	o 401341084
98.73/76.11	o 401212319
99.37/76.74	o 401193926
100.16/77.34	o 401175535
100.16/77.35	o 401157139
100.16/77.36	o 401157135
100.16/77.37	o 401157132
100.16/77.38	o 401157128
100.27/77.40	o 401157122
100.27/77.41	o 401157118
100.27/77.43	o 401138732
100.27/77.44	o 401138728
100.27/77.45	o 401138722
100.27/77.47	o 401138718
100.27/77.48	o 401120332
100.27/77.49	o 401120328
100.38/77.51	o 401120322
100.38/77.52	o 401120318
100.38/77.55	o 401101922
100.38/77.57	o 401101918
100.38/77.60	o 401083545
100.51/77.62	o 401083538
100.51/77.63	o 401083532
100.51/77.65	o 401083528
100.51/77.68	o 401065145
100.51/77.70	o 401065138
100.60/77.71	o 401065132
100.60/77.72	o 401065128
100.60/77.74	o 401065125
100.60/77.75	o 401065118
100.60/77.76	o 401046738
100.60/77.77	o 401046728
100.60/77.78	o 401046725
100.60/77.80	o 401046718
100.70/77.81	o 401028328
100.70/77.82	o 401028325
100.70/77.83	o 401028318
100.70/77.85	o 401009935
100.70/77.86	o 401009928
100.70/77.88	o 401009922
100.70/77.90	o 401009918
100.80/77.97	o 400991535
100.80/77.98	o 400991528
100.80/77.99	o 400991522
100.94/78.00	o 400991518
100.94/78.09	o 400973135
101.04/78.10	o 400973128
101.04/78.13	o 400973122
101.04/78.14	o 400973118
101.04/78.18	o 400954735
101.14/78.20	o 400954728
101.14/78.25	o 400954722
101.14/78.26	o 400954718
101.24/78.32	o 400954713
101.24/78.33	o 400954709
101.24/78.35	o 400936353
101.24/78.36	o 400936346
101.24/78.37	o 400936344
101.24/78.39	o 400936337
101.35/78.40	o 400936326
101.35/78.41	o 400936319
101.35/78.43	o 400936313
101.35/78.44	o 400936309
101.56/78.62	o 400917935
101.56/78.64	o 400917926
101.56/78.65	o 400917925
101.56/78.66	o 400917916
101.56/78.68	o 400899546
101.56/78.69	o 400899539
101.66/78.70	o 400899538
101.66/78.71	o 400899536
101.66/78.72	o 400899529
101.66/78.73	o 400899526
101.66/78.74	o 400881136
101.66/78.76	o 400881126
101.66/78.77	o 400881119
101.66/78.79	o 400881113
101.76/78.80	o 400881109
101.76/78.84	o 400862754
101.76/78.85	o 400862747
101.76/78.87	o 400862744
101.76/78.88	o 400862737
101.76/78.89	o 400862726
101.86/78.91	o 400862719
101.86/78.93	o 400862713
101.86/78.94	o 400862709
101.96/79.06	o 400844335
101.96/79.07	o 400844328
101.96/79.09	o 400844326
101.96/79.10	o 400844319
102.06/79.18	o 400844313
102.06/79.19	o 400844309
102.27/79.32	o 400825954
102.27/79.33	o 400825947
102.27/79.35	o 400825944
102.27/79.36	o 400825937
102.27/79.37	o 400825926
102.27/79.38	o 400825919
102.27/79.40	o 400825913
102.37/79.41	o 400825909
102.77/79.87	o 400807544
102.77/79.88	o 400807537
102.77/79.89	o 400807536
102.88/79.90	o 400807526
102.88/79.91	o 400807519
102.88/79.93	o 400807513
102.88/79.94	o 400807509
102.98/80.08	o 400789146
102.98/80.09	o 400789139
103.08/80.11	o 400789136
103.08/80.12	o 400789129
103.08/80.13	o 400789123
103.08/80.15	o 400789119
103.08/80.17	o 400770746
103.08/80.18	o 400770739
103.08/80.19	o 400770736
103.18/80.20	o 400770729
103.18/80.22	o 400770723
103.18/80.23	o 400770719
103.28/80.37	o 400770713
103.28/80.39	o 400770709
103.49/80.61	o 400752365
103.60/80.62	o 400752358
103.60/80.63	o 400752355
103.60/80.64	o 400752348
103.60/80.65	o 400752346
103.60/80.66	o 400752339
103.60/80.68	o 400733956
103.60/80.69	o 400733949
103.69/80.70	o 400733946
103.69/80.71	o 400733939
103.69/80.73	o 400733933
103.69/80.74	o 400733929
103.79/80.82	o 400715556
103.79/80.83	o 400715549
103.79/80.84	o 400715546
103.79/80.85	o 400715539
103.79/80.87	o 400715533
103.79/80.88	o 400715529
103.89/80.96	o 400715523
103.89/80.97	o 400715519
109.75/83.63	o 400715509
109.84/83.73	o 400697112
109.84/83.78	o 400697102
109.94/83.87	o 400697093
110.04/83.98	o 400678719
110.14/84.06	o 400678709
110.24/84.15	o 400678700
110.34/84.26	o 400660312
110.34/84.27	o 400660302
110.44/84.36	o 400660293
110.54/84.49	o 400641919
110.65/84.58	o 400641909
110.75/84.67	o 400641900
110.85/84.79	o 400623519
110.95/84.81	o 400623509
110.95/84.90	o 400623500
111.15/85.00	o 400623493
111.26/85.11	o 400605110
111.36/85.23	o 400605103
111.46/85.34	o 400586719
111.56/85.43	o 400586710
111.67/85.52	o 400586703
111.77/85.67	o 400568303
112.06/85.91	o 400549903
112.26/86.10	o 400549902
112.36/86.24	o 400549900
112.46/86.39	o 400549893
112.67/86.55	o 400531502
112.77/86.68	o 400531493
112.96/86.84	o 400513116
113.06/86.98	o 400513109
113.27/87.11	o 400513100
113.37/87.28	o 400513093
113.57/87.43	o 400494702
113.68/87.58	o 400494693
113.87/87.76	o 400476309
114.07/87.90	o 400476300
114.17/88.05	o 400476293
114.39/88.20	o 400457912
114.49/88.34	o 400457903
114.59/88.49	o 400439508
114.80/88.64	o 400439505
114.89/88.77	o 400439501
115.09/88.91	o 400421117
116.31/89.88	o 400329094
116.41/89.97	o 400310694
116.51/90.07	o 400292294
116.71/90.20	o 400273894
116.81/90.34	o 400255494
116.92/90.45	o 400237094
117.13/90.64	o 400237085
117.32/90.87	o 400218694
118.98/92.46	o 400181885
119.44/92.81	o 400145085
120.30/93.66	o 400126685
121.20/94.51	o 400126681
121.49/94.81	o 400108310
121.49/94.86	o 400108300
121.59/94.91	o 400108291
121.69/95.01	o 400108281
121.79/95.15	o 400089901
121.90/95.20	o 400089891
121.90/95.25	o 400089881
122.10/95.40	o 400071501
122.10/95.45	o 400071491
122.20/95.57	o 400071481
122.40/95.70	o 400053101
122.50/95.80	o 400053091
122.60/95.91	o 400053081
122.70/96.04	o 400034701
122.70/96.08	o 400034691
122.80/96.12	o 400034690
122.80/96.17	o 400034681
123.00/96.31	o 400016319
123.00/96.35	o 400016310
123.10/96.40	o 400016301
123.10/96.46	o 400016300
123.10/96.50	o 400016291
123.31/96.62	o 400016290
123.31/96.70	o 400016281
123.50/96.88	o 399997910
123.60/96.93	o 399997901
123.60/96.97	o 399997900
123.70/97.02	o 399997891
123.70/97.09	o 399997881
123.90/97.24	o 399979510
124.00/97.35	o 399979500
124.11/97.46	o 399979490
124.21/97.58	o 399979481
124.41/97.74	o 399979478
124.51/97.87	o 399961098
124.61/97.97	o 399961088
124.71/98.08	o 399961087
124.81/98.18	o 399961078
125.01/98.33	o 399942716
125.11/98.41	o 399942706
125.22/98.51	o 399942697
125.32/98.61	o 399942687
125.41/98.75	o 399942682
125.51/98.86	o 399942678
125.61/98.98	o 399942672
125.81/99.10	o 399924298
125.91/99.21	o 399924288
126.01/99.32	o 399924278
126.11/99.45	o 399905898
126.11/99.49	o 399905888
126.22/99.54	o 399905878
126.32/99.68	o 399887507
126.41/99.72	o 399887497
126.41/99.77	o 399887496
126.51/99.81	o 399887487
126.61/99.96	o 399869107
126.71/100.00	o 399869097
126.71/100.05	o 399869088
126.81/100.19	o 399850716
126.91/100.23	o 399850706
126.91/100.27	o 399850697
127.11/100.41	o 399850696
127.11/100.47	o 399850687
127.32/100.65	o 399832316
127.42/100.70	o 399832306
127.52/100.83	o 399832296
127.62/100.96	o 399832287
127.82/101.10	o 399832281
127.92/101.28	o 399813910
128.02/101.33	o 399813900
128.12/101.46	o 399813890
128.23/101.59	o 399813881
128.42/101.75	o 399813878
128.52/101.88	o 399795507
128.62/101.91	o 399795497
128.62/101.96	o 399795487
128.72/102.08	o 399795482
128.92/102.21	o 399777101
128.92/102.29	o 399777091
129.02/102.40	o 399777081
129.23/102.57	o 399758719
129.33/102.62	o 399758709
129.42/102.74	o 399758700
129.52/102.86	o 399758699
129.62/102.98	o 399758690
129.82/103.11	o 399758681
130.02/103.30	o 399740313
130.57/103.52	o 399740312
130.57/103.59	o 399740303
130.76/103.72	o 399740302
130.86/103.81	o 399740293
130.96/103.94	o 399740284
131.16/104.10	o 399740281
131.26/104.28	o 399740275
131.46/104.42	o 399721913
131.46/104.48	o 399721903
131.67/104.61	o 399721894
131.76/104.75	o 399721893
131.86/104.88	o 399721884
132.16/105.10	o 399703530
132.16/105.13	o 399703521
132.16/105.17	o 399703520
132.26/105.20	o 399703511
132.26/105.24	o 399703510
133.64/106.32	o 399685110
135.17/107.85	o 399648301
135.37/108.00	o 399629901
135.47/108.17	o 399629891
135.67/108.33	o 399611501
135.77/108.50	o 399611491
135.98/108.67	o 399593101
136.17/108.84	o 399574701
136.37/109.02	o 399574691
136.57/109.21	o 399556301
137.29/109.96	o 399556292
137.39/110.05	o 399556291
137.49/110.14	o 399556282
137.59/110.23	o 399556281
137.69/110.31	o 399556272
137.79/110.40	o 399556271
137.79/110.49	o 399556262
141.29/113.58	o 399519462
147.21/119.20	o 399501033
148.22/120.24	o 399353837
148.42/120.43	o 399335437
148.82/120.83	o 399317037
149.22/121.24	o 399298637
149.53/121.54	o 399280237
150.13/122.11	o 399261837
150.43/122.40	o 399243437
150.83/122.83	o 399225037
151.13/123.12	o 399206637
151.54/123.54	o 399188237
151.93/123.99	o 399169837
152.23/124.26	o 399151437
153.03/124.78	o 399133037
153.73/125.50	o 399114637
154.34/126.03	o 399096237
154.95/126.61	o 399077837
155.84/127.52	o 399059437
156.34/128.02	o 399041037
156.85/128.57	o 399022637
157.54/129.20	o 399004237
157.95/129.66	o 398985837
158.44/130.18	o 398967447
158.85/130.52	o 398967437
159.24/130.97	o 398949037
159.97/131.67	o 398930637
164.48/135.94	o 398912237
165.18/136.56	o 398893837
166.77/138.14	o 398893833
167.77/139.13	o 398875433
168.18/139.59	o 398857043
169.80/141.14	o 398838643
170.10/141.46	o 398820243
170.50/141.85	o 398801843
170.80/142.18	o 398783443
171.51/142.88	o 398783433
176.32/147.68	o 398765052
176.52/147.89	o 398765043
177.73/148.75	o 398765042
178.24/149.26	o 398765033
178.84/149.81	o 398746652
178.94/149.90	o 398746643
179.65/150.68	o 398746640
180.24/151.20	o 398746633
180.74/151.75	o 398728259
180.84/151.82	o 398728250
180.94/151.90	o 398728243
181.55/152.56	o 398728240
181.94/152.97	o 398709859
182.04/153.01	o 398709850
182.44/153.43	o 398709843
183.14/154.19	o 398709840
183.74/154.73	o 398691459
183.74/154.78	o 398691450
184.44/155.50	o 398691449
185.14/156.18	o 398691440
185.94/156.90	o 398691433
186.75/157.74	o 398673057
186.85/157.81	o 398673050
187.05/158.01	o 398673048
187.15/158.16	o 398673041
187.85/158.82	o 398673040
187.95/158.90	o 398673033
189.15/159.81	o 398654657
189.15/159.86	o 398654648
189.26/159.92	o 398654640
190.97/161.62	o 398636261
190.97/161.67	o 398636252
191.06/161.76	o 398636244
191.76/162.40	o 398636240
192.46/163.18	o 398636233
193.26/163.97	o 398617857
193.36/164.09	o 398617848
194.16/164.81	o 398617840
195.06/165.72	o 398599457
195.16/165.89	o 398599448
195.97/166.63	o 398599440
196.98/167.65	o 398305069
198.17/168.80	o 398268275
199.07/169.77	o 398213075
200.07/170.70	o 398194675
201.59/171.95	o 398176275
209.20/179.49	o 398176273
211.10/181.39	o 398139473
212.70/182.90	o 398102673
214.45/184.47	o 398102663
215.34/185.27	o 397734644
215.75/185.66	o 397716244
216.14/186.05	o 397697854
216.54/186.45	o 397697844
216.94/186.84	o 397679454
217.34/187.23	o 397679444
217.65/187.59	o 397661044
218.14/188.00	o 397642644
218.44/188.39	o 397624254
218.84/188.77	o 397624244
219.24/189.19	o 397605844
219.65/189.58	o 397587454
220.04/189.96	o 397587444
220.44/190.37	o 397569054
220.84/190.75	o 397569044
221.24/191.16	o 397569034
221.66/191.57	o 397550644
222.15/192.06	o 397532254
222.66/192.56	o 397532244
223.85/193.79	o 397513854
224.35/194.25	o 397513844
225.05/195.00	o 397495460
225.45/195.34	o 397495450
225.85/195.77	o 397495444
226.87/196.48	o 397477070
227.17/196.79	o 397477060
227.57/197.11	o 397477054
228.17/197.70	o 397458670
228.57/198.10	o 397458664
228.98/198.55	o 397458660
229.37/198.94	o 397458654
229.87/199.46	o 397440270
230.17/199.77	o 397440264
230.57/200.11	o 397440260
230.87/200.43	o 397440254
231.27/200.89	o 397421870
231.57/201.17	o 397421864
231.87/201.50	o 397421860
232.17/201.79	o 397421854
232.67/202.28	o 397403470
232.98/202.60	o 397403464
233.47/203.00	o 397403460
233.77/203.30	o 397403454
234.47/204.07	o 397403450
234.87/204.43	o 397385070
235.27/204.84	o 397385060
235.47/205.00	o 397385050
236.49/206.06	o 397366650
236.69/206.29	o 397366646
237.50/207.08	o 397329866
242.65/211.70	o 397311466
247.36/216.44	o 397293073
248.27/217.38	o 397274673
250.00/218.66	o 397256273
251.59/220.29	o 397237882
252.59/221.24	o 397219482
255.59/224.22	o 397201092
257.79/226.46	o 397201091
257.90/226.57	o 397201090
258.09/226.75	o 397201082
258.29/226.93	o 397182690
258.79/227.46	o 397109071
263.53/231.62	o 397109064
264.03/232.13	o 397109057
265.73/233.81	o 397109055
267.13/235.21	o 397109048
268.83/236.92	o 397090665
270.33/238.42	o 397090658
271.93/240.03	o 397090655
273.44/241.60	o 397090648
276.29/243.91	o 397072265
276.49/244.14	o 397072255
277.90/245.55	o 397072248
280.09/247.70	o 397053872
280.90/248.55	o 397035481
283.29/250.95	o 397035480
287.48/254.45	o 397017080
289.15/256.04	o 396888252
291.35/258.28	o 396888242
293.56/260.44	o 396869864
295.46/262.38	o 396869854
295.87/262.72	o 396869845
300.34/266.56	o 396851473
300.63/266.83	o 396851464
301.23/267.43	o 396833073
301.23/267.48	o 396833064
304.53/270.79	o 396814673
304.93/271.16	o 396814664
305.34/271.58	o 396796273
305.44/271.63	o 396796264
306.53/272.75	o 396777873
306.93/273.11	o 396777864
307.83/274.04	o 396759483
308.13/274.39	o 396759474
308.54/274.78	o 396759473
308.63/274.86	o 396759464
309.44/275.61	o 396759463
309.83/276.02	o 396759454
312.90/278.70	o 396741082
313.29/279.05	o 396741073
313.69/279.40	o 396741064
314.19/279.96	o 396741063
314.39/280.16	o 396741054
314.59/280.37	o 396722682
314.69/280.48	o 396722673
314.90/280.67	o 396722664
315.59/281.37	o 396722663
315.69/281.49	o 396722654
315.99/281.71	o 396704273
316.19/281.90	o 396704264
316.59/282.30	o 396685892
316.80/282.59	o 396685883
317.19/282.98	o 396685873
317.49/283.27	o 396685864
317.99/283.77	o 396667492
327.38/292.67	o 396667485
330.38/295.62	o 396649090
331.77/297.05	o 396649085
332.97/298.21	o 396630690
337.36/302.12	o 396612289
339.36/304.19	o 396593897
368.56/332.16	o 396501865
370.25/333.38	o 396483474
370.86/333.93	o 396483465
373.96/337.05	o 396465074
374.57/337.62	o 396465065
381.96/344.40	o 396207486
386.26/348.76	o 396189096
386.76/349.29	o 396170696
388.38/350.35	o 396133897
389.69/351.68	o 396115497
391.48/353.49	o 396097097
392.69/354.61	o 396078697
394.38/356.36	o 396060297
395.88/357.86	o 396041897
397.58/359.06	o 396023497
399.59/361.04	o 396005097
400.29/361.77	o 395986697
402.59/364.05	o 395968297
403.79/365.22	o 395949897
404.49/365.99	o 395931497
406.29/367.76	o 395913097
406.59/368.01	o 395894697
410.09/371.08	o 395765895
410.79/371.73	o 395765885
411.40/372.37	o 395765884
412.30/373.23	o 395747495
412.80/373.77	o 395747485
413.50/374.42	o 395747484
414.50/375.50	o 395729095
415.10/376.06	o 395729085
415.71/376.68	o 395729084
416.71/377.68	o 395710695
417.89/378.39	o 395710685
418.49/378.99	o 395710684
419.89/380.35	o 395692305
420.69/381.17	o 395692304
421.59/382.01	o 395692295
422.10/382.52	o 395692294
422.99/383.40	o 395692285
423.69/384.19	o 395673905
424.49/384.97	o 395673895
425.29/385.78	o 395673894
426.39/386.85	o 395655505
428.28/387.90	o 395655495
429.08/388.70	o 395655494
454.88/412.75	o 395637093
456.29/414.11	o 395600293
460.18/417.28	o 395581893
486.00/441.65	o 395397853
489.69/445.39	o 395397844
492.49/447.41	o 395379443
492.99/447.99	o 395379434
494.29/449.23	o 395379425
495.40/450.31	o 395361043
496.00/450.93	o 395361034
496.80/451.72	o 395361025
501.34/455.43	o 395324225
501.94/456.05	o 395269011
504.56/458.61	o 395232211
505.25/459.31	o 395213811
508.15/461.53	o 395177059
509.25/462.67	o 395177039
512.54/465.98	o 395158639
514.25/467.70	o 395140249
515.94/469.33	o 395140239
518.53/471.22	o 395121839
532.25/484.25	o 395103439
533.05/485.03	o 395085039
533.85/485.82	o 395066639
538.25/490.29	o 395048239
542.02/493.40	o 395011439
542.62/493.98	o 394993039
543.42/494.79	o 394974639
544.33/495.67	o 394956239
545.33/496.63	o 394937839
546.82/498.12	o 394919439
547.93/499.23	o 394901039
549.23/500.52	o 394882639
550.13/501.42	o 394864239
551.93/502.57	o 394845839
567.38/517.12	o 394809039
570.38/520.16	o 394790648
573.48/523.24	o 394790639
592.26/540.50	o 394790634
592.66/540.89	o 394790633
618.08/564.99	o 394790629
618.58/565.44	o 394790623
622.75/569.18	o 394772238
623.35/569.78	o 394772232
624.76/571.15	o 394772229
625.36/571.72	o 394772223
628.36/574.76	o 394772222
629.96/576.35	o 394772219
631.46/577.89	o 394772213
633.86/579.75	o 394753838
635.46/581.39	o 394735471
635.77/581.63	o 394735463
636.06/581.97	o 394735462
636.36/582.25	o 394735461
636.67/582.55	o 394735454
636.96/582.85	o 394735453
637.26/583.19	o 394735452
637.56/583.47	o 394735444
637.86/583.79	o 394735443
638.56/584.44	o 394717071
638.86/584.76	o 394717061
639.16/585.04	o 394717052
639.46/585.36	o 394717044
639.86/585.77	o 394717043
640.26/586.16	o 394717038
640.67/586.52	o 394717037
641.06/586.93	o 394717035
641.36/587.28	o 394717029
641.77/587.69	o 394717028
663.81/608.76	o 394698638
665.32/610.25	o 394551429
667.42/612.30	o 394533030
669.25/613.63	o 394533027
669.74/614.10	o 394533023
670.15/614.51	o 394533022
670.54/614.98	o 394533018
671.04/615.44	o 394533014
672.04/616.42	o 394367385
672.74/617.15	o 394348985
673.64/618.00	o 394330589
674.34/618.77	o 394330585
677.64/622.02	o 394312189
678.34/622.72	o 394312185
680.15/624.58	o 394293797
681.43/625.34	o 394293793
682.03/625.92	o 394293789
682.64/626.54	o 394054589
683.33/627.29	o 394036189
684.33/628.30	o 394017801
687.64/631.58	o 394017799
690.93/634.88	o 393999408
696.92/639.96	o 393962608
697.32/640.35	o 393944208
698.42/641.41	o 393925808
699.42/642.48	o 393907408
700.53/643.54	o 393889008
701.72/644.71	o 393870608
702.72/645.71	o 393852208
703.92/646.94	o 393833816
706.21/648.44	o 393815417
707.32/649.52	o 393815408
736.77/677.44	o 393797008
737.47/678.11	o 393778608
738.07/678.76	o 393741808
746.33/686.30	o 393723399
750.05/689.91	o 393704999
753.63/692.54	o 393686608
755.23/694.13	o 393668217
756.83/695.76	o 393668208
761.23/700.18	o 393613006
761.93/700.87	o 393594606
766.23/704.13	o 393576206
766.83/704.72	o 393557806
769.13/707.06	o 393465806
770.03/707.91	o 393465805
771.13/709.08	o 393465796
771.83/709.73	o 393465795
774.77/711.85	o 393410606
775.67/712.74	o 393410605
776.87/713.95	o 393410596
777.48/714.60	o 393410595
779.07/716.15	o 393392206
780.08/717.12	o 393392196
784.89/721.98	o 393392187
785.79/722.81	o 393355378
793.64/729.82	o 393336978
794.34/730.56	o 393318578
795.35/731.54	o 393300188
795.74/731.96	o 393281788
796.54/732.74	o 393281778
797.74/733.96	o 393263378
799.69/735.06	o 393244988
800.30/735.68	o 393226588
802.09/737.40	o 393226578
802.89/738.22	o 393208188
803.20/738.60	o 393189788
804.59/739.98	o 393189778
805.99/741.31	o 393171378
806.79/742.10	o 393152978
814.74/749.16	o 393134586
849.20/780.74	o 393116186
855.90/787.45	o 393116185
856.50/788.07	o 393097785
856.90/788.46	o 393042590
858.20/789.79	o 392987381
858.80/790.35	o 392968981
859.30/790.89	o 392950581
863.50/794.19	o 392932191
865.70/796.39	o 392932181
866.30/796.91	o 392913791
877.00/806.77	o 392913781
877.50/807.22	o 392895391
878.00/807.72	o 392895381
878.40/808.15	o 392876991
878.81/808.58	o 392876981
879.31/809.01	o 392858591
901.38/829.35	o 392840191
901.88/829.89	o 392821791
902.38/830.38	o 392803398
902.78/830.76	o 392803391
903.28/831.27	o 392784991
903.88/831.80	o 392766591
904.38/832.32	o 392766581
904.88/832.83	o 392748181
905.48/833.44	o 392729788
905.88/833.87	o 392729781
906.69/834.65	o 392711388
907.08/835.01	o 392711381
907.59/835.57	o 392692988
909.26/836.30	o 392692981
909.76/836.89	o 392692978
910.16/837.28	o 392692971
910.76/837.86	o 392674578
911.16/838.25	o 392674571
911.86/838.99	o 392656191
912.26/839.36	o 392656181
912.76/839.82	o 392656171
913.36/840.49	o 392637781
913.87/840.90	o 392637771
914.27/841.37	o 392619381
914.76/841.82	o 392619371
915.36/842.50	o 392600971
916.16/843.26	o 392582578
916.47/843.60	o 392582571
918.47/845.53	o 392564188
918.86/845.97	o 392564178
919.36/846.40	o 392564171
921.35/847.55	o 392545778
921.85/848.02	o 392545771
949.41/873.82	o 392545760
963.18/886.75	o 392508970
964.09/887.62	o 392490578
1002.17/923.00	o 392472207
1003.68/924.55	o 392472197
1006.48/927.39	o 392472190
1012.97/932.94	o 392453799
1017.18/937.16	o 392453790
1024.98/944.09	o 392417018
1029.09/948.11	o 392417009
1052.22/969.58	o 392416990
1064.07/980.60	o 392398598
1065.86/982.32	o 392398590
1079.20/994.85	o 392380202
1108.11/1021.93	o 392380194
1110.01/1023.85	o 392361819
1110.11/1023.96	o 392361810
1110.31/1024.11	o 392361802
1111.21/1025.06	o 392343419
1111.31/1025.19	o 392343411
1111.61/1025.51	o 392343410
1111.82/1025.68	o 392343402
1115.73/1028.62	o 392325019
1115.82/1028.80	o 392325011
1116.02/1029.00	o 392325010
1116.22/1029.12	o 392325002
1118.73/1031.66	o 392288211
1122.73/1035.68	o 392269811
1130.92/1042.97	o 392269789
1175.60/1081.78	o 392269781
1179.23/1084.88	o 392251399
1181.43/1087.07	o 392251391
1183.63/1089.28	o 392251389
1185.43/1091.04	o 392251381
1187.73/1093.30	o 392232999
1189.13/1094.74	o 392232991
1191.73/1096.87	o 392232989
1192.92/1098.06	o 392232981
1196.33/1101.49	o 392232975
1201.72/1106.39	o 392214579
1206.23/1110.86	o 392196195
1210.91/1115.08	o 392196188
1215.32/1119.47	o 392196186
1235.19/1138.89	o 392196185
1235.69/1139.35	o 392196184
1236.09/1139.76	o 392196176
1236.59/1140.20	o 392196175
1236.90/1140.60	o 392196167
1238.69/1141.85	o 392177784
1240.70/1143.84	o 392159387
1245.11/1148.23	o 392159384
1251.19/1153.79	o 392122592
1255.85/1158.30	o 392104202
1261.63/1163.53	o 392104192
1275.77/1177.11	o 392085820
1281.18/1182.59	o 392085811
1289.09/1189.91	o 392085801
1290.50/1191.34	o 392067401
1296.24/1196.53	o 392048999
1303.34/1203.63	o 392030596
1309.04/1208.74	o 392030589
1315.92/1215.52	o 392012181
1324.03/1223.07	o 392012171
1326.43/1225.49	o 392012161
1328.93/1227.90	o 391993779
1334.88/1233.39	o 391975389
1337.09/1235.54	o 391975379
1339.19/1237.66	o 391975378
1343.38/1241.85	o 391956997
1343.68/1242.13	o 391956989
1345.33/1243.20	o 391938594
1349.23/1247.19	o 391920194
1356.91/1254.16	o 391883397
1363.92/1261.17	o 391883390
1370.05/1266.61	o 391883387
1380.83/1276.87	o 391883378
1382.23/1278.24	o 391864978
1383.73/1279.74	o 391846578
1385.23/1281.27	o 391828187
1386.65/1282.63	o 391828178
1388.24/1284.23	o 391809787
1389.74/1285.70	o 391809778
1392.82/1288.26	o 391791406
1394.42/1289.82	o 391791396
1395.92/1291.39	o 391791387
1397.63/1293.07	o 391773006
1399.03/1294.46	o 391772997
1400.53/1295.91	o 391772996
1404.03/1298.89	o 391699386
1417.72/1311.95	o 391680986
1420.52/1314.77	o 391662586
1421.82/1316.06	o 391644192
1423.73/1317.90	o 391644186
1424.53/1318.76	o 391625826
1424.83/1319.00	o 391625816
1425.80/1319.46	o 391625808
1426.10/1319.79	o 391625807
1426.50/1320.10	o 391625805
1427.50/1321.14	o 391607415
1437.10/1330.76	o 391607414
1437.61/1331.21	o 391607405
1481.54/1372.86	o 391607396
1482.94/1374.25	o 391589002
1501.77/1391.94	o 391570594
1543.61/1431.42	o 391533813
1544.60/1432.40	o 391515413
1549.41/1437.25	o 391441805
1551.86/1438.81	o 391423405
1552.57/1439.52	o 391276195
1553.57/1440.55	o 391257805
1555.16/1442.17	o 391257803
1556.76/1443.76	o 391239413
1558.36/1445.31	o 391239405
1560.46/1447.49	o 391239403
1561.96/1448.99	o 391221013
1564.59/1450.73	o 391221005
1566.80/1452.97	o 391220995
1568.30/1454.50	o 391202605
1578.93/1464.19	o 391202604
1579.34/1464.57	o 391202596
1585.20/1470.37	o 391165796
1586.30/1471.46	o 391147396
1611.09/1494.46	o 391128996
1612.09/1495.46	o 391128987
1613.39/1496.77	o 391110590
1614.69/1498.05	o 391110581
1615.99/1499.36	o 391092196
1618.29/1500.85	o 391073790
1619.59/1502.16	o 391073781
1622.29/1504.87	o 391055385
1623.49/1506.06	o 391055376
1625.00/1507.57	o 391036991
1626.30/1508.88	o 391018585
1627.71/1510.25	o 391018576
1633.01/1514.63	o 391000176
1640.71/1522.33	o 390981794
1644.22/1524.82	o 390963394
1646.62/1527.29	o 390945003
1655.55/1535.14	o 390908203
1664.88/1543.53	o 390908182
1670.98/1549.66	o 390889792
1677.96/1555.72	o 390889780
1681.96/1559.79	o 390871380
1687.26/1565.09	o 390871375
1706.10/1581.96	o 390834575
1733.81/1607.71	o 390797786
1739.42/1613.32	o 390779386
1741.51/1615.46	o 390760986
1745.25/1618.24	o 390760983
1756.53/1628.57	o 390742596
1765.23/1637.29	o 390724177
1766.83/1638.82	o 390705777
1770.33/1641.50	o 390687377
1789.60/1659.68	o 390650587
1790.60/1660.68	o 390613787
1798.11/1667.25	o 390576987
1801.21/1670.38	o 390558587
1802.81/1671.91	o 390540188
1812.79/1680.92	o 390521788
1814.69/1682.85	o 390503396
1816.79/1684.98	o 390503388
1834.81/1701.13	o 390484996
1840.91/1707.20	o 390466596
1859.28/1723.79	o 390429805
1865.68/1730.12	o 390429804
1866.38/1730.82	o 390429795
1867.78/1732.22	o 390411402
1870.54/1734.07	o 390411395
1873.45/1736.99	o 390392995
1924.65/1784.37	o 390319414
1927.05/1786.73	o 390264233
1928.15/1787.83	o 390245843
1937.78/1796.56	o 390245833
1938.88/1797.68	o 390227443
1940.07/1798.81	o 390227433
1941.17/1799.94	o 390209043
1942.48/1801.25	o 390209033
1943.58/1802.38	o 390190633
1945.97/1803.89	o 390172243
1947.27/1805.13	o 390172233
1948.27/1806.12	o 390172225
1949.87/1807.76	o 390153833
1950.97/1808.84	o 390153825
1984.73/1839.71	o 390135460
1984.83/1839.86	o 390135451
1985.43/1840.45	o 390135442
1986.13/1841.19	o 390135435
1988.34/1843.35	o 390135432
1994.94/1849.93	o 390117039
1996.03/1851.09	o 390061839
2010.84/1864.99	o 389988220
2022.93/1876.19	o 389988213
2026.41/1878.74	o 389969803
2049.32/1900.75	o 389969794
2055.40/1905.97	o 389951394
2069.66/1919.20	o 389932995
2070.97/1920.57	o 389914605
2074.36/1923.98	o 389896205
2093.11/1940.81	o 389877805
2102.93/1950.61	o 389859405
2126.06/1972.22	o 389841015
2132.79/1978.32	o 389822627
2149.07/1994.02	o 389822615
2194.84/2037.60	o 389804215
2205.55/2047.61	o 389785819
2219.63/2061.18	o 389767418
2221.63/2063.11	o 389749018
2223.53/2065.04	o 389730618
2225.83/2067.34	o 389712218
2228.91/2069.84	o 389693818
2231.51/2072.46	o 389675419
2233.31/2074.22	o 389675418
2261.95/2101.72	o 389657047
2269.92/2109.17	o 389657046
2285.08/2123.74	o 389638657
2290.58/2129.21	o 389638648
2296.95/2135.03	o 389620257
2323.92/2160.95	o 389546634
2325.82/2162.80	o 389528243
2327.53/2164.60	o 389528234
2329.63/2166.62	o 389509853
2331.33/2168.32	o 389509844
2334.63/2171.15	o 389509843
2336.44/2173.00	o 389509834
2338.44/2174.97	o 389491453
2339.84/2176.39	o 389491444
2344.29/2180.22	o 389491443
2365.42/2200.86	o 389454653
2374.18/2208.96	o 389436253
2386.55/2220.78	o 389436243
2400.09/2233.61	s SATISFIABLE
2400.09/2233.62	v <instantiation>
2400.09/2233.62	v 	<list>
2400.09/2233.62	v 		f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v1[1425] v1[1426] v1[1427] v1[1428] v1[1429] v1[1430] v1[1431] v1[1432] v1[1433] v1[1434] v1[1435] v1[1436] v1[1437] v1[1438] v1[1439] v1[1440] v1[1441] v1[1442] v1[1443] v1[1444] v1[1445] v1[1446] v1[1447] v1[1448] v1[1449] v1[1450] v1[1451] v1[1452] v1[1453] v1[1454] v1[1455] v1[1456] v1[1457] v1[1458] v1[1459] v1[1460] v1[1461] v1[1462] v1[1463] v1[1464] v1[1465] v1[1466] v1[1467] v1[1468] v1[1469] v1[1470] v1[1471] v1[1472] v1[1473] v1[1474] v1[1475] v1[1476] v1[1477] v1[1478] v1[1479] v1[1480] v1[1481] v1[1482] v1[1483] v1[1484] v1[1485] v1[1486] v1[1487] v1[1488] v1[1489] v1[1490] v1[1491] v1[1492] v1[1493] v1[1494] v1[1495] v1[1496] v1[1497] v1[1498] v1[1499] v1[1500] v1[1501] v1[1502] v1[1503] v1[1504] v1[1505] v1[1506] v1[1507] v1[1508] v1[1509] v1[1510] v1[1511] v1[1512] v1[1513] v1[1514] v1[1515] v1[1516] v1[1517] v1[1518] v1[1519] v1[1520] v1[1521] v1[1522] v1[1523] v1[1524] v1[1525] v1[1526] v1[1527] v1[1528] v1[1529] v1[1530] v1[1531] v1[1532] v1[1533] v1[1534] v1[1535] v1[1536] v1[1537] v1[1538] v1[1539] v1[1540] v1[1541] v1[1542] v1[1543] v1[1544] v1[1545] v1[1546] v1[1547] v1[1548] v1[1549] v1[1550] v1[1551] v1[1552] v1[1553] v1[1554] v1[1555] v1[1556] v1[1557] v1[1558] v1[1559] v1[1560] v1[1561] v1[1562] v1[1563] v1[1564] v1[1565] v1[1566] v1[1567] v1[1568] v1[1569] v1[1570] v1[1571] v1[1572] v1[1573] v1[1574] v1[1575] v1[1576] v1[1577] v1[1578] v1[1579] v1[1580] v1[1581] v1[1582] v1[1583] v1[1584] v1[1585] v1[1586] v1[1587] v1[1588] v1[1589] v1[1590] v1[1591] v1[1592] v1[1593] v1[1594] v1[1595] v1[1596] v1[1597] v1[1598] v1[1599] v1[1600] v1[1601] v1[1602] v1[1603] v1[1604] v1[1605] v1[1606] v1[1607] v1[1608] v1[1609] v1[1610] v1[1611] v1[1612] v1[1613] v1[1614] v1[1615] v1[1616] v1[1617] v1[1618] v1[1619] v1[1620] v1[1621] v1[1622] v1[1623] v1[1624] v1[1625] v1[1626] v1[1627] v1[1628] v1[1629] v1[1630] v1[1631] v1[1632] v1[1633] v1[1634] v1[1635] v1[1636] v1[1637] v1[1638] v1[1639] v1[1640] v1[1641] v1[1642] v1[1643] v1[1644] v1[1645] v1[1646] v1[1647] v1[1648] v1[1649] v1[1650] v1[1651] v1[1652] v1[1653] v1[1654] v1[1655] v1[1656] v1[1657] v1[1658] v1[1659] v1[1660] v1[1661] v1[1662] v1[1663] v1[1664] v1[1665] v1[1666] v1[1667] v1[1668] v1[1669] v1[1670] v1[1671] v1[1672] v1[1673] v1[1674] v1[1675] v1[1676] v1[1677] v1[1678] v1[1679] v1[1680] v1[1681] v1[1682] v1[1683] v1[1684] v1[1685] v1[1686] v1[1687] v1[1688] v1[1689] v1[1690] v1[1691] v1[1692] v1[1693] v1[1694] v1[1695] v1[1696] v1[1697] v1[1698] v1[1699] v1[1700] v1[1701] v1[1702] v1[1703] v1[1704] v1[1705] v1[1706] v1[1707] v1[1708] v1[1709] v1[1710] v1[1711] v1[1712] v1[1713] v1[1714] v1[1715] v1[1716] v1[1717] v1[1718] v1[1719] v1[1720] v1[1721] v1[1722] v1[1723] v1[1724] v1[1725] v1[1726] v1[1727] v1[1728] v1[1729] v1[1730] v1[1731] v1[1732] v1[1733] v1[1734] v1[1735] v1[1736] v1[1737] v1[1738] v1[1739] v1[1740] v1[1741] v1[1742] v1[1743] v1[1744] v1[1745] v1[1746] v1[1747] v1[1748] v1[1749] v1[1750] v1[1751] v1[1752] v1[1753] v1[1754] v1[1755] v1[1756] v1[1757] v1[1758] v1[1759] v1[1760] v1[1761] v1[1762] v1[1763] v1[1764] v1[1765] v1[1766] v1[1767] v1[1768] v1[1769] v1[1770] v1[1771] v1[1772] v1[1773] v1[1774] v1[1775] v1[1776] v1[1777] v1[1778] v1[1779] v1[1780] v1[1781] v1[1782] v1[1783] v1[1784] v1[1785] v1[1786] v1[1787] v1[1788] v1[1789] v1[1790] v1[1791] v1[1792] v1[1793] v1[1794] v1[1795] v1[1796] v1[1797] v1[1798] v1[1799] v1[1800] v1[1801] v1[1802] v1[1803] v1[1804] v1[1805] v1[1806] v1[1807] v1[1808] v1[1809] v1[1810] v1[1811] v1[1812] v1[1813] v1[1814] v1[1815] v1[1816] v1[1817] v1[1818] v1[1819] v1[1820] v1[1821] v1[1822] v1[1823] v1[1824] v1[1825] v1[1826] v1[1827] v1[1828] v1[1829] v1[1830] v1[1831] v1[1832] v1[1833] v1[1834] v1[1835] v1[1836] v1[1837] v1[1838] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] v2[1425] v2[1426] v2[1427] v2[1428] v2[1429] v2[1430] v2[1431] v2[1432] v2[1433] v2[1434] v2[1435] v2[1436] v2[1437] v2[1438] v2[1439] v2[1440] v2[1441] v2[1442] v2[1443] v2[1444] v2[1445] v2[1446] v2[1447] v2[1448] v2[1449] v2[1450] v2[1451] v2[1452] v2[1453] v2[1454] v2[1455] v2[1456] v2[1457] v2[1458] v2[1459] v2[1460] v2[1461] v2[1462] v2[1463] v2[1464] v2[1465] v2[1466] v2[1467] v2[1468] v2[1469] v2[1470] v2[1471] v2[1472] v2[1473] v2[1474] v2[1475] v2[1476] v2[1477] v2[1478] v2[1479] v2[1480] v2[1481] v2[1482] v2[1483] v2[1484] v2[1485] v2[1486] v2[1487] v2[1488] v2[1489] v2[1490] v2[1491] v2[1492] v2[1493] v2[1494] v2[1495] v2[1496] v2[1497] v2[1498] v2[1499] v2[1500] v2[1501] v2[1502] v2[1503] v2[1504] v2[1505] v2[1506] v2[1507] v2[1508] v2[1509] v2[1510] v2[1511] v2[1512] v2[1513] v2[1514] v2[1515] v2[1516] v2[1517] v2[1518] v2[1519] v2[1520] v2[1521] v2[1522] v2[1523] v2[1524] v2[1525] v2[1526] v2[1527] v2[1528] v2[1529] v2[1530] v2[1531] v2[1532] v2[1533] v2[1534] v2[1535] v2[1536] v2[1537] v2[1538] v2[1539] v2[1540] v2[1541] v2[1542] v2[1543] v2[1544] v2[1545] v2[1546] v2[1547] v2[1548] v2[1549] v2[1550] v2[1551] v2[1552] v2[1553] v2[1554] v2[1555] v2[1556] v2[1557] v2[1558] v2[1559] v2[1560] v2[1561] v2[1562] v2[1563] v2[1564] v2[1565] v2[1566] v2[1567] v2[1568] v2[1569] v2[1570] v2[1571] v2[1572] v2[1573] v2[1574] v2[1575] v2[1576] v2[1577] v2[1578] v2[1579] v2[1580] v2[1581] v2[1582] v2[1583] v2[1584] v2[1585] v2[1586] v2[1587] v2[1588] v2[1589] v2[1590] v2[1591] v2[1592] v2[1593] v2[1594] v2[1595] v2[1596] v2[1597] v2[1598] v2[1599] v2[1600] v2[1601] v2[1602] v2[1603] v2[1604] v2[1605] v2[1606] v2[1607] v2[1608] v2[1609] v2[1610] v2[1611] v2[1612] v2[1613] v2[1614] v2[1615] v2[1616] v2[1617] v2[1618] v2[1619] v2[1620] v2[1621] v2[1622] v2[1623] v2[1624] v2[1625] v2[1626] v2[1627] v2[1628] v2[1629] v2[1630] v2[1631] v2[1632] v2[1633] v2[1634] v2[1635] v2[1636] v2[1637] v2[1638] v2[1639] v2[1640] v2[1641] v2[1642] v2[1643] v2[1644] v2[1645] v2[1646] v2[1647] v2[1648] v2[1649] v2[1650] v2[1651] v2[1652] v2[1653] v2[1654] v2[1655] v2[1656] v2[1657] v2[1658] v2[1659] v2[1660] v2[1661] v2[1662] v2[1663] v2[1664] v2[1665] v2[1666] v2[1667] v2[1668] v2[1669] v2[1670] v2[1671] v2[1672] v2[1673] v2[1674] v2[1675] v2[1676] v2[1677] v2[1678] v2[1679] v2[1680] v2[1681] v2[1682] v2[1683] v2[1684] v2[1685] v2[1686] v2[1687] v2[1688] v2[1689] v2[1690] v2[1691] v2[1692] v2[1693] v2[1694] v2[1695] v2[1696] v2[1697] v2[1698] v2[1699] v2[1700] v2[1701] v2[1702] v2[1703] v2[1704] v2[1705] v2[1706] v2[1707] v2[1708] v2[1709] v2[1710] v2[1711] v2[1712] v2[1713] v2[1714] v2[1715] v2[1716] v2[1717] v2[1718] v2[1719] v2[1720] v2[1721] v2[1722] v2[1723] v2[1724] v2[1725] v2[1726] v2[1727] v2[1728] v2[1729] v2[1730] v2[1731] v2[1732] v2[1733] v2[1734] v2[1735] v2[1736] v2[1737] v2[1738] v2[1739] v2[1740] v2[1741] v2[1742] v2[1743] v2[1744] v2[1745] v2[1746] v2[1747] v2[1748] v2[1749] v2[1750] v2[1751] v2[1752] v2[1753] v2[1754] v2[1755] v2[1756] v2[1757] v2[1758] v2[1759] v2[1760] v2[1761] v2[1762] v2[1763] v2[1764] v2[1765] v2[1766] v2[1767] v2[1768] v2[1769] v2[1770] v2[1771] v2[1772] v2[1773] v2[1774] v2[1775] v2[1776] v2[1777] v2[1778] v2[1779] v2[1780] v2[1781] v2[1782] v2[1783] v2[1784] v2[1785] v2[1786] v2[1787] v2[1788] v2[1789] v2[1790] v2[1791] v2[1792] v2[1793] v2[1794] v2[1795] v2[1796] v2[1797] v2[1798] v2[1799] v2[1800] v2[1801] v2[1802] v2[1803] v2[1804] v2[1805] v2[1806] v2[1807] v2[1808] v2[1809] v2[1810] v2[1811] v2[1812] v2[1813] v2[1814] v2[1815] v2[1816] v2[1817] v2[1818] v2[1819] v2[1820] v2[1821] v2[1822] v2[1823] v2[1824] v2[1825] v2[1826] v2[1827] v2[1828] v2[1829] v2[1830] v2[1831] v2[1832] v2[1833] v2[1834] v2[1835] v2[1836] v2[1837] v2[1838] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[1420] d[1421] d[1422] d[1423] d[1424] d[1425] d[1426] d[1427] d[1428] d[1429] d[1430] d[1431] d[1432] d[1433] d[1434] d[1435] d[1436] d[1437] d[1438] d[1439] d[1440] d[1441] d[1442] d[1443] d[1444] d[1445] d[1446] d[1447] d[1448] d[1449] d[1450] d[1451] d[1452] d[1453] d[1454] d[1455] d[1456] d[1457] d[1458] d[1459] d[1460] d[1461] d[1462] d[1463] d[1464] d[1465] d[1466] d[1467] d[1468] d[1469] d[1470] d[1471] d[1472] d[1473] d[1474] d[1475] d[1476] d[1477] d[1478] d[1479] d[1480] d[1481] d[1482] d[1483] d[1484] d[1485] d[1486] d[1487] d[1488] d[1489] d[1490] d[1491] d[1492] d[1493] d[1494] d[1495] d[1496] d[1497] d[1498] d[1499] d[1500] d[1501] d[1502] d[1503] d[1504] d[1505] d[1506] d[1507] d[1508] d[1509] d[1510] d[1511] d[1512] d[1513] d[1514] d[1515] d[1516] d[1517] d[1518] d[1519] d[1520] d[1521] d[1522] d[1523] d[1524] d[1525] d[1526] d[1527] d[1528] d[1529] d[1530] d[1531] d[1532] d[1533] d[1534] d[1535] d[1536] d[1537] d[1538] d[1539] d[1540] d[1541] d[1542] d[1543] d[1544] d[1545] d[1546] d[1547] d[1548] d[1549] d[1550] d[1551] d[1552] d[1553] d[1554] d[1555] d[1556] d[1557] d[1558] d[1559] d[1560] d[1561] d[1562] d[1563] d[1564] d[1565] d[1566] d[1567] d[1568] d[1569] d[1570] d[1571] d[1572] d[1573] d[1574] d[1575] d[1576] d[1577] d[1578] d[1579] d[1580] d[1581] d[1582] d[1583] d[1584] d[1585] d[1586] d[1587] d[1588] d[1589] d[1590] d[1591] d[1592] d[1593] d[1594] d[1595] d[1596] d[1597] d[1598] d[1599] d[1600] d[1601] d[1602] d[1603] d[1604] d[1605] d[1606] d[1607] d[1608] d[1609] d[1610] d[1611] d[1612] d[1613] d[1614] d[1615] d[1616] d[1617] d[1618] d[1619] d[1620] d[1621] d[1622] d[1623] d[1624] d[1625] d[1626] d[1627] d[1628] d[1629] d[1630] d[1631] d[1632] d[1633] d[1634] d[1635] d[1636] d[1637] d[1638] d[1639] d[1640] d[1641] d[1642] d[1643] d[1644] d[1645] d[1646] d[1647] d[1648] d[1649] d[1650] d[1651] d[1652] d[1653] d[1654] d[1655] d[1656] d[1657] d[1658] d[1659] d[1660] d[1661] d[1662] d[1663] d[1664] d[1665] d[1666] d[1667] d[1668] d[1669] d[1670] d[1671] d[1672] d[1673] d[1674] d[1675] d[1676] d[1677] d[1678] d[1679] d[1680] d[1681] d[1682] d[1683] d[1684] d[1685] d[1686] d[1687] d[1688] d[1689] d[1690] d[1691] d[1692] d[1693] d[1694] d[1695] d[1696] d[1697] d[1698] d[1699] d[1700] d[1701] d[1702] d[1703] d[1704] d[1705] d[1706] d[1707] d[1708] d[1709] d[1710] d[1711] d[1712] d[1713] d[1714] d[1715] d[1716] d[1717] d[1718] d[1719] d[1720] d[1721] d[1722] d[1723] d[1724] d[1725] d[1726] d[1727] d[1728] d[1729] d[1730] d[1731] d[1732] d[1733] d[1734] d[1735] d[1736] d[1737] d[1738] d[1739] d[1740] d[1741] d[1742] d[1743] d[1744] d[1745] d[1746] d[1747] d[1748] d[1749] d[1750] d[1751] d[1752] d[1753] d[1754] d[1755] d[1756] d[1757] d[1758] d[1759] d[1760] d[1761] d[1762] d[1763] d[1764] d[1765] d[1766] d[1767] d[1768] d[1769] d[1770] d[1771] d[1772] d[1773] d[1774] d[1775] d[1776] d[1777] d[1778] d[1779] d[1780] d[1781] d[1782] d[1783] d[1784] d[1785] d[1786] d[1787] d[1788] d[1789] d[1790] d[1791] d[1792] d[1793] d[1794] d[1795] d[1796] d[1797] d[1798] d[1799] d[1800] d[1801] d[1802] d[1803] d[1804] d[1805] d[1806] d[1807] d[1808] d[1809] d[1810] d[1811] d[1812] d[1813] d[1814] d[1815] d[1816] d[1817] d[1818] d[1819] d[1820] d[1821] d[1822] d[1823] d[1824] d[1825] d[1826] d[1827] d[1828] d[1829] d[1830] d[1831] d[1832] d[1833] d[1834] d[1835] d[1836] d[1837] d[1838]
2400.09/2233.62	v 	</list>
2400.09/2233.62	v 	<values>
2400.09/2233.62	v 		2436 2664 2780 2792 2568 2644 2664 2220 2464 2220 2752 2760 2304 2536 2444 2476 2632 2260 2600 2532 2452 2800 2608 2544 2732 2760 2780 2800 2672 2748 2780 2760 2792 2284 2508 2736 2680 2616 2820 2608 2800 2492 2820 2444 2584 2468 2484 2456 2780 2632 2496 2624 2260 2448 2296 2516 2428 2588 2584 2580 2576 2576 2468 2584 2220 2820 2628 2620 2484 2788 2664 2776 2348 2484 2752 2316 2564 2484 2452 2528 2516 2260 2528 2476 2468 2220 2820 2792 2780 2220 2740 2260 2704 2704 2640 2436 2220 2492 2524 2664 2460 2660 2688 2544 2476 2484 2220 2260 2764 2624 2484 2608 2220 2644 2584 2584 2220 2748 2788 2780 2540 2608 2544 2684 2576 2356 2584 2744 2332 2260 2524 2428 2420 2624 2472 2620 2448 2748 2244 2372 2720 2516 2584 2524 2692 2648 2600 2624 2600 2820 2788 2508 2484 2772 2820 2636 2260 2800 2776 2584 2780 2536 2492 2644 2716 2616 2420 2508 2380 2220 2820 2424 2816 2676 2684 2624 2532 2684 2260 2720 2260 2476 2780 2640 2664 2488 2792 2476 2624 2496 2476 2452 2648 2748 2788 2484 2524 2648 2624 2624 2604 2556 2820 2476 2732 2716 2488 2780 2780 2260 2516 2644 2336 2704 2740 2516 2568 2752 2524 2676 2496 2436 2624 2760 2260 2516 2596 2568 2584 2492 2660 2524 2680 2752 2616 2220 2420 2380 2308 2512 2220 2760 2396 2468 2260 2640 2524 2452 2800 2760 2436 2492 2724 2344 2492 2476 2672 2488 2468 2640 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 11 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 1 1 1 0 1 0 1 0 1 1 0 1 1 0 0 0 1 0 1 0 1 0 1 1 0 0 0 1 1 1 1 0 1 1 1 0 0 0 1 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 0 0 1 0 1 0 1 1 1 1 0 0 0 0 1 0 1 0 0 1 1 1 1 0 1 1 0 1 1 0 1 1 1 1 0 0 1 1 1 1 1 0 0 0 1 0 0 1 0 1 0 1 1 1 0 1 0 1 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 1 1 1 1 0 0 0 1 1 0 1 0 0 1 0 1 0 0 1 0 0 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 0 0 0 0 1 1 1 1 1 0 1 1 0 1 0 0 0 1 1 0 1 1 1 1 0 0 1 1 0 0 1 0 1 1 1 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 1 1 1 0 0 1 0 1 1 1 0 1 0 0 1 1 1 1 1 0 0 1 1 0 0 0 1 0 1 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 1 1 1 1 1 0 0 1 1 1 0 0 0 0 1 1 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 1 1 1 1 0 0 1 1 0 1 1 0 0 1 0 1 1 1 1 0 1 1 1 0 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 1 1 0 1 1 0 1 0 1 1 0 1 0 1 1 0 0 1 0 0 0 1 1 0 1 1 0 1 1 0 1 0 1 1 0 1 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 1 0 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 1 1 1 1 1 1 0 0 1 1 0 1 1 1 1 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 1 0 1 0 0 0 0 0 1 1 0 0 0 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 1 1 1 0 1 1 0 1 1 1 0 1 1 1 0 0 1 0 1 0 0 0 1 0 1 1 1 0 1 1 1 1 1 0 1 1 1 0 0 0 0 1 1 0 0 0 1 1 1 0 1 1 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 0 1 1 1 1 1 1 0 0 1 0 0 1 0 1 1 1 0 1 1 0 1 1 1 0 1 0 0 1 1 1 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 0 0 1 0 1 1 1 1 1 1 0 0 0 1 0 0 1 0 1 1 1 1 1 0 1 0 0 1 1 1 0 1 0 1 1 0 1 0 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 1 0 0 0 0 0 1 1 1 0 1 1 1 0 1 1 1 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 0 0 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 1 1 0 1 0 1 0 0 1 0 0 1 1 1 0 0 1 1 0 1 0 0 1 1 1 0 1 0 0 0 0 1 1 1 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 1 1 1 0 1 0 1 1 1 0 1 1 1 0 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 1 1 1 1 0 1 0 0 1 1 1 0 0 0 1 0 0 0 1 1 1 0 1 0 1 0 0 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 1 1 0 1 1 0 0 1 0 0 0 1 0 1 1 1 0 1 1 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 0 1 1 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 1 1 1 0 1 0 1 1 0 0 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 1 0 1 1 1 1 0 1 1 1 0 1 0 0 0 0 0 1 0 1 1 1 1 1 0 0 0 1 0 1 0 1 1 0 1 0 0 1 1 1 0 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 1 0 0 1 1 0 1 0 1 0 0 0 1 0 1 1 1 0 1 0 0 1 1 1 1 0 1 1 0 1 1 1 0 1 1 0 0 1 0 1 0 1 1 0 0 0 0 1 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 1 1 1 0 1 1 1 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 1 1 1 0 0 0 0 1 1 1 0 0 1 0 0 0 1 1 1 0 0 1 0 1 1 1 0 0 0 0 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 0 1 1 1 0 1 0 0 1 1 1 1 0 1 1 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 1 0 0 1 0 0 0 0 1 1 0 1 1 0 0 1 0 0 1 0 1 0 1 1 0 1 1 0 0 1 1 0 1 0 0 0 0 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 0 0 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 1 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 1 1 0 1 1 0 1 0 1 1 0 1 0 1 0 1 1 1 0 1 1 1 1 1 0 1 0 0 0 1 1 1 0 0 1 1 0 1 1 1 0 1 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 1 0 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 1 1 0 1 1 0 1 0 0 1 1 1 1 0 0 0 0 0 1 0 0 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 10 0 0 10 0 0 10 10 0 10 0 10 10 10 0 10 0 10 0 10 10 0 10 10 0 0 0 10 0 10 0 10 0 10 10 0 0 0 10 10 10 10 0 10 10 10 0 0 0 10 10 0 10 10 0 10 0 0 10 0 10 10 0 10 0 10 0 10 0 10 0 10 0 0 10 0 10 0 10 10 0 0 0 0 10 0 10 0 10 10 10 10 0 0 0 0 10 0 10 0 0 10 10 10 10 0 10 10 0 10 10 0 10 10 10 10 0 0 10 10 10 10 10 0 0 0 10 0 0 10 0 10 0 10 10 10 0 10 0 10 0 0 10 0 0 0 10 10 10 0 0 0 10 0 0 10 10 10 10 0 0 0 10 10 0 10 0 0 10 0 10 0 0 10 0 0 10 10 10 10 10 0 10 10 10 10 10 10 0 0 10 0 0 0 0 10 10 10 10 10 0 10 10 0 10 0 0 0 10 10 0 10 10 10 10 0 0 10 10 0 0 10 0 10 10 10 0 0 0 0 0 10 0 10 0 10 10 10 10 0 0 0 0 10 10 0 0 0 0 0 10 0 0 0 0 10 10 0 0 0 10 10 0 10 0 10 0 10 0 10 0 10 10 0 10 0 10 10 10 10 0 0 10 0 10 10 10 0 10 0 0 10 10 10 10 10 0 0 10 10 0 0 0 10 0 10 10 10 0 10 0 0 10 0 10 10 0 0 10 10 0 10 10 10 10 10 10 0 0 10 10 10 0 0 0 0 10 10 8 0 10 10 0 10 10 10 0 0 0 0 0 0 0 10 0 10 0 10 0 0 0 10 10 10 10 10 10 0 0 10 10 0 10 10 0 0 10 0 10 10 10 10 0 10 10 10 0 10 0 10 10 10 10 10 10 10 0 0 10 10 0 10 10 0 0 10 10 10 0 10 0 0 0 10 0 10 0 10 0 0 0 10 10 0 0 10 10 0 10 10 0 10 0 10 10 1 10 0 10 10 0 0 10 0 0 0 10 10 0 10 10 10 10 10 0 10 0 10 10 0 10 0 10 10 0 0 0 0 0 10 10 10 10 0 0 0 0 0 10 10 10 10 10 0 10 10 10 10 0 0 10 10 0 0 0 0 0 0 0 0 10 0 10 10 10 0 10 0 10 0 0 0 0 0 10 0 0 10 0 10 0 10 10 10 10 10 10 10 10 0 0 0 10 0 0 0 10 0 10 0 10 0 0 10 10 10 10 10 10 10 0 0 10 10 0 10 10 10 10 0 0 0 10 0 0 0 10 0 10 0 0 10 10 0 0 10 10 0 0 0 10 0 10 0 0 0 0 10 10 10 0 10 0 10 0 0 0 10 10 10 10 10 10 10 10 0 0 0 0 0 10 10 0 0 0 10 10 10 10 10 0 0 10 0 0 0 10 0 0 0 0 10 0 10 10 10 0 10 10 0 10 10 10 0 10 10 10 0 0 10 0 10 0 0 0 10 0 10 10 10 0 10 10 10 10 10 0 10 10 10 0 0 0 0 10 10 0 0 0 10 10 10 0 10 10 0 0 0 0 10 10 10 0 10 0 0 10 0 0 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 0 10 10 10 0 0 10 10 10 10 10 10 0 1 10 0 0 10 0 10 10 10 0 10 10 0 10 10 10 0 10 0 0 10 10 10 0 0 0 0 10 0 0 10 0 10 0 10 0 10 0 0 10 0 10 0 0 0 0 10 10 10 10 10 0 10 0 10 0 0 0 10 10 10 10 10 0 0 0 0 10 10 10 0 0 10 0 10 10 10 10 10 10 9 0 0 10 0 0 10 0 10 10 10 10 10 0 10 0 0 10 10 10 0 10 0 10 10 0 10 0 10 10 10 0 0 10 10 10 0 0 0 0 0 0 0 0 0 10 10 0 10 0 0 0 0 0 10 10 0 10 10 10 10 0 0 10 0 0 10 10 10 10 0 0 0 0 0 10 10 10 0 10 10 10 0 10 10 10 0 0 0 0 10 0 0 10 10 0 10 0 0 10 0 10 0 10 0 10 10 0 0 0 0 10 0 10 0 10 0 10 10 10 10 10 10 10 10 10 10 0 10 0 0 10 0 0 0 0 10 0 0 10 10 0 0 10 10 10 7 10 0 0 0 10 10 10 0 10 10 10 0 10 0 10 0 0 10 0 0 10 10 10 0 0 10 10 0 10 0 0 10 10 10 0 10 0 0 0 0 10 10 10 10 0 0 0 10 0 0 10 0 0 0 0 10 0 0 0 0 10 0 0 10 10 0 10 10 10 0 10 0 10 10 10 0 10 10 10 0 0 10 10 0 0 10 10 10 0 10 0 10 10 0 10 0 0 10 10 10 0 10 0 0 0 10 10 10 10 10 0 10 0 0 10 10 0 10 0 10 0 10 0 10 0 0 0 10 10 10 10 10 0 10 0 10 10 10 10 0 10 0 0 10 10 10 0 0 0 10 0 0 0 10 10 10 0 10 10 10 0 0 0 10 0 0 10 10 0 10 0 0 10 0 10 10 0 10 0 10 0 0 10 0 0 0 10 0 0 10 0 0 10 10 0 0 0 10 10 0 10 10 0 0 10 0 0 0 10 9 10 10 10 0 10 10 10 0 0 10 0 0 10 10 0 0 10 0 10 10 0 0 10 0 10 0 0 10 0 0 10 0 10 0 10 0 0 10 10 10 0 0 0 10 0 0 10 10 0 10 0 0 0 0 0 10 0 10 10 10 10 0 0 0 0 10 10 10 0 10 0 10 10 0 0 0 10 0 10 0 10 0 0 10 10 0 10 0 10 0 10 10 0 10 10 10 10 0 10 10 10 0 10 0 0 0 0 0 10 0 10 10 10 10 10 0 0 0 10 0 10 0 10 10 0 10 0 0 10 10 10 0 0 0 10 10 10 10 10 10 0 0 10 10 10 10 10 10 0 10 10 0 0 10 10 0 10 0 10 0 0 0 10 0 10 10 10 0 10 0 0 10 10 10 10 0 10 10 6 10 10 10 0 10 10 0 0 10 0 10 0 10 10 0 0 0 0 10 10 0 10 10 10 0 0 0 10 9 0 0 0 0 0 0 10 0 10 10 0 0 0 0 0 0 10 0 0 0 0 10 10 10 10 0 0 10 10 10 0 10 10 10 0 10 0 0 10 0 0 0 0 0 0 10 10 0 0 10 10 10 10 10 0 0 10 0 10 10 10 0 0 10 0 0 0 10 10 10 0 0 10 0 10 10 10 0 0 0 0 0 10 10 0 10 10 0 10 10 0 1 10 10 10 0 0 10 10 10 0 10 0 0 10 10 10 10 0 10 10 10 10 0 10 0 0 0 0 10 10 0 10 0 0 0 10 10 10 0 0 10 0 0 0 0 10 10 0 10 10 0 0 10 0 0 10 0 10 0 10 10 0 10 10 0 0 10 10 0 10 0 0 9 0 10 10 10 0 10 0 10 10 10 10 10 0 10 0 10 10 10 10 0 0 10 0 10 0 10 0 0 0 10 10 10 10 10 0 10 10 0 10 0 0 0 10 10 0 10 0 0 0 0 10 0 0 0 0 0 10 0 10 10 10 0 0 0 10 0 0 10 10 0 10 10 0 10 0 10 10 0 10 0 10 0 10 10 10 0 10 10 10 10 10 0 10 0 0 0 10 10 10 0 0 10 10 0 10 10 10 0 10 10 10 0 10 0 10 0 10 0 10 0 0 10 10 0 10 10 0 10 10 0 0 0 0 10 0 10 0 10 0 0 0 0 10 10 0 10 10 0 10 10 10 10 0 10 10 0 10 0 0 10 0 0 10 0 0 0 10 0 0 0 10 10 0 0 0 0 10 0 10 0 10 0 10 10 0 0 0 0 0 0 0 10 0 10 0 0 10 0 5 0 0 0 0 0 0 0 0 0 10 10 10 10 10 0 10 0 10 10 10 0 10 10 10 10 0 10 10 10 10 0 0 9 0 0 10 10 10 10 10 10 0 10 0 0 0 10 0 0 10 0 0 0 9 0 0 0 10 10 0 0 10 10 10 10 10 10 0 10 10 0 10 0 0 10 10 10 10 0 0 0 0 0 10 0 0 10 0 10 0 0 10 10 0 10 324 152 344 228 356 216 304 204 188 216 344 72 120 344 324 156 172 120 80 124 148 112 116 0 40 124 148 96 404 24 136 560 316 248 192 196 216 304 172 424 520 560 140 172 316 396 84 72 272 92 224 16 80 252 204 164 108 192 28 0 28 16 176 60 424 44 0 104 120 72 32 20 116 36 424 384 192 168 176 200 188 156 196 156 76 4 188 4 212 412 248 248 408 524 256 304 0 80 144 32 16 316 120 12 276 216 288 540 388 264 308 256 0 404 388 464 304 200 500 552 600 456 336 88 48 308 68 36 276 304 36 492 112 276 492 8 48 8 264 284 176 96 412 444 252 40 28 380 268 232 488 180 488 436 460 304 168 484 472 204 220 400 148 224 264 88 100 316 48 108 88 156 244 88 88 60 104 264 92 52 260 316 80 48 196 56 104 100 344 344 228 28 172 148 32 240 20 0 20 108 40 116 156 68 148 148 372 16 372 128 372 92 320 532 444 324 168 364 424 380 236 520 520 236 264 156 32 64 8 76 0 0 44 4 24 84 124 228 248 84 16 312 128 92 76 52 68 256 108 108 56 36 40 312 92 164 8 8 208 268 320 188 196 24 264 72 40 0 316 348 8 156 420 48 308 24 348 388 292 80 132 180 12 8 212 192 188 140 216 100 60 60 60 16 276 160 80 124 248 68 92 28 20 76 124 288 56 44 248 148 208 312 360 148 108 48 164 216 20 352 24 292 140 276 308 96 72 116 152 428 160 276 292 268 40 264 296 312 76 520 308 40 520 560 52 40 308 372 48 60 364 216 256 176 80 292 292 124 120 40 308 64 156 84 204 80 148 108 48 464 68 168 72 8 88 272 204 232 28 132 72 264 12 284 204 296 196 560 156 156 520 288 256 560 256 184 540 288 136 112 324 348 216 168 320 208 268 412 60 276 208 176 280 452 208 64 464 496 324 208 448 284 184 440 192 100 272 56 32 248 288 240 140 16 288 84 44 32 276 476 264 36 12 104 24 460 56 16 56 56 192 188 204 156 396 260 32 0 60 140 48 176 60 280 220 356 164 24 244 0 336 348 44 40 28 32 68 224 140 204 476 24 56 124 52 0 8 100 132 36 12 144 192 64 316 60 160 36 276 380 20 268 160 464 60 76 308 48 24 8 36 300 64 240 272 112 180 188 600 196 576 44 144 196 28 196 40 304 204 512 140 176 84 48 376 348 204 304 336 280 116 236 100 236 156 364 252 136 216 132 120 156 108 12 48 160 308 284 16 60 76 280 132 236 48 56 332 148 96 16 80 0 264 336 48 32 40 140 100 16 156 8 124 248 16 144 168 28 228 168 196 20 20 20 40 40 520 0 8 204 96 248 304 40 204 44 8 124 208 184 160 100 148 120 128 144 236 4 276 88 252 20 88 284 40 4 188 8 128 128 264 60 44 148 404 80 140 16 0 176 128 148 128 0 40 56 132 280 132 328 176 424 364 472 132 128 116 228 240 152 176 324 236 28 48 28 48 452 228 132 380 172 60 148 32 40 8 120 260 68 132 272 8 28 244 124 56 56 88 316 64 216 208 256 68 304 96 96 120 72 12 132 104 368 36 328 20 64 100 192 208 100 8 60 40 136 100 64 132 196 324 248 60 96 60 240 116 172 52 120 132 20 44 104 104 84 320 84 4 356 200 44 244 316 152 48 204 268 184 108 108 84 92 0 60 40 100 124 72 28 100 96 16 8 208 224 320 16 312 88 264 312 236 44 332 108 24 40 0 160 40 36 0 364 160 196 40 120 164 60 132 96 96 572 0 464 40 304 404 380 600 256 256 600 456 0 504 236 72 276 128 172 20 560 160 368 36 4 160 156 384 176 104 4 60 192 96 360 168 264 36 180 128 44 96 132 40 96 360 44 256 204 40 116 336 64 24 60 156 148 48 176 240 4 260 568 264 248 204 568 68 84 116 316 148 24 192 40 244 0 188 140 4 8 24 112 444 356 352 300 100 260 264 308 136 260 8 300 88 104 412 292 452 168 32 8 224 264 112 48 140 192 140 276 240 224 292 4 24 228 68 20 256 228 72 332 372 48 432 428 460 328 104 200 208 176 408 88 80 208 36 112 84 60 8 188 40 112 60 160 304 92 56 336 304 40 48 84 176 196 328 192 296 92 172 132 148 24 152 300 16 24 112 308 80 56 72 44 8 148 120 12 184 124 8 8 132 264 160 224 4 364 348 40 308 176 172 56 92 80 96 292 52 32 96 32 344 316 212 48 48 16 168 40 148 256 0 32 108 280 180 56 48 16 600 484 364 500 380 404 256 276 568 428 404 276 216 236 200 220 196 344 344 368 216 324 236 384 532 88 156 108 268 52 172 352 196 0 164 272 40 520 520 156 520 40 268 328 436 528 208 404 552 160 296 200 272 116 48 96 124 176 504 40 280 212 256 340 540 228 384 48 84 444 44 16 116 56 236 256 80 196 280 28 20 208 228 208 120 420 4 108 32 64 36 92 140 304 244 216 148 104 80 352 380 52 52 80 56 468 364 0 400 304 424 0 600 496 348 272 272 92 48 92 288 44 40 4 132 4 152 24 0 264 20 220 100 0 76 304 80 256 152 264 56 80 108 444 20 0 108 156 240 164 48 32 36 72 200 332 300 8 340 180 440 52 152 128 184 56 120 64 168 80 260 180 192 16 8 308 292 164 220 176 56 244 80 172 108 96 244 0 316 284 0 200 336 48 164 192 8 16 404 464 208 304 256 160 528 232 460 264 296 264 144 36 240 288 544 456 36 272 196 152 40 124 68 52 36 136 116 152 64 32 64 104 8 240 172 0 64 168 96 68 116 228 116 364 364 560 268 404 268 296 88 268 120 128 60 176 168 116 152 0 44 68 0 196 48 96 40 40 60 68 176 96 204 0 96 40 40 68 56 240 388 356 252 40 464 528 116 296 176 248 140 392 264 40 124 132 76 252 0 264 112 296 444 296 272 560 360 328 120 16 240 84 64 192 280 16 184 196 24 236 116 80 176 276 124 36 20 104 80 208 424 100 136 92 100 152 48 348 168 68 464 172 196 196 240 108 100 204 20 48 316 156 168 136 136 464 68 120 368 284 16 60 324 324 108 108 20 176 324 524 48 44 228 176 232 400 308 560 556 488 256 400 356 96 100 100 128 288 48 232 252 84 116 204 372 96 40 100 152 156 92 80 56 228 244 192 136 328 240 96 4 132 160 104 24 60 52 272 156 28 48 68 352 276 132 528 324 32 528 272 476 380 460 380 436 428 348 404 272 224 268 188 96 124 324 4 68 96 108 132 108 28 128 0 124 28 188 48 364 76 96 216 140 264 0 48 256 264 0 56 116 156 68 240 388 8 140 8 124 124 48 24 76 132 148 60 128 128 176 188 264 76 4 292 108 400 288 560 332 304 512 568 0 8 452 352 128 408 208 128 16 152 88 40 60 192 236 164 8 160 220 8 240 20 148 204 320 332 296 376 20 12 84 80 124 200 416 364 272 216 252 380 152 60 40 184 404 332 44 152 172 4 252 196 40 40 96 60 68 204 56 96 244 140 116 292 32 292 136 20 292 116 156 148 48 88 108 20 104 260 56 148 424 172 40 148 176 168 88 108 424 176 4 208 76 192 224 224 108 200 164 132 100 124 56 112 168 132 48 196 72 88 132 112 256 156 32 196 220 336 284 292 596 324 28 240 296 84 208 36 128 68 188 76 100 164 0 216 256 248 92 148 268 424 160 340 264 20 204 520 308 0 24 172 304 40 40 0 132 212 268 312 92 116 380 72 148 328 268 136 136 136 156 28 68 152 36 4 0 308 116 272 240 20 40 108 164 0 20 244 0 264 88 264 100 148 12 108 72 192 40 208 232 92 4 92 104 52 388 100 124 488 88 328 368 568 296 256 268 228 0 32 80 228 136 388 112 76 108 128 136 108 28 136 268 8 128 64 104 44 244 304 216 148 456 280 28 152 272 0 212 288 164 20 308 160 8 64 128 48 4 120 116 116 444 212 48 284 96 12 16 0 124 48 148 80 228 304 0 256 88 160 132 316 56 128 324 40 128 280 248 120 336 540 120 156 176 76 92 188 148 148 268 0 440 228 236 0 36 116 236 248 16 292 40 256 96 124 20 412 120 72 56 416 88 
2400.09/2233.62	v 	</values>
2400.09/2233.62	v </instantiation>

Verifier Data 

OK	389436243

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291996-1532270290/watcher-4291996-1532270290 -o /tmp/evaluation-result-4291996-1532270290/solver-4291996-1532270290 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532260876-3288 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1662979636 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291996-1532270290.xml 

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

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


[startup+0.100141 s]*
/proc/loadavg: 1.39 1.42 1.43 3/215 4595
/proc/meminfo: memFree=20032324/32770624 swapFree=67108860/67108860
[pid=4580] ppid=4577 vsize=14082740 memory=33340 CPUtime=0.12 cores=1,3,5,7
/proc/4580/stat : 4580 (java) S 4577 4580 3256 0 -1 1077944320 7265 0 0 0 11 1 0 0 20 0 15 0 44592256 14420725760 8335 33554432000 4194304 4196468 140732048444016 140732048426560 139855097573111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
/proc/4580/statm: 3520685 8335 3114 1 0 3482761 0
[pid=4580/tid=4582] ppid=4577 vsize=14082740 memory=-8969305096560932032 CPUtime=0.09 cores=1,3,5,7
/proc/4580/task/4582/stat : 4582 (java) R 4577 4580 3256 0 -1 4202560 5336 0 0 0 9 0 0 0 20 0 15 0 44592256 14420725760 8335 33554432000 4194304 4196468 140732048444016 139855101758064 139855097585046 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4583] ppid=4577 vsize=14082740 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4583/stat : 4583 (java) S 4577 4580 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44592257 14420725760 8335 33554432000 4194304 4196468 140732048444016 139855012641424 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4584] ppid=4577 vsize=14082740 memory=139916789954176 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4584/stat : 4584 (java) S 4577 4580 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44592257 14420725760 8335 33554432000 4194304 4196468 140732048444016 139855011588624 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4585] ppid=4577 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4585/stat : 4585 (java) S 4577 4580 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44592257 14420725760 8335 33554432000 4194304 4196468 140732048444016 139855010535824 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4586] ppid=4577 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4586/stat : 4586 (java) S 4577 4580 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44592257 14420725760 8335 33554432000 4194304 4196468 140732048444016 139855009483024 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4587] ppid=4577 vsize=14082740 memory=139916789954176 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4587/stat : 4587 (java) S 4577 4580 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44592258 14420725760 8335 33554432000 4194304 4196468 140732048444016 139854278929264 139855097584258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4588] ppid=4577 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4588/stat : 4588 (java) S 4577 4580 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44592259 14420725760 8335 33554432000 4194304 4196468 140732048444016 139854277875232 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4589] ppid=4577 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4589/stat : 4589 (java) S 4577 4580 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44592259 14420725760 8335 33554432000 4194304 4196468 140732048444016 139854276822384 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4590] ppid=4577 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4590/stat : 4590 (java) S 4577 4580 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44592261 14420725760 8335 33554432000 4194304 4196468 140732048444016 139854275770704 139855097591707 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4591] ppid=4577 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4591/stat : 4591 (java) S 4577 4580 3256 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 44592261 14420725760 8335 33554432000 4194304 4196468 140732048444016 139854274718064 139855097584258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4592] ppid=4577 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4592/stat : 4592 (java) S 4577 4580 3256 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 15 0 44592261 14420725760 8335 33554432000 4194304 4196468 140732048444016 139854273665264 139855097584258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4593] ppid=4577 vsize=14082740 memory=139916789954176 CPUtime=0.01 cores=1,3,5,7
/proc/4580/task/4593/stat : 4593 (java) R 4577 4580 3256 0 -1 4202560 262 0 0 0 1 0 0 0 20 0 15 0 44592261 14420725760 8335 33554432000 4194304 4196468 140732048444016 139854272612464 139855081820729 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4594] ppid=4577 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4594/stat : 4594 (java) S 4577 4580 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44592261 14420725760 8335 33554432000 4194304 4196468 140732048444016 139854271559904 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4595] ppid=4577 vsize=14082740 memory=139916789954176 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4595/stat : 4595 (java) S 4577 4580 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44592262 14420725760 8335 33554432000 4194304 4196468 140732048444016 139854270508208 139855097584258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 33340 KiB

[startup+0.210608 s]*
/proc/loadavg: 1.39 1.42 1.43 4/215 4595
/proc/meminfo: memFree=20016928/32770624 swapFree=67108860/67108860
[pid=4580] ppid=4577 vsize=14082740 memory=46956 CPUtime=0.31 cores=1,3,5,7
/proc/4580/stat : 4580 (java) S 4577 4580 3256 0 -1 1077944320 10337 0 0 0 29 2 0 0 20 0 15 0 44592256 14420725760 11739 33554432000 4194304 4196468 140732048444016 140732048426560 139855097573111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
/proc/4580/statm: 3520685 11739 3381 1 0 3482761 0
[pid=4580/tid=4582] ppid=4577 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/4580/task/4582/stat : 4582 (java) R 4577 4580 3256 0 -1 4202560 8062 0 0 0 19 1 0 0 20 0 15 0 44592256 14420725760 11739 33554432000 4194304 4196468 140732048444016 139855101801512 139855097595037 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4583] ppid=4577 vsize=14082740 memory=331 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4583/stat : 4583 (java) S 4577 4580 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44592257 14420725760 11739 33554432000 4194304 4196468 140732048444016 139855012641424 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4584] ppid=4577 vsize=14082740 memory=139916789958942 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4584/stat : 4584 (java) S 4577 4580 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44592257 14420725760 11739 33554432000 4194304 4196468 140732048444016 139855011588624 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4585] ppid=4577 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4585/stat : 4585 (java) S 4577 4580 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44592257 14420725760 11739 33554432000 4194304 4196468 140732048444016 139855010535824 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4586] ppid=4577 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4586/stat : 4586 (java) S 4577 4580 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44592257 14420725760 11739 33554432000 4194304 4196468 140732048444016 139855009483024 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4587] ppid=4577 vsize=14082740 memory=139916789954176 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4587/stat : 4587 (java) S 4577 4580 3256 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44592258 14420725760 11739 33554432000 4194304 4196468 140732048444016 139854278929264 139855097584258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4588] ppid=4577 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4588/stat : 4588 (java) S 4577 4580 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44592259 14420725760 11739 33554432000 4194304 4196468 140732048444016 139854277875232 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4589] ppid=4577 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4589/stat : 4589 (java) S 4577 4580 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44592259 14420725760 11739 33554432000 4194304 4196468 140732048444016 139854276822384 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4590] ppid=4577 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4590/stat : 4590 (java) S 4577 4580 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44592261 14420725760 11739 33554432000 4194304 4196468 140732048444016 139854275770704 139855097591707 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4591] ppid=4577 vsize=14082740 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4580/task/4591/stat : 4591 (java) S 4577 4580 3256 0 -1 1077944384 292 0 0 0 1 0 0 0 20 0 15 0 44592261 14420725760 11739 33554432000 4194304 4196468 140732048444016 139854274718064 139855097584258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4592] ppid=4577 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4580/task/4592/stat : 4592 (java) S 4577 4580 3256 0 -1 1077944384 316 0 0 0 2 0 0 0 20 0 15 0 44592261 14420725760 11739 33554432000 4194304 4196468 140732048444016 139854273665264 139855097584258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4593] ppid=4577 vsize=14082740 memory=139916789954176 CPUtime=0.05 cores=1,3,5,7
/proc/4580/task/4593/stat : 4593 (java) R 4577 4580 3256 0 -1 4202560 293 0 0 0 5 0 0 0 20 0 15 0 44592261 14420725760 11739 33554432000 4194304 4196468 140732048444016 139854272608416 139855097585046 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4594] ppid=4577 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4594/stat : 4594 (java) S 4577 4580 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44592261 14420725760 11739 33554432000 4194304 4196468 140732048444016 139854271559904 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4595] ppid=4577 vsize=14082740 memory=139916789954176 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4595/stat : 4595 (java) S 4577 4580 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44592262 14420725760 11739 33554432000 4194304 4196468 140732048444016 139854270508208 139855097584258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46956 KiB

[startup+0.310769 s]*
/proc/loadavg: 1.39 1.42 1.43 3/215 4595
/proc/meminfo: memFree=20012756/32770624 swapFree=67108860/67108860
[pid=4580] ppid=4577 vsize=14082740 memory=50332 CPUtime=0.43 cores=1,3,5,7
/proc/4580/stat : 4580 (java) S 4577 4580 3256 0 -1 1077944320 10727 0 0 0 41 2 0 0 20 0 15 0 44592256 14420725760 12583 33554432000 4194304 4196468 140732048444016 140732048426560 139855097573111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
/proc/4580/statm: 3520685 12583 3383 1 0 3482761 0
[pid=4580/tid=4582] ppid=4577 vsize=14082740 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/4580/task/4582/stat : 4582 (java) R 4577 4580 3256 0 -1 4202560 8425 0 0 0 29 1 0 0 20 0 15 0 44592256 14420725760 12583 33554432000 4194304 4196468 140732048444016 139855101755408 139855079136667 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4583] ppid=4577 vsize=14082740 memory=304556140472303639 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4583/stat : 4583 (java) S 4577 4580 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44592257 14420725760 12583 33554432000 4194304 4196468 140732048444016 139855012641424 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4584] ppid=4577 vsize=14082740 memory=14272163952735896 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4584/stat : 4584 (java) S 4577 4580 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44592257 14420725760 12583 33554432000 4194304 4196468 140732048444016 139855011588624 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4585] ppid=4577 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4585/stat : 4585 (java) S 4577 4580 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44592257 14420725760 12583 33554432000 4194304 4196468 140732048444016 139855010535824 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4586] ppid=4577 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4586/stat : 4586 (java) S 4577 4580 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44592257 14420725760 12583 33554432000 4194304 4196468 140732048444016 139855009483024 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4587] ppid=4577 vsize=14082740 memory=139916789954176 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4587/stat : 4587 (java) S 4577 4580 3256 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44592258 14420725760 12583 33554432000 4194304 4196468 140732048444016 139854278929264 139855097584258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4588] ppid=4577 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4588/stat : 4588 (java) S 4577 4580 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44592259 14420725760 12583 33554432000 4194304 4196468 140732048444016 139854277875232 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4589] ppid=4577 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4589/stat : 4589 (java) S 4577 4580 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44592259 14420725760 12583 33554432000 4194304 4196468 140732048444016 139854276822384 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4590] ppid=4577 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4590/stat : 4590 (java) S 4577 4580 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44592261 14420725760 12583 33554432000 4194304 4196468 140732048444016 139854275770704 139855097591707 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4591] ppid=4577 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4580/task/4591/stat : 4591 (java) S 4577 4580 3256 0 -1 1077944384 292 0 0 0 2 0 0 0 20 0 15 0 44592261 14420725760 12583 33554432000 4194304 4196468 140732048444016 139854274718064 139855097584258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4592] ppid=4577 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4580/task/4592/stat : 4592 (java) S 4577 4580 3256 0 -1 1077944384 321 0 0 0 2 0 0 0 20 0 15 0 44592261 14420725760 12583 33554432000 4194304 4196468 140732048444016 139854273665264 139855097584258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4593] ppid=4577 vsize=14082740 memory=139916789954176 CPUtime=0.07 cores=1,3,5,7
/proc/4580/task/4593/stat : 4593 (java) S 4577 4580 3256 0 -1 1077944384 307 0 0 0 7 0 0 0 20 0 15 0 44592261 14420725760 12583 33554432000 4194304 4196468 140732048444016 139854272612464 139855097584258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4594] ppid=4577 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4594/stat : 4594 (java) S 4577 4580 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44592261 14420725760 12583 33554432000 4194304 4196468 140732048444016 139854271559904 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4595] ppid=4577 vsize=14082740 memory=139916789954176 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4595/stat : 4595 (java) S 4577 4580 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44592262 14420725760 12583 33554432000 4194304 4196468 140732048444016 139854270508208 139855097584258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50332 KiB

[startup+0.700781 s]
/proc/loadavg: 1.39 1.42 1.43 3/215 4595
/proc/meminfo: memFree=19988572/32770624 swapFree=67108860/67108860
[pid=4580] ppid=4577 vsize=14084808 memory=88892 CPUtime=0.99 cores=1,3,5,7
/proc/4580/stat : 4580 (java) S 4577 4580 3256 0 -1 1077944320 17593 0 0 0 95 4 0 0 20 0 15 0 44592256 14422843392 22223 33554432000 4194304 4196468 140732048444016 140732048426560 139855097573111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
/proc/4580/statm: 3521202 22223 3498 1 0 3483273 0
[pid=4580/tid=4582] ppid=4577 vsize=14084808 memory=1728 CPUtime=0.67 cores=1,3,5,7
/proc/4580/task/4582/stat : 4582 (java) R 4577 4580 3256 0 -1 4202560 14859 0 0 0 64 3 0 0 20 0 15 0 44592256 14422843392 22223 33554432000 4194304 4196468 140732048444016 139855101809016 139855077766065 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4583] ppid=4577 vsize=14084808 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4583/stat : 4583 (java) S 4577 4580 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44592257 14422843392 22223 33554432000 4194304 4196468 140732048444016 139855012641424 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4584] ppid=4577 vsize=14084808 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4584/stat : 4584 (java) S 4577 4580 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44592257 14422843392 22223 33554432000 4194304 4196468 140732048444016 139855011588624 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4585] ppid=4577 vsize=14084808 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4585/stat : 4585 (java) S 4577 4580 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44592257 14422843392 22223 33554432000 4194304 4196468 140732048444016 139855010535824 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4586] ppid=4577 vsize=14084808 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4586/stat : 4586 (java) S 4577 4580 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44592257 14422843392 22223 33554432000 4194304 4196468 140732048444016 139855009483024 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4587] ppid=4577 vsize=14084808 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4587/stat : 4587 (java) S 4577 4580 3256 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44592258 14422843392 22223 33554432000 4194304 4196468 140732048444016 139854278929264 139855097584258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4588] ppid=4577 vsize=14084808 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4588/stat : 4588 (java) S 4577 4580 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44592259 14422843392 22223 33554432000 4194304 4196468 140732048444016 139854277875232 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4589] ppid=4577 vsize=14084808 memory=8372 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4589/stat : 4589 (java) S 4577 4580 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44592259 14422843392 22223 33554432000 4194304 4196468 140732048444016 139854276822384 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4590] ppid=4577 vsize=14084808 memory=7518026621751089001 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4590/stat : 4590 (java) S 4577 4580 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44592261 14422843392 22223 33554432000 4194304 4196468 140732048444016 139854275770704 139855097591707 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4591] ppid=4577 vsize=14084808 memory=7236547281622689387 CPUtime=0.07 cores=1,3,5,7
/proc/4580/task/4591/stat : 4591 (java) S 4577 4580 3256 0 -1 1077944384 444 0 0 0 7 0 0 0 20 0 15 0 44592261 14422843392 22223 33554432000 4194304 4196468 140732048444016 139854274718064 139855097584258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4592] ppid=4577 vsize=14084808 memory=5787213827163908199 CPUtime=0.08 cores=1,3,5,7
/proc/4580/task/4592/stat : 4592 (java) S 4577 4580 3256 0 -1 1077944384 493 0 0 0 8 0 0 0 20 0 15 0 44592261 14422843392 22223 33554432000 4194304 4196468 140732048444016 139854273665264 139855097584258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4593] ppid=4577 vsize=14084808 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/4580/task/4593/stat : 4593 (java) S 4577 4580 3256 0 -1 1077944384 415 0 0 0 15 0 0 0 20 0 15 0 44592261 14422843392 22223 33554432000 4194304 4196468 140732048444016 139854272612464 139855097584258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4594] ppid=4577 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4594/stat : 4594 (java) S 4577 4580 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44592261 14422843392 22223 33554432000 4194304 4196468 140732048444016 139854271559904 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4595] ppid=4577 vsize=14084808 memory=33 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4595/stat : 4595 (java) S 4577 4580 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44592262 14422843392 22223 33554432000 4194304 4196468 140732048444016 139854270508208 139855097584258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88892 KiB

[startup+1.5008 s]
/proc/loadavg: 1.39 1.42 1.43 5/215 4595
/proc/meminfo: memFree=19749708/32770624 swapFree=67108860/67108860
[pid=4580] ppid=4577 vsize=14086856 memory=426424 CPUtime=3.21 cores=1,3,5,7
/proc/4580/stat : 4580 (java) S 4577 4580 3256 0 -1 1077944320 20133 0 0 0 286 35 0 0 20 0 15 0 44592256 14424940544 106606 33554432000 4194304 4196468 140732048444016 140732048426560 139855097573111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
/proc/4580/statm: 3521714 106606 3565 1 0 3483785 0
[pid=4580/tid=4582] ppid=4577 vsize=14086856 memory=8112282956445269571 CPUtime=1.35 cores=1,3,5,7
/proc/4580/task/4582/stat : 4582 (java) R 4577 4580 3256 0 -1 4202560 15326 0 0 0 128 7 0 0 20 0 15 0 44592256 14424940544 106606 33554432000 4194304 4196468 140732048444016 139855101808864 139854692038952 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4583] ppid=4577 vsize=14086856 memory=-8754540793456063680 CPUtime=0.1 cores=1,3,5,7
/proc/4580/task/4583/stat : 4583 (java) S 4577 4580 3256 0 -1 1077944384 117 0 0 0 4 6 0 0 20 0 15 0 44592257 14424940544 106606 33554432000 4194304 4196468 140732048444016 139855012641424 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4584] ppid=4577 vsize=14086856 memory=-2843869621055772062 CPUtime=0.1 cores=1,3,5,7
/proc/4580/task/4584/stat : 4584 (java) S 4577 4580 3256 0 -1 1077944384 199 0 0 0 4 6 0 0 20 0 15 0 44592257 14424940544 106606 33554432000 4194304 4196468 140732048444016 139855011588624 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4585] ppid=4577 vsize=14086856 memory=5450919713671312938 CPUtime=0.1 cores=1,3,5,7
/proc/4580/task/4585/stat : 4585 (java) S 4577 4580 3256 0 -1 1077944384 102 0 0 0 4 6 0 0 20 0 15 0 44592257 14424940544 106606 33554432000 4194304 4196468 140732048444016 139855010535824 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4586] ppid=4577 vsize=14086856 memory=7005738693937936738 CPUtime=0.1 cores=1,3,5,7
/proc/4580/task/4586/stat : 4586 (java) S 4577 4580 3256 0 -1 1077944384 186 0 0 0 4 6 0 0 20 0 15 0 44592257 14424940544 106606 33554432000 4194304 4196468 140732048444016 139855009483024 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4587] ppid=4577 vsize=14086856 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4587/stat : 4587 (java) S 4577 4580 3256 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 44592258 14424940544 106606 33554432000 4194304 4196468 140732048444016 139854278929264 139855097584258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0

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

/proc/4580/task/4582/stat : 4582 (java) R 4577 4580 3256 0 -1 4202560 260881 0 0 0 209140 82 0 0 20 0 15 0 44592256 14433329152 1585552 33554432000 4194304 4196468 140732048444016 139855101809424 139854693208967 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4583] ppid=4577 vsize=14095048 memory=8372 CPUtime=48.9 cores=1,3,5,7
/proc/4580/task/4583/stat : 4583 (java) S 4577 4580 3256 0 -1 1077944384 121842 0 0 0 4774 116 0 0 20 0 15 0 44592257 14433329152 1585552 33554432000 4194304 4196468 140732048444016 139855012641424 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4584] ppid=4577 vsize=14095048 memory=12972 CPUtime=48.96 cores=1,3,5,7
/proc/4580/task/4584/stat : 4584 (java) S 4577 4580 3256 0 -1 1077944384 109296 0 0 0 4776 120 0 0 20 0 15 0 44592257 14433329152 1585552 33554432000 4194304 4196468 140732048444016 139855011588624 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4585] ppid=4577 vsize=14095048 memory=6342208 CPUtime=48.91 cores=1,3,5,7
/proc/4580/task/4585/stat : 4585 (java) S 4577 4580 3256 0 -1 1077944384 118099 0 0 0 4778 113 0 0 20 0 15 0 44592257 14433329152 1585552 33554432000 4194304 4196468 140732048444016 139855010535824 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4586] ppid=4577 vsize=14095048 memory=1796 CPUtime=48.96 cores=1,3,5,7
/proc/4580/task/4586/stat : 4586 (java) S 4577 4580 3256 0 -1 1077944384 118562 0 0 0 4774 122 0 0 20 0 15 0 44592257 14433329152 1585552 33554432000 4194304 4196468 140732048444016 139855009483024 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4587] ppid=4577 vsize=14095048 memory=916 CPUtime=0.7 cores=1,3,5,7
/proc/4580/task/4587/stat : 4587 (java) S 4577 4580 3256 0 -1 1077944384 39740 0 0 0 63 7 0 0 20 0 15 0 44592258 14433329152 1585552 33554432000 4194304 4196468 140732048444016 139854278929264 139855097584258 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4588] ppid=4577 vsize=14095048 memory=6338104 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4588/stat : 4588 (java) S 4577 4580 3256 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 44592259 14433329152 1585552 33554432000 4194304 4196468 140732048444016 139854277875296 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4589] ppid=4577 vsize=14095048 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4589/stat : 4589 (java) S 4577 4580 3256 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 44592259 14433329152 1585552 33554432000 4194304 4196468 140732048444016 139854276822400 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4590] ppid=4577 vsize=14095048 memory=3260 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4590/stat : 4590 (java) S 4577 4580 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44592261 14433329152 1585552 33554432000 4194304 4196468 140732048444016 139854275770704 139855097591707 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4591] ppid=4577 vsize=14095048 memory=8112282956445269571 CPUtime=6.16 cores=1,3,5,7
/proc/4580/task/4591/stat : 4591 (java) S 4577 4580 3256 0 -1 1077944384 42812 0 0 0 611 5 0 0 20 0 15 0 44592261 14433329152 1585552 33554432000 4194304 4196468 140732048444016 139854274718064 139855097584258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4592] ppid=4577 vsize=14095048 memory=6338100 CPUtime=6.72 cores=1,3,5,7
/proc/4580/task/4592/stat : 4592 (java) S 4577 4580 3256 0 -1 1077944384 46813 0 0 0 668 4 0 0 20 0 15 0 44592261 14433329152 1585552 33554432000 4194304 4196468 140732048444016 139854273665264 139855097584258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4593] ppid=4577 vsize=14095048 memory=1424 CPUtime=1.92 cores=1,3,5,7
/proc/4580/task/4593/stat : 4593 (java) S 4577 4580 3256 0 -1 1077944384 40708 0 0 0 187 5 0 0 20 0 15 0 44592261 14433329152 1585552 33554432000 4194304 4196468 140732048444016 139854272612464 139855097584258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4594] ppid=4577 vsize=14095048 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4594/stat : 4594 (java) S 4577 4580 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44592261 14433329152 1585552 33554432000 4194304 4196468 140732048444016 139854271559904 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4595] ppid=4577 vsize=14095048 memory=1200 CPUtime=1.24 cores=1,3,5,7
/proc/4580/task/4595/stat : 4595 (java) S 4577 4580 3256 0 -1 1077944384 3575 0 0 0 53 71 0 0 20 0 15 0 44592262 14433329152 1585552 33554432000 4194304 4196468 140732048444016 139854270508208 139855097584258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
Current children cumulated CPU time: 2304.78 s
Current children cumulated vsize: 14095048 KiB
Current children cumulated memory: 6342208 KiB

[startup+2202.3 s]
/proc/loadavg: 1.85 2.00 2.17 3/216 4839
/proc/meminfo: memFree=3878188/32770624 swapFree=67108860/67108860
[pid=4580] ppid=4577 vsize=14095048 memory=6348348 CPUtime=2366.92 cores=1,3,5,7
/proc/4580/stat : 4580 (java) S 4577 4580 3256 0 -1 1077944320 920877 0 0 0 236058 634 0 0 20 0 15 0 44592256 14433329152 1587087 33554432000 4194304 4196468 140732048444016 140732048426560 139855097573111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
/proc/4580/statm: 3523762 1587087 3625 1 0 3485833 0
[pid=4580/tid=4582] ppid=4577 vsize=14095048 memory=15080 CPUtime=2151.5 cores=1,3,5,7
/proc/4580/task/4582/stat : 4582 (java) R 4577 4580 3256 0 -1 4202560 266775 0 0 0 215067 83 0 0 20 0 15 0 44592256 14433329152 1587087 33554432000 4194304 4196468 140732048444016 139855101802144 139854701094763 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4583] ppid=4577 vsize=14095048 memory=1296 CPUtime=49.6 cores=1,3,5,7
/proc/4580/task/4583/stat : 4583 (java) S 4577 4580 3256 0 -1 1077944384 126141 0 0 0 4844 116 0 0 20 0 15 0 44592257 14433329152 1587087 33554432000 4194304 4196468 140732048444016 139855012641424 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4584] ppid=4577 vsize=14095048 memory=2412 CPUtime=49.65 cores=1,3,5,7
/proc/4580/task/4584/stat : 4584 (java) S 4577 4580 3256 0 -1 1077944384 112411 0 0 0 4845 120 0 0 20 0 15 0 44592257 14433329152 1587087 33554432000 4194304 4196468 140732048444016 139855011588624 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4585] ppid=4577 vsize=14095048 memory=1728 CPUtime=49.62 cores=1,3,5,7
/proc/4580/task/4585/stat : 4585 (java) S 4577 4580 3256 0 -1 1077944384 120424 0 0 0 4849 113 0 0 20 0 15 0 44592257 14433329152 1587087 33554432000 4194304 4196468 140732048444016 139855010535824 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4586] ppid=4577 vsize=14095048 memory=5408 CPUtime=49.67 cores=1,3,5,7
/proc/4580/task/4586/stat : 4586 (java) S 4577 4580 3256 0 -1 1077944384 119720 0 0 0 4844 123 0 0 20 0 15 0 44592257 14433329152 1587087 33554432000 4194304 4196468 140732048444016 139855009483024 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4587] ppid=4577 vsize=14095048 memory=4612 CPUtime=0.71 cores=1,3,5,7
/proc/4580/task/4587/stat : 4587 (java) S 4577 4580 3256 0 -1 1077944384 40003 0 0 0 64 7 0 0 20 0 15 0 44592258 14433329152 1587087 33554432000 4194304 4196468 140732048444016 139854278929264 139855097584258 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4588] ppid=4577 vsize=14095048 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4588/stat : 4588 (java) S 4577 4580 3256 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 44592259 14433329152 1587087 33554432000 4194304 4196468 140732048444016 139854277875296 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4589] ppid=4577 vsize=14095048 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4589/stat : 4589 (java) S 4577 4580 3256 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 44592259 14433329152 1587087 33554432000 4194304 4196468 140732048444016 139854276822400 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4590] ppid=4577 vsize=14095048 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4590/stat : 4590 (java) S 4577 4580 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44592261 14433329152 1587087 33554432000 4194304 4196468 140732048444016 139854275770704 139855097591707 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4591] ppid=4577 vsize=14095048 memory=1004 CPUtime=6.16 cores=1,3,5,7
/proc/4580/task/4591/stat : 4591 (java) S 4577 4580 3256 0 -1 1077944384 42815 0 0 0 611 5 0 0 20 0 15 0 44592261 14433329152 1587087 33554432000 4194304 4196468 140732048444016 139854274718064 139855097584258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4592] ppid=4577 vsize=14095048 memory=8372 CPUtime=6.72 cores=1,3,5,7
/proc/4580/task/4592/stat : 4592 (java) S 4577 4580 3256 0 -1 1077944384 46822 0 0 0 668 4 0 0 20 0 15 0 44592261 14433329152 1587087 33554432000 4194304 4196468 140732048444016 139854273665264 139855097584258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4593] ppid=4577 vsize=14095048 memory=12972 CPUtime=1.92 cores=1,3,5,7
/proc/4580/task/4593/stat : 4593 (java) S 4577 4580 3256 0 -1 1077944384 40712 0 0 0 187 5 0 0 20 0 15 0 44592261 14433329152 1587087 33554432000 4194304 4196468 140732048444016 139854272612464 139855097584258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4594] ppid=4577 vsize=14095048 memory=796 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4594/stat : 4594 (java) S 4577 4580 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44592261 14433329152 1587087 33554432000 4194304 4196468 140732048444016 139854271559904 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4595] ppid=4577 vsize=14095048 memory=1424 CPUtime=1.28 cores=1,3,5,7
/proc/4580/task/4595/stat : 4595 (java) S 4577 4580 3256 0 -1 1077944384 3616 0 0 0 55 73 0 0 20 0 15 0 44592262 14433329152 1587087 33554432000 4194304 4196468 140732048444016 139854270508208 139855097584258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
Current children cumulated CPU time: 2366.92 s
Current children cumulated vsize: 14095048 KiB
Current children cumulated memory: 6348348 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2233.61 s]
/proc/loadavg: 1.91 2.00 2.16 3/215 4840
/proc/meminfo: memFree=3874416/32770624 swapFree=67108860/67108860
[pid=4580] ppid=4577 vsize=14095048 memory=6351388 CPUtime=2400.09 cores=1,3,5,7
/proc/4580/stat : 4580 (java) S 4577 4580 3256 0 -1 1077944320 934206 0 0 0 239372 637 0 0 20 0 15 0 44592256 14433329152 1587847 33554432000 4194304 4196468 140732048444016 140732048426560 139855097573111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
/proc/4580/statm: 3523762 1587847 3625 1 0 3485833 0
[pid=4580/tid=4582] ppid=4577 vsize=14095048 memory=6351388 CPUtime=2182.19 cores=1,3,5,7
/proc/4580/task/4582/stat : 4582 (java) R 4577 4580 3256 0 -1 4202560 270011 0 0 0 218136 83 0 0 20 0 15 0 44592256 14433329152 1587847 33554432000 4194304 4196468 140732048444016 139855101810704 139854693208248 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4583] ppid=4577 vsize=14095048 memory=6351388 CPUtime=50.22 cores=1,3,5,7
/proc/4580/task/4583/stat : 4583 (java) S 4577 4580 3256 0 -1 1077944384 130094 0 0 0 4905 117 0 0 20 0 15 0 44592257 14433329152 1587847 33554432000 4194304 4196468 140732048444016 139855012641424 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4584] ppid=4577 vsize=14095048 memory=6351388 CPUtime=50.27 cores=1,3,5,7
/proc/4580/task/4584/stat : 4584 (java) S 4577 4580 3256 0 -1 1077944384 113907 0 0 0 4907 120 0 0 20 0 15 0 44592257 14433329152 1587847 33554432000 4194304 4196468 140732048444016 139855011588624 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4585] ppid=4577 vsize=14095048 memory=6337564 CPUtime=50.23 cores=1,3,5,7
/proc/4580/task/4585/stat : 4585 (java) S 4577 4580 3256 0 -1 1077944384 123008 0 0 0 4910 113 0 0 20 0 15 0 44592257 14433329152 1587847 33554432000 4194304 4196468 140732048444016 139855010535824 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4586] ppid=4577 vsize=14095048 memory=6337564 CPUtime=50.28 cores=1,3,5,7
/proc/4580/task/4586/stat : 4586 (java) S 4577 4580 3256 0 -1 1077944384 121473 0 0 0 4905 123 0 0 20 0 15 0 44592257 14433329152 1587847 33554432000 4194304 4196468 140732048444016 139855009483024 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4587] ppid=4577 vsize=14095048 memory=6348348 CPUtime=0.71 cores=1,3,5,7
/proc/4580/task/4587/stat : 4587 (java) S 4577 4580 3256 0 -1 1077944384 40258 0 0 0 64 7 0 0 20 0 15 0 44592258 14433329152 1587847 33554432000 4194304 4196468 140732048444016 139854278929264 139855097584258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4588] ppid=4577 vsize=14095048 memory=6348348 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4588/stat : 4588 (java) S 4577 4580 3256 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 44592259 14433329152 1587847 33554432000 4194304 4196468 140732048444016 139854277875296 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4589] ppid=4577 vsize=14095048 memory=6337564 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4589/stat : 4589 (java) S 4577 4580 3256 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 44592259 14433329152 1587847 33554432000 4194304 4196468 140732048444016 139854276822400 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4590] ppid=4577 vsize=14095048 memory=6351388 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4590/stat : 4590 (java) S 4577 4580 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44592261 14433329152 1587847 33554432000 4194304 4196468 140732048444016 139854275770704 139855097591707 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4591] ppid=4577 vsize=14095048 memory=4140 CPUtime=6.16 cores=1,3,5,7
/proc/4580/task/4591/stat : 4591 (java) S 4577 4580 3256 0 -1 1077944384 42823 0 0 0 611 5 0 0 20 0 15 0 44592261 14433329152 1587847 33554432000 4194304 4196468 140732048444016 139854274718064 139855097584258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4592] ppid=4577 vsize=14095048 memory=6337564 CPUtime=6.72 cores=1,3,5,7
/proc/4580/task/4592/stat : 4592 (java) S 4577 4580 3256 0 -1 1077944384 46825 0 0 0 668 4 0 0 20 0 15 0 44592261 14433329152 1587847 33554432000 4194304 4196468 140732048444016 139854273665264 139855097584258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4593] ppid=4577 vsize=14095048 memory=6351388 CPUtime=1.92 cores=1,3,5,7
/proc/4580/task/4593/stat : 4593 (java) S 4577 4580 3256 0 -1 1077944384 40716 0 0 0 187 5 0 0 20 0 15 0 44592261 14433329152 1587847 33554432000 4194304 4196468 140732048444016 139854272612464 139855097584258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4594] ppid=4577 vsize=14095048 memory=6351388 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4594/stat : 4594 (java) S 4577 4580 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44592261 14433329152 1587847 33554432000 4194304 4196468 140732048444016 139854271559904 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4595] ppid=4577 vsize=14095048 memory=6337564 CPUtime=1.3 cores=1,3,5,7
/proc/4580/task/4595/stat : 4595 (java) S 4577 4580 3256 0 -1 1077944384 3653 0 0 0 55 75 0 0 20 0 15 0 44592262 14433329152 1587847 33554432000 4194304 4196468 140732048444016 139854270508208 139855097584258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 14095048 KiB
Current children cumulated memory: 6351388 KiB

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

[startup+2233.66 s]
# the end of solver process 4580 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2393.76 s, system=6.40576 s

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

[startup+2233.61 s]
/proc/loadavg: 1.91 2.00 2.16 3/215 4840
/proc/meminfo: memFree=3874416/32770624 swapFree=67108860/67108860
[pid=4580] ppid=4577 vsize=14095048 memory=6351388 CPUtime=2400.09 cores=1,3,5,7
/proc/4580/stat : 4580 (java) S 4577 4580 3256 0 -1 1077944320 934206 0 0 0 239372 637 0 0 20 0 15 0 44592256 14433329152 1587847 33554432000 4194304 4196468 140732048444016 140732048426560 139855097573111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
/proc/4580/statm: 3523762 1587847 3625 1 0 3485833 0
[pid=4580/tid=4582] ppid=4577 vsize=14095048 memory=6351388 CPUtime=2182.19 cores=1,3,5,7
/proc/4580/task/4582/stat : 4582 (java) R 4577 4580 3256 0 -1 4202560 270011 0 0 0 218136 83 0 0 20 0 15 0 44592256 14433329152 1587847 33554432000 4194304 4196468 140732048444016 139855101810704 139854693208248 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4583] ppid=4577 vsize=14095048 memory=6351388 CPUtime=50.22 cores=1,3,5,7
/proc/4580/task/4583/stat : 4583 (java) S 4577 4580 3256 0 -1 1077944384 130094 0 0 0 4905 117 0 0 20 0 15 0 44592257 14433329152 1587847 33554432000 4194304 4196468 140732048444016 139855012641424 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4584] ppid=4577 vsize=14095048 memory=6351388 CPUtime=50.27 cores=1,3,5,7
/proc/4580/task/4584/stat : 4584 (java) S 4577 4580 3256 0 -1 1077944384 113907 0 0 0 4907 120 0 0 20 0 15 0 44592257 14433329152 1587847 33554432000 4194304 4196468 140732048444016 139855011588624 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4585] ppid=4577 vsize=14095048 memory=6337564 CPUtime=50.23 cores=1,3,5,7
/proc/4580/task/4585/stat : 4585 (java) S 4577 4580 3256 0 -1 1077944384 123008 0 0 0 4910 113 0 0 20 0 15 0 44592257 14433329152 1587847 33554432000 4194304 4196468 140732048444016 139855010535824 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4586] ppid=4577 vsize=14095048 memory=6337564 CPUtime=50.28 cores=1,3,5,7
/proc/4580/task/4586/stat : 4586 (java) S 4577 4580 3256 0 -1 1077944384 121473 0 0 0 4905 123 0 0 20 0 15 0 44592257 14433329152 1587847 33554432000 4194304 4196468 140732048444016 139855009483024 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4587] ppid=4577 vsize=14095048 memory=6348348 CPUtime=0.71 cores=1,3,5,7
/proc/4580/task/4587/stat : 4587 (java) S 4577 4580 3256 0 -1 1077944384 40258 0 0 0 64 7 0 0 20 0 15 0 44592258 14433329152 1587847 33554432000 4194304 4196468 140732048444016 139854278929264 139855097584258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4588] ppid=4577 vsize=14095048 memory=6348348 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4588/stat : 4588 (java) S 4577 4580 3256 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 44592259 14433329152 1587847 33554432000 4194304 4196468 140732048444016 139854277875296 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4589] ppid=4577 vsize=14095048 memory=6337564 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4589/stat : 4589 (java) S 4577 4580 3256 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 44592259 14433329152 1587847 33554432000 4194304 4196468 140732048444016 139854276822400 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4590] ppid=4577 vsize=14095048 memory=6351388 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4590/stat : 4590 (java) S 4577 4580 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44592261 14433329152 1587847 33554432000 4194304 4196468 140732048444016 139854275770704 139855097591707 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4591] ppid=4577 vsize=14095048 memory=4140 CPUtime=6.16 cores=1,3,5,7
/proc/4580/task/4591/stat : 4591 (java) S 4577 4580 3256 0 -1 1077944384 42823 0 0 0 611 5 0 0 20 0 15 0 44592261 14433329152 1587847 33554432000 4194304 4196468 140732048444016 139854274718064 139855097584258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4592] ppid=4577 vsize=14095048 memory=6337564 CPUtime=6.72 cores=1,3,5,7
/proc/4580/task/4592/stat : 4592 (java) S 4577 4580 3256 0 -1 1077944384 46825 0 0 0 668 4 0 0 20 0 15 0 44592261 14433329152 1587847 33554432000 4194304 4196468 140732048444016 139854273665264 139855097584258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4593] ppid=4577 vsize=14095048 memory=6351388 CPUtime=1.92 cores=1,3,5,7
/proc/4580/task/4593/stat : 4593 (java) S 4577 4580 3256 0 -1 1077944384 40716 0 0 0 187 5 0 0 20 0 15 0 44592261 14433329152 1587847 33554432000 4194304 4196468 140732048444016 139854272612464 139855097584258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4594] ppid=4577 vsize=14095048 memory=6351388 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4594/stat : 4594 (java) S 4577 4580 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44592261 14433329152 1587847 33554432000 4194304 4196468 140732048444016 139854271559904 139855097583317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
[pid=4580/tid=4595] ppid=4577 vsize=14095048 memory=6337564 CPUtime=1.3 cores=1,3,5,7
/proc/4580/task/4595/stat : 4595 (java) S 4577 4580 3256 0 -1 1077944384 3653 0 0 0 55 75 0 0 20 0 15 0 44592262 14433329152 1587847 33554432000 4194304 4196468 140732048444016 139854270508208 139855097584258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140732048446548 140732048446729 140732048446729 140732048449487 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 14095048 KiB
Current children cumulated memory: 6351388 KiB

Child status: 143
Real time (s): 2233.66
CPU time (s): 2400.16
CPU user time (s): 2393.76
CPU system time (s): 6.40576
CPU usage (%): 107.454
Max. virtual memory (cumulated for all children) (KiB): 14095048
Max. memory (cumulated for all children) (KiB): 6371564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2393.76
system time used= 6.40576
maximum resident set size= 6371564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 935687
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58924
involuntary context switches= 3920


# summary of solver processes directly reported to runsolver:
#   pid: 4580
#   total CPU time (s): 2400.16
#   total CPU user time (s): 2393.76
#   total CPU system time (s): 6.40576

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4692 second user time and 17.6984 second system time

The end

Launcher Data 

Begin job on node137 at 2018-07-22 16:38:11
IDJOB=4291996
IDBENCH=141262
IDSOLVER=2746
FILE ID=node137/4291996-1532270290
RUNJOBID= node137-1532260876-3288
PBS_JOBID= 21018969
Free space on /tmp= 56768 MiB

SOLVER NAME= OscaR - Hybrid 2018-07-02
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-16-0260_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291996-1532270290/watcher-4291996-1532270290 -o /tmp/evaluation-result-4291996-1532270290/solver-4291996-1532270290 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532260876-3288 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1662979636 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291996-1532270290.xml

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

MD5SUM BENCH= 3d35ef38e8714b8368aba06bbd25b59a
RANDOM SEED=1662979636

node137.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        20050948 kB
MemAvailable:   30380676 kB
Buffers:          241180 kB
Cached:         10284612 kB
SwapCached:            0 kB
Active:          3429600 kB
Inactive:        8703860 kB
Active(anon):    1610576 kB
Inactive(anon):    16944 kB
Active(file):    1819024 kB
Inactive(file):  8686916 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            126552 kB
Writeback:             0 kB
AnonPages:       1617204 kB
Mapped:            49384 kB
Shmem:             17036 kB
Slab:             279168 kB
SReclaimable:     252248 kB
SUnreclaim:        26920 kB
KernelStack:        3488 kB
PageTables:         9600 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2164664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1533952 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 56520 MiB
End job on node137 at 2018-07-22 17:15:25