Trace number 4308288

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 - Conflict Ordering with restarts 2018-08-14SAT (TO)316240 2520.06 2486.83

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-scen-09-opt_c18.xml
MD5SUM19bcf73076031218e5fd4b7208c9a15e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark19049
Best CPU time to get the best result obtained on this benchmark2400.17
Satisfiable
(Un)Satisfiability was proved
Number of variables4749
Number of constraints4410
Number of domains9
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":4069},{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":4},{"size":36,"count":336},{"size":44,"count":328}]
Minimum variable degree2
Maximum variable degree63
Distribution of variable degrees[{"degree":2,"count":4070},{"degree":3,"count":1},{"degree":4,"count":27},{"degree":5,"count":22},{"degree":6,"count":78},{"degree":7,"count":29},{"degree":8,"count":79},{"degree":9,"count":23},{"degree":10,"count":77},{"degree":11,"count":29},{"degree":12,"count":39},{"degree":13,"count":29},{"degree":14,"count":40},{"degree":15,"count":18},{"degree":16,"count":32},{"degree":17,"count":15},{"degree":18,"count":21},{"degree":19,"count":8},{"degree":20,"count":16},{"degree":21,"count":14},{"degree":22,"count":10},{"degree":23,"count":9},{"degree":24,"count":6},{"degree":25,"count":9},{"degree":26,"count":6},{"degree":27,"count":3},{"degree":28,"count":8},{"degree":29,"count":6},{"degree":30,"count":3},{"degree":31,"count":5},{"degree":32,"count":1},{"degree":36,"count":3},{"degree":37,"count":3},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":1},{"degree":48,"count":1},{"degree":56,"count":1},{"degree":63,"count":1}]
Minimum constraint arity2
Maximum constraint arity280
Distribution of constraint arities[{"arity":2,"count":646},{"arity":3,"count":3763},{"arity":280,"count":1}]
Number of extensional constraints0
Number of intensional constraints4409
Distribution of constraint types[{"type":"intension","count":4409},{"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.67/0.56	c version: 2018-08-14
0.67/0.57	c seed: 1596178237
0.67/0.57	c timeout: 2520
0.67/0.57	c memlimit: 11000
0.67/0.57	c nbcore: 4
0.67/0.59	c Parsing instance...
9.49/4.74	c Parsing done, starting search...
164.18/155.33	o 396077
164.18/155.34	o 396067
164.18/155.34	o 395067
164.18/155.35	o 393067
164.18/155.36	o 392967
164.18/155.36	o 392957
164.18/155.37	o 391967
164.18/155.38	o 390967
164.18/155.38	o 389967
164.18/155.39	o 389867
164.18/155.39	o 388867
164.18/155.40	o 387867
164.43/155.41	o 386867
164.43/155.41	o 386858
164.43/155.42	o 386838
164.43/155.43	o 384838
164.43/155.43	o 384837
164.43/155.44	o 383837
164.43/155.45	o 382837
164.43/155.46	o 382836
164.43/155.47	o 382736
164.43/155.48	o 382135
164.43/155.49	o 382125
164.43/155.49	o 382025
164.43/155.50	o 381925
164.71/155.50	o 381825
164.71/155.51	o 381736
164.71/155.51	o 381735
164.71/155.52	o 381726
164.71/155.52	o 381724
164.71/155.53	o 381635
164.71/155.54	o 381625
164.71/155.54	o 381624
164.71/155.60	o 381069
164.71/155.61	o 381061
164.91/155.61	o 381051
164.91/155.61	o 381041
164.91/155.62	o 381039
164.91/155.62	o 381038
164.91/155.62	o 381037
164.91/155.63	o 381036
164.91/155.63	o 381026
164.91/155.63	o 380026
164.91/155.64	o 379926
164.91/155.64	o 379837
164.91/155.65	o 379737
164.91/155.65	o 379736
164.91/155.66	o 379727
164.91/155.66	o 379723
164.91/155.67	o 379623
165.04/155.70	o 379434
165.04/155.70	o 379433
165.04/155.71	o 379423
165.04/155.71	o 379422
165.04/155.72	o 379322
165.04/155.75	o 378524
165.04/155.75	o 378523
165.04/155.76	o 378522
165.04/155.76	o 378422
165.04/155.78	o 378323
165.04/155.78	o 378313
165.04/155.79	o 378312
165.04/155.79	o 378225
165.14/155.80	o 378224
165.14/155.80	o 378223
165.14/155.81	o 378214
165.14/155.81	o 378213
165.14/155.82	o 378212
165.14/155.82	o 377312
165.14/155.83	o 377212
165.14/155.85	o 377203
165.14/155.87	o 377105
165.14/155.88	o 377104
165.14/155.88	o 377103
165.26/155.91	o 376205
165.26/155.91	o 376204
165.26/155.92	o 376103
165.26/155.96	o 376013
165.39/156.03	o 374614
165.39/156.03	o 374514
165.39/156.03	o 374513
165.39/156.04	o 374512
165.39/156.04	o 374501
165.39/156.05	o 374481
165.49/156.12	o 374420
165.49/156.13	o 374419
165.49/156.13	o 374410
165.49/156.14	o 374401
165.49/156.16	o 374381
165.49/156.16	o 374380
165.49/156.18	o 374371
165.49/156.19	o 374281
165.60/156.21	o 374182
165.60/156.22	o 374181
165.60/156.24	o 374177
165.60/156.25	o 373977
165.60/156.29	o 373976
165.70/156.30	o 373966
165.70/156.31	o 373877
165.70/156.36	o 373876
165.90/156.57	o 372778
165.90/156.57	o 372687
166.00/156.65	o 372035
166.00/156.65	o 372034
166.00/156.66	o 372033
166.00/156.66	o 372032
166.00/156.66	o 372030
166.00/156.67	o 372029
166.00/156.67	o 372018
166.00/156.68	o 372017
166.00/156.69	o 371998
166.00/156.69	o 371997
166.10/156.70	o 371797
166.10/156.71	o 371796
166.10/156.71	o 371685
166.10/156.72	o 371676
166.10/156.75	o 370988
166.10/156.75	o 370979
166.10/156.76	o 370889
166.10/156.78	o 370888
166.10/156.79	o 370805
166.21/156.80	o 370804
166.21/156.81	o 370693
166.21/156.82	o 370684
166.31/156.93	o 370683
166.31/156.93	o 370674
166.31/156.94	o 370673
166.61/157.29	o 370662
166.61/157.30	o 370653
166.71/157.30	o 370564
166.71/157.31	o 370474
166.71/157.32	o 370473
166.71/157.39	o 370004
166.81/157.40	o 369925
166.81/157.41	o 369924
166.81/157.41	o 369914
166.81/157.42	o 369904
166.81/157.43	o 368794
166.81/157.44	o 367784
166.81/157.45	o 367765
166.81/157.46	o 367756
166.81/157.46	o 367754
166.81/157.47	o 367753
166.81/157.47	o 367664
166.81/157.48	o 366674
166.81/157.49	o 366664
166.92/157.51	o 366065
166.92/157.52	o 365863
166.92/157.52	o 365854
166.92/157.53	o 365764
166.92/157.55	o 365763
166.92/157.56	o 365563
166.92/157.56	o 365463
167.03/157.68	o 365384
167.03/157.68	o 365375
167.03/157.69	o 365364
167.13/157.71	o 365363
167.49/158.04	o 364788
167.49/158.04	o 364688
167.49/158.05	o 364588
167.49/158.05	o 364579
167.49/158.06	o 364569
167.49/158.07	o 364567
167.49/158.08	o 364478
167.49/158.09	o 363567
167.49/158.10	o 363557
167.59/158.11	o 363468
167.59/158.12	o 363264
167.59/158.13	o 363263
167.59/158.17	o 362473
167.59/158.18	o 362464
167.59/158.19	o 362453
167.68/158.20	o 362452
167.68/158.20	o 362363
168.08/158.67	o 361773
168.08/158.67	o 361772
168.08/158.67	o 361771
168.08/158.68	o 361671
168.08/158.68	o 361662
168.08/158.69	o 361652
168.19/158.70	o 361563
168.19/158.71	o 361553
168.19/158.72	o 361472
168.19/158.72	o 361463
168.39/158.90	o 361393
168.39/158.90	o 361384
168.39/158.91	o 361374
168.50/159.02	o 361373
168.50/159.03	o 361372
168.50/159.04	o 361363
169.50/160.03	o 361362
169.50/160.04	o 361353
171.65/162.18	o 361082
171.65/162.18	o 361072
171.65/162.18	o 361071
171.65/162.19	o 361070
171.65/162.19	o 360970
171.74/162.20	o 360870
171.74/162.21	o 360770
171.74/162.22	o 360680
171.74/162.23	o 360670
171.94/162.40	o 360658
171.94/162.41	o 360648
171.94/162.41	o 360639
171.94/162.44	o 360560
171.94/162.45	o 360550
172.04/162.56	o 360549
172.34/162.88	o 360548
172.34/162.89	o 360539
172.44/162.91	o 360538
172.74/163.29	o 360537
172.74/163.29	o 360528
173.14/163.67	o 359849
173.14/163.67	o 359840
173.14/163.69	o 359638
173.14/163.69	o 359629
173.24/163.72	o 359628
173.24/163.72	o 359618
173.34/163.86	o 359557
173.34/163.86	o 359548
173.34/163.87	o 359538
173.34/163.88	o 359528
177.67/168.14	o 359527
177.67/168.16	o 359506
177.67/168.18	o 359495
177.86/168.37	o 359494
178.16/168.63	o 359493
178.16/168.63	o 359483
178.76/169.29	o 359474
179.46/169.95	o 359473
179.76/170.29	o 359415
179.76/170.29	o 359406
179.86/170.30	o 359396
179.86/170.31	o 359385
180.36/170.85	o 359354
180.59/171.04	o 359353
182.08/172.60	o 359284
182.18/172.60	o 359275
182.18/172.61	o 359265
182.18/172.67	o 359264
191.99/182.47	o 359226
191.99/182.48	o 359126
191.99/182.48	o 359026
191.99/182.49	o 358926
191.99/182.50	o 358827
192.09/182.51	o 358728
192.09/182.52	o 358727
192.20/182.62	o 358717
192.20/182.67	o 358709
192.20/182.68	o 358707
192.30/182.80	o 358697
192.41/182.80	o 358687
192.41/182.83	o 356797
192.41/182.84	o 356707
192.41/182.85	o 356697
192.41/182.86	o 356687
192.51/182.97	o 356608
192.51/182.98	o 356607
192.51/182.99	o 356597
192.51/183.00	o 356587
192.72/183.15	o 356457
192.72/183.16	o 356447
192.72/183.17	o 356446
192.72/183.18	o 356436
238.54/228.74	o 350297
238.54/228.74	o 349297
238.54/228.75	o 349287
238.54/228.75	o 347397
238.54/228.76	o 347387
238.54/228.77	o 347386
238.54/228.77	o 346377
238.54/228.78	o 346376
238.64/228.84	o 346371
238.64/228.84	o 346370
238.64/228.85	o 346368
238.64/228.85	o 346358
238.64/228.86	o 346357
238.64/228.86	o 346356
238.64/228.89	o 345356
238.74/228.91	o 344356
238.74/228.92	o 343366
238.74/228.93	o 343356
238.74/228.95	o 341337
238.74/228.96	o 341336
238.74/228.98	o 341236
238.74/228.98	o 341136
238.74/229.00	o 339136
238.86/229.02	o 337124
238.86/229.03	o 337114
238.86/229.04	o 337113
238.86/229.05	o 337112
238.86/229.06	o 337003
238.86/229.07	o 337002
238.86/229.08	o 336800
238.96/229.11	o 336790
238.96/229.12	o 336690
238.96/229.12	o 336680
238.96/229.14	o 335700
238.96/229.15	o 335690
238.96/229.17	o 335681
238.96/229.19	o 335607
239.05/229.20	o 335509
239.05/229.21	o 335499
239.17/229.32	o 335471
239.17/229.32	o 335469
239.17/229.33	o 335468
239.17/229.33	o 335379
239.17/229.34	o 335369
239.27/229.46	o 335279
239.37/229.50	o 334480
239.37/229.50	o 334470
239.37/229.55	o 334469
239.88/230.10	o 333471
239.98/230.11	o 333370
239.98/230.13	o 332470
240.07/230.26	o 332469
240.17/230.33	o 332410
240.17/230.34	o 331601
240.17/230.36	o 331469
240.57/230.72	o 331399
240.57/230.72	o 331389
240.57/230.73	o 331379
240.67/230.82	o 331290
240.67/230.82	o 331289
240.67/230.83	o 331279
240.77/230.92	o 331278
240.88/231.07	o 330721
240.88/231.07	o 330621
240.88/231.07	o 330611
240.88/231.09	o 330601
240.98/231.12	o 330489
240.98/231.13	o 330479
240.98/231.14	o 330469
241.18/231.35	o 330468
241.68/231.88	o 330458
244.40/234.51	o 330457
262.42/252.47	o 330431
262.42/252.48	o 330430
262.42/252.48	o 330420
262.42/252.49	o 330419
262.42/252.49	o 330319
262.52/252.50	o 330317
262.52/252.51	o 330117
262.52/252.52	o 329915
262.52/252.53	o 329614
266.27/256.26	o 329607
374.56/363.97	o 329488
374.56/363.97	o 329487
374.56/363.97	o 329477
374.56/363.98	o 329377
374.56/363.98	o 328377
374.56/363.99	o 328367
374.56/364.00	o 328267
374.67/364.01	o 328262
374.67/364.02	o 328258
374.67/364.02	o 328257
374.67/364.05	o 328178
374.67/364.05	o 328169
374.67/364.06	o 328168
374.67/364.09	o 328167
374.77/364.13	o 328157
374.77/364.14	o 328156
374.77/364.16	o 328147
374.77/364.17	o 328146
376.69/366.05	o 328054
376.69/366.06	o 328045
376.69/366.07	o 328044
376.79/366.13	o 328034
376.79/366.14	o 328033
387.86/377.18	o 327955
387.86/377.19	o 327954
388.15/377.48	o 327944
388.15/377.49	o 327943
388.56/377.82	o 327934
388.56/377.82	o 327933
394.71/383.95	o 327853
394.71/383.95	o 326853
394.71/383.96	o 326843
394.93/384.15	o 326842
395.52/384.75	o 326839
395.52/384.75	o 326838
395.52/384.76	o 326837
395.52/384.76	o 326835
395.52/384.77	o 326834
395.63/384.84	o 326833
396.05/385.28	o 326823
397.68/386.80	o 326760
397.68/386.81	o 326749
397.68/386.82	o 326739
397.68/386.82	o 326738
397.68/386.83	o 326737
397.68/386.83	o 326736
397.99/387.19	o 326734
398.08/387.20	o 326724
398.80/387.94	o 326654
398.80/387.95	o 326633
398.80/387.95	o 326624
524.37/512.11	o 326619
524.37/512.11	o 326617
524.37/512.12	o 326616
524.37/512.12	o 326615
524.37/512.13	o 324503
524.37/512.14	o 324394
524.37/512.15	o 324393
524.37/512.16	o 324292
524.37/512.16	o 324192
524.37/512.17	o 323192
524.37/512.19	o 322081
524.47/512.20	o 321071
524.47/512.22	o 320082
524.47/512.23	o 319992
524.47/512.24	o 319982
524.47/512.25	o 319981
524.47/512.26	o 319971
524.47/512.28	o 319072
524.47/512.29	o 318972
524.57/512.30	o 318971
524.57/512.33	o 318893
524.57/512.33	o 318883
524.57/512.34	o 318882
524.57/512.34	o 318871
524.57/512.35	o 318771
524.57/512.37	o 318760
524.57/512.37	o 318759
524.77/512.53	o 318750
524.77/512.58	o 318749
526.70/514.45	o 318713
526.70/514.45	o 318712
526.70/514.46	o 318702
526.70/514.46	o 318692
526.70/514.47	o 318682
526.70/514.47	o 318670
526.70/514.48	o 318660
526.80/514.55	o 318659
526.80/514.59	o 318650
526.80/514.60	o 318649
2254.05/2224.04	o 318616
2254.05/2224.05	o 318606
2254.05/2224.06	o 318596
2254.05/2224.07	o 318595
2254.05/2224.08	o 318585
2254.05/2224.09	o 318575
2254.05/2224.10	o 318574
2254.05/2224.10	o 318573
2254.15/2224.11	o 318563
2254.15/2224.12	o 318553
2254.15/2224.17	o 318455
2254.15/2224.18	o 318454
2254.15/2224.18	o 318453
2254.15/2224.19	o 318452
2254.24/2224.20	o 318432
2254.24/2224.21	o 318332
2254.24/2224.23	o 318330
2254.24/2224.23	o 318329
2254.24/2224.24	o 318319
2254.45/2224.42	o 316504
2254.45/2224.43	o 316503
2254.45/2224.43	o 316493
2254.45/2224.44	o 316393
2254.45/2224.44	o 316383
2254.45/2224.45	o 316382
2254.45/2224.45	o 316381
2254.45/2224.46	o 316371
2254.45/2224.47	o 316361
2254.45/2224.47	o 316360
2254.45/2224.48	o 316350
2254.45/2224.49	o 316330
2254.55/2224.50	o 316320
2357.21/2325.89	o 316303
2357.31/2325.90	o 316293
2357.31/2325.91	o 316283
2357.31/2325.91	o 316282
2357.31/2325.99	o 316274
2357.31/2325.99	o 316273
2357.31/2326.00	o 316272
2357.31/2326.00	o 316262
2357.42/2326.01	o 316252
2357.42/2326.03	o 316251
2357.42/2326.04	o 316241
2360.37/2328.98	o 316240
2520.01/2486.80	s SATISFIABLE
2520.01/2486.81	v <instantiation>
2520.01/2486.81	v 	<list>
2520.01/2486.81	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] zb1[82] zb1[83] zb1[84] zb1[85] zb1[86] zb1[87] zb1[88] zb1[89] zb1[90] zb1[91] zb1[92] zb1[93] zb1[94] zb1[95] zb1[96] zb1[97] zb1[98] zb1[99] zb1[100] zb1[101] zb1[102] zb1[103] zb1[104] zb1[105] zb1[106] zb1[107] zb1[108] zb1[109] zb1[110] zb1[111] zb1[112] zb1[113] zb1[114] zb1[115] zb1[116] zb1[117] 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] zb2[90] zb2[91] zb2[92] zb2[93] zb2[94] zb2[95] zb2[96] zb2[97] zb2[98] zb2[99] zb2[100] zb2[101] zb2[102] zb2[103] zb2[104] zb2[105] 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] 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] 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] za2[1019] za2[1020] za2[1021] za2[1022] za2[1023] za2[1024] za2[1025] za2[1026] 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] 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] za4[941] za4[942] za4[943] za4[944] za4[945] za4[946] za4[947] za4[948] za4[949] za4[950] za4[951] za4[952] za4[953] za4[954] za4[955] za4[956] za4[957] za4[958] za4[959] za4[960] za4[961] za4[962] za4[963] za4[964] za4[965] za4[966] za4[967] za4[968] za4[969] za4[970] za4[971] za4[972] za4[973] za4[974] za4[975] za4[976] za4[977] za4[978] za4[979] za4[980] za4[981] za4[982] za4[983] za4[984] za4[985] za4[986] za4[987] za4[988] za4[989] za4[990] za4[991] za4[992] za4[993] za4[994] za4[995] za4[996] za4[997] za4[998] za4[999] za4[1000] za4[1001] za4[1002] za4[1003] za4[1004] za4[1005] za4[1006] za4[1007] za4[1008] za4[1009] za4[1010] za4[1011] za4[1012] za4[1013] za4[1014] za4[1015] za4[1016] za4[1017] za4[1018] za4[1019] za4[1020] za4[1021] za4[1022] za4[1023] za4[1024] za4[1025] za4[1026] za4[1027] za4[1028] za4[1029] za4[1030] za4[1031] za4[1032] za4[1033] za4[1034] za4[1035] za4[1036] za4[1037] za4[1038] za4[1039] za4[1040] za4[1041] za4[1042] za4[1043] za4[1044] za4[1045] za4[1046] za4[1047] za4[1048] za4[1049] za4[1050] za4[1051] za4[1052] za4[1053] za4[1054] za4[1055]
2520.01/2486.81	v 	</list>
2520.01/2486.81	v 	<values>
2520.01/2486.81	v 		442 680 554 792 694 456 310 72 282 44 428 666 512 750 680 442 310 72 380 142 16 254 16 254 554 792 16 254 694 456 254 16 484 722 414 652 540 778 254 16 442 680 428 666 554 792 498 736 254 16 722 484 44 282 338 100 16 254 722 484 338 100 512 750 44 282 156 394 324 86 750 512 58 296 254 16 16 254 142 380 156 394 296 58 44 282 380 142 792 554 366 128 156 394 30 268 254 16 526 764 540 778 428 666 666 428 414 652 540 778 366 128 750 512 652 414 456 694 44 282 30 268 16 254 428 666 30 268 310 72 428 666 296 58 16 254 442 680 156 394 442 680 442 680 58 296 128 366 394 156 16 254 750 512 44 282 792 554 170 408 58 296 750 512 282 44 268 30 666 428 268 30 58 296 352 114 666 428 484 722 324 86 526 764 296 58 680 442 142 380 666 428 142 380 366 128 792 554 352 114 778 540 414 652 352 114 254 16 142 380 526 764 526 764 526 764 72 310 456 694 722 484 142 380 428 666 694 456 456 694 764 526 268 30 58 296 86 324 666 428 428 666 470 708 540 778 282 44 268 30 30 268 778 540 540 778 30 268 498 736 778 540 282 44 30 268 442 680 310 72 778 540 100 338 428 666 338 100 44 282 694 456 296 58 86 324 30 268 282 44 296 58 540 778 526 764 380 142 268 30 722 484 114 352 30 268 498 736 142 380 324 86 456 694 540 778 512 750 484 722 708 470 268 30 324 86 666 428 30 268 708 470 338 100 86 324 428 666 540 778 44 282 694 456 540 778 142 380 470 708 30 268 338 100 750 512 764 526 72 310 142 380 484 722 792 554 470 708 512 750 778 540 380 142 310 72 456 694 282 44 142 380 380 142 498 736 338 100 666 428 254 16 282 44 72 310 44 282 736 498 414 652 380 142 680 442 428 666 366 128 380 142 750 512 708 470 324 86 736 498 428 666 394 156 296 58 666 428 86 324 282 44 694 456 680 442 352 114 764 526 708 470 722 484 86 324 428 666 778 540 128 366 736 498 498 736 58 296 142 380 526 764 268 30 352 114 414 652 268 30 16 254 156 394 750 512 778 540 764 526 338 100 456 694 268 30 512 750 142 380 484 722 352 114 30 268 114 352 442 680 652 414 156 394 484 722 30 268 778 540 352 114 142 380 722 484 268 30 128 366 778 540 268 30 380 142 296 58 470 708 352 114 268 30 268 30 540 778 694 456 470 708 456 694 366 128 778 540 708 470 128 366 128 366 268 30 310 72 394 156 540 778 428 666 58 296 142 380 268 30 428 666 352 114 708 470 540 778 442 680 296 58 72 310 764 526 442 680 442 680 428 666 100 338 498 736 338 100 296 58 680 442 366 128 30 268 142 380 44 282 666 428 142 380 512 750 310 72 512 750 338 100 736 498 114 352 156 394 100 338 16 254 484 722 366 128 30 268 394 156 380 142 268 30 764 526 86 324 142 380 142 380 666 428 282 44 324 86 44 282 380 142 86 324 484 722 72 310 764 526 764 526 114 352 414 652 268 30 142 380 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 0 0 1000 1000 0 0 1000 1000 0 0 0 0 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 0 0 1000 1000 1000 1000 1000 1000 0 0 0 0 1000 1000 1000 1000 0 0 0 0 1000 1000 1000 1000 1000 1000 0 0 100 100 100 100 100 100 100 100 100 100 100 100 0 0 100 100 100 100 100 100 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 0 0 0 0 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 0 0 0 0 100 100 100 100 100 100 100 100 100 100 100 100 100 100 0 0 100 100 100 100 0 0 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 0 0 10 10 10 10 10 10 0 0 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 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 1000 0 0 0 1000 1000 0 1000 0 1000 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 1000 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 1000 0 1000 0 0 0 0 1000 0 1000 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 1000 0 1000 0 1000 1000 0 0 0 0 0 0 0 1000 0 1000 1000 0 0 1000 1000 0 0 0 0 0 0 0 1000 0 0 0 0 1000 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 0 0 0 0 0 0 0 0 0 1000 1000 0 1000 1000 1000 1000 1000 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 1000 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 1000 1000 0 0 0 0 1000 0 1000 1000 0 0 1000 1000 0 1000 1000 0 0 0 1000 1000 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 1000 1000 1000 1000 1000 0 0 0 1000 0 0 1000 0 0 0 0 0 1000 1000 0 0 1000 0 0 0 0 0 0 0 0 0 1000 1000 1000 1000 0 0 1000 1000 1000 1000 0 0 1000 1000 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 1000 0 0 0 0 1000 1000 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 1000 0 1000 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 1000 1000 1000 1000 1000 1000 1000 0 0 0 0 1000 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 1000 0 1000 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 1000 0 1000 0 0 0 1000 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 1000 0 0 0 1000 1000 1000 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 1000 1000 1000 1000 0 1000 0 0 0 0 0 1000 0 0 0 0 1000 1000 0 0 0 0 1000 1000 1000 1000 1000 1000 0 0 0 0 0 1000 0 1000 0 0 1000 0 0 0 0 0 0 1000 0 0 0 1000 0 1000 0 0 0 1000 1000 1000 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 100 0 100 0 100 0 0 0 0 100 0 0 0 0 0 100 100 0 100 100 0 0 100 100 0 100 100 100 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 100 0 100 100 0 100 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 100 100 0 100 0 0 100 0 100 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 100 100 100 0 100 0 100 0 100 0 0 100 0 0 0 100 0 100 0 100 0 100 0 100 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 100 100 100 100 100 0 0 100 0 100 100 100 0 0 100 0 0 0 100 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 100 100 0 100 100 100 0 0 0 0 0 0 0 100 0 100 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 100 0 0 0 0 0 0 100 0 100 100 0 100 0 0 100 100 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 100 100 0 100 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 100 0 100 100 0 0 0 0 0 100 0 100 100 0 0 100 0 0 0 0 0 0 100 100 100 100 100 0 100 0 0 0 100 100 100 100 0 0 0 100 100 0 0 0 100 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 100 0 0 100 0 100 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 100 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 100 0 0 0 0 0 0 100 0 0 100 0 100 0 0 0 0 0 100 0 0 0 0 100 0 0 0 100 0 100 100 100 100 100 0 100 0 0 0 0 0 100 100 100 100 100 0 100 0 0 100 0 100 0 0 0 100 0 0 0 100 0 0 0 100 100 0 100 100 0 0 0 100 0 0 100 0 0 0 0 0 100 0 0 0 0 100 100 0 0 0 0 0 0 0 100 100 100 100 0 100 100 100 100 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 100 100 0 0 100 0 0 100 100 0 0 0 0 0 0 0 100 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 100 0 100 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 100 0 100 0 100 0 0 0 0 100 0 0 0 0 0 100 100 0 0 100 0 100 100 0 0 100 0 0 0 0 0 0 0 0 0 0 100 100 100 0 100 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 100 0 100 0 0 0 100 100 100 100 0 0 100 0 100 0 100 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 100 100 0 0 100 100 100 0 0 0 100 0 100 0 100 0 100 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 100 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 100 0 100 0 0 0 0 0 0 100 0 100 100 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 100 100 100 100 0 0 0 0 0 0 0 100 100 100 0 0 100 0 0 100 100 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 100 0 0 100 0 0 0 100 0 100 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 100 0 100 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 10 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 10 10 0 10 0 0 0 10 10 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 10 10 10 10 10 0 10 10 0 0 0 0 0 0 10 10 0 0 0 10 0 0 10 10 0 0 0 10 0 10 10 0 10 0 0 0 10 10 10 0 0 10 10 10 0 10 10 0 0 10 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 10 10 0 10 0 0 0 0 0 0 0 0 0 10 0 10 0 10 0 10 10 0 10 10 0 0 0 10 0 10 0 0 0 0 0 10 0 0 10 0 10 10 0 0 0 10 0 0 0 0 10 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 10 10 0 0 0 0 0 10 10 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 10 0 0 0 0 0 0 0 10 0 0 0 0 10 0 10 10 0 0 10 0 0 10 0 0 0 0 0 10 10 0 0 0 0 10 10 0 10 0 0 0 0 0 0 10 10 10 10 10 0 10 0 0 0 10 0 0 0 0 0 10 0 0 0 10 0 10 0 10 0 0 0 10 10 0 0 0 0 0 0 10 0 10 0 0 10 10 0 0 0 0 0 0 0 0 10 0 0 10 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 10 10 0 10 10 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 10 0 0 0 0 0 0 0 10 0 10 10 0 0 0 0 0 0 0 0 0 10 10 10 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 10 0 0 10 0 0 0 0 0 0 10 10 10 0 0 0 10 10 10 0 10 0 0 0 0 0 0 0 0 10 0 10 0 10 0 0 10 0 10 0 0 10 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 10 10 10 0 0 10 10 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 10 0 0 10 0 0 0 0 0 0 10 0 0 0 0 10 0 0 10 0 0 0 0 0 10 10 0 0 0 0 0 0 10 10 10 10 10 10 0 10 10 0 0 10 0 0 10 10 10 0 0 10 0 0 0 0 0 0 0 10 10 10 0 10 10 0 0 10 0 10 10 10 10 0 0 0 0 0 0 0 10 10 10 0 0 0 0 0 0 10 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 10 0 10 0 0 0 10 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 10 0 0 10 0 10 0 0 0 0 0 10 0 10 10 10 0 10 0 10 0 10 10 0 0 0 0 0 0 10 0 0 0 0 10 10 0 0 0 10 0 0 10 10 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 10 10 0 10 0 10 10 0 10 10 10 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 10 0 0 0 0 10 0 0 0 0 10 10 10 0 0 0 10 10 10 10 0 0 0 10 0 10 10 0 0 0 0 0 0 10 10 10 10 10 10 0 0 10 0 0 0 10 10 0 0 10 0 1 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 1 1 1 0 0 0 1 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 1 1 0 0 1 1 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 1 1 1 0 1 0 1 1 0 1 0 1 1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 1 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 1 1 
2520.01/2486.81	v 	</values>
2520.01/2486.81	v </instantiation>

Verifier Data 

OK	316240

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308288-1534280580/watcher-4308288-1534280580 -o /tmp/evaluation-result-4308288-1534280580/solver-4308288-1534280580 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534270595-13935 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1596178237 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308288-1534280580.xml 

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

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

solver pid=14995, runsolver pid=14992

[startup+0.100058 s]*
/proc/loadavg: 1.21 1.22 1.27 5/215 15031
/proc/meminfo: memFree=24769868/32770624 swapFree=67108524/67108860
[pid=14995] ppid=14992 vsize=14082736 memory=30228 CPUtime=0.12 cores=0,2,4,6
/proc/14995/stat : 14995 (java) S 14992 14995 12120 0 -1 1077944320 6489 0 0 0 11 1 0 0 20 0 15 0 245621237 14420721664 7557 33554432000 4194304 4196468 140727431272048 140727431254592 139729816202999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
/proc/14995/statm: 3520684 7557 3152 1 0 3482761 0
[pid=14995/tid=14997] ppid=14992 vsize=14082736 memory=-8540663193526752614 CPUtime=0.09 cores=0,2,4,6
/proc/14995/task/14997/stat : 14997 (java) R 14992 14995 12120 0 -1 4202560 4502 0 0 0 8 1 0 0 20 0 15 0 245621237 14420721664 7557 33554432000 4194304 4196468 140727431272048 139729820433936 139729800283486 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15004] ppid=14992 vsize=14082736 memory=5793855556563483065 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15004/stat : 15004 (java) S 14992 14995 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621238 14420721664 7557 33554432000 4194304 4196468 140727431272048 139729783761680 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15006] ppid=14992 vsize=14082736 memory=140305553589888 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15006/stat : 15006 (java) S 14992 14995 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621238 14420721664 7557 33554432000 4194304 4196468 140727431272048 139729782709136 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15007] ppid=14992 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15007/stat : 15007 (java) S 14992 14995 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621238 14420721664 7557 33554432000 4194304 4196468 140727431272048 139729410391056 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15008] ppid=14992 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15008/stat : 15008 (java) S 14992 14995 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245621238 14420721664 7557 33554432000 4194304 4196468 140727431272048 139729409338512 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15014] ppid=14992 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15014/stat : 15014 (java) S 14992 14995 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245621239 14420721664 7557 33554432000 4194304 4196468 140727431272048 139729290864624 139729816214146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15015] ppid=14992 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15015/stat : 15015 (java) S 14992 14995 12120 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245621240 14420721664 7557 33554432000 4194304 4196468 140727431272048 139729289810848 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15016] ppid=14992 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15016/stat : 15016 (java) S 14992 14995 12120 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245621240 14420721664 7557 33554432000 4194304 4196468 140727431272048 139729288758256 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15020] ppid=14992 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15020/stat : 15020 (java) S 14992 14995 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621242 14420721664 7557 33554432000 4194304 4196468 140727431272048 139729287706832 139729816221595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15021] ppid=14992 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15021/stat : 15021 (java) S 14992 14995 12120 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 245621242 14420721664 7557 33554432000 4194304 4196468 140727431272048 139729286654448 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15022] ppid=14992 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15022/stat : 15022 (java) S 14992 14995 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621242 14420721664 7557 33554432000 4194304 4196468 140727431272048 139729285601904 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15023] ppid=14992 vsize=14082736 memory=140305553589888 CPUtime=0.01 cores=0,2,4,6
/proc/14995/task/15023/stat : 15023 (java) R 14992 14995 12120 0 -1 4202560 297 0 0 0 1 0 0 0 20 0 15 0 245621242 14420721664 7557 33554432000 4194304 4196468 140727431272048 139729284549360 139729795480224 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15024] ppid=14992 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15024/stat : 15024 (java) S 14992 14995 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621243 14420721664 7557 33554432000 4194304 4196468 140727431272048 139729283497056 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15025] ppid=14992 vsize=14082736 memory=140305553589888 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15025/stat : 15025 (java) S 14992 14995 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621243 14420721664 7557 33554432000 4194304 4196468 140727431272048 139729282443568 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 30228 KiB

[startup+0.210725 s]*
/proc/loadavg: 1.21 1.22 1.27 8/215 15031
/proc/meminfo: memFree=24743060/32770624 swapFree=67108524/67108860
[pid=14995] ppid=14992 vsize=14082736 memory=46276 CPUtime=0.29 cores=0,2,4,6
/proc/14995/stat : 14995 (java) S 14992 14995 12120 0 -1 1077944320 10188 0 0 0 28 1 0 0 20 0 15 0 245621237 14420721664 11569 33554432000 4194304 4196468 140727431272048 140727431254592 139729816202999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
/proc/14995/statm: 3520684 11569 3367 1 0 3482761 0
[pid=14995/tid=14997] ppid=14992 vsize=14082736 memory=-8540663193526752614 CPUtime=0.2 cores=0,2,4,6
/proc/14995/task/14997/stat : 14997 (java) S 14992 14995 12120 0 -1 1077944384 7844 0 0 0 19 1 0 0 20 0 15 0 245621237 14420721664 11569 33554432000 4194304 4196468 140727431272048 139729820430352 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15004] ppid=14992 vsize=14082736 memory=5793855556563483065 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15004/stat : 15004 (java) S 14992 14995 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621238 14420721664 11569 33554432000 4194304 4196468 140727431272048 139729783761680 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15006] ppid=14992 vsize=14082736 memory=140305553589888 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15006/stat : 15006 (java) S 14992 14995 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621238 14420721664 11569 33554432000 4194304 4196468 140727431272048 139729782709136 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15007] ppid=14992 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15007/stat : 15007 (java) S 14992 14995 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621238 14420721664 11569 33554432000 4194304 4196468 140727431272048 139729410391056 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15008] ppid=14992 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15008/stat : 15008 (java) S 14992 14995 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245621238 14420721664 11569 33554432000 4194304 4196468 140727431272048 139729409338512 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15014] ppid=14992 vsize=14082736 memory=140305553589888 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15014/stat : 15014 (java) S 14992 14995 12120 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245621239 14420721664 11569 33554432000 4194304 4196468 140727431272048 139729290864624 139729816214146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15015] ppid=14992 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15015/stat : 15015 (java) S 14992 14995 12120 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245621240 14420721664 11569 33554432000 4194304 4196468 140727431272048 139729289810848 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15016] ppid=14992 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15016/stat : 15016 (java) S 14992 14995 12120 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245621240 14420721664 11569 33554432000 4194304 4196468 140727431272048 139729288758256 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15020] ppid=14992 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15020/stat : 15020 (java) S 14992 14995 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621242 14420721664 11569 33554432000 4194304 4196468 140727431272048 139729287706832 139729816221595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15021] ppid=14992 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/14995/task/15021/stat : 15021 (java) R 14992 14995 12120 0 -1 4202560 514 0 0 0 2 0 0 0 20 0 15 0 245621242 14420721664 11569 33554432000 4194304 4196468 140727431272048 139729286644832 139729799766088 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15022] ppid=14992 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/14995/task/15022/stat : 15022 (java) R 14992 14995 12120 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 15 0 245621242 14420721664 11569 33554432000 4194304 4196468 140727431272048 139729285601904 139729816214146 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15023] ppid=14992 vsize=14082736 memory=140305553589888 CPUtime=0.05 cores=0,2,4,6
/proc/14995/task/15023/stat : 15023 (java) S 14992 14995 12120 0 -1 1077944384 394 0 0 0 5 0 0 0 20 0 15 0 245621242 14420721664 11569 33554432000 4194304 4196468 140727431272048 139729284549360 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15024] ppid=14992 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15024/stat : 15024 (java) S 14992 14995 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621243 14420721664 11569 33554432000 4194304 4196468 140727431272048 139729283497056 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15025] ppid=14992 vsize=14082736 memory=140305553589888 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15025/stat : 15025 (java) S 14992 14995 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245621243 14420721664 11569 33554432000 4194304 4196468 140727431272048 139729282443568 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46276 KiB

[startup+0.310676 s]*
/proc/loadavg: 1.21 1.22 1.27 6/215 15031
/proc/meminfo: memFree=24729660/32770624 swapFree=67108524/67108860
[pid=14995] ppid=14992 vsize=14082736 memory=49960 CPUtime=0.44 cores=0,2,4,6
/proc/14995/stat : 14995 (java) S 14992 14995 12120 0 -1 1077944320 10651 0 0 0 42 2 0 0 20 0 15 0 245621237 14420721664 12490 33554432000 4194304 4196468 140727431272048 140727431254592 139729816202999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
/proc/14995/statm: 3520684 12490 3414 1 0 3482761 0
[pid=14995/tid=14997] ppid=14992 vsize=14082736 memory=280610882978032 CPUtime=0.29 cores=0,2,4,6
/proc/14995/task/14997/stat : 14997 (java) R 14992 14995 12120 0 -1 4202560 8173 0 0 0 28 1 0 0 20 0 15 0 245621237 14420721664 12490 33554432000 4194304 4196468 140727431272048 139729820414512 139729796479824 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15004] ppid=14992 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15004/stat : 15004 (java) S 14992 14995 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621238 14420721664 12490 33554432000 4194304 4196468 140727431272048 139729783761680 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15006] ppid=14992 vsize=14082736 memory=140305553589937 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15006/stat : 15006 (java) S 14992 14995 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621238 14420721664 12490 33554432000 4194304 4196468 140727431272048 139729782709136 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15007] ppid=14992 vsize=14082736 memory=42225 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15007/stat : 15007 (java) S 14992 14995 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621238 14420721664 12490 33554432000 4194304 4196468 140727431272048 139729410391056 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15008] ppid=14992 vsize=14082736 memory=140305441627935 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15008/stat : 15008 (java) S 14992 14995 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245621238 14420721664 12490 33554432000 4194304 4196468 140727431272048 139729409338512 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15014] ppid=14992 vsize=14082736 memory=280610883228192 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15014/stat : 15014 (java) S 14992 14995 12120 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245621239 14420721664 12490 33554432000 4194304 4196468 140727431272048 139729290864624 139729816214146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15015] ppid=14992 vsize=14082736 memory=140305441597967 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15015/stat : 15015 (java) S 14992 14995 12120 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245621240 14420721664 12490 33554432000 4194304 4196468 140727431272048 139729289810848 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15016] ppid=14992 vsize=14082736 memory=280610995194752 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15016/stat : 15016 (java) S 14992 14995 12120 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245621240 14420721664 12490 33554432000 4194304 4196468 140727431272048 139729288758256 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15020] ppid=14992 vsize=14082736 memory=140305441602575 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15020/stat : 15020 (java) S 14992 14995 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621242 14420721664 12490 33554432000 4194304 4196468 140727431272048 139729287706832 139729816221595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15021] ppid=14992 vsize=14082736 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/14995/task/15021/stat : 15021 (java) S 14992 14995 12120 0 -1 1077944384 557 0 0 0 3 0 0 0 20 0 15 0 245621242 14420721664 12490 33554432000 4194304 4196468 140727431272048 139729286654448 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15022] ppid=14992 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/14995/task/15022/stat : 15022 (java) S 14992 14995 12120 0 -1 1077944384 93 0 0 0 1 0 0 0 20 0 15 0 245621242 14420721664 12490 33554432000 4194304 4196468 140727431272048 139729285601904 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15023] ppid=14992 vsize=14082736 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14995/task/15023/stat : 15023 (java) S 14992 14995 12120 0 -1 1077944384 444 0 0 0 8 0 0 0 20 0 15 0 245621242 14420721664 12490 33554432000 4194304 4196468 140727431272048 139729284549360 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15024] ppid=14992 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15024/stat : 15024 (java) S 14992 14995 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621243 14420721664 12490 33554432000 4194304 4196468 140727431272048 139729283497056 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15025] ppid=14992 vsize=14082736 memory=30228 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15025/stat : 15025 (java) S 14992 14995 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245621243 14420721664 12490 33554432000 4194304 4196468 140727431272048 139729282443568 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 49960 KiB

[startup+0.700773 s]
/proc/loadavg: 1.21 1.22 1.27 5/215 15031
/proc/meminfo: memFree=24669308/32770624 swapFree=67108524/67108860
[pid=14995] ppid=14992 vsize=14084804 memory=88136 CPUtime=0.99 cores=0,2,4,6
/proc/14995/stat : 14995 (java) S 14992 14995 12120 0 -1 1077944320 17410 0 0 0 95 4 0 0 20 0 15 0 245621237 14422839296 22034 33554432000 4194304 4196468 140727431272048 140727431254592 139729816202999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
/proc/14995/statm: 3521201 22034 3497 1 0 3483273 0
[pid=14995/tid=14997] ppid=14992 vsize=14084804 memory=872 CPUtime=0.67 cores=0,2,4,6
/proc/14995/task/14997/stat : 14997 (java) R 14992 14995 12120 0 -1 4202560 14483 0 0 0 64 3 0 0 20 0 15 0 245621237 14422839296 22034 33554432000 4194304 4196468 140727431272048 139729820427104 139729799561297 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15004] ppid=14992 vsize=14084804 memory=1288 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15004/stat : 15004 (java) S 14992 14995 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621238 14422839296 22034 33554432000 4194304 4196468 140727431272048 139729783761680 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15006] ppid=14992 vsize=14084804 memory=1088 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15006/stat : 15006 (java) S 14992 14995 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621238 14422839296 22034 33554432000 4194304 4196468 140727431272048 139729782709136 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15007] ppid=14992 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15007/stat : 15007 (java) S 14992 14995 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621238 14422839296 22034 33554432000 4194304 4196468 140727431272048 139729410391056 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15008] ppid=14992 vsize=14084804 memory=8996 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15008/stat : 15008 (java) S 14992 14995 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245621238 14422839296 22034 33554432000 4194304 4196468 140727431272048 139729409338512 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15014] ppid=14992 vsize=14084804 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15014/stat : 15014 (java) S 14992 14995 12120 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245621239 14422839296 22034 33554432000 4194304 4196468 140727431272048 139729290864624 139729816214146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15015] ppid=14992 vsize=14084804 memory=6064 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15015/stat : 15015 (java) S 14992 14995 12120 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245621240 14422839296 22034 33554432000 4194304 4196468 140727431272048 139729289810848 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15016] ppid=14992 vsize=14084804 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15016/stat : 15016 (java) S 14992 14995 12120 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245621240 14422839296 22034 33554432000 4194304 4196468 140727431272048 139729288758256 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15020] ppid=14992 vsize=14084804 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15020/stat : 15020 (java) S 14992 14995 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621242 14422839296 22034 33554432000 4194304 4196468 140727431272048 139729287706832 139729816221595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15021] ppid=14992 vsize=14084804 memory=219 CPUtime=0.08 cores=0,2,4,6
/proc/14995/task/15021/stat : 15021 (java) S 14992 14995 12120 0 -1 1077944384 700 0 0 0 8 0 0 0 20 0 15 0 245621242 14422839296 22034 33554432000 4194304 4196468 140727431272048 139729286654448 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15022] ppid=14992 vsize=14084804 memory=7 CPUtime=0.06 cores=0,2,4,6
/proc/14995/task/15022/stat : 15022 (java) S 14992 14995 12120 0 -1 1077944384 279 0 0 0 6 0 0 0 20 0 15 0 245621242 14422839296 22034 33554432000 4194304 4196468 140727431272048 139729285601904 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15023] ppid=14992 vsize=14084804 memory=696 CPUtime=0.15 cores=0,2,4,6
/proc/14995/task/15023/stat : 15023 (java) S 14992 14995 12120 0 -1 1077944384 567 0 0 0 15 0 0 0 20 0 15 0 245621242 14422839296 22034 33554432000 4194304 4196468 140727431272048 139729284549360 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15024] ppid=14992 vsize=14084804 memory=280610883412016 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15024/stat : 15024 (java) S 14992 14995 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621243 14422839296 22034 33554432000 4194304 4196468 140727431272048 139729283497056 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15025] ppid=14992 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15025/stat : 15025 (java) S 14992 14995 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245621243 14422839296 22034 33554432000 4194304 4196468 140727431272048 139729282443568 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88136 KiB

[startup+1.50135 s]
/proc/loadavg: 1.21 1.22 1.27 5/196 15053
/proc/meminfo: memFree=24688844/32770624 swapFree=67108524/67108860
[pid=14995] ppid=14992 vsize=14088900 memory=205712 CPUtime=3.37 cores=0,2,4,6
/proc/14995/stat : 14995 (java) S 14992 14995 12120 0 -1 1077944320 24785 0 0 0 328 9 0 0 20 0 15 0 245621237 14427033600 51428 33554432000 4194304 4196468 140727431272048 140727431254592 139729816202999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
/proc/14995/statm: 3522225 51428 3552 1 0 3484297 0
[pid=14995/tid=14997] ppid=14992 vsize=14088900 memory=280610883279296 CPUtime=1.47 cores=0,2,4,6
/proc/14995/task/14997/stat : 14997 (java) R 14992 14995 12120 0 -1 4202560 17628 0 0 0 140 7 0 0 20 0 15 0 245621237 14427033600 51428 33554432000 4194304 4196468 140727431272048 139729820436960 139729455978580 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15004] ppid=14992 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15004/stat : 15004 (java) S 14992 14995 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621238 14427033600 51428 33554432000 4194304 4196468 140727431272048 139729783761680 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15006] ppid=14992 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15006/stat : 15006 (java) S 14992 14995 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621238 14427033600 51428 33554432000 4194304 4196468 140727431272048 139729782709136 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15007] ppid=14992 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15007/stat : 15007 (java) S 14992 14995 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621238 14427033600 51428 33554432000 4194304 4196468 140727431272048 139729410391056 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15008] ppid=14992 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15008/stat : 15008 (java) S 14992 14995 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245621238 14427033600 51428 33554432000 4194304 4196468 140727431272048 139729409338512 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15014] ppid=14992 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15014/stat : 15014 (java) S 14992 14995 12120 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 15 0 245621239 14427033600 51428 33554432000 4194304 4196468 140727431272048 139729290864624 139729816214146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0

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

/proc/14995/task/14997/stat : 14997 (java) R 14992 14995 12120 0 -1 4202560 66048 0 0 0 230915 36 0 0 20 0 15 0 245621237 14429130752 379524 33554432000 4194304 4196468 140727431272048 139729820441296 139729452999264 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15004] ppid=14992 vsize=14090948 memory=1514516 CPUtime=7.74 cores=0,2,4,6
/proc/14995/task/15004/stat : 15004 (java) S 14992 14995 12120 0 -1 1077944384 18673 0 0 0 734 40 0 0 20 0 15 0 245621238 14429130752 379524 33554432000 4194304 4196468 140727431272048 139729783761680 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15006] ppid=14992 vsize=14090948 memory=1514516 CPUtime=7.72 cores=0,2,4,6
/proc/14995/task/15006/stat : 15006 (java) S 14992 14995 12120 0 -1 1077944384 15569 0 0 0 734 38 0 0 20 0 15 0 245621238 14429130752 379524 33554432000 4194304 4196468 140727431272048 139729782709136 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15007] ppid=14992 vsize=14090948 memory=1512468 CPUtime=7.72 cores=0,2,4,6
/proc/14995/task/15007/stat : 15007 (java) S 14992 14995 12120 0 -1 1077944384 13753 0 0 0 733 39 0 0 20 0 15 0 245621238 14429130752 379524 33554432000 4194304 4196468 140727431272048 139729410391056 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15008] ppid=14992 vsize=14090948 memory=1512468 CPUtime=7.72 cores=0,2,4,6
/proc/14995/task/15008/stat : 15008 (java) S 14992 14995 12120 0 -1 1077944384 16569 0 0 0 734 38 0 0 20 0 15 0 245621238 14429130752 379524 33554432000 4194304 4196468 140727431272048 139729409338512 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15014] ppid=14992 vsize=14090948 memory=11192 CPUtime=3.12 cores=0,2,4,6
/proc/14995/task/15014/stat : 15014 (java) S 14992 14995 12120 0 -1 1077944384 14781 0 0 0 286 26 0 0 20 0 15 0 245621239 14429130752 379524 33554432000 4194304 4196468 140727431272048 139729290864624 139729816214146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15015] ppid=14992 vsize=14090948 memory=1514516 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15015/stat : 15015 (java) S 14992 14995 12120 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 245621240 14429130752 379524 33554432000 4194304 4196468 140727431272048 139729289810912 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15016] ppid=14992 vsize=14090948 memory=1514516 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15016/stat : 15016 (java) S 14992 14995 12120 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 245621240 14429130752 379524 33554432000 4194304 4196468 140727431272048 139729288758272 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15020] ppid=14992 vsize=14090948 memory=1516048 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15020/stat : 15020 (java) S 14992 14995 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621242 14429130752 379524 33554432000 4194304 4196468 140727431272048 139729287706832 139729816221595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15021] ppid=14992 vsize=14090948 memory=280610882981776 CPUtime=4.06 cores=0,2,4,6
/proc/14995/task/15021/stat : 15021 (java) S 14992 14995 12120 0 -1 1077944384 12864 0 0 0 404 2 0 0 20 0 15 0 245621242 14429130752 379524 33554432000 4194304 4196468 140727431272048 139729286654448 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15022] ppid=14992 vsize=14090948 memory=1514516 CPUtime=3.7 cores=0,2,4,6
/proc/14995/task/15022/stat : 15022 (java) S 14992 14995 12120 0 -1 1077944384 9009 0 0 0 369 1 0 0 20 0 15 0 245621242 14429130752 379524 33554432000 4194304 4196468 140727431272048 139729285601904 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15023] ppid=14992 vsize=14090948 memory=1514516 CPUtime=1.15 cores=0,2,4,6
/proc/14995/task/15023/stat : 15023 (java) S 14992 14995 12120 0 -1 1077944384 18275 0 0 0 113 2 0 0 20 0 15 0 245621242 14429130752 379524 33554432000 4194304 4196468 140727431272048 139729284549360 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15024] ppid=14992 vsize=14090948 memory=1514516 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15024/stat : 15024 (java) S 14992 14995 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621243 14429130752 379524 33554432000 4194304 4196468 140727431272048 139729283497056 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15025] ppid=14992 vsize=14090948 memory=1514516 CPUtime=1.08 cores=0,2,4,6
/proc/14995/task/15025/stat : 15025 (java) S 14992 14995 12120 0 -1 1077944384 1229 0 0 0 54 54 0 0 20 0 15 0 245621243 14429130752 379524 33554432000 4194304 4196468 140727431272048 139729282443568 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
Current children cumulated CPU time: 2353.65 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1518096 KiB

[startup+2382.3 s]
/proc/loadavg: 1.22 1.33 1.41 3/216 15149
/proc/meminfo: memFree=20897932/32770624 swapFree=67108524/67108860
[pid=14995] ppid=14992 vsize=14090948 memory=1545632 CPUtime=2414.49 cores=0,2,4,6
/proc/14995/stat : 14995 (java) S 14992 14995 12120 0 -1 1077944320 190490 0 0 0 241191 258 0 0 20 0 15 0 245621237 14429130752 386408 33554432000 4194304 4196468 140727431272048 140727431254592 139729816202999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
/proc/14995/statm: 3522737 386408 3596 1 0 3484809 0
[pid=14995/tid=14997] ppid=14992 vsize=14090948 memory=1545632 CPUtime=2369.13 cores=0,2,4,6
/proc/14995/task/14997/stat : 14997 (java) R 14992 14995 12120 0 -1 4202560 67041 0 0 0 236877 36 0 0 20 0 15 0 245621237 14429130752 386408 33554432000 4194304 4196468 140727431272048 139729820441056 139729456112775 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15004] ppid=14992 vsize=14090948 memory=1544104 CPUtime=8.02 cores=0,2,4,6
/proc/14995/task/15004/stat : 15004 (java) S 14992 14995 12120 0 -1 1077944384 19012 0 0 0 760 42 0 0 20 0 15 0 245621238 14429130752 386408 33554432000 4194304 4196468 140727431272048 139729783761680 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15006] ppid=14992 vsize=14090948 memory=1540032 CPUtime=8 cores=0,2,4,6
/proc/14995/task/15006/stat : 15006 (java) S 14992 14995 12120 0 -1 1077944384 15746 0 0 0 761 39 0 0 20 0 15 0 245621238 14429130752 386408 33554432000 4194304 4196468 140727431272048 139729782709136 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15007] ppid=14992 vsize=14090948 memory=1512468 CPUtime=8.01 cores=0,2,4,6
/proc/14995/task/15007/stat : 15007 (java) S 14992 14995 12120 0 -1 1077944384 14059 0 0 0 759 42 0 0 20 0 15 0 245621238 14429130752 386408 33554432000 4194304 4196468 140727431272048 139729410391056 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15008] ppid=14992 vsize=14090948 memory=0 CPUtime=8 cores=0,2,4,6
/proc/14995/task/15008/stat : 15008 (java) S 14992 14995 12120 0 -1 1077944384 16857 0 0 0 760 40 0 0 20 0 15 0 245621238 14429130752 386408 33554432000 4194304 4196468 140727431272048 139729409338512 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15014] ppid=14992 vsize=14090948 memory=1540552 CPUtime=3.19 cores=0,2,4,6
/proc/14995/task/15014/stat : 15014 (java) S 14992 14995 12120 0 -1 1077944384 14944 0 0 0 292 27 0 0 20 0 15 0 245621239 14429130752 386408 33554432000 4194304 4196468 140727431272048 139729290864624 139729816214146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15015] ppid=14992 vsize=14090948 memory=1540036 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15015/stat : 15015 (java) S 14992 14995 12120 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 245621240 14429130752 386408 33554432000 4194304 4196468 140727431272048 139729289810912 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15016] ppid=14992 vsize=14090948 memory=1541056 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15016/stat : 15016 (java) S 14992 14995 12120 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 245621240 14429130752 386408 33554432000 4194304 4196468 140727431272048 139729288758272 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15020] ppid=14992 vsize=14090948 memory=1538016 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15020/stat : 15020 (java) S 14992 14995 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621242 14429130752 386408 33554432000 4194304 4196468 140727431272048 139729287706832 139729816221595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15021] ppid=14992 vsize=14090948 memory=1543096 CPUtime=4.06 cores=0,2,4,6
/proc/14995/task/15021/stat : 15021 (java) S 14992 14995 12120 0 -1 1077944384 12866 0 0 0 404 2 0 0 20 0 15 0 245621242 14429130752 386408 33554432000 4194304 4196468 140727431272048 139729286654448 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15022] ppid=14992 vsize=14090948 memory=1544608 CPUtime=3.7 cores=0,2,4,6
/proc/14995/task/15022/stat : 15022 (java) S 14992 14995 12120 0 -1 1077944384 9011 0 0 0 369 1 0 0 20 0 15 0 245621242 14429130752 386408 33554432000 4194304 4196468 140727431272048 139729285601904 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15023] ppid=14992 vsize=14090948 memory=1545632 CPUtime=1.17 cores=0,2,4,6
/proc/14995/task/15023/stat : 15023 (java) S 14992 14995 12120 0 -1 1077944384 18277 0 0 0 114 3 0 0 20 0 15 0 245621242 14429130752 386408 33554432000 4194304 4196468 140727431272048 139729284549360 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15024] ppid=14992 vsize=14090948 memory=1545632 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15024/stat : 15024 (java) S 14992 14995 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621243 14429130752 386408 33554432000 4194304 4196468 140727431272048 139729283497056 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15025] ppid=14992 vsize=14090948 memory=1546144 CPUtime=1.11 cores=0,2,4,6
/proc/14995/task/15025/stat : 15025 (java) S 14992 14995 12120 0 -1 1077944384 1245 0 0 0 56 55 0 0 20 0 15 0 245621243 14429130752 386408 33554432000 4194304 4196468 140727431272048 139729282443568 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
Current children cumulated CPU time: 2414.49 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1545632 KiB

[startup+2442.3 s]
/proc/loadavg: 1.38 1.36 1.41 3/216 15150
/proc/meminfo: memFree=20953036/32770624 swapFree=67108524/67108860
[pid=14995] ppid=14992 vsize=14090948 memory=1488508 CPUtime=2475.16 cores=0,2,4,6
/proc/14995/stat : 14995 (java) S 14992 14995 12120 0 -1 1077944320 195594 0 0 0 247253 263 0 0 20 0 15 0 245621237 14429130752 372127 33554432000 4194304 4196468 140727431272048 140727431254592 139729816202999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
/proc/14995/statm: 3522737 372127 3613 1 0 3484809 0
[pid=14995/tid=14997] ppid=14992 vsize=14090948 memory=1488508 CPUtime=2428.79 cores=0,2,4,6
/proc/14995/task/14997/stat : 14997 (java) R 14992 14995 12120 0 -1 4202560 67809 0 0 0 242842 37 0 0 20 0 15 0 245621237 14429130752 372127 33554432000 4194304 4196468 140727431272048 139729820440944 139729454998305 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15004] ppid=14992 vsize=14090948 memory=1488516 CPUtime=8.24 cores=0,2,4,6
/proc/14995/task/15004/stat : 15004 (java) S 14992 14995 12120 0 -1 1077944384 19716 0 0 0 782 42 0 0 20 0 15 0 245621238 14429130752 372127 33554432000 4194304 4196468 140727431272048 139729783761680 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15006] ppid=14992 vsize=14090948 memory=0 CPUtime=8.23 cores=0,2,4,6
/proc/14995/task/15006/stat : 15006 (java) S 14992 14995 12120 0 -1 1077944384 16010 0 0 0 782 41 0 0 20 0 15 0 245621238 14429130752 372127 33554432000 4194304 4196468 140727431272048 139729782709136 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15007] ppid=14992 vsize=14090948 memory=1487216 CPUtime=8.23 cores=0,2,4,6
/proc/14995/task/15007/stat : 15007 (java) S 14992 14995 12120 0 -1 1077944384 14792 0 0 0 780 43 0 0 20 0 15 0 245621238 14429130752 372127 33554432000 4194304 4196468 140727431272048 139729410391056 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15008] ppid=14992 vsize=14090948 memory=1488008 CPUtime=8.22 cores=0,2,4,6
/proc/14995/task/15008/stat : 15008 (java) S 14992 14995 12120 0 -1 1077944384 17180 0 0 0 781 41 0 0 20 0 15 0 245621238 14429130752 372127 33554432000 4194304 4196468 140727431272048 139729409338512 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15014] ppid=14992 vsize=14090948 memory=1488508 CPUtime=3.29 cores=0,2,4,6
/proc/14995/task/15014/stat : 15014 (java) S 14992 14995 12120 0 -1 1077944384 17219 0 0 0 301 28 0 0 20 0 15 0 245621239 14429130752 372127 33554432000 4194304 4196468 140727431272048 139729290864624 139729816214146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15015] ppid=14992 vsize=14090948 memory=1488508 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15015/stat : 15015 (java) S 14992 14995 12120 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 245621240 14429130752 372127 33554432000 4194304 4196468 140727431272048 139729289810912 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15016] ppid=14992 vsize=14090948 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15016/stat : 15016 (java) S 14992 14995 12120 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 245621240 14429130752 372127 33554432000 4194304 4196468 140727431272048 139729288758272 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15020] ppid=14992 vsize=14090948 memory=1488508 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15020/stat : 15020 (java) S 14992 14995 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621242 14429130752 372127 33554432000 4194304 4196468 140727431272048 139729287706832 139729816221595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15021] ppid=14992 vsize=14090948 memory=1486704 CPUtime=4.06 cores=0,2,4,6
/proc/14995/task/15021/stat : 15021 (java) S 14992 14995 12120 0 -1 1077944384 12870 0 0 0 404 2 0 0 20 0 15 0 245621242 14429130752 372127 33554432000 4194304 4196468 140727431272048 139729286654448 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15022] ppid=14992 vsize=14090948 memory=1488004 CPUtime=3.7 cores=0,2,4,6
/proc/14995/task/15022/stat : 15022 (java) S 14992 14995 12120 0 -1 1077944384 9015 0 0 0 369 1 0 0 20 0 15 0 245621242 14429130752 372127 33554432000 4194304 4196468 140727431272048 139729285601904 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15023] ppid=14992 vsize=14090948 memory=1488508 CPUtime=1.17 cores=0,2,4,6
/proc/14995/task/15023/stat : 15023 (java) S 14992 14995 12120 0 -1 1077944384 18281 0 0 0 114 3 0 0 20 0 15 0 245621242 14429130752 372127 33554432000 4194304 4196468 140727431272048 139729284549360 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15024] ppid=14992 vsize=14090948 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15024/stat : 15024 (java) S 14992 14995 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621243 14429130752 372127 33554432000 4194304 4196468 140727431272048 139729283497056 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15025] ppid=14992 vsize=14090948 memory=288230596050944315 CPUtime=1.13 cores=0,2,4,6
/proc/14995/task/15025/stat : 15025 (java) S 14992 14995 12120 0 -1 1077944384 1270 0 0 0 57 56 0 0 20 0 15 0 245621243 14429130752 372127 33554432000 4194304 4196468 140727431272048 139729282443568 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
Current children cumulated CPU time: 2475.16 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1488508 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2486.8 s]
/proc/loadavg: 1.43 1.37 1.41 3/216 15151
/proc/meminfo: memFree=20954464/32770624 swapFree=67108524/67108860
[pid=14995] ppid=14992 vsize=14090948 memory=1486960 CPUtime=2520.01 cores=0,2,4,6
/proc/14995/stat : 14995 (java) S 14992 14995 12120 0 -1 1077944320 196714 0 0 0 251734 267 0 0 20 0 15 0 245621237 14429130752 371740 33554432000 4194304 4196468 140727431272048 140727431254592 139729816202999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
/proc/14995/statm: 3522737 371740 3613 1 0 3484809 0
[pid=14995/tid=14997] ppid=14992 vsize=14090948 memory=1088 CPUtime=2473.09 cores=0,2,4,6
/proc/14995/task/14997/stat : 14997 (java) R 14992 14995 12120 0 -1 4202560 68402 0 0 0 247272 37 0 0 20 0 15 0 245621237 14429130752 371740 33554432000 4194304 4196468 140727431272048 139729820440960 139729454873109 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15004] ppid=14992 vsize=14090948 memory=6791534058613427641 CPUtime=8.36 cores=0,2,4,6
/proc/14995/task/15004/stat : 15004 (java) S 14992 14995 12120 0 -1 1077944384 19875 0 0 0 793 43 0 0 20 0 15 0 245621238 14429130752 371740 33554432000 4194304 4196468 140727431272048 139729783761680 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15006] ppid=14992 vsize=14090948 memory=6791534058613427641 CPUtime=8.34 cores=0,2,4,6
/proc/14995/task/15006/stat : 15006 (java) S 14992 14995 12120 0 -1 1077944384 16045 0 0 0 793 41 0 0 20 0 15 0 245621238 14429130752 371740 33554432000 4194304 4196468 140727431272048 139729782709136 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15007] ppid=14992 vsize=14090948 memory=11192 CPUtime=8.34 cores=0,2,4,6
/proc/14995/task/15007/stat : 15007 (java) S 14992 14995 12120 0 -1 1077944384 14881 0 0 0 791 43 0 0 20 0 15 0 245621238 14429130752 371740 33554432000 4194304 4196468 140727431272048 139729410391056 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15008] ppid=14992 vsize=14090948 memory=752 CPUtime=8.34 cores=0,2,4,6
/proc/14995/task/15008/stat : 15008 (java) S 14992 14995 12120 0 -1 1077944384 17250 0 0 0 792 42 0 0 20 0 15 0 245621238 14429130752 371740 33554432000 4194304 4196468 140727431272048 139729409338512 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15014] ppid=14992 vsize=14090948 memory=1828 CPUtime=3.35 cores=0,2,4,6
/proc/14995/task/15014/stat : 15014 (java) S 14992 14995 12120 0 -1 1077944384 17374 0 0 0 307 28 0 0 20 0 15 0 245621239 14429130752 371740 33554432000 4194304 4196468 140727431272048 139729290864624 139729816214146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15015] ppid=14992 vsize=14090948 memory=3312 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15015/stat : 15015 (java) S 14992 14995 12120 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 245621240 14429130752 371740 33554432000 4194304 4196468 140727431272048 139729289810912 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15016] ppid=14992 vsize=14090948 memory=15708 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15016/stat : 15016 (java) S 14992 14995 12120 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 245621240 14429130752 371740 33554432000 4194304 4196468 140727431272048 139729288758272 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15020] ppid=14992 vsize=14090948 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15020/stat : 15020 (java) S 14992 14995 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621242 14429130752 371740 33554432000 4194304 4196468 140727431272048 139729287706832 139729816221595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15021] ppid=14992 vsize=14090948 memory=504 CPUtime=4.06 cores=0,2,4,6
/proc/14995/task/15021/stat : 15021 (java) S 14992 14995 12120 0 -1 1077944384 12872 0 0 0 404 2 0 0 20 0 15 0 245621242 14429130752 371740 33554432000 4194304 4196468 140727431272048 139729286654448 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15022] ppid=14992 vsize=14090948 memory=924 CPUtime=3.7 cores=0,2,4,6
/proc/14995/task/15022/stat : 15022 (java) S 14992 14995 12120 0 -1 1077944384 9017 0 0 0 369 1 0 0 20 0 15 0 245621242 14429130752 371740 33554432000 4194304 4196468 140727431272048 139729285601904 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15023] ppid=14992 vsize=14090948 memory=3980 CPUtime=1.17 cores=0,2,4,6
/proc/14995/task/15023/stat : 15023 (java) S 14992 14995 12120 0 -1 1077944384 18283 0 0 0 114 3 0 0 20 0 15 0 245621242 14429130752 371740 33554432000 4194304 4196468 140727431272048 139729284549360 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15024] ppid=14992 vsize=14090948 memory=1932 CPUtime=0 cores=0,2,4,6
/proc/14995/task/15024/stat : 15024 (java) S 14992 14995 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621243 14429130752 371740 33554432000 4194304 4196468 140727431272048 139729283497056 139729816213205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
[pid=14995/tid=15025] ppid=14992 vsize=14090948 memory=7288 CPUtime=1.15 cores=0,2,4,6
/proc/14995/task/15025/stat : 15025 (java) S 14992 14995 12120 0 -1 1077944384 1283 0 0 0 58 57 0 0 20 0 15 0 245621243 14429130752 371740 33554432000 4194304 4196468 140727431272048 139729282443568 139729816214146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140727431275592 140727431275785 140727431275785 140727431278543 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1486960 KiB

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

[startup+2486.83 s]
# the end of solver process 14995 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.38 s, system=2.67973 s

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

Child status: 143
Real time (s): 2486.83
CPU time (s): 2520.06
CPU user time (s): 2517.38
CPU system time (s): 2.67973
CPU usage (%): 101.336
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 1561892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.38
system time used= 2.67973
maximum resident set size= 1564288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197432
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 142026
involuntary context switches= 6926


# summary of solver processes directly reported to runsolver:
#   pid: 14995
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2517.38
#   total CPU system time (s): 2.67973

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9542 second user time and 22.4798 second system time

The end

Launcher Data 

Begin job on node107 at 2018-08-14 23:03:00
IDJOB=4308288
IDBENCH=141188
IDSOLVER=2791
FILE ID=node107/4308288-1534280580
RUNJOBID= node107-1534270595-13935
PBS_JOBID= 21038126
Free space on /tmp= 42292 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-09-opt_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4308288-1534280580/watcher-4308288-1534280580 -o /tmp/evaluation-result-4308288-1534280580/solver-4308288-1534280580 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534270595-13935 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1596178237 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308288-1534280580.xml

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

MD5SUM BENCH= 19bcf73076031218e5fd4b7208c9a15e
RANDOM SEED=1596178237

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24803540 kB
MemAvailable:   31906444 kB
Buffers:          191140 kB
Cached:          7132912 kB
SwapCached:           20 kB
Active:          3902688 kB
Inactive:        3475888 kB
Active(anon):       3928 kB
Inactive(anon):   103184 kB
Active(file):    3898760 kB
Inactive(file):  3372704 kB
Unevictable:        6980 kB
Mlocked:            6980 kB
SwapTotal:      67108860 kB
SwapFree:       67108524 kB
Dirty:             35648 kB
Writeback:             0 kB
AnonPages:        205164 kB
Mapped:            54584 kB
Shmem:             49632 kB
Slab:             288320 kB
SReclaimable:     259900 kB
SUnreclaim:        28420 kB
KernelStack:        3808 kB
PageTables:         5272 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     352664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    151552 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 42256 MiB
End job on node107 at 2018-08-14 23:44:27