Trace number 4310529

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Hybrid 2018-08-14SAT (TO)413604 252.102 235.446

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-graph-12-opt_c18.xml
MD5SUM6121a94880b1ccb1614ec86f716938fa
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark21762
Best CPU time to get the best result obtained on this benchmark252.145
Satisfiable
(Un)Satisfiability was proved
Number of variables4691
Number of constraints4352
Number of domains11
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":4011},{"size":6,"count":48},{"size":22,"count":40},{"size":24,"count":24},{"size":36,"count":134},{"size":42,"count":50},{"size":44,"count":384}]
Minimum variable degree2
Maximum variable degree20
Distribution of variable degrees[{"degree":2,"count":4011},{"degree":5,"count":1},{"degree":6,"count":2},{"degree":7,"count":6},{"degree":8,"count":15},{"degree":9,"count":39},{"degree":10,"count":66},{"degree":11,"count":85},{"degree":12,"count":119},{"degree":13,"count":112},{"degree":14,"count":103},{"degree":15,"count":59},{"degree":16,"count":45},{"degree":17,"count":21},{"degree":18,"count":4},{"degree":19,"count":1},{"degree":20,"count":2}]
Minimum constraint arity2
Maximum constraint arity176
Distribution of constraint arities[{"arity":2,"count":674},{"arity":3,"count":3677},{"arity":176,"count":1}]
Number of extensional constraints0
Number of intensional constraints4351
Distribution of constraint types[{"type":"intension","count":4351},{"type":"instantiation","count":1}]
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.68/0.55	c version: 2018-08-14
0.68/0.55	c seed: 1577452273
0.68/0.55	c timeout: 252
0.68/0.55	c memlimit: 11000
0.68/0.55	c nbcore: 4
0.68/0.57	c Parsing instance...
8.70/4.36	c Parsing done, starting first complete search...
177.11/168.57	o 448623
177.11/168.57	c First complete search done, starting ALNS search...
178.83/169.64	o 448622
180.92/170.90	o 447622
180.92/170.92	o 447522
180.92/170.93	o 447521
180.92/170.97	o 447422
180.92/170.99	o 447421
181.09/171.04	o 447420
181.09/171.07	o 447322
181.09/171.09	o 447321
181.26/171.11	o 447320
181.26/171.14	o 446622
181.26/171.17	o 446522
181.26/171.19	o 446521
181.43/171.21	o 446422
181.43/171.23	o 446421
181.43/171.26	o 446322
181.43/171.29	o 446321
181.56/171.31	o 446320
181.56/171.34	o 446319
181.65/171.44	o 446312
181.65/171.46	o 446311
181.65/171.48	o 446310
181.79/171.52	o 446309
181.79/171.56	o 446222
181.79/171.58	o 446221
181.91/171.60	o 446220
181.91/171.63	o 446212
181.91/171.64	o 446211
181.91/171.66	o 446210
181.91/171.69	o 446209
182.20/171.83	o 446109
182.20/171.83	o 446009
182.20/171.84	o 446008
182.20/171.85	o 446007
182.20/171.86	o 446006
182.20/171.86	o 445999
182.20/171.87	o 445998
182.80/172.31	o 445932
183.45/172.90	o 445832
183.45/172.98	o 445732
183.55/173.05	o 444932
183.65/173.13	o 444832
183.76/173.21	o 444732
183.87/173.37	o 443832
183.96/173.45	o 443732
184.06/173.53	o 443632
184.16/173.60	o 442832
184.16/173.68	o 442732
184.26/173.75	o 442632
184.68/174.13	o 441832
184.68/174.20	o 441732
184.82/174.27	o 441632
185.42/174.72	o 441631
185.42/174.77	o 441622
185.52/174.81	o 441621
185.52/174.86	o 441612
185.63/174.90	o 441611
185.63/174.95	o 441610
185.73/175.00	o 441601
185.73/175.05	o 441600
185.83/175.13	o 441532
186.14/175.41	o 441521
186.14/175.43	o 441520
186.14/175.46	o 441519
186.14/175.49	o 441421
186.25/175.51	o 441420
186.25/175.53	o 441419
186.25/175.56	o 440722
186.25/175.59	o 440721
186.35/175.61	o 440720
186.35/175.63	o 440622
186.35/175.66	o 440621
186.35/175.68	o 440620
186.45/175.70	o 440619
186.45/175.72	o 440521
186.45/175.74	o 440520
186.45/175.77	o 440519
186.45/175.80	o 440421
186.55/175.82	o 440420
186.55/175.84	o 440419
186.55/175.87	o 440411
186.55/175.88	o 440410
186.65/175.91	o 440409
189.92/177.17	o 439707
189.92/177.19	o 439706
190.07/177.21	o 439607
190.07/177.22	o 439606
190.07/177.25	o 439605
190.07/177.28	o 439604
190.07/177.31	o 439603
190.17/177.34	o 439602
190.17/177.38	o 439601
190.27/177.41	o 439507
190.27/177.42	o 439506
190.27/177.44	o 439505
190.27/177.46	o 439504
190.27/177.48	o 439503
190.37/177.50	o 439502
190.37/177.53	o 439501
190.37/177.58	o 439500
190.47/177.64	o 439499
190.47/177.70	o 439498
190.66/177.80	o 439497
190.66/177.89	o 439496
191.04/178.14	o 439397
191.04/178.18	o 439396
191.04/178.20	o 439297
191.15/178.24	o 439296
191.15/178.27	o 439197
191.58/178.64	o 439191
191.58/178.69	o 439091
191.69/178.74	o 439081
191.69/178.78	o 439071
191.79/178.83	o 439070
191.79/178.88	o 439061
191.89/178.92	o 439060
191.89/178.96	o 438991
191.89/178.99	o 438981
191.99/179.03	o 438971
191.99/179.06	o 438961
192.10/179.10	o 438960
195.65/182.59	o 438952
195.79/182.60	o 437952
195.79/182.62	o 436952
196.10/182.87	o 436951
197.34/183.82	o 436877
197.44/183.91	o 436876
197.54/184.00	o 436875
197.75/184.27	o 436077
197.75/184.28	o 435977
197.86/184.31	o 435976
197.86/184.34	o 435957
197.86/184.36	o 435956
197.86/184.38	o 435955
197.95/184.45	o 435877
197.95/184.47	o 435876
197.95/184.50	o 435857
198.05/184.52	o 435856
198.05/184.54	o 435855
198.05/184.58	o 435677
198.15/184.60	o 435676
198.15/184.62	o 435577
198.15/184.64	o 435576
198.15/184.65	o 435575
198.15/184.68	o 435477
198.25/184.70	o 435476
198.25/184.72	o 435475
198.25/184.74	o 435457
198.25/184.76	o 435456
198.25/184.78	o 435455
198.35/184.80	o 434776
198.35/184.82	o 434775
198.35/184.84	o 434676
198.35/184.86	o 434675
198.35/184.88	o 434576
198.45/184.90	o 434575
198.45/184.93	o 434556
198.45/184.95	o 434555
198.45/184.97	o 434554
198.55/185.01	o 434476
198.55/185.05	o 434456
198.55/185.08	o 434455
198.65/185.11	o 434454
198.65/185.15	o 434445
198.65/185.17	o 434444
198.65/185.21	o 434365
198.75/185.23	o 434364
198.75/185.26	o 434345
198.75/185.28	o 434344
198.86/185.34	o 434343
198.95/185.40	o 434266
198.95/185.43	o 434265
198.95/185.45	o 434246
198.95/185.47	o 434245
198.95/185.49	o 434244
199.05/185.54	o 433776
199.05/185.56	o 433775
199.05/185.59	o 433766
199.15/185.60	o 433765
199.15/185.62	o 433764
199.15/185.65	o 433756
199.15/185.67	o 433755
199.15/185.69	o 433746
199.25/185.71	o 433745
199.25/185.73	o 433744
199.25/185.75	o 433676
199.25/185.77	o 433675
199.35/185.80	o 433666
199.35/185.82	o 433665
199.35/185.84	o 433656
199.35/185.87	o 433655
199.35/185.89	o 433646
199.46/185.91	o 433645
199.46/185.93	o 433644
199.46/185.96	o 433576
199.46/185.98	o 433575
199.56/186.01	o 433566
199.56/186.03	o 433565
199.56/186.05	o 433556
199.56/186.07	o 433555
199.56/186.10	o 433546
199.66/186.11	o 433545
199.90/186.38	o 433544
199.99/186.42	o 433535
199.99/186.44	o 433534
199.99/186.46	o 433525
199.99/186.49	o 433524
200.09/186.52	o 433523
200.09/186.58	o 433515
200.20/186.60	o 433514
200.20/186.63	o 433513
200.20/186.68	o 433505
200.31/186.70	o 433504
200.31/186.73	o 433503
200.31/186.78	o 433495
200.41/186.80	o 433494
200.41/186.83	o 433493
200.41/186.86	o 433485
200.41/186.88	o 433484
200.51/186.90	o 433483
200.51/186.96	o 433474
200.51/186.99	o 433473
200.62/187.01	o 433472
200.93/187.34	o 433464
200.93/187.37	o 433463
201.02/187.43	o 433454
201.02/187.46	o 433453
201.12/187.55	o 433452
201.32/187.72	o 433444
201.32/187.73	o 433443
201.32/187.76	o 433442
201.42/187.81	o 433434
201.42/187.83	o 433433
201.42/187.87	o 433432
201.52/187.98	o 433424
201.64/188.00	o 433423
201.64/188.04	o 433422
201.97/188.32	o 433414
201.97/188.37	o 433413
202.06/188.40	o 433404
202.06/188.45	o 433403
202.06/188.48	o 433394
202.16/188.54	o 433393
202.16/188.60	o 433392
202.26/188.63	o 433383
202.26/188.66	o 433382
202.36/188.71	o 433374
202.36/188.75	o 433373
202.47/188.81	o 433364
202.47/188.86	o 433363
202.57/188.92	o 433354
202.57/188.95	o 433353
202.57/188.98	o 433352
202.67/189.01	o 433344
202.67/189.03	o 433343
202.67/189.07	o 433334
202.77/189.11	o 433333
202.77/189.14	o 433332
202.98/189.37	o 433324
203.08/189.41	o 433323
203.08/189.44	o 433314
203.08/189.48	o 433313
203.18/189.51	o 433304
203.18/189.56	o 433303
203.18/189.59	o 433294
203.28/189.63	o 433293
203.28/189.67	o 433292
203.37/189.70	o 433284
203.37/189.73	o 433283
203.37/189.77	o 433274
203.47/189.81	o 433273
203.47/189.85	o 433272
203.57/189.94	o 433263
203.57/189.98	o 433262
203.67/190.02	o 433261
203.67/190.06	o 433254
203.67/190.09	o 433253
203.77/190.13	o 433252
204.10/190.47	o 433245
204.10/190.50	o 433244
204.20/190.54	o 433243
204.30/190.62	o 433242
204.40/190.70	o 433235
204.40/190.76	o 433234
204.50/190.83	o 433233
204.60/190.95	o 433232
204.70/191.05	o 433155
204.81/191.11	o 433154
204.81/191.20	o 433153
204.92/191.30	o 433152
205.01/191.40	o 433145
205.10/191.49	o 433144
205.21/191.58	o 433143
205.31/191.68	o 433142
205.40/191.78	o 433135
205.51/191.88	o 433134
205.70/192.00	o 433133
205.80/192.12	o 432455
205.80/192.20	o 432454
208.56/194.85	o 432408
208.66/194.92	o 432398
210.01/195.97	o 432388
210.11/196.02	o 432387
210.11/196.08	o 431498
210.21/196.13	o 431488
210.21/196.18	o 431478
210.31/196.23	o 431477
210.31/196.27	o 431398
210.41/196.31	o 431388
210.41/196.36	o 431378
210.51/196.40	o 431377
210.51/196.46	o 431376
210.61/196.52	o 431298
210.61/196.58	o 431288
210.71/196.63	o 431287
210.71/196.69	o 431278
210.81/196.74	o 431277
210.81/196.79	o 431276
210.91/196.86	o 429499
211.01/196.91	o 429399
211.01/196.96	o 429398
211.11/197.01	o 429389
211.11/197.05	o 429388
211.21/197.11	o 429387
211.21/197.16	o 429379
211.32/197.21	o 429378
211.32/197.26	o 429377
211.32/197.31	o 429299
211.42/197.35	o 429298
211.51/197.40	o 429297
211.51/197.46	o 429289
211.93/197.84	o 428037
211.93/197.88	o 428016
212.03/197.98	o 428005
212.13/198.03	o 427937
212.13/198.06	o 427916
212.23/198.10	o 427905
212.23/198.16	o 426926
212.23/198.20	o 426826
212.34/198.24	o 426816
212.34/198.28	o 426805
212.44/198.34	o 426804
212.53/198.40	o 426803
212.53/198.48	o 426802
212.74/198.66	o 426737
212.84/198.70	o 426727
212.84/198.73	o 426726
212.84/198.78	o 426717
212.94/198.81	o 426706
212.94/198.85	o 426705
212.94/198.89	o 426704
213.04/198.94	o 426703
213.04/198.98	o 426702
213.65/199.53	o 425722
213.65/199.59	o 425721
213.76/199.64	o 425720
213.76/199.69	o 425713
214.32/200.13	o 425625
214.32/200.16	o 425525
214.32/200.21	o 425524
214.43/200.24	o 425515
214.43/200.29	o 425514
214.62/200.43	o 425513
214.62/200.46	o 424914
214.62/200.49	o 424913
214.72/200.51	o 424814
214.72/200.55	o 424804
214.72/200.58	o 424803
214.82/200.62	o 424724
214.82/200.64	o 424714
214.82/200.67	o 424713
214.92/200.71	o 424625
214.92/200.75	o 424624
214.92/200.77	o 424525
215.02/200.81	o 424524
215.02/200.84	o 424435
215.02/200.88	o 424434
215.12/200.91	o 424425
215.12/200.94	o 424424
215.22/201.01	o 424415
215.22/201.04	o 424414
215.22/201.07	o 424315
215.32/201.11	o 424314
215.32/201.16	o 424305
215.32/201.20	o 424304
215.44/201.26	o 424215
215.44/201.30	o 424214
215.54/201.33	o 424125
215.54/201.35	o 424124
215.54/201.38	o 424115
215.63/201.41	o 424025
215.63/201.43	o 424015
215.63/201.47	o 424014
215.73/201.52	o 423415
215.73/201.56	o 423414
215.73/201.58	o 423315
215.83/201.61	o 423314
215.83/201.65	o 423305
215.83/201.68	o 423304
215.93/201.73	o 423225
215.93/201.76	o 423215
215.93/201.79	o 423214
216.13/201.91	o 423213
216.23/202.06	o 423206
216.63/202.43	o 423140
216.73/202.54	o 423139
216.83/202.67	o 423138
217.04/202.82	o 423130
217.14/202.92	o 423129
217.24/203.04	o 423128
217.34/203.16	o 423127
217.45/203.28	o 423120
217.55/203.39	o 423119
217.74/203.51	o 423118
217.84/203.62	o 423117
217.94/203.78	o 423116
218.14/203.91	o 423109
218.24/204.01	o 423108
218.55/204.31	o 422498
218.55/204.39	o 422488
218.64/204.47	o 422478
218.74/204.56	o 422398
218.84/204.65	o 422388
218.94/204.73	o 422378
219.04/204.83	o 422368
219.14/204.94	o 422298
219.24/205.04	o 422288
219.34/205.13	o 422278
219.45/205.23	o 422268
219.55/205.39	o 422258
219.74/205.52	o 422248
219.84/205.67	o 422238
220.04/205.87	o 422228
220.45/206.21	o 422227
220.45/206.23	o 422226
220.45/206.26	o 422225
220.56/206.32	o 422217
220.56/206.35	o 422216
220.56/206.39	o 422215
220.65/206.44	o 422147
220.65/206.49	o 422146
220.75/206.54	o 422137
220.75/206.59	o 422136
220.85/206.64	o 422135
220.85/206.69	o 422127
220.95/206.73	o 422126
220.95/206.77	o 422125
221.05/206.82	o 422117
221.05/206.86	o 422116
221.05/206.89	o 422115
224.77/209.38	o 421318
224.77/209.40	o 421317
224.87/209.43	o 421316
224.87/209.49	o 421218
224.97/209.52	o 421217
224.97/209.56	o 421216
225.17/209.70	o 421215
225.27/209.89	o 421119
225.37/209.92	o 421118
225.46/210.06	o 421117
225.56/210.20	o 421116
225.77/210.35	o 421115
226.06/210.69	o 421114
226.46/211.00	o 421113
226.87/211.44	o 421111
226.87/211.45	o 421110
226.87/211.48	o 421109
226.97/211.53	o 421108
227.07/211.60	o 421107
227.17/211.70	o 420128
227.17/211.76	o 420118
227.27/211.80	o 420117
227.27/211.86	o 419128
227.37/211.90	o 419127
227.37/211.95	o 419118
227.37/211.98	o 419117
227.47/212.03	o 419108
227.47/212.09	o 419107
227.57/212.18	o 419106
227.68/212.25	o 419105
228.27/212.89	o 419028
228.37/212.93	o 419018
228.37/212.97	o 419008
228.47/213.02	o 419007
228.47/213.08	o 419006
228.57/213.14	o 419005
233.30/217.80	o 418934
233.40/217.93	o 418924
233.50/218.09	o 418922
233.71/218.25	o 418921
233.90/218.46	o 418920
234.31/218.85	o 418919
234.72/219.24	o 418915
234.72/219.30	o 418914
234.81/219.40	o 418913
235.03/219.52	o 418735
235.03/219.58	o 417935
235.13/219.66	o 417925
235.96/219.94	o 417924
238.20/222.13	o 417914
238.30/222.25	o 417904
238.41/222.39	o 417903
238.60/222.50	o 417894
240.80/224.75	o 417034
240.90/224.82	o 417025
241.00/224.90	o 417024
241.00/224.96	o 417015
241.20/225.10	o 416933
241.20/225.17	o 416924
241.31/225.23	o 416923
241.31/225.28	o 416914
245.22/229.15	o 416913
245.62/229.55	o 416911
246.02/229.94	o 416910
246.43/230.33	o 416909
246.82/230.78	o 416908
246.92/230.87	o 416907
247.02/230.95	o 416898
247.12/231.03	o 416897
247.22/231.15	o 415908
247.33/231.24	o 415898
247.43/231.35	o 414908
247.52/231.45	o 414898
247.72/231.61	o 414897
249.24/232.66	o 414808
249.34/232.72	o 414798
249.44/232.81	o 414797
249.44/232.89	o 414796
249.85/233.24	o 414795
250.04/233.42	o 414786
250.14/233.52	o 414704
250.14/233.58	o 414694
250.24/233.65	o 414604
250.34/233.75	o 414594
250.44/233.83	o 414585
250.64/234.05	o 414584
250.74/234.17	o 414575
250.95/234.38	o 413825
251.04/234.49	o 413824
251.24/234.60	o 413815
251.24/234.69	o 413814
251.34/234.78	o 413805
251.44/234.85	o 413804
251.54/234.99	o 413724
251.74/235.10	o 413704
251.85/235.25	o 413624
251.95/235.35	o 413604
252.04/235.40	s SATISFIABLE
252.04/235.41	v <instantiation>
252.04/235.41	v 	<list>
252.04/235.41	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] zb1[0] zb1[1] zb1[2] zb1[3] zb1[4] zb1[5] zb1[6] zb1[7] zb1[8] zb1[9] zb1[10] zb1[11] zb1[12] zb1[13] zb1[14] zb1[15] zb1[16] zb1[17] zb1[18] zb1[19] zb1[20] zb1[21] zb1[22] zb1[23] zb1[24] zb1[25] zb1[26] zb1[27] zb1[28] zb1[29] zb1[30] zb1[31] zb1[32] zb1[33] zb1[34] zb1[35] zb1[36] zb1[37] zb1[38] zb1[39] zb1[40] zb1[41] zb1[42] zb1[43] zb1[44] zb1[45] zb1[46] zb1[47] zb1[48] zb1[49] zb1[50] zb1[51] zb1[52] zb1[53] zb1[54] zb1[55] zb1[56] zb1[57] zb1[58] zb1[59] zb1[60] zb1[61] zb1[62] zb1[63] zb1[64] zb1[65] zb1[66] zb1[67] zb1[68] zb1[69] zb1[70] zb1[71] zb1[72] zb1[73] zb1[74] zb1[75] zb1[76] zb1[77] zb1[78] zb1[79] zb1[80] zb1[81] zb2[0] zb2[1] zb2[2] zb2[3] zb2[4] zb2[5] zb2[6] zb2[7] zb2[8] zb2[9] zb2[10] zb2[11] zb2[12] zb2[13] zb2[14] zb2[15] zb2[16] zb2[17] zb2[18] zb2[19] zb2[20] zb2[21] zb2[22] zb2[23] zb2[24] zb2[25] zb2[26] zb2[27] zb2[28] zb2[29] zb2[30] zb2[31] zb2[32] zb2[33] zb2[34] zb2[35] zb2[36] zb2[37] zb2[38] zb2[39] zb2[40] zb2[41] zb2[42] zb2[43] zb2[44] zb2[45] zb2[46] zb2[47] zb2[48] zb2[49] zb2[50] zb2[51] zb2[52] zb2[53] zb2[54] zb2[55] zb2[56] zb2[57] zb2[58] zb2[59] zb2[60] zb2[61] zb2[62] zb2[63] zb2[64] zb2[65] zb2[66] zb2[67] zb2[68] zb2[69] zb2[70] zb2[71] zb2[72] zb2[73] zb2[74] zb2[75] zb2[76] zb2[77] zb2[78] zb2[79] zb2[80] zb2[81] zb2[82] zb2[83] zb2[84] zb2[85] zb2[86] zb2[87] zb2[88] zb2[89] zb3[0] zb3[1] zb3[2] zb3[3] zb3[4] zb3[5] zb3[6] zb3[7] zb3[8] zb3[9] zb3[10] zb3[11] zb3[12] zb3[13] zb3[14] zb3[15] zb3[16] zb3[17] zb3[18] zb3[19] zb3[20] zb3[21] zb3[22] zb3[23] zb3[24] zb3[25] zb3[26] zb3[27] zb3[28] zb3[29] zb3[30] zb3[31] zb3[32] zb3[33] zb3[34] zb3[35] zb3[36] zb3[37] zb3[38] zb3[39] zb3[40] zb3[41] zb3[42] zb3[43] zb3[44] zb3[45] zb3[46] zb3[47] zb3[48] zb3[49] zb3[50] zb3[51] zb3[52] zb3[53] zb3[54] zb3[55] zb3[56] zb3[57] zb3[58] zb3[59] zb3[60] zb3[61] zb3[62] zb3[63] zb3[64] zb3[65] zb3[66] zb3[67] zb3[68] zb3[69] zb3[70] zb3[71] zb3[72] zb3[73] zb3[74] zb3[75] zb3[76] zb3[77] zb3[78] zb3[79] zb3[80] zb3[81] zb3[82] zb3[83] zb3[84] zb3[85] zb3[86] zb3[87] zb3[88] zb3[89] zb3[90] zb3[91] zb3[92] zb3[93] zb3[94] zb3[95] zb3[96] zb3[97] zb3[98] zb3[99] zb3[100] zb3[101] zb3[102] zb3[103] zb3[104] zb3[105] zb3[106] zb3[107] zb3[108] zb3[109] zb3[110] zb3[111] zb3[112] zb3[113] zb3[114] zb3[115] zb3[116] zb3[117] zb3[118] zb3[119] zb3[120] zb3[121] zb3[122] zb3[123] zb3[124] zb3[125] zb3[126] zb3[127] zb3[128] zb3[129] zb3[130] zb3[131] zb3[132] zb3[133] zb3[134] zb3[135] zb3[136] zb3[137] zb3[138] zb3[139] zb3[140] zb3[141] zb3[142] zb3[143] zb3[144] zb3[145] zb3[146] zb3[147] zb3[148] zb3[149] zb3[150] zb3[151] zb3[152] zb3[153] zb3[154] zb3[155] zb3[156] zb3[157] zb3[158] zb3[159] zb3[160] zb3[161] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[410] za1[411] za1[412] za1[413] za1[414] za1[415] za1[416] za1[417] za1[418] za1[419] za1[420] za1[421] za1[422] za1[423] za1[424] za1[425] za1[426] za1[427] za1[428] za1[429] za1[430] za1[431] za1[432] za1[433] za1[434] za1[435] za1[436] za1[437] za1[438] za1[439] za1[440] za1[441] za1[442] za1[443] za1[444] za1[445] za1[446] za1[447] za1[448] za1[449] za1[450] za1[451] za1[452] za1[453] za1[454] za1[455] za1[456] za1[457] za1[458] za1[459] za1[460] za1[461] za1[462] za1[463] za1[464] za1[465] za1[466] za1[467] za1[468] za1[469] za1[470] za1[471] za1[472] za1[473] za1[474] za1[475] za1[476] za1[477] za1[478] za1[479] za1[480] za1[481] za1[482] za1[483] za1[484] za1[485] za1[486] za1[487] za1[488] za1[489] za1[490] za1[491] za1[492] za1[493] za1[494] za1[495] za1[496] za1[497] za1[498] za1[499] za1[500] za1[501] za1[502] za1[503] za1[504] za1[505] za1[506] za1[507] za1[508] za1[509] za1[510] za1[511] za1[512] za1[513] za1[514] za1[515] za1[516] za1[517] za1[518] za1[519] za1[520] za1[521] za1[522] za1[523] za1[524] za1[525] za1[526] za1[527] za1[528] za1[529] za1[530] za1[531] za1[532] za1[533] za1[534] za1[535] za1[536] za1[537] za1[538] za1[539] za1[540] za1[541] za1[542] za1[543] za1[544] za1[545] za1[546] za1[547] za1[548] za1[549] za1[550] za1[551] za1[552] za1[553] za1[554] za1[555] za1[556] za1[557] za1[558] za1[559] za1[560] za1[561] za1[562] za1[563] za1[564] za1[565] za1[566] za1[567] za1[568] za1[569] za1[570] za1[571] za1[572] za1[573] za1[574] za1[575] za1[576] za1[577] za1[578] za1[579] za1[580] za1[581] za1[582] za1[583] za1[584] za1[585] za1[586] za1[587] za1[588] za1[589] za1[590] za1[591] za1[592] za1[593] za1[594] za1[595] za1[596] za1[597] za1[598] za1[599] za1[600] za1[601] za1[602] za1[603] za1[604] za1[605] za1[606] za1[607] za1[608] za1[609] za1[610] za1[611] za1[612] za1[613] za1[614] za1[615] za1[616] za1[617] za1[618] za1[619] za1[620] za1[621] za1[622] za1[623] za1[624] za1[625] za1[626] za1[627] za1[628] za1[629] za1[630] za1[631] za1[632] za1[633] za1[634] za1[635] za1[636] za1[637] za1[638] za1[639] za1[640] za1[641] za1[642] za1[643] za1[644] za1[645] za1[646] za1[647] za1[648] za1[649] za1[650] za1[651] za1[652] za1[653] za1[654] za1[655] za1[656] za1[657] za1[658] za1[659] za1[660] za1[661] za1[662] za1[663] za1[664] za1[665] za1[666] za1[667] za1[668] za1[669] za1[670] za1[671] za1[672] za1[673] za1[674] za1[675] za1[676] za1[677] za1[678] za1[679] za1[680] za1[681] za1[682] za1[683] za1[684] za1[685] za1[686] za1[687] za1[688] za1[689] za1[690] za1[691] za1[692] za1[693] za1[694] za1[695] za1[696] za1[697] za1[698] za1[699] za1[700] za1[701] za1[702] za1[703] za1[704] za1[705] za1[706] za1[707] za1[708] za1[709] za1[710] za1[711] za1[712] za1[713] za1[714] za1[715] za1[716] za1[717] za1[718] za1[719] za1[720] za1[721] za1[722] za1[723] za1[724] za1[725] za1[726] za1[727] za1[728] za1[729] za1[730] za1[731] za1[732] za1[733] za1[734] za1[735] za1[736] za1[737] za1[738] za1[739] za1[740] za1[741] za1[742] za1[743] za1[744] za1[745] za1[746] za1[747] za1[748] za1[749] za1[750] za1[751] za1[752] za1[753] za1[754] za1[755] za1[756] za1[757] za1[758] za1[759] za1[760] za1[761] za1[762] za1[763] za1[764] za1[765] za1[766] za1[767] za1[768] za1[769] za1[770] za1[771] za1[772] za1[773] za1[774] za1[775] za1[776] za1[777] za1[778] za1[779] za1[780] za1[781] za1[782] za1[783] za1[784] za1[785] za1[786] za1[787] za1[788] za1[789] za1[790] za1[791] za1[792] za1[793] za1[794] za1[795] za1[796] za1[797] za1[798] za1[799] za1[800] za1[801] za1[802] za1[803] za1[804] za1[805] za1[806] za1[807] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za2[329] za2[330] za2[331] za2[332] za2[333] za2[334] za2[335] za2[336] za2[337] za2[338] za2[339] za2[340] za2[341] za2[342] za2[343] za2[344] za2[345] za2[346] za2[347] za2[348] za2[349] za2[350] za2[351] za2[352] za2[353] za2[354] za2[355] za2[356] za2[357] za2[358] za2[359] za2[360] za2[361] za2[362] za2[363] za2[364] za2[365] za2[366] za2[367] za2[368] za2[369] za2[370] za2[371] za2[372] za2[373] za2[374] za2[375] za2[376] za2[377] za2[378] za2[379] za2[380] za2[381] za2[382] za2[383] za2[384] za2[385] za2[386] za2[387] za2[388] za2[389] za2[390] za2[391] za2[392] za2[393] za2[394] za2[395] za2[396] za2[397] za2[398] za2[399] za2[400] za2[401] za2[402] za2[403] za2[404] za2[405] za2[406] za2[407] za2[408] za2[409] za2[410] za2[411] za2[412] za2[413] za2[414] za2[415] za2[416] za2[417] za2[418] za2[419] za2[420] za2[421] za2[422] za2[423] za2[424] za2[425] za2[426] za2[427] za2[428] za2[429] za2[430] za2[431] za2[432] za2[433] za2[434] za2[435] za2[436] za2[437] za2[438] za2[439] za2[440] za2[441] za2[442] za2[443] za2[444] za2[445] za2[446] za2[447] za2[448] za2[449] za2[450] za2[451] za2[452] za2[453] za2[454] za2[455] za2[456] za2[457] za2[458] za2[459] za2[460] za2[461] za2[462] za2[463] za2[464] za2[465] za2[466] za2[467] za2[468] za2[469] za2[470] za2[471] za2[472] za2[473] za2[474] za2[475] za2[476] za2[477] za2[478] za2[479] za2[480] za2[481] za2[482] za2[483] za2[484] za2[485] za2[486] za2[487] za2[488] za2[489] za2[490] za2[491] za2[492] za2[493] za2[494] za2[495] za2[496] za2[497] za2[498] za2[499] za2[500] za2[501] za2[502] za2[503] za2[504] za2[505] za2[506] za2[507] za2[508] za2[509] za2[510] za2[511] za2[512] za2[513] za2[514] za2[515] za2[516] za2[517] za2[518] za2[519] za2[520] za2[521] za2[522] za2[523] za2[524] za2[525] za2[526] za2[527] za2[528] za2[529] za2[530] za2[531] za2[532] za2[533] za2[534] za2[535] za2[536] za2[537] za2[538] za2[539] za2[540] za2[541] za2[542] za2[543] za2[544] za2[545] za2[546] za2[547] za2[548] za2[549] za2[550] za2[551] za2[552] za2[553] za2[554] za2[555] za2[556] za2[557] za2[558] za2[559] za2[560] za2[561] za2[562] za2[563] za2[564] za2[565] za2[566] za2[567] za2[568] za2[569] za2[570] za2[571] za2[572] za2[573] za2[574] za2[575] za2[576] za2[577] za2[578] za2[579] za2[580] za2[581] za2[582] za2[583] za2[584] za2[585] za2[586] za2[587] za2[588] za2[589] za2[590] za2[591] za2[592] za2[593] za2[594] za2[595] za2[596] za2[597] za2[598] za2[599] za2[600] za2[601] za2[602] za2[603] za2[604] za2[605] za2[606] za2[607] za2[608] za2[609] za2[610] za2[611] za2[612] za2[613] za2[614] za2[615] za2[616] za2[617] za2[618] za2[619] za2[620] za2[621] za2[622] za2[623] za2[624] za2[625] za2[626] za2[627] za2[628] za2[629] za2[630] za2[631] za2[632] za2[633] za2[634] za2[635] za2[636] za2[637] za2[638] za2[639] za2[640] za2[641] za2[642] za2[643] za2[644] za2[645] za2[646] za2[647] za2[648] za2[649] za2[650] za2[651] za2[652] za2[653] za2[654] za2[655] za2[656] za2[657] za2[658] za2[659] za2[660] za2[661] za2[662] za2[663] za2[664] za2[665] za2[666] za2[667] za2[668] za2[669] za2[670] za2[671] za2[672] za2[673] za2[674] za2[675] za2[676] za2[677] za2[678] za2[679] za2[680] za2[681] za2[682] za2[683] za2[684] za2[685] za2[686] za2[687] za2[688] za2[689] za2[690] za2[691] za2[692] za2[693] za2[694] za2[695] za2[696] za2[697] za2[698] za2[699] za2[700] za2[701] za2[702] za2[703] za2[704] za2[705] za2[706] za2[707] za2[708] za2[709] za2[710] za2[711] za2[712] za2[713] za2[714] za2[715] za2[716] za2[717] za2[718] za2[719] za2[720] za2[721] za2[722] za2[723] za2[724] za2[725] za2[726] za2[727] za2[728] za2[729] za2[730] za2[731] za2[732] za2[733] za2[734] za2[735] za2[736] za2[737] za2[738] za2[739] za2[740] za2[741] za2[742] za2[743] za2[744] za2[745] za2[746] za2[747] za2[748] za2[749] za2[750] za2[751] za2[752] za2[753] za2[754] za2[755] za2[756] za2[757] za2[758] za2[759] za2[760] za2[761] za2[762] za2[763] za2[764] za2[765] za2[766] za2[767] za2[768] za2[769] za2[770] za2[771] za2[772] za2[773] za2[774] za2[775] za2[776] za2[777] za2[778] za2[779] za2[780] za2[781] za2[782] za2[783] za2[784] za2[785] za2[786] za2[787] za2[788] za2[789] za2[790] za2[791] za2[792] za2[793] za2[794] za2[795] za2[796] za2[797] za2[798] za2[799] za2[800] za2[801] za2[802] za2[803] za2[804] za2[805] za2[806] za2[807] za2[808] za2[809] za2[810] za2[811] za2[812] za2[813] za2[814] za2[815] za2[816] za2[817] za2[818] za2[819] za2[820] za2[821] za2[822] za2[823] za2[824] za2[825] za2[826] za2[827] za2[828] za2[829] za2[830] za2[831] za2[832] za2[833] za2[834] za2[835] za2[836] za2[837] za2[838] za2[839] za2[840] za2[841] za2[842] za2[843] za2[844] za2[845] za2[846] za2[847] za2[848] za2[849] za2[850] za2[851] za2[852] za2[853] za2[854] za2[855] za2[856] za2[857] za2[858] za2[859] za2[860] za2[861] za2[862] za2[863] za2[864] za2[865] za2[866] za2[867] za2[868] za2[869] za2[870] za2[871] za2[872] za2[873] za2[874] za2[875] za2[876] za2[877] za2[878] za2[879] za2[880] za2[881] za2[882] za2[883] za2[884] za2[885] za2[886] za2[887] za2[888] za2[889] za2[890] za2[891] za2[892] za2[893] za2[894] za2[895] za2[896] za2[897] za2[898] za2[899] za2[900] za2[901] za2[902] za2[903] za2[904] za2[905] za2[906] za2[907] za2[908] za2[909] za2[910] za2[911] za2[912] za2[913] za2[914] za2[915] za2[916] za2[917] za2[918] za2[919] za2[920] za2[921] za2[922] za2[923] za2[924] za2[925] za2[926] za2[927] za2[928] za2[929] za2[930] za2[931] za2[932] za2[933] za2[934] za2[935] za2[936] za2[937] za2[938] za2[939] za2[940] za2[941] za2[942] za2[943] za2[944] za2[945] za2[946] za2[947] za2[948] za2[949] za2[950] za2[951] za2[952] za2[953] za2[954] za2[955] za2[956] za2[957] za2[958] za2[959] za2[960] za2[961] za2[962] za2[963] za2[964] za2[965] za2[966] za2[967] za2[968] za2[969] za2[970] za2[971] za2[972] za2[973] za2[974] za2[975] za2[976] za2[977] za2[978] za2[979] za2[980] za2[981] za2[982] za2[983] za2[984] za2[985] za2[986] za2[987] za2[988] za2[989] za2[990] za2[991] za2[992] za2[993] za2[994] za2[995] za2[996] za2[997] za2[998] za2[999] za2[1000] za2[1001] za2[1002] za2[1003] za2[1004] za2[1005] za2[1006] za2[1007] za2[1008] za2[1009] za2[1010] za2[1011] za2[1012] za2[1013] za2[1014] za2[1015] za2[1016] za2[1017] za2[1018] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[290] za3[291] za3[292] za3[293] za3[294] za3[295] za3[296] za3[297] za3[298] za3[299] za3[300] za3[301] za3[302] za3[303] za3[304] za3[305] za3[306] za3[307] za3[308] za3[309] za3[310] za3[311] za3[312] za3[313] za3[314] za3[315] za3[316] za3[317] za3[318] za3[319] za3[320] za3[321] za3[322] za3[323] za3[324] za3[325] za3[326] za3[327] za3[328] za3[329] za3[330] za3[331] za3[332] za3[333] za3[334] za3[335] za3[336] za3[337] za3[338] za3[339] za3[340] za3[341] za3[342] za3[343] za3[344] za3[345] za3[346] za3[347] za3[348] za3[349] za3[350] za3[351] za3[352] za3[353] za3[354] za3[355] za3[356] za3[357] za3[358] za3[359] za3[360] za3[361] za3[362] za3[363] za3[364] za3[365] za3[366] za3[367] za3[368] za3[369] za3[370] za3[371] za3[372] za3[373] za3[374] za3[375] za3[376] za3[377] za3[378] za3[379] za3[380] za3[381] za3[382] za3[383] za3[384] za3[385] za3[386] za3[387] za3[388] za3[389] za3[390] za3[391] za3[392] za3[393] za3[394] za3[395] za3[396] za3[397] za3[398] za3[399] za3[400] za3[401] za3[402] za3[403] za3[404] za3[405] za3[406] za3[407] za3[408] za3[409] za3[410] za3[411] za3[412] za3[413] za3[414] za3[415] za3[416] za3[417] za3[418] za3[419] za3[420] za3[421] za3[422] za3[423] za3[424] za3[425] za3[426] za3[427] za3[428] za3[429] za3[430] za3[431] za3[432] za3[433] za3[434] za3[435] za3[436] za3[437] za3[438] za3[439] za3[440] za3[441] za3[442] za3[443] za3[444] za3[445] za3[446] za3[447] za3[448] za3[449] za3[450] za3[451] za3[452] za3[453] za3[454] za3[455] za3[456] za3[457] za3[458] za3[459] za3[460] za3[461] za3[462] za3[463] za3[464] za3[465] za3[466] za3[467] za3[468] za3[469] za3[470] za3[471] za3[472] za3[473] za3[474] za3[475] za3[476] za3[477] za3[478] za3[479] za3[480] za3[481] za3[482] za3[483] za3[484] za3[485] za3[486] za3[487] za3[488] za3[489] za3[490] za3[491] za3[492] za3[493] za3[494] za3[495] za3[496] za3[497] za3[498] za3[499] za3[500] za3[501] za3[502] za3[503] za3[504] za3[505] za3[506] za3[507] za3[508] za3[509] za3[510] za3[511] za3[512] za3[513] za3[514] za3[515] za3[516] za3[517] za3[518] za3[519] za3[520] za3[521] za3[522] za3[523] za3[524] za3[525] za3[526] za3[527] za3[528] za3[529] za3[530] za3[531] za3[532] za3[533] za3[534] za3[535] za3[536] za3[537] za3[538] za3[539] za3[540] za3[541] za3[542] za3[543] za3[544] za3[545] za3[546] za3[547] za3[548] za3[549] za3[550] za3[551] za3[552] za3[553] za3[554] za3[555] za3[556] za3[557] za3[558] za3[559] za3[560] za3[561] za3[562] za3[563] za3[564] za3[565] za3[566] za3[567] za3[568] za3[569] za3[570] za3[571] za3[572] za3[573] za3[574] za3[575] za3[576] za3[577] za3[578] za3[579] za3[580] za3[581] za3[582] za3[583] za3[584] za3[585] za3[586] za3[587] za3[588] za3[589] za3[590] za3[591] za3[592] za3[593] za3[594] za3[595] za3[596] za3[597] za3[598] za3[599] za3[600] za3[601] za3[602] za3[603] za3[604] za3[605] za3[606] za3[607] za3[608] za3[609] za3[610] za3[611] za3[612] za3[613] za3[614] za3[615] za3[616] za3[617] za3[618] za3[619] za3[620] za3[621] za3[622] za3[623] za3[624] za3[625] za3[626] za3[627] za3[628] za3[629] za3[630] za3[631] za3[632] za3[633] za3[634] za3[635] za3[636] za3[637] za3[638] za3[639] za3[640] za3[641] za3[642] za3[643] za3[644] za3[645] za3[646] za3[647] za3[648] za3[649] za3[650] za3[651] za3[652] za3[653] za3[654] za3[655] za3[656] za3[657] za3[658] za3[659] za3[660] za3[661] za3[662] za3[663] za3[664] za3[665] za3[666] za3[667] za3[668] za3[669] za3[670] za3[671] za3[672] za3[673] za3[674] za3[675] za3[676] za3[677] za3[678] za3[679] za3[680] za3[681] za3[682] za3[683] za3[684] za3[685] za3[686] za3[687] za3[688] za3[689] za3[690] za3[691] za3[692] za3[693] za3[694] za3[695] za3[696] za3[697] za3[698] za3[699] za3[700] za3[701] za3[702] za3[703] za3[704] za3[705] za3[706] za3[707] za3[708] za3[709] za3[710] za3[711] za3[712] za3[713] za3[714] za3[715] za3[716] za3[717] za3[718] za3[719] za3[720] za3[721] za3[722] za3[723] za3[724] za3[725] za3[726] za3[727] za3[728] za3[729] za3[730] za3[731] za3[732] za3[733] za3[734] za3[735] za3[736] za3[737] za3[738] za3[739] za3[740] za3[741] za3[742] za3[743] za3[744] za3[745] za3[746] za3[747] za3[748] za3[749] za3[750] za3[751] za3[752] za3[753] za3[754] za3[755] za3[756] za3[757] za3[758] za3[759] za3[760] za3[761] za3[762] za3[763] za3[764] za3[765] za3[766] za3[767] za3[768] za3[769] za3[770] za3[771] za3[772] za3[773] za3[774] za3[775] za3[776] za3[777] za3[778] za3[779] za3[780] za3[781] za3[782] za3[783] za3[784] za3[785] za3[786] za3[787] za3[788] za3[789] za3[790] za3[791] za3[792] za3[793] za3[794] za3[795] za3[796] za3[797] za3[798] za3[799] za3[800] za3[801] za3[802] za3[803] za3[804] za3[805] za3[806] za3[807] za3[808] za3[809] za3[810] za3[811] za3[812] za3[813] za3[814] za3[815] za3[816] za3[817] za3[818] za3[819] za3[820] za3[821] za3[822] za3[823] za3[824] za3[825] za3[826] za3[827] za3[828] za3[829] za3[830] za3[831] za3[832] za3[833] za3[834] za3[835] za3[836] za3[837] za3[838] za3[839] za3[840] za3[841] za3[842] za3[843] za3[844] za3[845] za3[846] za3[847] za3[848] za3[849] za3[850] za3[851] za3[852] za3[853] za3[854] za3[855] za3[856] za3[857] za3[858] za3[859] za3[860] za3[861] za3[862] za3[863] za3[864] za3[865] za3[866] za3[867] za3[868] za3[869] za3[870] za3[871] za3[872] za3[873] za3[874] za3[875] za3[876] za3[877] za3[878] za3[879] za3[880] za3[881] za3[882] za3[883] za3[884] za3[885] za3[886] za3[887] za3[888] za3[889] za3[890] za3[891] za3[892] za3[893] za3[894] za3[895] za3[896] za3[897] za3[898] za3[899] za3[900] za3[901] za3[902] za3[903] za3[904] za3[905] za3[906] za3[907] za3[908] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[380] za4[381] za4[382] za4[383] za4[384] za4[385] za4[386] za4[387] za4[388] za4[389] za4[390] za4[391] za4[392] za4[393] za4[394] za4[395] za4[396] za4[397] za4[398] za4[399] za4[400] za4[401] za4[402] za4[403] za4[404] za4[405] za4[406] za4[407] za4[408] za4[409] za4[410] za4[411] za4[412] za4[413] za4[414] za4[415] za4[416] za4[417] za4[418] za4[419] za4[420] za4[421] za4[422] za4[423] za4[424] za4[425] za4[426] za4[427] za4[428] za4[429] za4[430] za4[431] za4[432] za4[433] za4[434] za4[435] za4[436] za4[437] za4[438] za4[439] za4[440] za4[441] za4[442] za4[443] za4[444] za4[445] za4[446] za4[447] za4[448] za4[449] za4[450] za4[451] za4[452] za4[453] za4[454] za4[455] za4[456] za4[457] za4[458] za4[459] za4[460] za4[461] za4[462] za4[463] za4[464] za4[465] za4[466] za4[467] za4[468] za4[469] za4[470] za4[471] za4[472] za4[473] za4[474] za4[475] za4[476] za4[477] za4[478] za4[479] za4[480] za4[481] za4[482] za4[483] za4[484] za4[485] za4[486] za4[487] za4[488] za4[489] za4[490] za4[491] za4[492] za4[493] za4[494] za4[495] za4[496] za4[497] za4[498] za4[499] za4[500] za4[501] za4[502] za4[503] za4[504] za4[505] za4[506] za4[507] za4[508] za4[509] za4[510] za4[511] za4[512] za4[513] za4[514] za4[515] za4[516] za4[517] za4[518] za4[519] za4[520] za4[521] za4[522] za4[523] za4[524] za4[525] za4[526] za4[527] za4[528] za4[529] za4[530] za4[531] za4[532] za4[533] za4[534] za4[535] za4[536] za4[537] za4[538] za4[539] za4[540] za4[541] za4[542] za4[543] za4[544] za4[545] za4[546] za4[547] za4[548] za4[549] za4[550] za4[551] za4[552] za4[553] za4[554] za4[555] za4[556] za4[557] za4[558] za4[559] za4[560] za4[561] za4[562] za4[563] za4[564] za4[565] za4[566] za4[567] za4[568] za4[569] za4[570] za4[571] za4[572] za4[573] za4[574] za4[575] za4[576] za4[577] za4[578] za4[579] za4[580] za4[581] za4[582] za4[583] za4[584] za4[585] za4[586] za4[587] za4[588] za4[589] za4[590] za4[591] za4[592] za4[593] za4[594] za4[595] za4[596] za4[597] za4[598] za4[599] za4[600] za4[601] za4[602] za4[603] za4[604] za4[605] za4[606] za4[607] za4[608] za4[609] za4[610] za4[611] za4[612] za4[613] za4[614] za4[615] za4[616] za4[617] za4[618] za4[619] za4[620] za4[621] za4[622] za4[623] za4[624] za4[625] za4[626] za4[627] za4[628] za4[629] za4[630] za4[631] za4[632] za4[633] za4[634] za4[635] za4[636] za4[637] za4[638] za4[639] za4[640] za4[641] za4[642] za4[643] za4[644] za4[645] za4[646] za4[647] za4[648] za4[649] za4[650] za4[651] za4[652] za4[653] za4[654] za4[655] za4[656] za4[657] za4[658] za4[659] za4[660] za4[661] za4[662] za4[663] za4[664] za4[665] za4[666] za4[667] za4[668] za4[669] za4[670] za4[671] za4[672] za4[673] za4[674] za4[675] za4[676] za4[677] za4[678] za4[679] za4[680] za4[681] za4[682] za4[683] za4[684] za4[685] za4[686] za4[687] za4[688] za4[689] za4[690] za4[691] za4[692] za4[693] za4[694] za4[695] za4[696] za4[697] za4[698] za4[699] za4[700] za4[701] za4[702] za4[703] za4[704] za4[705] za4[706] za4[707] za4[708] za4[709] za4[710] za4[711] za4[712] za4[713] za4[714] za4[715] za4[716] za4[717] za4[718] za4[719] za4[720] za4[721] za4[722] za4[723] za4[724] za4[725] za4[726] za4[727] za4[728] za4[729] za4[730] za4[731] za4[732] za4[733] za4[734] za4[735] za4[736] za4[737] za4[738] za4[739] za4[740] za4[741] za4[742] za4[743] za4[744] za4[745] za4[746] za4[747] za4[748] za4[749] za4[750] za4[751] za4[752] za4[753] za4[754] za4[755] za4[756] za4[757] za4[758] za4[759] za4[760] za4[761] za4[762] za4[763] za4[764] za4[765] za4[766] za4[767] za4[768] za4[769] za4[770] za4[771] za4[772] za4[773] za4[774] za4[775] za4[776] za4[777] za4[778] za4[779] za4[780] za4[781] za4[782] za4[783] za4[784] za4[785] za4[786] za4[787] za4[788] za4[789] za4[790] za4[791] za4[792] za4[793] za4[794] za4[795] za4[796] za4[797] za4[798] za4[799] za4[800] za4[801] za4[802] za4[803] za4[804] za4[805] za4[806] za4[807] za4[808] za4[809] za4[810] za4[811] za4[812] za4[813] za4[814] za4[815] za4[816] za4[817] za4[818] za4[819] za4[820] za4[821] za4[822] za4[823] za4[824] za4[825] za4[826] za4[827] za4[828] za4[829] za4[830] za4[831] za4[832] za4[833] za4[834] za4[835] za4[836] za4[837] za4[838] za4[839] za4[840] za4[841] za4[842] za4[843] za4[844] za4[845] za4[846] za4[847] za4[848] za4[849] za4[850] za4[851] za4[852] za4[853] za4[854] za4[855] za4[856] za4[857] za4[858] za4[859] za4[860] za4[861] za4[862] za4[863] za4[864] za4[865] za4[866] za4[867] za4[868] za4[869] za4[870] za4[871] za4[872] za4[873] za4[874] za4[875] za4[876] za4[877] za4[878] za4[879] za4[880] za4[881] za4[882] za4[883] za4[884] za4[885] za4[886] za4[887] za4[888] za4[889] za4[890] za4[891] za4[892] za4[893] za4[894] za4[895] za4[896] za4[897] za4[898] za4[899] za4[900] za4[901] za4[902] za4[903] za4[904] za4[905] za4[906] za4[907] za4[908] za4[909] za4[910] za4[911] za4[912] za4[913] za4[914] za4[915] za4[916] za4[917] za4[918] za4[919] za4[920] za4[921] za4[922] za4[923] za4[924] za4[925] za4[926] za4[927] za4[928] za4[929] za4[930] za4[931] za4[932] za4[933] za4[934] za4[935] za4[936] za4[937] za4[938] za4[939] za4[940]
252.04/235.41	v 	</list>
252.04/235.41	v 	<values>
252.04/235.41	v 		16 254 526 764 736 498 72 310 722 484 708 470 414 652 170 408 792 554 128 366 778 540 268 30 16 254 708 470 366 128 58 296 380 142 484 722 100 338 156 394 352 114 666 428 30 268 394 156 16 254 666 428 240 478 694 456 498 736 792 554 100 338 736 498 708 470 296 58 394 156 86 324 792 554 680 442 44 282 72 310 540 778 680 442 142 380 310 72 240 478 156 394 540 778 428 666 114 352 792 554 240 478 142 380 652 414 484 722 512 750 156 394 792 554 380 142 652 414 708 470 380 142 708 470 652 414 540 778 554 792 512 750 428 666 142 380 680 442 16 254 414 652 58 296 456 694 708 470 680 442 156 394 680 442 352 114 58 296 142 380 526 764 380 142 268 30 792 554 554 792 156 394 30 268 470 708 58 296 792 554 554 792 456 694 680 442 366 128 366 128 708 470 722 484 778 540 680 442 736 498 156 394 16 254 72 310 254 16 156 394 352 114 380 142 652 414 394 156 736 498 100 338 16 254 100 338 394 156 58 296 254 16 778 540 72 310 652 414 380 142 554 792 554 792 142 380 442 680 652 414 778 540 86 324 114 352 128 366 792 554 282 44 540 778 736 498 310 72 44 282 736 498 792 554 414 652 792 554 792 554 86 324 512 750 498 736 778 540 282 44 156 394 156 394 128 366 240 478 16 254 100 338 72 310 792 554 764 526 296 58 708 470 652 414 750 512 156 394 16 254 792 554 254 16 240 478 394 156 512 750 792 554 240 478 44 282 170 408 380 142 338 100 540 778 254 16 254 16 778 540 282 44 254 16 156 394 240 478 366 128 792 554 540 778 442 680 526 764 554 792 296 58 324 86 554 792 380 142 456 694 254 16 750 512 428 666 44 282 778 540 554 792 86 324 778 540 240 478 86 324 44 282 16 254 764 526 30 268 792 554 526 764 282 44 792 554 764 526 352 114 554 792 128 366 470 708 394 156 736 498 750 512 282 44 792 554 338 100 156 394 478 240 394 156 254 16 156 394 478 240 750 512 470 708 442 680 764 526 156 394 170 408 498 736 736 498 792 554 170 408 736 498 708 470 156 394 478 240 338 100 30 268 156 394 792 554 114 352 414 652 526 764 666 428 156 394 792 554 722 484 792 554 254 16 694 456 16 254 296 58 792 554 338 100 16 254 470 708 764 526 156 394 750 512 380 142 100 338 296 58 792 554 792 554 240 478 380 142 484 722 736 498 114 352 778 540 666 428 750 512 352 114 254 16 526 764 16 254 366 128 254 16 722 484 540 778 16 254 310 72 170 408 554 792 128 366 764 526 526 764 428 666 142 380 792 554 128 366 792 554 414 652 708 470 470 708 778 540 72 310 554 792 310 72 310 72 282 44 792 554 736 498 666 428 16 254 408 170 778 540 254 16 170 408 708 470 736 498 694 456 652 414 722 484 750 512 478 240 778 540 128 366 778 540 324 86 72 310 44 282 156 394 86 324 428 666 268 30 498 736 792 554 16 254 484 722 16 254 142 380 16 254 554 792 478 240 554 792 792 554 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 0 0 100 100 100 100 100 100 100 100 100 100 100 100 100 100 0 0 0 0 100 100 0 0 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 0 0 100 100 100 100 100 100 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 0 0 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 1000 0 1000 1000 1000 0 1000 0 0 1000 0 1000 0 0 0 0 1000 1000 0 0 0 0 1000 0 1000 1000 0 0 1000 1000 1000 0 0 0 0 1000 0 1000 0 0 0 0 0 1000 0 0 1000 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 1000 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 1000 1000 0 0 0 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 0 0 0 1000 0 0 0 0 1000 0 0 1000 0 1000 1000 1000 1000 0 1000 0 1000 0 0 0 1000 0 0 0 0 1000 1000 0 0 1000 1000 0 1000 1000 1000 1000 0 0 0 0 1000 0 0 0 0 0 1000 1000 0 1000 1000 0 0 1000 0 0 0 1000 1000 1000 0 0 1000 0 0 0 0 1000 0 0 1000 0 0 1000 1000 0 1000 1000 0 1000 0 0 1000 1000 1000 0 1000 0 1000 1000 1000 1000 0 0 0 1000 1000 0 0 0 1000 1000 0 1000 0 1000 0 1000 1000 0 0 1000 0 1000 0 0 1000 0 1000 0 1000 0 0 1000 0 0 1000 1000 1000 0 0 0 0 1000 1000 0 0 0 0 0 1000 0 1000 1000 1000 0 0 1000 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 1000 1000 0 1000 1000 0 1000 0 1000 0 0 0 0 1000 0 1000 0 1000 1000 1000 1000 1000 0 0 1000 0 1000 0 0 1000 1000 0 0 0 1000 1000 0 1000 0 0 1000 0 0 0 1000 1000 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 1000 0 1000 1000 0 1000 0 0 1000 0 0 0 0 0 1000 0 0 0 0 1000 0 0 1000 1000 0 0 0 0 1000 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 1000 1000 0 0 1000 1000 1000 0 1000 0 0 0 0 0 1000 0 0 1000 0 1000 0 0 0 1000 0 1000 1000 0 0 0 1000 1000 1000 0 1000 0 0 1000 1000 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 1000 1000 0 0 0 1000 0 0 0 1000 1000 0 0 0 0 0 0 1000 0 0 1000 1000 0 1000 0 0 0 1000 0 1000 0 0 0 0 0 1000 0 1000 1000 0 1000 0 0 0 0 0 1000 0 1000 0 0 1000 0 0 0 1000 0 1000 0 1000 0 1000 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 1000 0 0 1000 1000 0 0 1000 1000 0 1000 0 0 1000 0 1000 0 1000 0 1000 0 1000 0 0 0 0 0 1000 0 0 0 1000 0 1000 0 1000 1000 1000 0 0 1000 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 1000 0 1000 0 0 1000 1000 1000 0 0 1000 0 0 0 0 1000 1000 1000 0 0 0 1000 1000 1000 0 1000 1000 0 0 1000 0 0 0 0 0 1000 1000 1000 1000 1000 1000 1000 0 1000 1000 0 1000 0 0 0 0 0 1000 0 0 0 1000 0 0 0 1000 0 1000 0 0 0 0 1000 1000 0 1000 0 0 0 1000 0 1000 1000 0 0 0 1000 0 0 0 0 1000 0 1000 0 0 0 1000 1000 1000 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 1000 0 0 1000 0 0 1000 1000 0 1000 1000 0 0 0 0 0 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 1000 1000 0 0 0 0 100 100 100 0 100 100 0 0 100 100 0 100 0 0 100 0 0 0 100 100 0 0 100 0 100 100 100 0 0 0 100 0 0 0 0 0 0 0 100 100 0 0 0 0 100 0 0 100 100 0 0 0 0 0 0 0 0 100 0 100 100 0 0 0 100 0 0 100 0 100 100 0 0 0 0 100 100 0 0 100 0 0 0 0 100 0 100 100 100 100 100 0 0 100 0 0 0 0 0 0 100 100 0 100 0 0 0 0 0 100 0 100 0 0 0 0 100 100 100 0 0 0 100 0 0 0 100 0 100 0 100 100 100 0 100 0 100 0 0 0 0 0 0 0 100 100 0 100 0 100 0 0 0 0 100 0 100 100 100 100 100 0 0 0 100 100 0 0 0 100 0 100 0 100 0 100 0 0 0 100 0 0 100 0 0 100 0 100 0 0 100 0 0 100 0 0 0 100 0 0 0 100 0 100 0 100 0 100 100 100 100 100 0 100 0 100 0 100 0 0 100 0 100 0 0 0 100 100 0 0 100 100 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 100 100 0 0 0 100 0 0 0 0 100 100 0 0 100 100 100 100 100 0 100 0 0 100 100 100 100 0 100 0 100 100 0 0 0 0 100 0 0 0 100 100 0 100 100 100 100 100 100 0 0 0 0 0 0 0 100 0 0 100 100 100 100 100 0 0 0 100 0 0 0 0 100 0 100 100 100 0 100 0 0 100 100 100 0 0 100 0 0 0 100 100 0 0 100 0 100 100 0 0 100 100 100 0 0 100 0 100 0 0 0 100 100 0 0 0 100 0 0 0 0 0 0 0 100 100 100 0 0 0 0 0 0 100 0 100 0 100 100 0 0 0 0 100 0 0 100 0 0 100 100 100 100 0 0 100 0 100 0 100 0 100 0 0 0 0 0 0 0 0 100 0 100 0 0 100 0 0 0 100 100 0 0 0 0 0 100 0 0 0 100 100 0 0 100 0 100 0 0 0 100 100 0 0 0 100 100 0 0 0 0 0 0 0 0 100 100 100 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 100 100 100 0 100 100 100 100 0 0 0 0 100 100 100 0 0 100 100 100 0 100 0 0 100 0 100 100 0 0 0 100 0 0 0 0 0 0 0 100 0 100 0 100 0 0 100 100 0 0 100 0 0 0 0 0 0 100 0 100 0 100 0 0 100 100 100 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 100 100 0 100 0 0 0 100 0 0 0 0 0 0 0 100 0 0 100 0 100 100 100 100 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 100 0 100 0 0 0 0 100 100 100 0 0 0 100 100 0 0 0 0 0 0 0 0 100 0 0 0 100 100 0 0 0 0 0 100 0 100 0 0 0 0 100 0 0 100 0 100 0 0 0 100 100 100 0 0 0 0 100 100 0 100 0 0 0 0 100 0 100 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 100 0 0 0 0 100 100 100 0 0 0 0 0 0 0 0 0 0 100 0 0 100 100 0 100 0 100 100 0 0 100 0 0 0 100 100 0 100 0 100 0 0 100 0 100 100 0 100 100 100 100 0 100 100 0 100 100 0 0 100 100 0 0 0 0 100 0 0 0 0 0 0 0 100 100 100 0 0 0 100 100 0 100 100 100 100 0 0 100 100 100 100 100 0 0 100 100 0 100 0 100 100 0 0 0 100 100 100 0 0 100 100 100 100 0 100 0 0 0 0 100 0 0 100 0 100 0 0 0 100 100 100 0 0 0 0 100 0 0 0 0 0 100 100 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 100 0 100 100 100 0 0 100 0 0 0 0 0 0 0 0 0 100 0 100 100 100 100 0 0 0 100 0 100 0 0 100 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 100 100 0 100 100 100 0 0 0 0 0 0 100 0 0 0 0 100 0 0 100 0 0 0 0 100 100 0 0 0 0 100 0 100 0 0 0 0 0 0 100 100 0 0 0 100 100 100 100 0 0 0 100 100 0 100 0 100 100 0 0 100 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 10 0 0 10 0 10 0 10 0 0 0 0 0 0 0 10 0 10 0 0 0 0 10 0 10 0 10 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 10 0 0 0 0 0 0 0 10 0 0 0 10 10 10 0 0 10 0 0 10 0 10 0 0 0 10 0 0 0 10 10 10 0 0 0 10 0 0 10 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 10 0 10 0 0 10 0 10 10 10 0 0 0 0 10 10 10 0 0 0 0 0 0 0 10 0 10 10 10 0 10 0 10 10 10 0 0 0 0 10 10 0 0 10 0 10 10 0 0 0 10 0 10 10 0 10 10 0 10 0 0 0 10 0 10 10 0 0 0 0 0 10 0 0 0 10 10 0 10 0 0 0 10 0 0 0 10 0 0 0 0 0 10 10 10 0 0 0 10 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 10 0 10 0 0 10 10 0 0 10 10 10 0 10 0 0 0 10 0 0 10 0 10 10 0 0 0 0 0 0 0 0 0 10 0 10 10 0 0 10 0 10 10 0 10 10 0 10 10 0 0 0 10 0 0 0 10 10 10 10 10 0 0 10 0 0 0 0 0 0 0 10 10 10 10 10 0 10 0 0 0 10 0 10 0 10 0 10 10 10 0 0 0 10 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 10 0 10 10 10 10 10 0 10 10 10 0 10 10 10 10 0 10 0 0 0 0 10 0 0 0 0 0 0 10 10 0 0 0 0 0 10 0 10 0 10 10 0 0 0 10 0 0 10 10 0 0 10 10 0 0 0 10 10 0 0 10 0 0 10 10 10 10 0 10 0 10 10 0 0 0 10 10 10 10 0 0 0 0 0 0 0 10 0 0 0 10 10 10 0 10 10 0 0 0 10 10 0 0 10 10 10 10 0 10 10 0 0 0 10 10 0 0 0 0 10 0 0 10 0 10 0 0 0 0 10 0 0 0 10 0 10 10 10 0 0 0 10 10 10 10 10 0 0 0 10 0 10 0 0 10 0 10 0 0 10 0 10 10 0 0 0 0 10 0 10 10 0 0 0 0 0 0 0 10 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 10 10 0 0 10 10 0 0 0 0 0 10 10 10 10 0 0 0 0 0 10 10 0 0 0 0 10 10 0 0 0 0 10 0 10 0 0 0 10 0 10 0 10 10 0 0 0 10 10 0 0 10 10 0 10 10 10 0 10 0 0 10 0 10 0 0 0 0 10 0 0 10 10 10 10 0 10 0 0 0 10 0 10 0 0 0 10 0 10 0 0 10 0 0 0 10 0 0 10 10 0 0 0 0 0 0 0 0 10 10 10 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 10 0 0 10 0 0 0 10 0 0 10 0 10 0 0 10 10 0 10 0 0 10 10 0 10 0 0 10 0 10 0 0 10 0 0 0 0 10 10 10 10 0 0 10 0 0 10 10 0 0 10 10 10 0 10 10 0 10 10 10 0 0 10 10 10 10 0 10 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 10 0 0 0 0 10 10 10 0 10 0 0 0 0 0 0 10 0 10 10 0 0 0 0 10 0 0 0 0 10 0 10 0 10 10 0 0 0 0 0 0 10 10 10 0 0 0 10 10 10 0 10 0 10 10 10 10 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 10 10 0 0 0 10 0 10 0 10 0 0 10 0 10 10 0 0 10 10 0 10 0 0 0 0 10 10 10 0 10 0 0 10 10 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 1 1 1 1 0 0 0 1 0 1 0 0 0 1 0 0 1 1 1 0 0 1 0 1 1 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 1 0 1 0 1 0 0 0 1 1 1 1 0 1 1 1 1 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 1 1 1 1 1 1 0 1 0 0 1 0 0 1 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 1 1 0 0 1 1 1 0 1 1 1 1 0 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 1 0 1 1 0 0 0 0 1 0 0 1 1 0 1 0 0 1 1 1 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 1 0 0 0 1 0 1 0 1 1 0 1 0 0 1 1 1 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 1 1 1 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 0 0 0 1 1 1 0 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 1 1 1 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 1 1 1 1 1 1 0 0 0 1 0 1 1 0 0 1 0 
252.04/235.41	v 	</values>
252.04/235.41	v </instantiation>

Verifier Data 

OK	413604

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310529-1534329333/watcher-4310529-1534329333 -o /tmp/evaluation-result-4310529-1534329333/solver-4310529-1534329333 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534329093-21608 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1577452273 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310529-1534329333.xml 

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

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

solver pid=21733, runsolver pid=21730

[startup+0.100159 s]*
/proc/loadavg: 1.92 1.58 1.45 3/198 21752
/proc/meminfo: memFree=23030932/32770624 swapFree=67108688/67108860
[pid=21733] ppid=21730 vsize=14082736 memory=33372 CPUtime=0.12 cores=1,3,5,7
/proc/21733/stat : 21733 (java) S 21730 21733 21576 0 -1 1077944320 7277 0 0 0 11 1 0 0 20 0 15 0 250496146 14420721664 8343 33554432000 4194304 4196468 140731152614272 140731152596816 140149559488247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
/proc/21733/statm: 3520684 8343 3138 1 0 3482761 0
[pid=21733/tid=21735] ppid=21730 vsize=14082736 memory=-6513167599930544487 CPUtime=0.09 cores=1,3,5,7
/proc/21733/task/21735/stat : 21735 (java) R 21730 21733 21576 0 -1 4202560 5413 0 0 0 9 0 0 0 20 0 15 0 250496146 14420721664 8409 33554432000 4194304 4196468 140731152614272 140149563683056 140149539756548 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21736] ppid=21730 vsize=14082736 memory=5767616440281688201 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21736/stat : 21736 (java) S 21730 21733 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250496147 14420721664 8409 33554432000 4194304 4196468 140731152614272 140149489576464 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21737] ppid=21730 vsize=14082736 memory=140071524644480 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21737/stat : 21737 (java) S 21730 21733 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250496147 14420721664 8409 33554432000 4194304 4196468 140731152614272 140149488523920 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21738] ppid=21730 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21738/stat : 21738 (java) S 21730 21733 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250496147 14420721664 8409 33554432000 4194304 4196468 140731152614272 140149487470864 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21739] ppid=21730 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21739/stat : 21739 (java) S 21730 21733 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250496147 14420721664 8409 33554432000 4194304 4196468 140731152614272 140149486418320 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21740] ppid=21730 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21740/stat : 21740 (java) S 21730 21733 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250496149 14420721664 8409 33554432000 4194304 4196468 140731152614272 140149033229040 140149559499394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21741] ppid=21730 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21741/stat : 21741 (java) S 21730 21733 21576 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250496149 14420721664 8409 33554432000 4194304 4196468 140731152614272 140149032175264 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21742] ppid=21730 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21742/stat : 21742 (java) S 21730 21733 21576 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250496149 14420721664 8409 33554432000 4194304 4196468 140731152614272 140149031122160 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21743] ppid=21730 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21743/stat : 21743 (java) S 21730 21733 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250496152 14420721664 8409 33554432000 4194304 4196468 140731152614272 140149030070736 140149559506843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21744] ppid=21730 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21744/stat : 21744 (java) S 21730 21733 21576 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 15 0 250496152 14420721664 8409 33554432000 4194304 4196468 140731152614272 140149029017840 140149559499394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21745] ppid=21730 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21745/stat : 21745 (java) S 21730 21733 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250496152 14420721664 8409 33554432000 4194304 4196468 140731152614272 140149027965296 140149559499394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21746] ppid=21730 vsize=14082736 memory=140071524644480 CPUtime=0.01 cores=1,3,5,7
/proc/21733/task/21746/stat : 21746 (java) S 21730 21733 21576 0 -1 1077944384 247 0 0 0 1 0 0 0 20 0 15 0 250496152 14420721664 8409 33554432000 4194304 4196468 140731152614272 140149026912240 140149559499394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21747] ppid=21730 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21747/stat : 21747 (java) S 21730 21733 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250496152 14420721664 8409 33554432000 4194304 4196468 140731152614272 140149025859936 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21748] ppid=21730 vsize=14082736 memory=140071524644480 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21748/stat : 21748 (java) S 21730 21733 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250496152 14420721664 8409 33554432000 4194304 4196468 140731152614272 140149024807984 140149559499394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33372 KiB

[startup+0.210056 s]*
/proc/loadavg: 1.92 1.58 1.45 4/214 21777
/proc/meminfo: memFree=22999336/32770624 swapFree=67108688/67108860
[pid=21733] ppid=21730 vsize=14082736 memory=46760 CPUtime=0.31 cores=1,3,5,7
/proc/21733/stat : 21733 (java) S 21730 21733 21576 0 -1 1077944320 10352 0 0 0 29 2 0 0 20 0 15 0 250496146 14420721664 11690 33554432000 4194304 4196468 140731152614272 140731152596816 140149559488247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
/proc/21733/statm: 3520684 11690 3358 1 0 3482761 0
[pid=21733/tid=21735] ppid=21730 vsize=14082736 memory=-8540663193526752614 CPUtime=0.2 cores=1,3,5,7
/proc/21733/task/21735/stat : 21735 (java) R 21730 21733 21576 0 -1 4202560 8119 0 0 0 19 1 0 0 20 0 15 0 250496146 14420721664 11756 33554432000 4194304 4196468 140731152614272 140149563717808 140149559511837 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21736] ppid=21730 vsize=14082736 memory=5793855322534537657 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21736/stat : 21736 (java) S 21730 21733 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250496147 14420721664 11756 33554432000 4194304 4196468 140731152614272 140149489576464 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21737] ppid=21730 vsize=14082736 memory=140071524644480 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21737/stat : 21737 (java) S 21730 21733 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250496147 14420721664 11756 33554432000 4194304 4196468 140731152614272 140149488523920 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21738] ppid=21730 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21738/stat : 21738 (java) S 21730 21733 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250496147 14420721664 11756 33554432000 4194304 4196468 140731152614272 140149487470864 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21739] ppid=21730 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21739/stat : 21739 (java) S 21730 21733 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250496147 14420721664 11756 33554432000 4194304 4196468 140731152614272 140149486418320 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21740] ppid=21730 vsize=14082736 memory=140071524644480 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21740/stat : 21740 (java) S 21730 21733 21576 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250496149 14420721664 11756 33554432000 4194304 4196468 140731152614272 140149033229040 140149559499394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21741] ppid=21730 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21741/stat : 21741 (java) S 21730 21733 21576 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250496149 14420721664 11756 33554432000 4194304 4196468 140731152614272 140149032175264 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21742] ppid=21730 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21742/stat : 21742 (java) S 21730 21733 21576 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250496149 14420721664 11756 33554432000 4194304 4196468 140731152614272 140149031122160 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21743] ppid=21730 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21743/stat : 21743 (java) S 21730 21733 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250496152 14420721664 11756 33554432000 4194304 4196468 140731152614272 140149030070736 140149559506843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21744] ppid=21730 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21733/task/21744/stat : 21744 (java) R 21730 21733 21576 0 -1 1077944384 303 0 0 0 1 0 0 0 20 0 15 0 250496152 14420721664 11756 33554432000 4194304 4196468 140731152614272 140149029017840 140149559499394 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21745] ppid=21730 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/21733/task/21745/stat : 21745 (java) R 21730 21733 21576 0 -1 4202560 271 0 0 0 2 0 0 0 20 0 15 0 250496152 14420721664 11756 33554432000 4194304 4196468 140731152614272 140149027965296 140149540858560 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21746] ppid=21730 vsize=14082736 memory=140071524644480 CPUtime=0.06 cores=1,3,5,7
/proc/21733/task/21746/stat : 21746 (java) R 21730 21733 21576 0 -1 4202560 288 0 0 0 6 0 0 0 20 0 15 0 250496152 14420721664 11756 33554432000 4194304 4196468 140731152614272 140149026909176 140149559500182 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21747] ppid=21730 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21747/stat : 21747 (java) S 21730 21733 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250496152 14420721664 11756 33554432000 4194304 4196468 140731152614272 140149025859936 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21748] ppid=21730 vsize=14082736 memory=140071524644480 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21748/stat : 21748 (java) S 21730 21733 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250496152 14420721664 11756 33554432000 4194304 4196468 140731152614272 140149024807984 140149559499394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46760 KiB

[startup+0.310664 s]*
/proc/loadavg: 1.92 1.58 1.45 3/214 21777
/proc/meminfo: memFree=22988080/32770624 swapFree=67108688/67108860
[pid=21733] ppid=21730 vsize=14082736 memory=50272 CPUtime=0.44 cores=1,3,5,7
/proc/21733/stat : 21733 (java) S 21730 21733 21576 0 -1 1077944320 10711 0 0 0 42 2 0 0 20 0 15 0 250496146 14420721664 12568 33554432000 4194304 4196468 140731152614272 140731152596816 140149559488247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
/proc/21733/statm: 3520684 12568 3403 1 0 3482761 0
[pid=21733/tid=21735] ppid=21730 vsize=14082736 memory=-8540663193526752614 CPUtime=0.3 cores=1,3,5,7
/proc/21733/task/21735/stat : 21735 (java) R 21730 21733 21576 0 -1 4202560 8461 0 0 0 29 1 0 0 20 0 15 0 250496146 14420721664 12568 33554432000 4194304 4196468 140731152614272 140149563679808 140149543568734 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21736] ppid=21730 vsize=14082736 memory=3472468200419796176 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21736/stat : 21736 (java) S 21730 21733 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250496147 14420721664 12568 33554432000 4194304 4196468 140731152614272 140149489576464 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21737] ppid=21730 vsize=14082736 memory=4048930150881783218 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21737/stat : 21737 (java) S 21730 21733 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250496147 14420721664 12568 33554432000 4194304 4196468 140731152614272 140149488523920 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21738] ppid=21730 vsize=14082736 memory=5864320447300325987 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21738/stat : 21738 (java) S 21730 21733 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250496147 14420721664 12568 33554432000 4194304 4196468 140731152614272 140149487470864 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21739] ppid=21730 vsize=14082736 memory=3611942083800150559 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21739/stat : 21739 (java) S 21730 21733 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250496147 14420721664 12568 33554432000 4194304 4196468 140731152614272 140149486418320 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21740] ppid=21730 vsize=14082736 memory=-8844967883242233707 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21740/stat : 21740 (java) S 21730 21733 21576 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250496149 14420721664 12633 33554432000 4194304 4196468 140731152614272 140149033229040 140149559499394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21741] ppid=21730 vsize=14082736 memory=140071365901379 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21741/stat : 21741 (java) S 21730 21733 21576 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250496149 14420721664 12633 33554432000 4194304 4196468 140731152614272 140149032175264 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21742] ppid=21730 vsize=14082736 memory=3905097537846534120 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21742/stat : 21742 (java) S 21730 21733 21576 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250496149 14420721664 12633 33554432000 4194304 4196468 140731152614272 140149031122160 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21743] ppid=21730 vsize=14082736 memory=140071365901475 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21743/stat : 21743 (java) S 21730 21733 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250496152 14420721664 12633 33554432000 4194304 4196468 140731152614272 140149030070736 140149559506843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21744] ppid=21730 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/21733/task/21744/stat : 21744 (java) S 21730 21733 21576 0 -1 1077944384 308 0 0 0 1 0 0 0 20 0 15 0 250496152 14420721664 12633 33554432000 4194304 4196468 140731152614272 140149029017840 140149559499394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21745] ppid=21730 vsize=14082736 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/21733/task/21745/stat : 21745 (java) S 21730 21733 21576 0 -1 1077944384 272 0 0 0 3 0 0 0 20 0 15 0 250496152 14420721664 12633 33554432000 4194304 4196468 140731152614272 140149027965296 140149559499394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21746] ppid=21730 vsize=14082736 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21733/task/21746/stat : 21746 (java) S 21730 21733 21576 0 -1 1077944384 293 0 0 0 8 0 0 0 20 0 15 0 250496152 14420721664 12633 33554432000 4194304 4196468 140731152614272 140149026912240 140149559499394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21747] ppid=21730 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21747/stat : 21747 (java) S 21730 21733 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250496152 14420721664 12633 33554432000 4194304 4196468 140731152614272 140149025859936 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21748] ppid=21730 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21748/stat : 21748 (java) S 21730 21733 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250496152 14420721664 12633 33554432000 4194304 4196468 140731152614272 140149024807984 140149559499394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50272 KiB

[startup+0.700759 s]
/proc/loadavg: 1.92 1.58 1.45 6/214 21777
/proc/meminfo: memFree=22933188/32770624 swapFree=67108688/67108860
[pid=21733] ppid=21730 vsize=14084804 memory=89024 CPUtime=1 cores=1,3,5,7
/proc/21733/stat : 21733 (java) S 21730 21733 21576 0 -1 1077944320 17602 0 0 0 96 4 0 0 20 0 15 0 250496146 14422839296 22256 33554432000 4194304 4196468 140731152614272 140731152596816 140149559488247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
/proc/21733/statm: 3521201 22256 3499 1 0 3483273 0
[pid=21733/tid=21735] ppid=21730 vsize=14084804 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/21733/task/21735/stat : 21735 (java) R 21730 21733 21576 0 -1 4202560 14896 0 0 0 64 3 0 0 20 0 15 0 250496146 14422839296 22256 33554432000 4194304 4196468 140731152614272 140149563703712 140149559510173 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21736] ppid=21730 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21736/stat : 21736 (java) S 21730 21733 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250496147 14422839296 22256 33554432000 4194304 4196468 140731152614272 140149489576464 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21737] ppid=21730 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21737/stat : 21737 (java) S 21730 21733 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250496147 14422839296 22256 33554432000 4194304 4196468 140731152614272 140149488523920 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21738] ppid=21730 vsize=14084804 memory=7165352523811272757 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21738/stat : 21738 (java) S 21730 21733 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250496147 14422839296 22256 33554432000 4194304 4196468 140731152614272 140149487470864 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21739] ppid=21730 vsize=14084804 memory=5931331218524098640 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21739/stat : 21739 (java) S 21730 21733 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250496147 14422839296 22256 33554432000 4194304 4196468 140731152614272 140149486418320 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21740] ppid=21730 vsize=14084804 memory=3732 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21740/stat : 21740 (java) S 21730 21733 21576 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250496149 14422839296 22256 33554432000 4194304 4196468 140731152614272 140149033229040 140149559499394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21741] ppid=21730 vsize=14084804 memory=12668 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21741/stat : 21741 (java) S 21730 21733 21576 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250496149 14422839296 22256 33554432000 4194304 4196468 140731152614272 140149032175264 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21742] ppid=21730 vsize=14084804 memory=1072 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21742/stat : 21742 (java) S 21730 21733 21576 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250496149 14422839296 22256 33554432000 4194304 4196468 140731152614272 140149031122160 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21743] ppid=21730 vsize=14084804 memory=14888 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21743/stat : 21743 (java) S 21730 21733 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250496152 14422839296 22256 33554432000 4194304 4196468 140731152614272 140149030070736 140149559506843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21744] ppid=21730 vsize=14084804 memory=3316 CPUtime=0.06 cores=1,3,5,7
/proc/21733/task/21744/stat : 21744 (java) S 21730 21733 21576 0 -1 1077944384 497 0 0 0 6 0 0 0 20 0 15 0 250496152 14422839296 22256 33554432000 4194304 4196468 140731152614272 140149029017840 140149559499394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21745] ppid=21730 vsize=14084804 memory=15768 CPUtime=0.08 cores=1,3,5,7
/proc/21733/task/21745/stat : 21745 (java) S 21730 21733 21576 0 -1 1077944384 418 0 0 0 8 0 0 0 20 0 15 0 250496152 14422839296 22256 33554432000 4194304 4196468 140731152614272 140149027965296 140149559499394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21746] ppid=21730 vsize=14084804 memory=38500 CPUtime=0.15 cores=1,3,5,7
/proc/21733/task/21746/stat : 21746 (java) S 21730 21733 21576 0 -1 1077944384 409 0 0 0 15 0 0 0 20 0 15 0 250496152 14422839296 22256 33554432000 4194304 4196468 140731152614272 140149026912240 140149559499394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21747] ppid=21730 vsize=14084804 memory=1612 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21747/stat : 21747 (java) S 21730 21733 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250496152 14422839296 22256 33554432000 4194304 4196468 140731152614272 140149025859936 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21748] ppid=21730 vsize=14084804 memory=496 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21748/stat : 21748 (java) S 21730 21733 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250496152 14422839296 22256 33554432000 4194304 4196468 140731152614272 140149024807984 140149559499394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89024 KiB

[startup+1.50819 s]
/proc/loadavg: 1.92 1.58 1.45 5/195 21792
/proc/meminfo: memFree=22926972/32770624 swapFree=67108688/67108860
[pid=21733] ppid=21730 vsize=14086852 memory=228764 CPUtime=3.55 cores=1,3,5,7
/proc/21733/stat : 21733 (java) S 21730 21733 21576 0 -1 1077944320 28458 0 0 0 346 9 0 0 20 0 15 0 250496146 14424936448 57189 33554432000 4194304 4196468 140731152614272 140731152596816 140149559488247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
/proc/21733/statm: 3521713 57191 3568 1 0 3483785 0
[pid=21733/tid=21735] ppid=21730 vsize=14086852 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/21733/task/21735/stat : 21735 (java) R 21730 21733 21576 0 -1 4202560 17448 0 0 0 141 5 0 0 20 0 15 0 250496146 14424936448 57191 33554432000 4194304 4196468 140731152614272 140149563723248 140149167479041 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21736] ppid=21730 vsize=14086852 memory=140071365931424 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21736/stat : 21736 (java) S 21730 21733 21576 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 250496147 14424936448 57191 33554432000 4194304 4196468 140731152614272 140149489576464 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21737] ppid=21730 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21737/stat : 21737 (java) S 21730 21733 21576 0 -1 1077944384 248 0 0 0 0 0 0 0 20 0 15 0 250496147 14424936448 57191 33554432000 4194304 4196468 140731152614272 140149488523920 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21738] ppid=21730 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21738/stat : 21738 (java) S 21730 21733 21576 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 250496147 14424936448 57191 33554432000 4194304 4196468 140731152614272 140149487470864 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21739] ppid=21730 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21739/stat : 21739 (java) S 21730 21733 21576 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 250496147 14424936448 57191 33554432000 4194304 4196468 140731152614272 140149486418320 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21740] ppid=21730 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21740/stat : 21740 (java) S 21730 21733 21576 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 15 0 250496149 14424936448 57191 33554432000 4194304 4196468 140731152614272 140149033229040 140149559499394 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0

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

/proc/21733/task/21735/stat : 21735 (java) R 21730 21733 21576 0 -1 4202560 25866 0 0 0 10186 19 0 0 20 0 15 0 250496146 14429130752 316823 33554432000 4194304 4196468 140731152614272 140149563726272 140149173326427 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21736] ppid=21730 vsize=14090948 memory=1267292 CPUtime=0.17 cores=1,3,5,7
/proc/21733/task/21736/stat : 21736 (java) S 21730 21733 21576 0 -1 1077944384 528 0 0 0 11 6 0 0 20 0 15 0 250496147 14429130752 316823 33554432000 4194304 4196468 140731152614272 140149489576464 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21737] ppid=21730 vsize=14090948 memory=1267292 CPUtime=0.16 cores=1,3,5,7
/proc/21733/task/21737/stat : 21737 (java) S 21730 21733 21576 0 -1 1077944384 806 0 0 0 11 5 0 0 20 0 15 0 250496147 14429130752 316823 33554432000 4194304 4196468 140731152614272 140149488523920 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21738] ppid=21730 vsize=14090948 memory=1267292 CPUtime=0.17 cores=1,3,5,7
/proc/21733/task/21738/stat : 21738 (java) S 21730 21733 21576 0 -1 1077944384 2072 0 0 0 11 6 0 0 20 0 15 0 250496147 14429130752 316823 33554432000 4194304 4196468 140731152614272 140149487470864 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21739] ppid=21730 vsize=14090948 memory=1267292 CPUtime=0.18 cores=1,3,5,7
/proc/21733/task/21739/stat : 21739 (java) S 21730 21733 21576 0 -1 1077944384 1951 0 0 0 12 6 0 0 20 0 15 0 250496147 14429130752 316823 33554432000 4194304 4196468 140731152614272 140149486418320 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21740] ppid=21730 vsize=14090948 memory=1267292 CPUtime=0.02 cores=1,3,5,7
/proc/21733/task/21740/stat : 21740 (java) S 21730 21733 21576 0 -1 1077944384 2059 0 0 0 2 0 0 0 20 0 15 0 250496149 14429130752 316823 33554432000 4194304 4196468 140731152614272 140149033229040 140149559499394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21741] ppid=21730 vsize=14090948 memory=1267292 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21741/stat : 21741 (java) S 21730 21733 21576 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 250496149 14429130752 316823 33554432000 4194304 4196468 140731152614272 140149032175328 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21742] ppid=21730 vsize=14090948 memory=1267292 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21742/stat : 21742 (java) S 21730 21733 21576 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 250496149 14429130752 316823 33554432000 4194304 4196468 140731152614272 140149031122176 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21743] ppid=21730 vsize=14090948 memory=1261168 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21743/stat : 21743 (java) S 21730 21733 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250496152 14429130752 316823 33554432000 4194304 4196468 140731152614272 140149030070736 140149559506843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21744] ppid=21730 vsize=14090948 memory=1261168 CPUtime=3.56 cores=1,3,5,7
/proc/21733/task/21744/stat : 21744 (java) S 21730 21733 21576 0 -1 1077944384 7487 0 0 0 355 1 0 0 20 0 15 0 250496152 14429130752 316823 33554432000 4194304 4196468 140731152614272 140149029017840 140149559499394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21745] ppid=21730 vsize=14090948 memory=1267292 CPUtime=3.39 cores=1,3,5,7
/proc/21733/task/21745/stat : 21745 (java) S 21730 21733 21576 0 -1 1077944384 7761 0 0 0 338 1 0 0 20 0 15 0 250496152 14429130752 316823 33554432000 4194304 4196468 140731152614272 140149027965296 140149559499394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21746] ppid=21730 vsize=14090948 memory=1267292 CPUtime=1.05 cores=1,3,5,7
/proc/21733/task/21746/stat : 21746 (java) S 21730 21733 21576 0 -1 1077944384 8346 0 0 0 103 2 0 0 20 0 15 0 250496152 14429130752 316823 33554432000 4194304 4196468 140731152614272 140149026912240 140149559499394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21747] ppid=21730 vsize=14090948 memory=1267292 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21747/stat : 21747 (java) S 21730 21733 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250496152 14429130752 316823 33554432000 4194304 4196468 140731152614272 140149025859936 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21748] ppid=21730 vsize=14090948 memory=356 CPUtime=0.03 cores=1,3,5,7
/proc/21733/task/21748/stat : 21748 (java) S 21730 21733 21576 0 -1 1077944384 115 0 0 0 1 2 0 0 20 0 15 0 250496152 14429130752 316823 33554432000 4194304 4196468 140731152614272 140149024807984 140149559499394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
Current children cumulated CPU time: 110.87 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1267292 KiB

[startup+162.31 s]
/proc/loadavg: 1.69 1.62 1.49 3/215 21825
/proc/meminfo: memFree=21622436/32770624 swapFree=67108688/67108860
[pid=21733] ppid=21730 vsize=14090948 memory=1271232 CPUtime=170.92 cores=1,3,5,7
/proc/21733/stat : 21733 (java) S 21730 21733 21576 0 -1 1077944320 61083 0 0 0 17037 55 0 0 20 0 15 0 250496146 14429130752 317808 33554432000 4194304 4196468 140731152614272 140731152596816 140149559488247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
/proc/21733/statm: 3522737 317808 3585 1 0 3484809 0
[pid=21733/tid=21735] ppid=21730 vsize=14090948 memory=12668 CPUtime=162.02 cores=1,3,5,7
/proc/21733/task/21735/stat : 21735 (java) R 21730 21733 21576 0 -1 4202560 27244 0 0 0 16183 19 0 0 20 0 15 0 250496146 14429130752 317808 33554432000 4194304 4196468 140731152614272 140149563726272 140149167908699 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21736] ppid=21730 vsize=14090948 memory=1271232 CPUtime=0.19 cores=1,3,5,7
/proc/21733/task/21736/stat : 21736 (java) S 21730 21733 21576 0 -1 1077944384 646 0 0 0 12 7 0 0 20 0 15 0 250496147 14429130752 317808 33554432000 4194304 4196468 140731152614272 140149489576464 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21737] ppid=21730 vsize=14090948 memory=1271232 CPUtime=0.17 cores=1,3,5,7
/proc/21733/task/21737/stat : 21737 (java) S 21730 21733 21576 0 -1 1077944384 1548 0 0 0 12 5 0 0 20 0 15 0 250496147 14429130752 317808 33554432000 4194304 4196468 140731152614272 140149488523920 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21738] ppid=21730 vsize=14090948 memory=1271232 CPUtime=0.18 cores=1,3,5,7
/proc/21733/task/21738/stat : 21738 (java) S 21730 21733 21576 0 -1 1077944384 2086 0 0 0 12 6 0 0 20 0 15 0 250496147 14429130752 317808 33554432000 4194304 4196468 140731152614272 140149487470864 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21739] ppid=21730 vsize=14090948 memory=1271232 CPUtime=0.18 cores=1,3,5,7
/proc/21733/task/21739/stat : 21739 (java) S 21730 21733 21576 0 -1 1077944384 2077 0 0 0 12 6 0 0 20 0 15 0 250496147 14429130752 317808 33554432000 4194304 4196468 140731152614272 140149486418320 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21740] ppid=21730 vsize=14090948 memory=1271232 CPUtime=0.02 cores=1,3,5,7
/proc/21733/task/21740/stat : 21740 (java) S 21730 21733 21576 0 -1 1077944384 2303 0 0 0 2 0 0 0 20 0 15 0 250496149 14429130752 317808 33554432000 4194304 4196468 140731152614272 140149033229040 140149559499394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21741] ppid=21730 vsize=14090948 memory=1271232 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21741/stat : 21741 (java) S 21730 21733 21576 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 250496149 14429130752 317808 33554432000 4194304 4196468 140731152614272 140149032175328 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21742] ppid=21730 vsize=14090948 memory=1271232 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21742/stat : 21742 (java) S 21730 21733 21576 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 250496149 14429130752 317808 33554432000 4194304 4196468 140731152614272 140149031122176 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21743] ppid=21730 vsize=14090948 memory=1271232 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21743/stat : 21743 (java) S 21730 21733 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250496152 14429130752 317808 33554432000 4194304 4196468 140731152614272 140149030070736 140149559506843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21744] ppid=21730 vsize=14090948 memory=1271232 CPUtime=3.56 cores=1,3,5,7
/proc/21733/task/21744/stat : 21744 (java) S 21730 21733 21576 0 -1 1077944384 7490 0 0 0 355 1 0 0 20 0 15 0 250496152 14429130752 317808 33554432000 4194304 4196468 140731152614272 140149029017840 140149559499394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21745] ppid=21730 vsize=14090948 memory=1267804 CPUtime=3.39 cores=1,3,5,7
/proc/21733/task/21745/stat : 21745 (java) S 21730 21733 21576 0 -1 1077944384 7765 0 0 0 338 1 0 0 20 0 15 0 250496152 14429130752 317808 33554432000 4194304 4196468 140731152614272 140149027965296 140149559499394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21746] ppid=21730 vsize=14090948 memory=1267804 CPUtime=1.05 cores=1,3,5,7
/proc/21733/task/21746/stat : 21746 (java) S 21730 21733 21576 0 -1 1077944384 8354 0 0 0 103 2 0 0 20 0 15 0 250496152 14429130752 317808 33554432000 4194304 4196468 140731152614272 140149026912240 140149559499394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21747] ppid=21730 vsize=14090948 memory=1271232 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21747/stat : 21747 (java) S 21730 21733 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250496152 14429130752 317808 33554432000 4194304 4196468 140731152614272 140149025859936 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21748] ppid=21730 vsize=14090948 memory=1620 CPUtime=0.05 cores=1,3,5,7
/proc/21733/task/21748/stat : 21748 (java) S 21730 21733 21576 0 -1 1077944384 144 0 0 0 2 3 0 0 20 0 15 0 250496152 14429130752 317808 33554432000 4194304 4196468 140731152614272 140149024807984 140149559499394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
Current children cumulated CPU time: 170.92 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1271232 KiB

[startup+222.31 s]
/proc/loadavg: 1.68 1.63 1.51 3/215 21826
/proc/meminfo: memFree=18569360/32770624 swapFree=67108688/67108860
[pid=21733] ppid=21730 vsize=14092996 memory=4314272 CPUtime=238.41 cores=1,3,5,7
/proc/21733/stat : 21733 (java) S 21730 21733 21576 0 -1 1077944320 93032 0 0 0 23655 186 0 0 20 0 15 0 250496146 14431227904 1078568 33554432000 4194304 4196468 140731152614272 140731152596816 140149559488247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
/proc/21733/statm: 3523249 1078568 3622 1 0 3485321 0
[pid=21733/tid=21735] ppid=21730 vsize=14092996 memory=4314272 CPUtime=220.2 cores=1,3,5,7
/proc/21733/task/21735/stat : 21735 (java) R 21730 21733 21576 0 -1 4202560 34548 0 0 0 21968 52 0 0 20 0 15 0 250496146 14431227904 1078568 33554432000 4194304 4196468 140731152614272 140149563721944 140149165580023 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21736] ppid=21730 vsize=14092996 memory=4314272 CPUtime=1.75 cores=1,3,5,7
/proc/21733/task/21736/stat : 21736 (java) S 21730 21733 21576 0 -1 1077944384 4638 0 0 0 145 30 0 0 20 0 15 0 250496147 14431227904 1078568 33554432000 4194304 4196468 140731152614272 140149489576464 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21737] ppid=21730 vsize=14092996 memory=4314272 CPUtime=1.74 cores=1,3,5,7
/proc/21733/task/21737/stat : 21737 (java) S 21730 21733 21576 0 -1 1077944384 5578 0 0 0 145 29 0 0 20 0 15 0 250496147 14431227904 1078568 33554432000 4194304 4196468 140731152614272 140149488523920 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21738] ppid=21730 vsize=14092996 memory=3815608 CPUtime=1.73 cores=1,3,5,7
/proc/21733/task/21738/stat : 21738 (java) S 21730 21733 21576 0 -1 1077944384 5280 0 0 0 144 29 0 0 20 0 15 0 250496147 14431227904 1078568 33554432000 4194304 4196468 140731152614272 140149487470864 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21739] ppid=21730 vsize=14092996 memory=3815608 CPUtime=1.75 cores=1,3,5,7
/proc/21733/task/21739/stat : 21739 (java) S 21730 21733 21576 0 -1 1077944384 5136 0 0 0 145 30 0 0 20 0 15 0 250496147 14431227904 1078568 33554432000 4194304 4196468 140731152614272 140149486418320 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21740] ppid=21730 vsize=14092996 memory=4314272 CPUtime=0.26 cores=1,3,5,7
/proc/21733/task/21740/stat : 21740 (java) S 21730 21733 21576 0 -1 1077944384 4952 0 0 0 25 1 0 0 20 0 15 0 250496149 14431227904 1078568 33554432000 4194304 4196468 140731152614272 140149033229040 140149559499394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21741] ppid=21730 vsize=14092996 memory=4314272 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21741/stat : 21741 (java) S 21730 21733 21576 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 250496149 14431227904 1078568 33554432000 4194304 4196468 140731152614272 140149032175328 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21742] ppid=21730 vsize=14092996 memory=3815608 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21742/stat : 21742 (java) S 21730 21733 21576 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250496149 14431227904 1078568 33554432000 4194304 4196468 140731152614272 140149031122176 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21743] ppid=21730 vsize=14092996 memory=3676856 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21743/stat : 21743 (java) S 21730 21733 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250496152 14431227904 1078568 33554432000 4194304 4196468 140731152614272 140149030070736 140149559506843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21744] ppid=21730 vsize=14092996 memory=116 CPUtime=4.76 cores=1,3,5,7
/proc/21733/task/21744/stat : 21744 (java) S 21730 21733 21576 0 -1 1077944384 9602 0 0 0 474 2 0 0 20 0 15 0 250496152 14431227904 1078568 33554432000 4194304 4196468 140731152614272 140149029017840 140149559499394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21745] ppid=21730 vsize=14092996 memory=4271152 CPUtime=4.58 cores=1,3,5,7
/proc/21733/task/21745/stat : 21745 (java) S 21730 21733 21576 0 -1 1077944384 10634 0 0 0 456 2 0 0 20 0 15 0 250496152 14431227904 1078568 33554432000 4194304 4196468 140731152614272 140149027965296 140149559499394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21746] ppid=21730 vsize=14092996 memory=1612 CPUtime=1.47 cores=1,3,5,7
/proc/21733/task/21746/stat : 21746 (java) S 21730 21733 21576 0 -1 1077944384 11074 0 0 0 144 3 0 0 20 0 15 0 250496152 14431227904 1078568 33554432000 4194304 4196468 140731152614272 140149026912240 140149559499394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21747] ppid=21730 vsize=14092996 memory=3815608 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21747/stat : 21747 (java) S 21730 21733 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250496152 14431227904 1078568 33554432000 4194304 4196468 140731152614272 140149025859936 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21748] ppid=21730 vsize=14092996 memory=3815608 CPUtime=0.08 cores=1,3,5,7
/proc/21733/task/21748/stat : 21748 (java) S 21730 21733 21576 0 -1 1077944384 151 0 0 0 3 5 0 0 20 0 15 0 250496152 14431227904 1078568 33554432000 4194304 4196468 140731152614272 140149024807984 140149559499394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
Current children cumulated CPU time: 238.41 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4314272 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+235.401 s]
/proc/loadavg: 1.68 1.63 1.51 3/215 21826
/proc/meminfo: memFree=18455096/32770624 swapFree=67108688/67108860
[pid=21733] ppid=21730 vsize=14092996 memory=4428616 CPUtime=252.04 cores=1,3,5,7
/proc/21733/stat : 21733 (java) S 21730 21733 21576 0 -1 1077944320 94835 0 0 0 25004 200 0 0 20 0 15 0 250496146 14431227904 1107154 33554432000 4194304 4196468 140731152614272 140731152596816 140149559488247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
/proc/21733/statm: 3523249 1107154 3622 1 0 3485321 0
[pid=21733/tid=21735] ppid=21730 vsize=14092996 memory=804 CPUtime=233.12 cores=1,3,5,7
/proc/21733/task/21735/stat : 21735 (java) R 21730 21733 21576 0 -1 4202560 35191 0 0 0 23260 52 0 0 20 0 15 0 250496146 14431227904 1107154 33554432000 4194304 4196468 140731152614272 140149563717280 140149172701304 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21736] ppid=21730 vsize=14092996 memory=4428616 CPUtime=1.92 cores=1,3,5,7
/proc/21733/task/21736/stat : 21736 (java) S 21730 21733 21576 0 -1 1077944384 4691 0 0 0 159 33 0 0 20 0 15 0 250496147 14431227904 1107154 33554432000 4194304 4196468 140731152614272 140149489576464 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21737] ppid=21730 vsize=14092996 memory=4428616 CPUtime=1.91 cores=1,3,5,7
/proc/21733/task/21737/stat : 21737 (java) S 21730 21733 21576 0 -1 1077944384 5632 0 0 0 158 33 0 0 20 0 15 0 250496147 14431227904 1107154 33554432000 4194304 4196468 140731152614272 140149488523920 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21738] ppid=21730 vsize=14092996 memory=4428616 CPUtime=1.9 cores=1,3,5,7
/proc/21733/task/21738/stat : 21738 (java) S 21730 21733 21576 0 -1 1077944384 6268 0 0 0 158 32 0 0 20 0 15 0 250496147 14431227904 1107154 33554432000 4194304 4196468 140731152614272 140149487470864 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21739] ppid=21730 vsize=14092996 memory=68356 CPUtime=1.92 cores=1,3,5,7
/proc/21733/task/21739/stat : 21739 (java) S 21730 21733 21576 0 -1 1077944384 5197 0 0 0 159 33 0 0 20 0 15 0 250496147 14431227904 1107154 33554432000 4194304 4196468 140731152614272 140149486418320 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21740] ppid=21730 vsize=14092996 memory=1224 CPUtime=0.26 cores=1,3,5,7
/proc/21733/task/21740/stat : 21740 (java) S 21730 21733 21576 0 -1 1077944384 4952 0 0 0 25 1 0 0 20 0 15 0 250496149 14431227904 1107154 33554432000 4194304 4196468 140731152614272 140149033229040 140149559499394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21741] ppid=21730 vsize=14092996 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21741/stat : 21741 (java) S 21730 21733 21576 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 250496149 14431227904 1107154 33554432000 4194304 4196468 140731152614272 140149032175328 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21742] ppid=21730 vsize=14092996 memory=68356 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21742/stat : 21742 (java) S 21730 21733 21576 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250496149 14431227904 1107154 33554432000 4194304 4196468 140731152614272 140149031122176 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21743] ppid=21730 vsize=14092996 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21743/stat : 21743 (java) S 21730 21733 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250496152 14431227904 1107154 33554432000 4194304 4196468 140731152614272 140149030070736 140149559506843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21744] ppid=21730 vsize=14092996 memory=2336 CPUtime=4.76 cores=1,3,5,7
/proc/21733/task/21744/stat : 21744 (java) S 21730 21733 21576 0 -1 1077944384 9603 0 0 0 474 2 0 0 20 0 15 0 250496152 14431227904 1107154 33554432000 4194304 4196468 140731152614272 140149029017840 140149559499394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21745] ppid=21730 vsize=14092996 memory=6791534058613427641 CPUtime=4.58 cores=1,3,5,7
/proc/21733/task/21745/stat : 21745 (java) S 21730 21733 21576 0 -1 1077944384 10634 0 0 0 456 2 0 0 20 0 15 0 250496152 14431227904 1107154 33554432000 4194304 4196468 140731152614272 140149027965296 140149559499394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21746] ppid=21730 vsize=14092996 memory=868 CPUtime=1.49 cores=1,3,5,7
/proc/21733/task/21746/stat : 21746 (java) S 21730 21733 21576 0 -1 1077944384 11077 0 0 0 146 3 0 0 20 0 15 0 250496152 14431227904 1107154 33554432000 4194304 4196468 140731152614272 140149026912240 140149559499394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21747] ppid=21730 vsize=14092996 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/21733/task/21747/stat : 21747 (java) S 21730 21733 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250496152 14431227904 1107154 33554432000 4194304 4196468 140731152614272 140149025859936 140149559498453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
[pid=21733/tid=21748] ppid=21730 vsize=14092996 memory=1620 CPUtime=0.09 cores=1,3,5,7
/proc/21733/task/21748/stat : 21748 (java) S 21730 21733 21576 0 -1 1077944384 151 0 0 0 4 5 0 0 20 0 15 0 250496152 14431227904 1107154 33554432000 4194304 4196468 140731152614272 140149024807984 140149559499394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26312704 140731152622682 140731152622862 140731152622862 140731152625615 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4428616 KiB

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

[startup+235.446 s]
# the end of solver process 21733 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.072 s, system=2.02963 s

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

Child status: 143
Real time (s): 235.446
CPU time (s): 252.102
CPU user time (s): 250.072
CPU system time (s): 2.02963
CPU usage (%): 107.074
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 4428616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.072
system time used= 2.02963
maximum resident set size= 4429156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94945
page faults= 0
swaps= 0
block input operations= 0
block output operations= 360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11179
involuntary context switches= 457


# summary of solver processes directly reported to runsolver:
#   pid: 21733
#   total CPU time (s): 252.102
#   total CPU user time (s): 250.072
#   total CPU system time (s): 2.02963

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.37259 second user time and 2.25134 second system time

The end

Launcher Data 

Begin job on node106 at 2018-08-15 12:35:33
IDJOB=4310529
IDBENCH=141195
IDSOLVER=2796
FILE ID=node106/4310529-1534329333
RUNJOBID= node106-1534329093-21608
PBS_JOBID= 21038157
Free space on /tmp= 42412 MiB

SOLVER NAME= OscaR - Hybrid 2018-08-14
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-12-opt_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-4310529-1534329333/watcher-4310529-1534329333 -o /tmp/evaluation-result-4310529-1534329333/solver-4310529-1534329333 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534329093-21608 --watchdog 312  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1577452273 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310529-1534329333.xml

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

MD5SUM BENCH= 6121a94880b1ccb1614ec86f716938fa
RANDOM SEED=1577452273

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        22971392 kB
MemAvailable:   31817508 kB
Buffers:          201760 kB
Cached:          8859308 kB
SwapCached:            0 kB
Active:          4674660 kB
Inactive:        4520584 kB
Active(anon):      81052 kB
Inactive(anon):   113648 kB
Active(file):    4593608 kB
Inactive(file):  4406936 kB
Unevictable:        6968 kB
Mlocked:            6968 kB
SwapTotal:      67108860 kB
SwapFree:       67108688 kB
Dirty:             36104 kB
Writeback:             0 kB
AnonPages:        117552 kB
Mapped:            65508 kB
Shmem:             57824 kB
Slab:             302132 kB
SReclaimable:     273836 kB
SUnreclaim:        28296 kB
KernelStack:        3504 kB
PageTables:         5868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5294892 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 42376 MiB
End job on node106 at 2018-08-15 12:39:28